(-73798494)/315 prime?
True
Suppose -21596 = -u - 3*m, -4*m - 12 = -0*m. Suppose -u = -4*d + f, 21606 = 4*d - 0*d - 2*f. Is d a prime number?
False
Suppose 0 = v, 0*v - 15 = 5*y - 2*v. Let a be 3 - (-2)/(-9)*y*3. Suppose 7*n - 4548 = -a*n. Is n prime?
True
Suppose -2219170 + 8119777 + 2636389 = 52*x. Is x a prime number?
True
Suppose 2*g - 48 + 42 = 0. Suppose 2*n + g*w - 7 = 0, -3 + 0 = -3*w. Suppose 0 = -v + n*t + 99, -5*v - 555 = -10*v - 2*t. Is v a prime number?
True
Suppose -25*m + 946711 = -2165714. Suppose -2394 + m = 9*k. Is k composite?
False
Suppose q = p - 24322, -p - 40*q = -38*q - 24307. Is p prime?
True
Let w(t) = -t**2 + 3*t - 5. Let k be w(3). Let m(v) = 100*v**2 + 13*v + 1. Let j be m(k). Let g = -1597 + j. Is g a prime number?
True
Suppose -31*k + 32*k - 1 = 0, c - 3*k - 8938 = 0. Is c a prime number?
True
Let x be (1 - 2)*(-318)/(2 - 1). Let p = x - 208. Is (p/(-4))/(-3 - (-20)/8) a prime number?
False
Suppose -23*m + 98 = 6. Is m*(-5)/(-4 + (-49320)/(-12333)) composite?
True
Let b(g) = 424*g**2 - 8*g - 1. Is b(5) a prime number?
True
Let j(c) = -c**2 + 1090*c - 443. Is j(150) a composite number?
False
Let i be 180/4 + 2 + -9 + 4. Suppose -165030 = -i*w + 12*w. Is w prime?
True
Let g be ((-8912)/40)/(5/75 + 0). Let j = g + 4723. Is j a prime number?
True
Let f be -7 - -13 - 1/((-3)/9). Let w(x) = -5 + 29*x + 26*x - 4 - 13. Is w(f) a composite number?
True
Let t(f) = 224*f**3 - 12*f**2 - 20*f - 71. Is t(18) a prime number?
False
Suppose t + 99 = 2*l, 2*l + 5*t - t - 124 = 0. Let x = -67 + l. Is (-2650)/x*6/4 a composite number?
True
Suppose 8*w - 7*w - 1146 = 0. Suppose 6*c + 3822 = w. Let n = c - -705. Is n a composite number?
True
Let b = -909 - -911. Suppose -2*j = -4*d - 23753 - 8125, d = -b*j + 31883. Is j composite?
True
Suppose 7*u + 7 = -a + 6*u, 4*a + 29 = -5*u. Let i be a/4*(-70)/21. Suppose 5*d - 1533 = -0*k + 2*k, 1537 = i*d + 2*k. Is d a composite number?
False
Suppose 4 = 2*i - 6. Let q = -4252 - -4160. Let h = i - q. Is h composite?
False
Let c(x) = -2*x**3 + x**2 - 5*x - 8. Suppose 45 = -6*h + 9. Let r be c(h). Suppose 3*a = r + 551. Is a composite?
False
Suppose 17*x - 848345 = 402702. Is x composite?
True
Is (103930680/(-56))/(4 - 7) prime?
False
Suppose 40*p = 31*p + 168327. Is p a prime number?
False
Suppose 2*x = 3*x - 11. Suppose x = 5*p - 429. Is (p/(-4))/((-10)/655) a prime number?
False
Let a(v) = -v**3 + 9*v**2 + 7*v + 38. Let p be a(10). Let g(z) = -z**3 + 13*z**2 - 18*z + 3. Is g(p) prime?
True
Suppose 5633 = 3*v + 18713. Let s = -2142 - v. Is s a prime number?
False
Let m = 80963 + -41931. Suppose -3*w - 1253 = -2*s + 14370, 0 = 5*s + w - m. Is s a prime number?
False
Let j = 387527 - 182256. Is j prime?
False
Suppose 5*o = -383*k + 382*k + 1131894, -226358 = -o + 5*k. Is o a prime number?
False
Let d be 6/21 + (-1004)/(-14). Let y(h) = -h**2 - 150*h - 720. Let a be y(-5). Suppose a*m - 5*s = d + 173, -100 = -2*m + 3*s. Is m a prime number?
True
Let c = -106 - -110. Let l be -9 + c - (-333 - 1). Let j = l + -36. Is j a composite number?
False
Let k(t) = 36*t**2 - 4*t - 1. Let v = 116 - 110. Let d(m) = m - 1. Let x be d(v). Is k(x) a prime number?
False
Let f(x) = x**2 + 26*x + 100. Let d be f(-20). Let s be (20/6)/(1/9). Is s/d - 2297/(-2) prime?
False
Suppose 20 = 14*x - 22. Suppose -u + 21127 - 5330 = 2*h, -2*h + 15787 = x*u. Is h composite?
False
Suppose 0 = w - f - 43669, 6*w = 9*w + 4*f - 131021. Is w prime?
False
Let k = 60429 + 600892. Is k a prime number?
True
Let t(b) = 3*b**3 - 28*b**2 - 16*b - 44. Let u(z) = z**3 - 9*z**2 - 6*z - 15. Let i(f) = -4*t(f) + 11*u(f). Is i(9) a prime number?
True
Suppose -74*b + 13833 = -65*b. Is b prime?
False
Suppose -2*o - 2*y = -103598, 3*y + 249784 = 4*o + 42560. Is o composite?
False
Suppose 20*h - 220701 = 1181519. Suppose -5*a - 4*r = -20824 - 66823, -4*a - r + h = 0. Is a a prime number?
False
Suppose 2*r + 5*y + 4 = 0, -2*r + 3*y + 2 = 5*y. Suppose 334 + 194 = r*d. Suppose 3*w + p - d = 0, -2*w - 5*p + 290 = 3*w. Is w a composite number?
False
Let i = 9997 + 16025. Suppose 2*n - s = 81745, -i - 14854 = -n - 3*s. Is n a prime number?
False
Suppose -3*x = s - 95, -150 = -22*s + 20*s + 2*x. Is ((-20)/s - (-3026)/8) + -5 a prime number?
True
Suppose 0 = 20*f - 22*f + 103098. Is (-6 - f/(-27)) + 4/(-18) a composite number?
True
Let c = -15 + 17. Suppose 3*g - 3*q = -15, -5*g - 4 = -c*q + 15. Is (-4)/(-6)*g - -773 a prime number?
False
Let z(b) = 71631*b - 4862. Is z(5) a composite number?
False
Let g be 2/((-12946)/(-10344) - 5/4). Let w = g + -624. Is w a prime number?
False
Let p = 8563 + -3581. Suppose 1929*f + p = 1931*f. Is f prime?
False
Let z(f) = f**2 - 4*f - 10. Let i be z(6). Suppose i*v + 3*w - 10774 = 0, v - 2*w = -2*v + 16161. Is v a prime number?
True
Let z(v) = -2*v**3 - 10*v**2 + 12*v + 4. Let r be z(-6). Suppose -r*g + 2*g + 4*y = 0, -5*y = g + 28. Is 1577 - 0*4/g composite?
True
Let t be (-12)/(-16)*4 - (0 - 63). Suppose -3*m - t = -6*m. Is 20/(-110) + 8342/m a prime number?
True
Let v(z) = -5*z**2 + 7*z + 8. Let l(g) = 5*g**2 - 7*g - 8. Let j(s) = 3*l(s) + 4*v(s). Let w be j(-12). Is 9/6*-2 - (-4 + w) prime?
True
Let a = -53 + 71. Let i be ((-27)/(-15))/(a/5 + -3). Suppose -k + 3*k - 115 = -i*g, -29 = -g + 4*k. Is g a composite number?
False
Let w(n) = 3*n**2 - n + 2. Let j(k) = -61*k**2 + 12*k - 170. Let r(u) = -j(u) + 4*w(u). Is r(7) prime?
True
Let u(c) = 34*c + 7. Let n = 11 + -17. Let g(x) = x**3 + 6*x**2 + x + 12. Let q be g(n). Is u(q) a prime number?
True
Is (-4364126)/(-12) - (2415/(-90) + 27) composite?
False
Is (-15)/(-6)*(2 + (-375624)/(-30)) a composite number?
False
Suppose w - 12507 = -2*s + 189884, -4*w = 5*s - 809582. Is w composite?
False
Let u be (-18)/33 + 78/22. Suppose -5*h = -3*v - 38690, -h - u*v + 7371 = -385. Is h composite?
False
Suppose -97*y + 39496 = -93*y. Is y a composite number?
True
Suppose 5*o + 3*q = 7254116, -5*q + 4882070 = 4*o - 921241. Is o prime?
True
Suppose -3*y - 3*i = -12, 5*y = -4*i - 0*i + 20. Let s(u) = 6*u - 24. Let r be s(y). Suppose r = -w - 3*w + 4676. Is w a prime number?
False
Suppose 2*x - 78033 = y, 5*x + 0*x - y = 195090. Is x prime?
True
Let k = 2615 + -1056. Is k composite?
False
Let n(u) = 7*u - 88 + 88 + u**2 - u. Let o be n(-6). Suppose o*b + 2636 = 4*b. Is b a prime number?
True
Suppose 0*c + 3 = c. Suppose 5*d = -c*n + 4634, -14*d + 17*d = -5*n + 7718. Is n composite?
False
Let q(j) = 1911*j**2 + 13*j + 153. Is q(5) a prime number?
False
Let v(z) = 406*z**2 - 28*z + 299. Is v(-17) a composite number?
True
Let u(c) = -c**2 + 3*c. Let o(s) = -s**2 + 2*s. Let n(r) = 7*o(r) - 4*u(r). Let d be n(-4). Is 6550/16 + 21/d a prime number?
True
Suppose 4*t = 3*r + 15, 3*r - 19 + 7 = -5*t. Suppose -2*s - 1077 = -5*b, 859 = t*b + b + s. Is b a prime number?
False
Let j = -332 - -310. Let w(p) = p**3 + 29*p**2 - 9*p + 7. Is w(j) prime?
True
Let n(o) = 37910*o + 10. Let x be n(2). Suppose 0 = 66*j - 56*j - x. Is j composite?
False
Suppose -2*x - 32912 = 14*x. Let z = 3090 - x. Is z composite?
False
Let o = -117120 + 214031. Is o a prime number?
True
Let m(b) = -b**3 - 10*b**2 + 12*b - 37. Let o be m(-11). Is 2/2*-4*45708/o prime?
False
Is ((-41085372)/456)/((-1)/2) composite?
True
Suppose -47*x + 26*x + 20*x = 0. Suppose 28012 = 4*i + 4*k, 28012 = 4*i - x*k - k. Is i composite?
True
Suppose -57 = 6*v - 237. Is (3 - -4055)*(v/4 + -5) a prime number?
False
Suppose -9*a - 99*a + 26501940 = 4923648. Is a a composite number?
False
Let q be 2/(-7)*203*3/(-3). Let d = q + -56. Suppose 2*g + 5*a = 2929, -185 - 1282 = -g - d*a. Is g a prime number?
False
Suppose -5*p + 402 - 66 = n, -3*p = 3*n - 1032. Suppose -i - 1023 = -4*t + t, 0 = t - 2*i - n. Let a = t - 89. Is a a composite number?
False
Let r = 5012 - 4932. Let p be 191/(-7) - (-4)/14. Let b = r + p. Is b prime?
True
Let v = -5622 - -8059. Is (-6)/(-36)*6*v composite?
False
Let j(d) = -d + 9. Let w be j(5). Suppose 6*a = 11*a + 4*g - 7539, -1511 = -a - w*g. Is a composite?
True
Let x be 7/3 + 5/(-15). Suppose 4*y + 5*r - 20 = r, -x*y = -4*r + 8. Suppose y*c - 296 = 130. Is c composite?
True
Let j = -125 - 51. Let b be (-32)/j - 4/22. Suppose 4*l - 140 - 224 = b. Is l prime?
False
Suppose -2*y - 3*o + 479254 = -145869, 312589 = y - 4*