a composite number?
False
Let d(x) = -x**3 + 4*x**2 + 2*x - 3. Let b be d(4). Suppose 9*u - 25 = -3*o + 4*u, 0 = 2*o - b*u. Suppose o*v - 41 = 114. Is v composite?
False
Let h be ((-4)/6)/(4/(-18)). Suppose 4*i = -h*b + 153, 79 = 2*i - 4*b + 3*b. Is i composite?
True
Let q = -119 + 186. Is q a prime number?
True
Suppose -5*w + 2*o = -491, -4*w - 5*o = -0*o - 373. Is w a composite number?
False
Let o(b) = -59*b**3 - b**2 - b - 1. Let y be o(-1). Let f = y - 32. Is f prime?
False
Suppose 4*y + 20 = 4*f, 4*f + 4*y = y + 6. Is -3 - ((f - 2) + -110) a prime number?
False
Suppose 5*a = d + 3013, 2*a + d + 2*d = 1195. Suppose 2*c - 4*n = 378, -3*c - 3*n + a = -2*n. Is c prime?
True
Let v(y) = -15*y + 1 - 8*y - 4. Is v(-4) a composite number?
False
Is 0 - (0/3 - 3) a composite number?
False
Let x(l) = l**3 - 7*l**2 + 7*l - 3. Let p be x(6). Suppose 3*h + 15 = -p*n, -2*h + 5*n + 11 = -14. Let q(c) = c**2 + 14. Is q(h) composite?
True
Let u = 7 - 14. Let s(w) = -2*w**3 - 8*w**2 + 13. Is s(u) a composite number?
False
Let x = 17 + 378. Suppose 5*g + 0*g = x. Is g prime?
True
Let w = -2 - -6. Let p(b) = 4*b**3 - b**2 + 5*b - 3. Is p(w) prime?
True
Let f(m) = 2*m**3 - 8*m**2 - 5*m + 2. Let q be f(7). Suppose 0*b - q = -3*b. Is b a composite number?
True
Let c(x) be the second derivative of -x**4/12 - 3*x**3/2 - 9*x**2/2 + x. Let v be c(-7). Suppose -v*l - 20 = -0*l, 2*r = -l + 34. Is r a composite number?
False
Let m(y) = 31*y - 15. Let g be m(10). Let d = -84 + g. Is d a composite number?
False
Let n(t) = t - 98. Let l be n(0). Let r = l - -157. Is r a composite number?
False
Let o(y) = -y**3 + 0*y + 0*y + y**2 + 5. Let u be o(0). Suppose u*s = 354 - 109. Is s composite?
True
Let c be -3 + 2 + 0 + -1. Let x(p) = 22*p**3 + 2*p**2 + p + 2. Let r be x(c). Let n = 259 + r. Is n a prime number?
False
Suppose 4*w - w = 9, 0 = 4*i - 4*w. Suppose i*h = 2*h. Suppose h = 4*k + k - 105. Is k prime?
False
Let x be (-1055)/(-4) - (-5)/20. Suppose 65 = -t - 40. Let w = x + t. Is w a composite number?
True
Let k(u) = 6*u**2 - 2*u - 17. Is k(6) a composite number?
True
Suppose 743 = 5*f - 372. Is f composite?
False
Suppose -2*t + 20 = 3*t. Suppose 2*g = -2*n + 8, 3*g + t*n - 17 = -2*g. Is g*(-2 - 0) - -33 prime?
True
Let v = -64 + 44. Is 8/10 - 604/v a prime number?
True
Let m = 60 - 40. Let k = 10 - -23. Let b = m + k. Is b a prime number?
True
Suppose 2*o = 5*r - o + 15, -4*o - 14 = -r. Let y(a) = 5*a**2 + 4*a + 1. Is y(r) prime?
True
Suppose -30600 + 3355 = -5*i. Is i a prime number?
True
Let x(i) = 17*i - 29. Is x(10) prime?
False
Let o = 5 + -9. Let m(t) = t**2 + 3*t - 2. Let h be m(o). Suppose -31 = -2*n + x - h*x, 4*n = -3*x + 63. Is n composite?
True
Let v = 119 - -188. Is v a prime number?
True
Let l = 438 + -57. Is l composite?
True
Let v = 7 - 5. Suppose -o = 2*t - 71, -3*o + 6*o + v*t = 205. Is o a composite number?
False
Suppose -5*w + 38 = -3*w. Is w composite?
False
Suppose -12*l + 366 = -294. Is l a prime number?
False
Let t(d) be the first derivative of 11*d**2 + 13*d - 8. Is t(10) a prime number?
True
Let a(j) = -j**2 - 2*j + 2. Let c be a(-3). Is c*3 - 88*-1 a prime number?
False
Suppose 2*z - 5*w = 3*z - 138, 5*z = w + 612. Let c = z + -86. Is c composite?
False
Suppose 5*r + 5*x - 4 = 1, -3*r + x = -7. Let p be r/(-1) + 0/4. Is 21/5*(-10)/p a prime number?
False
Is -2*1/13 - 440860/(-364) a composite number?
True
Suppose -r + 4*c = 14, -4*r = 2*c + c - 20. Suppose -r*m + 38 = -m. Is m composite?
True
Let c = -3 - -9. Suppose -4*t - c*m = -2*m - 132, -3*t - 4*m + 95 = 0. Is t a prime number?
True
Let h(j) = -j**3 - j**2 - 1. Let w be h(3). Let k = w + 286. Is k a prime number?
False
Let i = 1 + -1. Let g be 261 + 0 - 9/9. Suppose 4*s - g = -i*s. Is s composite?
True
Let p(z) = 22*z**2 - 3*z. Suppose 0 = n + 1 + 2. Let w be p(n). Let g = -110 + w. Is g composite?
False
Suppose 0 = -4*a + o + 8 - 25, o = 5*a + 20. Let n(c) = 12*c + 3. Let s be n(a). Let j = s + 56. Is j prime?
True
Let k be 5453/(-14) + (-6)/(-4). Let h = k - -929. Is h a prime number?
True
Let t be -5*(2 + (-54)/(-15)). Let q = t - -61. Is q a composite number?
True
Let z = 1606 + -556. Let m = z + -607. Is m composite?
False
Let n be (-44)/(-16) + 2/8. Suppose u + 11 - 62 = 0. Suppose n*r - 54 = u. Is r a composite number?
True
Let h = -4 - -4. Suppose 2*a = -h*a + 106. Is a composite?
False
Let w(f) = -36*f + 9. Let x be w(-10). Suppose 4*a + 278 = 3*c, 3*a + 2*a + x = 4*c. Is c a composite number?
True
Let u = 21 - 18. Suppose -u*h + 624 = 5*r, 4*r = -3*h + 437 + 64. Is r a composite number?
True
Suppose -r - 2*q = -2621, 3*q = -7 + 22. Is r prime?
False
Suppose 2*a - 16 = -2*a. Let d = -4 + a. Let z(m) = -m + 13. Is z(d) a composite number?
False
Suppose 3*k + 4 - 22 = 0. Let s = k - -31. Is s a composite number?
False
Suppose -16 = b - 4*u, -2*b = -2*u + 7 + 7. Is (3 - b)/((-3)/(-9)) a composite number?
True
Suppose -3*z + 144 = -6. Suppose -y + z = -0*y. Suppose v - 3*v + y = 0. Is v a composite number?
True
Suppose 6*o - 7412 = 8818. Is o a composite number?
True
Let x = -220 - -378. Suppose -y + 57 - x = -s, -5*s = y - 529. Suppose 43 = 4*j - s. Is j a prime number?
True
Let y = 2 - 0. Is (-69)/(-6) - y/4 prime?
True
Suppose -5*w = x - 683, -3*w + 86 = 4*x - 334. Suppose 0 = -0*y + 3*y - 129. Suppose 3*n + y = w. Is n a composite number?
False
Let j(n) = -5*n + 8. Let t(r) = 10*r - 15. Let p(y) = 7*j(y) + 4*t(y). Is p(2) a prime number?
False
Let d(c) be the first derivative of 14*c**2 - 5*c - 1. Let o be d(6). Is -2 - o*(0 - 1) composite?
True
Let b(i) = i**3 + 6*i**2 - 10*i - 5. Let k be b(-7). Suppose 2*z = 3*g - k, -2*g + z + 17 = 5. Is (22/4)/(4/g) a prime number?
True
Is ((-7)/(-21))/(2/5802) composite?
False
Let j = 6 + -3. Suppose -j*x = 3 - 18. Suppose -3*i + 3*l + 21 = 0, -x*i = -i + 4*l - 20. Is i composite?
True
Is ((-443)/(-2))/(8/16) a prime number?
True
Is 390/8 + 1/4 a prime number?
False
Is 696/2 - 6/3 prime?
False
Let p be (-24)/(-32) + 34/8. Suppose 3*q - 2*q - 4 = -2*n, 3*n = 3*q - 12. Suppose n = x, 5*x = p*a + 3*x - 425. Is a a prime number?
False
Suppose 921 = 2*g + g. Let m = g - 120. Suppose 4*c - m = -2*s - 3*s, 3*c - 179 = 4*s. Is c composite?
False
Let j(y) = -2*y - 12. Let k be j(-6). Suppose 4*c - 5*u - 383 - 446 = 0, -3*c + 5*u + 618 = k. Is c composite?
False
Suppose 5*d + 5*c = 1335, 5*d - 2*c - c = 1311. Suppose -3*o + 21 = -d. Is o a composite number?
True
Let k(m) be the second derivative of 9*m**4/2 + m**2/2 + 4*m. Is k(-2) composite?
True
Let x be (-15)/(-10) - (-7)/(-2). Let k = x + 4. Suppose -5*s + s + 4*i + 80 = 0, 44 = 2*s + k*i. Is s a prime number?
False
Suppose 0 = -4*o + 9 + 3. Let p(a) be the second derivative of a**4/6 - 2*a**3/3 + a**2/2 - a. Is p(o) composite?
False
Let h = 53 - 15. Suppose -g = 2*w - 25, 4*w - 2*g - h - 24 = 0. Is w a prime number?
False
Let n = -151 - -235. Suppose -4*c - 2*y = -n, 4*c - 4*y = -y + 64. Is c a composite number?
False
Let o(i) = 3*i - 4*i + 5*i**2 - i**3 + 3 + 1 + 0*i**3. Is o(3) composite?
False
Suppose -g + 4*s - 9 = 5, -5*g + 3*s - 2 = 0. Let h = 5 - g. Is (h - 4) + (0 - -204) a prime number?
False
Suppose 0 = r + h - 92, -67 = r - 2*r + 4*h. Is r composite?
True
Is (-644)/(-8)*-2*-1 composite?
True
Let c(b) = 2*b - 2. Let r be c(2). Suppose -1 = -r*g + 1. Is 2 - -1*5*g a composite number?
False
Let y be 2/3 - (-4)/(-6). Suppose y = 4*h + 16, -2*v - 2*h - 7 = -3. Is v a prime number?
True
Let s(m) = 25*m**2 - 2*m + 5. Suppose -4 = -2*o - 4*p, 0 = -o + 2*o + p - 3. Is s(o) a composite number?
False
Let b(k) = 4*k**2 + 3*k - 1. Is b(6) composite?
True
Let r be 3 + 0 + 4 + -59. Let o = r + 263. Is o a composite number?
False
Let w(b) = 2*b**2 + b + 10 + 0 - b**2 + 0*b**2. Is w(0) composite?
True
Let f(c) = 2*c - 1. Let t be f(-2). Let j(i) = -43*i - 4. Is j(t) prime?
True
Let c(b) = -2*b. Let r be c(5). Let g(f) = -f**3 - 10*f**2 - 3*f - 8. Is g(r) composite?
True
Let y(x) = -x + 2683. Is y(0) composite?
False
Suppose 6*z = 7*z - 2533. Is z composite?
True
Is 2234/10 + 4/(-10) a composite number?
False
Suppose 1160 = -0*c + 5*c. Suppose 3*q + 2*o - c = -3*o, -148 = -2*q - 2*o. Is q composite?
True
Let b be 2/(-4) - 22/4. Let h be (82 - 4)/(b/(-4)). Let o = 91 + h. Is o a composite number?
