Suppose -11*f + o*f = -716. Is f composite?
False
Suppose 5*x = 5*a + 1980, -1097 = -5*x + 4*a + 878. Is x + 13 - (-1 + -4) a prime number?
True
Let g(a) = -a**3 - 22*a**2 + 38*a + 54. Is g(-33) composite?
True
Suppose 3*t = -2*t + 25, -5*t + 13 = 4*w. Let m = -704 - 1595. Is (w + m)/(-5 - -3) prime?
True
Let b(i) = -i**3 + 4*i**2 - i + 2. Let j be b(4). Is j/(-3) + 2562/18 composite?
True
Let q(n) = -196*n - 11. Is q(-2) a composite number?
True
Suppose -707 = -z - 104. Let k = z + 586. Is k a prime number?
False
Let f(v) = v**3 + 6*v**2 + 2*v - 12. Let g be f(-5). Suppose 4*c - r + 4 = -g*r, 3*c - 4*r = 8. Suppose -4*x + 3*j + 2731 = 0, c*j - 15 = 3*j. Is x prime?
False
Let v(d) = -d**2 + 12*d + 5. Let u be v(12). Suppose 4*w = 3*w + u. Suppose -5*z + 4*x + 2919 = 0, w*z + 2*x - 2917 = 4*x. Is z a composite number?
True
Let l = -1603 + 3196. Suppose 4*b = 5*g + l, 4*b - 5*g - 799 = 2*b. Is b composite?
False
Let s(o) = 30*o**2 + 12*o + 25. Let g be s(11). Suppose 2*y + g = 9*y. Is y composite?
False
Let i be (-12)/8*12/9. Let z be (-3441)/(-9) - i/(-6). Suppose -4*k = -6*k + z. Is k a prime number?
True
Let n(k) = 2*k**3 + 8*k**2 + 4*k + 4. Let t(y) = -2*y**3 - 9*y**2 - 3*y - 3. Let u(o) = 4*n(o) + 5*t(o). Is u(-9) a prime number?
True
Let k = 183092 + -99883. Is k a prime number?
False
Let a(m) be the third derivative of m**5/6 - m**4/8 + 2*m**3/3 - 4*m**2. Is a(9) prime?
True
Let s = 102 + -46. Let p = s - 35. Is p prime?
False
Let r(c) = 361*c**2 - 7*c - 1. Let p(a) = 181*a**2 - 4*a - 1. Let i(g) = -5*p(g) + 3*r(g). Is i(1) a prime number?
True
Let t(j) = 77*j**3 - 12*j**2 + 25*j - 19. Is t(6) a prime number?
False
Let n(t) = 1021*t - 5. Is n(6) a composite number?
False
Is 235743/18 + 25/(-30) + 1 composite?
True
Suppose 59*u + 57974 - 438465 = 0. Is u prime?
True
Suppose 24*o - 233532 = -12*o. Is o composite?
True
Suppose -r = -127 + 8. Let a = 862 - r. Is a a prime number?
True
Suppose 5*q + 24 = -1. Let c(l) = 19*l**2 - 9*l - 12. Let r be c(q). Let m = r + -359. Is m a prime number?
True
Is 0 - -4 - (-449973)/17 prime?
False
Let q be 4 - ((-3 - 0/(-3)) + 4). Suppose -5*y + 619 = q*x, -1017 = -5*x - 2*y + y. Is x a composite number?
True
Suppose -5*t + 6*t + 41 = 0. Let n = 24 + t. Let j(c) = c**3 + 17*c**2 - 3*c - 14. Is j(n) a prime number?
True
Let l = -134 - -236. Is (-33752)/(-3) - (-34)/l composite?
False
Suppose -8 = 2*u + 5*h + 5, -62 = 3*u - h. Let f = u - -23. Suppose 5*v + g - 999 = 0, 410 = -2*v + f*v + 3*g. Is v composite?
False
Let h(r) = 725*r + 24. Is h(3) a prime number?
False
Is (-4 + 5)*1*865 composite?
True
Let u be (-3)/(-2)*(-13 - -5). Let n = u + 11. Is n - -104*(4 - -4) prime?
False
Suppose -2*q = -3*s + q + 82251, -s - 3*q = -27409. Is s a prime number?
False
Is (-6751755)/(-297) - (-6)/(-33) composite?
True
Suppose 0 = q + 4*g - 1381, 11 = -g + 14. Is q a prime number?
False
Suppose -52678 = -1408*t + 1406*t. Is t a composite number?
False
Let q(v) be the first derivative of 9*v**2/2 - 8*v - 24. Is q(6) a prime number?
False
Let p(t) = -746*t - 1287*t - 2 + 686*t. Is p(-1) composite?
True
Is -3 + 217*88 - -1 a composite number?
True
Suppose -5*d - 250 = -7*d. Let w = 376 - d. Is w a prime number?
True
Is (-7588)/(-2) - (27 - 26) composite?
False
Suppose -z + 2*l = -7, -4 = -z + 4*l + 3. Suppose -m = -4*b + 8, -3*m = -5 - z. Is 2/(-6) - (-130)/b prime?
True
Suppose -3 - 3 = w - 4*o, 0 = -5*w - 5*o - 5. Is (-7096)/(-56) - w/7 a composite number?
False
Let t(l) = -l**2 - 8*l + 6. Let z be t(-8). Suppose 119 = -z*b + 7*b. Is b a composite number?
True
Suppose 2*j + 5*v = 162, -v = 5*j - 367 - 38. Let y be ((-9)/6)/((-6)/(-88)). Let a = j + y. Is a prime?
True
Let c be 5/(-1 - (-2 + 1)*2). Suppose c*w - w = 444. Is w prime?
False
Let r be 3142/4 - (-2)/4. Suppose 3*x - 2*f + f - 76 = 0, -5*x + 2*f = -126. Is (x/39)/(4/r) prime?
True
Is (-5)/(-6) + (-117746)/(-12) composite?
True
Let i = -301 - -13820. Is i prime?
False
Let o(p) = p**3 + 3*p**2 + 2. Suppose 5*n = -22 + 7. Let r be o(n). Suppose -254 = -4*s + r*s. Is s a composite number?
False
Let n be (-4 - -3)/((-3)/105). Let o be 8/10*n/14. Suppose -11 = -o*w + 83. Is w a composite number?
False
Suppose 12*f = 443 - 4271. Suppose 3*t + 2*t = -p + 508, 4*t = -p + 512. Let c = f + p. Is c composite?
True
Suppose 0 = -o + 2*u + 3, -4*o + 6 + 6 = 5*u. Let j = o - -378. Is j composite?
True
Suppose -j + 369 = h, 3*h = 18 - 12. Is j prime?
True
Suppose 55*a + 26314 = 57*a. Is a composite?
True
Let q = 167694 + -58547. Is q a composite number?
False
Let q = -8 - -10. Suppose v - 1024 = 3*s, q*s - 15 = -s. Let z = v - -442. Is z prime?
True
Let c(a) = -17*a - 4. Let x(o) = 2*o**3 + o**2 + 1. Let y be x(-2). Is c(y) a composite number?
True
Let i(s) = 114*s**2 + 11*s + 13. Is i(-4) a prime number?
False
Suppose j + 24114 + 5916 = s, j - 1 = 0. Is s a prime number?
False
Let u = -38 - -135. Is u a prime number?
True
Let n(v) = 18*v + 10 + 46*v - 18*v. Let o(h) = -23*h - 5. Let p(s) = 4*n(s) + 9*o(s). Is p(-6) prime?
False
Is (-3)/((-36)/2344)*(-1053)/(-54) composite?
True
Let m(o) = -121*o**3 - 3*o**2 - 5*o - 1. Is m(-4) composite?
True
Let j = -195 - -365. Let a(h) = -h**2 - 4*h - 3. Let l be a(-3). Suppose 0 = k + i - 6*i - j, l = 5*k + i - 928. Is k prime?
False
Let t(l) = -6*l - 6 + 6*l**2 - l**3 - 6*l + 6*l**2. Let m be (-210)/(-20) + 2/(-4). Is t(m) a prime number?
False
Let r be -2*(-21)/6 + (-18)/(-6). Suppose -1247 = r*x - 18837. Is x a prime number?
True
Let l(f) = 2*f + 18. Let z be l(-8). Suppose 0 = z*o, 4*n = -o + 839 + 117. Is n prime?
True
Let b be ((-1076)/(-8))/(1/4). Let f = 376 - b. Let v = f - -259. Is v a prime number?
True
Let q = -1233 + 1874. Is q composite?
False
Suppose 5*n - 7569 - 8771 = -5*g, 2*n - 6 = 0. Is g a composite number?
True
Suppose -4*t - 3*m + 3148 = m, 3*t - 4*m - 2354 = 0. Let r = 1465 - t. Is r prime?
False
Let b(o) = 53991*o + 103. Is b(2) prime?
False
Suppose -25562 = -2*c + 5*r, -3*r - 2112 = -5*c + 61831. Is c a prime number?
True
Let k = 69 - -24. Suppose g + 2 + 3 = -2*r, g + 4*r = -9. Is k/9 + g/3 composite?
True
Let l = -37 - -112. Is 59265/l + (-8)/(-10) prime?
False
Let x be 38 - (0 - -1 - 0). Let g be x*(-3 - -7) + 2. Suppose 965 - g = 5*a. Is a composite?
False
Let x = 3429 + 10480. Is x a composite number?
True
Let a(u) be the third derivative of 1229*u**4/12 - 7*u**3/6 + 5*u**2. Is a(2) composite?
False
Is (-296828)/(-24) - 1/(-6) - -5 prime?
True
Let p = 53034 + -31565. Is p a prime number?
False
Let i(m) = 2*m**2 - 10*m - 8. Let v be i(6). Suppose -91 = -3*q - 0*q - 4*o, 33 = q + v*o. Let u = -18 + q. Is u prime?
True
Suppose 28 = 13*n - 11*n. Suppose 12*h - n*h = -1438. Is h a composite number?
False
Let o(b) be the first derivative of -59*b**4/4 - b**3 - b**2 + 2*b + 8. Is o(-3) composite?
True
Suppose 0*l + 2*n = l + 252, 4*l - n + 980 = 0. Let c = l + 366. Suppose 5*m + 3*f - 314 = c, -2*f = -4*m + 362. Is m composite?
False
Let x(l) = 14761*l**2 + 22*l - 34. Is x(2) composite?
True
Let k(l) = 6*l**2 + 11*l + 11. Let q(n) = 5*n**2 + 11*n + 10. Let w(v) = -4*k(v) + 5*q(v). Let b be w(-10). Is (586/8)/((-1)/b) a prime number?
True
Suppose 0 = 7*b - 34 + 6. Suppose -b*m - 4 = -0*m. Let u(s) = 418*s**2 + 1. Is u(m) composite?
False
Suppose 51*c = 56*c - 131585. Suppose 5*g = 3*j + c, 3*g = -0*g + 4*j + 15799. Is g composite?
False
Let l = 27036 + -11533. Is l a composite number?
True
Let o be (132 - 2) + (1 - 4). Suppose o = h - 828. Is h a composite number?
True
Suppose 9*c - 25931 = 10816. Is c prime?
False
Suppose -3*u + 80 = 2*u + 5*i, -u + 24 = -i. Suppose 0 = 2*j + 4*o - 10, -2*o + o = 5*j + u. Is 3/j + (-8724)/(-15) a prime number?
False
Suppose 0 = 4*p - 5*d - 14, p + 2*d - 1 = -4*p. Suppose -t + 2*y = 2, 0 = t - 3*y + p + 3. Is (0 - 4) + (217 - t) a composite number?
False
Suppose -28*c = -23*c - 10635. Is c a composite number?
True
Let c = 10068 + -6425. Is c composite?
False
Let s(d) = d**2 + 15*d - 13. Let y be s(-16). Suppose y*n = 2*b - 734, -122 - 628 = -2*b - n. Is b a prime number?
True
Let w = 25 - 22. Suppose 0 = -3*k - 5*v + 1927, -w*k = 3*v - 1509 - 426. Is k a prime number?
False
Let f(t) = -28*t + 17*t + 12*t. Let p be f(3). Suppose 15 = r - 5*h - 99, r - 74 = -p*h. Is r a prime number