-13863 - -33937. Is i composite?
True
Let a(u) = 4*u - 1. Let s be a(1). Suppose -4*k + 0*h - h = -10, k + 3 = -s*h. Suppose k*b + 231 = 2*l - 2, 5*l - 590 = 5*b. Is l a prime number?
False
Suppose -h = -2, 3*p + h - 16709 = -3*h. Is p a composite number?
True
Let a(h) = 7*h**2 + 73*h + 87. Is a(40) a prime number?
True
Let q = -67 - -68. Is (0 - -1067) + (q - -1) a prime number?
True
Let k = 167 - 260. Let n = -4 - k. Is n prime?
True
Let i be 0 - -1 - (-2 + -1). Suppose -i*y + 5*g + 129 = -0*g, 0 = y + g - 30. Is y prime?
True
Let g = 257 - 151. Is 2*2*g/8 a prime number?
True
Suppose 2*u + 4706 - 87 = 3*c, 0 = u - 3*c + 2308. Let w = 3304 + u. Is w a composite number?
True
Is 36900/16 + 2/(-8) + 3 prime?
True
Let u = 9293 - 3792. Is u a prime number?
True
Let s(y) = 3*y - 17. Let r be s(7). Suppose r*g - 698 = 2*f, -4*f = -0*f + 12. Suppose p - g = 348. Is p a composite number?
False
Let f(l) = 1480*l**3 + 3*l**2 + 2*l - 2. Is f(4) prime?
False
Suppose d = -1 + 2, 2494 = 3*b + d. Is b prime?
False
Let i = 204 - -8. Suppose -3*k = -1411 - i. Is k prime?
True
Suppose -3*k - 92699 = -2*d, 16*d = 13*d - 5*k + 139058. Is d composite?
False
Let u = 31 - 31. Let l(m) = 2*m + 127. Is l(u) prime?
True
Suppose -3*v + 1429 = -3464. Let x = v - 724. Is x a composite number?
False
Suppose -2*j = j + 1035. Let i be 40/(-25)*j/2. Suppose s = 5*s - i. Is s prime?
False
Suppose -318 = -2*h - 0*h. Suppose 4*j + h = t - 475, j + 5 = 0. Let s = t - 429. Is s composite?
True
Is (-1)/(5/2) - (-40387)/5 composite?
True
Let a(r) = 508*r**2 + 3*r + 13. Is a(-4) a prime number?
False
Let s = -17 + 29. Let o = s - 15. Is 2*((-290)/(-4) + o) a composite number?
False
Let u = 214 + 106. Suppose -f + 553 = 2*l, -4*l - 802 = -2*f + u. Is f a prime number?
True
Let g(h) = h**2 - h - 1. Let p(i) = i**2 + 10*i - 7. Suppose 3*u = 7*u + 40. Let l be p(u). Is g(l) composite?
True
Suppose 2*c + 7 = 4*k - 61, 40 = 3*k + 4*c. Suppose -k*a - 2365 = -21*a. Is a a prime number?
False
Let j = -38451 - -54110. Is j a composite number?
True
Let q(m) = m**3 + 15*m**2 + 16*m + 4. Let f be q(-14). Let b be (f/(-4))/(6/21). Is (-3)/((-45)/b - -2) a prime number?
False
Let w(d) = -2*d**2 + 37*d - 13. Let l be w(18). Let j(f) = 166*f + 9. Is j(l) a prime number?
True
Let l(w) be the first derivative of 33*w**5/40 + w**4/12 + 2*w**3/3 + 4. Let z(g) be the third derivative of l(g). Is z(3) composite?
True
Suppose 5*m - 3*b - 255 = 0, -2*b - 6 = 4. Suppose 5*j = j + m. Let d(v) = -v**2 + 15*v + 17. Is d(j) a prime number?
True
Suppose 3*h + 14 = -3*a + 41, 0 = -a + 5*h - 21. Suppose -3*f + a - 1 = 0. Is (-3304)/(-16)*2/f a prime number?
False
Let q = -1679 + 10340. Is q prime?
False
Suppose 0 = -2*y - 2*l + 12, 2*y + l - 14 = -3*y. Let c(z) = 285*z**3 + 3*z**2 - 3*z + 5. Is c(y) a prime number?
False
Let x = 0 - -2. Suppose 0 = -5*b + 3*u - 1 - 38, -b - 12 = -x*u. Let z(i) = i**2 + 4*i + 9. Is z(b) a composite number?
True
Let g(s) be the third derivative of s**5/20 + 5*s**4/8 + 11*s**3/6 - 13*s**2. Is g(-10) composite?
True
Let b(x) = x**3 - 3*x**2 + 5*x - 2. Let v be b(4). Suppose 31*t - v*t = -4971. Is t composite?
False
Let m(r) = 4*r - 5. Let z be m(2). Suppose 0 = -2*p + z*v - 225, 4*p = -v - 520 + 49. Let g = p + 232. Is g a composite number?
True
Let u be (-4)/(-8) - (-15916)/8. Let s = u - 1223. Is s prime?
False
Suppose 1 - 17 = -2*v. Suppose -7*r = -v*r + 169. Is r composite?
True
Suppose -10733 = -v + g, 5*g - 8 = 7*g. Is v prime?
True
Suppose -2*y + 10045 = -y + t, 0 = -y + 5*t + 10021. Is y composite?
True
Let w(d) = 26*d**3 - d**2 - 9*d + 45. Is w(7) a prime number?
False
Let i(t) = 2*t**3 - 9*t**2 + 8*t - 4. Let x be i(3). Let l(w) be the first derivative of 2*w**3/3 + 2*w**2 + 13*w - 1. Is l(x) composite?
False
Let a = -7 + 36. Suppose a*x + 8223 = 32*x. Is x a composite number?
False
Suppose 9 = -0*y + 3*y. Suppose -6*h - 41 = -y*k - 2*h, -4*h = k - 19. Let n = 22 + k. Is n a composite number?
False
Let m(b) = 207*b**2 + 5*b + 7. Is m(-4) a composite number?
False
Let y(q) = -4*q**3 - 6*q**2 - 10*q + 3. Is y(-14) composite?
True
Suppose -5*t = -2*q + 596 + 8063, -21725 = -5*q - 3*t. Suppose 2*x - q = 200. Is (2 + 0)*x/6 a composite number?
False
Let l = -43 + 78. Let z = 118 - l. Is z prime?
True
Suppose 4590 = -7*v + 27347. Is v a composite number?
False
Let a(n) = -n**3 - 9*n**2 + 3. Let z(k) = 8*k**2 - 4. Let f(x) = -3*a(x) - 2*z(x). Is f(6) a prime number?
False
Suppose -12*q + 32177 + 13387 = 0. Is q a prime number?
True
Suppose -k = 4*n + k + 46, 3*k = 5*n + 63. Let x be (4 - -3)*n/14. Is 4/x*705/(-10) a prime number?
True
Let m(z) be the first derivative of 10*z**3/3 + 13*z - 13. Is m(6) a composite number?
False
Suppose 0 = 3*g - 2*f + 13, -2*f = g - 13 + 4. Is (g/(-2))/(13/10634) a composite number?
False
Let y(w) = 2*w**2 - 2*w**2 + w + 6 + 6*w**2 - w**3 - 6*w. Let c be y(5). Suppose c*z = 3*z + 237. Is z prime?
True
Let r = 85 + -82. Is 206 + -1 + (r + -4)*2 composite?
True
Is ((-22)/10 - -3)*(-3455)/(-2) a prime number?
False
Suppose 18103 = 3*r + 5*i, -45*r + 5*i + 24114 = -41*r. Is r a prime number?
False
Suppose 0 = -55*c + 58*c - 3507. Is c prime?
False
Suppose -5*n + z = -8531, -3*n = -4*n + 5*z + 1711. Is n prime?
False
Suppose 5*p + 0*p - 27 = -3*u, 4*u + 4 = 0. Is 1 + (-940)/p*540/(-50) a composite number?
False
Is ((-7)/21)/(1/(-23343)) a composite number?
True
Let y = -1541 + 2496. Is y composite?
True
Suppose -24*u = -29*u - 210. Let q = 1413 + u. Is q a prime number?
False
Let z be (-1 + -4 + 0)*-1. Suppose -n - 11 = -3*k, -1 - 4 = 3*k - z*n. Suppose k*i = -3*c + 1318, -c + 262 = i - 2*c. Is i prime?
True
Let r be (-582)/(-4)*(-3 - -5). Let q = -97 + r. Is q prime?
False
Is 746 - (-5 + (10 - 3) - 1) composite?
True
Suppose -g - 5309 + 170 = -u, 3*g = u - 5137. Suppose -6*b + 10*b = u. Is b prime?
False
Suppose 82 = -10*v - 68. Is 1469 - (4 + 1)*6/v composite?
False
Suppose 3*r + 5*f = -20, -2*r + 6*r = -f - 4. Suppose r = 3*s + 6, 5*h + 2*s = s + 1693. Suppose 247 + h = 2*q. Is q a composite number?
False
Let j = -80 - -443. Let v = j + -110. Is v a composite number?
True
Let v(z) = -15*z - 9. Let a be v(-7). Suppose m + 2*i - a = i, 0 = -3*m + i + 268. Is m a composite number?
True
Suppose 8*s - 3160 + 72 = 0. Suppose 2*m + 2*f = s, -f - f - 951 = -5*m. Is m composite?
False
Let i = 1437 - -1420. Is i composite?
False
Suppose -6*n = 18*n - 17880. Is n a prime number?
False
Let n(a) = 39*a**2 + 46*a + 17. Is n(8) composite?
True
Is (-4583)/2*(4 - 6) a composite number?
False
Let x = 70 - 72. Is 36927/11 - x/(0 + 1) a prime number?
True
Let w = -789 - -1547. Let a = w + -277. Is a a prime number?
False
Let m(w) be the third derivative of 10*w**4/3 - 5*w**3/6 + w**2. Suppose 62 - 22 = 5*s. Is m(s) a prime number?
False
Suppose 57*n - 1379824 = 84563. Is n a prime number?
False
Let t be 19 + 2/11 + (-24)/132. Let v be (-13)/(-2) - 1/2. Let j = t - v. Is j composite?
False
Suppose -5*h + 12238 = -14377. Is h composite?
False
Let t be ((-18)/(-10))/(10/(-50)). Let g(w) = w**3 + 14*w**2 + 14*w + 14. Is g(t) prime?
True
Let i = 39310 - 20189. Is i prime?
True
Let b(r) = 2*r**3 - r**2 - r + 3. Let t be b(0). Suppose 0 = t*y + 5*k - 978, 0*y = 2*y - 3*k - 671. Is y a composite number?
False
Let s = 53 + -54. Is -4 + s/((-5)/3865) a prime number?
True
Suppose i = -3*n - 1441 - 223, -3*n - 5*i = 1672. Let l = 15 - 9. Is n/(-8) - l/24 a prime number?
False
Is (1*-1)/(((-60)/(-15))/(-1228)) composite?
False
Let u be (76/6)/(-5*2/(-3405)). Suppose 3*t - 2158 = -a, -u = 3*a - 5*a - 5*t. Is a a prime number?
False
Let u(i) = -545*i - 448. Is u(-13) a prime number?
True
Let n(u) = u**2 - 10*u - 3. Let a be n(8). Let g be (-6)/4*-2 + a. Is (818/8)/((-4)/g) a composite number?
False
Suppose 11*p = 33819 + 57118. Is p a composite number?
True
Let d be -4 + (1 - -2) - 0. Is (d - 2)/(66/(-11836)) prime?
False
Let x(k) = k**2 + 22*k + 58. Let z be x(-19). Is z + ((-12)/(-10))/((-4)/(-100)) a composite number?
False
Let z be 0*(20/(-12))/5. Suppose z*q + 15 = -3*q, 0 = 5*s - q - 1965. Let r = s + -270. Is r composite?
True
Suppose -4*c - 4*i = -516, -5*i + 18 - 8 = 0. Is c a prime number?
True
Is 0 - 2 - 6/((-60)/11170) composite?
True
Is (11 + -25 + 13)*(-2 - 72239) a co