174 + 33. Let z = i - -268. Is z composite?
False
Let w(y) = -6*y**2 - 5*y - 4. Let d be w(-3). Suppose -4*i = -222 - 34. Let v = i + d. Is v composite?
True
Let n(u) = u**3 - 24*u**2 + 18*u - 16. Is n(27) composite?
False
Let i = -16 - -18. Suppose -i*b = b - 42. Is b a prime number?
False
Let b(k) = 454*k + 49. Is b(13) composite?
True
Let t = -15 - -17. Is (-38)/((-3)/3*t) composite?
False
Suppose 4*i = -c + 8*i + 5, -i = c - 5. Suppose 8 = -c*d + 318. Is d a prime number?
False
Let w(m) = 12*m**2 - 8*m - 8. Let k be w(9). Suppose 5*c = -2*t - 1115, k = -4*c + 4*t - t. Let u = c - -386. Is u composite?
False
Suppose 0*s - 5*s - 675 = 0. Let n = -82 - s. Is n a prime number?
True
Let a(c) = 6*c**2 - 2*c - 1. Let w = -1 - 2. Is a(w) composite?
False
Suppose x = 3*t - 754, 3*x + 180 = -4*t + 1181. Is t a prime number?
True
Let r(n) = -2*n + 2. Let l be r(7). Suppose -26 = -2*j + d, -81 + 25 = -4*j + 3*d. Let q = j - l. Is q prime?
True
Let l = 94 + -144. Let a = -4 - l. Is a a prime number?
False
Let l(p) = p**2 - p - 6. Let h be l(5). Let d = h - 8. Is ((-4)/(-6) - -1)*d prime?
False
Let k(x) = -2*x**3 - 5*x**2 - 5*x + 1. Suppose -4*q + 6*q = -8. Is k(q) composite?
True
Let j(z) = -2*z - 6. Let m(c) = 3*c + 7. Let w(v) = 4*j(v) + 3*m(v). Let g be w(5). Suppose -g = 2*i + 4, x - i = 16. Is x a prime number?
True
Suppose s - 3 = -0*s. Suppose 3 = d, -3*w - s*d = -140 + 20. Is w a prime number?
True
Is 52 + 1/(-3)*3 prime?
False
Let g = 8 - 6. Suppose -g*z - 20 = 3*z. Is (-6)/z*(-150)/(-9) composite?
True
Suppose 0 = 4*f - 13 + 37. Is 4/(-3)*261/f prime?
False
Let z = -153 + 272. Suppose -4*l + 373 + z = 0. Is l composite?
True
Suppose -3*x - 2*m + 1559 + 868 = 0, 4*x - 3236 = m. Is x a prime number?
True
Suppose w - 5*w = -1940. Let j = -58 - -65. Suppose 2*g = j*g - w. Is g a prime number?
True
Let i be 3*63/(-2)*-2. Suppose -655 = -5*s - 5*q, 5*s + 2*q = i + 454. Is s prime?
True
Suppose 4*b - 2889 = -3*o, o - 4841 = -4*o + 2*b. Is o a composite number?
False
Let a(s) = -3*s + 2. Let n be a(1). Let i = -6 - -4. Is (133*n + -1)/i a prime number?
True
Is 7/(-1)*2512/(-16) a prime number?
False
Suppose -3*l - 4*n + 463 = 0, 0 = -3*l - 2*l + 2*n + 815. Is l a prime number?
False
Suppose 3*n = 3*s - 27, -4*n = 4*s + n + 9. Suppose -s*q = -q. Suppose w - 19 - 6 = q. Is w a prime number?
False
Let x = -20 - -3. Let r = -30 + 68. Let n = r + x. Is n a composite number?
True
Suppose r = -1, 4*r - 6 = -2*n + 6*r. Suppose 0 = -0*c + n*c - 354. Is c composite?
True
Let p(z) = -5 + 10*z**2 - 3*z + 4*z - 3*z + 4*z. Is p(3) a composite number?
True
Let s be (-2)/6 - 127/(-3). Suppose 0 = 3*h - s - 3. Is h prime?
False
Is 3/((-2)/(-2)) - -46 prime?
False
Suppose 0 = -4*m - 2*p + 3*p + 768, -3*m = 3*p - 561. Is m a composite number?
False
Let m(q) = 8*q**2 + 4*q - 13. Is m(7) a composite number?
True
Suppose 254 = i - 3*c, -3*i = 2*i - 5*c - 1280. Is i prime?
True
Let f = -25 + 23. Let a(s) = -45*s - 1. Is a(f) composite?
False
Let l = -31 + 109. Let f = -41 + l. Is f prime?
True
Let n = -6 + 15. Suppose -n - 9 = -3*t. Let d(q) = q**3 - 7*q**2 + 6*q + 7. Is d(t) a composite number?
False
Suppose 5*v + 15 = -2*g, 4*g + 0*g = -5*v - 5. Suppose -617 = -g*k - 72. Suppose -k - 128 = -3*u. Is u a prime number?
True
Suppose 5 + 1 = -k. Let h(g) = g**3 + 6*g**2 - 3. Let i be h(k). Is (-476)/(-6) + i/9 composite?
False
Is (-3304)/(-48) - (-2)/12 composite?
True
Suppose -26 = -g - 5*z, 0*g - 5*z + 22 = -3*g. Is 520/2 - (2 + g) a composite number?
False
Let b = 29 + -23. Let w = -1 + -1. Is (w + 60)*b/4 prime?
False
Let q = 122 + -88. Is q a prime number?
False
Suppose 40*b + 797 = 41*b. Is b prime?
True
Suppose -7 = 3*p + w + w, 0 = 2*p - 2*w + 8. Let z be (0 - -1)*p/3. Let d = 5 - z. Is d composite?
True
Let k = -40 + 575. Is k prime?
False
Let x(b) be the second derivative of b**5/10 - b**4/6 + b**3/6 - b**2 + 5*b. Is x(5) a prime number?
False
Suppose -5*v - 4*l - 31 + 9 = 0, 0 = v - 3*l - 7. Is (-1)/(-1) - (v - 3) prime?
False
Let o = 17 + -11. Suppose -o*q = -3*q - 93. Is q a composite number?
False
Suppose 0 = -4*l + 2*k - 3*k + 9331, l - 2338 = 5*k. Is l a prime number?
True
Is (-5)/((0 - (-3)/447)/(-1)) a composite number?
True
Suppose 0 = -12*c + 7*c + 3515. Is c a prime number?
False
Suppose 4*w = -w - a + 465, -5*w + 445 = 5*a. Is w composite?
True
Suppose 4*k + d = -8, -k + 2*d - 4 = k. Is (942/(-9))/(k/3) composite?
False
Is (-1)/2 - 21375/(-18) a prime number?
True
Suppose 0 = b + b - 12. Is 2/b - (-496)/24 a composite number?
True
Is 5/20 - (-59)/4 prime?
False
Let v be (-2)/(-4)*(-7 - -5). Is 95 - (-1 - v/1) a composite number?
True
Let g = 44 - 22. Let l = 42 - -5. Suppose -3*k = -g - l. Is k composite?
False
Let b be (0 - 2)*152/(-4). Suppose -b = -4*l + 1248. Is l a prime number?
True
Let z(b) = -b**3 + 11*b**2 + 4*b + 7. Let n be 4/(-6) + (-100)/(-15). Is z(n) prime?
True
Suppose 0 = -4*s, 2*d + 5*s = 3*d - 120. Suppose 5*t = d + 35. Is t a prime number?
True
Suppose 2*y = -y + 105. Is y a prime number?
False
Let u be ((-27)/6)/(3/(-4)). Let q = u + -4. Suppose 3*d - 7 = q*d. Is d composite?
False
Suppose 0 = o - 5*o + 4. Suppose -o = c + 2*p - 12, 4*c - 32 = -5*p. Suppose -c*h + 282 = -h. Is h a prime number?
False
Let c = 127 - -402. Is c a composite number?
True
Let s(l) = -l + 18. Let a be s(13). Suppose a*b - 596 = b. Is b composite?
False
Suppose 2*a = 4*p + 8 - 2, 3 = -a. Is 3/(9/642) + p a prime number?
True
Suppose -18 = -0*l - 3*l. Is l composite?
True
Suppose 5*a - 15 = 0, -5*c - 3*a + 188 + 1476 = 0. Is c prime?
True
Suppose -45 - 20 = -q. Suppose -o + 280 = q. Is o a composite number?
True
Let z be 2*(1 - 0) + -1. Let l(f) = -2*f**3 - 2*f + 1. Let g be l(z). Let j = 38 + g. Is j a composite number?
True
Suppose -3*t - 3243 = -6*t. Is t composite?
True
Suppose 588 = f + f. Suppose -3*b + f = -1386. Suppose 5*u - 3*q - b = 0, 4*u + 2*q - 470 = -0*q. Is u a composite number?
True
Is 4 + 2/((-2)/(-247)) a composite number?
False
Let y(m) = -2*m - 4 + 8*m + 5. Let u(g) = g**3 + 3*g**2 - g + 3. Let z be u(-3). Is y(z) a prime number?
True
Suppose 6*u - 2*u = 12. Is (-2)/u*(-2541)/14 prime?
False
Let c be (10/(-3))/(4/318). Let t = c + 392. Is t a composite number?
False
Let i(v) be the first derivative of v**4/4 + 2*v**3 - v**2/2 - 3*v + 2. Let h = 2 + -8. Is i(h) composite?
False
Let b(o) = -o**3 - 4*o**2 - 3*o + 2. Let k be b(-3). Let t(a) = 1 - 5 + 2*a**k + 0 + 5*a. Is t(-5) a prime number?
False
Let v(r) = -r + 6. Is v(3) a composite number?
False
Is (-2)/(-10) - (-3762)/15 a prime number?
True
Let a = 237 - 396. Let w = 242 + a. Is w a prime number?
True
Suppose 0 = -0*a + 2*a - 4. Suppose a*p - 16 = -2*p. Let n(q) = 9*q - 3. Is n(p) prime?
False
Let y = 549 - 256. Is y a composite number?
False
Suppose 348 = 2*k - k. Suppose -4*o + 1560 - k = 0. Is o prime?
False
Is -2 + -1 + 210/3 a prime number?
True
Let h(u) be the first derivative of -u**2 + 9/2*u**4 + u + 2 + 2/3*u**3. Is h(1) a prime number?
True
Suppose 0 = -5*g + v + 713, -3*v - 81 = -g + 70. Is g prime?
False
Let i(r) = r - 7. Let p be i(6). Let t(x) = x. Let l(k) = -8*k - 4. Let n(u) = p*l(u) - 3*t(u). Is n(3) composite?
False
Suppose -37 = -3*z + 2*z. Is z composite?
False
Let w(p) = -3*p**3 + 2*p**2 - 6*p - 7. Let y(l) = -3*l**3 + 3*l**2 - 7*l - 8. Let x(h) = 6*w(h) - 5*y(h). Let d be 11/(-4) - 1/4. Is x(d) a prime number?
False
Suppose -10 = -4*g - 2*r, 5*g - g = 5*r + 3. Suppose 1 + 3 = g*y. Is (76/16)/(y/8) a prime number?
True
Let x be (-2 - -3)/((-5)/10). Let v(t) = -43*t**3 + 3*t**2 + t - 1. Is v(x) composite?
False
Suppose -8*h = -4*h - 268. Is h a prime number?
True
Suppose 6*k - k = 415. Let l = -18 + k. Is l a prime number?
False
Let b(d) = -64*d - 2. Let w be b(-4). Suppose -w = g - 3*g. Is g composite?
False
Let r(u) = u - 8. Let v be r(8). Suppose a - d + v*d = 53, 0 = -d. Is a composite?
False
Let g = -767 + 2326. Is g a prime number?
True
Let u(f) be the second derivative of f**4/3 - 2*f**3/3 + 5*f**2/2 + 3*f. Is u(5) prime?
False
Is 1095/35 + (-4)/14 a composite number?
False
Let z(q) = 6*q + 3. Let i be z(-2). Let x = i + 5. Let v(o) = -2*o + 1. Is v(x) a composite number?
True
Let c(g) = -12*g - 1. Is c(-6) prime?
True
Let h = -3 + 7. Let i(z) = 2*z**2