er?
False
Let j(b) = b**2 - 5*b + 8. Is j(7) a prime number?
False
Suppose 0 = o - 5*o + 16. Let k(r) = r. Let b(n) = -3*n - 2. Let m(q) = -b(q) + 2*k(q). Is m(o) composite?
True
Let s be (3 - -1)*(-5)/2. Let v = -7 - s. Suppose -v*k = 4*x - 81 + 24, -5*x + 90 = 5*k. Is k a composite number?
True
Let j(z) = 3*z - 6. Let o be j(4). Let y(n) = n**3 - 5*n**2 - 6*n + 4. Let i be y(o). Suppose -4*l + 5*s = s - 60, i*l = 5*s + 64. Is l a prime number?
True
Let d(l) = -l - 9. Let i be d(-10). Is ((-1)/4)/(i/(-76)) a composite number?
False
Let q be 18/27 - (-14)/6. Suppose 3*u + 2*b - 605 = 6*b, 599 = q*u - b. Is u a composite number?
False
Let z be -1629*((-2)/6 + 0). Suppose -5*i - 4*a + z = 0, -12 = 2*a + 2*a. Is i prime?
False
Let c(j) = -2*j. Let o be 2/(-3) + 3/(-9). Let x be c(o). Suppose -5*u = -0*u + 4*q - 223, x*q - 41 = -u. Is u prime?
True
Let q(z) = z**3 + 12*z**2 - 25*z - 9. Is q(-7) a composite number?
True
Let w(k) = -k**2 - 4 + 0*k**2 + 2*k + 1 + 2*k**3. Let f be (2/(-6))/((-2)/12). Is w(f) composite?
False
Suppose 18 = -z - 2*z. Is ((-2)/z)/((-6)/(-630)) composite?
True
Let m(y) = -2*y - 7. Let n be m(-5). Suppose 5*l - 5 = 5, 0 = 5*g + 5*l - 1110. Suppose -g = -n*f - 73. Is f prime?
False
Suppose 3*t = -2*t + 2*r + 10, 6 = 3*t - 3*r. Suppose h - 4*i - 52 = 0, -3*h + i + 111 = -t*i. Suppose -h = -3*f + 2*x, 4*f = 7*f + 5*x - 67. Is f prime?
False
Let u be ((-12)/(-2))/(3/670). Suppose 3*y = 7*y - u. Is y a prime number?
False
Let c(q) = 8*q + 1777. Is c(0) composite?
False
Suppose 2*j - 3*a + 4*a - 2433 = 0, -4 = 4*a. Is j prime?
True
Let i(n) = -n**3 + 12*n**2 - 2*n + 7. Let j be i(6). Suppose m - j = -0*m. Is m composite?
False
Suppose -3*i - 2*b + 15 = 0, -4*i - 3*b + 20 = -0*b. Suppose 92 + 173 = i*t. Is t composite?
False
Let r = -29 - -80. Is r prime?
False
Is (4/16)/(((-21)/9012)/(-7)) prime?
True
Let p be (-10)/5 - (2 + -4). Suppose p = h - 0 - 13. Is h prime?
True
Let o be (-3)/((15/2)/(-5)). Suppose -6 = -2*g - o*k, g - 2*k = 2*g - 6. Suppose g*r + 50 = 2*r + 4*m, -3*m - 43 = -2*r. Is r prime?
True
Let x(k) be the third derivative of k**6/120 + 11*k**5/60 + 3*k**4/8 + k**3 + 3*k**2. Is x(-9) composite?
True
Suppose -3*n = 5*h + 202, -2*h + 6*h = 4. Suppose 0 = y - 2, v + 3*v + 126 = y. Let p = v - n. Is p composite?
True
Suppose -55 = 3*w - 8*w. Suppose 4*s - a = 6 + 1, -w = -5*s - a. Is (124/8)/(1/s) a prime number?
True
Let c(z) = 5*z + 1 + 19*z + 15*z. Suppose 1 - 3 = -v. Is c(v) a prime number?
True
Suppose -2*t + 4*c = -108, 4*t + c + c - 196 = 0. Suppose s + s = t. Is s prime?
False
Let q = 2 + 4. Suppose -75 = t - q*t. Is t composite?
True
Let m(f) = -20*f**2 - f - 1. Let h be m(2). Suppose 7 + 8 = -5*c, 0 = -3*b + c - 51. Let z = b - h. Is z a prime number?
False
Let f(y) = y - 1. Let g(w) = 9*w + 13. Let i(m) = -4*f(m) - g(m). Let k be i(7). Let t = -47 - k. Is t prime?
True
Suppose 4*x = -j + 3179, -x + 5*x = 4*j - 12736. Is j composite?
True
Suppose -3*a - 604 = -5*y, 4*y = -2*a + 5*a + 485. Is y a prime number?
False
Suppose 4*l = 9*l - 5. Is -3 - (-205 - (0 + l)) prime?
False
Let m be (4/2 + -2)/(-3). Let s(j) = 3*j + 1 + 63*j + m. Is s(1) a composite number?
False
Suppose 4*a - 66 = c, -c - 33 - 1 = -2*a. Suppose -a + 59 = z. Is z a prime number?
True
Let z(k) = k**3 - 2*k**2 - 2*k - 6. Let r(q) = -3*q**2 + 10*q - 2. Let y(o) = -2*o**2 + 9*o - 2. Let v(f) = -3*r(f) + 4*y(f). Let b be v(-7). Is z(b) composite?
False
Suppose 2*y - p - 15 = -6*p, 0 = -2*y - 4*p + 10. Let n be (-2)/5 - 132/y. Let o = n + -13. Is o composite?
False
Let p = -14 - 9. Let j = p + 38. Is j prime?
False
Let h = -7 - -7. Let a(p) = p**2 + 55. Is a(h) composite?
True
Suppose -5*j - 5 = 0, -j - 25 - 12 = -3*s. Is s/(-16) - (-470)/8 a prime number?
False
Let a(i) = i**3 + 10*i**2 + 7*i - 5. Let o = -22 + 13. Let p be -3*(1 + (-15)/o). Is a(p) a prime number?
True
Suppose -4 = -r + 1. Suppose r*a = a + 1148. Is a a prime number?
False
Suppose -4*c = 5*a + 17, -a + 2 = 7. Let i(w) = 56*w - 2. Let y be i(c). Suppose 3*h - h = y. Is h composite?
True
Let u(s) = s**3 - 2*s**2 - 2*s - 1. Let f be u(-1). Is ((-1994)/4)/(f/4) a prime number?
True
Suppose -5*g + 75 = -2*g. Suppose 0*f - 4*f = 4*x - 20, -5*f + 5*x = -g. Suppose 3*t = -f*s + 33, -2*t + 4*t = -5*s + 27. Is t a prime number?
False
Suppose -7*n + 87 = -6*n. Is n composite?
True
Suppose -3 + 2 = a + 2*y, 0 = -y. Let r = 171 + -103. Let o = r + a. Is o composite?
False
Suppose -424 = 4*l + 264. Let w = l - 60. Let c = w + 353. Is c composite?
True
Suppose 2*x + 4 = h - 5*h, 4*x - h = 1. Suppose -p = -x*p - 367. Is p prime?
True
Let z be ((-40)/(-12))/((-4)/(-6)). Suppose 0 = z*c - v - 15, 0 = c + v + 4*v + 23. Suppose 4*f = -5*t + 105, c*t - 42 = -2*f - 0*f. Is t a prime number?
False
Suppose 0 = -0*h - 6*h + 7014. Is h a prime number?
False
Let m = 39 + -28. Suppose 3*z + m = 212. Is z a prime number?
True
Let j = -8 + 11. Let x(u) = -5*u**3 - u**j + 10 + 5*u**3. Is x(0) composite?
True
Let a be ((-339)/(-3) - -1) + 3. Suppose -109 = -n + a. Let b = n + -131. Is b a composite number?
True
Suppose -2*v = 4*n - 12, 0 = -n - 1 + 2. Suppose -v*j + 4*p + 13 = -3*j, -4*j = 5*p - 94. Is j composite?
True
Let z(v) = 634*v**3 + v**2 - 2*v + 2. Is z(1) composite?
True
Let m be (-20)/6*(-18)/4. Let d(l) = -4*l - 5. Let p be d(-7). Let j = p + m. Is j composite?
True
Let i = -13 - -22. Suppose -5*w = -2*w + i. Let h = w - -9. Is h prime?
False
Let w(j) = 108*j + 25. Is w(8) composite?
True
Suppose -4*x - 2922 = -5*m, 0 = 3*m - 6*m - x + 1760. Is m prime?
False
Let a(k) = k**2 - 2*k + 6. Let v be a(4). Let d be (-3 - v/(-6))*-6. Suppose d*g - 289 = 339. Is g a composite number?
False
Let l(y) = -26*y + 9. Is l(-5) prime?
True
Suppose 812 = h - 5*t, 2*t = 2*h + 6*t - 1610. Is h a prime number?
False
Is -4 + -4 + 399 + 4 a composite number?
True
Suppose 612 - 147 = 5*n - 4*k, 3*n = 3*k + 282. Is n a prime number?
True
Let u(m) = 7*m**2 + m + 1. Let x(t) = t**3 - 3*t**2 + 4*t. Let g be x(3). Suppose 4*a + 4*l - g = 0, 3*a - 4*a + 4*l + 3 = 0. Is u(a) a prime number?
True
Let m(p) = 3*p**2 - 5 + 4*p**2 + p**2 - p - 3*p**2 + p**3. Let x be m(-6). Is (-8)/(-2)*x/(-20) a composite number?
False
Let l(u) = 26*u - 29. Is l(6) composite?
False
Suppose 11 = 5*p - 14. Suppose -p*j = 5*h - 110, 0 = -h - j + 4*j + 26. Is h prime?
True
Suppose -20 - 1 = -3*r. Suppose r*m - 635 = 2*m. Is m a composite number?
False
Let u = 5 - 5. Suppose 8*d - 4*d - 356 = u. Is d composite?
False
Let p(y) = y**3 + 16*y**2 + 6*y - 7. Suppose 3*w + 40 - 4 = 0. Is p(w) composite?
True
Suppose 0 = g + 3*d + 4, -2*d + 0*d - 10 = -3*g. Suppose 0 = -0*h + g*h - 44. Is h prime?
False
Let m be ((-4)/3)/((-14)/21). Suppose -3*u + 396 = b + 2*b, -2*b + m*u = -244. Is b a prime number?
True
Suppose -4 = g - 2, 3*g = -3*a + 855. Is a a composite number?
True
Let m be 9 + -8 - (-32 - 0). Let b = m + 20. Is b prime?
True
Let t(y) = -y**2 + 9*y - 9. Let p be t(7). Suppose -2*c = -p*c. Suppose c = -v + 52 - 1. Is v prime?
False
Suppose q + 3*t = 1099, -2*q + 0*t - t + 2178 = 0. Is q a prime number?
True
Let c = -777 - -2143. Is c prime?
False
Let p(v) = -2*v - 6. Let w be p(-8). Suppose d = -d + w. Suppose d*z = -3*n + 80, -z - z + 3*n + 53 = 0. Is z prime?
True
Suppose 3*z + 5*i - 1255 = 0, -z = -6*z - i + 2077. Suppose -2*o + z + 231 = 0. Is o a composite number?
True
Let n(v) = v**3 - 9*v**2 - 4*v - 9. Let h = -15 - -25. Is n(h) composite?
True
Suppose 7*j + 5*b = 2*j + 2535, 5*j = 4*b + 2508. Suppose 0 = -x + 19 + j. Suppose 4*p + 3*t = 2*t + x, 0 = -4*p + 4*t + 528. Is p a composite number?
False
Let i = -110 + 597. Is i composite?
False
Suppose -p - 4*d - 32 = 0, p - d + 12 + 10 = 0. Let t be (-2)/(p/(-63))*-8. Suppose 2*z - t = 5*i, -2*z = 3*z - 4*i - 139. Is z a composite number?
False
Suppose -2*s + s - w = 5, 0 = s + 3*w + 9. Let t(l) = -6*l + 3*l + 4 - 8*l. Is t(s) prime?
True
Let v = 42 - 48. Let f = -64 + 286. Is (f/4)/((-3)/v) a composite number?
True
Let i(x) = -x**3 + 4*x**2 - 3*x. Let d be i(2). Let y be (-2 - (-1)/d)*-2. Suppose -5*r = y*h - 0*h - 98, -4*r - h = -77. Is r a prime number?
True
Suppose 2 = -0*l + l. Suppose 5*k - o = 181, -26 - 56 = -2*k - l*o. Is k a composite number?
False
Let d(s) = 17*s**2 + 9*s + 15. Is d(-