- 0*c - 4*u + 1. Suppose -2*j + c*l = -48, -5*j = -l - l - 99. Is j prime?
True
Let w(o) = o**3 + 11*o**2 + 7*o - 2. Is w(-9) prime?
True
Let v = -4 + 2. Let m be v/1*(-195)/6. Suppose -s + m = 2*n - 0, 4*s = 5*n - 143. Is n a prime number?
True
Let i = -531 + 866. Is i a prime number?
False
Let g = -3 - 9. Let x = 4 + -2. Is 1 - (x + g + 2) a prime number?
False
Suppose -7*b + 3*b - 32 = -u, -b = u - 12. Let a be (1 - -107)*12/u. Suppose 5*y = a + 364. Is y prime?
True
Let m be 1/((-2)/(-1 - 3)). Let q(b) = 6*b**2 + 1. Is q(m) a prime number?
False
Suppose 6*z = 2*z + 8. Suppose z*u = -3*u. Suppose -5*j = -4*w - 275, u = -j + 8*w - 3*w + 55. Is j composite?
True
Let t(n) = n - 8. Let u be t(11). Suppose -160 = -5*k + 5*h, -2*k + 73 = -2*h + u*h. Is k a composite number?
True
Let b(m) = m**2 - 3*m - 1. Let j be (0 - 0) + (7 - -1). Is b(j) a composite number?
True
Suppose -2*a + 6*a + 48 = p, -5*p - 3*a + 171 = 0. Is (-5)/(15/6) + p a composite number?
True
Let r = -1775 - -3298. Is r composite?
False
Let h = 8 + 17. Suppose 0*v - 33 = -3*v. Let x = h - v. Is x composite?
True
Let d(l) = l + 62. Let y be d(0). Is (-2 - -1)/((-2)/y) a composite number?
False
Suppose j = b + 297, 5*b + 0*j + 1461 = -3*j. Is (3 - 4)*3 - b prime?
False
Suppose -4*t - 6 = 5*m + 6, 0 = m. Let r(c) = 5*c**3 - 5*c**2 - c - 7. Let h(k) = -4*k**3 + 5*k**2 + 6. Let o(f) = t*r(f) - 4*h(f). Is o(6) prime?
False
Let q(v) = -v**3 + 12*v**2 - 9*v - 15. Let d be q(11). Suppose 3*p = d*p - 388. Is p prime?
True
Let x(c) = 20*c**3 - 2*c**2 + 3*c - 2. Is x(1) prime?
True
Suppose -3*o = -2*c - 1, 0 + 9 = -o + 3*c. Suppose o*g = 0, -6*k + 2*k + 184 = 3*g. Is k composite?
True
Suppose 2*u = -u + 2*j + 1432, u = 3*j + 482. Suppose -u = -6*t + 2*t. Is t prime?
False
Let n(g) = -g + 3. Let w be n(5). Is -31*w*(-3)/(-6) composite?
False
Let g(d) be the first derivative of -2*d**2 + d - 1. Suppose -6 = 2*w, -3*w - 31 = 5*z + 18. Is g(z) composite?
True
Is (42/(-8))/((-33)/17996) prime?
False
Let t = 85 - 54. Is t prime?
True
Is (3/(9/(-762)))/(-2) composite?
False
Let c = 23 + 8. Is c a composite number?
False
Let m be (-94)/(-18) - (-4)/(-18). Suppose 17*p - 12*p - 540 = 0. Suppose 0 = m*z - 383 + p. Is z a prime number?
False
Let c = -288 + 791. Is c a composite number?
False
Let o(a) = a + 329 + 3*a - 5*a. Is o(0) a prime number?
False
Suppose -5*w = 4*o - 8722, 2177 = 4*o - 3*o + 3*w. Is o a composite number?
True
Is ((-52)/(-6))/((-2)/(-33)) prime?
False
Suppose 0 = -4*y + 3*y + 529. Is y composite?
True
Let c = 10 + -9. Let y(u) = u**3 + u**2 + 1. Let x(h) = -36*h**3 - 4*h**2 - 2*h - 4. Let q(p) = -x(p) - 5*y(p). Is q(c) a prime number?
True
Suppose -4*y - 255 = -7*y. Is y prime?
False
Suppose 0 = -5*p + 4*p + 685. Is p a composite number?
True
Let u = -5 - -5. Suppose -5*p - b + 72 = 0, u = p + 2*b - b - 16. Is p a composite number?
True
Suppose -645 = -0*k - 5*k. Suppose 93 + k = 4*n - 2*d, -278 = -5*n + 3*d. Is n composite?
True
Suppose -3 = 3*o - 4*o. Suppose -2*x + h = o*x - 9, -3*x = -5*h - 23. Is (2/(-2))/x*-10 a composite number?
True
Let s(c) = 6*c**3 - 3*c**2 + 2*c + 3. Let g(u) = u**3 - u**2 + 1. Suppose 3*i = -1 + 4. Let y(o) = i*s(o) - 2*g(o). Is y(2) a composite number?
True
Suppose 745 + 1769 = 6*x. Is x a prime number?
True
Suppose 3*l + 4*y = l + 194, l = -4*y + 107. Is l a prime number?
False
Suppose -z + 108 = 3*a, 4*a - 5*z + 96 = 7*a. Is a a composite number?
False
Let x(l) = 7*l**2 - 7*l - 7. Is x(6) a composite number?
True
Let a be (6 - 2) + -2 + 0. Suppose a*n - 108 = -h, 4*h - h = 5*n - 281. Is n composite?
True
Let o(r) = 3*r**2 - r - 9. Let i be o(7). Let l = 107 - 45. Let u = i - l. Is u composite?
True
Let b(u) be the second derivative of -25*u**4/8 - u**3/3 - u**2/2 - u. Let v(p) be the first derivative of b(p). Is v(-3) a composite number?
False
Suppose -5*n - 1249 = -r, -1013 = -4*r - n + 3983. Is r a composite number?
False
Suppose 685 = -7*r + 8*r. Is r a prime number?
False
Suppose 5*u - 2*c = -32, u = 4*c - 5*c - 5. Let h(o) = o**2 - 2*o - 9. Is h(u) a composite number?
True
Let d = -1597 + 3820. Suppose -4*u + n + 1748 = -1228, -3*n - d = -3*u. Is u composite?
True
Let m = -23 + 33. Is m a prime number?
False
Suppose 4*n - 4*h - h = 5739, 2*h + 2872 = 2*n. Is n prime?
False
Suppose -4*s + 2*s - 62 = 0. Let h = 110 + s. Is h composite?
False
Suppose 4*r - 171 = -m, 2*r = 2*m + r - 342. Suppose 3*z = 192 + m. Is z composite?
True
Suppose 0 = 4*k - 137 + 17. Let y = k + 5. Is y a prime number?
False
Let a(t) = -t + 13. Let u be a(6). Suppose 5*p + 86 = u*p. Is p a composite number?
False
Let o = -144 - -953. Is o a composite number?
False
Let d(h) = h**3 + 18*h**2 + 9*h + 9. Is d(-16) a composite number?
True
Let r be 2 - ((-3 - -1) + 2). Suppose -r*y = 3*y. Suppose y = s - 5*s + 104. Is s a composite number?
True
Let o(l) = l**3 - 3*l**2 - 6*l - 1. Suppose 2*y - 8 - 2 = 0. Is o(y) prime?
True
Let z = -3 + -12. Let m be (1/3)/(5/z). Is (1 - 3) + (22 - m) composite?
True
Let g(j) = j**3 - j**2 + 10. Let l be g(0). Let b = l + -19. Let h = b + 124. Is h a composite number?
True
Suppose 0 = 3*d + 2*d - 1205. Let z = d - 108. Is z a composite number?
True
Let l = 2741 - 1850. Is (l - 3) + -1 - -2 a composite number?
True
Let a be (-2)/(-3 + 39/12). Let l = -11 - a. Is 236 + (l - -4) + 0 prime?
False
Suppose -2*p + 5*n - 4*n - 34 = 0, 5*n = 4*p + 80. Let s = p - -26. Is s a composite number?
False
Let k(o) = o**2 - o + 9. Let f be 2 + 1 + (10 - 1). Is k(f) a composite number?
True
Is 2/(-23) - 2923/(-23) a prime number?
True
Let n be (-87 - -1)/(10/(-35)). Suppose 2*m - 2*c = -6*c + 306, 2*m - n = -3*c. Is m a composite number?
True
Let x(q) = -58*q + 1. Is x(-1) a composite number?
False
Let f(h) = h**3 - 3*h**2 - 9*h + 5. Is f(6) composite?
False
Is -3*(3 - (3 + 11)) a prime number?
False
Is -379*-1*(-2 - -3) prime?
True
Let h be (13/(-3))/((-2)/6). Suppose 0 = -3*n - h - 2, z = n + 51. Is z a composite number?
True
Suppose -n - n + 80 = 0. Let a = n + -3. Is a prime?
True
Suppose -2*v = -3393 + 519. Is v a prime number?
False
Suppose -9*k = -18*k + 558. Is k a composite number?
True
Let k(u) = 12*u**2 + 6*u + 7. Is k(-3) a composite number?
False
Suppose 4*u = v + 6 + 21, v - 2*u = -19. Suppose 0 = -5*h + 6*h + 24. Let r = v - h. Is r prime?
True
Let l = 0 + 0. Suppose -2*o - o - 30 = l. Is (2 + 3)/((-2)/o) a composite number?
True
Let k(y) = -y + 4. Let w be k(4). Suppose s = 3*m - 5, s + s + m + 3 = w. Is -106*((-10)/4 - s) prime?
True
Let r(v) = -v**3 - 5*v**2 + 4*v + 7. Let w = -20 + 14. Is r(w) composite?
False
Suppose -3*d + 4 = -3*o - 8*d, o = -d. Suppose 2*t - 2 = o. Suppose 5*c + n = 107, -5*c + 2*n + 122 = -t*n. Is c composite?
True
Let l(m) = m**3 + 4*m**2 - m + 1761. Is l(0) composite?
True
Suppose 3*j - 2*y - 3*y - 540 = 0, 5*j - 3*y = 884. Let h(r) = 59*r - 4. Let s be h(-2). Let k = j + s. Is k a prime number?
True
Let j(s) = 3*s**2. Let t(i) be the first derivative of -i**3/3 + 3*i**2 - 4*i - 1. Let q be t(5). Is j(q) prime?
True
Let i = 0 - -2. Suppose -i*t + 215 = 3*t. Is t a prime number?
True
Suppose 4*q = -5*l + 7 + 22, -5*q = -5*l - 70. Let g = 102 + q. Is g a prime number?
True
Suppose 737 - 2809 = -8*v. Is v prime?
False
Let l(d) = 5*d**2 - 4*d + 16. Let b be l(7). Suppose 0 = 2*k - 5*h - b, 0*h = h - 1. Is k a composite number?
True
Suppose 5*m - 5*f - 465 = 0, 192 = 2*m + 3*f - 8*f. Suppose -m = -5*x + 204. Is x a prime number?
True
Suppose -5*r = -4*p - 960, -2*p = -4*r - 0*p + 768. Suppose 621 = 3*u + r. Is u a prime number?
False
Suppose 753 = 2*b + b. Is b a composite number?
False
Suppose 14 + 2 = 4*n. Suppose 0 - 8 = -2*f. Suppose -4*c + n*m + 277 = 13, -5*c + 331 = -f*m. Is c composite?
False
Suppose -25 = -x - 0. Is x a prime number?
False
Suppose 15 = -2*s + s - 4*a, 50 = 5*s - 5*a. Suppose -p + 75 = 5*t, -2*t = -0*p - s*p + 321. Is p a composite number?
True
Let u = -1664 + 2367. Is u prime?
False
Let h = -7 - -11. Suppose 0 = -5*d + c - 617, h*d + 4*c - 262 + 770 = 0. Let x = -47 - d. Is x a prime number?
False
Is (-1 - (-9098)/4)*(1 - -1) a prime number?
True
Let c(w) = 9*w - 13. Is c(11) a composite number?
True
Let s(b) be the second derivative of 5*b**4/12 - b**3 + 5*b**2/2 + 3*b. Is s(6) a composite numb