. Suppose o + i = n*o. Is o a composite number?
True
Suppose 3*s - 99894 = -3*s. Is s a prime number?
True
Is 3033 + 0/(-2) + -4 prime?
False
Suppose 0 = 8*i + 18821 - 58045. Is i a composite number?
False
Let n(h) = -5*h**2 + 2*h - 15. Let j(x) = 9*x**2 - 3*x + 31. Let w(b) = -4*j(b) - 9*n(b). Is w(-6) a prime number?
False
Let u = 876 + 5927. Is u a prime number?
True
Let o(m) = 16*m**3 + 5*m - 2. Let s(a) = -a**3 - 4*a**2 - 4*a. Let g be s(-3). Let h be o(g). Suppose t = -z - t + 109, -4*z + h = -t. Is z prime?
False
Let d(t) = t**3 + 4*t**2 - t - 2. Let m be d(-4). Let l be (1 - m)*2*-74. Suppose -s = 42 - l. Is s composite?
True
Let u(m) = 16*m**2 + 5*m + 7. Is u(10) composite?
False
Suppose -7 = -3*k - 19, 2*r - k = 3496. Suppose r - 7276 = -10*x. Is x composite?
True
Let u = 20 - 6. Suppose -7*a + 0*a - u = 0. Let v(g) = 28*g**2 - 3*g - 5. Is v(a) prime?
True
Let b = -2497 + 4592. Is b composite?
True
Is (4 - (8 - 3))*-1277 a prime number?
True
Suppose -2*t + q = 52, -2*t + q - 56 = 2*q. Is ((-7893)/t)/(1/9) composite?
True
Suppose -3*n = -4 + 58. Let w = 10 + n. Let q(c) = 3*c**2 + 5*c + 6. Is q(w) prime?
False
Let r = 2177 - 816. Is r prime?
True
Let o = 23 - -4680. Is o a composite number?
False
Suppose 16 = -f + 8. Is (-4)/16 - 3034/f composite?
False
Let h = 505 + -35. Let g = 1083 - h. Is g a composite number?
False
Let o = 3044 - 541. Is o prime?
True
Let x(a) = -a**3 - 5*a**2 - a - 1. Let q be 3/(-8) + (-74)/16. Let v be x(q). Suppose 2*u = 6*u + 20, v*f + 3*u = 973. Is f composite?
True
Let p(d) = -2*d**3 - 14*d**2 - 15*d - 5. Is p(-10) a composite number?
True
Suppose 3*x = -x + 4*u, -4*x = -3*u. Suppose -3*g + 6 = b - 6, -4*b - 12 = x. Suppose 7*w = g*w + 354. Is w prime?
False
Suppose 9*r - 12*r + 25511 = 4*k, 4*r = -2*k + 34008. Is r prime?
True
Let g(r) = -r + 6. Let j be g(0). Suppose p = j*p - 555. Is p a composite number?
True
Let v = 14034 - 6407. Is v composite?
True
Suppose 864 = 5*w - 601. Let d = w - 175. Is d prime?
False
Let c(q) = 842*q + 8. Let u be c(-5). Let s be 494557/77 - (-2)/11. Let j = u + s. Is j a composite number?
False
Let n = -333 + 1235. Let x = -423 + n. Is x prime?
True
Let v(k) = 2*k + 19. Let w be v(-7). Suppose w*p = -z + 917, -z - 3*z + 3624 = -2*p. Is z a prime number?
True
Let r(m) = 572*m + 433. Is r(4) a composite number?
True
Suppose -j + 2767 + 538 = 2*d, 0 = -2*d - 4*j + 3314. Is d prime?
False
Let w be (-36)/(-126) - (-19954)/(-14). Let c = w - -2540. Is c a prime number?
False
Let c(v) = -v**2 - 5*v - 2. Let w be c(-4). Suppose k = w*k - 358. Suppose 0 = -m - m + k. Is m a composite number?
False
Let p(f) = 738*f - 40. Is p(3) composite?
True
Suppose 3*w + 954 = 2*j, 0 = -0*j - 3*j + 5*w + 1430. Suppose -3*b - 259 = 347. Let p = j + b. Is p prime?
False
Let p(d) = -d**2 + d + 2. Let l be p(2). Let q be -1 - (-5 - (-1 - l)). Suppose -q*s + 5*n + 84 + 40 = 0, 74 = 3*s + 5*n. Is s composite?
True
Let r be 1796/8 - (-2)/(-4). Let b = r + 25. Suppose -12 = 3*v - b. Is v composite?
False
Let x = -148 + 144. Is (-9813)/(-6) - x - 3/6 prime?
False
Let l be (-2)/5 + (-1470)/75. Is ((-12530)/l)/(-1*2/(-4)) prime?
False
Suppose 13*k + 6*k = -494. Let r = 933 + k. Is r prime?
True
Is -1*(0 - 123) + 6 prime?
False
Suppose 0*t = -2*t + 398. Suppose 6*r + 2*u - t = 3*r, 3*r - 189 = 3*u. Let i = 144 - r. Is i a composite number?
False
Let u(x) = -8*x - 2. Let l be u(-1). Suppose -5*t = -l*t - 6. Let f = t + 95. Is f a prime number?
True
Suppose 6*y = 10*y - 16. Suppose l - 2*l - 13313 = -4*h, 0 = -h + y*l + 3347. Is h a prime number?
False
Suppose 3*d = 3*t - 0*t + 6, 5*t = -d + 20. Suppose -d*r = -h + 42, 0 = -0*h - h - 5*r + 32. Is h prime?
True
Let k(c) = 5*c - 1. Let w be k(1). Let f be (-2)/((16/(-10))/4). Suppose -2*l = f*v - 265, 2*l - 196 - 16 = -w*v. Is v composite?
False
Let t be (4 + 20)*2/6. Let x be 6/(-24) + 3754/t. Suppose 0 = -4*j - 3*u + x, 3*j = -j + 5*u + 445. Is j a composite number?
True
Suppose 4*w - 5*w = 0. Is -2 + 3 + w + 381 a composite number?
True
Let y = -4980 + 8311. Suppose -d - y = -3*z + 4*d, z + 5*d - 1137 = 0. Is z a prime number?
True
Let i(p) = p**2 + 12*p + 73. Is i(12) prime?
False
Let r = 30386 - 15955. Is r a prime number?
True
Let x(j) = 1171*j**2 + 2*j + 2. Is x(-1) composite?
False
Suppose 5*r - 68788 + 13823 = 0. Is r prime?
True
Let c = -103 - -172. Is c a composite number?
True
Let d be (2/(-3))/(-2 - (-80)/45). Suppose 0 = 5*b - r - 291, -d*b + 4*b = 3*r + 47. Is b prime?
True
Suppose 5*o = -u + 392, 0 = -3*o - 16 + 1. Let c = u - 184. Is c prime?
True
Suppose 0*z - 3 = -z, -2*y = -4*z - 356. Let d = y + -267. Let j = 66 - d. Is j composite?
False
Let j be 883 + 2 + (-1 - 3). Suppose 2*g - j = 161. Is g prime?
True
Let p = -14 + 13. Let k be ((-453)/9)/(p/3). Suppose -q = -2*d - 0*q + 99, k = 3*d - 4*q. Is d a composite number?
True
Suppose p + 3*p = -a + 21, 0 = 3*p - 4*a + 8. Suppose p*i = 2*z - 7 - 1, 4*z - 4 = -4*i. Suppose 4*r = -z*s + 882, 2*r + 84 + 349 = s. Is s a prime number?
False
Let i(f) = -9*f**2 + 15*f + 15. Let h(q) = 13*q**2 - 22*q - 22. Let v(y) = 5*h(y) + 7*i(y). Let l be v(14). Suppose -l - 159 = -4*w. Is w a prime number?
False
Let m(z) = 16*z + 3. Let u be m(10). Let i = u - -460. Is i prime?
False
Suppose 0 = 3*f - 4*f - 1. Let p be 6 - 2*f/(-2). Suppose -2348 = -p*a + a. Is a a prime number?
True
Let j(s) = s + 18. Let i be j(-9). Suppose 0 = i*p - 3*p. Suppose p = 4*m - 5*m + 295. Is m composite?
True
Let f = -42935 + 62854. Is f a prime number?
True
Let g = -166 - -26. Let k = 1031 - g. Is k a prime number?
True
Suppose -4*r - 2569 = -3*d, -5*r = 2*d - 6*d + 3426. Let y = d + 124. Is y a prime number?
True
Suppose -p = -3*u - 86, 81 = p - 4*u + 6*u. Is p prime?
True
Let q(t) = -16*t + 31661. Is q(0) a composite number?
True
Suppose 0 = -5*h + 6*h + 3*j - 4649, 4*h - j = 18544. Is h composite?
False
Let l be (-14 + 21)*(-14)/(-2). Suppose -p + m = -2*m - l, 5*m + 5 = 0. Is p composite?
True
Let h = 16910 - 5055. Is h composite?
True
Is 51265/25 + 10/25 composite?
True
Suppose -x - b + 3*b + 11 = 0, 0 = -3*x + 3*b + 24. Suppose -4468 = -n + x*n. Let j = n + 1658. Is j composite?
False
Let d(w) = -118*w**3 + 13 - 2*w**2 + 126*w**3 + w**2 - 7*w. Is d(8) a prime number?
True
Suppose 0 = -2*t + 2*p + 6, p = -5*t + 3*p + 27. Suppose 0 = -t*r - 309 + 3130. Is r prime?
False
Suppose -10 = 2*h - 16. Suppose -2 = -h*y + y. Let i(m) = 65*m**3 - m**2 + m. Is i(y) a prime number?
False
Let b = 925 + -584. Let n = -44 + b. Let o = n - -84. Is o composite?
True
Let v be (-7)/(3/(-2)*(-6)/(-9)). Let w(z) = 30*z**2 + 7*z - 12. Is w(v) a prime number?
False
Suppose 8*c - 11 = 5. Is (-2)/(-3) - -9938*c/12 a prime number?
True
Suppose j + 5*x - 2*x = 258, -519 = -2*j - 5*x. Is j a prime number?
False
Is (-447)/((-312)/(-56) - 6) composite?
True
Let t(m) = 10*m**2 + m. Let a be t(-7). Let u(c) = -3*c**2 - 18*c - 19. Let o be u(-13). Let q = o + a. Is q a prime number?
True
Let w be (-2)/7 + 14088/14. Let b = 424 + -428. Is 5/(-10) - w/b composite?
False
Let k be ((-22)/(-8) + -3)*-12. Suppose -k*d - 354 = -6*d. Is d prime?
False
Let o be 3/(-4)*(-140)/21. Suppose 4*y + o*b = 6135, -3*y = -5*y - b + 3069. Is y composite?
True
Suppose -x - 15923 = -c, 58295 = 5*c - x - 21304. Is c a composite number?
False
Suppose -6*j - 551 = -539. Suppose 2*z - 18 = -l + 18, 52 = 3*z + l. Is (60/z + j)*68 composite?
True
Suppose 12*z - 15*z = -102. Let x(r) = -2*r + 13*r - z + 4*r. Is x(15) prime?
True
Let k be (-1)/(-6) - (-212)/24. Let z(x) = -x**3 + 10*x**2 + 9*x - 21. Is z(k) a composite number?
True
Suppose 5*k + 2*c - 47 = 5*c, 4*c - 4 = 0. Is 5919/6*k/5 a composite number?
False
Let j(m) = -4*m - 9. Let o = -11 - -15. Suppose 5*l - o*l = -17. Is j(l) a prime number?
True
Let d(h) = h + 91. Let r(b) = b**3 - 3*b**2 + 4*b - 2. Let y be r(2). Suppose 3*g = 5*u + 2*g + 4, -y*g + 8 = 0. Is d(u) composite?
True
Let s = 1186 + 4383. Is s a composite number?
False
Let x(c) = 13964*c**2 - 8*c + 7. Is x(1) composite?
False
Suppose -4*a - 5*x + 16911 = 0, a - 13*x = -15*x + 4227. Is a prime?
True
Suppose 7*k - 6*k = 3*o + 6322, 0 = -2*k + o + 12629. Is k composite?
True
Suppose -652 = -2*f + 244. Let y = f + -197. Is y prime?
True
Suppose -k - 3*k + 69978 = -2*q,