?
True
Suppose 0 = -6*i + 8*i - 60. Let t = -34 + i. Let s = t + 7. Is s prime?
True
Let c(v) = -v**3 + 6*v**2 + v - 1. Let w be 2 + -4 - -3 - -3. Let l be c(w). Let i = l - -84. Is i composite?
True
Suppose j = -j - 10, 57 = 4*p - j. Let m = p + -11. Suppose -m*o - 3*a + 472 = 0, 3*o = 2*o + a + 231. Is o prime?
True
Let d(l) = 1549*l**2 + 33*l + 1. Is d(-2) a composite number?
False
Suppose 3 + 1 = 2*f. Suppose -6 = 3*c + f*c + 3*n, -c - 4 = 2*n. Suppose c*q + 1045 = 5*q. Is q a prime number?
False
Let t be -8*(((-42)/4)/7 + 1). Suppose -2680 = -4*p - t*p. Is p prime?
False
Let d(i) = 52*i - 7. Is d(23) a composite number?
True
Let t = -232 - -54. Let x = 861 - t. Is x a prime number?
True
Suppose 0 = -4*t + 782 + 6254. Is t prime?
True
Suppose -5*b = -8*b + 954. Suppose -206 = -4*s + b. Is s prime?
True
Suppose 0*f - 36 = -2*f. Let l be -3 + (f + 2)/4. Suppose 0 = -4*p - p - 25, -m = -l*p - 159. Is m composite?
False
Let w(m) be the third derivative of -61*m**6/120 + m**5/30 - m**4/24 + m**3/6 + m**2. Is w(-2) a composite number?
False
Let n = 3 - 3. Let j be 298*(n + 1)*2. Suppose -8*c + 4*c = -j. Is c a composite number?
False
Let u be 0/((-6)/(-18) + 10/6). Suppose u = -2*v + 5*v - 3417. Is v prime?
False
Is (141 + -13)/(1/11) - -1 prime?
True
Suppose 31090 = 41*d - 39*d. Is d a composite number?
True
Let j = 8062 + 2775. Is j composite?
False
Let g(n) = -468*n - 8. Let h(q) = -4*q + 3 - 12 + 104*q - 569*q. Let u(t) = -6*g(t) + 5*h(t). Is u(2) prime?
True
Let d(h) = 27*h + 14. Let u be d(6). Suppose g + u = 5*g. Suppose -4*v = -0*v - g. Is v a prime number?
True
Suppose -3*o - 3 = -4*o. Let v be 2/o + (-94)/6. Is v/5 + 0 + 446 composite?
False
Let o(x) = -183*x**3 - 3*x**2 + x - 8. Is o(-3) prime?
True
Suppose 3*d - 12*d + 16209 = 0. Is d composite?
False
Suppose 7*j = 4*j + 60. Suppose -2*u + 0 + 10 = 2*i, 2*i - 4*u = -j. Suppose i = -3*l - 3, 2*l + 27 = 2*b - 21. Is b a prime number?
True
Let h(p) = -92*p + 3. Let f(q) = 183*q - 6. Let c(d) = 2*f(d) + 5*h(d). Let x be (6 - (6 + -5))*(-8)/10. Is c(x) prime?
True
Is ((6/(-4))/1)/(3/(-258)) prime?
False
Suppose 0 = -2*n + 2*s + 4336, -5*n - 5*s - 2751 = -13641. Is n composite?
True
Let p = 13126 - -24273. Is p prime?
False
Suppose 0 = -5*r - 4*r + 13257. Is r prime?
False
Let o(s) = -s + 10*s**3 - 7*s + s**3 - s**3 - 3*s**2. Let m be o(-6). Is m/(-8)*2/3 a prime number?
False
Let l = -23 - -25. Suppose -l*i = -44 - 30. Is i a prime number?
True
Let o(d) = d**3 + d**3 + 2*d - d**3 - 11*d + 1 - 7*d**2. Let a be o(9). Let n = a - -5. Is n composite?
True
Suppose -6107 = -25*f + 47718. Is f composite?
False
Let u(f) = f**3 + f**2 + f + 23. Let n = -6 - -4. Let x be (-7)/14*0/n. Is u(x) a prime number?
True
Suppose h = 5*t + 3372, -h - t = -3*h + 6753. Is h composite?
True
Let n be 1/4 + (-105)/(-60). Is (n/(-4*2))/((-1)/932) a prime number?
True
Is (-3)/(12/101)*140/(-5) a composite number?
True
Suppose 0 = -4*n + 2 + 38. Suppose -n*g + 13*g - 9 = 0. Suppose 4*j - 67 = g*j. Is j composite?
False
Suppose -1 = 3*m - 2*i - 20, -4*m - 4*i + 52 = 0. Let x be 6/m - (-7)/3. Suppose -116 = -b - 2*r + 21, -b - x*r = -142. Is b a prime number?
True
Let d be 48*2/(-1 - 1). Suppose 12*k = 10*k - 2*c - 42, -k = -4*c + 46. Let g = k - d. Is g a prime number?
False
Let k = 12 - 19. Let y = 10 + k. Suppose -226 = z - y*z. Is z prime?
True
Suppose 47*a - 5 = 46*a - 5*o, -80 = -4*a - 5*o. Is a prime?
False
Suppose 0 = -27*x + 455828 - 89249. Is x prime?
True
Let j(o) = -409*o - 2. Let r be j(1). Let a = 298 - r. Is a composite?
False
Is -1 + -2 - -6 - (-29320 - -6) prime?
False
Let z = 11324 - -3849. Is z a composite number?
False
Suppose 6 + 0 = 2*a. Suppose 3*f + 3*v - 1362 = 0, a*f - 7*f + 4*v = -1776. Is f composite?
False
Let w(u) = 152*u - 24. Let a be w(7). Suppose 4*n = a + 740. Is n a composite number?
True
Suppose 16 = -2*c + 8. Let q be 1/4 + (-118)/(-8). Is c/5 - (-2457)/q composite?
False
Let o = 5478 - 2213. Is o a prime number?
False
Let o(t) = t**3 + 5*t**2 - 6*t + 4. Let r be o(-6). Suppose -106 = 2*i - r*i. Is i a prime number?
True
Suppose 4*s - 2*h = 255838, 3*s - 127920 = s + 2*h. Is s a composite number?
True
Suppose -2*t - 69 = -a, -2*a + 2*t = -6*a + 316. Let l = 53 - a. Is 374*-3*4/l a prime number?
False
Let t(q) = 696*q**2 - 10*q + 18. Is t(4) composite?
True
Let l(y) = 7*y**2 + y - 14. Let n(x) = -3*x**2 - x + 7. Let m(f) = 4*l(f) + 9*n(f). Let c be m(5). Let h(o) = o**3 - 5*o**2 - o + 3. Is h(c) prime?
False
Suppose -2 - 26 = -2*b. Suppose -p = -254 - b. Suppose 11*y - 15*y + p = 0. Is y prime?
True
Let h(g) = 87*g**2 - 8*g + 66. Is h(-11) composite?
True
Let o(f) = f**2 + 11*f - 9. Let d be o(-12). Suppose d*c = 5*c - 5554. Is c a composite number?
False
Let u = -2139 - -2150. Is u a prime number?
True
Let v(i) = -i**3 - 9*i**2 + 12*i + 13. Suppose -3*t = 1 - 10. Suppose t*s + 9 = -k - 18, 2*k + 2*s + 34 = 0. Is v(k) a composite number?
True
Let t(q) = 2*q + 8. Let x be t(8). Suppose -x = -3*u + 5*v + 31, -3*v - 25 = -u. Is u a prime number?
False
Let o = 12 - 22. Let w = o - -10. Suppose -4*m + w*m = -1220. Is m prime?
False
Suppose -13 = 5*c - 2*y, 5*c = 7*y - 2*y - 25. Let x be (2 + c)/((-3)/(-21)). Is 3 - x/((-14)/212) composite?
False
Suppose 5*c + 680 = 5*k, c - k = 2*c + 144. Is ((-753)/(-12))/((-5)/c) a prime number?
False
Let n be 2/(-3)*(-4)/(-8)*-9. Suppose n*z - i = -2*i + 462, 5*i + 15 = 0. Is z a prime number?
False
Is -2*3/(-42) + (-288180)/(-70) prime?
False
Suppose 0 = 4*z - 4*k - 261256, 4*z - 1663 = 2*k + 259595. Is z a prime number?
False
Let i be (9/(-6))/(6/(-10072)). Is ((-2)/4)/((-1)/i) composite?
False
Let r(k) be the second derivative of 2*k**3/3 - 7*k**2/2 + 3*k. Let q be ((-20)/(-16))/(5/20). Is r(q) a composite number?
False
Let d(l) = -14*l**2 + 6*l + 21. Let i be d(15). Let o = -1948 - i. Is o a prime number?
True
Let n = -4505 - -17160. Is n prime?
False
Suppose 2*z + 3*p = 15, 0 = -5*z + 2*p - 7*p + 30. Suppose i = -2*s + 82 - 12, 0 = -3*s - z*i + 99. Is s a composite number?
False
Is 5/(-80)*4 - (-19959)/12 a prime number?
True
Let s = 217 + -153. Let u = -42 + s. Is u a composite number?
True
Let b = -589 - -994. Suppose 5*f = 3*p - 1737, -2*p + 1306 - 173 = 5*f. Let g = p - b. Is g prime?
False
Suppose 0*i + i - 3*r = 6, 15 = 4*i - 3*r. Let q be (-1)/(i/6) + 23. Is 3303/q + (-4)/14 composite?
False
Suppose 0 = 3*z - 15, 0 = -3*t - 2*t - 4*z - 115. Is t/(-18)*2510/3 a composite number?
True
Suppose 0 = 6*o - 16775 - 2269. Suppose 6*l - o = -0*l. Is l a composite number?
True
Let s = 24402 - 13873. Is s composite?
False
Let p(m) = -37 + 2*m + 0*m**2 + 30 + 3*m**2. Is p(-6) prime?
True
Let t(q) = 121*q**2 + q + 10. Let m be t(9). Suppose -2*j - l + 2276 + 1653 = 0, -5*j + m = 3*l. Is j composite?
True
Suppose -2*n + 15 = 37. Let d(q) = 2*q**3 + 24*q**2 + 15*q - 12. Is d(n) a prime number?
False
Suppose 0 = 6*b - b - 4*j - 122, -j = 5*b - 132. Suppose 5*m = 25, -2*n + b = 5*m + 1. Suppose i + r - 187 = 0, n = 5*r - 7 + 27. Is i a prime number?
True
Suppose 5*v - 774 - 971 = 0. Suppose 8*y = 7*y - v. Let q = -210 - y. Is q composite?
False
Let c be (1 - -7201) + 63/(-21). Suppose 2383 = 6*x - c. Is x composite?
False
Let y(o) = 126*o**2 + 10*o + 3. Is y(3) prime?
False
Suppose -99 = 3*q + 6. Is -1 + -2 - q*58 a composite number?
False
Suppose -5*s = -u - u + 3528, 4*s = -5*u + 8853. Let t = -1032 + u. Is t a prime number?
False
Let h(b) be the third derivative of 4*b**5/15 + b**4/12 + 5*b**3/6 - 25*b**2. Is h(-3) composite?
True
Let a = -192 + 635. Is a prime?
True
Let h be (2 - 2)/(4/(-2)). Suppose v = -q + 636, -3*v + v - q + 1269 = h. Is (v/(-9))/(2/(-6)) a prime number?
True
Suppose -124924 = -3*l + 18785. Is l composite?
False
Let y(s) be the second derivative of 247*s**4/12 - s**3/6 + s**2/2 - 8*s. Let l be y(2). Is ((-2)/6)/((-7)/l) a prime number?
True
Suppose 182*v - 170*v - 161412 = 0. Is v a composite number?
False
Is ((-55)/(-20))/(6/35016) composite?
True
Suppose 0*u - 3*u = -15. Suppose u*z + 45 = -d - 109, 5*z - 650 = 5*d. Let v = -77 - d. Is v a composite number?
True
Suppose 8438 = 5*i + b, 6739 = 4*i - 0*b - 3*b. Suppose 5824 = -5*v + 2*f, -5*f + 4843 = -3*v + 1360. Let d = v + i. Is d a prime number?
True
Let q = 28 + -28. Is 