*s**3 - 5*s**2 + 12*s - 3. Let i(t) = 6*c(t) + 7*k(t). Is i(10) a prime number?
True
Is (11295/(-10))/(-9)*(-1 + 23) a prime number?
False
Suppose -23*w + 34*w = 20009. Is w prime?
False
Let h(w) = 5*w - 8. Let b(n) = 11*n - 15. Let l(s) = -4*b(s) + 9*h(s). Let c be l(0). Is (-233)/(-3) - (-8)/c a composite number?
True
Let p(j) = -j**3 + 5*j**2 + 6*j + 2. Let k be p(6). Let o(l) = -6 + 12*l + 2*l + l**2 - k*l**2. Is o(7) prime?
True
Let q be ((-9)/6 + 2)*6. Let h(b) = 11*b**3 - 2*b**2 + 3*b - 1. Is h(q) composite?
True
Is 2/(153*6/(-231) - -4) a composite number?
True
Let w be 6/15 + (-2596)/(-10). Suppose 5*x - w = 175. Is x a prime number?
False
Suppose -4*g = -8*g. Suppose g*l - 452 = -4*l. Is l a composite number?
False
Let j(a) = -a**3 + 6*a**2 - 5*a + 2. Let o be j(5). Is (-3 - -94)/1 - o prime?
True
Let n(i) = -15*i - 172*i + 14*i. Let m be n(-1). Let p = m - 24. Is p composite?
False
Let f = 6 + -3. Let q(r) = -11*r**2 + 6 - 2 - r**f - 2 + 12 - r. Is q(-11) a composite number?
True
Suppose 3*j - 35 = 16. Suppose -5*c = -3*i - j, -2*c + 3*i - 11 = -4*c. Is c*(195/6)/5 prime?
False
Let k(v) = 8*v**3 - 14*v + 20. Let u(q) = 3*q**3 - 5*q + 7. Let b(x) = 6*k(x) - 17*u(x). Let n be b(-3). Suppose -d - 2*g + 11 = -8, 2*g = -5*d + n. Is d prime?
False
Let i(b) be the third derivative of 3*b**7/140 - b**5/120 + b**4/6 - 3*b**2. Let s(t) be the second derivative of i(t). Is s(2) composite?
True
Let n(z) = 3353*z**2 - 3*z - 3. Is n(-1) a prime number?
False
Let w(u) = -4*u**2 + u. Let y be w(1). Let b = y + 5. Suppose 0 = b*h - 9 + 1. Is h a composite number?
True
Is (-21489)/(-52) - (-2)/(-8) a composite number?
True
Suppose -4*s - 4*t - 20 = 0, 4*t - 5 + 20 = s. Let q be ((-4)/(8/6))/s. Suppose -q*r + 44 = r. Is r a composite number?
False
Suppose -3*t = -0*t. Suppose -5*y + 4*y - 88 = t. Let z = -41 - y. Is z a composite number?
False
Let x be 106 - -1*(1 + -2). Suppose 266 + x = a. Let l = a + -210. Is l composite?
True
Let n = 40 - 6. Is n a prime number?
False
Suppose 0 = 5*v + 2*r, -v + 31 = 2*v - 5*r. Suppose -4*j - 45 = 3*x + 44, -57 = v*x + 5*j. Let a = x - -56. Is a a prime number?
False
Let p be ((-2)/(-3))/(11/66). Suppose 3*b = b + u + 314, p*b - 628 = -u. Is b a prime number?
True
Let r(k) = -k**2 - 13*k - 7. Let w(n) = -2*n**2 - 5*n - 3. Let u = -11 + 8. Let a be w(u). Is r(a) prime?
False
Is (3/(-1) - -2041) + (1 - 0) composite?
False
Suppose 9*b - 4*b = 0. Suppose 4*z = n - 61, 2*n = -b*n - 4*z + 170. Is n a composite number?
True
Let r be (-4*1)/((-4)/126). Let t = r - 89. Is t a composite number?
False
Suppose 3*m + 0*n - 5*n = -31, 2*m + 10 = -2*n. Let b(s) = -8*s - 5. Is b(m) composite?
True
Let v = -966 + 1489. Is v a prime number?
True
Is 269/1 - (-3 - -7) composite?
True
Let r = -14 + 20. Suppose 10*c = r*c + 16. Is 2/c + (-90)/(-4) composite?
False
Let d be 110/(-4)*(-4)/5. Suppose -8*z + 2*z - 78 = 0. Is d/((6/z)/(-3)) prime?
False
Let l(s) = -s + 9 + 9*s + 3 - 5. Is l(8) prime?
True
Let k be (43 - -2)*(-72)/20. Is 1 - 0 - k/1 prime?
True
Let o = 27 - -242. Is o prime?
True
Let x(c) = -c + 2*c + 3*c + 4 + 4*c**2 - 5*c. Is x(3) prime?
True
Suppose 0 = 4*r + 4*f - 124, 2*r - 4*f = -9*f + 50. Suppose -n + 6 = -6. Let y = r - n. Is y prime?
True
Suppose j - 317 = 12. Let v = j + 90. Is v composite?
False
Suppose 4 + 0 = -5*n + 2*z, 9 = -3*z. Is (-70)/(-3) + n/6 prime?
True
Let y be (-9)/(-6)*232/3. Suppose 5*v - 139 = y. Is v composite?
True
Suppose 4*y = 4*s + 672, -s = -3*y - 2*s + 484. Is y prime?
True
Let j = 104 - 65. Suppose 19 = p + 5*f + 2, 2*p = -5*f + j. Is p a prime number?
False
Let u be (-4)/14 + 8/28. Suppose -d + r + 126 = 0, 5*d + u*d - 3*r - 636 = 0. Suppose 366 = 3*j + d. Is j composite?
False
Suppose m - 3*d - 14 = 0, 3*m = d + 2*d + 30. Suppose -4*u = 3*t - 17, 0 = u - 0*u + 2*t - m. Suppose 0 = -n - u + 5. Is n composite?
False
Let u(d) = d**3 + 4*d**2 - 9*d - 6. Let v be u(-6). Let q = 47 + v. Is q composite?
False
Let j(l) = -14*l - 1. Let b be j(-1). Let s(v) = 3*v + 10. Is s(b) prime?
False
Let q(z) = z + 1. Let u be q(7). Suppose -5*g + u*g = 93. Is -2*g/6*-9 a prime number?
False
Let d = 219 - 106. Is d a prime number?
True
Let z(d) = d**3 - 4*d**2 + 2*d - 1. Suppose -l = 12 - 3. Let y = 15 + l. Is z(y) prime?
True
Let s = 214 + -149. Suppose s = -4*w + 573. Is w a composite number?
False
Let a(x) be the first derivative of -3*x**4/8 + x**3/6 + 5*x**2/2 - 4. Let s(w) be the second derivative of a(w). Is s(-5) a composite number?
True
Let x(s) = 78*s + 35. Is x(18) a prime number?
True
Let j(u) = -360*u**3 + 1. Is j(-1) a prime number?
False
Suppose 0 = p - 65 - 186. Is p a prime number?
True
Suppose j - 6 = 4. Let u = j - -69. Is u a prime number?
True
Let j(z) = -z**3 - 4*z**2 + 4*z - 8. Is j(-7) a composite number?
True
Let t(u) = -3*u - 5. Let r(d) = -d**3 + 2*d**2 - 2*d + 1. Let g be r(1). Suppose g = 5*b + 15, -4*j - b - 7 = -3*j. Is t(j) a composite number?
False
Let b be 1*326/(-10)*-5. Suppose 4*z - 153 = b. Is z a prime number?
True
Let g(q) = 27*q**2 + 8*q + 50. Is g(-5) prime?
False
Let g(o) = -o**2 - 7*o - 1. Let t be g(-10). Let p = 46 + t. Is p prime?
False
Let a = 7 + 2. Let w = 5 + a. Is w a composite number?
True
Is 2/(2/307 + 0) prime?
True
Suppose 825 + 238 = 5*s - 4*w, 2*s - 416 = -3*w. Let l = s + -114. Is l a prime number?
True
Suppose 3*o - 3 = -0*o. Let i be 2/(-4) + (-66)/12. Is o/2 - 891/i a composite number?
False
Let s be (-50)/((1/(-7))/1). Let g(c) = c**3 + 3*c**2 + 2*c. Let a be g(-2). Suppose a = -4*t - 82 + s. Is t a prime number?
True
Suppose v - 1725 - 194 = 0. Is v a prime number?
False
Let g = -100 - -142. Let u = g - 11. Is u composite?
False
Let p = -298 - -929. Is p a prime number?
True
Let v(d) = -1031*d + 1. Is v(-2) prime?
True
Let y = -861 + 2010. Is y a prime number?
False
Suppose -6 = 5*h - 21. Let b(w) = -3*w**2 - 2*w**3 + 4*w**3 - w**2 - w. Is b(h) prime?
False
Let c be 4 - 2/3*-3. Suppose 5*m - f - 75 = 0, -4*f + c = 2*m - 24. Is m prime?
False
Let s be ((-6)/9)/(10/45). Is (-359)/(-2) - s/(-6) a composite number?
False
Is (5176/16)/((-1)/(-2)) a prime number?
True
Suppose -3*a + 491 = -250. Suppose 3*s - 452 = a. Is s prime?
True
Let a = -11 - -16. Suppose a*c = 4*t + 391, -c + 10 = 4*t - 73. Is c a composite number?
False
Suppose -g = t - 418 + 127, -g - 588 = -2*t. Is t a prime number?
True
Is 585 + 4/(-3)*3 a composite number?
True
Let w(g) = -20*g**3 + 2*g**2 + 3*g + 1. Is w(-2) prime?
True
Let f = -1 - -1. Let i(p) = -p**2 - p + 79. Is i(f) prime?
True
Let n = -39 + 118. Is n a composite number?
False
Let s(c) = 252*c + 1. Suppose 4*f - 3 = 1. Let q be s(f). Let v = 584 - q. Is v composite?
False
Let f(g) = -g**3 + 2*g**2 + 4. Let n be f(-3). Suppose 210 = 3*u + 5*y, 0 = u + 4*y - 28 - n. Is u composite?
True
Suppose 2*j - 5*u + 9 = -6, 2*u = -2*j + 6. Suppose 4*m + 737 = 2*q + q, j = -5*m + 5. Is q composite?
True
Suppose -4*s + 44 = 4*p + s, -2*p - 2*s = -20. Is (-16 - -1)*p/(-9) a composite number?
True
Let n(w) = w**2 + 7*w - 7. Let h be n(-8). Suppose -3*y = -5 - h. Suppose 0 = y*v + 13 - 191. Is v a prime number?
True
Let o = -71 - -35. Let t = 82 + -32. Let i = o + t. Is i a prime number?
False
Suppose 3*t = -2*t + 3995. Is t prime?
False
Suppose 0 = -0*t + 2*t - 34. Suppose -q - t = -4*l, 23 = 5*q + 4*l - 12. Let y(f) = 73*f + 4. Is y(q) a composite number?
False
Suppose 3*v - 2*a - 10039 = 4991, 0 = 3*v + a - 15039. Suppose -y = 3*y - v. Is y a prime number?
False
Suppose -5*u + 325 = 5*p, -2*u + u + 3 = 0. Is p prime?
False
Suppose -4*v + 2 = -10. Let b be -92 + ((-3)/v - -2). Is 1*0/(-1) - b composite?
True
Let a(s) = s**2 + 255. Let h be a(0). Suppose k - 2*b - 45 = 0, 0 = -5*k - 5*b - 0*b + h. Let n = k - 23. Is n a prime number?
False
Suppose 0 = 3*s - 5*s. Suppose s = -4*w + 174 - 2. Is w a prime number?
True
Let n(k) = -k**2 + 8*k - 7. Let i be n(6). Suppose i*q - 126 = 289. Is q a composite number?
False
Let h = 51 - 30. Suppose 6*c = 3*c + h. Suppose -3*n = -68 - c. Is n composite?
True
Let c be (-2)/(-4)*0/(-4). Suppose 4*i + 5*y - 3*y - 334 = 0, c = -4*i - 3*y + 331. Is i composite?
True
Suppose 5*d = -4*b + 8 + 2, 8 = 4*d - 2*b. Suppose 2*c = -d*c. Suppose 4*g - 22 - 126 = c. Is g a composite number?
False
Suppose 0 