 + 4*w + l = -51, 3*x - 3*w = 774. Is x a prime number?
False
Let p(s) be the first derivative of s**2 + 2. Let f be p(3). Suppose b = f*b - 345. Is b prime?
False
Suppose 0 = 2*m + 2*m. Suppose -v = 2*j - 1 - 11, m = -5*j + 3*v + 30. Is (-2)/(-3) - (-146)/j composite?
True
Let m(f) = f**2 + f + 3. Let b be m(0). Let r(p) = 9*p**2 + 4*p + 1. Is r(b) prime?
False
Let c(g) = -66*g**3 + 3*g**2 - 7*g - 5. Let l(d) = 197*d**3 - 9*d**2 + 20*d + 14. Let f(o) = 17*c(o) + 6*l(o). Is f(2) prime?
False
Suppose -5*h + 340 = -0*h. Let p = h + -37. Is p a prime number?
True
Let o be (-2)/(-5) - (-1252)/20. Suppose 4*b = 5*x - b - 405, -x - 5*b = -o. Suppose 0*v + x = 2*v. Is v prime?
False
Suppose -5*d - 3*n = -4274, 429 - 3832 = -4*d + 3*n. Is d prime?
True
Let g(d) = d + 1. Let l be g(1). Is (-4 + l)*194/(-4) prime?
True
Let d be 8*(1 - 6/2). Is 134*(-4)/d*2 composite?
False
Suppose -3*s - 4 = -22. Suppose -2*p + s = -3*w + p, 2 = p. Suppose -q + 23 = -w*q. Is q prime?
True
Let f be 7 + (-4)/(-3 + 1). Suppose 15 = -5*g - 5*w, f = g - 0*g + 5*w. Is g/27 + 382/18 a prime number?
False
Let z(k) be the third derivative of -13*k**6/120 - k**5/20 - k**4/8 - k**3/2 - 3*k**2. Is z(-2) a prime number?
False
Let g(h) = -52*h - 1. Let l(d) = d - 13. Let u be l(8). Let s be g(u). Let c = 386 - s. Is c composite?
False
Let z(u) be the second derivative of -1/2*u**2 - 2*u + 0 - 3/2*u**3 - 1/12*u**4. Is z(-7) a prime number?
True
Let z be (-14*1)/(5 + -4). Let q = 21 - z. Is q prime?
False
Suppose -5*n + 22 = -k + 2, -4*n + k = -16. Suppose 410 = n*d - 2*d. Is d prime?
False
Let x(o) = o**3 + 2*o**2 - 4*o - 1. Let t be x(-3). Is (-4)/8*(-626 - t) a prime number?
False
Suppose 3*i = -5*j + 408, 3*i = -j + 55 + 17. Suppose k = -3*k + j. Is k composite?
True
Suppose -2*u = -0*u - 318. Suppose -3*w + u = -0*w. Is w a composite number?
False
Is -2*2/12*-2361 prime?
True
Suppose 0 = -i - 0*i + 390. Suppose k - i = -71. Suppose 0 = -5*f + 76 + k. Is f prime?
True
Let t = -8 + 6. Is 978/15 + t/10 prime?
False
Suppose 9570 = m + 4*m. Let x = m + -1117. Is x prime?
True
Let l(g) = -g**3 - 6*g**2 + 8*g - 5. Let x be l(-6). Let a = -20 - x. Suppose -5*q + 278 = a. Is q composite?
True
Suppose 11*y - 10*y = 85. Is y composite?
True
Let n be 1*0/2*1. Let m(z) = -2*z - 9. Let f be m(-6). Suppose -275 = -5*g + 2*u, u - 165 = -f*g - n*u. Is g composite?
True
Let o be (-2 - -4)/(5/10). Suppose 5*m = 4*x - 824, x + o*x - 3*m = 1017. Is x prime?
False
Let t(c) = 11*c**2 + c - 11. Is t(-7) a prime number?
True
Suppose 1 - 3 = -t. Suppose -t*z - 5 = -179. Is z prime?
False
Let i = 3762 - 2632. Suppose 0 = 4*z - 5*u - 1649 - i, -4*z + 4*u = -2784. Is z a composite number?
False
Suppose 2*l + 1052 = 5*g - 2107, -623 = -g - 4*l. Is g prime?
True
Let c be (-4 + 2)/((-2)/3). Suppose -4*k = -5*f + 31 - 298, 0 = c*k - f - 203. Is (-231)/(-14)*k/6 prime?
False
Let w(f) = -f**3 - 7*f**2 - 7*f - 1. Let b be w(-6). Let r be (1470/4)/b*-2. Is 2/6*r/(-1) a prime number?
False
Suppose 0 = -7*a + 9044 + 2415. Is a composite?
False
Suppose 0 = 2*m + 1 - 5. Suppose -344 = -0*z + m*z. Let l = -93 - z. Is l a prime number?
True
Let o(w) = -w**2 - 7*w + 6. Let r be o(-7). Suppose -3*c + 6 = -r. Is ((-42)/c)/(3/(-6)) prime?
False
Suppose 3666 = 5*z - 8939. Is z composite?
False
Suppose 0 = -2*r - 94 + 528. Is r a prime number?
False
Let g(m) = -m - 8. Let o be g(0). Let h = o + 4. Let r(z) = 3*z**2 + 4*z + 3. Is r(h) a composite number?
True
Suppose 0 = k - 64 - 5. Is k a composite number?
True
Let h(d) = -d**3 - 4*d**2 + 6*d + 7. Let w = -14 + 8. Is h(w) a prime number?
True
Let s(a) = 14*a**2 - 6*a + 21. Is s(10) a prime number?
True
Let r be (5 - 0)*(-156)/(-10). Suppose 5*n = 2*w - r, -5*w + 117 = -2*w - n. Is w prime?
False
Let n be 0 - -1 - (6 - 46). Suppose 5*y + 0*y - 395 = 0. Let w = y - n. Is w prime?
False
Let u = 1908 + -1169. Suppose 0 = -h - 2*y + u, h + 2*h - 2206 = 5*y. Is h composite?
True
Let v = -58 - -80. Is v prime?
False
Let v(n) = -n**3 + 5*n**2 + 2*n - 3. Let r be v(5). Suppose -5*a - 3*p + 20 = -r*p, -3*a + 2*p + 12 = 0. Suppose a*h - 338 - 138 = 0. Is h a prime number?
False
Let g(i) = -2*i + 4. Let y be g(5). Is 4/y + 359/3 a prime number?
False
Let a(j) = j**2 - 5*j + 2. Let v be a(4). Is v*(1 - (-339)/(-6)) a prime number?
False
Let j = 1916 + 1539. Is j composite?
True
Let w(x) = -3*x - 3. Let t be w(-2). Let y(u) = -3*u + u**t + 0*u - u**2 + 3 + u**3. Is y(3) a prime number?
False
Let z(h) = -h**2 - 4*h + 7. Let r be z(-5). Suppose 5*s = r*k + 665, 123 = -4*s + 3*k + 655. Is s composite?
True
Suppose 0 = 7*v - 421 - 146. Suppose r - f = v, r - 43 = -4*f + 58. Is r a prime number?
False
Let u be (20/(-8))/(2/4). Let w(s) = s**3 + 4*s**2 - 5*s + 4. Let h be w(u). Suppose f = 2, 4*v - h*f + 5*f = 270. Is v prime?
True
Let g(j) = 269*j**2. Let d be 3/2 - 20/8. Let l be g(d). Suppose h + 2*o - 93 = 0, 4*h + o = h + l. Is h composite?
False
Let d = -27 - -1412. Is d prime?
False
Suppose 0 = 3*z - 7 - 11. Let c(m) = m - 89. Let p(y) = -y + 89. Let a(b) = z*p(b) + 5*c(b). Is a(0) composite?
False
Suppose 0 = -2*v + 3*v + 46. Is 18/(-12)*v/3 composite?
False
Let a(m) = -9*m - 5. Let q(o) = -o**2 - o + 2. Let i be ((-6)/8)/(4/16). Let d be q(i). Is a(d) a composite number?
False
Suppose -2*u - 280 = 2*u. Let z = -47 - u. Is z a composite number?
False
Let z be 499/7 + 2/(-7). Suppose -5 + 108 = 3*g - 2*j, 2*g = -j + z. Suppose -3*w - 2*w + g = 0. Is w prime?
True
Let d(f) = 3*f - 3. Suppose 2*p = 3*r + 23, -2*p + 5*r + 13 = 4*r. Let g be d(p). Is 94/3 - 3/g composite?
False
Let o(i) = i + 6. Let y be o(-7). Is (1227/3 - y) + -1 composite?
False
Let v(l) = 7*l**3 - 2*l**2 + 7*l + 9. Is v(5) prime?
False
Let a(d) = -4*d + 9*d**2 + 8*d + 12 + d**3 - 3. Is a(-7) composite?
False
Let r = 129 + -83. Is r a composite number?
True
Suppose -5*k = -2*k - 3. Suppose 0*n + 2*f = n + k, -4*n + f + 10 = 0. Suppose 2*u - 42 = 3*i - i, 5*u - n*i - 105 = 0. Is u prime?
False
Suppose -3 = -2*t + 1. Suppose 6 = -0*b + t*b. Suppose -5*o + p + 51 = -p, b*o - 2*p - 33 = 0. Is o prime?
False
Suppose -3*y - y = -24. Let p(i) = -2*i - 3. Let g be p(y). Is (g/6)/(3/(-66)) prime?
False
Let j be ((-470)/(-4) + 3)*4. Suppose 73 + j = 5*k. Is k a composite number?
True
Suppose 0 = 7*f - 12*f + 690. Let x = f + -43. Is x prime?
False
Let b be (-1)/((-42)/2088) - 4/(-14). Suppose -5*g - i - 79 = -3*i, -4*g - 3*i - 77 = 0. Let z = g + b. Is z composite?
True
Suppose 939 = 4*u - 625. Is u a composite number?
True
Let u be (-1)/3 - (-21)/9. Is (u - 6) + (-210)/(-6) a composite number?
False
Let t(k) = -3*k**2 - 2*k - 6. Let h(q) = q**2 - 8*q - 14. Let i be h(10). Let g be t(i). Let l = g - -211. Is l a prime number?
False
Let n = 175 - -291. Is n a composite number?
True
Is 4/10 + 5586/10 a composite number?
True
Suppose -4*y = -8*y - 12. Let f(u) be the third derivative of 13*u**5/30 + 5*u**4/24 + 2*u**3/3 - u**2. Is f(y) prime?
True
Suppose -3*t - 2*t = 0. Suppose t = -5*d + 5*m + 3055, -2*d = -3*m + 627 - 1851. Suppose -4*i + i = -d. Is i a prime number?
False
Suppose -o = 5*y + 52 - 1, -2*y - 240 = 4*o. Suppose 3*g - 309 = -15. Let a = o + g. Is a a prime number?
True
Let f = 5 - 11. Let n be 0/(f/3) + 4. Let z = 3 + n. Is z composite?
False
Let w(b) = -5*b**2 - 6*b + 7. Let i(p) = -14*p**2 - 3*p - 14*p + 10 - 6 + 16. Let k(v) = -4*i(v) + 11*w(v). Is k(-6) prime?
False
Is 3/6*(237 + 1) a prime number?
False
Suppose -3 = 3*k - 9. Let f = 4 - k. Suppose -f*q + q = -89. Is q prime?
True
Suppose -4*g - 3*v + 61 = 0, 5*g - 46 = -4*v + 31. Suppose 0 = 4*j - g + 1. Suppose -5*s + j*s = -20. Is s a composite number?
True
Let r = 13 + -6. Suppose -4*x + 2*i - 46 = 0, x = 5*i - r - 0. Let d = x - -35. Is d a composite number?
False
Let a(l) = -7*l**2 - 17*l + 3*l**2 - 13 + 3*l**2. Suppose 23 = -3*p - 10. Is a(p) composite?
False
Let y be 1/(-7) + 12654/(-63). Is y/((-12)/4) + 0 a prime number?
True
Let k = -2 + 3. Suppose 5 = -5*s, 0*s + 2*s - 19 = -3*d. Suppose -x + d = k. Is x a prime number?
False
Suppose 71 = -5*o - 14. Let f = 36 + o. Is f composite?
False
Is (-1085 - (-3)/1)/(-2) composite?
False
Let g(l) = -l**2 - l. Let s(t) = -7*t**2 - 5*t - 19. Let a(f) = 6*g(f) - s(f). Let y be a(0). Is y + 2 + -1 - -1 a composite n