*x - 334 = g*z. Is x a prime number?
True
Let y(c) = 150*c + 2. Let k be y(5). Let q = -1049 + 812. Let z = q + k. Is z a composite number?
True
Suppose -7*d = 108 + 32. Let n be ((-16)/d)/(((-1)/5)/(-1)). Suppose -n*l - 284 = -8*l. Is l prime?
True
Let b be 6/(-4) - (-102)/12. Suppose 595 = -2*u + b*u. Is u prime?
False
Let i(d) = 141365*d**2 + 91*d - 203. Is i(2) prime?
False
Is (5 - (-8)/(-84)) + -5 - (-104375215)/735 a composite number?
False
Let m be (-3)/4 + 1750735/20 + -1. Let f = 134454 - m. Is f composite?
False
Let j = 35202 + -3245. Is j a composite number?
False
Suppose -h - c - 4 = 0, 5*c + 13 + 7 = 2*h. Suppose -8*y + 13373 + 699 = h. Is y composite?
False
Let s(m) = 106*m - 13*m - 16 - 14*m. Is s(5) a composite number?
False
Let d be (-1 + 1)/((0 - -5)/5). Suppose -b + 5 = d, -b = i - 2*b - 6782. Suppose -m + 1355 = 2*x, -5*m = -0*x - 2*x - i. Is m composite?
True
Let j(n) = -112904*n - 289. Is j(-3) a composite number?
False
Let g = -419 - -422. Suppose 2*m - 84703 = -5*h - 2*m, 33895 = 2*h - g*m. Is h a prime number?
True
Let p be (-30 - -32)/((-2)/(-3703)). Let a = -1500 + p. Is a a prime number?
True
Suppose 4*g = -5*d + 2*d, -5*d = -g - 23. Suppose 3*z - 3*h + 9563 = 5*z, -z = d*h - 4779. Is z prime?
True
Suppose -13*c + 10*c + 405 = 0. Let n be (1 - c/(-12))/(1/(-4)). Let p = -14 - n. Is p composite?
True
Suppose -73*n + 204138 = -356644 - 319525. Is n composite?
True
Suppose 19*u = 6563074 + 6951417. Is u a composite number?
True
Let o(f) = -73*f**2 - 6*f - 107 + 648*f**2 + 51*f**2 + 96. Let d be o(-2). Suppose -5*i = -d - 770. Is i prime?
False
Suppose 3*n - 2*q = -0*n + 23, 5*n - 4*q - 35 = 0. Let p(a) = -a + 31. Let i be p(n). Let u(y) = 19*y - 49. Is u(i) a prime number?
True
Let t(z) = z**3 + 37*z**2 + 77*z - 201. Is t(-20) a composite number?
False
Let h(b) = -122*b**3 + 8*b**2 + 9*b - 2. Let y be h(-5). Suppose 3*z - 5*c = 7*z - y, 4*c = -2*z + 7706. Is z a composite number?
False
Let b be 10 + -2 - (2 - (-2)/2). Suppose -16251 = -5*n - 2*r, -b*r = 5*n - 10166 - 6079. Is n a prime number?
True
Let q(p) = 5*p + 79. Let n be q(-22). Let l(x) = -x**2 - 53*x - 69. Is l(n) a prime number?
True
Let w = 219757 - 135236. Is w a composite number?
False
Suppose -18*n - 1974347 = -47*n + 10*n. Is n prime?
True
Let z = -347194 - -729491. Is z a prime number?
False
Let c = -258 - -259. Is c/(-3)*(-456 - (-18)/2) prime?
True
Suppose -3*a + 5*r + 3968 = 0, 0*r = a - 3*r - 1320. Suppose o - 1324 = 5*m, 5*m = o - 2*o - a. Let u = 528 + m. Is u prime?
True
Suppose -12*c + 7*c - 40 = 0, 4*c = -2*x + 757806. Is x a prime number?
True
Suppose 9*x - 324471 = -8*x + 14*x. Is x composite?
True
Let w = -54 - -57. Suppose -w*k = 5*y - 23210, -3*k = -k + 4*y - 15470. Is k a composite number?
True
Let m(f) = 14*f**3 - 13*f**2 + 28*f + 14. Let t(c) = 41*c**3 - 39*c**2 + 84*c + 41. Let s(w) = -17*m(w) + 6*t(w). Is s(9) a prime number?
True
Let f = 697 + -634. Suppose 32921 = 70*d - f*d. Is d composite?
False
Let y(r) = -r**3 + 15*r**2 + 2*r - 17. Let g be y(15). Suppose -22*u + 37809 = -g*u. Is u a prime number?
True
Let z = 96 + -75. Let w = 26 - z. Suppose -2*s = -2, -w*m + 6*s - 11*s + 1470 = 0. Is m composite?
False
Suppose -361 = -2*u + u - 3*p, 4*u - 1379 = p. Suppose 3*h = 2*b - 347, 3*h + 3*b = -26 - u. Is (-35924)/h + (-2)/(-17) composite?
True
Let b = 2438 + -781. Suppose 0 = -4*u - 2*g + 8788, 0 = u - 3*g - 554 - b. Is u prime?
False
Let o be -614 - (-3 + 3)/(-7). Let m = 1919 - o. Is m prime?
False
Suppose -246*z - 240*z - 311473 = -487*z. Is z prime?
True
Suppose 13*o - o = 36. Suppose -4337 = -o*z + 3886. Is z a prime number?
True
Suppose -k = 2*d + 3*k - 2030, -5031 = -5*d + k. Suppose -3*o + 0*o - 2019 = -2*x, 4*o + d = x. Suppose 13*v = x + 1732. Is v a composite number?
False
Let a(f) = 10199*f**2 - 16*f + 20. Is a(3) a prime number?
False
Let c(k) = -16 - 48*k**3 - 7*k**2 + 179*k**3 - 54*k**3 - 2*k + 69 - 35*k**3. Is c(6) a prime number?
True
Let b(o) = 2*o**2 + 7*o + 6. Let y be b(16). Let l = -397 + y. Is l composite?
False
Let a be (13 - 1)*(14/6)/7. Suppose -5*p + 3633 = a*v, 109 = v - 3*p - 795. Is v a composite number?
False
Let o(k) = 343*k + 11. Let c(q) = -2*q - 14. Let u be c(-10). Suppose 0*h - u = -3*h. Is o(h) prime?
False
Let v = -5078 + 5080. Let j(x) be the second derivative of 64*x**5/5 + x**4/6 - 2*x**3/3 + 5*x**2/2 + x. Is j(v) composite?
False
Let g(o) = o - 4. Let f be g(-11). Let n be (f/6)/((-3)/18). Is (628/(-6))/((-10)/n) a prime number?
True
Suppose -3*a + 284391 = 3*o - a, a = 6. Is o a prime number?
True
Suppose -51*l + 60*l = 117. Let o(i) = 8*i**2 - 9*i - 40. Is o(l) prime?
False
Suppose -42*j + 40*j = -4*h + 16, 4 = h - 3*j. Suppose 0 = -4*a - a + 17850. Suppose a = h*n - 106. Is n prime?
True
Suppose 0 = -13*f + 12*f + 4*c - 16, 5*f - c = -42. Let s(t) be the third derivative of -8*t**4/3 - 25*t**3/6 - t**2. Is s(f) composite?
False
Let h = -3097 - -5315. Let n = -845 + h. Is n prime?
True
Let p(h) be the first derivative of 29*h**3/3 - 59*h**2/2 + 19*h + 69. Is p(11) a prime number?
True
Let j(h) be the first derivative of 2*h**3/3 - 11*h**2/2 + 11*h - 246. Suppose -2 = w + 4. Is j(w) a prime number?
True
Let g(w) = -w**3 - w**2 + 11*w + 26. Let n be g(13). Let l = 1901 - n. Suppose 0*h + l = 2*h. Is h a composite number?
True
Let b = -214 - -205. Is (12/b + 1/1)*-3957 a composite number?
False
Let g = -23272 - -155763. Is g a prime number?
True
Let i = 11632 + 19389. Suppose -6250 - i = -13*w. Is w a prime number?
False
Let w = 2477 + -25. Let b = w + -1663. Is b a prime number?
False
Suppose -104*x = -3*y - 109*x + 3014, 0 = -2*y - x + 2007. Is y a prime number?
False
Let n(i) = i**2 - 7*i - 9. Let v be n(-6). Suppose v*g = 59*g + 2890. Is g prime?
False
Let a = -181 - -185. Suppose i = -i + a*d + 4318, 2160 = i - 3*d. Is i a composite number?
True
Let o(h) = 12 + 8*h - 148*h**3 + 72*h**3 - 43*h**2 + 74*h**3 + 12*h**2. Is o(-17) composite?
False
Suppose 3*p = -4*x + 28, p - 5*p - x = -46. Suppose 0 = b + 3*b - p. Suppose 0*a + 3*t + 24 = b*a, -2*a + 5*t = -7. Is a a prime number?
True
Suppose 2*f - 49606 = -4*u, -3*u + 2*u + 12406 = 5*f. Is u a composite number?
False
Let r(t) = 8947*t**2 + 24*t - 962. Is r(17) prime?
True
Suppose 0*o - 8366338 = -86*o. Is o composite?
False
Let k(z) = z**3 - 26*z**2 - 79*z + 37. Let v be k(32). Suppose 5*c = v + 4632. Is c a composite number?
False
Let w = 16582 - 9028. Suppose -6*t + w = -11676. Is t prime?
False
Let k(r) = -4 + 10 - 21 - 352*r - 6. Let h be k(-4). Suppose h = 4*q - 1377. Is q a composite number?
False
Let x(j) = 73*j - 16. Let s(u) = 11*u - 2. Let g(p) = 5*p - 1. Let q(r) = -13*g(r) + 6*s(r). Let i(z) = 4*q(z) + x(z). Is i(19) prime?
True
Suppose 0 = -4*h + 5*b + 2269502, -h + 567359 = 8*b - 12*b. Is h a composite number?
False
Let p be (-20)/12*(2 + -5). Suppose p*q - q = 3*q. Suppose 3*b + q*b = -5*i + 2716, 4*b - 3623 = -5*i. Is b a composite number?
False
Let n(j) = 82*j + 29. Let t(u) = 82*u + 28. Let h(q) = 5*n(q) - 6*t(q). Let a(g) = -21*g - 871. Let w be a(-41). Is h(w) composite?
False
Let z be 5*13/(455/28). Suppose -8*a + 56172 = z*a. Is a composite?
True
Is (-8840768)/(-16) - -7 - 8*1 prime?
False
Let n(g) = g**2 - 14*g - 47. Let s be n(17). Suppose 0*l - 27208 = -4*a - s*l, 0 = a + 2*l - 6799. Suppose 0 = 13*b - 18*b + a. Is b composite?
False
Suppose 1384975 = 44*p - 2647669. Is p composite?
True
Suppose 236 = 56*n - 52*n. Suppose n*j + 13887 = 68*j. Is j a composite number?
False
Suppose -3*w - 92635 = -4*k - 1075432, 4*w = -k + 1310396. Is w a prime number?
True
Is -50 + 46 - (-11259)/12*74*2 prime?
False
Let l = -204 + 285. Is ((-2)/(-1) + -9)*(l + -208) prime?
False
Let f(p) = 51 + 2 + 3 + 342*p + 29 - 2. Is f(17) prime?
True
Suppose -2*q - 5*u = -17028 - 37925, 5*u + 137400 = 5*q. Is q a composite number?
False
Let l(k) = -31157*k + 696. Is l(-11) prime?
True
Let y(g) = 5*g**2 - g. Suppose -d = 62 - 63. Let v be y(d). Suppose -2*r + i = -v*i - 746, 1492 = 4*r + 3*i. Is r composite?
False
Let r(i) be the third derivative of -i**6/40 - i**5/20 - 5*i**3/6 - 49*i**2. Suppose 2*p - p + 4 = 0. Is r(p) prime?
True
Let w = -18 - -62. Let u be (6 - -2)*11/w. Is u/((-6)/6) + 1371 a composite number?
True
Let s(g) = -2424*g 