omposite?
True
Let o(f) = 153*f + 1. Let d(y) = y**2 + 10*y + 2. Let t be d(-10). Let c be 3*(t + (-12)/9). Is o(c) a prime number?
True
Let v(s) = 136*s - 15. Let p(r) = 204*r - 22. Let l be (-2 - -3)*(-1 - -6). Let n(y) = l*p(y) - 7*v(y). Is n(4) a prime number?
False
Suppose -25025 = 8*k - 133017. Is k composite?
False
Suppose 3*p - 3 = -4*v + 2, 3*v = -2*p + 5. Suppose -4*b + v*j + 2803 = 0, -4*b - j - 3*j + 2848 = 0. Is b a composite number?
True
Let d = -10 + 0. Let i(r) = -2*r**3 + 3*r**2 - 2*r + 3. Let p be i(4). Is (3 + 1)/(d/p) a prime number?
False
Let b(q) = -9*q**3 + 22*q**2 + 25*q - 11. Let t(c) = -5*c**3 + 11*c**2 + 13*c - 6. Let m(i) = -6*b(i) + 11*t(i). Let d = 15 - 26. Is m(d) prime?
False
Suppose 11 = -5*v + 21. Suppose -v*y - 318 = -1170. Suppose 5*h - 7*h = -y. Is h a prime number?
False
Suppose 30440 = 4*d - 4*i - 27056, 14344 = d + 5*i. Is d prime?
True
Suppose 11*m = 3151 + 325. Let g = 63 + m. Is g a composite number?
False
Suppose 0 = -a - 3*p - 1183, -1154 + 7036 = -5*a - 4*p. Let w = a + 1695. Is w a composite number?
False
Suppose -6*j + 7077 = -3717. Is j prime?
False
Let q be -7 + -3 + 12/(-3). Let g be 12/(-8)*q + 0. Suppose -g*s = -16*s - 1535. Is s a composite number?
False
Let v(x) = 576*x**3 + x**2 + x - 1. Suppose 2*d - 3*o - 26 = 0, -5*d + o = 3*o - 65. Let j = d + -12. Is v(j) prime?
True
Let n(y) = -4*y**3 - 10*y**2 + 3*y**2 + 3*y**3 + 22 - 13*y. Is n(-13) composite?
True
Let z(c) = -c**2 + 14*c + 7. Let r be z(8). Suppose 0 = 5*t - r. Is t a prime number?
True
Suppose 3*l - 10 = -1. Is 2/l*(-5 - (-62142)/12) prime?
True
Is 40/(-260) + 120087/39 a prime number?
True
Suppose -2*h = 4*h - 288. Suppose g = 73 + h. Is g a prime number?
False
Let l(g) = -g**2 + 1076. Suppose 0 = -0*f - f - 2*u + 2, -3*f + u = 1. Let x be l(f). Suppose -336 = -4*z + x. Is z a prime number?
True
Let h = -4 + 10. Let a be (-736)/h + 8/12. Let k = 17 - a. Is k a composite number?
False
Let f(i) = -13*i + 10. Let v be f(6). Suppose -1362 = -3*o - 27. Let q = o + v. Is q a prime number?
False
Suppose -4*s = 4*d - 8, 2*d + 2*s - 3*s - 10 = 0. Let f be 152/(-56) - d/14. Is 94/(2 - 1) + f prime?
False
Let p be -1 + (6 + -4)/2. Suppose -4*k = -4*j - p*k + 8612, 0 = -3*j + 2*k + 6459. Is j prime?
True
Suppose -f + 1 + 1 = 0. Suppose f*p + 5*b = 1339, 4*b = p + b - 642. Suppose -2*v = v - p. Is v composite?
True
Let l = 9 + -6. Suppose l*x + 27 = -5*z - 114, 3*z + 96 = 2*x. Is (z/18)/((-1)/39) a composite number?
True
Suppose 0*q + 3*q - 108 = 0. Let f be q/30*20/6. Is -3 + f - 0 - -1350 a composite number?
True
Suppose 1038 = -30*m + 28*m. Suppose 2*x + 4*y = -576, -5*y + 558 = -2*x - 3*y. Let h = x - m. Is h a composite number?
True
Suppose -9*d + 14*d - 9585 = 0. Let g = d + 1360. Is g a composite number?
True
Let h(d) = -68*d - 3. Let w(b) = b**3 - 4*b**2 - 4*b - 1. Let g be w(5). Suppose -a - 6 = y, -g*a - a + 4*y - 75 = 0. Is h(a) prime?
False
Suppose j - 4*w = -3*w - 186, -4*j = 4*w + 712. Let z(i) = -i**3 + 18*i**2 - 5*i - 3. Let g be z(20). Let t = j - g. Is t a composite number?
True
Let y(m) be the second derivative of m**4/4 + 5*m**3/3 + 3*m**2 + 17*m. Is y(-21) prime?
False
Suppose -5*c + 62905 = v, -19261 - 43644 = -5*c + 4*v. Is c prime?
False
Let c be (-15)/5 + (1 - -2). Suppose -2 = -y - c. Suppose -652 = -2*d + 3*v, 6 = -v - y*v. Is d a composite number?
True
Suppose -67*r + 68*r - 87 = 0. Suppose -8 = 2*f - 56. Suppose 3*k - r - f = 0. Is k a composite number?
False
Let h(l) = 5*l - 19. Let n be h(5). Suppose n*k = 676 + 2162. Is k composite?
True
Let b = -1303 + 693. Let n(o) = 33*o - 141. Let x be n(-4). Let a = x - b. Is a a prime number?
True
Is 76482/39 + (-9)/117 a composite number?
True
Let q be 4/(-14) - (-240)/(-42). Let i be 2/q - (-50)/15. Suppose 0*c - i*c = -93. Is c prime?
True
Let b(u) = 2*u**2 - 2*u - 3. Let n be b(6). Suppose -2*z + 13 = -n. Is z a prime number?
False
Let s(h) = 6*h**2 - 76*h + 53. Is s(31) a composite number?
False
Let w(p) = p**2 - 16*p + 11. Let v be w(15). Is (-3 - -1)/(v/502) prime?
True
Let y = -82 - -4575. Is y a composite number?
False
Let j(y) = 1562*y - 53. Is j(8) prime?
False
Let o be 296/(-370)*(1 + 14/(-4)). Suppose 3*w + o*m - 72 = 369, 0 = 3*w + m - 444. Is w prime?
True
Suppose -221 = -m - 0*m + 5*l, 227 = m - 2*l. Let n be (101*17)/(21/m). Is n/99 - (-2)/9 a prime number?
True
Let q(u) = -2*u**3 - 18*u**2 - u - 10. Let s be q(-9). Is 12870/(-5)*s + 5 prime?
True
Let z be 3 - 6/6 - -2. Suppose 5*a = 3*y + 2104, -4*a - 5*y + z*y = -1673. Is a prime?
True
Suppose -k - 60 = -6*k. Let v(n) = 3*n**2 - 18*n - 22. Is v(k) a prime number?
False
Let r be 7864/14 - (-6)/21. Let s = r + -180. Is s prime?
False
Let m be ((-20)/(-6))/(28/2310). Suppose o + 3*o = 12, 2*q + 3*o - m = 0. Is q a composite number?
True
Is 283863*(7/3 + -2) a prime number?
True
Is ((-72033)/65)/((-6)/10) a composite number?
False
Let x be (-6380)/2 - (-4)/(-4). Let b = x + 5602. Is b prime?
True
Let f be (-2)/(-4) + (-9)/(-6). Suppose -f*n + 3*j + 737 = 2*n, -371 = -2*n + j. Suppose 5*o - n = o. Is o a composite number?
False
Suppose 0 = -b + 5*i + 196, -3*b - 2*i = -2*b - 231. Is b a composite number?
True
Let h(d) = -d**2 - 24*d - 75. Let k be h(-20). Is (-4 + 6)/((30/18579)/k) a composite number?
True
Let z be 7987/3 + (-4)/(-6) - 2. Suppose -c + z + 80 = 0. Is c a prime number?
True
Let v = 704 - -857. Is v prime?
False
Let s = -20 + 30. Let t(d) = d**3 - 7*d**2 - 2*d + 7. Is t(s) composite?
True
Let y = -1 - 29. Let f = y + 32. Suppose -a + 104 = -3*x, f*a + 4*x = 2*x + 168. Is a composite?
False
Suppose 3*f - 836 = -5*x, -7 = 3*x + 8. Let q be (-377)/(-3) + (-2)/(-6). Suppose -o + f + q = 0. Is o a prime number?
False
Let y = 33 + -14. Suppose 24*c - y*c = 17965. Is c composite?
False
Suppose 0 = 37*z - 31*z - 13548. Is z composite?
True
Let w(i) = 129*i**2 - 11*i + 81. Is w(5) a composite number?
False
Suppose -80628 = -4*j - 4*p, -3*j - 2*p + 60475 = -0*j. Is j composite?
False
Let g = -7727 - -12136. Is g a composite number?
False
Let m(q) = 5*q**2 - 6*q - 16. Let c be 8/(-12) - 23/(-3). Is m(c) prime?
False
Suppose j - 3*l + 1 = 0, 4*j - 7 - 2 = -l. Suppose -2393 = -4*o + d, -j*o - 4*d = -845 - 365. Is o a composite number?
False
Let f = -2337 - -257. Let c = -179 - f. Is c a prime number?
True
Let p(s) = 35*s**2 - 9*s - 12. Let j be p(-6). Suppose -3*i + i - j = 0. Let r = 608 - i. Is r prime?
True
Is 66 + -72 - -7*11351 a prime number?
True
Suppose -3*v = -y - 16, -3*v - 20 = -6*v + 2*y. Let n be (0 - -3) + 5 + -5. Suppose -n*s = 12, 3*c + v*s = 3*s + 395. Is c prime?
False
Let i(f) = -f**3 + 19*f**2 - 3*f - 24. Let t be i(15). Let a = t + -200. Is a a composite number?
False
Let y(o) = o + 4. Let v be y(-5). Let t(r) = -1894*r**3 - 2*r**2 - 3*r - 2. Let m be t(v). Is m/9 - (-6)/9 a prime number?
True
Let r(n) = -n**3 + 7*n**2 + 9*n - 1. Let q be r(8). Let a(o) = 57*o**2 + 9*o - 11. Is a(q) composite?
True
Suppose 3*j - 3*s - 69489 = 0, -3*j + 37599 = s - 31874. Is j composite?
False
Let m(j) = -j**2 + 8*j - 7. Let o be m(8). Let a(x) = -x**3 - 7*x**2 + 2*x + 16. Let i be a(o). Suppose -5*w = -3*q + 544, -i*q + w = -3*q + 176. Is q prime?
False
Suppose 3*w + 10430 = 10*w. Suppose w + 161 = m. Is m a composite number?
True
Suppose 2*s + 2*u + 1 = 3, -2*u - 6 = -2*s. Suppose -1492 - 1134 = -s*i. Is i a prime number?
False
Is (-9)/(-30)*-2 - 3418/(-5) prime?
True
Suppose -k = -p + 497, p - 497 = -0*p - 2*k. Suppose 3*l - 2*n + p = 4*l, -1471 = -3*l - 2*n. Is l a prime number?
True
Let c be (-6)/(-4)*(-192)/36. Let m be ((-12)/c)/((-3)/4). Is m/(-12) + 3565/30 composite?
True
Let g be -5 + -1 + (-10 - -6). Is (-2)/g + (-396)/(-45) + 0 a composite number?
True
Let r(a) = 147*a + 20. Is r(19) a composite number?
True
Let l = 21709 - 11580. Is l prime?
False
Suppose -9715 = -145*c + 140*c. Is c a prime number?
False
Let o be ((-4)/(-6))/((-4)/18). Let j be ((-24)/9)/(o/(-9)). Is 0 + -1838*4/j a composite number?
False
Let m be 1*2 - 0/(-1). Let r be 4/(-12)*(m - 14). Suppose 164 = r*o - 4*q, -o - q + 154 = 3*o. Is o composite?
True
Suppose -15*t = -17 - 43. Suppose 5*d - d - 1032 = t*w, d + 2*w = 261. Is d composite?
True
Is (9350/35)/5 - (-3)/(-7) prime?
True
Let j = -12478 + -14906. Is (1/3)/