 i a composite number?
False
Suppose -12*h + 14*h + 5034 = 0. Let t = -368 - h. Is t a composite number?
True
Let p = 57 + -326. Let w = p - -627. Is w a prime number?
False
Suppose 4*m - 700 - 2796 = 0. Suppose -2*i + d + m = i, 15 = 3*d. Is i a composite number?
False
Let t be (-5)/25 - 198/10. Let o = t + 21. Is o + 0 + 2*26 a prime number?
True
Let p(z) = z**2 + 1738. Let o be p(0). Let x = o - 1037. Is x prime?
True
Suppose -5*a + 2*n + 1950 = 3*n, -793 = -2*a - 3*n. Is a a composite number?
False
Suppose -2*f = 5*f - 21. Suppose -665 = -2*g + r, f*g + g = r + 1335. Is g a prime number?
False
Let g = 13 - 3. Suppose -g*l = -13*l + 339. Is l a composite number?
False
Let k = -18503 - -28314. Is k prime?
True
Let n(j) = -46*j**3 + 2 + 2*j + 45*j**3 - 7 - 3*j**2. Let w be n(-4). Suppose w*u - 4*f = 545, 4*u + 6*f - 760 = 3*f. Is u a prime number?
False
Let l(o) = o**2 - 11*o - 13. Let c be l(12). Let k be 217/7 - c*4. Suppose d - k = -10. Is d a prime number?
False
Let q be ((-5912)/12)/(6/9). Let b = q + 1446. Is b composite?
True
Suppose 0 = -3*j - 2*w - 483, 0*w = -5*j + 3*w - 805. Let u = -96 - j. Is u composite?
True
Suppose 3*l - 11878 = -7*x + 3*x, -3*l + x + 11903 = 0. Let i = -2423 + l. Is i composite?
False
Suppose -4*v + 240 = v + 5*f, -2*v = 4*f - 92. Let o = 27 - v. Is (o + 17)*(-46)/4 a composite number?
True
Let v(x) = -x + 9. Let h be v(5). Suppose 0*l = -3*l + 2*w + h, 4*w = l + 12. Suppose -l*p - 4*t = -52, -2*t - 64 = -0*p - 4*p. Is p prime?
False
Is -2*(0 - -4 - (-325944)/(-16)) prime?
False
Let a = 855 - -232. Is a composite?
False
Suppose 3*l + 5*f - 38372 = 0, -63980 = -15*l + 10*l - 3*f. Is l a prime number?
True
Let f = 27 - -55. Is f prime?
False
Suppose -55*d + 7*d + 373872 = 0. Is d a composite number?
False
Let r be (-125)/(-35) + (-9)/(-21). Suppose 1340 = r*z - 4*h, 8 + 4 = -3*h. Is z a prime number?
True
Let d = 3 - 13. Let u = d + 14. Suppose 0 = -3*l - 0*l + 3*j + 30, j = -u*l + 65. Is l a prime number?
False
Let d be (-15064)/(-88) + 2/(-11). Suppose -2*x - 2*x + 3*r = -680, r = x - d. Let n = x + -40. Is n composite?
False
Let y = -71810 - -100599. Is y composite?
False
Suppose -5*b - 9970 = -64025. Suppose -2*s + 18025 = 3*s - 2*r, 3*s - 2*r - b = 0. Is s composite?
False
Suppose a = -3*v + 14, v + 1 = -2*v + 2*a. Let h(d) = 15*d**3 - d**2 + 3*d - 3. Let j be h(v). Let c = j - 7. Is c a composite number?
True
Suppose 2*p - 5*p = -9. Let d be -3*(p + 10/(-6)). Is (d - 0)*1528/(-32) prime?
True
Suppose -64*c + 63*c = 3*s - 483047, -483049 = -3*s - 2*c. Is s a prime number?
False
Let b = -42 + 22. Let w = 24 + b. Suppose -1046 = -w*p - 42. Is p a prime number?
True
Suppose 0*k = -2*k + 24. Suppose -2*q + k = -5*q. Let c(x) = -7*x**3 + 3*x**2 - x - 1. Is c(q) a prime number?
True
Suppose -z - 16*v + 19*v = -28892, -2*v + 57808 = 2*z. Is z a composite number?
False
Let s(x) = 329*x + 1. Let y = -18 + 22. Is s(y) prime?
False
Suppose 4*y = 27 - 103. Let x be -6 + 1 + -1 - 0. Let m = x - y. Is m a prime number?
True
Suppose 3 = 3*i, -8*s - 7*i = -7*s - 14628. Is s a composite number?
False
Let j(k) = -5*k**3 - 6*k**2 - 2*k + 25. Let y be j(-6). Let d = 5172 - y. Is d prime?
True
Let c(s) = 170*s**2 + 22*s - 25. Is c(-13) prime?
False
Let m(d) = 38*d**2 - 6. Let v be m(2). Suppose 2*p - 276 - v = 0. Is p a composite number?
False
Suppose 47*u - 2412 = -109. Is u composite?
True
Let t(g) be the second derivative of -g**4/12 + g**3/6 + 2*g**2 - 5*g. Let n be t(3). Is n - (1 - 90) - 2 a composite number?
True
Suppose 0 = 13*x - 496 - 3391. Is x prime?
False
Suppose 4*z - 5634 = -5*v, 0*v - 1403 = -z - 4*v. Is z composite?
True
Suppose 0 = -8*p + 37 + 83. Let g = p + -10. Let t(k) = 42*k - 5. Is t(g) a composite number?
True
Suppose 0 = -4*o - 4, -2*o = 4*q + 11709 - 73263. Is q prime?
False
Let g be (-145)/(-2)*(-9)/(-30)*4. Let o = 112 - g. Is o prime?
False
Is -2 - (-2)/6 - 16352/(-12) a prime number?
True
Suppose -5*g = -3*n, 4*g - 12 - 1 = 5*n. Is -4 - (3 + -99) - n a prime number?
True
Suppose 4*w - 3*l = -w - 132, -2*l = 3*w + 64. Let o be w/(-16) + (-2630)/4. Let c = 390 - o. Is c composite?
True
Let u(j) = -288*j - 7. Let f(m) = 289*m + 6. Let d = -27 + 30. Let c(z) = d*f(z) + 2*u(z). Is c(3) a prime number?
True
Suppose 2*o + 0*o + 3*r + 6 = 0, -r = -4. Let h = 402 - o. Is h prime?
False
Let u be (24/(-18))/(6/(-9)). Suppose 2*z + u*l = -z + 1391, 2313 = 5*z - 2*l. Is z composite?
False
Let d(s) = -149*s - 17. Let m = -24 - -18. Is d(m) composite?
False
Suppose 2*c + 2 = -f, -2*c + 5*f - 4 = 10. Let z be (3 - 2)*c + 0. Let s(t) = -18*t**3 - t**2 - 2*t + 1. Is s(z) composite?
True
Let k be -3 + 5 - (-5 - -3). Suppose 0 = -k*r + 2*r + 8. Suppose -r*x = -23 - 341. Is x a prime number?
False
Let j = 108 + -105. Suppose -5*a + 2741 = j*k, -1578 = -3*k - a + 1147. Is k a composite number?
False
Let i = 48501 + -33008. Is i a composite number?
False
Is 11/(66/4) + (-123172)/(-12) composite?
True
Suppose 2*k + 2*k = -4*l + 1500, 1508 = 4*k + 2*l. Is k prime?
True
Suppose 3 = -63*r + 64*r. Suppose -2*t = -7*t - r*y + 2930, 3*y = t - 586. Is t prime?
False
Suppose -i - 4*m - 24274 = -3*i, -2*i = -5*m - 24279. Is i composite?
True
Let z(o) = -12*o**3 - 3*o**2 + o - 3. Let s(g) = g**3 - 17*g**2 + 15*g + 20. Let q be s(16). Let a(l) = -l**3 + 5*l**2 - 5*l + 1. Let p be a(q). Is z(p) prime?
False
Suppose 8 = 2*z + 2. Suppose -z*b - 3 = -x - 12, 3*b + 2*x = 18. Suppose b*g = -1406 + 3482. Is g a composite number?
True
Suppose -3*a - 19 = -4*d, -d = d + 4*a - 4. Suppose 4*j = -4*z + 1399 - 511, -d*z + 665 = 3*j. Is j composite?
False
Let n(f) = -f**2 - 9*f + 6. Let t be n(-10). Let b be (t + 3 + -1)/(-1). Suppose 1676 = 2*k + b*k. Is k composite?
False
Let i be -5*(-3 - -2) - 3. Suppose 2*d = 2*s + 2*s + 1328, -2*d = -i*s - 1334. Is d/(-6)*(-9)/3 prime?
False
Let w be (104/(-13))/((-2)/(-5)). Let t = -8 - w. Let c(d) = -d**3 + 12*d**2 + 6*d - 7. Is c(t) a composite number?
True
Suppose -2*n + 5*b = -9209 - 512, -4*n + 19472 = -4*b. Is n a composite number?
True
Suppose 9 = -3*p, 6827 = 19*l - 15*l + 3*p. Is l a composite number?
False
Let t(q) = -35*q**3 + 2*q + 1. Let k be t(-1). Let o(j) = j - 5. Let w be o(7). Suppose w*v = 3*v - k. Is v a composite number?
True
Suppose 5*j + 2*o - 4*o - 99685 = 0, 0 = -2*j - o + 39865. Suppose 0 = -5*v + x + 3*x + j, -5*x = 5*v - 19890. Is v composite?
True
Let y(x) = 2*x**2 - 2*x - 3. Suppose 4*r - 4*u = 64, 2*u + 0 + 20 = r. Let n be r*((-15)/9 - -2). Is y(n) prime?
False
Let a = 9307 + -4446. Is a prime?
True
Let m(y) = 2*y**3 - 13*y**2 + 6*y + 3. Is m(10) a prime number?
False
Let g be (-11 - 0) + 2 + -5. Let v = g + 7. Let s(j) = 3*j**2 + 6*j - 8. Is s(v) prime?
True
Suppose 2*w + 21 = 11. Let n(f) = 8*f**2 - 9*f + 12. Is n(w) prime?
True
Let c(w) = 3*w**2 + 33*w + 5. Let f(q) = -q**2 - 11*q - 2. Let m(y) = -3*c(y) - 8*f(y). Let o be m(-11). Suppose v + 2 + o = 0, k - 3*v = 122. Is k composite?
False
Is (17693/(-26))/(1/(-5))*2 composite?
True
Suppose -4*h - 8 = -2*t, 3*t + 2*t - 3*h + 1 = 0. Let g be ((-36)/(-8))/(t/32). Let y = 271 + g. Is y a prime number?
True
Suppose 0 = -3*z - 5*s + 847, 5*z - 942 = -4*s + 474. Let i(r) = -30*r**2 + r - 1. Let y be i(-2). Let b = y + z. Is b a composite number?
True
Is 56506/14 + (-72)/(-84) composite?
True
Let i be (1/(-2)*1)/((-6)/(-156)). Let z(n) = 3*n**2 + 14*n + 6. Is z(i) a prime number?
True
Let o(y) = 81*y + 6. Let x be o(8). Suppose 4*u - 1262 - x = 0. Is u composite?
False
Suppose -2*u - l - 26 = 0, u - 4*l = 5*u + 56. Let d be (344/u)/(2/(-6)). Let i = 153 - d. Is i composite?
False
Suppose 0 = 7*c - 4138 - 35524. Is c prime?
False
Let j = -401485 + 694176. Is j a prime number?
False
Let q = -249 + 811. Let r = 1263 - q. Is r a prime number?
True
Let b be (-24)/4*(-1)/3. Suppose -4*l - 400 = -4*c, 0*c = b*c + 2. Let q = -46 - l. Is q a prime number?
False
Suppose s = 2*m - 1003, -5*s + 1507 = 3*m - 4*s. Suppose 13*f - 14*f = -m. Is f a composite number?
True
Let l(h) = h**2 - h + 181. Let w be l(0). Suppose -w = -i + 5*v, 1 = -v + 3. Is i composite?
False
Suppose -4*z - z - 3*d = -441, -2*z = 5*d - 184. Suppose z = -3*b + 468. Is b a prime number?
True
Let r(h) be the third derivative of 13/6*h**3 + 0 + 3/8*h**4 + 0*h + 1/20