p) a prime number?
True
Is (-2)/4 + (-1938)/(-24)*2 a prime number?
False
Suppose -6 = -2*p + 8. Suppose -2*k = -5*l - 24, -3*k + 42 = -5*l - p*k. Is ((-3)/l)/(1/68) a composite number?
True
Let a = -1 + 38. Suppose -y + a = 12. Is y composite?
True
Is (-3 - -4) + 4/2 - -146 prime?
True
Suppose 5*y = -2*w + 319, -2*y + 3 - 1 = 0. Is w a prime number?
True
Let p = 44 - 26. Let b(f) = 8*f**2 - 9*f + 11. Let d(t) = t**2 - t + 1. Let q(i) = p*d(i) - 2*b(i). Is q(3) composite?
True
Suppose 0 = -3*b + 9. Suppose y = -b*y + 140. Suppose 3*k - 111 = 3*i, 2*k = 4*i - y + 117. Is k composite?
True
Let x(y) = 2*y. Let w be x(-1). Let c = w - -2. Is 10/(1 - c) + 1 a prime number?
True
Let s = 2 + 4. Suppose 0 = s*k - 2*k + 5*m - 233, 61 = k + 4*m. Is k a prime number?
False
Let h = 7 - 3. Suppose -4*u + 623 = 5*m, u - 6*u = -h*m + 523. Is m prime?
True
Let l = 6 - 4. Let a = l - -2. Suppose -c - 6 = -a*c. Is c a prime number?
True
Suppose 10 = -2*v - 4*c, -2*v + 13 = -3*v - 4*c. Suppose -3*o + 55 = 2*u, -u + 4*o - v*o + 40 = 0. Is u composite?
True
Let g(p) = 31*p - 2. Suppose -3*n + o = -29, -3*o - 51 = -n - 4*n. Suppose i + 2*i = n. Is g(i) a prime number?
False
Let y(q) = 6*q**2 + 2*q - 1. Let l be y(1). Suppose 0 = -s - 4 - l. Is (-16)/(-88) - 1769/s prime?
False
Let d = 8 - 6. Suppose -4*a - 3*j + 2*j + 32 = 0, -2*a - d = -4*j. Is a prime?
True
Let t(g) = 52*g - 3. Let y(b) = 104*b - 7. Let d(i) = -7*t(i) + 4*y(i). Is d(4) prime?
False
Let o = 550 - -339. Is o composite?
True
Suppose 5*n = n + 4. Let x(t) = 94*t**2 + t. Is x(n) composite?
True
Suppose 3810 = -2*b + 8*b. Suppose 4*z + 6 = -3*p + 16, -3*z = -2*p + 18. Suppose h + b = p*h. Is h prime?
True
Suppose -3*i - 2*i = 435. Let n = 178 + i. Is n composite?
True
Let i be -1 + (-3)/(9/(-30)). Let t(c) be the first derivative of c**3/3 - 9*c**2/2 + 13*c - 1. Is t(i) a prime number?
True
Suppose 0 = 6*u - 5*u - 163. Is u a prime number?
True
Suppose 2*s + 4*c - 26 = 0, -3 = -5*s + 2*c + 2. Suppose -10 = -s*n - 4. Suppose n*d + 373 = 2*g + d, 0 = 5*g - d - 928. Is g a composite number?
True
Let y(b) = 2*b**2 - 5*b + 5. Let n = 9 + -6. Suppose 0 = k + x - 9, -k + n = k - 3*x. Is y(k) prime?
True
Is -4 + 22*(-54)/(-4) prime?
True
Suppose c + 946 = 3*c. Is c a prime number?
False
Let a be 30/(-4)*16/(-10). Suppose -t = 2*t + a. Is (-2)/t - 41/(-2) composite?
True
Let f(i) = i**2 + i - 1. Let a(h) = h + 7. Let w be a(-3). Suppose -w*m = 2*p - 10, 4*p = -0*p + 2*m + 30. Is f(p) composite?
True
Suppose 2*i - 4*n = -3*i + 2085, -3*i - 2*n = -1273. Suppose -i = -4*g + 135. Is g a composite number?
False
Suppose 5*z + 4*h = 800 + 663, -3*z + 873 = 4*h. Is z composite?
True
Let q = 4290 + -1775. Is q composite?
True
Let d(i) be the first derivative of -i**4/4 - 2*i**3 + 7*i**2/2 + 2*i + 1. Let u be d(-7). Is u/(-8) + 663/12 a prime number?
False
Suppose -5*y = -751 - 2674. Is y a composite number?
True
Let a(o) = o**2 + 8*o - 9. Suppose -2*i = -2*r + 7*r + 39, 4*i = 12. Let z be a(r). Suppose -3*t = -z*t - 66. Is t a prime number?
False
Let b = -11 + 15. Suppose -48 = -b*n + n. Is 294/8 + 4/n a prime number?
True
Let r(s) = -s**3 - 4*s + 3*s + 2 - s**2 + 0*s**3 - s**2. Let h be r(-4). Suppose 5*c - 152 = -3*m + h, -2*c - 2*m + 80 = 0. Is c composite?
True
Let k(u) be the second derivative of -u**6/30 - 7*u**5/120 - u**4/4 - 3*u. Let a(g) be the third derivative of k(g). Is a(-11) a composite number?
False
Let s(r) = -r**3 - r**2 - 6*r. Let i be s(5). Is (-2 + i)*1/(-2) a prime number?
False
Let v = -75 + 119. Suppose 2*q + 4*i = -322, 0 = -2*q - 3*i - 81 - 244. Let w = v - q. Is w a prime number?
True
Let p = 61 - -1326. Is p composite?
True
Let z(w) = -50*w**3 - 3*w**2 - 3*w - 3. Is z(-2) a prime number?
False
Let p be ((-6)/10)/(7/(-35)). Suppose t = 4*z + 74, 8*t - 370 = p*t - 3*z. Is t a composite number?
True
Suppose 5*x - 2*o = -0*x + 12705, 5*x - o = 12700. Is x composite?
False
Suppose 2*c + 9755 = 5*j, j + c = -c + 1939. Is j a composite number?
False
Let g(o) = -14*o + 21. Let d(q) = -5*q + 7. Let z(w) = -7*d(w) + 2*g(w). Is z(12) prime?
False
Let r(t) = 2*t**2 - t - 2. Let o be r(2). Suppose w - o = -w. Suppose -w*p + 7*p = -2*s + 74, 0 = -s - 2*p + 37. Is s composite?
False
Suppose 963 = -z - 2*z. Let j be z/21 + 4/14. Let t = 26 + j. Is t a prime number?
True
Suppose 6*r - 7 = 7*r. Is 2 + r/((-14)/24) composite?
True
Is 3048 + (-5)/(-10)*-2 composite?
True
Let b(f) = 12*f - 3. Is b(6) a composite number?
True
Let x(d) be the first derivative of -d**4/4 + 8*d**3/3 - d**2 - 5*d + 5. Suppose -3*n + 23 = p, 2*n + 4*p - 27 - 5 = 0. Is x(n) prime?
False
Let c(g) = 11*g**2 + 2*g + 11. Let j = 5 - -1. Is c(j) prime?
True
Suppose t - 3*t = -3*b - 359, 0 = -5*t - 5*b + 960. Is t a prime number?
False
Let u = 50 + -276. Let y = -147 - u. Is y composite?
False
Let h(g) = g**3 + 6*g**2 + 4*g - 1. Let y be h(-5). Let t(n) = n**2 + n - 7. Let w be t(8). Suppose -y*a + 3*a = -w. Is a a prime number?
False
Suppose -8*k - 126 = -29014. Is k composite?
True
Suppose -4 - 16 = -4*u, -2*u = 3*a - 4111. Is a a composite number?
False
Suppose 0 = 5*b + 11 - 1. Let c(i) = 11*i**2 + 4*i + 1. Let o(g) = g**2 + g - 1. Let k(d) = c(d) - 2*o(d). Is k(b) composite?
True
Suppose 4*f = 5*s + 3956, -2*s - 1580 = -7*f + 3*f. Let w = s - -1123. Is w composite?
False
Suppose 2*w = 49 - 5. Is (-26271)/(-77) + (-4)/w prime?
False
Let y(t) = 30*t - 19. Is y(3) composite?
False
Let l(t) = 511*t**3 + t**2. Let b be l(1). Is 2/6 - b/(-12) prime?
True
Let v(o) = 6*o - 5. Let w be (-4 + 3)*(1 + -9). Is v(w) a prime number?
True
Let m(t) = t**2 + t + 2. Is m(3) a prime number?
False
Suppose 5*d = -305 - 705. Let p = 293 + d. Is p a composite number?
True
Let r be (-6)/9*9/6. Is (-1)/((-4)/(-524)*r) a prime number?
True
Let i(z) = -z**3 + 8*z**2 + 5*z - 5. Suppose 0 = -4*r - 16, 3*n + 2*r + 0 = 10. Is i(n) a composite number?
False
Let i(h) = -h**2 - h. Let n be i(0). Suppose n = 2*j + 2*j - 52. Is j composite?
False
Suppose 0 = d + g - 53, 2*g = -0*d - 3*d + 155. Suppose 4*r - d = 51. Let o = 35 - r. Is o composite?
True
Let k(j) = j**3 + 3*j**2 - 4*j + 3. Let f be k(-4). Suppose -3*h + 6*g + 249 = f*g, 4*g = -2*h + 190. Let m = -56 + h. Is m prime?
True
Suppose -16 = -3*l + 4*k, -4*l - 4*k - 7 = 9. Is 10 - (l - -1)*0 composite?
True
Let l be (1 + -2)/(5/665). Let m = -20 - l. Is m composite?
False
Suppose -3*t + 2*o + 877 = 0, -4*t - 3*o = -8*t + 1169. Is t a composite number?
False
Suppose 5*x - 2432 = 1913. Is x prime?
False
Let x(w) = -w**3 + 9*w**2 - w - 11. Is x(6) a prime number?
False
Let t = 6 + -3. Suppose 0*f - 4*f = -4*m + 900, -t*m - 4*f + 647 = 0. Is m composite?
True
Let i = -74 - -105. Suppose 2*j - 10 + 2 = 0. Suppose 0 = 4*t + t + v - i, j = -v. Is t a prime number?
True
Let w be 0 + (0 - 2) - 15. Let u be 4/(-6) - w/3. Let k(n) = 2*n**2 - 2*n - 5. Is k(u) a composite number?
True
Let r(w) = -41*w + 13. Is r(-6) prime?
False
Let p(k) = -k + 10. Let n be p(7). Is n + 30*(-30)/(-9) prime?
True
Let r = 2607 + -1636. Is r composite?
False
Let k(c) = -c**2 + 10*c + 5. Let q be k(9). Is 4/q + (-766)/(-14) a prime number?
False
Let x be (-6)/(1 + 2) + 8. Let a be (-4)/6 + (-32)/x. Is (-3)/9 - 20/a composite?
False
Let i be 3*(0 + 1/3). Let p be (i - 1)/2 - -21. Suppose -5*s + 2*s = -p. Is s composite?
False
Suppose -5*s + 13 = -12. Suppose 3*q = 1 + 2, s*n + 4*q - 754 = 0. Suppose -2*v + 5*w = -n, -241 - 204 = -5*v - 5*w. Is v a composite number?
True
Suppose -37 = 3*r + 50. Is (r/(-3))/(1/9) a prime number?
False
Suppose 0*d + 518 = 2*d. Is d prime?
False
Let c = 17 + -8. Let o(i) = i**2 - 10*i + 7. Let f be o(c). Is ((-47)/(-2))/(-1)*f a prime number?
True
Let o(p) be the third derivative of -73*p**4/24 - 13*p**3/6 - 10*p**2. Is o(-12) prime?
True
Suppose 17 = 3*o + 2. Let v = -10 + 16. Suppose 4*b - o*t = 172, 0 = b - t + v*t - 43. Is b a prime number?
True
Let a(v) be the third derivative of v**4/6 - v**3/6 - 2*v**2. Let q be a(6). Suppose -q = -2*s + 19. Is s prime?
False
Is -5 - 4 - -4 - -2940 a composite number?
True
Suppose -5*x = -s - x + 239, 5*x = -2*s + 491. Suppose 3*f - 1 = -7, -f + 13 = 3*p. Suppose 0*v - s = -p*k - 4*v, 5*v = 5*k - 225. Is k a composite number?
False
Suppose -19*o + 3415 = -14*o. Is o prime?
Tr