2 - 2 - 6*m + 3*m. Is q(z) a prime number?
True
Is (-3686)/(-18) - (-4)/18 prime?
False
Suppose z + 6 = -2*t, -4*z - 2*t = -0*t. Let o(k) = 2*k**2 - 4*k + 3. Let l be o(-4). Let j = l + z. Is j composite?
False
Suppose 3*v - 758 = 2*k, 0 = -5*v + 5*k - 673 + 1928. Suppose 0*b + b - 1 = -5*i, 5*b + i + 43 = 0. Is 2/b + v/18 a composite number?
True
Let p(i) = i**3 - 2*i**2 + 3*i + 9. Is p(4) a composite number?
False
Let n be (-6)/(-9) - (-2954)/6. Let r = n + -334. Is r composite?
True
Let p be (2 + -1)/((-5)/(-10)). Suppose 3*u + 5*v - 1 = 0, -p*v + 8 = -5*u + 20. Suppose 0*r - 2*r + 40 = u*n, -3*n = r - 70. Is n composite?
True
Suppose 7*b - 1467 = 10. Is b prime?
True
Is (-6)/(-12) - (-993)/2 composite?
True
Let x = 0 + -3. Let y = 5 + x. Is y/(-8) + 141/4 a composite number?
True
Let d = -4 + 7. Suppose 2*b + f - 672 = 0, -d*b = -0*b + 3*f - 1011. Is b a prime number?
False
Suppose 0 = n - 5*n + 452. Is n composite?
False
Let c(l) be the second derivative of 0 - 1/6*l**3 + 7/2*l**2 - 3*l. Is c(0) a composite number?
False
Let h be 2/5 - (-99)/15. Suppose -1 = 2*g - h. Suppose 109 = g*l + 7. Is l prime?
False
Is ((-139)/2)/(2/(0 - 8)) prime?
False
Suppose 6*z - 1162 = 4*z. Is z a composite number?
True
Let a(j) = -j**3 + 2*j - 21 + 19 + 2*j**2 + 0*j**3. Is a(-3) a prime number?
True
Suppose 0 = -4*h + 2*h + 12. Let c be h/9 + 2/(-3). Is (79 - c)/(-1 - -2) a composite number?
False
Let t(x) be the first derivative of -x**2/2 - 2. Let r(y) = -2*y - 4. Let p(f) = r(f) - 4*t(f). Is p(4) composite?
True
Let h(k) = k + 234. Let d be h(0). Suppose -2*l = -5*l + d. Suppose l = 2*m - 40. Is m a composite number?
False
Suppose -1826 = -3*x + g, -3*g = -7*g - 20. Suppose 4*f + 159 = x. Suppose -3*j + 73 = -0*z + 5*z, f = 4*j + 3*z. Is j a prime number?
True
Let v(t) = t**2 + 6*t - 24. Is v(-17) prime?
True
Let w(q) = 3*q**2 + 5. Suppose -3*f + 7 = -5. Is w(f) composite?
False
Suppose 3*v + 54 = -5*i - 133, -4*i - 128 = -3*v. Let l = 144 - i. Is l a prime number?
True
Suppose n - 4*v = 42, 3*n - v + 66 = 5*n. Let b = 55 - n. Is b composite?
True
Suppose 2*a - 3659 - 783 = 0. Is a a prime number?
True
Let s(n) = 3*n - 2. Let d be s(-2). Let i be (-1 + d/(-6))*0. Is (-2 - -1)*(-11 - i) a prime number?
True
Suppose 0 = -4*d, -2*y + 3*d = -7*y. Is y - 154/4*-2 a prime number?
False
Is 97/((-10)/(-4) - 2) prime?
False
Is ((-15)/(-6))/((-3)/(-2082)) a composite number?
True
Let a be (-14)/3 + 8/12. Let i(t) = -2*t**3 - 6*t**2 - 5*t + 1. Is i(a) a prime number?
True
Let j(f) = -2*f - 1. Let m be j(-2). Suppose m*u + 0*u = 12. Suppose 0 = 4*i, 79 = -4*q + 5*q + u*i. Is q a prime number?
True
Let z = 1578 - 2850. Is (3/9)/((-4)/z) a prime number?
False
Let a(x) = -x**2 + 6*x - 6. Let f be a(4). Suppose -3*k - 2 = -f*k. Let i(u) = -3*u**3 + 2*u**2 - 1. Is i(k) composite?
False
Suppose 12*l = 16*l - 1052. Is l a prime number?
True
Suppose 2*w + 4*o - 969 = 113, -3*w = -4*o - 1583. Is w a composite number?
True
Is (-1)/(-3) - 3172/(-6) composite?
True
Let m(r) = 4*r - 9. Let i(b) = b**2 - b - 5. Let d be i(-3). Is m(d) a prime number?
True
Let m(q) = -q**3 + 5*q**2 - q + 7. Let w(g) = g**2 + 5*g + 5. Let c be w(-5). Let a be m(c). Is (-22)/(-4)*a - -2 composite?
False
Suppose -4*k + 1316 = 2*i, -6*k - 2*i = -k - 1645. Is k composite?
True
Let j = 4 + -5. Let y(q) be the first derivative of 34*q**3/3 - q**2/2 + 2. Is y(j) composite?
True
Let f(k) = k**2 - 4. Suppose 0*v + 2*j - 12 = -4*v, j - 12 = -4*v. Suppose -i + 14 = -v*o, -17 = 3*o + i + i. Is f(o) prime?
False
Let c(p) = p**2 - 2*p + 1. Let o be c(1). Suppose o = -z - 4, -5*t + 36 = -4*z - 15. Let w(q) = q**3 - 6*q**2 - 7*q + 7. Is w(t) prime?
True
Let s = -63 - -160. Is s a composite number?
False
Let l(u) = 2332*u**2 - u + 2. Is l(1) prime?
True
Let j(s) = -7*s - 1. Let i be j(-1). Suppose -i*y + y + 110 = 0. Is y a prime number?
False
Is (0 + -206)*(54/(-12))/9 a prime number?
True
Let j(l) = -13*l - 12*l + 10*l. Is j(-1) composite?
True
Let p = 7 + -4. Let n be ((-3)/p)/(1/(-87)). Suppose -4*f + 443 = n. Is f composite?
False
Suppose 4*r + 2*j - 418 = 4*j, -5*r + 5*j = -530. Is r composite?
False
Let r be (6/(-9))/((-1)/3). Is ((-256)/r + 1)*-5 composite?
True
Let q(w) = 35*w + 1. Is q(6) a composite number?
False
Let k be (-162)/63*28/(-6). Suppose 108 + k = -4*o. Let z = -11 - o. Is z a prime number?
True
Let a(x) = 4*x + x - 3 + 0*x. Is a(2) a prime number?
True
Let u(q) = -3*q**3 - 5*q**2 + 4*q + 4. Let z(c) = c - 9. Let v be z(5). Let a be u(v). Let b = a + -51. Is b composite?
True
Let v = 5 - -12. Let a = -12 + v. Is (71/(-2))/(a/(-50)) a composite number?
True
Let t(l) = 15*l - 1. Let d(s) = -s**2 + s + 1. Let h be d(0). Is t(h) a prime number?
False
Suppose -l = w - 532, 2*w = -2*w + 3*l + 2093. Is w a prime number?
False
Let i(q) = -35*q**2 + 2*q - 1. Let r be i(3). Let y = r - -501. Is y composite?
False
Let k(p) = 1. Let b(c) = 1. Let a(g) = 2*b(g) - 3*k(g). Let q(i) = 36*i - 5. Let t(y) = -4*a(y) + q(y). Is t(1) prime?
False
Suppose 3*q = 15, j + q - 178 = 2*q. Is j a prime number?
False
Let n(m) = -m**3 - 5*m**2 - 5*m - 4. Is n(-5) composite?
True
Suppose 2*w = w - 28. Let y = 36 + -113. Let z = w - y. Is z prime?
False
Suppose -h + 5 + 37 = -5*q, 2*h - 5*q = 69. Let g = h - 13. Is 270/g + 2/(-7) prime?
True
Suppose -95*u + 4358 = -93*u. Is u composite?
False
Let n be 6/14 - (-162)/63. Suppose 95 - 23 = n*l. Is (l/(-16))/(6/(-56)) composite?
True
Let m(p) = -p**3 + 4*p**2 - 2*p - 2. Let s be m(3). Suppose -t + s = -3. Suppose 0 = 5*l + 3*k - 125, -6*l + 39 = -t*l - k. Is l composite?
True
Let h be (32/5)/(1/(-10)). Let k(i) = 13*i**3 - 2*i**2 - 1. Let u be k(-2). Let l = h - u. Is l composite?
True
Suppose 4*y + 8 = 6*y. Is ((-2)/8)/(y/(-2224)) prime?
True
Is 256 - (7 - 4)/1 a prime number?
False
Suppose 4*t - 5*x - 1330 = 0, 3*x - 1344 = -4*t + x. Is t a composite number?
True
Let o(s) = -4*s**2 - 3*s + 2. Let q be 1*-1 + (-4 - -2). Let g be o(q). Is ((-40)/g)/(4/10) prime?
False
Let t(r) = -r**2 - 12*r - 10. Let z(m) = -m**2 - 9*m - 10. Let p be z(-9). Is t(p) a composite number?
True
Suppose 2*u + j + 7 = 6*u, -u + j - 2 = 0. Suppose x = -5*h - 13, 0 = u*h + 2*x - 4*x. Let w(n) = -n**3 + n - 2. Is w(h) prime?
False
Is (-6)/(-6)*19*67 a composite number?
True
Suppose 3*x = -4*i + 5*x + 2340, -5*x - 1154 = -2*i. Is i a prime number?
True
Suppose 0*k + 5*y - 301 = -k, -5*k + 1449 = -3*y. Is k a prime number?
False
Let h be ((-4)/5)/((-4)/80). Let q = h - 11. Suppose q*x - 5*j - 138 = -18, 4*x - 98 = 5*j. Is x a composite number?
True
Let d = 11 + -8. Suppose -d*w + 10 = -w. Suppose 3*n = 5*u + 36, u - 44 = -w*n + 4*u. Is n composite?
False
Suppose 22 - 6 = 4*d. Suppose -4*h = d, q - 3*h = -q + 257. Is q prime?
True
Suppose -7*v = -2*v - 15. Is (-6)/(-1 + v/(-6)) a composite number?
True
Let o(u) = -244*u + 13. Is o(-6) a composite number?
True
Let i = 38 + -22. Let d be (-12)/i + (-430)/(-8). Suppose d = 5*n - 477. Is n composite?
True
Suppose 2*v = -4*b - 596, -5*b - 745 = 2*v + 3*v. Is (-1 - b) + -1 + -2 composite?
True
Let i = -71 - -102. Let x = i - 0. Is x a composite number?
False
Let i = 56 - 34. Let y be i*(2 - 7/2). Let c = y - -70. Is c prime?
True
Is 2/5 + 228/5 a composite number?
True
Let g(j) = -j**3 - 5*j**2 - 6*j - 3. Let p be g(-4). Let m(v) be the first derivative of -v**4/4 + 2*v**3 + 3*v**2 - 1. Is m(p) composite?
True
Let c(f) = -f**2 - 2*f + 3. Let p(u) = u - 1. Let j(y) = -c(y) - p(y). Let h be j(-3). Suppose -w - 9 = 4*o - 36, -h*w + 82 = 3*o. Is w a prime number?
True
Let u(p) = p. Let z(b) = -b - 26. Let l(j) = -2*u(j) - z(j). Let t be (0 - 1)/(-1)*0. Is l(t) a composite number?
True
Let s be 2/9 + (-3910)/18. Let m(z) = 314*z. Let x be m(1). Let k = s + x. Is k a composite number?
False
Suppose 0 = 2*f + 2*h + 3*h - 360, 3*f + 3*h = 549. Is f a prime number?
False
Let c(w) = -342*w + 10. Let u be c(-6). Is (-12)/(-20) - u/(-5) prime?
False
Let r(q) = q**3 - q**2 - 11*q + 4. Is r(9) prime?
False
Let k be 4/(-14) + (-185)/(-35). Let p(o) = 5*o**3 - 7*o**2 + 2*o + 7. Is p(k) a composite number?
False
Suppose 0*k + k = 0. Suppose 57 = 3*r - k*r. Is r a prime number?
True
Suppose -5*u + 4*u + 131 = 0. Let h = u - 52. Is h a prime number?
True
Suppose 22 + 195 = 2*p