Is w a composite number?
False
Let z(v) = v**3 - 4*v**2 - 5*v - 2. Let l be z(5). Let f = 1 - l. Suppose 2*h + 6 = f*h. Is h a prime number?
False
Let d be 14 - (-1 - (3 - 3)). Let o = d + -5. Is o a composite number?
True
Let r = 37 - 15. Suppose -r = c + 2*t + 3, -3*c - 2*t - 55 = 0. Let b = 30 + c. Is b a composite number?
True
Suppose d + 5 = 0, 2*d - 17 = 4*p + 7*d. Let q(v) = -p - 5*v - 9*v**2 - 5 + 3*v**2 - v**3. Is q(-7) a composite number?
True
Suppose 2*m - 137 = 381. Is m prime?
False
Let n = -1 - -3. Suppose 4*q = n*k + 12, -8 = -q - 2*k - 0*k. Suppose 0 = 4*c - 4 + 8, -152 = -q*r + 4*c. Is r prime?
True
Let j be (-100)/(-15) - 4/6. Suppose -n - 10 = -j*n. Suppose 2*k - 3*k = -n*s - 61, -k + 3*s + 59 = 0. Is k prime?
False
Let v = 65 + -18. Is v a prime number?
True
Let j be 2/(-8) - 340/(-16). Suppose 3 = 2*p - a - j, -p = 4*a + 6. Is p composite?
True
Suppose 3*w - 2*w - 2 = 0. Suppose c + 10 = -w. Is (-122)/(-8) + 3/c prime?
False
Suppose o = 4*v + v - 7, 4*o - 8 = 2*v. Suppose -2 = -o*i + 10, -2*i = -2*s + 422. Is s prime?
False
Let d = 3229 + -2280. Is d prime?
False
Suppose -20*c + 14*c + 1236 = 0. Is c a prime number?
False
Suppose 0*g = -5*j - 2*g + 745, 5*g - 596 = -4*j. Is j prime?
True
Let g = -57 + 82. Is g a prime number?
False
Suppose p - l = 6, 0 = -l - 0*l - 3. Let y = p - 5. Is y/9 + 670/18 a prime number?
True
Suppose -w + 3*o = -4, 3*w - 30 = 6*w + 5*o. Is ((-14)/4)/(w/130) prime?
False
Suppose a - p = 7, -6 = -2*a + 3*p + 12. Is a composite?
False
Let i(r) = 15*r**2. Let t be i(-1). Suppose 4*c + 12 - 170 = 2*q, t = -3*q. Is c prime?
True
Suppose -4*c = -7*c. Suppose -7*w + 4*w + 909 = c. Suppose 0 = -4*n + 4*v + 304, 4*n - 7*v - w = -2*v. Is n composite?
True
Let b = 13 + -21. Let w be (2 - 4) + (-4 - b). Is 56 + 9/(-6)*w a prime number?
True
Is (3/(-2))/(27/(-13410)) composite?
True
Let c = 5 - 1. Suppose 4*y - 752 = -4*t, 11*y - 6*y + c*t - 943 = 0. Is y a prime number?
True
Suppose -5*f + 3*r - 30 = 2*r, -5*r - 39 = 2*f. Let h = -7 - f. Suppose -3*n = -h*y + y - 50, 2*n = -2. Is y a prime number?
True
Let m = 5 + -8. Let i = 5 + m. Suppose -2*t + 508 = i*t. Is t composite?
False
Let v(w) = 50*w**3 + 3*w**2 - w - 1. Is v(1) composite?
True
Let m(z) = -z**2 + 8*z - 9. Let t be m(6). Suppose -2*h = -4*g - 86, 160 = 4*h - t*g + g. Is h a composite number?
True
Let b = -8 + 2. Let z(t) = -t**3 - 6*t**2 + 4. Let f be z(b). Suppose -416 = -4*y + 4*a + 428, 0 = f*a - 16. Is y prime?
False
Let i(b) = b**3 - 2*b**2 + b + 3. Let f = 19 - 16. Is i(f) composite?
True
Suppose 4*t + 3*k - 5*k + 680 = 0, 0 = -4*t + 4*k - 688. Let f = t - -425. Is f a composite number?
False
Suppose 0*m + m + 4 = 0. Is (-1 + (-320)/m)/1 a prime number?
True
Suppose 5*k - 2*y - 13139 = 0, 3*k + k - 4*y - 10504 = 0. Is k a prime number?
False
Suppose -6*g + 2*g + 796 = 0. Is g a prime number?
True
Let i(j) = j**3 - 5*j + 5. Let r be -1*(-5 + (-2 - -1)). Is i(r) a prime number?
True
Let u = 1412 + -221. Let w = u - 628. Is w prime?
True
Suppose -5*c + 687 = 2*v - 0*v, 3*c + 1309 = 4*v. Is v a prime number?
True
Suppose -7 = -3*z + 17. Suppose -z*a + 4 = -4*a - v, 4*a + 3*v + 12 = 0. Suppose a = 5*s + 326 - 1071. Is s a composite number?
False
Let w(n) = 291*n**2 - 11*n - 3. Let k be (15/((-9)/(-3)))/(-1). Let i(g) = 194*g**2 - 7*g - 2. Let v(m) = k*w(m) + 8*i(m). Is v(-1) prime?
True
Let x(u) = 115*u**2. Let p be x(1). Let f = -24 + p. Is f a prime number?
False
Let l = -8949 + 13482. Is l a prime number?
False
Let p = 144 - 285. Let l = p + 224. Is l prime?
True
Suppose 3*i + 0*i - 9 = 0. Let z be 8 + 1*(-9)/i. Suppose -5*d + 155 = 2*y + 2*y, 4*d = z*y + 124. Is d composite?
False
Suppose 5*r = -5*s + 4605, -2*r = 3*s - 5*s + 1846. Is s composite?
True
Is ((-357)/14)/(2/(-4)) prime?
False
Let g(s) = s**3 + 3*s**2 - 9*s - 4. Let q be g(-6). Let r = 67 - 150. Let i = q - r. Is i prime?
False
Suppose 0 = 3*a + 7 - 1. Is a/(-11) - (-458)/22 prime?
False
Suppose -4*q - q + 3*p - 288 = 0, -2*q + 2*p - 112 = 0. Let r be (q/14)/((-5)/35). Let s = -17 + r. Is s prime?
True
Let g(c) = 36*c + 2. Let n(y) = -109*y - 6. Let a(j) = -8*g(j) - 3*n(j). Is a(4) composite?
True
Is (-2078)/4*44/(-22) a prime number?
True
Suppose 0 = 3*t - 2*t - 5. Let g(v) = -7*v - 10. Let o(i) = -22*i - 30. Let p(b) = t*o(b) - 16*g(b). Is p(8) prime?
False
Let m(c) be the second derivative of c**5/20 + 5*c**4/12 - c**3 + 4*c. Let y be m(-6). Suppose 2*l = s - 43, -l = -s - y*l + 45. Is s composite?
False
Let l(j) = -j**3 - 3*j**2 - 2*j - 3. Let p be l(-3). Suppose 0 = 2*v - x + 10, 5*v + p*x + 2 + 1 = 0. Is ((-3)/v)/(2/6) a prime number?
True
Suppose -4*t - 314 = -2*j - 32, -2*t + 3*j - 139 = 0. Let o = 420 + -300. Let d = o + t. Is d prime?
False
Let k(d) = d**3 - 11*d**2 + 2*d - 15. Let l be k(11). Suppose 0 = -l*p + 3*p + 1412. Is p composite?
False
Let i = 25 + -37. Is 127/4 - i/(-16) a composite number?
False
Suppose 27 = 3*p - 2*d, p + d - 4 = -0*d. Let z = 12 - p. Let m = 88 - z. Is m prime?
True
Let m(k) = 21*k**2 - 4*k - 24. Is m(7) a prime number?
True
Suppose -k - 4*p - 3 = 2*k, 6 = -2*p. Suppose -4 = f - k*f. Suppose -4*y = 5*x - 135, -2*x - f*x + 139 = -3*y. Is x a composite number?
False
Suppose -6*h + 6750 + 3792 = 0. Is h a composite number?
True
Let q(b) = -b**3 - 9*b**2 + 10*b + 10. Let d(r) = 2*r**3 + 19*r**2 - 21*r - 20. Let m(a) = 3*d(a) + 7*q(a). Is m(-7) prime?
False
Let b = 1981 - 1250. Is b composite?
True
Let s = 1621 - 575. Suppose 3*a - p = s, -a - p + 352 = -2*p. Is a composite?
False
Let w(i) = i + 148. Let g be w(0). Is ((-5)/(-4))/(1/g) a prime number?
False
Let j(q) = 12*q**2 + q. Let c be (-2)/(-4) - 1/2. Suppose c = 4*g + 2*h + 2, -2*g = -7*g - 3*h - 4. Is j(g) composite?
False
Let n(q) = -q**3 - q**2 - q + 1. Let x(t) = -4*t**3 - 5*t**2 - 5*t + 7. Let f(a) = 5*n(a) - x(a). Is f(-2) composite?
True
Is (-1297)/(-5) + 8/(-20) a composite number?
True
Let u be 543/6 + 1/(-2). Let o = u + 41. Is o prime?
True
Suppose 2*x - 23 = -3*x - 2*w, x = -w + 4. Let g(k) = -k**3 + 11*k**2 - 5*k + 2. Is g(x) a composite number?
False
Let k(y) = y**2 + 10*y + 2. Suppose -30 = 4*x + 10. Let u be k(x). Suppose n = u*o + o - 107, -97 = -3*o - n. Is o prime?
False
Let k(j) = -j**2 + 2*j. Let c be k(2). Let q = 13 + c. Suppose 0 = -5*r + 162 + q. Is r composite?
True
Let q = -260 - -451. Is q a composite number?
False
Let m = -15 + 40. Suppose 3*n - 8*n = -15. Suppose n*z + m = 4*z. Is z a prime number?
False
Let h(r) = -r**3 + 4*r**2 + r - 1. Let y be h(4). Suppose -j + y = -56. Is j a composite number?
False
Let j = 305 - 23. Let u = -155 + j. Is u prime?
True
Let m(j) = 19*j**2 + 13*j + 29. Is m(15) a prime number?
False
Suppose -5*u = -i - 13, 3 = -3*i + 3*u - 0. Suppose i*k - 5*x = k + 25, k = -2*x + 25. Is k prime?
False
Let w(v) = -v**3 - v**2 + v. Let u be w(-2). Let p(a) = a**3 + 8*a**2 - 3*a - 4. Let f be p(-7). Suppose -m + 71 = -6*h + u*h, -m - h = -f. Is m prime?
True
Let y = -343 - -684. Is y a composite number?
True
Suppose -74 = -4*g + l, 0 = -4*g + 3*l + 2*l + 66. Let v = 38 - g. Let q = 0 + v. Is q composite?
False
Suppose 2*p + 8 = 0, 0 = 4*o - 2*p + 13 + 3. Let z(t) = 3*t - 8. Let f be z(o). Let i = f + 36. Is i composite?
True
Suppose a + 4 = 2*a. Suppose a*v - v = 33. Is v prime?
True
Suppose -8*l + 1477 = -l. Is l a prime number?
True
Suppose -3*l + 4*c = 110, 2*l - 4*l + c - 80 = 0. Let t = -23 - l. Is t composite?
False
Suppose 0 = -17*r + 3916 + 1677. Is r composite?
True
Suppose -4*y - 8 + 26 = 3*l, 5*y - 3*l = 9. Let x be ((-2)/y)/(4/(-6)). Is 224 - (x - 0)/1 a composite number?
False
Let f(j) = -7*j - 7. Let i(q) = 21*q + 21. Let y(o) = 7*f(o) + 2*i(o). Let w be y(-6). Is (-10)/w + 802/14 prime?
False
Suppose n - 5*n + 1884 = 0. Is n a composite number?
True
Suppose l + 98 = 471. Is l a prime number?
True
Let o = -312 - -6497. Is o a prime number?
False
Suppose 5*m = 4*j + 7 + 4, 2*m - 5*j = 1. Let s(i) = -72*i - 2. Let b be s(-1). Suppose m*c + b = 2*l - l, -3*c = -3*l + 204. Is l a composite number?
False
Let x(g) = 5*g**2 - 1. Let n be x(-1). Suppose n*b + 4 - 16 = 0. Suppose 23 = b*k - 7. Is k prime?
False
Let f(b) = b**3 + 3*b**2 + b - 1. Let r be f(-2). Let j be (-1)/(-1)*(1 - r). Suppose j = -3*x + 433 + 218. Is x composite?
