142. Let b = r - 124. Is b composite?
True
Let i(b) = 4*b**2 + 11*b - 10. Is i(-11) composite?
False
Is (-10 + 33)/((-1)/(-5)) a prime number?
False
Let x be (-3)/((4/5)/(-4)). Suppose 5*v - x = 0, 5*v - 14 = -p + 2*v. Suppose -p*l + 5*o = -370, 2*l - 5*o - 133 = -0*l. Is l a composite number?
False
Suppose 144 = d - 1217. Is d prime?
True
Suppose -7009 = -5*x - 204. Is x a composite number?
False
Let q be (-29215)/(-45) + 4/(-18). Let d = q - 438. Is d composite?
False
Suppose 0 = -r + 2*c + 41, 3*r + 4*c = 50 + 53. Is r composite?
False
Let a be (4 + -2 - -11)*1. Suppose 5*z + 1 = -k, -3*k - z + 2*z = -a. Is (-1)/k - (-519)/12 a prime number?
True
Let b(q) = -18*q - 7. Let c(s) = -72*s - 29. Let a(y) = -9*b(y) + 2*c(y). Is a(4) prime?
False
Let o = 12 - 7. Let r(f) = 2*f - 4. Let g be r(o). Suppose g*j = j + 415. Is j a prime number?
True
Suppose -4*k + 1426 = 3*i + 105, 0 = -5*k - 5*i + 1650. Is k a composite number?
False
Is 1/2 - 211/(-2) composite?
True
Let g be 4/10 - 68/(-5). Let x = 87 - g. Suppose -2*s + x = 3. Is s a prime number?
False
Let c(u) = -u**2 - 2*u + 3. Let d be c(-3). Suppose -4*b + 49 + 507 = d. Is b a composite number?
False
Suppose 4*r - 8770 = -r. Is r composite?
True
Suppose -38 = -y - b, -4*y + 64 = -2*y - 2*b. Let z be (5 + -3)*(-50)/4. Let d = y + z. Is d prime?
False
Let r(f) be the third derivative of -f**6/18 - f**5/120 + f**4/24 - 2*f**2. Let u(o) be the second derivative of r(o). Is u(-1) a prime number?
False
Is ((-479)/(-2))/(1/2) prime?
True
Suppose 2*g = 3*g + 4*k - 4, -5*g = k + 18. Suppose 0 = -7*q + 2*q. Is q + (-34)/g*14 a composite number?
True
Let p = 1433 - 466. Is p composite?
False
Let v(a) = -a**3 + 10*a**2 + 16*a + 5. Let x be v(11). Suppose 2*k - 38 = x. Is k a composite number?
True
Suppose 2*p + 7*g - 2*g + 14 = 0, -5*p + 35 = -5*g. Is (1 - p)*(-31)/2 prime?
True
Let p(o) = -41*o + 4. Let w be p(7). Let l = w + 404. Is l composite?
True
Let g = -3 - -3. Suppose 4*t + z = t + 211, g = t - 4*z - 53. Is t a composite number?
True
Let r be -1*1 + -1 + 2. Suppose 3*q - k - 59 = r, 2*q - 2*k = 2*k + 26. Is q a composite number?
True
Suppose -4*y + 6 = -2*y. Is 2/6 + 104/y a prime number?
False
Let a be (1 + -1)/(-1*1). Suppose 6*o - 3*o = a. Suppose i + 4*c = 4*i - 349, -4*c + 8 = o. Is i prime?
False
Suppose 4*k = -k - 2*r + 284, 3*k + r - 171 = 0. Is k composite?
True
Suppose -6*w + 2*z + 1100 = -4*w, 0 = 2*w - 5*z - 1097. Is w a composite number?
True
Let g(k) = -6*k**3 + 2*k**2 + 3*k + 3. Suppose 2 = -i - 0. Is g(i) composite?
False
Suppose -2*c = -5*c - 5*z - 17, -2*z = -c - 2. Let b = c - -5. Suppose 2*l - b - 64 = 3*s, 0 = l - 3*s - 28. Is l prime?
True
Suppose 0 = 4*h - 16. Suppose 0 = h*q - 1 + 9, 0 = -t + 4*q + 30. Is t prime?
False
Suppose 6*g + 6227 = 19*g. Is g a composite number?
False
Suppose -f + 3 = -1. Is (86/f)/(6/12) prime?
True
Is -2 + (1 - -1) - -259 prime?
False
Let x be 2*-1*(-5 + 3). Let y = 7 - x. Suppose 5*s + 20 = 0, 0*n + 3*n + y*s = 87. Is n a prime number?
False
Suppose 6*g - a - 6681 = g, -5*g = -5*a - 6665. Is g composite?
True
Suppose 4*t = 3*z - 241, -5*z + 0*t + 2*t + 411 = 0. Is z a composite number?
False
Suppose -4*v = -5*m, m + 30 = -2*v - 4*m. Let t(r) = -r**2 - 6*r - 5. Let u be t(v). Suppose -c = -u*c + j - 261, -2*c + 2*j + 538 = 0. Is c composite?
True
Let z(v) = -v**2 - 5*v - 4. Let l be z(-4). Let o(q) = q**3 + 3*q**2 + 2*q + 3. Let u be o(-2). Suppose 0 = -l*p + p - 1, 3*y + u*p = 12. Is y prime?
True
Suppose -a - 4 + 6 = 0. Is (-184)/16*(-12)/a a composite number?
True
Let h be (0 - 1)*(-1 - -1). Let v = h + -1. Is ((-5)/1 + -2)*v prime?
True
Let o be (-5)/(5/6)*-13. Suppose -4*i + 4*m + 32 = -204, -2*m - 228 = -4*i. Let u = o - i. Is u composite?
False
Let v(k) be the first derivative of -k**4/4 - 8*k**3/3 - 4*k**2 - 4*k + 2. Let t be v(-7). Suppose -f + t*i - 5*i + 11 = 0, 62 = 4*f - i. Is f prime?
False
Let c = -10 - -12. Is (-93)/6*(-4 + c) prime?
True
Let d(c) = -c**3 - c**2 - c - 8. Is d(-6) a prime number?
False
Is (-6)/(1/(79/(-2))) a prime number?
False
Suppose 0 = -0*v + 2*v - 3310. Is v prime?
False
Let o(d) = d**3 - 5*d**2 + 4*d - 5. Let k be o(4). Let n(m) = 14*m**2 + 3*m. Is n(k) a prime number?
False
Let z be 4444/8 + 2/4. Suppose -2*a + z = 2*a. Is a a composite number?
False
Let z(b) = -b**3 + 5*b**2 + 14*b + 5. Is z(6) prime?
True
Suppose -5*h + 4*h + 2298 = 2*s, 1155 = s - h. Is s composite?
False
Suppose -5 = d, -4*f + 4*d = -2508 + 716. Is f composite?
False
Let n be 2/(-4) - 2/(-4). Let p(d) = -d**3 - d**2 - d + 59. Is p(n) prime?
True
Let w(r) = -25*r**3 + r**2 - r. Let o be w(-2). Let a = 325 - o. Is a a composite number?
True
Suppose -70*s - 265 = -75*s. Is s a prime number?
True
Let k(i) = -23*i - 14. Let g be k(-10). Let o = g - 73. Is o prime?
False
Is -3 - (4 - (-1890)/(-3)) prime?
False
Let y(m) = -m**3 + 3*m**2 + 4*m + 2. Let o be y(4). Is o/(-3) - 92/(-12) a composite number?
False
Suppose -8*s = -6*s - 314. Is s prime?
True
Let r = 3310 - 49. Is r composite?
True
Let l(g) = 127*g - 1. Let j be l(-1). Let i = -63 - j. Is i prime?
False
Let s = 5 - 2. Suppose s*i - 21 = 27. Let u = -9 + i. Is u a prime number?
True
Let s(x) = x**3 - 5*x**2 - x + 2. Let t be s(4). Is (-2)/(t/(-597))*-3 a composite number?
False
Let g(b) = 7*b**2 - b - 1. Let q = -13 - -22. Is g(q) a prime number?
True
Suppose 29*b = 25*b + 5444. Is b prime?
True
Let c(w) = -w - 7. Let h be c(-11). Suppose 0 = 7*v - h*v - 207. Is v prime?
False
Suppose -2*l + h - 1 = 0, 2 + 2 = -2*l + 4*h. Suppose -k - d + 206 = l, -k + 215 = 5*d - d. Is k a prime number?
False
Let i(d) = -6*d**3 + 7*d**2 + 5*d + 7. Is i(-5) a prime number?
True
Let x = -73 - -147. Is x composite?
True
Let j(h) = 20*h - 3. Suppose -4*z + 14 = -18. Is j(z) composite?
False
Suppose 0 = -5*s + 10 + 35. Is 1069/s + (-4)/(-18) composite?
True
Suppose 2*b + 198 = -4*i, -5*b + 0*b = i + 504. Let o = -55 - b. Is o a composite number?
True
Suppose 32 + 356 = 2*a. Is a a composite number?
True
Let u = 5 + -7. Let o(y) = y + 1. Let k be o(u). Let m(z) = -10*z**3 - z - 1. Is m(k) composite?
True
Suppose -4*x + 0*x + 1668 = -2*q, -5*x + 2075 = -5*q. Is x a prime number?
True
Let f be 1 + 3 + 0/(-5). Suppose f*l - 515 = -l. Let g = -70 + l. Is g prime?
False
Suppose -5*j + 1065 = -190. Is j a prime number?
True
Let t be (6/9)/((-2)/84). Is 648/14 + 8/t a prime number?
False
Suppose c = -5*q - 14, -c + q - 2 = -6. Is (5 + -4)/(c/79) a composite number?
False
Let w = -441 + 1145. Suppose 5*z - 2*h - 927 = 0, -5*z + 3*h + 219 + w = 0. Suppose -4*r = 2*c - 150, 0*c - z = -5*r - 2*c. Is r composite?
False
Let w be 204*(-68)/36*-3. Suppose 4*v + w = 5*d + 241, 4*d - 753 = -v. Is d prime?
False
Suppose -518 = -0*s - 2*s. Is s a prime number?
False
Let y = 190 + 23. Let c = y - 30. Is c composite?
True
Suppose 1608 = -3*m - m. Let z = m - -565. Is z a prime number?
True
Suppose 0 = k - 4*k + 7281. Suppose -5*u = -d - 0*d - k, -4*u + 1930 = 5*d. Is u prime?
False
Suppose -5*v = 3*y - 59, -2*v - 3*y = -0*y - 20. Is v a composite number?
False
Let w(y) = -y**2 - y + 24. Let v be w(0). Let o = -39 + v. Is (-789)/o - 6/(-15) a composite number?
False
Let q = -10 - -12. Is 2519/33 - q/(-3) prime?
False
Suppose 2*d = 2 + 4. Suppose 2*o = -5*c - 22 + 194, -5*o + 368 = -d*c. Let q = o - -39. Is q composite?
True
Let p(w) = -10*w**3 + 4*w**2 + 3*w + 2. Let l(b) = -9*b**3 + 3*b**2 + 3*b + 2. Let d(n) = 5*l(n) - 4*p(n). Is d(-3) a composite number?
True
Let b = 248 + 58. Suppose -g + 42 + 103 = 2*v, 0 = -2*g + 4*v + b. Is g composite?
False
Suppose -2*x - d = -851 + 240, -3*x = -2*d - 913. Is x composite?
True
Is 10964*((-33)/11 - 26/(-8)) composite?
False
Is (3 - 8315/10)*-2 a prime number?
True
Let v be 2 - 6/(-3 - 0). Suppose c = -v*d + 35, c - 3*d + 23 = 86. Is c a prime number?
False
Let v(m) = -3*m + m + 3*m + 91. Is v(0) a composite number?
True
Suppose 3*m = -5*t + 362, t + 592 = 5*m - 2*t. Is m prime?
False
Suppose -2*x - 653 = -5*i, 0 = -2*x - x - 12. Is i a prime number?
False
Suppose 2*h + 4*h + 108 = 0. Is 3/h*-3*38 a prime number?
True
Let g(h) = -h**2 - 8*h + 7. Is g(-6) a prime number?
True
Suppose 11*m + 986 = 13*m. Is m a prime number?
False
Let s(c) = -c**3 + 12*c**2 + c + 5. Is s(9) composite?
F