mposite number?
True
Let q be (-3 + 3)/(-1 - -3). Let b(a) = -4*a + a + 2*a + 13. Is b(q) a composite number?
False
Let x(g) = g**2 + 3*g + 2. Let j be x(-2). Let u(y) = y**2 - 4*y + 3. Let c be u(4). Let i = j + c. Is i a composite number?
False
Is 966/(-4)*(-18)/27 prime?
False
Suppose 8*o = 7*o + 85. Is o a prime number?
False
Let u(y) = y**3 - 5*y**2 - 5*y - 8. Let z be u(6). Is (1004 - z)/(-2)*-1 a composite number?
False
Let i be ((-14)/35)/((-1)/55). Is (-12)/66 + 5658/i prime?
True
Let n = 11 - 9. Suppose 2 = y - n. Suppose -y*u + 2*u - 3*w + 679 = 0, 0 = 5*u + 4*w - 1687. Is u composite?
True
Suppose -14*q = -2*q - 8988. Is q composite?
True
Suppose y = 648 + 159. Is y a prime number?
False
Suppose 5*l - 17 - 8 = 0. Suppose -2*q = 0, l*q = 3*n + 2*n - 655. Is n composite?
False
Let i = 620 - 300. Suppose 4*j = -4*s - i, -5*j - 2*s - 107 = 287. Is (5/15)/((-2)/j) composite?
False
Let s = -8 - -4. Is -20*((-77)/s)/(-7) composite?
True
Let f be 4*((-1)/(-1) - 0). Suppose 5*x = f*j + 89 - 242, j - 3*x = 40. Is j prime?
True
Let j = 427 + 274. Is j a composite number?
False
Let l(i) = i. Let r(p) = 47*p - 4. Let f(m) = 2*l(m) + r(m). Is f(3) a composite number?
True
Suppose 12*m - 7736 = 4*m. Is m a composite number?
False
Let h = 34 + 37. Suppose -178 = -3*q + 209. Let z = q - h. Is z a composite number?
True
Let q = -17 - -22. Suppose -4*g + q*g - 22 = 0. Is g a composite number?
True
Suppose -3*m = -3*c + 1005, -2*c + 3*c + m - 327 = 0. Is c prime?
True
Suppose 4 = m + 1. Is m a composite number?
False
Suppose 1 = s, -w - 2*s + 154 = -0*w. Is (-2)/(-6) - w/(-3) a prime number?
False
Suppose n = 3*n + 3*o - 15, 25 = 4*n + 5*o. Suppose 0 = -100*r + 105*r - 1760. Suppose n = -5*y + 103 + r. Is y prime?
False
Let o be ((-2)/6)/(1/(-27)). Let g = o + -3. Is g prime?
False
Let u be (-3357)/(-2) + (-7)/(-14). Suppose 2*g + 1026 = 3*s + 7*g, -2*g = -5*s + u. Is s a composite number?
False
Suppose 0*w = -4*w. Suppose 2*z + 4*i + 2 = 0, -5*z = -w*i + 2*i - 19. Is (-12 - -1)*(4 - z) prime?
True
Suppose 0 = 3*w + w + 140. Let g = 124 + w. Is g a prime number?
True
Suppose -r = 5*n - 3*r - 3117, -5*n + 4*r = -3119. Is n composite?
True
Let j(i) = 5*i**2 + 3*i + 14*i**2 - 1 - 4*i. Is j(-1) a prime number?
True
Suppose 177 = 2*v - 187. Suppose -2*p = -0*c + 3*c - 122, 0 = -5*c + 2*p + v. Is c prime?
False
Let z = 10 - 13. Is (-2)/z - 760/(-30) composite?
True
Let z be 1395/11 - 6/(-33). Suppose 0 = 5*h - t - z, 10*t - 5*t - 65 = -3*h. Is h a composite number?
True
Let d be (-1)/4 + 42/8. Suppose -4*k = -d*l + 631, -376 = -3*l + 7*k - 2*k. Is l composite?
False
Let l = -67 + 486. Suppose -1073 = -4*a + l. Is a a prime number?
True
Let t = -810 + 2275. Is t a composite number?
True
Suppose -741 = -9*b + 6*b. Is b a composite number?
True
Let k(j) = 3*j**2 + 4*j. Let r(d) = -2*d**2 - 3*d. Let v(w) = -3*k(w) - 2*r(w). Let u be v(-4). Let x = u - -109. Is x composite?
False
Suppose 8 = 4*l - 28. Suppose 4*y = l + 15. Is y a composite number?
True
Let r = -2362 + 3329. Is r composite?
False
Let s(m) = -m**3 + 11*m**2 + m - 8. Let g be s(11). Suppose -g*h - h - 71 = -z, 4*z - 318 = -h. Is z prime?
True
Suppose 55 = 4*l - 1. Suppose 0 = h - 69 + l. Is h a prime number?
False
Let m be (-1)/(-4) + (-15)/(-4). Suppose -3*h - 218 = -m*h + 5*i, -4 = -4*i. Is h a composite number?
False
Let v = 10 + -5. Suppose -v*w + 75 = -0*w. Is w composite?
True
Let d(u) = u**2 - 3. Let h be d(3). Suppose -h*c + 12 = -2*c. Is c a composite number?
False
Let b be 3/(4/8 + 1). Suppose 7*g - b*g - 385 = 0. Is g a prime number?
False
Let w be 3*-1*(-4)/(-2). Let p be w/(-8) - 162/(-8). Suppose -2*m + 93 = g, 3*m = 3*g + p + 114. Is m a prime number?
False
Let i(j) = -20*j + 9. Is i(-5) composite?
False
Suppose -2*o = 2*o - 68. Suppose 3*a - 2*x - 6 = -0*x, 3*a - 6 = -2*x. Let d = o + a. Is d a composite number?
False
Let f = 263 - -76. Is f prime?
False
Let w = 7 - 12. Let y = 5 + w. Suppose y = -3*o - 5*b + 93, -4*o + 4*b = 6*b - 124. Is o a composite number?
False
Suppose 5*i = 4*k - 0*k + 15, 0 = -2*k. Suppose i*v + 44 = 5*v. Is v composite?
True
Let k(v) = 13*v + 1. Let f be k(9). Suppose t + h - 65 = -3*h, -2*t - 4*h + f = 0. Is t a composite number?
False
Suppose 17*u = 15*u + 14738. Is u a composite number?
False
Is 2*1*-1 + 2847 + -32 a prime number?
False
Suppose 2*d = 2*o + 10, -3*d - 3*o + 55 = 2*o. Let p = 31 - d. Is p composite?
True
Let j = 283 + -135. Let y = j - 81. Is y prime?
True
Suppose -3*i + 900 = 2*z - 7*z, -z - 1200 = -4*i. Suppose -i = 4*p - 9*p. Suppose -2*u + 2*w = -p, -7 - 13 = -5*w. Is u prime?
False
Is 0 - ((4 - 2) + -95) prime?
False
Let d = 67 + 118. Suppose 4*c + 3*a = d, 2*a + 1 = a. Is c a prime number?
True
Let f(o) be the third derivative of o**5/30 - o**4/12 - o**3/6 - 3*o**2. Is f(5) prime?
False
Let y be 1/(-4)*-2*-142. Let s = y + 124. Is s prime?
True
Is 4/14 + 5330/14 prime?
False
Suppose -2*a = -a - 181. Let j = -114 + a. Is j a composite number?
False
Suppose y + 0 - 4 = 0. Suppose 8*z - 12 = y*z. Suppose 0*q + 76 = 4*q - 2*u, -54 = -2*q - z*u. Is q a prime number?
False
Let o be 75/27 - (-2)/9. Suppose -4*y = o*k - 331, 0*y - 4*y + 326 = 2*k. Is y composite?
False
Let o(a) = -a**3 + 23*a**2 + 6*a - 23. Is o(21) a prime number?
False
Suppose 604 = -7*n + 3957. Is n composite?
False
Suppose -4*x = 3*c + x - 1401, -c - 4*x + 467 = 0. Let q = -322 + c. Is q composite?
True
Suppose 4*f = 5*v + 2*f - 33, -4*v - f = -16. Suppose -v*m + 3*m + 382 = 0. Is m prime?
True
Let c be 907*(-4)/(2 + -6). Suppose -5*t - c = -6*t. Is t a composite number?
False
Let p = -550 + 1223. Is p a prime number?
True
Suppose 7*a - 467 = 520. Is a a prime number?
False
Let r be -8*(-2 - (-26)/8). Let y be 12/(-30) - 4444/r. Is ((-1)/3)/((-4)/y) a prime number?
True
Let r(m) = m**3 + 8*m - 7. Let x = 19 + -13. Is r(x) a composite number?
False
Let u = 13 - -114. Is u a prime number?
True
Is 19318/18 + 6/(-27) a composite number?
True
Suppose 11*w - 1273 = 3996. Is w composite?
False
Suppose -s = 1434 - 4777. Is s a prime number?
True
Let d = -21 + 127. Is d prime?
False
Suppose 5*v = 10 + 10. Suppose 0 = 4*i - 16, 4*i = -2*x + 2*i + 28. Is -22*(2 - x/v) composite?
False
Suppose 0 = -0*f + 2*f - 1270. Is f a prime number?
False
Suppose -x + g = -7, -3*g = 3*x - g - 16. Let r be (-8)/6*x/(-4). Is ((-114)/(-9))/(r/3) prime?
True
Let s(g) be the first derivative of 2*g**3/3 + 2*g**2 + 5*g + 3. Is s(-5) prime?
False
Suppose -4*f - 4 = 2*i, -i + 5*i - 4 = 4*f. Is ((-74)/(-2))/(f - -2) a prime number?
True
Let m be (-3)/(((-30)/(-4))/(-5)). Let p(w) = -2 - 3*w**3 - w + 2*w**3 - 2*w**m + 0*w**2. Is p(-3) composite?
True
Suppose 2*o - 3*r - 315 = 0, 0*o = -2*o - r + 311. Suppose 0*t + o = 4*t. Is t composite?
True
Suppose 389 = p - 194. Is p composite?
True
Let c = -5 - -183. Let i = 77 - c. Let o = -50 - i. Is o prime?
False
Let n = 35 + -60. Let m be ((-12)/(-10))/((-10)/n). Let k = 20 + m. Is k composite?
False
Let q(x) = -x**2 + 149. Is q(0) prime?
True
Is (447 + (3 - 4))/2 prime?
True
Let w(f) = -f**2 + 35. Suppose -2 = -c, 5*c - 8 = -3*j + 8. Let d be 6/6*0/j. Is w(d) a composite number?
True
Let u(t) be the first derivative of 6*t**2 + 7*t - 3. Is u(5) composite?
False
Let x be 1/((-1)/(103/1)). Let r = x + 326. Is r a composite number?
False
Suppose -16 - 11 = -3*h. Suppose 3*t - 3 = 0, -w + 24 + h = -2*t. Is w a composite number?
True
Let f(w) = 888*w**2 + 8*w - 7. Is f(1) a prime number?
False
Suppose 605 = -2*c - 3*c. Let a = -68 + 14. Let v = a - c. Is v a prime number?
True
Let t(i) = i**3 - 3*i**2 + 4*i - 5. Let g be t(5). Is 1*2*g/10 a prime number?
True
Suppose 4*s = 6*s - 5*n - 30, 3*s - 2*n = 23. Let o = s - -10. Is o a prime number?
False
Let l be 68/18 - (-2)/9. Let v be (-6 + l + -2)*-1. Is (-124)/(-12) + v/6 composite?
False
Suppose 4*y - 3*f - 269 = -0*f, -y + 61 = -2*f. Suppose 4*p = -1 + 13, 96 = -5*o + 2*p. Let j = y + o. Is j composite?
False
Is (8/(-12))/(2/(-2637)) composite?
True
Is -59*(-6 - (-3 + 0)) composite?
True
Suppose -2*h + 4 = -0. Suppose -3*l + h*l + 10 = w, 4*l - w - 65 = 0. Is l a composite number?
True
Let g = 300 + 145. Is g a composite number?
True
Let l = 8 - 6. Is l/(-4*(-4)/552) a composite number?
True
Let p be (-1 - 69)*