number?
False
Suppose -3*c = -3*y + 1755, -5*y + 2931 = -3*c + c. Is y a prime number?
True
Suppose 5*d + 9 = g + 28, 0 = -3*d + 15. Let h(a) = a - 6. Let q be h(g). Suppose q = -3*s - 2*t + 91, 5*t - 2*t = -4*s + 121. Is s a composite number?
False
Suppose -2*r = -2 - 4. Suppose 26 = r*c + 4*k, 4*c - 8 - 20 = -4*k. Suppose 0*p - 78 = -c*p. Is p composite?
True
Suppose 0 = -3*c - 2*c - 25. Let j = -3 - c. Suppose -4*y - 128 = -3*m - j*y, 0 = -5*m - y + 235. Is m composite?
True
Suppose -3*i + 251 = -2*i. Is i a composite number?
False
Let f = 11 - 7. Suppose -f*y + 203 = -17. Is y prime?
False
Let h = 3 + -4. Let d be 1624/2 + (-1)/h. Suppose 5*k - d = -4*c, 0*k = -5*k - 5*c + 815. Is k composite?
True
Let c be 155*(-1)/(-2)*2. Suppose 50 = x - n, 4*n - c = -4*x - n. Let v = x + -26. Is v a composite number?
False
Let w(v) = 18*v - 2. Let o(j) = j. Let p(x) = 5*o(x) - w(x). Is p(-7) a prime number?
False
Suppose -2*n - 5*v + 66 = 0, 3*n - 3*v - 61 = -v. Is n a composite number?
False
Let d be (-152)/(-20) + 3/(-5). Let s = d - -286. Is s a composite number?
False
Suppose -4*w + 29 = -w - 5*j, 4*j = 4*w - 28. Suppose -w*m + 354 = 15. Is m a prime number?
True
Let b = 5 + -5. Let s be (-4 + 1)/3*b. Suppose s = -5*y + 15, d - 30 = -0*d + y. Is d prime?
False
Let h = -74 - -159. Is h a composite number?
True
Suppose 4*v = v + 3*d + 111, -3*d = -5*v + 177. Is v a prime number?
False
Suppose -3*r = r - 2*v + 108, 2*r + 3*v + 62 = 0. Is ((-276)/16)/3*r composite?
True
Let i(v) = -42*v + 13. Is i(-6) a composite number?
True
Suppose -3*f = -5 + 263. Suppose 0*l + 4 = 4*l, 144 = -3*r - 3*l. Let t = r - f. Is t composite?
False
Let y = -124 - -173. Is y prime?
False
Let n = 11 + -8. Is (-9)/n + 147 + 1 composite?
True
Let b(t) = 478*t**2 - 5. Is b(-2) a composite number?
False
Let f be (-8)/14*(-14)/4. Let w = 3 + -1. Suppose w*y = -f*y + 380. Is y a composite number?
True
Let k = 1248 - -421. Is k a composite number?
False
Let g(v) = 47*v. Is g(5) a composite number?
True
Suppose -4*u + 3*c = -14 - 21, 5*u - 40 = 3*c. Let y = u + -9. Let m = y + 10. Is m a prime number?
False
Suppose 744 = 4*q - 4*p, 239 = 4*q - p - 520. Is q a composite number?
False
Let p = 67 - 27. Let k = 75 - p. Is k a prime number?
False
Let g be (12/(-9))/((-1)/3). Let i(l) = 2*l**3 + 5*l**2 - 4*l - 1. Is i(g) a composite number?
False
Suppose 8*u = -95 + 1799. Is u composite?
True
Let v(r) = 190*r + 1. Is v(1) prime?
True
Let v(a) = 48*a**2 + 8*a + 13. Is v(-4) prime?
False
Let u(i) be the first derivative of i**2/2 + 329*i + 5. Is u(0) a prime number?
False
Suppose 0 = 3*b - 2*b. Suppose -2*z + 6*z - 5*h - 119 = b, -5*h + 5 = 0. Is z a prime number?
True
Let h = -250 - -175. Let u be ((-2)/6)/(5/h). Suppose -5*j - 95 = -u*q + 405, -495 = -5*q + 4*j. Is q composite?
True
Suppose -d + 1585 = 4*d. Is d composite?
False
Let q(n) = 14*n - 2. Let c be (-192)/(-84) + 2/(-7). Is q(c) prime?
False
Let k(i) = i**2 - 4*i - 3. Let c be k(4). Let p = c + 3. Suppose 2*y + 4*n - 462 = p, -4*n + 32 = -4*y + 908. Is y composite?
False
Suppose -3*d + 1602 = 5*c - 957, 3*c = 0. Is d prime?
True
Let o = -10 - -21. Is o a prime number?
True
Let o = -4 - -13. Suppose o*v - 4*v = 485. Is v a prime number?
True
Let w = -500 + 706. Is w prime?
False
Is (1 - 3)*5/(40/(-2836)) a prime number?
True
Let p(m) = m**3 - 11*m**2 - 10*m - 5. Let d be -1 + 7 - (4 + -1). Suppose 1 = -2*w + 5*f, 0*f = d*w - f - 31. Is p(w) a prime number?
True
Let l = 175 - 124. Is l a composite number?
True
Let a(c) = -292*c**3 + c**2. Is a(-1) composite?
False
Let t = 254 + -411. Let f = -220 - t. Let g = 110 + f. Is g composite?
False
Let s = -67 - -506. Is s prime?
True
Let u(n) = -n**2 - 6*n - 2. Let b be u(-5). Let s(w) = -1 + 0*w - 4 + b + 4*w. Is s(9) a prime number?
False
Let y(x) = 4*x - 1. Let z = -5 - -10. Suppose -z*u + 15 + 17 = -4*p, -u + 2*p + 4 = 0. Is y(u) composite?
False
Let p be 4/(-6) - (-8267)/21. Suppose p + 402 = 5*y. Is y prime?
False
Let o(f) = 7*f**3 - f**2 - 1. Let w(b) be the first derivative of 3*b**4/2 - b**3/3 - b**2/2 - 1. Let t(m) = -3*o(m) + 4*w(m). Is t(2) a prime number?
False
Let u be (18/(-9))/(4/6). Is u - (0 - -47)*-2 composite?
True
Suppose -2*f + 78 = 2*o - 112, 191 = 2*f + 3*o. Suppose -3*b + f = -b. Is b prime?
True
Let b(j) = 2*j**2 + 4*j + 2. Let n be b(-2). Suppose -n*l + 32 = 10. Is l composite?
False
Suppose 0 = 2*v - 2*b + 9 + 73, 4*b = 3*v + 126. Suppose 0 = -3*o + 301 - 94. Let m = v + o. Is m prime?
True
Suppose -3*x = -2*p + 494, -x - 189 = -p + 60. Is p composite?
True
Let z = -2 - -7. Suppose -3*w + 80 = -4*x, -z = 5*w - x - 110. Is 172/w + (-2)/(-5) composite?
True
Let q be 3 + 6 + -3 + -2. Suppose -p = 5*w - 90, 91 = -p + 2*p + q*w. Let z = -60 + p. Is z a composite number?
True
Let c be (-4)/(-26) + 334/26. Let f = 21 - c. Suppose -3*g - 165 = -f*g. Is g prime?
False
Suppose 0 = -9*g + 14*g - 4045. Is g a prime number?
True
Suppose 3*m - 745 = 5*j - 6*j, 980 = 4*m - 2*j. Let i = m - 733. Let s = -269 - i. Is s a composite number?
True
Let f be (90/(-25))/((-2)/5). Let g be 1 - (-3)/(f/(-21)). Is ((-2)/g)/(3/333) composite?
False
Suppose 959 = 5*d - 4*u, 0 = -3*u + 1 - 4. Is d composite?
False
Let q = -4 - 1. Is 1*92 + 4 + q a composite number?
True
Let s be 8/(-3)*(-24)/16. Let n = s - 2. Suppose -5*p + 2*m + 345 = 0, n*m - 5*m - 149 = -2*p. Is p a composite number?
False
Is (-2)/(0 + (-4)/26) composite?
False
Is 1 + -2 + 11748/11 a prime number?
False
Let r be 1/(-2)*(-2 + -676). Let f = -197 + r. Is f composite?
True
Suppose -17*f = -12*f - 445. Is f a prime number?
True
Let r = -60 + 367. Is r a prime number?
True
Suppose 222 = a + 2*a. Is a a composite number?
True
Let a = 0 + 2. Suppose 4*p = a*v + 1040, 3*p + 4*v = -2*p + 1287. Is p composite?
True
Let s be (-2 - 16/(-10))/((-12)/240). Let t(l) = -l + 9*l**2 - 5 - 3*l**3 + 2*l**3 - 2*l. Is t(s) prime?
False
Let v(h) = h**3 - 5*h**2 - h + 2. Let u be v(5). Let o = -2 + -7. Is (-6)/o - 16/u prime?
False
Let s(g) = 6*g**2 - 2*g + 2. Let v be s(4). Suppose 0 = w - v + 1. Is w composite?
False
Let v(s) = -3*s**3 - 8*s**2 - 3*s + 9. Is v(-7) composite?
True
Is -3 - 0 - -2389 - (-4 + 4) a prime number?
False
Let k be (1/(-1))/((-2)/206). Let x = k + -69. Is x composite?
True
Let o = -6 + 10. Let u(c) = 6*c**2 - 4*c - 5. Let v be u(o). Suppose 2*w = -w + v. Is w composite?
True
Suppose -5*o + x = -15 - 3, -2*o - 5*x + 18 = 0. Suppose -10 = -2*p - 3*p. Suppose 7*f - 2*f - 355 = -o*c, p*f = -5*c + 431. Is c a prime number?
False
Let r = 614 + 1323. Is r a composite number?
True
Suppose 12*g = 1392 - 276. Is g composite?
True
Let z(m) = m**2 + 6*m - 3. Let j = 24 - 12. Let f be (j/5)/((-3)/10). Is z(f) prime?
True
Let a(q) = q**3 - 4*q**2 - 2*q - 1. Is a(6) a prime number?
True
Let u(r) be the first derivative of 40*r**2 - r - 30. Let b(k) = k - 6. Let p be b(7). Is u(p) a composite number?
False
Suppose 0 = -13*v + v + 1068. Is v composite?
False
Let l = -546 + 766. Suppose k - 3*t - 55 = 0, -l = k - 5*k + t. Is k prime?
False
Let m(j) = -57*j**3 - 2*j**2 - 2*j + 1. Is m(-2) a composite number?
True
Let q(g) = -g**3 + 5*g**2 + 7*g. Let j be q(5). Let f(i) = 129*i**3 - 2*i**2 + i. Let r be f(1). Suppose -3*s + r = j. Is s a composite number?
False
Suppose p - 158 = 3*l, -p + 4*p + 5*l = 488. Is p a composite number?
True
Suppose 5*l - 4*l - 55 = 0. Is l a prime number?
False
Let j = -723 - -1618. Is j a composite number?
True
Let l = 8 - 8. Suppose -2*h - 121 = -r + h, -2*r - h + 256 = l. Is r composite?
False
Let c(z) = 41*z**2 - 12*z - 7. Is c(16) a composite number?
True
Let z = -432 - -264. Let r = 505 + z. Is r a composite number?
False
Let r be 6/(-10) - 56/(-10). Let v be ((-4)/(-10) - 0)*r. Let k(j) = 2*j**2 + 3*j - 1. Is k(v) composite?
False
Let v = -5 + 15. Let w be (1*28)/(2/v). Suppose -2*p = 4*x - w, -6*p + p = -x + 57. Is x a composite number?
False
Suppose -4*b = 4*u - 612, u = -b - 3*b + 165. Is u prime?
True
Let t = -150 - -256. Is t a composite number?
True
Let k(y) = y**3 + y**2 - 2*y + 2. Let x be k(5). Suppose 5*o - 2*i = 208, 4*o - 4*i = x + 22. Let t = o - -69. Is t a prime number?
False
Suppose 5*q - 10 = 0, 2*k - 3*q - 604 = 2*q. Is k a composite number?
False
Let l(p) be the first derivative o