se 0 = -22*s + k*s - 309. Is s a prime number?
True
Let c = 266608 + -172439. Is c a composite number?
False
Let r(v) = 704*v + 48017. Is r(0) composite?
False
Let n = -131 - -106. Let s(f) = -21*f - 8. Is s(n) a prime number?
False
Is 1838842*1 + ((-4)/(-72) - 1288/(-144)) a composite number?
True
Let j(g) = g**2. Let c(x) = -2678*x**2 - 7*x - 7. Let f(u) = -c(u) - 6*j(u). Is f(-2) a prime number?
False
Let n(g) = 393*g**2 + 72*g - 26. Let q(p) = 1570*p**2 + 287*p - 106. Let y(a) = 9*n(a) - 2*q(a). Is y(-9) a prime number?
True
Let q = 25 - 27. Let m be (-4)/q*(2/(-4) - -2). Suppose 0 = -5*f - 3*o + 1610, 3*f = -m*o - 0*o + 972. Is f composite?
True
Let i(a) = a**3 + 4*a**2 - 7*a - 13. Let d be i(-5). Let v(u) = u**3 + 2*u**2 - 5*u - 10. Let j be v(d). Is ((-174)/(-4))/((-2)/j) a prime number?
False
Suppose 55*k + 121 = -99. Is -3*(k - 9/((-162)/(-5550))) a prime number?
True
Let f(r) = -122*r**3 - 2*r**2 + r - 2. Let n be f(-2). Suppose 0 = 2*m + 3*j + 1272, -3*j - 328 = -m - n. Let i = -345 - m. Is i prime?
False
Let h = 67 - 69. Is h/16 - 48754/(-16) composite?
True
Let f(h) = h**2 + 7*h + 131. Let j be f(13). Suppose -2*r - j = -7773. Is r a composite number?
False
Suppose -18 = -138*f + 137*f. Suppose -7*k + k = -f. Let r(z) = 74*z**2 + 11. Is r(k) a prime number?
True
Let j(o) be the third derivative of o**6/2 - o**5/15 - o**4/2 - o**3/6 - o**2 - 35*o. Is j(5) composite?
True
Let x(i) be the first derivative of -8 + 3*i**3 - 5/2*i**2 + 13*i + 1/2*i**4. Is x(6) a composite number?
False
Let q = 231 + -228. Suppose 4*c = -u + 21309, -u - 15963 = -q*c + 2*u. Is c a composite number?
True
Suppose s = -4*d + 21, 4*s - 4*d - 12 = -2*d. Suppose 5*l = -5*c - 0*c - 55, -s*l - 41 = -2*c. Let w(r) = 21*r**2 + 6*r + 40. Is w(l) composite?
True
Suppose -61*n + 57*n = -16. Suppose 3 = 2*h + h, -5*q = -n*h - 21. Is 3 + q/((-20)/(-15032)) prime?
True
Let m(d) = 7135*d + 3188. Is m(3) a prime number?
True
Suppose -n = -4*h + 2*n + 196, -2*n - 146 = -3*h. Let s = -44 + h. Suppose 0 = l - 0*l - 4*d - 459, 953 = s*l - d. Is l composite?
False
Suppose 12945272 = 75*q - 1438903. Is q a composite number?
True
Let k = -33 - -36. Suppose 3*s + 28 = -k*y + 4*y, 4*y + 18 = -s. Is 6/s + 1466/10 a composite number?
True
Suppose -2*f + w = -4*w + 76, -f - 3*w - 16 = 0. Is ((-6372)/(-9))/((-3)/f) + 6 composite?
True
Let c(v) = -51*v**2 - 6*v - 16. Let b(i) = -101*i**2 - 13*i - 33. Let u(t) = 3*b(t) - 7*c(t). Is u(8) a prime number?
False
Suppose 0 = -5*y + 2*k - 136415, -2*y + 7*y + 136415 = -4*k. Let d = y + 43220. Is d a prime number?
True
Let c = -169297 + 593064. Is c composite?
True
Let l(a) = -13 - a**2 - 2*a**2 - 10*a + a + 2*a**2. Let d be l(-6). Suppose -d*p = -2*p - 1659. Is p a composite number?
True
Let g(j) = -j**3 + j**2 - 22*j + 123629. Is g(0) a composite number?
True
Let y be (3/(-2))/(66/(-130328)). Suppose y + 3391 = d. Is d prime?
True
Is 30180 - (20 + 0 + -9) prime?
True
Let i be ((-12)/(-54))/((-2)/(-18)). Let f be i/(26/(-40) - (-2)/5). Is (-24)/f - 1252*-1 composite?
True
Let g(y) = y**3 - y**2 + y. Let m(s) = -6*s**3 + 285*s**3 + 6*s + 215*s**3 - s**2. Let c(l) = 4*g(l) - m(l). Is c(-1) a prime number?
False
Let j be (10/7)/(1/7). Suppose 0 = j*x - 7*x - 10611. Is 4/6*x/6 a composite number?
True
Let i = -19 + 29. Suppose 3*d = 0, 9*d - i*d + 1306 = 2*n. Is n a composite number?
False
Let k(r) = 53*r**3 + 2*r**2 + 3*r - 8. Let v be k(4). Suppose 0 = -5*i - 1013 + v. Suppose 0 = j, -2*j - i = -3*f + 2178. Is f prime?
True
Let t(a) = a**2 - 3*a + 4. Let y be t(7). Let u(l) = 6*l + 24 + y*l + 31*l + 5*l. Is u(11) a composite number?
True
Suppose -j - 5*t + 117139 = 0, j + 9*t - 117127 = 7*t. Is j prime?
True
Let x(d) = d**3 - 2*d**2 - 16*d + 72. Suppose -4*q = -4*n - 60, -q - 6 + 21 = n. Is x(q) a prime number?
False
Let u = -172 - -198. Suppose 7*b = u*b - 340195. Is b a prime number?
False
Let g be (344/(-32) + 7)*4. Is (-6 - 3)*6805/g a prime number?
False
Suppose 0*l + a - 2332 = -l, -4*a + 4660 = 2*l. Let m = 5255 - l. Is m a prime number?
False
Let j(h) = -120*h**3 - 34*h**2 + 13*h + 32. Is j(-9) a prime number?
False
Let t be ((-432)/(-135))/((-4)/(-10)). Suppose 4*w - 2968 = -4*z, 4*w + t*z - 5*z = 2965. Is w a composite number?
False
Suppose -132973 = -3*k - 4*t, 3*k - t + 177306 = 7*k. Suppose 23*i - k = 4*i. Is i a composite number?
False
Let t = 30 + -11. Suppose -25836 = t*y - 25*y. Is y/(-10 + 5 + 7) a prime number?
True
Suppose -274028 = -4*o - 5*k + 736620, -2*k - 505342 = -2*o. Is o a prime number?
True
Let h(j) = 6854*j**2 - 720*j + 9. Is h(-5) a prime number?
True
Let p(a) = -9*a**2 + a**3 + 5 - 4 - 4 - 2 + 9*a. Let z be p(8). Suppose 2*b + 681 - 3608 = z*m, 4*m = 4*b - 5848. Is b a prime number?
True
Suppose -w = -5*p + 160000, 5*w + 7858 = p - 24118. Is p a prime number?
False
Suppose 1846 = -2*p + o - 3*o, 0 = 2*p - o + 1861. Let q be (-2 - p/(-12))*-3. Let z = q - 129. Is z composite?
False
Suppose -2*u = g - 162877, 17*g = 13*g - 4. Is u composite?
False
Let k(p) = 7*p**3 + 2*p**2 - 2*p + 289. Is k(16) prime?
False
Let c = 4751 + -8657. Let v be (-5)/(10/c) + -2. Suppose -3*f = -v - 9026. Is f prime?
True
Let p be (80/56)/((-40)/(-56)). Let f(k) = 16*k**3 + 1 + 0 + 2*k - 2. Is f(p) a prime number?
True
Suppose 5*c + 3*m - 7*m - 125271 = 0, -3*m - 12 = 0. Let b = -10980 + c. Is b prime?
True
Let i(p) = -61*p - 4. Suppose -408 = -r + 5*r. Let d be 294/r + (-6)/51. Is i(d) a composite number?
False
Is 2/((-4)/1822)*(0 + 7 + -758) prime?
False
Is 1/(5/2) - (-466699973)/1555 a composite number?
True
Let x = 624318 + -51217. Is x composite?
False
Suppose -23492 = -3*b + 10*b. Let q = b + 6269. Is q a composite number?
True
Let o(p) = p**3 - 6*p**2 - 35*p + 15. Let y(x) = -x + 21. Let z be y(8). Is o(z) a prime number?
True
Let v be (-24)/(-1 + 5) + -2 + 13. Suppose v*i - 71249 = -u + 8*i, -2*u + 3*i + 142486 = 0. Is u composite?
False
Let i = -84 + 120. Let n be 10/4*i/30. Suppose n*m - 5334 = -3*m. Is m a prime number?
False
Let n(h) = h**3 + 2*h**2 - 12*h - 14. Let g be n(-4). Let m = 3 - 1. Suppose g*z - 1172 = -m*z. Is z a prime number?
True
Let r be -4*(4200/16 - 4). Let d = 2493 + r. Is d a prime number?
True
Let y(t) = -7*t**2 - 11*t - 3. Let d be y(-3). Is d/(-22) - 14/(-4) - -2490 a composite number?
True
Suppose 0 = 9*h - 8*h - 1, -2*h + 763532 = 5*o. Suppose -o = -8*s + 13046. Is s prime?
True
Let y(v) = -v**3 - 6*v**2 + 3*v + 16. Let i be y(-6). Let n be (0 - i)/(0 + 1/2). Suppose -779 = -h - n*k, 2*h - k = 4*k + 1584. Is h composite?
False
Suppose 5*t - 212 = 4*f, f - 6*f + 5*t = 260. Let d = f + 52. Suppose 1305 = d*i + 5*i. Is i a prime number?
False
Let c(k) = 132*k**2 - 37*k + 78. Is c(29) a prime number?
True
Suppose 38*j - 37*j - 5*t - 1474406 = 0, -j - t = -1474412. Is j composite?
False
Let l(c) = 21*c**2 - 12*c - 16. Let s(h) = h**3 - 12*h**2 + 11*h - 1. Let g be s(11). Let z = g - 6. Is l(z) a prime number?
True
Suppose -7*t + 3091 = 3056. Let g = -166 - -244. Suppose 4*c - 217 = -y, t*y - g = -c - 0*c. Is c prime?
True
Let k(j) = -j**3 - 4*j**2 - 5*j - 1. Let p be k(-5). Suppose 3*f - 21574 = -5*w, 6*w - 2*f = 2*w + 17268. Suppose p*o + w = 53*o. Is o prime?
False
Suppose 5*k - 6 - 15 = l, 0 = -4*k + 20. Suppose d - 5*c + l = 3*d, -5*c - 6 = -3*d. Suppose h - 1021 = -w, -d*h + 0*w + 2*w = -2030. Is h composite?
True
Let l(k) = 16 - 5*k**2 + 136*k + 23*k**2 - 151*k. Let d be l(-9). Suppose d - 341 = 4*b. Is b composite?
False
Let o = 34847 - -105540. Is o a composite number?
True
Let y be (7*(-257 - 5))/2. Let z = y + 2716. Is z a prime number?
False
Let s = -22040 - -37345. Is s a composite number?
True
Let d(v) = -19*v**3 + 6*v**2 - 4*v - 34. Let z(s) = 20*s**3 - 6*s**2 + 4*s + 34. Let x(i) = -3*d(i) - 4*z(i). Is x(-5) a prime number?
True
Suppose -19*v + 99*v = -24*v + 3834064. Is v a composite number?
True
Suppose 3*y - y = -3*y. Suppose 5*h + 1096 = 2*t, y = -t + 5*t + h - 2148. Is t prime?
False
Let g be 5 - ((-28)/(-36) - (-4)/18). Suppose g*r - 16 = 0, -5*p - 3*r = r - 41. Suppose 0 = 4*y - 16, 8*x - 2585 = 3*x + p*y. Is x a prime number?
True
Suppose -a + 12251 = 7*d - 5*d, -5 = -5*d. Suppose 0*z = 9*z - a. Is z a composite number?
False
Suppose -3*x + 6*x - 67123 = a, 0 = -3*x + 3*a + 67131