 s = 419 - n. Is s a composite number?
True
Suppose 0 = i - 1457 - 4206. Is i composite?
True
Let r be 2*3/(-9)*1074. Is (r/4 + 0)*-2 prime?
False
Is 17002/((84/16 + -5)*8) prime?
True
Let n(c) = 295*c - 222. Is n(23) a composite number?
False
Let z be ((-16)/(-12))/((-2)/(-3)). Suppose -z*y + 3*y = 0. Suppose -b - 5*g + 79 = 0, -4*g - 292 = -4*b - y*b. Is b a composite number?
True
Suppose -2*z + 2394 = -3*g, -4*z = 3*g - 2671 - 2081. Is z prime?
False
Suppose -26811 = -i - l, -4*i = -0*i + 5*l - 107248. Is i a composite number?
True
Suppose 2*c + 10 = 3*i, -c + i = 4*i - 4. Let r be ((2 - 38)/3)/c. Suppose -r*j + 125 = -337. Is j prime?
False
Suppose l - 372 = 4115. Is l composite?
True
Suppose 4*s - s - 41897 = 2*k, -s - 2*k = -13955. Is s a composite number?
False
Suppose -25*u - 142 = -26*u. Let a = 11 + 4. Let q = u - a. Is q composite?
False
Let z be 4/10 + 943/5. Let f be (-9)/(27/(-6)) - -3. Suppose -f*s = -z - 1316. Is s composite?
True
Let a be (4 - 5)/(-1) - -3. Suppose 14*o - 13*o = a. Suppose 14 = 2*c + 3*w + w, 3*c - o*w = 51. Is c a prime number?
True
Suppose -5*z + 3*l - 6058 = 0, l + 711 = -5*z - 5343. Let x = -762 - z. Is x a prime number?
True
Is -2 - (-18678 + (4 - -2)) - 3 composite?
True
Suppose 0 = -3*h - 207 - 15. Let z = 455 + h. Is z prime?
False
Suppose 134111 = -30*k + 535121. Is k composite?
False
Let j = 3182 + 4167. Is j a prime number?
True
Let u be (-1)/(-1) + 0 - 202. Let d(y) = 68*y - 6. Let c be d(-10). Let b = u - c. Is b a composite number?
True
Let l = -761 + 1392. Is l a composite number?
False
Let a(k) = 28*k - 7. Is a(18) composite?
True
Let k(h) be the second derivative of h**5/20 + h**4/2 - 2*h**3/3 + 3*h**2 + 11*h. Is k(-5) composite?
True
Suppose 15 = -12*v + 15*v. Suppose -5*a = v*h - 1570, -283 = -2*a + 3*h + 335. Let z = a + -149. Is z prime?
True
Let b(z) = -z**3 - 3*z**2 + z + 3. Let a be b(-3). Suppose 2*q + 0*q = 2*g + 3546, a = -q - 4*g + 1793. Is q a prime number?
True
Is 1 - 611300/(-35) - (-8)/28 prime?
True
Is (1 + 40497)/(5 + -3) composite?
False
Let h be ((-8)/10)/(7/(-70)). Suppose 2*z + 2982 = h*z. Is z a prime number?
False
Suppose 2*x - 12 = 6. Is (-3)/x + (-634)/(-3) a composite number?
False
Let j = 7294 + -4251. Is j prime?
False
Let n(j) = 4*j**2 - 5. Suppose -5*h + 2 = 5*r - 13, -19 = -r + 3*h. Is n(r) a composite number?
False
Let a(g) = -g**2 - 4*g + 7509. Is a(0) a prime number?
False
Let h(m) = -m - 7. Let g be h(-9). Suppose 5*y - l + 5 = 0, 5*l + g = -4*y - 2. Is (601 - (1 - y)) + 0 a prime number?
True
Suppose 2*a = a. Suppose a*m - m + 4 = 0. Suppose -2*i - 3*y - 54 = -3*i, -i - m*y + 61 = 0. Is i a composite number?
True
Let z = 11 + -8. Suppose -z*v = -6*g + 2*g - 24, 24 = -4*g + 5*v. Is 7040/12 - 2/g a composite number?
False
Let y(g) be the second derivative of g**4/12 - g**2 + 2*g. Let n be y(-2). Suppose -2*m - n*m = -24. Is m a composite number?
True
Let f(s) be the third derivative of 1/24*s**4 + 1/120*s**6 + 13/6*s**3 - 1/5*s**5 + 0*s + 0 - 3*s**2. Is f(12) prime?
False
Let m(b) = -b**2 + 15*b - 16. Let z be m(14). Let a be (-3)/z*(152 + -6). Let o = a - 140. Is o composite?
False
Let r(i) = 4*i - 1. Let l be r(1). Let o be (-2)/(-1)*(63 - l). Suppose -b - k + 54 = -o, b - 2*k = 189. Is b a prime number?
True
Let r(a) = -a**3 - 10*a**2 - 7*a - 13. Is r(-14) prime?
False
Suppose 3*r = -114 - 24. Suppose 21*i = 23*i - 304. Let v = i + r. Is v composite?
True
Let w = -2 - -7. Suppose -2*l - 8 = t, -14 - 5 = w*l + 3*t. Is (-4 - l)*1*86 a prime number?
False
Suppose 0*h = h - 1325. Suppose -3*g + 2*q = -2035, -2*g - 5*q + h = -0*g. Suppose 4*o = 3*t + 896, 0*o + g = 3*o - 3*t. Is o a prime number?
False
Let h = -84297 + 118114. Is h composite?
True
Let s(h) = 11*h**2 - 46*h + 1. Is s(-34) composite?
False
Let z = 10 - 5. Suppose 2*f - 3*f + 5 = 0, 0 = 4*a - z*f - 315. Is a a prime number?
False
Let x be -10*3/6*-2. Let y = 9 + x. Suppose 0 = -14*t + y*t - 370. Is t composite?
True
Suppose -o + 2*o - 9789 = -4*g, -g - 19587 = -2*o. Is o a composite number?
True
Let b(i) = i**2 - 20*i - 12. Let n be b(16). Let t = n - 66. Let f = -65 - t. Is f composite?
True
Let r(g) = -12*g**2 + 17*g**2 - 5*g + 14*g - 17. Is r(-9) composite?
False
Suppose -4*n = -2*n - 6. Let y = n - 2. Is (4 + -3)*91*y composite?
True
Is (64098/2)/3 + 4 a prime number?
True
Is 2746/(-8)*((-7 - -9) + -6) composite?
False
Suppose 0 = -5*h + 2*h + 9. Suppose -h*r + 3*b + 1579 = -878, -4*r + 3282 = -b. Suppose 0 = -5*c + r - 266. Is c a prime number?
False
Let s be (-9)/(-6)*(-8)/(-6). Suppose -252 = s*g - 994. Is g a prime number?
False
Suppose 0 = 10*x - 10132 - 8818. Is x a composite number?
True
Suppose 4*a = -8*a + 12. Is 1262 - (4 + 2 + (-2 - a)) composite?
False
Suppose -3*m = -2*i + 23658, 4*i - 4*m + 8*m - 47316 = 0. Is i prime?
False
Suppose 1737 = -3*f - 4*k, -f - 3*k + 41 = 620. Let i = 938 + f. Is i a prime number?
True
Suppose 0 = -3*y - 0*y + 2694. Suppose -379 + y = 4*j - 5*g, 5*j - 5*g - 650 = 0. Is j prime?
True
Is -2 - 37/(-2)*(832 + 2) a prime number?
True
Is 76*9 - (-5 - 0) a prime number?
False
Suppose -4*t - 88414 + 220226 = 0. Is t a prime number?
False
Let o(b) = -26*b + 3. Let v(i) = -51*i + 7. Let z(d) = -14*o(d) + 6*v(d). Let k be z(-5). Is (k/(-4))/(13/26) a composite number?
True
Suppose -3*q + 4*x = -49241, 2*x = -4*q + 36663 + 28977. Is q composite?
False
Suppose -5*c = -t - 125060, -5*t - 75014 = 16*c - 19*c. Is c a prime number?
True
Let f(b) = -b**2 + 7*b + 11. Let j be f(8). Suppose -j*a + 1891 = t, -3*a + 2526 = a - t. Is a prime?
True
Suppose -1 + 13 = 4*s. Suppose 2*w = -s*w + 555. Let p = -60 + w. Is p prime?
False
Let x(b) = -3*b - 2. Let f be x(2). Let j = f - -8. Suppose 4*u - 7*u + 102 = j. Is u prime?
False
Suppose -4*x = -3*c + 2*c - 1525, 2*x + 5*c = 779. Is x prime?
False
Let s = 697 - 392. Suppose -5970 = -14*h + 1758. Let b = h - s. Is b composite?
True
Let d be (1 - 4) + 338 + -20. Is (-7)/(d/159 - 2) a prime number?
False
Let y be 1*15/(-9)*-6. Let d(o) be the first derivative of o**3/3 + o**2/2 + 8*o - 1. Is d(y) prime?
False
Suppose 5*k + 2353 = -j, -2*k - 734 = 2*j + 3988. Is (j/68)/(2/(-8)) a prime number?
True
Let h be 3/(-21) + (-3)/(-21). Let g(y) = y**3 + y**2 - y + 319. Is g(h) a prime number?
False
Suppose -f - 3*f = -8. Suppose f*b - b = 165. Suppose -2*h - b = -5*d + 3*h, -3*d - 4*h = -85. Is d composite?
False
Suppose -129 = -3*d - 48. Let v = d - 8. Is v prime?
True
Let v(i) = -117*i**3 - 12*i - 35. Is v(-4) composite?
True
Let k(r) = -271*r + 28. Let q be k(5). Let s = q + 1940. Is s a prime number?
True
Let n(q) = -q**3 + 155*q**2 + 8*q + 29. Is n(12) a composite number?
False
Let i(p) = 16*p**3 - 4*p**2 + 7. Suppose -x + 363 = 359. Is i(x) a composite number?
False
Suppose 9336 = 28*n - 5252. Is n a composite number?
False
Let h(s) = -43*s - 7. Let o(p) = 130*p + 20. Let n be (22/10)/((-8)/(-40)). Let j(f) = n*h(f) + 4*o(f). Is j(10) prime?
False
Let c(l) be the third derivative of l**5/60 - 5*l**4/24 + 3*l**3/2 - 76*l**2 + 2. Suppose 7 = -w + 2*w. Is c(w) composite?
False
Let h(z) be the second derivative of -76*z**3/3 - 7*z**2 + 226*z - 1. Let j be (-38)/8 + (-2)/8. Is h(j) prime?
False
Suppose 2*v - 13 = -3*i, v + 3 = -2*i + 11. Suppose 2*u - 15 = -i*u. Suppose -y + 752 = u*a, -3*y - 2*a = -y - 1492. Is y a composite number?
False
Let s(j) = 2*j**3 + 8*j**2 - 77*j + 1. Is s(18) a prime number?
False
Suppose 5*h + 0*h = 13525. Is h a prime number?
False
Let v(d) = 229*d**2 + 20*d - 33. Is v(8) prime?
True
Suppose -4*d - 324 = 4*i - 0*d, i + 83 = -2*d. Is ((2 - 4) + 1)*i a composite number?
False
Suppose 3*w - 5*f - 2110 = 0, w + 3*f = 355 + 353. Suppose 4*r - w = r. Is r a composite number?
True
Let h = 94 + 3. Is h prime?
True
Suppose -4*i = -7*i + 12, 0 = d - 3*i - 307. Is (d/(-4))/(2/(-8)) prime?
False
Suppose -15*j + 13*j = 6. Let s(x) = 4*x**2 - 2*x - x**3 + 2*x**3 + x + 3. Is s(j) a composite number?
True
Let s be (3/(-4))/((-40)/320). Is 2/(s/(-33))*(-172 + -7) a composite number?
True
Suppose 0 = 5*u - 6*u + 2. Let y be 2/(1/(-1)) + u. Suppose 5*c + y*c = 605. Is c composite?
True
Suppose 0 = 3*p + 4*w + 7054, -3004 = p + 5*w - 649. Let d = -1449 - p. Is d composite?
True
Let g = 16490 + 1737. Is g a composite number