Is x composite?
False
Suppose 3*w = 7*w + 12, 4*x - 1959 = w. Is x a prime number?
False
Let t(g) = g + 10. Suppose -3*j = -5 - 1. Suppose d + 4 = j*d + v, -4*d - v + 4 = 0. Is t(d) composite?
True
Suppose -5*z + 1839 = 4*o, -2*z = z - 2*o - 1121. Is z a composite number?
True
Let m(p) = -8*p**2. Let b be m(1). Let z(q) = q**2 + 7*q + 5. Is z(b) prime?
True
Let f = -57 + 41. Let r be -1*f/(-6)*3. Is (-485)/(-4) - (-2)/r a composite number?
True
Let t(v) = v**3 + 8*v**2 - 3*v + 15. Is t(-8) a composite number?
True
Suppose 0 = 7*x - 6*x - 317. Is x a prime number?
True
Let s be (-1912)/(-10) + (-2)/10. Let x = 280 - s. Is x a prime number?
True
Let s(p) = -p + 4. Let m be s(0). Let t be 12/2*54/m. Is (3 - 4)*(2 - t) composite?
False
Is (-117 - 10)/(-1*1)*1 composite?
False
Let h be (-2)/8 - (-1)/4. Let d(o) = o**2 - o + 65. Is d(h) a composite number?
True
Let s be (-3)/6 - (-371)/2. Suppose 0 = f - 2*f + s. Is f composite?
True
Let b(o) = -2*o - 4. Let c be b(-3). Suppose 40 = c*i - 5*n, -5*i - 3*n + 18 = -2*i. Is i a prime number?
False
Suppose -d + 2*d + 2234 = 3*g, 4*g - 2977 = d. Is g prime?
True
Let k be (111/(-3))/(1*-1). Suppose q + 0*x = -4*x + k, -4*q = -4*x - 128. Is q composite?
True
Let d be 35/(-4) - (-8)/(-32). Let f be 6/d*(0 + -39). Suppose -u + f = u. Is u composite?
False
Let l = -8 - -2. Let u be (3/l - -1)*8. Suppose 0 = -7*m + 2*m - 5*o + 75, u*m - 55 = o. Is m composite?
True
Suppose 4*w = 4*c + c - 32, c = -4*w + 16. Let i(r) = 0*r**2 - 7 + r**2 - 4. Is i(c) composite?
False
Let h be 25*(-3)/(45/(-6)). Suppose -r - r = -h. Suppose -r*s + 0*s = -30. Is s prime?
False
Suppose 5 = -5*p + 15. Suppose 37 = p*d - 7. Let c = d - 7. Is c a prime number?
False
Let m(v) = v**2 - v. Let s(r) = -2*r - 5. Let l be s(-4). Is m(l) a composite number?
True
Let o = -30 + 42. Is 2000/o + 2/(-3) a prime number?
False
Let u(q) = -4*q - 9. Let v be u(7). Let x be ((-63)/3)/1 - 2. Let b = x - v. Is b a composite number?
True
Let r be 5 - (0 + 3 + -1). Suppose -6 = 3*s, 2*f + r*f - 4*s = 693. Suppose 5*n - 138 - f = 0. Is n prime?
False
Suppose 9*k + 11470 = 19*k. Is k composite?
True
Let c(h) = -6*h - 3*h + 0*h. Let p = -3 - -2. Is c(p) composite?
True
Let o(y) = 3*y**2 - 3*y - 1. Is o(-5) prime?
True
Let y = -11 - -7. Is 1 - 504/y - 4 prime?
False
Let d = 3308 + -1255. Is d a composite number?
False
Suppose 4*i - 308 = 2*i. Suppose 0*m + i = 2*m. Is m composite?
True
Let q(c) = -5*c**2 - 3*c - 1. Suppose -4*p - 3*x = 20, 4*x = 2*p - 5*p - 22. Let n be q(p). Let y = -9 - n. Is y a prime number?
False
Let z(k) = 5 - 4*k + 12*k**2 + k - 4. Suppose 4*g + 7 = 5*m, 2*g + 3*m - 19 = -3*g. Is z(g) prime?
True
Suppose 701 = 3*t - 2200. Is t a prime number?
True
Let o(m) be the first derivative of m**4/4 + 2*m**3 - 3*m**2 + m - 3. Let x be o(-6). Suppose 3*b - 2*b - x = 0. Is b composite?
False
Let c(z) = 3*z**2 + 29*z - 53. Is c(26) a prime number?
True
Suppose -5*d + 13 = -2. Suppose -71 = -4*j + j - i, -109 = -5*j + d*i. Is j a composite number?
False
Let p be -1 + (-4 - 3)*-1. Let g = 11 - p. Suppose g*v + 0*v - 110 = 0. Is v composite?
True
Let d be (4/(-8))/(1/(-524)). Suppose 5*o - 5 = 880. Let g = d - o. Is g a composite number?
True
Let h = 78 - 53. Suppose 2*s - s = 5*m - h, 7 = 3*m + s. Is ((-22)/(-8))/(1/m) a prime number?
True
Suppose -3*z = -0*z. Let h = 0 + z. Suppose -3*w + w + 110 = h. Is w a composite number?
True
Let o(u) be the third derivative of 7*u**6/120 - u**5/60 + u**4/12 - u**3/6 + u**2. Let m(a) = a**2 - 9*a + 10. Let t be m(8). Is o(t) prime?
False
Suppose -8*d - 512 = -2704. Is d prime?
False
Let y(m) = 5*m + 3*m**3 + 2*m + 0*m**2 + 0*m - 2 + 7*m**2. Let p(v) = 8*v**3 + 21*v**2 + 21*v - 6. Let x(k) = 4*p(k) - 11*y(k). Is x(7) a prime number?
True
Suppose f = 3*f - 4. Let u be 7/1 - f - 0. Suppose 6*z - u*z - 37 = 0. Is z prime?
True
Suppose -4*z + d + 4597 = -1752, 7940 = 5*z - 2*d. Suppose 5*u + 271 = z. Is u composite?
False
Let a(o) = o**2 - 9*o + 11. Let c be a(8). Suppose -3*z - 108 = -c*n, 5*z = -3*n + 77 + 55. Is n a prime number?
False
Let f(p) = 147*p**2 - p - 3. Is f(2) composite?
True
Let o(x) = -x**3 - 4*x**2 + 4*x - 3. Let f be o(2). Let s = 32 + f. Is s composite?
False
Let f = 24 - -43. Let l = -16 + f. Is l a composite number?
True
Suppose -4*b = 5*r - 759, r + 5 = -4*r. Is b a prime number?
True
Suppose 2*g = -114 - 26. Let u = -35 - g. Is u a prime number?
False
Suppose 20 = 5*x, -5*x + 251 + 37 = 2*z. Is z prime?
False
Is (-4 - -1)*1 + 160 prime?
True
Let d(w) = 5*w**2 - 3*w - 1. Let y be ((-4)/(-4))/((-1)/2). Is d(y) composite?
True
Suppose 5*x - 2*f = 1595, 62 + 257 = x + 2*f. Is x prime?
False
Suppose -5*u + 4*u + 448 = n, 0 = -4*u + 4*n + 1800. Is u prime?
True
Let o be ((-236)/(-10))/((-1)/(-5)). Suppose 0 = 5*u + 23 - o. Is u prime?
True
Suppose -p + 6 = 2*p. Suppose -p*j = -8 - 22. Is (-2 + j/9)*-57 a composite number?
False
Suppose 2*o - 13 = 241. Is o a prime number?
True
Let x(b) = b**2 + 3*b. Let d be x(5). Let h = d + 25. Is h composite?
True
Let o be (-4)/(-3)*(-12)/(-8). Let l(f) = -56*f + 1. Let n be l(o). Let j = 190 + n. Is j a composite number?
False
Suppose 0*v + 5*z = -4*v + 1329, 995 = 3*v + 2*z. Is v a composite number?
False
Suppose -214 = -3*y + 4*c, -2*c - 71 = -y - c. Let p be 2*(y/4 + 1). Suppose p + 0 = u. Is u a prime number?
True
Suppose -2*m - v - 1 = -3, 8 = 4*v. Suppose m = o - 0*o - 25. Is o a composite number?
True
Let n be 74/14 - (-2)/(-7). Let w be 0/(-2) - (1 + -3). Suppose -n*m = -2*l - 180, w*l + 14 = 4*m - 132. Is m composite?
True
Let m(s) = -s**3 + 6*s**2 + 3*s + 1. Let c be m(5). Suppose -3*d = -13 - c. Suppose -3*a + d = -24. Is a composite?
True
Suppose 2*x = x + 3*p + 3, 4*x - 3*p - 3 = 0. Suppose x = -2*f - 4*a - 0 + 4, -3*a = -3*f - 3. Suppose 4*n = 3*v + 41, -n + 0*n - 3*v + 14 = f. Is n prime?
True
Suppose -925 = 2*j - 7*j. Is j a composite number?
True
Let r be 7/((-21)/(-6)) + 2. Is 3/((-12)/(-53))*r prime?
True
Suppose 5*g - 336 + 91 = 0. Suppose -4*w = -4*m + 44, 5*w + g - 4 = 4*m. Is m prime?
False
Let u be (0*(-3)/6)/(-2). Suppose -4*z + u*z + 3*c = -2024, -c = z - 513. Is z a composite number?
False
Let d(s) = 2*s**2 - s + 2. Let i be d(2). Is (i/6)/((-10)/(-255)) prime?
False
Suppose -4*t + 3*j = 5*j + 20, -2*j - 4 = 0. Is (-212)/t - (-2)/(-1) composite?
True
Suppose 8*c + 4 = 4*c. Is c*(-4)/(4/35) a composite number?
True
Suppose -5*p + 5 + 5 = 0. Suppose i + z - 84 = 0, -4*i + 186 = -p*z - 150. Suppose 0 = 3*m + i - 306. Is m prime?
False
Let z = 453 + -130. Is z a composite number?
True
Let g be (-2)/(-7) + (-216)/21. Let p(a) = -5*a - 7. Is p(g) a composite number?
False
Suppose 3667 = 11*v - 4110. Is v a composite number?
True
Let y(z) be the second derivative of -z**5/20 - 7*z**4/12 - z**3/6 - 3*z**2/2 + 3*z. Is y(-10) prime?
True
Let c(h) = -179*h - 13. Is c(-10) prime?
True
Let g(i) = -i + 335. Is g(0) composite?
True
Is -6*(-207)/6 + 4 composite?
False
Let q be (-2 - -3)*6*1. Let u be (-796)/22 - q/(-33). Let w = 73 + u. Is w a prime number?
True
Let o = 2 - 0. Let r be (0 + 2/4)*0. Suppose r = -z - o*z + 195. Is z composite?
True
Suppose q + u = 118, 175 = -5*q + u + 735. Suppose -g = -0*g - q. Is g composite?
False
Suppose -2*t = 3*z - 4*z - 529, t - 2*z - 269 = 0. Is t composite?
False
Suppose -5*s + 8 = -4*s. Suppose -s = p - 45. Is p a prime number?
True
Suppose 0 = -2*f - f - 2*n + 675, 4*n - 12 = 0. Is f a prime number?
True
Suppose 3*m + 0*x = -x + 586, 16 = 4*x. Let p = m + -111. Is p composite?
False
Let o(n) = 3*n**2 - 3*n + 5. Suppose 3 = -3*k + 12. Suppose -2*z - k*z = 20. Is o(z) prime?
False
Suppose -3*f - 352 = 4*z, z = -2*f + 2*z - 253. Let i = f - -273. Is i composite?
False
Let d(j) = -123*j - 61. Is d(-6) composite?
False
Let l(a) = -a + 1. Let m be l(-1). Let o(z) = 4*z + 0*z + 0*z + m. Is o(5) composite?
True
Let m = -3 + 7. Suppose -3*d + 4 = b, -d - m*b + 3*b = 0. Suppose -3*n = -2*z - 365, d*z + 89 = n - 30. Is n composite?
True
Let q(p) = -p**2 + 3. Let t be q(0). Suppose -4*j = 12, -4*o + t*j = 7*j - 532. Suppose -4*l + o = 12. Is l composite?
False
Suppose 3*i = 4*m + 160 + 28, -i - 5*m + 88 = 0. Is ((-9)/(-6))/(3/i) composite?
True
Suppose 5*u - 96 + 1 = 0. Is u prime?
True
Let v be (-2 + -1)/(-4 - -1)