e number?
False
Is 3682/6 + -2 + (-20)/(-15) a composite number?
False
Is (-2 - 5505/5)/(-1) composite?
False
Let x = -481 + 977. Suppose -4*u = 3*a + 251 - 630, 3*u = -4*a + x. Is a composite?
True
Let l = 65 - 24. Suppose 2*i - l = 35. Is i composite?
True
Suppose 3*m - c - 3*c = -20, -14 = 3*m - c. Let a(i) = 2*i**2 - i - 1. Is a(m) prime?
False
Suppose -w = -z + 3*z + 3, -w + 15 = -4*z. Suppose -w*u - 5*f = -624, -u + 4*f = 77 - 268. Is u a composite number?
True
Suppose 0*q + 6 = q. Let k be 136/q - (-3)/9. Suppose k = -2*y + 3*y. Is y a composite number?
False
Suppose -4*h + 989 + 207 = 0. Is h composite?
True
Suppose -q + 96 = -4*v + 465, 4*q + 384 = 4*v. Is v a prime number?
False
Suppose 3*s + 2*a - 2079 = 0, a = -2 + 5. Is s prime?
True
Let f(q) = -67*q + 9. Let a(z) = -z. Let j(k) = 5*a(k) - f(k). Is j(5) a composite number?
True
Let c(w) = w - 6. Let x be c(7). Let m be (x + 0)/((-4)/(-20)). Suppose m*v + 4*b = 141, 0*v + v - 45 = -5*b. Is v composite?
True
Suppose 2*l + l - 1371 = 0. Is l a composite number?
False
Suppose -14*o = -9*o - 705. Is o a prime number?
False
Let b(w) = -w**3 - 2. Let m be b(0). Is (-56)/(-1) + -1 + m prime?
True
Let h = 21 + -10. Is h a prime number?
True
Let v be (-38)/(-8) + (-1)/(-4). Let y(a) = 7*a - a - 3*a + v. Is y(7) prime?
False
Let b = 818 - 51. Is b composite?
True
Let m(g) = g**3 + 19*g**2 + g + 22. Is m(-15) a composite number?
False
Let j be -2 + 2 + (3 - 1). Let n be (-29)/(-4) - j/8. Suppose 2*u + 105 = n*u. Is u composite?
True
Let u(k) = 40*k**2 + 3*k - 2. Is u(3) prime?
True
Let h(c) = 626*c + 39. Is h(4) a composite number?
False
Let q be 4/10 + 18/5. Suppose 0 = 3*l - l + 2*o - 8, 0 = q*l - 4*o. Suppose -4*n = -2*g + 27 + 69, l*n + 140 = 3*g. Is g prime?
False
Let f(b) = 31*b**2 + 9*b - 21. Is f(7) a prime number?
False
Let j = -3 + 10. Suppose -5 = 5*w + 5*b, -8 = 3*w + 5*b + 1. Suppose 0 = -w*d - 3*t + 13, -3*d = t - 2 - j. Is d a prime number?
True
Let n(p) = 14*p**2 - 8*p - 7. Is n(7) prime?
False
Suppose -6 - 10 = 2*d + 5*k, 4*d - 5*k = -2. Let z be (4/(-10))/(d/(-60)). Let w(j) = j**2 + 7*j + 11. Is w(z) composite?
False
Suppose -5*n + z + 6935 = 715, 0 = 3*n + 3*z - 3714. Is n a prime number?
False
Let y = -1 + 2. Let j be 116 - y/(-1) - 2. Suppose j = 2*x + 3*x - 2*q, 2*x = 4*q + 62. Is x prime?
False
Suppose 44 = 4*y - 1176. Is y prime?
False
Suppose m - 3*h - 146 = 0, 22 = 3*m - 4*h - 426. Suppose k + 3*b = m, 0*b + 4*b - 302 = -2*k. Is k composite?
False
Suppose -4*q - 70 = -2*k, 2*k - 3*q - 16 - 55 = 0. Is k a prime number?
True
Suppose 0*m = 13*m - 25649. Is m a composite number?
False
Let u = 0 - -62. Let n = u + -40. Is n composite?
True
Let m(n) = -n**3 - 3*n**2 + 5*n. Let x be m(-4). Let j be 18*(-1)/x*-2. Let k = j - -15. Is k a prime number?
False
Let d(n) = n**3 - n**2 + 1. Let y be d(2). Suppose -526 - 534 = -y*s. Suppose l - 5*l + s = 0. Is l prime?
True
Let j(y) = -y**3 + 2*y**2 - 3*y + 1. Is j(-3) composite?
True
Let i be ((-507)/(-2))/((-9)/12). Let k = -227 - i. Is k a composite number?
True
Let t(o) be the second derivative of o**4/2 - o**3/3 + o**2/2 - 5*o. Let j(a) = a + 2. Let w be j(0). Is t(w) composite?
True
Is 5/20*-1*-3644 composite?
False
Let d(g) = g**3 - g**2 - 3*g + 6. Let y be d(5). Let t be (-2)/4 - (-5)/2. Suppose -t*p + y + 19 = 0. Is p composite?
True
Let f = 198 + -394. Suppose -t + 1197 = 2*t. Let g = t + f. Is g composite?
True
Let x = 251 + -92. Let w(q) = q**2 + 5*q + 6. Let u be w(-4). Is x/u + 2/(-4) composite?
False
Let y(n) = n**3 - 3*n**2 + 1. Let o be y(2). Let h be -1 + (-3)/o - -126. Suppose -h = -2*k + 38. Is k composite?
True
Let n be (-222)/11 + 12/66. Let t = n + 33. Is t a prime number?
True
Let y(u) = 3*u**2 - 5*u + 2. Let q be y(5). Let g = 105 - q. Is g a prime number?
True
Let k(a) = 84*a**2 + 3*a - 1. Is k(1) composite?
True
Let x be (14/(-4))/((-3)/6). Suppose -4*d + x*d + 762 = 0. Is 3/2*d/(-3) prime?
True
Suppose 2*v - 21 = 6*v - w, -4*v + 9 = 5*w. Is v/2*(-15)/2 prime?
False
Suppose 10 = 2*f - 4. Suppose -f*b + 170 = -2*b. Is b a composite number?
True
Is 3/(-4) + 2043/36 - -3 a composite number?
False
Let w(v) = 5*v**2 + 2*v - 2. Is w(-5) a composite number?
False
Suppose 2*q + 509 = 1255. Is q composite?
False
Let d = -140 - -377. Is d prime?
False
Let f be 55/(-2)*(-128)/(-20). Let y = -116 - f. Let l = y + 85. Is l a prime number?
False
Suppose 2*q = -3*o + 403, -2*o - o + 398 = q. Suppose 2*k + y - 97 = 0, 0 = 3*k - 3*y - 37 - o. Is k a composite number?
True
Suppose h = -3*h. Suppose 2*f = -5*j + 269, h = 2*j - 7*j + 2*f + 281. Is j a prime number?
False
Suppose 4*q - 4678 = -2*f - 1314, -3*q - 4*f + 2533 = 0. Is q a prime number?
True
Let q(b) = 2 + 5*b**2 - 7*b - b**2 - 3*b**2 + 7*b**2. Is q(3) composite?
False
Let x be 7 + (-1 - 0) + 0. Suppose 0 = -2*z - 0 + x. Is (-62)/6*-1*z a prime number?
True
Suppose 4*i = -5*s - 52, 32 = -2*i + 2*s - 6*s. Is (-22)/i*24/2 a prime number?
False
Let s = 950 + -525. Suppose 3*l = -2*l + s. Is l composite?
True
Let c be 2/4 - 508/8. Suppose -5*n + 2*p = 120, 3*p = 3*n - 0*p + 63. Let t = n - c. Is t prime?
True
Let c(g) = -13*g - 6. Let r be c(-5). Suppose 73 = i + a, i = 5*a + 38 + r. Is i composite?
True
Let u(l) = 11*l - 15. Is u(6) a composite number?
True
Suppose -2*q + q + 227 = 4*b, -5*b - 272 = -q. Is q a composite number?
True
Suppose -3*t + 5*h = -6, -2*t - 11 + 2 = h. Let k = -169 + 283. Is t/3 - -1*k prime?
True
Suppose -7*x - 2174 = -9*x. Is x prime?
True
Let o = -12 - -23. Suppose o + 1 = 3*s. Suppose 61 - 249 = -s*h + 2*j, 0 = -2*h - 3*j + 86. Is h composite?
True
Let i = -1 - 0. Is 22 - 0/(-2 - i) prime?
False
Suppose 3*v + 6 = 0, 4*w - 24 = -v - v. Let m = 0 + 0. Let c = w - m. Is c a prime number?
True
Suppose 0 = -3*x + 9. Let b be (1 - x) + 1 + 5. Suppose 7 = -2*z + 5*q + 58, 0 = 4*q + b. Is z a prime number?
True
Suppose 8*u - 6066 = 13366. Is u composite?
True
Suppose 3636 = 6*p + 294. Is p a composite number?
False
Suppose 0*y + 9 = 3*y. Suppose 70 = -o + y*o. Is o a composite number?
True
Suppose 3*y = 2*y + 8. Let z(w) = w - 5. Let i be z(y). Is (-11 - i)/((-2)/7) a prime number?
False
Let j(y) = y**3 - 3*y**2 + y. Let r be j(3). Suppose 104 = g - 5*p, 226 = r*g - g - 4*p. Is g a composite number?
True
Suppose -1343 = g - 4*g - 2*k, 5*g - 2255 = 5*k. Is g composite?
False
Let t(b) be the second derivative of b**5/20 - 5*b**4/12 - 3*b**3/2 - b**2 + 2*b. Let h = 11 + -4. Is t(h) a composite number?
True
Let l(w) = -13*w**3 - w**2 + 3*w - 1. Let z be l(-3). Suppose 2*f - z - 248 = -4*y, -5*f + 435 = 3*y. Is y a composite number?
True
Suppose 3*a - a = -4*h + 198, -a + 107 = 4*h. Suppose 0*q = q - a. Is q composite?
True
Let k = -11 - -13. Suppose k*p - 117 = -p. Is p a prime number?
False
Let l be -3 - (-1)/4*-4. Let c(s) be the third derivative of -s**5/60 - s**4/4 + 5*s**3/6 - s**2. Is c(l) composite?
False
Suppose t = -4*t - 60. Let y = 6 + 3. Is (-8)/t*1*y composite?
True
Suppose -s - 4 + 5 = 0. Is 208 - (s + -3) - 1 prime?
False
Suppose -448 = -2*z - 7*f + 2*f, 647 = 3*z - 5*f. Is z composite?
True
Let c(s) = 3*s**3 + 10*s**2 + 10*s - 10. Let n(m) = -2*m**3 - 7*m**2 - 7*m + 7. Let x(z) = 5*c(z) + 7*n(z). Let a be 2/(-3) - (-11)/3. Is x(a) prime?
False
Is (3/2)/((-6)/(-3516)) composite?
True
Let m = 452 + -321. Is m composite?
False
Suppose p + 482 = 5*c - p, -2*c + 197 = -5*p. Suppose -2*r + 4*r = 4*y - c, r - 106 = -5*y. Let n = y + 9. Is n a prime number?
True
Suppose 4*c + 2 = d, -4*c + c - 5 = d. Is 2 - (-1 + (c - 43)) prime?
True
Let p = 7 + -8. Let y = p - 5. Is 2*((-285)/y - -1) prime?
True
Let s(m) be the second derivative of m**8/6720 - m**7/1260 + m**6/240 + m**4/12 - m. Let b(j) be the third derivative of s(j). Is b(2) a composite number?
True
Let a(z) = 100*z + 7. Is a(3) a composite number?
False
Let f(i) = -7*i - 6. Let o be f(7). Let z be (-120)/o + 2/(-11). Let j(u) = 57*u**2 - 2*u - 1. Is j(z) composite?
False
Let f be 12/8*(-208)/(-3). Suppose 2*c - p - 27 = 44, 3*c + p = f. Is c composite?
True
Let d(z) = -2 + 7*z**2 - 8*z**2 + 0 - 5*z. Let i be d(-4). Is i + (2*-1 - -37) a composite number?
False
Suppose -4*h = -2*x - 5*h + 2569, 0 = -2*x - 3*h + 2575. Is x prime?
True
Let v(j) = -j**2 - 2*j + 4. Let q be v(-5). Let z 