- 20 + 4 = 5*y, 3*y = 4*i - 5. Let k be y - (4 + -2 + -118). Let r = k - -20. Is r composite?
True
Let s(w) = 202*w**2 - w + 1. Is s(1) composite?
True
Let u be (-4 + 2)*-1 + -3. Is -2 + (u - -17) + -4 prime?
False
Let f be (-1)/((-10)/3 - -3). Suppose -f*q - q = -1160. Suppose -4*i + 3*b - b = -q, 9 = 3*b. Is i a prime number?
False
Let g = 12 + -7. Suppose 35488 = g*w + 1003. Suppose -5*d + 2*x = -w, 9*x + 2742 = 2*d + 4*x. Is d prime?
True
Let b = -149 - -154. Let y(p) = -p**3 + 2*p**2 + p - 2. Let l be y(2). Suppose b*g = i + 249, l = 2*g - 5*i + 8 - 126. Is g prime?
False
Let t(n) = -26*n - 22 - 2 + 6 - n. Let w be t(-7). Suppose 0 = 2*z + 4*a - 86, 5*z - 2*a - w - 104 = 0. Is z prime?
True
Let h = 2744 + -283. Is h a composite number?
True
Let b be (16683/6*2 + 3)*1. Suppose 289 = -5*u - 4*l + b, -3*u + l + 3165 = 0. Is u a prime number?
False
Let d(j) = 281*j**2 + 4*j - 16. Let n be d(4). Suppose -13*b = -5*b - n. Is b a prime number?
False
Let v be 29*5/((-20)/(-92)). Let i be (0 + 51)/((-6)/(-32)). Let w = v - i. Is w a composite number?
True
Let f = -2916 + 10337. Is f a prime number?
False
Suppose -2*s - 3*l = -1826, -4*s - 4*l + 3616 = -7*l. Is s composite?
False
Let j(i) = i**3 + 7*i**2 - i. Let o be j(-7). Suppose o*g - 4*g - 4533 = 0. Is g a composite number?
False
Let h = 1129 - 542. Suppose 2*o - z = h, -o - 3*z = 4*o - 1440. Is o composite?
True
Suppose k - 3*c = 10375, 2*k - 5*c + c - 20742 = 0. Is k prime?
False
Let u = -7166 + 15729. Is u composite?
False
Let y = 6 - 2. Suppose 0 = -y*h + 3*f + 1910, f - 2*f = h - 481. Is h a prime number?
True
Suppose 73449 + 33755 = 4*u. Is u a prime number?
True
Is ((-75)/30)/((-142845)/35710 - -4) a composite number?
True
Suppose 0 = 6*f - 2*f + 8. Let k(d) be the third derivative of -103*d**4/24 + d**3/2 + 27*d**2. Is k(f) prime?
False
Suppose 3*v - 2*q = 1716, -1145 = -2*v - 0*q + q. Let u = v - 320. Is u prime?
False
Suppose 2*y - 7*y = -27325. Let w = y - 3276. Is w composite?
True
Let b(o) = -o - 31*o**3 - 54 + 6*o + 56 - o**2. Is b(-3) a prime number?
False
Let n(y) = 56*y**2 + y + 7. Let j be (-2)/(-12) + (-69)/(-18). Is n(j) prime?
True
Let t = -51 - -51. Suppose t = -7*y - y + 5192. Is y a prime number?
False
Suppose -17 - 37 = -3*o. Let i = -58 - -83. Let u = i + o. Is u a prime number?
True
Let x(z) = -z**3 + 6*z**2 + 5. Let u = 35 - 33. Suppose -u*m + 3*m + 6 = 0. Is x(m) a prime number?
False
Let f(u) = -2758*u + 1. Let v be f(-1). Suppose 565 = t + 4*p, v = 2*t + 3*t - 2*p. Suppose -b - 2*b + t = k, 2*b + 5*k - 386 = 0. Is b composite?
True
Let g = -1079 + 2310. Let b = g - 590. Is b composite?
False
Suppose 4*t - 4*h = -40, -t - h = 3*t + 20. Is 4/t*-246 + -1 a composite number?
False
Let s(n) = -2*n**2 - 48*n. Let x be s(-24). Suppose 2*w - 309 - 1609 = x. Is w prime?
False
Let n(f) = f**2 + 2*f - 12. Let c be n(-6). Let t be (-728)/(-3) + (-8)/c. Suppose 4*m - t = 566. Is m a prime number?
False
Suppose -2*a = -j - 0*j + 2, -j = 3*a - 2. Suppose -5*i = -4*s - 19, 2*i + a*i + 2 = 0. Is s/2 + 0 - -160 a prime number?
True
Suppose 0 = -w - 3*c + 10, -3*c = -2*w - 0*w + 2. Suppose -v - 348 = 2*l - 1985, 0 = w*l. Is v a composite number?
False
Let j(c) = -18*c**2 + c + 3. Let v(g) = 36*g**2 - 2*g - 7. Let w(d) = -5*j(d) - 2*v(d). Let i be w(-1). Is ((-9)/i)/((-2)/1924) a prime number?
False
Let q = 158 + -221. Let m = -28 - q. Is m prime?
False
Let u(m) be the second derivative of 10*m**3 + 5*m**2 + 5*m. Let d be u(5). Is (-11)/(-66) - d/(-12) a composite number?
True
Suppose 0 = -4*u + 6 + 6. Suppose 0 = u*d + 2*d - 1735. Is d a composite number?
False
Let w = 2430 - 1534. Suppose 0 = -5*s - p - 3195, 110 - 749 = s - p. Let t = s + w. Is t a composite number?
False
Suppose 3*p = -4*h - 5411, 3*h = -3*p + p - 4057. Suppose 4*g - 5457 - 2191 = 0. Let i = g + h. Is i prime?
True
Suppose -11*b + 75877 - 12660 = 0. Is b composite?
True
Let w(s) = -15*s**2 + s - 4. Let z be w(-3). Let l(g) = 321*g. Let n be l(1). Let i = n + z. Is i composite?
False
Is (10/16)/((-134)/(-8379824)) prime?
False
Suppose 32*m - 314602 = -6*m. Is m a prime number?
False
Suppose 0 = -5*r + 32*r - 12501. Is r composite?
False
Let u = -2334 + 4579. Is u prime?
False
Let z(k) = -2 - 32*k + 93*k + 18*k. Is z(1) prime?
False
Let c = 1025 - -528. Is c a composite number?
False
Let a(z) = 127*z**3 + 9*z**2 - 13*z - 11. Is a(4) a prime number?
True
Let f(p) = -p**3 - 13*p**2 - 11*p + 6. Let a(y) = -4*y**2 - 2*y. Let l be a(-2). Let d be f(l). Is 28/d*(-66)/4 a composite number?
True
Let u(m) = -m - 3. Let x be u(-3). Let c be 2 - 1/(-5) - 14/70. Suppose x = c*a - 25 - 13. Is a a composite number?
False
Let a(l) = 58*l**2 - 17*l + 476. Is a(-29) composite?
False
Suppose -3*v + 2*c = -8, 0 = -0*v - v + 4*c - 4. Let x = v + -5. Is (x/2)/(4/(-1784)) a composite number?
False
Let b(r) = 37*r**3 - 6*r**2 + 4*r + 27. Is b(6) composite?
True
Let s = -48 - -107. Suppose u + 280 = -3*u. Let t = s - u. Is t a composite number?
True
Let b be (-4)/22 - (-456)/88. Suppose -b*c - 1256 - 240 = -2*s, c - 3713 = -5*s. Is s a composite number?
False
Let f = -15 - -18. Suppose f*b = -58 - 41. Let j = -14 - b. Is j a composite number?
False
Suppose f - 2*a = -0*f + 1379, f - 5*a - 1379 = 0. Suppose 2*v - 4*w - 5616 = -2*v, -4*w + f = v. Is v composite?
False
Suppose -2*z + 3160 = q - 5573, -3*z - 4*q = -13097. Is z a prime number?
False
Let f = -5 + 6198. Is f a composite number?
True
Is (-4)/16*(-13934 - 30) composite?
False
Let l be (-10)/(-1)*(-1)/2. Is 124 + 1*((-8)/4 - l) prime?
True
Suppose 44 = -6*v + 8*v. Suppose 0 = -16*a + v*a - 11082. Is a a composite number?
False
Let t be 3 - (0 - 2*-947). Let l = t + 3243. Suppose -5*a + l = -4033. Is a composite?
True
Let m = -6 + 0. Let n be 90*(64/m)/1. Let g = -337 - n. Is g composite?
True
Suppose 5*b = -3 - 12. Let d be (9/(-3))/(b/28). Suppose -d + 81 = y. Is y a prime number?
True
Let l(w) = 13*w**2 - 156 + 156. Suppose 2*t = -2*t - 4. Is l(t) prime?
True
Let n(o) = -7*o - 1 + 4*o**3 - 3*o**3 + 6*o**2 + 6*o**3. Is n(4) a composite number?
True
Suppose 18 = -3*f + 3*b, 3*f + 3*b + 3 = 15. Is (-448)/f + 1/1 a composite number?
False
Let o(b) = b**2 - 7*b - 19. Let q = 30 - 21. Let u be 119/q - (-4)/(-18). Is o(u) prime?
True
Let z be (-1 - -30)/((-6)/18). Let o be (-2)/(-12) - z/18. Suppose -5*r + 2*r + 4*f + 271 = 0, -173 = -2*r - o*f. Is r a prime number?
True
Let x = 29017 - 18728. Is x composite?
False
Suppose 15*s = -0*s + 191715. Is s a composite number?
False
Let o(d) = 4*d**2 + 4*d - 1. Let c = -15 + 17. Suppose c = z - 2. Is o(z) composite?
False
Suppose 472*t - 460*t - 237732 = 0. Is t prime?
False
Let k = 2350 - 503. Is k a composite number?
False
Suppose -4*b = 5*i + 61, i + 4*i = -3*b - 57. Let o be (i/3 - -3)/(-1). Suppose 2*h + o*h = 382. Is h prime?
True
Suppose 6*a = 5*a + 142. Is (-12)/24*a*-1 composite?
False
Suppose -20*f = -26778 - 11522. Is f a composite number?
True
Let h be (0*(-2)/(-4))/(-1). Let w(m) = -m + 6. Let x be w(h). Suppose -x*s + 620 = -142. Is s composite?
False
Let l(z) = -2369*z + 18. Is l(-5) a composite number?
False
Let l(u) = 5*u**3 + 10*u**2 - 17*u - 5. Is l(12) a prime number?
True
Is 1/(1/(-4)) - (-20 - 2151) a prime number?
False
Let t = -924 + 552. Let n = t - -893. Is n composite?
False
Let q = 434 - -59. Is q prime?
False
Let v(d) = 890*d + 1. Let z(n) = -1781*n - 3. Let o(b) = 5*v(b) + 3*z(b). Is o(-1) a composite number?
True
Let a = 2 - -46. Suppose a = c - 3*c. Let z = c - -43. Is z a prime number?
True
Let i be (3/2)/((-12)/(-32)). Suppose -m = -0*j - i*j + 13, -4*m - 19 = -5*j. Suppose -4*h - 3*z = -875, h + j*z + 1060 = 6*h. Is h composite?
True
Suppose 8079 = 5*d - 4*d + 2*g, -5*g - 40410 = -5*d. Is d a prime number?
True
Is 13/(312/45972)*(-4)/(-6) a composite number?
False
Let j(a) = a - 1. Let q be j(-9). Let w = -7 - q. Let i = 176 + w. Is i composite?
False
Suppose -5*t = p - 108 + 16, 3*t = 15. Suppose 3*h - u = 2*u, 5*h - 24 = -3*u. Suppose -y + 5*s = -p, -h*y = -4*y + 3*s + 71. Is y a prime number?
False
Let f(c) = -c + 7. Let y be -10*3/6*-1. Let w be f(y). Suppose -2*j - w = 0, -3*t - 2*j + 78 + 181 = 0. Is t a prime number?
False
Suppose 0 = -17*t + 12*t + 15. Suppose 4*z - 30 = 2*f - 12, -3*z + 36 = t*f