p prime?
True
Let u = -37261 + 112410. Is u a composite number?
False
Suppose 2*l + 5*l = 0. Suppose l = 18*q - 284 - 60646. Is q a composite number?
True
Suppose 5*z + 285 = 305. Suppose z*f - 9*f = 0. Suppose f = 3*r + 5*r - 11272. Is r composite?
False
Let w be -8*1/(-4) + 3. Suppose 2*t - w*g - 1708 = t, -2*g = t - 1687. Is t prime?
True
Let s(m) = 7*m**3 + 4*m**2 + 10*m + 110. Is s(21) a prime number?
False
Suppose 0 = -34*h + 8*h + 677170. Suppose -5*i + 10*i - h = 0. Is i prime?
True
Let g = 8 + 13. Suppose 0 = 2*y - g + 151. Let k = 1236 + y. Is k composite?
False
Suppose 1 = -5*z - 4, -632 = 3*w - z. Suppose 0 = 711*k - 714*k + 1206. Let m = w + k. Is m prime?
True
Let p(j) = j**3 - 12*j**2 + 35*j + 5. Let o be p(7). Suppose -3*y + w + 4109 = 5*w, -10 = -o*w. Is y prime?
True
Let q(j) = 8*j**2 + 18*j - 85. Let s = 24 + -10. Is q(s) a prime number?
False
Let g = -89 + 195. Is 265/g - (-10821)/2 a composite number?
False
Let l(n) = 626*n**2 - 7*n - 17. Is l(10) composite?
True
Let w(t) = -t**2 + 5*t + 3. Let y be w(6). Suppose 0 = -3*o + f + 13 - 12, 3*o = -3*f + 9. Is (o/y)/(2/(-14154)) prime?
False
Let n(a) = a**3 + 9*a**2 + 7*a - 5. Let o be n(-8). Suppose 7173 = -o*i + 12*i. Is i prime?
True
Suppose 7*u - 1417767 = c, 9*c + 32 = 5*c. Is u a prime number?
False
Let t(x) = 259*x - 582. Is t(25) prime?
False
Let n(q) = 2*q - 9. Let d be n(6). Suppose d*u = -3*x - 44031, 3*x + 20 = 7*x. Is 1/(-3) - u/9 composite?
True
Let x = 281080 + -103407. Is x prime?
False
Let d(p) = p**3 + 7*p**2 - 16*p - 46. Let m be d(-8). Suppose -8*a + m*a = 30670. Is a composite?
False
Is (-5)/((-825)/30) - (-9741750)/22 a prime number?
True
Let y(r) = 1275*r**3 - 6*r**2 + 7*r + 1. Is y(3) a prime number?
False
Suppose -17*g = -3*g - 1047802. Is g a prime number?
True
Let f(l) = 49*l**2 - 26*l - 18 + 10*l - 28. Is f(-5) a prime number?
True
Let w = 129 - 126. Is ((-2)/(2/7621))/(w + -4) prime?
True
Suppose -3*t - 3*v = -12342, 4*v - 6045 = -t - 1916. Is t prime?
False
Let u = -509 - -497. Is -2*6/u - -4662 composite?
False
Let p(d) = -41*d**3 + d**2 + d + 12. Let j(b) = -40*b**3 - b**2 + b + 11. Let f(q) = -2*j(q) + 3*p(q). Is f(-3) a composite number?
False
Suppose -q - 3*p = -75734, -q - 17010 + 92749 = -2*p. Is q prime?
False
Let f(y) = -6444*y**2 + y - 4. Let r(k) = -2148*k**2 - 4*k - 1. Let b(j) = j. Let p(x) = 4*b(x) + r(x). Let a(n) = 2*f(n) - 7*p(n). Is a(1) a composite number?
True
Suppose 123*z - 119*z - 20 = 0. Suppose z*k = 4553 + 4342. Is k a composite number?
True
Let i(v) = 2854*v - 4297. Is i(17) composite?
False
Suppose 4*g - q - 5 = 2*g, 4*g - 5*q - 7 = 0. Suppose 7808 - 3105 = o - 5*c, g*c = 2*o - 9406. Is o a prime number?
True
Is (11620/16 - -3)*12 - 4 prime?
True
Suppose -41*f - 31*f - 9*f = -1128411. Is f a composite number?
False
Let k(r) = -18*r**2 - 1 - 2*r**3 + 0 + 3*r + r**3. Suppose -38 = 2*c - 51*q + 50*q, 4*q = -16. Is k(c) prime?
True
Let k(y) = y**2 + 7*y - 10. Let c be k(-9). Is (-4632)/(-4) + (0 - c - -4) composite?
True
Let y(a) = 1147 + 0*a + 1542 + 1097 + 3*a - a**2. Let k be y(0). Suppose -8*j + 2*j + k = 0. Is j prime?
True
Is ((-23966)/184)/((-1)/1268) composite?
True
Let s(c) = -c**3 + 17*c**2 - 43*c - 43. Let y be s(24). Let l = -144 - y. Is l composite?
True
Is (-27136182)/(-136) - (-4 + 45/12) composite?
True
Suppose 31*c = 725262 - 220148. Is c prime?
False
Let w = -68 - -72. Suppose 0 = -7*h + w*h + 3705. Suppose 3*o = r - h, 543 - 1770 = -r - o. Is r prime?
True
Suppose 306242 = -156*l + 4573310. Is l prime?
False
Let x(h) = -86*h**2 + 14*h - 28. Let b be x(-13). Let g = -6764 - b. Let f = -5645 + g. Is f prime?
False
Let v(g) = -6997*g**2 + 13*g - 7. Let j(a) = 34984*a**2 - 68*a + 36. Let k(l) = -2*j(l) - 11*v(l). Is k(1) composite?
False
Suppose -l + 4*x = -572403, 5*l - 44*x + 48*x = 2861919. Is l a composite number?
False
Suppose 5*i + 5*l - 1006925 = 0, 5*i - 5*l = -413236 + 1420201. Is i prime?
True
Let f be ((-8)/3 + 5)*-3. Let b(h) = -h**3 - 10*h**2 - 31*h + 19. Is b(f) a prime number?
True
Suppose -68 - 94 = -3*y. Let r = y + -54. Suppose -590 = -2*z + d, -z - 3*d - 56 + 351 = r. Is z composite?
True
Suppose -41*g = -54*g + 83681. Is g composite?
True
Let v be -2*(3946/(-4) + (-12 - -16)). Let h = v - 400. Is h a prime number?
False
Let n(r) = -32130*r**3 + 2*r**2 + 4*r + 3. Let o be n(-1). Suppose -27*v + o = -4*v. Is v a prime number?
False
Is -3 + 31534 - 0/(-2) a composite number?
False
Is 1863921480/612*(-3)/(-10) a prime number?
True
Let h be (1/((-24)/54))/(2*15/(-8720)). Let p be 417/2 + 1/2. Let u = h + p. Is u a prime number?
True
Let u(h) be the first derivative of -h**7/840 - 2*h**6/45 - h**5/20 + h**4/24 - 11*h**3/3 - 30. Let q(c) be the third derivative of u(c). Is q(-16) prime?
True
Let z = -11 - -14. Suppose -5*q - z*h + 15250 = 0, 2*q = -6*h + 5*h + 6099. Is q a composite number?
True
Let m(c) = 115*c**2 - 4*c + 5. Let b be m(-10). Suppose 0 = -5*o - 4*s + b, 16*o - 17*o + 2309 = -2*s. Is o a prime number?
True
Let s be 18/(-81) - 331/9. Let v = s + 42. Suppose v*x = 3953 + 312. Is x composite?
False
Let g = 224982 - 100413. Is ((-8)/(-6))/(1 - 124557/g) composite?
False
Is 2/(((-28463424)/(-258758))/11 - 10) composite?
False
Let b = -149082 - -349853. Is b prime?
True
Let y(p) = 5300*p**2 + 26*p + 263. Is y(-9) a composite number?
False
Suppose 21379 = 4*z - 22369. Is z prime?
True
Suppose f + 0*w + 5*w - 6395 = 0, 4*f - 3*w = 25672. Suppose -2*t = 3*t - f. Is t composite?
False
Let g be (-57490)/30 + (-15)/9. Let o = g - -3549. Is o prime?
False
Let l = -83299 - -138588. Is l prime?
False
Suppose 8*r - 11*r = -75. Suppose -3*p - r*k + 366 = -20*k, 2*p - 257 = k. Is p prime?
True
Let a be (2/(4 - (-36)/(-10)))/1. Suppose a = v + 9. Is 5118/v*(1 + (-15)/9) prime?
True
Let t(a) = 18*a**3 + a**2 - a - 1. Let v(c) = -c**2 - 2*c. Let m(r) = -5*r**2 - 11*r - 3. Let w(k) = -m(k) + 6*v(k). Let s be w(0). Is t(s) prime?
True
Suppose -26*k = -16*k - 1140. Suppose -31*h + 29*h = -k. Is h composite?
True
Let l(i) = 747*i - 2503. Is l(88) a composite number?
True
Suppose -1104 = -5*a + 2*s, -766 = -3*a + 3*s - 109. Let k(p) = -119*p**3 - 3*p + 3. Let m be k(1). Let i = a + m. Is i a prime number?
True
Let l(r) = 1559*r**2 + 42*r + 287. Is l(-6) prime?
False
Suppose -819249 = -44*z - 32*z + 1531355. Is z prime?
False
Let a be (-3)/((-1 - -2)/1). Is (5 + (-9 - a))*-2554 a prime number?
False
Suppose -y = -1534 - 5616. Suppose 5*p - y = s + 2*p, 3*s + 5*p = -21464. Let u = s - -11120. Is u composite?
False
Let l be 3837 - 0 - 5*(-8)/10. Let k = 7674 - l. Is k composite?
False
Suppose 3*m - 2*m = 5. Suppose m*d = 9*d - k - 50603, 2*d + 3*k - 25305 = 0. Is d a composite number?
True
Let m(z) = 2*z**3 - 24*z**2 + 11*z - 9. Let g be m(11). Is (-13)/(g/(-4)) + 10614/10 a composite number?
False
Let f(i) = 25*i**2 + 22*i - 72. Let d(t) = -38*t**2 - 33*t + 107. Let s(y) = -5*d(y) - 7*f(y). Is s(13) prime?
True
Suppose -6935 = 3*s - 4*g, -2*s - 5*g = 4691 - 83. Let n = s + 7582. Is n a prime number?
True
Let q(f) = -558*f + 193. Is q(-25) composite?
False
Suppose 2*l = 2*q - 7300, -3*l + 5*q - 8169 = 2791. Let k = -6351 - l. Let s = 3857 + k. Is s prime?
True
Let j(p) = -p**3 + 14*p - 8*p**2 + 2*p**3 - 4 - 6*p. Let k be j(7). Suppose -5189 = -5*n - k*y, n - 2*n = -5*y - 1049. Is n a composite number?
False
Suppose 171*v - 5290029 = 90*v. Is v prime?
True
Suppose 9 = 3*u - 15. Let d(c) = -9*c + 20*c**2 + u*c - 8*c - c - 4. Is d(5) a composite number?
True
Let s(c) = 184*c**3 - 12*c**2 + 18*c - 7. Is s(9) a composite number?
False
Let y = -707 - -7174. Is y prime?
False
Suppose -19*i = -33*i - 204162. Is -4*6/(-8)*i/(-9) composite?
False
Suppose -27*m + 304892 = -20*m - 1120021. Is m a prime number?
False
Let t = 131 - 136. Is -2 - (t - -3)*2 - -491 composite?
True
Is 70390/8*(-60)/(-150)*2 composite?
False
Suppose 3*m + 6 = -3*b, 2*m + 7 + 6 = b. Suppose 5*x + 5*f + 5 = 0, -5*x = -b*f - 15 - 20. Suppose 2*v = x*w + 2286, -w + 4 = -0*w. Is v prime?
True
Let z be 19785/10 + 1/2. Let n = -1118 + z. Is (1 + -18)*n/(-21) prime?
False
Let p(m) = 492*m**3 + 39*m - 19. Is p(6) composite?
False
Suppose -2*t + 64 = 3*s, 3*t - 61 = -4*s + 35. Let r(n) = 641*n - 41. Is r(t) a prime number?
False
Suppose -2*r - 4*l - 