s t(-7) prime?
True
Is (1/12*-3)/(6/(-4852387 - 5)) a composite number?
False
Let z(w) be the second derivative of -w**5/10 - 13*w**4/12 - 13*w**3/6 + 9*w**2/2 - 9*w. Suppose 46 = 9*l + 109. Is z(l) composite?
False
Let t(n) = -24*n - 69. Let j be t(10). Suppose -4*k - k - 3010 = 0. Let h = j - k. Is h a prime number?
True
Let z be (0 - 349)*(-285)/((-25)/(-5)). Is 6 - 6/((-18)/z) composite?
False
Suppose 10*b = -b + 204629 + 938832. Is b composite?
False
Suppose 5*p - 2*p - 15957 = 0. Let k = p + -3361. Suppose 6*n - k = 4*n. Is n a prime number?
False
Suppose -3*z = 2*z - 25. Suppose 0 = -119*h + 23587 + 26274. Is 2 + h + 3 - z composite?
False
Let s(g) = 223*g**3 - 2*g**2 + 13*g + 11. Is s(5) prime?
True
Let o = 849890 - 286347. Is o prime?
True
Let b(s) = -s**3 - 12*s**2 + 22*s + 21. Let p be b(-14). Suppose -6*n = 9*n - p. Suppose -5*x - 326 = -n*x. Is x composite?
False
Suppose -5*d - 402209 = -10*w + 3996836, 5*w - 2199542 = -4*d. Is w a prime number?
False
Let v(t) = -152*t - 11. Suppose d = 3*g, 5*g + 1 = -5*d - 19. Is v(d) composite?
True
Let h(y) = 4*y**2 + 20*y - 13. Let a(x) = 5*x**2 + 20*x - 12. Let w(b) = 3*a(b) - 4*h(b). Let j be w(-21). Is (-3)/j - (-11448)/20 a composite number?
True
Let a = -127 - 37. Let z = a + 278. Is ((-118)/3)/((-4)/z) prime?
False
Let a = 72820 - -63358. Suppose -436534 + a = -28*d. Is d composite?
True
Suppose -5*j - 3946 = -13186. Suppose 17*a - 10*a + j = 0. Let d = 523 + a. Is d a prime number?
False
Is (3 - (-1 + 2))*(29 - (-903155)/22) composite?
False
Suppose -4*x - 51232 = -4*y, -5*y - x + 56315 = -7707. Suppose 3*k - y = 2*w, 2*k + 3*w + w - 8542 = 0. Is k prime?
False
Let i(j) = 842*j + 87. Let d be i(8). Suppose -15*y + 12947 + d = 0. Is y composite?
True
Let z = 1 - 89. Let y be (z/(-12))/((-2)/(-3)). Suppose 0 = -3*j + y + 4, -2*q = 4*j - 246. Is q prime?
True
Let d(h) = -1527*h - 4. Let o = -126 + 117. Is d(o) a prime number?
False
Is 20 + 6 + -6 + 475899 a prime number?
False
Let m = -13671 - -27361. Let n = -8816 + m. Is n a prime number?
False
Let v(r) = 2*r**3 + 48*r**2 + 5*r - 6. Is v(41) a composite number?
True
Let f = -1794 - -3451. Let b(m) = -m**2 + 9*m - 6. Let n be b(8). Suppose -o - f = -n*o. Is o composite?
False
Let p be (-252)/(-56)*-3*(-42)/81 + -548. Suppose -5*m = -m - 3692. Let k = m + p. Is k a composite number?
True
Let j be -4 + 7/7*20655. Let a = j + -9538. Is a composite?
False
Let s(j) = j**3 + 31*j**2 + 22*j + 77. Let y = 150 + -175. Let p be s(y). Let r = 1044 + p. Is r a composite number?
True
Is (-4698126)/(216/(-12)) - 32/4 composite?
False
Suppose -14*y = -11*y - 39984. Suppose -4*c - 2399 + y = -5*t, 2*c - 5477 = 5*t. Suppose -2*a + c = -4*r, -2*r = -4*a + r + 5447. Is a prime?
True
Let m(p) be the first derivative of 15/2*p**2 - 2 + 7*p. Is m(6) prime?
True
Let i(c) = -2*c**3 - 7*c**2 - 2*c - 3. Let y be i(-5). Suppose 10*j - 8 = y. Suppose -j*b + 4*b + 1015 = 0. Is b a composite number?
True
Suppose 15*j - 28208 = 1513207. Is j a composite number?
False
Let c be (-1 - -2)*29/1. Suppose -32*o + 3228 = -c*o. Let f = o - 539. Is f a prime number?
False
Suppose -45 = -5*k + 5*z, 2*z - 4*z - 2 = 0. Suppose -2*x = -2*n + 8864, -x - 22140 = 3*n - k*n. Is n composite?
True
Let n be ((-102)/18 + 5)/(2/(-9)). Let p(s) = -2*s**2 + 3*s - 7. Let m be p(n). Let v(i) = i**3 + 21*i**2 + 3*i + 11. Is v(m) composite?
True
Suppose -4*k + 1266256 + 1267756 = -4*z, -z = 4*k - 2533992. Is k a composite number?
True
Let z(i) = -480*i**3 + i**2 + 6*i + 4. Let l be z(-2). Suppose -13010 = -2*b - l. Is (28/(-6))/((-22)/b) composite?
True
Suppose 256*t - 758*t + 1099515038 = 0. Is t a composite number?
False
Is (-6)/(-10)*1 + 39530846/865 a prime number?
False
Is -1*1821*(9106/(-87) + 21) a composite number?
True
Is (1250/1875)/(-1 - 31679/(-31677)) composite?
False
Let u be (-8)/240*-5 - (-34)/12. Suppose -3*r = -3*i + 25974, 7*i - 2*r = u*i + 34624. Is i prime?
False
Let l(h) = -16*h**3 - 13*h**2 - 29*h - 38. Let w(g) = 7*g**3 + 6*g**2 + 14*g + 19. Let t(x) = -2*l(x) - 5*w(x). Is t(-4) composite?
False
Is 6/(-28) - 40/140 - 29085/(-6) prime?
False
Suppose -4*r - 50 = -3*r. Let n = -49 - r. Is ((-813)/(-12))/(9/(-12) + n) a prime number?
True
Suppose -p - 229 = -239. Suppose -123821 = -p*c - 11931. Is c a composite number?
True
Let h(q) = 1313*q**2 - 94*q - 21. Is h(-6) a prime number?
False
Suppose 69*h = 125*h - 61*h + 865695. Is h composite?
True
Let w be 776/((-6)/3)*-19. Suppose -45*i + w = -41*i. Suppose 0 = -o + i - 204. Is o composite?
True
Let h(f) = 14*f + 16*f**2 + 10*f**2 - 4*f + 6*f - 13. Let w be h(-9). Suppose 39*c + w = 40*c. Is c a prime number?
True
Suppose -9*p = 6*j - 4*p - 204147, -4*p + 102078 = 3*j. Is j prime?
False
Let l(b) = b**2 + 3*b + 3. Let y be l(3). Suppose 7*j + y = -0*j. Let t = j - -565. Is t a composite number?
True
Let o(c) = -2*c**3 + c**2 + c + 1. Suppose -7*p + 10 = 17. Let h be o(p). Is (h + -6 + 1)*62/(-4) a prime number?
True
Is (-5379346)/(-61) + 1*-17 prime?
True
Let v = 90 - 81. Suppose -v*d + 82440 - 229140 = 0. Is (d/8)/5*-2 prime?
False
Let s(d) = -838*d**3 - 16*d**2 - 152*d - 89. Is s(-6) prime?
False
Suppose 2*x + 2 = 5*b, -4*b + b = 5*x + 5. Suppose 5*g - 107910 = -3*s, 0*g - 3*g - s + 64746 = b. Is ((-3)/(-6))/(9/g) prime?
False
Let z be ((-14)/(-35))/((-1)/(-5)). Suppose -16627 = -11*n - z*n. Is n prime?
True
Let w = -29 + 31. Let i(t) = -22*t**3 + 22*t - 33. Let j(b) = -7*b**3 + 7*b - 11. Let k(h) = w*i(h) - 7*j(h). Is k(5) composite?
True
Let a(v) be the first derivative of 9*v**2 - 30*v + 27. Let f be a(12). Let d = f - 47. Is d composite?
False
Let f(q) = q**2 - 10*q - 21. Let v be f(11). Is (9351/45)/((-4)/v)*2 a composite number?
False
Suppose 4*l = l + 6. Suppose 1776 = l*m - 3336. Suppose -4*v + m = -4*a, 5*v + 4*a - 279 = 2880. Is v a composite number?
True
Let n(v) = -v**2 - 2*v + 26. Let k be n(-6). Suppose 0 = -2*q - 2*h + 5798, 0*q - 2911 = -q + k*h. Is q prime?
True
Let b = 8884 + -3724. Let j = -1573 + b. Is j a prime number?
False
Let r = 120 + 23. Suppose -3*f = 8*f - r. Is f a prime number?
True
Suppose -2*y - 36 = -16. Is (-47574)/y - 7 - (-6)/10 composite?
False
Suppose 0 = -19*n + 24*n - 40580. Suppose -4*d + 8*d - 6493 = v, -v - n = -5*d. Suppose -5*w = -2*w - d. Is w composite?
False
Suppose 0 = -3*k + b + 16, k - 3*b - 12 = -b. Suppose -4*y = 2*a - 6*y - 3942, -k*a + 5*y = -7882. Is a prime?
True
Let k = -557428 + 811931. Is k prime?
False
Suppose 5*a = -3*c + 546633, 6*a = -c + 9*a + 182183. Is c a prime number?
True
Let c be -110*((-250)/(-4) + 1 + -6). Is (88 + -87)/(c/6326 - -1) a composite number?
True
Let y(j) = 36*j**2 + 4*j - 5. Let l(u) = -4*u + 2. Let n be l(2). Let d be y(n). Suppose -8 = 5*s - s, a - 4*s = d. Is a composite?
False
Let a(g) = -250*g**3 - 4*g**2 + 42*g - 43. Is a(-6) prime?
False
Is 52724082/795*(-5)/(-2) prime?
True
Suppose -2*k = 7 - 23. Suppose 0 = -k*j + j + 48132. Suppose j = 6*r - 3378. Is r prime?
True
Let d(g) = -11 + 0 - 4*g - 2 + 12*g. Let k be d(10). Let n = 118 - k. Is n a prime number?
False
Let r be (-1)/((-2)/62) + -3*1. Let p be (0 - -1)/(7*2/r). Suppose -3*y = 2*z - 220, 6*z + 4*y = p*z + 444. Is z a prime number?
True
Let u(w) = 41609*w - 2388. Is u(11) prime?
False
Suppose -172*v + 206*v - 1548495 - 3229151 = 0. Is v a composite number?
True
Suppose -748*q - 30799114 = -786*q. Is q a composite number?
False
Let r be (-2)/((-23)/(-5) - 5). Suppose 14*p = -r*k + 15*p + 35309, 0 = -3*k + p + 21187. Is k a prime number?
False
Let s = 145 - 12. Let q = 8195 - 5775. Let c = q - s. Is c prime?
True
Suppose -15*b + 0*b - 51236536 = -119*b. Is b composite?
False
Suppose 3*f = -k + 36, -5*f - k = -73 + 15. Suppose -f*n + 25*n - 35882 = 0. Is n prime?
False
Is (3/((-30)/4))/((-114)/106014585) prime?
True
Suppose -20*g = 778 - 118. Let j(i) = -265*i - 218. Is j(g) a composite number?
False
Suppose 1166886 - 256521 = 15*b. Is b prime?
False
Let c(b) = b**3 + b**2 + 12. Let w be c(0). Suppose r - 14 = 2*u, 3*r + 3*u = -r + w. Suppose -r*n + 6279 + 4515 = 0. Is n composite?
True
Is (-227)/((-2)/4*128/110912) a prime number?
False
Let j be 0 + -1 + (13 - (7 + -2)). Is 29403/54 + j/(-2) prime?
True
Suppose 9 - 45 = -9*u. Suppose -21891 = -3*g + u*x, -4*x = -4*g + 9*g - 