= f - 2603. Is j prime?
True
Let q = 50639 - 12141. Is q composite?
True
Suppose 0 = -4*y + 6*y + 4942. Suppose -2*g + 1849 - 10105 = 0. Let j = y - g. Is j a composite number?
False
Suppose -12*j + 10 = -14*j. Let n(c) = 347*c**2 + 9*c + 9. Is n(j) composite?
True
Suppose s - 12805 = -4*m + 29402, 3*m + 3*s - 31662 = 0. Let l be (2716/3)/((-6)/45). Let v = l + m. Is v prime?
True
Let w(x) = -1182*x + 1. Let t be w(1). Let m(s) = -s**3 - 46*s**2 - 493*s - 78. Let i be m(-33). Let z = i + t. Is z a prime number?
True
Is 172134 + 1 + 12 + (-80)/4 a composite number?
False
Suppose 0 = -6*b + 2243 + 10675. Suppose -4826 = -7*h + b. Is h prime?
True
Let d(j) = j**2 + 9*j + 7. Let p = -8 + 36. Suppose 3*g = p + 11. Is d(g) a composite number?
False
Let m(l) = -l**3 - 16*l**2 + l - 12. Let y(f) = f**2 - f - 1. Let t(r) = m(r) + 2*y(r). Let d be t(-14). Suppose 3*o + o - 4504 = d. Is o composite?
True
Let l(n) = 266*n**2 + 14*n - 179. Is l(-41) a composite number?
True
Let s be (2/6)/(9/27). Let m be 21/(-84) + s/4. Suppose m = 6*d - 3*d - 537. Is d composite?
False
Suppose 0*k + 3*h + 1449 = 2*k, 0 = -2*k - 3*h + 1431. Let b = 1207 - k. Is b prime?
True
Let a(i) = -3*i**3 + 9*i**2 - 6*i + 4. Let j(u) = -3*u + 23. Let l be j(10). Let v be a(l). Suppose -7*q = -3*q - v. Is q a composite number?
False
Is -5 + (140281 - 3) + -2 prime?
False
Suppose -2*s + 3*w = -17132, 15*s - 17*s - w = -17124. Is s a composite number?
False
Suppose -12364 = -10*b + 1376. Let o = b - 814. Let x = o - 223. Is x a composite number?
False
Is (2 - (-2 + 32405))*(-1 + (10 - 10)) prime?
True
Let q be 35/(-11) + 3 + 730/22. Let h = q + -37. Is ((-27303)/38)/(1 - (-6)/h) prime?
False
Is (-477 - 14)/((-3)/15) a prime number?
False
Let j(a) = 17027*a**2 - 5*a - 4. Is j(-2) a prime number?
False
Let c be (9/(-5))/(-2*12/80). Is -3*7/c*-58 prime?
False
Suppose -b - 2*u = 2, -5 = 2*b + u - 4. Suppose b = 5*s + 4*c - 17049, -3*s - 3*c - 2*c + 10232 = 0. Is s a composite number?
True
Suppose -4*c + 41*q - 36*q = -262997, 5*c + 2*q = 328705. Is c a composite number?
True
Suppose 0 = -q - 12*q + 5*q + 633448. Is q prime?
True
Let p = 407 + -183. Suppose 859 = 5*y + p. Is y a prime number?
True
Let s(c) = c**3 + 133*c**2 - 128*c + 43. Is s(24) a composite number?
False
Let r(n) = -n - 1. Let f be r(-5). Suppose 4*i - 16 = f*h, 0 = -0*h + 4*h + 5*i + 16. Is (-6117)/h + 1/(-4) prime?
False
Let x be 32/12 - 4/(-12). Suppose 3*c + c = -x*i + 137, i + 93 = 3*c. Is 16/c - (-1909)/2 prime?
False
Let g(a) = 67*a - 297. Let l be g(14). Suppose -l*x - 139336 = -645*x. Is x prime?
False
Let s(u) = 14126*u + 299. Is s(12) composite?
True
Let d be (5/(-20) + 0)*-16. Suppose -2 = 2*k, -5*k = d*t + t - 1880. Is t a composite number?
True
Let p(l) = 32*l + 97. Suppose 17*u - 23*u + 66 = 0. Is p(u) a composite number?
False
Suppose -53*c = -631*c + 70359362. Is c composite?
True
Let l be -9*-4*7/((-84)/(-45)). Suppose -2*n = -3*t - 2*t + l, -4 = 4*t. Let q = 57 - n. Is q composite?
False
Suppose 3*j - 2691 = -l, 3*l = -7*j + 6*j + 913. Is j a prime number?
False
Let w = 341 - 309. Suppose -17*t - w*t + 755531 = 0. Is t prime?
False
Let o be (4/2*1)/(2/9). Suppose -36116 = -13*b + o*b. Is b a prime number?
True
Let r(t) = -t**2 - 8*t + 14. Let i be r(-9). Suppose -i*m = -83931 + 27976. Suppose -7*j = -m + 446. Is j a prime number?
False
Let s be 398 - (2 + -7 + 0)/(-1). Suppose -s = -o - 4*f, -5*f - 1223 = -3*o - 6*f. Is o a prime number?
True
Let f = -93461 + 202758. Is f prime?
True
Let q = -970243 - -1574732. Is q a prime number?
False
Is (-3521805)/(-187) - (16/(-22))/(-4) prime?
False
Let w = -126851 - -422260. Is w composite?
True
Let u(r) = r**3 + 19*r**2 - 20*r - 2. Let o be u(-20). Let d be -1 - 6/o - -1915. Suppose -3*k - 47 = 5*g - d, -5*g + 1860 = k. Is g composite?
True
Let m(t) = -15*t**3 + t**2 + 738*t - 59. Is m(-22) composite?
False
Is 1/(-12) + (-8958100)/(-48) + -58 composite?
False
Let f = 806 - 1667. Suppose 2*y + 4*h - 3692 = 0, y - 3*h - 457 = 1399. Let s = f + y. Is s composite?
True
Let k(y) = 48*y**2 - 14*y - 5. Suppose 728*b + 14 = 727*b. Is k(b) a composite number?
True
Let l be (1/8)/(66/176)*6. Suppose 0 = -l*m + 3*q + 3637, 5*m + 2*q = -0*q + 9121. Is m prime?
True
Let k = -937406 + 1562815. Is k a composite number?
False
Let o = -6193 - -276872. Is o prime?
True
Suppose 0 = -2*z + 9*z - 28. Suppose -19 + 11 = -z*u. Suppose -4*n = 16, n = g + u*n - 1341. Is g prime?
False
Let c(m) = 21*m**3 + 5*m**2 - 8*m. Let k be c(5). Let z = k + -1509. Is z composite?
False
Let q(f) = 4*f**2 - 13*f + 40. Let u(h) = -9*h - 8. Let g be u(-3). Let a be q(g). Suppose -c + 364 = -3*t, a = 3*c - 2*t + 166. Is c a composite number?
True
Let c = 4244 + -1373. Let n = 8348 + c. Is n prime?
False
Let z(f) be the first derivative of 37*f**2 + 53*f + 17. Is z(24) a prime number?
False
Suppose b + 5560 = -2*x, 0*x + 5*x + 2*b + 13901 = 0. Let f = x + 5114. Is f a composite number?
False
Suppose -4*d - 4*o = 8, -d - 3*o = -4*d + 18. Suppose -d*j + l - 5678 = 3*l, -j + l - 2831 = 0. Let a = 4090 + j. Is a prime?
False
Let l = 1073308 + -543234. Is l a composite number?
True
Let x be (4*(-3)/(-12))/(1/5). Suppose 3*v - x = -50. Is 6/9 - 1325/v a composite number?
False
Is (70588/(-84))/(4/3)*-116 a composite number?
True
Let p be 8 - 2*((-15)/10 - -1). Suppose -p*i + 36841 - 9508 = 0. Is i a prime number?
True
Let i = 4394 + -1696. Suppose -5*j - 4*y + 1713 + i = 0, 2*y + 885 = j. Is j prime?
True
Let h(c) = 54*c**3 - 9*c**2 - 67*c + 331. Is h(5) a composite number?
False
Let v(q) = 19037*q + 631. Is v(2) a prime number?
False
Suppose -14514481 = -136*h - 2633657. Is h composite?
False
Is ((-2497)/(-275) - 9) + (-1180973)/(-25) composite?
True
Suppose -135*v - 82231421 + 88830422 = -352797594. Is v a prime number?
False
Is 5/25 - (-6969)/202*8152/5 composite?
False
Suppose -32*o - 3267157 = -5*r - 30*o, -r + 653429 = 2*o. Is r a prime number?
True
Let g(t) = -18*t**3 - 3*t**2 + 3*t - 5. Let p(q) = -5*q. Let u be p(1). Let x be (-2)/(-6)*u*3. Is g(x) a composite number?
True
Suppose -3*v - 4*p - 4216 = v, -2*v - 4*p - 2104 = 0. Let h = v + 1691. Is h a prime number?
False
Let b(a) = -2*a + 3. Let n be b(-3). Suppose 0 = -2*w + z + 3, 0 = 3*w + 4*z - 2 + 25. Is (9/(-2 + w))/(n/(-393)) a composite number?
False
Suppose -110562 = -5*h + m, 4*m = h - 5*h + 88464. Let x = h + -6206. Is x prime?
True
Is ((-507534)/(-30))/((-2)/(-26)) + (-4)/10 a composite number?
False
Suppose -4*y = y - 110. Suppose -y = -4*w - 14. Suppose -5*l - w*b = -4329 - 516, 5 = b. Is l composite?
False
Let c(l) = l**2 - 6*l + 6. Let v be c(6). Suppose v = 4*z - 10. Suppose -z*q - 115 = -447. Is q a composite number?
False
Let d = -47 + 59. Is 15256/d - (-1)/(3/(-1)) a prime number?
False
Let s(d) = -d**2 + d + 145. Let f be 81/36*2/(-3)*-6. Let i be 0*(-1 + 1 + (8 - f)). Is s(i) composite?
True
Let j(v) = -6815*v + 468. Is j(-19) composite?
False
Let i = -97 - -105. Let y be -8 + i + (-5)/(-1). Suppose -8*n = -y*n - 7413. Is n a composite number?
True
Suppose 8*x - 80143 = -3*z, 5*x = 3*x + 4*z + 20012. Is 7/(-2)*x/(-56) a composite number?
True
Let v(k) = -33*k + 3. Let j(c) = -c**3 + 10*c**2 + 2*c - 23. Let f be j(10). Let w be v(f). Suppose -6*b + 780 - w = 0. Is b a prime number?
True
Suppose 15*q - 21*q = 198. Let o be (-1857056)/(-44) + 1 + (-6)/q. Is (-2)/23 - o/(-23) a composite number?
True
Let v be (-20)/(-6) + 5/(-15). Suppose 0 = 5*u + v + 12, 3*u + 7188 = 3*i. Is i a prime number?
True
Is (-14)/147*-382593 - 6/14 composite?
True
Let i = 1539 - -5666. Let a = i + -4338. Is a a composite number?
True
Suppose 0 = 138*f - 153*f + 45. Suppose f*b = 4*n + 397, -5 = 2*n + 3. Is b a composite number?
False
Let z(j) = j**2 - 2*j + 80. Let b be z(0). Is b/(-120) - (-2 - 28690/6) prime?
True
Let k(i) = 24*i**2 - 29*i - 1. Let h = -402 + 422. Is k(h) composite?
True
Suppose -496 = -9*w + 5*w. Let t = w + -13. Is t a composite number?
True
Let h be (-2)/(-10)*-2 + 2526849/(-115). Is -4*(-6 - h/(-28)) a composite number?
False
Let q(u) = -8*u**3 + 2*u**2 - u + 6. Suppose 25*w - 8 = 21*w. Let f(z) = -16*z**3 + 3*z**2 - 2*z + 12. Let y(x) = w*f(x) - 5*q(x). Is y(5) composite?
True
Let p(s) = 161*s + 25577. Is p(0) prime?
True
Let c =