*u = -2*l + 90. Is l a prime number?
True
Let o(z) = -7 + 5*z - 8*z + 3*z**3 - 2*z**3 - 3*z**2. Let s(p) = -p**2 - p + 6. Let t be s(0). Is o(t) a composite number?
False
Suppose -g - 4*g = 0. Suppose g*q + 4*o - 158 = -2*q, 3*q = 3*o + 282. Is q a composite number?
False
Suppose 4*a + 238 = 3*t - 1185, -3*a = -15. Is t composite?
True
Let y(v) = -14*v - 1. Is y(-5) a prime number?
False
Suppose -4*w - 89 - 7 = 0. Let p = 32 - 66. Let q = w - p. Is q a prime number?
False
Let s be 1/((-3)/(-54)) - 0. Let t = s - -47. Suppose 3*i + t = 2*m, -2*i + 154 = 6*m - 2*m. Is m a composite number?
False
Suppose 4*y - 1159 = 1165. Is y a prime number?
False
Suppose 0*l + 4*l - 314 = -2*r, -169 = -r + 2*l. Is r prime?
True
Let a(p) = p**2 + 1. Let s(z) = -z**3 - 11*z**2 + 10*z + 4. Let o(f) = -3*a(f) - s(f). Let c(m) = 3*m + 9. Let n be c(-6). Is o(n) a composite number?
False
Let r(t) = 4*t**2 + 8*t - 7. Is r(5) composite?
True
Let b be (-5)/(30/1251)*-6. Let c = -890 + b. Is c composite?
True
Let f = -1331 + 4017. Is (-2)/9 - f/(-18) a prime number?
True
Suppose 5509 = 4*x - 1527. Is x a prime number?
True
Let y = -55 - 3. Let q be ((-274)/(-6))/(4/12). Let l = y + q. Is l prime?
True
Suppose 0 = s + 3*s + 5*f - 1778, 0 = -3*s - 4*f + 1333. Suppose -4*d + s = -293. Is d composite?
True
Let w = 24 + -10. Let o = w + 69. Is o composite?
False
Let a = 5 - 0. Suppose -a*z = -z - 932. Is z composite?
False
Suppose h - 3*h = -2270. Is h a prime number?
False
Suppose -a = x - 489, 2209 + 196 = 5*x - 5*a. Is x prime?
False
Let h be (-4)/8 - (-2)/(-4). Let c be (-99)/(-7) - h/(-7). Let i = -5 + c. Is i composite?
True
Suppose 6 - 12 = 2*j. Let i(f) = 11*f**2 + 2*f + 1. Is i(j) composite?
True
Let f be -894*((-6)/(-4) + -2). Let g be (-2 - -6 - 5)*-2. Suppose 3*o = -4*m + 419, m + f = 3*o - g*m. Is o prime?
False
Let a(c) = -149*c**2 + c + 1. Let m be a(-1). Let l = m + 259. Suppose -8*n + l = -3*n. Is n a composite number?
True
Suppose 5*o = -q + 147, -3*o = -4*o - 3*q + 21. Let i = -17 + o. Is i a prime number?
True
Let u(s) = 8*s + 3. Suppose 0 = -4*l + d + 21, 4*d = -2*l + 2*d - 2. Is u(l) a composite number?
True
Let t = 4 - -2. Suppose 4*c - 18 = -0*q + 2*q, -q = 3*c - t. Suppose u = c*u - 62. Is u a prime number?
True
Let l(u) = u**2 - 11*u - 1. Let h be l(11). Is 89/(-1)*h/1 prime?
True
Let x(p) = 3*p**2 + 4*p + 1. Let u be x(-7). Let a = u + -26. Is a a composite number?
True
Suppose -2*r - 111 = -5*r + q, 3*q = -3*r + 111. Is r a prime number?
True
Let s = 4 - -2. Let j be (-1 - 2) + s + 0. Suppose j*m - 460 = -m. Is m prime?
False
Let u(f) = 2 - 3 + 24*f + 7*f - 6*f. Suppose -2*g = -4*g + 4. Is u(g) a prime number?
False
Let n = -204 - -845. Is n a prime number?
True
Let q(b) = -5*b**2 + 2*b - 1. Let k be q(1). Is (-506)/k + (-6)/(-12) a composite number?
False
Suppose -m - h = -409, 1235 = 4*m - m + h. Is m a prime number?
False
Suppose 0 = -p - 3*p + 2804. Is p prime?
True
Suppose 0*t = 2*t - 46. Suppose -2*q = 4*w - 30, -3*q + 2*q + 2*w = -t. Is q a composite number?
False
Suppose -4*g + 179 = y, 2*y + 241 = 4*g + 47. Suppose 2*z - 3*n = 71, -5*z - g = n - 215. Suppose 8 = 3*v - z. Is v a composite number?
True
Let u(y) = -649*y - 66. Let l(m) = -50*m - 5. Let d(v) = 66*l(v) - 5*u(v). Is d(-1) prime?
False
Let p(k) = -k**2 - 2*k + 3. Let v be p(-8). Let s = v - -200. Is s prime?
False
Let f = -16 + 22. Is (-71)/(-2) - 3/f a composite number?
True
Let d(j) = -5 + j + 1 + 0*j. Let i be d(6). Suppose 30 = -i*m + 104. Is m composite?
False
Suppose -4*w - 30 = 3*h + 20, -h + 15 = -5*w. Let v be (-16)/h*(-100)/8. Is 70/4*(-24)/v prime?
False
Let h(m) = 6*m + 2 - 4 + 3 + 4. Let o = 7 - -1. Is h(o) prime?
True
Let n(v) = 6*v**3 + v**2 + 5*v - 1. Is n(4) a composite number?
False
Let z = -1 - -1. Suppose 0 = -z*k - 4*k + 20. Suppose 0 = -r + 2*n + 11 + k, 3*r - 63 = n. Is r composite?
True
Suppose 1566 + 1799 = 5*y. Is y a prime number?
True
Let m = -516 + 737. Is m a composite number?
True
Suppose -c - 2*m + 18 = c, -4*c + 3*m + 1 = 0. Suppose -q = c*u - 95, -4*q + 4*u + 53 + 247 = 0. Is q prime?
True
Let b be 1*(-1 - (1 - 3)). Let g be 112 + 0/b + -1. Suppose i - g = -2*i. Is i a composite number?
False
Is (2/6)/(9/837) prime?
True
Let o = 2820 + -1733. Is o a composite number?
False
Let c be 3 + 2 + 3 + -5. Suppose -4*o + 18 = 5*z, 2*o - c*z + 4 - 2 = 0. Suppose -3*j + 175 = o*j. Is j a prime number?
False
Suppose -72 - 32 = -8*u. Is u composite?
False
Suppose -4*o = -20, -4*g + 6930 = o - 3*o. Is g prime?
False
Let p = 29 - -49. Is (p/13)/((-4)/(-14)) composite?
True
Suppose 0 = 3*w - p - 10, -3*p + 4 = -3*w + 22. Suppose 0*j - w*j + 166 = 0. Is j composite?
False
Let l(y) = -11*y + 2 + 2 - 3 - 2*y. Is l(-6) a prime number?
True
Suppose 4*w = -5*s + 72, 0 = -3*w + 4*s + 8 + 15. Let n = -8 + w. Suppose -3*c + n*c = 38. Is c prime?
True
Let h(i) = -i**3 + 4*i**2 - 2*i - 2. Suppose a - 1 = 1. Let g be h(a). Suppose -g*b = -2*c + 84, c - 52 = 3*b - 0*b. Is c a composite number?
False
Suppose w + 50 = r - 22, 0 = -4*r - 5*w + 279. Is r a composite number?
False
Suppose -u = -5*a - 5 - 1, -5*a = 5*u + 30. Let r be ((-2)/u)/((-1)/(-4)). Suppose -2*c + 123 = r*c - 5*y, 4*y = -5*c + 205. Is c prime?
True
Suppose -y - k = -55, -4*y + 2*k + 180 = -y. Let w = y + -81. Let v = w + 60. Is v a composite number?
False
Is 556*(-3 - 5/(-2) - -1) prime?
False
Let x be (-1 - 48)/((-12)/(-300)). Let s = -338 - x. Is s prime?
True
Let s(b) = b**3 + 5*b**2 + 3*b - 1. Let m be -4 - 1 - (-3 + 2). Let f be s(m). Suppose 44 = f*g - 22. Is g composite?
True
Suppose 4*c + 126 = -142. Let s = 116 + c. Is s a composite number?
True
Let q be 1/(-3) + 1190/15. Let s = q + -56. Is s a prime number?
True
Suppose 114 = 4*p - 2. Let f = -18 + p. Is f a prime number?
True
Let x(f) = 26*f**2 + 8*f + 17. Is x(-9) a prime number?
False
Let m(s) = s**3 - s**2 - 10*s - 3. Let p(f) = -f**3 + 10*f + 4. Let q(j) = -j - 1. Let x be q(5). Let n(d) = x*m(d) - 5*p(d). Is n(7) prime?
True
Let b(q) = q + 14. Let r be b(-9). Is ((-3470)/4)/r*-2 a prime number?
True
Let h(f) be the second derivative of f**3/6 - f**2/2 - 2*f. Let o be h(6). Suppose x = 1 + o. Is x a prime number?
False
Suppose -5*v - 274 = -3*c, 0*v - 2*v + c - 109 = 0. Let m = v + 102. Is m composite?
True
Let p(a) be the third derivative of a**4/24 - a**3/3 - a**2. Let z be p(4). Suppose -157 = -2*x - 2*r + 3*r, -z*x - 3*r = -145. Is x a composite number?
True
Let h(b) = -b**3 - 3*b**2 - 9*b - 15. Is h(-8) composite?
True
Suppose 3*u - 1 = 2. Suppose -t = -2*l + 4*l + u, -4*l - 9 = -5*t. Let x(c) = 6*c + 1. Is x(t) a composite number?
False
Let g(q) = 14*q**2 + 5*q + 13. Is g(-4) prime?
False
Let i be (-2)/(-5) + 3396/10. Let u be ((-1)/2)/(1/(-6)). Suppose -z - u*z = -i. Is z a composite number?
True
Let o(g) = -12*g + g**3 + 10*g**2 + 4 + 4*g + 2 + 3. Is o(-10) composite?
False
Suppose -5*n - 4*j = -1623, -4*j = -n - 3*j + 321. Is n a prime number?
False
Suppose 4*a + 105 = -779. Suppose f + 94 = -0*f. Let p = f - a. Is p composite?
False
Let s(g) = -g**2 - 4. Let h be s(0). Let b = h - -93. Is b a prime number?
True
Let c be 9 + -10 - 321/(-1). Let g = c + 26. Is g prime?
False
Let r(s) = s + 6. Let l be r(-7). Is (-39)/l*22/6 a composite number?
True
Let u = -122 + 205. Suppose -2*w + 6*w = g + u, -w - 5*g = -5. Let q = -9 + w. Is q a prime number?
True
Suppose 0*v + 4170 = 10*v. Is v prime?
False
Let y(o) = 3*o + 1. Is y(18) composite?
True
Let s(u) = -u**2 + 6*u - 5. Let y be s(5). Suppose y*w + 4*w = 508. Is w a composite number?
False
Suppose 0*y - 4*y = 0. Suppose y*b = 3*b - 207. Is b a prime number?
False
Let j = 189 + 207. Suppose -93 = -3*u + j. Is u composite?
False
Let v = -8 - -8. Suppose v*l - 35 = -l. Is l a prime number?
False
Let y = 815 + -396. Is y composite?
False
Let j = 607 - -66. Is j a prime number?
True
Let p(t) be the third derivative of -3*t**5/20 - t**4/24 + t**3/6 - 5*t**2. Let n(r) = 8*r**2 + r - 1. Let x(u) = 5*n(u) + 4*p(u). Is x(-4) a prime number?
True
Suppose 2*h + 120 + 240 = 0. Let d = 499 - h. Is d a prime number?
False
Let v be 4 + (8/4)/2. Suppose -v*k = -2*k - 465. Is k composite?
True
Let r(j) = -j**3 + 6*j**2 + j - 4. Suppose 15 = 4*l + a, -5*l + 0*a = -4*a - 3. Is r(l) prime?
False
Let i 