prime number?
True
Let x(z) = -31*z - 1. Let y be x(-4). Let q = 280 - y. Is q a composite number?
False
Let b = 0 + 5. Suppose 0*k = -k + b. Is k/(20/(-8)) + 85 a composite number?
False
Let k(n) = n**2 + 12*n - 8. Let d be k(-13). Suppose 1423 = 4*m - j, 0 = d*m - 2*j + 4*j - 1769. Is m composite?
True
Suppose 2*z - l - 269 = 0, 0*l - 4*l = 5*z - 679. Let i = z + -70. Is i a composite number?
True
Let t be (-62 - -62)/(2/2 + -2). Suppose -c - 2*c = -4*h - 5403, 3*h = t. Is c a composite number?
False
Let h(c) = c**2 + 16*c + 7. Let z be h(-7). Is -13*(z - 0) + 3 composite?
True
Let y(s) = s**3 + 4*s**2 - 4*s + 5. Let x be y(-5). Let r(a) be the third derivative of a**6/120 - a**5/60 + a**4/24 + 55*a**3/6 + 27*a**2. Is r(x) composite?
True
Is 34/170 - (-34528)/10 prime?
False
Let w be (12 + -11)/(2/6). Suppose 0 = w*r - 64 + 838. Let t = -173 - r. Is t a composite number?
True
Let v be (-26)/(-6) - 4/12. Let x be (-8)/(-10)*(9 - v). Suppose -3*j = x*z + 2*j - 1004, 2*z = 3*j + 502. Is z a prime number?
True
Suppose -2*c - 23 = -g, 0 = -g + c - 5*c + 53. Let s = 190 - g. Is s a prime number?
True
Suppose -3*r + 2104 = 2*q, -5*q = -2*r - 2*r - 5283. Is q composite?
True
Let d = -131 - -182. Is d composite?
True
Is 4/(-3)*1900596/(-656) composite?
False
Let s be (-1)/(-2*(-2)/(-8)). Suppose 0 = -4*j + 4*v + 116, 61 + 1 = s*j + 2*v. Is 3/(-5) + 3408/j a composite number?
False
Let s(v) = 7*v**3 - 4*v**2 + 2*v - 1. Suppose 0 = 12*x + x - 52. Is s(x) a composite number?
True
Suppose 2*y + 9 = 5*x - 5, 5*x - 3*y = 16. Let k(s) = 8*s + 16*s + 0 - 1 + 0*s. Is k(x) a composite number?
False
Let y = 44205 - 21736. Is y prime?
True
Let r(x) = -2*x + 23. Let u be r(8). Suppose 0 = -u*i - 1727 + 4464. Is i a prime number?
False
Suppose 0*n = n - 24. Let u be (-2)/(n/(-27))*-4. Is (188/(-6))/(6/u) prime?
True
Suppose 2*w + w - 9 = -3*z, 0 = -w - 1. Suppose -5*t + 41 = 4*h, -z*h = h + 3*t - 35. Suppose 2*b + m = 53, -h*b + 2*m + 59 + 35 = 0. Is b a prime number?
False
Let j(u) = 14*u**3 - u**2 + u. Let f be j(2). Let g = f - -66. Suppose -x = 3*i - 6*i - g, -4*x + 674 = -2*i. Is x prime?
True
Suppose 21*c - 26*c = 85. Let u = -13 - c. Suppose 4*b = -u*d + 620, 0*d - b - 620 = -4*d. Is d composite?
True
Suppose 5*o = o + 14120. Suppose -2004 = -2*f + o. Is f prime?
True
Suppose 0 = -77*d + 81*d - 26348. Is d prime?
False
Let x = 5331 + 252. Is x composite?
True
Suppose 4*n = 282 + 494. Let k = n - -645. Is k a composite number?
False
Let m(b) = 19 + 0*b - 6*b + 0. Let p be (-8 - 1/1) + (-100 - -99). Is m(p) a composite number?
False
Let s(q) = -19 - 184*q - 194*q + 6. Is s(-2) a composite number?
False
Let j = 14 + -16. Let v(g) = -134*g**3 + g**2 + g + 3. Is v(j) a prime number?
False
Let d(x) = 448*x**2 + 18*x + 3. Is d(-3) a composite number?
True
Let r = 2698 + -1877. Let h = r - 424. Suppose 5*k - 3*g - 449 = 0, 3*k + 118 = -3*g + h. Is k a composite number?
True
Suppose 8*n - 5*n - 3*f + 42 = 0, -3*n - 2*f - 42 = 0. Is -19*((-8)/56 - (-264)/n) prime?
False
Suppose 5*k - g - 25 = 4*g, -2*g = -4*k + 20. Suppose -13 + 53 = k*r. Suppose r = 5*a - 22. Is a prime?
False
Is (-6)/((-12)/(-64366))*1/(-1) prime?
True
Let n = -2619 + 4480. Is n composite?
False
Let r be (-10)/((-4)/40*-5). Let s = 135 + r. Is s a prime number?
False
Suppose -27*l + 25*l + 17530 = 0. Let a = l - 1266. Is a composite?
False
Let p(m) = 272*m + 275. Is p(31) prime?
True
Suppose -4*n = -2*o + 134598, 5*o - 3880 = -3*n + 332550. Is o a composite number?
False
Suppose 5*k + 13*z = 17*z + 2361, 3*k - 1395 = -3*z. Is k composite?
True
Let q = 2 + 1. Is q/5 + 9004*(-1)/(-10) composite?
True
Let m = 42591 + -3050. Is m prime?
True
Let o(z) = -9*z**2 - 3*z + 4. Let r = 19 - 15. Let m be o(r). Is (m/12)/(4/(-6)) a prime number?
True
Is 41*(-1752 - 5)/(-7) prime?
False
Let d = 26396 + -2945. Is d composite?
True
Let t be (1/(8/(-1042)))/(3/(-36)). Is ((-14)/3 - -5)/(1/t) a composite number?
False
Suppose 4*w + 28927 = -0*v + 3*v, v - 4*w = 9629. Is v a prime number?
True
Let z(v) be the second derivative of -19*v**3/3 - v**2/2 + 77*v. Let r = 3 - 12. Is z(r) prime?
False
Let u = -654 - -1507. Is u a composite number?
False
Suppose -1070 = 2*q - 5*w + 2668, 0 = 5*w. Let m = 464 - q. Is m a prime number?
True
Suppose 0 = -71*r + 73*r - 14474. Is r a composite number?
False
Suppose 0 = 2*k + q - 8, -k - q = 3*k - 16. Let u(p) = -8*p**3 - 6*p**2 + 5*p + 1. Let s be u(k). Let y = 1149 + s. Is y a composite number?
True
Let h = -27 + 37. Let o(q) = 229*q + 31. Is o(h) a composite number?
True
Is (-11)/((-33)/4416) + 5 a composite number?
True
Suppose 870 = -6*l - 4272. Let b = l + 3148. Is b prime?
False
Let y(b) = 3184*b + 533. Is y(33) a prime number?
False
Let o be (-3 + 17/5)*5*179. Suppose o + 1185 = n. Is n a prime number?
True
Let g(v) = 4*v**2 - 5*v - 4*v**2 + 6*v**2 + 6 + 10*v**2. Is g(9) composite?
True
Let d(c) = c**3 - 14*c**2 + 2*c - 4. Let j be d(14). Let o = j + -19. Suppose 1163 = 5*l + m, 0 = 4*m - o*m - 2. Is l composite?
False
Suppose 0*i + 3 = i. Is (94/i)/(((-8)/102)/(-2)) prime?
False
Let q(u) = 7*u**2 + 8*u + 23. Suppose 5*r - 62 = 83. Suppose 0 = 2*p - r + 9. Is q(p) prime?
False
Let u = -14 + 125. Let o = -8 + u. Is o a prime number?
True
Let l be -1*6*(-5)/10. Suppose -2*u + 4*z + 26 = 0, -5*u - l*z + 5 = -z. Suppose u*f + 3613 = 6*f - 5*o, -3*o + 12 = 0. Is f composite?
True
Suppose 7*a = 2*a + 29705. Is a composite?
True
Let l be (-2)/(-3*3/2097). Suppose -7*i + 2*i + 3*n = 789, -791 = 5*i - 2*n. Let w = i + l. Is w a prime number?
True
Let b = -9920 - -14503. Is b a composite number?
False
Let c be (-376)/(-6)*(-15)/(-10). Suppose -88*z = -c*z + 9582. Is z prime?
True
Suppose -4*o + 2*o = u - 6783, 4*o = 3*u - 20329. Is u a prime number?
True
Let m(s) = -195*s - 13. Let f(u) = -98*u - 7. Let n(b) = 9*f(b) - 4*m(b). Is n(-1) prime?
False
Let f(y) be the first derivative of 38*y**3/3 - y**2 - y - 8. Let t(x) = x**3 - 5*x**2 + x - 6. Let w be t(5). Is f(w) a composite number?
True
Suppose 2*b - 1297 = 5803. Suppose -f = -0*f - 3, 5*f + b = 5*j. Suppose 4 = -3*i + i, -j = -p + 2*i. Is p a composite number?
False
Is (-220)/56 + 4 - (-199539)/42 a composite number?
False
Suppose -17*f + 28596 + 36361 = 0. Is f a prime number?
True
Let g(y) = 7 - 3 - 4*y + 173*y**2 + 1. Is g(2) composite?
True
Suppose v = 4*u + 1494, 11*u = 6*u - 20. Suppose -v - 2166 = -2*d. Is d a composite number?
True
Suppose 0 = -4*i - 5*i + 15237. Is i a prime number?
True
Let f be ((-1348)/(-3))/((-4)/(-6)). Suppose -556 - f = 5*u. Let k = u + 359. Is k prime?
True
Suppose 0 = 4*i + 4*a - 4868, 0*a - 5*a - 4868 = -4*i. Is i prime?
True
Suppose -4*d = -5*w - 2730 - 288, 2261 = 3*d - 5*w. Is d a composite number?
False
Is ((-5)/(-20))/((-6)/(-5064)) a prime number?
True
Let w(p) = 4*p**3 + 15*p**2 - 10*p + 18. Let j be w(12). Suppose 1941 = -9*u + j. Is u prime?
False
Let o(g) = 2*g**2 + 4*g - 197. Is o(38) a prime number?
True
Let z = 575 - -684. Is z a prime number?
True
Let i = -1 + 1. Suppose 3*l - 4 = 2*b - l, -4*b + 5*l + 7 = i. Suppose 4*f - b*f + 4*y = -1656, -1653 = -4*f + y. Is f prime?
False
Is (-1 - -5)*(-33)/88*-30698 a composite number?
True
Let g(s) = 10762*s - 85. Is g(4) composite?
True
Let g = -115286 + 202443. Is g prime?
False
Let r(z) = 39*z - 6. Let k(y) = -19*y + 3. Let l(s) = 5*k(s) + 3*r(s). Let w be l(4). Suppose -352 = -3*c - w. Is c composite?
False
Suppose -5*x = 2*n - 33479, -20650 = -3*x - 2*n - 565. Is x a composite number?
True
Let w be 2/5 + 8/(-20). Let c(r) = -r**2 + 2*r + 11. Let d be c(w). Let u(p) = p**3 - p**2 + 5*p - 6. Is u(d) composite?
False
Let v = -124 - -1113. Let h = 1710 - v. Suppose -h + 213 = -2*d + 3*a, 0 = 5*d - 4*a - 1263. Is d prime?
True
Let d be 7*5/((-35)/(-4)). Suppose -27 = -d*q - 123. Is (1784/q)/(3/(-9)) a composite number?
False
Let k(z) = 11707*z**2 + 9*z + 7. Is k(2) a prime number?
True
Let v = 201 - -3375. Let u = -2527 + v. Is u composite?
False
Let g(c) = 11*c**2 + 9*c + 11. Let l be g(-7). Suppose -l - 1262 = -3*h. Suppose y = -4*a + h, y - a + 6*a = 582. Is y prime?
True
Let j = -29 - -31. Suppose j*p - 595 = 7*p. Let i = p - -328. Is i a composite number?
True
Let n be (-1 + 1)*5/10. Suppose -q + n*q + 317 = 0. Is q a prime number?