x. Is x a composite number?
False
Let g be ((-8)/10)/(4/(-70)). Suppose -5*q = -251 - g. Is q a composite number?
False
Let x(c) = -c**3 + c**2 + c. Let q(i) = 10*i**3 - 10*i**2 - 4*i + 4. Let s(a) = -q(a) - 5*x(a). Is s(-5) a prime number?
True
Let h = 291 + 298. Suppose 230 = 2*k - 6*a + 2*a, 5*k + 4*a = h. Suppose -3*o = r - k, 5*r - 5*o = 4*r + 101. Is r prime?
False
Suppose 49*w = 47*w + 30. Suppose 24997 + 2018 = w*c. Is c composite?
False
Let k be 16/40 + (-76766)/(-10). Let p = 11470 - k. Is p prime?
True
Let o be -3 - (-2 - (0 + 2)). Suppose 0*w - a - 13 = -3*w, w + 3*a = o. Suppose -191 = -w*j + g, -j + 28 = -g - 16. Is j prime?
False
Let k(b) = -b**2 + 3*b - 2. Let r be k(5). Let q = 14 + r. Suppose -184 = -2*g - 3*v, 0 = 2*g + 2*g - q*v - 352. Is g prime?
True
Let p = 82 + -46. Let a = p + -5. Is a composite?
False
Let d be 1/((12/33)/(-4)). Suppose -3*s = -0*s + 12. Is d/s*10*2 a prime number?
False
Let t(j) = 9*j**2 - 12*j + 12. Let x be t(8). Suppose u = -z - 3*z + x, u = 0. Is z composite?
True
Suppose -2*s - 15 = -5*h, -5*h - 5*s - 2 + 17 = 0. Suppose -5*b + 4*n = h + 16, 0 = -n + 1. Let g(u) = -13*u**3 + 4*u. Is g(b) a composite number?
True
Let y(r) = -r**2 - 1. Let z(u) = 5. Let s(i) = -4*y(i) - z(i). Let c be s(-1). Suppose -5*f = -5*d - 940, -4*f + c*d = -549 - 206. Is f composite?
False
Let q be (-4151)/(-28) + (-1)/4. Is -1*3 + (q - -4) a prime number?
True
Let k be ((-6)/(-9))/(6/108). Is 4/k*(667 - -2) composite?
False
Let b(i) = -2*i - 14. Let p be b(11). Let m be 192/p - 4/6. Let y = 25 + m. Is y prime?
True
Suppose -6*o = 7*o - 41665. Is o composite?
True
Suppose 12 - 36 = -2*a. Let s = 83 + -81. Is (615/a)/(s/8) a prime number?
False
Let y(l) = 684*l**2 - 7*l - 3. Suppose 3*s + 5 - 3 = 2*d, 3*d = -15. Is y(s) a composite number?
True
Let c(a) be the first derivative of 5*a**4/3 + 7*a**2/2 - 4*a + 5. Let h(k) be the first derivative of c(k). Is h(-3) prime?
False
Suppose 59*a - 16727 = 16*a. Is a composite?
False
Let s = 27188 - 14445. Is s prime?
True
Let m = 2171 + -648. Is m composite?
False
Let t(u) = u**3 - 13*u**2 - u + 15. Let b be t(13). Suppose 3*l = b*l + 5. Is (-2 - -213)*5/l prime?
True
Let a be (-9)/(-3) - -13*1/(-1). Is 220 - ((-14)/10 + (-4)/a) composite?
True
Suppose j = -3*j - 588. Let h = 590 + j. Is h a composite number?
False
Let u(k) = -4*k**2. Let t be u(-1). Let m = 9 + t. Suppose -2*s - 4*g + 103 - 1 = 0, 0 = 5*s + m*g - 260. Is s prime?
True
Is 101563/11 + 0 + 2 a composite number?
True
Let g(f) = 11*f**3 - 6*f**2 - 12*f - 11. Is g(6) a composite number?
True
Let v(n) = -593*n**3 + 5*n**2 + 2*n + 5. Let f(g) = -890*g**3 + 8*g**2 + 3*g + 8. Let x(k) = 5*f(k) - 8*v(k). Is x(1) prime?
True
Let l = 10002 + 16735. Is l composite?
False
Let r(y) = -28*y - 12. Let c(v) = 9*v + 4. Let g(l) = -16*c(l) - 5*r(l). Let t be g(-2). Suppose 2*w - 6 = 0, t*h + 0*w - 30 = 2*w. Is h composite?
True
Let w be (24/(-9))/(2/6)*-361. Let d = 4311 - w. Is d a prime number?
True
Let s = -1069 + 2041. Suppose p - s = -2*t, 4*t + 2 = 6. Let q = p + 199. Is q prime?
False
Let k(m) = 2*m**2 + 42*m - 213. Is k(38) composite?
False
Let c be 3 + (-3 - -4 - 4). Suppose c = 4*j, 4*x + 1745 = 3*j + 713. Let p = x - -391. Is p a composite number?
True
Suppose 4*t = -5*a + 3457 + 1004, 1794 = 2*a + 4*t. Is a prime?
False
Let x = -10477 - -15704. Is x prime?
True
Let v = 41 - 37. Suppose 6*l - x - 1590 = 2*l, -v*x - 1199 = -3*l. Is l prime?
True
Suppose 0 = 3*j - 3*u - 5061, -3*j + 0*u = -2*u - 5063. Is j composite?
True
Let j be (-4 - (2 - 5)) + 4. Suppose 4 = -j*t + 13. Suppose -r - 2524 = -5*r + 5*o, -t*r + 1893 = o. Is r a composite number?
False
Let z be (-126)/(-27)*(-6)/(-4). Let n(x) = 2*x**2 - 2*x - 4*x**2 - 6 + 5*x**2. Is n(z) prime?
True
Suppose -26*y + 33*y - 53753 = 0. Is y a composite number?
True
Let z(a) = -a**3 + 9*a**2 - a + 9. Let o be z(9). Suppose o - 3 = -f. Suppose 0 = f*t - 0*t - 2157. Is t a composite number?
False
Let o = 492 - 263. Let t = -112 + o. Let y = 134 + t. Is y a composite number?
False
Suppose 0 = -5*m + 7 - 7. Suppose m = z - 710 - 411. Is z a prime number?
False
Suppose 5*j + 8*f = 9*f + 125553, -2*j + 50232 = 5*f. Is j a composite number?
False
Suppose 5*z + 8383 = -2922. Is z/(-4) - 16/64 composite?
True
Suppose 0 = 4*j - 2*w - 78, 3*j - w - 51 = 2*w. Suppose j = 4*v - 26. Suppose -15*h = -v*h - 231. Is h a prime number?
False
Let v = 46 - 44. Is (-495)/(-22) + (5/v)/(-5) a prime number?
False
Suppose 5*t - 709 = -2*o + 6846, 1503 = t + 2*o. Is t prime?
False
Suppose 3*m - 875 = 3*c + 2617, 4*m - 4626 = -2*c. Let p = m + -566. Suppose -p = o - 2*o. Is o a composite number?
False
Let l(p) = -2*p + 21. Let b be l(16). Let y(z) = -2*z**3 - 15*z**2 + 2*z - 16. Is y(b) prime?
True
Suppose 411 = -v + 2*v + 3*u, 0 = 4*u. Let n = v + -267. Suppose -2*b = 2*m + 2*m - 132, -4*m + b + n = 0. Is m a prime number?
False
Let f(i) = 15630*i**2 + 4*i - 1. Let g be f(1). Let h = g - 10850. Is h a prime number?
True
Let x(t) = -5*t**3 + t**2 - 6*t - 10. Let z be x(-9). Suppose -2*d + z + 1104 = 0. Is d composite?
False
Suppose 0 = c - 2*x + 22, -x + 1 = -2. Is (-5 - 68/c)*-3412 a composite number?
True
Let k be (-11)/(-1) + (-6)/(-6). Suppose 3*r - 3*b = -2*r - k, -5*r + 4*b - 11 = 0. Is r/6 - (-423)/2 a composite number?
False
Let u(c) = -148*c**2 - 2*c + 15. Let q be u(5). Let r = 6946 + q. Is r a composite number?
False
Let x(c) = c**3 + c**2 - 2*c + 232. Let p be x(0). Suppose -5*l = -s - 3*s - 587, 2*l - 3*s = p. Is l composite?
True
Let o(f) = 213*f**2 - f - 3. Let c be o(2). Let j = 2796 - c. Is j composite?
False
Let m(b) be the third derivative of b**8/4032 + b**7/1680 - b**6/720 - b**5/20 - 2*b**2. Let q(z) be the third derivative of m(z). Is q(-7) composite?
False
Let x(l) = -l**2 + l + 17. Let a be x(5). Let z be a*(7 + 16/(-4)). Let s(f) = 9*f**2 - 13*f - 7. Is s(z) prime?
True
Suppose 63 = 6*a + 21. Suppose -a*l = -8*l + 907. Is l a prime number?
True
Suppose -37*n + 19*n + 32058 = 0. Is n composite?
True
Suppose -3*v - 5*l + 176339 = 0, -3*v + 2*l + 3*l = -176359. Is v prime?
False
Suppose -16*d - 720233 = -35*d. Is d prime?
True
Suppose 0 = -6*b + 3*b + 21. Suppose h - 1 = -b. Let r(p) = -22*p - 19. Is r(h) composite?
False
Suppose 24 = r - 7*k + 3*k, -3*r + k = -61. Let y(t) = -t**2 + 21*t + 11. Is y(r) composite?
False
Suppose 0*a = -4*a + 216. Suppose -5*f = -41 - a. Is f composite?
False
Let q = -24 - -24. Suppose q = -8*p + 880 + 104. Is p a prime number?
False
Let k(u) = 636*u**2 - 1. Let j(h) = -h**3 + 7*h**2 + 6. Let s be j(7). Suppose -5*a + 1 - s = 0. Is k(a) a composite number?
True
Let w be 4228/6 + (-1)/(-3). Let s be ((-408)/(-340))/((-8)/10 - -1). Suppose j - s*j = -w. Is j composite?
True
Let r = 49 + -29. Suppose -4*p + 2*v = -r, -p - 4*v = -5*v - 3. Let f(c) = -c**3 + 8*c**2 + 5*c - 5. Is f(p) prime?
True
Let h = -30 + 58. Let p be 1586/30 - h/(-210). Is p*(-2 + -2)/(-4) composite?
False
Let g(z) = 874*z - 99. Is g(29) a prime number?
True
Let v(p) = 40*p**2 - 5*p - 2. Is v(15) a prime number?
True
Suppose 0 = -3*k + 3*m + 312, -3*m - 28 = -2*k + 179. Let n be 30/(-2 - k/(-48)). Suppose 2*d - 942 = n. Is d a prime number?
False
Let q(i) = 5*i**2 + 4*i + 1. Let o be q(-3). Suppose -7*p + o = -225. Is p composite?
False
Let g = 36 + -17. Suppose -g*m - 2279 = -20*m. Is m a composite number?
True
Let v(b) = 40*b + 11. Suppose 3*y + 24 = r, 0*y - 4*r = -4*y - 40. Let h(m) = -m**3 - 8*m**2 - 9*m - 7. Let c be h(y). Is v(c) a prime number?
False
Let x(h) = 126*h**2 - 2*h - 1. Let l(f) = -f**2 - 5*f + 5. Let w be l(-5). Suppose -3*z - 5*r + 4 = -2*z, 5*z = -w*r. Is x(z) composite?
False
Let l be 7866/(-24) - (-1)/(-4). Is 1 + 2 - 1*l composite?
False
Suppose -2*k = 5*m - m + 10, 3*k = m - 15. Suppose m = -4*y + 70 + 574. Is y a prime number?
False
Let f = 2846 + -420. Is f prime?
False
Let f = 176 + -104. Is 119320/f + 4/(-18) composite?
False
Let y = 27372 + -10373. Is y prime?
False
Let w(n) = 6*n**2 - 15*n - 16. Let r be w(-6). Suppose -3*s = -1909 - r. Is s composite?
False
Let i(a) = 44*a**3 - 22*a**2 + 10*a + 7. Is i(6) a prime number?
True
Let z(t) = 7*t**3 + 4*t**2 - 3*t + 2. Let k(u) = u - 6. Let g be k(10). Suppose g = 5*i - 11. Is z(i) a composite number?
True
S