s f a composite number?
True
Is (2/(-3))/((-6)/10710) + 5 composite?
True
Let h(i) = 38*i**2 - i - 1. Suppose -43 + 35 = -4*k. Is h(k) composite?
False
Let a = -16664 + 23807. Is a a prime number?
False
Let c = -15 - -18. Let b(z) = -8 + 9 - 2*z**c + z**3 - 2 - 4*z. Is b(-6) composite?
False
Let j = 72 + -80. Is (60/j)/(-3)*1762 prime?
False
Let c be (-4)/30 + (0 - (-592)/(-60)). Let l(a) = 7*a**2 - 19*a + 3. Is l(c) a composite number?
True
Let k be (-4)/((-2 - -2) + 2 + -4). Let v = 1 + -1. Suppose v = k*t - 8, -3*t = 3*r - t - 269. Is r prime?
False
Let t(s) = 48*s**2 - 2*s + 45. Let m be t(-14). Suppose m = 7*x - 4890. Is x prime?
True
Let m = -14 - -14. Suppose m*t = -5*t + 25. Suppose 0*v - 3*v + t*d + 51 = 0, 0 = -v + 5*d + 7. Is v a prime number?
False
Suppose -34448 = -33*n + 17*n. Is n composite?
False
Let w = -16 + 18. Suppose w*d = 379 + 203. Is d prime?
False
Suppose -3*q + 6440 = -3871. Is q a composite number?
True
Let h = 336 - -1266. Suppose h = 3*a + 3*a. Is a prime?
False
Let y = 55 + -53. Is (-6)/y - (6/(-1) - 146) composite?
False
Let r = 45246 + 72031. Is r a composite number?
True
Let l = 4 + -1. Suppose 33*d - 14*d - 6118 = 0. Suppose 5*j - d = l*j. Is j prime?
False
Suppose y - 28740 = 5*p, 57491 = 2*y + 3*p - 2*p. Is y prime?
False
Let n = 7354 - 2987. Is n a prime number?
False
Let y(g) = 5*g**2 - g. Let v be y(-1). Suppose -3*j = -6*j + v. Suppose -j*h + d + 664 = -0*d, d + 995 = 3*h. Is h prime?
True
Let j(g) = -g**2 + 8*g - 3. Let z be j(7). Suppose 6 = 12*k - 10*k. Suppose -4*t = k*p - 523, t + t - 274 = -z*p. Is t composite?
False
Suppose -20 = 7*u - 3*u. Let c be u*(4/(-20) - 0). Is (c/(-2))/(9/(-1962)) composite?
False
Let o(h) be the third derivative of h**5/60 + h**4/6 - h**3/2 + 4*h**2. Let m be o(3). Suppose -t = -97 + m. Is t composite?
False
Suppose q - l = 2*l + 11, 0 = 2*q - 3*l - 13. Let y = q - -11. Suppose -2*w + 41 + y = 2*f, -4*w - 171 = -5*f. Is f a composite number?
False
Let q(b) = 2*b - 59. Let m be q(29). Is ((-1)/(-2))/(2/(-2524))*m prime?
True
Suppose -4*t + 8 = -12. Let f(h) = 56*h + 27. Is f(t) composite?
False
Let d(m) = m**2 - 13*m + 27. Let g be d(11). Suppose n + g = 1, 3*j - 3354 = 3*n. Is j a composite number?
True
Is (-510396)/4*(-1)/3 a prime number?
True
Let t = 72275 + -25522. Is t prime?
False
Let b = -1513 + 2703. Suppose v = -415 + b. Suppose 50 = -5*l + v. Is l a composite number?
True
Let g(z) be the third derivative of -z**4/12 + 4*z**2. Let d = 5 + -6. Is g(d) prime?
True
Let a = -5526 - -25955. Is a prime?
False
Let k(r) = -100*r**3 - 5*r**2 + 9*r - 7. Is k(-5) composite?
False
Let j = -59 - -60. Is ((-9)/(-27))/(j/5343) a prime number?
False
Let h = -1857 + 3098. Is h composite?
True
Let s be 9976/(-18) - (-2)/9. Let w = 2681 + s. Is w a composite number?
True
Suppose -4*v + 36 = -5*j - 0*v, -5*j + 5*v = 35. Let m(w) = -w**3 - 9*w**2 - 12*w - 6. Let i be m(j). Suppose -l = -i - 9. Is l a composite number?
True
Suppose 2*u - 3253 = 1177. Is u composite?
True
Let q(t) = -2*t**3 + 2*t**2 + 7*t - 5. Let j be q(5). Let k = 15 - j. Is k a composite number?
True
Let c be (1296/(-20))/((-1)/15). Suppose f - c = -3*f. Let x = f + -32. Is x a composite number?
False
Let w(m) = -m**3 - 5*m**2 - 8*m - 10. Let z be w(-4). Suppose z*k - 19 = -49. Is (6 + k)/((-1)/(-211)) a prime number?
True
Suppose 5*h - 30 = 5*v, -2*h = -5*v - 11 - 7. Let t be (-4 - -4)/(0 + v). Is 35 + (-1)/4*t prime?
False
Suppose -8*q = -10560 - 12056. Is q a composite number?
True
Let r(j) = -8*j**2 + 2*j**2 - j**2 - 4*j + 7 - j**3. Is r(-8) a composite number?
False
Let w(o) = 4*o**2 - 3*o - 333. Is w(-58) composite?
False
Let s(a) = 2*a - 6. Let k be s(4). Suppose k*m = 389 + 455. Is m composite?
True
Let r be 52/(-65) - (-1)/(-5). Let l(j) = 8*j**2 - 1. Let g be l(r). Is 24 + 1 - (-5 + g) a composite number?
False
Let f(u) = -3677*u - 320. Is f(-5) a prime number?
False
Let n be ((-2)/6)/((-3)/9)*3. Let o(r) = -r**2 - r + 73. Let h be o(0). Suppose h + 188 = n*q. Is q composite?
True
Let d be (-380)/(-50) - (-3)/(-5). Let h(b) = b**3 - 6*b**2 - 6*b - 8. Let t be h(d). Is -7*(-2 + t) + -2 a composite number?
False
Let s be 0 + 3*-6 + 3. Let r(z) = 19*z - 2. Let o(c) = 18*c - 1. Let d(u) = -6*o(u) + 5*r(u). Is d(s) a composite number?
False
Suppose 0 = -4*n, 5*n - 3*n = -o + 33739. Is o prime?
True
Let h(a) = 135*a**3 + a**2 - 4*a - 1. Suppose c + 4*c + 5*z = 25, c = 4*z - 5. Is h(c) a composite number?
True
Suppose -5*g = 2*k - 1232, 10*k - 9*k + 5*g = 621. Is k a composite number?
True
Let w be (5 - 12 - -5)*6/(-4). Suppose -d + 3*d - 2*b = 4004, -3*d - w*b + 6012 = 0. Is d composite?
False
Suppose 0 = n - z - 2, 5*n + z = -z + 10. Let j = 44 + 213. Suppose h - n*h = -j. Is h prime?
True
Suppose -4*g + g + 9 = 0. Suppose -16 = -h - g*h. Suppose -5*v + 441 = -h*m, -603 = -4*v + 5*m - 252. Is v a prime number?
True
Let f be (-16)/(-10) + (-6)/(-15). Suppose 3*b = 2*q + 18, -2*b + 5*q = f*b - 31. Is 674/10 + b/(-10) a prime number?
True
Let i(t) = -t**3 + 3*t**2 + 2*t + 13. Let v(z) = -9*z + 63. Let h be v(8). Is i(h) composite?
False
Suppose 3*o - 114 = -0*o. Suppose 3*x = 80 - 74. Suppose 100 = x*i + 3*f, -o - 76 = -2*i + 4*f. Is i a prime number?
True
Let p(q) = q**2 - 16*q + 35. Is p(20) a prime number?
False
Suppose -5*o - 3*x + 27 = -o, 0 = -2*o - 3*x + 15. Let p be (-1864)/(-6) - (-2)/o. Suppose d + d - 3*l = p, 5*d - 4*l = 781. Is d composite?
False
Let g = 4388 - 951. Is g a composite number?
True
Let q(r) = -34*r**2 + 123*r**2 - 2*r + 1 - 2 + 591*r**2. Is q(-1) a prime number?
False
Let m be (0 + 2)/((-2)/(-4)). Suppose 0 = m*r - 3*h - 5450, -5*h + 2712 = 4*r - 2*r. Is r a prime number?
True
Is (-73732)/(-12) - (-6)/9 prime?
False
Suppose -l = 2*p - 1551, -4*l + 3*p = p - 6254. Suppose -5*x + 6*x = l. Is x prime?
False
Let g = 11698 + 18091. Is g prime?
True
Let f(m) = -104*m - 22. Suppose 1 + 27 = -7*b. Is f(b) a prime number?
False
Suppose g - 616 = 2313. Is g a composite number?
True
Let m = 4038 + 3955. Is m a composite number?
False
Let q(d) = d**3 - 9*d**2 + 27*d + 13. Is q(16) composite?
False
Let v(b) = -1335*b + 544. Is v(-11) prime?
False
Let m be 26/(-10) + ((-4)/10 - 0). Is (-87)/2*(-2 - (-56)/m) a prime number?
False
Let x be (3 - -496)/(1/4). Let f = 2840 - x. Suppose -f = -g - 3*g. Is g a composite number?
False
Suppose -11*a - 1676 = -15*a + 4*s, a = 2*s + 419. Is a a prime number?
True
Let a(x) = 108*x**2 + 2*x + 8. Let m be a(5). Suppose -5*j + m = -697. Is j prime?
True
Let a(m) be the third derivative of -11*m**4/4 + 7*m**3/6 - 7*m**2. Is a(-6) a composite number?
True
Let m(c) = -202*c + 15. Let b be m(-15). Is b/12 + 3/(-4) composite?
True
Suppose 5*k = 49435 - 12470. Is k composite?
False
Let s(v) = 20*v**3 - 29*v**2 - 30*v + 12. Let q(l) = 7*l**3 - 10*l**2 - 10*l + 4. Let b(i) = -17*q(i) + 6*s(i). Is b(9) a prime number?
False
Suppose 2*q + n = -2, 4 = 3*q - 2*n + 21. Let m be (-3 - 27)*16/q. Is m - 1/(3/(-9)) composite?
False
Let x = -279 + 271. Let p(s) be the third derivative of -s**6/120 - s**5/15 + 7*s**4/24 + 3*s**3/2 - s**2. Is p(x) a composite number?
True
Let u(l) be the second derivative of 5/3*l**3 - 1/20*l**5 - 7/2*l**2 + 13/12*l**4 - 4*l + 0. Is u(12) composite?
False
Suppose 2*j - 22702 = 4*o, -3*o = 80*j - 83*j + 34053. Is j prime?
True
Let p = 540 - 365. Let v = -102 + 287. Suppose 0 = 5*s - 3*n - v, -3*s = -8*s + n + p. Is s a prime number?
False
Suppose 0 = -13*f + 35*f - 15554. Is f prime?
False
Suppose 0 = -2*m - 3*m + 120. Suppose -3*u + u + 3*d + m = 0, -2*u + 24 = -5*d. Let i(j) = j**2 - 10*j + 7. Is i(u) prime?
True
Is 118/(-295)*(-68065)/2 prime?
True
Let s = -42 + 43. Suppose -3*p = -3*k + 1902, -s = -3*p + 2. Is k prime?
False
Let c(s) be the second derivative of s**4/3 - 3*s**3/2 + 7*s**2/2 - 4*s. Is c(6) prime?
True
Let y(r) = 140*r**2 + r + 28. Is y(-7) a composite number?
True
Let y = 555 + -266. Let l be -6 + -88 + 9 + 5 + 0. Let m = y + l. Is m a composite number?
True
Let t(p) = p**3 - p**2 + 4*p + 7349. Is t(0) a composite number?
False
Let p(u) = -u**2 - 19*u - 19. Let q(r) = r**2 + 9*r + 9. Let y(n) = -3*p(n) - 7*q(n). Let x be y(5). Let l = 195 + x. Is l composite?
False
Let o(t) = 50*t + 1. Let g be o(1). Let a(m) = g*m - 17*m - 1 + 0