 composite number?
False
Is 213320/34 + (-3)/((-255)/(-10)) prime?
False
Is (-76648)/(-20) + 12/20 prime?
True
Suppose 2 = -2*y + 22. Let c = y - 7. Suppose 54 = 3*s - c. Is s a prime number?
True
Suppose 2*z - n + 2 = 0, z + 1 = 2*n + 6. Let m be (5 + z)*789/2. Suppose 0*g - m = -3*g. Is g a prime number?
True
Let t(k) = 166*k**3 + k**2 + 16*k - 4. Is t(3) prime?
False
Let z be 15 + 2/2*-3. Let w = z + -7. Suppose 456 + 119 = w*c. Is c a composite number?
True
Let z be (-1486)/(-4)*(9 + 1). Suppose 5*a = -0*a + z. Is a composite?
False
Let f = -2 - 2. Let d be (-43)/f - 2/(-8). Is 110/(-4)*(-13 + d) a prime number?
False
Let r be 6/4*32/24. Suppose 5*z - 4*u - 4 = 0, r*z + 3*u + 2*u = -5. Suppose -51 = -z*i - i. Is i a prime number?
False
Suppose -2*h - 3*o - 4701 = -1622, -4*h + 4*o = 6188. Let j be 16/48*19086/(-4)*2. Let z = h - j. Is z a composite number?
False
Let a(k) = 2*k**3 + 2*k**2 + k + 251. Let w be a(0). Let j = w + 152. Is j a prime number?
False
Suppose -23 = -2*y - 5*d, -5*y + 4*y - 5*d + 14 = 0. Let v(b) = 2*b**2 - 8*b + 5. Let w(m) = m**2 - 4*m + 3. Let u(x) = y*w(x) - 4*v(x). Is u(6) composite?
False
Let v be (-2 + 8/4)/(-2). Suppose 14*k - 15*k + 511 = v. Is k composite?
True
Let m = 30 + -26. Suppose m*i = 2*f + 4982, -i + 2*f + 1243 = f. Suppose 3*p - i = 1107. Is p composite?
True
Suppose l - 514 = -405. Is l a prime number?
True
Suppose -9*f = -5*f - 9236. Is f a composite number?
False
Let z(y) be the second derivative of -5*y**3/3 - 4*y**2 + 4*y. Let h be z(-8). Suppose -w + h = 19. Is w composite?
False
Suppose 8*w - 241716 - 263924 = 0. Is w composite?
True
Suppose 3*r - o - 15 = 2*o, 4*o + 26 = 5*r. Suppose r*m - 10*m = -812. Is m prime?
False
Is ((-7)/((-35)/30595))/1 prime?
False
Let g be (-2)/6 + (-296)/(-24). Suppose 8*u - g*u = -316. Is u a composite number?
False
Let k(p) = 158*p - 83. Let w be k(-19). Is w/(-2) + 11/22 a composite number?
False
Let t be -2 + 3/6*18. Let p(w) = w**3 + 9*w**2 - 4*w + 13. Is p(t) composite?
False
Let s be (-202)/4*(-3 - -1). Suppose -4*p + 667 = -j, -4*j = 4*p - 168 - 524. Let a = p - s. Is a composite?
False
Let g = 6269 - -7344. Is g composite?
False
Let i(n) = -2*n - 8. Let k be i(-5). Let v(b) = b**3 - b - 2. Let h be v(k). Suppose 740 + 192 = h*w. Is w prime?
True
Let b(f) be the second derivative of -13*f**5/20 + f**4/4 - f**3/6 - 2*f**2 + 13*f. Let c be b(-3). Let a = c + -166. Is a prime?
True
Let u(g) = -4*g + 2*g**3 - 3*g**3 - 5 + 6*g**2 - g**2. Let v(o) = -2*o**2 - 38*o - 5. Let x be v(-19). Is u(x) a composite number?
True
Let w = -44 - -49. Let v = 5 + 0. Suppose n = v*n - w*a - 283, -n + 52 = 5*a. Is n a prime number?
True
Suppose -4*v = -6 + 22, 3*g - 10 = 4*v. Let a be g/(-3) - (-4773)/9. Suppose 4*c - 997 = 3*x, c + c - a = -5*x. Is c prime?
False
Let j(r) = -33*r**3 - 67*r**2 - 19. Is j(-11) a composite number?
False
Let t(r) = -6*r**3 - 2*r**2 + 2*r + 1. Suppose -4*l = -11 + 19. Is t(l) composite?
False
Let p be -4 - 7/(7/(-9)). Suppose -4*c = -2*h - p*c, 22 = -5*h + 3*c. Is (h - -6) + 1/(-1) a composite number?
False
Let w be 8/12*6 - -33. Let v = 3072 + w. Is v a composite number?
False
Let o = -11031 + 22932. Is o a composite number?
True
Let y(v) = -v + 18. Let r be y(0). Suppose 4*d + 10 = r. Is (-4 + d)*(-889)/2 a prime number?
False
Let x(n) = 326*n**3 - 9*n**2 - 7*n - 11. Is x(7) a composite number?
False
Let b(s) = 11*s**3 - 2*s**2 + 4*s + 6. Suppose 16*h - 21*h + 25 = 0. Is b(h) a composite number?
True
Let i(w) = -w**2 - 7*w + 4. Let j = -9 - -3. Let p be i(j). Is (5/p)/((-1)/(-262)) composite?
False
Suppose 0*u + 5*w = -4*u + 200, 5*w = 0. Suppose 2*n = z - 40, 3*z + 5*n - 37 - u = 0. Is z a composite number?
True
Let w(d) = 184*d - 1. Let a(m) = m**3 + 6*m**2 - 9*m. Let j be a(-7). Let o be w(j). Suppose 0*k + 5*k = o. Is k a composite number?
True
Suppose -2*c + 30267 = -5*a, -20*a + 19*a = 5. Is c prime?
True
Let p(c) = -3*c - 5. Let k be p(-7). Suppose -5*u - k + 106 = 0. Is 1017/5 + u/(-45) a prime number?
False
Let j(m) = 12 - 5 + 109*m - 22*m. Let z be j(3). Is z + -2 + 2 - 1 a prime number?
False
Suppose 0 = 18*r - 24*r + 178302. Is r composite?
False
Suppose -45*o + 44*o + 216 = 0. Let a = 889 - o. Is a a composite number?
False
Suppose 27*p - 79768 = -20530. Is p a composite number?
True
Let t = -48 - -69. Suppose t = o + 4*v, -4*o - v + 17 + 67 = 0. Is o composite?
True
Let w = 36 + -27. Suppose w*r - 123 = 156. Is r composite?
False
Let s(m) = -m**2 - 5*m. Let f be s(-4). Suppose -f*r = -636 - 1336. Is r a prime number?
False
Let g(r) = r**3 - 5*r**2 + r - 11. Suppose 9*x = 14*x - 10. Let k be 7 + 1 + x + 0. Is g(k) a prime number?
True
Suppose -8*x - 44223 = -13*x + 2*t, 5*x - 3*t - 44227 = 0. Is x prime?
False
Let b be 4 + (-658 - (-6 - -2)). Let d = -33 - b. Suppose 2*t - 172 = -3*r + 262, 0 = -3*t + 4*r + d. Is t prime?
True
Let y(q) = -13*q + 44. Suppose -26*a = -30*a - 72. Is y(a) composite?
True
Suppose -2*y - 24 = 3*v - 5*y, -2*v + 9 = 3*y. Let d(j) be the second derivative of -95*j**3/6 + j**2 + 3*j. Is d(v) a prime number?
False
Let c be 0/(2/(-2))*-1. Suppose -6*t + 4*t = c. Suppose i = 3*d + 7, 3*i + 2*d + d - 69 = t. Is i a prime number?
True
Let b = 2694 - -605. Is b composite?
False
Let h be (-12)/(-20) - (-408)/20. Is h*4/24*2 prime?
True
Let z(r) = 11*r**2 + 2*r + 22. Suppose 35 = -4*t - t. Is z(t) a prime number?
True
Suppose u - 274 = 3*x, -4*u - 49 = 2*x + 143. Let o = x - -46. Is (11/22)/((-1)/o) a prime number?
True
Let o = 596 - 357. Suppose 0 = 5*h - 2*i - 1978, -4*h + 3*i + 1059 = -522. Let r = h - o. Is r a prime number?
True
Suppose -5 = w - 7. Suppose 5*t - 5*c + 7 = -28, w*t = -4*c + 16. Is (8/(-8))/(t/398) a composite number?
False
Is 1049*(28/(-70))/(2/(-5)) a prime number?
True
Let i(t) = 16*t**3 + 2*t**2 + 6*t - 11. Is i(4) a prime number?
True
Let q be (-6)/((21/9)/7). Let i(g) = g**3 + 25*g**2 - 9*g + 23. Is i(q) composite?
True
Suppose 4*y = 5*j + 36, y = j + 3*j + 20. Let m = y - 6. Let a = m - -71. Is a prime?
False
Suppose 3*b - 74 = b. Let g = b - -154. Suppose g = -0*d + d + 3*l, 4*d = 3*l + 704. Is d composite?
False
Let n(z) = 670*z**2 + 18*z - 5. Is n(-3) prime?
False
Suppose 17 = a - 3*b + 283, 0 = -3*a - 2*b - 765. Suppose 0 = 4*c + 5*j - 767, c - 2*j + 382 = 3*c. Let r = c - a. Is r a prime number?
False
Let q(t) = 19301*t**2 - 55*t + 107. Is q(2) a prime number?
True
Let q(b) = 2*b**3 - 14*b**2 - 41*b - 32. Is q(14) a prime number?
False
Let m be (138 - 1)*1*(3 + -2). Suppose -3*p - 1335 = -309. Let s = m - p. Is s prime?
True
Let h(z) = -207*z - 31. Let l be 8/(-6)*81/18. Is h(l) composite?
True
Suppose a - 2*a + 26152 = l, -a + 26146 = -l. Is a a prime number?
False
Let g(c) = c**3 + 10*c**2 - 2*c - 16. Let s be g(-10). Suppose -2615 = s*y - 12355. Is y a prime number?
False
Let i be 2/(-3)*(-468)/24. Suppose -i*s - 100 = -17*s. Is s composite?
True
Suppose -2*t - 2*d + 186 + 1596 = 0, 3*d = 4*t - 3592. Suppose 537 = 4*q - q - 2*k, -5*k = 5*q - t. Is q prime?
True
Suppose -4*h = 343 - 1059. Is h composite?
False
Suppose 0*i - 4 = -i. Suppose 0*a + 2*f + 1148 = 4*a, -287 = -a + i*f. Is a composite?
True
Let m(b) = 7*b**3 + b + 1. Let h be m(-1). Let i = 10 + h. Suppose -i*r + 0*r = -33. Is r a prime number?
True
Let r(b) = -14*b + 31. Let i(s) = 5*s - 10. Let p(w) = 17*i(w) + 6*r(w). Let j be p(-13). Let f(c) = c**3 + 2*c**2 + c - 2. Is f(j) a prime number?
False
Suppose -2*n - 4*j = 1041 - 8323, 10902 = 3*n - j. Is n composite?
True
Suppose 112*a + 1503 = 115*a. Is a prime?
False
Suppose -y + 2944 = -2*w - 848, -5*w = -2*y + 7579. Is y composite?
True
Let b = 70 + 267. Suppose -22*g + 5127 = -4157. Suppose b + g = 3*f. Is f composite?
True
Suppose 2*n + 8 = g, 3*g - 20 = 4*n - 0*n. Is (g - (5 - 3)) + 0 - -32 composite?
True
Suppose -3*g = r - 15, -7*g = 4*r - 4*g - 51. Suppose r*d = 4057 + 11771. Is d composite?
False
Let v be ((-13)/2 + -1)*-4. Let x(w) = -6*w**2 + 222*w + 15. Let i be x(37). Is v/i + (189 - 0) a composite number?
False
Let s = 17 + -13. Let u be (-4)/5*(7/2 + -1). Is (u/(-3))/(s/7698) composite?
False
Suppose 4*j + 3*j = 12957. Is j a prime number?
False
Suppose 2*n + 199941 = 23*n. Is n prime?
True
Suppose 10*c + 2*c = 49944. Suppose 5217 = 5*v + 2*y, -4*y = 5*