e 14*r - 12687 = -227. Let y = 2599 - r. Is y a prime number?
True
Suppose 2*n - 2 = 2. Suppose -2 = -n*s + 2. Suppose -s*k = k - 57. Is k prime?
True
Suppose -b + 4*i + 39143 = 0, 5*b + 2*i - 195691 = -2*i. Is b composite?
False
Suppose -t - 3*o + 5321 = 0, -4*t + 21244 = -33*o + 35*o. Is t prime?
True
Let x = 960 - -1267. Is x composite?
True
Let p(w) = -41*w - 19. Let y be p(-6). Suppose 3*h + 284 = f, -y - 58 = -f + 2*h. Is f a composite number?
True
Let d(p) = p**2 + 2*p + 915. Let x be d(0). Suppose 0 = -10*n + 13*n - x. Is n prime?
False
Is 335/3 - (-54)/(-81) a composite number?
True
Let h = -15 + 13. Let v(t) be the second derivative of -7*t**5/20 - t**4/12 - t**2/2 - 2*t. Is v(h) a composite number?
True
Let z(r) = -37*r**2. Let m be z(1). Let k = 240 + m. Is k composite?
True
Let j = -1309 + 440. Let n = -417 - j. Suppose 5*q - 4*t = 1123, -2*q + 4*q = 3*t + n. Is q composite?
False
Let s(m) = 3*m**3 - 6*m**2 - 5*m + 7. Is s(6) prime?
True
Suppose -5*f = -2*l + 11, -4*f = 4*l - 0 - 8. Is 1065/9 - 1/l prime?
False
Let b(c) = -2*c**3 - 2*c**2 - 4*c - 11. Let j be b(-8). Let m = j + -431. Suppose 3*f - m = -2*s, 3*s = -f + 3*f + 703. Is s composite?
True
Let j = 47 - 59. Let u = 261 + j. Is u composite?
True
Let h = -2852 + 20893. Is h a composite number?
False
Let u = 21496 - 11887. Is u a prime number?
False
Let l = 2347 - 1356. Is l prime?
True
Suppose 7*d - 905 = 3*d + 3*g, 3*g = 3*d - 675. Suppose -v + d = v. Is v composite?
True
Suppose 0 = -4*f + 2*y + 2234, 2*f + 3*y - 1111 = 2*y. Is f prime?
True
Let y(u) = -1. Let r(d) = -64*d + 4. Let k(f) = 3*r(f) + 15*y(f). Is k(-6) prime?
False
Is (-48)/128 - (-370257)/24 prime?
True
Let t(w) = 7 + 1 + 2 - 1 + 124*w. Let x be t(8). Let l = x - 522. Is l prime?
True
Let u = -90 + -1018. Is 0 - 0 - (u - -21) prime?
True
Suppose -b - 4*g + 5285 = 0, 2*b - 8845 - 1704 = -g. Is b prime?
True
Suppose -4*v = -5*u - 49569, 8 - 5 = -3*u. Is v a composite number?
False
Let j = 6961 + -3270. Is j a composite number?
False
Suppose -4*n + n + 6 = 0. Let k(z) = 4*z**2 + 5 - 4*z**n - 7*z - 2*z**2 + z**3. Is k(9) a composite number?
False
Let h(w) = 16*w**3 - w**2 + 6*w - 13. Let k be h(3). Suppose -4*t = 3*p - 1699, 2*t + 2*p = 420 + k. Is t prime?
False
Is 177/(-472) + (1370259/(-24))/(-3) prime?
True
Is ((-26)/(-3) + -9)/((-2)/161886) a prime number?
True
Let c = 1317 - 650. Is c prime?
False
Let s be 795/2 + (-9)/18. Suppose -s - 134 = -3*o. Is o composite?
True
Let f(i) = 194*i**2 + 24*i - 19. Is f(4) prime?
True
Let w = -30 - -31. Let s be (13 + -12)/(w/(-1028)). Let u = 2179 + s. Is u a composite number?
False
Suppose 2*g = -3*l + 2*l - 15, -3*g - 6 = 0. Let a(f) = 14*f**2 + 13*f + 4. Let o be a(l). Is o/25 - 3/15 prime?
False
Suppose -1215 - 647 = -7*k. Let m = k - -27. Is m a composite number?
False
Let b(z) = -6*z**3 + 4*z**2 + 4*z - 5. Let l be (0 + 2)*6/3. Let i be b(l). Let u = 542 + i. Is u composite?
False
Let y be (247 - -2) + 2 - 3. Suppose -57 = i - y. Is i a prime number?
True
Is (-49288)/(-3) + (-48)/144 composite?
True
Let i = -516 - -270. Is 9 + (-16)/4 - i composite?
False
Suppose -19344 = -4*v - 4*r - 2248, 2*r + 8568 = 2*v. Is v prime?
False
Let q(a) = -27*a + 4. Let k be (207/(-36))/((-1)/4). Let l = k - 38. Is q(l) a prime number?
True
Let x be (45/(-18))/((-4)/8). Suppose 5866 = x*j - 4639. Is j composite?
True
Suppose -2*w = 143 - 579. Let v = w + -502. Is v/3*9/(-6) a prime number?
False
Suppose 22963 = 2*i - 6379. Is i a composite number?
True
Let i be 14/35*(5011 + -1). Let u = i + -1351. Is u a prime number?
True
Let t(y) = -2109*y + 140. Is t(-3) a composite number?
True
Let d = 10 + -5. Let t(z) = 3*z**3 + 2*z**2 - 5*z. Let i be t(d). Let x = i + -209. Is x prime?
True
Suppose -p + j + j - 3718 = 0, 3*p - 4*j = -11150. Let x = 5651 + p. Is x a composite number?
True
Suppose 4*h - 495 = 29. Suppose 5*r + 2*b - 172 = -0*r, 4*r - h = 5*b. Is r a prime number?
False
Suppose 0 = -5*a + 2*s + 17043, 0 = 3*a - 5*s + 2751 - 12973. Suppose -a - 1913 = -6*m. Is m prime?
True
Let w be (-8)/12 + (-40)/(-24). Is (-3)/5*w/(2/(-1930)) a composite number?
True
Let g(s) = -s**3 + s**2 - 13*s + 129. Is g(-14) a composite number?
False
Suppose -5*y - 4*j - 1410 = -0*j, y + 2*j + 276 = 0. Let c = -105 - y. Is c prime?
True
Let q be 1 + (-1 + -1 - 56/(-8)). Is (-6)/5*(-6135)/q prime?
False
Suppose -6*z + 4*z = -2884. Suppose 5*n = -w + z, 0*w - 1448 = -5*n + w. Is n a prime number?
False
Suppose 0 = -w - 3, 3*x - 2*w = 15975. Is x a composite number?
False
Suppose 0 = -58*z - 150336 + 763802. Is z a composite number?
True
Suppose -b + 2290 = 5*l, -3*b - 933 = -l - l. Suppose 3*a + 0*a = l. Suppose a = 3*t - 6. Is t prime?
True
Let l = 861 + 37. Is l prime?
False
Let j(y) = y**2 + y - 3. Let l be j(-3). Suppose -l*r = 15, 2*r + 779 - 142 = 3*g. Is g a composite number?
True
Suppose 0 = -2*n + 3*n - 3*j + 9, -5*j + 15 = n. Let v(q) = 5 - 4*q - 4*q + n*q**2 - 6*q**2 + q**3. Is v(8) prime?
False
Is 3801 + -2 + (-9 + -1)/5 composite?
False
Let f(i) = i**2 + 22*i + 26. Let j be f(-21). Suppose 0 = -3*l - 4*p + 639, 2*l + j*p - 386 = 40. Is l prime?
False
Let z be 2/5 + 154/(-110). Is (-10)/20*(z - 245) a composite number?
True
Let b(l) = -l**2 + 3*l + 0*l + 3 + 5*l. Let z = 237 + -231. Is b(z) composite?
True
Suppose 41579 - 1271 = 4*w + 4*t, -4*w + t + 40313 = 0. Is w composite?
True
Suppose 0 = -5*s + 10 + 5. Suppose -3*x = 2*x - 25. Suppose 0 = s*v + 2*w - 1323, -611 - 1616 = -x*v + 4*w. Is v composite?
False
Suppose -4*q + 775 - 75 = 0. Let s = -294 + q. Let m = 92 - s. Is m prime?
True
Let j = -15315 - -27398. Is j composite?
True
Let v = 30 - 25. Suppose 3*l + 764 = v*j + 3405, -l = 3*j - 871. Is l a prime number?
True
Suppose k - 4*b - 46915 + 4420 = 0, 127453 = 3*k + 4*b. Is k a composite number?
False
Suppose -23*h + 133617 = 10*h. Is h a prime number?
True
Suppose 0 = -3*k - 4*w + 311 + 98, 4*w - 671 = -5*k. Is k composite?
False
Let f(n) = -26*n - 3. Let q(j) = -2*j**2 + j + 1. Suppose 4*i = -2*s, 5*i + s = -0 + 6. Let g be q(i). Is f(g) composite?
False
Suppose 328138 = 17*w + 4305. Is w a prime number?
False
Let t(x) = x + 4 + 3*x + x**2 + 8 - 5. Let b(y) = 2*y**2 - 4*y. Let j be b(3). Is t(j) a prime number?
True
Let n(y) be the first derivative of 2*y**3 - 3*y**2 - 7*y + 8. Is n(5) a composite number?
False
Let d = 40 - 31. Suppose -5*v - 3412 = -d*v. Is v a prime number?
True
Suppose 0*q = 3*q - 15. Suppose 19 = -q*l + 764. Is l composite?
False
Let w(r) = 3*r + 33. Let b be w(-10). Suppose 3*q + 3*v = -0*v + 4005, -2*q + b*v + 2660 = 0. Is q prime?
False
Let x(l) be the first derivative of 25*l**3/3 + 10*l - 3. Is x(5) composite?
True
Suppose -182 = -2*b + 120. Suppose 4*h = -d - 116, -d - 3*d - 3*h = 399. Let i = b + d. Is i composite?
True
Suppose 0 = -5*f + 9*f - 28. Is f/(7/9)*358/6 composite?
True
Is 12610/4 - 1/(-2) prime?
False
Suppose 0 = -t - 4*j + 111824 - 37903, 5*t - j = 369563. Is t composite?
True
Suppose -7*c + 4*c + 5*x - 1068 = 0, -5*x - 15 = 0. Let r = 648 + c. Is r a prime number?
False
Let v(j) = 2*j**3 - 45*j**2 + 15*j - 249. Is v(30) composite?
True
Let n(i) = 7*i + 30. Let r be n(-4). Suppose -p + x + 82 = 0, 4*p - r*x = 38 + 280. Is p prime?
False
Let f be 2 + -2 + (-706 - 1). Let t be f/(-3) + (-20)/30. Suppose -d = 3*m - t, -40 = -5*m + 2*d + 337. Is m a composite number?
True
Suppose 2*s = -3*f - 3954 + 13175, 0 = -3*f + 4*s + 9215. Is f prime?
False
Is -4 + 2 + 560 - 7 a prime number?
False
Let z be -1*(4 + -1 - -1056). Let o = -396 - z. Let w = o + -446. Is w a prime number?
False
Let v = 0 - 1. Let c(z) = -3 - 4 - 196*z**3 - z - 175*z**3 + 6. Is c(v) composite?
True
Let f = 10394 - 6187. Is f a composite number?
True
Suppose 2*q - 12 = -4*q. Suppose -f = q*f. Suppose 3*d - 9 = f, 2*i = 3*d - 0*d + 829. Is i a composite number?
False
Is 5 + 2/(-20) + 372801/110 a prime number?
False
Let p = -10 + 2. Is 1982/(p/(0 - 4)) composite?
False
Suppose -2*z + 0*z - p = -4330, 4*z + 5*p - 8648 = 0. Is z a composite number?
True
Let k(o) = -3*o + 11. Let q = 7 + -4. Suppose q*n - 5*p + 40 = 0, -2*p + 3*p + 20 = -5*n. Is k(n) a prime number?
False
Is (-9)/45 + (-9468)/(-15) prime?
True
Let i = 8111 + -1642. Is i composite?
False
Suppose 3*c + 11605 = 5*v, 2*