a composite number?
False
Suppose -3*i = -o - 57, -i + 10 - 51 = o. Suppose -2*d = 4*w, 4*d = 4*w - 3 - 9. Is w - (-1 - (0 - o)) composite?
False
Let n(t) = 3*t**2 + 4*t + 4. Let w be (-1)/3 + 16/(-6). Is n(w) a composite number?
False
Suppose -p - 25 = -4*b, 30 = 3*b - 5*p - 10. Is 833/b - 2/(-5) prime?
True
Suppose -6*g + 20 = -4*g. Suppose -3*p = -4 - 2. Suppose -54 = -p*b - g. Is b a prime number?
False
Let o(t) = 3 + t - 2 - 4. Let u be o(3). Suppose -5*k + 5*n + 255 = 0, 0 = -u*k - 2*k + 4*n + 98. Is k a prime number?
True
Let q(t) = 0*t - t + 3*t + 4 + 11*t**2. Is q(-3) a composite number?
False
Let z(k) = -k**3 - 3*k**2 + 3*k - 5. Let d be z(-4). Let x = 1 + d. Suppose 3*r + 1 - 28 = x. Is r a prime number?
False
Is -4 + (-3136)/(-35) + (-3)/5 a composite number?
True
Let p = -5 + -71. Is (p/16)/(2/(-24)) a prime number?
False
Suppose -7 = -5*p + 4*b - 1, 0 = 2*p + 2*b + 12. Is (1/p)/((-2)/44) prime?
True
Let j(d) be the second derivative of d**4/2 - 4*d**3/3 + 3*d**2/2 + 2*d. Is j(5) a prime number?
True
Let w = 8 + -16. Let o(b) = 7*b**2 + 15*b - 13. Let j(p) = -4*p**2 - 7*p + 6. Let m(c) = -5*j(c) - 3*o(c). Is m(w) composite?
True
Suppose 175 + 338 = 3*w. Suppose -2*h - 2*x + 8 = -0, 5*h - 3*x - 4 = 0. Suppose h*a = 5*a - w. Is a composite?
True
Let i(r) = r - 10. Let g be i(10). Let u(n) = n + 4. Let m be u(g). Suppose 0 = -m*o - 27 + 83. Is o composite?
True
Suppose 2*k = s - 3*s, 5*k + 8 = -3*s. Suppose s*d = -d + 3*f + 1802, 1440 = 4*d - 4*f. Is d a prime number?
False
Suppose 4*r + 6 = -3*i, -3*r + 0 = -2*i - 4. Suppose -3*k - 4 = k. Is (k - i)/(2/110) a composite number?
True
Let x = 373 - 122. Is x prime?
True
Let f(m) = 24*m**2 + 4*m + 31. Is f(14) composite?
True
Let g = 9 - 9. Suppose 5*l - l - 508 = g. Is l prime?
True
Suppose -5*k = 35 + 10. Let j = -6 - k. Suppose -j*x - 5*d + 30 = 0, -3*x + 42 = -x - 4*d. Is x prime?
False
Is (-6)/(-3) + -2 + 191 a composite number?
False
Suppose 0 = 2*w - b - 703 - 1122, 2*b = 3*w - 2737. Is w a composite number?
True
Let n(v) = 132*v + 3. Is n(8) prime?
False
Let c be (-2149)/35 - 2/(-5). Let p = c + 98. Is p a prime number?
True
Suppose m - 3*m = -92. Is m a prime number?
False
Let v(a) = -3*a + 1. Let o(d) = -6*d + 2. Let f(t) = -6*o(t) + 13*v(t). Let k be f(1). Is 1*1/k*-22 a prime number?
True
Let n(m) = -m**3 + 3*m**2 - 3*m + 2. Let v(u) = -u**3 + 4*u**2 - 2*u + 3. Let h(t) = 5*n(t) - 4*v(t). Is h(-5) prime?
False
Let u(x) = -4*x + 3. Is u(-10) composite?
False
Let w(v) = v + 4. Let n be w(-2). Suppose -3*a = k - 365, n*k + 3*k = -3*a + 373. Is a composite?
True
Suppose -2*n + 3*n = -18. Is (-3434)/n + 6/27 a composite number?
False
Suppose 4*x + 4 = 0, 0 = -2*j - 2*j - 5*x + 1699. Let t = j + -285. Is t a prime number?
False
Suppose -5*v + 4*u = 60, 2*u + 17 = -4*v - u. Let n(y) = -9*y - 10. Let l(o) = -8*o - 9. Let q(k) = 4*l(k) - 3*n(k). Is q(v) composite?
True
Let w = -11 - 1. Suppose 125 = 7*d - 2*d. Let p = w + d. Is p a prime number?
True
Let g be (1 - (1 + -1))*3. Suppose 0 = -g*u + 19 + 182. Is u prime?
True
Let b = -93 + 234. Is b prime?
False
Let x(y) = -y**3 - 4*y**2 + 3*y + 3. Suppose 11 = -3*a - t, 2*a = -2*a + 5*t - 40. Let l be x(a). Is l*(-5)/(5/(-2)) composite?
True
Let l = -5 - -7. Let k(a) = -5*a + a**2 - l - 1 - a**2 + a**2. Is k(9) composite?
True
Let v be (-6)/33 + (-4)/(-22). Suppose -2*h + 182 = 4*t - 532, v = -h + t + 342. Is h prime?
True
Let h(l) = l**3 - 5*l**2 + 2*l - 5. Suppose -5*z + 32 = -2*r, 5*z + 2*r + 2*r = 56. Is h(z) composite?
True
Let q(c) = -c**3 - 10*c**2 - 2*c + 5. Let b = -4 + 6. Suppose 4*k + 26 = b*k - 2*j, -5*k - 59 = 3*j. Is q(k) a composite number?
True
Let l = -42 - -76. Let g(v) = -3*v**2 + 2*v - 1. Let a be g(2). Let t = a + l. Is t composite?
True
Suppose 190 - 1826 = -4*b. Is b a prime number?
True
Let x be (0 + -2)/(1 - -1). Let s(v) = 3*v - 30. Let z be s(-12). Is z/((-3)/3) - x prime?
True
Is (708/36)/(2/12) composite?
True
Let x be 12/(-2) - (1 + 1). Let v(r) = 3*r**2 + 3*r. Let k be v(-3). Let w = x + k. Is w prime?
False
Let f = 40 + -78. Suppose 2*y = v - 66, -3*v + v - 4*y = -156. Let q = f + v. Is q a composite number?
True
Suppose 0 = -a - 3*s + 37, -2*a + 57 = -a - s. Let y = a - -15. Is y prime?
True
Let m(f) = 22*f - 3. Let q(u) = -u + 6. Let j be q(-5). Is m(j) prime?
True
Let h = 6 + -1. Suppose 2*i = 10, -h*s + s + 283 = -5*i. Is s a prime number?
False
Suppose 5*l = r + 15, 4*l = 1 + 15. Suppose -2*o + 2*k = -508, -o + r*k = 3*o - 1019. Is o a prime number?
True
Let w(j) = -5*j**2 - 17. Let r(z) = z**2 + 4. Let m(f) = -9*r(f) - 2*w(f). Let k(n) = n**3 - 6*n**2 - 2*n + 7. Let a be k(6). Is m(a) prime?
True
Let x(s) be the second derivative of 19*s**3/6 + 2*s. Let w(f) = f**3 - 6*f**2 + 6*f - 4. Let b be w(5). Is x(b) a prime number?
True
Let u(d) = -11*d**3 - 41*d**2 - 11*d + 25. Let i(w) = 7*w**3 + 27*w**2 + 7*w - 17. Let g(y) = -8*i(y) - 5*u(y). Is g(-11) a composite number?
True
Suppose 3*w + 30 = -0*w. Let u be w/4*(-6 + 4). Suppose u*s - 111 = 2*s. Is s a prime number?
True
Let a(u) be the second derivative of -23*u**5/10 + u**4/12 + 16*u. Let k = -2 + 1. Is a(k) prime?
True
Suppose -2*y + 3*z + 2515 = -0*y, -4*y + 5060 = 4*z. Is y prime?
False
Let p(m) = -2*m + 3. Let l(o) = -5*o + 10. Let q(j) = -4*l(j) + 14*p(j). Let b be q(-4). Is b/(((-2)/7)/(-1)) a composite number?
True
Suppose -4*v + 5*v = 4. Let a(j) = 6 - 5 - v + j**2 + 4*j. Is a(-5) a prime number?
True
Suppose m = 2515 - 861. Is m a composite number?
True
Let c be 6*(1 + -3)/4. Let q be (-9)/c*(-1)/(-3). Let p = 20 + q. Is p a composite number?
True
Let n be 1*3*(-8 - -4). Let b = -10 - n. Suppose -v = 3*z - 61, -b*z + 38 = 3*v - 117. Is v a prime number?
False
Let h(t) = t - 1. Let z be h(6). Let n(f) = 8*f - 6. Let s be n(z). Is s/(1*(-3)/(-3)) a prime number?
False
Let q be 3/2 + 1/(-2). Suppose -16 = -3*h - q. Suppose -2*c + 121 = 3*l, 2*l + h*c = 4*c + 79. Is l a composite number?
False
Suppose n = -5*a - 71, 2*a + 15 = -n - 14. Let t(j) = j + 4. Let s be t(7). Let y = s - a. Is y a composite number?
True
Suppose -3*z - 4*s = -3659, -3*z - 4*s = -2*s - 3649. Is z a prime number?
True
Let m(h) = -6*h + 1. Is m(-11) a prime number?
True
Suppose 5*v + 6528 = 4*k, 2*k - 3*v - 43 = 3219. Is k a composite number?
False
Let x(g) = 3*g + 6. Suppose n = -4*w + 21, 2*w + n = -w + 16. Is x(w) composite?
True
Let l(w) = 54*w - 5. Is l(6) prime?
False
Let z(s) = -s - 6. Let d be z(-10). Suppose -d*b = -3*b - 101. Let f = -16 + b. Is f prime?
False
Let h(s) = -s + 5. Let g = -13 - -9. Is h(g) composite?
True
Suppose 0 = -5*s + 3*s + 8. Suppose -3*g = -6*g + s*t + 115, 4*g - 4*t = 152. Is g composite?
False
Suppose -3*k + 1 = -4*k. Let z be -19 + (k - -1)/2. Let r = 44 + z. Is r prime?
False
Let c(h) = -h**3 + h**2 - h + 139. Suppose 5 = -0*b + 4*b + 5*k, -3*b - 5 = -5*k. Is c(b) a prime number?
True
Let c = -1 + 2. Let l = 7 - c. Suppose 0 = w - l - 9. Is w prime?
False
Let f(s) = s**3 - 6*s**2 + 7*s - 7. Let a(p) = -4*p - 2. Let m(t) = -7*t - 4. Let y(z) = -5*a(z) + 3*m(z). Let g be y(-7). Is f(g) prime?
True
Let d = 236 - 141. Is d a composite number?
True
Suppose 6 = 4*n - 6. Suppose -5*d = -2*z + 158, -n*z - 3*d + 55 = -224. Is z a prime number?
True
Suppose -j - 3*j = -488. Let r = 217 - j. Suppose 0*l = 5*l - r. Is l a composite number?
False
Is (6294/((-6)/2))/(-2 - 0) a composite number?
False
Suppose -6*b = -641 - 133. Is b prime?
False
Suppose -14*p - 1801 = -15*p. Is p a prime number?
True
Suppose 0 = -5*a + 158 + 187. Is a prime?
False
Let a = 1094 - 593. Is a a prime number?
False
Suppose 2*d + 0*u = -5*u - 509, 0 = 4*u - 20. Let c = d - -376. Is c a composite number?
False
Suppose -5*r - 126 = -n, -3*n - 3*r = -6*r - 390. Suppose -x + 5*l = -107, 0*x + x + l = n. Is x a prime number?
True
Suppose 0 = -4*x + 2*k + 3*k + 96, -x + 3 = 4*k. Let t = 13 - x. Is ((-21)/(-6))/((-3)/t) a composite number?
False
Suppose 0*p + 8 = p. Let s be (p/(-6))/((-2)/489). Suppose 2*h + 2*r - s = -0*h, 0 = -4*r. Is h a composite number?
False
Suppose -r + 0*x + 453 = 2*x, 2*x + 888 = 2*r. Is r a prime number?
False
Let k = -8 + 15. Let a(y) = 2*y**2 - y + 4. Is a(k) composite?
True
Is ((-12)/4 + -158)/(-1) a composite number?
True
Is (2 + 259/(-4))/((-2