-1 - (-30)/30 prime?
False
Is (2 - 2101)/(0/1 + -1) a composite number?
False
Let m(t) be the third derivative of t**6/60 + t**5/12 - 3*t**4/8 - 7*t**3/6 - 5*t**2. Let c be m(-6). Let a = -131 - c. Is a a prime number?
False
Is (-21 - -95788) + (-1 - -7) composite?
False
Is 1641 - (24/(-10) + 30/75) prime?
False
Suppose 2*a + 2*a = 0. Suppose 2*z - 37 + 11 = a. Let m(f) = 2*f**2 + f - 10. Is m(z) composite?
True
Is 910824/(-16)*(-28)/42 composite?
False
Suppose -3*q - 2*q = a - 6, -2*q = 0. Suppose -z = -a*z. Suppose 0 = -z*m + m - 97. Is m prime?
True
Let b = 2452 - 4004. Let v = b + 2243. Is v prime?
True
Let v be (-4 + 5 + 3/1)*316. Let r = v + -351. Is r a composite number?
True
Let c = 28 - 35. Let t(m) = -11*m + 18. Is t(c) prime?
False
Let w = 30152 - 21201. Is w a composite number?
False
Suppose -3*m + 12515 = 5*o - 2*m, 3*m - 12515 = -5*o. Is o prime?
True
Let s = 2048 + -1209. Is s prime?
True
Let u(l) = 70*l**2 + 54*l + 629. Is u(-12) prime?
True
Suppose -8*y = -4*y - 12. Suppose 0 = 5*l - 0*g - g - 1536, 5*g + 926 = y*l. Is l a prime number?
True
Let z(x) = -x**3 - 2*x**2 + 5*x + 10. Let b be z(-3). Let j be (-4)/(-6) + (-11801)/3. Is b/5 + j/(-15) composite?
False
Let v(z) = -5 - 82*z - 76*z + 166*z + 42*z**2. Is v(-4) composite?
True
Let r(f) = -40*f**3 - 3*f**2 - 12*f - 8. Is r(-7) a composite number?
False
Let a(v) = -v**3 + 2*v**2 + 5*v - 2. Let m be a(3). Suppose 0 = -3*z - m*j + 859, z - j + 5*j = 273. Is z a prime number?
True
Let m(u) be the third derivative of 79*u**4/24 + 15*u**3/2 - 37*u**2. Is m(14) composite?
False
Let t(v) = v**2 + 3*v + 1439. Is t(0) a composite number?
False
Let w(g) be the second derivative of g**5/20 - 3*g**4/4 - 5*g**3/6 + 3*g**2/2 + 7*g. Is w(10) prime?
True
Suppose u + l = 24284, -50*u + 46*u = -2*l - 97118. Is u a prime number?
True
Suppose -5*b + 2*r + 2*r + 10675 = 0, 0 = -5*b + 2*r + 10665. Let c(y) = 167*y**2 + 11*y - 4. Let f be c(-4). Suppose b + f = 3*k. Is k prime?
False
Suppose 463 = 6*m - 3821. Suppose 0 = 2*n + 4*a - m, -1774 = -5*n - 0*a + a. Is n composite?
True
Let d = -1 - 7. Let m = 12 + d. Suppose -m*v + q = 4*q - 376, -5*v + 3*q + 497 = 0. Is v composite?
False
Suppose 0*n + 6*n = 1110. Let j = n + -26. Is j a prime number?
False
Suppose 0 = 3*y - 750 - 1308. Let s = y + -415. Let z = s + -152. Is z a composite number?
True
Let l be 694*-1 + 16/(-4). Let n = l - -2391. Is n composite?
False
Let p(f) = -f**2 - 11*f - 15. Let t be p(-10). Is (-10)/t*-2 - -198 prime?
False
Let k(s) = 76*s + 15. Let q be k(6). Let v = 1850 + q. Is v prime?
False
Let t = -35 + 33. Is (0 + t)*(-167 + 0) prime?
False
Let w = 46544 - 22735. Is w composite?
True
Suppose -2*k + 8 = -4*k. Is 2 + (-7706)/(-30) - k/30 prime?
False
Let f = 6743 - 4727. Suppose -5588 = -4*k - f. Is k a prime number?
False
Suppose 17*l - 3724 = 13*l. Let k = -552 + l. Is k prime?
True
Let c be 3275/20 + -2 + (-9)/(-4). Let w = -73 + c. Is w a composite number?
True
Is (-105279)/(-63) + 18/(-189) a composite number?
True
Let l = 910 - -591. Suppose 2*a = r + 1182, -l = -5*a + 2*r + 1454. Is a composite?
True
Let i(l) = l**3 - 19*l**2 + 17*l + 21. Let f be i(18). Suppose -2*v = 2*b - 834, -4*v + b + 1668 = -f*b. Is v a prime number?
False
Suppose -54*r = -217127 - 312667. Is r composite?
False
Let f(l) = -5*l**3 + 9*l**2 - 25*l - 58. Is f(-11) composite?
True
Suppose q = 2208 + 125. Is q a composite number?
False
Suppose -10 - 2 = -4*i. Suppose 0 = 5*w - 2*m - 15 - 1, m - 3 = -i*w. Is ((-5)/w - -3)*422 composite?
False
Suppose -4*t + 12*t - 5656 = 0. Let v = t - 438. Is v composite?
False
Let d(b) = -890*b. Let z be d(-1). Suppose s + 4*p - z = -s, s - 444 = -p. Is s prime?
True
Let b be (8/4)/(6/(-9)). Is (-3)/(((-3)/(-83))/b) prime?
False
Let r = -13 + 7. Let c(n) be the second derivative of -14*n**3/3 - 7*n**2/2 + n. Is c(r) a composite number?
True
Let j(s) = 114*s**2 + 8*s - 141. Is j(-10) a prime number?
False
Suppose -c - 84103 - 122886 = -6*f, 5*f - 172505 = -2*c. Is f a composite number?
False
Let t be 3 + -2 + (-60)/(-2). Suppose -6 = 3*f, 8*u - f - 77 = 5*u. Let h = t - u. Is h composite?
True
Let z(n) = 16*n**2 + 4*n - 25. Let w be (-5)/(-3)*(-15)/(-5). Is z(w) prime?
False
Suppose -63 = -5*t + 22. Suppose 16*i + 339 = t*i. Is i a prime number?
False
Let c = -12 - -14. Suppose c*t - 3143 = -5*t. Is t composite?
False
Let d(p) = 73*p + 12. Let o be d(10). Suppose o = -6*t + 3124. Is t composite?
False
Let y be (3 + -8)/(-1 - -2). Let d(p) = p**2 - p + 4. Is d(y) composite?
True
Let o(n) = -2*n + 10. Let t be o(9). Let k(d) = 7*d**2 + 7*d + 19. Is k(t) prime?
False
Suppose n + 111*s - 6354 = 110*s, 0 = -4*n + s + 25411. Is n a composite number?
False
Let m = 2844 + -1595. Let l = m - 566. Is l prime?
True
Is (-15)/((-20)/(-4)) + 8194 - 0 prime?
True
Let n(v) = 433*v**2 - 18*v + 13. Is n(8) prime?
True
Let j(f) be the first derivative of -279*f**4/2 - f**2/2 - 14. Is j(-1) a composite number?
True
Let k(q) = 5*q - 12 + 0*q - 3*q - 4*q. Let g be k(-6). Suppose 0 = 2*f + 2*t - 8 - g, 5*t = -4*f + 17. Is f a composite number?
False
Let p(y) be the first derivative of -9*y - 2*y**3 + 10 + 9/2*y**2 - 1/4*y**4. Is p(-8) composite?
False
Suppose -267*v + 277*v - 16420 = 0. Is v a prime number?
False
Let b(s) = 5980*s**2 - 25*s - 1. Is b(-2) composite?
True
Suppose -5*j - 38*j + 28939 = 0. Is j prime?
True
Let o(y) = 23*y**2 - 2*y - 2. Let l be o(6). Let j = -335 - -339. Suppose 0*i - l = -i + g, -4025 = -5*i - j*g. Is i a composite number?
False
Let f be (-1913)/(-6) - 2/(-12). Let k = 227 - f. Is 3*-3*k/12 a prime number?
False
Let o be -4 + (357 - (3 + -1)). Let d = o + -242. Is d composite?
False
Let q be (-6)/4*((-8)/6 + -4). Is (-8)/q*-1543*1 prime?
True
Suppose 2*z = 13*n - 11*n + 26096, 2*z + 2*n - 26084 = 0. Is z a prime number?
False
Let l = 92164 + -22793. Is l prime?
True
Suppose -x + 5 = 0, 4*x + x = 4*q - 63. Is q prime?
False
Is (-6*8/(-120))/((-1)/(-16795)) prime?
False
Suppose 2423 = 6*u - u - 4*b, 0 = -2*u - 2*b + 980. Is u prime?
True
Let o(c) = c**2 + 8*c - 3. Let p be o(-9). Let n be (-878)/(-8) - 1/(-4). Suppose p*m - m - n = 0. Is m prime?
False
Let m = 48568 + -31895. Is m a prime number?
True
Suppose 0 = 9*x - 2587 - 4190. Let l = 1520 - x. Is l a prime number?
False
Suppose -6 - 18 = -4*x. Suppose -x*i = -5*i - 3. Suppose h - 681 = 4*g, h + 3*g = i*h - 1367. Is h a prime number?
False
Let v(j) = -412*j + 8 + 4 - 3. Is v(-4) a prime number?
True
Suppose -12*l = -16*l. Suppose 2*s - 2*z - 686 = l, 0 = z + 1 - 4. Is s a prime number?
False
Suppose -437 - 168 = -5*q. Is q a prime number?
False
Suppose 2*o - q - 19 = 0, 4*o = 9*o - 4*q - 46. Let h(l) = 126*l - 1. Is h(o) composite?
False
Suppose -3*f = 5*b - 6804, 7*b - 3*b = -4*f + 9072. Suppose 530 = -2*y + f. Is y a prime number?
False
Let m(v) = 3524*v**2 + 2*v - 1. Is m(-1) a composite number?
True
Let w = 14 - 8. Let a be w/9 - (-14)/6. Suppose -a*l = s + 4*s - 652, -5*s + l = -656. Is s a composite number?
False
Suppose 0*q + 20 = 4*q, q + 9 = -2*h. Let l(u) = 2*u**3 + 8*u**2 + 5*u + 10. Let c(b) = b + 1. Let s(m) = 4*c(m) - l(m). Is s(h) a composite number?
True
Let i(f) = f + 11. Let o be (-2)/(-8) + (-84)/16. Let c be i(o). Suppose t = c*t - 485. Is t prime?
True
Suppose 4*z - j = j - 712, -5*z - 888 = -2*j. Suppose -7*s + 2*s - 4*t - 423 = 0, -3*s + 3*t = 270. Let i = s - z. Is i prime?
True
Suppose 18338 = -7*p - 7072. Let j = -2581 - p. Is j a prime number?
True
Let y = 5 + -20. Let o = y - -15. Suppose 3*t - v + 0*v = 493, o = -2*t + v + 330. Is t composite?
False
Suppose 90049 = 5*q + f, -3 = -f - 4. Let u = -11883 + q. Is u composite?
True
Let x = -307 + 326. Let w(c) = -2*c - 8. Let u be w(-6). Suppose 5*f = -u*n + 24, -3*n + x = -2*n - 2*f. Is n a composite number?
False
Let k be (-1 + -2 + 0)*-1. Suppose k*g = 5*j + 274, -3*j = 2*g - 4*g + 183. Is g a composite number?
True
Let k(d) = -3*d - 7. Let r be k(-4). Suppose 7 = -6*t - r. Is (-409)/t - 39/26 prime?
False
Suppose 4 = 5*m - 21. Suppose -4*l + 2*f = -200, -261 = -m*l - 6*f + 3*f. Is l prime?
False
Let x(y) = -y**3 + y**2 + 2*y + 11. Let z(f) = -f. Let k be z(6). Is x(k) a prime number?
True
Suppose 59815 = -96*o + 103*o. Is o prime?
False
Suppose -6*n = -n + 3*h - 35, 2*n -