 + 50 = 4*y - i*n, 0 = -2*n + 4. Is y prime?
False
Suppose 249 = 4*r - r. Suppose 0*q + r = q. Is q a composite number?
False
Let v be ((-2)/5)/((-4)/(-20)). Suppose -2 = -m + 1. Is 1*(v + (m - -2)) a prime number?
True
Suppose -5*d + 17 + 13 = 0. Let r(z) = -d*z - 2 - 7*z + 4*z. Is r(-5) a composite number?
False
Let z = 1 + 1. Is 0 - z - (-7 + -2) composite?
False
Let i(h) = 8*h**2 - h + 4. Let r be i(-4). Suppose -f + 27 = -r. Is f a prime number?
True
Suppose 0 = -2*p - 2*a - 2, -2*a - 2*a = -p + 14. Suppose -t + 3*i = -2*t + 64, -4*t = 4*i - 216. Suppose -t = b - p*b. Is b a prime number?
False
Let l(j) = 14*j**2 - 10*j + 3. Is l(7) prime?
True
Suppose -b = d - 3 - 2, -3*d - 1 = -5*b. Suppose b*s = 246 + 68. Is s a composite number?
False
Let c = 9 - 8. Is 13/(c + (-208)/212) composite?
True
Let s(w) = -w - 7. Let r be s(-7). Let y be 1 + r + -1 - 370. Let a = -259 - y. Is a prime?
False
Let r be 0/((-1 - 1) + 0). Let q be (r + -1 + 2)*0. Suppose -3*f - 15 = -q*f, u - 2*f = 93. Is u composite?
False
Let l(b) = -25*b - 5. Let g be l(8). Let n = -78 - g. Is n composite?
False
Suppose -138 = -4*s + 178. Is s a composite number?
False
Suppose o + 4*p + 3 = 0, -3*o = -4*o - p - 3. Let g = o + 72. Suppose -4*z + g + 15 = 0. Is z a prime number?
False
Suppose 3*x - 42 = -0. Is (-1028)/(-28) + 4/x a composite number?
False
Let w = -94 - -191. Is w a composite number?
False
Suppose 0 = -4*a + 103 - 703. Let u = -37 - a. Is u composite?
False
Let p(s) = s**3 + 2*s**2 + 2. Let n be p(-2). Suppose 2*l + 4 = -2*o, -o = -5*o - n*l - 4. Is (o - -2) + (-3)/(-3) composite?
False
Let q = 8 + -28. Is (21/12)/(-1)*q a composite number?
True
Suppose -m = -1082 - 44. Is m prime?
False
Suppose 2*j - 9 = 5*j. Is j*(-2 + (-139)/3) a composite number?
True
Let r(y) = -3*y**3 + 17*y**2 + 10*y - 17. Let o(m) = -8*m**3 + 51*m**2 + 30*m - 50. Let n(k) = 4*o(k) - 11*r(k). Is n(-10) composite?
False
Let c(u) = 27*u + 25. Is c(10) prime?
False
Let q(p) = 3*p**3 - 2*p + 1. Let n be q(1). Suppose 0*w - 6 = -3*w. Suppose -2*a = -w*k - 350, -n*a = -0*k - 5*k - 344. Is a prime?
False
Suppose -7 = -5*o + 2*i + 10, 7 = 3*o - 2*i. Let u be 157 - (-5)/(o/(-2)). Suppose 3*z = u - 50. Is z prime?
False
Suppose -c + 6017 = 4*c + 3*u, 3*c = -u + 3607. Is c composite?
False
Let h(r) = -r + 5. Let x be h(0). Suppose 0 = z - x*z + 364. Is z composite?
True
Suppose 3*u + 1 = 4. Is u/(-1)*(-47)/1 prime?
True
Suppose 5*c + 14 = -4*f - 4, 0 = c - 5*f + 21. Is (c/(-3) - 4) + 39 prime?
True
Suppose -n - n + 850 = 0. Suppose 0 = 4*y + y - n. Is y a composite number?
True
Let k = 1319 + 182. Is k composite?
True
Suppose -2*y - 12 = 2*y + 4*x, 3*y = 2*x + 6. Suppose 426 = 2*r - y*p + p, 3*r - 2*p - 625 = 0. Is r prime?
True
Suppose -3*k - 2*d + 4140 = -5*d, -2*d = -3*k + 4139. Is k a prime number?
False
Suppose 3*h = -3*k - 66, 10 = 2*k - 3*k - 4*h. Is (14/4)/((-1)/k) a prime number?
False
Let p = -2991 - -4409. Is p prime?
False
Let g(h) = 19*h**2 + 14. Is g(5) a prime number?
False
Let s = 6 - 2. Suppose -s*p + 76 = -384. Is p a prime number?
False
Suppose -4*s = -2*b - 1330, -s + 2*b + 2*b = -343. Is s a composite number?
False
Let k(y) = -133*y - 41. Is k(-4) composite?
False
Suppose -s + 5*s = 24. Is 74/s - (-10)/15 prime?
True
Let b(y) = y - 6. Let u be b(6). Let x(c) = 1 - c**2 + u + 11*c**3 - 2. Is x(2) composite?
False
Suppose h = -h + 5630. Is h prime?
False
Let x(l) = 61*l**2 + 6*l - 30. Is x(3) prime?
False
Is -1 + (1 - 2) - -559 composite?
False
Let q(f) be the third derivative of -f**6/120 + f**5/10 - f**4/6 + f**3/6 + f**2. Is q(5) prime?
False
Let x(h) = -2*h**2 + 6*h + 4 + 2*h**2 + 2*h**2 - 17. Is x(7) a prime number?
True
Suppose 4*k + 2241 = 5*k - 2*g, -3*g = -15. Is k a prime number?
True
Let h(t) = -2*t - 5. Let v be h(-4). Suppose -v*r = -2*r + 3. Is (-37)/(-2) - r/6 prime?
True
Let i = 8 - 10. Let n be 12*(i + 3)/4. Let c(x) = 5*x**2 + 3*x - 1. Is c(n) composite?
False
Let u(r) = -5*r**2 - 2*r + 1. Let x be u(-2). Is 1/(-3) + (-3890)/x composite?
True
Suppose 3*f - 655 + 235 = 0. Suppose -4*k = f - 20. Let j = 113 + k. Is j prime?
True
Let q(b) = b**2 + 6 - 5*b + 2*b + 0*b. Let h be q(5). Suppose -4*w - w = 4*y - 79, -y + h = w. Is w composite?
True
Let h(m) = m**3 - 4*m**2 + 2. Let z be h(3). Let s(r) = -45*r - 8. Is s(z) a composite number?
False
Suppose 0*n = -3*n. Suppose -5*s + 83 = 4*w, 2*w + s = -n*w + 43. Is w composite?
True
Is 685/10 - 3/2 prime?
True
Suppose 0*x - 3*x + 213 = 0. Is x prime?
True
Suppose -15*g + 3400 + 3455 = 0. Is g a composite number?
False
Suppose 3 - 9 = 3*y. Let t(a) = -7*a**3 - 3*a**2 - 3*a. Let h be t(y). Let m = h - 29. Is m composite?
True
Suppose f = -4*f + 200. Suppose -v - 3*v = -f. Is v a composite number?
True
Suppose 3*b + 3*g + 16 + 2 = 0, 0 = -g - 1. Let h(y) = 2*y**2 + 5 - 1 - 3*y - 2*y. Is h(b) prime?
True
Suppose 4*j = 1093 + 2259. Is j a prime number?
False
Suppose 2*z + 6 = -z. Is (67/z)/((-5)/30) prime?
False
Let q(g) = -g**2 - g - 3. Let l be q(0). Let n = l - -3. Suppose -4*w - w + 41 = 3*z, n = -3*z - 3*w + 51. Is z a composite number?
True
Suppose 3*m + m = 16. Suppose 2*n - 3*g + 0*g = 623, -3*n - m*g = -977. Is n prime?
False
Let l(b) = -41*b + 7. Is l(-6) composite?
True
Suppose -2*w = w + 2*d - 5, 2*d + 35 = 5*w. Suppose c = -2*p + 86, -167 = -w*c - p + 245. Is c a composite number?
True
Let j(c) = c**2 - 2*c - 7. Let s be j(-5). Let z be (-2)/(-3) + 224/(-12). Let n = s + z. Is n composite?
True
Is -478*(-3 - (-3)/2) a composite number?
True
Let x = 6 - 2. Suppose -5*y - 4 = 4*t, -x*y = y. Is t/2 + 86/4 a prime number?
False
Let v = -6 + 10. Suppose -8 + 0 = v*s. Is (s/4)/(4/(-904)) prime?
True
Let d = 12 - 7. Suppose -d*k = -v - 13, 5*v - 2 = 4*k - 4. Suppose 42 = -0*m + v*m. Is m a prime number?
False
Suppose o = 2*t + 191, 1081 = 5*o - 2*t + 110. Let q = o + -101. Let n = -61 + q. Is n prime?
False
Suppose r + d = -2*d - 4, r - 2*d - 1 = 0. Let c(h) = 19*h**3 - 5*h**2 - 6*h - 1. Let p(y) = -y**2 - y. Let f(b) = -c(b) + 5*p(b). Is f(r) a composite number?
False
Let j(d) be the first derivative of d**4/6 - 4*d**3/3 + 5*d**2/2 - 3*d - 1. Let r(x) be the first derivative of j(x). Is r(5) composite?
True
Suppose 441 = -3*v + 3*p, v + 5*p + 84 = -45. Suppose m + 3*f + 84 = -0*m, -3*m - 2*f = 259. Let l = m - v. Is l a prime number?
False
Is (-3 + (-2)/(-2))/(22/(-2321)) prime?
True
Is -2183*(-5 + 5 + -1) a prime number?
False
Let u(i) = 26*i**2 - i. Is u(-2) composite?
True
Let w(t) = t**3 + 7*t**2 + 4*t + 1. Is w(-5) a composite number?
False
Let a = -905 - -1708. Is a prime?
False
Suppose 3*m = 387 + 84. Is m a composite number?
False
Is (-14)/(-5)*(-8435)/(-14) prime?
False
Let z(n) = -n**3 - 22*n**2 - 44*n + 9. Is z(-20) composite?
False
Suppose -k = 5*k - 342. Is k a prime number?
False
Let v = 6 + -4. Let w = v - -1. Suppose -15 = 3*i, -w*i - 156 = -5*k + 2*k. Is k a composite number?
False
Suppose -4*n - 3*t = -71 - 241, -320 = -4*n - t. Suppose 3*x = a - 32 + n, -5*x + 4*a + 84 = 0. Suppose -y + 9 + x = 0. Is y a composite number?
True
Let v = 6 + 3. Is (237/v)/(3/9) a composite number?
False
Suppose r + 1 = 0, -2*z + 3*z - 2*r = 447. Is z a composite number?
True
Let r(b) = -b**2 - 22*b + 13. Is r(-16) prime?
True
Let r = 10 - 5. Let a(b) be the third derivative of 5*b**4/8 + 2*b**3/3 + 10*b**2. Is a(r) composite?
False
Let a(s) = s**2 + 5*s + 4. Suppose 0 = -3*i + 1 - 13. Let m be a(i). Suppose m*h + 100 = 4*h. Is h a composite number?
True
Suppose 4*d + 24 = 3*s - d, 4*s = -d + 32. Suppose -s*p = -3*p - 1005. Is p a prime number?
False
Suppose 0 = 4*o - 5 + 1. Suppose -x - 92 + 12 = -4*m, -2*m - 5*x = -18. Is m + (o - 1) + 0 composite?
False
Suppose -3*s + 5*u = 37, -4*u + 0*u = 4*s - 4. Let n = s + 295. Is n composite?
True
Let g(a) = -1227*a + 8. Let i be g(-16). Suppose -5*x = 2*j - 7*j + 430, 5*j + 3*x - 446 = 0. Is 4/(-22) + i/j a prime number?
True
Let x be (2 - 3)/1*4. Is 4*2/x - -49 a prime number?
True
Let t = -1645 + 2945. Is (-1 + t/(-4))/(-2) a prime number?
True
Let o(w) be the first derivative of 9*w**4/4 - w**3 - 3*w**2 + 5*w - 3. Is o(3) a composite number?
True
Let p(n) = 3*n**3 - n**2 + n + 1. Let m be p(-1). Let j(d) = -d + 3. Is j(m) composite?
False
Let k(v) = 5*v**2 - 2*v + 11. Is