 p = 15 - 10. Suppose 5*y = 5*q - 26 + 6, -4*q + 18 = -p*y. Is 0 + q - 1*-113 composite?
True
Let q(u) = u**3 - u**2 - u + 1657. Is q(0) prime?
True
Is (2 - (-45)/(-20)) + (-9066)/(-8) prime?
False
Let z = 40 + -137. Let l be 1 + -2 + 3 - z. Suppose 3*g - 6 = l. Is g composite?
True
Suppose m + 3*q - 1663 = -0*q, q - 3306 = -2*m. Is m a prime number?
False
Let t(u) = u - 4. Let h be t(6). Let j(a) = a - 2. Let w be j(h). Suppose -3*d - s + 4*s + 42 = w, -2*d + 27 = -3*s. Is d a composite number?
True
Let o(m) = 23*m**2 + 2*m - 1. Suppose -a - 3 + 0 = -2*f, 3*a - 7 = -2*f. Let g be o(a). Let d = g - 10. Is d prime?
False
Let m be 1*-2 + 4/2. Suppose m = -10*x + 8*x + 124. Is x prime?
False
Suppose 8*p + 22381 - 64341 = 0. Is p a prime number?
False
Let m be (6/8)/(3/72). Let a be (m/(-8))/(1/12). Let x = 10 - a. Is x prime?
True
Let m(v) = -39*v - 4. Is m(-5) a prime number?
True
Let d(u) = 2*u**3 - 7*u**2 + u - 4. Let q be d(5). Suppose q = -5*g + 261. Is g composite?
False
Let y(c) = c**2 + 6*c + 4. Let b be y(-5). Let q be 3/(-3) + (b - 0). Is (q - 0)*70/(-4) a composite number?
True
Suppose -6*d + 2*d + 8 = 0. Suppose d*k = k + 445. Is k a prime number?
False
Suppose 4*s = 4, 5*s = 5*x + s - 3151. Is x prime?
True
Let p(w) = -w**3 + 3*w**2 + w - 3. Let f be p(4). Let c be ((-6)/f)/(2/(-10)). Is (18/12)/(c/(-12)) a composite number?
True
Suppose -5*r + 13*r = 2584. Is r prime?
False
Let r be -2*((-1)/1)/(-2). Is r/2*53*-2 composite?
False
Let u(y) = y + 3. Let h be u(-3). Suppose 10 = q - h*q. Is q composite?
True
Let r(g) = 3*g**2 + g + 2. Let q be 6*((-4)/(-8) + -1). Is r(q) a prime number?
False
Let q(d) = d**3 - 13*d**2 + 2. Let n be q(13). Suppose 3*t - 5*s = 149, -2*t - n*s = -4*s - 102. Is t prime?
True
Let v = -1 - -3. Let y(r) = -6 - 11*r**v - 7*r**3 - 13 + 8*r**3 + 18*r. Is y(13) composite?
True
Let l(i) = 28*i**3 - 3*i + 1. Is l(2) composite?
True
Suppose -4*r + 9*r - 10 = 0. Suppose 0 = -3*o - w + 107, -66 = -r*o + 2*w + 16. Is o composite?
False
Let h be 9 - 0 - (-2 - 2). Let c = 40 + h. Is c composite?
False
Let s be 40/22 - 2/(-11). Let c = s + 31. Is c composite?
True
Let s(x) = 539*x + 2. Is s(1) a composite number?
False
Suppose -o = -3*s - 2*s - 9, 12 = 2*o - 4*s. Suppose 0 = o*m - 3*m - 2. Is m prime?
True
Let j(a) = -a**3 - 9*a**2 + 9*a. Let l be j(-10). Suppose 0 - l = -2*n. Let x(k) = 4*k - 6. Is x(n) a prime number?
False
Suppose 0 = 3*k - t + 64, t - 2*t + 41 = -2*k. Let a = -4 - k. Is a prime?
True
Let t be 3/6 + (-19)/(-2). Suppose 2*n - t = -0. Suppose 15 = d + n. Is d a composite number?
True
Let f(q) = -6*q + 5. Let c = 0 + -8. Is f(c) a prime number?
True
Suppose -5*c - 11 = -1. Is 116/16 - c/(-8) prime?
True
Let i = -260 + 456. Let r be 279 - (1 - (-1 + 2)). Let j = r - i. Is j prime?
True
Let s(b) be the second derivative of -b**3/6 + 11*b**2/2 - 3*b. Let w be 56/6 + 1/(-3). Is s(w) a composite number?
False
Suppose 6*d - 7*d + 177 = 0. Suppose 0 = -h + 4*i + 59, -3*h + i = 6*i - d. Is h a prime number?
True
Let d(b) be the third derivative of b**8/10080 + b**7/504 + 7*b**6/720 + b**5/30 + 3*b**2. Let w(a) be the third derivative of d(a). Is w(-7) composite?
True
Suppose 154 = -5*u + 7*u. Is u composite?
True
Suppose 2*c + 702 = 2528. Is c prime?
False
Let c(l) = 2*l + 1. Let w be c(-2). Let t = w + 5. Suppose 10 = t*u - 16. Is u prime?
True
Suppose -3*y = 5*q - 13, q - y + 3 = 2*q. Let m = q + -2. Suppose 4*a = -m*a + 596. Is a composite?
False
Let u(g) = g + 2. Let k be u(-2). Suppose 0*c = -c + 2*f + 224, 5*c + 2*f - 1108 = k. Is (4/(-6))/((-4)/c) a prime number?
True
Suppose 0*w = 3*w. Suppose w = -4*o - 1 + 9. Suppose v - 33 = -2*b, o*v - 16 = 5*b + 59. Is v a prime number?
False
Let k = -661 + 379. Is k/(-8) + 1/(-4) a composite number?
True
Let v(u) = u**3 + 5*u**2 - 6*u - 4. Let s(a) = a**3 + 5*a**2 - 6*a - 4. Let c(g) = -3*s(g) + 2*v(g). Let k be c(-6). Is (7/k)/(5/60) prime?
False
Let z = 4 - -5. Suppose -6 = -2*u - 26. Let s = z - u. Is s composite?
False
Let w = 260 + -898. Let h = -1356 - w. Is (-4)/6 - h/6 prime?
False
Is 6/(-12) - (-417)/6 prime?
False
Suppose o = 6*o. Suppose -3*x + 2*x + 5 = o, 4*f - x - 31 = 0. Is f a prime number?
False
Suppose 2314 = 4*g - 466. Is g prime?
False
Let q(j) = -j**3 - 9*j**2 + 5*j + 5. Is q(-10) a prime number?
False
Suppose -12936 = -3*c - 4815. Is c prime?
True
Suppose 5*a - 4349 = -2*x, a + 9*x - 879 = 4*x. Is a a prime number?
False
Suppose 3*d - 193 + 7 = 0. Is d composite?
True
Let z = 19 - -1348. Is z a prime number?
True
Let b = 1134 + -452. Suppose 0*d + 4*d - 12 = 0. Suppose -d*l = 49 - b. Is l a composite number?
False
Let a(p) = 3*p**2 - 2*p + 1. Let i be a(1). Let v be (-24)/(-5) + 2/10. Suppose -i*n = v*y - 33, n + 5*y = 3*y + 14. Is n a composite number?
True
Suppose -4*h + 3*t + 11 = 1, -h = -2*t - 5. Let p(i) = 22*i**3 - 1 - i**2 + 4*i**3 + 2 - i**2. Is p(h) a prime number?
False
Let y(v) = -3*v**3 - v**2 - 3*v - 2. Suppose -4*r = -3*r - 3. Suppose -c + 2*c = -r. Is y(c) a prime number?
True
Suppose o + 3*o = 3756. Is o a prime number?
False
Let s(l) = -l**2 - 12*l - 15. Let y be s(-10). Suppose -6*j + 157 = -y*j. Is j a prime number?
True
Let b(u) = -u**3 - 6*u**2 + 7*u + 5. Let p be b(-7). Suppose -p*n = -2*n - 33. Is n a composite number?
False
Let o be (2/4)/((-2)/(-4)). Is (-373)/((-4)/4)*o a prime number?
True
Let n be (-492)/(-5) - (-2)/(-5). Suppose -n = -r + l + 32, -r - 3*l + 142 = 0. Is r composite?
True
Let s = -321 - -548. Suppose 0*h - 2*l = -3*h + s, -5*h + 4*l = -377. Is h prime?
False
Suppose -30 + 10 = -4*y. Let l(o) = o**2 + 3*o + 7. Is l(y) a composite number?
False
Let d = 71 - 28. Let p = d - -36. Is p prime?
True
Let f = 350 + -225. Let b = f - -92. Is b a composite number?
True
Suppose 4*h - 5*j = 907, 3*j - 2*j = 5*h - 1118. Is h a composite number?
False
Let b(y) = 8*y**2 + 6*y + 19. Is b(-11) composite?
True
Let l(c) = -6 - c + 14*c - 3*c. Is l(4) composite?
True
Let x(i) = -3*i + 33*i**2 + 3 - i + 0*i. Let n = -28 - -30. Is x(n) prime?
True
Let f(r) = 6*r + 3 - 3*r + 2*r**2 + 7*r. Is f(-7) prime?
True
Let x(v) = 6*v**2 - v - 1. Let s be x(-1). Suppose s = 4*p - 2. Suppose -k + p*k - 35 = 0. Is k prime?
False
Suppose 3*z - b - 1764 = 0, 0*z - 4*b + 575 = z. Is z composite?
False
Suppose 0 = 5*x - 4*x - 418. Suppose 0 = 3*i - x + 127. Is i composite?
False
Let y(v) = v**3 + 12*v**2 + 6*v - 7. Is y(-8) composite?
True
Suppose -36 = 3*a - 6*a. Suppose h - 132 = a. Suppose 2*z = h - 34. Is z composite?
True
Let n(k) = k**2 + 8*k - 6. Is n(15) a prime number?
False
Suppose 0*i - 2*i = -782. Is i prime?
False
Suppose 0 = k - 3, 4 = h - 3*k - 15. Let w = -5 - h. Let y = 66 + w. Is y composite?
True
Is 0 + -1 + (-4 - -4*276) a composite number?
True
Let s = -29 + 12. Let d = -6 - s. Is d prime?
True
Let h(l) = 46*l - 1. Is h(2) prime?
False
Suppose -4*g - 825 + 3379 = 5*m, -2*g - 5*m = -1272. Is g a prime number?
True
Suppose -6*i = 4*c - i - 5003, 3*c + i - 3744 = 0. Is c a prime number?
False
Let c(q) = -22*q - 1. Let r be c(-1). Is 770/r - (-1)/3 prime?
True
Suppose -l = 2*z - 123, 2*z = 5*l - 257 - 382. Is l composite?
False
Suppose -4*d + 148 = 3*l, -5*d + 80 + 116 = 4*l. Let y = l + 38. Is y prime?
False
Suppose -2*g + 1384 = 2*g. Is g composite?
True
Let m(w) = -2*w**2 - 26*w + 10. Is m(-12) a composite number?
True
Let l = -4 + 8. Let d be 2 - 1*l*-2. Is (-2)/(-10) + 108/d prime?
True
Let u be (-7)/(-5) + (-2)/5. Let n be (-3)/(2 + u) + 1. Suppose n = -w - 3 + 13. Is w prime?
False
Let v(t) = 18*t + 7. Let b(s) = 19*s + 8. Let k(u) = -4*b(u) + 5*v(u). Let d be (-38)/(-6) - 1/3. Is k(d) a prime number?
False
Let p(z) = z**3 + 7*z**2 - 10*z - 11. Let y be p(-8). Suppose 9 = y*i - 6, -4*j + 4*i = 12. Is (2 - 22/(-2)) + j a composite number?
False
Is -3 - 2*(-95 - 2) prime?
True
Let p(s) = 128*s - 5. Is p(23) prime?
True
Suppose 9*t = 145 + 53. Is t prime?
False
Let l be (2 - (-2 - -5))*-1. Let m(f) = f**2 - 13*f + 13. Let p be m(12). Is l - 13*-3 - p a prime number?
False
Let g be 12/3*3/(-4). Let c(f) = -4*f + 7. Is c(g) prime?
True
Let q(h) = -h - 7. Let d be q(-9). Suppose -128 = -2*b - 2*j, 2*j + d = j. Is (2 - b/(-4))*2 prime?
True
Is ((-9402)/12 + 4)*-2 a prime number?
True
Suppose -b - 3*b = -12. Suppose 5*o