u) = -7*k(u) - 6*y(u). Is i(g) composite?
True
Let f(h) = -h**2 - 3. Let q be f(0). Is 6/2*(-158)/q a prime number?
False
Let h(g) = -g**2 + 4*g - 1. Let w be h(3). Suppose -3*f = w*s - 280 + 17, 20 = -4*s. Is f a prime number?
False
Let c = 54 + -17. Is c a composite number?
False
Suppose 50*i + 3129 = 53*i. Is i a composite number?
True
Suppose -51 = -4*q + 21. Suppose q*i = 13*i + 635. Is i a prime number?
True
Is ((-1)/(9/6))/(2/(-417)) a prime number?
True
Let r(w) = -w**3 + 6*w**2 + 1. Let v be r(6). Is -2 + 4 + v + 76 a composite number?
False
Let v = 952 - -27. Is v composite?
True
Let m(l) = l - 11. Let d(c) = c - 6. Let r(x) = -5*d(x) + 3*m(x). Let v be r(-4). Suppose -v*b = -3*s - 59, b + s - 4*s - 7 = 0. Is b prime?
True
Let v(s) = s**2 + 5*s + 1. Let z be v(-5). Let j = 1 - z. Is 2 + (131 - 2) + j prime?
True
Suppose 7*a = 3*y + 2*a - 73, -2*a + 39 = y. Is y a prime number?
True
Is (-7)/(-2 + (-266)/(-134)) composite?
True
Suppose 8*d - 1463 + 31 = 0. Is d a composite number?
False
Let t be (0 + 3/(-9))*-6. Suppose 2*a + t = 44. Is a prime?
False
Let c = 4 - 7. Let k(j) = -j + 3. Let f be k(c). Suppose 3*z + 105 = f*z. Is z a composite number?
True
Let g(t) = -t**2 - 4*t + 7. Let u be g(-6). Let l(j) = -j**2 - 6*j - 1. Let m be l(u). Suppose -5*i - 2*f + m*f = -33, 2*i - 12 = 2*f. Is i composite?
False
Let r(m) = -2*m**2 - 39*m - 5. Let b(t) = -t**2 - 19*t - 3. Let z(j) = 5*b(j) - 2*r(j). Is z(-14) prime?
True
Let w(v) = v**3 + 6*v**2 + 8. Let y be w(-6). Let g be ((-4)/y)/(1/(-2)). Is 65/2 - g/(-2) a composite number?
True
Suppose -4*j - v - 7 = 0, 2 = 3*j - 2*v - 1. Let i(h) = -h - 1. Let z(f) = -22*f + 2. Let n(s) = j*z(s) + i(s). Is n(2) a composite number?
True
Is 15/(-6)*(-3352)/10 a prime number?
False
Let r(a) = -5*a**3 + 3*a**2 - a - 2. Suppose -15 = 4*w + w. Let u be r(w). Let p = u - 50. Is p prime?
True
Let n(t) = t**3 - 7*t**2 + 7*t. Let a = 22 - 10. Suppose 0 = 3*f - a - 9. Is n(f) a composite number?
True
Suppose 3*m - 50 = 2*m. Let q = -24 + m. Is q prime?
False
Let t = -37 - -267. Suppose t = 4*r - 582. Is r prime?
False
Let k(p) = -p**3 + 2*p - 1. Let q be k(1). Suppose n - 4*n + 393 = q. Is n composite?
False
Let t = 90 + 217. Is t a composite number?
False
Let h = 513 + -134. Is h a composite number?
False
Suppose 4*g - 2 = 6. Let v(u) = 5*u**3 - 5*u**2 + 3 - 2*u**3 - 2*u + 4*u**2. Is v(g) a prime number?
True
Let v = -157 + 593. Let c be (-6)/27 - v/(-18). Suppose -2*f + 94 - c = 4*z, -5 = z - 4*f. Is z a prime number?
False
Let p = 3426 + -1487. Is p composite?
True
Let t(z) = z**2 + 6*z + 1. Let p be t(-5). Let c(d) = 7*d**2 - 3*d - 3. Is c(p) a composite number?
True
Suppose -30 = 2*d + 70. Let t = d - -195. Is t prime?
False
Let p = 1157 - 414. Is p composite?
False
Let j = -119 + 186. Is j a composite number?
False
Let o(i) = -i**3 + 13*i**2 + 9*i + 6. Let l(k) = -k**2 - 7*k + 7. Let r be l(-6). Is o(r) a prime number?
False
Let s be 1/(-3*1/(-162)). Is (-4)/(-18) - (-1986)/s a prime number?
True
Let o = 363 - 164. Is o composite?
False
Suppose d - 1879 = 3108. Is d prime?
True
Let a(c) = 2*c. Let j be a(3). Let m = j + 41. Is m composite?
False
Let i(b) = -b + 37. Suppose 3*n = 3*p + 6, p + 3*n - n - 1 = 0. Let j = p - -1. Is i(j) a prime number?
True
Suppose -g = s + 4*g + 19, -2 = 2*s - 2*g. Let f(l) = 0*l + 6*l**2 - 3 + l - 2*l + 5*l. Is f(s) a composite number?
True
Is 1994*((-15)/(-10))/3 prime?
True
Suppose 2*w - 3*i = 5, 2*i = -3*w + 4*w - 2. Let r = -2 + w. Suppose n - r*n = -7. Is n composite?
False
Suppose -3*q - 7278 = -3*d, -4*q - 3638 = -3*d + 3639. Is d composite?
True
Suppose 4*z + 0*z + 2*s - 22 = 0, 4 = 3*z - s. Suppose -3*w + 2*w + 230 = -2*d, 3 = -z*d. Let h = w + -149. Is h composite?
False
Suppose 0 = 6*x - 3*x - 15. Suppose -60 - 110 = -x*h. Is h prime?
False
Let y = -2 - -3. Let s be ((-70)/25)/(y/(-5)). Is 136/s - 6/(-21) composite?
True
Let d(t) = 183*t + 13. Is d(4) a prime number?
False
Let c = 5 + -6. Let l be (c - 4/(-2))*0. Is (58 - l)/((-6)/(-21)) a prime number?
False
Suppose -a - 3*k + 18 = 0, -7 - 7 = a - 5*k. Is ((-2198)/21)/((-4)/a) a prime number?
True
Let o(b) be the first derivative of -b**3/3 + 5*b**2/2 + 5*b + 1. Let q be o(5). Suppose -j - j + 103 = 5*n, -q*n + 2*j + 107 = 0. Is n a composite number?
True
Let j(x) = x**2 - 8*x - 9. Let d be j(9). Let n(l) = 4 - 3*l - 2*l**2 + 4*l + l**3 - 1 + d*l. Is n(5) prime?
True
Let k(l) = -l**3 + 6*l**2 + 3*l + 1. Is k(6) prime?
True
Is -2 + 21/15 + 7376/10 composite?
True
Suppose 0 = -3*h - h + 652. Is h composite?
False
Let w = -15 + 17. Is 158 + -1 - (w - 4) a prime number?
False
Is 8/2 + (-2025)/(-3) a prime number?
False
Suppose 3*s = -0*s. Let h = -40 - -59. Let i = h - s. Is i a prime number?
True
Suppose 0 = z - 2*z + 5*p + 42, -4*z - 5*p + 293 = 0. Is z a prime number?
True
Let c = -6795 + 10300. Is c a prime number?
False
Let n = 142 - 63. Is n composite?
False
Let i be -2 + 2 + 0/(-3). Let z = i + 5. Suppose -4*o + 582 = t, t + t = -z*o + 729. Is o a prime number?
False
Let q = 121 - 62. Is q a prime number?
True
Let f = 7112 + -4185. Is f composite?
False
Suppose -2*m + 18 = 3*p - 7*p, 5*m - 45 = 2*p. Is 28/6*m/6 a composite number?
False
Suppose -4*l = -8 - 120. Suppose -g - 5*q + 17 = 52, 4*q + l = -g. Let h = 43 + g. Is h prime?
True
Let v be (-3)/18*-4*12. Suppose -3*w = -v*w + 5. Is 48 + (w - -1 - 3) composite?
False
Let f = -3 - -7. Let i be 1/f + (-2)/8. Suppose -6*x = 3*s - 2*x - 25, -3*x - 15 = i. Is s prime?
False
Is (-1 - 0)*(-4)/(12/153) prime?
False
Let x(r) = 41*r - 5. Let t be x(4). Suppose 146 = -4*z + y + 352, -t = -3*z + 3*y. Is z a composite number?
True
Let v(c) = -9*c + 2. Let y(l) = -l + 1. Let z(t) = v(t) + 3*y(t). Let u(h) = -2*h**2 + 3*h. Let g be u(3). Is z(g) composite?
False
Is ((-7 - -8) + 0)*(0 - -329) prime?
False
Suppose 5*w = 3*w + 5*m + 4515, -3*w + 5*m + 6760 = 0. Is w a prime number?
False
Let r be 4/4 - 0/1. Is (-9)/(3/r) + 124 a prime number?
False
Let z(n) = n**2 + 6*n + 7. Let k be z(-5). Suppose -f = -k*f. Is (f - -1) + 34/1 composite?
True
Suppose -4*m + 898 = l - m, 3*l + 2*m - 2673 = 0. Is l composite?
True
Let d(q) = -q**2 - 11*q - 6. Let j be d(-9). Is 717/j - (-9)/(-12) prime?
True
Let y = -129 - -674. Suppose -7*k = -2*k - y. Is k a composite number?
False
Let x = -1 + 1. Let t = 3 + x. Suppose 3*u = -t, -u - 4*u + 72 = s. Is s a prime number?
False
Suppose 122 = 4*w + 10. Let j(g) = g**3 - 3*g**2 - 3*g - 2. Let o be j(4). Suppose -o*f - f + 86 = 4*l, f + l = w. Is f a composite number?
True
Let q(h) = h**3 - h**2 + 3. Let l be q(0). Is (159/(-6) - l)*-2 prime?
True
Let p(a) = -3*a - 1. Let b be p(-1). Is -3 + 2 + b + 466 composite?
False
Let q be (-1254)/(-21) + 4/14. Let j = q - 25. Is j prime?
False
Suppose 5*l = l + 472. Is l a prime number?
False
Let z be 10*(-3 + (-11)/(-2)). Let s = -18 + z. Is s composite?
False
Suppose 1012 = 6*n - 4*n. Let y = -269 + n. Is y a prime number?
False
Is 730 + (-4 - 1) + 6 composite?
True
Suppose -4*k - 3*q = -11, -2*k - q - 2*q = -7. Suppose -c + 0 = -1, -k*j - 5*c + 11 = 0. Suppose j*r = i - r - 73, 5*i - 255 = -2*r. Is i a composite number?
False
Let u(h) = -h. Let b be u(-7). Suppose 435 = b*f - 2*f. Is f composite?
True
Let q = -8 + 12. Suppose -q*n + v + 904 - 288 = 0, n - v = 151. Is n prime?
False
Suppose -3*f - 3*i - 483 = -f, 0 = 3*i + 15. Let n = -152 - f. Is n a composite number?
True
Is (-4)/(-18) - 383960/(-72) a prime number?
True
Suppose -4 = -4*k + 4*n, -2*k - k + n = 7. Is 5/10 + (-578)/k a composite number?
True
Let q = -6 + 8. Suppose -2*w - q = 8. Let t(g) = -g**3 - 4*g**2 - 2*g - 4. Is t(w) composite?
False
Let y(c) = -8*c + 9. Let n = -10 + 2. Let o be y(n). Let h = o - -16. Is h a composite number?
False
Suppose 4*h - 5465 + 1353 = -2*u, -2058 = -2*h - 2*u. Is h a composite number?
True
Suppose -394 = -13*w + 61. Is w a composite number?
True
Let b(g) = -3*g + 1. Let u be b(1). Let s be u/(-6) + 5/3. Let c = 5 - s. Is c composite?
False
Let z be ((-108)/(-8))/(1/(-8)). Is 3/(-3) - z/2 composite?
False
Let i(n) = 16*n**2 - 8*n + 1. Let j(x) = 8*x**2 - 4*x. Let c(w) = -3*i(w) + 7*j(w). Let d be (1/(-3))/(3/18). Is c(d) prime?
True
Is 3 + (-5)/(-10)*326 a composite number?
True
Suppose 0 = 7*m - 3*m +