010, 4*v = 7*v + 4*m - 4189. Let c = j - v. Is c a composite number?
False
Suppose 3*p - 15896 = -413. Suppose -a + p = x + a, a + 15504 = 3*x. Is x composite?
False
Suppose -9*c = 30*c - 23*c - 4798128. Is c composite?
True
Let g(z) = z**3 - 6*z**2 + 19*z - 44. Is g(5) prime?
False
Let h(y) = 57*y - 7. Suppose -2*t + 2*p = -p - 27, -5*t = -5*p - 70. Suppose 3*g + 3 - t = 0. Is h(g) a prime number?
False
Let f = 2163 - 1525. Let b = f + -145. Is b a prime number?
False
Let b = 35 - 32. Suppose -b*n + 16751 = -658. Is n prime?
False
Suppose 172*a - 70114423 = -6276617 + 9033950. Is a a prime number?
False
Let w = 42 + -40. Suppose w*h - 9 = 5*b, -3*b - h + 2*h - 5 = 0. Let i(l) = 2309*l**2 + 2*l + 2. Is i(b) composite?
False
Suppose 5*o - 52 = -3*v - 17, 5*v + 7 = o. Is (-1)/(o/21) - -548 a prime number?
False
Let x(r) = 1539*r**2 - 3*r - 7. Let d be x(3). Let u = d + -7676. Is u composite?
True
Suppose 0 = 39*h - 8064535 - 4027142. Is h a prime number?
True
Suppose k = 5 - 6, -k = 10*s - 10298979. Is s a composite number?
True
Let s(h) = -2*h**2 + h - 1. Let d(j) = 14*j**2 - 15*j - 59. Let y(u) = d(u) + 2*s(u). Is y(-12) prime?
False
Let o be 1/2*((-24)/(-6) + -4). Suppose o = 3*v + 2492 - 9101. Is v a prime number?
True
Let d(g) be the second derivative of -g**3 + 1/2*g**2 + 6/5*g**5 + 36*g + 1/2*g**4 + 0. Is d(3) composite?
True
Let v(c) = -196*c - 141. Let o = -501 + 498. Is v(o) composite?
True
Let f(w) = 18. Let i(v) = -v - 18. Let a(l) = 2*f(l) + 3*i(l). Let r be a(-7). Is 293/(r + 10/(-4)) a composite number?
True
Let y = 28 + -26. Suppose -2*z = y*k - 3322, 0 = 2*z + z + 2*k - 4985. Let d = -444 + z. Is d prime?
False
Suppose -5*p - 37631 = 4*i, 20*i + 4*p = 21*i + 9392. Is i/(-7) + 117/(-273) a composite number?
True
Let f = 234 + -236. Let r(y) = -y**2. Let s(z) = -278*z**3 + 5*z + 1. Let i(w) = -3*r(w) + s(w). Is i(f) a composite number?
True
Let d be (-7 + 4)/((-6)/4). Let y(r) = r + 1. Let s be y(1). Suppose 4*f + 5*b - 601 = s*f, 6 = d*b. Is f a prime number?
True
Suppose -53439 - 954371 = -10*f. Is f composite?
True
Suppose -84*a = -82*a - 10044. Let p = 9095 - a. Is p a prime number?
True
Suppose -2*a + 35 = 5*m, -4*a + 5*m - 2 = 3. Suppose 2*p - 7*p + 146 = 3*j, a*j - 198 = 3*p. Let v = 839 - j. Is v a prime number?
True
Let s = 599633 + -391966. Is s a composite number?
True
Suppose 5*d + d = 6. Is 6/(-24)*d*(-4893 + 1) prime?
True
Suppose -4*j + 3013 = -375. Suppose -3*u = -q - 507, q = u + 4*u - j. Suppose -1722 = -4*s + u. Is s a composite number?
True
Suppose 20*p - 673 = -53. Suppose -4*k - p*k + 145565 = 0. Is k a composite number?
False
Is (-3)/1 + 3093948/(198/11) prime?
False
Suppose -43*k + 111820 = -1260697. Is k composite?
True
Let l(i) = i**2 + 2*i. Let c be l(4). Suppose 0 = 29*q - c*q - 220. Is 34372/q - (-2)/(-11) composite?
True
Let k(o) = 58*o**3 - 4*o**2 + 23*o - 823. Is k(28) a prime number?
True
Let w = 90 + -84. Suppose 2*j = w, -266 - 157 = -3*m + 5*j. Is m - 4/12*15 a composite number?
True
Let n(s) = -6162*s + 69. Let q be n(-2). Suppose 2*c + 0*g + 5*g = q, g + 5 = 0. Is c composite?
True
Let n(i) = i**3 - 7*i**2 + 11*i - 9. Let b(p) = -p**3 - 4*p**2 + 12*p + 5. Let h be b(-6). Let j be n(h). Let o(y) = y**3 + 3*y**2 - 6*y + 1. Is o(j) composite?
True
Suppose 2*q + 4*b + 282540 = 2257586, 0 = q + 6*b - 987503. Is q prime?
True
Suppose 121*q - 11293 = 4991694. Is q a prime number?
False
Let g be ((-4)/(-6))/(22/363 + 0). Suppose -10572 - 20987 = -g*m. Is m prime?
False
Suppose 26*j - 6983041 = -108563. Is j a composite number?
False
Let k(p) = 427*p**3 + p**2 - 6*p - 7. Let u be k(-3). Let b = 16890 + u. Is b a prime number?
True
Let r be -2 - (-10)/8 - (-805)/(-20). Let z = r - -44. Suppose -6*b + 6989 = 5*y - 2*b, -z*y - 2*b = -4193. Is y prime?
False
Suppose 325660 = 2391*n - 2371*n. Is n a composite number?
True
Suppose -2*u = -10, -2*u - 69977 = -3*r + 3*u. Suppose 3324 = -30*k + r. Is k a prime number?
False
Suppose 720504 = 38*q + 34*q. Is q a composite number?
False
Suppose -11 = -3*f - 3*l + 55, -4*l - 74 = -5*f. Suppose -2*y - f = -0*c - 2*c, 0 = -3*y + c - 25. Let o(h) = -23*h - 15. Is o(y) prime?
False
Let k(s) be the third derivative of s**6/120 - 7*s**5/60 + 4*s**4/3 - 47*s**3/6 - 2*s**2 + 29. Is k(20) a prime number?
False
Suppose 30958655 = -7*c + 20*c + 78*c. Is c composite?
True
Is 131457/58*602/21 a composite number?
True
Let m(s) = s**3 - 8*s**2 - 6. Suppose o + 10*o = 88. Let k be m(o). Let l(i) = -219*i + 1. Is l(k) a composite number?
True
Let t(k) = 1772*k**2 + 9*k + 44. Is t(-7) a prime number?
False
Let n = -3269 + 6132. Suppose v - 713 = -4*a, 0*v - 4*v - 5*a = -n. Is v prime?
False
Let i(m) = 6*m + 318. Let y be i(0). Suppose -4*w + 2*w + y = 0. Is w composite?
True
Let i(r) = 11160*r - 1. Let o(t) = 3720*t - 1. Let j(x) = 4*i(x) - 11*o(x). Is j(2) prime?
False
Suppose 450*j - 1580840 = 410*j. Is j prime?
True
Let a(p) = 2*p**3 - 16*p**2 + 13*p - 16. Let s(f) = -f + 7. Let q be s(-4). Let i be a(q). Suppose -15*c = -14*c - i. Is c composite?
False
Suppose -4*a + 7*a = 6. Suppose 3*t - 4359 = r, -t + a*r + 1453 = 4*r. Suppose q = b + 489, 3*q + 4*b + 0*b = t. Is q composite?
False
Suppose -5*x = 2*j - 15057 + 2055, 3*x - 7814 = 2*j. Suppose o - x = 4849. Is o a composite number?
False
Let n = 21652 + -3506. Suppose 5*z - 62739 = n. Is z prime?
False
Let z(n) = -n**3 - 24*n**2 + 4*n + 56. Let y be z(-24). Let w = y - -40. Is (w + 1)*(4 + (50 - -5)) composite?
False
Let c be 8/6*(-237087)/(-54). Let m = c - 2401. Is m prime?
False
Let q = 270 + -269. Is (q - -2)/(12 + -15) + 13064 prime?
True
Let n = 255979 + 17384. Is n a composite number?
True
Suppose -27*g = 38688 - 127423 - 27554. Is g a prime number?
False
Let i be ((-45)/75)/((-2)/10). Suppose -3*l - 5158 + 1357 = -2*r, i*r - 2*l = 5709. Suppose -2*s = -4*s + 3*w + 1274, 3*w + r = 3*s. Is s a prime number?
True
Let b(t) = 221*t + 56. Let s be b(17). Suppose p + 5*c - s = 0, -18973 = -5*p - 5*c + 3*c. Is p prime?
True
Let k be -2*40/16*-1. Suppose 11782 + 27728 = k*j - p, j = p + 7906. Is j composite?
False
Let m(q) = q**3 + 8*q**2 + 5*q - 9. Let g be m(-7). Suppose -g*r - 4491 = -2*u - 1245, 5*r = -u + 1623. Suppose -5*x + u = -2*x. Is x a prime number?
True
Suppose 12*j - 2702 = -28694. Let m = j + 3235. Is m composite?
False
Let g be (-4 + (-5)/5)*-1. Suppose 20 - 120 = -g*l. Suppose 3*n - 4*b - l = -n, n + b = 9. Is n a prime number?
True
Suppose -5*p = 0, -4*s = 5*p - 1388130 + 188374. Is s prime?
False
Let a = 24817 - 17148. Is a composite?
False
Let j = 44 - 38. Suppose -4*x - 6 = -2*x - a, 3*a = j. Is (-1)/(x*2/84) a prime number?
False
Let n(f) = 2856*f**2 - 4*f - 3. Let r be 2/(-9) - (2 + 22/(-18)). Is n(r) a prime number?
True
Let w(c) = -c**3 + c + 467. Let q(m) = m**3 + 9*m**2 + 11*m - 9. Let i be q(-7). Let t = i - 12. Is w(t) composite?
False
Let g = -31242 + 32435. Is g prime?
True
Let r = -1127 + 1723. Suppose y - r = -117. Is y composite?
False
Let w(k) = 3*k**3 - k**2 - 7*k - 19. Suppose -5*q + 3*z + 34 = 0, -4*q + 14 = -q - 5*z. Is w(q) a prime number?
False
Let o(b) = 20*b**2 - 48*b - 5195. Is o(87) a composite number?
True
Let o = 14566 - -5005. Suppose 5*x - o = -4*s, -4*s = -0*x + 2*x - 19562. Is s a prime number?
True
Let f(y) = 729*y**2 - 2. Is f(-11) prime?
False
Suppose -3*d = 3*t - 206277, -3*d = -11186*t + 11182*t - 206333. Is d a composite number?
False
Suppose 12 = 4*s - 3*t + 6*t, 2*t - 8 = 5*s. Suppose s*z - 11084 = -34*z. Is z a prime number?
False
Let x(o) = 146*o. Let n be x(20). Let y = -2034 + n. Suppose -q + y = q - 5*l, 4*q = 3*l + 1772. Is q prime?
True
Suppose 0 = 324*h + 123*h - 26122233. Is h prime?
True
Suppose 114 = 5*h - 2*h. Let z = 57 - h. Suppose 18 + z = v. Is v a prime number?
True
Suppose 31*p - 32*p = 4*w - 1943647, -p = -8*w - 1943623. Is p a prime number?
True
Let z(d) = 10*d**2 + 33*d - 57. Let o be z(21). Suppose -o = 210*g - 216*g. Is g composite?
True
Let h(x) = 355*x**2 + 16*x - 705*x**2 + 353*x**2 - 243. Is h(20) a prime number?
True
Let c(p) = p**2 + 7*p + 8. Let x be c(-4). Let n be 6/x - (-7)/(-14). Is (n - (2 - 3))*-179 a composite number?
False
Let y = 668 + -604. Suppose q = -q + 36812. Suppose q = 10*a - y. Is a a composite number?
False
Let q(k) =