8)/(-168)*4 prime?
True
Let b = 10 + -6. Suppose 0 = b*l + l. Suppose l = 5*q - 47 - 23. Is q composite?
True
Let u = 1 + 3. Suppose 3*c = 3*h + 4*c - 1254, -u*c + 407 = h. Is h a composite number?
False
Suppose 4*h = -4*z + 28, 0*z = -2*h + 4*z - 16. Suppose -h*c - 2*o - 930 = -o, -2325 = 5*c + o. Let p = -254 - c. Is p a composite number?
False
Suppose -4*i - 5*s = -3*i - 18, -i - 6 = -3*s. Suppose i*u - 55 = -2*v + 81, 0 = -5*v + 3*u + 319. Is v composite?
True
Suppose 0 = 2*c - 74 - 348. Is c a prime number?
True
Let m(d) = -1 - 7 + 19*d + 4. Is m(3) composite?
False
Suppose 3*b - 2*c + 6*c = 3835, 0 = -b + 2*c + 1265. Suppose -4*v + 451 = -b. Is v composite?
False
Suppose u - 3*u = 3*r - 12, -r + 2 = 0. Suppose -3*o + 30 = u*c, 4*o - 54 = -3*c - 2*c. Is c prime?
False
Let t(a) = -a**3 + 2*a**2 + 5*a + 3. Let f be t(-8). Suppose 3*j - f - 30 = 0. Is j a prime number?
True
Let y(g) = -g**3 - 4*g**2 - 4*g - 3. Let f be y(-3). Let k(z) = z**2 + 121. Is k(f) a composite number?
True
Let i(b) = -b**2. Let m be i(0). Suppose -5*x - 99 = -2*y, m = y + 2*y - 5*x - 136. Is y a composite number?
False
Let n be (-2)/(-7) + 61/7. Is 4/(-8) + n/2 a prime number?
False
Suppose -2*c + 12 = c. Let v be (-6)/c + 2/(-4). Let t = v + 33. Is t a prime number?
True
Is 1209 - (-4 + 0 - 0) prime?
True
Is ((-389)/4)/((-2)/8) a prime number?
True
Let o = 106 - -39. Is o a composite number?
True
Let y(u) be the third derivative of u**5/3 + u**4/12 + u**3/6 + 2*u**2. Suppose 2 = 3*g - i, 3*i + 14 = -1. Is y(g) a composite number?
False
Suppose -2*z = 4*q - 186, 0 = 3*z - 3*q + 5*q - 271. Is z a composite number?
False
Let m be 4/2*(-15)/(-6). Suppose 0*r = -m*r + 165. Let a = r - 14. Is a prime?
True
Let u(q) = q**3 - 20*q**2 + 16*q - 26. Is u(21) prime?
True
Let h(m) = 4*m**2 - 8*m + 4. Let u be h(5). Suppose -u = 5*a - 659. Is a prime?
False
Let o be 1971/3 - 12/(-3). Let v = -224 + o. Is v composite?
True
Let o(j) = -j + 15. Is o(0) a composite number?
True
Suppose 2*f + 12 = -4*w, 5*w + 18 = -7*f + 4*f. Let r(b) = b**3 + 8*b**2 + 8*b - 2. Is r(f) a prime number?
False
Let w(b) = 2*b**2 + 6*b. Let q be w(-6). Let x = q + -15. Suppose -2*o - x = -59. Is o prime?
True
Let v(s) = s**3 + 6*s**2 + 3*s + 5. Suppose 0*z + 3 = -z, 3 = 3*q - 5*z. Is v(q) prime?
False
Let p = 48 - -289. Is p a composite number?
False
Suppose -2*s + 12383 = 5*s. Is s composite?
True
Let j(h) = h - 8. Let l be j(7). Let x = 5 + l. Suppose -o - 1 = x*c, o - 4 = -5*c - 10. Is o a prime number?
True
Let k be (14/(-4) + 3)*0. Suppose -879 = -3*r - k*r. Is r composite?
False
Suppose 2*m - 2*j = 0, m = 3*j - 6 - 0. Suppose m*n - t = 3*t + 760, -5*t = 5*n - 1325. Suppose k = -3*k + n. Is k a prime number?
False
Let r(t) = -4*t**2 + 8*t + 5*t**2 - 3*t. Let y be r(-5). Suppose 4*g + g - 233 = -d, y = 5*d - 15. Is g a composite number?
True
Suppose -3*h = -5*h - 1910. Let b = h + 1641. Is b/7 + (0 - 1) a prime number?
True
Let l(o) = o - 2. Let p be l(4). Suppose -3*z + r + 107 = 0, -r - p*r + 169 = 5*z. Is z prime?
False
Let t = -16 - -8. Let s be (9/(-6))/((-1)/t). Is (28/s)/((-2)/18) composite?
True
Let r(o) = o**2 - o + 3580. Let f be r(0). Suppose -d - d + f = 0. Is (-4)/24 + d/12 prime?
True
Let r(h) = -2*h - 3*h + 6*h + 1. Is r(6) composite?
False
Let i = -64 - -110. Is i a prime number?
False
Let v(x) = -x**3 + 3*x**2 + 6*x - 6. Let o be v(4). Suppose -4*l = 5*t - 789, o*l = 3*t - 2*l - 499. Is t a composite number?
True
Suppose 3*o = 2*v - 17, 3*v - 3*o = o + 23. Is ((-2 - 1) + 490)*v a prime number?
True
Is (-4)/(-16)*-2*-746 prime?
True
Let m = 707 + 622. Is m prime?
False
Let c = -15 + 10. Let j(o) = o**2 + 4*o - 3. Let d be j(c). Suppose 0 = -d*b + 11 + 51. Is b composite?
False
Suppose 19 = 4*h - 3*h. Suppose -12 = -s + h. Is s a prime number?
True
Let l(f) = 7*f**2 - f. Let a be l(-1). Let y(k) = k**2 - 6*k + 10. Is y(a) prime?
False
Let d = 10084 - 5267. Is d a prime number?
True
Let t(g) = -62*g - 1. Let b be t(-1). Suppose -5*p - 61 = -2*x + b, 2*x - 2*p = 134. Is x a prime number?
True
Suppose -2*j = -4*j - 76. Let f = -53 - j. Is 397/5 - (-6)/f a composite number?
False
Suppose 0 = 4*y - 7 - 1. Let q(o) = 4*o**2 + y*o + 0*o**2 - o**2. Is q(7) a prime number?
False
Suppose 15 = 4*z + 3*t, -3*z - t + 6 = -4. Suppose 4*g = 2*f + 848, -z*g = -3*f - 674 + 35. Is g prime?
True
Let r be -20*(-3)/6*1. Suppose 3*t + c = -3*c + r, 5*t - 2*c = 8. Suppose -t*k + k = -53. Is k a prime number?
True
Let s(t) = -3 + 24*t - 2 + 0. Let n(c) = c - 16. Let q be n(23). Is s(q) a prime number?
True
Suppose 190 = 2*w - 124. Is w a composite number?
False
Is 10*(465/(-6))/(-5) a composite number?
True
Is (26/(-39))/(2/(-771)) prime?
True
Let x = -7 - -11. Suppose -m - 5*f + 185 = 0, x*f = 5*m - 482 - 443. Is m a prime number?
False
Suppose 96 = 2*c + d, 0*d - 4*d = 8. Is c a prime number?
False
Let w(s) = 24*s**2 + s. Is w(1) a prime number?
False
Suppose -y + 8 = -9. Let c(g) = -2*g - 6. Let s be c(-4). Suppose y = 3*f + 3*w - 73, 65 = s*f + w. Is f composite?
True
Is -1 - ((-357)/3)/1 a composite number?
True
Suppose 2*g - 4*h = -4, 5*g = -0*g - 4*h - 24. Is 76/(-6)*78/g a prime number?
False
Let m(w) = 3*w**3 + w**2 + 3*w - 1. Let t = -4 + 6. Is m(t) a prime number?
False
Let f(u) be the third derivative of 7*u**5/60 + u**4/12 + u**3/6 - u**2. Is f(-1) a prime number?
False
Suppose 3*x = -3*m + 3, 3*x + 0*m - m = 7. Suppose x*i = 280 - 54. Is i composite?
False
Let a = 13 - 9. Let m(w) be the first derivative of w**4/2 - 4*w**3/3 - w**2 - 3*w + 1. Is m(a) a prime number?
True
Let t(d) = d**2 + 3. Let v be t(0). Suppose -4 = v*k + 17. Let o = 20 + k. Is o composite?
False
Is (-474)/(-4) + 4/8 composite?
True
Let v(t) = -65*t + 58. Is v(-17) prime?
True
Let a(t) = 11*t**2 + 21*t + 11. Is a(19) composite?
True
Suppose 2*d + 110 = -3*d. Let p be (-3 + 6)*5/(-15). Is 0 - 2 - (d + p) prime?
False
Let p = 1872 + -865. Is p a prime number?
False
Suppose -231 = -4*j + j. Is j prime?
False
Let w(b) = -8*b. Let r be w(1). Let c be (r/(-10))/((-2)/(-40)). Let f = c + 6. Is f a composite number?
True
Suppose 2*u = -2*r + 238, 5*u = -5*r + 6*r + 571. Is u a prime number?
False
Let g = -54 + 193. Is g a composite number?
False
Let i(z) = 57*z + 31. Is i(8) composite?
False
Suppose 7*x - 9*x + 230 = 0. Is x a prime number?
False
Suppose h - 2*p = 331, 2*h + 0*h - 656 = -2*p. Is h a composite number?
True
Let o be (-25)/2*16/20. Is (-27)/(-45) + (-1984)/o composite?
False
Let u(n) = 18*n + 5. Let y be u(-6). Let b = -60 - y. Let z = 92 - b. Is z a composite number?
True
Suppose 4*w - 1012 = -5*c, -4*w + 2*c = -3*c - 1012. Is w a prime number?
False
Let b be (-1 - -2*1) + 35. Suppose -4*c + 36 = 2*x - 44, 0 = -2*c + x + b. Is c prime?
True
Suppose 5*d - k - 5258 = 7350, 5*d + k = 12602. Is d a composite number?
False
Let q(d) = 7*d**3 - 3*d**2 + 3*d - 3. Let p be q(2). Let u = 105 - p. Is u a composite number?
True
Suppose 0 = -4*u - 2*z + 98, 3*u + 4*z = -z + 70. Is u a prime number?
False
Suppose b + 3*a = 9, 0 = -2*b - a - 0*a - 7. Let g(w) = -20*w - 9. Is g(b) a prime number?
False
Let t(x) = 10*x**2 - 3*x - 5. Is t(-12) composite?
False
Let c(n) be the second derivative of n**6/360 + 5*n**4/24 + n**3/6 - n. Let d(t) be the second derivative of c(t). Is d(-4) a prime number?
False
Let t = 157 - -225. Is t a composite number?
True
Let f = 8030 + -2671. Is f composite?
True
Let c(u) = u + 1. Let o(w) = -9*w - 3. Let s(k) = -4*c(k) - o(k). Let t be s(8). Suppose 2*z - t = z. Is z composite?
True
Let u(j) = 20*j + 4. Let c(t) = t**3 - t**2 + 4. Let q be c(0). Let y be u(q). Suppose -3*i + y = i. Is i prime?
False
Suppose -j = -254 - 189. Is j a composite number?
False
Let h = 95 - -114. Is h a prime number?
False
Is (5/4)/(3/276) prime?
False
Let u be 0 - (3 - (6 + -3)). Suppose -m = -u*d - 4*d + 1462, -5*m = -2*d + 740. Is d a prime number?
False
Let m(a) = -a**3 + 9*a**2 + 2*a - 5. Let x(b) = -b**3 + b**2. Let p(y) = -m(y) + 2*x(y). Is p(-8) a composite number?
True
Let r(s) = s**3 - 8*s**2 - 8*s - 5. Let m be r(9). Suppose -3*q - 5*j + 0*j = -752, -1046 = -m*q + 2*j. Is q composite?
True
Let x(s) = s**3 + 2*s**2 + 5*s - 4. Let a be x(3). Let r = a + -33. Is r composite?
False
Let j(n) = 12*n**2 - 5*n + 6. Let q 