prime number?
False
Let x = 2091 + -896. Let l = x - 642. Is l a composite number?
True
Let w(a) = -1213*a**3 + 2*a + 2. Is w(-1) a composite number?
False
Let x = 23 + 111. Suppose 2*u = 434 - x. Suppose -7 = f - u. Is f composite?
True
Let q = 7 + -3. Suppose 4*a = a + 6. Suppose -a*w + q*w = 118. Is w composite?
False
Let w = 275 + -126. Is w composite?
False
Let m be -6 - (-1 + 1 + -2). Let h be -1 + 2*(-2)/m. Let x(g) = g**2 - g + 39. Is x(h) prime?
False
Let i be 0 + 39/2*-2. Let q = -69 - i. Let p = 109 + q. Is p a prime number?
True
Let t = 212 + -111. Suppose 93 = 5*v - 2*v. Suppose -3*w = 3*x + 2*x - t, 0 = -w - 3*x + v. Is w a prime number?
True
Suppose -3*o - 16 = -4. Let u = o - 21. Let m = u + 35. Is m prime?
False
Suppose x = 4*x. Suppose x*i - 5*i = -p - 121, 4*p = 4*i - 84. Is i a composite number?
True
Let o be 14/((-3 - -1)/(-1)). Let i(k) = 3*k - 2. Is i(o) composite?
False
Suppose 2*y = -8 + 22. Suppose y*o = 2*o + 10. Suppose -o*a = -83 - 23. Is a composite?
False
Let d = -6 - -9. Suppose -4*t = d*o - 52, 2*o - 5*o = -12. Is t prime?
False
Suppose 4242 = 4*k - 4666. Is k composite?
True
Let z(c) = 53*c - 3. Let h be z(6). Suppose -2*o = -0*x + 3*x - 210, -2*x + h = 3*o. Let s = o + -58. Is s prime?
True
Is 10/(-30) - 716/(-6) composite?
True
Is (-2 + 0)*(-485)/10 prime?
True
Suppose 35 = h + 4*q, 3 = -5*h + 5*q + 178. Suppose -c = 4*c + h. Let o = c - -26. Is o a composite number?
False
Let i(q) = q**3 + 7*q**2 - 7*q + 6. Let j be i(-8). Let f = j + 1. Is -2 + 2 + f + 48 prime?
True
Suppose 155 = -4*h + 1951. Is h composite?
False
Let c = 27 - -81. Suppose 106 = 6*r - 4*r. Let i = c - r. Is i a prime number?
False
Let l = -28 + 65. Suppose -m - 3 = -l. Is m prime?
False
Is (6 + 2)*10/8 a prime number?
False
Let q be (-741)/(-2) + (-1)/(-2). Let a = 594 - q. Is a a prime number?
True
Let i = 106 + 21. Is i prime?
True
Let j = 108 - -449. Is j a composite number?
False
Let o(p) = -p**3 - 7*p**2 + 5*p - 8. Is o(-9) composite?
False
Let v(c) be the third derivative of c**5/20 - c**4/12 - c**3/2 - 2*c**2. Is v(-4) prime?
True
Suppose -5*j + 14 = 2*g, -4*g - 5*j + 18 = -0. Let w = g + 0. Is ((-114)/4)/(w/(-4)) prime?
False
Is 4*(-3)/(-4) + 4 composite?
False
Let h = -1 + 5. Suppose 2 = h*g - 3*g. Suppose 0 = -2*a - 4*v + 22, g*a - 2*v - 37 = -3*v. Is a prime?
False
Let g(d) = 2*d - 9. Let p be g(7). Suppose 2*s - 15 = -p*f - 0*s, -3*f + 3*s + 30 = 0. Suppose -3*o + 2*i + 265 = 0, f*o + 4*i + i = 400. Is o prime?
False
Suppose -5*b + 73 = -2*h - 0*b, 0 = 3*h + 3*b + 99. Let r = h + 111. Is r composite?
True
Is (4/(-3))/(12/(-4194)) a composite number?
True
Let y be 1/(-2) + 5/(-10). Suppose -3*m - 13 = -3*z - 76, 42 = 2*m - 5*z. Let c = m - y. Is c a composite number?
True
Let r(g) = 78*g**3 - g**2 - 2*g + 2. Is r(1) a prime number?
False
Let g = 4678 - 3167. Is g composite?
False
Is (-3)/(-6) + 387/2 a prime number?
False
Let i(g) = -g + 9. Let y be i(5). Suppose 4*f - 552 = -y*m, -4*m + 3*f - f = -570. Is m a prime number?
False
Let c = -1785 + 2572. Is c a prime number?
True
Suppose -2*l = -1475 - 731. Is l a composite number?
False
Let c(n) = 9*n + 12. Suppose -4*h - 27 = -7*h. Is c(h) a prime number?
False
Is (2/3)/((-4)/(-258)) a composite number?
False
Let a be 6 + -100 + (0 - 0). Let j = 131 + a. Is j a prime number?
True
Let p(k) = k - 1. Let b(c) = c**3 - 7*c**2 - 2*c + 13. Let q(y) = -b(y) - 6*p(y). Let z be q(6). Let r(i) = 4*i**2 - 7*i + 2. Is r(z) prime?
True
Let p = -20 + 23. Suppose p*m = -k + 250, 0 = -5*m + 3*k - 2*k + 430. Is m composite?
True
Suppose -876 = -4*b + 508. Is (b - 1)*(-6)/(-18) a composite number?
True
Let s(a) = -36*a - 1. Let z = 5 - 5. Let x(y) = y**3 + y**2 - y - 4. Let q be x(z). Is s(q) composite?
True
Suppose 0 = m - 2*m - 4*x + 10, 2*m = 5*x - 19. Is m/(-1) - (-2 + -109) composite?
False
Is (151 - (-1 - 2)) + 3 a composite number?
False
Let y(k) = -k**2 + 3*k - 5. Let d be y(-7). Let f = 164 + d. Is f a prime number?
True
Is 5786/14 + (-12)/42 composite?
True
Let j = -63 - -226. Is j a prime number?
True
Let z be (-2)/8 + (-833)/(-4). Suppose 5*u = 187 + z. Is u a composite number?
False
Let o = 354 + -139. Is 0 + 1 - (-3 - o) prime?
False
Let u(k) = -k - 12. Let q be u(-10). Is (-5)/q*(179 + -1) prime?
False
Let q be (1*6)/(0 - -2). Let z = 28 - 26. Suppose 257 = q*r - z*r. Is r a composite number?
False
Let f be -1 + 26/(0 + 2). Suppose 0 = n + 2*n - f. Suppose -2*t = 3*a - 31, 6*a - 2*a = n*t + 8. Is a composite?
False
Let o = 14 - 7. Let m = -1 + o. Is ((-4)/m)/((-4)/222) composite?
False
Suppose u - 5 = -2*s - s, -4*s - 4 = 4*u. Suppose -s*r + 127 = -2*r. Is r prime?
True
Suppose 5*d + 0*r - 17 = r, 5*d + 3*r - 9 = 0. Is 1696/(-24)*d/(-2) composite?
True
Suppose 167 = 4*i + 5*z - 592, 3*i = z + 574. Is i a composite number?
False
Suppose -2*w - 3 = -1. Suppose -g - 70 = 4*g. Let d = w - g. Is d a prime number?
True
Suppose 3 = o + 2*a, 0*a - 14 = -2*o + 4*a. Suppose -3*t - 17 = -2*l, l + 2*l - 4*t - 24 = 0. Suppose l*c - o*f = 115, -2*f = -0*f - 10. Is c composite?
True
Let w = 181 + -78. Is w composite?
False
Let u = 3562 - 1241. Is u a prime number?
False
Let f(p) = p**2 + 6*p + 4. Let t be f(-6). Let o be 1*(-4)/4*-11. Suppose 6*w - 3*w - 5*l = 40, -w + t*l = -o. Is w a prime number?
False
Let a = -8 + 5. Let m = a + 3. Suppose 4*f - 12 = -5*g, -5*g - 3*f + 14 = -m*f. Is g composite?
True
Let q(w) = -w + 211. Is q(0) a composite number?
False
Let n(y) = -2*y**3 + 2*y**2 + 5*y - 5. Let b be n(3). Let l = 39 + b. Is l composite?
False
Let h(a) = 11*a + 6. Let t(q) = -65*q - 35. Let v(g) = 34*h(g) + 6*t(g). Let w be v(-5). Suppose -k + w = k. Is k a composite number?
False
Suppose -4 = -2*t - 0*t. Suppose h - t*v - 33 = 3*v, 5*h - 3*v = 77. Is h a composite number?
False
Let x be 1*(-2)/2 - -85. Suppose -196 = -4*q - 5*g - 0*g, -2*q + g = -x. Suppose -z = -3*z + q. Is z a composite number?
True
Let l = -660 - -955. Is l a composite number?
True
Let g(z) = z**2 - 3*z - 5. Is g(-14) a composite number?
False
Let u = -5 - -3. Let g(r) be the second derivative of -13*r**3/3 + r**2/2 + 7*r. Is g(u) prime?
True
Let c(g) = 2*g**3 + 0*g**3 + 7*g - g**3 - 5*g**2. Let y = -10 + 15. Is c(y) a composite number?
True
Let z(x) = -x**2 + 4*x + 2. Let r be z(3). Suppose -r*i - 50 + 275 = 0. Suppose 6*j - i = 3*j. Is j composite?
True
Suppose 3*z + 4077 = 3*i, -z = -2*i + 2*z + 2716. Is i a prime number?
True
Let k be (32/(-20))/(2/(-215)). Let l = k - 121. Is l a prime number?
False
Suppose -w - 304 + 66 = 0. Let i = 383 + w. Is i a prime number?
False
Let m = -1 + 7. Let f = 103 - m. Is f composite?
False
Let h(r) be the third derivative of r**8/20160 + r**7/5040 + r**6/720 + r**5/30 + 3*r**2. Let o(k) be the third derivative of h(k). Is o(4) composite?
True
Suppose 3*t - 8 = t. Suppose 3*r + 469 = t*r. Is r a prime number?
False
Let y = -1 - -4. Suppose 0 = 3*s - y - 6. Suppose 3*q - s*f = 102, -f + 2*f = 2*q - 71. Is q a prime number?
True
Let w(m) = -3*m**3 - 21*m**2 - 22*m + 19. Is w(-16) prime?
True
Suppose v = 4*k - v - 18, -k + 4*v + 8 = 0. Suppose -h - k*n + 50 = -0*h, 0 = -5*h + 4*n + 322. Suppose m - h = -m. Is m a composite number?
False
Let t be ((-3)/(-2))/(6/16). Let s be (11/2)/(3/42). Suppose s = -t*x - 2*v + 551, 5*x + 4*v = 591. Is x composite?
True
Let j(y) = -3*y - 4. Suppose f = 5*f + 24. Is j(f) a composite number?
True
Let f(o) = -o**3 + o + 293. Is f(0) a composite number?
False
Let b(f) be the first derivative of f**3/3 + 8*f**2 + 13*f - 1. Let d be b(-10). Is 10/35 + d/(-7) a composite number?
False
Let p(n) = 699*n**2 + 18*n - 7. Is p(4) a composite number?
True
Let n(u) = 6*u**3 + 2*u**2 - 7*u + 9. Is n(4) a prime number?
True
Suppose -5*c + 5*b + 1259 = -c, b = -c + 326. Is c prime?
False
Suppose -3*t + 30 = -t. Suppose -t = -5*r + 2*r. Suppose -q + 46 = 3*x, 5*x = r*q - 194 - 96. Is q composite?
True
Let h be ((-3)/(-2))/((-9)/(-18)). Let g(o) = 5*o**3 + 2*o**2 + o + 3. Is g(h) prime?
False
Let r = 13 - 11. Suppose 467 = r*y - y. Is y a prime number?
True
Let n be 312/(-14) + (-4)/(-14). Let l be 97/2 + (-1)/2. Let d = n + l. Is d a composite number?
True
Suppose 22 - 13 = 3*q. Is (q/3)/((-4)/(-1004)) composite?
False
Suppose -4*v + 5*p + 69 = -v, -2*v + 3*p + 47 