(1). Is u(j) prime?
False
Let s(d) = -3. Let a(i) = i + 2. Let q(r) = -2*a(r) - 3*s(r). Let j(b) = b**3 + 3*b**2 - 8*b + 2. Let h be j(-5). Is q(h) a composite number?
True
Suppose -4*b + 42 = -2*b. Is b composite?
True
Let y(j) = -2*j**3 - j**2 - j. Let b be y(-1). Is (-226)/(-10) - b/(-5) composite?
False
Suppose -4*c = -c - 48. Suppose -5*j = -j - c. Suppose -3*n + t = -17 - 146, -n = -j*t - 47. Is n composite?
True
Let g(a) = 224*a - 51. Is g(6) a prime number?
False
Let r(m) = -m**3. Let x be r(1). Let u = 11 + x. Let h = 20 - u. Is h a prime number?
False
Let x = -7 - -10. Let b be x - 4 - 10/(-2). Suppose b*a = -5*u + 661, 3*u + 2*a = -a + 396. Is u prime?
False
Let c(z) = 15 - 13*z - 3*z + 8*z. Is c(-11) prime?
True
Let b(x) = -3*x**2 + x**3 + 13 - 4 - 14*x + 4*x. Is b(6) prime?
False
Suppose 6*w = 11*w - 10495. Is w a prime number?
True
Let s(r) = -9*r - 1. Let w be s(-1). Suppose 2*u + 2*u = w. Suppose 0*f + 26 = u*f. Is f a prime number?
True
Let i(s) = 7 - 4*s**2 + 4*s**2 + 3*s**2. Let t be i(8). Suppose l - t = -4*u, 3*u + 4*l - 128 = -l. Is u a prime number?
False
Let k be 34*(-3)/((-12)/(-14)). Let n = k - -304. Is n a prime number?
False
Let d = -5 - -8. Suppose 2*w = d*w + 137. Is (-2)/8 + w/(-4) prime?
False
Let h = -16 - -10. Let d(p) = -5*p - 7. Is d(h) a prime number?
True
Let u(s) = 3*s**2 - 2*s + 1. Let f be u(1). Suppose f*j - 820 = -2*j. Is j a prime number?
False
Suppose 0 = -5*x + 3464 + 3831. Is x a composite number?
False
Suppose 12 = -4*o + 8*o. Suppose 0*n - n = -4. Suppose 4*f - 864 = n*h, o*f + 3*h - 2*h - 668 = 0. Is f a prime number?
False
Let k(m) = -3*m + 5*m - 12 - 3*m. Let d be k(-9). Let u(w) = 2*w**2 + w - 1. Is u(d) composite?
True
Suppose -3*n + 13 = -23. Suppose 3*l - l = n. Is (10/l)/((-3)/(-99)) composite?
True
Suppose -5*j + 5 = 4*n, -4*j - 32 = -6*n + 2*n. Suppose -589 = -n*h - 154. Is h composite?
True
Suppose 5*w = n - 4138, 0 = -n - 11*w + 7*w + 4165. Is n a prime number?
True
Let j be (-1 + 22)/(6 + -7). Is 8*(j/(-4) + -4) a composite number?
True
Let y be (10/(-4))/(2/(-24)). Suppose 0 = -3*d + 4*d + 5*k, -5*d + 5*k + y = 0. Suppose 0 = d*v - 30 - 25. Is v prime?
True
Let d = 1262 - 463. Is d a prime number?
False
Suppose 0*i = -5*i + 40. Is (-11*2)/(i/(-4)) a composite number?
False
Let l = 1 - -6. Suppose -84 - 47 = -2*r + 5*m, -2*r + m = -127. Is l/(-14) + r/2 composite?
False
Is (-3)/(-18) + (-1757)/(-6) prime?
True
Let c(n) = n**3 - n**2 + n + 25. Is c(0) prime?
False
Suppose 1 = -2*x - 1, 3*x - 20 = a. Let b(m) = -16*m. Let h be b(2). Let q = a - h. Is q a prime number?
False
Suppose -17 = -2*c + 5*i, -i + 16 = 4*c - 5*i. Suppose u + 1 = -c. Is (-4)/((-8)/26) - u prime?
False
Let l = -2385 + 3824. Is l a prime number?
True
Let g be (2 - -8)*-1*-2. Suppose 7*s = -5*k + 2*s + g, 0 = -2*s. Suppose 2*h - 7*t - 114 = -3*t, -k*h + 4*t = -216. Is h prime?
False
Suppose -34 = -2*d + 36. Is d a composite number?
True
Let s(y) = 3*y**2 - 2*y - 1. Let m be s(-1). Suppose 3*z - 16 = -4*r, -8 = z + 4*r - 24. Suppose m*f = -3 - 1, z = -2*a - 3*f + 235. Is a a composite number?
True
Let u = 1038 - 1574. Let d = -277 - u. Is d a prime number?
False
Let w(d) = -235*d. Let z be w(-2). Suppose -3*h = 2*h - z. Is h composite?
True
Let f(j) = 8*j**2 + 9*j - 10. Is f(5) prime?
False
Let t(d) = -d**2 + 8*d + 1. Let i be t(8). Let o = 5 - i. Suppose 4*s + 447 = 5*r, o*r - 3*s = -s + 354. Is r prime?
False
Let g(c) = -c - 6. Let m be g(-7). Let x be (m*3)/((-15)/(-10)). Suppose 60 = x*b - 222. Is b a prime number?
False
Suppose 0 = 2*i + 3*c - 39, -5*i - 2*c = -i - 82. Is i a composite number?
True
Let s(x) = -21*x**2 + 17*x - 11. Let l(h) = -31*h**2 + 25*h - 16. Let c(o) = 5*l(o) - 7*s(o). Let y be c(4). Let k = y + 198. Is k a prime number?
False
Suppose 0*z = -5*z + 5. Let c = z + 22. Is c a prime number?
True
Suppose -5*w + s - 5*s + 1043 = 0, -s + 630 = 3*w. Is w a composite number?
False
Let l = -1586 + 2757. Is l prime?
True
Let h(t) = t**2 - 7*t + 3. Let a be h(6). Let k be a + (363/3 - 1). Suppose -6*y + 3*y = -k. Is y a prime number?
False
Suppose 201 = -3*s + 2106. Is s a composite number?
True
Let o(i) = -i**2 - 8*i - 3. Let w be o(-5). Let v = 9 + -9. Suppose 4*k - w = v, 54 + 32 = 5*m - 3*k. Is m a composite number?
False
Suppose -1 = 2*t - 3*z, 0 = 5*t + z + 4*z + 15. Is t/(-2 - 208/(-106)) composite?
False
Suppose 0 = -163*r + 167*r - 7292. Is r a prime number?
True
Let m = 28 + 68. Let f = m + -59. Is f a prime number?
True
Let h be 15/((-9)/(-3)) - 1. Let a be ((-2)/h)/(4/(-968)). Let v = a + -84. Is v a prime number?
True
Let i(n) = -56*n + 33. Is i(-29) a prime number?
True
Let m = -15 + 18. Is 21/14*1270/m prime?
False
Suppose -4*n - 3*s - 2023 = -6293, 1071 = n - s. Is n composite?
False
Let f = -13 - -28. Suppose -n + f = 4*n. Suppose 2 = -n*x - 4, 2*x - 568 = -4*d. Is d prime?
False
Let c(r) = 2*r**3 - 9*r**2 + 23*r + 2. Let d(s) = s**3 - 5*s**2 + 12*s + 1. Let f(z) = -3*c(z) + 7*d(z). Is f(12) prime?
True
Let d = 443 + -54. Is d prime?
True
Let j = -2 - -3. Let b(i) be the first derivative of 21*i**4/4 + i + 1. Is b(j) prime?
False
Suppose 4*s - 32 = -12, -c + 5*s + 648 = 0. Is c a composite number?
False
Let u(v) = 27 - 11*v - 27. Is u(-5) composite?
True
Let n(s) = -501*s - 3. Let r be n(3). Is 3 + (-3)/(9/r) prime?
False
Let c(t) = 13*t**3 + 4*t**2 + t - 5. Is c(4) a composite number?
True
Let f = -19 + 39. Suppose -4*w - 12 = -x, -3*x - 2*w = -0*w + f. Let g = x - -11. Is g composite?
False
Is (-2 - (-7)/2)/(12/472) a prime number?
True
Let y(c) = 4*c + 6. Let d(s) = -s - 1. Let h(g) = -3*d(g) - y(g). Let k be h(-3). Suppose -43 = -k*z - z. Is z a composite number?
False
Let i(r) = 59*r**3 + r - 1. Is i(1) composite?
False
Suppose -12*h + 11*h = -437. Is h a composite number?
True
Let u(n) = 2*n**3 - 7*n**2 + 5*n + 3. Suppose -x + 3*f = 1 + 10, -2*x = 3*f - 23. Is u(x) composite?
True
Suppose -3*f = 4*u - 16, 5*f + 5*u - 15 - 10 = 0. Suppose 4*k + 808 = f*x - 0*k, 3*k - 206 = -x. Is x composite?
True
Let u(h) be the first derivative of h**3/3 + 7*h + 1. Is u(0) a prime number?
True
Let y(n) = -9*n + 92. Is y(-11) prime?
True
Let h = 321 + -179. Is (h/(-8) - 0)*-4 a composite number?
False
Let p(i) = -5*i**3 - 14*i**2 + 18*i - 21. Let o(c) = -3*c**3 - 7*c**2 + 9*c - 11. Let m(x) = 7*o(x) - 4*p(x). Let s be m(6). Let t = s - -33. Is t prime?
False
Let m be (0 - -3 - 3) + 2. Let p be (-3)/(m*9/1284). Let k = -125 - p. Is k a composite number?
False
Suppose 2732 = 6*r - 2*r. Is r prime?
True
Suppose 3*x - 12 = -x. Suppose 1139 = -0*s - x*s - 4*d, -4*s - 1560 = -5*d. Is (s/21)/((-1)/3) a prime number?
False
Suppose 0 = 2*b - 3*b + 127. Is b a composite number?
False
Suppose -d - 15 = -6*d. Let b(r) be the first derivative of 14*r**3/3 - r**2 - r - 1. Is b(d) a prime number?
False
Suppose 3*i - 2*y - 10 = -y, -15 = -3*y. Suppose 0 = i*r - 5*n - 40, n + 5 = 2*n. Is r composite?
False
Let j = -16 + 24. Suppose -3*g + 0*g = 693. Is (-2)/j - g/12 a composite number?
False
Suppose -107 + 27 = -5*p. Suppose 5*w = 0, -4*h - 2*w = 2*w - 144. Is (-1)/4 + h/p composite?
False
Suppose 4*k + 33 = 5*z, -3*z = k - 4*k - 21. Let d be (-102)/(-3) - k/(-2). Suppose h - 12 = -j, -4*j + 13 = 2*h - d. Is j prime?
True
Let k be (-3)/(9/246) - -2. Let f = 163 + k. Is f a prime number?
True
Let g = -7 + 84. Suppose 2*q - 141 = g. Is q a composite number?
False
Is 90/(-9)*134/(-4) a prime number?
False
Let w be (6/9)/((-4)/18). Let i(y) = -3*y**3 - 4*y**2 - 2*y + 2. Is i(w) a composite number?
False
Let d be (566/(-6))/((-1)/(-3)). Let v = d + 428. Suppose 5*g - v = 5*w, w - 8 = -g + 13. Is g prime?
False
Let h(x) = -2336*x - 31. Is h(-6) a prime number?
False
Let y(f) = -8 + 3 - 2*f**2 - 4*f**2 + f**3 + 7*f. Let p be y(5). Is ((-3)/(-5))/(1/p) prime?
True
Suppose 3*w - 2*u + 8 = 4*w, 0 = 5*w + u - 76. Let v = 15 + w. Suppose 2*s - 27 = -h - 4, -5*h + v = 4*s. Is s composite?
True
Suppose -5*j + 4*m = 15, -3*j + 2*m - 7 = -0*j. Let w(z) = 118*z + 1. Is w(j) a composite number?
True
Suppose 0*i = 4*i, 5*a - 2*i - 80 = 0. Is (-4)/(a/(-12)) + 292 a composite number?
True
Suppose -u = 3*u. Let n be (-1 - u - -1) + -7. Is (-7)/(n/6)*1 a prime number?
False
Suppose -3*m - 10 = -5*m. Suppose -3*l - 7 = l - m*o, 3