er?
False
Suppose 3*o - w = -212, 3*o + 3*w = 2*w - 220. Suppose -5*y + 3*j = 198, -j + 77 = -2*y - 2*j. Let p = y - o. Is p prime?
False
Let k(q) = q**3 - 4*q - 1. Suppose 4*i = 14 - 2. Is k(i) prime?
False
Let o be ((-8)/10)/((-4)/30). Let i = -10 + o. Is (-1)/2 - 214/i prime?
True
Let c be 32/6*9/(-6). Let i = -2 - c. Is i a prime number?
False
Let z(u) = -4*u + 2003. Is z(0) prime?
True
Suppose -9*p = -8*p - 2. Suppose -p*o + 5*v = -138, -v + 0*v = 2*o - 162. Is o prime?
True
Let w be 12/7 - 20/(-70). Suppose -2*r + 121 = -l, -2*l = -w*r + 3*l + 133. Is r prime?
True
Let c be 1376/6 + 10/15. Let t = 387 - c. Is t a prime number?
True
Let s(l) = 105*l**2 - 11*l - 3. Is s(-7) prime?
False
Suppose 0*v + 5*p = -3*v + 1105, -3 = 3*p. Suppose -2*h + h = 0, 2*o = -5*h + v. Is o a composite number?
True
Let c(p) = 23*p - 2. Let z be c(-7). Let w = z - -378. Suppose -9*i = -4*i - w. Is i prime?
True
Is 3895/35 + 2/(-7) composite?
True
Let q(k) = -2*k - 9. Let b(h) = -h - 5. Let i(n) = -9*b(n) + 4*q(n). Let j be i(-6). Suppose j*x = 5 + 160. Is x a composite number?
True
Suppose 5*a + 2 = -3. Let z = a - -1. Is z + 20 + 1 + 0 composite?
True
Let r(l) = -4*l + 3. Suppose 15 = c + 2*c. Suppose c = -5*q - 10. Is r(q) a composite number?
True
Suppose -s - 20 = -5*s. Suppose -s*d = -45 - 40. Suppose -3*b = 15, 7 = z - 2*b - d. Is z composite?
True
Is 21/(-28) + 4702/8 a composite number?
False
Let h(f) = -f**3 + 5*f**2 - 5*f + 4. Let d be h(4). Suppose d = -o + 2*o - 37. Let v = o + 2. Is v a prime number?
False
Let z = -651 - -365. Let y = -171 - z. Is y a composite number?
True
Is 256 - (2 + 5/(-1)) composite?
True
Suppose 2*s + 363 = 3*t, 632 = 5*t - 4*s + 29. Is t composite?
True
Suppose -7*j + 2*j + 3*k + 170 = 0, -3*j + 102 = -3*k. Let l = 195 - j. Is l a composite number?
True
Suppose 6*c = c + 4*k - 1, -11 = 3*c - 5*k. Suppose -5*y = -c*x - 865 - 1210, -5*y = 5*x - 2075. Is y composite?
True
Suppose 7*s + 2348 = 11*s. Is s prime?
True
Suppose 21*s - 16*s = 1295. Is s a prime number?
False
Is (-1776)/(-32)*(-44)/(-6) prime?
False
Suppose -2*t + t - 8 = -w, 0 = -2*w + 10. Is 31 + 6/t - 3 prime?
False
Let t(r) = -4*r**3 - 2*r**2 + 1. Let l be t(-1). Suppose -44 = i - 2*h, -4*h = -l*i + 4*i + 50. Let a = i + 105. Is a a composite number?
False
Let l be 110/8 + 1/4. Let d = 27 - l. Is d a composite number?
False
Suppose -5*g - 22 = -3*s, 5*g = 5 - 30. Let c(p) = -113*p. Is c(s) prime?
True
Let m be 1/(-3 + 16/6). Let y be (1 + 2 + m)/1. Suppose y*k + 5*k = 295. Is k a prime number?
True
Is 4 - (1 - (237 + -1)) composite?
False
Let f(v) = v**3 - 3*v**2 + 5*v - 2. Is f(3) composite?
False
Let t = 189 + -58. Is t prime?
True
Let c(p) = -p**2 + 31*p + 33. Is c(23) a prime number?
False
Let a = 77 - -330. Is a a composite number?
True
Let u be 1383/7 + 40/(-70). Suppose -j = 4*c - 211, j - 2*c = u + 2. Is j a prime number?
False
Suppose 3*y - 9 = 3. Suppose 5*k = -5*n + 10, -3*k + 1 = y. Is ((-6)/n)/2*-31 prime?
True
Suppose -h = h. Let u = 0 + 5. Suppose 432 = 3*o - 3*t, h = -5*o - 0*o - u*t + 730. Is o prime?
False
Let v be (-1406)/(-10) - (-6)/(-10). Suppose -v = u - 5*u. Is u a composite number?
True
Suppose -p = -14 - 17. Suppose 4*z = 3*z + p. Is z composite?
False
Let d(s) = -2*s - 7. Let g be d(-5). Suppose -5*x - p = -992 - 102, x = -5*p + 238. Suppose 13 + x = g*l. Is l a prime number?
False
Suppose m + 352 = -3*m. Is 3/((-12)/m) + 1 a composite number?
False
Suppose -2517 = 2*z - 5*z. Is z a composite number?
False
Let s(m) = 5*m**2 + 13*m + 1. Suppose 0 = 3*h - 7*h - 36. Is s(h) a composite number?
True
Suppose 82 = -v - 67. Let u = v - -382. Is u a prime number?
True
Let k(f) = -f**2 + 14*f + 6. Is k(11) a prime number?
False
Is 22158/14 - (-14)/49 prime?
True
Let k(t) = 157*t. Is k(1) a prime number?
True
Let f(i) = -i**2 - 3*i + 1. Let h(g) = -3*g**2 - 6*g + 3. Let z(n) = 5*f(n) - 2*h(n). Is z(-6) prime?
True
Let w(v) = -v**3 - 13*v**2 + 10. Let h be w(-10). Is ((-1)/2)/(1/h) composite?
True
Let p(h) = 32*h**2 - 3*h + 1. Is p(-3) a composite number?
True
Let i be 80/(-2) - (3 - 7). Let x = 163 + i. Is x prime?
True
Suppose -5*t - 6*t = -31273. Is t a composite number?
False
Suppose -4*i - 2*s + 20 = -0*s, 0 = 3*i + s - 14. Is i/14 + 645/21 a prime number?
True
Let c(k) = k - 5. Let i be c(-4). Let a = i - -16. Suppose -t = -a - 6. Is t composite?
False
Suppose 2*b + 0 = -5*q + 4, -3*b = -3*q + 15. Let l be (45 - 3 - 0) + 0. Suppose -q*k + 2 + l = 0. Is k a prime number?
False
Is 3/1 - (-75 + -9) composite?
True
Let v(g) = 31*g**3 - 2*g**2 - 2*g - 2. Let c be v(-2). Let p = c + 381. Is p a prime number?
True
Let o(s) be the second derivative of s**5/10 + s**4/12 + s**3/6 - 3*s. Let n be o(-1). Is (-942)/(-30) + n/5 a prime number?
True
Is ((-3)/(-5))/(3/345) prime?
False
Suppose 5*y + 5 = -2*p, p + y = -p + 7. Let k be (-4)/(-10) - (-2)/(-5). Suppose 0 = -4*t - k*j - 3*j + 22, 0 = -p*t + 2*j + 39. Is t prime?
True
Let s = -48 + 13. Let k = s - -58. Is k a composite number?
False
Let c = -28 + 82. Let j(r) = -r**2 - 17. Let z be j(0). Let n = z + c. Is n a prime number?
True
Suppose -4*k + 9*k + 2*z = 4342, 16 = -4*z. Is 4/(-6)*k/(-4) a composite number?
True
Suppose -5*x = -u - 25, 2*u + x - 10 = -x. Suppose u = -2*y - 3*y + 470. Is y a composite number?
True
Let c be ((-2)/3)/((-4)/18). Let v be (-5)/2*(-2 + 0). Suppose -2*g - t + 46 = c*t, 3*t + 50 = v*g. Is g prime?
True
Suppose 11836 = 4*b - 4*q, -4*b = -3*q - 104 - 11732. Is b a composite number?
True
Let j = 1617 + -340. Is j composite?
False
Suppose 0*v - 5 = 5*v. Let r(h) = -85*h. Is r(v) prime?
False
Suppose -3*h + 363 = -57. Suppose -3*m - 2*q = -q + 206, 4 = 4*q. Let a = h + m. Is a composite?
False
Let j(s) = 3*s**3 - 2*s**2 - 5*s - 9. Is j(7) a composite number?
False
Let s be 46 + (-2)/(2/3). Let w = -30 + s. Is w a composite number?
False
Let x(z) = -z**3 - 2*z**2 + 4*z + 5. Let c be x(-7). Suppose v = -2*v + c. Suppose -v = -5*g + 31. Is g prime?
False
Let d = 73 - 6. Is d a prime number?
True
Is (-29)/(((-12)/39)/4) composite?
True
Let l(c) = -c**3 + 11*c**2 - 2*c + 12. Let x be l(11). Is (124/(-6))/(x/15) a prime number?
True
Let q(u) = -4*u - 9. Let d be q(-12). Suppose -d = -4*z + k, -3*z = -2*z - 4*k - 6. Is z prime?
False
Suppose 6 = -3*u, -71 = 5*n - u - u. Is (-5)/(n/168) - 1 a composite number?
True
Let g(s) = -s - 2. Let z be g(-5). Suppose z*d + 56 = 7*d. Is d composite?
True
Suppose 3*a + m + 5 = 4*a, 2*m + 16 = 5*a. Let w = a - -1. Is w a prime number?
True
Suppose 5*c + 4*r = 14, -3*c - r + 6 = 2*r. Suppose -6*n + 5*n = -14. Is (15/c)/1*n a composite number?
True
Suppose -4894 = -4*f + f - 5*c, 4*f - 6467 = 5*c. Is f composite?
True
Is (2 + -3)/1*-205 a prime number?
False
Suppose 3*t = 321 + 42. Let q = 36 + t. Is q a composite number?
False
Let v(c) = 7*c - 10. Suppose 0 = 3*a - 11 - 10. Let w be v(a). Suppose -3*r + 2*r = -w. Is r composite?
True
Let z(r) = -r**3 + 5*r**2 - 3*r + 1. Let a be z(3). Suppose -4*g = -2*s + a, 0 = g + s - 0 - 2. Is 7/(-3)*(g + -5) prime?
False
Let x(v) = 12*v - 5. Let s be (2/4 - 1)*-12. Is x(s) a composite number?
False
Let g = -423 - -634. Is g prime?
True
Let s = 498 - 343. Let b be (-40)/(-3)*(-36)/15. Let w = s - b. Is w a prime number?
False
Let g = 3 + -2. Suppose -2*j - 11 = g. Let s(q) = 2*q**2 + 6*q - 1. Is s(j) composite?
True
Is (1 - -113) + 24/(-8) a composite number?
True
Suppose h + 57 = o, 117 = -2*h - 0*h - o. Let g = 105 + h. Suppose -g = -4*w + 5. Is w prime?
True
Is (-712)/(-12)*((-38)/(-4) + 1) composite?
True
Suppose -3*t + 5*w = -26, 3*w + 20 = 8. Suppose t*k = 293 + 681. Is k a composite number?
False
Let g(t) be the second derivative of -t**5/20 + 7*t**4/12 - t**3/2 + t. Suppose -i = 3*m - 14, m - i = -3*i + 3. Is g(m) composite?
True
Let y be 2*23 - (-1 - -2). Suppose 36 = 2*p - 2*i + 4*i, -i - y = -2*p. Is p composite?
True
Let x(d) = 2*d + 4. Let f = 10 + -7. Is x(f) a prime number?
False
Let x = 1758 + -905. Is x prime?
True
Suppose 2051 = -5*l + 211. Let d = -169 - l. Is d a composite number?
False
Let f = 475 - 6. Is f composite?
True
Suppose -3*v + 0*v + 45 = 0. Suppose -13 = -4*a + v. Is 1 + (-7)/(a/(-96)) a prime number?
True
Let q(v) = v**3 - 3*v**2 - 3*v - 1. Let t be q(4). Let p(u) = -t*u -