(x) prime?
True
Suppose 5*k - 63 = -16*k. Let o(w) = w**3 + 5*w**2 + 3*w - 2. Let t be o(4). Suppose t = 5*j + 4*r - 183, -3*r = k*j - 204. Is j a composite number?
True
Let v(z) = -95*z + 19. Let i be v(8). Let c = 1338 + i. Is c composite?
True
Let o(q) = q**3 - 68*q**2 + 32*q + 58. Is o(68) a composite number?
True
Let b(q) = -q**3 - 7*q**2 - 2*q - 4. Let j be (-1)/(3*(-3)/(-63)). Let i be b(j). Is 4 - 1 - (-2320)/i a composite number?
True
Suppose -128 = -3*c - 35. Suppose -4*t + c = -265. Suppose 3*o - 934 = 5*g + t, -g = -3*o + 996. Is o prime?
True
Suppose i = 2*y - 433 + 83, 4*y + 5*i - 672 = 0. Let r = 309 - y. Suppose 5*j + 3*m = j + r, -35 = -j - m. Is j a composite number?
False
Let x(d) be the second derivative of 0 - 10*d + 17/2*d**2 + 23/3*d**3. Is x(4) a prime number?
False
Let z(f) = 3*f**3 + 8*f**2 + 6*f - 11. Let h(w) = -5*w**3 - 9*w**2 - 8*w + 12. Let y(q) = 2*h(q) + 3*z(q). Suppose 2*d = -d + 18. Is y(d) a prime number?
True
Suppose 4*t + 12 = 4*n, -10*t + 5*n = -8*t + 21. Let b(o) = 733*o**3 - 3*o**2 + 4*o - 5. Is b(t) composite?
True
Suppose 2*q - 602 + 34 = 0. Let m = q + 269. Is m prime?
False
Let c = -32 + 33. Suppose 3*j = 11 + c, 0 = -5*s + 5*j + 1805. Is s prime?
False
Let h(t) = -t**3 - 4*t**2 + 7. Let c = 6 - 12. Let r be h(c). Suppose 198 = z + r. Is z a prime number?
False
Let g(u) = -3*u**2 + 3*u - 3. Let q be g(2). Let w = q + 11. Suppose -3*f + 409 = -3*i + 1330, w*f = -4*i + 1228. Is i a prime number?
True
Let y = 22 - 20. Suppose -3*a - y*c - 3*c = 50, -a = 4*c + 12. Is ((-30)/a)/((-3)/(-278)) a prime number?
True
Suppose 2*x - x + 5*u + 29 = 0, 13 = -x - u. Let r = x + 11. Suppose 4*f - t + r*t = 455, -5*t = -3*f + 370. Is f a prime number?
False
Let q(o) = 19*o**2 - 2*o + 7. Let l be (-2 - -4) + (6 - 12). Is q(l) a composite number?
True
Is 63604*(-105)/80*4/(-3) prime?
False
Let l = 85 - -1. Let c = 91 + l. Is c a composite number?
True
Let x = -4417 + 7184. Is x a prime number?
True
Let t(b) = 2*b**2 + 6*b - 26. Let l be t(9). Suppose l = i - 21. Is i a prime number?
True
Suppose 3*k - 2*k = 2*h + 15, k - 5*h - 30 = 0. Let w(l) be the first derivative of 8*l**3/3 - l**2/2 - 4*l - 30. Is w(k) a prime number?
True
Let o = -43 - -25. Is (-36)/8*2364/o a composite number?
True
Let b(x) = -61*x - 3. Let z be b(3). Suppose 2*n + 52 - 594 = 0. Let w = z + n. Is w prime?
False
Suppose 0 = a + 3*i - 5*i - 399, -4*a + 1585 = 3*i. Is a a prime number?
True
Suppose 0 = -4*k + 3*v - 23, 3*k + 4*v = 2*v + 4. Let t(j) = 340*j**2 - 3*j - 5. Is t(k) prime?
True
Let z(o) = -o**2 + 5*o - 189. Let u(f) = f - 1. Let b(r) = 4*u(r) - z(r). Let i be b(0). Suppose -6*l + i = -l. Is l a prime number?
True
Let d = -18264 - -34241. Is d composite?
True
Let j be (-36)/8*2980/(-6). Suppose p = -2*p + j. Is p prime?
False
Let n(c) be the third derivative of 109*c**4/8 - 49*c**3/6 - 19*c**2. Is n(4) a prime number?
True
Suppose 4*q = 11*m - 12*m + 144144, 0 = -5*q - 3*m + 180173. Is q composite?
False
Let p be (-195)/(-2) - -8 - (-1)/(-2). Suppose 0*s = -2*s + 52. Suppose -m - s = -p. Is m composite?
False
Suppose 3*n = 1409 + 469. Let a = n - 15. Is a composite?
True
Let s(z) = -223*z - 5. Let y(c) = -1. Let r(g) = s(g) - 6*y(g). Is r(-2) a composite number?
True
Let f(s) be the third derivative of s**5/60 + s**4/12 + s**3/2 + 3*s**2. Let q be f(-5). Is (-508)/(-6) + 6/q prime?
False
Let d(w) = -20*w + 5. Let l be d(-14). Let y = 165 - l. Let r = y + 197. Is r prime?
False
Let m = -291 - -1122. Is m a composite number?
True
Suppose 15*j + 20872 = 23*j. Is j composite?
False
Suppose 0 = -2*i + 4*g + 4490, 4489 = -108*i + 110*i - 3*g. Is i composite?
False
Suppose 3*a = -a + a. Suppose 144 = 3*f - 3*r, 2*f - 116 = -a*r - 2*r. Is f a prime number?
True
Suppose m = 2*c + 56425, 3*m - 192436 + 23205 = -5*c. Is m composite?
False
Is (1 - (-10)/(-16)) + (-117467)/(-56) composite?
True
Suppose 47*g - 48*g = -37. Is g composite?
False
Let y(i) = i**3 - 4*i**2 + 18*i + 1. Is y(24) composite?
False
Let w = 1 + 1. Is (-1 + 0)/(w/(-754)) prime?
False
Suppose -6525 = -4*z - 1613. Suppose 0*k = 4*k - z. Is (k/(-2))/(6/(-12)) composite?
False
Let i be (12/8)/((-1)/(-2)). Let h(m) = -5*m + 8*m - 8*m + 26*m**2 + 4. Is h(i) a composite number?
False
Let h(v) = 5*v**2 - 18*v - 8. Let x be h(-13). Suppose -4*k = -3*u - 0*k + 3252, u = -3*k + x. Suppose 2*d - s - u = 0, 0 = -6*s + 2*s + 8. Is d a prime number?
True
Suppose 7599 = 4*n - 5*d - 4134, 3*n - 3*d - 8796 = 0. Is n a composite number?
False
Suppose -x = 3*z - 25, 0*x = -z + 3*x + 15. Let c be (42/84)/(1*(-2)/568). Is (1 - z/6)*c a prime number?
True
Let o(q) = 156*q**2 - 17*q + 65. Is o(6) prime?
False
Suppose 4*w = 3*w - 767. Let i = w - -1102. Is i prime?
False
Let p be 2/(-10) + (-11688)/(-15). Suppose -2*l + p = -155. Is l a composite number?
False
Suppose -12*d - 9294 = -13*d + 5*h, -2*d + 3*h = -18581. Is d a composite number?
True
Suppose -h + 5*b + 51 = 0, h + 0*b + b = 33. Let i be ((-1)/2)/((-6)/1236). Let t = i - h. Is t composite?
False
Let p(y) be the second derivative of -3*y**5/5 - 3*y**4/4 - y**3/3 - 5*y**2/2 + 2*y. Let v be p(-4). Let x = 1114 - v. Is x a prime number?
True
Suppose -2100 = -3*y - 3*m - m, 5*m = 0. Let r = 1191 - y. Is r composite?
False
Suppose -10*f + 9*f + 986 = 0. Let i = f + -655. Is i prime?
True
Suppose 2*l - 4*l = -602. Let s = -152 - -290. Let h = l - s. Is h a composite number?
False
Suppose 0 = 17*w - 18*w + 9. Suppose w*b = 3*b + 1614. Is b a composite number?
False
Let q = -13 + 10. Is -1*11*((q - 8) + 4) a prime number?
False
Let y(t) = t**3 + 4*t**2 - 11*t + 5. Suppose 0*h + 3*h - 126 = 0. Suppose -v + 7*v = h. Is y(v) composite?
False
Let v = -26 - -28. Suppose 5*i + 331 = 4*u, -v*i + i = -5. Is u composite?
False
Suppose -4*t + 2*r + 26 = 0, 4*t = -0*r - 4*r + 32. Suppose 5*j = -b + 67, 0 = j + 4*b - 7*b - t. Suppose 14*l - j*l = 53. Is l prime?
True
Suppose 0 = -2*k - 5*q + 4641, -k + 953 + 1405 = -5*q. Is k composite?
False
Let p(x) = -863*x**3 + x**2 + x + 1. Let f be p(-1). Suppose 0 = 4*g - f + 224. Suppose -557 = -q - g. Is q a prime number?
True
Let b(u) = 715*u**2 - 3*u + 1. Is b(1) a prime number?
False
Let w(p) be the first derivative of -p + 9/2*p**2 + 8. Is w(6) prime?
True
Let h = -2932 - -1303. Let l = -1108 - h. Is l composite?
False
Let c(h) = h**3 + h**2 + 1097. Suppose 2*a + 3*a - 3*v = 3, 4*a = -v - 1. Is c(a) prime?
True
Let a be 39/6 + -4 + (-40)/(-16). Let z = 1335 - -308. Suppose 212 + z = a*t. Is t prime?
False
Let v be 10/45 - ((-446)/(-9))/(-2). Is (-4310)/v*(-3)/(6/5) composite?
False
Let y(h) = h**3 + 11*h**2 + 17*h - 7. Let s be y(-9). Suppose -s*u = -1059 - 115. Is u a prime number?
True
Suppose -3 = -3*z - 24. Let l(i) = -4*i**3 - i**2 - 11*i - 7. Is l(z) composite?
True
Let w(m) = -m**2 + 5*m + 6. Let q be w(3). Suppose -7*j - 4835 = -q*j. Is j composite?
False
Let b(j) be the first derivative of -1/3*j**3 - 4*j + 6*j**2 + 1. Is b(5) prime?
True
Let f(s) = -s**3 - 9*s**2 + 5*s - 20. Let t be (-126)/8 - (2 + 33/(-12)). Is f(t) composite?
True
Let j be (35/(-14))/(1/(-2)). Suppose 6*o - 143 = j*o. Is o prime?
False
Let w = -98 - 130. Let a = w - -883. Is a prime?
False
Let l(j) = -3*j. Let w be l(-1). Let x(s) = 25*s**2 + 0*s**3 - 9 + s**w - 15*s**2. Is x(-8) a prime number?
False
Is (221/51)/(-2 - 9854/(-4926)) prime?
False
Suppose 4 = -3*a + 19. Suppose -2*b + 241 = -49. Suppose -410 + b = -a*c. Is c prime?
True
Suppose v + 31938 = 11*y - 8*y, -3*y - 2*v + 31938 = 0. Is y a composite number?
True
Let j be (-1)/(-3) + 8/(-24)*-11. Suppose -4*l + 2224 = x, 0 = x + j. Is l a composite number?
False
Let s = -10 + 14. Suppose 0 = -a - 4*d + 695 + 86, -s*a + 3204 = -4*d. Is a prime?
True
Let c = 35371 - 22716. Is c a composite number?
True
Let h(w) = 2*w**3 - 7*w**2 - w - 4. Let r be h(4). Is (-1)/(r/(-3676)*5/10) composite?
False
Suppose -29896 = 7*q - 3212. Let x = q + 5401. Is x a prime number?
False
Let n(b) = 218*b**2 + 1. Let w(j) = 436*j**2 + 3. Let d(o) = 9*n(o) - 4*w(o). Is d(2) a prime number?
False
Suppose 3*r - 46 = -7*b + 3*b, 2*r - b - 16 = 0. Suppose -5*u = -5 - r. Suppose a + 621 = 3*l + 230, -l + u*a + 125 = 0. Is l a prime number?
True
Suppose t = 5*u + 5*t - 56, 0 = 4*u + 4*t - 48. Let j = 8 - u. 