-5*s + 63. Let l = s - 53. Is l a composite number?
True
Suppose 3*o + 5438 = 5*v, -5*v - o + 4458 = -976. Is v prime?
True
Let d(v) be the first derivative of -v**3/3 - 7*v**2/2 - v - 2. Is d(-3) a prime number?
True
Suppose -38 = 4*g + 54. Let z be 0 - (20/2 - 1). Let k = z - g. Is k prime?
False
Let d(z) = -33*z - 27. Let v(s) = -17*s - 14. Let o(x) = 6*d(x) - 11*v(x). Is o(-9) prime?
False
Suppose -7 = 3*s - 4. Is (s + 0)/(-1) - -10 a composite number?
False
Let t(c) = -2 - 7 - c**2 + 6 + 11*c. Is t(8) a composite number?
True
Is (-2)/5 + -14*1324/(-40) a prime number?
True
Let y = -130 - -397. Is y prime?
False
Let s be 1/(1*(-2)/(-114)). Let q = -166 + 302. Let w = q - s. Is w a composite number?
False
Let p(l) = 2*l**2 - l - 2. Let z be p(2). Suppose -f = -z*f + 45. Is f prime?
False
Let j(q) = 11*q - 3. Let p be j(5). Suppose -3*i + 2 + 7 = 0. Let u = p - i. Is u prime?
False
Let i(o) = -312*o - 49. Is i(-6) prime?
True
Let d = 2800 - 1814. Suppose 5*z = 2*a - 602, -4*a + 186 = -2*z - d. Suppose -3*w + a - 18 = 0. Is w composite?
True
Suppose 0 = -5*q + 3*x - 9346, 0 = 4*q + 4*x + 8825 - 1329. Let r = -1068 - q. Is r a composite number?
True
Let s be (-2 - (-6)/2) + 28. Suppose k + s = 120. Is k a composite number?
True
Is (-1)/((-1731)/(-867) - 2) prime?
False
Suppose -20 = -4*c - 0. Suppose 96 = -3*s - c*z - 131, -4*s = 4*z + 316. Let g = s + 133. Is g prime?
False
Let c = 5 - 5. Suppose c*q - q = 3*y, -4*q = -5*y. Suppose 4*x + a = 472, -x + 115 = -q*x + a. Is x a composite number?
True
Let t(v) = v**3 + 3*v**2 - 2*v - 1. Let d be t(-2). Suppose 9*g = d*g + 94. Is g a prime number?
True
Let m(o) = -o**3 - 11*o**2 - 9*o + 14. Let q be m(-10). Suppose 0 + q = 2*k. Is (-130)/4*k/(-1) composite?
True
Let s(j) = 20*j**3 + 0*j**2 - j**2 + 1 - 10*j + 9*j. Suppose -2*w = 4, w + 3 = h - 0*h. Is s(h) a composite number?
False
Suppose 0*x - 3*x + 2712 = 2*q, 3*q = -5*x + 4521. Let l = x + -91. Let y = l + -522. Is y a prime number?
True
Let b(u) = -3*u. Let w(i) = 4*i + 1. Let r(x) = -3*b(x) - 2*w(x). Let t(a) = 3*a - 4. Let l(c) = 10*r(c) - 4*t(c). Is l(-7) prime?
False
Suppose 0*t - 3*t - 2*c - 15 = 0, 3*t + 15 = 2*c. Let r = t - -60. Is r prime?
False
Let q(j) = 55*j + 27. Is q(14) a prime number?
True
Suppose -4*s = -4, 0 = -w - 5*s + 4 + 5. Suppose -w*l + 586 = -906. Is l a prime number?
True
Let u = -976 - -1395. Is u a prime number?
True
Let x = 76 - -1795. Is x prime?
True
Let z(g) = -2*g**3 - 5*g**2 - 4*g + 1. Let b be z(-3). Suppose u = 2*u + b. Is 6/33 + (-810)/u a composite number?
False
Suppose -6 = -0*q + 3*q. Let b be (4/(-3))/(q/3). Suppose -161 = -3*z - m, 0*m + 98 = b*z - 4*m. Is z a prime number?
True
Suppose -4*r = -5 - 3. Let i be 2*(191/r + 2). Suppose 4*f - i = -f. Is f a composite number?
True
Suppose 2*d + 10 = -0*d. Let u be 37 - -1 - (-2 - d). Suppose b - u = -4*b. Is b composite?
False
Suppose 6*a = 9*a - 12. Suppose 120 = a*q + 4*t, -4*t + 105 = 3*q - 6*t. Let x = q - 14. Is x a prime number?
True
Is (15 + -2)/(3/9) prime?
False
Suppose -831 - 431 = -5*q + 2*a, 1254 = 5*q - 4*a. Is q prime?
False
Is 3 + 0 - 3 - -55 a composite number?
True
Is 2/(-10) + 3546/30 composite?
True
Suppose 0 = -3*r + 6*r. Suppose r*q - 3*q + 111 = 0. Is q prime?
True
Let k = -5 + 4. Let m be 0 - (k - 0 - 1). Suppose m*o + o - 207 = 0. Is o a prime number?
False
Let i(j) = -j**3 - j**2 + j - 5. Let s(t) = -t**2 + 1. Let k be s(-1). Let y be i(k). Let h(p) = -p**3 - p**2 - 3*p + 4. Is h(y) a composite number?
True
Let z = 441 - 230. Is z a prime number?
True
Let f = 1254 - 460. Suppose 2*a = -2*r + 137 + 379, -r - f = -3*a. Is a composite?
False
Let s = 1 + 2. Suppose 4*f - 2168 = 4*t, -165 - 929 = 2*t + s*f. Let q = -383 - t. Is q composite?
True
Let r be (-36)/(-8) - (-1)/(-2). Suppose r*g = 1181 + 291. Suppose -a + 5*u + 106 = 0, -3*a + g = 3*u + 104. Is a composite?
True
Let r be (30/9)/(4/6). Suppose 3*t - 3 = 6. Suppose -4*a + r*k - 14 = -3*a, -t*k = -2*a + 7. Is a prime?
True
Let d(s) = 2*s + 1. Let u be 24/9*1*-3. Let m be d(u). Is 4/20 - 1002/m a composite number?
False
Let p = 936 + -563. Is p composite?
False
Let t(a) = 3 - 4 + 20*a**2 + 0 + 5*a. Let z(k) = 13*k**2 + 3*k - 1. Let o(g) = -5*t(g) + 8*z(g). Is o(-4) a prime number?
False
Is 1*(-3 - (-2959 - -3)) composite?
False
Suppose -3*o = 5*l - 2*l - 135, -16 = 4*o. Is l prime?
False
Let q(m) = -m**3 + 4*m**2 - 3*m + 1. Let a be q(2). Suppose 3*g = -4*c + 466, -2*c - a*g + 104 = -132. Suppose 3*w = -22 + c. Is w prime?
True
Suppose 4*w = -0*w + 340. Is w prime?
False
Let j(z) = -z**3 - 5*z**2 - 4*z + 1. Let v be j(-4). Suppose -l - v = -2*l. Is l + (-29)/(-2)*4 prime?
True
Let l(d) = -3*d + 5. Let c(n) = 4*n - 6. Let r(f) = -4*c(f) - 5*l(f). Let y be r(-7). Suppose y*o - 2*o = 52. Is o a composite number?
False
Let i(a) = 2*a**2 - 8*a + 2. Let b(d) = -d**2 + 4*d - 1. Suppose 5*u = -k + 4*k + 20, -2*u + 2 = 0. Let x(g) = k*b(g) - 3*i(g). Is x(3) prime?
True
Is ((-39)/9)/(4/(-24)) prime?
False
Suppose -2*a + 695 + 1309 = 0. Suppose 2*h + a = 5*h. Suppose -4*k + 281 = 3*q, 3*q + 2*k - h = -57. Is q composite?
True
Let t(i) = 18*i - 3. Suppose -2*s + 22 = 4. Is t(s) composite?
True
Suppose -6 - 2 = -2*m. Let s = m - 4. Suppose s = -4*n + n + 30. Is n a composite number?
True
Let m = 1 + 4. Suppose -3*q = -m*q + 134. Is q a prime number?
True
Suppose 2*i - 5 + 1 = -3*t, 3*i = -5*t + 7. Let g(k) = 4*k - 4. Let j be g(4). Let x = t + j. Is x a prime number?
False
Suppose 4 = -z, -2*l - 2*z = 3*l - 92. Suppose l = 5*m, -2*m = -q - q + 310. Is q composite?
True
Is 2/((-4)/6) + 100 a prime number?
True
Suppose -4*b = 8 - 56. Suppose -2*l - y - y + 20 = 0, 4*y - b = 0. Is l a composite number?
False
Let u = 2 - 2. Suppose 2*l - 58 = 3*j, 5*j = 2*l - u*j - 66. Is l prime?
True
Suppose k - 4 = -3*k. Let n be k*3 + 0 + -1. Suppose n*m - 20 = 50. Is m prime?
False
Suppose -o - 5*l + 21 = 0, -o = 2*o + 2*l - 24. Suppose 3*g = o*g - 93. Is g a prime number?
True
Suppose 5*b = -l - 17, 4*b + b = -15. Let i(t) = -34*t**2 + 4*t - 4. Let v(f) = f - 1. Let h(p) = -i(p) + 5*v(p). Is h(l) composite?
True
Let r(d) = d**3 + d**2 + d + 288. Let t be r(0). Let y = t - 199. Is y prime?
True
Let k(j) = j**2 - 51*j - 23. Is k(-24) prime?
True
Suppose 75*a - 71*a = 2020. Is a a prime number?
False
Let q(s) = 63*s - 2. Let p be 12/(-15)*(1 + -6). Let d be q(p). Let l = d + -101. Is l composite?
False
Let y(o) = 92*o - 7. Is y(3) prime?
True
Is 6/12 - (-477)/2 a prime number?
True
Suppose 159 = s - 5*u, -3*s = -0*s - u - 505. Is s a composite number?
True
Suppose 76 = 4*h - 68. Suppose -4*g - h = -8*g. Let j(f) = 5*f + 2. Is j(g) prime?
True
Is (-5)/10*-8 - -593 a composite number?
True
Let w = -3932 - -6053. Suppose 0*s + w = 3*s. Is s a prime number?
False
Let k = -10 + 10. Let d(a) = -a**3 - a**2 - a + 247. Is d(k) a composite number?
True
Suppose -2*a + 42 = -a. Suppose 2*q = -q + a. Is q a prime number?
False
Let r(o) = 128*o**3 - o**2 + o - 1. Let x(z) = z**3 + 1. Let b be x(0). Is r(b) prime?
True
Let o = -17 + 25. Suppose -o - 22 = -5*g. Suppose -2*u - 6 = 0, a + u + 2 - g = 0. Is a prime?
True
Let g(k) = -k**3 + 11*k**2 - k + 1. Is g(8) a composite number?
True
Is 42/(-8)*532/(-57) prime?
False
Let v = 12 - 10. Let x = -40 + v. Is (x/(-8))/((-2)/(-8)) a prime number?
True
Let y be (-2)/8 + (-22)/8. Is (1 - -10) + y + 5 a prime number?
True
Is 4099/2 - 21/(-14) prime?
False
Is (-1)/1 + 360/2 prime?
True
Is (34/(-4))/((-8)/208) composite?
True
Suppose t + t + 2 = 0. Let h be 1 - (0 + t) - 10. Let n = 7 - h. Is n a composite number?
True
Suppose 5*w + 0*w - l - 32 = 0, 2*w = -3*l + 6. Let v be -4 + 89 + w/(-2). Suppose -v = 3*t - 469. Is t composite?
True
Let u = 598 - -1339. Is u a composite number?
True
Let t be (-3 - -17)*-1*-2. Suppose 3*x - t = 14. Is x composite?
True
Suppose 12 = -4*r - 0*b - 2*b, 3*b + 14 = -4*r. Is -1 + (r/1 - -182) a prime number?
True
Let p(u) = u**3 + 6*u**2 + 4. Let l be p(-6). Suppose 4*y + 2*n = y + 20, -4*y = l*n - 32. Is y prime?
False
Let p(y) = -1. Let z(g) = -23*g + 4. Let o(k) = -2*p(k) - z(k). Is o(3) a prime number?
True
Let o(b) = -b + 96. Let j be o(0). Let t = j - 216. Let k = t - -211. Is k prime?
False
Suppose 7 = 3*c - 8. Suppose 4*u = 2*z - 281 + 87, -3