Is c prime?
True
Let h = -1 + -2. Let o(s) = 5*s**2 + 4*s - 1. Let a(m) = -5*m**2 - 3*m + 1. Let f(c) = h*a(c) - 2*o(c). Is f(6) prime?
False
Suppose 2*u - 4 = 0, 4*x = 5*x - 2*u - 10. Let p = 206 - 303. Let i = x - p. Is i prime?
False
Suppose 0 = -5*m + 3*m + 8. Suppose -2*t = -6*t + 4*x - m, -6 = 4*t - 3*x. Is (143 + 2)/(t + 4) a composite number?
True
Let k = 578 + -192. Let c = -784 + k. Is (-1 - c)*-1*-1 a prime number?
True
Let v(h) = -30*h + 11. Let i be -2 + (-36)/10 + 4/(-10). Is v(i) composite?
False
Let c = 142 - 238. Let a = 259 + c. Is a a prime number?
True
Let y(a) = a**2 + 2*a + 3. Let v(k) = 6*k + 6. Let c be v(4). Suppose -c = -5*h - 5. Is y(h) a prime number?
False
Let u be 2*18/20 + (-4)/(-20). Is 12/30 + u*9279/30 a prime number?
True
Let c(u) = -u**2 + 7*u + 8. Let s be c(7). Let q be s + 1*(-1 - 2). Suppose 10*p - 5*p + 2*z = 1347, q*z + 533 = 2*p. Is p prime?
True
Suppose 6*f + 45492 = 18*f. Is f prime?
False
Let b = -4366 - -8693. Is b a prime number?
True
Let f(g) = g**3 - 5*g**2 + g - 1. Let x be 1 - (-3)/(6/8). Let m be f(x). Suppose 2*o - 21 = -4*n + 15, 54 = m*o - n. Is o a prime number?
False
Let h(d) = -3*d**2 - 2*d + 3. Let g be h(-2). Let y(b) = 9*b**2 + 9*b + 31. Is y(g) a composite number?
False
Let w = 20 + -23. Let z be 14/w - (-4)/6. Is (z/(-4))/(3/633) composite?
False
Suppose -16*g + 11913 = -15*g - 3*i, -2*i + 59497 = 5*g. Is g a composite number?
True
Let q(f) = 59*f + 17. Let l be -32*((-35)/(-10))/(-7). Is q(l) a prime number?
False
Suppose 3*n + 31451 = 10*n. Is n prime?
True
Let z be (0/(2/1))/(-2). Suppose z = -4*v + 6*v - 1072. Suppose 3*p + 0*p + f - v = 0, 0 = 3*f - 15. Is p composite?
True
Let b = -3 + 11. Let l(r) = r - 7. Let c be l(b). Suppose -c = -h, -v - 233 = -3*v - 3*h. Is v composite?
True
Suppose 7*n - 10533 = -3*o + 2*n, -3*o + 5*n = -10533. Is o a composite number?
False
Let z(i) = 470*i**2 + 46*i + 17. Is z(-3) composite?
True
Suppose -2*i + 2 = -2. Suppose -5*a = -3*b + 2 - 3, 3*a = i*b. Is b composite?
False
Let r = -25 + 20. Let a(g) = g**3 + g**2 + 2*g + 4. Let s be a(r). Let y = s - -255. Is y prime?
True
Let w(q) be the first derivative of 119*q**3/3 - q + 3. Let i be w(-1). Suppose -112 = -2*p + i. Is p composite?
True
Let x(m) = m**3 + 11*m**2 - 12*m - 2. Let u be x(-12). Let z(b) = -79*b**3 - 2*b**2 - 3*b - 1. Is z(u) prime?
False
Suppose 4*t - 16 = -4*t. Suppose 2*u - 1487 = 2*b - 5*b, -t = u. Is b a composite number?
True
Let v = -5199 - -11038. Is v a composite number?
False
Let f(h) = -h**3 + h**2 + h + 1. Let n(q) = -4*q**3 - 6*q**2 - 9*q + 4. Let v(y) = -f(y) + n(y). Is v(-8) a composite number?
False
Let h(a) = -98*a - 5. Suppose 0 = 8*y - 11*y - 27. Is h(y) a prime number?
True
Let j = -941 - -2460. Suppose 8*g + j = 15*g. Is g composite?
True
Let s(j) = 7*j - 1. Let k be s(1). Let u(h) = 343*h + 8. Let b be u(k). Suppose b = 5*f + o, 2*f - 472 - 350 = 4*o. Is f prime?
False
Is 30/24*(-3992)/(-2) a composite number?
True
Suppose 5*p - 28 = 9*p. Is (3/4)/(p/(-10444)) composite?
True
Let h be (-32)/(0 - (-4)/(-24)). Suppose h = 2*y - 1510. Is y a prime number?
False
Let m(t) = 2*t**2 - 3*t. Let j be m(2). Suppose -4*l - j*u = -5*u - 2561, -2*u + 2 = 0. Is l a composite number?
False
Suppose -165*f + 168*f - 7563 = 0. Is f composite?
False
Suppose 5*u = -5*u + 16210. Suppose 0 = -2*a + 5289 + u. Is a composite?
True
Let r = -9 - -9. Suppose 0 = 5*j + 4*g - 1795, -4*j + r*g = 3*g - 1437. Let v = j + -184. Is v a prime number?
True
Let o(y) = 6091*y**2 + y - 3. Is o(1) prime?
True
Suppose -7238 - 6277 = -5*d. Suppose 5*y = -z + 517, -5*z - 5*y + d - 78 = 0. Is z composite?
True
Suppose -2*d + 4 = -6. Suppose -4*b - o + 3484 = 0, -d*o - 727 = -5*b + 3628. Is b prime?
False
Suppose 18*z - 14*z = 0. Suppose z = 2*n - 1326 + 60. Is n composite?
True
Suppose -298879 + 33441 = -34*b. Is b prime?
False
Let u = 65 - 62. Suppose 0 = -p - u*k + 202, -3*k - 223 = -p + k. Is p composite?
False
Let n = 2 - 0. Let f be (3 + (-6)/n)/2. Suppose -5*s - 3*v + 719 = -0*s, f = s - 3*v - 151. Is s a prime number?
False
Let z(f) = -1088*f - 6. Suppose 0 = 5*u - 5*i - 10, u - 8*i = -3*i + 14. Is z(u) composite?
True
Let i be 3*-2*4/(-6). Is (-43)/(-4)*1*i prime?
True
Let u(l) = l - 12. Let s be u(8). Let h be -4 - (-2 + (-16)/s). Is h/1*329/(-14) composite?
True
Suppose -366 = -2*w + 80. Is w a composite number?
False
Suppose 46356 = 18*n - 7986. Is n a composite number?
False
Let n = 11 - 8. Suppose -887 = 2*s - 3*s - 3*h, -n*h - 2661 = -3*s. Let w = s - 492. Is w a composite number?
True
Suppose 0 = -x - 31 + 32. Let t(d) = 186*d + 1. Is t(x) a prime number?
False
Let x(y) = y**2 - 10*y - 6. Let a be x(11). Suppose -a*u = 225 - 970. Is u composite?
False
Let f(k) = 26*k**2 + 4*k + 107. Is f(-9) composite?
True
Let t(h) = -h**3 + 3*h + 2. Let a be t(-2). Suppose c = -4*p - c + 146, 5*c + 125 = a*p. Is p a composite number?
True
Is -52557*(112/96 - (-9)/(-6)) composite?
False
Suppose -3*z - z - 21672 = 0. Let p = -3239 - z. Is p composite?
False
Let u(b) = -10921*b + 14. Let l be u(-4). Is (l/(-27))/(-2) + (-4)/18 prime?
True
Let s(x) = 28*x**2 + 26*x + 85. Is s(-14) composite?
False
Let l = -35 - -41. Let b(n) = 5*n**2 - 6*n + 11. Let v(d) = -d**2 - 1. Let f(i) = b(i) + 4*v(i). Is f(l) a composite number?
False
Let b = 14225 - 8732. Is b prime?
False
Suppose 0 = -6*u + 3812 + 8026. Is u a prime number?
True
Suppose 5*f - 12 = j, -5*j - 5*f + 27 = -j. Suppose j*a - 269 = m + 108, 389 = 3*a + 2*m. Is a prime?
True
Suppose 5*h - 822 = 2*h. Suppose h = 2*z + 56. Suppose 3*x = v - 193, z = -2*v - 4*x + 535. Is v prime?
False
Let x(d) = 571*d**3 + d**2 + 1. Is x(1) a prime number?
False
Suppose -24*i = -34*i + 17690. Is i a prime number?
False
Let u be 0 + (-2 - -1) - 3. Let c be ((-2062)/u)/((-8)/16). Let l = c + 1482. Is l a prime number?
False
Let s(d) = -2*d**3 - 3*d**2 - 2*d - 3. Let l be s(-2). Let p = l + 0. Let z(a) = 23*a - 2. Is z(p) a composite number?
False
Suppose 23*w = 28*w - 83705. Is w a composite number?
False
Let a = -1202 + 729. Let s = 678 - a. Is s a prime number?
True
Let h = -8829 + 25536. Is h a prime number?
False
Let u(z) = 3302*z + 101. Is u(14) composite?
True
Let q = 5349 + -1280. Is q a composite number?
True
Let x be (-3)/((-6)/80*-4). Let u be (5/x)/(1/(-2038)). Let g = u - 720. Is g prime?
False
Is 42/98 + 279108/7 prime?
False
Is 7*-1214*1/(-2) a composite number?
True
Suppose 0 = -11*n + 2*n - 27. Is 4/(-48)*-4*(-13239)/n a composite number?
False
Let j = 9 + 3. Let o be ((-80)/j)/((-2)/(-6)). Is 2/(-3)*390/o a prime number?
True
Suppose 2*a = -3*l + 778, 3*a - 1715 = 2*l - 522. Is a composite?
True
Let c(t) = 45*t - 2. Let s be c(7). Let u = s + -1540. Let j = -814 - u. Is j a prime number?
False
Suppose -77*b + 71*b = -39702. Is b composite?
True
Let b(q) = 5*q - 6. Let a be b(6). Let r(z) = -z**3 - 5*z**2 - 3*z + 4. Let s be r(-4). Suppose s = c - 2 - a. Is c composite?
True
Suppose 3*x + 0*x = -4131. Let g = x + 2054. Is g composite?
False
Is (-9)/(81/12)*(-5988)/16 a composite number?
False
Let v = -13 + 11. Let o(l) = 113*l**2 + 2*l + 1. Is o(v) composite?
False
Suppose 11*t - 6*t - 25195 = 0. Is t prime?
True
Suppose 0 = 2*f + u - 17, 12 = 3*f - 4*u - 41. Let c(k) = 21*k**2 + 5 + 2*k + f*k**2 - 2. Is c(-2) composite?
False
Suppose r + 4 = -6*f + 4*f, 0 = 4*r - f + 25. Let q(z) be the first derivative of z**4/4 + 7*z**3/3 + z**2 + 2*z - 54. Is q(r) a composite number?
True
Let p = 988 + 789. Is p prime?
True
Let v(l) = 37*l + 14. Suppose 0 = -5*m - 5*r + 25, m - 5*r - 15 = -2*m. Suppose 0*c - 45 = -m*c. Is v(c) a composite number?
False
Suppose 0*j = 5*j. Suppose v + 4*d - 3 = -0, j = 2*v + 5*d. Let u(t) = -t**3 - 2*t**2 + 3*t + 5. Is u(v) composite?
True
Suppose 0 = -3*s - 6*l + 2*l + 12789, 15 = -5*l. Is s composite?
True
Let d = -837 - -1438. Suppose -2*m = 1931 + d. Is (2/(-3))/(4/m) a prime number?
True
Is (-28)/((-70)/10) - -58633 prime?
False
Suppose -4*m + 2*b + 2328 = 0, -2*m = -2*b - 269 - 895. Let x = 1256 - m. Is x a composite number?
True
Suppose -231 = -n + 2*y, n - 2*n + 235 = -3*y. Is n a composite number?
False
Suppose -2388 = -l + 2*f + 2*f, -l + 2428 = 4*f. Is l + 3 - (1 + 3) composite?
True
Suppose 126*y = 128*y + 4. Let b = 739