 = 0. Is k a prime number?
False
Suppose 4*k + 2*x - 62 = 0, 4*k = -0*k + 2*x + 50. Is k composite?
True
Is (11 - 0/(-4)) + 4 a prime number?
False
Suppose 2*r - 4*u = 30, -2*u + 6*u = 5*r - 63. Is 1 - (6*r)/(-1) prime?
True
Let n = -417 + 292. Suppose 62 = -a - 10. Let m = a - n. Is m a composite number?
False
Let t(q) = q**3 - 6*q**2 + 2*q + 2. Suppose 0 = 5*k - 3*s - 96, 4*k + 14 = 3*s + 92. Suppose 0 = -a + 5*j - k, -4*a + 2*a + 4*j - 6 = 0. Is t(a) a prime number?
False
Suppose -5*k = -5 - 5. Suppose -k*x + 0*h = -h + 63, 160 = -5*x + 5*h. Is (3 - 4)*x/1 composite?
False
Suppose -4*g = -171 - 41. Suppose -g = x - 2*x. Is x prime?
True
Suppose 0 = 2*z + 3*z - 495. Suppose -5*p + 335 = 5*x, x + 22 = p + z. Suppose 4*o - x - 4 = 0. Is o prime?
True
Let t = -34 - -23. Is t*1*(-2 - -1) composite?
False
Let a(f) = -5*f + 5*f - 1 + 7*f**2. Let w be a(-1). Let t(y) = y**3 - 6*y**2 + 6*y - 3. Is t(w) a composite number?
True
Suppose -29 = p - 1. Is 4/14 + (-356)/p a prime number?
True
Let v be -1 - ((-864)/3)/3. Suppose 25 = m - 5*w, -6*m = -3*m - 5*w - v. Is m a composite number?
True
Let t = 0 - -5. Let y(m) = -m**3 + 8*m**2 - m - 3. Is y(t) composite?
False
Suppose -22 = 4*q + 8*i - 3*i, -5*q - 9 = -3*i. Let u = q - -7. Suppose 3*d - 6 = -u*z, z = -5*d - 0*z + 27. Is d a prime number?
False
Let p = 0 - 1. Let q(o) = -34*o**3 - o**2 - o - 1. Is q(p) a prime number?
False
Let d be (-320 + -2)*(-7)/2. Suppose 582 + d = 3*t - 5*w, -5*t + 2869 = 2*w. Suppose -t = 3*c - 6*c. Is c a prime number?
True
Let r = -6 - -5. Is 0 + (-1 - r) + 161 a composite number?
True
Let o = -24 - -111. Is (o/4)/(24/64) a composite number?
True
Let r(v) = 58*v**2 + 10*v + 5. Is r(-7) prime?
True
Is ((-247)/(-1))/(5/5) prime?
False
Suppose 5*w = 25 - 5, -2*w - 494 = -2*b. Is b a composite number?
False
Suppose 0 = 5*s + 2*r - 2764, 551 = 4*s - 3*s + r. Is s a prime number?
False
Let t(y) = 116*y - 1. Let x = 9 - 8. Is t(x) a prime number?
False
Suppose 2*d + 4*p = -0*p, -4*d - 5*p = 9. Suppose u = -2*u + 2*h + 23, u + 2*h = -3. Let w = u - d. Is w a composite number?
False
Let p = 4 + -2. Suppose 2*t = 5*q - 4, 4*q + p*t = q + 12. Suppose -q*i + 38 = 3*o, 0 = -9*i + 4*i + 3*o + 137. Is i a composite number?
True
Suppose -2*w = 3*w + 4*q + 8, 3*w = q - 15. Let u(p) = 3*p - 5. Let r be u(w). Let n = -7 - r. Is n a composite number?
True
Is 3/4 - (-2745)/36 composite?
True
Let f be 2 - (2 + 0) - -1. Let b(t) = 211*t**2 + t - 1. Is b(f) composite?
False
Let o(z) = z**2 + 5*z + 3. Let c be o(-3). Let i = c - -4. Is 121*(0 + i) + -2 prime?
False
Let v = 39 - 26. Suppose -v = -f - 3*p, 0 = -4*f + 7*f + p - 15. Suppose -u = f*u - 5*y - 185, 0 = -5*u + 3*y + 177. Is u prime?
False
Let y(s) = s**2 - 4*s. Let z be y(5). Suppose -z*k + 1076 = -k. Is k prime?
True
Let a be (3 + -7)*2/(-4). Let j = a - -22. Let c = j - 11. Is c a composite number?
False
Suppose -2*n = n + 2*y - 155, -5*n - y = -249. Is n composite?
True
Let m be (2 - -515) + -1 + -1. Suppose 6 = 2*r, 0*r - m = -4*j + 3*r. Is j a composite number?
False
Let f be 1090/55 - (-6)/33. Suppose -f = -4*m, 2*m - 446 = -5*z + z. Is z a prime number?
True
Suppose o - 8914 = -5*m, -8*m = -10*m + 2*o + 3568. Is m a prime number?
True
Let u = 160 - -195. Is u composite?
True
Suppose 3*j = -0*j + 381. Is j prime?
True
Let u(x) = 5*x**2 + 1. Let g(v) = v**2 - v. Let i(b) = b - 15. Let l be i(11). Let w(z) = l*g(z) + u(z). Is w(-8) a composite number?
True
Is 12/(-15) - 1/(5/(-5489)) a prime number?
True
Is (6/(-12))/(3/(-11046)) prime?
False
Suppose -2*l = 10, 2*x - 5*l = 13 + 2. Let v(a) = a + 5. Let o be v(x). Suppose 4*d - b - 22 = 0, 2*d - b = -o*b + 10. Is d composite?
True
Let k be 1*-1*(-3)/(-1). Let c = k + 5. Suppose -v - 65 = -c*v. Is v a composite number?
True
Suppose -g = 5*q - 25, 20 - 3 = g + 3*q. Let d(x) = -x**2 + x. Let t be d(1). Suppose 5*i - 2*v - 101 = t, 2*i - g*i + 2*v + 63 = 0. Is i a composite number?
False
Let j = -157 + 251. Is j composite?
True
Suppose -2*o + o + 1061 = 0. Is o prime?
True
Suppose 11*v = 2741 + 1758. Is v a prime number?
True
Let c(m) = 24*m - 1. Is c(4) a composite number?
True
Suppose 0 = 2*x + o + 2*o - 2, 12 = x - 4*o. Suppose 67 = -x*i + 767. Suppose -5*q = -0*q - i. Is q a composite number?
True
Let s = -7 + 9. Suppose -59 = -s*d + 15. Is d composite?
False
Let g(l) be the first derivative of 4*l - 3 - 3/2*l**2. Is g(-5) a composite number?
False
Let k(w) = 4*w - 19. Is k(26) a composite number?
True
Is (1652/6)/7 + 1/(-3) prime?
False
Suppose -t - 12 = t. Let m be (t/(-12))/(2/(-20)). Is 528/40 - (-1)/m composite?
False
Let m(x) = 1144*x - 29. Is m(9) prime?
True
Let y = -59 - -110. Is y a prime number?
False
Suppose -490 = 4*y - 5*w, 0 = -y - 3*y + w - 482. Let j = 12 + y. Is j/(-5) + 4/10 prime?
False
Suppose 2*d - 6 = -0*d. Let i(w) = 2*w**3 - 6*w**3 - 30*w**d + w. Is i(-1) a composite number?
True
Let a(v) be the second derivative of -v**5/10 + v**3/3 + v**2/2 - 3*v. Let n be a(-4). Let y = n + -6. Is y composite?
True
Suppose u + u + 4 = 0, p + 70 = 5*u. Let r be ((-2)/((-8)/108))/(-1). Let l = r - p. Is l a composite number?
False
Let y = -2 + 6. Suppose k - 2536 = -2*n - 0*n, -n - 4*k + 1282 = 0. Is y/(-6)*n/(-4) composite?
False
Suppose 4*o = 6 - 190. Let f = o + 137. Is f a prime number?
False
Let y = 30 + -77. Let i = y - -100. Is i prime?
True
Suppose 0 = -v - 3*v + 1228. Suppose 3*a - 214 = -5*f + 259, -3*f + v = -4*a. Is f a prime number?
True
Let d(c) = -c**3 + 4*c - 3. Let k be d(2). Is k/((-6)/(-898))*-1 a prime number?
True
Is 0 - -1 - (-30 - -9) a composite number?
True
Let w = 224 - -117. Is w a prime number?
False
Let o = 4 + -12. Let k(r) = -r**3 - 7*r**2 - 11*r + 5. Let v be k(o). Let m = v + -38. Is m prime?
False
Let q(z) = z**3 - 4*z - 1. Let y be q(3). Let t be -1 + y - (1 + 0). Suppose 2*x = -4*b + t, -3*x + 28 = 2*b - b. Is x composite?
True
Let k(p) = 20*p**3 - p**2 - 4*p - 2. Is k(3) a composite number?
True
Let w(o) = o**2 - 6*o + 1. Let t be w(6). Suppose -f + 5*f = 56. Let q = f + t. Is q prime?
False
Suppose -40 = -6*z + 4*z. Let j = 47 + z. Is j composite?
False
Let l(q) = q**2 - 8*q - 8. Is l(-7) composite?
False
Let z(m) = m**3 - 11*m**2 + 14*m - 11. Suppose -5*p + 7*f - 4*f = -59, 55 = 4*p - 5*f. Let c be z(p). Let a = 62 - c. Is a a prime number?
False
Let m = -3 + 5. Suppose 329 = m*s + a - 2*a, s + a - 160 = 0. Is s composite?
False
Suppose -4*w + 0*w = 4*o - 4244, 4*w + 3*o - 4244 = 0. Is w prime?
True
Let t(l) = -l**2 + 190 + 34 + 96 - 69. Is t(0) a prime number?
True
Is (215 - 1)*6/4 a composite number?
True
Let l = 15 + -19. Is (-3 + 6 + l)*-179 prime?
True
Let l be 2 - (-2)/(-6)*0. Let b be ((-3)/6)/(l/(-4)). Is b/(-4) - 170/(-8) a prime number?
False
Let h(i) = -7*i**2 + 7*i - 4. Let u(w) = w**2 - w + 1. Let x(j) = -h(j) - 5*u(j). Suppose 6 = 3*f - t - 2*t, 2*f - 34 = -4*t. Is x(f) prime?
True
Is ((-4)/6)/((-14)/1659) prime?
True
Let w(k) = -16*k - 5. Suppose g = 4*p - 24, g = 5*p - 8 - 21. Is w(g) prime?
True
Suppose 4*s + 15 = -u, -3*u + s + 8 = u. Suppose 15 = 4*f - u. Suppose 0 = -4*v - 5*d + 253, v + f*d - d = 58. Is v a composite number?
False
Let s be 470*1*(-1)/(-2). Suppose 2*d + 302 + 172 = 4*j, 3*d = 2*j - s. Suppose 2*x + v - 136 = j, -5*v + 132 = x. Is x prime?
True
Suppose -5*i + 43 = -5*b - 9447, -b = -2*i + 3799. Is i a prime number?
True
Suppose -2785 = 7*f - 12*f. Is f a composite number?
False
Suppose 249 = 3*d - 0*d. Is d/2*2 + 2 composite?
True
Let q be (0 + -1)*-1 - 2. Let c = -8 + 45. Is 3*(q + c/3) composite?
True
Let z be (-7428)/21 + (-8)/28. Let u = z - -695. Is u prime?
False
Let l(a) = -a**3 - a**2 + a + 4. Let x be l(0). Let j(b) = 6*b**2 - 4*b - x*b**2 + 8*b + 3. Is j(4) composite?
True
Let m(h) = 24*h - 5. Let r be m(4). Let z = -13 + 73. Let l = r - z. Is l prime?
True
Let i be 1804/(-1) - 0/5. Let v be i/(-10) + 10/(-25). Suppose 4*a = c + 192, -3*a + c + v = 35. Is a a prime number?
True
Let r = 208 + -87. Is r composite?
True
Let x = -2 + 4. Let m be (x + 0)*(-3 - -5). Is 35/((2 - m)/(-2)) a composite number?
True
Suppose -60*o + 1741 = -59*o. Is o prime?
True
Let s(j) = -10*j + j**3 - 4*j**2 + 0*j**3 - 3*j**2 + 0*j**3. Let c be s(7). Let w = 215 + c. Is w prime?
False
Suppose 11*z - 7330 = 9*z. 