f + y. Is f a prime number?
True
Suppose -3*l = 2*u + l - 6, u - l - 3 = 0. Let g(i) = 11*i**3 + i**2 - 3*i + 4. Is g(u) prime?
False
Let o = 345 - 224. Is o prime?
False
Let t = 2158 - 1136. Let s = t - -231. Is s a prime number?
False
Suppose -5*d - 93 = -1378. Is d a prime number?
True
Suppose -7*c + 1819 + 1674 = 0. Is c prime?
True
Let u(g) = -918*g**3 + g**2 + 2*g + 2. Is u(-1) composite?
False
Is (-1)/(4/92*-1) prime?
True
Suppose 1958 = -19*m + 15961. Is m a prime number?
False
Suppose y = 4 - 1. Let k = y + 80. Is k composite?
False
Let m = 4 - 7. Let p(a) = -70*a - 1. Is p(m) a prime number?
False
Let f(i) = -1. Let w(a) = 2*a - 5. Let r(y) = 5*f(y) + w(y). Let s be r(7). Suppose -4*l + s = -40. Is l a composite number?
False
Let n(c) = 36*c - 1. Let f be n(6). Suppose -f = -2*t - 3*t. Is t prime?
True
Let v = -790 + 1653. Is v prime?
True
Is ((-4)/(-12))/(2/10254) a composite number?
False
Suppose -4*v = -7*v + 1077. Is v prime?
True
Let u(c) = 3*c**2 + 3*c + 41. Let q(i) = 0*i - i**2 - 1 - 9*i + 8*i. Let y(j) = 4*q(j) + u(j). Is y(0) a prime number?
True
Let d(t) = -t - 2. Let h be d(-2). Suppose h = -4*y + 5 - 25. Is (-1)/y - (-368)/10 a composite number?
False
Is 3 + (-907)/(-1) + 0 + -3 composite?
False
Let x(p) = -90*p + 2. Let w be x(3). Suppose -2*h = 686 + 164. Let m = w - h. Is m composite?
False
Suppose 3 = 5*i - 7. Suppose -i*n + 96 = 2*t, 39 - 223 = -3*n + 5*t. Is n a prime number?
True
Suppose -f + 349 = -4*w, -2*w = -0*w - f + 175. Let l(y) = -14*y**2 + 2*y - 2. Let d be l(-3). Let b = w - d. Is b composite?
False
Suppose -6*i + 2*i = 12. Is (-70)/21*(0 + i) prime?
False
Let b(r) = 8*r**3 - 6*r + 3. Is b(4) a prime number?
True
Let a(l) = 6*l + 0*l + l**3 - 3 + 6*l**2 + 6. Let o be a(-6). Let n = 48 + o. Is n prime?
False
Suppose -5*t + 58 = -4*v - 39, 0 = 4*t - 3*v - 78. Is t a composite number?
True
Let f(u) = 25*u**2 - 4*u + 2. Let g be f(2). Let v = g - 63. Is v a composite number?
False
Let s(o) = -o**2 - 15*o - 4. Let w(d) = 2*d**2 + 16*d + 5. Let n(x) = 4*s(x) + 3*w(x). Is n(-8) prime?
True
Let y(m) = -m**3 + 7*m**2 + 9*m - 3. Let n be y(8). Suppose n*a + 116 = f, 4*f - 2*a + 5*a - 349 = 0. Is f a prime number?
False
Let p = -496 - -723. Let u = p + -148. Suppose -2*q - 4*m = m - u, q - 5*m = 32. Is q a prime number?
True
Let n = -342 + 635. Is n a composite number?
False
Let i(w) = -32*w - 3. Let l(t) = -6 - 12 + 6 - 128*t. Let c(y) = -9*i(y) + 2*l(y). Is c(5) prime?
True
Let b(j) = j**2 - 10*j - 4. Let i be b(8). Is -1 - 0 - i - -2 prime?
False
Let h = 95 - 44. Suppose 5*y - 4 = h. Is y a prime number?
True
Let f = -81 - -56. Let q be 104/10 - (-10)/f. Let n(u) = 2*u**2 - 10*u + 11. Is n(q) a prime number?
False
Suppose 4*a = 8*a - 8396. Is a a prime number?
True
Let s(u) = -5*u**3 + u**2 + 4*u + 3. Let i(m) = -6*m**3 + 2*m**2 + 5*m + 4. Let q(l) = -3*i(l) + 4*s(l). Let o be q(1). Is o/(-15) + (-704)/(-5) a prime number?
False
Let s = 8 + -14. Let z(o) be the first derivative of -3*o**2/2 + 5*o + 1. Is z(s) composite?
False
Let k be (-96)/18*(-6)/(-1). Suppose 2*j - 4*w = 142, 4*j - 3*w - 229 = 55. Let o = j + k. Is o prime?
False
Is 4/30 + -5*(-157089)/225 prime?
True
Suppose 9*r = 7840 + 16073. Is r prime?
True
Suppose -4*o + 0*o = -10012. Is o a prime number?
True
Let a = 909 + -424. Suppose 4*y + y = a. Is y composite?
False
Let f(y) = y**3 - 11*y**2 - 7. Let t(o) = 4*o**3 - 33*o**2 - o - 21. Let i(k) = -7*f(k) + 2*t(k). Is i(-10) a composite number?
False
Let i = 44 - 20. Let d = i - 5. Is d composite?
False
Let c = 708 + -191. Is c composite?
True
Is 0 + 3*3/(6/586) a prime number?
False
Let u(t) = -t + 10. Let o(m) = 4*m - 41. Let c(a) = 2*o(a) + 9*u(a). Is c(-11) composite?
False
Let b = -1 + 14. Is b prime?
True
Let g(a) = 39*a + 4. Is g(3) a prime number?
False
Is -251*2/(-4)*2 composite?
False
Let l(d) = d**3 - 9*d**2 + 8*d - 4. Let w be l(8). Is (-11)/(((-4)/(-37))/w) a prime number?
False
Suppose -2*i - 457 = -2*v + 299, 2*i = 5*v - 1893. Is v prime?
True
Suppose 3*q - 500 = 637. Is q composite?
False
Let k(v) = v**2 + v - 2. Let g be k(2). Let x(w) = 45*w + 3. Let j(l) = -l. Let h(r) = 5*j(r) + x(r). Is h(g) composite?
False
Suppose 0 = 2*u + 4*u. Suppose 2*g + 0*g - 134 = u. Is g a prime number?
True
Suppose 5*w + 151 = 381. Let z = w - 12. Is z a composite number?
True
Suppose -b + 5*b + 24 = 0. Let y be b/2 - -3 - 0. Suppose w + 4*w - 295 = y. Is w a prime number?
True
Let o = 312 - 163. Is o composite?
False
Let k(t) = t + 5. Is k(8) a prime number?
True
Let m = -22 - -15. Let w(i) = -4*i**2 - i - 1. Let c(d) = 9*d**2 + 2*d + 1. Let n(g) = -3*c(g) - 7*w(g). Is n(m) composite?
True
Let c(w) = -w - 1. Let d(o) = -6*o - 7. Let p(s) = -5*c(s) + d(s). Suppose 4*f - 9 + 25 = -5*l, -f = -5*l + 29. Is p(f) prime?
True
Let f be 4/6 - 8/(-6). Suppose -6 = -2*o - j - 0*j, o - 6 = -f*j. Suppose 2*b - g - 591 = -o*g, 3*b = -4*g + 899. Is b a prime number?
True
Let v(k) = 3*k**2 + 3*k + 3. Is v(-4) prime?
False
Let j(t) = 6*t**3 - 3*t**2 + t - 1. Is j(5) a composite number?
True
Suppose -l + 83 + 8 = 0. Is l a prime number?
False
Is (-3 + -2640)/(-3) - 3 a composite number?
True
Let i(v) = v**3 - 5*v**2 + 7*v - 9. Let a be i(6). Let y be 11/5 - 3/15. Let g = a - y. Is g composite?
False
Is 19735/7 + 4 + (-120)/28 a prime number?
True
Suppose 3*r - 3*h = -r + 361, -2*h = 4*r - 366. Suppose 3*s + q - r = 0, s - 21 = -q + 3*q. Is s/3 + (-1)/(-3) a prime number?
False
Suppose 10 = 3*d + 2*d. Is 21 - -1*(d + -1) prime?
False
Let h(m) = -m**2 + m. Let p be h(0). Suppose 0 = i - p*i. Let b = i - -31. Is b a prime number?
True
Suppose 3*b = 2*m + 38 + 4397, -5*m + 1467 = b. Is b prime?
False
Let h be 5236/(-33) - (-4)/6. Is h/(2 + -2 - 2) a prime number?
True
Suppose 5*h + 1 - 6 = 0. Let t be (4 + 155)*(0 + h). Let w = -46 + t. Is w prime?
True
Suppose j = 5*f - 16, f + 2*f + 4*j - 5 = 0. Suppose 3*v = -c + v + 93, -v + f = 0. Is c composite?
True
Suppose -3*h + 2722 = 2*r, -3*r = -3*h + 496 - 4579. Is r a composite number?
False
Let k(w) = -3 - 3*w**2 + 0*w**3 + 2*w + 0*w**3 + 1 - w**3. Let y be k(-4). Is y/5*(-130)/(-4) composite?
True
Suppose 0 = -g - 4*n + 743, 3*g - 5*n = -0*n + 2229. Is g a prime number?
True
Let h be ((-6)/15)/((-1)/10). Suppose -h*i - 217 = -2*t - i, -4*t = -4*i - 440. Is t a prime number?
True
Let s = 164 + -85. Is s prime?
True
Let c(j) = 5*j**3 + 7*j**2 + 3*j - 8. Is c(5) a composite number?
True
Suppose 0*p + p + 2 = 0. Let f be 1 - (-2 + (-1)/(-1)). Is ((-5)/p - f)*74 prime?
True
Suppose 4*d + 567 = -101. Suppose 0 = 4*z - 2*z - 556. Let c = d + z. Is c a prime number?
False
Is 3101/35 - (-2)/5 prime?
True
Let u(m) = -2*m - 1. Let o be u(-2). Suppose -8 - 7 = -3*i + 3*t, 0 = 2*t + 10. Suppose -5*r = o*w - 610, 4*r - 501 = -i*r - 5*w. Is r composite?
True
Let c(a) = 4*a - 4 + 1 - 6*a. Let f be c(-2). Is (-412)/(-8) + f/(-2) a composite number?
True
Let x be 12/(-3) + 2/2. Let f = 40 + x. Is f a composite number?
False
Let f be 2/(-11) - (-768)/(-11). Let r = 219 + f. Is r prime?
True
Let h(b) = -2693*b - 15. Is h(-2) composite?
True
Let y be -3 + (0 - -2) - 3. Let v be y/(5/((-430)/(-4))). Let k = v - -123. Is k a composite number?
False
Suppose 0 = -4*y - 4*o - 0*o + 3200, 2*o + 2385 = 3*y. Is y composite?
False
Let y(s) = -s - 4. Suppose 0 = 4*d - 12, d - 15 = 5*o + 13. Let m be y(o). Is 3 - m - (-23 - -2) prime?
True
Let j be 2/(-2) + (-6 - -47). Suppose 3*m + j = 103. Is m composite?
True
Is (764/(-6))/((-10)/15) prime?
True
Suppose 9 - 3 = a. Let z(q) = 1 + 4*q + 0*q - 2*q. Is z(a) a prime number?
True
Let k(t) = -15*t**3 + 4*t**2 + 5*t - 1. Is k(-5) a composite number?
False
Suppose -4*a + 338 = -522. Is a composite?
True
Let d = 3 + -5. Is (2/(-3))/(d/6) a prime number?
True
Let x(s) = s**2 + 4*s + 3. Let g be x(-4). Suppose -2*n = -3*n + g. Suppose -5*d + n*d + 106 = 0. Is d a composite number?
False
Let x(i) = -319*i. Is x(-1) a prime number?
False
Suppose 5*x - 4 = 36. Let f(p) be the first derivative of 3*p**2/2 - 9*p - 3. Is f(x) composite?
True
Let r be -428*(-6)/(-4) + -1. Let g = 910 + r. Is g prime?
False
Let m(s) = 64*s**2 - 5*s - 5. Let y be m(5). Suppose 0 = k - w - 4*w - 344, -y = -5*k - 5*w. Is k a prime number?
False
Let c be 0 - (-1 + 0)*0. Is (-1)/(2/(-94) 