omposite?
True
Let c = 375 - 212. Is c a composite number?
False
Let o = -247 + 429. Suppose q - 2*q = -o. Suppose 2*n - q = -0*n. Is n a prime number?
False
Let g(b) = b**3 - 7*b**2 - 7*b - 2. Let t be g(8). Let p = -14 - -36. Is t/(-4)*p/(-3) a composite number?
False
Let d = -956 + 1395. Is d a composite number?
False
Let f be (-1)/((-15)/(-9) + -2). Suppose 3*q + f*h = -h + 10, -h + 1 = 0. Suppose 3*z + q*i = 29, -2*z - 3*i = -5*z + 9. Is z a composite number?
False
Suppose -4*g - 7 = -2*o - 49, 0 = 5*g - o - 57. Let p = g - 11. Let m(t) = 12*t**3 - t. Is m(p) a prime number?
True
Let s(x) = -2*x**3 - 14*x**2 - 11*x - 4. Is s(-9) prime?
True
Let b = 5 + -8. Is b*(-33 + 3 + -1) a prime number?
False
Let a(y) = 7*y**2 + 46*y**2 + 30*y**2 + 152*y**2. Is a(-1) a prime number?
False
Let n be (-8)/(-3) - 8/12. Suppose -3*m + 4*d + 999 = 0, 0 = 3*m - d - n*d - 996. Is m composite?
True
Suppose 0*z = -z - 63. Let m = 152 + z. Is m a prime number?
True
Let t = -39 - 127. Let k = t - -79. Is (k/(-2) - 2)*2 a prime number?
True
Let z be ((-674)/(-4))/(3/6). Suppose -6*m + m = -15. Suppose -7*o + m*h + 317 = -3*o, 4*o = -h + z. Is o a prime number?
True
Let f(j) = j - 6. Let l(r) = r - 6. Let q(h) = -3*f(h) + 4*l(h). Let w be q(9). Suppose 0*a - 30 = -w*a. Is a a composite number?
True
Suppose -4*t - 4974 = -5*s, -994 = -s - 0*t + t. Let a = s - -257. Is a prime?
False
Suppose 0 = 3*p - 2*p - 13. Let s = 18 + p. Is s composite?
False
Let c(b) = -b**2 + 10*b - 2. Let s be c(10). Is (14/42)/(s/(-318)) a composite number?
False
Let j(p) = -p + 7. Let x be j(7). Suppose 5*c - 424 - 321 = x. Is c a composite number?
False
Let d = -30 + 42. Suppose 0 = 5*p - 4*u + 6 + 14, 3*p - 5*u = -d. Is (190/p)/5*-2 prime?
True
Let o(n) = -139*n - 6. Is o(-1) composite?
True
Let d(q) = 511*q**2 + 3. Is d(2) a prime number?
False
Suppose -5*p - 4*g + 8 = 0, -2*p - 19 = -3*p + 5*g. Suppose -105 = i - 4*i - 3*c, -p*i + 116 = -4*c. Let r = -13 + i. Is r prime?
True
Let c = 29 - -54. Is c a prime number?
True
Let p(u) = -4*u**3 + 2*u**2 - u - 3. Let j(l) = -5*l**3 + 2*l**2 - 2*l - 4. Let m(i) = 5*j(i) - 6*p(i). Let a be 1/(-4)*-6*-2. Is m(a) prime?
True
Let a(f) = 18*f**2 - 10*f - 7. Is a(-6) a prime number?
True
Is (2/4*-1)/((-7)/1358) prime?
True
Suppose -4*d - 3*p + 11 = -0*p, -4*d = -p - 7. Let j be (-2)/d + 2 + 60. Suppose 4*v = u - j, 3*v - 8 = 7*v. Is u a prime number?
True
Let x(u) = -u**2 + 16*u - 13. Let l be x(15). Let a = 1 + 1. Is 7/l*4/a prime?
True
Let t(h) = 110*h**3 - 3*h**2 + 1. Is t(2) prime?
False
Suppose 3*h - h = 4. Suppose 0 = h*r - 156 - 614. Suppose 0*o + r = 5*o. Is o prime?
False
Suppose -5*j - 153 = -5*n + 427, 0 = -5*n + 2*j + 589. Is n composite?
True
Let q(y) be the first derivative of -9*y**4/4 - 5*y**3/3 - y**2 + y - 1. Suppose -m + 6 = -2*u, 0*u + 4*u + 12 = -3*m. Is q(u) a composite number?
True
Suppose d - i + 4*i = 242, -517 = -2*d + 5*i. Is d a composite number?
False
Suppose -3*s + 0*s + 22 = 5*g, 3*g = 5*s - 14. Let i = 0 + 5. Suppose i*r - 191 = -4*b, r - g*b = b + 23. Is r a composite number?
True
Let m be 12*-3*(-1)/6. Is m/(-21) - 1866/(-14) prime?
False
Let v = -6 + 12. Suppose -2*n + 4 = -0. Is 4/v*21/n a prime number?
True
Is (0 + 3)/(3/877) a composite number?
False
Suppose -4*p = 12 + 8. Let z(v) = 2*v**2 + 3*v - 4. Is z(p) a prime number?
True
Let b(j) = -2*j**3 - 7*j**2 - 5*j + 4. Is b(-7) prime?
False
Suppose 2*q + 28 = 4*q. Is q composite?
True
Let q(j) = 3*j**2 - 12*j - 11. Is q(18) composite?
True
Let y be (2 - (-2)/(-4))*-12. Let g = -25 - y. Is (g + 2)*42/(-30) prime?
True
Let t(m) = 10*m**3 - 2*m**2 + 3*m - 2. Is t(5) a composite number?
False
Let r = 3 + -3. Let f be (1 + -2)/((-1)/10). Let d = f - r. Is d a prime number?
False
Suppose y + 4*y - 15 = -5*k, k = 2*y. Suppose 9 = k*i + 1. Suppose -4*h + 0*h + 8 = 0, i*h = b - 59. Is b prime?
True
Suppose -3*c + 8*c - 7405 = 0. Is c a prime number?
True
Suppose -3*n - 3*r + 189 = 0, 0*r - 4*r + 315 = 5*n. Let j = n + 32. Is j composite?
True
Suppose 2*m - 3*d - 182 = 0, -29 + 110 = m + d. Is m a prime number?
False
Is (-11)/(2/(-10)*1) prime?
False
Suppose 0 = -t - 4*t. Suppose 2*f + f - 3*q - 105 = t, -67 = -2*f - q. Is f a composite number?
True
Let q(x) = x**2 + 7*x - 3. Let y be q(-8). Suppose -y*v + 5*i = -270, 5*v + 0*i - 320 = -5*i. Is v composite?
False
Suppose o - 2*a - 2 = 0, -6*a + a - 6 = -3*o. Suppose 397 = -o*p + 3*p. Is p composite?
False
Let a(w) = -5805*w**3 - w**2 - w. Let i be a(-1). Suppose -4*f - i = -f. Is f/(-55) + 2/(-11) composite?
True
Let p(w) be the first derivative of w + 22/3*w**3 + 1 + 0*w**2. Is p(-2) a composite number?
False
Suppose -5*k = -2*k - 141. Is k a prime number?
True
Suppose -3*z + 2 + 7 = 0. Is (3/9)/(z/1449) prime?
False
Suppose -9*g + 8287 = -3584. Is g prime?
True
Let l = -14 + 10. Let a(q) = 2*q - 1. Let o(n) = 3*n - 1. Let i(r) = -5*a(r) + 2*o(r). Is i(l) a composite number?
False
Let p = -1 + 3. Suppose 2 = g - 2*z, -3*g + 26 = p*g - 2*z. Suppose -4*s = -g - 10. Is s a prime number?
False
Suppose 4*z + 0*z + 696 = 0. Let a be ((-6)/(-18))/((-1)/z). Let o = a - -29. Is o a prime number?
False
Suppose 0 = -3*o + 2788 + 1841. Is o prime?
True
Is ((-46991)/5)/(-7) - 2/(-5) composite?
True
Let m = -6 + 8. Suppose m*u + 3*j - 6*j = 105, -5*u + 254 = j. Suppose h - 2*h + u = 0. Is h prime?
False
Suppose -2*n + 252 + 586 = 0. Is n a prime number?
True
Let u = 1538 - 255. Is u a prime number?
True
Let p(u) = 7*u + 25. Let w be p(17). Suppose 3*l - 47 = 226. Suppose -4*q = -0*q + 3*h - w, 0 = -3*q + 2*h + l. Is q a composite number?
True
Let o = 12 - 0. Suppose -5*a = 3*f + 1 + 18, -4*f - 4*a - 12 = 0. Suppose -f*m + o = -0*m. Is m prime?
False
Let i be (-1)/(3/(-251 - -2)). Let h be ((-2 - 3)*i)/(-1). Let d = h + -282. Is d prime?
False
Suppose -215 = 3*q - 1061. Suppose 27 = -3*r + q. Is r composite?
True
Suppose -2*j = -a + 8, -2*j + 5 = -5*a - 7*j. Suppose 0 = -o - a*g + 325, -g - 98 + 420 = o. Suppose 5*d = -l + 392, l = -4*d + 2*l + o. Is d a prime number?
True
Let q = 2 + 2. Suppose 3*f - q*f - 388 = -4*a, 3*a - 291 = -4*f. Is a a prime number?
True
Let u(l) = 3*l**3 - 3*l**2 + 5*l + 1. Let i(r) = -3*r**3 + 3*r**2 - 6*r - 2. Let s(b) = 5*i(b) + 6*u(b). Let n be s(4). Suppose 2*w = 6*w - n. Is w composite?
True
Suppose -4*r + b = 421, 103 = 3*r - b + 418. Let u = 175 - 372. Let k = r - u. Is k composite?
True
Suppose k - 2*k = -749. Is k a composite number?
True
Let d(l) = 18*l**2 - 28*l + 1. Let c(h) = -9*h**2 + 14*h. Let y(i) = 5*c(i) + 3*d(i). Is y(10) a prime number?
False
Suppose 3*d + 3 = -3*u, 5*d = -3*u - 0*u - 5. Suppose u*w = -w + 6. Let i = 52 - w. Is i a prime number?
False
Let k = 258 + -394. Let p = 282 + k. Let u = p - 27. Is u a composite number?
True
Let v = 253 + 882. Is v prime?
False
Suppose -38 = -5*x - 3*n, n + 25 = 5*x - 9. Suppose -1 = 2*q - x. Suppose q*r - 236 = -r. Is r prime?
True
Let a(w) = -w**3 - w**2 + 2. Let r be a(0). Suppose 0 = -r*t - t. Suppose t = 3*m - 61 - 104. Is m prime?
False
Let v(c) = -3*c + 2. Let x(r) = 8*r - 5. Let g(w) = -11*v(w) - 4*x(w). Let k be g(-6). Is (-237)/(-5) + k/20 prime?
True
Suppose -5*t = -4 - 11. Suppose -t*c - 5*x = -2 + 17, 4*x + 12 = 5*c. Is c/((-9)/(-3)) - -26 a prime number?
False
Suppose 2*z + y = 1614, z = -z - 4*y + 1602. Is z a prime number?
True
Let r = 1 - -6. Suppose -r*s + 2*s + 475 = 0. Is s prime?
False
Let g be (137*1)/((-13)/26). Let c = g + 771. Is c composite?
True
Let k(b) = -b**3 + 18*b**2 + 16*b + 39. Is k(18) a composite number?
True
Suppose -3*u - 174 = -789. Is u composite?
True
Let x be 2 - -529 - (2 - 0). Let r = x - 372. Is r composite?
False
Let v(l) = -68*l - 18. Is v(-4) a prime number?
False
Suppose 4*k - 251 = 105. Is k a composite number?
False
Let h(p) = 38*p**3 + 2*p**2 + 7*p + 5. Let j = -13 - -18. Let a(b) = 19*b**3 + b**2 + 4*b + 3. Let g(n) = j*a(n) - 3*h(n). Is g(-1) a composite number?
False
Suppose -5*b = -3*n + 2011, 2*n - 2003 = -n + b. Is n prime?
False
Let c(a) = 260*a + 1. Let z be c(1). Let r be z - (4/2 + -2). Suppose 3*f = 204 + r. Is f a composite number?
True
Let h(b) = -4*b - 4. Let i be h(-6). Suppose 0 = -a - 2*k - 4, -2*k + i = -3*a + 8*a. Suppose -148 = -a*r + 2*r. Is r prime?
True
Let w = 396 - 259