posite?
False
Let t(a) = -3*a**2 + a. Let v be t(-1). Let f(r) = -13*r - 5. Is f(v) a prime number?
True
Suppose 4*l - j = 3*j + 880, 4*l - 2*j = 870. Is l prime?
False
Let f = 4730 + -2826. Suppose -2*z = -5*k + f, -2*k + 5*z = 3*k - 1910. Suppose 3*m + m = k. Is m a prime number?
False
Let y(m) = -36*m + 13. Is y(-8) a prime number?
False
Is (-6)/14 + (-2992)/(-56) a prime number?
True
Suppose -3*k + 341 = -19. Let w(h) = -115*h - 2. Let y be w(-2). Suppose 0 = 4*b - 4*q - y, 2*b = -0*q - 4*q + k. Is b a composite number?
True
Let y = -743 + 1087. Let v = -129 + y. Is v composite?
True
Let w = 3483 + -2006. Is w prime?
False
Let w(i) = 460*i - 4. Let u be w(6). Suppose -4*n = n + 5*z - 2765, -5*n - 2*z + u = 0. Suppose 5*j = -5*v + n, 0 = -3*v - 2*j - 3*j + 320. Is v composite?
True
Suppose -2*f = -f - 673. Is f a composite number?
False
Let b(o) = -142*o - 1. Let q be b(-3). Let w be -2 + (3 - -1) - -1. Suppose 0 = -w*v - 2*v + q. Is v a prime number?
False
Let v = -2 - -4. Suppose -3*i = 5*q - 6 - 14, 2*i - v*q + 8 = 0. Suppose 4*r - 3*y - 104 = 0, i = 3*r - 0*y - 3*y - 81. Is r prime?
True
Let u(t) = -t + 31. Let l(m) = 1. Let s(a) = 4*l(a) + u(a). Is s(0) prime?
False
Let s(y) = 53*y - 1. Let o be s(1). Suppose -272 = -4*n - o. Is n a composite number?
True
Let i(h) = 66*h**2 + h. Is i(5) a prime number?
False
Is 1 - (4 - -1) - -1403 prime?
True
Let k(l) be the second derivative of -l**4/3 - l**3 - 7*l**2/2 - l. Let x be k(-6). Let w = x - -180. Is w a prime number?
False
Suppose -4*c - 3*i = -746, 5*c = -0*i + 3*i + 946. Let m = c - -75. Is m prime?
True
Is (-9)/6*-246 + -4 a prime number?
False
Suppose 74 = -22*j + 24*j. Let a = -6 + j. Is a a prime number?
True
Let l(y) be the second derivative of 0 + 1/2*y**2 - 2/3*y**3 + 3*y + 3/20*y**5 + 1/12*y**4. Is l(3) composite?
False
Suppose 5*y = 14 + 11. Suppose 4*k + 5*u = -7, k + y*u + 1 = -12. Suppose 0 = k*j + j - 111. Is j composite?
False
Suppose -4*p = 3*s + 1, 4*p = 6*p + 4*s - 12. Let c be 246/8 - 1/p. Suppose c = 2*u + l, 5*u + 5*l - 76 = 4. Is u a prime number?
False
Suppose 5*d - 4*g = 987, 3*d - 209 = 2*d - 5*g. Suppose 0 = -5*f + d + 211. Let i = -27 + f. Is i prime?
False
Let j(v) = v**3 - 3*v**2 - 2*v - 4. Let w be j(4). Let g(x) = -w - 5*x + 2 - 2*x - 6*x. Is g(-3) composite?
False
Let d = 50 - -35. Let l = d + -48. Is l composite?
False
Let p(j) = -8*j**3 + 8*j**2 - 11*j + 6. Is p(-5) prime?
False
Suppose y + 4*g - 2*g - 34 = 0, 5*y - 185 = 5*g. Let l be (8/(-6))/((-8)/y). Is 4/12 - (-124)/l composite?
True
Let m(s) = s**3 - 11*s**2 - 2*s + 12. Let z be m(11). Let t = -16 - -8. Is t - z - (-71 + -1) a composite number?
True
Suppose 4*d - 2699 = 5*m, -5*m - 3*d = -m + 2184. Let b = -150 + 986. Let i = m + b. Is i a prime number?
True
Suppose 21 = -2*p + p. Let q = 52 + p. Is q composite?
False
Suppose 2*t + 0 = -2. Let p be 92 + t - 0 - -2. Suppose 0 = 2*i - 85 - p. Is i a composite number?
False
Suppose 5*o - 4*j - 111 = -0*o, 2*j - 68 = -4*o. Suppose -n - o = 3*n - 5*z, -n + z - 4 = 0. Is (-98)/(n/1*2) a prime number?
False
Suppose 5*p - 2*p - 4*t = 22, -4*p = -2*t - 26. Let y(g) = -g**2 + 8*g - 7. Let u be y(p). Is 1/u + (-69)/(-5) a prime number?
False
Let o(d) = d**3 + d**2 - d + 2. Let s be o(0). Suppose -4*u + s*j + 70 = j, -44 = -2*u - 4*j. Suppose -3*v + 0 = -u. Is v a prime number?
False
Let y = 109 + -30. Is y composite?
False
Suppose -g - 415 = 3*s - 5*s, 0 = 3*s + 2*g - 605. Is s a composite number?
True
Suppose 3*d = -3*w - 0*d + 21, 0 = 5*w + 3*d - 27. Suppose w*m - 4*m = -127. Is m prime?
True
Suppose -5*h + 1160 = j - 6*j, j = -h + 224. Suppose 4*b - h = -4*g, 2*b + 51 = 3*g - 2*g. Is g prime?
False
Suppose s = 5*f - 7303, -f + 1026 + 441 = 3*s. Is f a composite number?
True
Let b be (-52)/10*5/(-2). Let n(r) = r - 2. Let w be n(4). Suppose 24 = d + v - b, -v + 72 = w*d. Is d prime?
False
Let y = 9 + -6. Let i be (2/(-4))/(y/(-402)). Suppose 0 = -o + 4*h + i, -3*o + o = -3*h - 119. Is o a composite number?
True
Let f(b) = 28*b + 6. Let p be f(6). Suppose 2*j = -3*y - j + p, y - 3*j - 74 = 0. Let v = -43 + y. Is v a prime number?
True
Let l = -6 - -10. Suppose -8*q + 689 + 727 = 0. Suppose l*t - q = -a, 0*a - 2*t = -a + 153. Is a prime?
False
Let s(b) = -b + 4. Let p be s(0). Suppose -3*f - 1483 = -p*l, -l + f + 0*f + 370 = 0. Is l a composite number?
False
Suppose 4026 = 4*a - 2*j, -a = 3*a + 3*j - 4051. Is a a prime number?
True
Let m = 7 - 3. Suppose m*a - 204 = 1960. Is a composite?
False
Suppose -7*w - 2705 = -12*w. Is w a prime number?
True
Suppose -6*s + 3 = -m - 4*s, -2*m = 2*s - 18. Suppose -4*d + m = -7. Suppose n - 5*x + 8 = 25, -n - 2*x = -d. Is n a composite number?
False
Let i(h) = -5 + h - 1 + 7*h. Is i(8) composite?
True
Let p(n) = 10*n + 7. Let l = -16 - -23. Let k be p(l). Let u = k - 52. Is u a composite number?
True
Let c be 3 + -4 + 16 + 1. Suppose -n + c = -5*n, 5*r - 905 = -5*n. Is r composite?
True
Let d = 49 - -66. Is d a composite number?
True
Let r(v) = -43*v - 8. Let t(d) = 44*d + 9. Let i(o) = -3*r(o) - 2*t(o). Is i(5) a prime number?
True
Let x(k) = -k**3 - 7*k**2 - k - 2. Let d be x(-7). Suppose 5*u - v = -12, 10*u + 3*v + 4 = d*u. Let a(o) = -11*o. Is a(u) composite?
True
Let x(g) = -482*g - 1. Is x(-1) a prime number?
False
Suppose -5*u = 25, -b + 15 = -0*b + 3*u. Suppose 0 = 2*x - 5*x - b. Is (-4)/x - (-132)/20 a composite number?
False
Suppose w - 20 = -5*g, 2*g - w = -0*w + 15. Let l(r) be the second derivative of 5*r**3/3 + 3*r**2/2 + 3*r. Is l(g) composite?
False
Let h(x) = x**3 - 4*x**2 + x + 5. Let p be h(8). Let k = p + -92. Is k a composite number?
True
Suppose -2*i - 6 = -3*z - 17, 3*i + 2*z - 10 = 0. Suppose -q - i*l = -15, 0 = -3*q + q + l + 21. Is (q/3)/(4/12) a composite number?
False
Let j be 0 + 1 + 152/(-2). Let c = j + 152. Is c a composite number?
True
Suppose -1577 - 2138 = -5*c. Is c a prime number?
True
Let j = -2 - -6. Suppose 0 = 5*r + j*c + 388, 3*c + 310 = -5*r + r. Is (2 - r) + (-1 - 0) prime?
False
Let l be ((-3)/(-5))/((-8)/(-40)). Suppose 5*f = -4*h + 1585, l*f - 951 = 2*h - h. Is f composite?
False
Let y(z) = -z + 6. Let f be y(5). Is 765/9 + f*2 composite?
True
Let q = -20 - -178. Suppose q = 4*i + 10. Is i composite?
False
Let l = -19 - -23. Suppose -2*y = 4*w - 28, -3*y + l*y + 5*w - 20 = 0. Is y composite?
True
Is 11294/12 - -5*2/(-60) a prime number?
True
Let a(b) = -b + 10. Let n be a(8). Suppose 0 = n*h - 3*h + 34. Suppose 0 = 5*c + h - 84. Is c a composite number?
True
Let z = -153 + 264. Is z a prime number?
False
Let g be (-32)/(-12)*(-6)/(-4). Suppose -g*m + 24 = -m - 2*f, 1 = m - 3*f. Is (-4)/m + (-434)/(-10) composite?
False
Is (212/8)/(1/26) composite?
True
Suppose -3*z = -z. Let m = z - -219. Let n = m - 128. Is n prime?
False
Let u = 36 + 49. Is u a composite number?
True
Let d(j) be the third derivative of j**6/120 + 2*j**5/15 - 11*j**4/24 + 5*j**3/6 + j**2. Suppose -n + 0*f = -4*f + 25, 65 = -5*n + 5*f. Is d(n) composite?
False
Let w = 91 + -60. Is w composite?
False
Let w(l) = 294*l - 13. Is w(4) composite?
False
Let h = 280 - 181. Is 18/h + (-7498)/(-22) composite?
True
Let l(b) = -b**2 - 8*b - 4. Let y be l(-8). Is 1/(37/9 + y) prime?
False
Let h(g) = -31*g - 1. Let c(w) = -30*w - 2. Let x(p) = 5*c(p) - 6*h(p). Let i be x(3). Suppose -3*j = b - 97 - i, -5*j + 2*b + 335 = 0. Is j a composite number?
False
Suppose 3*i = -5*g + 9, -4*i - 3*g = -13 + 1. Suppose i + 109 = 4*l. Suppose -3*r = r - l. Is r a prime number?
True
Suppose -n + 2 - 1 = 0. Is 102/(3/n) - 3 a composite number?
False
Let a be 2 + -4 - -4 - 0. Suppose 0 = -a*z + 57 - 15. Is z a prime number?
False
Let q(g) = -11*g**3 - 4*g**2 + 3*g - 2. Let y(w) = -22*w**3 - 8*w**2 + 7*w - 4. Let z(v) = -7*q(v) + 3*y(v). Is z(3) a prime number?
False
Suppose -36 = -4*l - 4*z, -4*z + 8 = -12. Suppose 4*i + 29 = t, l*i = -3*t + 22 + 49. Is t a prime number?
False
Let i(y) = -3*y - 4. Let m be i(-2). Suppose 51 = m*a + 3*q, 2*a = -2*q - 2*q + 46. Is a composite?
True
Suppose -5*n + 4*s - 4 - 1 = 0, 0 = 3*n - 3*s + 3. Is 2*426*n/(-4) prime?
False
Let m = -33 + 54. Let i be ((-51)/1)/(m/(-196)). Suppose 0 = -4*j - j - a + 571, -4*j + 4*a = -i. Is j a composite number?
True
Let c(j) = j**2 - 3*j. Let w be c(4). Suppose w*l - 