. Is m prime?
True
Is 39140925/(-45)*(-3)/5 composite?
False
Is (-899)/(-62)*(2593 + 1) prime?
False
Suppose 35*r + 3 = -3*d + 30*r, 2*r = -6. Is (-6914)/(-3)*(18/d)/3 composite?
False
Let h(k) be the first derivative of 20*k**2 + 17 + 4 - 7*k**2 - 31*k + 14. Is h(13) prime?
True
Let m = 74 - 74. Suppose 4*g + 3*z - 879 = 0, -10*z + 5*z + 25 = m. Let n = g + 1567. Is n composite?
False
Let j = 805356 + -396757. Is j a composite number?
True
Suppose 5*s - b - 1678107 = 426142, -5*s - 5*b + 2104285 = 0. Is s prime?
True
Suppose -5*r + 4*f = -43334, -8671 = -12*r + 11*r + 5*f. Suppose -2*l + 576 = -r. Is l a prime number?
True
Let g(l) = 51*l**2 - 27*l - 9. Let x be g(-18). Suppose x = 35*b - 26*b. Is b a composite number?
False
Suppose -3*t - 6 = -18. Is 5 + 714948/91 - t/7 composite?
True
Let s be (-1)/(16/24)*(-16)/(-6). Is 12381*((-15)/(-18)*-2 - s) prime?
False
Is (11 - -1767347) + -4 + (-1 - -2) composite?
True
Suppose -2*y = -3*x - 98720, 74*y - 3*x = 73*y + 49357. Is y composite?
False
Suppose -5*s + 5*k + 273 = 23, 2*k - 4 = 0. Suppose s*l - 49*l - 30717 = 0. Is l a prime number?
False
Let q(n) = 109*n**2 + 9. Suppose 0 = -0*l + 4*l - 16. Is q(l) a composite number?
False
Let y(f) = f**3 - 6*f**2 - 15*f - 10. Let w be y(8). Let a be ((-6)/2 - w)/((-1)/60293). Suppose -5*z - 4*q + 36171 = -2*z, 0 = -5*z - 4*q + a. Is z prime?
False
Suppose -4*v - 868 = -4*a - 60, -5*a + 1016 = v. Let t(c) = -282*c + 4 - 6 + a*c. Is t(-16) a prime number?
False
Let b(p) be the first derivative of -16*p + 8/3*p**3 + p**2 - 1/4*p**4 - 10. Is b(7) composite?
False
Let n(h) = -31 + 316*h - 75 - 445*h - 606*h. Is n(-7) a composite number?
False
Let o(k) = k**3 + 2521. Let v be 8/(-24) - 2*(-2)/12. Is o(v) prime?
True
Suppose -77 = 6*u + 7. Let h = u - 0. Let m(j) = -59*j + 27. Is m(h) a prime number?
True
Is ((-4)/(-2) - (-61 + 70))/(5/(-121685)) composite?
True
Let z(h) = 394*h - 15. Let j be z(3). Let p = 542 + j. Is p a prime number?
True
Suppose 0 = 3*w - 5*b - 297 + 2903, -b = -3*w - 2614. Let y = 1714 + w. Is y prime?
False
Suppose 8*s - 17592 = -0*s. Suppose 4*r - 5*y + 608 = s, -r - 2*y = -388. Is r composite?
True
Let v(m) = 18*m + 7. Let q(i) = i**3 + 8*i**2 - 3*i - 10. Let l be q(-8). Let w = -10 + l. Is v(w) a composite number?
False
Suppose 30*h + 361431 = 93*h. Is h prime?
True
Let f(c) = 1688*c**2 - 109*c - 139. Is f(8) prime?
True
Let p be (2 - 2)/(4 + -3). Suppose p*b = 2*b - 13548. Suppose 0 = 5*i - b - 1341. Is i a composite number?
True
Suppose 0 = -18*y + 19*y + 13. Let o(k) = k + 17. Let m be o(y). Suppose -2*j + m*z = -2218, -2*j + z - 1020 = -3223. Is j a prime number?
False
Let a = 82 + -84. Is -2 - -3 - (a + 614)/(-2) prime?
True
Let f(i) = -4*i + 18. Let n be f(4). Let d be (n + 2)*(25/(-10))/(-5). Suppose -2*c - 2*b + 15 = -1241, 0 = -5*c + d*b + 3161. Is c composite?
False
Suppose -7276 = -6*g - 352. Let z = 600 + g. Is z prime?
False
Let b = 727 + -440. Let h(o) = -2*o**2 + 6*o - 10. Let u be h(8). Let m = b - u. Is m composite?
True
Let h = -1565985 + 2758274. Is h prime?
False
Let o be 90/36*48/10. Let c(u) = u**2 - 11*u - 10. Let g be c(o). Suppose -4*d + 32 = t - 2*d, 0 = t - g*d - 20. Is t composite?
True
Suppose 3*u = -3*s + 541440, 2*s = -u + 417774 - 56809. Is s composite?
True
Let b(h) be the third derivative of 5*h**5/6 + 13*h**4/24 + h**3 - 39*h**2. Let v be b(5). Let t = 448 + v. Is t prime?
False
Let j(f) = -f**3 + 6*f**2 - 6*f + 8. Let m be j(-6). Suppose -4*q = 4*d - 584 - m, -779 = -3*q + d. Let l = q + -62. Is l a composite number?
False
Let f be ((-6)/7)/(110/(-28) + 4). Let x be 556/6 - 4/f. Let p = x + 286. Is p a composite number?
False
Let h = -13 - -17. Let w be (-23)/(-7) - h/14. Is 4/(-12) + 3 + 2383/w a composite number?
False
Let i = 1200 + -378. Suppose -22*x + 19*x + i = 0. Is x prime?
False
Suppose -2*d = 5*n - 56953, -4*n + 27333 = -5*d - 18269. Is n composite?
False
Let x be (1 - (-167068)/(-8))*(9 + -15). Suppose 0*n + 5*c - 83530 = -2*n, -3*n + 5*c = -x. Is n composite?
True
Suppose 949 = 4*p + 9. Let o(h) = -2*h**3 + h**2 - 2*h + 6. Let j be o(4). Let b = j + p. Is b composite?
True
Let w(m) = -558498*m - 12745. Is w(-10) prime?
False
Let l be 6/2 - (10 - -489580). Let g = 250215 + l. Is (-8)/10 - g/140 a composite number?
False
Suppose 0 = -4*h - 2*l - 6, -3*h - l = -5*h + 3. Suppose h = 5*y + 3 - 13. Suppose 0 = -y*m - 2*m + 4876. Is m a composite number?
True
Suppose 0 = g - 2*n - 1, 34*n = 3*g + 33*n - 13. Is 0 - g/((-35)/88571) a composite number?
False
Let k = -16812 + 35146. Suppose 5*w - 18322 = -7*p + 3*p, w + k = 4*p. Is p prime?
True
Let c be ((-3342)/(-9))/((-2)/(-12)). Suppose 5*s + 0*s = -4*i + 2231, -4*s + c = 4*i. Let k = i + -73. Is k a prime number?
False
Let p(s) = -3*s**3 - 12*s**2 - 12*s - 11. Let f be p(-8). Let v = 5533 + -3901. Let q = v - f. Is q composite?
True
Suppose -k + 2*r + 49015 = 0, 28*k + 2*r + 147033 = 31*k. Is k prime?
True
Suppose -294070 = 17*b - 52*b. Is b*(-15)/(-20)*(-4)/(-6) composite?
False
Let d(k) be the second derivative of 11*k**6/40 - k**4/4 + k**3/3 + k**2/2 + 18*k. Let l(i) be the first derivative of d(i). Is l(2) a composite number?
True
Let b(k) = 5*k**3 - 3*k**2 + 2*k + 7. Let f be b(-5). Let i = f + 500. Let s = -129 - i. Is s a prime number?
False
Let h(i) = -i**3 - 7*i**2 - 2*i + 11. Let n be h(-6). Let a = 17 + n. Is (2/a)/(((-18)/(-3))/5316) a prime number?
True
Let v(h) be the third derivative of -h**6/120 + 29*h**5/60 + 3*h**3/2 - 27*h**2. Let x be v(29). Suppose x*r - 11*r = -290. Is r a prime number?
False
Is (263733/(-9))/(((-272)/168)/34) a composite number?
True
Suppose 5*x = 3*v + 174534 + 68086, 4*x - 3*v - 194096 = 0. Suppose -5*q = -3*i - 6*q + 29106, 5*i = 3*q + x. Is i composite?
True
Let j(n) = -n**3 + 2*n**2 - 3*n - 9. Let g be j(-2). Let d(k) = 40*k + 31. Is d(g) a composite number?
True
Let a = 0 + -23. Let o = -23 - a. Is o + 9074/10 - (-4)/(-10) a prime number?
True
Suppose -27663288 = -149*f + 32881223. Is f a prime number?
True
Suppose 17*q - 19*q + 1592 = 0. Is (-8)/(-16)*(0 + q) a prime number?
False
Let b(y) = 1504*y**3 + 20*y**2 - 65*y - 41. Is b(6) composite?
False
Let i(z) = 75*z - 7. Let c be 1 + (-6 - -2) + -2. Let y be i(c). Is (-2 - 3)*y/2 composite?
True
Let p(h) = -274*h + 1187. Is p(-93) prime?
True
Let g = 620 - 636. Let b(m) be the second derivative of -13*m**3/6 - 17*m**2/2 + 2*m. Is b(g) composite?
False
Let o be 1*-7*-1 + 3150/(-450). Suppose -50 = -5*q - 3*m, 5*q + 0*m + m - 40 = 0. Suppose q*u - 6671 = -o*u. Is u a composite number?
False
Let n(f) = 3*f - 45. Suppose -x + 47 = 3*c, 0 = 2*c - 4*x - 36. Let r be n(c). Suppose 2*y + 6 = 0, r*i - 1293 - 585 = -5*y. Is i composite?
False
Let c(r) = -562*r**2 - 13*r + 59. Let n(p) = -1124*p**2 - 27*p + 118. Let l(s) = 5*c(s) - 3*n(s). Is l(4) composite?
True
Suppose -10*w + 6 = 6. Suppose w = 8*y - 45967 - 19209. Is y a composite number?
False
Suppose -120*l + 5013 = -121*l. Let d = l + 8120. Is d composite?
True
Let z(p) = -13 - 9 + 68*p + 1. Suppose -u + 1 = k, -4*k + 5*k - 5*u - 19 = 0. Is z(k) composite?
False
Suppose 2*y = 5*k + 4590, -2*y + 4634 = -9*k + 15*k. Is y prime?
False
Let j = 3854 - 2753. Suppose -f + 3606 = -5*z, 6 = -2*f - 2. Let i = j + z. Is i prime?
True
Suppose 633*l - 574*l = 13215941. Is l a composite number?
False
Let c = 4 - -5. Let k(o) = -26*o - c*o - 34 + 32. Is k(-21) composite?
False
Let o = 3 - 1. Let p be (-31565)/(-7) + 62/(-217). Suppose -y - 4*y = 4*w - p, 1803 = o*y + w. Is y prime?
False
Let u(t) = -t**2 + 23*t - 26. Let j be u(21). Suppose j*r + 41653 = 134117. Is r a composite number?
False
Suppose -9 = -y + 2*n, -4*y + 4 + 5 = n. Suppose 2*b = -3*q + y*b + 35, -5*q = b - 61. Is ((-1)/(-3))/(q/7164) a composite number?
False
Suppose 0 = 4*p - m - 27 - 7, -3*p = 3*m - 33. Suppose -556 = 5*l - p*l. Suppose -3*w + l = 37. Is w composite?
True
Let m = 408684 + -228703. Is m a prime number?
True
Let o(t) = -4*t**3 + t**2 - t - 1. Let a be o(-1). Suppose a*u - u = -2*z - 2, 0 = 4*u + 4*z - 4. Is 1 - (1 + u) - (-243 + 6) a prime number?
True
Let x(a) = 21504*a + 221. Is x(7) composite?
True
Suppose 3*j - 4199200 = 19*j. Is (-13)/(910/j) + 2/(-7) composite?
True
Let d = -12 - -6. Let u(q) = -127 - 659*q + 180 - 50. Is 