o(16) a composite number?
True
Suppose -4393 = 4*l - 5*j, -5*j - 24 - 1043 = l. Let w = 1573 + l. Is w prime?
False
Let d(q) = -19*q - 22. Let r be (-2)/(-12)*-2*33. Is d(r) prime?
False
Let s = -46 - -35. Let h(v) = 7*v**3 + 3*v**2 - 5*v + 6. Let m(t) = t**3 - t**2 + t. Let z(b) = -h(b) + 6*m(b). Is z(s) composite?
True
Let v(p) = -378*p**3 - 4*p**2 - p - 3. Let b be v(-2). Let l = b + -2118. Is l prime?
False
Suppose 0 = -5*s + 2*s + 4*p - 1022, 10 = 2*p. Let r = s - -491. Is r a prime number?
True
Let m(k) = -9*k - 8. Let n(l) = 5*l + 4. Let w(v) = 4*m(v) + 7*n(v). Let i be w(-2). Is (28/(-42))/(i/267) a prime number?
True
Suppose 3*t - 5*v = 2136, 3*t + 316 = -2*v + 2473. Suppose -f + 4*d - 355 = -2*f, d = -2*f + t. Let g = f - 178. Is g composite?
False
Suppose -i + 255 = -142. Let t = i + -268. Is t composite?
True
Suppose 12*c = -5*u + 10*c - 15, -3*u = -5*c + 40. Let q = 4 + -2. Is 3176/40 + q/u composite?
False
Suppose 10*l - 63 = 3*l. Is (-21)/l*(-34 - -1) a prime number?
False
Suppose 0 = -5*g + 7*g - 24. Let p(k) = k**2 + 7*k + 11. Is p(g) prime?
True
Suppose -2*a = 2, 5*a + 2687 = 2*w + 4*a. Is w a prime number?
False
Suppose -3*y - 54 = -3*i, 3*i - 2*i = 5*y + 26. Suppose i = 4*k + 4. Suppose 2*r = k*r - 2, 4*p = 3*r + 1270. Is p a composite number?
True
Let x be 1/(-2) - (-4654)/(-4). Let c(a) = a**3 + 6*a**2 + 4*a + 11. Let z be c(10). Let u = x + z. Is u prime?
True
Let w(x) = -163*x - 19. Let r = 17 - 21. Is w(r) a prime number?
False
Let i(k) = -6964*k**2 + 4*k + 4. Let z be i(-1). Is z/(-3) - (1/3 - 0) a composite number?
True
Suppose 6*a - 10 = 4*a, -4*a = 4*h - 4. Let x be 2 + 1 + h + 166. Is -1 - (0 - x) - 3 a prime number?
False
Let p = 14564 + -2602. Is p a composite number?
True
Let o be 36/(-8)*(-2)/3. Suppose 0*c + 498 = 2*h - c, 1267 = 5*h + o*c. Is h a composite number?
False
Let u be (5/2 + -2)*-12. Let i be (-3)/6 + (-9471)/u. Suppose -3*t - 2*b + 2369 = 0, -t - t - 2*b = -i. Is t prime?
False
Let v(z) = z**2 + 6*z + 9. Let t be v(-5). Suppose 0*u - 5*u - 15 = 3*f, 25 = t*u - 5*f. Suppose u = -5*q + 3540 - 755. Is q prime?
True
Suppose 4*n - 189 = n. Let j = -34 + 36. Suppose j*z + z - n = 0. Is z prime?
False
Suppose -4*k = -3*m - 51, -3*k - 2*m = 3*m - 31. Is (-1 + 1247)/(8 + k/(-2)) a composite number?
True
Let g be 2*-1 - (-13 - 2). Let z = -11 + g. Suppose -2*q - 6*k + 189 = -k, 0 = z*k - 6. Is q prime?
False
Let z(l) = 5608*l - 331. Is z(3) prime?
True
Let g = -22 - -7. Let c(a) = 1 + a**3 + 17*a**2 - 15 + 0 - 9*a. Is c(g) a composite number?
False
Suppose -5*d = 5*o, 4*d + 40 = 3*o - d. Let n(y) = -7*y + 10. Let c be n(o). Is (-824)/(-10) - (-10)/c a composite number?
True
Let s = 3805 - 1414. Is s a prime number?
False
Suppose 13873 = 3*l - 5*m, 5*l - 6*l = 5*m - 4611. Is l prime?
True
Let a = -1374 + 3030. Let u = a + -1105. Is u prime?
False
Let i = -1510 + 4589. Is i prime?
True
Let i be ((-6)/(-3) + -1)/1. Suppose 5*v - i = -4*m, -m = -v + 4 + 7. Is 51/1*(-4)/m a composite number?
True
Let o(y) be the third derivative of 52*y**5/15 + y**4/6 - y**3/6 - 17*y**2. Is o(2) prime?
True
Let o(i) = -i**2 + 4*i - 2. Let h be o(3). Let x be (h - (-2 - -3))/2. Suppose b - 147 - 112 = x. Is b prime?
False
Let q(d) be the second derivative of -d**5/2 + 5*d**4/12 + d**3/3 - d**2 + 10*d. Is q(-3) a prime number?
True
Let d(s) = -33*s**3 + 2*s**2 - 1. Let g(r) = 3*r**2 - 15*r + 6. Let f be g(6). Suppose 27 = 3*q - 5*q - 5*u, 0 = q - 5*u - f. Is d(q) prime?
False
Let k(o) = 180*o. Let i be k(1). Suppose -3*g + i = 4*u - 0*g, -4*u = 2*g - 176. Suppose u = -5*s + 257. Is s a prime number?
True
Let w = 5512 + -2561. Is w a composite number?
True
Suppose 7*w - 13400 = -3*w. Suppose -3*q + 3*z = -780, 9*q = 4*q - 3*z + w. Is q a composite number?
True
Suppose 0 = 49*g - 193921 - 273196. Is g composite?
False
Let b = 910 + 6484. Is b a composite number?
True
Suppose 7102 = 3*r - 4*v, -3*r + 1822 = v - 5260. Suppose w + 731 - r = 0. Is w composite?
True
Let t(u) = -u. Let w(a) = a**3 - 8*a**2 - a - 10. Let f(h) = -3*t(h) + w(h). Is f(9) composite?
False
Let t = -50 + 53. Suppose u = -4*r + 6 + 37, 0 = 4*r - t*u - 31. Is r a composite number?
True
Let r(f) = -295*f**3 - 2*f**2 - 6*f - 28. Is r(-3) a prime number?
True
Let l(t) = -1129*t - 1. Let u be l(-3). Suppose -2*w + u = -3*m, 2*m + 1778 + 1608 = 2*w. Is w composite?
False
Let j = 2402 - -54. Suppose 0*c = -4*c + j. Is c a composite number?
True
Suppose 6*o + 3475 - 11389 = 0. Is o prime?
True
Suppose 0 = 3*c - 1581 - 1587. Suppose -c = 4*o - 8*o. Suppose g + 4*s = 251, -2*s - 238 - o = -2*g. Is g prime?
True
Let y be 673 + (5 - (5 - -3)). Suppose 2*u + 5*a - 670 = 0, 0 = -0*u - 2*u + 4*a + y. Is u a prime number?
False
Suppose 0 = -2*c + 3*r - 2*r - 9, 15 = -2*c - 5*r. Let u(m) = -2*m**3 - 7*m**2 + 3*m - 1. Is u(c) prime?
True
Let z = -27 - -30. Let g(x) = 3*x - 6. Let k be g(z). Suppose -f + 6*l - 3*l + 107 = 0, k*l = -2*f + 232. Is f prime?
True
Let m(a) = 143*a**2 - 34*a + 515. Is m(24) a composite number?
False
Let x(g) = g**3 + 15*g**2 - 16*g + 5. Let i be x(-16). Suppose i*m - k - 4124 = -400, 5*k = 5*m - 3720. Is m prime?
False
Let i = -11 + 0. Let v(g) = -29*g - 1. Let x be v(i). Let l = x + -179. Is l a prime number?
True
Let l be ((-228)/9)/(5/(-240)). Suppose 4*k - 6 - 10 = 0. Suppose k*c - l = -220. Is c a composite number?
True
Suppose z + 27 = 6. Let u(m) = -m**3 - 19*m**2 + 17*m - 4. Is u(z) a composite number?
False
Let h(x) = 67*x + 18. Let i be h(13). Suppose -4*a = 3*a - i. Is a a composite number?
False
Let o(d) = 2*d**3 + 2*d**2 + 12*d - 7. Let w be ((-18)/24)/(6/(-16)). Let q(m) = -m**3 - 3*m**2 - 11*m + 6. Let v(c) = w*o(c) + 3*q(c). Is v(7) a prime number?
False
Suppose -70*p + 62*p + 36280 = 0. Is p a composite number?
True
Suppose -17*n = -28346 - 94377. Is n prime?
True
Suppose -8*p = -6*p - 26. Suppose 8*u - p*u = 10. Is u/8 - 4065/(-20) a prime number?
False
Suppose 3*k = 7*k - 3*l + 15, 5*l + 21 = -k. Let j be 1/(-2) + (-3177)/k. Suppose -6*f = 37 - j. Is f a composite number?
True
Suppose 2*j - 3 = -5*z, z + 3*z = -j. Let d(s) = -7*s**2 - s + 2 + 11*s**2 - j*s. Is d(3) composite?
False
Let m(g) = -608*g + 577. Is m(-18) prime?
False
Suppose -10*k = -j - 11*k + 1197, 1181 = j - 3*k. Is j composite?
False
Suppose 3*c + 3140 - 14537 = 0. Is c a prime number?
False
Is 55487*((-1)/2)/(13/(-26)) a composite number?
False
Suppose 2*f - 1386 = 2*y, -3*f + y + 1008 = -1067. Is (-14)/(-28)*2*f composite?
False
Let n = -373 - -914. Is n a composite number?
False
Suppose -2*t + 6584 = 4*b - 5*t, 2*b + 4*t - 3314 = 0. Is b a composite number?
True
Let c be (153/34)/((-6)/(-4)). Suppose 10 = -c*t - 5, 2*t = 2*x - 792. Is x prime?
False
Let d(t) = -397*t + 419. Is d(-15) a composite number?
True
Let r(j) = 56*j**3 + j**2 + j. Let n be r(-1). Suppose -121 = 4*l - 485. Let q = l + n. Is q a composite number?
True
Suppose y + 31782 = 7*y. Is y a composite number?
False
Let o(u) = 3*u**2 - 5*u - 1. Let k be o(-1). Suppose k*v - 1508 = 3*v. Is v a composite number?
True
Let a(k) be the second derivative of -k**4/12 - 11*k**3/6 - 11*k**2 - 2*k. Let s be a(-9). Is (-149)/s + 11/(-44) a prime number?
True
Suppose -4*i = -3*u + 53333, -21*u = -20*u + i - 17787. Is u a prime number?
True
Suppose -4*j + 19868 = 4*f, 10*f - 4 = 12*f. Is j composite?
False
Let u = -6 - -16. Let a(m) = 131*m + 9. Is a(u) composite?
False
Let t be 12/2*1/(-2). Let c(r) be the third derivative of -r**6/40 - r**5/20 - r**4/8 + 2*r**3/3 + r**2. Is c(t) a prime number?
True
Let s = 468 - -643. Let r = s - 560. Is r a prime number?
False
Suppose -2*m + 27841 = -o, -9*m + 69570 = -4*m + 4*o. Is m composite?
True
Let y(i) = 23*i**2 - 2*i + 1. Let x be y(2). Suppose 2*f - x - 29 = 0. Suppose d + 0*d = -4*v + f, 0 = -3*d + 2*v + 163. Is d a prime number?
False
Suppose 32451 = 3*r - 0*r. Is r a prime number?
False
Let k(p) = -67*p - 132. Is k(-7) composite?
False
Suppose 5*w = -4*n + 13, 4*n - 3*w - 3 = 2*w. Let a(j) = 122*j**2 - 1. Is a(n) a composite number?
False
Suppose 0 = 3*l - 26*q + 22*q - 14249, -l + q + 4750 = 0. Is l prime?
True
Let n be (140/(-12))/5 - 1/(-3). Is (n/3)/(((-42)/(-19557))/(-7)) prime?
False
Suppose -2*s = 2*f - 16, 0*f - 35 = -4*s - 5*f. Suppose n = -5*c - 7375 +