 c = 88 + x. Suppose 4*m - 3*m = -o + c, -3*m + 102 = -o. Is m a composite number?
True
Suppose l + 4*c = -2, -c = -5*l - 6*c + 5. Is (7/l)/((-1)/(-6)) prime?
False
Let n(u) = -u - 6. Let k be n(-6). Let d = k + 2. Suppose -2*p + 451 = 5*z, d*z = 4*p - p + 188. Is z prime?
False
Suppose 2945 = 2*f + 3*f. Suppose -3*l = -5*n - f, -2*n = 5*l - 0*l - 1023. Is l prime?
False
Let a(w) = 143*w + 2. Let l be a(1). Let j = l + -99. Is j a prime number?
False
Let o be -46*-7*(-2)/4. Let q = 318 + o. Is q prime?
True
Is ((-534)/(-4))/((-1)/(-2)) composite?
True
Let u(v) = -16*v + 18. Is u(-8) composite?
True
Let c = -10 + 17. Suppose 2*n + 115 = c*n. Is n composite?
False
Let o(r) = 2*r**3 - 7*r + 5. Let f be o(4). Let v = 127 - 53. Let z = f - v. Is z a composite number?
False
Suppose y - 4*n - 145 = 0, 216 = 5*y + 5*n - 584. Suppose -y = -2*f - 3. Is f a prime number?
False
Suppose -3*g + 32 + 4 = 0. Is 1055/20 + 3/g composite?
False
Let b = 36 + -21. Let o be (0 - 6)*10/b. Is (o - -2)*(-26)/4 prime?
True
Let r(y) = 10*y**2 + 6 - y - 3 - 2 + 2*y. Is r(-2) a prime number?
False
Suppose 5*c + 1657 = 3*s - 4563, s - 2045 = -4*c. Suppose 5*l + 0*l = s. Is l a composite number?
True
Is (-3 + (-221 - -3))*-1 prime?
False
Suppose -508 = -2*a + 870. Is a a composite number?
True
Suppose 2*w = 3 + 3. Suppose 4*c + 4*h = 236, -5*h - 55 + 240 = w*c. Is c a prime number?
False
Let f = -42 - -59. Let g = 4 + f. Is g a composite number?
True
Let b = 21 - 46. Let g = 58 + b. Suppose -x - 152 = -5*m - g, -m = 2*x - 15. Is m a composite number?
False
Suppose 12*r = 8*r + 1180. Is r prime?
False
Suppose 0 = c - 5*x - 1 + 18, -3 = 3*c - 3*x. Suppose -c*a = -3*q + 273, 0 = -4*a + 8*a + 8. Suppose 0*f - q = -f. Is f prime?
True
Let w = -7 - -2. Let a be 2/w - (-6)/(-10). Is 98 + (2 - 2) + a a prime number?
True
Let q = 11 + -6. Let m(p) = p**2 - 2*p + 5. Let g be m(q). Suppose 276 = -w + 4*w + 3*k, -g = -4*k. Is w a composite number?
True
Let q(g) = -g. Let t be q(-3). Suppose 0 = 5*h - 3*x - 0*x - 61, 2*h + t*x - 37 = 0. Let f = 25 - h. Is f prime?
True
Suppose 7*q = 5*q + 474. Suppose 5*x - q = 2*g + 102, 5*g - 57 = -x. Is x a composite number?
False
Let g be 163/(-2 - (-5 + 2)). Suppose 207 = 5*r - g. Is r prime?
False
Let r = -2 + 1. Let j be (-168 - -7)/(r/1). Let h = j - 96. Is h prime?
False
Suppose 0 = 6*x - x - 20. Suppose 377 = x*q + 117. Is q a composite number?
True
Is (-131)/2*(0 - 2) a composite number?
False
Let b be 6/9*(-2 - 1). Let a(n) = 37*n**2 + 1. Is a(b) a composite number?
False
Suppose 0 = -4*u - 5*n + 120, 5*u - n = -2*n + 171. Is (-1*3)/3 + u prime?
False
Let z be -4 + -3 + 2/1. Let l(j) = -10*j + 1. Let h(a) = -a + 1. Let c(d) = 6*h(d) + l(d). Is c(z) prime?
False
Let n(q) = -q - 4. Suppose 3*o - 2*o = -2. Let k be n(o). Is 33/(-12)*k*6 a prime number?
False
Let t = 51 - -110. Suppose 3*f = 2*l + t, -3*l = f - 0*f - 72. Is f prime?
False
Let p = 680 + -387. Is p a composite number?
False
Suppose 8 = 2*a + 2*w, -4*a + 20 = 3*w + 3. Suppose -2 = g + g, a*d = -g + 234. Is d a composite number?
False
Suppose 354 = 5*l - 4*a, l - 2*a + 6*a - 66 = 0. Suppose -3*u = -8*u + l. Is u a composite number?
True
Let a(v) be the first derivative of 2*v**3 + v**2 + v - 1. Let g = -3 + 0. Is a(g) a prime number?
False
Let v be 2/3 - 12/(-9). Suppose -2*y = -0*y - 2*p + 16, -5*y = p + 52. Is (-1 - 6)/(v/y) prime?
False
Let n(u) = -81*u - 13. Is n(-10) a prime number?
True
Suppose -j = -f - 2, 0 = -j - 3*j + f - 4. Let u be (1/3)/(j/(-18)). Suppose 176 + 31 = u*c. Is c a composite number?
True
Suppose 0 = -m + 8 - 3. Suppose -2*h + 367 = -2*q - 25, m*q + 25 = 0. Is h a composite number?
False
Suppose -w - p + 6 = 0, -w + 4*p = -0*w + 14. Let k(j) = 2*j**3 + 2*j**2 - 3*j + 3. Is k(w) prime?
False
Suppose h - 2*s - 1 - 7 = 0, -3*s + 14 = 5*h. Suppose -i = 4*o - 0*o + 3, -h*i - 12 = 3*o. Is 4/6*(i - -114) prime?
False
Let m(z) = z**3 + 13*z**2 - 16*z - 3. Is m(-13) composite?
True
Let p be 0*(8/(-6))/(-4). Suppose t - 5*c = 5, t = c - p*c + 17. Let b = 41 - t. Is b a composite number?
True
Suppose -2*o - 618 = -4*g, 3*g + 2*o = o + 476. Is g a prime number?
True
Suppose -2*l - f + 8 = 0, 3*f - 1 = l + 9. Suppose 0 = l*z - 5*p - 35, -2*z + p = -6*z + 15. Is (-6 + z)*(0 - 55) a composite number?
True
Suppose 0 = -h - 4*h + 20. Suppose 81 = z + h. Is 2/((-1)/z*-2) prime?
False
Let f(p) = 3*p - 6. Let y(g) = 2*g - 6. Let s(c) = -4*f(c) + 5*y(c). Let t be s(-5). Suppose 57 = t*k - 47. Is k composite?
True
Suppose -5*s = -3*p - 3980, -3*s - 2*p - 3*p + 2354 = 0. Is s composite?
True
Let t = -307 - -1214. Is t composite?
False
Suppose -5*t + i = -10 - 22, 4*t + 3*i - 37 = 0. Let k be 2/t + 8/(-28). Suppose 0 = -y - k*y + 97. Is y a composite number?
False
Let b(g) = 46*g**2 - 19*g - 7. Is b(8) a prime number?
False
Is (-1 + 2)*(-4 - (-5 - 1318)) a prime number?
True
Suppose -6*b - 83 = -377. Is b a prime number?
False
Let o(j) = -3*j + 4. Suppose -r - 2 = 7. Is o(r) a prime number?
True
Suppose h + 36 = 3*h. Is 7119/h - (-2)/(-4) prime?
False
Let u = 454 - -1231. Is u a composite number?
True
Suppose 0 = 12*g - 10*g - 3314. Is g a prime number?
True
Suppose 2378 = 5*f - 132. Is f composite?
True
Let m(h) = -h**3 - 12*h**2 + h. Let q be m(-12). Is (9 + q)*(-11)/1 a composite number?
True
Let g = -8 - -6. Let v(j) = 13*j**2 - 3*j - 3. Is v(g) a prime number?
False
Let s be (-4)/(-2) - (-2 - 1651). Suppose -6*q = -q - s. Is q a composite number?
False
Let p = -4 - -5. Let c be (-1)/1*p*-45. Suppose c + 150 = 3*n. Is n prime?
False
Suppose 5*x = 1122 + 2963. Is x prime?
False
Let s(q) be the third derivative of q**5/60 - 11*q**4/24 - 13*q**3/6 + 5*q**2. Is s(-9) prime?
True
Let w = -100 - -193. Is w composite?
True
Let a(m) = -m**3 + 16*m**2 + m - 17. Let t be a(16). Is (59 + t)/(5/5) prime?
False
Suppose -7*x + 16076 = 4897. Is x a prime number?
True
Let t be (-6 - -3 - -6) + -157. Let p = -9 - t. Is p a composite number?
True
Let y(u) = -u**3 + 4*u**2 - u - 3. Let n be 2/9 + (-16)/(-9). Suppose 0 = 4*m - n*m - x - 1, 25 = 5*x. Is y(m) prime?
True
Suppose -5*i + 1 = -2*p, -3*p + 12 = 2*i + 2*p. Let d(t) = -t**2 - i + 0*t - t**3 - 4*t - t. Is d(-4) a prime number?
True
Suppose 2*j + 3*m - 2*m - 10 = 0, -5*j = -2*m - 25. Suppose -j*w - 4*o = 10, 4*w - 28 = o + 3*o. Is w/8 + (-2485)/(-28) a prime number?
True
Let g(c) = 38*c - 17. Let k = 2 - -11. Let n(i) = 19*i - 8. Let v(r) = k*n(r) - 6*g(r). Is v(7) prime?
True
Suppose 1195 = 18*n - 17*n. Is n prime?
False
Let u(s) = -s + 1. Let m be u(1). Suppose w + 257 = r, -w + 1 = -m*w. Suppose 0 = a - c - 88, 0 = 3*a - 0*a - c - r. Is a a composite number?
True
Let w = 266 + -149. Suppose 2*n - w = -n. Suppose 0 = -4*a - n + 91. Is a prime?
True
Let k(t) = -t**3 + 9*t**2 - 9*t + 5. Is k(6) composite?
False
Suppose -5*c + 5*w + 310 + 80 = 0, 5*w - 226 = -3*c. Suppose -3*h - 4*s = -244, -2*h = -h - 3*s - c. Suppose -5 = 5*t - h. Is t prime?
False
Suppose -2*g - 2 + 8 = 0. Suppose -a + 85 = g*o, 5*o = 3*a - 239 - 44. Is a composite?
True
Suppose 2*k + 97 = -35. Is 2/11 - 846/k a composite number?
False
Let z = 3394 + -1851. Is z a composite number?
False
Suppose 0 = 3*y + h - 1897, 3*h = 5*y - 2*h - 3135. Is y a prime number?
True
Is (4558/(-6) + -1)/((-6)/9) prime?
False
Let s(t) = -6*t - 1. Let m be s(-6). Let g = -238 - -136. Is (-10)/m + g/(-14) a prime number?
True
Suppose -3*k + b = -11777 - 1466, 0 = -4*k - 2*b + 17664. Is k a prime number?
False
Suppose 0 = -18*k + 13*k + 4505. Is k composite?
True
Suppose 5*c - 477 = -2*n, -226 = -n + 2*c - 7*c. Is n a prime number?
True
Let i = -2 - -4. Is (0 - i) + 23 + 1 a prime number?
False
Suppose -4*p + p + 9486 = 3*j, p - 3164 = j. Is p a prime number?
True
Let p(y) = -y**2 - 10*y. Let k be p(-10). Let x(m) = -m. Let r be x(k). Suppose r = -4*s + 59 + 129. Is s prime?
True
Let y(u) = 205*u**2 + 5*u + 8. Is y(-2) a composite number?
True
Suppose 4*h + 20 = 0, 0*h = -4*w + 2*h + 34. Suppose -w = -v + 13. Is v prime?
True
Let i(c) = -33*c + 198. Let q(d) = -1. Let b(t) = i(t) + 198*q(t). Let j = -2 + 1. Is b(j) a prime number?
False
Let i be 138 + (-3 + 0 - -2). Suppose 4*f = i + 59. Is f composite?
True
Suppose -4*y - 2*n + 161 = -y, 3*y = -4*n + 157. Is y prime?
False
Let m(o) = -o**3