True
Let g(v) = 508*v + 19. Is g(3) composite?
False
Let p = -21 + 18. Let q be ((-4)/p - 2)*-237. Let k = 53 + q. Is k a prime number?
True
Suppose 8*i - 385418 = -14*i. Is i a composite number?
False
Suppose -l = -3 + 6, -3*l + 179844 = 3*f. Is f composite?
False
Suppose 4*t = -5*m + 15299, t - 3841 = -0*t + 2*m. Suppose 4*y - 7*y + t = 0. Is y prime?
True
Let n = 449 - 110. Is n a composite number?
True
Is (-511605)/(-189) - (-26)/273 a composite number?
False
Suppose 764 = p - 0*b + 4*b, 0 = 3*p + 5*b - 2313. Suppose 0 = 5*m + 4*c - 6574, -3 = -4*c + c. Let v = m - p. Is v prime?
False
Let l(s) = 5*s**2 - s - 79. Is l(-31) composite?
True
Suppose 0 = -2*x - 4 - 2, 3*s = -x + 9. Suppose 0 = s*w + 5*y - 115, -102 + 22 = -3*w - 5*y. Is w a composite number?
True
Suppose 65523 = 20*k - 94937. Is k a prime number?
False
Let n(z) = 3*z**3 - z**2 - 6*z - 13. Is n(4) a prime number?
True
Suppose 11*a = 12*a + 1. Let u be 2528/(-3) - a/(-3). Is 5/20 + u/(-4) composite?
False
Let c = 379 + 430. Is c composite?
False
Let o = -11 - -12. Suppose 4*l - 4*c = 12, -o = 3*l - 5*c - 8. Suppose -l*f + 598 = -2*k, f + 3*k - 444 = -2*f. Is f a composite number?
False
Suppose 0 = -2*w + 12*w - 40. Suppose 3*t + 4787 = w*s - 0*s, -3603 = -3*s - 2*t. Is s composite?
True
Is 0 - 2 - (9 + 131530/(-7)) composite?
True
Let d = 501 - -478. Is d prime?
False
Let l be ((-56)/(-21))/((-1)/(-3)). Is 314*((-60)/l)/(-5) composite?
True
Let q(n) = 3*n - 6. Let t be q(5). Suppose 2*l = -l + t. Is l/(-5) - 1708/(-5) a prime number?
False
Let w(h) = 5*h**2 + h + 5. Let l be w(3). Suppose l = a + x - 1263, x = 3*a - 3952. Is a a composite number?
True
Let x(t) = 566*t**2 - 10*t + 13. Is x(3) a composite number?
False
Let u be (-3 + (-12)/(-16))*(-24)/2. Let l(m) = m**2 - 23*m + 19. Is l(u) a composite number?
False
Let o(q) = 189*q**2 - 49*q + 1. Is o(11) composite?
True
Let o = 1806 + -1267. Let x(g) = -4*g - 11. Let v be x(-8). Is ((-3)/(-1))/(v/o) prime?
False
Let h be (-2 + 1 + 0)/(7/63). Is h - -5 - (-113 - 0) composite?
False
Let x(i) = i + 16. Let d be x(-9). Let a be (-2)/d - 76/28. Let y(s) = 19*s**2 + 4*s + 2. Is y(a) prime?
False
Let u be 1 - (4 - 4) - -3. Suppose u*m - 278 = 3*m. Let w = m - 151. Is w prime?
True
Let o(t) = 17*t**2 - 23*t + 63. Let f(q) = -q - 2. Let d be f(17). Is o(d) a composite number?
False
Let p(x) = -x**2 + 3*x. Let z be p(2). Suppose -z*i + 7*i - 1175 = 0. Is i a prime number?
False
Let c(f) be the third derivative of 11*f**4/24 - 8*f**3/3 - 41*f**2. Is c(15) a prime number?
True
Suppose -4*w + 35 = 35. Suppose 3*d - 4*m - 491 = w, -2*d + 0*m + 314 = 4*m. Is d composite?
True
Is (-268143)/(-27) + ((-40)/90)/2 prime?
True
Let x be (-2)/(-5) + 7614/15. Let y = 60 - 57. Suppose 382 = y*o - 4*a, 0 = 4*o - 0*o - 5*a - x. Is o prime?
False
Suppose 0 = 4*g + 26*g - 155910. Is g a prime number?
True
Suppose -5*a - 2*b = -1734, -4*a = b - 891 - 498. Suppose a = -17*g + 21*g. Is g a composite number?
True
Suppose 3*z = 58*r - 54*r + 3515, 0 = 5*z + 5*r - 5800. Is z a composite number?
True
Let y be (-3 + 3)*5/(-20). Suppose 4*c + 0*c - 124 = y. Suppose -2*d + 3*d - c = 0. Is d a prime number?
True
Let y be 2/6*(1149 - 12). Suppose 2*g - 5*v - y = -g, -3*g = -3*v - 375. Suppose -s + g = -308. Is s composite?
False
Let v(a) = a**3 - a**2 + 1. Let l(p) = -2*p**3 + 9*p**2 + 3*p - 12. Let f(h) = -l(h) - v(h). Let g be f(8). Is (-2)/13 - 665/g prime?
False
Let p = 51 - 46. Let m = p + 466. Is m composite?
True
Suppose -13 - 20 = -3*t. Let b = 42 - t. Is b a prime number?
True
Let v(m) = m**2 - 6*m - 11. Let j be v(8). Suppose 2*t - 62 = -2*k, 2*t - t = -j*k + 135. Let w = k - 7. Is w composite?
False
Let d be (13 - -1)/(16/24). Suppose -2*f - 18 = -4*f - 4*t, 3*f - d = -4*t. Is 2/((-8)/(-2532)*f) a prime number?
True
Let t = -8 + 7. Let f be 1*t/(-2)*278. Suppose -169 - f = -4*u. Is u prime?
False
Let n = -1 + 39. Is n/(-57) + (-2357)/(-3) a prime number?
False
Suppose -34807 = -12*m + 22589. Is m prime?
True
Let k = -54744 + 79625. Is k prime?
False
Let r be 1/5 - (-1644)/30. Let f be 788/(-22) + (-10)/r. Let c = f + 57. Is c prime?
False
Let d = -7 + 0. Let c = 52 - d. Is c - 4*(-1)/(-2) a composite number?
True
Let s(t) = -68*t - 1. Let p be s(1). Let o = -80 + -72. Let j = p - o. Is j composite?
False
Suppose -1332 = s - 3856. Suppose 0 = -21*i + 17*i + s. Is i prime?
True
Let i(g) = 45*g + 7. Let u(x) be the third derivative of x**4/24 + x**3/6 + 4*x**2. Let c(s) = -i(s) - 2*u(s). Is c(-4) a composite number?
False
Let z(n) = n**2 + 2. Let k be z(0). Let r be -1*(-1)/(k/4). Suppose -r*d - 2*f = -3*d + 121, -3*d = 3*f - 399. Is d a prime number?
False
Suppose -64556 = -6*k + 1672. Is k a prime number?
False
Let w be (1 + 9)/((-24)/(-12)). Suppose -p = -4*b - 153, 2*b + 3*b - w = 0. Is p composite?
False
Let s(v) = 22*v + 101. Is s(5) a composite number?
False
Let a = 19 - 15. Suppose 5*t + 4*j + 4 = 15, -5*t + 19 = -a*j. Is (-5076)/(-16) + t/(-12) a composite number?
False
Let w(q) be the second derivative of -2*q + 73/6*q**3 + 0 + 2*q**2. Is w(3) a composite number?
False
Suppose -13*x + 19*x = 211674. Is x a composite number?
False
Suppose -p + 8 = 3*p. Let s be (-1)/(-2*p + 3). Is 1/s + (-1100)/(-5) a composite number?
True
Let j be 4906 - -1 - 0/(-3 - -4). Let c = -3502 + j. Is c composite?
True
Let w(y) = -y**2 - y + 541. Let t(a) = a + 7. Let o be t(-3). Let k be o - (0 + 2 + 2). Is w(k) a prime number?
True
Let f(y) = 1625*y + 14. Is f(1) a composite number?
True
Suppose 7*b - 18 = b. Is (-1)/((-4)/(1356/b)) composite?
False
Suppose 1350*s - 1356*s + 14778 = 0. Is s a prime number?
False
Let n(o) = 76*o + 7. Let c(r) = 76*r + 8. Let g(b) = -2*c(b) + 3*n(b). Is g(3) a prime number?
True
Let i be 8 + -1 - (-9)/(-3). Suppose i*x - 71 = 3*x. Let f = -50 + x. Is f composite?
True
Suppose 0 = 7*w - 4*w - 9. Let g be (-2 - -54 - 0) + w. Let c = g + 264. Is c a composite number?
True
Let z(p) = -632*p + 71. Is z(-3) a composite number?
True
Let l = 1319 + -784. Let f = l - 158. Is f prime?
False
Let s(q) = 280*q**2 + 25*q + 12. Is s(-5) composite?
True
Suppose 4*m + 0*m - 916 = 0. Let c(v) = v**2 + 4*v. Let g be c(-4). Suppose 3*y + m = 2*w, 4*w + y - 105 - 346 = g. Is w a composite number?
False
Suppose 0 = 3*f - 21*f + 134118. Is f a composite number?
False
Let q = -83 + 354. Let t = 230 + q. Is t a prime number?
False
Let i = 9 - 12. Let q be i*(4/(-6))/(-2). Is (2/q - -3)*295 a prime number?
False
Is 94508/7 + (-18)/126 a composite number?
True
Suppose 872 + 268 = 3*t. Suppose -40 = -k + t. Let g = k - -221. Is g prime?
True
Suppose -4*w + 4*a + 1228 = 0, 2*a - 1228 = -4*w + 4*a. Is w composite?
False
Let d be (60/15)/(4/5). Suppose 3*m + 2*o = 117 + 2860, -4945 = -5*m + d*o. Is m prime?
True
Let n(t) = 20*t**2 - 8*t. Let f be n(5). Suppose 0 = -0*a + 4*a - f. Is a a composite number?
True
Let j(q) = 470*q + 24. Let p be j(7). Let u = 1315 + p. Suppose 0*a - 3*a = -u. Is a a composite number?
False
Suppose 3*b = -3*z + 981, z - 1305 = 2*b - 6*b. Suppose 0*w = w - b. Suppose 273 = 2*i - h - 62, 2*i = 4*h + w. Is i composite?
True
Suppose 5*v = -5*x + 5, x + 3*v + 2 = -5. Suppose 0 = x*o - 18 - 7. Suppose -3*s + 274 = 2*c, 0*s + 114 = s - o*c. Is s composite?
True
Suppose -9 = -3*y, 4*j + 12 = j + 4*y. Is 111 + j - (16 - 14) a prime number?
True
Suppose -77492 = -147*i + 143*i. Is i a composite number?
False
Let d(x) = 2*x**2 + 2*x - 101. Is d(25) a prime number?
False
Let w(x) = 90*x**3 + 2*x**2 - 1. Let s be w(-1). Let z be (2 + -2)/(-1) - s. Suppose 0 = -3*v + 2*u + z, v - 119 = -2*v - 4*u. Is v a composite number?
True
Let t = -10 + 14. Suppose j = -t*i + 3*j + 12994, 0 = 2*i + 4*j - 6522. Is i a composite number?
False
Suppose 3*u + 2*i + 65 = -0*i, 0 = -u + 4*i - 45. Let l = u - -28. Let p = l + 11. Is p composite?
True
Suppose -2*c - 75 = 5*r, 0 = -4*c + 7*r - 2*r - 135. Let m be -4*142*2/(-2). Let g = c + m. Is g prime?
False
Suppose -1142*d + 913 = -1141*d. Is d a composite number?
True
Suppose -48302 = -5*w + 3*g, 5*w - 5*g = 2*w + 28978. Let s = w + -5460. Is s prime?
True
Let n = -417 - -663. Suppose -5*o = -2*o - n. Suppose o = a - 59. Is a composite?
True
Let q(w) be the first derivative of -5*w**2 + 543*w - 37. Is q(0) a prime number