b composite?
True
Suppose -3*h + 5*o = -2, h + 4*h - 2*o = 16. Suppose -5*y - 408 = -2893. Suppose -4*k - 156 = 4*v - 800, 3*v - h*k = y. Is v prime?
True
Suppose 4 = 2*i - 5*b, -5*i - 4*b + 53 + 23 = 0. Is 263/4 + i/(-16) a composite number?
True
Let f = 12 + -14. Is f/(-8)*4 - -88 prime?
True
Let y = 16 - -54. Suppose -w = 4*w + y. Is (-144)/(-14) + 4/w a prime number?
False
Let g(l) = -84*l + 29. Is g(-9) a prime number?
False
Let q = -4 - -8. Let l be 6/q*2*-1. Is 5 + 4 + 6/l a composite number?
False
Suppose r = -0*r. Suppose 5*d + 5*h = 2*h + 58, r = -4*d - 4*h + 40. Suppose 0 = -2*k - 3*i + 53, 2*k + 5*i - 41 - d = 0. Is k prime?
False
Let a(u) = u + 17. Let y(i) = i + 1. Let s(d) = a(d) - 2*y(d). Is s(9) composite?
True
Let b(a) = 95*a + 10. Is b(23) prime?
False
Suppose 12*a = 17*a - 430. Is a a prime number?
False
Let j be ((-15)/(-6))/(2/8). Let u = j + 9. Is u a prime number?
True
Suppose 3*i - i - 1354 = 0. Is i a composite number?
False
Let d be 214 - -3*(-16)/12. Let q = d - -125. Is q a prime number?
False
Suppose -4*m - 4*f + 1139 + 145 = 0, -5*f + 971 = 3*m. Is m prime?
True
Let o(r) = -8*r**2 - 3*r - 3. Let i(q) = q**2 - q - 1. Let h(u) = -3*i(u) - o(u). Is h(5) a composite number?
True
Let p be (3/9)/((-3)/63). Let i be (-9 - p)/((-2)/(-158)). Let c = -67 - i. Is c prime?
False
Let g = 4 + -4. Suppose g = -2*m + m. Suppose 0 = 2*y - m*y - 106. Is y a prime number?
True
Let n be (-24)/5 - 2/10. Let l(g) = -7*g - 5*g**2 - 3 + 4*g**2 + 0*g**2. Is l(n) a prime number?
True
Let c(f) = -f - 4. Let v be c(-10). Suppose v*d - 20 = 2*d - 4*a, -2*d - 4*a + 10 = 0. Suppose -3*x = 2*s - 223, -s + d*x = 4*s - 620. Is s prime?
False
Suppose -543 = -3*v - 2*z - 0*z, v - 188 = -3*z. Is v composite?
False
Let u = -5 - -9. Suppose 0 = g + 4, 4*z - 3*g - 4 = -u*g. Suppose z*n - 11 = 15. Is n a prime number?
True
Is 6537/2*(-5)/(15/(-2)) composite?
False
Suppose 26 = c - 165. Is c a prime number?
True
Let h(b) = -b - 4. Let m be h(-7). Suppose m*l = 5*v + 332, 2*l = 6*l + v - 435. Is l a prime number?
True
Is -148*3*3/(-12) composite?
True
Let p(t) = -3694*t**3 - 2*t**2 + 2*t + 3. Is p(-1) a prime number?
False
Suppose -q - 3*q - 3*c = 0, 14 = -2*q - 5*c. Suppose u + q*u = -636. Let r = 278 + u. Is r a composite number?
True
Let t = -314 - -189. Let m(k) = 9*k**3 - 3*k**2 - k + 1. Let g be m(3). Let q = g + t. Is q a prime number?
True
Suppose -4*f = f - 545. Is f a prime number?
True
Suppose 0 = -3*j - 53 - 10. Is 6/j + (-1082)/(-14) composite?
True
Suppose -2*a + 27 = -r - 0*r, -3*r - 93 = -3*a. Let h = r + 102. Is h a composite number?
False
Let v(y) = 5*y**2 - y - 4. Let c be v(3). Let r = c + -19. Is r composite?
False
Suppose 2*s - s + 4*g + 302 = 0, 1465 = -5*s - 5*g. Let c = s + 597. Is c composite?
False
Let j(h) = -3*h + 7. Let p be j(7). Let u = -5 - p. Is u a composite number?
True
Suppose -r + 274 = 4*i + 31, -5*i - 10 = 0. Is r a composite number?
False
Let z = 3149 + -444. Is z composite?
True
Let x = 121 - 86. Is x a prime number?
False
Let k be (-1 + 0)*-1*445. Suppose 3*j = 8*j - k. Is j a composite number?
False
Let c be 1/4 - (-652)/16. Suppose -5*m + 371 = -3*g, m + 5*g = 27 + 64. Let x = m - c. Is x a prime number?
False
Is 51*1 + (-4)/(-2) prime?
True
Suppose 5*i + 5*y - 261 = 224, -i + y + 93 = 0. Is i a composite number?
True
Suppose 0 = -f - 5*b + 2*b + 160, b + 160 = f. Suppose -5*g + 4*v = f, 0 = g - 4*v + 19 + 29. Let i = 47 + g. Is i a prime number?
True
Let l be -1 - 1 - (4 - 1376). Let c = l - 925. Suppose -c = -4*v - v. Is v composite?
False
Let q(t) = t**3 - 4*t**2 - 6*t + 5. Let h be q(5). Suppose f + 2*f - 21 = h. Is f a prime number?
True
Suppose 1670 = 3*l + l + 2*n, -826 = -2*l - 4*n. Is l a prime number?
True
Suppose -15*g = -11*g - 1228. Is g composite?
False
Suppose -1 + 3 = -t, 5*x = -t + 18. Let l be 5/1 - 1*-1. Suppose -l = x*r - 274. Is r a composite number?
False
Suppose -3*n = -n - 8. Suppose -50 = -2*p + n*z, p - 4*z = 16 - 1. Is p a composite number?
True
Let h be 4/(-2*3/18). Let c be (h/9)/((-4)/294). Suppose 4*g - 170 - c = 0. Is g a prime number?
True
Let s be -2*6*(-4)/12. Let z be ((-22)/s + 1)*-2. Is (3/z)/((-1)/(-18)) a prime number?
False
Let f(v) be the third derivative of v**6/120 + 7*v**5/60 + v**4/12 + 2*v**3/3 - 2*v**2. Is f(-3) prime?
False
Let f(v) = -2*v - 7. Suppose 30 = -3*t - i + 3*i, 0 = 3*t - 5*i + 39. Let y be f(t). Let l(h) = h**3 - 8*h**2 - h + 7. Is l(y) prime?
True
Let s be 3/(-9) + 13/3. Let i(l) = 2*l**3 - 5*l**2 - l + 1. Let m be i(s). Suppose -5*d - 5*j + 75 = 0, 3*d + m = 6*d - 2*j. Is d a composite number?
True
Suppose 2294 = 3*q - 4*z - 551, -4*z - 4 = 0. Is q a prime number?
True
Let s = 9 + -7. Suppose l + s*y + 5 = 40, -3*l + 103 = 4*y. Is l composite?
True
Let p(i) be the third derivative of i**6/120 - i**3/6 + i**2. Let r be p(1). Suppose -j + r*j = -21. Is j prime?
False
Suppose -3*k - 2*k = -3*y - 10, 3*k + 3*y = 30. Suppose -8 = l - k*l. Let d = 21 - l. Is d a prime number?
True
Is 3 - -477 - (4 - 3) prime?
True
Suppose -q + 3*s = -229, -502 = -2*q - s - 30. Is q a composite number?
True
Let l(x) = 9*x**2 + 2*x + 1. Let j be l(-1). Suppose -4*d + 0*d - j = 0. Is (d/6)/((-1)/21) composite?
False
Suppose 4*l = 1641 + 435. Is l prime?
False
Let b be 28/6 + (-6)/(-18). Suppose b*a = 15 + 100. Is a composite?
False
Let a = -18 - -10. Let j(s) = s**2 + 8*s + 3. Let k be j(a). Suppose 0 = 2*v - 33 + k. Is v a prime number?
False
Suppose 1 + 9 = -2*l, 0 = -5*r - l + 10. Let p be (-2)/r - 344/(-12). Suppose 0*h - 4*h + p = 0. Is h a composite number?
False
Suppose -12 = -3*f, 2*s + 0*s - 5*f = -14. Suppose s*p = 2*p - 404. Let j = p + 723. Is j composite?
True
Suppose 0 = 2*k - 0*k. Let d = k + -1. Is d - 2 - (4 - 40) a prime number?
False
Suppose 0 = -2*n - 2 - 0, 4*n = -4*g. Suppose 2*r - z = -g + 8, r - 5 = 2*z. Suppose -4*m = i - 129, -r*m = 3*i - 237 - 114. Is i prime?
True
Is (1 + (-2)/(-1))*(-3082)/(-69) composite?
True
Suppose 1909 = -47*p + 48*p. Is p a composite number?
True
Suppose 2*x - 5*x = -1353. Is x composite?
True
Let f be -57*6/(-9) + 4. Is ((-658)/f)/((-2)/30) composite?
True
Suppose -941 = -4*g - d, 0 = 3*g - 4*d - 815 + 95. Suppose 3*t + t = g. Is t composite?
False
Let x = -20 + 14. Let q(c) = 6*c**2 - 3*c + 3 + 4 + 0*c - c + c**3. Is q(x) composite?
False
Is 2*-211*(-20)/8 prime?
False
Is (80/(-24))/((-4)/78) composite?
True
Suppose -3*r + 4*r + 2*v = 2729, -10851 = -4*r + 5*v. Is r composite?
False
Suppose -3*z + 0*z - 3*w = -6, 0 = -2*z + 4*w - 8. Suppose 12*q - 9*q - 75 = z. Is q composite?
True
Let h = 203 + -129. Is h a prime number?
False
Let t be (5 + 42)*(1 - 0). Let q = t - -18. Is q prime?
False
Let j(o) = 2*o + 2. Let q be j(-6). Let k be (-1 + -9)/(q - -8). Suppose -105 = -3*g + d, -k*g + g + 124 = 4*d. Is g composite?
True
Let h(s) = s + 26. Suppose -z = 4*z. Is h(z) prime?
False
Let n(c) = 3*c**2 - 3*c - 25. Is n(14) prime?
True
Let g(a) = -a**2 + 11*a - 6. Let z be g(10). Let i = z - 0. Suppose m + 111 = i*m. Is m composite?
False
Let f be 6 - 2 - (0 - 1). Suppose 0 = -f*b - 47 + 187. Suppose w - 9 = -2*a + b, -5*w = 3*a - 185. Is w a composite number?
False
Let v = 666 - 112. Suppose v + 26 = 4*p. Is p composite?
True
Suppose 0 = -y + 249 - 56. Suppose 0 = 5*r + 3*a - 15, 3*a = -2*r + 20 - 5. Suppose r = -c + 2*i - 0*i + 79, -3*i = 2*c - y. Is c a prime number?
True
Let z(v) = -24*v + 14. Let i(c) = 47*c - 27. Let y(x) = -3*i(x) - 5*z(x). Is y(-8) a composite number?
False
Let i(w) = -w**3 + 2*w. Let x be i(-4). Suppose 5*n - 104 = x. Let g = n + -13. Is g a composite number?
False
Let m be 77/(((-9)/(-3))/12). Suppose 0*d = -4*d + m. Is d a prime number?
False
Is (-2)/8 + (140692/16)/17 a prime number?
False
Let x be (-1)/(-3) - 1714/(-6). Suppose 46 + x = 4*n. Is n composite?
False
Let w(i) = 13*i**2 - 5*i. Let l be w(-4). Let g = l - 110. Suppose -3*j + g = -59. Is j a composite number?
False
Let v = 563 - 220. Suppose -2*z + 4*u = -490, 5*z + 4*u = 882 + v. Suppose -g = -6*g + z. Is g composite?
True
Let x be 3/(1/(-1*3)). Let d be -2*4/12*24. Let b = x - d. Is b a prime number?
True
Let y(m) = 215*m - 12. Let k(j) = -72*j + 4. Let a(q) = -8*k(q) - 3*y(q). Is a(-3) a prime number?
True
Suppose -4*p + 5 + 3 = -2*s,