 Is f composite?
True
Suppose 5*u - 3*j = 10, 3*u - 5*j - 5 - 1 = 0. Let z(q) = 2*q**3 - q**2 + q + 1. Is z(u) a prime number?
False
Let d = -7 + 12. Suppose -d*z = -z - 868. Is z a composite number?
True
Let v = -19 - -21. Suppose -5*t - v*f = -2915, 3*t - 5*f = -10*f + 1768. Is t a prime number?
False
Let t(u) = -u**3 + 5*u**2 + 2*u - 6. Let r be t(5). Suppose -q - r*b + 60 = 0, -4*q - 32 = -5*q + 3*b. Let d = -29 + q. Is d a composite number?
True
Suppose -58*q + 1294 = -56*q. Is q a composite number?
False
Let c(q) = 2 - 6*q**2 + q**3 + 111*q - 111*q. Is c(7) a composite number?
True
Suppose 363 = 4*q - q. Is q a prime number?
False
Suppose -5001 = -3*s + 1470. Is s a composite number?
True
Let m(u) = 174*u**2 - 4*u + 9. Is m(4) prime?
True
Suppose 5*d = 307 + 573. Let w = -117 + d. Let c = 138 - w. Is c a composite number?
False
Let z = 7267 + -5090. Is z a composite number?
True
Let g be 22*((-164)/(-8) + -1). Suppose -14*s + 17*s - g = 0. Is s a prime number?
False
Let w be (-8)/3*(-18)/8. Suppose 4*a = -w*z + z + 13, 3*a + z - 7 = 0. Let o(p) = 34*p + 1. Is o(a) a prime number?
False
Let k(n) = -23*n**2 + 2*n - 2. Let b be k(-6). Let p = -301 - b. Is p a prime number?
True
Let a be 4 + (-2 - 0/2). Suppose 4*c - 3*t = 197, 2*c + a*t - 101 = t. Suppose -117 = -3*z + 4*o, -5*o - c - 28 = -2*z. Is z composite?
True
Suppose -3346 + 526 = -12*f. Is f composite?
True
Let y(n) = 54*n**3 - n**2 - n + 1. Is y(1) a composite number?
False
Let d = 7 + -2. Suppose -247 = -d*h + 33. Suppose h = 2*b - 14. Is b composite?
True
Suppose q + 2*z - 281 = 0, -2*q + 4*z = 3*q - 1475. Is q a composite number?
True
Let f(r) = -15*r**3 + 2*r**2 + r. Let z be f(-1). Suppose -b + z = -139. Is b composite?
True
Let b(y) = 4*y**2 + 23*y + 5. Is b(-18) a composite number?
False
Let l(v) = -3 - 167*v + 4 + 35*v. Is l(-1) a prime number?
False
Let k = -2 + 1. Let d = 3 - k. Let m = d - -2. Is m a composite number?
True
Suppose z - 4*q = 70, -z - 46 = -2*z - 2*q. Let a = -29 + z. Is a a composite number?
True
Suppose -6 = -2*l, 7*l - 3*l - 12 = -5*y. Suppose c + 0*c - 19 = y. Is c composite?
False
Let u = -16 + 119. Let b = u - 66. Is b composite?
False
Let s(a) = a**2 + 2. Let b be s(0). Is b/2 - -2*128 a prime number?
True
Let s be 4/6 + (-95)/(-15). Let t(n) be the second derivative of -n**4/12 + 5*n**3/3 - 4*n**2 + n. Is t(s) composite?
False
Let h(l) = 31*l**2 + l. Let x be h(1). Let p = 85 - x. Is p a composite number?
False
Let v(y) = y**3 + 6*y**2 + 3*y - 4. Let o be v(-4). Suppose -2*w - 3*t = -3, -5*t = 41 - o. Suppose -4*n - 55 = -w*n. Is n composite?
False
Let y(z) = z**2 - 5*z - 4. Let p be y(6). Let j(t) = -p + 4 - 7*t + 4. Is j(-7) prime?
False
Is (4 - 1) + (-3)/((-12)/112) a composite number?
False
Is (-4 - 24)*237/(-12) a composite number?
True
Let c = 5 - 0. Suppose -21 = -4*d - b, 3*b = 4*d - 22 + c. Suppose 4*h + 2 = i - 1, -d*i = h - 78. Is i a composite number?
True
Let u(w) = 5*w**2 + 16*w + 26. Is u(-17) composite?
True
Suppose 3*x = -2*d + 317, 2*x = -2*d - 0*d + 320. Let z = 130 + d. Is z a composite number?
False
Let s(p) = -p**3 - 6*p**2 - 13*p. Let t be s(-6). Suppose -52 = 4*f + 32. Let l = t + f. Is l a prime number?
False
Is 3/(-4 + 7)*(178 - -1) a prime number?
True
Let n be (-3)/(-1 - (-2)/8). Suppose z + 10 = -n*z. Let u(v) = -11*v. Is u(z) a prime number?
False
Suppose 2*u + 4 - 6 = 0. Is 0 + u - (-147 - -3) a composite number?
True
Suppose -f - 4 = -2*f. Let w be (f/(-10))/((-4)/40). Is 222/w - 2/4 composite?
True
Let j = 49 + -28. Is j a composite number?
True
Let j(i) = i + 7*i**2 + 5 - 1 + 7*i**2. Is j(-3) a prime number?
True
Suppose 5*m - 3915 = -3*n - 2*n, 5*n - 3*m - 3883 = 0. Is n prime?
False
Let a = 1300 - -211. Is a a composite number?
False
Let f = 1 + 5. Let u(v) = -v**2 + 7*v + 1. Is u(f) a prime number?
True
Suppose 5*p + 21 = 5*f - 9, -3*p = f + 22. Let s(b) = 2*b**2 + 2*b + 3. Let v(z) = z**2 + z. Let m(y) = -s(y) + 3*v(y). Is m(p) prime?
False
Let b(g) = g**2 - 5*g + 5. Let j(m) = m**2 - 10*m + 7. Let h be j(10). Is b(h) prime?
True
Let b(l) = 15*l**3 - 7*l**2 + 5*l + 1. Is b(4) composite?
True
Suppose -2*h - p - 1 = 0, 4*h + 4*p = 6*p + 18. Suppose -4*j - 5*n = -222, 3*j = -h*j - 5*n + 275. Is j a prime number?
True
Let d be (-8636)/(-12) - (-6)/(-9). Is (d/5)/(11/55) a prime number?
True
Let d be 8/(-36) + 3694/18. Let p = d + -112. Is p composite?
True
Let r = 11 + 69. Let b = 51 + r. Is b a prime number?
True
Suppose 16 = 5*m + 2*g, -3*m = -6*g + 3*g + 3. Suppose -m*p + 154 = -0*p. Is p a composite number?
True
Let s(g) = g**2 - 4 + 6*g - 10*g**3 - 4*g**2 + 0*g**2. Let o be s(4). Is (-6)/15 + o/(-20) a prime number?
False
Suppose 2*a + 2*a = 208. Suppose -50 = -2*k + a. Is k a prime number?
False
Let j(c) = c**2 - 7*c + 8. Let w be j(6). Suppose -w*m + 4*m - 30 = 0. Suppose -116 = -4*l - 3*i + 111, -5*i = m. Is l composite?
False
Let o = 12 - 7. Let n = 1 + o. Is n prime?
False
Let x(i) = 51*i**2 + 4*i - 2. Is x(3) a composite number?
True
Suppose 0*m - 5 = -3*m + 4*q, 3*q + 9 = -3*m. Suppose 5*l = 7 - 37. Is (-669)/l + m/2 prime?
False
Let m be (3 + 20/(-8))*1090. Suppose -5*c - 106 = -z - 4*c, m = 5*z - 2*c. Is z a composite number?
True
Let m be (-8)/(-4)*18/4. Let l(o) = -o**3 + 12*o**2 + 11*o + 11. Is l(m) prime?
True
Let j = 11 - 9. Suppose 3*p + 4*g - 93 = 33, -j*p + 79 = g. Is p composite?
True
Let z be 2/18*3*-237. Let g = z + 158. Is g a composite number?
False
Suppose -5*p + 434 = -2*c, 6*p - 438 = 2*c + 2*p. Let j = c - -594. Is j a prime number?
True
Suppose 8*k + 1623 = 6959. Is k prime?
False
Suppose 2*m = -598 + 1656. Is m a prime number?
False
Let q(t) = 2*t**2 - 6*t - 1. Is q(8) a prime number?
True
Let p(y) = -y**3 + 4*y**2 + 5*y + 12. Let k be p(5). Suppose 8*w - k*w = -308. Is w prime?
False
Suppose -4*x + x = 9. Let q = 160 - x. Is q prime?
True
Suppose 6 = -4*x + 5*x. Suppose x*s = 8*s - 110. Suppose -37 = -4*b + s. Is b prime?
True
Suppose 5*o - 710 = -0*o. Suppose -4*a = -3*c + 5*c - o, -40 = -a - 5*c. Is a composite?
True
Suppose -2*y = 3*r - 50, 73 = 2*y + y + 5*r. Is y a composite number?
False
Let d(z) = 10*z - 7. Suppose -5*r + 8 + 17 = -2*n, 0 = 4*r + 2*n - 20. Is d(r) a composite number?
False
Suppose 408 = 4*t + 5*l, 5*t - 2*l + 105 = 6*t. Is t a prime number?
True
Let t(a) = -a + 373. Is t(0) prime?
True
Let o = -5 + 9. Suppose -8*w + o*w = -36. Is w a composite number?
True
Is (50271/5 + (-6)/30)/2 a composite number?
True
Suppose b - 3 = 1. Suppose 0*c = -c + b. Is c prime?
False
Let h(i) = i**3 + 6*i**2 + 2*i - 4. Let m be h(-4). Is 7912/10 + (-4)/m a composite number?
True
Let q = 3 - 1. Let g(i) = 11*i**3 + 2*i. Let x be g(q). Is (-2)/6*(-1 - x) composite?
False
Suppose 0*u + 102 = 2*u. Let f = u - 29. Is f a prime number?
False
Suppose q - 4031 = -4*c, -c = -3*c + q + 2011. Is c a composite number?
True
Let i = 841 - -2022. Is i composite?
True
Suppose 50 = 2*m + 2*y, -m = 4*y - 3 - 7. Let h = m + 222. Let s = h + -143. Is s a prime number?
True
Let o(g) = g**3 - 7*g**2 - 8*g + 1. Let t be o(8). Let j(u) = 4 + 9*u - 5 + 3*u - 4*u. Is j(t) composite?
False
Let v = -135 - -241. Is v a prime number?
False
Suppose -6*r = -3*r - 42. Is r a prime number?
False
Suppose -3*i - i = -h - 593, 599 = 4*i + h. Is i prime?
True
Let o = 23 + -18. Let y be (2 - 2) + 36*1. Suppose o*n = 34 + y. Is n prime?
False
Let l(k) = -k. Let o(j) = 23*j - 5. Let r(w) = -5*l(w) - o(w). Is r(-4) prime?
False
Let n(m) = -29*m + 17. Is n(-6) a composite number?
False
Suppose -127 - 37 = -2*m. Is m a prime number?
False
Let c = -6 + 11. Let i(u) = 6*u**3 - 3*u**2 - 6*u - 6. Let d be i(c). Suppose 0 = -4*b - 3*m + 520, -d = -5*b - m - 0*m. Is b a prime number?
True
Suppose 6*c - 2*c = -116. Let u = c + 142. Is u composite?
False
Let h = 0 + 5. Suppose -h*n + 49 = -216. Is n composite?
False
Let v(l) = -32*l - 1. Let x be v(4). Let q = 184 + x. Is q a prime number?
False
Suppose 0 = 3*s - 5*s + 10. Let k = 39 - -62. Suppose -s*o + k = -3*j, 2*j = 4*o + j - 85. Is o a prime number?
False
Let s(o) = 26*o**3 + 8*o - 5. Is s(4) a prime number?
False
Let n be 0/(1 - 3) - 0. Suppose 2*w + 3*j - 29 = 0, n = -4*j - 29 + 9. Suppose 0 = -3*l + w + 89. Is l a prime number?
True
Let v(w) = w**2 - 5*w + 6. Let d 