*b - l = 167. Is b a composite number?
True
Let z be (1216/6)/((-3)/(-9)). Let j = -343 + z. Suppose -2*d + j = 3*d. Is d prime?
True
Let r(x) = -x**2 - 2*x + 4. Let y be r(-3). Let q(h) = 292*h**2 + 3*h - 2. Is q(y) prime?
True
Let k(a) = -2*a**3 - 3*a**2 + a + 1. Is k(-4) composite?
True
Let h(q) = q**3 + 23*q**2 + 31*q - 20. Is h(-17) composite?
False
Let k(b) = 8*b - b**3 - 6 + 0*b**2 + 4*b**2 + 3. Let q be k(5). Suppose -2*t + 2*r + 64 = 0, -t + 0*t + 5*r + q = 0. Is t a prime number?
True
Let d be -3 - -4 - (0 - -2). Let h = d + 4. Is (14/h)/(1/3) prime?
False
Suppose 0*h + 2*h = 6. Suppose -5*f - h = -18. Let k = f - 0. Is k composite?
False
Let b(p) be the third derivative of p**5/10 + 5*p**4/24 - p**3 + 2*p**2. Suppose -2*o = -5*a - 5*o - 13, 4*a + 4*o + 4 = 0. Is b(a) composite?
True
Let t(a) be the first derivative of -a**4/4 - 3*a**3 + 7*a**2/2 - 9*a - 4. Is t(-10) composite?
True
Let z(h) = h**3 + 8*h**2 + 7*h + 9. Suppose 2*k + 2 = -d - 10, -3*k - 5*d = 18. Is z(k) a composite number?
True
Is 1/(-3) + 2734/3 a composite number?
False
Suppose -2*d = -5*d - 3, -3*d = w + 3. Suppose -n + w*u + 75 = -u, 4*u - 393 = -5*n. Is n composite?
True
Suppose -106 = -4*q + 18. Is q composite?
False
Suppose 3*g + 1 = 7. Is (g/(-4))/((-6)/1524) composite?
False
Let v = -4 + 6. Suppose 2*g + 242 = 4*c, -v*c + 130 = -2*g - 2*g. Is c prime?
True
Let k(d) = -d**3 + 11*d**2 + 10*d - 5. Is k(6) a composite number?
True
Let n = 103 - 24. Is n composite?
False
Let r(g) = -28*g**3 - g - 1. Let n be r(-1). Is 398/(-8)*n/(-7) a prime number?
True
Suppose -4*f = m - 1013, 252 = -4*f + 5*f - m. Is f composite?
True
Suppose 0 = -5*p - 19 - 1. Let n(c) = c**3 - 7*c**2 + 5*c - 5. Let u be n(6). Is (u/p)/((-2)/(-8)) composite?
False
Let c(z) = z**3 - 4*z**2 - 5*z - 2. Let q be c(5). Let m be (-1)/q - 15/(-10). Is -11*m/(1 - 3) a composite number?
False
Let z = -22 + -18. Is 597/5 + 16/z a prime number?
False
Suppose -231 = -4*v + 1685. Is v composite?
False
Suppose 0 = -5*r - 25, 5*u + 0*u - 2*r = 190. Suppose -2*p + 58 + u = 0. Is p a composite number?
False
Let a be (1 + (-3)/2)*0. Let h = 38 - 33. Suppose -23 = -4*l - h*z, 5*z + a*z = -l + 17. Is l a prime number?
True
Suppose -4*q + 4*u + 12896 = 0, 0 = -5*q - 3*u + 19038 - 2926. Is q prime?
False
Let o = 2065 + -1263. Is o composite?
True
Let c = -2 - -1. Suppose 5*w - 1 = 4*w. Is c/(w - 48/47) prime?
True
Let r be 28/(-6)*3/(-2). Let q(s) = s**3 - 8*s**2 + 6*s + 9. Let j be q(r). Is j/6*(-477)/(-3) a prime number?
True
Suppose -16*y + 2425 = -11*y. Is y prime?
False
Let u = -5 - -8. Let j(x) = 1 + 13*x - 2*x - u*x. Is j(3) prime?
False
Let x = -9 + 22. Is x composite?
False
Let z be ((-2247)/12)/((-1)/4). Let o = z + -360. Is o prime?
True
Suppose -107 = 3*c - 869. Let f be c*(-1 - (-3)/2). Suppose 4*h = -f + 515. Is h a prime number?
True
Let d(v) = 20*v - 4. Let n be d(-3). Let w = n + 111. Is w prime?
True
Let v(o) = o**3 + 10*o**2 + 10*o + 12. Let t be v(-9). Suppose -2*f = -5*f + j + 105, f + t*j = 35. Is f prime?
False
Suppose 2*h - h = -4. Let t = -1 - h. Suppose t*o - 382 = o. Is o a composite number?
False
Suppose 5*y - 5 = 3*s + 3, 3*y - s = 4. Is y + (-7)/((-21)/54) a composite number?
False
Let f = 380 + -253. Is f composite?
False
Let f(o) = 81*o - 3. Let n(t) = 121*t - 4. Let l(v) = 8*f(v) - 5*n(v). Is l(5) prime?
True
Suppose 0 = -j + 92 + 67. Is j a prime number?
False
Let q(z) = 7*z**2 - 5*z - 7. Let g be q(9). Let p = g + -304. Is p a prime number?
True
Let p(o) = o**2 + 379. Is p(0) a composite number?
False
Let o = -1400 + 2340. Suppose o = 5*g - 3*n, -n - 553 = -3*g + 3*n. Is g a composite number?
False
Let u = -14 + 23. Suppose 0*y - 3*y = -60. Suppose b = -u + y. Is b prime?
True
Let x be (15/3)/(1/4). Let z = x - -3. Is z composite?
False
Let u = -663 + 2726. Is u a composite number?
False
Suppose -3*x + 254 = -x. Is x composite?
False
Suppose 4*v = -10 - 10, 2*v - 1469 = -3*g. Is g composite?
True
Let x(c) = -c**3 + c**2 + 489. Is x(0) a composite number?
True
Let c = 311 + -13. Is c a composite number?
True
Suppose x + 241 = 818. Is x composite?
False
Let h(s) = 668*s**3 - 2*s + 1. Is h(1) a composite number?
True
Let v be 1 + (1 - -2) + 2. Let f(h) = -h**3 + 6*h**2 - h + 4. Let p be f(v). Is (p/6)/(3/(-171)) a prime number?
True
Let s(m) = m - 12. Let f be s(7). Is 159 - -2 - (-1 - f) a prime number?
True
Let c(j) = -j**2 + 9*j - 2. Let k be c(9). Let y(t) = 6*t - 1. Let h(o) = -1. Let i(b) = k*h(b) + y(b). Is i(5) a prime number?
True
Let n = 0 + 3. Let v be (6/2)/(n/6). Let h = v - -51. Is h prime?
False
Let w(m) = 53*m. Suppose 0*p - p = -1. Is w(p) a prime number?
True
Suppose 0 = -4*j - 9 + 1. Let b = -12 - j. Is (8/b)/((-4)/20) composite?
True
Suppose 0 = 5*h - 3*v + 72, h + 28 = -h + v. Is ((-8)/h)/(2/141) a composite number?
False
Let j = 1621 + -986. Is j composite?
True
Suppose v - z = -2*v + 13, 0 = -5*v + z + 21. Suppose -x + 128 = -9*k + v*k, -4*x + 569 = -k. Is x a composite number?
True
Let n be 63/(-28) + 1/4. Let v = 0 - n. Suppose -4*g - 300 - 315 = -5*p, g = -v*p + 259. Is p composite?
False
Let v be 1/(-3) + 78/18. Suppose v*n + 2*p = 10 - 2, 4 = p. Suppose -5*x + n*x = -785. Is x a composite number?
False
Suppose 0 = -w + 2*v + 1565, -w - 4*v = 3*w - 6236. Is w prime?
False
Let i = 7 + -15. Let q(v) = -v**3 + 2*v**2 + 2*v + 7. Is q(i) prime?
True
Let s = 21 + 14. Is s composite?
True
Let h = 17 - 15. Is 0 + h + 828/4 prime?
False
Let x(b) = 2*b**2 + 5*b + 2. Let n be x(-3). Suppose n*w + 13 - 3 = 0. Is (w - 19/(-5))*5 a prime number?
False
Let t be 6/(-6) - (63 + 2). Is (t/(-9))/((-4)/(-42)) prime?
False
Let r(o) = 62*o - 7. Is r(3) prime?
True
Suppose -3*p = -4*p + 4*k + 18, p + 3*k = -17. Suppose -3*i = -4*j + 33, 0*j = -j - 3*i + 27. Is ((-22)/4)/(p/j) prime?
False
Let f be -1*(1 + 2 + -5). Suppose -f*q - 60 = 5*o, -q + 4*o = -5*q - 132. Let y = q - -54. Is y prime?
True
Suppose m - 2*r = 2 + 1, 0 = 4*m + 2*r - 22. Suppose -3*u = -2*s - 122, -29 = m*u - 3*s - 231. Is u a composite number?
True
Let s(d) = -59*d + 7. Is s(-10) prime?
False
Suppose 0 = 2*v, -3*x + v - 2 = -4*x. Is (0 + 111/6)*x a prime number?
True
Suppose 0 = 3*b + 4*m + 3, 18 = 2*b - 5*m + m. Suppose -b*n + 6 + 3 = 0. Suppose -2*i + 55 = j - 0, 165 = n*j + 4*i. Is j prime?
False
Is 278*(-15)/10*-1 composite?
True
Suppose 4*o - 649 = 5*c, -2*o - 3*o - 3*c + 802 = 0. Is o composite?
True
Let w = 116 - 54. Is w composite?
True
Is (1*13/(-1))/((-16)/112) prime?
False
Let l(r) = r**2 - r - 2. Let h be l(3). Suppose d = h*d + 147. Is (d/2)/(1/(-2)) a composite number?
True
Let t(n) = n**3 - 3*n**2 + 2*n - 4. Let q be t(3). Suppose -3*j + v = -2212, -j + 2202 = q*j - 3*v. Is j prime?
True
Suppose -5*v + 2*t = -3*t - 335, v - 5*t - 67 = 0. Is v prime?
True
Let g = 40 - -77. Suppose 3*d = 3*l + 2*d - 102, -4*l - 5*d = -g. Is l a composite number?
True
Let j be (-1)/((-1 - -2)/(-3)). Suppose n + j*l = 6*l + 19, n = 4*l + 24. Is n prime?
False
Suppose -11*a + 1055 = -6*a. Is a a prime number?
True
Is (-4 + 4 + -1)*-397 composite?
False
Suppose -5*o + 2385 = 5*h, 5*o = -4*h + 3*h + 493. Is h composite?
True
Is -4 + -9*95/(-15) a composite number?
False
Let i be 28/21*372/(-2). Let z = i - -375. Is z composite?
False
Let w(a) = -a**3 + 8*a**2 + 6*a - 9. Is w(7) a composite number?
True
Let p = 104 - 61. Is p composite?
False
Let u(m) be the first derivative of -m**4/4 - 2*m**3 + 3*m**2/2 - 3*m + 3. Let p be u(-6). Let g = -14 - p. Is g a prime number?
True
Let u = 1120 + -524. Suppose -4*o + 35 = 5*h, -4*h + 9*o = 4*o + 13. Suppose h*n - 4*n = 0, 4*m - u = -5*n. Is m a prime number?
True
Suppose 0 = 3*y - 2*c + 10, y = 2*y - 3*c - 6. Let d(s) = 2*s**2 - 3*s + 6. Let u be d(y). Is u + -3 + -2 + -2 a composite number?
False
Let v = 3 + -5. Let x be -1 + (0 - (-3 - v)). Suppose -d + 49 = 3*m, -4*d + 3*m = -x*d - 121. Is d a prime number?
False
Let b be (-24)/(-10) + (-6)/15. Suppose b*s - 45 = 61. Is s prime?
True
Suppose 3*g = z - 4*z - 15, -5*z = -5*g - 25. Suppose z = 2*y, 0*v - 6 = -3*v + 5*y. Is 2/((-4)/v) + 80 composite?
False
Suppose -5*u = 4*c - 5547, 2*u - 16 - 2202 = -2*c. Is u prime?
False
Let j = 5 + -3. Is 125/1 - (j - 4) a composite number?
False
Suppose 3*o = -3 + 60. Suppose -2*k + v =