w + 303. Let b(t) = 7*t + 151. Let x(v) = 13*b(v) - 6*h(v). Is x(a) composite?
True
Suppose 4*w - 2 = -5*y, w - 4 = -3*y - 0*w. Suppose 4*s + 0*s = d + 337, 0 = -4*s + y*d + 342. Is s a composite number?
False
Let y(r) = -3*r**2 - 2*r + 23. Let x(v) = 4*v**2 + 3*v - 24. Let a(p) = 2*x(p) + 3*y(p). Let n(i) = -i + 4. Let z be n(4). Is a(z) composite?
True
Let p = 52 - 33. Is p composite?
False
Suppose 0 = v - 4*v + 177. Is v a composite number?
False
Let s(g) be the second derivative of -g**5/20 + g**4/2 - 2*g**3/3 - 2*g**2 - 2*g. Let h be s(5). Is 7 - ((-6)/(-3) - h) a prime number?
False
Let f = 1628 + -975. Suppose -4*a = 4*v - 2552, v - 2*a + 6*a - f = 0. Is v/12 + 2/8 a composite number?
False
Is 8 + -11 - (-1 + -251) prime?
False
Is 15/(-20) + (-718)/(-8) a composite number?
False
Suppose -5*r + 3*b = -0*b - 1450, -5*b + 836 = 3*r. Is r prime?
False
Suppose -5*o + 159 = 3*j - 2*o, -4*j + 207 = 5*o. Suppose -39 - j = -z. Is z a prime number?
True
Is ((-4)/6)/((-16)/3768) a prime number?
True
Suppose 0*a - 3*a + 75 = 0. Is a a prime number?
False
Let y = 1503 - 930. Is y a prime number?
False
Suppose -2*m = -14 - 56. Is m a prime number?
False
Suppose -12 = -j - 0*j. Suppose j*b = 16*b - 152. Is b prime?
False
Let g(b) = 21*b - 5. Let c(s) = -s. Let j(a) = -5*c(a) + g(a). Is j(8) a composite number?
True
Suppose -462 = -2*l + 4*y, -5*l - 3*y = y - 1085. Is l a prime number?
False
Suppose 200 + 93 = s. Is s prime?
True
Let z(a) = -123*a - 40. Is z(-9) a composite number?
True
Let f be (-2)/3 - 10/(-15). Suppose -2*i + 35 - 9 = -4*l, f = 2*i - 3*l - 27. Is (-2 + i)/(1 + 0) composite?
False
Suppose -6*f + 10*f = 8. Suppose -4*t - 3*i + 251 + 109 = 0, -5*i - 154 = -f*t. Is t prime?
False
Suppose -49 = -5*k + 4*z, 0 = -k + 5*k - 2*z - 38. Let h = k + -13. Is 6/h*2110/(-15) composite?
False
Let z be (-9)/((-2)/(-34)*1). Let s = z - -566. Is s a composite number?
True
Let q be (4 - -1)/((-2)/(-6)). Suppose 217 = v + s + s, 5*s - q = 0. Is v a composite number?
False
Suppose 2*d - q = -21, -d - 16 = -q - 5. Let a = 15 + d. Suppose 2*u + u + p = 433, 0 = a*u + 4*p - 717. Is u a prime number?
False
Suppose 0 = 3*d - 2*d + 18. Let u = d + 55. Is u composite?
False
Suppose -2*h + 0*h + 4054 = 0. Is h composite?
False
Let u(y) = y**2 - 2*y + 4. Suppose -3*g + 9 = -0*g. Is u(g) a prime number?
True
Suppose 3*v + 4 = -2*i, 2*i = 3*v - 0 - 4. Let k = -32 - -37. Suppose 55 = -v*r + k*r. Is r prime?
True
Let n(b) = -b + 5. Let k be n(4). Let p(h) = 292*h**2 + 2*h - 1. Is p(k) a prime number?
True
Let p(i) = -226*i + 7. Is p(-6) composite?
True
Suppose 2861 = 4*g - 5531. Suppose 0 = -5*u + g + 1407. Is u a composite number?
False
Let j(q) = q**3 + 7*q**2 + 6*q - 4. Let l be j(-6). Let k = -4 - l. Suppose k = 3*z - 4*z + 67. Is z a prime number?
True
Let y = -1504 + 2303. Is y a prime number?
False
Suppose 0 = -k - 3*l + 13, 3*k = -4*l + 24 + 5. Suppose -2*d = -5*c - 16, d + 0*d + 5*c + k = 0. Suppose 2*x - 19 = d. Is x composite?
False
Let p = -66 - -68. Let i = -1 - -1. Suppose 4*w - p*r = 638, 2*r + 481 = -i*w + 3*w. Is w a composite number?
False
Is 12/(-66) - 5834/(-22) composite?
True
Let z(b) = b - 5. Let u be (-1 - 0)/(1/4). Let w be z(u). Let t = w - -18. Is t a composite number?
True
Let k = 26 - 13. Let j = k + 20. Is j a composite number?
True
Suppose -4*w + 0*w + 2180 = 0. Is w composite?
True
Let v(y) = y - 1. Let m(l) = -2*l. Let g(c) = -m(c) - 6*v(c). Is g(-5) prime?
False
Suppose 0 = 5*w - w. Let m = w + 4. Suppose -m*d = -132 + 8. Is d prime?
True
Is (2 + -528)*(0 + -1) a composite number?
True
Let n(l) = 87*l**3 - 4*l**2 + 4*l + 1. Is n(2) composite?
True
Let t be 2/(-9) - (-366)/(-54). Let u(q) = -4*q + 3. Is u(t) composite?
False
Let h = -54 - -78. Suppose -3*x - 3*f = -h, 2*x - 7*x + 2*f + 54 = 0. Is 2/10 - (-308)/x a composite number?
False
Let s = 6 + -20. Let p = s + 44. Let c = 49 - p. Is c a prime number?
True
Let i = 9 + 22. Is i a composite number?
False
Suppose 0*g + 5*x + 435 = 4*g, 12 = -4*x. Suppose s - g = -2*s. Is s a composite number?
True
Let n be (80/24)/(2/18). Let w be n/4*24/30. Suppose q = -w*c + 3*c + 233, -73 = -c + 2*q. Is c prime?
False
Suppose 40 = 4*z + 16. Suppose -4*m + 328 = -0*m. Suppose -3*n - o = -119, -m = -2*n + 4*o - z*o. Is n a composite number?
True
Suppose 32*d + 2068 = 36*d. Is d prime?
False
Suppose -3*p - 12 = -3*x, -2*p - 14 = -5*x + 6. Is -1*(p + -29 - -3) a prime number?
False
Let u(r) = 15*r - 9. Is u(8) a prime number?
False
Let a be 3/4*(-2 + 6). Suppose -a*x + 24 - 9 = 0. Let y(f) = -f**3 + 5*f**2 + 7*f + 2. Is y(x) composite?
False
Let j(q) = -q**3 + 7*q**2 - 5*q - 3. Let r be j(6). Suppose -s + i = s - 63, r*s = -5*i + 114. Is s a prime number?
False
Let r = -49 + 182. Is r prime?
False
Let s(p) = p**2 + 11*p + 13. Let c be s(-10). Suppose c*x - 270 - 63 = 0. Let y = x - 68. Is y a prime number?
True
Suppose 4*r + 24 = 2*j, -5*j + 4*r + 42 = 3*r. Let u be (-2356)/(-9) - (-2)/9. Is 1/4 + u/j a prime number?
False
Suppose -3*l = l. Is 0 + 46 + (1 - l) a prime number?
True
Suppose -2*x - 10 = -7*x. Suppose q - 18 - 28 = -3*v, -3*q + 149 = -x*v. Is q composite?
True
Let y(x) = x + 17. Let n be y(-9). Let v(a) = -a**2 + 9*a - 10. Let t be v(n). Is ((-8)/16)/(t/356) a composite number?
False
Let j(k) = -66*k**3 + 3*k**2 + k - 1. Is j(-1) a prime number?
True
Suppose g = -3*f + f + 741, 2226 = 3*g + 3*f. Is g a prime number?
True
Suppose 2*q - 181 = -47. Is q prime?
True
Suppose 0 = -4*d + 3*r + 3505, d - 213 = 4*r + 660. Is d prime?
True
Let z = 10 - -26. Suppose 3*d - 6 = -3*b, -3*b - b + 3*d + z = 0. Suppose -49 = -7*s + b*s. Is s composite?
True
Let y(c) = c**3 + 9*c**2 + c + 7. Let g be y(-10). Let h = 12 - g. Is h a prime number?
False
Suppose -12004 = -5*h + 3*d - d, 4*h - 9617 = -3*d. Is h a prime number?
False
Suppose 0*u + u = 4. Suppose 0 = -g - u*g + 955. Is g composite?
False
Let a = 94 - 14. Let n = 199 - a. Is n a composite number?
True
Let z be (0 + 60)*(-6)/(-8). Let d(w) = -2*w**3 - 4*w**2 - 2*w + 2. Let q be d(-2). Suppose 120 = 3*k - 3*x + q*x, 5*x = 2*k - z. Is k a prime number?
False
Suppose 0 = 3*c + 4*x - 1627, c - 5*c = -4*x - 2216. Let w = c + -226. Is w composite?
True
Let t = 7 - 5. Suppose 0 = 2*g - 8, -t*g - 80 + 533 = 5*o. Is o composite?
False
Let l(q) = 6*q**2 + 2*q + 1. Let v be l(-1). Suppose 0*k = v*k - 50. Suppose -5*x + k = -40. Is x a composite number?
True
Let p(l) = 2*l**3 - 4*l**2 - 3. Suppose 4*n + 0 - 12 = 0. Is p(n) prime?
False
Suppose 2*o + 28 = 6*o. Is (-1588)/(-28) - (-2)/o a composite number?
True
Let y(m) = m**2 - 7*m + 4. Let a be y(6). Is (-394)/(-10) - a/(-5) composite?
True
Suppose -13*l + 9*l + 20 = 0. Suppose -2*y - 3*s - 185 = -4*y, -3*s - 440 = -l*y. Is y composite?
True
Is (-2)/(-8) + 19881/12 a composite number?
False
Is (-4)/(-18) + 2606/18 prime?
False
Let w(n) = n**3 + 9*n**2 + 2. Let d be w(-9). Suppose 13 + 105 = d*x. Is x a prime number?
True
Let u(c) = -c**2 - 4*c + 5. Let f be u(-4). Let z(m) = 23*m**2 + 2*m + 5. Let d be z(f). Suppose -d = -8*j + 6*j. Is j a composite number?
True
Suppose 3*n - 3 = 6. Suppose -n*d = d - 136. Let y = d - -33. Is y composite?
False
Suppose -4*k + 691 = -5*o, 0 = 5*k - 2*o - 372 - 513. Is k a composite number?
False
Let u = 49 - -61. Suppose -6*d + u = -d. Is d a composite number?
True
Let v = -1 - -9. Suppose 4*z - 84 - v = 0. Is z prime?
True
Suppose -w + 37 = -35. Suppose 4*d + w = 452. Is d a prime number?
False
Let v(y) be the second derivative of y**4/2 + y**3 + 2*y**2 + y. Let g be v(-4). Suppose -g = -q - 3*q. Is q a composite number?
False
Suppose 0*o - 4*o = 0. Suppose o = 3*a + 6, -2*a = -3*n + 6*n - 323. Is n a composite number?
False
Let p = 155 - -476. Is p prime?
True
Suppose 4*s = 4*o + 496, 4*o + 0 = -4. Is s a composite number?
True
Let i = -564 - -912. Suppose -n - i = -5*n. Is n composite?
True
Suppose -x + 5*x = 0. Suppose 2*w + 0*w + 12 = x. Is (-69)/w + 1/(-2) a composite number?
False
Suppose -262 + 822 = 5*y. Suppose -3*o = -t - 42, t - 4*t - y = -2*o. Let m = 43 - t. Is m prime?
True
Is (2/4)/((-3297)/1652 + 2) a prime number?
False
Suppose 7*s - 475 = 2*s. Is s a composite number?
True
Suppose 3*j - 10 = -2*j. Suppose -4*n = -6 - j. Suppose n = -v, 4*v - 1 + 0 = -c.