te number?
True
Let a = -912 + 1293. Is a composite?
True
Suppose b + 20 = 6*b. Let h(t) = 14*t - 1. Let u be h(b). Suppose -19 = 4*j - u. Is j composite?
True
Let q(t) = -4*t**3 + t**2 + 1. Let u(r) = r**3 - 6*r**2 + 4*r + 4. Let i be u(5). Let n = -1 + i. Is q(n) a composite number?
False
Suppose -5*s + 573 + 97 = 0. Let t be (-12)/(-8)*s/3. Suppose -3*q + 4*q - t = 0. Is q composite?
False
Let h(k) = -5*k - 1. Is h(-3) a composite number?
True
Let c(i) = -8*i**2 + 9*i - 9. Let t(v) = -7*v**2 + 8*v - 8. Let j(r) = 6*c(r) - 7*t(r). Let h be j(2). Is ((-11)/h)/((-2)/8) prime?
False
Suppose -4*p = -9*p + 5. Is 20 + (-3)/3*p prime?
True
Suppose -3*r - 5*p + 223 = 0, -2*r - 3*r - p + 335 = 0. Let a = r + 27. Is (a/6)/((-1)/(-2)) composite?
False
Let v(y) = -3*y - 7 + 9 + 5 - 4*y - 5*y**2 - y**3. Is v(-6) a prime number?
False
Let h(z) = -2*z. Let a be h(-3). Let k(y) = 12*y**2 + 3*y - 7. Is k(a) a prime number?
True
Let g = 1701 + -1068. Is g prime?
False
Let p(y) = -12*y**2 + 5*y - 5. Let n(j) = -j**2 + j. Let i(v) = 4*n(v) - p(v). Is i(6) composite?
True
Let z(k) = 5*k**3 - k**2 - 3. Let g(c) = -c**2 - 5*c - 3. Let h be g(-3). Is z(h) a prime number?
False
Let m(o) = 15*o**3 + o**2 + 6*o - 9. Is m(4) a composite number?
False
Is 1964/(-12)*(-2 + -1) composite?
False
Let h(k) = -k**3 - 9*k**2 - 2*k - 3. Let p be h(-6). Let l = -28 - p. Is l prime?
True
Let l be (15 + 3)/((-2)/(-58)). Let r = l - 265. Suppose 0 = -0*v - v + r. Is v composite?
False
Suppose 5*i + 46 = 531. Is i prime?
True
Let u(b) = -b**2 + 15*b - 13. Is u(11) prime?
True
Suppose -4*q - 3196 = -8*q. Let y = q + -464. Is y a composite number?
True
Let m(y) = y**2 + y + 1. Let x be m(-2). Let k be (-3)/(-2)*124/3. Suppose -w = -k + x. Is w a composite number?
False
Suppose 5*k = -0*k + 20. Suppose k*u = 3*a + 5, 3*u + 5 = -3*a + 14. Suppose -5*w + 76 = a. Is w a composite number?
True
Suppose -r - 3*a - 5 = 5, 5 = 5*r + 4*a. Let g be (r - 0)*4/5. Suppose 0*f = -g*f + k + 49, 0 = 3*k + 15. Is f composite?
False
Suppose -3*b + 5*b = 320. Let j = b + -93. Is j prime?
True
Let u = 87 - 5. Is u composite?
True
Let f(w) = w - 8. Let y be f(-11). Suppose 0 = -n - n - 58. Let o = y - n. Is o composite?
True
Is -26 - -23 - -4*7 a composite number?
True
Let f(v) = 3*v**3 - 14*v**2 - 2*v + 7. Is f(6) prime?
True
Let t be (-3)/5 - (-8)/5. Is 56 - (-6 + 3) - t a prime number?
False
Let y(d) = 168*d**2 + 7*d + 11. Is y(-2) a prime number?
False
Let z(d) = 132*d + 1. Let f(a) = -a + 1. Let o(i) = 5*f(i) + z(i). Let l(g) = -1. Let u(j) = 6*l(j) + o(j). Is u(1) prime?
True
Suppose 6*r = 2*r + 88. Let s = r - 3. Is s a prime number?
True
Is 222/((-7)/((-14)/4)) a composite number?
True
Suppose -17 + 57 = 5*o. Suppose -6*x = -x + s - 14, s - 4 = 0. Is x/3*948/o prime?
True
Suppose i + 8 = -i. Let m(t) = -46*t - 1. Let n(l) = -l. Let x(a) = i*n(a) + m(a). Is x(-5) composite?
True
Let v(j) = 6*j + 1. Let m be v(1). Suppose 4*h + 13 = -m. Is (h - 1)*(-22)/4 composite?
True
Suppose 0*w + 235 = 5*w. Is w a composite number?
False
Suppose 0 = 3*q + 4*n - 10, 2*n - 1 + 29 = 4*q. Suppose 3*h - 6 = q. Is h a composite number?
True
Let b(t) = -t**3 - 4*t**2 - 4*t + 1. Let p be b(-3). Suppose 5*m = -0*m - f + 368, -f = 3*m - 222. Let h = p + m. Is h a prime number?
False
Suppose 8 = -3*a + 2. Is (a/(-6))/(4/1068) composite?
False
Suppose -436 = -5*a + 154. Is a prime?
False
Let l(u) = u**3 + u**2 + u + 2814. Let s be l(0). Let p be (-2)/(-5) - s/(-15). Suppose -p = -4*f + 456. Is f a prime number?
False
Is -2 - 4 - -9 - (-633 + 1) a prime number?
False
Suppose -6*b + b - 3391 = 3*l, -2698 = 4*b - 5*l. Let f = b - -1218. Is f a composite number?
False
Let a = -8825 + 13736. Is a composite?
True
Let f be (5 - -2)*-1*1. Let t = -3 - f. Suppose d - t = 18. Is d composite?
True
Let s(b) = -3*b - 3 + 3*b - b. Let u be s(-5). Suppose 0*q - 3*c - 15 = -u*q, 3*c = q. Is q a prime number?
False
Let k be ((-6)/4)/(5/(-20)). Let o = k - -8. Is o a prime number?
False
Let s(i) = -i**2 + 5*i. Is s(4) a composite number?
True
Let j(f) = 77*f**2 + f - 1. Is j(1) prime?
False
Suppose 0*i - 2*i + 10 = 0. Is (-100)/(-8)*4/i prime?
False
Suppose -9 = -2*t + 65. Is t prime?
True
Let z(r) = -r**2 + 3*r + 3. Let d be z(4). Let o(q) = 15*q**3 + 8*q**2 + 4*q + 5. Let y(l) = l**3 - l**2 - l - 1. Let a(g) = d*o(g) - 6*y(g). Is a(-2) prime?
True
Let k(m) = -3*m + 24. Is k(-23) a prime number?
False
Let b(z) = z**3 + 2*z**2 + 4*z - 2. Is b(7) a prime number?
True
Let q(m) = -11*m + 18. Is q(-7) composite?
True
Let v(u) = -4*u**2 - 9*u + 1. Let b(r) = -r**2. Let h(z) = -3*b(z) + v(z). Let a be 3/(-6) + 22/(-4). Is h(a) prime?
True
Suppose -6*b = -5*b - 121. Suppose -b = -f - 44. Is f a composite number?
True
Suppose 2*l + 3*q + 4 = 0, 2*l + q + 4 = -4. Let b be ((-18)/(-5))/((-2)/l). Is 2/b + (-662)/(-18) prime?
True
Let z(q) = 31*q**2 + 10*q + 19. Is z(-10) composite?
False
Suppose -2*y = c - 645, -y - 652 = -c + 4*y. Is c prime?
True
Let v(n) = -n**3 + 2*n**2 - 2*n - 1. Is v(-4) a composite number?
False
Let f be 15/(-10) - (-1238)/4. Suppose -z = 3*z - f. Is z prime?
False
Let t(r) = -r**2 + r - 1. Let l be t(0). Is 60 + l + 0/1 a prime number?
True
Let k be ((-6)/8)/(1/12). Let t(l) = 5*l**2 - 3*l + 3. Let g be t(1). Is g/((-15)/k) - -110 a composite number?
False
Let x(s) = 2*s + 4. Let c be x(-6). Suppose -r + n - 52 = -4*r, 5*r + 5*n = 90. Let h = c + r. Is h composite?
True
Suppose 0 = -5*p + 68933 - 18848. Is 1/2 - p/(-18) prime?
True
Let y(o) = 1 - 1 - 6*o + 296*o**2 + 7*o. Is y(-1) composite?
True
Suppose 5*t - 11620 = -5*a + t, -3*a = -4*t - 6972. Suppose 0*x - a = -4*x. Is x a composite number?
True
Let u(s) = -s**2 - s. Let f be u(-1). Is (171/(f - 3))/(-1) a composite number?
True
Let r be 2/(-10) - 22/(-10). Suppose -3*t + 2*t - r = 0. Is -3 - (-206 + t + 2) prime?
False
Let h(n) = 7 + 9*n + 4 - 31*n + 0. Is h(-6) prime?
False
Let i(s) = s**3 + 5*s**2 + 5*s + 6. Let b be i(-4). Suppose 3*o = -b + 77. Is o composite?
True
Suppose -5*u = 2*j - 929, -5*j + 320 = 2*u - 60. Is u prime?
False
Let b = -5 + 11. Let w = -17 - -19. Suppose -14 - b = -w*j. Is j a composite number?
True
Let p be (-2 - -3 - 1)/(-1). Let n be 2/(-2)*(1 - p). Is n - -14 - (3 - 1) a composite number?
False
Let n(l) = 7*l**2 + 8*l - 7. Is n(8) prime?
False
Let k(o) = -13*o**2 + 3*o + 1. Let f be k(-3). Let w be 2*(1 - 2) - f. Let t = w - 88. Is t composite?
True
Let j = 1053 + -664. Is j composite?
False
Let p(l) = -4*l. Let u be p(-2). Suppose -4*w = u, -4*b + 2*w - 2 = -w. Is (1 - -52) + b + 2 a prime number?
True
Let z(n) = n**3 + 2*n**2 - 5*n - 2. Let p be z(-4). Let w be 7*p/((-4)/(-2)). Let d = 132 + w. Is d a prime number?
True
Suppose -l + 3*c + 594 = -0*c, 5*l = -c + 2986. Is l a prime number?
False
Let b(k) = k**2 + k. Let o be b(5). Suppose 5*f - v = 638, 5*v - 82 - o = -f. Is f a composite number?
False
Let j(f) = f + 6. Let p be j(-3). Suppose p*r - 5*q - 155 = -q, r - 39 = -5*q. Is r a prime number?
False
Let x(g) = -g**2 - 23*g + 12. Is x(-10) a prime number?
False
Suppose -10 + 0 = -5*r. Suppose -4*j + 5*n + 393 = 95, 158 = 2*j + r*n. Is j composite?
True
Let i(z) = -124*z**3 - 2*z**2 + z + 2. Is i(-1) composite?
True
Let l = 275 + 164. Is l composite?
False
Suppose -3*w + 891 = -3*z, 2*w - 3*z = -6*z + 599. Suppose 3*j = -s + 103, -2*j + 94 = 4*s - w. Is s a prime number?
True
Let g(q) = 80*q. Let s be g(-4). Suppose -6*v - 6 = -0. Is v/(s/106 - -3) prime?
True
Suppose -5*u - 9 + 24 = 0. Suppose 0 = -2*c - 2*g + 330, -c - 316 = -u*c + 5*g. Is c prime?
True
Let h be -5*((-312)/15)/(-4). Let o = 56 + h. Let w = o - -37. Is w prime?
True
Let l = 31 - 16. Let k = l + -11. Suppose -2*q + k*q - 3*z = 75, 4*z - 21 = -q. Is q composite?
True
Let z(x) = 7*x**2 + 4 - 2 + 4 - 1 + x. Is z(4) prime?
False
Let k = 5688 + -2437. Is k composite?
False
Let d(f) be the second derivative of f**4/12 + f**3/3 - f**2/2 + 3*f. Is d(5) composite?
True
Suppose -17 = -2*s + 5*x, s - 2*s + 3*x = -8. Suppose -2 = -i + s. Let t = i - -26. Is t a composite number?
True
Suppose -16 = 4*g, 5*u = g - 5*g + 3949. Is u a prime number?
False
Let d(q) = 148*q + 7. Let p be d(6). Suppose 5*k = 2120 - p. Suppose 20 = 5*z - k. Is z a composite number?
False
Suppose 4*k = 5*a 