?
True
Suppose 0 = 84*h - 2221639 - 2227925. Is h prime?
False
Suppose 5*v - 139 = -439. Is 0 + 8967 - v/135*-9 composite?
False
Suppose 0 = 3*j - 40*j + 3*j + 1596878. Is j a composite number?
True
Suppose 0*g = 5*g - 25. Suppose -5*b - 14*q = -11*q - 45900, 3*q - 36717 = -4*b. Suppose 25 = -g*f + 5, -5*n = -2*f - b. Is n prime?
False
Suppose -2*o - 5*v = -15, -2*v - 23 = 10*o - 15*o. Suppose -o*r + 4270 = -5*p, 0 = 19*r - 16*r - 2*p - 2559. Is r a composite number?
True
Let a be (((-28)/12)/(-7))/((-2)/(-12)). Let u(t) = 3*t - 7. Let p be u(a). Is 341/1*-1*p prime?
False
Is -2 - 336/(-174) - (-1540515)/87 composite?
False
Suppose 0*x - 235960 = 8*x - 1057344. Is x prime?
True
Let z = -52 + -43. Let m = -65 - -213. Let j = z + m. Is j prime?
True
Let u = -116 + 63. Let v = 48 + u. Let h(m) = -93*m + 22. Is h(v) a prime number?
True
Let j = -133299 + 261308. Is j prime?
False
Let v be -10*(-1)/(-2)*-1. Is -2 + v + 1159/1 + 1 composite?
False
Let p be 464/(-64) - (-2)/8. Let u = -7 - p. Suppose 0 = f - 3*k - 331, k - 1591 = -u*f - 5*f. Is f composite?
True
Let y = -7230 - -18377. Is y prime?
False
Let f(h) = 222793*h**2 - 30*h. Is f(-1) composite?
False
Suppose 24*j = 19*j + 20. Suppose -j*p = 2267 - 591. Let v = -288 - p. Is v a composite number?
False
Suppose -235012 = 2*u - 456751 - 412427. Is u a prime number?
False
Is 18748383/209*66/18 composite?
False
Let c = 3 - -42. Let w = c + -49. Let q(k) = -14*k + 2. Is q(w) prime?
False
Let l = 6 - 18. Let d be (l/(-15))/(2/(-5)) - -69. Let g = 222 - d. Is g composite?
True
Let x = -691 - -694. Suppose -1526 = -x*v + 16531. Is v prime?
False
Let b = -86 + 99. Let c(p) = 8*p**2 + p + 127 - 18*p**2 + b*p**2. Is c(0) a prime number?
True
Suppose -3*c = u - 0*c - 5, -3*u + 28 = -4*c. Let d = -3 + u. Suppose -d*j + 578 = 23. Is j a composite number?
True
Suppose 56 = 11*b - 7*b. Let o = -4 + b. Suppose -5*x + o = 0, 6*x + 1113 = 3*s + 3*x. Is s composite?
False
Suppose -2*w = 5*s - 14, -4*s + 3*s + 19 = -5*w. Suppose 0 = -3*b - h + 162, 0 = 2*b - s*h + 5*h - 107. Is b a composite number?
True
Suppose -18*p + 20*p = -116. Is (-263)/((-29)/p*(-3 + 1)) prime?
True
Suppose 0 = -10*d + 5*d + 30. Suppose 12*g - 492 = d*g. Is g prime?
False
Let f = 131939 + -24112. Is f prime?
True
Let q(w) = w**3 + 8*w**2 + 17*w - 2. Let i be q(-5). Let o be i/8*3*-2 - 3. Suppose -o*g + 8*g = 8098. Is g a prime number?
True
Suppose -15*l + 13*l - 8 = 0, 2*c - 7*l - 33014 = 0. Is c prime?
True
Suppose -5*a = -6*a + 4*w - 9, -4*a + 2*w = -6. Suppose 3*n + a*l = 81282, -2*l = 3*n - 7*l - 81258. Is n a prime number?
True
Let j(z) = 8755*z - 326. Is j(9) prime?
False
Suppose y - 4*x + 11 = 0, 2*x = -2*y + 11 + 17. Suppose -5*b = -y*b + 15212. Is b composite?
False
Let x(c) = -c**3 - 2*c + 15 - 3*c**3 - 12*c**2 + 5*c**3. Let i be x(12). Let l(w) = -12*w - 11. Is l(i) prime?
True
Let r(z) = 7*z**2 - 22*z - 2. Suppose -v + 9 = -4*v. Let j be ((-11)/33)/((-2)/v)*22. Is r(j) composite?
False
Let w(z) = 49*z**2 - 27*z + 20. Let n be w(18). Let r = n - 7501. Is r a prime number?
False
Let h be 0/(1*12/6). Suppose 20*n + 0*n - 6580 = h. Is n a composite number?
True
Let t(b) = -3661*b - 2508. Is t(-83) composite?
True
Let o = 296202 + -201635. Is o prime?
False
Let t be (33/(-6) - 1)/(3/2220). Let o = 14103 + t. Is o composite?
False
Let l be (2/(-3))/((-1)/6). Let y be (1243 - (-8 - -5))*2/l. Suppose -2*t + y = -1335. Is t composite?
True
Suppose 3*g - 2078774 = -4*m + 1723667, 5*m + g = 4753054. Is m composite?
False
Suppose 7*t - 190625 = 17975. Suppose 10*j + t = -0*j. Let p = 1611 - j. Is p a prime number?
True
Let g = 4984 + 5923. Suppose k - g = -4*l, l - 9501 = -k + 1397. Is k a composite number?
True
Let j = 2051 + -943. Let u(p) = -2*p**3 + 17*p**2 + 2*p + 65. Let z be u(9). Suppose -c - j = -t + z*c, 3338 = 3*t - 2*c. Is t a prime number?
False
Let j(y) = -y**2 + 2*y + 1. Let u(c) = c**3 + 3*c**2 + c + 4431. Let x(a) = 4*j(a) + u(a). Is x(0) a prime number?
False
Suppose -g - 11 - 6 = -5*n, 0 = 4*g + n + 47. Let j be (-1)/(-4) - (99/g)/3. Suppose 0 = -3*u, 4*h - 2*h = j*u + 310. Is h prime?
False
Suppose 3*l = -6*u + 5*u + 373707, 0 = -5*u - 3*l + 1868499. Suppose -u = -21*w + 25764. Is w a prime number?
False
Suppose -5*l - 4*q - 2399 = 0, -l - 3*q - 1919 = 3*l. Let u = l - -872. Suppose v - 3*t - 111 = t, -3*v + u = 3*t. Is v a prime number?
True
Suppose 282*r - 289*r + 16114 = 0. Suppose 10*l - r = 8*l - 4*q, -5*q + 1157 = l. Is l composite?
True
Let o = -8486 - -15473. Suppose 11656 = 5*u - 3*d, -7*d + 3*d - o = -3*u. Is u a prime number?
True
Let a(x) = -2 + 10 - 2*x**3 + 6*x**2 + x**3 - 219*x + 217*x. Let p be a(6). Is 937 - p/2 - -2 composite?
False
Suppose -t + 3*l + 29 = 0, 4*t - 47 + 16 = -5*l. Let q(r) = 5*r**2 - 51*r + 41. Is q(t) prime?
True
Suppose -7*m + 6 = -5*m. Suppose 0 = 4*h + 4*i + 4, 0*h = -m*h - 5*i - 9. Suppose 0*f = -5*c - 5*f + 5560, f = h*c - 2239. Is c a prime number?
True
Let q(p) be the first derivative of -p**4/4 + 22*p**3/3 - p + 4. Let t be q(22). Is t - 762/(-9)*3 a composite number?
True
Let a(z) = z**2 + z - 2. Let o be a(1). Suppose o*t + 308 = 4*t. Let f = 268 - t. Is f a prime number?
True
Suppose 6*j - 5*j + 5*y - 7 = 0, 0 = 4*j + 4*y + 4. Let v be 0 + j + -1035 + 4. Let k = -295 - v. Is k a composite number?
False
Let z(f) = 7*f - 4. Suppose -3*c = -m - m + 11, 0 = -2*m - 2*c + 6. Let p be z(m). Is (-2)/p*-8859 + (-6)/(-8) a prime number?
True
Let i = -395116 - -554229. Is i a composite number?
False
Let c = -56 + 104. Suppose 56*f - 35128 = c*f. Is f composite?
False
Let k(n) = 7*n**3 - 208*n**2 + 14*n - 87. Is k(64) composite?
False
Let m(q) = 144*q**2 + q + 12. Let d(v) = -1. Let r(z) = -5*d(z) - m(z). Let o be r(-2). Let y = o + 1060. Is y composite?
False
Let m = -356 + 357. Is m - -5 - (-5284 + 29) prime?
True
Let q(k) = 19658*k**2 + k + 5. Is q(-2) prime?
False
Suppose -38*b + 3347616 = -10919218. Is b a prime number?
True
Let z = 233 + -215. Suppose -3277 = -z*w + 485. Is w prime?
False
Suppose -42*v + 44*v - 135110 = -d, -3*v + 135108 = d. Suppose -d = -20*k - 8494. Is k a prime number?
False
Is 3*(-8)/4 + -3 - -1408 prime?
True
Let z be 1/((-18)/(-2696)) + (-16)/(-72). Suppose 6*v + z + 120 = 0. Is 53836/10 + v/75 a composite number?
True
Let z(n) = -981*n**3 - 13*n**2 - 3*n + 47. Is z(-6) composite?
False
Let r(o) = -o**2 + 2*o + 558. Let b be r(0). Suppose -3*y + 431 = 3*n - 448, 5*n + b = 2*y. Let l = -38 + y. Is l prime?
True
Let t(u) = 21*u**2 - 4 - 9 - u + 0*u. Let o be 7 - (3 + 1 - 3)/1. Is t(o) prime?
False
Let n = 55928 + -321. Is n a composite number?
True
Let n be 2/5 + 1460/100. Suppose -n*w + 150 = -5*w. Suppose -8*q + w*q = 1631. Is q a prime number?
True
Suppose -5*n = i - 81343, 21*i = 16*i - 2*n + 406623. Is i prime?
False
Let o(b) = 2*b**3 - 19*b**2 + 14*b - 33. Let k be 1/2 - (105/14)/5. Let p(m) = m**3 - m - 1. Let q(n) = k*o(n) + p(n). Is q(13) prime?
False
Let n(z) = -z**3 + 25*z**2 + 23*z + 81. Let x be n(26). Suppose x*g - 13610 = -7*g. Is g prime?
True
Let c(n) = 2167*n + 1965. Is c(62) composite?
False
Suppose 2*b = -2*q + 327000, 3*q - 4*b - 201412 = 289081. Is q a prime number?
False
Is -233 + 447846 + -5*(-2 + 0) composite?
True
Let s(z) = -z + 15. Let v be s(10). Suppose 5*n = -v*y + 4915, -y + 324 = -2*n - 659. Is y prime?
True
Let a(h) = -h**3 + 39*h**2 + 13*h - 29. Let k(l) = l + 56. Let w be k(-34). Is a(w) a composite number?
True
Suppose 9*p = 86*p - 16196719. Is p a prime number?
True
Suppose -3*c = -2*c - 14. Suppose 17*r = c*r + 17889. Is r prime?
False
Let h(o) = o**3 + 8*o**2 - 60*o + 7. Let u be h(13). Suppose -9*p + 797 = -u. Is p composite?
False
Let w = 105 - 102. Let s be (-350)/(-5)*w/2. Is (117159/s)/(1/5) prime?
False
Let y(d) = d**3 + 16*d**2 + 10*d - 9. Suppose -14 = 2*i - 2*o + 14, -o - 26 = 3*i. Is y(i) a prime number?
True
Suppose -3*b - 2*k = -32407, 4*b = -k + 11621 + 31590. Suppose 2*q - 671 - b = 0. Is q a composite number?
False
Let v(i) = -6407*i**3 + 2*i**2 - 7*i - 11. Let x be v(-2). Suppose -5*q = -2*y + x, -62557 = -3*y - 2*q + 14296. Is y composite?
False
Let h(x) = -x - 9. Suppose 2*m = f - 5*f - 6, -5*m = -2*f - 33. Let z be h(f). Is (-4914)/z + (-36)/20 + 2 a composite number?
False
Let p(u) = 44 - 81*u +