*f + 1370, 0 = n - 5*f - 661. Is n prime?
False
Let i(g) = 2*g**2 - 5*g + 2. Let f be i(4). Suppose 0 = -3*p - 5 + f. Suppose p*d - 121 = 2*d. Is d prime?
False
Let i = -174 + 251. Is i composite?
True
Let r(z) = z**3 - 24*z**2 - 47*z - 59. Is r(26) a prime number?
True
Let x(o) = -2*o - o**3 + o + 9 - 13 + 7*o**2. Is x(6) composite?
True
Let u(q) = -11*q + 5. Is u(-6) prime?
True
Is -2*1/(4/(-282)) prime?
False
Suppose -3*j + 650 = 2*k, k + 4*j - 1304 = -3*k. Let s = k + -149. Is s composite?
False
Suppose -5*w - 10 = 4*k, 0 = w + 5*k - k + 18. Suppose w*f + 40 - 166 = 0. Let s = -37 + f. Is s a composite number?
True
Is -2 - (-420 + -4 + 3) a prime number?
True
Suppose -48 = -5*q + 2*h, q = -3*q - 2*h + 24. Let u be (-8)/3 - 1/3. Is (-3 - u) + q + -1 composite?
False
Let v(b) = -29*b**3 - b**2 + 2*b + 2. Let i be v(-2). Suppose 0*c - i = -2*c. Is c a composite number?
False
Let x = 5 - 9. Let q(p) = p**2 + 3*p - 2. Let z be q(x). Suppose 0 = -0*v - z*v + 46. Is v prime?
True
Suppose 6 = 2*w - 2. Suppose -w*f = 3*j - 577, -2 = -6*f + 4*f. Is j composite?
False
Suppose -9723 = -8*q + q. Is q prime?
False
Let v(u) = 123*u**2 + 11*u - 1. Is v(-5) a prime number?
True
Let x be 0*((-9)/(-6) - 2). Suppose x*l = l - 331. Is l prime?
True
Suppose -2*s - 19 + 1365 = 0. Is s a composite number?
False
Let d(h) = -8*h**3 - h**2 + 4. Suppose 18 = -4*l - 2*i, 0 = l - 2*i - 3 - 0. Is d(l) prime?
True
Suppose 801 = 5*w + 4*k, -4*w + 2*w = k - 318. Is w prime?
True
Let b(g) = -g - 1. Let u(q) = 55*q - 2. Let l(h) = -b(h) + u(h). Let i(s) = -2*s - 3. Let n be i(-2). Is l(n) prime?
False
Let v be (4/3 + -1)*0. Suppose 1 = s, -5*l + s + 884 = -v*l. Is l composite?
True
Let d(r) be the second derivative of r**5/20 - 5*r**4/12 - 2*r**3/3 - 5*r**2/2 + 3*r. Is d(6) a prime number?
True
Let c(x) be the first derivative of 13*x + 0*x**2 - 1/3*x**3 - 1. Is c(0) composite?
False
Suppose 0*f - 4 = -3*f - 5*s, -1 = -2*f - 5*s. Is (((-654)/f)/(-1))/2 composite?
False
Let v be (2/2)/(2/(-52)). Let d = v + 48. Is d composite?
True
Let a(b) = 4*b**2 + 14*b + 13. Is a(20) a composite number?
True
Let a(q) = q**2 - q - 7. Let v = 6 - 3. Suppose b = 5*s - 25 - 4, -4*b = -v*s + 14. Is a(s) a prime number?
True
Suppose -1885 = 13*z - 18*z. Is z composite?
True
Let a = 5 + -1. Suppose 4*d = 4*b + 32, a*d - 9 = d. Is (-66)/(-5) + 1/b prime?
True
Suppose -5*w + 28994 = 9*w. Is w a prime number?
False
Suppose 0 = -p - 2*p + 33. Suppose -3*s + 4*q = -p, -q - 25 = -5*s + 4*q. Let o = 16 - s. Is o prime?
True
Let a(q) = 16*q**2 - 12*q - 19. Is a(-8) a composite number?
True
Is (718/(-8))/((-2)/16) a prime number?
False
Let x(r) = 60*r**2. Let m(z) = z**3 - 2*z**2 + z - 1. Let p be m(2). Let a be x(p). Suppose 0*f + 4*f - a = 0. Is f a prime number?
False
Suppose 3*r - 4 = 2*r. Let l be (-284)/(2 + (-32)/20). Is r/(-8) + l/(-4) a composite number?
True
Suppose 0 = r - 3*x - 316, -r + 343 - 39 = x. Is r a composite number?
False
Let h(l) = -20*l + 9. Let r be 41/(2/6*3). Suppose q - 16 = 3*a, r = -3*a - q - 3*q. Is h(a) a composite number?
False
Let m = -89 - 5. Let b = 131 + m. Is b a composite number?
False
Suppose 2*n - a = 159, 3*n - 56 - 160 = -3*a. Is n prime?
False
Let w = -41 + 974. Suppose 5*d + 2*h = w, 4*d = 5*h + 11 + 709. Is d composite?
True
Suppose -5*z = a + 15, -2*a - 2 = 3*z - 0. Let h = -3 + a. Suppose -f = 4*r + r - 50, -h*r - 4*f + 2 = 0. Is r composite?
False
Let f(t) = 2*t + 251. Suppose 5*p - p = 0. Is f(p) a prime number?
True
Let n(h) = 23*h + 1. Let i be n(2). Suppose 0*o = 3*o + 63. Let g = o + i. Is g prime?
False
Suppose -72 = -3*p - 24. Suppose 2*s - p = -0. Let y = s - -25. Is y composite?
True
Suppose -5*v + 3 = -4*v. Suppose -d = v*d - 12. Is d*1/((-3)/(-47)) prime?
True
Suppose -1665 = -5*s - 550. Is s composite?
False
Let d be ((-10)/(-3))/((-8)/(-132)). Suppose -6 = 4*l - 2*l, -4*l + d = x. Is x prime?
True
Let p(g) = 4*g**2 + 3*g + 4. Suppose 2*k + 8 = 4*o, 3*o - 2*k = 7*o. Let x(j) = -2*j**2 - 2*j + 1. Let s be x(o). Is p(s) prime?
True
Suppose 0 = -4*g - 3*a + 1979, 2*g + 624 - 1621 = -3*a. Is g composite?
False
Let c = 15 + 5. Let a = c + 77. Is a a composite number?
False
Suppose 5*b - 17 = -4*s + 18, 2*b + 19 = 5*s. Suppose -4*k - 8 = 0, b*g + 4*k - 142 = -0*k. Suppose 4*n = g + 10. Is n a prime number?
False
Suppose 0 = 3*b - 5*b. Suppose -2*j + 2*z + 118 = -42, 4*j + z - 315 = b. Is j a composite number?
False
Suppose -i + 15 - 5 = 0. Let u be (4 - 1)*i/6. Suppose 10*b = u*b - a + 94, -3*b + 3*a = -60. Is b prime?
True
Let g be (0 - 282)*(-7)/14. Let a = g + -74. Is a composite?
False
Is (7 + -1)*(-89)/(-6) prime?
True
Let z(l) = -156*l + 1. Is z(-1) prime?
True
Let l = 5383 + -3690. Is l prime?
True
Let d be 0/((-3 + 2)*-3). Let a(v) = -v**3 - 4*v**2 + v - 3. Let q be a(-7). Suppose -5*o + q + 126 = 3*t, d = -2*t - 8. Is o a composite number?
True
Let t(g) = g**3 + g**2 - 3*g - 4. Let n be t(-3). Let o(k) = k**2 - 13*k - 3. Is o(n) prime?
False
Let c(i) be the third derivative of -i**4/12 + i**3 - 4*i**2. Is c(-8) a prime number?
False
Suppose 5*w + h - 1039 = 1371, 4*h - 20 = 0. Is w prime?
False
Suppose -j + 0 = 3, -3*j + 1 = 5*d. Suppose -d*o = o - 171. Is (o/(-12))/((-2)/8) a prime number?
True
Let c(z) = -z**3 - 12*z**2 - 10*z + 15. Let m be c(-11). Suppose 0 = -n - 2*n - 5*f + 626, m*f = -20. Is n a prime number?
False
Suppose 0 = -13*o + 12*o + 265. Is o a prime number?
False
Suppose -2*y + 1228 + 754 = 0. Is y a prime number?
True
Suppose 3*u - 4*u + 6 = 0. Let q(m) = -m**3 - 4*m**2 - 4*m - 4. Let n be q(-3). Is 284/u - n/(-3) prime?
True
Is (-26720)/(-70) + (-4)/(-14) a prime number?
False
Let z be (1394 - -2)/2 + 2. Let p be ((-6)/(-12))/(2/z). Let y = p - 122. Is y composite?
False
Is ((-18)/12)/(3/(-142)) composite?
False
Let i(n) = -25*n**3 + 4*n**2 - 7*n + 13. Let o(a) = 17*a**3 - 3*a**2 + 5*a - 9. Let q(w) = 5*i(w) + 7*o(w). Is q(-2) prime?
False
Let g = -75 + 220. Is g composite?
True
Let a(n) = 0 + n**2 + 0*n**2 + 0 + 1. Let p be a(1). Suppose 2*b + 24 = 6*h - 2*h, p*h - 12 = 2*b. Is h a prime number?
False
Suppose w + a = 2*a, 0 = -5*a. Let h be (-1 + 3)*(-1 + 0). Is 23/h*(-2 - w) prime?
True
Let o = 24 + 348. Suppose -o + 105 = -3*f. Is f prime?
True
Suppose 3*s + 2 = 11. Let f be (4/10)/(s/(-30)). Is ((-2)/(-4))/(f/(-1688)) prime?
True
Let v(j) be the second derivative of 0 - 2*j - 1/2*j**2 - 5/3*j**3. Is v(-2) composite?
False
Let k = -10350 + 15611. Is k a prime number?
True
Let d(o) = 10*o + 8. Let v be d(4). Is (-2)/8 - (-18108)/v a composite number?
True
Is (-5)/(-7) + -1 - 4302/(-14) prime?
True
Let a be 29/(2/(0 - -2)). Let b = a - 18. Is b a prime number?
True
Let d be 1023/9 - 2/(-6). Let h = d - -45. Is h prime?
False
Is -1 + 15*2*3 composite?
False
Suppose -j + 39 = -60. Let o = j + 35. Suppose 4*v - 3*m + 0*m = 216, -2*v + o = 5*m. Is v a prime number?
False
Let w(r) = -5*r**3 - 4*r**2 + 3*r - 4. Let y be w(-4). Suppose -2*v - 2 = -0*v, -4*v = -4*j + y. Is j composite?
False
Let a = 5 + -3. Let y(w) = -3*w**2 + 5*w + 0*w**2 - 3 + a*w**3 - w**2 + w**3. Is y(3) composite?
True
Suppose -g + j = -0*j - 28, 2*j + 10 = 0. Is g a composite number?
False
Let i(v) = v + 11. Let h be i(-7). Suppose j = -h*j. Suppose -4*t + 4*q + 516 = -j*q, 4*t = 2*q + 512. Is t composite?
False
Let a(t) = -26*t - 5. Is a(-12) a prime number?
True
Suppose 2*r + 5*b = 169, -3*r + 4*r - 74 = b. Is r composite?
True
Let v(w) = w + 10. Let m be v(-8). Suppose -5*t = f - 183, 3*t - m*f - 119 = 2*f. Is t prime?
True
Let g be (-8)/6*12/(-4). Suppose h - 32 = -t, g*h - t + 2*t = 125. Is h prime?
True
Let z be (-9)/6*(-14)/(-3). Let q = z - -26. Is q composite?
False
Suppose j = 1097 + 636. Is j a prime number?
True
Let a be -2*(9/(-3) + 2). Suppose -4*t + t - a*w + 14 = 0, 19 = 4*t + 3*w. Is t prime?
False
Is (-2696)/(-32) + (-6)/(-8) a composite number?
True
Let c = 101 - 71. Suppose z - 4*t + c = 0, -13 = -5*t + 12. Is ((-75)/z)/((-6)/(-8)) prime?
False
Let f(h) = -h**3 - h**2 + 299. Is f(0) composite?
True
Let g be ((-1)/2)/(2/(-16)). Suppose 0 = 3*y - 9, -3*z - 2*z + 427 = g*y. Is z a prime number?
True
Let v(b) = b**2 + b + 81. Let j be v(0). Suppose j = -5*m + 496. Is m prime?
True
Let z(c) = -26*c - 9. Is z(-4) composite?
True
Let a(n)