Let p(x) = x**2 - 5*x + 1. Is p(w) prime?
True
Let r = 59 - 103. Let s(q) = -12*q - 17. Let n be s(-12). Let m = n + r. Is m a prime number?
True
Let b(d) be the second derivative of d**5/20 - d**3/6 - 2*d. Let l be b(1). Suppose 3*y - 4*y + 79 = l. Is y prime?
True
Let p(g) = g + 53. Suppose f - u = -2, 0 = 4*f - 7*f + u - 2. Is p(f) a prime number?
True
Let x(w) = 14*w - 7. Let u be x(11). Suppose 4*r = 2*t - u - 159, 5*r - 125 = -t. Is t composite?
True
Let j = 1641 - 970. Is j a composite number?
True
Let q(y) = 2*y**2 - 3*y - 7. Let u be q(-6). Let h = 210 - u. Is h prime?
True
Let a = 2 + 0. Suppose 6*j - 3*j = 0. Suppose c - 2*c + 2 = j, -5*u - a*c + 19 = 0. Is u prime?
True
Suppose 2*v - 81 - 37 = 0. Is v prime?
True
Suppose -7*k + 7509 = -4*k. Is k composite?
False
Let w = 3 - 1. Let y(o) = 34*o**3 - o**2 - 3*o + 1. Is y(w) composite?
False
Suppose 12941 = 17*p + 3795. Is p composite?
True
Let n = -114 - -235. Is n a composite number?
True
Suppose -s + 2*d + 745 = 0, 3*s - 1583 = -5*d + 608. Is s composite?
True
Let f be 3 + -6 + 663/3. Suppose -5*k + f = -127. Is k composite?
True
Suppose -5*f = -m - 2250, -3*f - 4*m - 166 = -1493. Is f a composite number?
False
Let v be (4 + -2)*233/2. Let u = v + -106. Is u a composite number?
False
Suppose d - 6*d + 1780 = 0. Suppose -q + 356 = 4*h, -h = -5*h + 4*q + d. Is h prime?
True
Is 4/(-18) - (-1210)/18 a composite number?
False
Let p(g) = -g + 1. Let n(d) = -12*d + 16. Let s(b) = -n(b) + 3*p(b). Is s(18) a prime number?
True
Let o(l) = 25*l + 1. Suppose -5*h - 4*v = -46, -4*v - 22 = -2*h + 2. Is o(h) a composite number?
False
Let h(i) = 29*i**2. Let m be h(2). Is m + -3 + 0/2 prime?
True
Let q(f) be the first derivative of 55*f**3/3 + f**2/2 + f - 2. Is q(-1) a composite number?
True
Let p be 3/(9/6) - -3. Suppose -18 + p = -n. Is n a prime number?
True
Let s(u) = 2*u**2 - u. Let a be s(1). Is 113/(-4*a/(-4)) prime?
True
Suppose 0 = -5*v + 2*v + 369. Is v a composite number?
True
Let j = 1562 + -982. Suppose 0 = -m - 5, 4*m + j = 3*u - m. Is u composite?
True
Let p = -5 + 10. Let d be -4*(p + -2)/6. Is (-1 + d)/(-3) + 78 a composite number?
False
Suppose 4*o - 6 = 10. Suppose -356 = -3*m - 5*u, 2*u - 7*u + 483 = o*m. Is m prime?
True
Let z = 2 + 10. Suppose c = 6*c + 4*j - 15, -4*c + z = -2*j. Suppose -c*r = -0*r - 267. Is r prime?
True
Suppose 0 = -2*u + 2*i + 1348, i + 2*i - 678 = -u. Let l = 992 - u. Is l composite?
False
Let w(s) = -s**2 - 9*s - 4. Let m be w(-6). Suppose 0 = -3*l + 49 + 8. Let o = m + l. Is o composite?
True
Let o = -453 + 277. Suppose -w + 0*w = 63. Let y = w - o. Is y a composite number?
False
Let j(u) = -u**2 + 6*u + 8. Let o be j(6). Let c = o - 2. Is 4/(16/c)*34 a composite number?
True
Let s(z) = z**3 - 3*z**2 - 2*z + 9. Let b be s(6). Let l = 202 - b. Is l a prime number?
True
Let v = 172 - 87. Is v a prime number?
False
Let q(o) = -3*o**2 - 13*o - 8. Let h(c) = 10*c**2 + 40*c + 24. Let u(b) = 2*h(b) + 7*q(b). Is u(-9) a prime number?
False
Is (-77)/4*(-11 + 7) a composite number?
True
Is (1011/(-9))/((-4)/12) a prime number?
True
Let x be 62/(-10) + (-3)/(-15). Let h be (-9)/x + (-9)/(-2). Let g(a) = 3*a + 3. Is g(h) prime?
False
Let l = 149 + 270. Is l prime?
True
Let o = -12 + 10. Let a(p) = p**2 + 2*p. Let x be a(o). Suppose 2*m + i - 14 = x, 5*i + 20 = 4*m + 3*i. Is m a prime number?
False
Let k(p) = -p**2 + 8*p - 7. Let g be k(7). Suppose 0 = c - 5*t + 52, -5*c + g*c - 3*t - 316 = 0. Is (-7 + 6)*c/2 composite?
False
Let y(l) = 5*l**2 - 14*l - 14. Suppose 0 = -0*o - 2*o - 22. Let b be y(o). Suppose -b = k - 6*k. Is k composite?
False
Suppose 2*o - 2*a = 1294, -a + 6*a = -4*o + 2561. Suppose d = -3*d + o. Is d a composite number?
True
Let p be (0 + -2 + 2)*-1. Let h = -3 - p. Is (-1)/h + (-272)/(-3) prime?
False
Let w = -6 + 26. Suppose 3*d - 15 = -2*l + 11, -4*d = 5*l - 65. Let x = w - l. Is x a composite number?
False
Let h(o) = o + 11. Let q be h(-8). Suppose -194 = -q*z + z. Is z a composite number?
False
Let u(j) = -j**3 - 3*j**2 + 5*j + 3. Let c(a) = a**3 + 4*a**2 - 6*a - 4. Let n(y) = -4*c(y) - 5*u(y). Let g(m) be the first derivative of n(m). Is g(-1) prime?
False
Let r(m) = -1196*m - 3. Is r(-1) composite?
False
Suppose -2*f = -0*f + 2. Let g = 2 - f. Is (-2)/g - (-380)/12 prime?
True
Let b be -2 + (-12)/(-2) + -2. Is 167/b + 1/(-2) a prime number?
True
Suppose -3*v - 53 = c, 3*v - 2*c + 16 = -22. Let q = -11 - v. Suppose -8 - 7 = -q*h. Is h composite?
False
Suppose 113 = 3*g - 64. Is g a composite number?
False
Let y(p) = 29*p - 4. Let n(l) = 57*l - 7. Let g(j) = 3*n(j) - 5*y(j). Let m(d) = 53*d - 1. Let i(w) = 9*g(w) - 4*m(w). Is i(6) a composite number?
False
Let t = 397 + -206. Is t a composite number?
False
Let v(u) = 2*u**2 - 11*u - 6. Let l be v(6). Suppose l = 2*r - 442 - 312. Is r a prime number?
False
Let b(q) = -2*q + 6. Let w be b(5). Let s be (-13)/2*(w + 2). Suppose 0 = -4*y + r + s, -2*y = 2*y + 4*r - 8. Is y a prime number?
True
Let r(m) = 3*m**3 - 2*m**2 + 1. Let v be r(1). Is (14/v - 0)*1 composite?
False
Let o = -110 + 200. Let v = 293 - o. Is v composite?
True
Suppose -11 + 31 = 4*u. Let t = -97 + 646. Suppose 886 = u*q - t. Is q composite?
True
Is 1 + 0 + 271 + 24/(-8) a composite number?
False
Let g = -5 + 5. Suppose 2*p + f - 61 = g, f + 74 = 3*p - 20. Is p a prime number?
True
Suppose -4*i + 5*s = -0*s - 47, 3*i - 33 = 3*s. Suppose -4*f - 80 = -i*f. Suppose 3*w - f = 10. Is w a prime number?
False
Let v(w) = -w**3 - w**2 + 1. Let a(y) = 4*y**3 + 15*y**2 - 9*y + 1. Let n(r) = a(r) + 5*v(r). Let u be n(9). Is u/(-4)*(-5 + -9) a composite number?
True
Let a(s) = -208*s - 10. Is a(-6) a composite number?
True
Let t = 195 - 74. Suppose 2*m - t = 1. Suppose m = 3*u + 16. Is u a prime number?
False
Let i(j) = -40*j - 4. Let u be i(-3). Let s = -81 + u. Suppose -2*t - 3*t + s = 0. Is t prime?
True
Let l(v) = -v + 1. Let c(d) = -d + 2. Let w(g) = -c(g) - 2*l(g). Suppose -2*q + 23 = 2*z + z, 4*q = -4*z + 36. Is w(z) prime?
True
Let q(u) = -5*u**3 + 4*u**2 - 10*u + 1. Let d(n) = 14*n**3 - 13*n**2 + 29*n - 3. Let v(f) = -4*d(f) - 11*q(f). Is v(6) a composite number?
False
Let o(g) = 2*g - 12. Let r be o(12). Is ((-2055)/r)/((-2)/8) composite?
True
Suppose -2*w = -x - 1547, 3*w - 2445 + 127 = x. Is w a composite number?
True
Suppose 5*x - k - 975 = x, -2*x = 3*k - 505. Suppose -x = 2*w - 7*w. Is w composite?
True
Let w = 81 + -24. Is w prime?
False
Suppose 13544 = 8*v - 0*v. Is v composite?
False
Let u(q) = -q**3 + 11*q**2 - q - 1. Let s be u(11). Let a be (s/(-2))/(12/32). Suppose j - a = -2*h + 9, 28 = j + 3*h. Is j a composite number?
False
Let h(n) = 28 - n**3 + 3*n**2 - n + n**2 - 5*n**2. Let x be h(0). Is 3*2*x/8 a prime number?
False
Suppose 2*p + b - 9667 = 0, 3*b - 3894 + 23243 = 4*p. Is p composite?
True
Suppose 3*j + 953 = -4*y + 3132, -4*y - 4*j + 2184 = 0. Is y a prime number?
True
Let r be (4 - 2 - 2)*-1. Let v(y) = y**2 + 0*y**2 + y + 0*y**2 - 61 + 150. Is v(r) a composite number?
False
Suppose 5*m = -172 + 2597. Is m prime?
False
Suppose -13757 = i - 5*i - 3*s, 4*s = 4*i - 13736. Is i a composite number?
True
Let q(a) = -21*a - 1. Let z be q(-1). Let g = -30 - -87. Let d = g - z. Is d prime?
True
Suppose 425 = -9*t + 14*t. Is t a prime number?
False
Let g(w) be the first derivative of -w**7/210 + w**6/180 + w**5/30 + w**4/8 + w**3/3 + 2. Let s(l) be the third derivative of g(l). Is s(-2) a prime number?
False
Suppose 0 = -7*w + 3*w. Suppose 5*n - 609 - 346 = w. Is n a prime number?
True
Let z(w) be the first derivative of w**3/3 + 5*w**2/2 - w - 1. Let t be z(-5). Is t/(-2)*(72 - 2) prime?
False
Let l(o) = -o**3 + 2*o**2 + 3*o + 3. Let q be l(5). Is (-2 - q/(-6))*-14 a composite number?
True
Let m be (114/4)/(27/36). Suppose -d - d + m = 0. Is d prime?
True
Let u(c) = c - 3. Let j be u(6). Suppose -5*t - 4*s + 1063 = 0, -j*t = -s + 4*s - 639. Is t prime?
True
Suppose -x - 14 = -216. Is x prime?
False
Let d(u) = 30*u + 13. Is d(12) composite?
False
Let i(x) = 168*x + 13. Is i(4) prime?
False
Suppose 2*v = -3*p + 464, 5*p = 4*v - 0*v - 884. Let k be ((2 - 3)*4)/(-1). Is k/(-6) + v/6 prime?
True
Is ((-2)/2)/(1/(-205)) a composite number?
True
Suppose -3*n = 2*o - 4181, -17 = 5*o + 8. Is n composite?
True
Let u = 209 + 8