prime?
False
Let j = -1222 - -838. Let s = -235 - j. Is s prime?
True
Let u be (-3)/4*(-3 - -11). Let g be (3 + u)/(1/(-99)). Let w = g - 156. Is w a prime number?
False
Suppose 0 = -2*k + 7 - 3. Suppose k*t + 0*t - 5*z = 86, -161 = -5*t - z. Is t a prime number?
False
Let o = 1956 + -1093. Is o a prime number?
True
Let z = 0 + 4. Suppose -z*a = -2*a - 14. Suppose n = -0 + a. Is n a composite number?
False
Suppose -4*u - 20 - 32 = -2*r, 4*r = -3*u + 137. Let b be (-5 + 1)/(2/r). Let k = b + 179. Is k a composite number?
True
Let p = 181 - 81. Let m = p - 13. Is m prime?
False
Let y = 10 + 1. Is y prime?
True
Let q(c) = 189*c + 9. Let h(k) = -19*k - 1. Let v(n) = -21*h(n) - 2*q(n). Let g be v(-3). Let j = -21 - g. Is j a composite number?
True
Let l(c) = 6*c - 9. Let h(w) = 3*w - 4. Let t(d) = 13*h(d) - 6*l(d). Let y be t(-2). Is 3 + 44 - (y + 2) composite?
True
Let p(y) = -33*y + 4. Let f be p(-5). Suppose -3*w + 1389 - 485 = -4*x, -w + 318 = 2*x. Let r = w - f. Is r composite?
False
Let h(t) = 5*t**2 + 4*t + 3. Let p be h(-2). Let f = p + 19. Let z = f + 51. Is z composite?
True
Suppose w - 3*w - 30 = 0. Is (-1779)/(-15) - 6/w a composite number?
True
Let w = -240 + 1381. Is w prime?
False
Let j = 2217 - 1562. Is j a prime number?
False
Let d be (-4 - -6) + (-4)/2. Suppose d = 5*y - 4*y - 85. Is y composite?
True
Suppose -6*m + 28 = -2*m. Suppose 2*d = 5*s + 125, d - m*s - 70 = -2*s. Is d a prime number?
False
Let v = 138 - 61. Is v composite?
True
Suppose 4 = 2*l + l - 2*j, -j - 2 = 5*l. Suppose -a + 8 + 2 = l. Is (-584)/(-10) - 4/a a composite number?
True
Suppose 2*g + 2*q - 1264 = -3*g, -4*g = 2*q - 1010. Is g a prime number?
False
Suppose 2*z + z = 9. Suppose v - 4*n = 153, -n + 161 = v + z*n. Is v a composite number?
False
Let b(x) = -4*x - 6. Let d be b(-4). Let u = d - 16. Is ((-4)/u)/(1/3) prime?
True
Is (1 + (-3)/(-4))*20 a composite number?
True
Suppose 0 = -14*c + 12*c + 7574. Is c a composite number?
True
Let x = -1094 - -2431. Is x a composite number?
True
Let u be (-3)/(1 + -4 + 2). Suppose 5*s = -4*f + u*s + 1070, 3*f - 790 = s. Is f a prime number?
False
Let n be -4 - (-2 + 3 + -3). Let x = n - -9. Is x a prime number?
True
Is 1032 - 6/4*8/12 composite?
False
Let f = 229 - 140. Is f prime?
True
Let w(j) = 85*j + 5*j**2 - 80*j - 1 - 4*j**2. Let v = 1 + -8. Is w(v) a composite number?
False
Let d = 177 - 158. Is d a composite number?
False
Suppose -2*u - 2 = -q + u, 2*q = 5*u + 5. Let l(t) be the first derivative of t**4/4 - t**3/3 - 3*t**2 + t + 1. Is l(q) a prime number?
True
Let l(d) = 5*d**2 + d - 10. Let o(g) = 5*g**2 + g - 9. Let j(c) = -2*l(c) + 3*o(c). Is j(-5) a prime number?
True
Suppose -13*g + 385 = -8*g. Is g a prime number?
False
Let p(d) = -5*d**2 + d - 125. Let i(l) = 4*l**2 - l + 124. Let c(v) = 4*i(v) + 3*p(v). Is c(0) a composite number?
True
Is (1/4)/(2/4904) prime?
True
Let t = -44 - -28. Let f be 2 - (1 - (2 - 34)). Let q = t - f. Is q composite?
True
Let l(o) be the third derivative of 13*o**5/15 + o**4/8 - 5*o**3/6 + 4*o**2. Is l(2) composite?
True
Let c(f) = -f**3 + 27*f**2 + 3*f + 12. Is c(19) prime?
True
Suppose 5*h - u = -5 + 26, h + 2*u - 2 = 0. Suppose 3*s - 23 = -4*z, -1 = -5*s + h*z + 16. Suppose b + 17 = 3*b - s*j, -j + 12 = b. Is b a composite number?
False
Let h(l) = l**2 + 9*l + 4. Let r be h(-15). Is r/(-3)*24/(-16) composite?
False
Let f(j) = -27*j + 2. Suppose 0*h + 25 = -5*h + 5*l, 0 = -3*h - 5*l - 15. Let y = 2 + h. Is f(y) a composite number?
False
Suppose 4*p + a + 31 = 0, 5*a + 10 + 1 = -2*p. Is (-2)/4 - 1140/p a composite number?
True
Let j be 1/1 - (-1)/(-1). Suppose j*n + n = 168. Suppose 5*t - n = 202. Is t a prime number?
False
Suppose -q = 3*h + 4, 0 = -2*q - 0*q + 2*h + 16. Let m be (-32)/q + 2/5. Let p(y) = -y**2 - 11*y + 7. Is p(m) a prime number?
True
Suppose 2*h - h - 889 = 0. Is h a composite number?
True
Let d(t) = 9 + 2*t - t - 5*t + t + t**2. Is d(8) prime?
False
Let v = 40 - -217. Is v a composite number?
False
Let o(r) = r**2 + 3*r - 4. Let h be o(-4). Suppose h = -3*a + 3*k + 279, -61 = -a - 4*k + 42. Is a prime?
False
Let r(j) = 34*j**3 + 2*j**2 - 2*j + 1. Suppose -4*m + m + 23 = -4*s, -4*m - s = 1. Is r(m) prime?
False
Let f = 18 + -14. Suppose -t + a - 1478 = -4*t, 5*a - 1989 = -f*t. Is t a prime number?
True
Is (-4 - -3)/(1/(-317)) a composite number?
False
Suppose -3*b + 658 = -b. Is b composite?
True
Let a(p) be the third derivative of p**6/120 - p**5/15 + p**4/6 + 5*p**3/6 - 3*p**2. Is a(4) a prime number?
False
Let b(s) be the second derivative of s**8/1680 + s**7/2520 - s**5/120 + s**4/3 + 4*s. Let i(u) be the third derivative of b(u). Is i(2) composite?
True
Suppose -o - 153 = 4*w - 1486, 4*w + 6689 = 5*o. Is o prime?
False
Let z = -251 + 354. Is z a prime number?
True
Let w be (-3)/(-6)*-2*-2. Let p be w/5*80/2. Let l = 25 - p. Is l composite?
True
Let g = -1329 - -2479. Is (0 - -1)/(10/g) composite?
True
Let f = 44 + -25. Is f composite?
False
Suppose -3*d = -3*y - 4968, -6*d + d - 4*y + 8289 = 0. Is d composite?
False
Is 3/(-9)*2874/(-2) a composite number?
False
Let n(d) = 3*d + 9. Let p be n(10). Suppose 0 = -4*b - 2*w + 46, b - p = -0*b + 5*w. Is b composite?
True
Let m(l) = -l**2 - 6*l + 4. Let j be m(-6). Suppose 0 = -2*c + 2*i + 678, -2*c + 670 = -j*i + 6*i. Is c prime?
True
Is (15/(-12))/(3/(-36)) prime?
False
Let k(n) = 2*n**3 - 3*n + 2. Let j be k(2). Suppose 5*t = -2*h + 68, -t = -2*t - 2*h + j. Is (-18)/(-12)*(t - 0) prime?
False
Let a be (-2 - (-4 + -1)) + -188. Let q = -101 + a. Let p = -159 - q. Is p prime?
True
Let x = 6 - 3. Suppose -56 = -x*n - 296. Let p = 193 + n. Is p a composite number?
False
Suppose 2*a - 8735 = -429. Is a composite?
False
Suppose 8*j - 8 = 4*j. Suppose 3*g + j = -4*o - 5, 5*o = -g + 5. Let x(s) = -s**2 - 7*s - 7. Is x(g) prime?
True
Let y(j) be the third derivative of -j**8/20160 - j**7/504 + 7*j**6/360 - j**5/20 - j**2. Let b(h) be the third derivative of y(h). Is b(-10) prime?
False
Let d(z) = 2*z**2 + 16*z - 19. Let i be d(-13). Let p = i - -4. Is p a composite number?
True
Let v be 4/((-8)/14) + 3. Is (-11)/(-44) + (-315)/v prime?
True
Suppose 0*m + 4*m = -548. Let g = m + 192. Is g prime?
False
Let q be (2/(-4))/(1/(-130)). Let v be (2/5)/((-5)/25). Let c = q - v. Is c composite?
False
Suppose -2*c - 3*q - 8 = 0, c + 2*q - 1 = -4. Let z = c - -10. Is 37/(-2)*(z + -5) prime?
True
Let x(u) = 2*u**2 + 10*u + 7. Suppose f = -3*f - 32. Is x(f) a prime number?
False
Is (-1)/(1*2/(-1058)) a composite number?
True
Let k = -3 - -160. Is k composite?
False
Suppose 11 = 4*u + h - 4, 5*u + 3*h - 10 = 0. Let l(b) = b**3 - 8*b**2 + 7*b - 7. Let i be l(u). Is (i - 2)/(4 + -5) composite?
True
Let o(v) = -v**3 - v**2 + v - 21. Let m be o(0). Let p = 1 - m. Is p a composite number?
True
Suppose 0 = -s - 3*b - b, b + 17 = 4*s. Suppose -3*u - 16 = -n, n - 16 = -0*u + 2*u. Suppose -n - 8 = -s*k. Is k a composite number?
True
Suppose 3*x + 2 = x. Is x/(-5) + (-27)/(-15) a composite number?
False
Suppose -3591 = -5*a + 334. Is a composite?
True
Is (-6)/(-2)*25362/54 composite?
False
Let v = 316 + 57. Is v a composite number?
False
Suppose -59 = -d - 0*d + 3*x, -x + 5 = 0. Is d composite?
True
Let b = 0 - 2. Let f(m) = m**3 + 5*m**2 + 5*m + 2. Let a be f(-4). Is (-3 - a/2)*b prime?
False
Suppose 3*z - 1614 - 309 = 0. Is z prime?
True
Let o(w) = -4*w**3 - 9*w**2 + 5*w - 10. Let t(f) = -f**3 - f**2 - 1. Let g(c) = c - 4. Let d be g(5). Let a(x) = d*o(x) - 3*t(x). Is a(-7) composite?
False
Let y(t) be the second derivative of -3*t**5/20 - t**4/4 - 2*t**3/3 - 3*t**2/2 - 4*t. Let q be y(-3). Suppose 0 = 4*r - q - 245. Is r a composite number?
True
Let f = -2788 + 4371. Is f prime?
True
Let b(h) be the second derivative of -h**5/20 - h**4/12 - h**3/6 + 2*h**2 + 3*h. Is b(-3) composite?
True
Let h(m) = -4*m + 2. Let o be h(-2). Let p(y) = y**3 - 10*y**2 + 2*y + 14. Is p(o) composite?
True
Let n = 14 + -12. Suppose p + 4*f = 107, -n*p - p + 4*f = -273. Is p a composite number?
True
Let t(r) be the first derivative of 3*r**2/2 + 4*r - 3. Is t(7) a prime number?
False
Let w(j) = j. Let h be w(4). Suppose c - 4*c - h*g = -57, -12 = 4*g. Is c prime?
True
Let t(o) = -8*o - 2 + 0 + 1 + 8*o**2. Let s be t(-8). Suppose s = 4*i + i. Is i a prime