. Suppose -4*v = -5*r - 35, 0*v - v + s*r + 20 = 0. Suppose -4380 = -5*c + v*i - 0*i, -3*i = 2*c - 1757. Is c prime?
True
Let n = 309 - 307. Suppose -17*z - n*z = -68305. Is z prime?
False
Suppose 0 = -5*p - 3*s + 55092, -5*s + 3*s - 2 = 0. Let a = p - 3650. Is a composite?
False
Suppose 5*f + 7335 = k, 26*k - 31*k + 36588 = 4*f. Let u = 20587 - k. Is u a composite number?
False
Suppose 2*j - 3*v - 310733 = 0, -214*v + 216*v = 4*j - 621478. Is j composite?
False
Let i(y) = y**3 - y - 6. Let z be i(4). Suppose -11673 = -z*w + 45*w. Is w composite?
False
Let r = -68769 - -125002. Is r a prime number?
False
Is (24 + -50)/((-9409)/(-3137) + -3) a composite number?
True
Suppose -27*p + 18*p = 202896. Is (14/4)/((168/p)/(-21)) a composite number?
True
Let d(q) = -1102*q + 42. Let t be d(4). Is t*(-4)/8 - (6 - 4) a prime number?
False
Let j = -64610 - -150147. Is j a prime number?
False
Is 105679886/162 + 36/1458 a prime number?
False
Let v = 9974 - 5113. Is v composite?
False
Suppose -7*v - 6 = -83. Suppose 0 = -v*m - 4*m + 27345. Is m a prime number?
True
Suppose 0 = b - 5*q - 40, 7*q - 4*q = -4*b + 183. Let u = b - 45. Suppose u = 3*o, -s - 3734 = -3*s + 4*o. Is s a prime number?
True
Let y(b) = -29 + 1038*b**2 - 13*b - 15 + 32. Is y(-1) prime?
True
Suppose 26514 = 5*u - 4*z - 65947, -z = -1. Is u composite?
False
Let l(q) = -q**3 + 26*q**2 + 36*q - 56. Let s = -80 + 107. Let x be l(s). Let w = x - 134. Is w prime?
True
Suppose -48712137 = -238*d - 86*d + 399863595. Is d prime?
False
Let a be (-26)/7 + 4 + 26/7. Suppose -4*f - 3*y = 10 - 28, -f + 11 = a*y. Suppose -r = -f*r + 4034. Is r a composite number?
False
Suppose -4331 = -8*v - 1339. Let h = 785 - v. Suppose 2*u - 2*o - 166 = 0, 5*u + 4*o = 8*o + h. Is u a prime number?
True
Let j(g) = 765*g**2 - 2*g - 7. Let u(z) = -1532*z**2 + 3*z + 12. Let o(i) = -5*j(i) - 3*u(i). Is o(9) composite?
False
Let v be 50/(7 - 2) + -1. Suppose 0*y = 4*y - v*y. Is (y + 113)/(1 + 0/(-1)) prime?
True
Let x = 2014 - -9337. Is x composite?
False
Suppose -153*q + 159*q + 90 = 0. Is 30/(-225) + (-11987)/q a composite number?
True
Let m = -94024 - -166997. Is m prime?
True
Is ((-56)/21 + 3)*411429 composite?
False
Suppose -7247653 = -22*g + 2181283. Suppose -22*q + 87510 + g = 0. Is q a prime number?
True
Let y(f) = 122*f - 29. Let a(d) = 2*d - 7. Let n(p) = 4*a(p) - y(p). Suppose 3*v - 18 = 6*v. Is n(v) a prime number?
False
Let j be (-28)/154 - (-1 - (-18)/22). Let s be 0 + -4*(-2 + 1). Suppose j*t - 1040 = -4*t + s*q, -q = 5*t - 1282. Is t a prime number?
True
Let l(v) = 129*v**2 + 14*v - 7. Let f be ((-19)/(380/15))/((-1)/(-8)). Is l(f) a composite number?
True
Let k be 15/5 + (9977 - 0). Let f be 1*2*k/40. Suppose 0 = -2*b - f + 1985. Is b a composite number?
False
Let u be 48070/15 - (-2)/6. Suppose 0 = -6*w + u + 11399. Suppose w = 13*r + 497. Is r a prime number?
True
Let a = 211 - 192. Is 7375 - ((7 - 0) + a/(-19)) a composite number?
False
Let l be ((-14)/7 - 0)*-2. Suppose -l*f + 4*a = a - 394, -2*a + 384 = 4*f. Is f a prime number?
True
Let x = 0 - 29. Let g = x - -33. Suppose -4*c - g*a + 1308 = 0, 4*c + a = 905 + 415. Is c a prime number?
True
Let m = -28937 + 59290. Is m a composite number?
True
Is (2980233 - -1)/(-51 + 53) composite?
False
Let t = 680664 - 437015. Is t composite?
True
Let o(p) = -p**2 + 4*p + 41. Let x be o(-8). Is (2/(-1))/10 - 117106/x composite?
False
Suppose -b - 40811 = -5*n, 3*b - 16123 - 24704 = -5*n. Suppose -8*p + n = p. Is p a prime number?
True
Let b(j) = j**3 - 11*j**2 - 28*j + 4. Let d be b(-13). Let g = 7805 + d. Is g composite?
True
Suppose 0 = -3*y + 6*y - 525. Let v(g) = 31*g**2 + 68*g + 37. Let b be v(-5). Let o = b + y. Is o a composite number?
False
Let x = 82971 + 87818. Is x a composite number?
True
Let k be -24*(8 - 29616/18). Let w = k + -18069. Is w a prime number?
True
Suppose -56*m - 170 = -57*m. Suppose 681 = q + m. Is q composite?
True
Let j = 33104 - 21634. Let p = -5505 + j. Suppose -3*t = 5*d + t - p, 3*t = -d + 1204. Is d a prime number?
False
Let m = -79 + 82. Suppose t = 5*w + 2, 0 = 5*t - m*t + 5*w - 79. Is 10/45 + 3 + 28560/t a prime number?
True
Let a(w) = -3621*w - 20. Is a(-3) composite?
True
Let a be 60/(-6)*(-4)/8. Suppose -2*t - 3*t = 5*s - 1820, -a*t - 10 = 0. Let i = s - 155. Is i composite?
False
Let x(o) = -642*o**3 + 3*o**2 - 31*o - 281. Is x(-9) prime?
False
Let j be ((-2)/10 - 112/(-35)) + -7. Let t(f) = -420*f + 1. Let b be t(j). Suppose -5*m + b = 426. Is m prime?
True
Let y(p) = 61370*p**2 + 188*p - 385. Is y(2) a composite number?
False
Let x = -72611 + 50984. Let r be x/(-6) + (-5)/(-10). Let o = -2092 + r. Is o a composite number?
True
Suppose 0 = 3*h + 6*h - 45. Suppose h*t - 3 = -2*z - 21, 0 = -5*z + 4*t + 21. Is (12 - 8)/(z + (-125)/127) prime?
False
Suppose -5*x + s = -s - 21, -3 = -5*x - 4*s. Suppose 0 = 2*c - 5*v + 1762, c - 1762 = x*c - 4*v. Let o = c + 2980. Is o prime?
True
Let w = 37 - 32. Let p be (-1 - -3) + (7 - w). Suppose 0*f + p*f = 3*j - 885, 0 = -4*f. Is j composite?
True
Suppose -12*d + 3453293 = 5*x - 16*d, 2*x - 1381292 = -2*d. Is x a composite number?
True
Let k be (-510)/(-119)*21*1. Suppose k*g + 192 = 87*g. Let i = g - -83. Is i composite?
False
Suppose 9*r + 177315 = -297030. Is r/(-70) - (-2)/28 a composite number?
True
Is 1*9543/15*1130*(-19)/(-38) prime?
False
Let p(c) = 14*c**3 - 3*c**2 - c - 65. Is p(7) a prime number?
True
Let w(m) = -6359*m + 1455. Is w(-112) prime?
True
Let p(h) = 184*h**2 - 9*h + 8. Suppose -f + 21 = 4*t + 7, 5*t + f - 18 = 0. Suppose -g + t = 1. Is p(g) prime?
True
Is (350215/(-10))/(42/(-84)) prime?
False
Let w be ((-144)/6)/12 - (-1 - -9377). Let t = w + 16151. Is t a composite number?
True
Let a = 2352 + -1621. Is a composite?
True
Suppose 874*g - 871*g - 2116929 = 0. Is g prime?
True
Suppose -i = -2 - 2. Let u be (14/21)/(i/(-3))*4. Is (u/2 + -13)*5348/(-56) a composite number?
True
Suppose 798511 = -3320*t + 3327*t. Is t a composite number?
False
Let v = 152 + -152. Is (7 - v) + 133906/41 prime?
False
Let y(r) = 10429*r**2 + 46*r - 52. Is y(5) composite?
True
Is -1 + -3 - ((-10)/5 + -12939) prime?
False
Let v(w) be the first derivative of 1771*w**3/3 - 7*w**2/2 + 41*w - 90. Is v(3) prime?
True
Is (1 - 5)*32638802/(-56) composite?
True
Let z = 477091 + -302922. Is z a composite number?
False
Let i be (32274/45)/(2/20). Suppose 3*f - 2*y = i, 2*y + 3*y + 4763 = 2*f. Suppose -2*o = -0*o - j - f, o - 5*j = 1188. Is o prime?
False
Let o(f) be the second derivative of -f**5/20 - 17*f**4/12 - 47*f**3/6 - 11*f**2/2 - 166*f. Is o(-14) a prime number?
True
Suppose -3*j - 13 = -40. Let d(w) be the first derivative of 13*w**3/3 + 9*w**2/2 - 11*w - 1. Is d(j) prime?
True
Let h(j) be the first derivative of -1/2*j**2 + 29 - 3*j + 34*j**3. Is h(-2) a prime number?
False
Let a(o) be the third derivative of 19*o**5/30 - o**4/6 - 7*o**3/6 - 10*o**2. Let l be a(-3). Suppose 7*u - 1236 = -l. Is u a prime number?
True
Let z = 5641 - -21786. Is z composite?
False
Let n(h) = -8*h**2 - 7*h + 6. Let x be n(-12). Let i = x + 3036. Let c = i + 383. Is c a composite number?
False
Suppose 6*n - 53918 + 1663 = -5*w, -n - 3*w = -8720. Is n a prime number?
False
Let u = -488 - -484. Is (-8 - -6)*u/(-16)*-662 prime?
True
Let l(g) = g**3 + 4*g**2 - 12*g - 6. Let n be l(-6). Let a(s) = -352*s - 13. Is a(n) prime?
True
Let b(t) = 4939*t**2 - 50*t - 100. Is b(-9) prime?
True
Suppose 0 = 2*a - 3*v + 138, -3*v - 7 - 359 = 5*a. Is ((-934)/(-4) + 0)/(a/(-144)) prime?
True
Let r(m) = 4*m**2 + 189*m + 70. Is r(13) prime?
True
Let c(r) = -552*r - 2. Let t(a) = -276*a - 1. Let n(o) = -4*c(o) + 9*t(o). Let d be n(-1). Suppose 119 = k - 5*p - d, 5 = -5*p. Is k a prime number?
True
Let f(x) = 44*x - 10. Let n be f(3). Suppose -2*p - 12 = -v - n, -12 = -3*v. Suppose -4*k - 4*i + 173 = -k, p = k + 2*i. Is k prime?
True
Let y(r) = r**3 - 3*r**2 + 5*r - 2. Let a be y(2). Is 469*2*a/8 prime?
False
Suppose 0 = 4*n - 0*y - 2*y - 22, y - 14 = -3*n. Suppose -n*h + 0*t + t + 1888 = 0, -4*t - 1143 = -3*h. Let w = -234 + h. Is w a prime number?
False
Suppose 65*m + 43*m = 7849116. Is m a prime number?
False
Suppose 0 = -2*j, 10*o - 1364079 = 7*o - 4*j + 6*j. Is o composite?
True
Is (404984895/126)/5 - 1*3/18 a prime number?
Tr