(-18)/4)/(2/l) prime?
False
Is 15/6*(-844)/(-10) composite?
False
Suppose c + 12 = 4*c. Suppose c*k - 2*k - 166 = 0. Is k a composite number?
False
Suppose -12 = 9*v - 3*v. Let z(u) = u + 1. Let c(g) = -63*g - 1. Let f(w) = c(w) - 2*z(w). Is f(v) prime?
True
Suppose -m + 232 = 46. Suppose -5*t = r - m, -5*r + 4*t + 951 = 8*t. Is r a prime number?
True
Let o = -88 - -233. Is o a prime number?
False
Let t(v) be the third derivative of v**6/120 - v**5/20 + 5*v**4/24 + v**3/6 - v**2. Is t(4) composite?
False
Suppose -5*w = 9 + 31. Is (291/12)/((-2)/w) composite?
False
Suppose 2*m - 2 = -0*m + b, 4*b = 2*m + 4. Let w = 4 - m. Is 143/w - 2/4 prime?
True
Let y be 2/(-5) + (-54)/(-10). Suppose y*g + 38 = 3*t - 2*t, 0 = 4*g - 2*t + 34. Let c = 10 + g. Is c a prime number?
True
Let k be (-2)/8 + (-100)/(-16). Let l(s) = 2*s - 8. Let d be l(k). Suppose u = -d*u + 65. Is u a prime number?
True
Suppose 5*t = -c - 149 - 470, 0 = 4*t - 4*c + 500. Let j(h) = -2*h**2 - 8*h - 11. Let a be j(-8). Let s = a - t. Is s prime?
False
Let q(m) = -132*m - 5. Let y(z) = -z - 1. Let c(d) = q(d) - 5*y(d). Is c(-1) composite?
False
Let v = 18 - -21. Is v a composite number?
True
Let o = 1004 + 689. Is o composite?
False
Let m(i) = i - 1. Let x be m(2). Let r = 1 + x. Suppose -3*l - r*l = -110. Is l prime?
False
Suppose d - 16 = 3*d. Let u(z) = -4*z**3 - 8*z**2 + 7*z + 4. Let w(q) = -5*q**3 - 8*q**2 + 8*q + 5. Let a(s) = -4*u(s) + 3*w(s). Is a(d) composite?
False
Let i(s) = -2 + 2*s**2 + 0 - 6*s - 1. Suppose 4*u - 6*u + 12 = 0. Is i(u) prime?
False
Let p(g) = -26*g**2 + 3*g - 4. Let t(s) = -1. Let a(h) = -p(h) + 5*t(h). Is a(-2) a composite number?
False
Let b(m) = 2*m**2 + 7*m + 14 + 5*m - 3. Suppose -4*w - 45 = w. Is b(w) a composite number?
True
Let n(r) = 93*r - 15. Let b be n(6). Let s = -284 + b. Is s a composite number?
True
Let d be 53 + 2/4*-2. Suppose 2*l - 2*w = 32, 4*l - 2*w - 67 = -w. Let f = d - l. Is f composite?
True
Suppose 3*u = 564 - 129. Is u composite?
True
Suppose 2*h = 3*p + 1841, h - 913 = -0*h + 4*p. Let l = -10 - -16. Suppose -l*y + y = -h. Is y prime?
False
Let p = -280 + 497. Is p a prime number?
False
Is (-993)/(-2)*(-4)/(-6) composite?
False
Let s(r) = -257*r - 5. Is s(-2) composite?
False
Let j(n) = 5*n + 2. Let y be j(-3). Let w = -22 - y. Is ((-3)/w)/((-3)/(-441)) a composite number?
True
Suppose -n = -3 + 8. Let u = n - -5. Is 3/(3 - u) - -76 a prime number?
False
Suppose -k + 13 = -o, -2*o - 38 = -3*k - 2. Suppose 5*b - 80 = -4*y, -3*y - b = k - 70. Suppose -m + 2 = 0, 2*n - n - y = -5*m. Is n a composite number?
True
Suppose -l + 4*l - 4*b + 10 = 0, -5*b + 8 = -3*l. Let x(p) = p**3 + 9*p**2 + 6*p - 7. Is x(l) a composite number?
True
Suppose 0 = 3*d - 3 - 3. Let z = d - 6. Is (-2 + 6)*(-39)/z a prime number?
False
Suppose -13 = -x + j - 6, 0 = 2*j + 2. Suppose -633 = 3*p - x*p. Is p composite?
False
Let t(m) = -m**2 - 8*m - 1. Let n be t(-10). Is 3141/7 + (-6)/n a prime number?
True
Let u(q) = q**2 + 7*q + 6. Let r be u(-6). Suppose -s + 5*w + 201 = r, 3*s + 2*w - 637 = -0*s. Is s a composite number?
False
Let s(h) = -h**3 + 6*h**2 - 6*h - 1. Let n be s(5). Is 82/6 + n/9 a prime number?
True
Suppose 0 = k + 2*k - 282. Is k a composite number?
True
Is (71 - -3) + -3 - -3 prime?
False
Let t be (-4)/5*(-80)/2. Let a = t - -23. Is a composite?
True
Suppose -4*v - 10 = 2*y, 5*y + 7 = -5*v + v. Is v/(-1)*1 + 103 a prime number?
False
Suppose -f = f - 116. Suppose 3*k + f = t, 0 = -2*k + k - 4. Is t composite?
True
Let q(u) = 341*u**2 - 4. Is q(3) prime?
False
Let f(t) = 6*t**2 - 1. Let q be f(1). Suppose 0 = 3*g - q*g + 194. Is g prime?
True
Let h be -2 + (-2 - -2) + 54. Suppose 3*v - h = v. Is v a prime number?
False
Suppose -5*r + 9*r - 1228 = 0. Is r a composite number?
False
Let m(o) = -2*o + 47. Let k = -12 + 12. Is m(k) prime?
True
Let l be 63/6*(-2)/3. Let i(o) = -o**3 - 7*o**2 - 2*o. Is i(l) a prime number?
False
Let w = -6 + 8. Suppose 2*s - w*u - 20 = 0, -u + 22 = 5*s + u. Suppose s*x = 4*x + 42. Is x a prime number?
False
Let m = -8 + 4. Let y be (-16)/m*31/4. Let i = y - -58. Is i a prime number?
True
Let q(v) = -v**3 + 5*v**2 - 3*v - 1. Let l be q(4). Suppose -62 = -l*t + 169. Is t prime?
False
Suppose 4*c - 7 - 1 = 0. Let v(h) = 4*h**3 - 2*h**2 - 4*h. Let a be v(3). Suppose 2*y - 5*y = -c*q - 285, -y + a = 5*q. Is y prime?
False
Let w(u) = -76*u + 3. Is w(-4) composite?
False
Suppose 65 = 3*m - 5*d - 115, 2*m + d = 133. Is m a composite number?
True
Let c = 4 - 4. Let y be (c - 20) + (-2 - -4). Let u = 41 + y. Is u a prime number?
True
Let u be 338/3 - 2/(-6). Suppose -u = -2*i + 1. Is i composite?
True
Let y(h) = h**3 - 4*h**2 - 8*h + 7. Let k = -13 + 19. Suppose 2*o = o + k. Is y(o) a prime number?
True
Let g = -4 + 4. Suppose g = -21*m + 22*m - 59. Is m a prime number?
True
Let n be 1/((-3)/(-18))*29. Let o = 301 - n. Is o a composite number?
False
Let s be (5 - 3) + 0 + 0. Suppose -250 = -s*p - 12. Is p prime?
False
Suppose -658 + 2247 = g. Is g composite?
True
Let x be (-6)/(-4)*(-292)/6. Let p = x + 132. Is p a composite number?
False
Suppose 2 + 2 = 2*m. Suppose 0 = -3*n + m*l + 117, -l - 3 = -0*l. Is n a prime number?
True
Suppose 36 = c - 169. Is c composite?
True
Let w = 7 - 1. Let r be (84/9)/(4/w). Is 1214/r - 2/(-7) prime?
False
Let l(i) = i + 5. Let m be l(-3). Suppose 0 = 2*h + 2*g - 174, 2*h - m*g = -h + 261. Is h a prime number?
False
Let r = -17 + 30. Suppose -r = 3*k - 88. Is k a prime number?
False
Let q = 2874 + -905. Is q a prime number?
False
Let d be ((-2)/5)/((-2)/(-290)). Let q = 113 + d. Is q composite?
True
Let h(r) = -278*r - 5. Is h(-5) prime?
False
Let r(i) = i**2 - 3. Is r(-7) a prime number?
False
Let l(g) = g**3 - 6*g**2 + 3*g - 4. Let m be l(8). Suppose k + m = 365. Is k a composite number?
True
Let a(h) = -h. Let o be a(-3). Suppose l - o = -0*l. Is (-1)/(-1)*(l + 46) prime?
False
Let x be (391 - (3 + -1))/1. Is x + 0 + 3 + -3 a prime number?
True
Let f(y) = 1. Let t(u) = 5*u**2 - 13. Let r(v) = 3*f(v) + t(v). Is r(-9) a prime number?
False
Let i(y) = 1062*y + 17. Is i(3) a prime number?
True
Let h = -31 - -34. Is h prime?
True
Let s(u) = -218*u - 7. Is s(-3) composite?
False
Let s(u) be the first derivative of -u**4/4 + 5*u**3/3 - 3*u + 3. Let q be s(5). Is ((-3)/2)/(q/258) a composite number?
True
Let u(l) = -l**3 + 7*l**2 - 8*l + 6. Let y be u(6). Let t = 31 - y. Is t composite?
False
Let u(i) = -9*i - 3*i**2 - 2*i + 2*i**2 - 8. Let l be u(-10). Is (l/(-4))/((-2)/1004) prime?
True
Let i(t) = t + 3. Let m be (-12)/(-9)*(-3)/(-2). Suppose 0 = -3*f - 2*l - 4, 4*f + m*l + 4 = -f. Is i(f) a composite number?
False
Suppose 5*y = -25, v + 3*y = -8 - 3. Suppose 0 = -4*a - 0*a + 252. Suppose 5*s - a = -v*o, 3*o - 114 = s - 43. Is o prime?
False
Suppose 0 = 3*c - 9, -20 = 4*l - c - 1669. Is l prime?
False
Suppose -5*p - 2*l = -7*l - 20, -2*p + 10 = -3*l. Suppose -376 = -4*m - p*y, 0*y - 3*y + 89 = m. Is m composite?
True
Let x(d) = d**3 - 9*d**2 + 16*d + 5. Is x(10) a prime number?
False
Let b be 3 - 1/(3 + -2). Let a(p) = 159*p**3. Let n be a(1). Suppose 0 = b*t + t - n. Is t a composite number?
False
Let o be (-2)/4 + (-18)/(-4). Suppose -o*q + 2 = -18. Suppose -3*d = -3*a + 102, q*d - 3*d = -2*a + 56. Is a composite?
False
Let o(v) = -4*v**3 + v**2 + 2*v + 1. Let x be o(-1). Suppose k + 1 - 4 = 0. Suppose -147 = -3*q + k*b, 0 = -q - x*b + 5 + 64. Is q a prime number?
True
Suppose o = -4*m + 339, 0*m = 3*m - 15. Is o composite?
True
Suppose -3*n - 5*b = -0*n - 732, 2*n - 493 = -5*b. Is n a prime number?
True
Suppose -4*i + 9 + 7 = 0. Suppose -105 - 107 = -i*n. Is n a composite number?
False
Let d = 9 - 6. Suppose 5*r - 42 = 2*r - d*o, 0 = 2*o - 10. Is r a prime number?
False
Suppose -h = -0*h + 2. Let k be ((-4)/(3 - 2))/h. Suppose -230 = -3*q - k*q. Is q a prime number?
False
Let a = -2 - 1. Let y = 1 - a. Let u(l) = 2*l**3 - 5*l**2 + 3*l - 1. Is u(y) composite?
False
Suppose 5*i - 1146 = -k, 3*k - 3343 = 7*i - 3*i. Is k prime?
False
Suppose 0 = -p, 3*p - 6 = 2*r + 2*p. Let y(x) = -x**3 - 4*x**2 - 2*x - 2. Let q be y(r). Is -3*q/((-45)/(-174)) a prime number?
False
Suppose 5*a - 3*t - 137 = 0, 4*a + 2*t - 86 = a. Let o = 59 - a. Is o a prime number?
True
Let u be 3/(-1) - 3088/(-8). Suppose 128