Suppose t - 76 = 5*a. Is a a prime number?
False
Let r = -177 + 496. Is r a composite number?
True
Let s = -1273 + 1848. Suppose -4*m - m + s = 0. Is m a composite number?
True
Suppose 0 = -3*w + 4*w. Suppose w = -2*i + y + 492, 0 = i - 7*y + 2*y - 237. Is i a prime number?
False
Let u(m) = 201*m**2 + m + 1. Is u(-2) composite?
True
Let f(u) = -78*u + 35. Is f(-7) prime?
False
Let o = 1 - -10. Suppose -y - o = -33. Is y a prime number?
False
Let v(t) = -t**3 - 12*t**2 - 25*t + 14. Is v(-12) a composite number?
True
Is -5 - (-92 - (7 + -5)) prime?
True
Let w(g) = -12*g**3 + g**2 + 2*g + 1. Let z be w(2). Let x = -52 - z. Is x composite?
True
Suppose 13*u - 410 = 11*u. Is u composite?
True
Let p(l) = -2 + 7 + 2 - l**3 - 6*l**2 + 2 - 6*l. Is p(-8) composite?
True
Let z(c) = c**2 - 5*c - 9. Let k be z(-6). Let w = -24 + k. Is w a prime number?
False
Suppose -8351 = -s - 6*s. Is s a prime number?
True
Suppose 1 - 3 = -p. Let i = p + 1. Suppose i*c - 4*c + 109 = 0. Is c a composite number?
False
Suppose 389 = -14*k + 15*k. Is k prime?
True
Suppose -5*y + 2*h + 2058 = -147, 0 = -4*y - 2*h + 1782. Is y a prime number?
True
Let r(f) = 5*f + 8. Let w be r(-2). Suppose -87 = 2*c - 3*c + 3*v, -4*v = 16. Let o = c - w. Is o composite?
True
Suppose -p = 2*p - 117. Suppose u - 240 = -p. Is u prime?
False
Let l = 213 - 100. Is l a composite number?
False
Is (-3)/(-1*(3 + (2 - 4))) a prime number?
True
Let a(j) = 157*j**2 + 7. Is a(-4) a prime number?
False
Suppose -25 = -4*l - 9. Suppose 2*c + l*f - 64 = 0, 5*c + f - 109 - 60 = 0. Is c a composite number?
True
Let t(d) = 2*d**2 + 11*d - 6. Is t(-8) prime?
False
Is 718/8 + 15/(-20) a composite number?
False
Let b = -5 - -2. Is 262/(-3)*-3 - b composite?
True
Suppose 5*s - 2822 + 467 = 0. Is s a composite number?
True
Let t = 9 + -4. Suppose -2*d + 75 = -t*d. Let l = d + 74. Is l a prime number?
False
Let h(k) = 19*k + 2. Is h(20) a prime number?
False
Let v = 154 + 149. Is v prime?
False
Let b be 0 - (0 - (-2 - 0)). Is 1*((-166)/b + 2) a prime number?
False
Suppose -119*u = -124*u + 6190. Is u composite?
True
Suppose -11*r = -14*r + 5331. Is r a composite number?
False
Let w be 674/(-8) - (-3)/12. Let h be 6*(-1 + w/9). Let j = -36 - h. Is j composite?
True
Let t = -365 - -247. Let w = t + 245. Is w composite?
False
Suppose -2*h + 7 + 181 = 0. Is h composite?
True
Let a(g) = g + 2. Let o be a(5). Let r(u) = -u**3 + 7*u**2 + 4*u - 5. Let m be r(o). Suppose -m = -4*t + 5. Is t composite?
False
Suppose 82 - 1554 = -2*w. Suppose -w = 2*o - 92. Let q = -3 - o. Is q prime?
False
Suppose -2*o = -4*o + 154. Is o a composite number?
True
Let r = 1 + 5. Let d = r + -1. Suppose -d*s + 38 = 2*q, 0*s - 4*q + 10 = -s. Is s composite?
True
Let q(y) = y**3 - y**2 + 787. Let w be q(0). Let n = -524 + w. Is n composite?
False
Let q = 140 - 43. Let y(x) = -x**3 - 3*x**2 + x. Let b be y(2). Let d = b + q. Is d prime?
True
Suppose -3*h = 5*h - 4456. Is h a prime number?
True
Suppose -14*s = -10*s - 460. Is s prime?
False
Suppose 0 = -5*r + 4246 + 769. Is r a prime number?
False
Let t(h) = h**3 + h**2 + 331. Is t(0) prime?
True
Suppose 0*j + 445 = -j. Let a = j - -637. Let x = a + -115. Is x prime?
False
Let b be (31/(-3))/((-1)/6). Let f = -40 + b. Is f composite?
True
Let d(s) be the second derivative of -5*s**3/6 - 3*s**2/2 - 3*s. Let q be d(-5). Is q*(9/3 - 2) a composite number?
True
Suppose g - 4*c = -0*c + 67, 15 = -5*c. Is g prime?
False
Suppose 119 = 2*m - 113. Let o = 193 - m. Is o a composite number?
True
Let w(z) = -z**3 - 3*z**2 - z. Let v be w(-2). Let n = v - 2. Is (2 - n)*3 - -1 composite?
False
Suppose 187 = 2*l - 0*s - 3*s, -3 = -3*s. Let b = l - 4. Is b composite?
True
Let y(l) = 4*l**2 + 2*l + 3. Is y(-3) a composite number?
True
Suppose 46 = -4*z + 2. Let p be (-2)/z - (-258)/33. Suppose 0 = -5*u + p + 317. Is u composite?
True
Let y be (16/6)/(4/18). Suppose -3*i + 1 = -l + 3*l, 3*i - 5*l - 29 = 0. Suppose i*c - 36 = -r - 8, 4*c - y = 0. Is r a prime number?
True
Suppose -1577 = -4*o + 1139. Is o composite?
True
Suppose 82 = -o - 26. Let x = 193 + o. Is x a composite number?
True
Suppose 5*v - 3*i + 24 + 6 = 0, -17 = -v - 4*i. Let o = v + 7. Is (-8)/o + 243/3 a composite number?
False
Let w(g) = 5*g - 46*g**2 + 164*g**2 - 4*g. Is w(1) prime?
False
Let t = -186 + 1387. Is t a composite number?
False
Is 8/10 - (-23534)/70 composite?
False
Let a(n) = -4*n + 109. Is a(0) composite?
False
Let k be (-84)/7*(-4)/3. Is (-2)/(-8) + 236/k a composite number?
True
Let w = -3 + 10. Suppose -5*g + 28 = -w. Is g prime?
True
Suppose 4*o = 44 - 300. Let x = o + 115. Suppose 2*w + x = 3*r, -5*r + 12 = w - 86. Is r prime?
True
Let f = 7 + -16. Let a(t) = -5*t**3 + 3*t + 1. Let h be a(-2). Let y = h + f. Is y a prime number?
False
Suppose 5*k + 15 = -g, -k + 2*g = 5*g + 3. Let b(f) = -f**2 + f - 2. Let q be b(-4). Let z = k - q. Is z a prime number?
True
Let l(s) = -s**3 + 2*s**2 + 5*s - 3. Let r(v) = v**3 + 7*v**2 - v - 4. Suppose 0 = -5*z - 20, 0 = -4*q - 0*z - 2*z - 36. Let f be r(q). Is l(f) a prime number?
True
Suppose -4*b = -5*b + 655. Is b a composite number?
True
Let f = 1374 + 373. Is f a prime number?
True
Let w(o) = 25*o**2 - 5*o - 7. Is w(4) a prime number?
True
Let z be 20/5 - 2*1. Suppose 3*w = -z*d - 2*w - 12, 0 = d - 3*w + 6. Is (-122)/(-4) + (-3)/d a composite number?
False
Let g = -16 - -187. Suppose -3*y + g = -0*y. Is y prime?
False
Let z be (-20)/(-2)*2/4. Suppose z*b + 1100 = 5*t + 2*b, 4*t + b - 863 = 0. Is t a composite number?
True
Let r(s) be the third derivative of s**5/60 - s**4/6 + 5*s**3/3 + s**2. Is r(9) a composite number?
True
Is (-2649427)/(-165) - (-8)/(-60) composite?
False
Let u = 6 + -3. Suppose -4*s + 3*a = 31, -27 = -0*s + 3*s - u*a. Is 34 - s - (0 + -1) composite?
True
Let x(l) = 40*l**2 - 11*l + 23. Is x(-10) a composite number?
False
Let u be 32/12 + (-4)/6. Let h be (8/(-2))/(u/3). Is 42*1/h*-3 a composite number?
True
Suppose 3*k - 1496 = 151. Suppose -4*s + k = -s. Is s a composite number?
True
Let z = 1 + 4. Suppose 3*j - 133 = -2*r, 25 = 7*j - 2*j. Suppose -z*h + 140 = 5*x, 2*h + x = -0*x + r. Is h a composite number?
False
Suppose 0 = 3*q - 3674 - 3817. Is q a composite number?
True
Let x = -5005 - -3159. Let z = x + 2704. Suppose 5*t + 5*w + 595 = 1670, -4*t = 5*w - z. Is t a prime number?
False
Suppose 0 = 4*r - r. Suppose 3*u - 210 - 135 = r. Is u composite?
True
Suppose 51*b = 50*b + 1259. Is b prime?
True
Let v(z) = 85*z**2 + 2*z - 6. Is v(5) composite?
False
Let w = 13 + 24. Is w composite?
False
Let d be (3 - -9)*(-2)/(-6). Suppose -34 = -5*l + 3*c, 0 = -d*l + c + 37 - 7. Suppose -2*u + p + 64 = 0, -3*p = -p - l. Is u a composite number?
True
Suppose 4 = 2*g - 242. Is g prime?
False
Is (2/3)/(8/996) composite?
False
Let s(k) = k**3 + 2*k**2 - 4*k - 1. Suppose 3*a - 1 = -4*g - g, 5*g + 5 = -5*a. Let j be s(a). Suppose -4*b = -5*t + 79, 0 = t - j*t - b + 23. Is t composite?
False
Let a = -6 + 7. Let k be -1*(a - 8*2). Suppose 2*o = 5*o + k, -2*l + 80 = -2*o. Is l composite?
True
Let d(m) = -m**2 - 7*m. Let b be d(-6). Let i be (-4)/b - (-17)/3. Suppose 22 = 6*k - i*k. Is k a composite number?
True
Suppose 0 = x - 2 - 3. Suppose 0 = i - x*i. Let f(y) = y**3 + y**2 - y + 55. Is f(i) prime?
False
Suppose n = 3 - 1. Is -1 + 15 + -1 + n a prime number?
False
Let c = -660 - -931. Is c prime?
True
Let r = -28 + 215. Is r prime?
False
Suppose -3*n - 4 + 46 = 0. Suppose i + n - 33 = 0. Is i a prime number?
True
Let u = 10 - 9. Is u + -1 + (145 - 0) composite?
True
Let o = 2 - 5. Let p(c) = -7*c + 1. Is p(o) a composite number?
True
Let d be ((-5)/(-20))/((-1)/(-4)). Is (0 - -35)*1/d prime?
False
Let u = 253 - 98. Is u composite?
True
Suppose 2*j = -5 - 3. Let o(v) = v**3 + 8*v**2 + 8*v + 4. Let b be o(-7). Is b/j - (-774)/24 prime?
False
Suppose 4*a = 4*x - 0*x + 980, 0 = -5*a - 2*x + 1239. Is a a composite number?
True
Let q be (-14 - -2)/(12/(-104)). Suppose q = 4*m - 4*l, -3*l + 3 - 12 = 0. Is m a prime number?
True
Suppose -k = 5*k - 4074. Is k composite?
True
Let l be 1/(-4) + (-39)/(-12). Suppose n = -l*n. Suppose n = 2*h + 3*h - 70. Is h prime?
False
Let x(y) = -y**2 - 6*y - 5. Let q be x(-4). Suppose -5*h - 136 = -9*h - 5*f, q*h - 2*f - 102 = 0. Is h a prime number?
Fals