 number?
True
Let z = 7532 + -4471. Is z a composite number?
False
Let o be (20/(-8) - -2)*-2. Is 2/4*o*154 prime?
False
Let x = 7163 - 3636. Is x a composite number?
False
Suppose v - 4*p + 79291 = 6*v, 0 = 5*v + 2*p - 79293. Is v a prime number?
True
Suppose -49*q + 43*q = -6162. Is q composite?
True
Is 2/(-8*(-1)/76420) composite?
True
Let t(i) = -7*i + 11. Let u(n) = -4*n + 6. Let z(l) = -3*t(l) + 5*u(l). Let s(a) = a - 1. Let m(k) = -5*s(k) - z(k). Is m(-11) a composite number?
True
Let r(w) be the second derivative of w**4/12 - 5*w**3/3 - w**2 + 4*w. Let h be r(6). Let n = 21 - h. Is n prime?
True
Suppose -120 = -2*y + 334. Let a(s) = 2*s**3 + 4*s**2 - 3*s - 3. Let i be a(-2). Suppose 4*o - 382 = -2*g - 98, 5*g = -i*o + y. Is o composite?
True
Is (-12 - (-19 - -9))*(-2 - 3699) prime?
False
Suppose 0*s + 8 = -4*s + 3*i, 2*s + 4*i - 18 = 0. Let k be -9101 + 1/(s/(-3)). Is k/(-48) - (-8)/6 a prime number?
True
Suppose -2*w - 19640 = -4*p, -3*p + 19642 = p - 3*w. Is p prime?
True
Suppose -2*x - 254 = -1180. Let z = 1092 - x. Is z a prime number?
False
Let h(v) = -2*v + 3. Let b be h(0). Suppose -q - b*q = -148. Is q a prime number?
True
Suppose 2*z + 0*z = 4076. Suppose f + 3*d = z, 7*d + 4131 = 2*f + 2*d. Is f a prime number?
True
Let c(w) = -w + 29. Let z(u) = -2*u**3 + 8*u**2 - 2*u - 4. Let h be z(3). Is c(h) composite?
True
Is (1 - (-1)/(-3))*68559/2 composite?
False
Let q(o) = -o + 3. Suppose -3*r + 5 = 4*l + 20, 0 = l - 4*r + 18. Let s be q(l). Suppose s*g - 222 = 6*g. Is g composite?
True
Let u = -118 + -44. Let a = 209 - u. Is a prime?
False
Let c = 6 - -14. Suppose -c*h - 820 = -24*h. Suppose -5*q + 774 = s, 258 = 3*q + 2*s - h. Is q a composite number?
True
Suppose -o - 4 = 26. Let s be -6*(-5)/(o/(-9)). Suppose 0 = -s*g + 6*g + 327. Is g a composite number?
False
Suppose 3*v + 5*h = -0*h + 2891, -3*v + 2909 = -4*h. Is v a prime number?
True
Suppose -36*l + 40*l - 42914 = -2*z, -4*z + 3*l = -85850. Is z a prime number?
False
Let g = -11 + 23. Let k = g + -7. Suppose 0 = -3*c + 4*z + 343, 0 = 2*c + c + k*z - 334. Is c composite?
False
Let d be 103/(-2)*(19 - 1). Let t = -481 - d. Suppose -3*u + b + t = 0, 5*b + 3 - 455 = -3*u. Is u a prime number?
True
Suppose 8*c + 33312 = -8*c. Let m = c - -3491. Is m prime?
True
Let r(v) = -v**3 + 15*v**2 - 11*v - 8. Let l be (-6 - -4)*(-6)/4 + 11. Is r(l) a prime number?
False
Suppose l + 3*j - 11 = 0, 3*j + 2*j = 4*l + 7. Suppose -737 = -5*f - 4*q, 3*f + l*q = 4*q + 451. Is f prime?
True
Let o = 16 + -4. Let w be ((-148)/o + 2)*-21. Let l = w - 126. Is l composite?
True
Let a(x) = x**2 - 30*x + 22. Is a(-42) a composite number?
True
Suppose 10*x - 2669 - 3741 = 0. Is x prime?
True
Suppose 3*o = 145 - 37. Let p be -11 - (6 - 11) - 7. Let s = p + o. Is s a composite number?
False
Suppose -5*y = -2*i + 57, -3*i + 4*y = -5*i + 84. Let s(v) = -4 + 4 + 0*v + 7 + i*v. Is s(5) a composite number?
True
Suppose 19 = -5*f + 84. Let g = f + -8. Suppose -392 = -g*u - 37. Is u composite?
False
Suppose 17010 = 2*k + 2*l, 7098 = k + 5*l - 1423. Is k a prime number?
True
Let g(b) = 29*b - 13. Let c be g(13). Suppose 14*f = 10*f + c. Is f prime?
False
Let a = 2061 + -1438. Is a a prime number?
False
Let d(o) = -o**3 - 11*o**2 - 9*o + 13. Let y be d(-10). Suppose 147 = 3*r + 5*a, -a = 2*r + y*r - 223. Let w = r + -29. Is w prime?
False
Is (1078100/(-30))/(-10)*3 composite?
False
Suppose 0 = -5*f + 20, 2*f - f = 5*z - 33721. Suppose z - 657 = 8*r. Is r a prime number?
True
Let t be (-9)/(-7) - (-2)/(-7). Let m(w) = 434*w**3 + 14*w**2 - 2*w. Let x(q) = 652*q**3 + 20*q**2 - 3*q. Let z(f) = -7*m(f) + 5*x(f). Is z(t) composite?
False
Suppose 14 = -3*x - p + 34, 2*p + 9 = x. Is (x/14)/(-1*(-2)/3628) a composite number?
False
Suppose -1309899 = 41*x - 120*x. Is x prime?
False
Let y be (2 + 2603)*(-2)/(-5). Let g be y/6 - 17/(-51). Let u = g + -85. Is u prime?
True
Is (-8)/40 + (-4316060)/(-50) composite?
True
Let z be (-1347)/(((-12)/18)/(-2)). Let i = -530 - z. Is i a prime number?
True
Suppose -3352 - 1502 = -6*l. Is l a prime number?
True
Let w be ((-2)/21*774)/(2/(-7)). Suppose 4*z - z + 4*v - 532 = 0, 177 = z + v. Let b = w - z. Is b a prime number?
False
Let v(n) = n**2 - n - 2. Let f be v(-1). Suppose -2*s + 6*s = 5*j - 1533, 5*j + 4*s - 1557 = f. Is j prime?
False
Let q be (3/2)/((-1)/(-2)). Suppose 4*a = 3*n + 2777, -3*a + q*n = 5*n - 2087. Is a a prime number?
False
Let p be 32/((-3)/(-1) + -1). Suppose -p = -10*n + 2*n. Suppose 3*w - 4*d - 409 = 0, -271 = -n*w + 3*d - 0*d. Is w a prime number?
False
Let z be 402*((-2 - -6) + -2). Let y = -236 + z. Suppose -4*q = q + 3*s - 556, 5*q - s = y. Is q a composite number?
False
Let n be 0/(2/1*-1). Suppose n = 3*w + 4*y - 454, -2*y = -5*y + 12. Suppose -2*v = -w - 84. Is v a composite number?
True
Let d(z) = -4*z. Let g be d(-3). Let s = g + -7. Suppose s*v + 96 = i, -2*i = -i + 2*v - 61. Is i a prime number?
True
Let j(p) = 252*p**2 + 3*p - 5. Is j(2) composite?
False
Let n(q) be the third derivative of -1/6*q**3 + 0 - 1/24*q**4 + 0*q + 2*q**2 + 77/60*q**5. Is n(-3) composite?
True
Let o be -2 - (-3 + 2 + -1). Let i be (o - 6)/3 - -153. Suppose -5*b + 2*g + i = 0, -g + 6*g = -4*b + 134. Is b composite?
False
Let b(w) = -60*w + 14. Let l be b(-7). Let k = l + 77. Is k a prime number?
False
Let r be 64/(-16) - ((-1 - -1) + -4). Let h(l) = -l**2 - 2*l + 157. Is h(r) a prime number?
True
Let u(g) = -3*g**2 + 11 + g**2 + g**2 - 14*g + 2*g**2. Let l be u(10). Let k = l - -54. Is k a prime number?
False
Suppose -3*q + 46 = 5*n + 11, -4*n - 9 = -5*q. Suppose 0 = -p - n*p + 2855. Is p a composite number?
False
Is 3351/2*4/6 a composite number?
False
Let f(b) = 42062*b**3 - b**2 + 4*b - 6. Is f(1) prime?
False
Let o(f) = 519*f**2 + 4*f - 3. Let r(k) = 260*k**2 + 2*k - 1. Let z(h) = -3*o(h) + 7*r(h). Is z(-1) a prime number?
True
Let f(b) = -b**3 - 20*b**2 + 17*b - 77. Is f(-34) composite?
True
Let o(j) = -j + 2. Let r be o(7). Is r/10 - 2006/(-4) composite?
True
Suppose 0 = -5*l - 5*y + 30150, 2*y = -2*l + 6*y + 12054. Is l composite?
False
Let p = 12 + -9. Let u(s) = 8*s**2 + s**3 - 3*s + p*s + 10. Is u(-7) a prime number?
True
Let n = -235330 - -332767. Is n a prime number?
False
Is (-210)/10 - -11 - -7491 a composite number?
False
Suppose -256 = 10*c - 11*c. Let p = c + -177. Is p a prime number?
True
Suppose -2*o - n = -29 + 10, -4*o + n + 41 = 0. Suppose -5*y - 10 = -o*y. Suppose y*i + 74 = 3*i. Is i composite?
True
Suppose -f - 7*u + 5*u + 1397 = 0, 5*f + 5*u - 7005 = 0. Is f a prime number?
False
Suppose 4*w + 5264 = 2*t, -8*w + 3*w - 25 = 0. Suppose 4*f = 9166 - t. Suppose 0 = 3*b - 7*b + f. Is b a composite number?
False
Suppose -77*i + 2*i = -9021225. Is i a composite number?
False
Let z be ((-12)/(-3))/(16/24). Let o be 20/z*(-12)/(-10). Suppose o*i = 4, 1270 = 5*r + 2*i + 3*i. Is r a composite number?
True
Suppose -22*n + 9173 = -29415. Is n prime?
False
Suppose 11*j = 18*j + 42. Is (-3)/(j/(-4)) - (-151 + 22) composite?
False
Suppose -4*b - 3*f = 60, -b + f - 3*f = 15. Let x = 11 + b. Is (-590 - x)*(-2)/4 a composite number?
False
Let c(z) = 4*z + 3. Let k be c(4). Let t = -15 + k. Suppose -t*y + y - 1227 = -3*q, y + 822 = 2*q. Is q prime?
False
Let y(g) be the first derivative of -160*g**2 + 9*g - 29. Is y(-10) a composite number?
False
Let d = 11 + -4. Suppose -d*p + 78 = -p. Is 4 + 0 - (-1989)/p prime?
True
Let z(w) = -w**2 + 15*w + 13343. Is z(0) prime?
False
Let p(m) = 2*m - 5. Let x be p(3). Let s be (-2)/(4/(-118))*x. Suppose s + 17 = 4*a. Is a prime?
True
Suppose -92 - 21267 = -13*t. Let r = -632 + t. Is r composite?
True
Let z(n) = n. Let x(s) be the first derivative of 181*s**2/2 - s + 5. Let c(m) = x(m) - 3*z(m). Is c(1) prime?
False
Let b(r) = 54*r**2 - 46*r - 13. Is b(9) a prime number?
True
Let p = -972 + 1771. Suppose -2*y + p = -307. Is y a prime number?
False
Let c = 89261 - 38508. Is c composite?
False
Suppose -3248*d = -3251*d + 93039. Is d prime?
True
Suppose 5*y + 2*f = 1 + 1, 4*f + 18 = y. Suppose y*k - 5*g - 146 = 628, -4*g - 1147 = -3*k. Is k prime?
False
Suppose -4*c - 4*h - h = 12, 2*h = -c - 6. Suppose 3*z + c*i = i + 1064, 0 = 3*i + 3. Is z a prime number?
False
Let l = -12 + 25. Suppose 0 = -g - 2*v + 1, v = -g + 3*v + l. Suppose