j**2 - 18*j - 12. Let i be y(16). Is 7/(385/(-10)) + (-369124)/i composite?
False
Suppose -56*z + 57*z + 5*c = 10831, 0 = -4*z + 3*c + 43232. Is z a prime number?
False
Suppose -6*i - n + 9 = -3*i, -i - n + 5 = 0. Let p(u) be the third derivative of u**6/6 + u**5/12 + u**4/8 - 5*u**3/6 - 6*u**2 - 24. Is p(i) a prime number?
True
Let x(l) = -l**2 - 4652. Let w be x(0). Let z be (-4)/(-10) + w/(-20). Suppose -5*p = -v + z, -448 = 4*v - 6*v + p. Is v prime?
True
Suppose 0 = -4*q + 1333*m - 1330*m + 1205954, -4*q = m - 1205946. Is q prime?
True
Suppose 36*r - 41*r + 829656 = -z, -3*r = 4*z - 497789. Is r composite?
False
Let j be (-3)/21 - (-768)/84. Suppose -5*k + 55844 = 4*c, -5*c + j*k - 8*k = -69805. Is c a composite number?
True
Let t(h) be the second derivative of 41*h**4/4 - h**3 - 2*h**2 - 23*h. Is t(7) a composite number?
False
Let z(d) = 115*d**2 + 85*d + 1391. Is z(-44) prime?
True
Suppose -5*y + 17105 = 4*g, 9*g = 13*g + 3*y - 17103. Suppose -25*a - 2*k = -24*a - g, -2*k + 10 = 0. Is a prime?
False
Suppose -5*z = -j + 5989, -2*z + 5042 = j - 919. Is j composite?
True
Let z(x) = 2*x**2 - x - 1. Let m be z(-1). Let f(v) = 0*v**2 + 5*v + 1 + 15 - 6 + m*v**2. Is f(-9) composite?
False
Let n(o) = 4311*o**2 - 29*o - 32. Let d be n(13). Suppose d = -x + 26*x. Is x a prime number?
False
Suppose -9*n - 66 = -20*n. Suppose -i + 2 = n. Is 3490/(-3)*(-3)/(-8)*i composite?
True
Suppose -11*v = -30*v + 198360. Let b = v - 6799. Is b a prime number?
False
Let z(f) = 3*f**2 - 20*f + 6. Let x(y) = 4*y**2 - 20*y + 5. Let u(k) = 4*x(k) - 3*z(k). Let l be u(14). Let r = 735 + l. Is r prime?
False
Let o be ((-24)/(-18))/((-2)/(-6)). Suppose -k = -3, -o*s + 0*k - 2*k = -18. Suppose 0 = -s*r + 73 + 80. Is r composite?
True
Let z = 202534 - 134691. Is z prime?
True
Suppose 0 = 10*t - 6 - 44. Suppose -3*b = -m - 9032, 2*b + 6*m - 6023 = t*m. Is b a composite number?
False
Let d = -107258 - -476797. Is d a prime number?
True
Let o be (-1)/(198/(-28) - -7). Is (479843/o)/(-13)*-2 a prime number?
True
Let d = 278862 + -197461. Is d prime?
True
Let v(j) = 133*j**3 + 4*j**2 + j + 16. Let l be v(4). Suppose 31*p + l = 35*p. Is p prime?
False
Suppose 5*q + 188 = 3*m + 75, -q - 37 = -3*m. Let d(z) = -18*z**2 + 2*z - 7 - z**3 - 5 - 8. Is d(q) a prime number?
False
Let p = 127980 + -77797. Suppose 2*j - 2*y = 20072, 5*j - 5*y = -3*y + p. Is j a prime number?
True
Suppose 0 = 3*n + 15, -3*u + 5*n + 1 + 24 = 0. Suppose -17*p + 26*p - 9081 = u. Is p a composite number?
False
Let l = -71 + 75. Suppose -l*o = -68 + 8. Suppose -3653 = -o*y - 1148. Is y composite?
False
Let k be 10/((-10)/15*-3). Let p be -8 + 3 + (-30)/(-2). Is 3 + 10982/k + (-4)/p prime?
False
Let w = 4202072 + -1351741. Is w prime?
False
Let v be (-1 + 6 - 8)*8. Is -7187*(v/6)/4 a composite number?
False
Let o(p) = -p**3 - p**2 - 5*p + 41. Suppose 0 = -6*w - 8*w + 196. Let c be o(w). Let y = c + 5712. Is y composite?
True
Let q = 244 - 245. Is (q/(-3))/((-6)/(-208782)) a composite number?
True
Suppose -4*f + 5*p + 253 = 0, -2*f = 6*p - p - 89. Suppose l = -4*d - 0*d + 32, 3*l - d = f. Let s = 123 - l. Is s a prime number?
True
Is 84/(-12)*1105254/(-42) a prime number?
False
Let x(b) = -1561*b. Suppose -3*l = 2*n - 21 - 4, -l = n - 10. Let q be 0 + (-2)/3 + l/(-15). Is x(q) a prime number?
False
Suppose 5 = -5*d + 5*r, -r - 2*r - 5 = -5*d. Let v be 12/d - (-1467 - 0). Suppose 10*g = v + 3200. Is g composite?
False
Is 2*(-3)/75*-5 + (-1655115)/(-25) prime?
False
Let s(y) = 57*y - 94. Suppose 4*n - 80 = -3*c + 5*c, 0 = 5*n - 4*c - 97. Is s(n) a prime number?
True
Let j = 46738 - 8847. Is j a prime number?
False
Suppose 197*s + 212 = 195*s. Let p = s - -1365. Is p prime?
True
Let l(o) = 25261*o + 1313. Is l(6) composite?
False
Let m(d) = d**2 + 10*d + 16. Let h be m(-7). Let q(t) = 193*t**2 + 9*t + 9. Let s be q(h). Suppose -10*i = -s - 781. Is i prime?
True
Let r(o) = 95*o**3 + 16*o**2 - 54*o + 443. Is r(12) a prime number?
True
Let s(z) = 0*z - 4 - z - z. Let k be s(-9). Is (-42)/(-9)*273/k a composite number?
True
Let m(k) = 3*k**2 - 2*k + 11. Let x(t) = 3*t**2 + 25*t + 11. Let s be x(-8). Suppose -5*w + 2*f - 40 = -s*f, -3*f + 36 = -5*w. Is m(w) prime?
True
Let p(k) = -26*k**3 - 9*k**2 - 32*k - 69. Is p(-14) composite?
False
Is (-9765920)/(-2412) + (2/18)/1 prime?
True
Suppose 2*w - 22 + 12 = 0. Suppose -y + 2*h + h = 0, -w*y = h - 16. Is (-2 + 3)/(-3*y/(-1179)) a prime number?
True
Is (-2335736221)/(-6370) - 3/10 - 4/14 a prime number?
True
Suppose 5*u + 6*w - 3*w - 876299 = 0, 5*u + 5*w = 876295. Is u composite?
False
Let d(h) = 3646*h**3 + 4*h**2 + 6*h - 9. Is d(1) composite?
True
Suppose 180*s - 83239212 = 26290248. Is s a composite number?
False
Let n = 73886 + -52617. Is n a composite number?
False
Is (-3 - (-436100)/(-42))*-3 a prime number?
True
Let x = 2704 + 365. Suppose q - x = -1030. Is q composite?
False
Suppose 12 = 3*s, 2*w - s + 5 = -1. Let x be (4 + -25 + 0)/w. Suppose 3*i + x = 978. Is i a prime number?
False
Let o(b) = -5*b - 23. Let g(t) = -4*t - 52. Let a be g(-12). Let v be o(a). Is (v/(-15))/(12/(-1905))*-52 a prime number?
False
Let d = 782 - 507. Let s = d + 464. Is s a composite number?
False
Let b = -2747 + 385. Let q = 1054 - b. Suppose 5*k - 2019 = q. Is k composite?
False
Let r be (4 + 34/(-4))*4/(-6). Suppose -10 = 5*f, -2*j + r*f = -7*j - 11. Is j/8 + (-4690)/(-16) composite?
False
Let r be 5*613 - -1 - (58 + -57). Suppose 2*n - r = 1293. Is n a composite number?
False
Suppose -2*m - 5 - 11 = -5*y, 0 = -4*y - 4*m + 24. Suppose -3*i + 35179 = 4*h, 2*i - y*i + 23456 = h. Is i a composite number?
True
Suppose 5*a + m = 13, 3 = 4*a + 5*m - 20. Let s be 1 + (-9)/6 - (-13)/a. Suppose -1949 = -s*u + 3079. Is u composite?
True
Let b be (-6 - -11)*(-12)/(-10). Suppose 4*l = 4*n - 3488, 4*n - 3470 = -b*l + 4*l. Is n prime?
False
Is (-14 - (-1397)/99)*1116783 prime?
True
Suppose 13*q - 88*q = 6155201 - 19801076. Is q a composite number?
True
Let a = -118 - -133. Suppose -3*n - 32916 = -a*n. Is n prime?
False
Let b(u) = 12843*u + 6208. Is b(49) prime?
False
Suppose -2*f + 26558 = 5*f. Let l = f + -2593. Is l a composite number?
False
Suppose -4*q - 2 - 2 = 2*h, 22 = -4*h - q. Let g(s) = 7*s + 49. Let p be g(h). Is (p + 50)*(0 + 1) a composite number?
True
Suppose 251*p + 249266 = 253*p. Is p prime?
True
Let f(i) = -52483*i - 4. Is f(-5) a composite number?
False
Suppose -4*m + 2*g + 512741 = -620325, 4*m - 1133064 = 4*g. Is m a composite number?
False
Let r(h) = h. Let y be r(-4). Suppose -6*j - 11362 + 64 = 0. Is (-1)/((-7531)/j + y) prime?
False
Suppose 223405 = 4*o - 137239. Is o a composite number?
True
Let a(w) = -4*w**3 - 8*w**2 + 14*w + 7. Let s be a(-7). Suppose x + 713 = -4*h, 3*x - 5*x = 5*h + s. Let r = h + 745. Is r a prime number?
False
Suppose 2*n - 820 = -2*q, 3*q - 819 = -11*n + 9*n. Is n a composite number?
True
Let g(d) be the first derivative of 3*d**3 + d**2 + 26*d - 57. Is g(-9) a prime number?
False
Let p = 288 + -285. Suppose -8*y + 4*y + 5*g = -47020, p*g = 0. Is y composite?
True
Suppose 2*v - 16*w + 19*w = -1, 0 = -3*w - 15. Let q(f) = 183*f**2 + 6*f + 8. Is q(v) a prime number?
False
Let g(d) = -2*d. Let t be g(-1). Suppose 0 = -2*s, 10*z + 4*s + 4 = 11*z. Suppose t*p = -z*l + 2108, -4*p = -0*l - l + 545. Is l prime?
False
Let h(l) = 81244*l + 7119. Is h(7) a prime number?
False
Let x(w) be the first derivative of 7*w**3/3 + 10*w**2 + 41*w + 53. Is x(16) composite?
False
Suppose 5*s - 218191 = -3*d, 146029 = -5*s - 5*d + 364224. Is s a prime number?
False
Let b(j) = -8686*j + 319. Is b(-10) a composite number?
False
Let w be 0 + 209128/14 - 18/(-63). Let y = w - 7868. Suppose -3412 = -3*m + 4*n + 1891, 4*m = 5*n + y. Is m a prime number?
False
Suppose 4*w = w + 33. Let b be 18/18*(-1)/(-2)*0. Suppose b = 2*h - w*h + 10701. Is h prime?
False
Let k(s) = s + 8. Let m be k(-5). Suppose 2*q + 4 = 0, q - 4*q + 963 = 3*y. Suppose 4*t + 3*a = 1330, m*t = 2*t + 4*a + y. Is t a composite number?
False
Let s(j) = -71*j**3 + 29*j**2 - 19*j - 177. Is s(-14) a composite number?
False
Let p = 402 - 402. Let l(j) = -j**3 + 3*j**2 + 5*j + 5847. Is l(p) a prime number?
False
Suppose -2*d + 139288 + 26014 = 0. Is d prime?
True
Let c = -842 - -5490. Suppose -f = -4, -c = 4*x 