 a prime number?
True
Let w = -35 + 33. Is 7183/15 - (112/60 + w) prime?
True
Is (-291704)/(-21) - (238/(-42))/17 a prime number?
False
Let y(s) = -2196*s + 341. Is y(-30) a composite number?
False
Suppose 0 = -l + 6, 16*q - 1457118 = l + 1956812. Is q prime?
False
Let z = -39451 - -76352. Is z prime?
True
Let o = 1896294 + -1002163. Is o prime?
False
Let f(g) = 2213*g**2 - 273*g + 1651. Is f(6) composite?
True
Let p be (0 - (0 - 1))/((-5)/(-20)). Suppose p*m - 22201 + 4069 = 0. Is m composite?
True
Let i = -43 - -71. Suppose 20 = -2*d + i. Suppose -20 = d*k, -7*g = -2*g + 2*k - 385. Is g prime?
True
Let r = 2373449 + -1418052. Is r a composite number?
True
Suppose 46*a - 12062889 = -175260 + 6570101. Is a prime?
False
Is 2059/58 + -36 + (-300159)/(-2) a prime number?
False
Suppose -2*x + 5 = -3. Suppose -j - 2*n = 4*j - 17455, -3*n + 13964 = x*j. Is j a composite number?
False
Let s(o) be the second derivative of 29*o**3/2 - 37*o**2/2 + 24*o. Let n be s(5). Suppose n + 239 = 2*p + 5*l, -4*l = -3*p + 1013. Is p composite?
False
Is (-9)/6*1869861/252*-8 composite?
False
Let m(h) = -3*h - 19. Suppose 3*w - 96 = 15*w. Let r be m(w). Suppose -r*f = -183 - 707. Is f composite?
True
Let q(r) = r**2 - 6*r - 7. Let t be q(7). Let z be t/4*(0 - -1). Let k(y) = y**2 - y + 447. Is k(z) composite?
True
Let k be (-20)/(-1 + (-3)/(-5)). Suppose -246 = k*w - 53*w. Suppose w*t + 1465 = 87*t. Is t prime?
True
Suppose -3*y + 6*n = 5*n - 1556, -2*y - 2*n = -1032. Let o = 160 + -337. Let w = y + o. Is w a composite number?
True
Suppose 0 = -4*j + 3*g - 23, j + 8 = -14*g + 17*g. Let v(s) = 131*s**2 + 11*s + 1. Is v(j) composite?
False
Let r = 17731 + -8649. Suppose 0 = h + 4*o - 9091, 2*h + o - r = h. Is h a composite number?
True
Suppose s + 2*r + 122 = 4*s, 0 = -r + 5. Let a = s + -42. Suppose -4*p = -0*p - a*l - 6634, -5*p = 4*l - 8273. Is p prime?
True
Let v be (-36)/(-27) + 17621/3. Suppose 4*d - 6*l + 7*l - v = 0, -2*l = 2. Is d composite?
True
Let j(b) = 1689*b**2 + 31*b + 533. Is j(-19) a composite number?
False
Let u(w) be the first derivative of -w**4/4 - 7*w**3 + 24*w**2 + 33*w + 144. Is u(-25) prime?
False
Let a = 96 - 60. Let u = a + -143. Let i = u + 1380. Is i composite?
True
Let i(y) = 17*y**2 - 2*y + 7. Let m = 135 - 64. Suppose -6*z - 1 - m = 0. Is i(z) prime?
False
Let t(z) = 11*z**2 + 43*z + 7. Suppose -4*p = -q + 76, -5*p = -2*p + 3*q + 42. Is t(p) composite?
False
Let b be 1/7 + -7 + (-384)/(-56). Suppose 38685 = 3*r - 0*r. Suppose 2*y - m - 5158 = b, -5*y - 8*m = -3*m - r. Is y composite?
False
Suppose 0 = -131*a + 8*a - 7*a + 15384590. Is a a composite number?
False
Let q(u) = 3707*u**2 - 9*u - 9. Let d be (-25 + -5)/(-5) + -7. Is q(d) a prime number?
False
Suppose 2*z - 406154 = -m, 2*z + 2*m = -0*z + 406160. Is z prime?
False
Let v = 297 - 472. Let b be ((-105)/v)/(1/5). Is (b - -2) + (-172)/(-2) a prime number?
False
Let a(g) = -g**2 + 19*g - 13. Let k be a(18). Suppose k + 7 = 3*o. Suppose o*b - j - 3953 = 0, 3*b + 2*b - 4954 = -3*j. Is b a prime number?
False
Let v = -16 - 131. Let y = v + 4888. Is y prime?
False
Is ((-3)/4*(-205062264)/(-1485))/(2/(-5)) composite?
False
Let a(s) be the second derivative of -3*s**4/4 + 8*s**3/3 - 3*s**2/2 + 5*s. Let g(p) = -26*p**2 + 48*p - 10. Let k(i) = 17*a(i) - 6*g(i). Is k(16) prime?
True
Let n be (2*-52 + -2)/(2/(-9)). Suppose n = 35*x - 26*x. Is x prime?
True
Let r be (-30)/(-8)*8/3. Suppose -5*d = 5*h - 115900, 14*d - r*d - 2*h - 92750 = 0. Is d a composite number?
True
Suppose 17*j = 1703194 + 37555. Is j prime?
True
Let w(z) = z**3 + 9*z**2 + 11*z + 3. Let o be -2 + (-88)/14 - (-6)/21. Let d be w(o). Is (-2)/6 + (-13636)/d a composite number?
True
Suppose 3*b - 11 = 1, -k + 4*b = 16. Suppose k = -2*m - 2606 + 178. Let g = m - -1699. Is g prime?
False
Suppose -k + 600974 = -244742 + 275214. Is k prime?
False
Let h be 0 + (1 - (5 + -7)). Suppose 2*p - h*c = -2*p + 6952, 0 = -5*c + 20. Is p a composite number?
False
Let r = -100 + 109. Let b(g) = 7*g - r*g + 33*g + 7*g + 15. Is b(4) a prime number?
True
Suppose -20*z = -15*z - 15. Suppose z*a - 1144 = 1613. Suppose -909 = -2*l + 5*y, 2*l - a = y + 2*y. Is l prime?
True
Let w(s) = 428*s - 2. Let m be w(-4). Let a(x) = 3457*x**3 - 4*x + 2. Let i be a(1). Let p = m + i. Is p prime?
True
Let a = 900401 - 533614. Is a a prime number?
True
Let q(d) = -d + 14. Let f be q(12). Let v = 10 - f. Is 52/v*(0 - -41)*2 composite?
True
Suppose -13*y = n - 8*y - 210728, -4*y = -2*n + 421554. Is n a composite number?
True
Suppose -489412 = -20*g + 557808. Is g composite?
False
Let u = 22216 - -111025. Is u a prime number?
True
Let k = -156 - -533. Suppose 17*h = 15*h + 326. Let z = k - h. Is z a composite number?
True
Let c = -54177 - -98180. Is c composite?
True
Let s(t) = t**3 - 91*t**2 + 169*t + 344. Is s(117) a composite number?
True
Suppose 349948 = 3*g - 2*u - 1177, 585206 = 5*g - 3*u. Is g a prime number?
True
Let u be (-14)/2*(-40)/20. Let y = u - 16. Is (4422/(-12) + 3)*y prime?
False
Suppose -373 = -4*c - 3*s + 420798, 4*s = -2*c + 210598. Is c composite?
True
Suppose 13168 = i + 5*v - v, -3*i = 3*v - 39486. Suppose 32*d - 37*d = -i. Suppose -2258 - d = -6*f. Is f a composite number?
True
Let x(k) be the second derivative of -4*k**3/3 + 44*k. Let h be x(0). Suppose b - 631 + 108 = h. Is b a composite number?
False
Let w = -463 - -456. Is w/28 + 5 + (-1617)/(-4) composite?
False
Let s(d) = 8117*d**2 - 293*d + 2117. Is s(7) a composite number?
False
Let r be (-24)/2*(-1 + 2/3). Suppose -2*f = 2 - 10, -5*z = r*f - 186. Suppose 0 = 3*c - 107 - z. Is c composite?
False
Let v(g) = -623*g**2 - 10*g - 10. Let t be v(-1). Let i = t - -6292. Is i a prime number?
True
Let k(l) = -18*l + 9. Let n be k(-8). Suppose 31*v - n = 28*v. Is v prime?
False
Let o(p) = 16*p + 189. Let x(v) = -v**2 + 3*v + 34. Let m be x(0). Is o(m) composite?
False
Suppose n = -88 + 2965. Suppose 0 = 2*l - n - 4965. Is l prime?
False
Let j be (62/(-93))/((-2)/(-72)). Is 16392/j*(0 - 1) prime?
True
Let t(v) = v**2 + 2*v + 1. Let n be t(-2). Let b be (3/(-9))/(n/18). Is -1 + (-1984)/b + (-4)/6 a composite number?
True
Suppose -x + 1001 = -633. Suppose -14*g + x = 5*g. Is g a prime number?
False
Suppose 5*k - 1983 = 1992. Let s(c) = 43*c**3 + 3*c**2 - 5*c + 2. Let h be s(2). Suppose -9*v = -h - k. Is v composite?
False
Suppose -3*u + 19 = -4*f, -2*f - 3 = 22*u - 17*u. Is 4786/(-4 + (1 - (-5)/u)) composite?
False
Let b be -8007*12/(-36)*1*-29. Is 2*((-3)/21 - b/14) a composite number?
False
Let q = -130 + 105. Let g = q + 30. Suppose -3*x + 767 = g*o, 2*x = -0*x + o + 507. Is x a prime number?
False
Let y(w) = 185*w**2 + 211*w - 6721. Is y(37) composite?
True
Is (10/50)/(34/21160070) a composite number?
False
Suppose -5*j - 227748 = -2*r - 4*j, 0 = -r + 4*j + 113874. Is (-3 - -1)/(10 - 1138752/r) a composite number?
False
Suppose -6*t + 28260 + 116298 = 0. Suppose -24844 - t = -7*o. Is o a prime number?
True
Suppose 14*z - 1399791 = 140391. Is z prime?
False
Suppose 1970*m + 2*r + 48859 = 1975*m, 2*m - r = 19545. Is m a composite number?
False
Is 664500 + (-6)/(-6) + -18 prime?
False
Suppose -22*q - 35*q = -7445511. Is q a prime number?
False
Suppose 2*s + 27 = 23, -s = -2*j + 46632. Is j composite?
True
Suppose -h = -4*d - 30, 2*d = -h - d + 2. Is (234650/h - 2) + (-16)/(-56) a composite number?
False
Let l(h) = -h**2 + 4*h + 1071. Let w be l(0). Let d = w - 267. Suppose -k + 4*r + 355 + d = 0, 5*k + 4*r = 5819. Is k a composite number?
False
Suppose -27*w = -20*w + 14. Is w/11 - (-46266)/242 composite?
False
Let n(m) = m**3 + 20*m**2 + 21*m + 30. Let s be n(-19). Is ((-11810)/(-8))/((-2)/s) composite?
True
Let w(b) = -4*b**2 + 2*b + 9. Let q(d) = -3*d**2 + 3*d + 9. Let h(z) = 5*q(z) - 4*w(z). Let x be h(-7). Suppose -x*o + 13*o - 580 = 0. Is o a composite number?
True
Let j(t) be the second derivative of -5*t**3/6 + 6*t**2 - 29*t. Let l be j(2). Suppose 4*c - m - 1647 = 0, -l*m = -3*m + 5. Is c a composite number?
True
Let v be (592/(-6) + 2)*54/(-15). Suppose 4*x - 6888 = -v. Suppose 3*k - 4230 = -x. Is k composite?
True
Is (2343917/2)/((-1)/(-4) - (-19)/76) prime?
True
Let a(w) = -2*w**3 + 11*w**2 - 8*w + 13. Let n be a(5). Let r(v) = 1701*v**2 - 4*v - 7. Is r(n) a prime number?
False
S