 Is m composite?
False
Suppose -3*t = 3*a + 2*t + 2757, 2*a + 1813 = 5*t. Let p = 1411 + a. Is p composite?
True
Suppose -4*d + 9 + 3 = 0. Suppose -3*f = 5*l + 1, 0*f = -f + d. Is (l + 0)*(-474)/12 a composite number?
False
Is 11/(11/90) + -1 a composite number?
False
Is 2*1 + (0 + -1 - -8262) composite?
False
Let q be 2*(-6)/8*42. Let m = q - -112. Is m composite?
True
Suppose 3*u + 12 = 0, -1000 - 639 = -3*x - 5*u. Is x a composite number?
True
Suppose g - 2*z - 889 = z, -z + 4445 = 5*g. Is g a prime number?
False
Let u = -122 - -216. Is u composite?
True
Let w(s) = -s**2 - 5*s - 6. Let a be w(-3). Suppose 25 = 2*t + 5*q, a = 4*t + q - 14 - 27. Is t prime?
False
Let a be (4/(-8))/((-2)/(-20)). Let g(m) = 9*m**2 + 3*m + 7. Is g(a) composite?
True
Suppose 33 = -0*o - 3*o. Let v(w) = 2*w**2 + 6*w - 15. Is v(o) composite?
True
Suppose 0*v - 4*v = -1004. Is v composite?
False
Suppose -2*x + 3*d = 11, -5*x = -2*x + 3*d - 21. Let t = 5 - x. Suppose -3*a + 9 = -r, -3*a + t = -3*r - 0. Is r prime?
True
Suppose 0 = -0*r - r + 4. Suppose -2*o = -3*x - x + 930, -2*x + 450 = -r*o. Is x a composite number?
True
Let x(a) = a**3 + 23*a**2 - 4*a - 3. Is x(-20) a prime number?
True
Suppose -4*k - k = 11080. Is (-4)/20 + k/(-5) composite?
False
Let j = 303 + -176. Let n = j + -90. Is n prime?
True
Is 1/4 + 3 + 13980/16 a prime number?
True
Let c = -18 - -13. Let r(s) = 3*s**3 + 5*s**2 + 3*s + 6. Let d(w) = -16*w**3 - 25*w**2 - 14*w - 30. Let q(b) = -2*d(b) - 11*r(b). Is q(c) composite?
False
Let l = -3664 + 5371. Is l composite?
True
Suppose x = 5*x + 48. Let t = 46 + x. Is t a prime number?
False
Let u(q) = q**2 - 2 + 2*q + 6 + 1. Let j(p) = -p**2 - 9*p + 6. Let x be j(-10). Is u(x) prime?
True
Suppose -24 = 6*k - 2*k. Is 699/9 - k/(-9) prime?
False
Suppose -d + 6 = 4, -2*n + 5*d + 2616 = 0. Is n a prime number?
False
Suppose 0 = -s - 2*s - 2*g + 199, -353 = -5*s + 2*g. Suppose 2*y + s = 5*y. Is y prime?
True
Suppose 4 - 7 = -z. Let f be (-2)/z - 152/24. Let b(p) = -31*p + 6. Is b(f) prime?
True
Suppose f - 2*y - 15 = 0, 3*y + 51 = 4*f - f. Let v = -11 + f. Is 20/v*17*2 composite?
True
Let u = 10 + -8. Suppose -u*h = 2*h - 148. Is h composite?
False
Let m(g) = 85*g**3 + 2*g**2 - 3*g + 1. Is m(2) prime?
True
Suppose 15 = -5*k, 0 = 5*u - 3*k - 0*k - 574. Suppose -u - 142 = -3*a. Is a composite?
True
Suppose 3*h + 2*t - 10 = -2*h, h = 4*t + 2. Suppose 0*i + 2*i + 71 = -q, h*i + 363 = -5*q. Let k = q - -108. Is k prime?
False
Suppose -5*i - 2*h + 0*h = -9871, 0 = -5*i + h + 9862. Is i a composite number?
False
Let n be (7 - (-1 + 3))/1. Let j be 3 - n - -6*1. Suppose 33 = 2*m + o, -j*m = 4*o - 113 + 41. Is m a prime number?
False
Let r = -1106 - -1603. Is r composite?
True
Suppose -4*g + 4*q + 24 = 0, 0 = -3*g - 2*q - q. Suppose k = -l + 8, l = -2*k - g*k + 8. Suppose -h - x + 9 = 2*x, h - l = -2*x. Is h composite?
True
Let y(m) = 18*m + 7. Is y(5) composite?
False
Let k(n) = n**3 + 5*n**2 - 2*n - 4. Let q be k(-5). Suppose 655 = 5*g - 5*s, -5*g - q*s = -4*s - 627. Is g a composite number?
False
Let r(c) = 19*c - 22. Is r(9) prime?
True
Suppose -3*g = 3*a + g - 15, 0 = a + 5*g - 5. Suppose q - a*q + 508 = 0. Is q a composite number?
False
Let y(a) = -82*a - 13. Let h be y(-9). Suppose h = 5*o - 0*o. Is o a prime number?
False
Suppose -5*l + 0*l = -5. Suppose -i + 80 = 4*u - l, 63 = i - 2*u. Is i a prime number?
False
Let c(p) be the second derivative of -p**5/20 + 5*p**2 - 3*p. Let j(t) = -t**3 - 7*t**2 - 5*t + 6. Let a be j(-6). Is c(a) composite?
True
Let q be 0 + 3 + (-6 - 0). Is (146 + 1)*q/(-9) a prime number?
False
Suppose 0 = -2*n - 2*g + 2, 0*g = 5*n + 3*g - 5. Let p(a) = 94*a**3 + a**2 + a - 1. Is p(n) a composite number?
True
Let l(u) = -u**3 + 4*u**2 + 3. Let m be l(4). Suppose 0 = -m*p + 3*d + 68 + 166, p = 4*d + 75. Is p a composite number?
False
Let c(j) = 20*j**3 - j**2 - 2*j + 3. Suppose -h = -2*h + 2. Let b be c(h). Suppose 2*y - b = t, -2*y - 5*t + 149 = -0*y. Is y composite?
True
Let w = -384 - -595. Is w a composite number?
False
Let i = 1904 + -647. Is i prime?
False
Let s = 1 - -2. Is (3/(-6))/(s/(-3342)) a composite number?
False
Suppose 2*x - 5*x = -w + 5, -4*x = 2*w. Let z = x - 9. Let k = 12 - z. Is k composite?
True
Let x(l) = 10*l**2 + 5. Let k be x(4). Suppose -2*z + 46 = -3*v + 145, 0 = 5*v - 4*z - k. Is v a prime number?
False
Let h(u) = 31*u + 3. Let t be h(-4). Let p = 214 + t. Suppose -2*c + p = c. Is c a composite number?
False
Let a(w) = 2*w**2 + 7*w - 9. Let n be a(4). Suppose 2351 = 4*l + 3*d, -2*l + 1127 = 4*d - n. Is l a composite number?
False
Let v = -12 - 11. Suppose 0 = 2*k + k. Is v*((k - 2) + 1) a composite number?
False
Suppose -3*p + 4092 = 3*u, 2*p - 2*u - 1352 = 1396. Is p a prime number?
False
Let n be 41/((6/2)/3). Suppose 2*i = n + 33. Is i composite?
False
Let r(k) = 445*k**2 - 3*k + 1. Is r(1) a composite number?
False
Suppose 137 = w - 114. Is w composite?
False
Let n be 15*(5/3 - -3). Suppose -a = -3*a + n. Is a a prime number?
False
Let s = -1 - -5. Suppose 0 = -5*n - w + 42, 3*w + s = n - 14. Suppose n = 3*b, 2*t + 5*b - 26 = 55. Is t a prime number?
False
Let v(o) = -239*o - 3. Is v(-4) a composite number?
False
Suppose 4*n - 1083 - 5553 = 0. Is ((-4)/6)/((-14)/n) a prime number?
True
Suppose 0 = -7*j - 313 + 1734. Is j composite?
True
Let c be 6/30 + 656/(-5). Is -4*(-1)/(-4)*c composite?
False
Suppose -7003 = -5*m + 21*v - 25*v, -m + 1397 = -v. Is m a prime number?
True
Suppose q - 398 = -0*q. Let m = -17 + -238. Let g = m + q. Is g a prime number?
False
Let u be 7 - -2*(0 - 1). Is (-4)/10 - (-257)/u a prime number?
False
Let t(q) = -4*q**3 - q**2 + q + 1. Let v be t(-1). Suppose 0 = -v*x + 214 - 19. Is x a composite number?
True
Let k = -210 + 116. Suppose 0*w - w = 3*s + 48, -282 = 5*w + s. Let u = w - k. Is u prime?
True
Let y = -52 - -105. Is y a prime number?
True
Suppose -z = u - 3, -3*z = -4*u - u - 9. Let s = 2 - u. Suppose o = 3*m + s*m - 424, 2*m = -4*o + 174. Is m a prime number?
False
Suppose 5*b - 6 = 2*b. Is b + 1 - (-1 - 205) composite?
True
Let j(y) = y - 26. Let c be j(0). Suppose -2*r = -6*r + 164. Let h = r + c. Is h a prime number?
False
Let v(g) = g**2 + 9*g + 8. Let o be v(-8). Suppose o = 3*l - 862 + 85. Is l composite?
True
Suppose 0 = -f + 1 + 2. Suppose -f*h + 4*y = -311 + 24, 3*h - y - 272 = 0. Suppose -4*g + 3*g = -h. Is g a prime number?
True
Suppose -3*y + 485 = 2*y. Is y a composite number?
False
Let w(o) = -20*o - 1. Let n(r) = 10*r + 1. Let f(h) = 5*n(h) + 2*w(h). Is f(4) composite?
False
Let s = -23 - 70. Is 0/(-2) + 2 - s a composite number?
True
Is (0 + -3)*1 - (-594)/11 a prime number?
False
Let j(d) = -d**3 - 12*d**2 - d - 17. Let a be j(-12). Let s(k) = -2*k - 4. Is s(a) a composite number?
True
Let a = 3 - 4. Let u(y) = -5*y + 2*y + 3 - 4. Is u(a) a composite number?
False
Let z(i) = 0*i**3 - i + i**3 - 3*i + 0 + 2*i**2 + 2. Is z(4) composite?
True
Suppose a + 57 = 4*n - 24, 4*n + a - 79 = 0. Let m = 13 - n. Let i = 2 - m. Is i composite?
True
Let t = 4645 + 502. Is t composite?
False
Let u = -105 - -556. Is u composite?
True
Let t(f) = f - 1. Let w be t(3). Let g be 1 + ((-6)/(-2) - w). Suppose -v = -g*v + 23. Is v a composite number?
False
Let v = -82 - -51. Let x = v + 84. Is x prime?
True
Let u = 728 - 269. Let i = -310 + u. Is i prime?
True
Suppose 2*v - 789 = -v. Suppose 3*g = -2*a + 487, a - 3*g - v = 2*g. Let b = a - 99. Is b a composite number?
False
Let f(d) be the first derivative of d**2/2 + 2*d - 3. Let x be f(3). Suppose -3*i = x*p - 236, 3*i + 94 = 2*p + 4*i. Is p composite?
True
Let r(y) = y**3 - 25*y**2 + 29*y - 27. Is r(26) a prime number?
False
Is ((-612)/(-2) - -1)*(-4 - -5) prime?
True
Let u(g) be the first derivative of -g**7/840 + g**6/90 + g**4/6 + g**3/3 + 1. Let p(w) be the third derivative of u(w). Is p(3) a composite number?
False
Suppose 0 = 2*z - 4, 3*n - 3*z + 14 = z. Is (-4 - n)/(4/(-326)) prime?
True
Suppose 6*d - 4*t = 3*d - 2, -4*d - 5*t = -18. Let f be (-1)/(-2)*-13*d. Is (-1 + 3)/(-1) - f prime?
True
Let z(u) = -4*u - 27. Let c be z(-8). Suppose -46 = -3*t + 5*q, -6*q = -2*t - q + 34. Let o = t - c. Is o prime?
True
Suppose 0*v = 5*v + 5, 0 = 3*q - 5*v - 479. Is q prime?
False
Let r(t) = t - 11. Let y be r(7). Let w(p) = 