v + 520 = 2*s, 0 = -0*v + t*v - 4*s - 401. Is v a prime number?
True
Suppose -3*i + 25 = 2*i. Suppose -2*f = -4*p + 259 + 1377, p + i*f - 409 = 0. Is p a prime number?
True
Suppose -18*u = -28*u + 54850. Is u prime?
False
Is 299822/16 - (-12)/576*6 composite?
True
Let b = -7283 + 15073. Suppose b = 3*s + 3176. Is s prime?
False
Suppose -4*g = 4, -11418 = -5*v + 3*g - 0*g. Is v a composite number?
True
Suppose 10 + 30 = -4*v. Is (15/v)/((-12)/39272) composite?
False
Suppose 71 = -6*c - 1. Is (-9204)/(-10) - c/20 a composite number?
True
Suppose -16*j = 3*j - 28709. Is j a composite number?
False
Suppose 4*a = 0, -13*k + 4*a - 14961 = -16*k. Is k a prime number?
True
Suppose 2*c = p - 32475, -91*p + 94*p + 4*c = 97445. Is p a composite number?
False
Let x(z) = -z**2 - 21*z + 22. Let j be x(-22). Suppose j = -5*n + 5*c + 11810, -4*n + 0*c + 9442 = 2*c. Is n prime?
False
Suppose 0 - 9 = -3*o. Let u(y) = 6*y**3 - 5*y**2 + 6*y - 6. Is u(o) prime?
False
Is (0 - 17) + 22 + -1 + 1395 prime?
True
Let z(v) = -16597*v + 435. Is z(-4) composite?
True
Let k(v) = 218*v**2 - 9*v + 10. Is k(1) a prime number?
False
Suppose 1491*k - 1487*k = 176972. Is k composite?
True
Let o be 6/((-30)/(-25)) + -1. Is 2/o*(-632)/4*-1 prime?
True
Let y be (2/6)/(5/15). Let s be y/(-6) + 10/60. Suppose -2*l - 3*n + 64 = -753, s = 4*n + 12. Is l composite?
True
Let j(r) = -215*r + 511. Is j(-62) composite?
False
Let k(s) = -s**2 - 8. Let m be k(0). Is 8/32 + (-1286)/m composite?
True
Let v be (111 - 1)/(18/(-72)). Let u = 59 - v. Is u composite?
False
Let y be 1/((-2)/1600) + -4 + 0. Let b = -385 - y. Is b prime?
True
Suppose -4*x = -7 - 5. Suppose -x*f + 19 - 7 = 3*l, -5*l + 20 = f. Is ((-8)/l - -4) + 189 a prime number?
True
Suppose 12*a + 3005360 = 28*a. Is a a composite number?
True
Let j(b) be the first derivative of 3*b**3 - 7*b**2/2 + 9*b - 1. Let k be 4 + 1/(-1 + (-33)/(-36)). Is j(k) a prime number?
True
Let n(s) = 4*s**3 + 6*s**2 + 14*s + 20. Let a be n(-8). Let l = 2107 - a. Is l prime?
True
Suppose 10*u - 11*u + 5*q = -191, -2*q = 0. Is u composite?
False
Suppose 5*q = -0*q + 25. Suppose q*r = 2*y - 169, 0*y + y + 4*r = 65. Is y prime?
False
Let p(d) = 288*d**3 + d**2 - 6. Is p(2) composite?
True
Let p(b) be the second derivative of 23*b**4/6 - b**3/3 + 3*b**2/2 + 4*b. Suppose -6*t + t - 21 = -3*h, 4*h + 7 = -5*t. Is p(h) composite?
True
Is (66/12 - 5) + 12317/2 a prime number?
False
Suppose 0 = 4*k - 3*k. Suppose k*w = 5*w - 1735. Is w composite?
False
Suppose -3*r + 3454 = 2*w - 2932, 0 = -3*w + 3*r + 9609. Is w a composite number?
True
Let o(p) = -p**3 - 24 + 38 + 10*p - 8*p**2 + 4*p**3. Is o(7) composite?
True
Let m(q) = -4*q - 2*q + 0*q + 5*q. Let r be m(1). Is -6 - -4 - (r - 702) composite?
False
Let n(k) = 3*k**2 - 16*k + 10. Let r be n(-8). Let m = -31 + r. Is m prime?
False
Suppose 0*x + 21 = 3*x. Let m(i) = 8*i**2 - 3*i + 8. Is m(x) a composite number?
False
Is -16258*((-2)/6 - (-11)/(-66)) a prime number?
False
Suppose -2*n + 904 = -3*i, -i - i = -4. Suppose 0 = q - 2739 - n. Suppose 640 = -2*r + q. Is r a prime number?
True
Is 2444265/25 + (-66)/(-165) a composite number?
False
Let v be (-2 - 4/(-2)) + -13. Let h = v - -8. Let y(a) = -a**3 + 7*a**2 - a. Is y(h) composite?
True
Let g(n) = n**3 + 15*n**2 + 10*n + 18. Let t be g(-13). Let j = t - -1335. Is j a prime number?
False
Suppose -5*u + 2 = -3. Is -1*u*(9845/(-5) - 4) prime?
True
Is (-8 + 0 + 1915)*1 a composite number?
False
Let q(t) = -t**2 + 14*t - 9. Let l = 19 - 6. Let f be q(l). Suppose f*w - 17 = 59. Is w composite?
False
Is 3*((-692320)/30)/(-16) prime?
True
Let d(v) = -77*v - 5. Let m be d(-3). Is m*((-15)/(-10) - 1) prime?
True
Suppose -5*l + 4*l = 12. Let z = l - -28. Suppose z = 2*n - 498. Is n composite?
False
Let q(o) = o**2 + 5*o + 3. Let v be q(-1). Is v*(-1)/((-4)/(-10988)) a composite number?
True
Let c be (-117)/(-7) - (-10)/35. Suppose -u = -40 - c. Is u composite?
True
Let x = 5273 - 3084. Is x composite?
True
Suppose n - 6*r = -3*r + 6848, 4*r = -n + 6813. Is n a prime number?
True
Suppose 1 = l - 2. Suppose -l*m = -m + 8, -3*m + 57 = 3*v. Is v a composite number?
False
Suppose 0 = -3*g - 3*b + 1845, 9*b = g + 14*b - 619. Is g a composite number?
True
Let w be 30/(-8) - (-4)/(-16). Let m(x) = 2*x**3 + 6*x**2 + x. Let v be m(w). Is ((-2280)/v)/((-4)/(-6)) a prime number?
False
Suppose -4*t = -3*z - 10322, t + 4*z - 969 = 1602. Is t a prime number?
True
Let a = -58314 + 81697. Is a composite?
True
Suppose -t = -3, -26*z + 24*z = -t - 82003. Is z prime?
False
Suppose 2*r - 1269 = -k, -3*r = -5*k - 2*r + 6389. Is k a prime number?
True
Suppose -4*c + 12 = -c. Suppose 3*h = -c*q + 12242 - 4722, h = 2*q - 3770. Is q composite?
True
Let r be 4/6*81/6. Suppose 0 = r*l - 8*l - 2705. Suppose 8*d - 3*d - l = 0. Is d a composite number?
False
Let o(n) = -56*n - 22. Let y be o(-12). Suppose -194 - y = -4*a. Is a a prime number?
True
Suppose 2*a + 2*d = -d + 4912, d = 4*a - 9810. Is a prime?
False
Let l = -7301 + 17544. Is l prime?
True
Let q(o) = o**3 - 5*o**2 + 6*o - 5. Let b = -5 + 9. Let g be q(b). Suppose g*j = 4*j - 77. Is j composite?
True
Let p(b) be the third derivative of 13*b**4/24 - 2*b**3 - 37*b**2. Let x(z) = 5*z - 4. Let h be x(3). Is p(h) a prime number?
True
Let h(i) = i**2 - 4*i + 4. Suppose 0 = -0*d - 2*d + 12. Let w be h(d). Let t = w - -99. Is t composite?
True
Let y be 6/(-10) - 12/30. Let g be 2/2 + 337 + y. Suppose -4*q + 1941 - g = 0. Is q composite?
False
Let u(z) = -2*z - 190. Let y(i) = 1. Let d(m) = -u(m) - 6*y(m). Let k be d(0). Let j = k - 93. Is j prime?
False
Let z be (1/2)/((-7)/(-42)). Suppose -27 + 12 = -z*n. Suppose 4*w = n*w - 673. Is w a prime number?
True
Let d = -1 - -4. Suppose -4*l - l + 30 = 5*j, -l - 6 = -d*j. Suppose 2*w - 63 = -m, 2*w - 127 = -2*w - l*m. Is w composite?
False
Suppose 6 = y + 2*y. Suppose y*u + 4*m = -3*u - 56, -3*u + 3*m = 12. Is (u/(-16))/((-1)/(-1678)) a prime number?
True
Let j = 126 + 4. Suppose -2666 = -8*a - j. Is a a composite number?
False
Is (-142)/(156/(-252) + 1/3) a prime number?
False
Let o = -8 + 7. Let a be 46*o*(-10 + 8). Suppose 3*c - a = -c. Is c a composite number?
False
Suppose -i + 0*i - 480 = d, 5*i + 2408 = -3*d. Let h = 1227 + i. Is h a composite number?
False
Is 7902 - (3 + (-5)/10)*2 a composite number?
True
Suppose i = -4*b + 8745, -5*i - 5*b = -5811 - 37989. Is i a composite number?
True
Let l = 24 + -28. Let r(p) = -p**2 - 13*p - 17. Let m(g) = g - 1. Let k(y) = l*m(y) + r(y). Is k(-6) prime?
True
Suppose -5*v - 5 = 2*k, 5*k - v - 3 = -2. Suppose s = -k - 3. Is (s - -5) + (112 - 3) prime?
False
Suppose -2*o - 4*d = -50, -65 = -o - 3*o - d. Is 213*5/o - 4 composite?
False
Let w = -402 - -1172. Suppose u = 4*k - u - w, 200 = k - 3*u. Is k composite?
False
Let j be -4 + -2 + 2687 + 0. Let g = 5651 - j. Suppose -z + 2*y - 7393 = -6*z, -2*z + g = 4*y. Is z prime?
False
Suppose 0 = 4*q - 24960 - 33452. Is q composite?
True
Let p(u) = -2*u**2 - 29*u - 14. Let i be p(-14). Let n = 1 - i. Is 405/(3/n) + -2 a composite number?
True
Let c(w) = -48*w + 3. Let s be c(2). Let o = -29 + 184. Let n = o + s. Is n composite?
True
Suppose 0 = -6*m + 11*m + 20. Let u be m/(-8) - 14/(-4). Suppose -h = -u*h, 597 = 3*i + 2*h. Is i prime?
True
Suppose -z - 4*u = 2*z + 2, 2*u = -z - 2. Let j = 6 - 11. Let k = z - j. Is k composite?
False
Suppose 5*b - 185 = -0*y - 4*y, -2*y = 2*b - 76. Is b composite?
True
Let f(u) = 401*u**3 + u**2 - 3*u + 1. Suppose -2*w = -2*y - 4, 0*y + 3*y = 4*w - 8. Let c be f(w). Suppose -c = -5*b - s, 4*b = s + 720 + 1842. Is b prime?
True
Let o(t) = 97*t**2 - 4*t - 19. Is o(-7) composite?
True
Suppose 3*n = -0*n + 402. Let h be 2 + 0 + (1 - 3). Suppose 2*u = -h*u + n. Is u prime?
True
Suppose 19*i = 7*i + 68052. Is i prime?
False
Let z(t) = -t**3 + 7*t**2 + 6*t + 3. Let j be z(6). Let s = -107 + j. Let n = -21 - s. Is n prime?
True
Suppose -5*n = -5189 - 14756. Is n prime?
True
Suppose 0 = -6*l + 11*l + 25, o - 2*l = 9576. Is o a prime number?
False
Suppose 2*k = -i - 4, 0*i = -4*i + 3*k + 6. Suppose -9*q + 5*q + 3108 = 0. Suppose -h + 4*h - q = i. Is h composite?
True
Let b(f) = 226*f**2 + 2*f - 15. Is b(-4) prime?
True
Let s(h) = -h**3 - 10*h**2 + 19*h + 12. Let v be s(-10). Is ((35/2)/(-7))/(