- 4*u = 56. Is u a composite number?
True
Suppose 3*m + 4*f - 323 = -0*m, 4*m - 416 = 2*f. Let y = 158 - m. Is y composite?
False
Suppose -3*o + 1164 = 240. Suppose -3*z + o = z. Is z a composite number?
True
Let l(h) be the second derivative of h**4/12 - 7*h**3/3 - 7*h**2/2 + 5*h. Is l(-10) a composite number?
False
Let n = -5 - -3. Let u be (9*-1 - 2) + n. Let l = u + 28. Is l composite?
True
Let s(q) = -q**2 - q + 1. Let z(h) = h**2 - 4*h + 3. Let r(t) = 2*s(t) + z(t). Let g = 8 + -13. Is r(g) prime?
False
Suppose 0 = -4*f + f - 4*t + 9, 5*f = 4*t + 47. Suppose -2*y - r - 604 = -f*y, -2*r = -5*y + 603. Is y composite?
True
Let k be -3 + 0 + 684/(-12). Let o = k + 143. Is o prime?
True
Suppose 5 + 1 = 3*z. Is z/2 + -1 + 97 a prime number?
True
Suppose -4*d + 1312 = s, s - 674 = -2*d + 5*s. Is d prime?
False
Let u(b) = b**2 + 12*b + 13. Let p be u(-11). Suppose -w - 706 = -3*j, -p*w - 385 + 158 = -j. Is j composite?
True
Let c(y) = -y**2 + y. Let g be c(1). Let l be 2 - (g + 2 + -4). Suppose l*a + 0*a - 140 = 0. Is a composite?
True
Is 2288 + 2/(-5 - -3) composite?
False
Is (-2)/(1 + 798/(-794)) a prime number?
True
Let v be ((-1)/(-3))/((-1)/(-9)). Suppose -3*n = -6*r + 3*r + 15, 2*n = -v*r + 5. Is r a prime number?
True
Let r(v) be the second derivative of v**6/360 + v**5/120 + 85*v**4/24 + v**3/6 + 2*v. Let u(b) be the second derivative of r(b). Is u(0) composite?
True
Suppose -q - 2*r - 40 = 0, 0*q + 46 = -q - 5*r. Let b(f) = -73*f. Let v be b(1). Let a = q - v. Is a composite?
False
Suppose q - i = 687, -4400 = -4*q - 4*i - 1636. Is q a composite number?
True
Let v(r) be the second derivative of -r**3/6 + r**2 + 2*r. Let m be v(-4). Let o = 31 + m. Is o a composite number?
False
Is ((-7 - -2) + 387)*(-1)/(-2) prime?
True
Suppose q + 3*i + 63 - 300 = 0, 5*q - 1185 = -4*i. Suppose 0*n - q = -3*n. Is n a prime number?
True
Suppose 4*y = -b + 1319, -5*y - b + 3*b = -1639. Let v = y - -492. Is v a composite number?
False
Suppose -3*d - 2*d = 1240. Is (d/(-12))/((-2)/(-3)) prime?
True
Suppose -2*r = r. Let p(z) = z**3 - 5*z**2 + 6*z - 6. Let f be p(4). Suppose -8*h = -f*w - 3*h + 28, r = -4*w + 2*h + 72. Is w composite?
False
Let w(o) = o**3 + 15*o**2 - 3*o + 14. Let v(t) = t**2 + 8*t - 3. Let f be v(-6). Is w(f) composite?
False
Suppose -2*z + 485 = 3*z. Is z composite?
False
Suppose 3*f - 4 = -0*r - r, 2*f = -3*r - 9. Let p be -1 + 3 + (-699)/(-3). Suppose f*z = 8*z - p. Is z a composite number?
False
Let j(k) be the second derivative of -k**5/20 - k**4/2 - 2*k**3/3 - 5*k**2/2 - k. Let y be j(-6). Suppose -y - 9 = -2*z. Is z a prime number?
False
Let v(q) be the first derivative of 2*q**2 - 3/4*q**4 + 1 - q + 1/3*q**3. Is v(-3) composite?
True
Suppose -2*f + 3*f = 3*d + 641, f = -3*d + 629. Suppose -26 + 11 = -5*z. Suppose 0 = -2*h - z*h + f. Is h a composite number?
False
Suppose -2*k - 1 + 5 = 0. Suppose 42 = 3*o - 3*l, 3*l = -o + k*o - 16. Suppose 0*z + z = o. Is z prime?
True
Suppose l = 2*l - 658. Suppose l = 3*n + 5*w, 5*n + w - 1065 = -w. Is n prime?
True
Let f(o) = o**2 + 2*o + 1. Suppose -3*a + 6 = -6*a. Let c be f(a). Is -1 - -6 - (-2 + c) a composite number?
True
Suppose 2*z = -m + 403, -z = 2*z + 5*m - 622. Is z composite?
False
Let m(h) = 47*h**2 + 3*h - 3. Suppose 0 = 6*u - 5*u - 2. Is m(u) a composite number?
False
Let p be 0 - -2 - (-14)/(-1). Is 3/p - (-77)/4 prime?
True
Let c = 0 + 3. Suppose c*x + 12 = 6*x. Suppose 2*q - 428 = -2*l, q + x*q - 2*l - 1049 = 0. Is q prime?
True
Is 3*2*(-1492)/(-24) prime?
True
Is ((-6932)/(-6))/((-10)/(-15)) composite?
False
Suppose 3*u - 308 - 250 = 0. Suppose 4*t - 7*t = u. Let w = 109 + t. Is w a composite number?
False
Let i(a) = a**3 + 8*a**2 - 4*a + 7. Is i(-8) a prime number?
False
Suppose 4*x - 460 = x + n, 0 = 2*x - 2*n - 312. Let f = -55 + x. Is f a prime number?
True
Let d be (-6)/4*10/(-15). Let u(f) = -33*f**3 - 9*f**2 - 11. Let q(i) = -17*i**3 - 4*i**2 - 5. Let w(s) = -9*q(s) + 4*u(s). Is w(d) a prime number?
False
Suppose -u = 4*y - 25864, -7*u = -4*y - 3*u + 25884. Is y a prime number?
False
Let l = 292 + -107. Is l a composite number?
True
Is 6992/32*(3 + -1) a composite number?
True
Suppose 7 - 1 = 2*z - l, -8 = z + 5*l. Suppose -z*d = 2*d + 24. Is (-483)/(-1)*(-2)/d prime?
False
Suppose -5*c + 2*x + 6909 = 0, 2*x - 4 = 4*x. Is c a prime number?
True
Let x(r) = -r**2 - 2*r + 3. Let h be x(-3). Suppose h = 4*w - 5*y - 187, 4*y - 114 = -3*w + 3. Is w a composite number?
False
Is 36995/21 + (-2)/3 a composite number?
True
Suppose 5*s - 16 = -y, 4*s = 5*y + 5 + 31. Suppose -h = z - 0*z - 157, z = s*h - 628. Is h prime?
True
Let i be (2 + -6)*3/(-6). Suppose 0 = i*u + s + 31, -5*s = 3*u + 37 - 8. Let k = u + 71. Is k a prime number?
True
Suppose 142 = 4*h - 3*t, 0 = 3*h + 4*t - 0*t - 119. Is h*((-1)/(-1) - 0) a prime number?
True
Suppose -2*h + 2*f + 462 = -196, 0 = -3*h + f + 987. Is h a composite number?
True
Let u(k) = k**2 - 3*k + 3. Let z(m) = m**2 + 6*m + 6. Let s be z(-6). Let t be u(s). Let w = 46 + t. Is w a composite number?
False
Let z(d) = -d + 3. Let h be z(3). Suppose h*b = 2*b - 38. Is b composite?
False
Let d(m) = 30*m - 1. Is d(2) prime?
True
Suppose -y + 1113 = -0*y. Suppose -2*r + k = -y, 0*r + 4*r - 2230 = -2*k. Is r composite?
False
Let c be ((-2)/3 - 0)*3. Let a be 2 - 1*-49 - c. Suppose w = 2*w - a. Is w prime?
True
Let i = -16 + 19. Suppose 202 = 5*d + w - 5*w, -3*w = -i*d + 123. Is d composite?
True
Let s(j) = 0 - j**3 - 6*j**2 + 2*j**3 + 5 + 0 - 2*j. Let g be s(5). Let i = -7 - g. Is i prime?
True
Suppose -2*l - 997 = -3*h, -4*h + 6*h - 666 = l. Is h a prime number?
False
Let t = 1253 + -732. Is t a prime number?
True
Suppose 20 = 4*w, 5*l - 5*w = -0*w - 25. Suppose -d = -0 - 2. Is l + -2 - (-65 - d) composite?
True
Let y(w) = w**3 + 10*w**2 - w + 9. Is y(-10) a composite number?
False
Suppose -i - 131 = -5*w + w, -4*w - 5*i + 113 = 0. Suppose -12 = 2*p - w. Is p composite?
True
Suppose -3*s + 8*s + 14133 = 4*y, 2*y = -2*s + 7044. Is y prime?
True
Is (-7905)/(-30) + (-3)/(-2) a composite number?
True
Let y = -1 - -1. Let o(b) = b**3 + b**2 - b**2 - 14 + 49. Is o(y) a composite number?
True
Let h(u) = 5*u**2 - 4 - 9*u - 3*u**2 + 9. Let f = 13 - 7. Is h(f) a prime number?
True
Let l be -1*4*5/4. Let w(v) = 10*v**2 + 8*v + 3. Is w(l) composite?
True
Suppose -2*t + o = 2*t - 86, -3*t + 70 = 2*o. Is t a composite number?
True
Let b = -565 + 1790. Suppose 6*i - i = b. Suppose m + i = 6*m. Is m a prime number?
False
Let s = 662 - 293. Let l = s + -258. Is l composite?
True
Suppose d - 110 = -564. Let u = d - -770. Suppose 0 = 4*c + 5*w - 316, -4*c + u = 4*w - 7*w. Is c composite?
False
Suppose -2*n + 138 = -218. Is n a composite number?
True
Suppose 4*z - 5*r = 1328, 694 = 2*z + r + 4*r. Is z composite?
False
Let y(a) = 143*a + 72. Is y(17) composite?
False
Suppose -4*a = -y + 644, -5*y + 3105 + 43 = -2*a. Is y/(-3)*(-3)/2 a prime number?
False
Is ((-5)/10)/(1/(-242)) a composite number?
True
Suppose 0 = 4*r - 8 + 20. Is (15/(-2))/(r/10) a composite number?
True
Suppose h - 12 = -b + 2, -22 = -b - 3*h. Let f(w) = -8*w**2 - 20*w + 45. Let m(d) = 3*d**2 + 7*d - 15. Let a(u) = 4*f(u) + 11*m(u). Is a(b) a composite number?
True
Is (-1958)/4*1*(-12)/6 prime?
False
Suppose 2*s = 3*s + 4, s + 329 = 5*m. Suppose -105 - m = -5*t. Is t composite?
True
Let h(k) = k**3 - 6*k**2 + 9*k + 5. Let m be h(7). Suppose t - m = 120. Is t a composite number?
True
Suppose -3*o - 369 + 2112 = 0. Is o a composite number?
True
Suppose 3*r - 15 = 5*o + 5*r, -4*o - 5*r = -5. Let b(i) be the third derivative of i**6/120 + 7*i**5/60 + 7*i**4/24 - i**2. Is b(o) a composite number?
True
Is 901/3 + (2/(-6) - -1) a composite number?
True
Suppose 3*y - 6*y = -36. Let s be 15/2*y/10. Is (s - -2 - 2) + 1 a composite number?
True
Suppose 3*u - 15 = 2*u. Let k be 51/u - (-4)/(-10). Suppose -2*y = -4*h + 3*h - 427, -k*y - 4*h = -613. Is y a prime number?
True
Let c = -35 + 18. Let s = c + 28. Is s a prime number?
True
Let x(j) = -2*j - 4. Let g be x(-4). Let w(t) = -t + 4. Let l(m) = m + 1. Let y(f) = 3*l(f) - w(f). Is y(g) a prime number?
False
Suppose 3*j - 180 = -2*j. Let f = -14 + j. Let o = f - 7. Is o composite?
True
Suppose t + 2*u = 115, 4*u = 3*t - 2*t - 127. Is t a composite number?
Tr