-3*o = -v - 24. Is o prime?
False
Let y = -850 - -1258. Let w = y + -169. Is w a composite number?
False
Suppose -26*v + 17*v + 7893 = 0. Is v composite?
False
Suppose 8*l - 3*l = 0. Let z be (3 - l)/(-3) - -7. Suppose -z*y + 3*y + 18 = 0. Is y a prime number?
False
Let u be 10/2*12/20. Let q be (-2)/u - (-574)/6. Suppose q = 2*y - 3. Is y a composite number?
True
Suppose -5*m + 3*k = -m - 93589, 5*k - 25 = 0. Is m prime?
False
Suppose 4*k + k = 835. Is k composite?
False
Let d(a) = -14 + 20*a + 8*a**2 - 6*a - a**2. Let q(y) = 4*y**2 + 7*y - 7. Let j(l) = -3*d(l) + 5*q(l). Is j(-7) composite?
False
Let p(x) = -x + 4. Let a be p(0). Let g be (-1)/(22/6 + -4). Suppose -g*s = s - 12, -a*l = 4*s - 244. Is l prime?
False
Let v(g) be the second derivative of -g**5/20 + 4*g**4/3 - 7*g**3/3 - 5*g**2/2 - 2*g. Is v(14) a composite number?
False
Suppose -4*t + 16 = 4. Suppose t*i = 13 + 2. Suppose -4*k = -7*k + i*w + 119, 2*k + w - 75 = 0. Is k a prime number?
False
Let l = 297 - 166. Is l prime?
True
Let v(p) = p**2 + 2*p - 1. Let q be v(-3). Suppose -4*s = f + q*f - 263, 0 = -4*f + 5*s + 361. Is f a composite number?
False
Suppose -5*t - 4*i + 1270 = 0, 7*t = 3*t + 4*i + 1016. Suppose 2*w + w = -4*j + 229, -3*w + j + t = 0. Is w prime?
True
Let m = 401 - -1332. Is m composite?
False
Suppose 0 = -2*n + 6*n. Suppose 0 = 2*k - y - 112, -5*k + 5*y + 81 + 189 = n. Is k composite?
True
Let w(l) = -l**3 + 6*l**2 + 6*l + 9. Let s be w(7). Suppose -30 = -3*z - 3*h, -s*z + 28 = 2*z + h. Let o = 19 - z. Is o composite?
False
Suppose 4*b - 364 = 80. Is b prime?
False
Suppose 5*j + 2*a - 57 = 0, 3*a - a + 8 = 0. Suppose g = j + 24. Is g composite?
False
Suppose -2*o - 3*l = -8*l - 1573, -o - l + 804 = 0. Is o prime?
False
Suppose 5*z - 25 = -10. Suppose 3*i + 2*y = 2, -y + z = -2*i + 2*y. Is 2*9 - (i - 3) prime?
False
Let l = 6 - 6. Suppose l = 2*w - 3*r - 6, r = -w + 2*r + 3. Suppose 88 + 77 = w*d. Is d prime?
False
Let w(p) = p**3 - 8*p**2 - 6*p - 13. Suppose -24 = -4*x - 3*m, 9 + 8 = x - 2*m. Is w(x) a prime number?
False
Suppose -3*h + 2 = -5*x - 8, -4*x = h + 8. Suppose 2*r + 7*f - 386 = 4*f, -3*r + 3*f = -594. Suppose h*p - 4*p + r = 0. Is p composite?
True
Suppose -2*i - 258 = -5*s + 727, -10 = -2*i. Is s a composite number?
False
Suppose -l + 48 = -308. Suppose -4*t = -280 - l. Is t a prime number?
False
Let f be 1 + -2 + (1 - 2). Let b be 26 - (f + 0 - -3). Suppose 4*w + t = 49, -2*w = 3*t - b + 8. Is w prime?
True
Suppose 4*s + 8*b - 9*b = 1283, 5*b = -3*s + 968. Is s a prime number?
False
Let b(d) = 12*d**2 + 6*d + 1. Is b(-6) composite?
False
Let z = 598 - 1217. Let v = z + 882. Is v a composite number?
False
Let h(i) = 2*i**2 + 2. Let g be h(-2). Let b be (18/45)/((-1)/g). Let n = b - -17. Is n a prime number?
True
Is 2*1/(-2) - (-24 + 0) a composite number?
False
Suppose 0 = 3*p - 113 - 3304. Is p a composite number?
True
Let h(a) = a**3 - a**2 - a + 2. Let x be h(0). Suppose x*w = 9 - 5. Suppose w*v - 455 = -3*z - 0*v, 3*z - 443 = v. Is z a composite number?
False
Let x be (-102)/27 + 2/(-9). Let c be ((-30)/x)/((-9)/(-120)). Suppose -4*a + c = a + d, 69 = 4*a + 3*d. Is a a composite number?
True
Suppose 7 = 2*a - y, -2*a + 2 = -4*y - 8. Let j(f) = -2*f**2 - 8 + f**3 + f - 4*f**2 + a*f - 2. Is j(7) prime?
True
Suppose -j = -17 - 11. Suppose -5*h - j = -4*p, 0*p + 18 = p - 4*h. Is p a composite number?
False
Let f(r) = -4*r - 5. Is f(-9) a prime number?
True
Let b(r) = 480*r**3 - 2*r**2 - r + 2. Is b(1) prime?
True
Let o(n) = n + 2. Let j be o(4). Let t(l) = -l**3 + 5*l**2 + 8*l + 3. Let q be t(j). Let f = q - -4. Is f a prime number?
True
Suppose 0 = -2*c + 708 + 1846. Is c a composite number?
False
Let j = -5 - -52. Is j prime?
True
Let z = 3 + 0. Suppose z*q = 8*q - 160. Suppose -3*j - 40 = -k, -2*j - 3*j = k - q. Is k a prime number?
True
Suppose 12 = -4*t, -2*n + 79 = t - 92. Let k = n - 32. Is k a composite number?
True
Let m be 50/(-4) - (-1)/2. Let z = 65 - m. Let t = 116 - z. Is t composite?
True
Let t(l) = 4*l + 10. Let y be t(8). Is ((-19012)/y)/(4/(-6)) a composite number?
True
Let k(s) = 43*s + 3. Let r be k(3). Suppose 0 = -4*h + 200 + r. Is h composite?
False
Suppose 0*d - 1 = d. Is (d/(-3))/((-2)/(-114)) a prime number?
True
Let z(v) = 610*v**3 + v**2. Is z(1) a composite number?
True
Let i = -2 - 0. Let s be ((-2)/i)/((-3)/(-156)). Suppose 4*y + 3*f - s = 0, -4*y - y = -f - 65. Is y composite?
False
Let w(y) = 5*y**2 + y - 8 - 4 + 17. Is w(6) a prime number?
True
Let d = 1127 + -454. Is d a prime number?
True
Let h = 26 + 136. Let s = h - 109. Is s prime?
True
Let z(n) = 2*n**2 - 3*n - 15. Let h be z(-12). Suppose -5*a = -161 - h. Is a a prime number?
False
Let o(l) = 302*l - 24. Is o(5) a composite number?
True
Is ((-52)/6)/(18/(-1593)) a composite number?
True
Let f(k) = k**3 - 5*k**2 - 5*k - 5. Let q be f(6). Let c = q + 14. Suppose -c = -7*u + 2*u. Is u prime?
True
Let q = 1 + 1. Suppose 4*a + 3*h = 371, -4*a = -7*a - q*h + 279. Let n = -6 + a. Is n a composite number?
False
Let o = -18161 - -12719. Let r be o/(-12) + 1/2. Suppose 5*y - p - r = 0, 0*y - 2*y + 186 = 4*p. Is y composite?
True
Let z = 96 - 53. Is z composite?
False
Suppose 0*u = 4*u. Let t = 4 + u. Suppose 4*o = 2*s + 732, -5*o - 2*s = -t*s - 917. Is o composite?
True
Let u(z) = z + 9. Let t be u(-9). Suppose t = -2*w + 212 - 38. Suppose 4*a - 5 = w. Is a composite?
False
Suppose 429 + 461 = 5*n. Is n a prime number?
False
Let j = 236 - 114. Suppose -2*k = -4*m - 246, -6*m + 5*m - j = -k. Is k prime?
False
Is 1556 - 1 - (-6 - -2) a prime number?
True
Let k(f) = -4*f + 1165. Is k(0) prime?
False
Suppose 0 = -9*l + 4*l + 15. Is -21*(0 + -4 + l) prime?
False
Let x be (-1)/(2/(-8)*2). Let s be (1 - (2 - x))*5. Suppose q = 2 + s. Is q a prime number?
True
Suppose -r + 14 = 4*w + 2*r, -5*r = -3*w + 25. Let g(m) = -m**3 + 2*m**2 + 3. Let k be g(-2). Suppose 0 = -w*h - 4*l + k, -h + 13 = 2*h + 2*l. Is h prime?
True
Let h = -480 + 340. Let x be (1 - 4)*h/6. Suppose v - x = -4*v. Is v a composite number?
True
Suppose -33 = -4*d + 7. Let k be d/4*18/5. Let a(b) = b**2 - 9*b + 7. Is a(k) a composite number?
False
Let p(j) = -j**2 + 13*j + 9. Let v be p(17). Let t = v + 152. Is t a composite number?
True
Let p be -59*((2 - 19) + 4). Let g = p - 518. Is g prime?
False
Suppose -a + 642 = 3*x - 2*a, 5*x - 2*a = 1069. Is x a prime number?
False
Let l(q) = -q**2 - 6*q + 4. Suppose 0 = -6*h + 3*h - 18. Let b be l(h). Is b/10 + 73/5 composite?
True
Let c(n) = 131*n + 68. Is c(19) composite?
False
Let v(i) = i**2 - 4*i - 5. Let p be v(5). Suppose a - 97 = -p*a. Is a composite?
False
Let i(v) = -v**3 + 10*v**2 + 5*v - 7. Let o be i(10). Let b = o - 12. Is b a composite number?
False
Suppose 19 = 4*w - 0*w + 5*h, 3*w - 9 = -2*h. Let o = w - -25. Suppose 0 = r - o + 4. Is r a prime number?
False
Suppose 21 - 611 = -4*o + 5*r, o + 4*r = 137. Let b = 66 + o. Is b composite?
False
Let y(g) = -g**2 - g**3 - 2*g**3 - 3*g + 4*g**3 + 2. Let j be y(5). Suppose 5*d = -j + 362. Is d composite?
True
Let d(s) = 21*s + 1. Is d(1) a composite number?
True
Suppose 5*o - 2917 + 137 = -u, 2*o = 5*u + 1139. Is o a prime number?
True
Suppose 5*v + 368 = 6*v. Let p = -211 + v. Is p a prime number?
True
Is (-3 - -2) + 6 - -15540 a composite number?
True
Let o = 19 - 53. Let t = o + 7. Let n = t + 46. Is n composite?
False
Let d(b) = -2*b - 1. Let q be d(-2). Suppose 1110 = 5*p + q*l, 2*p = -2*p - 4*l + 880. Let n = -160 + p. Is n a composite number?
True
Suppose -19*i + 3055 = -14*i. Is i prime?
False
Suppose 0 = -2*y + 5*o + 46 - 6, 80 = 4*y - 3*o. Is ((-1475)/y)/(2/(-8)) a composite number?
True
Suppose -1730 = -4*o - 3*z + 369, o + 4*z - 528 = 0. Suppose -4*j = -0*j - o. Is j prime?
True
Let o(t) be the second derivative of t**5/20 - t**4/2 + 2*t**3/3 - t**2/2 + 4*t. Is o(6) prime?
True
Is (-25)/(-5) + -1 + 1645 a composite number?
True
Suppose 0 = p - 1 - 5. Is p prime?
False
Suppose -4*l + 2*l = 254. Let v = l - -189. Is v composite?
True
Let p be 15/((30/(-4))/(-5)). Let n = p - 4. Is ((-8)/2)/(n/(-9)) composite?
True
Suppose -3*w + 25 = 2*w. Suppose w*i + 258 = 3*i. Is 1 - 1 - 2 - i a prime number?
True
Let t = 820 + -239. Suppose 4*n = -4*d + 468, -2*d - 4*n + t = 3*d. Is d a prime number?
True
Sup