omposite number?
False
Let a(w) = -131*w - 5. Let t be a(-5). Suppose -3*k + t = 185. Is k prime?
False
Suppose 17*p - 10727 = -0*p. Is p a prime number?
True
Suppose 0 = 5*k + 20, 3*v - 4*k - 239 = -2*k. Is v a composite number?
True
Let h be -1 - -1 - -11*1. Let u(m) = m**2 + 3*m - 5. Let n(w) = 5*w**2 + 15*w - 25. Let y(c) = h*u(c) - 2*n(c). Is y(4) a composite number?
False
Suppose 0 = -2*b + 3*b - 194. Is b composite?
True
Let z(s) = -s**2 - 7*s + 8. Let a be z(-8). Suppose 2*q + a*q = 158. Is q a prime number?
True
Let l(w) = -w - 6. Let h be l(-6). Suppose t + 2*t - 69 = h. Is t composite?
False
Let d be (-1 - 1/2)*-2. Suppose 0 = 3*h - 4 + 1, 3*h - 141 = -d*j. Is j a composite number?
True
Is 6/4*2238/9 a composite number?
False
Let z = 40 - 21. Is z a prime number?
True
Suppose 4*h + 17 = 289. Is h/7 + 6/21 a prime number?
False
Suppose 4*w + 0*w - 12 = 0. Suppose w*d - 128 - 301 = 0. Is d a composite number?
True
Let w(b) be the first derivative of 25*b**2/2 + 6*b + 3. Let t be w(5). Suppose 2*j + j = 4*v - t, 2*v - 64 = 2*j. Is v prime?
False
Is 0/(-6) - -1*371 a composite number?
True
Let a = -7 - -12. Suppose a*d = f + 153, 36 = 2*d - 2*f - 22. Is d a prime number?
True
Let c(h) = -1 - 5*h + 148 + 13 + 6*h. Let w be c(0). Suppose -2*n + 6*n + 2*y = w, -n + 54 = 4*y. Is n a composite number?
True
Let v(s) = 8*s**2 - 5*s - 6. Let f be v(5). Let a = f + -82. Is a a prime number?
False
Suppose 0 = -k + 254 + 77. Is k a composite number?
False
Suppose -5*j = -4*f - 615, f - 399 - 241 = -5*j. Is j a prime number?
True
Suppose -5*p + 4*a = -4*p - 739, 3000 = 4*p - 5*a. Is p prime?
False
Suppose 0 = 5*c - 2*u - 20, 4*u + 16 + 2 = -c. Suppose h + c*z - 5 = 0, -2*h = 2*h - 3*z + 2. Let x(w) = 37*w**2. Is x(h) a composite number?
False
Let f(r) = -986*r**3 - 2*r**2 - 4*r - 1. Let j be f(3). Is j/(-55) + (-4)/(-10) prime?
False
Suppose 4*g + g - 185 = 0. Let i = 12 - 11. Is (g + 1)/(1 + i) composite?
False
Is (-131)/(42/15 + -3) composite?
True
Let u(g) = -g**2 + 2. Let w be u(3). Let d = 24 - w. Is d a prime number?
True
Is 2/3*(-345)/(-5) composite?
True
Is (673*4/(-16))/(3/(-60)) a prime number?
False
Let j(v) = -4*v - 3 + 5*v + 5. Let x(h) = h. Let d(l) = j(l) + 6*x(l). Is d(5) a composite number?
False
Let o(l) = -125*l - 4. Suppose -3*a - 15 = -0*a - 2*y, a = -y. Is o(a) composite?
True
Let f = 71 - 12. Suppose f = -0*n + n. Is n a composite number?
False
Let n be (-6)/21 + 1184/28. Suppose 0*h - 3*h + n = 0. Is h a composite number?
True
Suppose x = 34 - 1. Is x composite?
True
Let h(z) = -6 + 3 - 7 + 2*z. Let t be h(7). Let w(y) = -y**3 + 6*y**2 - 4*y + 3. Is w(t) a composite number?
False
Let o(g) = 0 - 3 + 1 + 1 + 5*g. Let m be o(1). Suppose 30 = -m*d + 6*d. Is d a composite number?
True
Suppose q - 5048 = -q. Is 2*(-5)/((-40)/q) prime?
True
Suppose 0 = z + d + d - 351, -4*d - 1428 = -4*z. Is z a prime number?
False
Let g be (-50)/15*(-6)/2. Let d(r) = r**2 + 6*r + 2. Let o be d(-4). Let x = o + g. Is x prime?
False
Suppose 3554 = -11*p + 13*p. Is p a composite number?
False
Is (1360/(-6))/(-2) - (-17)/(-51) composite?
False
Let u be 302/(-3) - (-5)/(-15). Let k = u + 163. Is k a prime number?
False
Let r = -4 - -8. Suppose 0 = -0*v - 3*v - t + r, -2 = -4*v - 3*t. Suppose v*b + 316 = 6*b. Is b a prime number?
True
Let p(v) be the first derivative of -11*v**2 + v - 1. Is p(-1) prime?
True
Let q = 37 - -72. Is q a prime number?
True
Suppose -g = -3*y - 3*g + 6493, -5*y - 2*g + 10815 = 0. Is y a prime number?
True
Suppose 0 = -3*q + 739 - 106. Is q prime?
True
Suppose 2*y = 5*y - 36. Suppose 5*i - y = -2. Suppose -3*l + 53 = i*k + 2*k, -k = l - 17. Is l a composite number?
True
Let k(q) = -q + 14. Let p be k(10). Suppose -4*g = -4*w - 40, -p*w - 25 = -2*g - w. Suppose -2*s - 1492 + 435 = -g*v, 3*s = -3. Is v composite?
False
Let d be 2/(-2) + (1 - -49). Suppose q + 50 = -4*p, 4*q + d = 2*p - 61. Let h = 7 - q. Is h a prime number?
True
Let h be ((-20)/(-8))/((-1)/2). Let k = h + 20. Is k a composite number?
True
Let b(l) = l**3 - l + 3. Let g be b(0). Is 41 + (g - 2) + -3 composite?
True
Let b(o) = -8*o**3 - 2*o**2 - 1. Is b(-2) a composite number?
True
Suppose 2*n - 261 = -n. Suppose -300 = -3*o - n. Is o a prime number?
True
Let o(r) = r + 2. Let p be o(15). Suppose -s - s - 412 = -5*m, 5*m - 406 = -4*s. Suppose g = -p + m. Is g composite?
True
Suppose 0 = -3*g + 66 + 6. Suppose -p = -g - 161. Is p prime?
False
Let t = -4 + 4. Suppose t = 2*f - 72 - 86. Is f a composite number?
False
Suppose 549 = 3*r + 69. Let v = -106 + 15. Let k = v + r. Is k prime?
False
Suppose 74*z - 11030 = 64*z. Is z a composite number?
False
Suppose -16132 - 29662 = -14*m. Is m prime?
True
Suppose 100 = y + 2*j - j, -2*y - 5*j = -191. Is y composite?
False
Let t(h) = -h**2 - 4*h + 1. Let k be t(-3). Suppose u = -k*u. Suppose 53 = -u*r + r. Is r prime?
True
Let y be ((-9)/4)/(1/(-8)). Let p = y - 10. Let x = p + 75. Is x a composite number?
False
Suppose -2*t = -0*t - 406. Is t composite?
True
Let j be 1*(5 - (2 - 0)). Suppose 0 = -0*k + k, 2*d - 802 = j*k. Is d a composite number?
False
Let n(x) be the first derivative of x**4/4 - x**3/3 + x**2/2 + 77*x - 1. Is n(0) prime?
False
Suppose -5*d = -4*t - t, -4*t = 3*d - 14. Let r(k) = k**3 - k**2 + k - 1. Let v(s) = 12*s**3 - 10*s**2 + 10*s - 9. Let i(b) = -6*r(b) + v(b). Is i(t) composite?
False
Let t be 2 + 3/((-6)/(-134)). Suppose -z = -328 + t. Is z prime?
False
Let n be 2 - 1/(-1) - -1. Let f(z) = -z**2 + 3*z + 5. Let h be f(n). Is 2/4*h*46 composite?
False
Suppose 2*f + 2*f + 5*t = 0, 5*f + t = 0. Let r = -4 + 7. Suppose 0 = -4*a - r*g - 4 + 39, -4*g - 12 = f. Is a a composite number?
False
Let m(u) = -121*u + 8. Is m(-5) prime?
True
Let m be -2 - (-8 + 3 - -3). Suppose m*p = 2*p - 76. Is p a prime number?
False
Let t(o) = 2*o**3 + 4*o**2 - 4*o + 3. Let x be t(3). Let w = 121 - x. Suppose 239 = 3*s - w. Is s a composite number?
True
Let f be (2 + 2)*222/4. Let o = f + -135. Suppose o = 5*x - 2*p, 3*x - 5*p - 37 = -0*x. Is x a prime number?
True
Suppose 2*c - 952 = -3*h, -c + 2*h = 3*c - 1920. Is c a prime number?
True
Is (-1584)/(-7) + -2 + (-60)/(-35) composite?
True
Let a = 221 - 44. Is a a prime number?
False
Suppose -14*a = -11*a - 4083. Is a a prime number?
True
Suppose 5*p = -x + p + 33, -2*p = 4*x - 62. Is x a composite number?
False
Let s(a) = 11*a**3 + 3*a**2 - 3*a + 1. Suppose -3 = -5*q - x + 11, -2*q - 3*x + 16 = 0. Is s(q) a prime number?
False
Suppose 9 = 2*b - 5. Suppose 5*m = -0*v - 4*v + 3, 3*m = 2*v - b. Is m - (-39 - -3)/3 a composite number?
False
Suppose 4*x = 421 - 113. Is x a prime number?
False
Let m(y) = -y - 3. Let c be m(-4). Is (-3 - 5/(-1))/c prime?
True
Suppose 0 = 5*i - 3*m - 10756, -3*i - 3*m + 6*m + 6450 = 0. Is i a prime number?
True
Let k = -213 + 936. Is k prime?
False
Let n(c) = c + 3. Let p be n(-7). Let m be (-86)/p - 3/6. Suppose -a + m = -28. Is a a composite number?
True
Let p = 1230 + -509. Is p composite?
True
Is ((5 - 3) + 1)*-1 - -524 composite?
False
Let t(p) = 2*p**3 - 12*p**2 + 25*p - 2. Is t(8) prime?
False
Let t(o) = o**3 - 11*o**2 + 9*o - 8. Let z be t(10). Let w = z + 113. Is w a composite number?
True
Suppose -a - 121 = -696. Suppose 8*l = 3*l + a. Is l a prime number?
False
Suppose g + 115 - 630 = 0. Is g composite?
True
Let x(z) = -z**2 - 12*z - 13. Is x(-9) a composite number?
True
Suppose 7*k = -3*d + 4*k + 51, 5*k + 25 = 0. Is d composite?
True
Let v(c) = 8*c**2 + 21*c**3 - 10*c**2 + c - 3 + c. Is v(2) prime?
False
Let w(c) = -36*c - 4. Let p be w(-3). Let d(j) = 3*j - 5*j + p + j - 9. Is d(0) a composite number?
True
Suppose -4*w + 244 = 4*y, -263 = -3*y + 4*w - 52. Is y composite?
True
Suppose s - 3*m = 13, s + 3*m - m + 12 = 0. Let b be (-18)/(-4) - (-3)/s. Is (-6)/(-9)*b - -33 composite?
True
Let m(u) = u**3 + 9*u**2 - 2*u - 2. Let o be m(-9). Let r = 111 + o. Is r composite?
False
Suppose 3*w = 5*l + 47, -3*w + 6*w - 67 = -5*l. Is w composite?
False
Let s(a) = 27*a**3 + 5*a**2 - 5. Is s(3) a prime number?
True
Suppose 7*r - 10 = 2*r. Let a = r + 67. Suppose 0 = 5*u - a + 19. Is u prime?
False
Suppose k - 629 = -3*i - 0*k, 3*k = -i + 215. Is i a prime number?
False
Suppose 0 = 2*c - 3*k - 740, 4*k - 1825 = -5*c - k. Is c a composite number?