r(2) a prime number?
False
Suppose 5*w - 11195 = -0*s - 5*s, 4*w - 8976 = s. Is w a prime number?
True
Let q(x) = x**3 + x**2 - 5*x - 5. Let n(u) = -u**2 + 7*u - 6. Let d be n(4). Is q(d) composite?
True
Is ((-1481)/4)/(-2*(-2)/(-16)) a prime number?
True
Suppose 3*t = -0*t + 1473. Is t a prime number?
True
Let c = 21 + -11. Let p = c + 33. Is p prime?
True
Let n = 13 + -16. Is (-7 - n)/(-2) - -129 prime?
True
Let l(p) = -p**3 - 4*p**2 + 10*p + 9. Let k be l(-6). Let n = 98 + k. Is n prime?
False
Suppose 1698 = -8*k + 6778. Is k prime?
False
Suppose -1913 = -12*a - 389. Is a a prime number?
True
Let j = 0 + 3. Suppose j*z - 2*z - 31 = 0. Is z prime?
True
Let k(x) = -41*x**2 + 8*x + 13. Let u(v) = 2*v**2 - 2*v - 2. Let n be u(2). Let o(z) = 10*z**2 - 2*z - 3. Let w(f) = n*k(f) + 9*o(f). Is w(-2) composite?
True
Suppose x - 55 = 19. Is x composite?
True
Suppose -4*b = -19 - 5. Suppose -4*t = -4*v - 40, 3*v - b = -5*t + 84. Is t a composite number?
True
Let q(x) = 0 + 7 + 10*x - 5*x. Is q(6) composite?
False
Let q = 863 - 2019. Is 1/2 - q/8 a composite number?
True
Suppose 0 = -3*f - 2*f + 25. Is 486/f + 6/(-30) prime?
True
Suppose -u - 6 + 31 = 0. Let t = u - 13. Let i = 22 - t. Is i prime?
False
Suppose -5*t = -12 - 18. Is (-56)/(-6)*t/4 composite?
True
Let f = -108 + 235. Is f prime?
True
Suppose 2*k - k - 20 = 0. Let d be k/(-8)*(-2)/1. Is (156/(-30))/((-1)/d) composite?
True
Suppose 0 = 4*q - 2*v - 2*v - 24, q - 9 = 2*v. Suppose 0 = -q*i - 4*n + 18 - 0, -2*n = 0. Suppose -201 = -i*z + 3*z. Is z prime?
True
Let u = 3 + 0. Suppose h - 3*i - 9 - 6 = 0, 3*h = u*i + 45. Suppose -19 - 33 = -4*f + 2*x, f - x = h. Is f composite?
False
Let i(k) = -k**3 + 12*k**2 - 10*k + 12. Let b(v) = -v**3 + 6*v**2 - 4*v - 5. Let s be b(4). Is i(s) a composite number?
False
Let p(q) = -q - 25. Let o be p(0). Let h = 40 + o. Is h a composite number?
True
Let n be 0/((3 - 1) + 0). Let t(m) = 0*m**3 - m**2 + n*m**3 - 2*m**3 - m + 1. Is t(-3) prime?
False
Suppose 3*j - 10 = -1. Is (j - 82/(-8))*4 prime?
True
Let h(f) = f**3 - 8*f**2 + 10. Is h(8) a prime number?
False
Suppose 0 = -5*p + 3 + 12. Let j(x) = 9*x**2 + x - 1. Is j(p) prime?
True
Let d = -11 + 14. Let q(y) = -y**3 - y**2 - y + 185. Let s be q(0). Suppose 4*m + 5*l - 181 = s, -d*m = -4*l - 259. Is m a composite number?
False
Let j = 73 - 43. Suppose j = f - 27. Is f composite?
True
Let j(h) = -2*h**2 + 5*h + 5*h**2 + 2 - 2*h**2. Let p be j(-5). Suppose 5*u + 73 - 528 = -p*o, 5*u + 4*o - 465 = 0. Is u a composite number?
False
Suppose -7*t = -2*t - 635. Is t a composite number?
False
Suppose 12 = -d - 15. Let x = d + 61. Is x a composite number?
True
Let b(s) = -2*s + 3 - 2 + 7*s - 4. Let w be b(9). Suppose -4*c = 2*h - w, -8 - 17 = -3*c + 5*h. Is c prime?
False
Let w(o) = -o - 1. Let x be w(-5). Let n(t) = 53*t**2 - t. Let h be n(1). Suppose x*c - 256 = h. Is c composite?
True
Suppose 0*g = -4*g + 744. Suppose 2*s = i + g, s - 2*i - 103 = i. Is s a composite number?
True
Suppose 8269 = 3*z - 8324. Is z a prime number?
True
Let t(m) = m + 2. Let x be t(5). Suppose 0 = x*c - 4*c - 237. Is c a composite number?
False
Let c(g) = -g**3 - 6*g**2 - 22*g - 7. Is c(-12) prime?
False
Suppose 5*d + 65 = 250. Suppose -z + 14 = -d. Is z prime?
False
Let w(q) = q**3 + 9*q**2 - 4*q - 8. Suppose 4*n + 3*h = 40, 0 = -3*n + 3*h - h + 13. Let i be w(n). Let f = i + -455. Is f a composite number?
False
Suppose 0 = 3*d + 30 + 24. Let q be d/8*(-368)/3. Let i = -185 + q. Is i a prime number?
False
Suppose -5*w = -8 - 12. Suppose 141 = w*a - 319. Is a composite?
True
Let q = 808 - -397. Is q a composite number?
True
Let q(z) = 3*z**3 - 4*z**2 + 4*z + 5. Let c(d) = -4*d**3 + 2*d**2 + 4*d + 2. Let r be c(-1). Is q(r) a composite number?
False
Let v(h) = 5*h**3 + 7*h**2 - 9*h - 8. Let w(x) = -4*x - 13*x - 15 + 14*x**2 - 5*x**3 + 14*x**3. Let g(l) = -11*v(l) + 6*w(l). Is g(5) prime?
False
Is 54 + (-7)/(28/12) composite?
True
Let z = -107 + 226. Let f = z + -82. Is f composite?
False
Let p be (-6)/(-2)*10/(-6). Let w(q) = q**3 + 8*q**2 + 5*q - 1. Is w(p) prime?
False
Suppose 0*q + 4*q - 3*t - 11 = 0, 0 = -t - 1. Suppose 0 = 2*h - 6*j + 2*j - 90, -5*h + 273 = q*j. Is h a prime number?
True
Suppose -1262 = -3*r - 5*d + 3135, -4*d - 7279 = -5*r. Is r a composite number?
False
Let b(g) be the second derivative of g**4/3 + 9*g**3/2 + g**2 + 3*g. Let o(n) = n**2 + n - 1. Let u(f) = b(f) - 5*o(f). Is u(10) prime?
True
Is (3/((-6)/(-4)))/(8/204) prime?
False
Is (-10)/75 - (-1007)/15 a composite number?
False
Let d(a) = -4*a**2 - a - 2. Let u be d(2). Let q = 107 - u. Is q a prime number?
True
Suppose -4*z = 3*z - 18403. Is z a composite number?
True
Let i be ((-4)/(-10))/(1/(-10)). Let o = -1 - i. Suppose -o*b + 5 = -52. Is b composite?
False
Suppose 0 = -4*j - u - 18, -3*j - 12 = 3*u + 6. Is (-774)/(-6) - j/(-2) a prime number?
True
Is ((-759 + 1)/(-2))/1 a prime number?
True
Let h(j) = 2*j**2 + 4*j - 1. Let c be h(-3). Suppose -4*u + a = -14, 5*u - 26 = -3*a - 0*a. Suppose 2*w + 2*k - 10 = 0, 19 = c*w + 3*k - u. Is w composite?
True
Let f(j) = -1. Let x(s) = -2*s + 333. Let z(w) = -4*f(w) + x(w). Is z(0) a composite number?
False
Suppose -38 = -g - 2. Is (466/4)/(6/g) composite?
True
Suppose 4*h - 180 = -4*p, 180 = -0*h + 4*h - 3*p. Let d = 70 - h. Is d a prime number?
False
Suppose -8*c - 12 = -4*c. Is 201*((-11)/(-3) + c) a prime number?
False
Suppose 0 = 4*r + 7 + 5, 3*o - 108 = -r. Let d = 102 - o. Is d prime?
False
Suppose 4*m - 754 = 2*m - 2*c, -4*m + 3*c = -1522. Is m prime?
True
Suppose 2*a - 918 = -a. Suppose q + 2*r = 165, -5*r - a = -2*q - 3*r. Is q a prime number?
True
Let h(v) = v**3 + v**2 + 2*v + 1. Let r be h(5). Let m = 26 + r. Is m composite?
True
Suppose -2*s = -s - 256. Suppose 4*g = 4*b - s, -g + 0 = 5*b + 64. Let n = -29 - g. Is n composite?
True
Let b be 25/3 - 6/(-9). Suppose 2 = -3*m + 4*m. Suppose 2*y + b = y - 5*l, -m*l = y. Is y prime?
False
Suppose 8*z = -p + 4*z - 3, 3*p - 36 = 3*z. Let c = 35 - p. Is c a prime number?
False
Suppose -3 + 0 = 3*i. Is (-1 - -54)/(i/(-1)) prime?
True
Is ((-238)/6)/(1/(-3)) a composite number?
True
Let w = 681 - -458. Is w a prime number?
False
Let v(f) = 307*f**2 - 2*f + 2. Is v(1) composite?
False
Suppose -2*q + 5*q = 45. Is q a composite number?
True
Let b(o) = -o**3 - 4*o**2 + 9*o + 1. Let d = 4 - 4. Suppose -2*f - f - 24 = d. Is b(f) prime?
False
Let d = -58 - -105. Let n = d + -13. Is n prime?
False
Is (0 - (-2 + 1))*223 prime?
True
Let x(i) = i**3 + 10*i**2 - 5*i + 1. Let s be 1 - 4*10/4. Is x(s) prime?
True
Let o(x) = 6*x**2 + x + 8. Suppose 4*s - 3 = 21. Let y be o(s). Suppose -5*z = -p + 108, -p + 3*p = -4*z + y. Is p prime?
True
Let d(y) = -318*y - 1. Is d(-2) a composite number?
True
Is ((-1535)/(-15))/(1/3) a composite number?
False
Is (-498)/(-6) - 8/(-2) a composite number?
True
Suppose -5*f - 585 = 4*p, -7*p - 2*f - 727 = -2*p. Is (-4)/(-14) + p/(-7) prime?
False
Suppose 53 = 4*x + 5. Suppose 2 + x = w. Is w prime?
False
Let o = 287 + -11. Suppose d = -3*d + o. Is d a composite number?
True
Suppose o + 5 = 0, -4*u - u + 3*o + 10 = 0. Is -2 + u/((-1)/85) a prime number?
True
Suppose -3*i + 1631 = 4*i. Is i prime?
True
Suppose 0 = -0*t + 2*t + 14. Let r(w) be the second derivative of -5*w**3/6 - 2*w**2 + 2*w. Is r(t) a composite number?
False
Let b(f) = 4*f + 12. Let p be b(10). Suppose p = m + m. Is m a composite number?
True
Suppose 0 = -0*u - 3*u + 24. Let t(s) = 39*s - 19. Is t(u) composite?
False
Let u be 752/(3 + -2) + -2. Let g = u - 527. Is g composite?
False
Let g = 9 + -5. Suppose 33 - 149 = -g*f. Suppose 197 = 5*h - v + 4*v, 2*v + f = h. Is h prime?
True
Suppose -5*b = 2*c - 387, c - 4*c + 538 = -b. Is c composite?
False
Let q(x) = 0 + 4 + 11*x**2 + 1 + x - 4. Is q(-3) a prime number?
True
Is 4/14 + 27816/56 composite?
True
Let c be -3 - -1 - 9*11. Let f = -48 - c. Is f a prime number?
True
Suppose -16 = 5*h - h. Let p be (-24)/(-15)*(-2 - -7). Is h*(2 - 254/p) prime?
False
Suppose -u + 2*u = 0. Suppose -4*z + 105 + 131 = u. Suppose 0 = -8*a + 7*a + z. Is a a prime number?
True
Suppose t + 4*t = 10. Is 370/t - (-2 - -2) a composite number?
True
Let q be 2 + (-12)/((-8)/4). Let r(o) = 29*o - 9. Is r(q) a prime number?
True
Suppose -57 - 1486 = -f. Is f c