5*s. Is s prime?
True
Suppose r + 3*a = -a + 37, -2*r - 4*a = -86. Let z = r + -27. Is z a prime number?
False
Let s = 7448 + -2843. Let g be (-6)/(-8) - s/(-20). Let y = -112 + g. Is y a prime number?
False
Suppose -3*z + 0*z - 238 = -4*m, m - 56 = -z. Is m a prime number?
False
Suppose 2*v = 5*g + 3*v - 2067, -2*g = 3*v - 832. Is g prime?
False
Let w(j) = 22*j - 2*j**2 + 3*j**2 + 327 - 23*j. Is w(0) composite?
True
Suppose 6*h - 7*h + 35 = 0. Is h a composite number?
True
Let y be 130/(-25)*(-6 + 1). Suppose -y + 6 = -2*n. Let f = n + 11. Is f composite?
True
Let x = 1150 + -369. Is x a prime number?
False
Let y be 0/(-1*(-1 + 2)). Let k be (6/15)/(1/15). Suppose -5*x + 15 = y, -4*j - 3*x + k*x = -79. Is j composite?
True
Let t(s) = -s**3 + 6*s**2 - s + 8. Let q be t(6). Suppose q*a - 155 = -45. Is a a composite number?
True
Let k(v) = -113*v + 1. Let w be k(-4). Suppose 4*x + 3*h = w, -h = x + 2*h - 120. Is x prime?
False
Let j = 5 + 0. Suppose -1 = j*n - 11. Suppose 2*u + 3*x = 4*x + 10, -8 = n*x. Is u prime?
True
Let l(d) = 2*d**2 - 3*d - 22. Let m(c) = -c**3 - c**2 - 2*c + 1. Let a be m(-2). Is l(a) a prime number?
True
Let w(f) = f**2 + f - 3. Let p be w(9). Let i = 170 - p. Is i composite?
False
Let x = -155 - -316. Is x prime?
False
Suppose 4*a - 4781 = -3*a. Is a a composite number?
False
Let m(t) = -t**3 - 4*t**2 - 5*t - 3. Let n be m(-3). Suppose b = -n*b + 2*v + 154, 0 = 5*b - v - 194. Is b a composite number?
True
Suppose -3*s = 5*m - 5 - 19, 27 = 4*m + 5*s. Suppose m + 1 = x, 2*x = j + 42. Let n = j + 83. Is n composite?
True
Let s = 166 + -108. Is s a prime number?
False
Suppose 0 = i - 3*c - 176, 0 = -4*i - 2*c + 497 + 165. Let n(b) = -6*b**2 + 3*b - 6. Let v be n(4). Let g = v + i. Is g prime?
False
Let y be -4*5/(40/6). Is (-70)/(y + (-2 - -3)) prime?
False
Suppose -3*f = -0*f - 15. Let w(t) = -t**2 + 11*t - 5. Is w(f) composite?
True
Let p(i) = -15*i - 1. Is p(-10) composite?
False
Let y(g) = 46 + g**3 + 0 - 3 + 12. Suppose 0*d - 2*d = 0. Is y(d) prime?
False
Suppose -4*a + 291 = -a. Is a a prime number?
True
Let n = 134 + 875. Is n a prime number?
True
Let s(d) = -d**3 + 10*d**2 + 4. Let h be s(10). Suppose 4*x = h*i - 216, -3*i + 6*x + 157 = 2*x. Is i a prime number?
True
Let s(a) = -a + 6. Let v be (-1)/(-3) + (-4)/12. Is s(v) composite?
True
Suppose x - 5*y + 18 = 0, -12 = -x - 5*y + 10. Let c = x - 0. Suppose -6 = -5*o + j + 46, o - c = -4*j. Is o a composite number?
True
Is (-2 + (3 - 252))/(-1) a composite number?
False
Let x = 57 - 101. Let y be 76 - (-1 + -2 + 2). Let d = x + y. Is d prime?
False
Suppose y - 192 = 5*a, 3*y + 2*y - 3*a = 894. Is y a composite number?
True
Let d(k) = 4*k**3 + 2*k**2 - 2*k + 5. Suppose n = 4*o + 5 - 17, 5*o = -3*n + 32. Let a be d(n). Suppose a = -m + 6*m. Is m a prime number?
False
Let y = -6 + 9. Suppose -y*p = -p - 406. Is p a prime number?
False
Let a be -1 + 21/6*10. Let u = a - -17. Is u prime?
False
Let a be -3 - 6/(-2) - -2. Let d be 2/2*(-2)/a. Is 413/7 + (d - -1) a composite number?
False
Let f(y) = -8*y**3 - 2*y**2 + y - 1. Is f(-2) a composite number?
False
Suppose -5*a + 335 = -1375. Let i = a + -183. Is i composite?
True
Is 2/7 - 14235/(-35) prime?
False
Let m = 6 - -3. Let i(k) = -k. Let n(w) = -w**2 + 13*w - 8. Let a(p) = -i(p) + n(p). Is a(m) a composite number?
False
Suppose -4*l + 3*l = 5*v - 29, -3*l - 8 = -4*v. Is 85/(-2)*l/(-5) a prime number?
False
Let j = 238 + -27. Is j a prime number?
True
Suppose 0 = -5*d - 4*x - 1659, -d - 4*x = -2*d - 351. Let h(v) = 20*v**2 + 4*v. Let b be h(5). Let i = b + d. Is i composite?
True
Is (-42)/(-28)*2218/3 a composite number?
False
Suppose 29*t - 50974 = 7*t. Is t a prime number?
False
Let u = -8 - -11. Let y be 2 + -4 - (u - 32). Suppose 3*z - 8 + y = w, 0 = 4*z. Is w a prime number?
True
Suppose 0 = -3*f - 4*t + 1, -2*f + 4*t + 1 = -13. Suppose -f*b + n - 9 = 12, 12 = -3*b - 2*n. Let m(a) = -8*a + 5. Is m(b) a prime number?
True
Let w(f) = f**3 - f**2 - 2. Let a be w(3). Suppose 3*t = -5*q + 7*t + 85, 5*t = -q + 46. Let z = q + a. Is z composite?
False
Suppose -2*m - 4*h - 2 = 0, -2*h - 26 = m - 5*m. Suppose -25 = m*k - 5*j, 3*j - 1 = -k + j. Is (k/(-2))/(2/12) a prime number?
False
Suppose u + 4 = n + 1, 0 = 3*n + 4*u + 12. Suppose -4*j - 3*a + 4*a + 145 = n, 5*j - 3*a = 176. Let o = j - 14. Is o prime?
True
Is (-1212)/(-9) + (-12)/18 composite?
True
Suppose 0 = 4*z - 3*x - 756, -118 - 449 = -3*z + 3*x. Suppose -4*j + z + 71 = 0. Is j a composite number?
True
Let o(b) = -b**2 + 2*b + 490. Let l be o(0). Suppose 4*j + 0*n - l = 3*n, -j + 2*n + 125 = 0. Is j a composite number?
True
Let q(s) = 12*s**2 + 10*s - 1. Is q(11) composite?
True
Let n be 0 - (15 + (3 - 2)). Let i be -2 - (-23)/((-1)/(-1)). Let u = i - n. Is u prime?
True
Let z(c) = 1401*c**2 - c - 1. Is z(1) a composite number?
False
Let m(l) = -2 + 3 - 5*l + 4*l. Let n be m(1). Is (1 + n)/((-2)/(-94)) prime?
True
Let l(x) = 2*x**2 + 3*x + 8. Let u = -16 - -10. Is l(u) a prime number?
False
Suppose -25 = -5*i, 0 = -h + 3*i - 0 - 12. Let f(r) = -1 + 0*r + 8*r**2 + 3 + 2*r - h*r. Is f(3) a composite number?
False
Is (894/(-12))/(2/(-4)) composite?
False
Let o(a) = a**3 - 8*a**2 - 8*a - 7. Let k be o(-6). Let l = k - -962. Is l composite?
False
Is (-2)/(-6)*267 + 0 a prime number?
True
Suppose 2*y - 1059 - 1523 = 0. Is y prime?
True
Let s be (18/15)/(8/20). Suppose -j - 2*g - 76 = -s*j, -5*j + 205 = -2*g. Is j a composite number?
False
Let i(r) = 75*r**3 + 3*r**2 - 3*r - 1. Is i(4) composite?
True
Let t = -81 + -103. Let z = 1 - t. Is z composite?
True
Let w(o) = -492*o + 7. Is w(-2) composite?
False
Suppose 4*y = -y + 10. Let n be (-2)/4 - y/(-4). Suppose n*r + 3*r - 201 = 0. Is r a composite number?
False
Let u(k) = -8*k**3 - k**2 + 3*k + 1. Let f(h) = -h**3 + 10*h**2 + h - 12. Let l be f(10). Is u(l) a prime number?
False
Suppose 2*y - 3*h - 115 = -13, 3*h = 3*y - 153. Is y a prime number?
False
Let b(a) = a**3 - 7*a**2. Let n be b(7). Is 3/(6/314) + n a composite number?
False
Suppose 4*z - 22 = 2*f, z = -z + 8. Let p = -37 - 9. Is (f - -4)/((-2)/p) prime?
True
Is 9/27 - (-3244)/6 prime?
True
Let t be 2*-1 + (2 - -3). Suppose t*v = 7*v - 8. Suppose -2*n + b = -78, 60 = v*n - 3*b - 26. Is n a composite number?
False
Let v be 499/(-7) - (-8)/28. Let a = 154 + v. Is a a prime number?
True
Let m be (-28)/12 + (-2)/(-6). Is (4/3)/(m/(-3)) prime?
True
Suppose 356 = -4*b - 3*a, 4*b + 2*a = -0*b - 356. Suppose 25 = 5*f - 9*i + 4*i, -33 = -5*f + 3*i. Is (-6)/f*(2 + b) composite?
True
Suppose 7*v - 337 = 6*v. Is v composite?
False
Let q(r) = -r + 3. Let n be q(3). Let p(o) = -o + 8 + 11 + 2*o. Is p(n) composite?
False
Suppose 0*a = -5*a + 3155. Is a prime?
True
Suppose 4*x = l - 2*l - 115, 3*l - 2*x + 331 = 0. Let s = l - -190. Is s composite?
False
Is 12/(-54) - 3435/(-27) composite?
False
Let j = 25 + -2. Is j a composite number?
False
Is ((-2)/6)/(1/(-906)) prime?
False
Let i = -125 - -328. Is i prime?
False
Let i be -2*382/(-4)*1. Suppose 2*x = -u + x + 182, u = -4*x + i. Is u prime?
True
Let a(l) be the second derivative of -5*l**4/24 - 2*l**3/3 - 3*l**2/2 + 2*l. Let s(i) be the first derivative of a(i). Is s(-6) composite?
True
Suppose -4 = 2*u - 36. Suppose -2*x - 5*t + u = -3*x, 2*t = 5*x + 80. Is ((-78)/4)/(12/x) composite?
True
Let p(b) = 10*b**2 - 5. Is p(7) a prime number?
False
Let o(w) = 9*w**2 + 2*w + 4. Suppose 3*i - 4 - 5 = 0. Let f be (3/i)/(2/(-6)). Is o(f) composite?
False
Suppose c = 5*c - 4*h - 796, 2*c = -3*h + 418. Is c a prime number?
False
Suppose -2*m + m + 8 = 0. Let q(x) = -x**2 - 4*x + 5*x + 10 + 9*x. Is q(m) a prime number?
False
Is -18 + 18 - 707*-1 a composite number?
True
Let d(l) = -30*l**2 + 2*l - 7. Let z(o) = -15*o**2 + o - 3. Let i(f) = 6*d(f) - 13*z(f). Is i(2) prime?
False
Let z(o) = -o + 9. Let i be z(5). Suppose 136 = i*h - 0. Is h prime?
False
Let w(r) = -23*r + 17. Is w(-12) a prime number?
True
Suppose 635 = -2*l + 2961. Is l a prime number?
True
Suppose 4*t - 3 - 5 = 0. Suppose -10 = -5*g + 3*j, t*g + 3*j - 4 = j. Suppose g*s = 7*s - 15. Is s a composite number?
False
Suppose -3*y + 5*y = -2*i + 16, 5*i - 32 = -y. Let t = i + -9. Is 7/(t*3/(-99)) composite?
True
Let z(p) = p**3 - 6*p**2 + 6*p + 2. Let t be z(5). Let d(x) = 