rue
Suppose 0 = -9*u + 4*u + 25. Suppose -5*l + j + 244 = 0, u*l - 247 = -2*j - 0*j. Is l composite?
True
Let g = 41 + -23. Suppose 0*z = -n + 2*z + 12, -4*z + g = n. Is n composite?
True
Let j = -75 - -166. Is j prime?
False
Let j(v) = 8*v**2 - 10*v - 19. Is j(-8) composite?
True
Suppose -2*n = 5*o - 1501, 2*n + 3*n = 15. Is o prime?
False
Suppose 4*g - 2*g = 0. Suppose -5*o + g*o = 0. Suppose -35 = -o*h - 5*h. Is h prime?
True
Is (-1671)/9*(6 - 9) composite?
False
Suppose 3*y - 4*x - 872 = 2*y, -2*y + 4*x + 1764 = 0. Suppose -5*r = -g + 316, 3*g + 2*r - y = 141. Is g a prime number?
False
Suppose -2 = -2*y + y. Suppose -5*t + 93 = -y*t. Is t composite?
False
Is ((-3613)/4)/((-16)/64) a composite number?
False
Let a = 12 - 7. Suppose -3*j - a*y + 95 = -99, 5*j + 5*y = 340. Suppose 2*i - j - 37 = 0. Is i prime?
False
Let t(s) = -s**2 - 19*s - 1. Is t(-9) composite?
False
Let b = 27 + -19. Let t be 90/b + 1/(-4). Suppose l + t = 2*l. Is l composite?
False
Let f(t) = -29*t + 20. Is f(-7) prime?
True
Suppose 0 = i + 5*h + 29, i + 2*h = -4*i - 145. Let q = i - -75. Let j = q + -20. Is j a composite number?
True
Let g = 7 + -8. Let k(y) = 394*y**2 - 3*y - 2. Is k(g) a composite number?
True
Suppose 0*f + 2*y - 1520 = -4*f, 2*f + 4*y = 754. Is f a composite number?
True
Let d be (-96 + 0)*(-9)/(-9). Let x = 23 - d. Is x a prime number?
False
Let v = 55 - 131. Let u = -39 - v. Is u a prime number?
True
Suppose 0 = 5*z - 1164 + 99. Suppose 4*f + 9 - z = 0. Is f a prime number?
False
Let y be ((-6)/18)/((-1)/57). Suppose t - y = 94. Is t prime?
True
Suppose -2*r - 3*m = -0*r - 19, 0 = 5*r - 4*m - 13. Suppose -24 = -r*o + 1. Suppose o*k = -l + 67, -6*k + k = -l - 73. Is k a prime number?
False
Let o = 2 + 2. Let i = 3 - o. Is ((-1)/i)/(3/30) composite?
True
Let v(y) = 3*y - 5. Let a be v(3). Let r = a - -9. Is r prime?
True
Let o be (1*5)/(-5 + 6). Suppose 2*x = -3*v + 2*v + 99, 0 = -o*v - 2*x + 455. Is v composite?
False
Suppose 5*o + 3 = 8. Is (-2)/(-1)*o + 120 prime?
False
Suppose -5*c + 1135 = 50. Is c composite?
True
Suppose 1154 + 255 = n. Is n a prime number?
True
Let u(k) = k**3 - 8*k**2 + 7*k - 17. Is u(10) a prime number?
False
Suppose 0 = 37*d - 32*d - 7715. Is d composite?
False
Is (2 - 15/3)/(8/(-13672)) prime?
False
Let w(h) = -2*h**2 - 3*h. Let a be w(-3). Is (592/12)/((-6)/a) prime?
False
Let a = 11 + -121. Let o = 225 + a. Is o a prime number?
False
Let t = -13 + 56. Is t a prime number?
True
Let f(y) = y**3 - 3*y**2 - 3*y + 1. Let l be f(4). Suppose 3*n + 66 = l*n. Suppose -3*m + n = -0. Is m a composite number?
False
Suppose 8 = d + 3*d. Suppose -3*a = -7*a + d*t + 258, 4*a + 5*t = 223. Is a a prime number?
False
Suppose 7*m - 2*m = 1895. Let d = m - 236. Is d composite?
True
Let u be 40/(-16) + (-1)/(-2). Is (u + 7)/1*41 composite?
True
Let s be ((-20)/(-25))/(2/60). Let h = -10 + s. Is h prime?
False
Let r(j) = j**2 - 1. Let i(o) = 2*o**2 - 1. Let a(d) = 2*i(d) - 2*r(d). Let y be a(3). Suppose -m + y = -61. Is m composite?
False
Suppose 2*s + 9 = -s. Let k be 1122/4 + s/6. Let i = k + -89. Is i composite?
False
Let a(h) = h**2 + 2*h - 5. Let r be a(7). Let k = -7 + r. Is k a composite number?
True
Let t = -10 + 14. Suppose -3*q + t*q - 8 = 0. Suppose -f = -3*p - 28, 5*f + 2*p = 63 - q. Is f prime?
True
Is (1 + (-100)/(-6))*3 composite?
False
Let l(d) = 23 - 5*d - 2*d**2 + 3*d**2 + 4*d. Let n = 2 - 2. Is l(n) composite?
False
Suppose -3*b = 9, k = 5*b - 27 + 133. Is k composite?
True
Suppose 77 = -5*x + 17. Let z(j) = -2*j - 15. Let a be z(x). Suppose d - 5*l = -3*l + a, 4*d - 23 = -5*l. Is d a prime number?
True
Suppose 0 = -8*u + 5*u + 435. Let o = -3 - -5. Suppose -3*y + o*v = -89, -y - 5*v - u = -6*y. Is y prime?
True
Suppose 1 = -p + 6. Let d be (16/3)/((-1)/(-6)). Suppose 3*w - d = -p. Is w a prime number?
False
Let b = 168 + 169. Is b a prime number?
True
Suppose -1208 = -0*q - 4*q. Is q a prime number?
False
Suppose 0 = -2*m + 4, l - 172 = -2*m + 163. Is l a prime number?
True
Suppose 3*f + 110 = -h, -2*f - 3*h - 69 = 9. Let o = 75 - f. Is o composite?
True
Suppose -f = -2*f - a + 28, -f + 3*a = -48. Is f composite?
True
Let h(r) = r - 4. Let y be h(9). Suppose 33 = l - 4*o, y*o - 2*o = 0. Is l prime?
False
Let i = 86 + -31. Let h(v) = -2*v - 1. Let f be h(-3). Suppose -f*w + 15 = -i. Is w prime?
False
Let x be 1 + (-2)/((-4)/662). Is (-6 + x)*(-2)/(-4) a prime number?
True
Suppose 13 = 2*r - 3*c, -r + c + 7 = 1. Suppose o + 0*o - 49 = -r*m, -2*m - 5*o = -38. Is m composite?
True
Let p(a) = a**2 - 7*a + 8. Let k be p(6). Let h(v) = 88*v. Let f be h(k). Let b = f + -85. Is b a composite number?
True
Suppose 5*d - 2*v + 0*v = -6, -15 = d - 5*v. Suppose d*n + 15 = 3*n. Suppose s - n = 32. Is s composite?
False
Suppose -8*r + 4*r = 0. Suppose r = -l - 48 + 11. Let h = l + 62. Is h a composite number?
True
Is (-8)/10 - (-658)/10 prime?
False
Is (1552/7 - 5) + (-2)/(-7) prime?
False
Suppose -2*w + 76 = 3*t, 4*t - t + 4*w - 68 = 0. Suppose -2*l + t = 2*l. Is l a prime number?
True
Let r = 4 - 8. Let j be 5 + r/2 - -2. Is (4/j)/(4/170) a prime number?
False
Let o(y) = -5*y + 6. Let w be o(-7). Suppose -w = -u - 4. Is u prime?
True
Let s(u) = 144*u**3 + u**2 + 1. Is s(2) a prime number?
False
Let j(h) = h**3 - 13*h**2 + 22*h - 7. Is j(12) a prime number?
True
Let h be (-381)/(-6) + (-1)/2. Suppose -4*a + h = -a. Is a a composite number?
True
Is (69/6)/(1/22) prime?
False
Let k = 108 - 34. Let g = 121 - k. Is g composite?
False
Let l be 1 + -2 + 0 + 1. Suppose -21 = -m + 4*g + 94, -4*m - 5*g + 523 = l. Is m prime?
True
Suppose 1 = -x + 6. Suppose -11 = -2*a + 11. Suppose x = -g + a. Is g prime?
False
Let i(o) = 0*o - o - 37*o**3 - 3*o - 1 + 3*o. Is i(-1) a prime number?
True
Let c = 387 + -178. Is c prime?
False
Let t(g) = 32*g**2 - 2*g - 2. Let k be t(-2). Let w = -68 + k. Is w a composite number?
True
Let k = 25 + -7. Let c = 16 + 7. Suppose l - k = -4*f, -c = -l - f - 2. Is l composite?
True
Suppose 494 = 2*m + 2*p, 0 = 5*m - 2*p - 0*p - 1263. Is m a composite number?
False
Is (1083195/(-12))/(-5) - 2/8 prime?
False
Suppose 16*g - 11*g - 15 = 0. Suppose -3*q = 3*p + 110 - 1055, -g*p = q - 311. Is q composite?
False
Let s(z) = 2*z**3 - 7*z**2 + 3*z - 1. Let q be 5/1 + -2 + 2. Is s(q) composite?
False
Let u = 61 + 66. Is u a composite number?
False
Suppose -4*k = 2*i - 52, -4*k - i + 5*i + 28 = 0. Suppose k*z - 291 = 8*z. Is z a composite number?
False
Suppose -z - 5*f = 3*z - 18, -10 = -4*z - f. Suppose -z*h + 2 = -4*h. Is h/(294/(-291) + 1) a prime number?
True
Let t be 1*(1 - -1)*1. Let c = 7 + -3. Suppose c*u - 2 = -3*m, -t*m = -4*m + u + 16. Is m prime?
False
Suppose -3*d - t = -0*t - 153, 2*d - 5*t - 102 = 0. Is d composite?
True
Let y be (-1)/(4/8) + 7. Let o be (3 + 1)/(4/410). Suppose z = y*m - 10 - o, -m + 73 = 2*z. Is m a prime number?
True
Suppose -16 = h - 2*f - 2*f, 0 = h - f + 7. Suppose 6 = 4*c - 18. Let i = h + c. Is i composite?
False
Suppose 0 = 3*i - a - 398, -4*a = -3*i + 320 + 66. Suppose -h + i = h. Suppose -3*s + h = -26. Is s prime?
True
Suppose 3*l = -2*k + 3*k - 283, -l + 889 = 3*k. Is k prime?
False
Let a(w) = -5*w**3 + 6*w**2 - 6*w. Let p be a(4). Let c = p - -499. Is c a prime number?
True
Let k(t) = -26*t - 14. Is k(-12) a composite number?
True
Suppose 3*k = -2*g + 157 + 408, -k - 3 = 0. Is g a prime number?
False
Is 751 + (1*3)/((-30)/20) composite?
True
Suppose -d + 15 = 5*j, 5*j - 2*d + d = 15. Suppose 0*i = j*i - 633. Is i a composite number?
False
Suppose 0*i = 5*i - 125. Let x = i + -2. Is x a prime number?
True
Let q(y) = 2*y. Let i be q(2). Suppose -2*p + i = -4. Suppose -3 - 1 = -p*s, -3*l - 5*s = -152. Is l a composite number?
True
Suppose 0 = 4*z + 58 - 214. Suppose -9 = -d - 15. Let l = d + z. Is l a prime number?
False
Let z = -1052 + 2811. Is z a composite number?
False
Let c(o) = -804*o**2 + 2*o - 1. Let r be c(1). Let l = -409 - r. Is l a prime number?
False
Let k = 9 + -3. Let o(d) be the first derivative of d**3 + d**2/2 - 5*d + 10. Is o(k) prime?
True
Suppose 0 = 2*m + 231 + 625. Let r = m + 721. Is r a prime number?
True
Let c(m) = 251*m + 3. Let q be c(6). Suppose t - 4*h + 1504 = 5*t, -4*t - 5*h = -q. Is t a composite number?
True
Suppose 3 = 4*a - 4*t + 19, -2*a = 3*t + 23. L