975, -3*w + 2*m + 1453 = 4*m. Suppose -6*c + c = -w. Is c prime?
True
Let d(y) = -2*y**2 - 14*y - 6. Let b(i) = 3*i**2 + 14*i + 5. Let t(s) = -3*b(s) - 4*d(s). Is t(10) a composite number?
True
Suppose 146 = c - 0. Is c composite?
True
Let s be 24/156 - 37/(-13). Suppose s*g + g = 132. Is g a prime number?
False
Let h = 5 - -46. Is h a composite number?
True
Suppose -o = -4*a - 210, 4*o + a = 3*o + 220. Suppose 0*g = 2*g + o. Let z = g - -156. Is z prime?
True
Suppose 2*g + 2*c = 148, -5*c - 98 = -2*g + 57. Suppose 3*w + 3*k - 73 = -k, -5*w = -5*k - g. Is w a prime number?
True
Suppose 5*n - 90 = -4*i, -i + 3*n + 26 + 5 = 0. Let v = i - -40. Is v prime?
False
Let r be (-3 + -2)*(-8)/10. Suppose 0 = -p + s + 136, 3*p + 0*s = -r*s + 387. Is p composite?
True
Let x be (-2)/7 + (-2485)/49. Let z = 2 - x. Is z a prime number?
True
Let w be 4/(-6)*9/(-2). Suppose 8*z = w*z + k + 1540, 0 = -z - k + 302. Is z prime?
True
Let o be (-705)/(-6) - 1/2. Suppose -4*p + 9*p - 2*d = 531, -p - 5*d + o = 0. Suppose -5*f - p + 442 = 0. Is f prime?
True
Let h(r) be the third derivative of 5*r**4/8 - r**3/6 + 20*r**2. Let j(g) = g**2 + g - 2. Let u be j(2). Is h(u) a prime number?
True
Let k(u) = u**2 - 9*u + 5. Is k(-13) a prime number?
False
Let o = -5 - 0. Let u(i) = i**3 + 6*i**2 + 6*i + 7. Is u(o) a prime number?
True
Suppose x - 5*i - 136 + 55 = 0, -2*i = x - 116. Suppose -x = -y - 17. Is y a composite number?
False
Suppose -2 = 2*k + 62. Let x = 65 + k. Is x prime?
False
Let l = 836 + -463. Is l composite?
False
Let j(v) = -2*v**3 - 2*v**2 + 4*v - 4*v**2 + v**3. Let r be 2/(-8) + (-27)/4. Is j(r) prime?
False
Suppose -12*u + 13*u = 2317. Is u a prime number?
False
Suppose 3*q - 5*i = q + 2382, 4*q + 2*i - 4812 = 0. Is q a prime number?
True
Let z(t) = -5. Let k(p) = -p - 10. Let o(v) = 4*k(v) - 9*z(v). Is o(-8) composite?
False
Suppose -127 = -4*n + 5*c, 0 = -4*n - c - 3*c + 136. Is n a prime number?
False
Is 16/40 + (0 - 2493/(-5)) prime?
True
Let o = 1 + 4. Let j(g) = -g + 3. Let y be j(o). Is (-44)/(-2) - (1 + y) composite?
False
Is 22659/27 + -2*1/9 prime?
True
Suppose 0 = -0*j - 2*j + 10. Suppose -j*i + 36 = 116. Let n = 6 - i. Is n composite?
True
Let h(a) = -189*a - 58. Is h(-15) prime?
True
Let a(u) = 2*u**3 - 5*u**2 + 13*u - 3. Is a(5) a composite number?
True
Let t(v) be the second derivative of v**4/12 + v**3/2 + 3*v**2/2 + 4*v. Let k(r) be the first derivative of t(r). Is k(8) a composite number?
False
Let t be (-1)/2 - (-10)/4. Let z(a) = -a**3 + 7*a**2 + 4*a + 3 + 2*a**3 - t. Is z(-6) composite?
False
Let a = -14 + 18. Is 2/8 - (-355)/a a prime number?
True
Let k = 11 - -546. Is k a prime number?
True
Let j be (28/(-5))/((-2)/20). Let o = 103 - j. Is o a composite number?
False
Let f(h) = h**3 + 13*h**2 - 12*h - 1. Is f(-10) prime?
True
Let y = 36 + -84. Let l = 95 + y. Is l a prime number?
True
Let g be (-3)/6*-4 + 3. Let d(j) = -j**3 + 8*j**2 - 11*j - 3. Let l(r) = -2*r**3 + 16*r**2 - 21*r - 7. Let k(m) = g*d(m) - 3*l(m). Is k(7) composite?
False
Suppose 4*d - 100 = 156. Suppose -4*s = -d - 60. Is s a prime number?
True
Suppose 8*g = 10*g + 4. Is (113 + 14)/(g/(-2)) prime?
True
Suppose 159 = o - 194. Suppose 0*c = c - o. Is c composite?
False
Is (18/(-6))/(2/(-508)*3) a composite number?
True
Suppose 2*d - 3*d = l - 220, 3*l = -d + 214. Is d composite?
False
Suppose -4*k - 4*b + 12 = -0*b, -b = -5*k - 9. Let i be 1 + k - (-2 - -6). Is i/14 + 44/7 a prime number?
False
Suppose 0 = -18*t + 19*t - 487. Is t a prime number?
True
Let o(f) = 6*f**2. Let z be o(1). Let g(n) = -n**3 + 8*n**2 - 8*n - 3. Let t be g(z). Suppose -3*u = -t - 42. Is u a composite number?
True
Let w(x) = -x - 2. Let z be w(-4). Suppose 0*k = -z*k + 106. Is k prime?
True
Suppose 4*l = 2*p + l - 1399, -2*l = -2*p + 1400. Is p composite?
False
Let p(k) = -k**2 + 7*k + 10. Let y be p(8). Suppose -v + i + 3 = 0, 8 = v + 4*v + y*i. Is 89 - ((-4 - -2) + v) a prime number?
True
Suppose -11 = -j - 0*j - 2*q, 0 = -2*j + 5*q - 14. Let u be (-3)/(j/1) + -1. Is -149*1/2*u composite?
False
Suppose -5*a = -15, 3*a = 4*n + a - 2. Let s(q) = 24*q**2 - 2*q - 2. Let h be s(n). Suppose -5*j + h = -15. Is j a composite number?
True
Let y = -255 + 449. Is y a composite number?
True
Suppose 5*g - 3*y = -y, 2*g = 3*y. Let t(q) = q + 133. Is t(g) composite?
True
Let f(m) = 40*m + 3. Is f(5) composite?
True
Is 2/21*3 + 31268/28 a prime number?
True
Let g = -8 + 10. Suppose 188 = g*l - 182. Is l a composite number?
True
Let d = -501 + 803. Is d a composite number?
True
Let w = 12 - 7. Let h be -1*(-3 - (2 + -2)). Suppose -234 = -h*s + 5*d + 149, 5*s - 625 = w*d. Is s composite?
True
Suppose -5*n + 15 = 0, 0 = -y - 0*y - 4*n + 15. Suppose -6 + 27 = y*s. Is s composite?
False
Let m be (-64)/(-11) + (-6)/(-33). Let t be (2/m)/((-1)/(-12)). Suppose -t*f - 3*l = 61 - 213, -4*f - 2*l = -148. Is f a prime number?
False
Suppose -201 = -5*i + 184. Is i composite?
True
Is (-2)/(-6) - 4380/(-9) a prime number?
True
Suppose -u = -3 - 1. Let i be ((-5)/(-2))/(u/8). Suppose 0 = -i*k + 5*p + 925, 5*k + p + 251 = 1164. Is k a composite number?
True
Let t(u) = 4*u**2 - 10*u - 4. Let x(q) = 3*q**2 - 9*q - 3. Let r(n) = -2*t(n) + 3*x(n). Is r(-6) composite?
True
Let i(j) be the second derivative of j**4/4 + j**3/6 - 3*j**2/2 + 4*j. Is i(10) prime?
True
Let s = 1 + 1. Suppose -3*x = s*h - 152, -x + 156 = -0*h + 2*h. Is h a composite number?
False
Let j(u) = 12*u**2 - 5*u - 13. Is j(-4) a prime number?
True
Let p = 341 + -212. Let s = 186 - p. Is s a composite number?
True
Suppose -q = 2*b - 1372 - 457, 0 = 5*b + q - 4580. Is b a composite number?
True
Suppose -r + s + 3084 = 0, 0 = -r - 2*s + 5*s + 3074. Is r a composite number?
False
Suppose 5*y + o = -o + 14, y + 3*o + 5 = 0. Suppose -4*f + 382 = 2*p, 0 = -5*p - 0*f + y*f + 955. Is p a prime number?
True
Suppose -4*f - 8 = -0*i + 4*i, -4*i = -2*f + 14. Let d(b) = 36*b**3 + 2*b - 1. Let g be d(f). Suppose -q = -2*q + g. Is q composite?
False
Let i(b) = b - 1. Let a = -10 + 16. Let r be i(a). Is 36/(-10)*r/(-2) a prime number?
False
Let q be (12/10)/(12/40). Suppose -q*h - v = -3*h - 76, -v - 309 = -4*h. Is h a prime number?
False
Let f(t) = t**3 + 6*t**2 - 4*t - 1. Let i(k) = k + 10. Let q be i(-7). Let v be -5 - (q + 2/(-1)). Is f(v) a composite number?
False
Let w = -8 + 10. Suppose 0 = w*f - 3*b + 80, f - 5*b + 122 = -2*f. Let l = -13 - f. Is l a prime number?
False
Let r = 15 + -10. Suppose 0 = -2*f + r*n + 9, -5*n = 5 - 30. Let a = f + -6. Is a a prime number?
True
Let h = 443 + -263. Suppose h = 3*p + p. Is (0 + 82)*p/18 a composite number?
True
Let p be ((-1)/3)/(3/9). Let a(j) = -83*j. Is a(p) composite?
False
Is 2463*(-5)/(-60)*4 composite?
False
Is (-1)/1 + (8 - -1002) composite?
False
Let u = 15 - 12. Suppose -u*y + 85 = -197. Is y a composite number?
True
Let s(q) = -q**3 - 6*q**2 - 4. Let v be s(-6). Let m = v + 7. Suppose -4*x = 4*c, 3*c + 8*x - m*x + 8 = 0. Is c prime?
False
Suppose 2*v + 32 = 4. Let k = v + 10. Let g(x) = 16*x**2 + 3. Is g(k) composite?
True
Let b(l) = -l**3 + 12*l**2 - 3*l + 33. Is b(10) prime?
False
Let c(z) = -10*z + 2. Let w be c(3). Let d = -17 - w. Suppose -m + 42 = -d. Is m a composite number?
False
Let b be 12/(-66) + 2/11. Suppose b = 4*h - 230 - 974. Is h a prime number?
False
Suppose 5*j - 5 = 4*j. Suppose 0 = 4*y + 3*x - 590, j*y + 2*x - 1011 = -277. Is y a composite number?
True
Is -58*(1 + (-165)/10) composite?
True
Let t(d) = -18*d - 7. Suppose -2*q - 3*q = 0. Suppose f + 2*f + 15 = q. Is t(f) composite?
False
Suppose g = 106 + 21. Let q = g + 16. Is q a prime number?
False
Is (80*3)/4 + -1 prime?
True
Let g be ((-2)/(-6))/(16/288). Let c(j) be the first derivative of 5*j**2/2 - 8*j + 1. Is c(g) a composite number?
True
Let w = -7 - -9. Is (w/3)/(6/1143) composite?
False
Let r = -630 - -1007. Is r prime?
False
Let y(d) be the second derivative of d**6/360 - d**5/120 + 31*d**4/24 + d**3/6 + 2*d. Let s(p) be the second derivative of y(p). Is s(0) prime?
True
Suppose 2*n = -4*v + 3041 + 183, 0 = 3*v + 4*n - 2413. Is v a composite number?
True
Let p = -90 + -8. Is p/(-10) + (-5)/(-25) a prime number?
False
Let a(i) = -6*i + 16. Let w = -20 - -9. Is a(w) a prime number?
False
Let l = 6 - 1. Suppose 0 = -3*t - q + 116, -l