 a prime number?
True
Suppose -8*n = 2*n - 16780. Suppose 0 = -5*s - i + 2096, 0*s + 2*i = -4*s + n. Is s prime?
True
Let q(z) = -z**3 + 8*z**2 - 9*z + 19. Let v be q(7). Suppose -5*u - v*u = -1910. Is u a prime number?
True
Let y(a) = 19*a**2 - 5*a - 2. Let u(t) = t**2 - 9*t + 9. Let n be u(7). Let x be y(n). Suppose 0 = -0*d - 6*d + x. Is d prime?
True
Suppose 4 = 3*r - 2. Suppose -r*y - 437 = -o - 4*o, 0 = -3*y - 3. Is o a composite number?
True
Let q(w) = -2*w**3 - w**2 - 6*w - 6. Let x be q(-4). Let a = x - 201. Let k = a - -160. Is k a composite number?
False
Suppose 1327 = d - 750. Let l = d - 1088. Is l composite?
True
Let h = 188 + -278. Let n be 1083/(-7) - (-42)/(-147). Let v = h - n. Is v composite?
True
Let u(b) = 1 - 497*b + 1 - 2. Is u(-1) prime?
False
Suppose -3*c = 5*b - 24604, 3*b = -15*c + 19*c + 14745. Is b a prime number?
True
Let w(k) = 137*k - 27. Is w(4) a composite number?
False
Suppose -2*w = 8 + 4. Let j be -8 + (-2 - w) - -7. Suppose j*u = 62 + 199. Is u composite?
True
Let k be 2 - (-1 + 2) - 82. Let t(n) = 3*n + 145. Let r be t(13). Let a = k + r. Is a a prime number?
True
Suppose -k = -0 - 4. Let x(h) = h**3 - 3*h**2 + 2*h - 5. Is x(k) a composite number?
False
Suppose m + 5*g - 189 - 127 = 0, 1184 = 4*m + 4*g. Is m prime?
False
Let o be (30/(-1))/((-21)/(-14)). Let l be (-9122)/10 + (-4)/o. Let m = -619 - l. Is m a prime number?
True
Let a(t) = t**2 + 2*t - 12. Let f be a(-5). Suppose y - 5*i - 228 = 0, 0*y + f*i = -4*y + 797. Is y prime?
False
Let r = 2653 - 1644. Is r composite?
False
Let k = 822 - -85. Is k prime?
True
Let c be (4 + -7)/(-6)*-72. Is (-8)/c + 7142/18 composite?
False
Is 6/(-4) + 1 - (-5445)/2 composite?
True
Suppose 13*c - 7570 = 18*c. Let z = -751 - c. Is z composite?
True
Suppose 5*y - 19 = -l, -4*l = -3*y - 9 + 2. Suppose 5*r - 2320 = -3*k, 183 = -2*r - l*k + 1097. Is r prime?
True
Let c(y) be the first derivative of 1/2*y**2 + 82*y + 7. Is c(0) a prime number?
False
Let l = -14083 - -25104. Is l prime?
False
Let z(w) = 12*w**2 + 25*w + 65. Is z(14) composite?
False
Let n(g) = -11*g + 3. Let a be n(1). Is a/12 + (-1149)/(-9) a composite number?
False
Let t(q) = -639*q - 111. Let c(r) = -319*r - 56. Let b(m) = -7*c(m) + 4*t(m). Is b(-5) prime?
False
Suppose 2*b - b - 22 = 0. Let p = 701 - b. Is p prime?
False
Let x(g) = -24*g**2 - 9*g + 5. Let c(m) = 37*m**2 + 13*m - 7. Let j(h) = -5*c(h) - 8*x(h). Suppose -3*o + 30 = 2*o. Is j(o) prime?
False
Let o(n) = -4*n**2 + 2*n + 1. Let z be o(-1). Let y = 5 + z. Suppose -4*m + 7*m - 1119 = y. Is m composite?
False
Let j = -3669 + 10355. Is j a prime number?
False
Suppose -t = -f - 2, 2*f + 3*t + 24 = -f. Let c(b) = -b**3 - 4*b**2 + 5*b - 6. Let h be c(f). Is (582/(-10))/(h/30) a prime number?
False
Let g(y) = 23*y - 33. Let i(k) = 47*k - 65. Let z(p) = 9*g(p) - 4*i(p). Is z(6) a prime number?
False
Suppose -24*h = -26*h + 1028. Suppose -2*t + h = -372. Is t a prime number?
True
Let i = -9 - -14. Suppose 0 = i*a - 1917 - 5008. Is a a composite number?
True
Suppose j = 5*x - 11578, x + 2*j + 2321 = 2*x. Is x a prime number?
False
Let v(l) = -2*l - 5. Let k be v(-5). Suppose -k*o - w = -4375, w - 2623 = -5*o + 2*o. Let y = o - 449. Is y prime?
False
Let q = 46 + 9. Is q + 4 + -4 + 4 prime?
True
Let b = -39 + 25. Let h(w) = 7*w**2 + 16*w - 7. Is h(b) prime?
False
Let f(k) = k**3 + 5*k**2 + 3*k - 4. Let j be f(-4). Suppose 2*m - 3*m + 665 = h, -4*h - 3*m + 2662 = j. Is h a composite number?
True
Suppose i + 4*a + a = 9, 3*a = 4*i - 36. Suppose 357 = i*j - 16356. Is j composite?
True
Let a(d) = -49*d + 26971. Is a(0) a composite number?
True
Let b = 20949 - -2156. Is b prime?
False
Suppose 2*r = 3*g - 3702, -4*r - 5*g + 4273 - 11633 = 0. Let s = 3088 + r. Is s a composite number?
True
Let r be 134/(-11) - (-2)/11. Is (-23260)/r + 3*4/18 a prime number?
False
Let g(p) = p**3 - 13*p**2 - 39*p + 209. Is g(20) composite?
True
Suppose -x - 2*h + 0*h + 1199 = 0, 1215 = x - 2*h. Let f = x + -860. Is f a prime number?
True
Let x(v) = 7*v**3 - 50*v**2 + 15*v - 15. Is x(13) composite?
False
Let z be 28 - (2/(-2) - 1). Let w be 6/9 + z/9. Suppose 59 - 595 = -w*q. Is q a prime number?
False
Let d be -2*(2 - (-7)/(-2)) + -8. Is (-3)/d + 1/((-5)/(-4252)) a prime number?
False
Suppose -4*m = 4*n - 52, -4*m - m = -3*n - 33. Let q = m + -15. Is -1 + 1 + -3 - q a composite number?
False
Let b = -1248 - -19499. Is b a composite number?
False
Let l(d) = -2*d**3 - 33*d**2 + 53*d + 29. Is l(-24) prime?
False
Let j be (-54)/(-90) - 5354/(-10). Let n = j - 303. Is n composite?
False
Let k(t) = 330*t + 1. Let h be k(-1). Let a = 592 + h. Is a a composite number?
False
Let j = 3 + -1. Is (67/j)/(7/14) prime?
True
Let s(a) = -81*a**3 - 3*a**2 + 5*a + 5. Let m(c) = -c**3 - 1. Let k be m(1). Is s(k) a composite number?
False
Let c be (7 - 5)/(2/17). Let a = 72 + c. Is a a prime number?
True
Let i be 7/4 - 7/(-28). Suppose 3*h + 2*q - 425 = 3*q, 0 = i*h - 5*q - 292. Let f = h + -88. Is f a prime number?
True
Let a(j) be the first derivative of 6*j**3 - 5*j**2/2 - 14*j + 4. Let k be a(-6). Let u = -29 + k. Is u a composite number?
True
Let v = 1060 + 29151. Is v a prime number?
True
Let k(p) = p**2 - 9*p - 4. Let t be k(-18). Let q = 727 - t. Suppose -q - 18 = -f. Is f composite?
False
Let t = 1105 - 785. Suppose -s - p + 83 = 0, -t = -8*s + 4*s - p. Is s prime?
True
Suppose -12*o - 827011 = -53*o. Is o prime?
False
Let o(x) = -2*x**3 - 2*x**2 - 2*x - 1. Let k be o(-1). Let n(g) = 161*g + 1293. Let h be n(-8). Suppose c + 15 - 177 = h*b, 0 = -b + k. Is c prime?
True
Let r = -13 + 11. Let j be ((-16)/2 - 0)/r. Suppose -c = j*c - 475. Is c prime?
False
Suppose m + 3*a - 10423 = 0, -10*a + 7*a + 41656 = 4*m. Is m composite?
True
Suppose 0 = -2*k + 15956 + 45618. Is k a composite number?
True
Let n be 0 + (10 - -4) + 1. Let d = n - 11. Suppose -204 = -d*i + 5*k, i - 51 = -0*i + k. Is i a composite number?
True
Let d be (-2)/(-8)*-2*0. Let u be (d + 0)/(16/(-8)). Let w(i) = i + 471. Is w(u) a composite number?
True
Suppose 22*t + 2355 - 68597 = 0. Is t a composite number?
False
Let w be (-690)/(-35)*(1 - -6). Suppose -m + 10 = 51. Let k = m + w. Is k a prime number?
True
Let g = 1201 - 542. Is g a prime number?
True
Suppose -7*a + 3*a = -4*w + 6388, -3*w = 5*a - 4791. Is w composite?
False
Is (-1)/(3*(-6)/31572 + 0) composite?
True
Let r(u) = -458*u - 1. Is r(-4) prime?
True
Let l(q) = -2*q. Let o be l(-8). Suppose -t - 3*t + 5*d - 4 = 0, -4*d = -o. Is 490/t + (-4)/(-8) prime?
False
Let p(w) = -36*w + 31. Suppose 0 = -4*q + 76 - 160. Is p(q) a composite number?
False
Let b(f) = 538*f - 15. Let o be (-20)/(-70) + 26/7. Is b(o) a composite number?
False
Let z be (-24)/204 - (-752)/34. Let f(r) = 75*r**2 + r + 1. Let h be f(-1). Let l = h - z. Is l prime?
True
Suppose 4*v + 2 = -2*t + 6, -3*t + 3*v = -24. Suppose -t*b + 2*b = -356. Is b composite?
False
Suppose 130 = -5*a + 3*l, 3*l - 130 = 5*a - 2*l. Let i = -23 - a. Suppose 2*d - i*d + 77 = 0. Is d prime?
False
Let r(c) = 94*c**3 - 11*c**2 - 26*c + 6. Let q(f) = -19*f**3 + 2*f**2 + 5*f - 1. Let a(o) = -11*q(o) - 2*r(o). Is a(3) composite?
False
Let d = 119856 + -11551. Is d composite?
True
Suppose 0 = -3*c - 3*h + 27453, -41*h + 46*h - 36604 = -4*c. Is c composite?
False
Let h be (6/(-4))/(4/(-24)). Suppose 11*x = h*x - 2132. Is x*1*(-2)/4 prime?
False
Let k = 57634 - 28467. Is k a composite number?
False
Let k = 17761 - 12427. Suppose i = 2*i + k. Is i/(-2)*(-4)/(-12) a composite number?
True
Is (-1)/(20/(-736)) + 1/5 prime?
True
Let o(f) = -f**3 + 4*f**2 + f - 4. Suppose -a = 5*h - 4 - 7, a = -4. Let r be o(h). Let v = r - 5. Is v composite?
False
Let f(o) = 1191*o + 3. Let y be f(-1). Let u = -73 - y. Is u a composite number?
True
Suppose 0*h - 2*h - 2*g = -54, -5*g - 72 = -4*h. Suppose 27*w = h*w + 628. Is w prime?
True
Let t(o) = -o**3 - 2*o**2 + 3*o - 5. Let v = 10 + -7. Let p be (-4)/(3 + -5 + v). Is t(p) composite?
True
Let b(g) = 6*g + 3. Let j(p) be the first derivative of -p**3/3 - 13*p**2/2 - 6*p - 3. Let u(o) = -5*b(o) - 3*j(o). Is u(-8) a composite number?
True
Suppose 0 = 19*b - 13*b - 1074. Is b prime?
True
Suppose 1107 = 5*l + 262. Suppose 0 = 2*w - 3*d - 163, 0 = -2*w - 0*d - 3*d + l. Is w composite?
False
Let p(v) = 22