b = 0, 3*b = r + 177 + 297. Is (5/2 + -3)*r prime?
False
Suppose -2581 = -4*o - 5*h, 0 = -3*o + 2*o + 4*h + 661. Is o composite?
True
Let p = 58 + 1. Is p composite?
False
Suppose 4*x + 2*y - 1576 = 3*y, -20 = 5*y. Suppose 4*u - 760 = -5*v, 2*v = -3*u + x + 184. Let j = u + -104. Is j a prime number?
False
Suppose h - 52 = 5*x, 2*h - 3*x = -7*x + 90. Is h prime?
True
Let r = -5 - -11. Is 3/(r/170) - 0 prime?
False
Is (1 - -1)/((-2)/717*-3) a composite number?
False
Suppose 4*l = 2*l - 178. Let x be -6*(1 + (-17)/(-3)). Let r = x - l. Is r prime?
False
Suppose -5*j + 2*w + 93 = -52, -w = 3*j - 76. Suppose 3*f - 134 = 5*b, 4*f + j - 203 = 4*b. Is f prime?
True
Let l = 438 + -187. Suppose 3*a - 195 = -4*x, -4*x - a + l = 50. Is x prime?
False
Is 14/(-49) - (2676/(-7) - -3) composite?
False
Let z = 1170 + -767. Suppose 5*m = 22 + z. Is m prime?
False
Let v be 3*-11*4/6. Suppose -27 - 45 = -2*k. Let n = k + v. Is n prime?
False
Suppose -15*g + 12418 = -g. Is g prime?
True
Suppose 4*u = -0*u + 388. Let d = 210 - u. Is d prime?
True
Let p(n) = 29*n. Let v be p(4). Suppose -v = -5*x + 179. Is x prime?
True
Let z = 68 + 280. Suppose p - 556 = -4*o, -3*o + z = 5*p - 69. Is o prime?
True
Is 372/5 + (88/(-20) - -4) composite?
True
Suppose 0 = -z + d - 1218, 4*z - 4*d - d + 4876 = 0. Let h = -843 - z. Is h a composite number?
True
Suppose 4 = 4*n + 2*x, 0*n - 8 = -4*n - 3*x. Let m be (-6)/(-3) + n - 10. Let l = 13 + m. Is l prime?
False
Let m(k) = -k**2 - 10*k + 4. Let v be m(-10). Let f(p) = -11*p + 3. Let j(x) = -11*x + 2. Let q(n) = v*f(n) - 5*j(n). Is q(5) a prime number?
False
Let b(f) = -3*f - 9. Let n be 15/(-2) + (-3)/(-2). Is b(n) prime?
False
Is (18/4 + -2)*254 a prime number?
False
Suppose 0 = 5*s + 15, -3*s - 1007 = -4*f - 2*s. Is f prime?
True
Let a be (-6)/(-2) + -1 - 0. Suppose -a*y + 5*y + 291 = 0. Is y*(-7 + 3 + 3) composite?
False
Let o(y) = 2*y**3 - 3*y**2 + 2*y - 4. Let s be o(5). Suppose m + 4*z = 70 + 31, -2*m + s = z. Is m composite?
False
Suppose -3*c + 254 = -c. Is c prime?
True
Let t = -155 + 324. Suppose -n + 46 + 40 = f, 3*f - t = -2*n. Is n a composite number?
False
Suppose 3*u = -3*v - 30 - 0, -v + 2 = -5*u. Let z = v + 4. Is (-2)/z + 52/8 a composite number?
False
Suppose -2*y = -m - 0*y - 48, -4*m = 2*y + 192. Let f = m - -32. Let j = f + 22. Is j a composite number?
True
Let k(z) = z. Let u be k(2). Suppose 0*d - u*d = -148. Suppose s = 2*s - d. Is s prime?
False
Let f(w) = w**3 + 11*w**2 + w - 4. Let u be f(-10). Let t = u - 55. Is t composite?
False
Let j(w) = 4*w - 1. Is j(5) composite?
False
Suppose -4*u = u + y - 1573, 2*u + 3*y - 637 = 0. Let a = -111 + u. Is a a prime number?
False
Is ((-1)/(-4))/(3/948) a prime number?
True
Suppose -28*y + 4036 = -24*y. Is y a composite number?
False
Is 386/4 - 6/4 composite?
True
Let n(v) = -13*v + 4. Let q = 3 + 2. Suppose -45 = 5*o + q*x, -x = -5*x - 16. Is n(o) a composite number?
True
Let v(n) = 3*n**3 - 4*n**2 + 3*n - 6. Let k be v(4). Suppose 144 + k = -4*x + 5*m, 2*m = 4*x + 284. Let t = x - -115. Is t a composite number?
False
Let w be (-7)/((-7)/80) + 2. Let m = w - 45. Is m prime?
True
Let p be (-4)/(-2)*(-6)/(-4). Suppose -t - 104 = -p*t. Suppose v = -k + 8, -k - 4*k + v = -t. Is k composite?
True
Suppose 5*n + 2*t - 9 - 5 = 0, 5*n = 3*t + 4. Suppose -n*u - 4*v = -14, -5*u + 2*v - 32 = -7. Let o = u - -9. Is o prime?
False
Let r(p) = 29*p + 1. Let i be r(-1). Let t be 1/(-1) - i/4. Suppose -2*y - 3*o + 73 = 0, 0 = -5*o - 1 + t. Is y a composite number?
True
Let l = -7191 + 11038. Is l prime?
True
Let m(n) = n**2 - 3*n + 3. Let y(l) = -3*l + 5. Let o be y(4). Let b = o - -3. Is m(b) prime?
True
Let c(w) = -3*w**3 + 2*w**2 + w. Let j be c(-1). Suppose -2*d - 254 = -j*d. Is d a prime number?
True
Is (-12)/48 - 634/(-8) composite?
False
Suppose 2*q + 9 + 3 = 0. Let u(s) = -20*s + 14. Is u(q) prime?
False
Suppose -430 = 9*q - 11*q. Is q composite?
True
Suppose -3 - 1 = -4*r + 4*y, -r + 2 = -2*y. Is -1 + 162 + r/2 composite?
True
Suppose -167 = -4*v + 409. Suppose 104 = 2*r - r. Suppose -r - v = -4*j. Is j a composite number?
True
Suppose 0*l - 155 = -5*l. Is l a composite number?
False
Let f be 1/(-1) - (-388 + 0). Suppose p - f = -62. Suppose i - n - 4*n = 65, -5*i = 5*n - p. Is i a composite number?
True
Suppose -2*d = 3*d - 20. Suppose -3*u = -n - 4*n + 1043, 0 = -d*u - 4. Let q = n + -95. Is q a composite number?
False
Let n(d) = d - 3. Let w be n(5). Suppose -w*o = -4*o. Suppose -5*p + 3*x + 39 = o, -4*p + 5 = 4*x - 7. Is p prime?
False
Suppose -4*t = -3*a + 23, -6*a = -5*t - 3*a - 28. Let i(p) = 10*p - 7. Let l(h) = -19*h + 14. Let u(o) = 7*i(o) + 4*l(o). Is u(t) composite?
False
Let j(t) = -t**3 - 6*t**2 + 3*t + 3. Suppose -5*d = 3*z + 26, 13 = -4*d + 3*d + 2*z. Is j(d) a composite number?
False
Let k(u) = u**2 + 6*u + 2. Let a be k(-6). Suppose 5*j = 2*z + 20 - 6, -2*j - 6 = 5*z. Suppose 0 = a*l + j*l - 364. Is l a prime number?
False
Let d(i) = 10*i - 3. Let q(o) = 3 - o**3 + 0*o**3 - 8 - 3*o + 6*o**2 + 0*o**3. Let a be q(5). Is d(a) composite?
False
Let b(w) be the third derivative of w**4/8 + 5*w**3/3 + 13*w**2. Let z be (-3 - -1)/((-2)/7). Is b(z) a composite number?
False
Suppose -m - s + 40 = 0, -4*s = -m - 7*s + 42. Is m a composite number?
True
Suppose -10 = -3*f - 4. Let v(a) = 13*a**2 + 2*a - 1. Is v(f) prime?
False
Suppose 0 = -0*m - 2*m + 16. Is 2/4*(158 + m) composite?
False
Suppose -2933 - 452 = -5*r. Is r a composite number?
False
Is -5*(1 + (-15 - -3)) a prime number?
False
Suppose -p + 2*w - 1 + 24 = 0, 3*p = 4*w + 77. Is p a composite number?
False
Let l(o) = -o**3 - 5*o**2 - 3*o + 2. Let h be 30/(-12) + (-2)/4. Let q be l(h). Let a = q - -11. Is a composite?
True
Let c(z) = -8*z - 1. Let p be c(3). Let d = p - -44. Is d a composite number?
False
Suppose -3*m - 12 = 2*j, 5*j - 4*m = m + 20. Suppose 2*n = 5*q - 3*n - 370, 2*q + n - 139 = j. Is q prime?
True
Let w(s) = 8*s**2 + 17*s + 48. Is w(-11) prime?
True
Let u = -906 + 1865. Is u composite?
True
Let k(x) = x**3 + 2*x**2 + x + 161. Is k(0) composite?
True
Let f = 189 - 130. Is f composite?
False
Let a(j) = 2*j**2 + 4*j - 1. Let r be a(-3). Let c = -5 + r. Suppose -5*i + 3*w + 246 = 0, w = -c*i + 4*i - 201. Is i prime?
False
Suppose -z - z + 8 = 0. Suppose -d + 549 = 5*s, -3*s + z*d + 311 = -0*d. Is s a prime number?
True
Suppose 4*n + 62 = i - 0*n, -4*n = 4*i - 248. Let l = i + -19. Suppose -184 = -4*y - 2*j, j = -3*y + 96 + l. Is y a prime number?
True
Suppose 665 = 3*t + 4*t. Is t prime?
False
Let a(c) = 14*c. Let p be a(-1). Let z = 15 + -42. Let h = p - z. Is h a composite number?
False
Suppose 0 = 5*l - 5*m - 465, -3*l - 7*m = -2*m - 263. Is l a prime number?
False
Let n be 2606/3 + 3/9. Suppose 3*c = -3*t + n + 376, 3*c - 5*t = 1245. Is c prime?
False
Let b(u) = u + 14. Is b(0) composite?
True
Let w = -740 + 1155. Is w prime?
False
Suppose -879 = g - 4*g. Is g composite?
False
Let w(h) = 5*h**2 - 21*h + 11. Is w(12) a composite number?
False
Let f(o) = -8*o**3 - 3*o**2 - 4*o - 3. Is f(-2) a prime number?
False
Is (5 - 3)/(-6)*-3369 a prime number?
True
Suppose -2*s = -0 - 10. Suppose s*f = 372 + 263. Is f a prime number?
True
Let w be (-4)/10 + 68/20. Suppose -w*x + 23 = -7. Is x a composite number?
True
Let l(c) be the first derivative of 20*c**4 - c**3/3 - 1. Is l(1) a prime number?
True
Suppose 2*s = 6*s. Suppose s = -o - 3*o + 8. Suppose o*q + 5 - 47 = 0. Is q a composite number?
True
Let k(s) = s**3 + 3*s**2 + s + 5. Let y be k(-5). Let i = -35 - y. Is i a prime number?
False
Let s = 13 + -18. Let d(v) = v**3 + 6*v**2 - 6*v + 4. Is d(s) a composite number?
False
Let o(h) = 3*h**3 + h**2 - h + 1. Let q(b) = b**2 + 5*b + 1. Let g be q(-5). Let t be o(g). Suppose 2*m = -m + t*k + 267, 0 = 2*m + 3*k - 178. Is m prime?
True
Let l(i) = -i**2 + 4*i + 3. Suppose x - 5*q = -7 - 4, 2*x + 5*q = 23. Let j be l(x). Suppose -j*r + 441 + 132 = 0. Is r a composite number?
False
Let d(f) = 6*f**2 + 2*f - 1. Let g(x) = -x**2 - 3*x + 7. Let o be g(-5). Is d(o) prime?
True
Suppose -534 = 6*o - 1752. Is o a composite number?
True
Suppose 0 = 5*t - 0*t + 10. Let y(h) = -h**3 - h**2 - 2*h - 3. Let u be y(t). Suppose -u*m + 37 = 2*d, -2*m = d - 4*d + 84. Is d composite?
True
Let a(p) = 11*p + 16. Let b(r)