et q = -27 + -42. Let f = q + 152. Is f a prime number?
True
Is (186/8)/((-12)/(-80)) a composite number?
True
Let w be (3 + 1)/2 + 1. Suppose r + r - 28 = 4*g, 0 = w*r + 4*g + 8. Suppose 156 + 154 = 2*j + r*s, -j + 160 = -3*s. Is j composite?
False
Suppose 0 = -2*c - 2*c + u - 2113, -1034 = 2*c + 4*u. Let g = c + 332. Let a = g - -496. Is a a prime number?
False
Let a = -2 + 7. Suppose -a*c + 1756 = -3*c. Suppose -4*g = -438 - c. Is g a composite number?
True
Is (4/3)/(4/1842) a composite number?
True
Suppose -g - 3*t = -620 - 282, 2*t - 2671 = -3*g. Is g a composite number?
False
Suppose n + 1174 = -0*y + 5*y, -2 = -2*n. Is y composite?
True
Suppose -4*h - 532 = 5*g - 0*g, -h - 3*g - 126 = 0. Let j = h + 299. Is j a prime number?
False
Let o(k) = -2*k + 2. Let y be o(4). Is 6/9 - 7694/y prime?
True
Let b(v) = v**2 + v + 2. Suppose f = -f. Let q be b(f). Suppose -q*c - 99 = -5*c. Is c prime?
False
Is (-125)/(-6) - (1 + 28/(-24)) composite?
True
Let d = 8 - 8. Suppose z - 4*p - 75 = p, -4*z + 5*p + 330 = d. Is z composite?
True
Suppose 4*a - 2*a = 6. Suppose -2262 = -a*g - 5*x, g + 276 - 1030 = -4*x. Suppose -4*u - 3*r = u - g, -292 = -2*u + 2*r. Is u a prime number?
True
Suppose 0 = 4*c - 3146 - 410. Is c a composite number?
True
Let s(x) = -462*x - 5. Is s(-6) composite?
False
Suppose 0 = 4*j - 13 + 1. Suppose 60 = j*c + 2*c + 5*q, -32 = -c - 5*q. Is c composite?
False
Let r be 16/7 - 2/7. Let o be 5/(-20) + r/8. Suppose o*f = f - 15. Is f a prime number?
False
Suppose 2*m - 2569 = 5*a, m - 2*a - 1265 = -6*a. Is m prime?
True
Suppose 1 - 2 = -z. Let m be 5/2*(z - -1). Suppose 4*s = -4*g + 27 + 25, -4*g = m*s - 50. Is g a composite number?
True
Let d(q) = 0*q + 13 - 3*q - q. Let u be (-2 - 1/(-2))*6. Is d(u) a composite number?
True
Let u(x) be the first derivative of 2*x**4 - 2*x**3/3 + 2*x + 11. Suppose -5*g + 12 = 2. Is u(g) prime?
False
Suppose n = 3*n - 56. Let q be (-136)/(-10) + (-2)/(-5). Suppose -2*z - f = -q, 4*z - 2*f - n = 3*f. Is z prime?
True
Let r(q) = -11*q - 84. Is r(-25) prime?
True
Let b be (1 - 0) + -1 + -2. Let s be b/4 + (-210)/(-4). Let x = s + -30. Is x composite?
True
Suppose 0 = 2*r - 6471 - 215. Is r prime?
True
Let q = -6 + 9. Let v(h) = 27*h - 4. Is v(q) a composite number?
True
Let a(k) = k**2 + 2. Let n be a(-2). Suppose c = 4*h - 387, -n*c + 2*c = 3*h - 295. Is h composite?
False
Is 1161/15 + (-4)/10 composite?
True
Let j(a) = -15*a**3 + a**2 + 2*a + 1. Is j(-1) prime?
False
Let m(l) be the third derivative of l**8/10080 - l**7/1260 - l**6/360 + l**5/20 + 3*l**2. Let p(i) be the third derivative of m(i). Is p(4) prime?
False
Let a(b) = 2*b**3 - 9*b**2 + 6*b - 6. Let n(o) = o**2 - o + 1. Let d(f) = a(f) + 5*n(f). Let g(r) = 2*r - 8. Let w be g(6). Is d(w) a composite number?
False
Let n be (0 - (2 + -4)) + 8. Suppose 4*r - 2 - 10 = 0. Suppose -3*k + r*p + 190 = 2*k, -k = 5*p - n. Is k a composite number?
True
Let d(g) = 284*g + 13. Is d(9) composite?
True
Let o = -40 - -137. Let j = 58 - 102. Let h = o + j. Is h prime?
True
Is (0 - -254)*(0/3 + 1) a composite number?
True
Let l = 143 + -47. Let i = -61 + l. Is i a composite number?
True
Let n(z) = 2*z**3 - z**2 + 1. Let g be n(-3). Let a be 1 + 32/1*4. Let q = a + g. Is q composite?
False
Suppose 0 = 3*j + 2*y - 1058, 2*j + 4*y = -y + 709. Let d = -175 + j. Is d composite?
True
Let r(i) = -2 - 28*i**3 + 32*i**3 + 3 - 2*i. Let w be r(1). Suppose w*l + 3*u = -0*l + 573, 5*u + 541 = 3*l. Is l a prime number?
False
Suppose 14*f = 21*f - 2247. Is f a prime number?
False
Is (9/(-3) + 2)/(5/(-5275)) a composite number?
True
Is -1 - (6/(-3) + -1336) composite?
True
Suppose 2*o - o - 3 = 0. Suppose -y + s + 82 = o*s, s + 260 = 3*y. Is y composite?
True
Suppose -3*l + 2906 = 5*a, -l - l = 2*a - 1936. Is l a composite number?
False
Suppose 9*a = 1567 - 424. Is a a composite number?
False
Suppose 4*t - 40 = -2*f, -4*f + 2*t + 19 = -51. Is f/90 + 3578/10 a prime number?
False
Let x(o) = o**2 - o - 1. Let a(f) = -f**3 - f**2 + 3*f - 32. Let l(w) = -a(w) - 2*x(w). Is l(0) composite?
True
Suppose -554 = -a - 57. Is a prime?
False
Let a be ((-3)/(-5))/(1/5). Suppose 0*i - a*i = t - 119, 2*t = -2*i + 230. Is t a prime number?
True
Let p(f) = 23*f + 3. Let z be p(11). Let m be ((-3)/2)/((-6)/z). Suppose 5*i = 2*i - 5*d + 242, -5*d = i - m. Is i a prime number?
True
Let n(h) = -20*h**3 + 3*h**2 - h + 5. Let i be n(-4). Is (i/28)/((-2)/(-8)) a composite number?
False
Suppose 0 = 3*d - 149 - 298. Is d composite?
False
Let l = 13 - 12. Suppose 4*b - 3*b = 21. Is ((-7)/(-21))/(l/b) prime?
True
Let f = 15 + -13. Suppose f*o - 5*o + 99 = 0. Is o a prime number?
False
Suppose 4*p = -7 - 1. Is (-4)/(-6)*(-141)/p a prime number?
True
Let f(i) = -i - 5. Let a be f(-6). Let u(n) = -n - 2. Let w be u(-4). Is a/(-2) - (-75)/w prime?
True
Let o(p) = 2*p**2 + 11*p - 10. Is o(-13) a prime number?
False
Let d(f) be the first derivative of -f**4/4 + 2*f**3 + 4*f**2 - 5*f - 2. Let x be d(7). Let l(o) = o**2 + o. Is l(x) prime?
False
Let y(n) = n**3 + 14*n**2 + 4*n + 2. Is y(-7) composite?
False
Suppose 2*i = 5*w - 188, -9*w + 4*w = 3*i + 232. Let r = i + 46. Is (-5 - -3) + (-2 - r) composite?
True
Suppose 5*x - 696 = -2*m - 45, -2*m + 520 = 4*x. Suppose 0*h - 132 = -4*g + h, -h - 164 = -5*g. Let b = x + g. Is b prime?
True
Let n be 4/10 + (-52)/(-20). Suppose -8 = -2*m - 3*b, n*b - 7 = -m - 3. Suppose -m*s + 395 = -81. Is s prime?
False
Suppose 14*s - 2702 = 12*s. Is s prime?
False
Let g(c) = -c**3 - 8*c**2 + c + 4. Let b be g(-8). Is 2/b + (-693)/(-18) composite?
True
Suppose -i - 15 = -5*f, -f + 3*f + i = 6. Let m be (-2)/3 + (-4)/f. Is (26/4)/(m/(-28)) prime?
False
Let p(c) = -2*c**2 - c. Suppose -j = 3*j + 8. Let g be p(j). Is (-5)/((g/(-2))/(-6)) composite?
True
Is 315/10*40 + -1 + 0 prime?
True
Suppose 2*z - 4 - 8 = 0. Suppose -3*l = -z, 5*m - m - 1174 = 3*l. Is m a prime number?
False
Let i be 3*(1 - 3080/12). Let j = -322 - i. Is j a composite number?
True
Let y = 231 + -82. Is y composite?
False
Let f = 3 - -176. Is f a composite number?
False
Suppose 4*q - 4*z - 36 = -0*q, 0 = -4*z - 20. Suppose -2*j - 38 = q*t - 0*j, -5*t - 20 = -3*j. Let g = t - -102. Is g a prime number?
False
Suppose -5*c + 25 = -4*j + 2*j, -5*j = -2*c + 31. Is -4*((-1146)/8)/c prime?
True
Suppose 3*j - 4*m - 89 = -9*m, -4*m - 8 = 0. Suppose -a + 5*z + 12 = -29, -a + 3*z = -j. Is a a composite number?
True
Suppose 0 = -4*b + f - 2*f + 11, 0 = 2*b - 5*f - 33. Suppose -3*u + 504 = -0*u. Suppose -4*k = 5*s - 168, u = b*k + 3*s - 8. Is k a composite number?
False
Let f(b) = 10*b + 3. Is f(4) a prime number?
True
Let r be (-18976)/(-26) - (-8)/52. Suppose m = -m + r. Is m a prime number?
False
Let t = -1877 + 2646. Is t a composite number?
False
Suppose 0 = f - 3*f - 476. Let q = 687 + f. Is q prime?
True
Suppose 0*f + 363 = 3*f. Is f composite?
True
Let p = 170 - 43. Is p prime?
True
Let q be (8 - -1)/(3 - 2). Let d = q + -13. Is (d/2)/((-2)/33) prime?
False
Let k(u) = -u**3 + 12*u**2 + 6*u - 1. Let b be k(12). Let v = b + -6. Is v a prime number?
False
Suppose -15*b + 2697 = -12*b. Is b a composite number?
True
Let y be 6/(-10)*(-1 + 6). Let u = y - -3. Suppose -4*b - 5*w + 28 = -275, -5*b - 4*w + 381 = u. Is b a composite number?
True
Let c = -4 + 8. Suppose -c*d = d - 395. Is d prime?
True
Let s(x) = 36*x**2 + 12*x + 13. Is s(6) a composite number?
False
Suppose c + 121 = -c + y, -3*c = 2*y + 178. Let g = c + 115. Is g prime?
False
Let q(r) = -3*r**2 - 6 + 7*r**2 - 82*r + 91*r. Is q(-7) prime?
True
Let c(i) = -35*i**3 - i**2 + 3*i. Let a be c(3). Is a/(-12) + (-2)/(-8) a prime number?
True
Suppose 5*x - 8*f + 270 = -3*f, 5*x - f = -266. Let u = x - -120. Is u a composite number?
False
Let f(k) = -8*k + 3. Let s(t) = -4*t. Let w be s(2). Is f(w) composite?
False
Let v(s) = 3*s**2 - 1. Let h be v(-1). Suppose 0 = h*o + t - 45, 0 = -0*o - 2*o + 4*t + 40. Suppose -190 = -4*j + o. Is j prime?
True
Let p(s) = s**3 + 4*s**2 + 2*s - 1. Let x be p(-3). Suppose 5*q + 17 = 4*j + 93, -4*q = -x*j - 56. Suppose -l + 3 = -q. Is l a prime number?
False
Let n(y) = 5*y**2 + 3*y + 5. Is n(13) a composite number?
True
Let i(w) = w**2 + 7*w - 2. Suppose 4*s = 5*d - 4*d + 17, 0 = -s + 4*d - 7. Is i(s) a prime number?
False
Is (1905/(-9))