e g(-5). Let s = j - -153. Is s prime?
True
Let l be 22/5 + 12/(-30). Suppose 0 = -l*u - 6 + 18. Suppose u*v = 7*v - 340. Is v a composite number?
True
Let k(h) = -h**3 + 4*h**2 + 5*h + 2. Let g be k(-7). Let d = g - -81. Is d a prime number?
True
Let o be (-8)/(7 - 3) + -2. Let x be 2/3 - (-3 + (-114)/(-9)). Is 530*(x/(-2) + o) a prime number?
False
Let z(t) = -266*t - 1. Let n be (-8)/(-10) - (-9)/(-5). Is z(n) a composite number?
True
Suppose -p = j - 268 - 199, p - 2*j - 473 = 0. Let d = -102 + p. Is d a composite number?
False
Let n = 17 + -13. Suppose 0 = n*h + 2*f - 1184, -3*h - h + 1182 = f. Is h a composite number?
True
Suppose -5*x + i + 15 = 0, x = -0*x + 2*i - 6. Suppose -4*o + 4*m + 60 = -92, -52 = -2*o - x*m. Is o prime?
False
Let d = -637 - -1104. Is d a prime number?
True
Let w = 4 - 0. Is (-446*(3 - w))/2 composite?
False
Let f(c) = 2*c**2 - 10*c - 11. Let h be -1*(-10 - (-2 + 0)). Is f(h) prime?
True
Let m(i) = i**2 - 2*i - 1. Let o(a) = a**2 - 6*a + 1. Let b(z) = 6*m(z) - o(z). Let x = 18 - 10. Is b(x) a prime number?
False
Suppose -13*m = -17*m + 8. Suppose -4*y = m*b - 874, b - 1261 = -2*b + 4*y. Is b a composite number?
True
Let v(t) = 77*t**3 - t**2 + 10*t + 5. Is v(6) composite?
False
Let t = 9 + -6. Suppose 0 = -5*w + t*v + 2043, -2*w + v = 265 - 1083. Is w a prime number?
False
Suppose 101*h = 90*h + 138721. Is h composite?
False
Let j = -65 - -73. Suppose 4*x = -j, -g + 2*x = 6*x - 381. Is g prime?
True
Let c be 5 - ((-9)/(-3) + 0). Let l be (-2)/3 + c/3. Suppose l = 2*j - 3*j + 31. Is j a prime number?
True
Suppose -148130 = 6*z - 16*z. Is z prime?
True
Let f(x) = -524*x - 16 + 9 + 14. Is f(-6) prime?
False
Suppose t - 3*d + 17 = 3*t, 0 = 2*t + 2*d - 12. Let y(m) = 375*m - 2. Is y(t) composite?
False
Let l = 539 - -678. Is l a composite number?
False
Suppose 0 = 40*f + f - 191183. Is f a prime number?
True
Let n(m) be the first derivative of -m**3/3 - m**2/2 - 7*m - 1. Let a be n(7). Let k = a + 286. Is k a prime number?
True
Let s(t) = 192*t - 1. Let v be (2 - 0) + 1 - 1. Let p be v/(-8) - (-10)/8. Is s(p) a composite number?
False
Let y = 815 - 378. Suppose -r - 886 = -4*k - 3*r, 2*k + 3*r = y. Is k composite?
False
Suppose 2*p - 2*o + o = 4, 0 = 3*p - 2*o - 6. Suppose -4*b - 291 = -q, -1236 = -p*q - 2*q - 2*b. Is q prime?
True
Suppose o = 2*o, 0 = -3*s - o. Suppose s = 11*m - 14*m + 1623. Is m prime?
True
Let g(h) = -107*h - 12. Suppose 15 = 5*l, 0*u + 14 = -u + 2*l. Let c be g(u). Suppose c = 5*z - z. Is z prime?
True
Suppose -3*f - 7 = -2*l + l, 3*f - 1 = -l. Suppose -2*a + 3*h + l = 1, -4 = 4*h. Is a + 0 + -1 + 396 prime?
False
Let z(p) = 118*p - 10. Let o be z(-10). Let q = 64 - o. Suppose 434 + q = 4*i. Is i prime?
False
Let i(y) = -9*y**3 + 2*y + 7*y**2 - 2 + 3*y**3 + 2*y**3 + 3*y**3. Let f(r) = r - 4. Let g be f(9). Is i(g) composite?
True
Suppose 3*p + 20 = 5*b, -3*p - 1 = 4*b - 17. Suppose -1 = 3*i - 4*a + 12, b*a + 2 = -2*i. Is (i + 2/1)*-85 a prime number?
False
Let t = 14 - 9. Suppose -269 = t*k - 1344. Suppose 0 = 5*s - 0*s - k. Is s composite?
False
Suppose 2*k - 6 = 5*k. Let q be (k/3)/((-1)/(-3)). Is (1 + -3)/(q/26) prime?
False
Suppose 0 = -3*h + 4*d + 29, d - 32 = -3*h - 13. Suppose 0 = -4*a + 19 - h. Suppose -119 = -q - 5*s, -a*s + 0*s + 119 = q. Is q prime?
False
Suppose 69*m - 16*m - 905081 = 0. Is m prime?
True
Let c = 24 + -24. Suppose c = -5*r + 4*x + 18435, 2*x + 4353 = 5*r - 14092. Is r a composite number?
False
Let z(q) = -q**3 - 8*q**2 + 7. Let a be z(-8). Let m = a - -9. Suppose -2*f + 4*t = -m, -t = -3*f - 3*t. Is f composite?
False
Let g = -55 + 53. Is 26368/20 + 6/(-20)*g a prime number?
True
Let u(h) = 3*h - 6. Let a be u(3). Let d = a + -1. Suppose m = -d*m + 93. Is m prime?
True
Suppose 0*s + 2*s = 2*t + 2136, 2166 = 2*s + 4*t. Is s prime?
False
Let m(q) = -7*q**3 + 28*q**2 + 28*q - 35. Is m(-28) prime?
False
Suppose -19*z = -1271 - 2358. Is z a prime number?
True
Suppose 0 = -4*m, 5*m - 5695 = -5*u - 0*u. Is u composite?
True
Let n = 28 - 23. Suppose 4*l + 26 = 2*g, -g + n*l + 18 = 2*l. Is 3 + 2*(g - -101) a composite number?
False
Suppose -2*p + 2*a = p - 1342, 1336 = 3*p + a. Suppose -k = -p + 99. Is k a prime number?
True
Is (2321/(-2))/((-51)/102) a prime number?
False
Suppose -w - 2*w = -15, -2*l + w = -3539. Suppose -456 = 3*m + f - l, 0 = -4*m + 5*f + 1761. Is m composite?
False
Suppose -2*o + 8 = -o - 3*t, 3*o - t = 16. Suppose -60 = o*l - 0*l. Let w = l - -21. Is w composite?
True
Suppose 7*z = 2*z - 10. Let b = 0 + z. Is (46/(-5))/(b/10) composite?
True
Let k(a) = -a**2 - 4*a + 14. Let d be k(-6). Suppose d*o + 4 = 14. Suppose o*z + 72 = n, 3*n + 0*z = 5*z + 266. Is n a composite number?
False
Let j(i) be the second derivative of i**3/3 - i**2 - 11*i. Let u be j(1). Suppose t + u*m - 5*m - 109 = 0, 0 = -3*m + 15. Is t composite?
True
Suppose 25*a = 20*a + 15. Suppose a*r + 688 = 3517. Suppose 2*x + c = r, -c - 3*c - 485 = -x. Is x a composite number?
True
Let r(v) = 13*v - 4. Let p be r(2). Suppose 3*y - m + 15 = y, -3*y = -m + p. Let b(a) = -5*a**3 - 6*a**2 + 9*a + 3. Is b(y) composite?
False
Let h(x) be the first derivative of -7 + 124*x**2 + 20*x - x + 4 + 0. Is h(8) a prime number?
True
Let l(n) = -3*n + 1350. Let p be l(0). Suppose -p + 6918 = -4*v. Let k = -989 - v. Is k a prime number?
False
Suppose 4 + 8 = 2*s. Let d be (-917)/(-21) + 2/s. Let y = 63 - d. Is y composite?
False
Is (27366/3)/(-1 - 1)*-1 a composite number?
False
Suppose g + 74 = 5*c + 3*g, 2*c - 18 = 5*g. Let k = c + -31. Let p = 39 + k. Is p a composite number?
True
Let k = 146 - 115. Is k a composite number?
False
Let r(c) = 2*c**2 - 5*c - 5. Let z be r(4). Suppose -z*x = -791 + 238. Is x a prime number?
True
Is (121/33)/(-11)*-143697 a prime number?
False
Let b(p) = p**2 + 5*p + 5. Let a be b(-4). Let z(r) = 687*r**2 + 3*r - 1. Let l be z(a). Let n = l + 390. Is n a prime number?
False
Suppose -1939 = -4*j + 189. Let s = 1058 - j. Is s composite?
True
Let g be (-3)/(-2)*(-96)/(-18). Suppose 5*n = -g - 2. Is (n - -1)/((-5)/1325) prime?
False
Suppose -8*b = -3*b + 35. Let c = -13 - b. Let y(u) = 10*u**2 - 3*u + 13. Is y(c) a prime number?
False
Let l be (564/4)/(3/2). Let r be (l/3)/((-12)/18). Let z = 116 + r. Is z composite?
True
Let d = 33464 - 17913. Is d a prime number?
True
Suppose -8 = -4*d - 0. Suppose 19*q - 18*q - 4 = 0. Is -4 - (-330)/q*d composite?
True
Let b(p) = p**3 + 20*p**2 + 15*p + 1. Let r be 2/(10/285*-3). Is b(r) composite?
True
Let i(p) = -2*p**3 + p**3 + 11*p - 13 - 2*p + 10*p**2 + 2*p**3. Is i(8) a composite number?
True
Let y(t) = -95*t**3 - 12*t**2 + 4*t + 6. Is y(-4) prime?
False
Let v(c) = 4*c + 1. Let p be v(17). Suppose -3*h - l = -4343, p = h + 3*l - 1376. Let n = -657 + h. Is n prime?
False
Suppose 0 = 6*d - 4567 - 4031. Suppose 2*i - 5*f - 584 = -0*i, f - d = -5*i. Is i a prime number?
False
Let l = 18 + -38. Let y = l - -20. Suppose b = -2*b + 5*p + 1242, y = 5*b - p - 2092. Is b composite?
False
Let f(w) = 16*w - 11*w**2 - 2*w**3 + 9 - 5 - 3*w. Let j be f(-9). Suppose -5*t - 3*a = -j, -t - 5*a = 3*t - 371. Is t a composite number?
False
Let n(z) = z**3 + 4*z**2 + 3. Let u be n(-3). Let h(q) = 5*q**2 + 19*q - 29. Is h(u) prime?
True
Let p(b) = -b**3 + b**2 + 7*b + 5479. Is p(0) composite?
False
Is ((-2)/1 + 6)*26238/24 a composite number?
False
Suppose -2*d = -5*d + 21. Let b = 41 - d. Let u = b - -69. Is u composite?
False
Let o be (1/(-2))/(10/20). Let k(n) = -5*n**3 - 2*n**2 + 1. Let d be k(o). Suppose -j - 3*t + 237 = -t, 0 = -4*j - d*t + 940. Is j composite?
False
Let q be 1 - -43*(4 + -3). Suppose 33*x = 29*x + q. Is x composite?
False
Suppose p = 23630 + 63717. Is p a prime number?
False
Suppose 0 = -34*u + 10*u + 349992. Is u a prime number?
False
Let b(h) be the third derivative of -h**6/60 + h**5/20 - 5*h**3/6 + 3*h**2. Let i be b(-4). Suppose 2*z - 617 = -i. Is z a composite number?
False
Suppose -9274 = -3*q + 5*b, -14287 = -3*q - 5*b - 5063. Is q a composite number?
False
Suppose 4*s = 16, 3*v - 2*s = -3*s + 868. Let k = v + -125. Is k a prime number?
True
Let h(p) = 7*p**3 + 10*p**2 - 4. Let b be h(7). Let y = b + -2036. Is y prime?
False
Is (-748012*(-11)/(-22))/(-3 + 1) composite?
False
Suppose 3 - 4 = o. Let s = 1 + o. Suppose 3*z - 3*v - 