 Is w a prime number?
True
Let r = 2558 - 1646. Suppose -4*k + 3643 = -3*j, k - j - r = -0*k. Is k prime?
True
Let q = -19 - -37. Suppose -o = 2*o - q. Suppose -265 = -7*m + o*m. Is m prime?
False
Suppose 2*b - 2*g - 21176 = 0, 3*b - 14236 = 5*g + 17526. Is b a prime number?
True
Let r be (-2 - -1)/(2/8). Suppose 0*k = -k + 276. Is k/(-9)*6/r composite?
True
Let t = 10 - 6. Let p be (156/(-8))/(2/t). Let k = p - -233. Is k composite?
True
Let f = -503 + 4809. Is f a composite number?
True
Suppose -37*a + 340331 = -14*a. Is a prime?
True
Let k(v) = -v**3 + 48*v**2 - 226*v + 25. Is k(42) a composite number?
False
Suppose -g - v - 8 = 0, 3*v - 14 = 4*g + 39. Let q(z) = z + 9. Let o be q(g). Let l = 51 + o. Is l a composite number?
True
Let o be 3*1 + 99 + 16. Let j(u) = -3*u - 3. Let n be j(-2). Suppose n*s - o = s. Is s prime?
True
Let n be (-138)/12 - 4/8. Let p(m) = -m**3 - 10*m**2 - 20*m - 14. Is p(n) a prime number?
False
Let d = -1150 - -2549. Is d a prime number?
True
Let i(w) = w**2 + 2*w + 13. Suppose 0 = 6*v - 109 + 25. Is i(v) composite?
True
Let j = 0 + 20. Let q be 5144/j - (-2)/(-10). Let w = -138 + q. Is w prime?
False
Let f be 1*3 - (8 + -10). Suppose o + 16 = 4*s + 3*o, -s + f*o = -15. Suppose -s*k + 717 + 578 = 0. Is k a composite number?
True
Suppose 5*l - 1863 = -2*c, 5*c = 4*l - 1279 - 218. Is l prime?
True
Let l(w) be the second derivative of -w**3/6 + 11*w**2/2 - 3*w. Let i be l(9). Suppose i*h = -5*q + q + 304, 0 = -4*q - h + 300. Is q composite?
True
Let s(i) = 14*i - 3. Suppose p = -2*p + 12. Let r be (-2)/p + 45/10. Is s(r) a composite number?
False
Suppose 2*d = 7*d - 2*h - 23928, -h + 19145 = 4*d. Suppose -d = -2*r - i, 0 = -0*r - 3*r + 2*i + 7179. Is r composite?
False
Let u = 2357 - 24. Is u a prime number?
True
Is 623338/8 - 39/156 a composite number?
True
Let y(u) = 21*u - 4. Let b be y(-5). Let a = b + 236. Is a a composite number?
False
Suppose 165*p - 21308 = 161*p. Is p a prime number?
False
Suppose x = 6*x. Suppose x = -a + 3*a. Suppose 6*n - 3*n - 705 = a. Is n a prime number?
False
Suppose -5*m = -5*u - 40, 5*m - u + 7 = 27. Suppose 0*j + 2*j + 629 = m*l, 5*l = -4*j + 1063. Is l composite?
False
Let v(g) = 589*g**2 + 12*g + 4. Is v(-3) a composite number?
True
Let a be (-1)/3 + (-3)/(-9). Suppose g = -0*g - l + 1897, a = l - 2. Is g a prime number?
False
Let q = 119 + -48. Suppose 4*z = 4*r + 68, -3*z = -3*r + 4*r - q. Is z prime?
False
Suppose 4590 + 5065 = 5*o. Is o composite?
False
Suppose 0 = 6*t - 11547 - 5007. Is t prime?
False
Suppose -5*d - 33 = -4*q, 2*q - 5*d = 32 - 3. Let b be ((-4)/(-10))/(-1) + 7722/(-45). Is q + 1 - b/4 composite?
True
Let b = -14085 + 24730. Is b prime?
False
Let d(w) = -36*w**3 - 3*w**2 - 3*w + 4. Let x be d(-3). Suppose 5*a + i = -2*i + x, 4*a + 2*i = 766. Is a a prime number?
True
Is (3 + (-94)/1)*(10 + -11) a composite number?
True
Suppose -2*o - 28 = 26. Let a(r) = -14*r - 16. Let n be a(3). Let u = o - n. Is u prime?
True
Let z(w) = 21*w**3 - 30*w**2 - 4*w + 4. Is z(9) prime?
False
Let c(h) = 26*h**2 - 46*h + 45. Is c(14) prime?
False
Suppose 4*f + 4*l = -7 - 33, 2*f = -4*l - 28. Let v(p) be the third derivative of p**5/10 - p**4/24 - p**3/6 + 13*p**2. Is v(f) a prime number?
False
Let x = -10 + 18. Suppose x*v = 10*v. Suppose v = -3*r + 2*q + 341, 3*q = -0*r + 2*r - 224. Is r prime?
False
Let o be (-8 + 2)*(3 - (-36)/(-8)). Suppose -o*v = -7*v - 1814. Is v a composite number?
False
Is (-588345)/(-12) + (-225)/(-100) a composite number?
False
Is (23218 - -9)*(-11 + 12) prime?
True
Let c be (-18)/(-45) - (-18)/5. Suppose 3*r - 5731 = -7*u + 3*u, -c*u = 5*r - 5741. Suppose 5*k = -3*q + u, k - 187 = -3*q + 94. Is k composite?
True
Suppose 2899*z - 2904*z + 40195 = 0. Is z prime?
True
Let a = 107 + -216. Let s = a - -272. Is s composite?
False
Let v = 39988 + -9521. Is v a composite number?
False
Suppose 23 - 19 = -n. Let o(k) = -261*k - 5. Is o(n) a composite number?
False
Let l = 73 + -139. Suppose 3*d = 2*i - 645, -d + 4*d - 5*i + 645 = 0. Let m = l - d. Is m composite?
False
Let m be 4/(4/(-1327)) - -3. Let v = m + 2073. Is v a prime number?
False
Let q be 1 + ((-8)/(-4) - -1747). Let a be 19/4 + 4/16. Suppose 0 = a*b - 2685 - q. Is b a composite number?
False
Let i(d) = -d**3 - 18*d**2 + 25*d - 22. Let x be i(-19). Let g = x + 247. Is g a prime number?
False
Let d = -1318 - -2578. Suppose 0 = -y + 5*u - 303, -5*y + y = -4*u + d. Is y/(-9)*(-9)/(-6) prime?
True
Let w(o) = -157*o - 9. Let l be w(7). Let g = l - -1875. Is g prime?
False
Suppose -17*p = -15*p - 4. Suppose -p*i = 3*u + 2479, -i - 4*u - 1145 = 87. Is ((-3)/12)/1*i prime?
True
Let y(w) = 187*w**2 - w + 23. Is y(-7) composite?
True
Suppose 0 = -5*m + h + 14, -m + 3 = 4*h - 4. Suppose -m*g + 6*g = -k + 270, 3*k + 169 = 2*g. Is g a prime number?
True
Suppose 0 = 2*y - 703 - 115. Suppose -2*x = -5*u - 27, -3*x = -x + 8. Is u + 5 + 1*y a prime number?
False
Let y(c) = -c**3 - 26*c**2 + 19*c - 29. Is y(-35) a composite number?
False
Suppose -4*d - 4 = -24. Suppose d*y + j = 1945, -5*j = 2*y - 760 - 18. Suppose 4*h + 121 - y = 0. Is h composite?
False
Let k(b) = -4*b - 4. Let p be k(-3). Suppose -2*r + 34 = p. Is r prime?
True
Is 26 + 19770 - -2*1/2 a composite number?
True
Suppose 2*v = -4*q + 6*q + 610, 1533 = 5*v - 3*q. Is v prime?
False
Suppose 5*c - 484 - 176 = 0. Suppose -l + 2*l = c. Is (-3)/((-4)/(l/9)) prime?
True
Let r(p) = -p + 12. Let n be r(13). Let i(q) = -916*q + 1. Is i(n) prime?
False
Suppose -11 = 5*j + 4*x, -5*j = -5*x + 5 + 15. Suppose 0*k - 114 = -2*k. Is ((-1)/j)/(1/k) a composite number?
False
Let i = -539 - -290. Suppose 62 = 5*n + 2. Is ((-8)/n)/(2/i) a prime number?
True
Let n = -935 - -639. Let f(m) = -2*m - 1. Let q be f(1). Let o = q - n. Is o a composite number?
False
Suppose 0 = -5*d, 2*k + 4*d + 18021 - 57083 = 0. Is k a composite number?
False
Is -1 + (-4942)/(-10) + (-4)/20 a prime number?
False
Let c(f) = f**3 + 55*f**2 + 101*f - 24. Is c(-41) a prime number?
False
Let z(q) = q**2 + 4*q - 10. Let r be z(-6). Suppose 2*g + 2*g + 700 = 4*i, -4*i - r*g = -712. Is i prime?
False
Let f be (-12)/(-10)*(-40)/(-12). Let i be 794/f + (-9)/(-6). Let r = i - 55. Is r a prime number?
False
Suppose -2*m = 4*l + 3*m - 20652, -5*l - m + 25815 = 0. Is l a prime number?
False
Let v(x) = -8*x - 30. Let a be v(-4). Suppose 5*k - 4*p = 4*k + 1007, -a*p = k - 989. Is k composite?
True
Suppose -2*r = -17 + 267. Let b = r + 418. Suppose -358 - b = -3*k. Is k prime?
False
Suppose -4*m = -15 - 21. Let k = -1 + m. Let a = k - 5. Is a a composite number?
False
Let p = -1883 + 7620. Is p composite?
False
Let g be 1/3*0/5. Let z be 37*(23 + -3) + g. Suppose 0 = -7*j + 3*j + z. Is j a prime number?
False
Let i(p) = 5*p**3 + 29*p**2 + 5*p - 50. Let u(q) = -4*q**3 - 30*q**2 - 5*q + 50. Let w(x) = 3*i(x) + 4*u(x). Is w(-33) a composite number?
True
Let m = 1373 - 202. Is m a prime number?
True
Suppose 0 = -22*x + 28*x - 3810. Is x composite?
True
Let q(j) = 115*j - 38. Let v be q(7). Let a = v - -1272. Is a a composite number?
False
Suppose 0 = -2*g + 11 - 1. Let d = 2 - g. Let v(r) = -3*r**3 - 3*r**2 + 4*r + 4. Is v(d) a prime number?
False
Let u be (-152)/36 - 2/(-9). Let l be 0/(u/1) - -1. Is ((-77 + 3)/l)/(-1) a composite number?
True
Let z = -169708 - -291165. Is z a prime number?
False
Is (3 - (8 + -1)) + 25845 prime?
True
Suppose -2*l + 712 = d, -4*l + 2*l - 3584 = -5*d. Suppose 2*z + d = -2*b, -4*z = 6*b - b + 1789. Is b/(-4) - 1/4 prime?
True
Suppose -4*l - 21*l + 18200 = 0. Suppose 879 = -2*a + 5*a. Suppose 5*g + a = l. Is g a prime number?
False
Let z(b) = -13*b + 36. Let v be z(16). Let f = v + 86. Let a = -19 - f. Is a composite?
False
Let n(z) = 72*z**2 - z + 3. Let u be n(2). Suppose 44*d - 43*d = u. Is d composite?
True
Suppose -3645 = -7*n + 9284. Is n a prime number?
True
Let v = -150 + 42. Is (-6)/v*6 + 11264/3 a composite number?
True
Let q(l) = -l**3 - 9*l**2 - 2*l - 8. Let f be q(-9). Let c = -10 + f. Suppose c = -b + 5*b - 140. Is b prime?
False
Let w(y) = 1. Let j(v) = 5*v - 4. Let r(b) = j(b) + 3*w(b). Let u be (3 - (-1)/1) + 0. Is r(u) a prime number?
True
Let m = -20 + 28. Suppose 335 = m*k - 3*k. Is k a composite number?
False
Is (-134667)/(-15) + 16/(-20) composite?
True
Suppose -