= -2*z - 2*z, 0 = -f + 4*z + 911. Let o = f + -636. Suppose 7*d - o = 2*d. Is d a composite number?
True
Suppose 0 = 12*z - 8*z - 104. Is z composite?
True
Is 3/2*496/24 a prime number?
True
Suppose 4 = -5*o + 9. Suppose 0 = 3*d - o - 8. Suppose -d*z = -6*z + 39. Is z a composite number?
False
Let y(s) = 14*s**3 - 2*s**2 + 3*s - 1. Is y(2) a prime number?
True
Suppose -4*p + 23 = 3*y + p, 9 = 5*y + p. Suppose -y - 131 = -4*c. Is c a prime number?
False
Suppose o = -o - 4*p - 44, 2*o - 2*p = -62. Is 7/o - (-845)/4 a composite number?
False
Let b(y) be the second derivative of 13*y**3/3 + 9*y**2/2 - 3*y. Let w be b(-8). Let h = -122 - w. Is h composite?
True
Suppose 0 = 2*v - 5*y + 191 + 45, 0 = 2*v + 3*y + 236. Let k = v + 335. Is k prime?
False
Is 2927/(4*-1*(-10)/40) a composite number?
False
Is 22/55 - (-5273)/5 composite?
True
Suppose -3*f + 508 = 4*d - f, -2*d + 3*f + 254 = 0. Is d prime?
True
Let a(k) = 4*k**3 + 3*k**2 - 8*k + 6. Is a(5) a composite number?
False
Let j be 6/15 + (-24)/10. Let s be (2/2)/((-1)/j). Suppose -82 - 32 = -s*r. Is r composite?
True
Let k(q) = q**2 + 11*q + 3. Let n be k(-11). Let p(w) = 3*w**2 + w**2 + 1 + 2. Is p(n) a prime number?
False
Suppose 0 = 4*l + u + 14, -5*l + l - 2*u = 16. Is (l + 4)/(-1)*-163 composite?
False
Suppose -8*u - 3246 = -14*u. Is u prime?
True
Suppose 0 = 4*i - 5*o + 18, -5*o + 8 = 5*i - 4*i. Let y be 5/(1 + i)*1. Let b(v) = -6*v + 7. Is b(y) a prime number?
True
Let l(q) = -q**3 + 10*q**2 - 7*q - 2. Let d = -10 - -17. Let y be l(d). Suppose 0*g = g - w - 23, 5*w = 4*g - y. Is g a prime number?
True
Suppose 0*v = -5*v. Suppose -5*r = -3*j + 470, -4*j - 5*r - 19 + 634 = v. Is j a prime number?
False
Let u = 18 + -12. Let y(o) = o**3 + o + 1. Let h(z) = -4*z**3 + 5*z**2 + 4*z + 1. Let j(t) = h(t) + 3*y(t). Is j(u) a composite number?
True
Let y(w) = -w**3 + 3*w**2 - w. Let l be y(2). Suppose 431 = 3*m - 46. Suppose 0 = l*j - 2, 3*j - m = -5*f - j. Is f a composite number?
False
Let y(x) be the second derivative of x**3/6 + 5*x**2/2 - 2*x. Is y(6) prime?
True
Let p = -530 - -1203. Is p prime?
True
Let z(p) = -2*p + 5 + 3*p + 5 + p. Is z(12) prime?
False
Let z(v) = -59*v**3 + 2*v**2 - 2*v - 1. Let t be z(2). Is (t/28)/(1/(-4)) prime?
True
Let z(w) = 1552*w - 9. Is z(1) composite?
False
Suppose -4*t - 515 = 985. Let x = -362 + t. Is 3/18 - x/6 composite?
True
Let b(n) = -n + 11. Let a be b(5). Let x be -15*-2*2/a. Is 15/x*(-148)/(-3) a composite number?
True
Let h(p) = -3*p**3 + 3*p**2 + p - 6. Let i(t) = t**3 - t**2 + 1. Let y(x) = -h(x) - 4*i(x). Let w be y(0). Is -1*(-3*13 + w) prime?
True
Let m = -414 + 863. Is m composite?
False
Let b(s) = -5*s**3 - 2*s**2 - s. Let o be b(-1). Is (-1229)/(-3) + o/(-6) a composite number?
False
Let b be (-102 - 1)*(-4 + 1). Let h = b - 160. Is h a composite number?
False
Suppose -7*y - 6*y = -39559. Is y prime?
False
Let v(f) = -f**2 - 43*f + 4. Is v(-22) prime?
False
Let x be 2/8 + (-15)/(-4). Suppose -3*l = -2*i + i - 1401, -4*l + 1868 = -x*i. Is l a prime number?
True
Suppose -a + 5*n = -908, 2*n = 4*a + a - 4655. Is a a composite number?
True
Let n(d) = -d - 3. Let b be n(9). Let u be ((-7)/14)/(1/b). Is (-65)/(-9) + u/(-27) prime?
True
Let y(x) = -2*x**2 + x - 4. Let s be y(3). Let u = 11 + s. Is (76/u)/(1/(-2)) a composite number?
False
Let p = 1231 - 726. Is p composite?
True
Suppose -2*r + 5*x = -209, 3*r + 2*x = -2*x + 279. Is r prime?
True
Suppose -201 = s - 2*s. Is s composite?
True
Let j be 54 + 0 + 1/1. Suppose j + 9 = -3*s + 5*v, -s + 5*v - 28 = 0. Is 6/27 + (-392)/s a prime number?
False
Let y be (-2 - -3)/((-5)/(-25)). Is 344/y - 1/(-5) prime?
False
Let o(y) = 4*y**2 + 7*y - 22. Is o(9) prime?
False
Suppose 54 = 2*l - b, 2*l - 3*b = -5*b + 54. Suppose -y - 2*y + 161 = 4*s, -y + 4*s = -l. Is y composite?
False
Let m(h) = -h + 46*h**2 - 5*h**2 + 23*h**2. Is m(-1) composite?
True
Suppose -4*g + 4290 = -850. Is g a composite number?
True
Let s = 733 - -88. Is s prime?
True
Let p(k) = -3*k**2 - 2 + 5*k**3 - 4*k**3 - k + 0*k**3. Let i be -6*-2*(-2)/(-6). Is p(i) a composite number?
True
Suppose -7*l + 2*l = -i - 27, -2*l = -i - 12. Let q be (-5 - -2) + l - 4. Let s(c) = -10*c + 1. Is s(q) a composite number?
True
Is (3 + -1)/((-2)/(-211)) prime?
True
Let k = -6 - -6. Suppose k*h - r = -2*h + 26, 3*h + r - 39 = 0. Is h prime?
True
Let k = 21 - 19. Suppose 0 = 4*c - 2*y - 1018, -k*y - y + 759 = 3*c. Is c a prime number?
False
Let f(j) = -j**2 - 7*j + 2. Let n be f(-7). Suppose -7*s + 1895 = -n*s. Is s prime?
True
Suppose u + k - 149 = -0*k, -5*k = 3*u - 451. Let l = u - 28. Is l prime?
False
Suppose -22*l + 28*l = 3084. Is l a prime number?
False
Suppose -2*d = -d - 2. Suppose -253 + 59 = -d*g. Is g prime?
True
Suppose -2*z = -6, 4*y = 3*y - 2*z + 4683. Is y composite?
True
Let i be (39/(-12) - -2)*-4. Suppose -x + 4 = 0, p + i*x - 2632 = -3*p. Is p composite?
False
Suppose 6 = -4*j + 126. Let i = -9 + 16. Suppose t = j + i. Is t prime?
True
Let l = -1 + 0. Let b = l - -4. Suppose -u - p = -0*p - 37, b*u + 2*p - 111 = 0. Is u prime?
True
Suppose 5*n = -2*x, -2*x + 0*x = 0. Suppose 0 = -4*y - r + 598, n = -2*r + 4. Is y a prime number?
True
Suppose 5*t + 14 = 4*o - 3*o, -5*o - 2*t + 16 = 0. Suppose 4*z + b = 591, -z - o*b + 427 = 2*z. Is z a prime number?
True
Let y = 12 + -8. Suppose -2*f = 0, -4*s - f - y*f + 348 = 0. Is s a prime number?
False
Let n be -8*(2 + (-15)/6). Let o be (-2)/8 - (-421)/n. Suppose -2*c - o = -5*t, -30 - 6 = -2*t + 2*c. Is t composite?
False
Let t(o) = o**3 + 7*o**2 + 6*o + 2. Let a = 16 - 22. Let m be t(a). Let g(z) = 11*z - 3. Is g(m) a prime number?
True
Let v(a) = -169*a - 11. Is v(-6) prime?
False
Is (0 + (-303)/9)*-21 a prime number?
False
Let f = -5 - -7. Is (572/(-8))/(f/(-4)) prime?
False
Let s(l) = 10*l**2 - 9*l + 13. Is s(6) a prime number?
False
Let c(t) = -2 - 2*t + 0*t + 0. Suppose 3*p - 5*p = -4*i + 28, -4*p = -5*i + 44. Is c(p) a composite number?
True
Let f be (-193)/(-4) + (-2)/8. Suppose 0 = 2*c + 2*k - f, 0 = -2*c - k - 2 + 49. Is c prime?
True
Let c = -6 + 9. Suppose c*y = -3, 0 = -2*d - 3*y + 99 - 40. Is d a composite number?
False
Suppose -3*f = f + 3*q + 7, 3*q + 21 = 3*f. Suppose 0*o + f*o - 222 = 0. Is o prime?
False
Let h = 46 - 29. Suppose f + 8 = 5*f. Let c = f + h. Is c a composite number?
False
Let q = -16 + 18. Suppose -2*t + q*c = 2*t - 314, -t + 5*c = -74. Is t prime?
True
Let j(x) = 578*x**2 + 4*x - 1. Let p(g) = 579*g**2 + 3*g - 1. Let h(z) = -3*j(z) + 4*p(z). Is h(1) prime?
False
Let y(q) = 4 + 4*q + 2 + 3*q**2 - 5 + 0*q**2. Is y(-4) prime?
False
Let p = 10 + -7. Suppose 0 = -o + 446 + p. Is o a prime number?
True
Suppose -b + 0 + 4 = 0. Suppose b*h + 314 = 6*h. Is h prime?
True
Let h be (-4)/18 + (-88)/9. Let t = 10 - 5. Is (-2)/t + (-374)/h a composite number?
False
Suppose -64 = z + 3*z. Let m = z + 42. Is m prime?
False
Suppose -3*p = -2*z + 38, 11 = p + 5*z + 52. Let f be p/(-6)*(-57)/(-2). Suppose 5*d - f = -26. Is d a prime number?
False
Let t(g) = g**2 + 2*g - 5. Let i be t(4). Let o = 57 - i. Is o prime?
False
Let i(b) = 275*b + 16. Is i(5) composite?
True
Let m = 16 + 18. Suppose 0*j = -2*a + 3*j + 36, -2*a + 4*j = -m. Is a a prime number?
False
Suppose 0*y - 1799 = -y. Is y prime?
False
Let y be 2*2*21/12. Suppose -2*q + y*q - 105 = 0. Is q composite?
True
Let o(v) = 3*v**2 + 2*v - 2. Is o(3) a composite number?
False
Let v(d) = 928*d**3 + 4*d - 3. Is v(1) prime?
True
Is -6 + 157 - 4*-1 composite?
True
Suppose 3*n - 14 = 2*f - 0, 5*n - 5*f = 25. Suppose k - 235 = -n*k. Is k a composite number?
False
Suppose 0 = q + 4*q, 4*o = -4*q + 12. Suppose 0 = -o*j + 6*j - 9. Suppose -2*g + 4*l - 5 = -31, -j*l - 10 = -g. Is g a prime number?
True
Suppose -5*p = -192 + 2. Suppose p = 2*b + 4*i, -5*i + 13 = -b + 46. Suppose 2*n - b = n. Is n prime?
True
Let c = 1156 + -648. Suppose 0 = -3*j - j + c. Is j a composite number?
False
Suppose -5*t - h + 77 = 0, t + 2*h + 26 = 3*t. Suppose 257 = 2*f + t. Is f a prime number?
False
Let i be 8*(3 - (3 - -1)). Let s = i - -95. Is s prime?
False
Is ((-237)/(-12))/(2/24) prime?
False
Suppose 20 = -k + 6*k, 24 = z + 5*k. Let h be (48/9)/(6*(-3)/(-27)). Suppose 2*t = -j + 3, 0 = -z*j - 4 - h. Is t prime?
True
Let x(j) = 5*j - 1 - 4*j**2 - 1 + 2*j*