x - 11445 = -x + 4*k. Is x prime?
True
Is (-680)/8*(-1 + 0) a prime number?
False
Suppose 2*f - 3*f - 5*u = -129, -5*f + u = -593. Is f - 3/((-9)/6) composite?
True
Suppose -2*i = -3 + 15. Is i + 4 - (-214 + 1) a composite number?
False
Suppose 0 = -r - 3*r - 5*x + 653, 3 = -x. Suppose -3*n + r = 2*u, n + 114 = -2*u + 287. Suppose -u = -5*d + 297. Is d a composite number?
True
Let z(n) = n**2 + 9*n + 11. Let s be z(10). Let q = -104 + s. Is q composite?
False
Let q(u) = u - 5. Let m be q(5). Suppose -5*p + 3*p = m. Suppose -125 = -p*s - 5*s. Is s a prime number?
False
Suppose 4*b = -4*b + 272. Is b a prime number?
False
Suppose -2*k - k + 618 = 0. Suppose -2*u + q + 370 = 0, 4*u - 950 = 3*q - k. Is u a prime number?
False
Let p = 73 - 72. Let y = -7 + 5. Is (-167)/y + p/(-2) composite?
False
Let q(t) = t**3 - t**2 + t - 1. Let d be q(1). Let b = d + 1. Suppose 0 = -2*w - b + 171. Is w a prime number?
False
Let t(s) be the third derivative of -s**2 + 0*s + 2/3*s**3 + 1/6*s**4 + 0 + 1/60*s**5. Is t(5) a prime number?
False
Suppose 0*s + 61407 = 9*s. Is s composite?
False
Let p(s) = s**2 + 2*s. Let l be p(-2). Suppose l = -2*m - 0*m + 38. Is m a composite number?
False
Suppose 2*t + 3*v = 3112, 3*t = -v - v + 4673. Is t a prime number?
True
Let q(o) = o**2 - 1. Let k be q(1). Is k - (-14 - (1 - 2)) prime?
True
Let k(l) be the second derivative of l - 7/2*l**2 + 0 - 5*l**3. Is k(-5) composite?
True
Let h(q) = 9*q + 15. Let k(m) = -4*m - 7. Let u(z) = 2*h(z) + 5*k(z). Let w be u(-4). Suppose -c - 20 = -w*c. Is c prime?
False
Suppose 0 = 11*p - 15*p + 15740. Is p composite?
True
Suppose 4*x + x = -50. Let g = x - -13. Is g composite?
False
Suppose 0 = -m + 2*t + 2*t + 385, -4*m + 4*t = -1576. Is m prime?
True
Let t = -137 - -348. Is t composite?
False
Let c(s) = -s + 2. Let k be c(-3). Suppose 4*b - 1772 = t, 0 = b - k*t - 286 - 157. Is b a prime number?
True
Suppose -f - 2705 = -6*f. Is f prime?
True
Suppose 0 = -z - 3*z + 560. Suppose -y + 123 = -z. Is y a prime number?
True
Suppose 0 = -2*m + 2*o + 10, 3*m + 5*o - 2*o = 39. Let x = -5 + m. Suppose x*d - 5 = 119. Is d a composite number?
False
Let b = -2 - -4. Let x = b - 2. Suppose -5*v + 2*h + 257 = x, v - h = -2*h + 57. Is v composite?
False
Let x be -5 - 1/(2/(-2)). Let l = x + 7. Let q(i) = 4*i**3 - 2*i**2 + i - 2. Is q(l) a composite number?
True
Suppose -37 = -3*f + 5*t, -3*f + 28 = -2*t - 21. Suppose 2*i = i - 4. Let u = i + f. Is u a prime number?
False
Let r(a) = -3*a. Let g be r(1). Let j(t) = 3*t + 6. Let l(o) = 4*o + 5. Let z(i) = 3*j(i) - 4*l(i). Is z(g) a composite number?
False
Let i = -1354 - -2630. Suppose 3*q - 7*q + i = 0. Is q a composite number?
True
Suppose -7*x + 2*x - 4*k + 211 = 0, 3*x = -5*k + 137. Is x a composite number?
True
Suppose 5*b - 9 = -4*y, -2*b - 41 = -7*b + 4*y. Suppose 0 = b*q - 5*a + 595, -4*a + 5 + 7 = 0. Is -3 + q*1/(-2) composite?
True
Let v(r) = -r + 4. Let w be v(-3). Let m(q) be the first derivative of q**3/3 + q**2/2 - 10*q + 2. Is m(w) prime?
False
Let u be -2 - -1*4 - -89. Suppose u + 145 = 4*w. Is w a prime number?
True
Let f(b) be the first derivative of b**3/3 + 6*b - 1. Let c be f(0). Let i = c + -3. Is i a composite number?
False
Suppose -4*r = -w - 651, r + 3*w - 128 = 38. Is r composite?
False
Let x = -722 - -1173. Is x composite?
True
Let y = -9 - -9. Suppose p = 4*d + 37, y*p + d = -p + 57. Is p a prime number?
True
Let n(t) = -t**2 + 6*t - 2. Let x be n(4). Let g be (-2)/3 - (-1504)/x. Suppose 4*y = 5*l - g, -5*l - 3*y - 2*y = -205. Is l composite?
True
Suppose 0 = 95*y - 94*y - 3221. Is y composite?
False
Let v(m) be the first derivative of m**3/3 - 4*m**2 - 11*m - 6. Is v(11) a composite number?
True
Let q(t) = -t**3 - 14*t**2 - 21*t + 17. Is q(-15) composite?
False
Let c(d) = -2*d**3 - 9*d**2 - 2*d + 22. Is c(-9) a composite number?
False
Let x(g) = -3*g**3 - 7*g**2 + 4*g + 2. Let m be x(4). Let i = m - -579. Is i a composite number?
False
Let i be (24/20)/((-1)/5). Let z = i + 6. Suppose 0 = 2*n - z*n - 14. Is n composite?
False
Let w be (-4)/28 + (-670)/14. Let m = 5 + -14. Let o = m - w. Is o a composite number?
True
Is 1914/10 - 2/5 composite?
False
Suppose 3209 = 5*q - 4*c, 4*q + 2*c - 1228 - 1334 = 0. Is q a composite number?
False
Suppose -8*v = -8783 - 3273. Is v a prime number?
False
Suppose y - 20 = 3*y. Let n = y - -16. Is n a prime number?
False
Let i(p) = 21*p**2 + 5*p + 7. Is i(5) prime?
True
Suppose 3*t + 4 = -2*y, 3*y + t = -3*t - 7. Let c(d) = d**2 + 5*d + 4. Let j be c(y). Is (70/4)/(2/j) a composite number?
True
Suppose a - 4 - 1 = 0. Suppose 4027 = 4*r + a*n, -4*n + 7*n = -4*r + 4021. Suppose r = 5*l + 4*o, 0 = o + o - 4. Is l a composite number?
False
Let n(d) be the third derivative of -d**5/60 - d**4/6 + 7*d**3/6 + 2*d**2. Let y be n(-5). Suppose 1 + y = u. Is u a composite number?
False
Let z = 101 - -5. Suppose 6*v - 2*v = i + 479, 3*i = v - z. Is v composite?
True
Suppose 49*m - 43*m - 34422 = 0. Is m a prime number?
True
Let q = 562 - 259. Is q prime?
False
Suppose -255 = -3*t + 3*u, -2*u + 255 = t + 2*t. Is t prime?
False
Suppose m + 0*m = 224. Suppose j - 97 = r, 2*r + j - 299 = 5*r. Let y = r + m. Is y prime?
False
Let t(m) = -16*m + 4. Let p = 6 - 3. Let c(f) = f - 1. Let s(u) = p*c(u) + t(u). Is s(-4) prime?
True
Suppose -6*o - 4*f + 356 = -2*o, -2*o - 3*f = -174. Let d = o + -54. Is d a composite number?
True
Let n(y) = y**2 - 2*y - 1. Let j be n(3). Is ((-502)/(-4))/(1/j) a composite number?
False
Let t = -173 + 324. Suppose -t = -2*c - 3*v, 308 = 4*c + 2*v + 2*v. Is c - -3*1/(-3) prime?
True
Let n(x) = -x**3 - 2*x**2 - 2*x - 1. Let q be n(-2). Suppose q*z = 202 + 299. Suppose -3*s + z = 4*u, 0 = 5*s - 0*s + 4*u - 273. Is s a composite number?
False
Suppose -2*j = 2*w - 752, 2*w + 3*j = 683 + 72. Is w a prime number?
True
Suppose 3*w - 759 = 5*x - 139, 0 = 5*x - 4*w + 620. Is x/6*(-132)/8 composite?
True
Let c = 1099 - -1720. Is c composite?
False
Let y be (12/5)/(3/15). Let u = y - 22. Let d(m) = -14*m - 13. Is d(u) prime?
True
Suppose -4*p - 431 = -4*b + p, 0 = -b - 2*p + 111. Is b prime?
True
Is (6 + -2 - -684) + 1 composite?
True
Let o(x) = -27*x - x - 3 - 7*x. Let w be o(-2). Let z = -30 + w. Is z a composite number?
False
Suppose 4*h + 14 = 2*k, 0 + 20 = 2*k - h. Let i be (-2)/((-2)/1)*k. Let m = i + 150. Is m prime?
False
Let b(v) = 3*v**2 - 7*v + 1. Let g(z) = -2*z**2 + 8*z - 1. Let k(p) = 5*b(p) + 4*g(p). Is k(-5) a composite number?
False
Let y(k) = -79*k - 15. Is y(-2) prime?
False
Let z(v) = -v**3 - 8*v**2 - 4*v - 12. Let j be 31/(-3) + (-16)/24. Is z(j) a prime number?
False
Suppose r = -2*h + 8, 2*r - 4*h - 4 = 20. Let z(d) = 2*d**3 + d**2 - 2*d + 2. Let g be z(1). Suppose 887 = 4*w - f, g*f - 5 - r = 0. Is w a prime number?
True
Is (772/(-8) + 3)*-2 a composite number?
True
Suppose 0*v = -v. Let l be 48 + (v - (-3 - 0)). Is ((-4)/6)/((-1)/l) a prime number?
False
Let k = 315 - 86. Let z = k - 161. Is z/3 + (-2)/(-6) prime?
True
Let s be (4 - 1) + -1 + 1. Let j be 4/6 + (-8332)/(-12). Suppose -s*z + 311 = -4*o - 98, 5*z - 4*o = j. Is z composite?
True
Suppose 0 = 2*h + 13 - 103. Let p be (4/(-2))/((-4)/46). Let c = h - p. Is c prime?
False
Let w be 18/24 + 2866/8. Suppose o = 5*h - h + w, -1119 = -3*o - 2*h. Is o composite?
True
Suppose 4*o + 41 = -207. Is o*3/(-6)*1 composite?
False
Let v(u) = -u**3 + 5*u**2 + 7*u. Let h be v(6). Let y = h - 10. Let w(j) = -j**3 - 2*j**2 + 4*j + 3. Is w(y) prime?
True
Let i = 33 + -22. Suppose -5*r = -i - 14. Suppose -4*c = -r - 15, -2*c - 64 = -2*q. Is q prime?
True
Let u = 17 - -19. Let t be 1*(0 + -1)*25. Let q = t + u. Is q prime?
True
Suppose 0 = 196*r - 195*r - 19. Is r composite?
False
Let h(o) = -5*o**2 + 4*o - 2. Let t be h(9). Let v = 582 + t. Is v a composite number?
False
Let d be 9 + 3/(-9)*0. Let q be ((-2)/(-1) - 3)*d. Let a = q - -23. Is a prime?
False
Let q be 4*(2 - (2 + -1)). Suppose 2*t + c - 79 = 0, -217 = -q*t - c - 64. Suppose 0*m - t = -m. Is m a prime number?
True
Let v = -12 + 2. Let o = v - -14. Suppose o*x - 372 + 16 = 0. Is x a prime number?
True
Let i be (-9)/(-6)*8/6. Suppose -i = 3*b - 107. Is b a prime number?
False
Let d be (-4)/6*1179/(-6). Let p = 258 - d. Is p a prime number?
True
Let h(k) = -14*k + 68. Is h(-15