119 - 19. Let r = m + 133. Is r a composite number?
True
Suppose 77905 = 35*b - 281860. Is b a prime number?
False
Suppose 5*m + 5*v + 4 = -1, -4*m + 17 = -3*v. Let b(n) = 79*n - 17. Is b(m) a prime number?
False
Let o(g) = -9*g**2 - 1. Let j be o(1). Let t(r) = -62*r - 5. Let z be t(j). Suppose -4*s - s = -z. Is s a composite number?
True
Suppose 373*q - 382*q + 345879 = 0. Is q a composite number?
False
Let p = 34300 - 18647. Is p a composite number?
True
Let m = -9 + 13. Suppose -6643 = -m*b - 2207. Is b composite?
False
Let g be (3 - 5 - 1) + 2701. Suppose 0 = 2*x - 256 - g. Is x composite?
True
Suppose q = 2*p + 9521, 0 = -5*q + 4*p + 52656 - 5051. Is q a prime number?
True
Is ((-4)/(-6) - 1)/(3/(-148113)) a prime number?
False
Let d be (-39)/(-12) + 1/(-4). Suppose 2*o = -d*a + 6, -6 = o - 3*o - a. Suppose 335 = 2*r + o*r. Is r composite?
False
Suppose 5*b - 27339 = -8*b. Is b composite?
True
Suppose j - 677 = -s, 5*j - 3375 - 28 = 4*s. Is j a composite number?
True
Let g(y) = -143*y + 1. Let n be g(-2). Suppose 0 = -s + 5*x + n, 2*s + x - 1169 = -2*s. Let l = 689 - s. Is l a composite number?
False
Let f be (-1)/((-16)/(-12) + 3 + -4). Let g(t) be the second derivative of -t**5/5 - t**4/12 - t**3/3 + 2*t**2 + t. Is g(f) a composite number?
False
Is (3 + 24785)/(-16 + 20) composite?
False
Let x = 16 - -112. Suppose 0 = -2*z + x + 6. Is z prime?
True
Let o(n) = n + 780. Let b be o(0). Suppose 1341 + b = 3*x. Is x a prime number?
False
Let b be (-2 + 2)/((-4)/4). Suppose 0 = -5*z + 5*c - 2310, b = -z - 3*z - 5*c - 1803. Let y = z + 1146. Is y a prime number?
False
Let w be (1/3 - (-2)/(-3))*-3. Is (0 - -2)/(8/928) + w a composite number?
False
Let t = 35124 + -22346. Is t prime?
False
Suppose -49*g = -30*g - 242839. Is g composite?
False
Is ((-26)/(-4))/(28/1288) prime?
False
Let o(i) = -166*i + 9. Let t(u) = u**3 + 9*u**2 + 2*u + 11. Let p be t(-9). Is o(p) prime?
True
Let u(f) be the first derivative of 5*f**4/4 + f**3 - 3*f**2/2 - 2*f - 7. Is u(5) composite?
False
Suppose 0 = r + i - 12710, -2*r - 5*i = -9573 - 15850. Is r a prime number?
False
Let k(b) = 239*b - 8. Let z be k(8). Suppose -4*m = 2*u - 770, -2*u - 3*u - 3*m + z = 0. Is u composite?
False
Let w be 52870/8 + 4/16. Suppose f = p + 10, 6*f - 29 = f - 2*p. Suppose 0 = 4*v - f*v + w. Is v a composite number?
False
Suppose r + 998 = 5*o, 0 = 5*o + 2*r + 3*r - 1010. Suppose -778 + o = -2*l. Is l a composite number?
True
Let z(x) = -52*x + 18. Let f be z(9). Let c = f - -673. Is c prime?
True
Let x = -128 + 134. Suppose -x*y = y - 8169. Is y composite?
True
Let q be (3 + 2)*1172/(-5). Let t be (8/(-32))/(1/q). Suppose -4*k + t = -215. Is k prime?
True
Let v = -2 - -10. Suppose 0 = -v*d - d + 5517. Is d a prime number?
True
Let a(c) = 4*c**2 + 12*c - 1. Let u(i) = 3*i**2 - 2*i - 2. Let h be u(2). Is a(h) a prime number?
False
Let b(g) = 116*g**2 - 15*g + 14. Let a be b(8). Suppose -4*u = -5*v + a, 0 = 5*v + 2*u - 10446 + 3110. Is v prime?
False
Let b = 15598 + -9129. Is b a composite number?
False
Suppose 2*d - 5*a = 2333, 5*d - 3077 - 2678 = -3*a. Is d a composite number?
True
Let c = 1034 + -501. Is c a composite number?
True
Suppose 0 = 2*j - 2*k - 8424, -4*j + 4437 = 3*k - 12418. Is j a prime number?
False
Suppose 87*k = 85*k + 2086. Is k a prime number?
False
Let r = 490 - -63. Is r a prime number?
False
Let d(k) = 1571*k - 15. Is d(6) composite?
True
Let f = 22 + -14. Let t(s) = -13*s**2 - 5*s + 11. Let l be t(f). Let y = l - -1474. Is y a prime number?
True
Let g be -4*(-5)/60*(1 + -10). Let p(a) = 421*a**2 - 4. Is p(g) a composite number?
True
Let j = 88 - 16. Suppose -5*q - j + 817 = 0. Is q a composite number?
False
Let j be 6/(-14) + 3960/77. Is (177/4)/(j/136) prime?
False
Suppose 3*q + 39 = 3*j, -j + 15 = 4*j + 5*q. Suppose 0 = j*p - 6*p - 174. Is p a prime number?
False
Let s be 4/(-1) - (-15816 - 9). Suppose -3*i = -s - 15793. Is i/33 - 1/3 composite?
True
Suppose 4*d = 60*k - 61*k + 15397, 0 = 4*k + 4*d - 61600. Is k composite?
False
Suppose 31*d - 28847 = 18*d. Is d a prime number?
False
Let y be 12/14*84/3. Suppose -3*u + y = -5*u. Is -1*(u/4 + -406) a prime number?
True
Suppose -2223 = -5*t + 2*r, 0 = t + 3*t - r - 1776. Let b = -252 + t. Is b a prime number?
True
Let c(r) = -5*r**3 + 6*r**2 + 2*r. Let i(b) = 4*b**3 - 6*b**2 - b - 1. Let d(t) = 3*c(t) + 4*i(t). Let a be d(6). Suppose -a*y = -12*y + 148. Is y prime?
True
Suppose -4*f + 25 = f + 2*d, -3*f = 2*d - 11. Let h be ((-4)/(-10))/(f/(-420)). Is (-5)/2*h/10 a composite number?
True
Let w be 1 - 0 - (-2)/2. Let j be ((-39)/w)/(42/(-17360)). Suppose 5*u + 2155 = j. Is u composite?
False
Suppose -3*z + 3*g + 0*g = 0, 5*z + 5*g + 30 = 0. Is z - 4/4 - -2399 a prime number?
False
Let x(k) = -k**2 - 43*k - 11. Is x(-18) prime?
True
Suppose -6*x = -10*x. Suppose 0 = -4*m - x*m. Suppose -5*j + 3*j - 2*d + 324 = 0, m = 2*d - 6. Is j a composite number?
True
Let c(t) = 17*t**3 + t**2 + t + 1. Suppose -4 = -3*w + w. Suppose 4*m = 5*m - w. Is c(m) a composite number?
True
Let z = 24 + -11. Suppose 2*k - 1 = 4*c - 3, 2*k - c - z = 0. Suppose -x + 46 = k. Is x a prime number?
True
Suppose 4*v + 5*l = 1334, 968 = 5*v - 2*l - 683. Is v a prime number?
True
Let h(m) = 16669*m**2 - m + 1. Is h(1) prime?
False
Let n = 2067 - -11. Is n a composite number?
True
Let a = -6 + 9. Suppose a*h - 2854 = -4*j, -2*h + 0*h - 3*j + 1901 = 0. Is h a prime number?
False
Suppose 20*c = -1890 + 19870. Is c prime?
False
Let s be (4 - 4) + -2 - 1. Is s*(-4)/(-4) + (130 - 0) composite?
False
Let z = -6 - 1. Let l = z + 13. Let v = l + 217. Is v a composite number?
False
Let h be ((-4)/(-5))/(2/(-25)). Let t = h - -13. Suppose t*z + g = 1063 + 517, 5*z - 2631 = -4*g. Is z a prime number?
False
Let k(l) = 204*l**3 - 4*l**2 + 10*l - 7. Let z be k(-6). Is z/(-69) - (-2)/9*-3 a composite number?
False
Let r be (-4)/(-1)*(-1 - -2). Let m(g) = 4*g**3 - 5*g**2 + 4*g - 206. Let x(c) = 3*c**3 - 4*c**2 + 3*c - 207. Let v(j) = r*m(j) - 5*x(j). Is v(0) composite?
False
Let u(m) = 28*m + 71. Is u(7) a prime number?
False
Suppose 8 = -9*y + 7*y. Let x be y/(-14) - 4/14. Suppose 3*t = -2*u + 83, -3*t - 46 = -u - x*t. Is u a prime number?
True
Let m(w) = -w**2 - 2*w. Let x be m(-2). Suppose 0 = 5*u - x*u - 60. Is u/54 + (-554)/(-18) a composite number?
False
Let w(r) = -214*r**3 + 3*r**2 - 8*r - 20. Is w(-3) a composite number?
True
Let x be -2 + -2 - (-3)/1. Is ((-5)/(-10))/(x/(-2434)) composite?
False
Suppose 5*r = 4*z - 14, r + 3*r + 10 = 2*z. Let b(s) be the first derivative of -44*s**2 + 3*s - 6. Is b(r) a prime number?
True
Let y be 2/1*15/6. Let w = 5 - y. Suppose w = -5*i + 20, -2*i = -3*s - i + 755. Is s prime?
False
Let s(x) = x**3 + 12*x**2 - 2*x - 14. Let j be s(-12). Suppose -12*c + j*c = -332. Is c prime?
False
Let h be (-30)/75 - 8704/(-10). Suppose -8*u = -5*u - h. Suppose 0*p - u = -5*p. Is p prime?
False
Suppose 1998 = 2*n + i, 2*n - 2584 + 576 = 4*i. Suppose 4*o + 4*h - n = 0, h - 1 = -4. Is o composite?
True
Let c(v) = -485*v - 59. Is c(-8) composite?
False
Let t(n) be the third derivative of -29*n**4/24 - 3*n**3 - 24*n**2. Is t(-8) a prime number?
False
Suppose 27421 = 60*d - 66119. Is d prime?
True
Let h(q) = 16*q**2 + 3*q - 38. Is h(-11) a composite number?
True
Let w = 85 + -86. Is (-5 + -1)*(978/(-4) - w) a prime number?
False
Let b(l) = 2*l + 3. Let d(v) = -5*v - 7. Let q(f) = 7*b(f) + 4*d(f). Let y be q(-2). Suppose 4100 = y*u - 1655. Is u a composite number?
False
Suppose -1478 = -3*o + 2455. Suppose o = -3*m + 7020. Is m composite?
True
Suppose 0 = -7*i + 4*i + 5793. Is i prime?
True
Is ((-104)/24 - -2*2)*-1221 composite?
True
Let w(q) = q**3 - 6*q**2 + 9*q - 3. Let b be w(6). Suppose 2*y + y - 97 = -4*l, -b = -2*l + y. Let g = 438 - l. Is g prime?
False
Let m = 34797 - 24380. Is m prime?
False
Let y be ((-3)/(-9))/((-4)/(-12))*2. Let z(c) = 1468*c - 3. Is z(y) composite?
True
Let d(i) = 12*i**2 - 42*i - 73. Is d(-38) a composite number?
True
Let l be (-2 - 5/(-2))/(22/220). Suppose l*a + 5*v - 4244 = 361, -2*a - 3*v + 1844 = 0. Is a prime?
True
Let u(t) = 2*t**3 + 4*t**2 + 13*t - 11. Let s be (-14)/(-3) + (-2)/(-6). Let x be u(s). Suppose x + 1674 = 2*p. Is p composite?
False
Let p be 9/6*(-20)/(-6). Let s(l) = 2*l**3 - 6*l**2