f = -2360. Let s = 785 - f. Is s composite?
True
Suppose 0 = 4*t - 2*f - f + 7, 12 = -4*f. Let b = t + 8. Suppose b*w - 100 - 52 = 0. Is w prime?
False
Let x(l) = -7*l**2 + 5 + 10*l + 9*l - 8*l - 5*l + 57*l**3. Is x(3) composite?
False
Let r(x) = -612*x**3 - 2*x - 1. Let g be r(-1). Let q = -250 + g. Let t = 568 - q. Is t prime?
False
Let i be ((-28)/21)/((-2)/(-3)). Let w be -1 - (0 + i + 0). Is 0 - (-69)/3*w composite?
False
Suppose b + 6854 = -0*b. Let v = 419 - b. Is v a prime number?
False
Let r = -22634 - -39253. Is r composite?
False
Suppose -5*k + 26 = r + 6, 0 = -2*r - 3*k + 19. Let q(f) = -f**3 + f - r*f**2 - 3*f + 11 - 4*f**2 - 4*f. Is q(-11) composite?
True
Let f(j) = j**2. Let l(c) = 70*c**2 - 10. Let r(z) = f(z) - l(z). Let k be r(-6). Is k/(-10) - (-10)/(-25) composite?
True
Let c(p) = -p**2 - 2*p. Let j be c(0). Suppose j*g = -g. Suppose g*w = 2*w - 422. Is w prime?
True
Suppose q - 4*n + 1 = -1, -4*q - 2*n = 26. Is 154/(-4)*-13 + (-9)/q prime?
False
Let o = -8 - -19. Let a be 8/(-40) + o/5. Suppose -3*h = -a*q - 358 - 45, -5*h = -2*q - 665. Is h a prime number?
True
Let p be (3 + -5)/((-4)/(-1726)). Let z = p + 1479. Suppose -z - 639 = -5*s. Is s composite?
False
Let m(p) be the first derivative of -23*p**2/2 + 5*p + 1. Let h be m(-5). Suppose 4*s - 4*j = h, -5*s + 2*s + 4*j + 87 = 0. Is s prime?
False
Suppose -o + 2*q + 62 = o, o - 61 = -5*q. Let y(v) = -45*v + 3*v**2 + 3 + o*v + 2. Is y(-15) a prime number?
False
Let w(o) = -260*o - 1. Let f = -22 + 33. Let d be (-2)/(-6)*(-33)/f. Is w(d) prime?
False
Let a = -295 - -1113. Suppose 5*n + 3*i = a, 405 + 405 = 5*n - 5*i. Is n composite?
False
Is (-2 - -5 - 2)*2371 a prime number?
True
Suppose 0 = -0*s + 3*s - 2985. Let o be ((-10232)/12)/((-2)/3). Suppose 0 = 6*v - s - o. Is v a composite number?
False
Suppose 1382183 + 723727 = 30*p. Is p a prime number?
False
Let f(h) = 3*h**2 - 2*h + 5. Let m be f(0). Suppose m*w - 894 = -j, 2*w + 3*w = -5*j + 4450. Is j a composite number?
True
Suppose -15*y + 24*y = 325521. Is y composite?
True
Let v = 6445 + 3178. Is v a prime number?
True
Suppose -5*i + k - 15 = -271, -3*i - 2*k = -151. Suppose 0 = -2*c - 3*c + 155. Is (1*c)/(17/i) a prime number?
False
Let s be 1/((-2)/4) + -517. Suppose -2 + 10 = 4*m. Is s*3/(-3) + m a prime number?
True
Let w(z) = 5*z**2 + 15*z - 27. Let b = -93 + 110. Is w(b) prime?
False
Let k be 12/8 - (6265/2)/(-7). Let j be (-514)/(-2)*-1 + -1. Let q = j + k. Is q prime?
True
Suppose n + 130 = -3*n + 2*i, -5*n - 3*i = 135. Let p = 1 - n. Is p composite?
False
Is (-12090)/(-8) + (-62)/248 a prime number?
True
Suppose 4*x + 62 + 2 = 0. Let m be -8*-2*(-4)/x. Suppose 59 - 415 = -m*p. Is p a composite number?
False
Let p(w) be the third derivative of 7*w**4/6 - 37*w**3/6 + 12*w**2. Is p(12) a prime number?
False
Let k be (-3 + -10 - 0)*(-60 - 1). Let h = 2640 - k. Is h composite?
False
Suppose -393 - 843 = 2*d. Let j = d + 913. Is j a composite number?
True
Let w = -5609 + 1754. Is 2/4 + w/(-30) a prime number?
False
Suppose 5*k = -2*t + 18, 0 = 4*t + 40*k - 35*k - 36. Suppose 7*p + 16 = 3*p. Is (t - (1 + p))/2 prime?
False
Is 9101 + (-1 - (-4 - -3))/(-2) a prime number?
False
Suppose j + 595 = -249. Let n = j + 1533. Is n a composite number?
True
Suppose 967 = 3*b - 203. Suppose -311 - 84 = -3*k + 4*s, -3*s - b = -3*k. Suppose 0 = 5*c + r + 4*r - k, 0 = -4*c - r + 94. Is c a prime number?
True
Let u be -1*(-5)/(0 + -1). Let l(d) = 337*d + 11. Let a be l(u). Let o = a + 2588. Is o composite?
True
Let d(f) = -24*f**2 - 3 - 22*f**2 + 45*f**2. Let g be d(6). Let o = 94 + g. Is o a composite number?
True
Let b = -50 - -70. Let f be 6/(-7)*(-70)/b. Is f*((-201)/(-9) + -3) a prime number?
False
Let m(t) = t - 3. Let f be m(-1). Is (-4 - f) + 4 - -627 composite?
False
Suppose -2*x = h + 111, -x + 4*h - 161 = 2*x. Let y = x + 65. Is y a prime number?
False
Let q(j) = -j**3 + 50*j**2 + 21*j - 31. Is q(14) prime?
False
Suppose 3*l - 5*l + 8 = 0. Suppose -l*p + 7297 - 533 = 0. Let u = p - 738. Is u a composite number?
False
Let q(o) = 213*o**2 - 64*o - 4. Is q(9) composite?
False
Let f be -2*3 - (-7 + 6). Let j(q) = -q**3 + 2*q**2 - 14. Is j(f) prime?
False
Let v = 34 + -15. Let r = v + -17. Suppose 5*n - 927 = 4*o, 363 = r*n - o + 2*o. Is n a composite number?
True
Let u(y) = 80*y - 37. Is u(3) a prime number?
False
Let n = 2337 - -1190. Is n composite?
False
Suppose 5*f = -5*p - 15, f + 3 = -5*p - f. Is p + 0 + 172 + 6 prime?
True
Let h(z) = 53*z**2 - 7*z + 39. Is h(9) a prime number?
False
Let z = -3435 - -7826. Is z a prime number?
True
Is 99/27*(-1719)/(-3) prime?
False
Suppose 0 = 7*y - 3*y - 14728. Let a be y/(-77) - (-2)/(-11). Let z = a - -137. Is z prime?
True
Let r(x) = -x + 1. Let t(v) = -52*v + 13. Let a(q) = -3*r(q) - t(q). Is a(3) composite?
False
Suppose 4*l = -n + 9431, n - 3*l - 13853 = -4387. Is n composite?
True
Let k be (-1 - 1)*2705/(-10). Suppose 2*r - 189 = -b + 929, r - 4*b = k. Is r a composite number?
False
Suppose -5*i + 6 + 9 = 0. Suppose 5*a = i*r - 2, a - 7 = -r - 1. Suppose 3*n = 3*v + 321, -r*v + 323 = 3*n - 9*v. Is n prime?
False
Let a = -20460 - -38029. Is a a prime number?
True
Let u(s) = 8*s - 21. Suppose 4*t - 3*t - 7 = 0. Is u(t) prime?
False
Let q(o) = 7*o + 71. Let d be q(0). Suppose j - 2224 = -3*j. Suppose 5*r + d - j = 0. Is r composite?
False
Suppose 4*y + 2*a = 38, -3*y + 2*a + 18 = y. Let j = 146 - 132. Let q = j + y. Is q a composite number?
True
Suppose -8*z - 38074 - 374 = 0. Let i = -2369 - z. Is i prime?
True
Suppose -2*a - 4*o = -150, 3*a + 4*o = 154 + 71. Suppose 0*p - 106 = 2*p. Let h = a + p. Is h a prime number?
False
Suppose 0 = 4*r - 3*f - 99, -3*r + 5*f = 2*r - 120. Suppose -r*a - 340 = -31*a. Is a a prime number?
False
Let c(l) = 4*l**2 + 16*l - 11. Let g be c(-13). Suppose g + 670 = b. Suppose 0 = -4*r + 3*s + b + 80, 3*r - 4*s - 907 = 0. Is r a composite number?
True
Let a = -50 - -52. Suppose 5*s - 21668 = -a*p - p, 0 = -4*s + 5*p + 17327. Is s a composite number?
True
Let d = 1 + 1. Suppose 0 = 6*w - d*w. Suppose 6*p - 5*p - 191 = w. Is p composite?
False
Let h(q) be the second derivative of q**4/2 + q**3/2 - q**2 - 3*q. Let a be h(-4). Suppose 0 = 5*m + 25, -4*k - 2*m + a = -0*m. Is k a prime number?
True
Let y be (4/3)/(2/6). Let p be (-8309)/(-14)*y/(-2). Let j = p + 2140. Is j prime?
True
Let t(f) = -88*f - 21. Let u be t(-5). Suppose 2*c - 1040 = 7*c. Let h = u + c. Is h composite?
False
Is (544 - 548)/((-3)/((-699)/(-4))) prime?
True
Suppose -5*b = 5*d - 385, b + 4*b = 3*d + 345. Let z = b - -47. Is z composite?
True
Let x(g) = 11*g**2 + 11*g - 95. Is x(17) prime?
True
Let z = -78 - -34. Is 2506/6 - z/33 a prime number?
True
Let y be (8 - 5)*(-2 + 3). Suppose a + 955 = 5*q, 764 = 4*q + y*a - 7*a. Is q composite?
False
Suppose -19*n + 28 = -15*n. Suppose -n*k + 1610 + 1127 = 0. Is k prime?
False
Let d = 22924 + 52989. Is d prime?
True
Suppose 3*g - 719 - 720 = r, -r = 3*g - 1429. Is g prime?
False
Is -8 - (-5 - (-3824)/(-1)) composite?
False
Suppose -3*m = 2*m + 10. Let o(s) = -24*s - 5. Let d(l) = -71*l - 14. Let w(z) = 6*d(z) - 17*o(z). Is w(m) a prime number?
True
Let c be (1 - (-39)/(-9))*-123. Suppose 5*a - c = -5*b, 3*b - 356 = -b + 3*a. Suppose -b - 1 = -i. Is i a prime number?
False
Suppose 6*q = -0*q + 27858. Let u = q - 1712. Is u composite?
True
Suppose 0 = 5*q + 59*r - 56*r - 80171, -2*q - r + 32068 = 0. Is q composite?
False
Let q = -96 + 194. Suppose 6*r - q - 1240 = 0. Is r prime?
True
Suppose 140*i - 136*i = 0. Suppose 5*y - 4*z - 37 - 8 = 0, i = -y + 2*z + 9. Is y a composite number?
True
Suppose 0 = -2*c - 3*c + 11910. Suppose -2*h = h - c. Is h prime?
False
Let k be (-1740)/(-30)*(-1 + 3)*1. Suppose -2*x = 3*x - 10. Suppose 78 = x*y - k. Is y a composite number?
False
Let p = -119 - -124. Suppose -p*g + 1314 = -7871. Is g a composite number?
True
Let c = -874 - -3597. Is c a composite number?
True
Suppose -s + 4*n + 14 = 2, -s + 5*n + 14 = 0. Suppose -6*u + 226 = p - u, 0 = -s*p - 2*u + 850. Is p composite?
False
Is (9 + (0 - 7))*7622/4 prime?
False
Let r = 118 - 215. Let s = -92 + 29. Let k = s - r. Is k a composite number?
True
Let b(p) = -2536*p - 21. Is b(-1) composite?
True
Let n(h) = 5*h**2 + 2*h + 2. Let r(u) = -4*u**3 - 2*u**2 