 a composite number?
True
Let d = -3 - -2. Let k = 4 + d. Suppose -5*p + 42 = -k*p. Is p a prime number?
False
Let d(b) = b**2 + 4*b - 4. Let m be d(-5). Let z be ((-10)/5)/(m/(-2)). Let f = z + 22. Is f a composite number?
True
Let k(i) be the second derivative of i**3/3 + 97*i**2/2 + 6*i. Is k(0) a prime number?
True
Let r(f) = 7*f - 5. Is r(6) a prime number?
True
Let v = -8 - -11. Suppose -4*w = -4, -183 + 819 = 3*y + v*w. Is y composite?
False
Let c = -95 + 15. Let o(m) = m**3 - 1. Let y be o(1). Is (2 - c)*(y + 1) a prime number?
False
Let b = 10 + -2. Let u = b - -18. Is u composite?
True
Let d be (-15)/(-10)*-1*2. Let h(z) be the third derivative of -z**4/8 - z**3/3 - z**2. Is h(d) composite?
False
Suppose 7 = 2*h + 1. Let u be h/2*16/12. Suppose -f - 23 = -u*f. Is f a prime number?
True
Let k = 16 - 10. Is 1263/k - 5/(-10) a prime number?
True
Let d(n) = 7*n**3 - 4*n**2 + 7*n + 3. Is d(8) prime?
False
Let l(x) = 3*x - 1. Let b be l(2). Suppose 0 = 2*d - 7*d - b. Let k(c) = -50*c**3 + c**2 + c + 1. Is k(d) prime?
False
Is (-1 - -5 - -487)*5 composite?
True
Let x = -1323 + 2290. Is x a prime number?
True
Let q(g) = -10*g - 4. Is q(-3) composite?
True
Let t(x) = -x - 14. Let k be t(-10). Is (k/5)/(4/(-310)) composite?
True
Let m(j) = j**3 + 12*j**2 - 2*j - 12. Is m(-11) a prime number?
True
Let a(s) = -5*s**2 + 3*s + 9. Let l be a(7). Let v = l + 426. Is v composite?
False
Let r(s) = s**2 - s + 2. Let d be r(0). Let v(m) = 10*m**3 + m**2 - 4*m + 3. Let q be v(d). Let y = q + 40. Is y composite?
True
Suppose 0 = -v - 42 + 1. Suppose 177 = 3*h - 93. Let b = v + h. Is b composite?
True
Let t = 620 - 361. Is t a composite number?
True
Suppose 6*j - 2*j - 2 = n, -5*n = 3*j - 13. Suppose 0 = -2*z - n*z + 316. Is z a composite number?
False
Let l(d) = 4*d - 2. Let f(h) = h - 1. Let c(r) = 3*f(r) - l(r). Let s be c(3). Let t(o) = -o**3 - 3*o**2 - o + 3. Is t(s) a composite number?
False
Is (-4 - -43)*23/3 prime?
False
Suppose -g - 2*j + 5 = -0*g, -4*g + 44 = -4*j. Let f = -7 + g. Suppose -147 = -q - f*q. Is q prime?
False
Let o = -236 - -534. Is o a composite number?
True
Is (-10351)/(-44)*(1 - 2 - -5) a composite number?
False
Is (-276)/(-5) - 9/45 a composite number?
True
Let a = 6 - 3. Let c(q) = -q**2 + 3*q. Let n be c(a). Suppose n = -4*r + p + 208, -2*p + 5*p = 4*r - 200. Is r a composite number?
False
Let s(w) = 26*w - 15. Is s(7) a composite number?
False
Is 1/(2/424) + (-39)/13 prime?
False
Suppose 0 = p - 5*v - 19, 2*p - 95 = -2*p + v. Let x = p - 11. Is x a composite number?
False
Is 4*-2*(-1788)/32 a composite number?
True
Let z(x) = 46*x**2 + 3*x. Let g be z(3). Let o = g - -19. Let v = o - 251. Is v composite?
False
Suppose 0 = -5*b + 3*a + 42, 0 = b - 3*b + 3*a + 15. Is (69/(-4))/(b/(-24)) a composite number?
True
Let v = 125 + -79. Is v a composite number?
True
Suppose -4*f + d + 220 = 0, 0 = -f + 2*f + 4*d - 72. Suppose -5*u + 1 = f. Is (-427)/(-11) + (-2)/u composite?
True
Suppose 4*p - 988 - 1816 = 0. Is p a composite number?
False
Suppose 14*n = 25*n - 14971. Is n a composite number?
False
Suppose 4*t = 5*t. Suppose t*a + 4*a - 361 = 3*u, 0 = 5*a + u - 456. Suppose 5*l - a = -4*g, 3*l - l - 46 = -4*g. Is l composite?
True
Suppose 0 = -4*x - s + 8123, 6098 = 4*x - x - 5*s. Is x prime?
False
Let q(x) = -x**3 + 2*x**2. Suppose 5*t + 25 = 10. Let i be q(t). Is (-3)/(-3) + 1*i a composite number?
True
Suppose 0 = 3*t - 5*t. Let z = t + 2. Suppose 68 - 178 = -2*f - 4*s, -202 = -4*f - z*s. Is f a prime number?
False
Suppose 5*d - 72 = 5*q - 12, 0 = 4*d - q - 42. Is d prime?
False
Suppose x + 0 - 3 = 0. Suppose 7*k - x*k = 156. Is k a composite number?
True
Let h = -83 - -148. Is h composite?
True
Let t be (-36)/(-16) - 3/(-4). Is 242/11 - (0 + t) prime?
True
Let s be 4/(-10) - (-2)/5. Suppose 0 = -s*t - 3*t + 174. Is t prime?
False
Suppose -5*c + 6336 = 4*g, -3*g = -2*g + 4*c - 1595. Is g prime?
True
Let x = -429 + 1280. Is x a prime number?
False
Let a = 19 - 17. Suppose -a = -x - 4, -5*s + x + 467 = 0. Is s a prime number?
False
Let x(u) = -263*u - 3. Is x(-4) a prime number?
True
Is 3 + 7/(7/92) a composite number?
True
Let j(l) be the third derivative of l**5/60 - 5*l**4/24 + l**3/6 + l**2. Let v(q) = -q - 1. Let d(h) = j(h) - 4*v(h). Is d(7) a prime number?
True
Let x(l) = -l + 0 - 4*l - 6. Is x(-5) prime?
True
Let z = -93 - -141. Suppose 0*j + j - 21 = -2*y, -z = -4*y - 4*j. Is (165/y - 0)*3 a composite number?
True
Suppose -160 + 48 = -j. Let z = 229 - j. Suppose 158 = 5*f - z. Is f composite?
True
Suppose 0 = y + 5*u - 1723, -3*u = 3*y - 2*u - 5113. Is y a prime number?
False
Let f be 0 - (-4 + 0/(-2)). Let w = f - 4. Suppose 2*h + 8 + 0 = w, -h = -5*g + 159. Is g composite?
False
Suppose 5 = -2*w + 1. Is (1/3)/(w/(-114)) a composite number?
False
Let f(z) = -137*z - 18. Is f(-5) a prime number?
False
Let p be 4/(-12) - 40/6. Let b = -1 - p. Suppose b*s = 2*s + 172. Is s prime?
True
Suppose -3*k + k + 8 = 0. Suppose 0 - 8 = 4*c, k*v + 10 = -5*c. Suppose -2*g + 2*f = -5*g + 22, -f + 2 = v. Is g a composite number?
True
Suppose 0 = h - 2*h + 23. Let w = 52 - h. Suppose -j + 28 = -w. Is j composite?
True
Let y = -2 - -7. Suppose -5*p + 0*p + 580 = y*v, 3*v + 2*p - 345 = 0. Is v a prime number?
True
Let g = -103 - -751. Let k = g + -355. Is k composite?
False
Let m be (16/2)/((-2)/(-4)). Suppose -h = 5*l - m, 4*h + 12 = -l - 0*h. Suppose -5*i + 33 = -l*i + 5*s, s + 113 = 5*i. Is i composite?
False
Let w be 2/(-7) - 30/(-7). Suppose -v + 7 = -4*f, w*f + 29 = f - 4*v. Is 3/(f/(-68)) - 1 composite?
False
Suppose -8*b - 610 = -3*b. Let d = -85 - b. Is d composite?
False
Suppose -7*s + 1664 = 3*h - 6*s, -2*h - 3*s + 1121 = 0. Is h a prime number?
False
Let p(f) be the first derivative of -29*f**2/2 + f - 3. Is p(-14) a prime number?
False
Let x = -2322 - -17335. Is x a prime number?
True
Suppose 5*n - 4*n = 0. Suppose n = 5*c - 0*c - 1585. Is c composite?
False
Suppose -34*h + 32*h = -610. Is h prime?
False
Let s = -14 + 6. Let r be (s/2)/(1/(-3)). Is r - (1 + 2 + -1) composite?
True
Is -2 + 0 + 27*(-914)/(-6) prime?
True
Suppose -26*l + 3151 = 3*f - 27*l, -3*f + 3*l = -3159. Is f a prime number?
True
Let l(m) = 48*m**2 - 9*m + 1. Let o be l(6). Suppose -4*u - 415 = -n, 4*n + 0*n - u - o = 0. Is n prime?
True
Let f(g) = 6*g**3 - 6*g - 5 - 5*g**3 + 0*g**3 - 4*g**2 + g**2. Is f(6) a prime number?
True
Let c be (4/(-3))/(10/(-15)). Suppose -2*q - y + 286 = 0, -4*y = -c*y. Is q composite?
True
Let x = 7405 - 2366. Is x a prime number?
True
Is (-1)/(-7) + (-1716)/(-91) a composite number?
False
Suppose -4*u + u + 1551 = 0. Suppose 2*l = 4*l + i - u, -5*l + 5*i = -1300. Is l a composite number?
True
Suppose -p - 2*p = -5*n, p = -2*n. Suppose n = -4*v - 5*t + 253, 2*v - 4*t - 347 = -3*v. Is v prime?
True
Let d be (4*3 - -2) + 2. Suppose j + 0 = d. Suppose j = t + 4*f - 41, -2*f + 2 = 0. Is t prime?
True
Let w = -205 - -302. Is w a composite number?
False
Suppose -5 = -3*k + 4*k. Let w(y) = -y**3 - 4*y**2 - 4*y + 4. Is w(k) composite?
True
Let n(p) = 4 - 3*p - 4 + 2*p. Let g be n(-4). Suppose c - 335 = -g*c. Is c a prime number?
True
Suppose 0*k - k + 1115 = 0. Is k a prime number?
False
Let u = 1582 - 879. Is u a prime number?
False
Suppose -3*u + 554 = 5*w - 0*w, -3*w - 5*u = -342. Is w a prime number?
True
Let o(v) = -v**3 - 8*v**2 - 8*v. Let w be o(-7). Suppose -227 = -p - 5*y, -5*p + y + w = -1232. Is p a composite number?
True
Suppose -5*b = 3*c - 60, 0 = 3*c + 3*b - 16 - 38. Let j be c + 0*(-2)/4. Suppose -j + 120 = 3*o. Is o prime?
False
Let i = 618 - 410. Suppose 0 = -5*q + 3*l - i, 0 = -5*q + l - 41 - 165. Let n = 184 + q. Is n prime?
False
Suppose 64 = -5*o + 679. Is o prime?
False
Suppose -u - 79 = -4*m, -48 = -u - 3*m - 127. Let x = -44 - u. Is x a composite number?
True
Let i be 3 + (3/3)/(-1). Suppose 0*q = 5*q - 35. Suppose 2*b - 3 = -w, i*b + w = -2*b + q. Is b prime?
True
Suppose -1655 = -5*u - 5*q, q = -2*u + 3*q + 662. Is u prime?
True
Suppose -4*v = -0*v. Suppose -3*a - a + 16 = v. Is a prime?
False
Let p(g) = 478*g**2 + 5*g - 2. Is p(1) a composite number?
True
Suppose -1390 = -5*s - 5*n, 0*s + 2*n - 1106 = -4*s. Let y = -181 + s. Let c = y + 49. Is c a composite number?
True
Let z(p) = -p**3 - 5*p**2 - 5*p - 1. Le