31/60*x**5 + x**2 + 0*x - 1/8*x**4 + 0. Is r(-2) prime?
True
Suppose -5*i + 2*t - 570 = -2*t, -2*i - 2*t = 210. Let r = i - -189. Is r a prime number?
True
Suppose -5*f - 13 + 43 = -4*y, -f - 18 = 4*y. Suppose -111 = -3*x - f*w - 22, 190 = 5*x - 5*w. Is x a prime number?
False
Suppose 8 = 3*w + 2. Is w/(-4)*-1*138 prime?
False
Suppose -2*n = -5*x - 11, -4*n - x - 2 = -3*x. Let f(i) = -7*i**3 + i**2 + 2*i + 3. Is f(n) composite?
False
Let d = 84 - 52. Let q = d + -17. Is q composite?
True
Let q(r) = -738*r - 10. Is q(-2) a prime number?
False
Suppose 0 = 3*k + 4*u + 89, 3*k + 2*u + u + 84 = 0. Let z = k - -76. Is z a composite number?
False
Is (-9 + 8)*(-32 - -1) a composite number?
False
Suppose a - 3*a + 10 = 0. Let t = 44 - a. Is t composite?
True
Let l = 474 - 287. Is l composite?
True
Let n(f) = f**2 - 18*f + 51. Is n(-24) a prime number?
False
Let a = 37 - 26. Suppose 79 = 5*v - a. Let d = -5 + v. Is d composite?
False
Let m = 6 + 1. Suppose 0 = 3*w - 3*c - 9, m*w - 2*w - 14 = 4*c. Suppose -18 = w*f - 56. Is f a composite number?
False
Let j(h) = -28 + 40*h**2 + 3*h + 13 + 7 + 5. Is j(2) prime?
True
Let t(x) = -x**3 - 4*x**2 + 8*x - 1. Let n be t(-6). Let p = -4 + n. Is p a composite number?
False
Let m be 154*(6/4 - 1). Suppose -4*p + m + 71 = 0. Is p prime?
True
Let j(x) = -6*x**2 + x**2 - 2*x**2 - 4*x - 2*x**2 + 2*x**3 + 6. Is j(7) a prime number?
True
Is 2483/7 - (-6)/(-84)*-4 a composite number?
True
Suppose m - 22 = -4*t, 2*m - 5*t = 41 - 10. Let l = m - -17. Is l composite?
True
Suppose 5*f - 11 - 64 = 0. Is 3342/(-15)*f/(-6) prime?
True
Let y(r) be the second derivative of 3*r**6/20 - r**4/24 + r**3/2 + r. Let s(n) be the second derivative of y(n). Is s(-1) prime?
True
Let g = 2409 + -92. Is g prime?
False
Suppose -4*s - 376 = -4*f, -s = -2*f - 51 + 240. Is f prime?
False
Let r = -23 - -109. Let z = r + -51. Is z prime?
False
Let x = -17 + 8. Let k be 1*(-2)/(6/x). Suppose -5*g - k - 48 = -a, -2*a = -5*g - 82. Is a composite?
False
Let v(f) be the third derivative of f**6/120 + f**5/60 - f**4/24 + 79*f**3/6 - f**2. Is v(0) a composite number?
False
Let p = 556 + -347. Suppose p - 8 = 3*h - 4*z, -4*h - z + 268 = 0. Is h a composite number?
False
Let b(g) = g**3 - g**2 - 6*g + 6. Let v be b(6). Let t = v - -61. Is t a prime number?
True
Let i(l) = 20*l**2 + l. Is i(-7) a composite number?
True
Is (2/(-3))/(6/(-333)) a prime number?
True
Let h(z) = 3*z - 5. Let o(a) = -3 - 13*a - 4*a**2 + 4*a + 3*a**2. Let l be o(-8). Is h(l) a composite number?
True
Is (-290)/(-2) + 40/10 a prime number?
True
Suppose 2*a - 5 + 1 = 0. Let o be a/(-4) + (-7)/(-2). Suppose 4*q = -o*f - 0*q + 425, 0 = 5*q + 5. Is f a prime number?
False
Suppose -1992 = -4*j + 2*s, 10*j - 2501 = 5*j - 3*s. Is j a composite number?
False
Let r(n) = 28*n**3 + 3*n**2 - 2*n + 3. Is r(2) prime?
False
Suppose -4 = b + 1. Is (-1338)/(-15) - (-1)/b a prime number?
True
Let b(k) = -k**2 + k + 185. Let d be b(0). Let u = d - -237. Suppose -7*x + 5*x = -u. Is x prime?
True
Suppose -2*w + 72 + 116 = 0. Suppose 2*z + 2*x - w = -2*x, 50 = z + 5*x. Suppose 3*f = -0*l - 2*l + 88, f - z = -l. Is l prime?
True
Let c(g) = g**3 + 10*g**2 + 11*g + 9. Let s be c(-8). Let d = 16 - s. Is (0 - d)*4/12 a prime number?
True
Suppose -7*t + 3*t = -720. Let a = 365 - t. Is a a composite number?
True
Let m(r) be the first derivative of -r**4/4 - 2*r**3 - 3*r**2 + 2. Let s be m(-5). Suppose -s*z + 469 = -126. Is z composite?
True
Let f = -665 + 115. Is (f/(-33))/(4/6) a prime number?
False
Let l(m) = 6*m - 9. Let p = -10 - -17. Is l(p) a composite number?
True
Suppose -2*j - j - 9 = 0. Is (-586)/j*(-15)/(-10) prime?
True
Let h(n) = -6 + 3*n + 1 + 3 + 2*n**2. Let v be h(2). Let u = v - -73. Is u prime?
False
Let p(f) = f - 11. Let x = 12 + -7. Let m be p(x). Is 14/21 - 218/m a composite number?
False
Suppose 0 = 4*c + 20 + 4. Is c/(-3) + 33 + -1 a composite number?
True
Suppose -7*j = -12*j + 1735. Is j prime?
True
Let t be 83/((-33)/18 - -2). Suppose 3*o - l - 518 = t, -o + 332 = l. Is o a composite number?
False
Is (-5584)/(-22) + 2/11 a composite number?
True
Let o be 6/15 + 2*2/(-10). Let u = 50 - 30. Suppose f - 77 = -4*n, -n + o = f - u. Is n prime?
True
Suppose -3*r = r. Suppose h = 3*h + 2, r = -p + h + 146. Is p a prime number?
False
Let v(h) = -h - 1. Let r(f) = -15*f + 4. Let z(a) = -r(a) - 4*v(a). Is z(1) a prime number?
True
Let u = 140 - 107. Is u composite?
True
Is 2937/22*4/6 prime?
True
Suppose 4*q = 2*q + 4*l, l - 18 = -4*q. Let g(d) = 17*d**2 - 6*d - 20. Let h(w) = 6*w**2 - 2*w - 7. Let t(p) = q*g(p) - 11*h(p). Is t(4) prime?
False
Suppose 5*h = -0*h. Suppose -j = -h*j - 2. Is 46 + (-1 - -1)/j prime?
False
Let y = 152 + 402. Suppose 0 = 5*z - 3*q - y, -2*q + 5*q = -4*z + 427. Is z a prime number?
True
Let i(b) = 39*b**2 + 10*b - 11. Is i(10) a prime number?
True
Suppose -1521 = -q + 5*l, 5*l + 1511 = q + 2*l. Suppose 2*p - 6*p + q = 0. Suppose j + p = 3*j. Is j a prime number?
False
Let r = -35 - -216. Is r a prime number?
True
Let o = -186 + 91. Let b = -52 - o. Is b composite?
False
Suppose 6 = -3*f - 2379. Let q = -260 - f. Is q/15 + (-4)/6 prime?
False
Is (-119)/(9/3 + -5 + 1) prime?
False
Let c be 7 + -2 - (2 - 2). Suppose -c*x - 5*o + 710 = 0, o = -2*o - 9. Is x a prime number?
False
Let n be 2/(-7) - 16/(-7). Suppose -5*a + 243 = 2*g, n*g = -a + 34 + 21. Is a a prime number?
True
Suppose 3*h - 19054 = -4*h. Is h a composite number?
True
Is 645 - ((-3)/(-9))/(1/(-6)) composite?
False
Suppose 1196 = -20*k + 24*k. Is k a prime number?
False
Suppose 2*u = 8 - 24. Let r(a) be the second derivative of -a**4/12 - 4*a**3/3 + 7*a**2/2 + 4*a. Is r(u) prime?
True
Let h(r) = 12*r - 1. Let v = -3 + 3. Let c be 8/(-6)*(v - 3). Is h(c) composite?
False
Suppose 0 = q + 2*p - 93, q + 5 - 108 = -4*p. Is q a prime number?
True
Suppose 0 = -17*s + 15*s + 746. Is s composite?
False
Suppose 4 = -0*t + t - 2*d, 4*t + 10 = -5*d. Suppose -2*j = 5*f - 262, 3*j - 3*f + 84 - 477 = t. Is j a composite number?
False
Let v = -63 - -622. Is v composite?
True
Suppose 3*f + 24 = f. Let x = 3 - f. Is x prime?
False
Let c = -10 + 18. Let t = 8 - c. Is t + 34 - (1 - 0) a prime number?
False
Suppose -2*r + 5*b = r + 675, 3*b = 5*r + 1141. Let s = 421 + r. Is s a composite number?
False
Let k = 159 - 113. Is k a prime number?
False
Is 8631/99 + (-4)/22 a composite number?
True
Let h be ((-495)/(-44))/(2/16). Let j = -53 + h. Is j a prime number?
True
Let o = 5 - 5. Suppose 0*t = -2*f + t + 606, o = -f + t + 301. Is f a prime number?
False
Let g(u) = -3*u**3 + 5*u**2 + 6 - 2 + 2*u**3 + 6*u. Let d be g(6). Suppose -3*z - 3*k = -168, -83 = -3*z + d*k + 106. Is z prime?
True
Let s = 14 - 4. Let f(g) = -g**2 + 10*g + 7. Is f(s) a composite number?
False
Let w = 23 - -60. Is w composite?
False
Let d = -326 - -493. Is d prime?
True
Suppose -3*n - n - 4*d = -12, 0 = 5*n + 3*d - 11. Suppose n = -t, 0 = -a - t + 6*t + 134. Is a prime?
False
Suppose -4*v = 4*d - 6*d + 3834, 0 = -4*v + 20. Is d a composite number?
True
Let x(y) be the second derivative of -y**4/12 + 5*y**3/6 - 3*y**2/2 - y. Let l be x(3). Suppose -s + 38 = l*h + s, 0 = h - 4*s - 22. Is h a composite number?
True
Let o(z) be the second derivative of -z**5/20 - 7*z**4/12 + z**3/6 + 9*z**2/2 - 2*z. Let r be o(-7). Suppose r*v - 140 = -2*v. Is v a composite number?
True
Suppose 14*i - 6981 = 9*i - 2*x, 3*i - 4201 = 5*x. Is i composite?
True
Suppose 4*x + 2*y = -x + 2, 2*x - y + 1 = 0. Let k(r) = -2 + 4*r**2 + 2*r + x - 3*r**2. Is k(4) prime?
False
Let j be ((-166)/(-8))/((-3)/(-12)). Let v = -48 + j. Is v a prime number?
False
Suppose -g - 21 = -4*g. Let b(f) = -10*f - 3*f - g - 2. Is b(-6) a composite number?
True
Suppose 0 = 3*g + 4*y + 537, 0 = -g - 3*y + 102 - 286. Let b = g - -294. Is b a prime number?
False
Suppose 0 = -2*c - 0*c + 62. Is c a composite number?
False
Let m(l) be the third derivative of 43*l**4/24 - l**3/2 + 2*l**2. Let o be 8/10*15/6. Is m(o) a composite number?
False
Let p(q) = -q + 9. Let j be p(5). Suppose m - j*m = -33. Is m prime?
True
Let j = 23 - -14. Suppose p + 3 = j. Is p composite?
True
Let q(k) = -35*k**2 - 5*k - 3. Let y(d) = 3 - 2*d**2 + 2*d**2 + 34*d**2 + 4*d. Let s(o) = 2*q(o) + 3*y(o). Is s(-2) prime?
True
Let q be ((-12)