
Suppose -3*f + 0*t + t + 9 = 0, 0 = -t + 3. Suppose -3*u - 5*r = 2*u - 235, 2*r = -f. Is u a composite number?
True
Suppose -4 + 0 = -2*x. Suppose 4*g = g + 225. Suppose -5*k + 20 = -4*i - g, 2*k + x*i - 38 = 0. Is k prime?
True
Suppose 0 = -2*i - 3*i + 555. Suppose 0*n = -n + 2*t + i, n = -2*t + 107. Is n prime?
True
Suppose -3*a + 5*k = -2 + 7, 5*k = a + 15. Suppose -5*z = y - 107, -4*z + a*y + 53 = -z. Is z a prime number?
False
Suppose 1 + 1 = g. Let m = 3 - g. Suppose -2*r - m = -15. Is r a prime number?
True
Let p = 33 + 1. Let b = p - 24. Is b a prime number?
False
Suppose k + 587 = 2*l, -k = -2*l + l + 294. Is l a prime number?
True
Let w(i) = 4*i + i + 4*i**2 - 4*i. Let l be w(-1). Suppose m + f - 44 = 0, l*m + 2*f = 3*f + 140. Is m a prime number?
False
Suppose 20 = 4*t, -d = -2*d - 3*t + 17. Let a = 6 - d. Suppose a*m = m - 4*y + 119, y + 183 = 5*m. Is m composite?
False
Let x = 72 + 177. Is x a prime number?
False
Let t(v) be the first derivative of 1/3*v**3 - 16*v**4 + v - 2 + 1/2*v**2. Is t(-1) prime?
False
Suppose 2*o = -3*o + 15. Suppose 2*m - 3 = 3, m = -o*v + 6. Is 1 + v - (-109 + -2) prime?
True
Suppose 5*s - 8 = 7. Suppose 3*x + 2*k + 2*k = 279, -98 = -x - s*k. Is x composite?
False
Is (-4)/(-6)*1914/4 a composite number?
True
Let o = -3 - 4. Let r(c) be the second derivative of -c**5/20 - 5*c**4/12 + 2*c**3/3 - 3*c**2/2 + c. Is r(o) a prime number?
True
Suppose -5*n + 1362 = o, 228 + 585 = 3*n + 2*o. Suppose 131 = 4*w - n. Suppose -w - 10 = -3*d. Is d prime?
True
Let k(f) = -39*f - 1. Let i be k(2). Let s = 111 - i. Suppose -4*v - s = -6*v. Is v a prime number?
False
Let o be 4/6 - 12/18. Suppose 4*c = -v + 949, 221 = c - o*v - 3*v. Suppose 0 = -4*w + 4*i + c, -i = w - 0*w - 51. Is w a prime number?
False
Let i(d) = -14*d**3 - 3*d**2 + d + 3. Let q(h) = -28*h**3 - 6*h**2 + 3*h + 7. Let x(g) = 5*i(g) - 2*q(g). Is x(-3) composite?
True
Suppose 5*a = 2*q - 1059, -2*q + 1267 = -4*a + 209. Is q prime?
False
Suppose -4*t + 1 = 3*g - 8, -9 = -3*g + 2*t. Let n(f) = 4*f**3 - f**2 - 3*f**g - 3*f**2 + 7. Is n(6) composite?
False
Let i = 14 - 26. Is 1527*(-1)/i*4 a prime number?
True
Let p = 17 - 12. Suppose p*i + 332 = 4*v, -v + 2*v + i = 83. Is v composite?
False
Suppose 4*i + 20 = -8. Let y = i + 13. Is y a composite number?
True
Let u(k) = 7*k + 3659. Is u(0) a composite number?
False
Suppose -c - 2*x + 2 = 0, 0 = -0*c - 3*c - 3*x + 9. Suppose c*y - 28 = 2*z, -4*z + y = 53 + 10. Let h = z + 22. Is h a prime number?
False
Suppose -7*z = -11*z - 316. Let o = z + 168. Is o a prime number?
True
Suppose 5*y = -5*f + 15, 0*y - 2*f = 3*y - 8. Let a(l) = 66*l + 2. Let j be a(5). Suppose 6*t - j = y*t. Is t prime?
True
Suppose -4*b = -5*w - 22, 17 = 6*b - b - w. Suppose 4*a - 2*r - 4668 = 2*r, b*a - 3517 = -r. Is a a prime number?
True
Let c be (-6)/8*(-8)/3. Suppose -c*g - 238 = -4*g. Is g a composite number?
True
Let l be 4 - 2/4*-2. Suppose -5*f - 3 = 3*p, p - 4 = 5*p - l*f. Is (-70)/(-4)*(1 - p) a prime number?
False
Suppose -3*b + 753 = 5*h, 4*h + 4*b - 258 - 338 = 0. Suppose 4*s - 235 = h. Is s composite?
False
Let z(v) = 21*v + 17. Is z(16) a prime number?
True
Suppose 2*y - 1663 = 2*z - 5*z, -2771 = -5*z - 3*y. Is z a composite number?
True
Let c = 8 - 5. Suppose 385 = c*o + 4*s, 8*o + 4*s - 512 = 4*o. Is o composite?
False
Suppose u - 185 = -u - 5*c, 2*c = -u + 90. Let h = u - 22. Is h prime?
False
Let v = 146 + 121. Is v prime?
False
Let g be (-3810)/(-24) + (-2)/(-8). Suppose -y - 2*y + g = 0. Is y a composite number?
False
Suppose -20 = -7*d + 3*d. Suppose 0 = 5*u + 5*t + d, -6*t = -5*u - 3*t + 3. Suppose 2*x + 4*c = -u*x + 38, 2*x = c + 23. Is x composite?
False
Suppose -7 = -2*w - 5. Let o(b) = 127*b**3 - b + 1. Is o(w) prime?
True
Let z(d) = d**2 - 5*d + 3. Let s be z(5). Suppose -2*k - 5*n + 36 = 0, s*k - 94 = -k + n. Suppose 3*p = -3*u + u + k, -5*u = 2*p - 63. Is u composite?
False
Let m = 212 - 353. Let r = 264 + m. Is r a prime number?
False
Suppose p + 0 = 2. Suppose -4*v + 5 = -p*v + 5*t, -3*v - 4 = -4*t. Is -2 - -5 - (v - 1) composite?
True
Let h be ((-8)/(-6))/(2/3). Suppose 5*a + 4*p + 210 = -128, 0 = h*a + 5*p + 142. Let j = -13 - a. Is j a composite number?
False
Is (2062/(-6))/((-4)/12) composite?
False
Suppose 97 = 5*u - c - 33, -35 = -u + 2*c. Let z = u - 10. Is z composite?
True
Suppose 3*l + 50 = 5*o - 0*o, 2*o - 19 = l. Let k(u) = 4*u + 2*u + 5 - 2*u**2 - 5*u**2 + u**3. Is k(o) composite?
False
Let q(p) = 2*p**2 - 7*p - 3. Let n be q(-6). Suppose 6*z = 9*z - 234. Let d = n - z. Is d a composite number?
True
Let t(o) = 2*o**2 + 5*o - 2. Let s(d) = -d**3 - 4*d**2 - 5*d - 3. Let j be s(-3). Suppose -j*y + 5*m - 4*m = -6, -3*y = -2*m - 3. Is t(y) composite?
False
Let n = -30 + 107. Is n a prime number?
False
Let c(w) = -w**3 - 5*w**2 - 3*w + 28. Is c(-11) a prime number?
True
Suppose 2*p = -37 + 99. Suppose 3*z - 191 = p. Is z a prime number?
False
Let n(i) = i**3 - 5*i**2 - 5*i - 5. Let p be n(6). Let h(w) = 4 + p + 5*w + 1 - 1. Is h(6) a composite number?
True
Let q(p) = -3*p**3 - p**2 + p + 1. Let t be q(-1). Let w(v) = -t*v + v + 1 + v**2 + 3*v. Is w(-4) composite?
True
Suppose -10 = -4*m - 30. Let v = m + 7. Suppose v*f - y - 4*y = 85, -20 = -4*y. Is f composite?
True
Suppose 3*t = -m + 5 - 2, -t = 0. Is 878/8 + m/(-4) a composite number?
False
Suppose -6*h + 3*h = -9. Is 1*(-381)/(-9)*h a composite number?
False
Let m(g) = g**2 - g + 14. Let u be (0/2)/(-4 - -3). Is m(u) a composite number?
True
Let u be 4/1 + (-4 - -2). Suppose 0 = 2*m + u*m + 1060. Is (-1 + 3)/((-10)/m) composite?
False
Suppose p - 2*b - 2 = 3*b, 4*p - 8 = 2*b. Suppose p*o - 6 = 0, 5*j - 2*o - 144 - 95 = 0. Is j a composite number?
True
Suppose f + 1 + 5 = 0. Let x = f - -13. Is x composite?
False
Let k(r) = 4*r**2 + 1. Let s = 18 + -13. Suppose -7 = -s*f + 8. Is k(f) a prime number?
True
Let z be (4 - -2) + -2*1. Suppose -g - 11 = 4*n, -2*g - 4*n - 6 = z. Is -4*((-57)/12 + g) prime?
False
Let d(t) = t**2 - 1. Let r be d(2). Suppose a - 231 = -5*f + 2*f, r*a - f = 713. Is a prime?
False
Let b(f) = -4 - f**2 + 1 - 3*f + 8*f. Let i be b(5). Is (26/i)/(4/(-42)) a composite number?
True
Is (-2)/(-4) + (-1771)/(-14) a composite number?
False
Let k = -40 + 285. Suppose -569 - k = -2*l. Is l prime?
False
Let n(z) = 11*z - 2. Let k(a) = -a**3 - 3*a**2 + 4*a + 5. Let y be k(-4). Is n(y) prime?
True
Is 2835/20 - 1/(-4) a prime number?
False
Let o(z) = z**3 - 8*z**2 + 6*z - 11. Is o(8) a composite number?
False
Let o(c) = c**2 + 9*c - 4. Let x(u) = 6*u**2 + 45*u - 20. Let k(p) = -11*o(p) + 2*x(p). Let f be k(9). Suppose 4*j - 52 = -n, 67 = f*j - 5*n - 9. Is j prime?
False
Let i(n) = 6*n**2 + 5*n - 28. Is i(-13) a composite number?
True
Let w(a) = -3*a**3 - 5*a**2 - a + 6. Is w(-7) prime?
True
Let v(s) = -s - 3. Let u be v(-7). Suppose 3*y + 22 = o, -2*o - u*y + 105 = o. Is o prime?
True
Suppose 3*s = 5*t + 412, -2*t = s + 12 - 142. Is s a prime number?
False
Suppose 9*u = 5*u + 612. Let h = u - 68. Is h prime?
False
Suppose 115 + 840 = 5*n. Is n a prime number?
True
Let a(d) = 16*d**2 - 3*d - 1. Let j(m) = m**2 - 8*m + 8. Let n be j(6). Is a(n) a prime number?
False
Suppose 7*u - 5256 = 3*u. Let w = -827 + u. Is w a composite number?
False
Let y(p) = 13*p**2 - 12*p - 11. Let z(o) = o**2 - o + 4. Let f be z(3). Is y(f) a composite number?
True
Let k(h) = 8*h**2 - 7*h - 13. Is k(12) a composite number?
True
Suppose 1438 = 9*p - 7*p. Is p a prime number?
True
Suppose 3 - 8 = -n. Suppose n*b - 261 = 334. Is b a prime number?
False
Let g(t) = t**3 + 19*t**2 - 6*t + 31. Is g(-19) prime?
False
Let o = -1427 + 2826. Is o a prime number?
True
Suppose 3*j = -3*y - 0*y + 2565, -2*y = -4. Is j prime?
True
Suppose 4*r - 4*v = 37 + 291, 164 = 2*r - 3*v. Is r a prime number?
False
Let x = 1291 + -844. Suppose x = 4*k - k. Is k composite?
False
Let z be (26/(-6))/(10/(-390)). Suppose 4*m = 37 - z. Is (-4)/(-22) - 1875/m a prime number?
False
Let j(m) = -3*m**3 - 3*m**2 - 18*m - 11. Is j(-5) prime?
True
Let b be (-2 + 2)/(4/2). Let q = 41 - 151. Is -4*(b + q/8) composite?
True
Let a = -907 - -1288. Is a a composite number?
True
Let u be (-6)/(-4)*-114 - 1. Let k = u + 265. Is k a prime number?
False
Let h = 6 + -5. Suppose -3*b - p + 13 = -3*p, -p = -h. Supp