-3) - -1035. Suppose 0 = -4*h - u + b, -421 = -h - 5*u - 157. Is h composite?
True
Is (-1)/(1/((-705)/3)) a composite number?
True
Let f = -126 + 195. Suppose 9*t - f = 8*t. Is t composite?
True
Suppose 7*m - 8 = 3*m. Let a be (177/(-9))/(m/24). Let c = -151 - a. Is c composite?
True
Let t(q) = q**2 + q - 2. Let h be t(-4). Let p = h + -6. Suppose 6*l - l + p*b - 139 = 0, 5*l - 2*b = 163. Is l a composite number?
False
Let o = -7 + 5. Let i = 2 + o. Suppose -3*p + 63 = 4*l - 15, -3*p + 2*l + 78 = i. Is p a prime number?
False
Suppose 3*p = 1047 + 192. Let z = -90 + p. Is z a prime number?
False
Suppose -3*n - 241 = -94. Let k = n + 70. Is k composite?
True
Suppose -1515 = -5*r - 4*v, -392 = -3*r - 4*v + 509. Is r a prime number?
True
Let b = -10 - -13. Suppose 5*w - 2*p - 325 = 0, -p = -b*w - 0*p + 196. Is w a prime number?
True
Is -3 + 4/4 - -755 prime?
False
Let y(c) = -c**2 - 10*c - 8. Let d be y(-7). Suppose 3*z = -2*z - 5*b + 85, z - d = -3*b. Is z a prime number?
True
Let a be 10 + -3 - (-3 - -2). Let k(f) = 12*f + 6. Let x be k(a). Let p = -17 + x. Is p prime?
False
Let b(y) = -20*y**2 + 12*y - 3. Let c(p) = 7*p**2 - 4*p + 1. Let j(g) = 6*b(g) + 17*c(g). Is j(3) composite?
False
Suppose -2*z - 74 = 4*s, -56 - 17 = 3*s - 2*z. Is s/(-3) - (-1 - 1) a composite number?
True
Suppose 4*a = -4*w - 184, -4*a = -0*a + 2*w + 178. Let y = a + 132. Is y prime?
True
Let v = -4 + 2. Let r be -103 - (-4 + 4 + v). Let d = r + 198. Is d a prime number?
True
Let x = 292 - -445. Is x a composite number?
True
Let s(h) = h**3 + h**2 - h - 1. Let o be s(-1). Suppose 5*b + 4*n = 141, o = 4*b + n - 41 - 63. Is b prime?
False
Let b(a) be the second derivative of -7*a**4/12 + 4*a**3/3 + 5*a**2/2 + a. Let s be b(-7). Is s/(-8) - (-1)/(-4) a composite number?
True
Suppose 4 = 2*r - 4*r + 4*a, -5*r = -4*a - 8. Suppose 78 = -2*n + r*n. Is n a composite number?
True
Suppose 7*s = 3*s. Suppose s = -0*n + 3*n. Is (-2)/5*(-155 - n) a prime number?
False
Is 194697/45 - 5/((-75)/6) prime?
True
Let l(a) = a**2 - 5*a - 1. Let f be l(5). Let q = f - -2. Suppose -5*z - 3*o + 280 = 0, -z - 5*o = -77 - q. Is z prime?
True
Suppose -s = 4*s - 485. Is s prime?
True
Let o be (227 - (0 - 3))/2. Suppose 0 = -4*n + 3*v + o, 67 + 66 = 4*n + 3*v. Is n a composite number?
False
Let s(z) = z**3 + 3*z**2 - 2*z - 2. Let t be s(-3). Suppose -4*h - 3*u = 125, 84 + 48 = -t*h + 4*u. Is (-1)/4 - 744/h a prime number?
True
Let c be (-3)/(3/(-635)) + -1. Is ((-7)/(-7))/(2/c) composite?
False
Let n(k) = 734*k - 3. Is n(2) a prime number?
False
Suppose -s = -4*s - 39. Let t = 360 - s. Is t prime?
True
Let j be (-6)/2 + -1 + 77. Let y = 12 + j. Is y a composite number?
True
Let p(d) = d + 4. Let k be p(-4). Let a = 8 + k. Is 4*6*5/a composite?
True
Suppose -2 = 2*x, 0 = -0*o + 2*o - 2*x - 12. Suppose o*d - 120 = 805. Suppose -4*v + 3*w = -83 - 65, -d = -5*v + 2*w. Is v a prime number?
True
Let h(w) = 5*w**3 + 3*w**2 - 9*w + 14. Is h(5) composite?
True
Suppose 0 = n - 4*z - 20, 3*n - 5*z - 4 = 21. Suppose n*c + 159 = c. Is c composite?
True
Let n = -163 + 274. Is n a composite number?
True
Suppose -7*c + 1601 = -6*c. Is c a composite number?
False
Is 126 - -1 - (-2 - -2) composite?
False
Let p(f) = 30*f - 3. Is p(3) a composite number?
True
Let n be (-45)/(0 + (-9)/6). Let g = n + 3. Is g a prime number?
False
Suppose 5*b - 1010 = 3*b. Is b a prime number?
False
Suppose 2*g = -g + 174. Is g a composite number?
True
Suppose -2*w + 3 = -1. Suppose -19 = -w*m + 19. Is m composite?
False
Let j(g) = 4*g**2 - 8*g + 1. Let d(o) = -7*o - 1. Let n be d(-1). Is j(n) prime?
True
Let x = 0 + 3. Is 1/x + (-38)/(-3) composite?
False
Suppose 4*h - 668 - 1538 = 3*l, -2*l = -3*h + 1655. Is h prime?
False
Let a be (222/4)/(3/6). Let u be (0 - a/(-6))*-2. Let w = u - -60. Is w a prime number?
True
Suppose 4*f = 2*s - 154, 0*f + 160 = 2*s - f. Let d(x) = -2*x**2 + 4. Let k be d(-5). Let u = k + s. Is u prime?
False
Suppose -2*j + 3*t + 722 = -1527, 4*t = 5*j - 5612. Suppose -5*q + j = -g, -q + 441 = q + g. Is q a composite number?
False
Let h(s) = -s + 7*s - 2*s + s**3 + 4 + 5*s**2. Let p be h(-4). Suppose -p*k = -45 - 31. Is k composite?
False
Let i(u) = 3*u**2 + u - 5. Let n(m) = -m**2 - m. Let v(l) = -i(l) - 4*n(l). Suppose 0*x = -5*x + 20. Is v(x) prime?
False
Let h(n) = -2*n**3 - 4*n**2 - 2*n + 17. Is h(-10) composite?
False
Let a = 11 - 9. Suppose 8*b = 3*b - a*u + 345, -4*u = -20. Is b a prime number?
True
Suppose -13 = 5*p + 12, 0 = -s + 3*p + 1006. Is s a composite number?
False
Is (1262/6)/((-4)/(-12)) prime?
True
Let h(b) = 3*b**2 - b + 1. Let u be h(1). Suppose 5*l - u = 57. Is ((-55)/(-3))/(4/l) composite?
True
Suppose 3*h = h + 518. Let r = 9 + h. Let c = r + -155. Is c a composite number?
False
Suppose -4*o = -2*a - 14, 2*o - 4*a = -0*o - 2. Suppose 5*w - m - 771 = -45, -o*w + 750 = 5*m. Is w a prime number?
False
Suppose 5*g = -0*g. Suppose r + 6*h - h - 177 = g, 640 = 4*r + 3*h. Is r composite?
False
Suppose 0 = -11*h + 12*h - 821. Is h a composite number?
False
Is (-2)/(-9) + 18445/63 a composite number?
False
Suppose q - 15 = -4*q. Suppose q*z + 3*k + 24 = 60, 3*z = 2*k + 41. Is z a composite number?
False
Let x(g) = -13*g + g - 2*g + 13. Suppose 17 = -3*o - 2*w, o + 42 = -2*o + 3*w. Is x(o) composite?
False
Suppose f = -3*h - 4*f + 2975, -4*f + 1001 = h. Is h a prime number?
False
Is 9/(-3) - (-230 - -4) composite?
False
Let h(k) be the first derivative of 7*k + 5/2*k**2 + 2. Is h(6) composite?
False
Let v = 102 + 137. Is v prime?
True
Suppose -3*a - 136 = 3*z + 2*z, 0 = -2*z + 5*a - 73. Let s = z + 41. Let j = s - -3. Is j a composite number?
True
Let b(y) = y**2 + 4. Let u be b(-6). Is (-2 - -1) + u + -2 composite?
False
Suppose 0 = -x + 4*f - 30, 2*x - 9 + 54 = 5*f. Let j(k) = k**2 - k - 4. Let u be j(x). Suppose -g = g - u. Is g composite?
False
Suppose -a - 1 = 0, 5*b + a = -3*a + 1906. Is b a prime number?
False
Let i = 3704 + -1551. Is i a composite number?
False
Let w(x) = x**2 - 4*x - 2. Let i be w(5). Suppose i*f = 5*f + 2*q, 4*f = 2*q. Suppose f = -5*n + 131 - 16. Is n a composite number?
False
Let t(g) = g**3 + 3*g**2 + 2*g - 1. Let p be t(-2). Let k(d) = 22*d**3 - 2*d - 1. Let l be k(p). Let m = 32 - l. Is m a prime number?
True
Let c be ((-4)/4)/(3/(-18)). Let m be -6*(-3)/c + -2. Is ((-66)/9)/m*-3 prime?
False
Let l be -156 + (-4 - (0 - 2)). Let b = 361 + l. Is b a composite number?
True
Suppose 4*m = -2*t + 14 - 2, -t + 4 = m. Suppose -t*o - 179 = -5*b + 90, -4*b = -2*o - 216. Is b a composite number?
False
Is 100/(-30)*(-318)/4 prime?
False
Let g = -59 + 129. Let l(u) = -u**3 - 6*u**2 - 6*u. Let f be l(-5). Suppose -g = -10*j + f*j. Is j prime?
False
Suppose 0 = -g - 0*k - 4*k + 1062, -k = 2*g - 2089. Is g a prime number?
False
Let s(g) = g**3 - 8*g**2 - 9*g + 10. Is s(9) composite?
True
Is (7 - 8) + -3 - (-2151)/1 a prime number?
False
Let q = 981 + -482. Is q a composite number?
False
Let l = 32 - 23. Let y = l - 5. Suppose 4*r + y = 80. Is r a prime number?
True
Suppose 0 = b - 4*p + 6, 3*b - 14 = 2*p - 6*p. Suppose b + 1 = y. Suppose -y*u = -2*n - 239, 5*u - 519 = -4*n - 128. Is u a composite number?
False
Let q(s) = 515*s**2 - 2*s + 2. Is q(-3) a prime number?
True
Suppose 4*g + 498 = 7*g. Suppose -4*v - g = -6*v. Is v prime?
True
Let f(l) = -2*l + 2. Suppose 3*z - 3 = -0. Let i be (-1 + 3)/(z - 2). Is f(i) composite?
True
Let k(c) = -5*c**3 - c**2 - c - 1. Let q be k(-1). Let h(n) = -n**2 + 3*n + 4. Let j be h(q). Suppose -5*p + 95 - 25 = j. Is p composite?
True
Let j(i) be the second derivative of i**3/6 - i**2/2 - i. Let x be j(0). Is (-49 + 0)/(-2 - x) a prime number?
False
Suppose -a + 6 = d, d + a - 10 = -2*d. Suppose -3*m - d*m = 0. Is m/7 - (-1 + -2) prime?
True
Suppose -3*t + t = -r - 26, 3*r = 5*t - 74. Is (-1758)/r - (-2)/(-3) a prime number?
True
Let a(z) = z - 5. Let q be a(7). Suppose q*y - 1 = -23. Let w = -2 - y. Is w a composite number?
True
Let g(w) = -88*w**3 + 2*w**2 - 1. Let l be (-9)/(-2) - (-2)/(-4). Suppose -5*y + 2*f = -5, 3*y + 2 = f + l. Is g(y) a prime number?
True
Suppose 5*f - 2*o - 15 = -o, -5*f - o = -25. Suppose -u - 36 = -f*u. Let d = 65 - u. Is d composite?
False
Let l = 151 - 60. Let i = l - 42. Is i composite?
True
Suppose -4*g + 5*c = 2*