 composite?
True
Suppose v + x - 19 = 464, -v - 2*x = -487. Is v prime?
True
Let l be 2 + -2*2 - -7. Suppose 3*j + 3*o = 7*o - l, -5*j + 5*o = 0. Is (j/(-2))/((-1)/82) a composite number?
True
Suppose 42 = 4*j - 26. Let y = 38 - j. Is y a prime number?
False
Suppose 113 = j + 4. Is j a composite number?
False
Is -1 + 1 + 753 - 2 a composite number?
False
Let f(h) = 5*h**2 - 4*h + 4. Let c be (2/8)/((-2)/(-40)). Is f(c) a prime number?
True
Suppose -5*h + 2*u + 995 = -16, -3*u - 806 = -4*h. Let l = 286 - h. Suppose -4*g - o + l = 0, -5*g + 2*g - o = -61. Is g composite?
True
Let q(p) = p**2 + 13*p + 11. Is q(-13) composite?
False
Let j(w) = 364*w. Let d be j(1). Suppose -d = -p - 141. Is p a composite number?
False
Let k be (-8)/(-20) + 56/10. Let g = k - 4. Suppose 70 = 3*z + g*z. Is z composite?
True
Suppose 0 = 2*z, -5*x + 2*z = 5*z - 180. Suppose -5*v - w - 59 - 54 = 0, -3*v - 60 = -2*w. Let g = x + v. Is g a composite number?
True
Let i(m) = 42*m + 1. Let p(g) = g**3 - 10*g**2 - 11*g + 2. Let y be p(11). Suppose 8 = 2*q + y. Is i(q) composite?
False
Let n(g) = -100*g - 1. Let m be n(-3). Suppose 0 = t + f - 150, -4*f - m = -2*t - 5*f. Is t prime?
True
Let j(l) = 7*l**3 + 3*l**2 + 10*l - 5. Let i(w) = -w**3 - w**2 - w + 1. Let a = -8 - -14. Let t(d) = a*i(d) + j(d). Is t(3) a prime number?
True
Suppose 7*g - 9*g = -262. Is g a prime number?
True
Let k(a) be the third derivative of 37*a**7/2520 + a**4/12 + 3*a**2. Let q(c) be the second derivative of k(c). Is q(-1) composite?
False
Let y be (4 + -2)/(-1) - -142. Suppose -p + 5*p = y. Is p a prime number?
False
Let d = 100 + -183. Let x = -32 - d. Is x a prime number?
False
Let z = -1245 + 2726. Is z a prime number?
True
Let f be (-442)/(1*(-2)/(-4)). Is f/(-16) - (-2)/(-8) prime?
False
Suppose -4*q - u + 240 = 0, q - 77 + 8 = 2*u. Suppose -k + q = -73. Is k a prime number?
False
Let m(d) = -d**3 - 7*d**2 - 7*d - 1. Let v be m(-6). Let g = 9 - v. Suppose 0 = y + 2*z - 47, -y + 2*z + 31 = g. Is y composite?
False
Suppose 11*r = 8*r + 6. Suppose r*g - g = 191. Is g composite?
False
Let a = -30 - -122. Let b = a - 57. Is b composite?
True
Let y = -52 - -90. Suppose -5*w + 3*w + y = 0. Is w a prime number?
True
Is 1580/6 - (-7)/(-21) composite?
False
Let z(l) = -l. Let x be z(-4). Suppose -8 = -x*u + 4. Suppose -278 = -2*c - 4*w, -437 = -u*c - 0*c - 2*w. Is c prime?
True
Suppose -2*y + 3*y = 263. Is y composite?
False
Let j = -58 - -93. Suppose 2*m = -3*m + j. Is m a prime number?
True
Suppose 0 = i + 4*i - 205. Let f = 92 - i. Is f a prime number?
False
Let m(h) = 121*h + 3. Let u be m(4). Suppose t - 136 - u = 0. Is t composite?
True
Let u = -7 - -10. Suppose -z - u = -0*z, -3*a = -2*z - 24. Is a a prime number?
False
Let y = 127 + 416. Is y a prime number?
False
Let z(h) = 10*h - 3. Is z(8) a prime number?
False
Let n = -259 - -728. Is n a prime number?
False
Suppose -6*h + 5*i + 3817 = -4*h, -4*h - 2*i = -7598. Is h prime?
True
Let f(y) = 59*y**3 + y**2 - 3. Is f(2) a prime number?
False
Suppose -12 = 3*v, -4*x = 3*v - 14171 - 3501. Is x a composite number?
False
Let q be ((1 - 0) + -1)/1. Suppose 5*d - 2*y - 2690 = 0, q = -3*d - d - 4*y + 2152. Suppose d + 237 = 5*h. Is h composite?
True
Let q = 290 + -203. Let n = -32 + q. Is n composite?
True
Suppose 0 = -3*y - y + 44. Is y a prime number?
True
Is (27/45)/(2/50) composite?
True
Let r be 1/(-5) + 16/5. Suppose b - 3*f - 250 = 0, 3*f - 296 = -2*b + 159. Suppose r*t - b = -2*t. Is t a composite number?
False
Let h be 3 - -1 - (-8 + 7). Let p = 106 + h. Is p composite?
True
Let o = -6 - -6. Let i be (-44)/(-3) - 1/(-3). Let q = o + i. Is q a composite number?
True
Let o(v) = 9*v - 7. Let w(y) = 0*y + 0*y + 2*y - 8. Let l be w(8). Is o(l) prime?
False
Let q = 1509 + -812. Is q composite?
True
Let c(x) = 6 + 2*x - 1 + 6*x. Is c(4) composite?
False
Let h = 11 - 19. Is ((-44)/h)/((-1)/(-2)) prime?
True
Let a(n) = 14*n**3 + n**2 - n. Let k be a(1). Suppose 5*l = -4*d + k, 2*l - d - 32 = 4*d. Is l composite?
True
Let m(s) = -67*s**2 + 4*s - 7. Let n be m(-6). Let x = -1332 - n. Is x prime?
False
Let d(m) be the third derivative of 3*m**8/560 + m**6/360 - m**5/120 - m**4/8 + m**2. Let h(s) be the second derivative of d(s). Is h(1) a composite number?
False
Is (356/(-4) + -2)/(-1) a prime number?
False
Let a(p) = 15*p - 4. Is a(13) a composite number?
False
Suppose -z - 4 = -y, 6 = y - 2*z - z. Suppose -y*u = -u - 6. Suppose 3*p + 0*p = r - 49, -u*r + 4*p = -147. Is r a prime number?
False
Suppose 0 = 3*l + 2*l - 25. Suppose -5*z = -4*k + 193, -58 = -k - l*z + 3*z. Is (k/6)/(4/18) composite?
True
Is (-6)/(-8) + 4045/20 a composite number?
True
Suppose -13*s + 24944 = 3*s. Is s a prime number?
True
Let j be (-2)/1 - -7*6. Suppose 5*t = 2*a + j, 0*t + 5*a = 5*t - 40. Suppose t = 2*q, -q + 0*q - 33 = -r. Is r composite?
False
Let f(v) = -2*v - 14. Let o be f(-10). Let y(j) = 7*j + 5. Is y(o) composite?
False
Suppose 3*v + 5*n - 1 - 8 = 0, 4*v = 4*n + 12. Suppose i + v*z + 5 = 5*z, i + 4*z - 19 = 0. Suppose u = -i*x + 176, -u + 3 = -2. Is x a composite number?
True
Let s(t) be the second derivative of 7*t**5/12 + t**4/24 + t**3/6 - t**2/2 - 2*t. Let b(x) be the first derivative of s(x). Is b(-1) a prime number?
False
Suppose -2*r + 5*k + 52 + 286 = 0, 507 = 3*r - 5*k. Is r a prime number?
False
Let p = 5 - 1. Suppose 3*d = 4*s - d + p, 4*d + 4 = 2*s. Let n(t) = -2*t**3 - 2*t**2 + 5*t + 3. Is n(s) prime?
True
Suppose -3*z + 2*z + 3 = 0. Suppose z*t - 678 = -231. Is t a composite number?
False
Let c(o) = o**3 + 4*o**2 + 9*o - 5. Let p be c(-7). Let g = -146 - p. Is g prime?
False
Suppose -3*t - f = -2*t - 74, 5*f - 157 = -2*t. Is t a composite number?
False
Let m = 142 - -9. Let j = m + -82. Is j composite?
True
Suppose 4*c + 158 = -o, -c - 110 - 36 = o. Let z = -80 - o. Is z a composite number?
True
Let m = -15 - -10. Let p(a) = -a. Let i be p(m). Suppose 4*z = -i*s + 348, 226 = -z + 4*z - 5*s. Is z prime?
False
Suppose 4*m - 247 = -3*z + 612, 0 = m - 5*z - 209. Is m a prime number?
False
Suppose 5*i = 4*q - 288, 2*q + 2*q - 296 = 3*i. Is q prime?
False
Let y(n) be the first derivative of n**3/3 + n**2 - 2*n + 1. Is y(-4) prime?
False
Suppose -2*j = 3*d - 3*j - 6, -5*d + 2*j + 9 = 0. Suppose -684 - 496 = -4*y - 4*b, 0 = d*y - 2*b - 905. Is y a composite number?
True
Let l be (0 + 1)/(1/139). Is l - -5 - (-2 + 0) a composite number?
True
Let a = -75 - -2384. Is a composite?
False
Let r(m) = -m**2 + m - 2. Let k be r(-2). Let u(x) = -4*x - 4*x + 4*x + 2. Is u(k) a composite number?
True
Let f = 2 - 1. Suppose 0*k + k = -f. Is k*3/(3/(-35)) a composite number?
True
Suppose -5*z + 3*w + 42 = 0, 5*z = 4*w - 6*w + 22. Suppose z = 2*k - 2. Suppose -m + 13 = k*t, 22 = 2*m + 2*t - 16. Is m a prime number?
False
Let f(b) be the second derivative of -b**4/12 - b**3/3 - 3*b**2/2 - 2*b. Let a be f(-2). Is 33/9 - a/9 a prime number?
False
Let x = 43 + -5. Is x a composite number?
True
Let a = 193 + -63. Suppose 4 = -h, 322 = -4*s - 5*h - 6. Let w = s + a. Is w prime?
True
Suppose 152 = 4*p - 3*b + 4*b, 3*p - 97 = -5*b. Suppose -4*y + 44 = -2*x - 28, -88 = -4*y - 2*x. Let z = p - y. Is z a composite number?
False
Suppose 3*q + 5*q - 17624 = 0. Is q prime?
True
Suppose -2*r + 21 = -r. Suppose 0 = -3*k + 120 + 51. Suppose -r = -3*x + k. Is x prime?
False
Let w = -797 - -1290. Is w composite?
True
Suppose -4*k = -4, -5*k = 5*m - 0 + 5. Let l be (m/6)/(1/3). Is 0 - (l + 2)*-67 a composite number?
False
Let v(j) = -j**3 + j - 5. Is v(-4) prime?
False
Let g(q) = q**3 + 3*q + 1. Let a be g(3). Suppose 3*x - 27 = 5*u + a, 5*u - 40 = -5*x. Is x a prime number?
True
Let t = -168 - 648. Is t/(-5) + 10/(-50) a prime number?
True
Is 7/(((-16)/(-116))/4) composite?
True
Is (-4 + 26400)*1/4 composite?
False
Let r be (-1)/(-2 - 14/(-8)). Suppose -3*c = 2*f + 4, r*f = c - 5*c - 12. Suppose 4*z = z, -4*z = -c*j + 186. Is j composite?
True
Is 0/1 + (-3351)/(-3) composite?
False
Suppose 4*o - 14 = 10. Suppose l + o = 3*p - 3*l, 0 = -p - 4*l + 18. Is p composite?
True
Let j = 30 - 17. Suppose -z + 8 = -j. Suppose i - z = 10. Is i a composite number?
False
Let g(k) = -k**3 + 4*k**2 - 14*k + 9. Is g(-8) a composite number?
True
Let g be 4/1 - 1/(-1). Let w = -5 + g. Is 2 + -3 + (26 - w) c