65 = 123. Is l composite?
False
Let c = 70 + -45. Suppose 0 = 5*u - 10 + 30. Let t = c + u. Is t prime?
False
Let f = -13 - -16. Is (3/3)/(f/213) a composite number?
False
Is -26*(-172)/16*2 composite?
True
Suppose 0 = -6*n + 4*n + 8. Suppose -2*p = -n, -3*t + 0*p + 4*p + 109 = 0. Is t a composite number?
True
Suppose -4*l + 2*l = 0. Suppose -h = 2*o - 6*o + 1272, 3*o - h - 953 = l. Is o composite?
True
Let o be (-86)/(-10) - 2/(-5). Suppose -58 = -i + o. Is i a composite number?
False
Suppose -3*y + 228 = 3*t, -y + t + 2*t + 92 = 0. Let r = y + -47. Is r composite?
True
Suppose 0 = -6*j + 2*j. Let f be -4 - (j - (1 + 0)). Is ((-2)/2)/(f/111) a prime number?
True
Let d(a) = a**2 - 9*a + 16. Let x(y) = 2*y - 5. Let j be x(5). Suppose 2*i - 5*g + 30 = 7*i, -3 = 2*i + j*g. Is d(i) composite?
True
Let z(u) = -71*u - 16. Is z(-7) prime?
False
Is -10*(-5)/10*127 prime?
False
Suppose 9*w + 3*q - 179 = 4*w, 2*q - 181 = -5*w. Is w a prime number?
True
Suppose -h = 2*h + 6. Is (1 - 2)/(h/218) a prime number?
True
Suppose 0 = 3*j - 3*c - 18, 0 = 4*j - j - 4*c - 20. Suppose 2*y + 3*k - 148 = -2*k, j*y - k - 274 = 0. Is y prime?
False
Let n(t) = -142*t + 3. Is n(-1) prime?
False
Suppose 5*s - 170 = 175. Suppose -2*x = -x - s. Is x prime?
False
Suppose -741 = 4*u - u. Let n = u - -366. Is n composite?
True
Suppose 2*y = 775 - 261. Is y composite?
False
Suppose -3*i - 4 - 8 = 0, 746 = 2*x + 3*i. Suppose -5*a + 196 = -x. Is a a prime number?
False
Suppose 251 + 32 = 5*y - 4*c, 2*c - 6 = 0. Is y a composite number?
False
Let b = 3 - 1. Suppose -b*z - z + 24 = 0. Let v = z + 15. Is v a prime number?
True
Let o(w) = -w**2 - 9*w + 5. Let n be o(-9). Let k = 2 - n. Is 2*(-15)/k + 0 composite?
True
Is (-3351)/(-15) + 22/(-55) a prime number?
True
Let z(o) = -2*o**3 - 5*o**2 + 11*o + 17. Is z(-7) a composite number?
True
Let s(w) = 4 + 0 - 5 + 11*w. Let a be s(1). Suppose -m + a = -0*x - 5*x, -3*x + 50 = m. Is m a composite number?
True
Suppose 242 = 4*v - t - 271, -v - 3*t + 112 = 0. Is v a composite number?
False
Let t = 516 - 253. Is t composite?
False
Suppose 0*p + 4*p = 0, 5*t - 3*p + 180 = 0. Let r = -1 - t. Is r a composite number?
True
Suppose 0*v = -2*v + 138. Let j = v - 34. Is j a composite number?
True
Let q(j) = 253*j**3 + j. Is q(1) a composite number?
True
Let t be (-4)/(-6) - 96/9. Let f = t + 16. Is ((-253)/2)/(f/(-12)) prime?
False
Suppose g = 5*g - 32. Let a be (-7)/(-4) + 2/g. Suppose -a*u = u - 267. Is u composite?
False
Let k(w) = w**3 + 13*w**2 + 5*w + 7. Is k(-10) a composite number?
False
Let q = 966 + -181. Is q a prime number?
False
Let x(z) = z - 1. Let b be x(1). Suppose b = 3*d - n - 1008, -2*d + 0*d = -n - 671. Is d a prime number?
True
Let h be (-11 + -1)/(-3)*-2. Let o(y) = -11*y + 1. Is o(h) a composite number?
False
Suppose -4*w = -0 - 20. Suppose -w*d - 58 = -3*m + 68, 4*m - 4*d - 160 = 0. Is m prime?
True
Let k = -3 + 5. Suppose -83 = -k*q + 11. Suppose i = 2*i - q. Is i a composite number?
False
Suppose 0*z + 838 = p + 3*z, 5*p - 4180 = -5*z. Suppose 0 = -6*y + y - 2*r + p, -334 = -2*y + 5*r. Is y a prime number?
True
Suppose i = -11 + 4. Let l = -2 + i. Is (-4)/6 - 609/l prime?
True
Let h be (-168)/(-77) + 2/(-11). Suppose 13 = -w - 2*o + 58, h*o = -3*w + 147. Is w a prime number?
False
Let x(r) = -24*r + 34. Is x(-7) composite?
True
Let o be (-18)/54*0/(-1). Suppose o = -2*j + j + 118. Is j a composite number?
True
Let u(p) = 63*p. Let z be u(1). Suppose 3*j - 5*o + z = 5*j, 2*j + 2*o - 48 = 0. Is j a prime number?
True
Suppose 0 = -0*r - r - 1. Let o(t) = -8*t**2 - t - 1. Let z be o(r). Let n(v) = -v**2 - 18*v + 11. Is n(z) composite?
True
Suppose -2 = -2*d + d + 4*m, 0 = -m. Suppose -1471 = -5*t + 3*s, -4*s + 3*s - d = 0. Is t composite?
False
Suppose 46 = 2*x - 462. Is x a prime number?
False
Let g be 174/(0 + 6/21). Is g/(-35)*5/(-1) prime?
False
Let p(g) = g**3 - g + 1. Let q be p(1). Suppose 2*r = 7 - q. Suppose 0 = 7*v - r*v - 204. Is v composite?
True
Suppose 4*h + 2*a - 10 = -0*a, -a + 9 = 3*h. Suppose -2*o + h*o = 16. Let j = o - 5. Is j a composite number?
False
Let q(d) = -5*d + 3. Is q(-10) prime?
True
Suppose -4*u + 7 = 19. Let q(l) = -l**3 - 2*l**2 + l + 3. Let w be q(u). Is (-950)/(-18) - (-2)/w composite?
False
Let s = 371 + 51. Is s composite?
True
Is (-4)/(-20) - (-13)/(260/79776) composite?
False
Is 642/(-10)*10/(-2) prime?
False
Let g(b) = b**3 + b**2 + b + 111. Is g(0) composite?
True
Let r(d) = d**3 + 8*d**2 + 8*d + 7. Let s be r(-7). Suppose 2*i + p - 6 - 23 = s, 0 = -3*i - 2*p + 45. Is i composite?
False
Suppose 10*u - 6*u = -204. Let p = -14 - u. Is p a prime number?
True
Let m(x) = x**3 - x + 6. Let j be m(0). Let c(y) = -7*y + 6. Let n(r) = -7*r + 5. Let b(h) = 2*c(h) - 3*n(h). Is b(j) a composite number?
True
Suppose 0 = -a + 5*h + 1387, 4*a = 3*a - 5*h + 1407. Is a composite?
True
Suppose t = n + 145, -4*t + 763 = n + 163. Is t a composite number?
False
Is (-1192)/(-6) - (-2)/6 prime?
True
Let g be 226/6 - 4/(-12). Suppose -2*h = -4 - g. Is h composite?
True
Let u(t) = t**2 + 4*t - 3. Let p be u(-5). Let c be (1 - p)*(8 - 7). Let q(l) = -176*l**3 + l**2 - l - 1. Is q(c) prime?
False
Let o = -210 - -709. Suppose -t + 6*t + o = 4*r, 5*t = -r + 156. Is r a prime number?
True
Let f = -164 - -112. Let u = f - -129. Is u a prime number?
False
Let n be ((36 + 1)*2)/(-1). Let s = n - -111. Is s a composite number?
False
Suppose 12 = 2*b + 4. Suppose 54 = -d + b*d. Let z = d + 61. Is z a prime number?
True
Let d = 4 + -4. Suppose o - 3*o + 30 = d. Is o a prime number?
False
Let i = -36 - -105. Is i composite?
True
Suppose -2*q + 6*p - 1 = 3*p, 12 = -4*p. Is q/((-10)/72) - -3 composite?
True
Suppose 0 = 2*s - 3*s. Suppose -i - 20 = -s*i. Let k = 3 - i. Is k a prime number?
True
Let u(y) = -10 + 3*y + 8 - 10*y. Suppose 4*n - 5*m = -22, -3*m = -n - 6*m + 3. Is u(n) a prime number?
True
Let w(x) = 38*x**2 + x - 2. Is w(-3) prime?
True
Let r = -6 + 10. Suppose 0 = -r*l - 5*p - 0*p + 240, p - 59 = -l. Is l composite?
True
Let h be (-31)/(-4) + 3/(-4). Let x(k) = 10*k + 7. Is x(h) composite?
True
Let l be 130/3 - 3 - (-5)/(-15). Suppose -4*u + 96 = 2*b, -3*b - b = u - 213. Let f = b + l. Is f a composite number?
True
Suppose -x - 14 = -3*x. Is x composite?
False
Let r(m) = -57*m + 1. Suppose 0*s + 8 = -2*s. Let y be r(s). Let d = y + -162. Is d prime?
True
Let y(z) = -8*z**3 + z - 1. Let s be y(1). Let w be 60/s + (-1)/2. Let r = 161 - w. Is r a composite number?
True
Suppose 3*z + 472 = -8. Let h = z - -253. Is h a composite number?
True
Is (1936 - 2)*((-36)/8 - -5) a prime number?
True
Let n(z) = -z**3 + 2*z**2 + z + 3. Let p be n(3). Let l(y) = 8*y**3 - 3*y**2 - 7*y - 5. Let a be l(-4). Is a/p + (-4)/2 composite?
True
Let l(r) = -r + 15. Let v be l(11). Suppose -4*u + 43 = 5*z, 0 = v*u + z + 2*z - 37. Is u prime?
True
Let s(q) = q**2 + 8*q - 4. Let z be s(-7). Let r(o) = -o**3 - 12*o**2 + o - 4. Let d be r(z). Let g = d - -213. Is g a prime number?
False
Let u(p) = 5*p - 7. Let n(o) = 8*o - 10. Suppose 16 = -4*b - 0*a + a, 5*b - a + 21 = 0. Let s(x) = b*n(x) + 7*u(x). Is s(-5) composite?
True
Let k(g) = 2*g**2 - 5*g + 2. Is k(-5) composite?
True
Let x(a) = a + 9. Is x(5) composite?
True
Let b = -34 + 47. Suppose 5*l - 4*v - 11 = 0, -4*l + v - 2*v = -b. Is l composite?
False
Suppose 2046 = -4*w + 10*w. Is w composite?
True
Let r(d) be the second derivative of d**5/10 - d**4/2 - d**3/3 - d**2/2 + 7*d. Let j = -1 - -6. Is r(j) a composite number?
False
Let h(r) = 186*r + 1. Let u be h(1). Let q = u + -72. Is q a prime number?
False
Suppose 3*i = -4*o + 320 + 91, 5*o + 685 = 5*i. Let n = i - 72. Is n a composite number?
True
Let s be ((-4)/6)/(8/(-3516)). Suppose -z - 4*t = 4*z - 365, 0 = -4*z - 3*t + s. Is z prime?
False
Suppose 2*h - 316 - 378 = 0. Suppose 5*x - 4*x = h. Is x composite?
False
Suppose 0 = 5*y + 2*b - 16, -2*b + 13 = 5*y - b. Let m be (3/2)/(1/y). Suppose -4*g + 209 = -0*p + m*p, 4*g - 3*p = 215. Is g prime?
True
Let w(j) = -2*j - 1. Let t be w(-2). Suppose x - 4 = -2, t*z = x + 19. Is z prime?
True
Let c(u) be the third derivative of 0 + 1/6*u**5 + 1/2*u**3 - u**2 + 0*u - 1/8*u**4. Is c(2) composite?
False
Let h = -10 - -16. Is h/24 - (-939)/4 composite?
True
Let o = -2 - -15. Let u be o/11 