e number?
False
Let b = 376 - 181. Suppose b = h + 2*h. Is h composite?
True
Suppose 3*v = 2*o + 8, v - 2*v = -2*o - 4. Suppose -v*u = -u - 209. Is u a composite number?
True
Let f be (-48)/21 + (-8)/(-28). Is -2 + 104 + 6 + f a composite number?
True
Suppose 4*y - 134 = 2*t, t = -3*y + 21 + 82. Suppose 0 = 3*o - y - 32. Is o a composite number?
True
Is (-3786)/(-10) - 4*7/(-70) prime?
True
Let l(p) = 5*p - 5. Let j be l(4). Let s = j + -11. Let r(w) = w**2 + 7*w - 6. Is r(s) a composite number?
True
Let l = 12 + 127. Is l a composite number?
False
Let w(h) = 7*h**2 - 2*h - 6. Is w(-5) prime?
True
Let u = 142 + 277. Is u composite?
False
Suppose y + y - 4*h - 194 = 0, -5*h = -y + 97. Is y prime?
True
Let x(w) = w + 1. Let c(i) = i + 7. Let t be c(-4). Let a be x(t). Let k(j) = j**2 + 4*j + 1. Is k(a) a prime number?
False
Suppose -y = -p - 3, p = 5*y + 2 + 3. Let g = -6 - y. Let a(x) = 6*x**2 + 4*x - 1. Is a(g) a prime number?
True
Let o = 1 - -2. Let t(y) = -y**o - 12*y + 12*y + 55 + y**2. Is t(0) a prime number?
False
Suppose 105 = -3*x + 258. Let o = 62 + x. Is o a prime number?
True
Let z = 4 - 0. Suppose -2*d = -z - 88. Is d a prime number?
False
Suppose 2757 = 10*u - 7*u. Is u composite?
False
Suppose 0*y = y. Suppose 5*o + 3*z = 398, y = 3*o - 2*z + 47 - 282. Is o a prime number?
True
Let u(x) = x**2 - 6*x - 4. Let p be u(7). Suppose -4*f + 34 = 3*r - r, 4*r - p*f = 13. Suppose -3*b = -r*b + 28. Is b a composite number?
False
Suppose -4*d + 2*f + 1389 = 3*f, 5*d + 5*f - 1740 = 0. Is d a composite number?
False
Let m(v) = -38*v**3 - v**2 - v - 1. Is m(-1) a prime number?
True
Let x = -38 - -41. Suppose -8 = 3*n - 7*n. Suppose -4*s + x*c + 507 = 0, -n*c = -3*s + 391 - 12. Is s prime?
False
Suppose 2*o - 6*k + 4*k = 2182, -4*o + 4368 = -5*k. Is o a composite number?
False
Let i be (70/21)/(2/3). Suppose -f + 0*s + 23 = -s, 0 = -i*s - 10. Is f a composite number?
True
Let p = 5517 + -2104. Is p a prime number?
True
Suppose 3*d + 90 = 2*i, i + 2*i - 4*d - 135 = 0. Let t(q) = q**3 - q**2 - 2*q - 3. Let g be t(-2). Let b = g + i. Is b a composite number?
True
Suppose 5*k = k + 2*f + 226, -138 = -2*k - 4*f. Is k prime?
True
Suppose -3*l + 14 = 2. Suppose l*u - 24 = y + 34, -y = 5*u - 68. Is u a prime number?
False
Let f = 11 + -10. Is f*(0 - -1) + 34 composite?
True
Let x(q) = q + 9. Let n be x(-10). Let p(a) = -59*a**3. Is p(n) a composite number?
False
Let w(m) = -m**2 - 2*m + 2. Let n be w(-4). Let k(f) = f**3 + 8*f**2 - f + 5. Is k(n) a composite number?
False
Suppose 16*w + i + 7513 = 19*w, -2*w - 3*i = -4994. Is w a prime number?
True
Let v = 73 - 33. Let u(t) = -t**3 - 7*t**2 - 5*t + 8. Let j be u(-6). Suppose -2*l - j*l = -v. Is l a composite number?
True
Suppose -2*o - 125 = 3*o. Let l = o + 138. Is l a composite number?
False
Let t = 155 + 145. Let d = 503 - t. Is d a composite number?
True
Let g = -3 + 9. Suppose 5*v - 22 = -k, -2*k = -g*k + 4*v + 160. Is k composite?
False
Suppose g - 2*g = 61. Suppose 57 = 4*w - 7. Let k = w - g. Is k a composite number?
True
Let n be 4/((-16)/(-4)) + 29. Suppose 154 = 4*j - n. Is j a prime number?
False
Let l(p) be the second derivative of 4*p**3/3 - p**2/2 - 5*p. Let u = -4 + 6. Is l(u) prime?
False
Is 4/18 + (-60198)/(-54) prime?
False
Let h be 2/7 + 32/(-14). Let p = 9 - h. Is p prime?
True
Suppose 4*n - 5*l - 25 = 0, -n - 3*n = -3*l - 23. Suppose -u = n*p, u - 5*p = -0*p. Suppose 267 = 5*w - u*w - g, 5*g - 255 = -5*w. Is w composite?
False
Let k be (9/3 - 0) + -1. Let p = k - 1. Is (0 - 2*-10) + p composite?
True
Is (2566/(-3))/(16/(-24)) composite?
False
Let i(z) be the third derivative of 5*z**4/24 - z**3/2 - 3*z**2. Is i(5) a composite number?
True
Suppose 3*z = -5*d + 335, -2*z + 195 = 3*d + z. Let v = d - -48. Is v prime?
False
Suppose 0 = -u - 3*u + 3*w - 577, -5*w = 4*u + 585. Let a = -67 - u. Suppose a + 78 = 4*h. Is h composite?
True
Suppose 4 = 5*n - 16. Suppose 2*l - 2*y - 86 = l, 2*l + n*y = 156. Is l prime?
False
Let t = -3 - -1. Let q be t/(-5) - (-72)/20. Is q/(-18) - 1384/(-72) composite?
False
Suppose -5*u - 50 = -5*l, 4*u - 2*u = 3*l - 22. Let x(w) = -11*w + 3. Is x(u) composite?
True
Suppose 4*m = g - 49, -3*g + 5*g + 4*m = 38. Let b be (-1)/(1 + (-30)/g). Let s = b + -18. Is s a prime number?
True
Let b(r) = 16*r**2 - 4*r - 15. Is b(5) prime?
False
Suppose 0 = -n - 26 - 18. Let b = n - -21. Let d = 90 + b. Is d composite?
False
Let h = 173 - 357. Is (-1 + 2 - h) + 2 prime?
False
Let d be 3/6 + (-1)/(-2). Is (-1)/(d*3/(-285)) a composite number?
True
Suppose -3*f + 20 = 2*f. Suppose f*x = 8*x - 148. Is x a prime number?
True
Suppose 4*g - 16 + 0 = 0. Suppose -x + 15 = g*x. Suppose -x*r - f + 325 = -0*f, -2*r + 224 = -3*f. Is r composite?
False
Let h = 493 + -18. Suppose 4*g - 1936 = -l + 5*l, g - h = 4*l. Is g a prime number?
True
Suppose 3*f - 3*u + 2*u = 549, f - 169 = 5*u. Let w = f - 74. Suppose 0 = -3*d - 5 + w. Is d a composite number?
True
Let l(w) = 6*w**2 + 8*w + 3. Is l(7) prime?
True
Suppose -2*q = -4*p - 36 - 554, -2*q = 3*p - 590. Is q prime?
False
Let v = -6 - -7. Let w = v + 1. Suppose w*t - 58 = 16. Is t composite?
False
Let l be (-1)/4 - 14/8. Is (1 + l)/3*-267 prime?
True
Is (335 + -1)*5/10 prime?
True
Let m(v) = 8*v + 5. Let n(h) = -39*h - 24. Let r(b) = -11*m(b) - 2*n(b). Is r(-6) a prime number?
True
Suppose 3*l - 2*l + 1 = 0. Let y(s) = -484*s**3 - s**2 + 1. Let x be y(l). Suppose -5*i + x = -i. Is i a prime number?
False
Let d = 486 - 328. Is (-1)/(314/d - 2) composite?
False
Let x(c) = 4*c**2 - 2. Let u be ((-15)/2)/5*-2. Is x(u) composite?
True
Let u be 7/9 + (-6)/(-27). Is (u - -2156)*3/9 prime?
True
Let i = 3453 + -326. Is i a prime number?
False
Let m = 2138 + -1469. Is m prime?
False
Let p(c) = -3*c**2 + c + 8. Let h(v) = 9*v**2 - 4*v - 23. Let u(o) = 3*h(o) + 8*p(o). Is u(-4) a prime number?
True
Let i(d) = 3*d**2 - 4*d - 1. Let a be i(6). Let v = a - 44. Is v prime?
False
Is (5/4 - 1/(-2))*236 composite?
True
Let p be 1064/10 + 4/(-10). Suppose 0 = -0*m + 2*m - p. Is m a prime number?
True
Let a(b) = -b**3 + b + 2. Let w be a(0). Suppose j - 4*i = -1, 5*j + 77 = -0*j + w*i. Is 5/(-3)*(j - -2) a composite number?
True
Let k = 561 - 398. Let q = 308 - k. Is q a prime number?
False
Let s(n) = -12 - 3*n + 7 + 2*n. Let f be s(-6). Let r(c) = 54*c**2 + 1. Is r(f) a prime number?
False
Suppose -y = 4*y - 100. Let s = 107 + y. Is s a prime number?
True
Is 267 - 2/6*(-11 + 5) a prime number?
True
Suppose -2*m + 252 = 2*m. Let a = 54 + -12. Let h = m - a. Is h a composite number?
True
Let u = -1 + 4. Suppose -u*a + 4 + 2 = 0. Suppose -133 - 46 = -4*p - r, -a*r = -4*p + 194. Is p composite?
True
Let r(f) = 7*f**3 - 7*f**2 + 1. Let b(d) = 13*d**3 - 13*d**2 - d + 1. Let s(a) = -4*b(a) + 7*r(a). Is s(-2) a prime number?
True
Let w = -4 + 7. Suppose 4*t = -c + 23, -w*c + 7*c - 32 = -t. Suppose s = b + 35, -4*b + c*b = -3*s + 81. Is s composite?
False
Suppose -5*o + 2617 + 618 = 0. Is o composite?
False
Let y(v) = -v**3 - 7*v**2 - 5*v + 5. Let f be y(-6). Let c be 4*f/(-5 + 3). Suppose -3*w - c*w = -575. Is w a composite number?
True
Suppose 5*o - 16 = 4*o. Let n = o - 6. Is n composite?
True
Let n(b) = -b**3 - 9*b**2 + 4*b - 13. Let q = -7 + 20. Let m = -23 + q. Is n(m) a composite number?
False
Let v(n) = n**3 + 8*n**2 + 4*n + 12. Is v(-7) a prime number?
False
Suppose 189 = 2*l - 5*o - 1701, 5*l + 2*o - 4783 = 0. Is l a prime number?
False
Suppose -2*f = -0*f. Suppose f*t = -2*t + 50. Is t prime?
False
Let h = -68 + 124. Suppose -d + 12 = f, h = -0*d + 5*d + f. Is d a composite number?
False
Is (-1)/((5/(-5))/551) composite?
True
Let w = -5 - -10. Suppose -w*d = -0*d - 275. Is d composite?
True
Let b = -755 - -1446. Is b a composite number?
False
Let f = -18 - -44. Is f composite?
True
Let d = 340 - 173. Is d composite?
False
Suppose -z - 4*d = 18, -4*z - 28 + 0 = 5*d. Let r be -3*(2 - -1)/9. Is z/((-2)/(-83))*r a prime number?
True
Suppose 0 = -0*s + s - 127. Is s a composite number?
False
Suppose 0 = -0*l - 2*l + 6. Let g(h) = -4*h**3 - 7*h**2 - 4*h + 5. Let q be g(-4). Suppose 0*k - q = -l*k. Is k a composite number?
True
Suppose -p - 10 = p, 64 = n + 2*p. Is (-7 + 6)/((-2)/n) composite?
False
Let c be 6/2 + -8 + 9. Suppose 6*m = p + m - 32, 0 = c*p