 d - (6 + -6) a prime number?
True
Let f(z) = 3*z**3 + 15*z**2 + 3*z - 25. Let h(a) = -a**3 - 8*a**2 - 2*a + 12. Let q(s) = 2*f(s) + 5*h(s). Suppose -4*i = -0*i - 44. Is q(i) a prime number?
False
Suppose y + 3*j = 7, 3*j - 8 = -2*y - 0*y. Suppose y = n + 4. Is 70 - ((-3 - -7) + n) a prime number?
False
Suppose x - 10 = 5*q, -4*x + 2*q = -3*x - 1. Let g(n) = 8*n**2 - 2*n - 7. Is g(x) prime?
False
Let o be 3390*(8/(-20) - 0). Let g = 4625 - o. Is g composite?
False
Let y(m) = 30*m**2 + 9*m - 2. Let c be y(-7). Let b = c + -488. Is b a composite number?
True
Let l be 4 - (-134)/26 - 4/26. Suppose l*k - 1309 = 2*k. Is k a composite number?
True
Let j be 3/(3/(-2)) - -5. Suppose 2*k = -j*k + 7175. Suppose -3*q - k = -8*q. Is q a composite number?
True
Let c = -1 - 0. Let w = -136 - -135. Is (-154)/w*c/(-2) a composite number?
True
Let f be ((-2458)/(-6))/(2/6). Suppose 0 = -20*z + 19*z + f. Is z prime?
True
Is 14/(-4)*3452/(-14) composite?
False
Let i(n) = -n + 27. Let d be i(-7). Is (-45 + -1)/((-4)/d) prime?
False
Let n(w) = w**3 - 5*w**2 - 6*w + 2. Let s be n(6). Is 18 + (3 + -5)*s a composite number?
True
Let a(t) = 2 + 11*t - 4 + 3 - 13*t. Let w be a(-1). Suppose 5*p - 170 = -5*n, -w*n = -2*n. Is p a composite number?
True
Let i = 9709 + -3896. Is i a composite number?
False
Suppose 10*d - 7*d = 0. Suppose 6*k + 5*k - 19547 = d. Is k a composite number?
False
Suppose 60*y = 61*y - 967. Is y prime?
True
Suppose 7211 = 5*q - 3*m - 4745, 5*q + 2*m - 11946 = 0. Let s = q - -419. Is s a prime number?
False
Let b = -1407 - -2327. Suppose -1123 = -5*j + 4*t, -4*j - t + b = 3*t. Suppose -6*r + 2*r + j = z, 0 = -2*z + 5*r + 402. Is z composite?
False
Let h(x) = -27*x - 18. Let j(n) = -1. Let f(b) = h(b) - 5*j(b). Is f(-6) composite?
False
Let y = 2669 - 1762. Is y prime?
True
Is (-1)/2*(2 - (5 - -3691)) composite?
False
Suppose 4*o - 2*d + 4*d = 28, -2*o + 5*d = 10. Suppose -10*f + 4445 = -o*f. Is f a prime number?
False
Let b(f) be the second derivative of f**5/20 + 11*f**4/12 + 5*f**3/6 + 25*f**2/2 + 18*f. Is b(-9) prime?
False
Let n(i) = -i**3 + 17*i**2 + 9*i - 28. Is n(15) prime?
True
Let u = 6161 + -3300. Is u a composite number?
False
Let z(b) = 3 + 0*b + 0 + 5 - 35*b. Suppose -5*a - 45 = -10. Is z(a) prime?
False
Let z = -24 - -22. Suppose -3*a = -0*a - 23673. Is z/(-3) - a/(-39) composite?
True
Let u be 4/4*(1891 + 2). Suppose u = z + 2*z. Is z a composite number?
False
Let r = 7 - 5. Suppose 0 = -r*n + 117 + 201. Is n composite?
True
Let i = -19922 + 52771. Is i a prime number?
False
Suppose 1675*w = 1657*w + 191790. Is w a prime number?
False
Suppose -3*n = -15 - 15. Let t = -60 + 165. Let h = t + n. Is h a composite number?
True
Suppose 4 = -2*j, 2*j + 44 = 2*a + 3*a. Let o = a + -11. Is -4 - (-40 - (-3)/o) a prime number?
True
Let y(k) = -k**2 - 11*k + 3. Let f be y(-11). Suppose t - 436 = -f*t. Is t composite?
False
Let r = -595 - -917. Suppose -4*b = 8, -2*m + b = -3*b - r. Is m prime?
True
Let t be 2/((-6)/101)*-51. Suppose 905 = 6*r - t. Is r a prime number?
False
Suppose 40*b + 15381 = 49*b. Is b composite?
False
Let a(q) = 2360*q + 3. Let g be a(1). Let x = -1262 + g. Is x a prime number?
False
Let j(z) = 36*z**2 + 29*z - 7. Let s be j(7). Suppose 2480 = -5*c + t, -3*t + 7*t = 4*c + 2000. Let d = c + s. Is d prime?
False
Suppose 11*i = 6*i + 10. Let m(f) = 13*f**2 - 2*f + 3. Is m(i) prime?
False
Is 1*(-42885)/(-3) - 2 prime?
True
Let g(l) = 2*l**2 + 2 + 3*l**2 + 3 + 4. Is g(7) prime?
False
Suppose -x = 9*x - 90. Suppose x*n - 6*n = 4209. Is n prime?
False
Suppose -6894 = -4*l + 5*a, 3*l + 6*a = 7*a + 5165. Is l a composite number?
False
Suppose 11*s = 6*s + 62285. Is s a prime number?
True
Let u(v) = -v**2 - 47*v + 25. Let s = 35 - 51. Is u(s) a prime number?
True
Let z(m) = -8*m**3 - 3*m**2 - 3. Let u be z(-3). Let i = u - -5. Is i prime?
True
Let k be (-3 - (-2 + -6)) + -3. Let a(f) = -2*f**k - 5 - 13*f + f**2 + 0*f**2. Is a(-7) prime?
True
Let m = 16 + -13. Suppose 3*d + 24 = r - m*r, -5*r = 2*d + 38. Is r/3 + (2 - -673) composite?
False
Let p(g) = 215*g**2 + 3*g - 19. Is p(4) prime?
True
Suppose 2*o = 1643 - 531. Let y = o + -362. Is y a prime number?
False
Let n(q) = 1342*q + 19. Is n(3) a prime number?
False
Let n(x) = 0*x - 4*x + 0*x + 1 + 214*x**2. Is n(-2) a prime number?
False
Suppose 3*o + 4*j = 0, 3*o + 2*o + 2*j = 0. Let q be (-2 - (-16)/12)*-69. Suppose -2*w - k + q = k, -3*w + 4*k + 69 = o. Is w prime?
True
Let q(l) = 10*l**2 - 3. Let w = 0 + 3. Suppose g + 33 = -2*f + 6*g, 0 = -4*f + w*g - 31. Is q(f) a composite number?
False
Suppose 6 = -2*l, m + 2*l - l + 3 = 0. Suppose m = 112*a - 116*a + 2212. Is a prime?
False
Let g(b) = -10261*b**3 - 10*b**2 - 4*b - 1. Is g(-2) prime?
False
Suppose 21*n - 29926 = -5*n. Is n composite?
False
Let h(x) = x**3 + 3*x**2 + 12*x - 3. Is h(11) a prime number?
True
Let y = -2541 - -5704. Is y a composite number?
False
Let p = 116 + -112. Suppose -2*f + 5*r = -0*f - 289, p*f + 3*r = 643. Is f composite?
False
Let n(q) = 2*q**2 + 16*q - 5. Let c be n(-9). Suppose s - c = -3*z, -2*z + 2*s + s + 27 = 0. Suppose 0 = z*g - 0*g - 42. Is g composite?
False
Let g = 12 - 4. Suppose 556 = -g*m + 12*m. Is m a composite number?
False
Let u be (36/8)/(3/748). Let d = u + -748. Suppose 0*v - d = -2*v. Is v a prime number?
False
Suppose -14 = -4*o - 18, 5*l + 5*o - 53540 = 0. Is l a composite number?
False
Suppose 0 = 3*d + 2*x - 32501, -43316 = -4*d - 0*x + 2*x. Is d a prime number?
True
Let m(y) be the second derivative of -13*y**3/2 - 11*y**2 - 5*y. Is m(-7) a prime number?
True
Suppose -h - 8 = 4*y - 5*h, 3 = -h. Is y/(-15) - 4096/(-6) prime?
True
Suppose -3*t - 5*g = -29225, 2*g + 9749 = -93*t + 94*t. Is t prime?
False
Let l(v) = 7*v**3 + 5*v**2 + 11*v - 5. Let d be l(8). Let g = d + -908. Is g prime?
True
Let k = -2539 + 5546. Is k composite?
True
Suppose 19*j = 1064119 - 254282. Is j a composite number?
True
Let g = 6074 - 2869. Is g a prime number?
False
Let p = -36 + 42. Is (p - 1)/((-2)/(-422) - 0) a prime number?
False
Let p = 5253 + -2497. Suppose 3410 = 3*h - c - 729, 0 = -2*h - c + p. Is h prime?
False
Let q(p) = -8 + 2*p**2 - 13*p - 18*p**3 + 22*p**3 + 0. Is q(9) composite?
False
Let v(r) = -r**2 + 6*r - 7. Let w(a) = a**2 + 2*a + 2. Let j be w(-3). Let o be v(j). Is (o - 0)*(-2453)/22 a composite number?
False
Is -20714*(20/8 - 3) a composite number?
False
Let y(i) = -6*i - 4. Let c be y(-3). Let r = -11 + c. Suppose 6*d + r*g - 1019 = d, -3*d + g = -617. Is d a prime number?
False
Let h be (126/35)/(3/1270). Suppose -14*r - h = -18*r. Is r prime?
False
Let f(v) = 8*v**2 - 7*v - 4. Let i be f(17). Let b = i + -1540. Is b a composite number?
True
Let c(o) be the third derivative of 1/120*o**6 - 2/15*o**5 + 0 - 5/6*o**3 + 0*o + 3/8*o**4 - 9*o**2. Is c(8) a prime number?
True
Suppose u = -4*o - 3*u + 8, -2*o = u - 1. Let v be (o/(-2))/(2/(-116)). Let x = 114 + v. Is x prime?
False
Suppose 4*g + 0*g = 12. Suppose -3*j = -g*m + 18, -3*m + j + 23 = 9. Is m/10 - (-723)/5 a composite number?
True
Let g(t) = -t**3 - 33*t**2 + 17*t + 14. Is g(-37) composite?
False
Let f(l) = 2*l + 589. Let c be f(0). Let k = -411 + c. Is k a composite number?
True
Is -4*(-3)/(-24) - (-1518)/4 prime?
True
Let k(t) = -t**2 - 5*t - 2. Let q be k(-4). Suppose -554 = -q*u + 210. Suppose 2*s = -0*s + u. Is s prime?
True
Let l = -28 + 31. Suppose -169 = -l*y + 2*f + 3*f, -3*y = 5*f - 179. Is y prime?
False
Let a(l) = 10*l**2 + l - 20. Let w(h) = 3*h**2 - 7. Let o(f) = 3*a(f) - 8*w(f). Let p be (6/(-2))/(3/(-3)). Is o(p) a prime number?
True
Let m(x) = -2*x**3 - 2*x**2 - x - 2. Suppose -2*l = -l + 12. Let s = 9 + l. Is m(s) prime?
True
Suppose 2*d - 40 = -4*w, -5*w + 57 = 2*d + 8. Suppose w*p - 4*p - 10 = 0. Suppose -p*n - 385 = -7*n. Is n composite?
True
Suppose 0 = -4*q - 3*r + 16, -6*q + 5*q - 4*r + 4 = 0. Suppose 0 = q*s - 3*j + 287 - 1957, 0 = 3*s + 2*j - 1244. Let p = 639 - s. Is p composite?
False
Let j(s) = s**2 - 7*s + 1. Suppose -28 = -5*c + c. Let w be j(c). Is 1*(114 + 0) - w composite?
False
Let z(y) = 2452*y**2 - 7*y + 4. Is z(3) prime?
True
Let d = 10 + -6. Let p = d - 6. Is 0 + 3 + 162 + p a composite number?
False
Let i = -3614 - -10245. Is i prime?
False
Let c = -31 - -31. Suppose c = 4*h - 683 - 3