 number?
True
Suppose 18 = 3*r - 0. Is (-8 + r)*(-158)/4 prime?
True
Let u = 10 + -11. Is 3*(0 - u) + 218 a composite number?
True
Let h(q) = q + 12. Let k be h(-7). Let b(g) = 2*g**2 + 3*g + 2. Is b(k) prime?
True
Suppose 2*z + w = 1351, 0 = 2*z + 2*z - w - 2687. Is z a composite number?
False
Suppose 6044 = -27*n + 31*n. Is n composite?
False
Let p(x) = -2*x - 2. Let r(m) = -3*m - 2. Let b(d) = 5*p(d) - 6*r(d). Let k be b(5). Let q = -5 + k. Is q a composite number?
False
Let t = 162 - 88. Suppose k - 3*k + t = 0. Is k composite?
False
Suppose -3*d - d + 12 = 0. Let h be 101 - (-2 + d - 2). Let q = 149 - h. Is q a composite number?
False
Suppose d + 3*n - 23899 = -3*d, 5*n - 11967 = -2*d. Is d prime?
False
Is -19*(-2)/(6/21) prime?
False
Suppose -2290 = -7*l + 664. Is l a prime number?
False
Let h = -103 + 310. Let u = -116 + h. Is u a composite number?
True
Let v = 2 - 6. Is (74/v)/(1/(-14)) a prime number?
False
Let d be 5 - 1 - (-2 - 0). Is -430*(2 - 15/d) prime?
False
Let x = 103 - -46. Is x a composite number?
False
Suppose -5*r = -4*z + 1, 2*r + 3*z - 12 = 6. Suppose 4*l - 82 = -2*s, -r*l + 6*l + 244 = 5*s. Is s a prime number?
True
Let y(h) = -h**2 - 21*h + 3. Let q be y(-9). Suppose 0 = 4*u - 73 - q. Is u a prime number?
False
Let q = 1814 - 837. Is q composite?
False
Suppose 4*k + k - 45 = 0. Let g(c) = c**3 - 9*c**2 + 4*c + 19. Is g(k) prime?
False
Suppose 10*q = 8*q + 314. Is q composite?
False
Let v(p) = -p**3 - 19*p**2 - 3*p - 47. Is v(-20) a composite number?
True
Suppose -3*x + 8*x + 20 = 5*a, 0 = 4*a + x - 6. Let w be a - 0 - (-87 + 1). Suppose w = v + 3*v. Is v prime?
False
Suppose 0 = 5*h - 3*x - 15958, -h + 7*x = 3*x - 3195. Is h prime?
True
Is (-29)/((-2)/(9 - 3)) prime?
False
Is 4/14 + 12285/49 composite?
False
Suppose 0 = 4*z - 6*z + 2*v + 18, -z + 5*v + 25 = 0. Let p(j) = 4*j**2 + 3 - z*j**2 + 8. Is p(0) prime?
True
Let s = 1732 + -605. Suppose -5*t + 4*x + s = 0, -2*x - 782 = -3*t - 107. Is t composite?
False
Let y = -18 + -25. Let i = y - -87. Let s = i + -23. Is s a composite number?
True
Let s(m) = -m**3 - 4*m**2 - m - 11. Is s(-8) composite?
True
Let y be (3*2 - -2) + -1. Let z = y + -4. Is (-1)/3 - (-106)/z a prime number?
False
Let f = 378 + -91. Is f prime?
False
Let c be (-17)/((-12)/(-15) - 1). Suppose -4*v + 303 + c = 0. Is v a prime number?
True
Suppose -2*b + 9 = b, 0 = -5*r - 4*b + 1127. Is r prime?
True
Suppose -5*q - 4*w + 35 = 0, q + 3*w + 2*w - 28 = 0. Let z(u) = u**2 + 1 - q + 3. Is z(6) a composite number?
False
Let c(f) = -f**3 - 5*f**2 - 2*f - 4. Let g be c(-6). Suppose 0 = 2*j - 24 - g. Is j composite?
True
Let f(k) = k - 3. Let p be f(3). Is (-64)/(-4) - (p + 2) composite?
True
Let v(y) = 6*y**2 + 4*y - 6. Let n be (-4)/(-1)*1*1. Let l be v(n). Is (l/3)/(4/6) prime?
True
Let g = 10 - 6. Suppose 4*q - 529 = -3*b, -g*b = 2*q - 4*q + 270. Is q composite?
True
Let x = -30 + 20. Is (x/6)/((-4)/24) prime?
False
Suppose 703 = 4*r + 3. Suppose x - 3*s + 49 + 67 = 0, -3*x - 4*s - 374 = 0. Let i = x + r. Is i composite?
False
Let d(q) = q + 5. Let p be d(5). Suppose -5 = -3*s + p. Is 3/(-3) + 4*s composite?
False
Let h(v) = -727*v + 8. Is h(-3) prime?
False
Let b = 18 + -20. Let h(w) be the first derivative of -19*w**2/2 - 3*w - 1. Is h(b) a composite number?
True
Suppose -6*v - 10 - 2 = 0. Let u(s) = -374*s + 3. Is u(v) a prime number?
True
Let j(w) = 127*w - 3. Let a be j(2). Suppose -4*r - 4*q = -1036, -a = -4*r + 3*r - 3*q. Is r a composite number?
False
Let x(r) = r**2 - r + 1. Let o = -12 + 18. Is x(o) composite?
False
Let i(u) = 3 + 3*u**2 + 0*u**2 + 4*u - 4*u**2. Let w be i(4). Suppose -a - w*j = -52, 4*a - 3*j - 19 = 114. Is a a prime number?
True
Is (-3)/(-6) + (-1623)/(-6) a composite number?
False
Suppose 0 = -2*r - r + 378. Suppose l = -a - 0*a + 30, 4*a - r = 2*l. Is a a composite number?
False
Suppose 3*n = 4*x - 1218, 2*n + n = -6. Suppose 5*g - x = -2*b, g - 639 = -4*b + 2*g. Is b a composite number?
True
Let y = 1027 - -2962. Is y a composite number?
False
Is 206 - ((-24)/(-3) - 3) prime?
False
Suppose -4*r + 4*y + 1012 = 0, -4*y + 5*y = 1. Is r composite?
True
Suppose 0*x = -x + 149. Is x prime?
True
Suppose 0 = -0*v + 13*v - 7657. Is v a prime number?
False
Suppose -2*i - 2*i = -16. Let q(m) = m**2 + 12 - i - 1 + 5*m. Is q(-5) a composite number?
False
Let y(n) = -n**3 - 4*n**2 - 2*n. Let s be y(-3). Is s/6 + (-107)/(-2) prime?
True
Let k be (1905/9)/(2/(-6)). Let t = 966 + k. Is t a composite number?
False
Suppose 2*n + 2*w = 58, 89 - 22 = 3*n - 2*w. Suppose -3*i = -6 - 6. Suppose -i*m = m - n, 4*p = m + 311. Is p composite?
False
Suppose -4*r - 1 = 7. Let i be -2 + (-387)/2*r. Suppose 7*a - i = 2*a. Is a prime?
False
Let u be (5 - (1 - -3))*2. Let o(s) = 40*s - 4. Let g(w) = 40*w - 3. Let l(p) = 3*g(p) - 2*o(p). Is l(u) prime?
True
Let y = -168 + 344. Suppose -d - d + b + y = 0, 0 = d - 3*b - 83. Is d prime?
True
Suppose -7*j - 5245 + 19056 = 0. Is j a composite number?
False
Let n = 166 + -106. Let q = 22 - 19. Suppose -3*c + n = q. Is c a prime number?
True
Let j(g) = -g**3 + g**2. Let v be j(0). Suppose -5*d + a = -34, d + 2*a + 2 = -v*a. Is 136/6 - (-2)/d a prime number?
True
Let s(h) = 2*h - 11. Let p be s(8). Let o(u) = -u**3 + 7*u**2 - 7*u + 13. Let c(g) = -g**3 + 7*g**2 - 7*g + 12. Let f(m) = 6*c(m) - 5*o(m). Is f(p) composite?
True
Let o = 9 - 4. Suppose 2*v + 8 = -2*u, -2*v - u - 2 = o. Is ((-159)/(-2))/v*-2 composite?
False
Let u = 3819 + -1846. Is u prime?
True
Let p be (5 - 2)*20/6. Let m = -5 + p. Suppose 7*v - m*v = -8, 2*v = 4*z - 1044. Is z a composite number?
True
Suppose 4*p - 26 = -6, -3*p = 4*x - 4475. Is x prime?
False
Let j = -2 - -1. Is j*(-211)/4*4 a prime number?
True
Suppose 6*d = 14880 + 14562. Is d prime?
False
Suppose 4552 = 12*g - 4244. Is g a composite number?
False
Let c(k) = -18*k + 8. Let j(v) = -9*v + 4. Let g(t) = 6*c(t) - 13*j(t). Let a be (0 - 1)/((-2)/6). Is g(a) composite?
False
Let t = 1 - 4. Is (-142)/(-6) + 2/t a prime number?
True
Is ((-5222)/(-4))/((15/(-2))/(-15)) composite?
True
Let i be 288 + 3 + -2 + -1. Let g = -139 + i. Is g composite?
False
Let p be 2 - -290 - (2 + -1). Suppose -3*y - p = -6*y. Is y composite?
False
Suppose -20 = 5*f - 0*f, -5*f = c - 367. Let t be (-1)/2 + 19/(-2). Is 4/t - c/(-5) composite?
True
Let q = -105 + 184. Is q a prime number?
True
Let l be 0/(0 - -2) + -9. Let v(z) = -z**3 - 8*z**2 + 9*z + 10. Is v(l) a prime number?
False
Is 1/2 + 95985/18 a prime number?
True
Let a(x) = 8*x**2 - 4*x + 1. Is a(-3) composite?
True
Let w(m) = 6*m**2 + 9*m - 8. Is w(6) a composite number?
True
Suppose 0 = 4*q + 3*x - x - 8922, 3*q - 6694 = x. Is q prime?
False
Let h(q) be the second derivative of -31*q**3/6 - 3*q**2 + q. Is h(-7) a composite number?
False
Is ((-2)/(-6))/(4/2532) composite?
False
Let i = -1306 - -1945. Let o = i - 302. Is o a composite number?
False
Let l be 7/3 + (-1)/3. Suppose 0 = l*w - 55 + 11. Is w a composite number?
True
Suppose 1549 = 2*r - 5*q, 4*r + 157 = -3*q + 3320. Is r a prime number?
True
Suppose 137 = 4*q - 51. Is q composite?
False
Suppose 0 = f - 6*f + 15. Is 2 - (-65 + f - 3) composite?
False
Let d be (3/3)/(-1) + -1. Let g(r) = -6*r - 7. Let a be g(-7). Let b = a - d. Is b composite?
False
Let l(w) = 42*w - 7. Is l(3) a prime number?
False
Suppose 6 = -2*d + 5*d. Suppose -20 = 5*y, -3*v - 2*y = 2*y + 4. Suppose 4*t + 0*s - 226 = -d*s, 0 = v*s - 12. Is t prime?
False
Let q = 347 + -128. Is q a prime number?
False
Let t(n) = -120*n**3 + 2*n + 1. Let w = 8 - 9. Is t(w) a prime number?
False
Let r be (1/1)/(13/52). Let g = 3 + -2. Is r/g*5/2 a prime number?
False
Let t(z) = 214*z - 11. Is t(5) prime?
False
Suppose 5*j = -4*l + 2 - 22, 5*l = -4*j - 25. Let c(b) = -71*b - 3. Let v(f) = -36*f - 1. Let i(r) = 3*c(r) - 5*v(r). Is i(l) a composite number?
True
Suppose 0 = -4*q + 4, q = 2*o - 0*q + 1. Suppose c + o*b = 3*b + 4, 0 = -3*c + 3*b + 36. Let f = 39 + c. Is f a prime number?
False
Let l(a) be the second derivative of -a**4/12 - a**3 - 5*a**2/2 - a. Let b be l(-4). Suppose -b*y + 322 = -y. Is y prime?
False
Let w = -96 - -535. Is w prime?
True
Let u(h) = 33*h**2 + 13*h + 25. Is u(-8) a composite number?
True
Let f(i) be the second derivative of 7*i**4/6 - 7*i**3/6 - i**2/2 + i. Let b