 prime number?
True
Let a(o) be the first derivative of 37*o**3/3 + o**2/2 - o + 2. Let p be a(1). Is (-3)/3*2 + p composite?
True
Is 1871 - (0 - (-6 + 2)) prime?
True
Is 1/(1650/(-1655) + 1) prime?
True
Let c(w) = -10*w**2 - w. Let j = 2 - 3. Let a be c(j). Let l = a - -16. Is l prime?
True
Suppose 12 = 4*b - 16. Suppose -2*v - 3*p + 682 = 0, b*v - 2*v + p = 1679. Suppose -4*k + v = k. Is k composite?
False
Let m = 1756 + -1037. Is m a prime number?
True
Suppose -2*z + 20 = 3*z. Let l = z - 4. Suppose -2*u = -l*u - 382. Is u prime?
True
Let u = 200 - -87. Is u a prime number?
False
Suppose -3*k = -4*k + 2. Suppose 5*x - 6 = j - 93, k*j + x = 174. Is j composite?
True
Let t be (16/6)/(2/3). Suppose 2*m = 2*b, -b - m - t = -3*m. Suppose 2*k + 3*p - 12 = 49, -b*k + 2*p = -146. Is k a composite number?
True
Suppose 2*f + d = -39, -21 - 4 = 5*d. Let g = 54 + f. Is g a prime number?
True
Suppose -365 = -h - 3*p + 677, -5*h = 4*p - 5210. Is h a prime number?
False
Suppose -67*v - 3747 = -70*v. Is v prime?
True
Suppose -114 = w - 4*w. Suppose -2*h + 192 = w. Is h composite?
True
Let d = -9 - -75. Let v be 3 + (1 - 0/2). Suppose v*j - 5*o - 152 + 20 = 0, 2*j + o - d = 0. Is j a prime number?
False
Suppose -4*p = -3*d + 221 - 1183, -3*d = 6. Suppose 5*z = 5*b + 900, 4*z - p = 5*b + 476. Is z composite?
True
Suppose x + 5*t = 2*x - 25, 29 = 5*x - t. Suppose 3*i - 8 - 19 = 0. Let w = i + x. Is w composite?
True
Let p = -1989 - -2956. Is p composite?
False
Let q(d) = -53*d + 11. Is q(-6) a prime number?
False
Let n be (-1 + 0)/(4/(-428)). Let l = n + -74. Suppose 2*b + b - l = 0. Is b composite?
False
Let w be (40/12 - 3)*0. Is (-49)/(-21)*(111 - w) prime?
False
Let k = -2 - -5. Suppose -k*l + 116 = -7*l. Let g = -10 - l. Is g a composite number?
False
Let h(l) = 6*l**2 - l + 6. Suppose -4*d = 31 - 3. Is h(d) a prime number?
True
Let l = -11 - -16. Let s(i) = i**2 - 5*i + 4. Let z be s(l). Let a(h) = 2*h**3 - 3*h**2 + 3*h + 3. Is a(z) a composite number?
True
Suppose 6*c - 2*c - 48 = 0. Let n(a) = 9 + c - 8 - a**3 + a**2 + 6. Is n(0) a composite number?
False
Let t(j) = -71*j - 38. Let i(s) = 24*s + 13. Let z(w) = 17*i(w) + 6*t(w). Is z(-7) a composite number?
True
Let y = 47 - -20. Is y a prime number?
True
Let j(y) = 29*y**2 - 4*y. Is j(7) composite?
True
Let c(z) = z**3 + 4*z**2 + z. Let m be c(-4). Let n(p) = 6*p**3 + 5*p**2 + 2*p - 4. Let x be n(m). Is (x/(-6))/(8/12) composite?
False
Let k = 23 - 9. Is (-2)/4 - (-329)/k a prime number?
True
Let d = 603 + -272. Is d a prime number?
True
Let x be (-3)/(-6) - (-889)/2. Let a = x - 260. Is a composite?
True
Suppose 0 = -5*v + 2*r + 1647, 3*v - 2*v + 3*r = 343. Is v a composite number?
False
Let t be 10/(-6)*(2 + -5). Suppose -70 = t*j - 200. Is j composite?
True
Is (-4)/2 - (-243 - (2 - 8)) composite?
True
Let f = 13 - 19. Let x be (-4)/f - 4/6. Suppose x*i - 119 = -i. Is i a composite number?
True
Let b(t) = 17*t**2 + 2*t - 22. Is b(9) prime?
True
Suppose 8 = -2*v + 2. Let d(g) = -23*g - 4*g - 2*g - 18*g. Is d(v) prime?
False
Let h(m) = 15*m. Let p be 2 + 2/(1/(-1)). Let d = 1 + p. Is h(d) a composite number?
True
Let t(p) = -4*p**3 + p**2 - p - 1. Let h be t(-1). Let m(k) = -67*k + 1. Let s(w) = -45*w + 1. Let c(o) = h*m(o) - 8*s(o). Is c(4) composite?
False
Let z(u) = -30*u - 3. Let t be z(-3). Suppose y = -20 + t. Is y a composite number?
False
Let w be ((-2)/((-4)/(-6)))/1. Let z(j) = j**2 - 17*j + 13. Let t be z(18). Is 1/(w/(-9)) + t composite?
True
Let y(m) = 2 - 5*m + 3*m + 3*m. Let h be y(0). Suppose 37 = h*j - 5*w, j - 2 = 4*w + 15. Is j a composite number?
True
Let o(w) = -w**2 - 10*w - 6. Let g be o(-9). Suppose 17 = -g*z + 2. Let h = z - -154. Is h a prime number?
True
Is 0 - ((18/3)/3 + -11337) composite?
True
Let s = -368 - -894. Is s a prime number?
False
Suppose -2*l + 2*y - 112 = -304, 2*y = -2*l + 204. Suppose 7*t - 15 = 2*t. Suppose z + 39 = t*z + j, 0 = 5*z + 4*j - l. Is z prime?
True
Is 1/(-5) + 20856/55 prime?
True
Suppose -3*h + 232 + 245 = 0. Is h composite?
True
Let u(s) be the second derivative of -s**4/12 + 8*s**3/3 - 4*s**2 + s. Is u(9) prime?
False
Is 194 + 6/((-2)/1) prime?
True
Suppose -4*o + 0*o + 3*b + 3328 = 0, b - 3312 = -4*o. Is o a prime number?
True
Suppose 5*t - 5*c = -1410, -3*t - 674 = -2*c + 169. Let f = 400 + t. Is f composite?
True
Let v = 2 - -7. Let p(d) = -5*d**3 + 9*d**2 - 9*d + 175. Let w(x) = -x**3 + 2*x**2 - 2*x + 44. Let h(r) = v*w(r) - 2*p(r). Is h(0) prime?
False
Let r(m) = 11 + m**3 + 0*m**3 + 0*m**3 - 2*m**3 - 10*m**2 - m. Let s be r(-10). Suppose y + 7 = s. Is y a composite number?
True
Let r(b) = b**3 + b**2 + 4. Let u be r(0). Suppose -11 = 3*o - u*o. Is o a prime number?
True
Let a be (12/(-8))/((-6)/16). Suppose 459 + 193 = a*f. Is f a composite number?
False
Let f(q) = -19*q + 3. Let h(y) = 38*y - 7. Let k(x) = -5*f(x) - 2*h(x). Is k(2) a composite number?
False
Suppose 0 = 3*m - 9 - 0. Suppose 4*k - 69 = -m*z, -2*k - 63 = -3*z - 4*k. Is z prime?
True
Let g(d) = d**3 + 15*d**2 + 11*d - 8. Is g(-7) a composite number?
False
Let w(h) = -20*h**3 + 3*h**2 - h + 3. Is w(-3) a prime number?
False
Let l(c) = -5*c + 517. Is l(0) a prime number?
False
Let m(b) = b - 8. Let s be m(6). Is (1 - (1 - s)) + 89 prime?
False
Is 422/1*(-3)/(-6) a prime number?
True
Let s(o) = 38*o**3 - o**2 + 2*o - 1. Suppose 3*t - 12 + 3 = 0, -3*q - 12 = -5*t. Let h be s(q). Let f = h + 27. Is f prime?
False
Suppose -2*m + 3*p = -128, 3*m + 2*m - p = 320. Suppose -a = -5, 3*a - 5*a - m = -j. Is j a composite number?
True
Let r be 10/35 + 19/7. Suppose 43 = 3*b + r*s - 8*s, -5*b - 5*s + 85 = 0. Suppose -6 = -2*x + b. Is x composite?
False
Let f be 2/4*(-3 + 3). Suppose -n + 2*n - 329 = f. Is n a composite number?
True
Let m be (-141)/(-1 + 0 - 0). Suppose x + 2*x - m = 0. Is x a composite number?
False
Let g = 1 + -2. Is g*(-2 - -2) + 2 composite?
False
Suppose -4*n + 3132 = -6*y + 4*y, 0 = -4*y + 16. Is n a composite number?
True
Suppose 0*w - 3 = -3*w. Let k = w - -2. Suppose 2*o - 52 = -2*l, 6 = k*l + 21. Is o a prime number?
True
Suppose -2*g - 2*g - 16 = 0. Let d(c) = -2*c**3 - 6*c**2 - 4*c - 2. Is d(g) a prime number?
False
Suppose -2*d + 877 = t + 2*t, 889 = 3*t - d. Is t composite?
True
Let c be 12/(6/4 + 0). Let w(g) be the first derivative of -g**3/3 + 9*g**2/2 + 6*g - 3. Is w(c) a prime number?
False
Let g = -224 + 337. Suppose g = 2*u - 297. Is u prime?
False
Suppose 5*q - 10747 = b, 0*b + 5*b + 4308 = 2*q. Is q a composite number?
True
Suppose 5*x + 4*b - 1722 = 0, -5*b + 336 = x - 0*b. Is x composite?
True
Let a(l) = l**3 - 6*l**2 - 6*l - 7. Let g be a(7). Let u = 0 + 1. Is 118 - (g - 0 - u) prime?
False
Let b be ((-24)/10)/((-4)/30). Is 1632/b - (-1)/3 a prime number?
False
Suppose -4*m + 5413 = -m - 5*k, -m + 1805 = -2*k. Is m a prime number?
True
Suppose -2*x + 114 = x. Suppose 2*i + 4*c - 7 = 29, -i + 3*c = -x. Is i a prime number?
False
Let j = 12 - 26. Let v = -8 - j. Let c(r) = 4*r**2 - 6*r + 7. Is c(v) a prime number?
False
Suppose -6*a = -a - 1535. Is a a composite number?
False
Is (-2 - 0) + (2158 - 3) composite?
False
Let m(n) = 7*n**3 + 3*n**2 + 7*n + 8. Let b(o) = o**3 + o + 1. Let r(t) = 6*b(t) - m(t). Is r(-5) a composite number?
False
Let k(v) = -15*v + 4. Suppose -2*w + 5 = -3*w. Is k(w) a composite number?
False
Let r = 174 + -121. Is r composite?
False
Let n(d) = 36*d**2 + 2*d - 1. Suppose 5*g - 3*g - 16 = -3*y, -g + 15 = 5*y. Suppose -y*m - 5 = -r - m, -4*r = m. Is n(r) composite?
False
Suppose -3*m - 2*f + 16 = 0, -4*m - 1 + 19 = f. Let h be m/(-12)*1*15. Let v = h + 24. Is v a composite number?
False
Suppose 4*c = 8*c - 3076. Is c prime?
True
Suppose 5*w + 693 = g + w, 0 = 2*w - 4. Is g prime?
True
Let p(b) = 11*b**3 + 0*b**2 - 2*b**3 - 8*b**3 - 4*b**2 - 7*b - 1. Is p(8) a composite number?
False
Let z(l) = -5 - l**2 - 4*l**2 + l**3 + 4*l + 4*l. Suppose p + p = -4*q + 34, -1 = -3*p + 4*q. Is z(p) a prime number?
True
Suppose 2*j - 5*j = 0. Suppose j = -0*k - 2*k. Suppose k = 6*v - v + 5*y - 1590, -5*v = 4*y - 1591. Is v composite?
True
Suppose w = 6*w + 25, -3*x = 4*w - 202. Is x a composite number?
True
Suppose c = -5*f + 692, -c - 3*f + 351 = -339. Is c a prime number?
False
Let c(x) = -16*x + 5*x - 1 - x. Let f(h) = 7*h**3 - h. Le