 -m = 4*p, -5*p = i - 2*p - 2891. Is i a prime number?
True
Is 3/2 + (-7)/(-14) + 74315 a composite number?
False
Let x be 9/(12/4) + -5. Let y be ((-6)/15)/(x/15). Suppose 5*f = -15, -j + f + 809 = -y*f. Is j prime?
True
Let v(h) = -h**3 + h**2 + 1. Let n(q) = q**3 + 8*q**2 - 10*q - 18. Let l(d) = -n(d) - 2*v(d). Let j be l(11). Let r = j + -66. Is r a composite number?
False
Suppose 118*h - 2132974 = -60*h. Is h prime?
False
Let q(t) = -1330*t - 1743. Is q(-29) a prime number?
False
Is (-206908093)/(-259) + 70/1295 prime?
False
Suppose -5*f = g + 20, -19*f = 3*g - 16*f. Is (-48303)/(-45) - -1*(-2)/g prime?
False
Let c = -784763 - -1104436. Is c composite?
False
Is (9 - 6)/((-51)/(-219793)) a prime number?
False
Suppose 5*g = 3*m + 2011798, 3*g + 504791 = 3*m + 1711871. Is g composite?
False
Suppose 6*h - 2661 = 11637. Suppose w + o - h = -3*o, -5*w + 11852 = -o. Is w a prime number?
True
Suppose 12725*h + 54228 = 12729*h. Is h a prime number?
False
Let p(y) = y**2 - 3*y - 23. Suppose 3*o + 4*t = 0, o = 6*t - 2*t - 16. Let h be p(o). Suppose -2*n + 8 = 0, -h*c + 3*n + 365 = -2*n. Is c prime?
False
Let o be (-1 + 362 + -1)*5. Let q(t) = -12*t**2 - 608*t - 153. Let p be q(-49). Let z = o - p. Is z composite?
True
Let r = -7 - -12. Suppose 28*o - 8*o - 80 = 0. Suppose -276 = r*t - 6*t - 5*p, -4*p + 1024 = o*t. Is t a composite number?
False
Suppose 65279 = 26*j - 38725 + 33622. Is j a composite number?
False
Let m be -1*(-8166)/(-8) + 3/(-12). Let c = m + 439. Let p = 581 - c. Is p composite?
False
Let s(p) = 5459*p**3 + 7*p**2 + 12*p + 7. Let x(k) = -5458*k**3 - 8*k**2 - 13*k - 7. Let n(g) = -5*s(g) - 4*x(g). Is n(-1) a composite number?
True
Suppose -4*n = 6*w - 6375830, -5*w + 6463868 - 1150625 = -4*n. Is w prime?
True
Suppose h + 9*c - 2101 = 7*c, -4*h + 8425 = c. Let k = h - 374. Is k prime?
True
Let g(f) = 626*f**2 + 5*f + 1. Let q(u) = 1878*u**2 + 16*u + 2. Let h(r) = 7*g(r) - 2*q(r). Suppose -6*v = 6 - 18. Is h(v) a composite number?
True
Let l = 12640 - -4371. Is l a prime number?
True
Let d be (88/12)/(4/6). Suppose -d*g + 12145 = -4036. Is g prime?
True
Let o(i) = 14*i - 190. Let f be o(14). Is (-3494)/((-17)/f*2 + 5) prime?
False
Suppose -4*z - 140 = -4*d - 0*d, -2*d = 2*z - 66. Let t = -34 + d. Suppose -b - 4*a + 335 = t, b - 4*a - 328 = -a. Is b prime?
True
Suppose 0 = 2*c + 24 - 34. Let r(p) = -p**3 + 5*p**2 + 3*p - 12. Let b be r(c). Suppose 4*x + 682 + 243 = b*n, -5*x = -n + 312. Is n a composite number?
False
Let f be -2 - (1 + (-49)/7). Suppose 0 = 4*c - v - 30423, 0*c = -f*c - v + 30433. Is c a prime number?
True
Let n be 1*-4*(6 - (-63)/(-12)). Let a be n/(-7) + 14158/7. Suppose 364 = -3*c + a. Is c composite?
True
Let z(c) = 3 + 6 - 1 + 4*c**2 + 6*c + 5. Let w be z(-5). Suppose 5*f - w = 4*f. Is f a composite number?
False
Let p(w) be the first derivative of 1977*w**4/2 - w**2/2 - 14. Is p(1) prime?
False
Suppose 2*p - 2 = 3*a, 33 = 61*p - 58*p + 3*a. Let z = 30 + 264. Let i = z - p. Is i a prime number?
False
Suppose 27*w - 100 = -23*w. Suppose -w*u = -2*t - 33634 - 4704, -2*t = 3*u - 57487. Is u a prime number?
False
Suppose 0 = 5*v - 23 - 22. Let l be 20/(-6)*(-27)/18. Suppose -l*j = -3*n - 1283, -5*n = 4*j - v*j + 1275. Is j a prime number?
False
Is (-3)/(-11) - 25358780/(-55) a composite number?
True
Is -15 + 56390 + 208/(-13) prime?
True
Let w(c) = -c + 24. Let z be w(25). Let p be 0 - 4 - (-3 - (z - -5)). Is p*((-9)/3)/9 - -1460 a prime number?
True
Let l(j) = -j + 26. Let z be l(-29). Suppose z*v = 22*v + 160413. Is v prime?
True
Let d(z) = 4*z**3 - 2*z**2 - 12*z - 6. Let w(v) = -9*v**3 + 3*v**2 + 23*v + 12. Let k(b) = -7*d(b) - 3*w(b). Is k(-11) prime?
True
Suppose -22*y = -50 - 60. Is (y/10)/(2/15956) prime?
True
Suppose 3*s + a = 10, -s + 6*a - 2*a + 25 = 0. Suppose 0 = -s*i + 2*v + 19, -2*i - 3*i + v + 22 = 0. Suppose -i*r = -257 - 748. Is r a composite number?
True
Let p be (4 + -5)/(-1)*-1 - 3474. Let a = p - -5375. Suppose -5*h - d + a = 0, -4*h = -5*d + 704 - 2253. Is h a prime number?
False
Let j = -29 + 33. Suppose -j*a + 2092 = 4*b, 6*b = 2*b + 3*a + 2071. Suppose -6*f - b = -4*t - 2*f, 0 = -3*f - 3. Is t composite?
True
Is (-51*647)/(-1) + (-198 - -190) prime?
False
Suppose 103*h = 77*h + 1891214. Is h composite?
False
Let w(j) = 3*j - 1. Let k(r) = 8*r**2 - 14*r + 55. Let s(x) = k(x) + 2*w(x). Is s(-18) composite?
False
Let n = -297 - -293. Is ((-106)/n)/(3/42) a composite number?
True
Let o(d) = -d**3 + 6*d**2 - d - 2. Let u be o(6). Let s(n) = -97*n + 102. Is s(u) a composite number?
True
Suppose -53093 + 1757 = -9*q. Let a = -3530 + q. Is a a composite number?
True
Let b(o) = -92*o. Let t be b(-1). Let u be ((-46)/(t/(-32) - -3))/(-1). Let w = u + 1581. Is w composite?
False
Suppose 75968 = -6*m + 187675 + 108595. Is m composite?
True
Suppose -23*m + 13155 = -28*m. Let n = m - -8386. Is n a prime number?
False
Let v = -300026 - -446203. Is v a prime number?
False
Suppose n + p = 9, 5*n - 9*p + 7*p = 17. Suppose 3*u - 1843 = -2*q - 2*u, 0 = 3*q - n*u - 2752. Is q a composite number?
False
Let o = -61782 - -422287. Is o composite?
True
Suppose n - 69 = -2*n. Suppose 2*b = -n - 153. Is 1/(-4) - 20702/b a composite number?
True
Let x = 247882 + -176663. Is x a prime number?
False
Is (27*27/729)/((-2)/(-27994)) a composite number?
False
Let x(l) = 1307*l**2 - 95*l + 3915. Is x(32) prime?
False
Let d be (-28)/3*10/(70/(-21)). Suppose 0 = -12*m + 5*m + d. Suppose 6*s - m*c = s + 6045, 4*c = 20. Is s prime?
True
Suppose 18237 = -7*a - 10792. Let v = a - -12144. Is v a composite number?
True
Is 825/60*(-345820)/(-25) prime?
False
Let m = 463297 - 263376. Is m prime?
True
Let k = 6118 - 4917. Let m = -243 + 413. Suppose -3*b + k = -m. Is b a prime number?
True
Let o be 2 - ((-1027 - -6) + (-4 - -1)). Suppose 5*w - 1264 = o. Suppose 2*q + 4*r + 20 = w, -4*q + 3*r = -832. Is q a composite number?
False
Let y = 7755 - -18188. Is y a composite number?
False
Let w(n) = -237*n + 1610. Let z be w(6). Let q = -618 - -1773. Let b = q - z. Is b a prime number?
True
Let y = -111 - -365. Let l = y + 125. Let k = l - 200. Is k a prime number?
True
Let b = 26184 - 16583. Is b prime?
True
Let z(r) = 129*r + 1595. Is z(56) prime?
True
Let b = -10460 - -279404. Suppose 131974 = 14*m - b. Is m prime?
False
Suppose 9 - 30 = -3*a. Suppose -a*d + 4*d = -9. Suppose -d*m + 62 + 943 = 0. Is m a composite number?
True
Suppose 0 = -7*m + m - 285554 + 1225232. Is m prime?
False
Suppose -n + 87 = 4*k, -2*n + 3*k - 452 = -7*n. Let x(q) = -n*q + 3*q + 25*q + 2. Is x(-1) composite?
True
Let b be (-2)/(-8)*(-3 + 1)*18086. Let i = -3606 - b. Is i a composite number?
False
Let x(t) be the third derivative of -29*t**6/15 - t**5/15 - t**4/6 + t**3/3 - 15*t**2. Let n be x(-2). Suppose 5*b - n - 245 = 0. Is b a composite number?
False
Let x = -816 - -820. Suppose 2*i + 62697 = 5*s, -x*s + 8*s - 4*i = 50160. Is s a prime number?
True
Suppose -2*d + 2*v = -11 - 5, 3*v = -5*d + 16. Let a(r) = -23*r - 663. Let j be a(-29). Suppose d*k = -j*k + 1899. Is k prime?
True
Suppose 40 = -3*f + 49. Suppose -3*c + 5*c = 2*v - 3336, 0 = -f*v + 4*c + 5001. Is v a prime number?
False
Let i(w) = 7*w**2 - 8*w - 18. Let h(v) = 7*v**2 - 11*v - 17. Let b(j) = -3*h(j) + 4*i(j). Is b(5) prime?
False
Let b(h) = -8 - 4*h**2 + 0 - 10 + 5*h**2 + 4*h. Let r be b(8). Suppose -6*y + 468 = r. Is y prime?
False
Suppose -i + 5 = -3*k, 5*i + 2*k - 14 = 6*k. Suppose -p = 2*q - 7*q + i, p + q + 8 = 0. Is (7/p)/((-2)/332) prime?
False
Let m(h) = -5*h + 29. Suppose -9*j = 1 - 55. Let w be m(j). Is 1 + 49 - ((2 - w) + -6) composite?
False
Let z = 2676488 + -1867387. Is z composite?
False
Is (-6331)/(-6)*(54 + -48) a prime number?
False
Let v be (-5 + 0)*(-10 + 5 + 4). Suppose 8*f - 13*f = v*z - 198540, 2*z = 5*f - 198505. Is f composite?
False
Suppose 938 = t + 3*d, 2*t - 7*d + 4*d - 1867 = 0. Suppose 2*j + 0*j = 5*u + 374, 5*j - 2*u - t = 0. Is j a composite number?
True
Is (-12)/(-528)*1932403*4 a composite number?
False
Let x(k) = -3*k**2 - 6*k. Let m be x(3). Let d = -42 - m. Suppose g = -d*y + 495, -1509 = 2*g - 5*g + 3*y. Is g a composite number?
True
Let h(b) = 215*b**2 - 63*b + 1785. Is h(22) composite?
False
Suppose -1 = -2*p - x, 7 - 2 = -x. Suppose -2*q = 4*d - 686, -2*q