site?
False
Suppose 0 = -o + 4 + 21. Let i = -17 + o. Is i/(-12)*(-357)/2 composite?
True
Let g(c) = 96*c**2 - 5*c - 19. Is g(6) prime?
True
Let n = 13 - 8. Let v(a) = -a**3 + 7*a**2 + 5*a + 4. Is v(n) prime?
True
Let m be 3 - 2/(8/12). Suppose m*r + 62 = 2*r. Is r composite?
False
Let g be (-2)/(-9) - (-22)/(-18). Is g*1/1*-22 composite?
True
Let w = 180 + -15. Let p = w + 172. Is p a prime number?
True
Let g = -19 + 27. Is (483/(-6))/((-4)/g) composite?
True
Let d(j) = 6*j**2 + 6*j + 5. Let z be ((-6)/5)/((-18)/90). Is d(z) a composite number?
False
Let d = -6 - -8. Let j be (d - (-12)/(-3))/(-1). Let b(x) = 3*x**3 - x**2 + 1. Is b(j) a prime number?
False
Suppose 4*u + 568 + 532 = -k, -4*u + 2*k - 1100 = 0. Suppose 2*p + 4*y = 0, -2*y - 17 + 5 = -2*p. Is (p/5)/((-10)/u) a composite number?
True
Suppose 0 = -5*r + 2*z + 1030, -r + 111 = 4*z - 95. Is r - (-1 - 1 - -5) composite?
True
Let q(n) = 23*n**2 + 3*n + 1. Let i = 12 + -15. Is q(i) a composite number?
False
Suppose 3*m - 1337 - 556 = 0. Is m a composite number?
False
Is 1*(-4)/((-12)/3579) a composite number?
False
Suppose 2*z + 3*z - 29065 = 0. Is z composite?
False
Suppose 3*n + m - 6460 = 0, 3*n = -2*m + 4*m + 6457. Is n prime?
True
Let w(g) = -g**2 + 7*g - 4. Let z be w(5). Let q be 2 - 2 - 306/(-2). Suppose z*o - q = 3*o. Is o a composite number?
True
Suppose 3*n = 4*v + 417, -4*n + 2*v + 556 = -v. Is n composite?
False
Is (-2)/(-10) - (-14482)/65 a composite number?
False
Let x(u) = 18 + 3 + 2 + u - u**2 + 0. Suppose -5*m + 3*a - a - 4 = 0, 0 = 3*a - 6. Is x(m) prime?
True
Let t(w) = -w**3 + 7*w**2 - 4. Let u be t(7). Let r be 3 + (u - -1) + 2. Suppose r*q = 54 + 12. Is q a prime number?
False
Let r(z) = -25*z**3 - 8*z**2 - z + 5. Is r(-3) prime?
False
Suppose -3*s + 2323 - 634 = 0. Is s prime?
True
Let s = 484 + 185. Is s a prime number?
False
Let j(a) = 2*a**2 + 3 - 2*a**2 + a**3 - 4*a - 2*a**2 + a**2. Is j(5) composite?
False
Is (-903)/(-17) + 14/(-119) a composite number?
False
Suppose 2 + 2 = -t. Let y = t - 15. Let o = y + 62. Is o a composite number?
False
Suppose 3*o + 3 = -0*o. Let i be (-34)/(-1)*o/(-2). Suppose -s + 49 = 5*b, 4*s - 9 = -3*b + i. Is b prime?
False
Let m(i) = -171*i - 32. Is m(-3) composite?
True
Let t be (-4844)/(-10) + 6/10. Suppose l - t = -4*l. Is l a prime number?
True
Suppose 3*b - 254 = 2*b. Suppose 0*x - 2*x = -b. Is x prime?
True
Suppose -4*y + 8 = 0, r - 38 = -3*r + y. Suppose m = w + 4*m + 14, 2*m + 7 = -3*w. Let s = r - w. Is s prime?
False
Let x(l) = -1 + 9 - 10*l - 3 - 2*l. Is x(-4) a prime number?
True
Suppose 15 = 3*w, 2*h + 4*w - 393 + 119 = 0. Is h composite?
False
Suppose -5*v + q = -4175, 0*v - 2*q + 4175 = 5*v. Is v prime?
False
Suppose -185512 = 2*w - 10*w. Is w composite?
False
Let b = -43 + 65. Let a = -29 + 82. Let m = a - b. Is m a prime number?
True
Let q(r) = r**2 - 3*r - 4. Let f be q(6). Let g = 10 - f. Is -2 - (-1 - g)*-8 composite?
True
Is (1306*(-1)/(-5))/(2/5) composite?
False
Suppose -3*w = 0, -4*q - 160 = -0*q - 4*w. Let f = -6 - q. Is f prime?
False
Suppose -3016 = -5*m + 679. Is m a prime number?
True
Suppose 596 = 2*g + 2*g. Is g a composite number?
False
Let j = 1456 + -743. Is j a prime number?
False
Let y = -1 - -2. Let k(f) = 143*f. Is k(y) a composite number?
True
Suppose 0 = s - 5*s + 3148. Is s a composite number?
False
Suppose -2*f - 3*f + 20 = -5*j, 4 = -j - f. Let n = j + 4. Suppose 3*w = -5*a + 96, 3*a - 4*a - 3 = n. Is w a prime number?
True
Let i(v) be the first derivative of v**4/4 + v**3/3 + 3*v**2/2 + 2*v + 6. Is i(4) a prime number?
False
Is (-794 - -3)*(-6 + 5) a composite number?
True
Let l(b) be the first derivative of b**4/4 - 2*b**3 + 3*b**2 + b - 1. Suppose 0 = 4*r + 5*d - 2 - 2, -r = -d - 10. Is l(r) a composite number?
False
Suppose h - 4*x - 14 - 6 = 0, 20 = -5*x. Suppose h*n - 25 - 217 = -r, -2*r + 477 = n. Is (-2)/9 + r/18 a composite number?
False
Let w = 331 - 111. Is ((-13)/(-4))/(5/w) a prime number?
False
Let r(v) = 189*v - 4. Is r(1) prime?
False
Let b be (6/3)/((-4)/6). Let s = b - -7. Is s a composite number?
True
Let z = -174 - -315. Suppose -4*u + z = -w - 196, 3*u - 246 = 3*w. Let t = -54 + u. Is t a composite number?
False
Suppose -2*g + x + 741 = 0, -1099 = -3*g - 0*g + 4*x. Is g prime?
True
Let y = 765 - 426. Is y prime?
False
Let b(s) = -66*s - 10. Is b(-2) prime?
False
Let m(x) = -x + 5. Let u be m(7). Let v be (10/(-25))/(u/10). Suppose r + 7*a - 89 = 5*a, 3*r - 227 = v*a. Is r composite?
False
Suppose -11*b + 57120 = -1675. Is b a composite number?
True
Let y(z) = 5*z + 16. Let l(p) = 4*p + 15. Let d(i) = 6*l(i) - 5*y(i). Let j be d(6). Suppose j*n = -4*x + 132, -x + 33 = n + x. Is n a prime number?
False
Suppose 0*o + 17 = o. Let y = o + 2. Is y prime?
True
Suppose 3*m - 434 = -z, 5*z - 2*m = 2*z + 1269. Let u = z + -298. Is u composite?
False
Is (5/2)/(6/372) a composite number?
True
Let u(v) = 13*v**2 + 2*v - 1. Let q(b) = b + 1 - 1. Let h be q(1). Is u(h) composite?
True
Let w = 1199 - 346. Is w a prime number?
True
Let u = -19 + 21. Suppose -u*p = -3*p + 21. Is p a prime number?
False
Let s(c) = -174*c + 59. Is s(-7) a composite number?
False
Let t(d) = d**2 - 5*d - 5. Let k be t(7). Suppose u - 2*u = -2*z + 13, z = 3*u + k. Is z composite?
True
Let v = 5 + -1. Let q(z) = -3*z**3 + 3*z + 0*z + 4*z**3 - 3 - 4*z**2. Is q(v) a composite number?
True
Suppose 0 = -o - 2, 5*o - 202 = -m - 13. Is m a prime number?
True
Let y = -36 + 53. Suppose 4*z + 18 = q, z - 6*z = -q + y. Is q a composite number?
True
Let u(b) = -11*b + 6. Let s be u(3). Let g = -525 + 803. Let x = s + g. Is x a composite number?
False
Suppose 5*d = 3*o - 386, -d = -3*d + 4. Suppose -5*g = r - 151, 0 = 4*g - 2*r - 0*r - o. Is g composite?
False
Let y(a) = 38*a - 1. Let s be 2/(-6) - (-70)/21. Is y(s) a prime number?
True
Let j = 1 + 90. Is j prime?
False
Suppose 0 = 5*i + 46 + 459. Let f = i + 204. Is f a composite number?
False
Suppose 0*l = -3*y + 4*l + 1901, l = y - 633. Is y prime?
True
Let w = -9 + 9. Suppose -180 = -s - 3*s + 2*t, -2*s - 2*t + 96 = w. Is s a composite number?
True
Suppose -2*x + 3*b + 1840 = 3*x, -4*x + 1464 = -4*b. Is x prime?
False
Is (-8996)/2*(-7)/14 prime?
False
Let t(r) = 9*r + 3. Let w(z) = 5*z + 2. Let q(i) = 6*t(i) - 10*w(i). Let x be q(7). Suppose -4*g = -26 - x. Is g prime?
True
Let q be 4*(-2 + 10/4). Suppose 5*k - q - 28 = 0. Is k/18 + 110/3 a prime number?
True
Let p = -129 + 314. Is p a prime number?
False
Suppose 0 = 5*h + x - 246 - 494, 5*x - 613 = -4*h. Suppose -6 = -2*j - j. Suppose -q = j*q - h. Is q prime?
False
Suppose 5*t - 16 = 34. Suppose 3*b - 2*m = -0*m - 4, -b - t = -5*m. Suppose -5*h = x - 18, b*h - x - 6 = -h. Is h a composite number?
True
Let l(y) = 8*y**2 + y - 1. Let v = 4 - 3. Let r be l(v). Suppose -48 = -3*a + 3*w, -2*w - 3*w + r = 3*a. Is a composite?
False
Let m(z) = -2*z + 1. Let n be m(8). Is (1570/n)/(2/(-3)) composite?
False
Let n = 175 - 103. Suppose 168 = -u + 4*u - 4*g, u + 4*g = n. Suppose -3*m - u = -7*m. Is m a prime number?
False
Let r be -6 + (3 - 0)*1. Let q be (-6)/r*(-10)/(-4). Suppose n - q*n = -76. Is n a composite number?
False
Suppose 5*c + 372 = 1627. Is c composite?
False
Let u be 21/4 + (-2)/8. Suppose -5*y + 4770 = u*o, 2*o = 4*y + 4*o - 3826. Is y composite?
True
Is 419/((-3)/(-6)*(4 - 2)) composite?
False
Let f be 1/(-2) + (-35)/(-2). Suppose -f = 3*q + 40. Let s = q + 41. Is s composite?
True
Let s = -5 - 3. Is ((-188)/(-6))/(s/(-12)) composite?
False
Let m(d) = d**3 - 6*d**2 + 4*d + 2. Let v be m(5). Let a = v - -3. Suppose a = -3*q - 0*q + 27. Is q a prime number?
False
Let c be (-66)/(-4)*(-5 - -3). Let l = 20 - c. Is l composite?
False
Let i = 9 + -12. Suppose 3*t - 2*h = 466, -3*t + 6*t - h = 461. Let s = t + i. Is s prime?
True
Let g = 15 + -11. Let l be -1 - g/(-2) - -6. Suppose 2*q = l*q - 30. Is q a prime number?
False
Suppose 2*j = 15256 + 9966. Is j a composite number?
False
Let q = -8 - -14. Is (q/12)/(2/148) composite?
False
Let k(j) = -j**3 + 5*j**2 - 3*j + 3. Let u be k(3). Let y = 3 + u. Is y a composite number?
True
Let m(l) = l**3 - 4*l**2 - 5*l + 6. Suppose 4*p + 6 = 5*p. Let c be m(p). Let v = c + -29. Is v a composite number?
False
Is -2 - 2/((-8)/196) a composite number?
False
Let q(h) = 87