
Suppose -3*k + 123 = 3*c, -4*k + c = -4*c - 209. Suppose 0 = -3*t - k - 383. Let m = t - -262. Is m composite?
True
Suppose -31*n + 50*n = 7334. Is n a composite number?
True
Let d = 20 + -14. Let l = d + -8. Is (12/l)/((-8)/20) prime?
False
Let c(f) = 595*f - 261. Is c(14) a prime number?
True
Let w = -98 + 100. Is 524/w*(-143)/(-22) composite?
True
Let u(f) = 11*f**3 - 12*f**2 - 10*f + 8. Is u(15) prime?
True
Let t(b) = -b**3 + 22*b**2 - 11*b - 15. Let p be t(21). Suppose 0*v - 3*v = 2*u - 92, 5*v = 5*u + p. Is v composite?
True
Suppose 5*r - 8*r + 15 = 0. Suppose 289 = h - 2*m, h + 1143 = r*h + 5*m. Is h a composite number?
True
Let c = -9 - -66. Let d(o) = -9*o + 10. Let v be d(4). Let f = v + c. Is f composite?
False
Let u = -29265 + 41918. Is u composite?
False
Let f be (15/(-2))/(-1)*98 - -1. Is f - 5/(20/12) a composite number?
False
Let k(j) = 3*j**2 - 4*j**2 + 3 + 22*j - j**3 - 8 - 4*j**2. Is k(-15) a prime number?
False
Let m(f) = -f + 1. Let l(u) = -2*u - 9. Let v(z) = -l(z) + 3*m(z). Let x be v(8). Suppose 2*s = 0, -x*a + 1468 = -7*s + 3*s. Is a prime?
True
Let f be -3 + 3 + 30/(-2). Let m(k) = -2*k**3 - 19*k**2 - 25*k - 3. Let c be m(-8). Is (-4332)/f - (-1)/c composite?
True
Let w = 34063 + -13574. Is w a composite number?
True
Suppose -3*j + 2 = 3*l - 1, 3 = -3*l - 5*j. Suppose l*i + i - 45 = 0. Let q = i + 82. Is q a composite number?
True
Let j(o) = 67*o**3 - 3*o**2 - 3*o - 6. Is j(4) composite?
True
Let f = 2434 + -1393. Is f*(2 + (-17)/3 + 4) prime?
True
Suppose -5 = -v - 1. Suppose -790 = -v*l + 2*l + 4*t, 5*l - 4*t - 1981 = 0. Is l prime?
True
Let g(d) be the first derivative of -d**4/4 - 17*d**3/3 - 21*d**2/2 - 19*d + 39. Is g(-18) a prime number?
True
Suppose -8*l = -114178 - 85366. Is l a composite number?
False
Let d = 2520 + -211. Is d a prime number?
True
Let y(q) be the third derivative of 0 - 5*q**2 + 0*q + 5/2*q**3 - 7/3*q**4. Is y(-11) a prime number?
True
Let b(x) = 602*x**2 - 41*x - 202. Is b(-5) a prime number?
True
Let x = 15 + -14. Is 287/x + (-12)/(-6) a composite number?
True
Let l(w) = -w**3 - w + 406. Let z be l(0). Suppose -3*g + 6*g = 4*m + z, -3*g + 424 = 5*m. Is 2/(4*3/g) a prime number?
True
Let z = 10 - 8. Suppose -4*b + z*b = -3*q + 3550, q = 5*b + 1179. Suppose -4*d + q = -332. Is d a composite number?
False
Suppose 0 = -7*a + 415 + 222. Let j = 24 + a. Is j prime?
False
Let p(a) = -a**3 + a + 1832. Let f be p(0). Let y = -745 + f. Is y prime?
True
Let a(t) = -9*t**2 - 6*t - 4. Let y(h) = -8*h**2 - 7*h - 5. Let z(u) = -4*a(u) + 3*y(u). Is z(8) a prime number?
False
Suppose -4*i = -0*i - l - 7, 5*i - 3*l = 7. Is i/8 + (-763)/(-4) prime?
True
Let z = -244 - -97. Let a = z + 370. Is a prime?
True
Let t = -722 - -3181. Is t prime?
True
Let h(f) = -2*f + 77. Let g be h(0). Let a = g - -342. Is a prime?
True
Suppose -2*r + 4*s = -9372, 26613 - 3197 = 5*r + 4*s. Suppose -c = 5*w - 2348, -3*w + r = -4*c + 14007. Is c a composite number?
False
Let n = -319 - -338. Is n prime?
True
Let k(v) = -115*v - 13. Let h(i) = -i**2 - 22*i - 52. Let w be h(-20). Is k(w) a prime number?
True
Let v(l) = 15*l**3 - 10*l**2 - 13*l + 11. Is v(8) a prime number?
True
Let p = -31179 + 57956. Is p composite?
False
Let k = 24 + -28. Is (-521)/k*(9 - 2)*4 prime?
False
Let w = -54696 + 162739. Is w composite?
True
Suppose -m = 5*q - 30590, -q + 7234 - 1110 = -m. Is q a prime number?
False
Let l(f) = -f**3 - 13*f**2 + 17*f + 20. Let x be l(-14). Let n = 13 + x. Is (6/n)/((-4)/930) a prime number?
False
Let o(x) = x**3 + 4*x - 7. Let g be o(9). Suppose -5*k + 3*q = -1856, -4*k = -2*k + 4*q - g. Is k composite?
False
Suppose -32228 = -5*l - 4998. Suppose 3*a + 4*t = a + l, -5*t = 3*a - 8169. Is a a prime number?
False
Is ((-190335)/(-60))/(5 - 76/16) a prime number?
True
Suppose -3*q + 7*q - 6028 = 0. Suppose -h + q = -1141. Suppose -3*x + 2*z = 569 - h, 4*z - 2061 = -3*x. Is x a composite number?
False
Suppose -2*q + 147 = 41. Suppose -4*d + 2*i + 26 = 0, 2*d - 17 = 3*i - 6. Suppose -2*m + d*m = -2*o + 94, o = -4*m + q. Is o a prime number?
True
Let y = 14 + -11. Let q be 16/(-12)*y - 1. Is ((-6)/q)/((-8)/(-1940)) a prime number?
False
Suppose 5*x = -0*x + 660. Let a = -74 + x. Is (a/2)/(6/12) a prime number?
False
Suppose 3*q - 45 = i, -4*i + 30 = 2*q - i. Let x(b) = b**2 - 13*b + 11. Let r be x(12). Is ((-171)/q)/(r/5) a composite number?
True
Let q be (-1)/5 + 5/(150/936). Let f = q - -100. Is f composite?
False
Let g(y) = -y**3 + y**2 - 3*y + 317. Is g(0) prime?
True
Let m(s) = s**3 + 35*s**2 + 55*s - 22. Is m(-25) a composite number?
True
Suppose -8 = -37*b + 41*b. Let v(m) = -1128*m - 5. Is v(b) a composite number?
False
Let x = 30 + -50. Let z be 35/x*(-21 - -1). Suppose z = a - 156. Is a prime?
True
Suppose -h - 23 = -2. Let z = 24 + h. Suppose -2*y - z*o = -358, -6*y + y + 5*o = -895. Is y a prime number?
True
Let y = -35 + 37. Suppose -y*w + 89 = -93. Is w composite?
True
Let w(c) = -45*c. Let z(f) = -3*f + 2. Let t be z(2). Let a(q) = 90*q - 1. Let o(n) = t*a(n) - 7*w(n). Is o(-11) a prime number?
True
Let a(d) = -d**2 + 158. Let m be a(0). Suppose -2232 = -2*o + m. Is o composite?
True
Let m(d) = d**3 - d**2 + d - 52. Let n be m(0). Let c = n + 135. Is c prime?
True
Let w be 160/(-24)*3*9. Let a = w - -3383. Is a prime?
True
Suppose 0 = -3*i - b + 18, -4*i + 2*b + 9 + 5 = 0. Let o(j) = 2 + i + 6*j - 2 - 31*j. Is o(-2) prime?
False
Let s(o) = 32*o + 5. Let r(x) = -63*x - 11. Let g(h) = -3*r(h) - 5*s(h). Is g(19) prime?
False
Let g(p) = 2523*p - 25. Is g(2) composite?
False
Let o = 4282 - 858. Let d = o + -1731. Is d a prime number?
True
Suppose 0 = -5*l + 2*j + 30, -2*l = -4*l - 2*j - 2. Suppose l*v - b - 1270 = 0, -4*b + 1579 = 5*v - b. Is v prime?
True
Is 9378 + ((-35)/(-7))/1 a prime number?
False
Suppose -5*w = l - 2396, 0*l = -3*l - 3*w + 7224. Is l composite?
False
Let j(f) = -f**2 + 11*f - 14. Is j(4) a prime number?
False
Let n(u) = 13*u**3 + 4*u**2 - 4*u + 7. Suppose 2*v - 5*c - 21 = -8, -2*c - 2 = 0. Let b be (v - -2)*6/12. Is n(b) composite?
True
Let s be (4/6)/(20/30). Is (-1838)/(-2)*s/1 a composite number?
False
Let h be -5*(-9)/6*-2. Let p be -85 + 5/(h/6). Let g = p + 320. Is g prime?
True
Is 612942/370 + (2/5 - 0) prime?
True
Let n = 88 + -53. Suppose 39 = r - n. Is r a composite number?
True
Suppose 8*w - 6 = 7*w. Is (-218)/(1 - (0 + w)/2) a prime number?
True
Let w(j) = j**3 - 68*j**2 + 13*j - 121. Is w(70) a composite number?
False
Suppose -3*o = 3*y + 2595, 4*y = 6 + 2. Let k = o - -1370. Is k prime?
True
Suppose 3*z = -0*z - 78. Let r = z + 18. Is (-10)/(-40) + (-1894)/r prime?
False
Let w(o) = o**3 + 7*o**2 - 4*o + 14. Let q be w(-6). Is (q/6)/(4/156) prime?
False
Suppose -a - u = -702 + 224, 5*a = -3*u + 2386. Let j be a/(-49) + (-4)/14. Is 183/5 + (-4)/j a prime number?
True
Let r = 14416 - -93767. Is r composite?
True
Let f(h) = -h**2 - 5*h + 10. Let w be f(-6). Suppose -4*v + 1 = -w*y - 619, 3*v - 477 = -3*y. Is v prime?
True
Suppose -z + 21*p + 339 = 17*p, 4*p = -z + 307. Is z composite?
True
Let g = 22 + -21. Let s be (4 - g) + -2 + -1. Suppose 0*b - 4*r = 3*b - 561, s = b - 2*r - 197. Is b prime?
True
Suppose 0 = -2*t - 3*r + 10035 + 823, -3*r = 12. Is t composite?
True
Let d be (-2)/8 - (-19657)/(-44). Let v = 1508 + d. Is v composite?
False
Suppose -5*t + 3*b + 16331 = 0, -14*t - b + 13058 = -10*t. Is t composite?
True
Let j = -39 + 46. Suppose -j*s + 5*s = -166. Is s prime?
True
Let s = -101 - -115. Suppose 1048 - 10526 = -s*o. Is o prime?
True
Let l(w) = 25*w**2 - 110*w - 32. Is l(-13) a composite number?
False
Let z(u) = -7*u**3 - 2*u**2 + u + 7. Let l be z(-5). Suppose 3*w + 24 - 183 = -g, 5*g = w + l. Suppose 0 = 3*s + 2*s - g. Is s a prime number?
False
Suppose -7*w - 65 = -23. Let k(x) = -x**3 - 1 - 5*x**2 + 0 + x**2. Is k(w) prime?
True
Let a(x) = x**3 - 8*x**2 + 4*x - 15. Let j be a(-7). Let f = 1283 + j. Is f composite?
True
Suppose 0 = -7*h - 806 + 43. Let d = 516 + h. Is d a prime number?
False
Suppose -8*y = -4*y + 8. Let z be (y/10)/((-2)/10). Is z*(5 + -3 - -81) a prime number?
True
Let f = 45 + -52. Let o(r) = 11*r - r**3 - 3*r**2 + 2 + 3 + 3. Is o(f) a prime number?
True
Let c(a) = -a**3 + 9*a**2 - 2*a - 4. Let t be c(10). Suppose 3*i + i + 812 = 0. Let k = t - i. 