/22 - (17222/(-22) - 4) prime?
True
Suppose 14*x - 12*x = 1030. Is x a composite number?
True
Let w(h) = -h**3 - 7*h + 1. Is w(-6) composite?
True
Suppose 9 = 4*n - 4*v - 11, 5*n + 5*v = -25. Suppose n = -3*a + 2*a + 65. Is a prime?
False
Suppose -2*b = -3 - 1. Suppose 4*d - 114 = 2*d - b*a, 5*a = 20. Is d a prime number?
True
Let o(h) = -37*h + 3. Suppose -5*l - 2*q = 26, 2*l - 4*l + 4*q = -4. Let t be o(l). Let c = t - 96. Is c a prime number?
False
Let t be (4 + -1)*3/1. Suppose 0 = -z + t + 53. Let p = z - 43. Is p prime?
True
Suppose -3*o = 2*o + 3*c + 5, -5*c + 13 = 3*o. Let r be ((-8)/(-6))/o*-12. Suppose -r*p + 88 = u, -5*u = -2*p + 37 + 29. Is p prime?
True
Let q(y) = 5*y**2 + 3. Suppose -3*i - c - c = -4, 2*c - 6 = -4*i. Is q(i) composite?
False
Let d = 705 - -174. Is d composite?
True
Suppose 2316 - 502 = 2*c. Is c prime?
True
Suppose 4*v + 3*n = -314, -4*n + 2*n - 312 = 4*v. Let b = -55 - v. Let y = b + -1. Is y composite?
True
Suppose -3*a + 36 = -0*h + 2*h, -h = -a + 7. Let p(m) = -m**3 + 12*m**2 - m - 5. Is p(a) composite?
True
Let h be ((-65)/10)/((-2)/8). Let m = 12 + h. Is m a composite number?
True
Suppose 5*n - 2 + 7 = 0. Is (n - -5)/(12/30) composite?
True
Let n(u) = -4*u - 13. Is n(-15) a composite number?
False
Suppose 4*i - 4 - 8 = 0. Let n be ((-488)/(-12))/(i/9). Let c = n - 75. Is c composite?
False
Let f = -64 - -12. Let c = f - -85. Is c composite?
True
Let c(s) be the third derivative of -13*s**4/24 - 2*s**3/3 + 8*s**2. Suppose -2*g = 3*z - 3*g + 5, 4*z = -3*g - 24. Is c(z) a prime number?
False
Suppose 0 = 5*u - 7312 + 507. Is u prime?
True
Suppose 1 - 7 = -2*k. Let y be -11 - (0 + (1 - k)). Let v = y + 16. Is v composite?
False
Let k(s) = -2*s - 4. Let b be k(-3). Is 38 - (0/b + 1) prime?
True
Let b(l) = -l**3 + 2*l**2 + 3*l - 2. Let n be b(3). Let q(v) = -v**2 + 5*v. Let r be q(3). Is 8/r*(1 - n) a prime number?
False
Suppose -320 - 276 = -2*w. Is w prime?
False
Let c be (-3 + -5)*3/(-12). Suppose -c*r - 570 = -4*r - 2*m, 0 = 4*r - 2*m - 1152. Is r prime?
False
Suppose -2*h + 7*o - 2*o = 17, 0 = 5*h - 4*o. Suppose -2*a - 473 = -5*l, h*a + 280 = 3*l - a. Is l composite?
True
Is ((-3511)/2)/(27/(-54)) a prime number?
True
Let y(k) = -k - 3. Let r be y(-7). Suppose 0 = -r*m + 2*m + 52. Is m prime?
False
Suppose 0*q = 5*q - 7325. Is q a prime number?
False
Suppose 1124 - 240 = 4*m. Is m a composite number?
True
Suppose -51 = -g - a + 47, -3*g = -2*a - 289. Is g a composite number?
False
Suppose 1308 = 4*u - 0*u. Let v = u + -194. Is v composite?
True
Is (-2)/3*2910/(-20) a prime number?
True
Suppose k - 5*k = -5*m - 207, 2*m = -3*k + 184. Is k a prime number?
False
Let v = 69 - 20. Is v a composite number?
True
Suppose 0*m + 4 = 4*m, -d = -5*m - 134. Is d prime?
True
Suppose 4*v + 4 = -0. Let a(x) = x. Let m be a(-4). Is 4*(v - 35/m) prime?
True
Let k = -25 + 0. Let o = k - -37. Is 369/o + 1/4 a prime number?
True
Let b be 29 + 0 + 0/7. Suppose 0 = -3*y + b + 166. Is y composite?
True
Let s = 14 - 4. Suppose 4*c - 2*z - 32 = 2*z, 2*c = 5*z + s. Is c a composite number?
True
Let x be (0 - 5/(-2))*2. Suppose x + 23 = 4*d. Let t = d + 3. Is t composite?
True
Let r = 140 + -65. Suppose -4*o + 2*y + 206 = 0, o - 53 = -0*o - y. Let b = r - o. Is b a prime number?
True
Suppose -4*g + b + 13623 = 6*b, 0 = -2*g - 4*b + 6810. Is g a prime number?
True
Is 219 + (3/3 - -3) a composite number?
False
Suppose 5 = -3*m + 4*m. Suppose 0*d + m*d - 250 = 0. Let a = -17 + d. Is a prime?
False
Let z(i) = -5 + 4 - i + 13*i + 8. Is z(6) a prime number?
True
Suppose 3*k = -4*j - 1 - 3, -5 = -4*k + 5*j. Suppose b - y = 88, -98 = -k*b - b + 3*y. Is b prime?
True
Is (-18)/3*(-1)/6 - -2742 composite?
True
Let z(d) be the second derivative of 23*d**3/3 - 3*d**2/2 - 3*d. Is z(2) a prime number?
True
Suppose -2*g = -g - 1. Let r(a) = -2*a - 1 + 4*a - 2*a**2 + 40*a**3 + 0*a. Is r(g) a prime number?
False
Suppose -2*t - 2*t = -1484. Let v = t + -228. Is v a composite number?
True
Let x(q) = -q**2 - 14*q - 3. Let f(d) = 3*d + 12. Let h be f(-8). Is x(h) prime?
False
Let q = -851 - -533. Is (q/(-2 - 1))/2 composite?
False
Let m(v) = v**3 - 6*v**2 + 4. Let c be m(7). Suppose -g + c = -0*g. Is g composite?
False
Suppose 12 - 27 = -3*u. Suppose -u*o - 9 + 574 = 0. Is o prime?
True
Let h = -16 + 31. Suppose h = 5*q, -3*i + 7*i - 3*q - 811 = 0. Is i a prime number?
False
Is (3 - -1658) + -2 - (0 + 4) composite?
True
Suppose 4*g = -2330 + 10998. Is g composite?
True
Let l be 2/6 + 4/(-12). Suppose 2*f - 2*n + 310 = 4*f, -4*f + 5*n + 602 = l. Suppose -5*y + 2*y = -f. Is y a composite number?
True
Let w be -2 + -3 - (3 + 1). Is (489/w)/((-1)/3) a composite number?
False
Let b(f) = f**3 - 9*f**2 - 4. Let o be (-29)/(-3) + (-6)/9. Let k be b(o). Is 414/22 - k/22 a prime number?
True
Suppose -5*s = -0*s. Suppose s = -2*h + 3*h - 89. Is h prime?
True
Let f(i) = -i**3 - 4*i**2 + 5*i + 2. Let t be f(-5). Suppose 0 = -4*k + 3*p + 749, 3*k - t*p - 553 = 2*p. Is k a prime number?
True
Let n(w) = 176*w**3 - 4*w**2 + 3*w + 4. Is n(2) a prime number?
False
Let y = 2 - -2. Suppose 136 = -3*p + 7*p - y*x, 101 = 3*p - 4*x. Is p a prime number?
False
Suppose 2*x - 291 = 91. Is x composite?
False
Suppose 4*d - 5*s + 2 = 0, -3*d = 2*s - s - 8. Suppose -b + d = 6. Is ((-14)/6)/(b/36) a composite number?
True
Suppose 2*w + 3*n = 2*n + 13, 22 = 3*w + 2*n. Is w/(-10) + 1634/10 a composite number?
False
Suppose 2*h - 172 = -2*h. Is h a composite number?
False
Suppose -65 - 90 = -5*w. Let y = w + 429. Suppose 0*s = -4*s + y. Is s composite?
True
Let z(d) = -108*d + 2. Let m be z(-3). Let k = m + -229. Is k composite?
False
Suppose -4*a = -157 - 179. Suppose 4*h - a = -3*u - u, -4*h + 61 = 3*u. Is u composite?
False
Suppose 6 = -g + 2*y - 4*y, 3*g = 2*y + 22. Suppose -g*n - 226 = -6*n. Is n composite?
False
Let w = 1232 - 2479. Let n = -828 - w. Is n a prime number?
True
Let d = 0 + 2. Let q = d + 5. Suppose 3*p = -4*b + 258, q*b + 155 = 2*p + 4*b. Is p a composite number?
True
Let v(a) = 10*a**2 - 10*a + 7. Is v(6) a composite number?
False
Let u = 76 + 1261. Is u a composite number?
True
Let d = 57 - -26. Is d prime?
True
Let j be (3 - (1 + 2)) + 2. Suppose -7*a = -j*a + 5*l - 35, -2*a - 3*l = -19. Suppose -2*r + 273 = 5*p, a*p = r - 2*r + 110. Is p composite?
False
Suppose 0*m + 4*m + l = 4419, 2211 = 2*m + l. Suppose -b + 5*t = -540, 2*b - m = -t + 3*t. Is (-2)/(-3)*b/10 prime?
True
Let g = 657 - 322. Suppose 4*a - g = -a. Is a prime?
True
Let h = 12 - 52. Let w = h - -77. Is w a prime number?
True
Let n = 1251 - 512. Is n a composite number?
False
Let i be (-2)/6 - 196/(-21). Suppose -2*t = 2*x - 10, 5*x = i + 16. Suppose t = 3*v - 225 + 18. Is v a prime number?
False
Let j(q) = q**2 + 8. Is j(7) prime?
False
Suppose -3*i = -4*g + 1192, 0 = g + 5*i - 3*i - 298. Is g prime?
False
Suppose 21 = m + 7. Suppose -o + m = -6. Suppose w = -k + 43, o = -4*w + 4. Is k a prime number?
True
Suppose -161 = -i + 2*j, -4*i + 3*j + 228 = -401. Is i a composite number?
True
Suppose 4*p + 4*x = 3404, 2*p - 888 = -4*x + 814. Is p composite?
True
Suppose 4*t = -3*r + 2553, 2*t = -t. Let n = -433 + r. Let i = -261 + n. Is i composite?
False
Let l(c) be the third derivative of -c**6/60 - c**5/6 - c**4/8 - c**3 + c**2. Is l(-7) prime?
True
Let u be ((-4)/6)/(-2)*12. Let b(n) = -4 + 14*n**2 + u - 3 + 4. Is b(-3) prime?
True
Let n(j) = 9*j**3 - 4*j**2 + 25*j - 10. Let q(a) = -14*a**3 + 6*a**2 - 37*a + 15. Let r(f) = 8*n(f) + 5*q(f). Is r(6) prime?
False
Suppose 2*h + 0*h - 348 = 0. Let t = -40 + h. Is t a composite number?
True
Let r = 364 - 203. Is r a composite number?
True
Let q(r) = -22*r + 5. Let f be q(6). Let i = 204 + f. Is i prime?
False
Let p be -2 + (7 - 3) + -2. Suppose 0 = n - p*n + j - 15, -2*n + 23 = -5*j. Is n prime?
False
Let f = -3432 + 5003. Is f a prime number?
True
Let r be (-1)/3 + (-20)/(-6). Is (r + 3)*10/6 a composite number?
True
Let w be 0/((-2)/(-1)) - -3. Suppose -3*g = -w*r + 9, -4*r + r - g + 21 = 0. Suppose f - r = -0*f. Is f composite?
True
Let m = -100 - -226. Suppose 0 = 5*g - m - 59. Is g a composite number?
False
Suppose 0*t = x - t - 1755, -5*t + 8795 = 5*x. Is x composite?
True
Let s(r) be the third derivative of 0*r + 1/2*r**3 + r**2 - 2/3*r**4 + 0. Is s(-7