 prime number?
True
Suppose 5*t + 6 = 21, -4*w + t + 53161 = 0. Suppose w = m + 2*l, -10*m + 4*l + 39873 = -7*m. Is m a prime number?
True
Let b(s) be the third derivative of s**6/60 - 2*s**5/15 + 5*s**4/12 - s**3 - 8*s**2 - 4*s. Let r = 8 + -3. Is b(r) composite?
True
Let k(f) = 6*f + 32. Let z be k(-5). Is (-1 - -8143 - (z + -5)) + 2 a prime number?
True
Let z(d) = -d**3 + 3*d**2 - 7*d - 1. Suppose 6*j = -4*j + 140. Suppose -6*y + y - j = -2*h, 17 = -5*y + h. Is z(y) a prime number?
True
Let p = -309 + 313. Is 382*(70/p + -9) composite?
True
Let l(t) = -6*t - 48. Let d be l(-7). Let r be (d/(2*-9))/((-1)/(-18)). Suppose 0 = r*w - 10505 - 6097. Is w composite?
False
Suppose -3*f = -k + 13, 5*k = -6*f + 2*f + 8. Suppose -7708 = -3*j - 2092. Suppose -4*o - 4*y = -j, -y - 9 = -k*o + 1868. Is o a prime number?
False
Let c = -112972 - -174095. Is c a prime number?
False
Let c(i) = -5274*i + 1607. Is c(-23) a prime number?
False
Let x(h) = 212*h**3 - 9*h**2 - 9*h + 9. Is x(7) prime?
True
Let h(b) = 5*b - 6. Let c be h(-7). Let q = c + 46. Suppose -3*v - 4*y + 9*y + 32 = 0, 16 = -v - q*y. Is v composite?
True
Suppose 5*v - 3*w + 3911 = 0, -4*w + 1509 = -5*v - 2404. Let z = v - -1568. Is z a prime number?
True
Let h = -42648 - -68605. Is h a composite number?
True
Let t(v) = 3*v - 7. Let r(w) = -18*w + 42. Let q(i) = -6*r(i) - 34*t(i). Let l be q(3). Suppose 9654 = 5*n - 4*g - 6469, 12902 = l*n - 5*g. Is n a prime number?
False
Let x = -194777 - -275400. Is x prime?
False
Let h(v) = 3*v - 4. Let z be h(0). Is 0 + (-2082)/z + 23/46 composite?
False
Let h = 69485 - 12930. Is h composite?
True
Let l(j) = j**2 - 8*j - 6. Let u be l(9). Let h(r) = -2231*r - 13. Let z be h(u). Let m = -4653 - z. Is m prime?
True
Let s be 1 + 0 + 4/(-4). Let p be (-6 + 4)/((-4)/2020). Suppose -h = -2*y + p, s = 3*y - 2*y + h - 505. Is y composite?
True
Suppose -129 = -16*v + 511. Suppose -v*k + 48*k = 2032. Is k a prime number?
False
Let t(c) = 19*c**3 + 16*c**2 - 50*c - 35. Let w(d) = -9*d**3 - 8*d**2 + 25*d + 17. Let j(p) = -4*t(p) - 9*w(p). Is j(12) a composite number?
False
Suppose -9*n + 4*m = -12*n + 45371, -30246 = -2*n - 2*m. Is n prime?
True
Let n be (-9 + -6 - -13)*(-10)/4. Let y = 3032 + -1781. Suppose 0*k - 5*k + 773 = 3*q, y = n*q - k. Is q a composite number?
False
Let a(j) = 87*j + 143. Let h(m) = -m**3 + 23*m**2 - 22*m + 12. Let c be h(22). Is a(c) prime?
True
Let g = 80 - 75. Suppose 11170 = -4*q + 9*q - g*l, 0 = 2*q + 2*l - 4480. Is q a prime number?
True
Suppose 91*h - 86*h = 2*x - 289992, -10 = -5*h. Is x composite?
True
Let i = -347 - -705. Let l be 3 + 3/1 + -2. Suppose 0 = l*m - 3918 - i. Is m prime?
True
Suppose -50*h + 7*h + 35575437 = -20341978. Is h a prime number?
False
Suppose -b + 31 = 5*h, -2*h + 2*b - b = -18. Let f = h + -7. Let j(p) = 2*p + 419. Is j(f) a prime number?
True
Suppose 5*o + 28 = 8. Let v(y) = -2*y**2 - 2*y - 5. Let u(b) = -3*b**2 - 2*b - 5. Let p(x) = -5*u(x) + 6*v(x). Is p(o) prime?
False
Suppose 2*d + y = 31, 4*y = -4*d + 7*y + 87. Let q(p) = p - 15. Let u be q(d). Suppose n - 327 - 962 = -4*b, u*n = -2*b + 637. Is b prime?
False
Let x(u) = -8*u**3 + u**2 + u - 1. Let k be x(-1). Suppose -5*h = 2*s - 34999, 14000 = -5*h + k*h + s. Is h prime?
False
Let j = 311 + -303. Suppose 16*r - 2*p = 19*r - 24419, -4*p = j. Is r a composite number?
True
Let l(k) = -k**3 + 12*k**2 + 5*k - 21. Suppose c + m = -2*m + 14, -5*c + 4*m = -108. Suppose 24*n + c = 28*n. Is l(n) a composite number?
False
Suppose -25*v = -19*v + 2058. Let z = -180 - v. Is z a composite number?
False
Let j = -4454 - -8871. Suppose -j = -30*f + 29*f. Is f prime?
False
Let d(o) = 640*o + 77. Let u be d(7). Let i = u + -2398. Is i a composite number?
True
Suppose m + 2*m = -2*z - 20, 3*m - 2*z = -16. Is (-20)/12 - 1276/m composite?
False
Let j be 7 - (28/(-4 - 0) - -6). Suppose j*v = -32691 + 285707. Is v a composite number?
False
Suppose -41*h + 294888 = -271363. Is h prime?
False
Suppose 156720 = -8993*u + 9009*u. Suppose 0 = -2*j + 2 + 6. Suppose -x = 2*c + j*x - 6518, u = 3*c + 3*x. Is c a prime number?
False
Let u(p) = -17*p**3 - 13*p**2 - p - 15. Let l(q) = 17*q**3 + 13*q**2 + q + 16. Let y(a) = 4*l(a) + 5*u(a). Is y(-6) a composite number?
True
Suppose 0 = 5*b + 2*a - 46, -9*b + 8*b + 6 = 2*a. Suppose -b*i = -3*i - 30863. Is i a composite number?
False
Let p(a) = 2538*a - 19. Suppose -3*o + 6 = -6. Is p(o) a prime number?
True
Suppose 27*m - 26*m + x - 31915 = 0, 12 = -3*x. Is m composite?
True
Suppose 136*a - 158*a = -88. Suppose 0 = -r + a*i + 3783, -r + 5*i = 4*r - 18900. Is r a composite number?
False
Let z = 17 - -12. Let x(v) = -49 + 20*v + 10 - z*v + 17*v. Is x(12) a prime number?
False
Let z(r) = -r**3 + 2*r**2 - 9*r + 22. Let q be z(2). Let i = 6 - 2. Suppose q*t - 780 = -i*c, -4*c + 3*t + 752 = -0*c. Is c composite?
False
Suppose 3504869 - 10192539 = -110*o. Is o a prime number?
False
Suppose -7 + 127 = -2*b. Is 6630/b*(-4*1)/2 prime?
False
Let t = 57 - 49. Is 1/(12/11943)*t/3 a composite number?
True
Let j(l) = -5*l**2 - 36*l - 9. Let w be j(-7). Let i(k) = 5*k + 10. Let a be i(w). Is 484 - 3 - (0 + a) composite?
True
Let k = -37976 - -22278. Let q = 6591 - k. Is q a prime number?
False
Let h be (3 - 90/14)/(2/(-7)). Let i(l) = -12 + 12*l + 27 + 6*l**2 - h. Is i(16) a prime number?
False
Let y(v) = -229*v - 58. Let d be y(21). Let a = d - -7330. Is a a composite number?
True
Let c(b) = 2*b - 30. Let q be c(14). Let l be (-12)/(-10)*(-10)/q. Suppose -749 = -l*d + 5*d. Is d a composite number?
True
Let m(f) = -32*f - 69. Let z be m(-17). Let v = z - 381. Is v composite?
True
Let k(g) = 32*g**2 + 616579. Is k(0) prime?
True
Suppose 14*i + 71 = 57. Is 2*((-39141)/(-4) - i/4) prime?
True
Let f be (-10)/4 + 217/14. Let q = -3 - f. Is 14/q*2*-116 prime?
False
Let v(y) = 1177*y**2 - 8*y - 9. Let x be v(-1). Let i = 19031 - x. Is i a composite number?
True
Suppose -4*a + 640547 = 3*v, -4*a - 164*v + 640544 = -160*v. Is a a composite number?
True
Let p be (5 + -2)*(1/1 - 2). Let z(h) = 624*h**2 - 4*h - 5. Is z(p) a prime number?
True
Let n be (-52)/(-6)*(-6)/2. Let i be (-201)/(-2) + (-34)/(-68). Let l = i - n. Is l a prime number?
True
Suppose -15*r + 36 = -18*r. Is -194*(-2 - 20) - r/4 a composite number?
False
Let x(p) = -8679*p - 2564. Is x(-29) a composite number?
False
Let o(y) = -89*y + 99*y + 175*y. Let v be o(-2). Is -1*(v/(-5))/(-2) a composite number?
False
Let f(y) = 2*y**3 - 68*y**2 - 228*y + 753. Is f(77) a composite number?
True
Is 1007202*1/9 + 10/6 a composite number?
False
Suppose -4*t = -7 + 11. Let x(d) = 40*d + 7. Let j be x(t). Is (j/(-4) + 2)/(9/108) a prime number?
False
Suppose -4*k - k + 50 = 0. Let a = -251 - 134. Is (a/25)/((-2)/k) a composite number?
True
Let h(w) = -6464*w - 1757. Is h(-6) composite?
True
Let u be 918/81 + 4/6. Suppose u = 4*n + 24, t - 790 = n. Is t prime?
True
Let r = -126 + 122. Let m(x) = -6536*x - 147. Is m(r) a prime number?
True
Suppose -2*a = 261 - 241. Let q(d) = -605*d + 71. Is q(a) composite?
False
Let l = 2182 + -1201. Suppose 1837 + l = 2*n - q, -3*n + 3*q = -4227. Is n a prime number?
True
Let r = -6572 + 3590. Let w be 2/(-3)*r/28. Let y = w + -34. Is y a composite number?
False
Let c be (-5)/10 - (-1)/2. Suppose -5*k = 3*n - 18218, -4*n - 7282 = -2*k - c*n. Is k a composite number?
False
Let n(h) = 2388*h**3 + h. Let r(l) = -4*l + 17. Let j be r(4). Let p be n(j). Let s = 3602 - p. Is s composite?
False
Let o(p) = 101*p**2 + 32*p + 106. Is o(-13) a prime number?
True
Let s(a) = 5465*a**2 - 24*a - 101. Is s(-6) composite?
True
Let i(x) = x**2 + 5*x + 10. Let h be i(5). Let p = h + 378. Is 9/18*(p - 2) composite?
True
Let c be 90/54*24/10. Suppose -9*r + 2705 = -c*r. Is r composite?
False
Let a = 110 - 112. Is 12/8*a + 10482/3 a composite number?
False
Let i(h) = 22*h**3 + 10*h**2 - 15*h + 231. Is i(10) composite?
False
Let v = 21255 - 13740. Suppose 7*m - v = 1298. Is m composite?
False
Let p = -116 - -105. Let d(b) = -161*b - 114. Is d(p) composite?
False
Suppose -196811 = -15*u + 753394. Is u a composite number?
False
Let c(a) be the third derivative of -2*a**6/3 - a**4/12 - a**3/2 - 7*a**2. Let s = 231 - 233. Is c(s) composite?
False
Let u(z) = 20*z**3 + 15*z**2 + z - 11. Let v be u(6). Supp