 c*w + 6. Is v(q) a prime number?
True
Let w(k) = -4*k**2 - 512*k**3 + 21 - 9*k - 10 - 10. Is w(-2) composite?
False
Suppose -13*c - 180 = -15*c. Suppose 2*u - 302 - c = 0. Suppose 2*h - 476 = -5*x + u, -985 = -3*h + 4*x. Is h composite?
False
Let u = 193674 - 124945. Is u a composite number?
False
Suppose -2 = -4*h + 2*n, -5*n + 0*n + 17 = h. Suppose h*o - 952 = -0*o. Let p = o - -881. Is p prime?
False
Suppose 0 = -10*w + 440 + 310. Let c = 24 - w. Let v = c - -70. Is v a composite number?
False
Let d(v) = 55*v**2 + v + 6. Let k be (-17)/((-204)/112) - (-2)/3. Let p be d(k). Suppose p = 7*i - 3*i. Is i a prime number?
False
Suppose -3*q + 1469 = 1175. Suppose -2*z + q = -432. Is z a composite number?
True
Let i(k) = -173*k**3 + 15*k**2 + 80*k + 5. Is i(-7) composite?
True
Let m(r) = 4*r**2 - r - 1. Suppose -5*o - 2*q + 1 = q, -2*o + 7 = -q. Suppose 0 = -o*d + 1 - 9. Is m(d) prime?
True
Let r(x) = -3670*x**3 + 2*x**2 + 12*x + 19. Is r(-2) composite?
False
Let m(y) = -13*y**2 - 7*y + 3 - 5 + 6*y + 15*y**2. Let f be m(2). Is 1/(1*f/308) prime?
False
Suppose 7 = -16*o + 17*o. Suppose -3*b = 4*u - 15, 2*b - o*b + u = -25. Suppose 4213 = b*d - 1992. Is d composite?
True
Let z(j) = -303*j - 5. Suppose 0 = -2*u + 4*x - 20, 3*x + 41 = -5*u + 3*u. Is z(u) composite?
True
Suppose i = 3*n - 255, -4*i - 240 = -2*n - 70. Let a = 87 - n. Suppose a*p = 9*p - 17059. Is p prime?
True
Suppose -4*m + 5*c + 42 = 141, 0 = -5*c + 15. Let b be 2 - (m/27 - 2/9). Suppose -r + 676 = -l, -b*r - 4*l + 1336 = -657. Is r a composite number?
True
Suppose -10*x + 3534 + 2076 = 0. Suppose y - 308 = x. Is y composite?
True
Let h(j) = 2*j**2 - 2*j + 1. Suppose 8 = 3*v - 5*v. Let g be v + -1*(-6)/3. Is h(g) prime?
True
Suppose 10 = -3*i + i. Let f be ((-36)/(-8) + i)*-4. Suppose f*r - 842 = 140. Is r composite?
False
Suppose -17*g + 32 = -21*g, 2*b = -4*g + 1299450. Is b prime?
False
Let o be (-5)/(35/(-14))*1*-38. Let n = -71 - o. Suppose z = 0, 4*g = -n*z + 3946 + 2826. Is g a composite number?
False
Is ((-2204)/(-6) + 81/9)/((-1)/(-51)) composite?
True
Suppose 8*a = -46*a + 4313358. Is a a composite number?
True
Suppose 0 = 3*p - 117 - 3666. Suppose a + 2370 = -2*a. Let g = p + a. Is g composite?
True
Let r(t) be the third derivative of t**8/2240 + t**7/1008 + 7*t**6/720 - 11*t**5/60 + 8*t**2. Let o(b) be the third derivative of r(b). Is o(-7) a prime number?
False
Let h(d) = -55*d - 17. Let o = -30 + 34. Let i be h(o). Let z = 460 + i. Is z composite?
False
Suppose 74*q + 2281908 = 27053428 + 4816270. Is q a prime number?
False
Let v(p) be the first derivative of -5*p - 4 + 17/3*p**3 - 1/2*p**4 + 3/2*p**2. Is v(7) a prime number?
True
Suppose d = -0*u + 2*u - 2276, 2*d = 5*u - 5690. Let h = -778 + u. Let m = h - 233. Is m a prime number?
True
Suppose -24*u = -32*u + 454856. Is u composite?
False
Let y(n) = -n**3 + 22*n**2 - 34*n - 39. Let z be y(16). Let b = 3102 - z. Is b a prime number?
False
Let s(b) = 2*b**2 - 4*b + 2. Let g be s(2). Let u be 1/((-4)/(-80)*g). Suppose u*q - q = 2979. Is q prime?
True
Let y(s) = 115*s**3 + 26*s**2 - 6*s + 12. Let o(v) = 38*v**3 + 9*v**2 - 2*v + 4. Let g(u) = 17*o(u) - 6*y(u). Is g(-3) composite?
False
Let g(d) = 6*d**2 - 72*d - 1579. Is g(68) composite?
False
Suppose -5*t + h = -152442, 5*t + h = -0*t + 152438. Suppose -19*y = -11*y - t. Is y a prime number?
False
Let l be (-4 + 5)/((-4)/(-4724) - 0). Let h = -178 + l. Is h a composite number?
True
Let m be (19/38)/((-2)/8*-1). Suppose -3*c + 16 = -m*c - 3*y, 0 = -5*y - 10. Is 1/(1 + -3) + 1395/c composite?
False
Let k = -74 + 161. Let j = k + -83. Suppose 4*l - 5*l - i + 377 = 0, 1504 = j*l + 5*i. Is l a composite number?
True
Suppose -4*l + 4109 = 5*c, -5135 = 3*l - 8*l - 5*c. Let i = l - 1516. Is (i/(-1) - -1)*(-1)/(-1) a composite number?
False
Let l = 9937 - 18122. Is (19 - l)*2/8 composite?
True
Let i(w) be the second derivative of w**6/360 - w**5/40 + 157*w**4/24 + 13*w**3/3 - w. Let t(f) be the second derivative of i(f). Is t(0) prime?
True
Let p be (-11 - -15) + 17*-1. Let l = 18 + p. Suppose 3*s - 7*s = -3*x - 1568, l*x = -2*s + 810. Is s composite?
True
Suppose 5*t + 0*t = 2*o + 20, -8 = -2*t - 3*o. Suppose -z = -3*n - 6593, -t*z - 8*n = -3*n - 26406. Suppose -7*c + z = -8472. Is c prime?
True
Let w be 13/(-7*(-3)/1806). Let n = w - 561. Is n a composite number?
False
Let m(f) = -f**2 - 59*f + 143. Suppose w - 2*l + 56 = 0, -l - 19 + 71 = -w. Is m(w) prime?
False
Let y(w) = w**3 - 6*w**2 + 6*w. Let g be y(5). Suppose -g*d - 9910 - 3125 = -5*c, 4*d = 2*c - 5210. Is c a prime number?
True
Let k = -27962 + 69756. Is k composite?
True
Suppose -5 = -u - 14. Let c(z) = -z**2 - 11*z - 20. Let h be c(u). Is 74/h*(-8)/8 prime?
True
Let s be 9 - 9/((-36)/(-16)). Let t be s - 8*1/2. Is 914 - (-7 - (-4)/(t + 0)) a prime number?
False
Let m = 365443 + 137218. Is m a prime number?
False
Suppose -23261 = -4*j - 5*p, j + 5*p = 8*p + 5794. Suppose 4*x - 7767 = -y, -7*x + 4*x = 4*y - j. Is x a prime number?
False
Suppose -46*n + 47832 + 70494 + 1124180 = 0. Is n a prime number?
True
Let u(i) = -3*i**2 + 13*i + 39. Let t be u(8). Suppose 0 = 5*w - 6*w + 282. Let k = w - t. Is k prime?
True
Suppose -296*d - 1098339 = -3*p - 299*d, d - 732222 = -2*p. Is p composite?
True
Let u(t) = -3*t**2 + 64*t - 18. Let q be u(15). Let n = 1164 - 196. Let z = n - q. Is z a prime number?
True
Let n = 88 + -85. Suppose m + 1 = 2*u - 4, -n*u - 10 = 2*m. Suppose -a + 0 + 5 = u, 3*z - 5204 = -a. Is z a composite number?
False
Let r(i) = 73944*i**2 - 20*i + 27. Is r(2) composite?
True
Suppose 106*v + 241 = 107*v. Let r = 360 - v. Is r composite?
True
Let v be (-22)/8 - -2 - (-2)/(-8). Is (v - -2) + -928*(-30)/12 a composite number?
True
Suppose -h - 2*h + 4*y + 20 = 0, 5 = -5*h - y. Suppose h = 2*d - 0*d. Suppose 51 = 2*l - 3*t, 0 = 5*l - d*l - 4*t - 117. Is l prime?
False
Suppose -l + 8468 = 3*l. Let u = 3323 - l. Suppose v - 7*v + u = 0. Is v prime?
False
Let t(i) be the first derivative of -191*i**3/6 - 3*i**2/2 + 10*i + 16. Let m(y) be the first derivative of t(y). Is m(-4) prime?
True
Let o be (30 + 10)/(-1*-2*1). Suppose o*y = 30*y - 19010. Is y a prime number?
True
Let j be (4 + 0)/4 - -1082. Is 4/12*3 + j + 3 prime?
True
Is 42/(-28) + (-9 - 887815/(-10)) prime?
True
Let m(p) = 954*p**2 + 476*p - 39. Is m(-14) prime?
True
Let o = -23797 + 384756. Is o composite?
False
Suppose -135*s + 1652 = -121*s. Suppose 3*d = d. Suppose -2*w + 3*j + s = d, 4*w - 4*j = 6*w - 90. Is w composite?
False
Let u(b) = b**3 + 12*b**2 + 31*b + 48. Let h be u(-9). Let p = 0 + 4. Is 109 + p/h*0 composite?
False
Let s(y) = 1556*y**2 - 100*y + 3. Is s(4) composite?
False
Let z(y) = -y**3 + 2*y. Let g be z(0). Suppose g = -14*l + 12*l + 86. Suppose -w - 17 = -2*w - v, 3*w - l = -v. Is w a prime number?
True
Let c be 2/11 + (-1680)/44. Let a be (20/(-6))/(c/171). Suppose a*d = 18*d - 2073. Is d a composite number?
False
Suppose -3*p + 15*x = 16*x - 5289172, -2*x + 8815287 = 5*p. Is p a prime number?
True
Let n be ((-22770)/(-28) - (-2)/7)*-206. Let y = n + 250038. Is y a prime number?
True
Let o(k) = -48*k**3 - 33*k**2 - 79*k - 155. Is o(-21) a composite number?
False
Suppose 5*q + 252 - 17 = 0. Let b(t) = t**3 - 4*t**2 - 5*t - 7. Let k be b(7). Let u = q + k. Is u prime?
False
Let n(x) = 9*x**2 + 7*x + 2. Let t(q) = -27*q**2 - 22*q - 6. Let k(j) = 7*n(j) + 2*t(j). Let o be k(-1). Is (316/o)/(14/21) a prime number?
True
Let b(f) = f - 1. Let r(z) = -1. Let a(w) = -b(w) - 6*r(w). Let j be a(5). Suppose 5*s + 10*m = 5*m + 200, 165 = 5*s - j*m. Is s prime?
False
Let i(l) = 46138*l + 696. Is i(7) composite?
True
Let j(d) = -97*d**2 - 16*d - 43. Let a be j(-6). Let c = -2040 - a. Is c composite?
False
Let o(p) = p**2 - 21*p + 9. Suppose 2*n - 46 - 19 = 5*j, -2*j + 94 = 4*n. Is o(n) prime?
True
Let p(i) = -i**3 - 20*i**2 + 23*i + 17. Let b be p(-20). Let n be (-3 + 2)*b - 4. Suppose -3*j - 265 = -5*x + n, -5*x + 698 = -j. Is x a prime number?
True
Let s = 11406 + -17255. Let h be s/(-6) - 3/(-18). Let j = h + 36. Is j composite?
True
Let g = -4 + 5. Let u be -1 - 3/(-6) - g/2. Is 5 + (-4 - u) + 5031 composite?
True
Let b(a) = -8 - 164*a + 1 - 6 + 53*a. Let s be b(3). Let c = 927 + s. Is c a prime number?
False
Suppose 8*a + 306835 = 2*w + 