- 4*x - 555, 942 = 5*h - x. Let u = -40 + h. Is u prime?
True
Suppose -w = 3, 2*w = -i - 0*w + 845. Is i a composite number?
True
Suppose 0 = -4*j - 2*b + 484, -4*j + 0*j = b - 480. Is j a composite number?
True
Suppose -3*z - t = -2350, -2*z + 817 = -4*t - 773. Is z composite?
True
Suppose -1760 = -5*i - 5*k, i - 3*i + 5*k + 669 = 0. Is i a prime number?
True
Let f = 2567 + -766. Is f composite?
False
Let u(h) be the first derivative of 17*h**6/360 + h**5/30 + h**4/8 - h**3/3 - 3. Let s(z) be the third derivative of u(z). Is s(-4) a prime number?
False
Let i(g) be the third derivative of g**5/12 + g**4/24 + g**3/6 - g**2. Let c be i(-1). Suppose 5*n - 3*m = m + 325, c*m = 3*n - 182. Is n a prime number?
False
Suppose 2*w + 5*u - 13 + 68 = 0, -2*u - 77 = 3*w. Is w*2*-5 + 3 a prime number?
False
Let n(i) = 0 + 6 - 4 - 4*i + 0*i. Is n(-8) prime?
False
Let d(y) = -y**3 - y**2 - 3*y + 19. Is d(-8) prime?
True
Suppose 2*h - 3*h - 5*a - 8 = 0, -4*h - a = -25. Is h composite?
False
Is 186 + 1*1/(-1) composite?
True
Let f = 5 - 0. Suppose -f*s + 5*v = -464 - 106, s + 4*v - 134 = 0. Is s composite?
True
Let r(h) be the second derivative of h**5/20 + h**2 + 2*h. Is r(2) a composite number?
True
Suppose -2*d = -4*g + 140, -4*d = 2*g - 3*d - 70. Is g a prime number?
False
Suppose 3*q - 371 = 292. Is q composite?
True
Suppose y = -u, 2*u - 5*y = -u - 16. Is (u/6)/((-3)/99) a prime number?
True
Suppose -2*s - 4*y = -1570, -4*s + 3*s + 782 = y. Is s prime?
False
Suppose 2*o - 321 - 87 = -4*d, 4*d = -o + 208. Let n = 369 - o. Is n a prime number?
False
Suppose 4*r - 119 = 21. Is r prime?
False
Suppose b - 663 = -5*y, 2*y - 262 = -0*b - 2*b. Is y prime?
False
Let q = 171 - 94. Is q composite?
True
Is (2 - 0)*(351/6 - -5) prime?
True
Let k(i) be the first derivative of 5*i**4/12 + 5*i**3/6 + 3*i**2/2 - i - 3. Let n(j) be the first derivative of k(j). Is n(-3) a prime number?
False
Let g(p) = 16*p + 4 + 18*p + 13*p - 10*p. Is g(3) a composite number?
True
Suppose 2*t - 316 = 954. Is t a prime number?
False
Let i(n) = n**2 + 5*n + 1. Let w be i(-6). Let b be (-2)/(-6) - w/3. Let o(s) = -3*s**3 + 3*s + 3. Is o(b) prime?
False
Let u = 765 + -418. Is u prime?
True
Let m(z) = z**2 - 8*z + 11. Let k(g) = g**3 + 6*g**2 - g + 4. Let x be k(-6). Is m(x) a composite number?
False
Let u be (-4)/(-6) - (-8)/6. Let z be (8/(-20))/((-2)/10). Suppose z*w + 83 = x, 75 = x + u*w - 0. Is x composite?
False
Suppose -4*p - p + 260 = 0. Let w = 13 - p. Let u = -26 - w. Is u prime?
True
Let n = 974 - 360. Is n a prime number?
False
Let y be (-1252)/5 - (-4)/10. Is (y/(-2))/1 - -2 prime?
True
Is 419 + 0 - (12 - 12) composite?
False
Suppose 3*v + 0*v = 0. Suppose 0 = -q + b + 6, 5*q + b - 20 - 16 = v. Suppose -z + q = -0*z. Is z a prime number?
True
Suppose -4 = 4*v, 4*t - 437 - 52 = 5*v. Suppose 2*u = 5*p + t, -4*u - u + 215 = 5*p. Suppose 2*f = 18 + u. Is f prime?
False
Suppose -j - d + 115 = 0, d - 4*d + 115 = j. Is j a prime number?
False
Suppose -z - 3 = 0, -3*y - 4*z + 4280 = y. Is y a prime number?
False
Suppose 2*m = -5*c + 438 + 1043, -4*c + 2*m + 1174 = 0. Is c composite?
True
Let z = -718 + 1785. Is z a composite number?
True
Let m = 2 - 6. Let o(i) = 3*i**2 - i - 1. Let s be o(m). Let j = s + -26. Is j a composite number?
True
Let w(x) = x**2 - 5*x - 9. Let y be w(7). Suppose -3*u + 1022 = q + 153, 4*u - 1146 = y*q. Is u a composite number?
True
Let m = -10 - -12. Suppose 0 = -5*r - m*k + 13, -11 = -r - r + 5*k. Suppose -r*d = -3*a - 444, 2*a + 262 = 5*d - 481. Is d composite?
False
Suppose -5*q + 55 = -95. Let p = -21 + q. Is p composite?
True
Suppose -704 = -5*i + 471. Is i a composite number?
True
Suppose 0*a + 576 = 3*a. Suppose -3*v + 4*x = v + a, 0 = 4*v - 2*x + 200. Let f = -15 - v. Is f a composite number?
False
Suppose 21 = -2*r + 5*r. Is (-2)/(-7) + 3281/r a composite number?
True
Suppose -5*c + 853 + 1037 = 0. Let t = 563 - c. Is t prime?
False
Let g(c) = c**3 - c + 74. Let t be g(0). Let f be (-10)/(-4)*8/10. Suppose 0 = 2*b + 4*z - 3*z - 74, 0 = -f*b + z + t. Is b a prime number?
True
Let u(d) = 57*d**2 - 6*d. Let l(x) = -x**2 + x. Let a(p) = 6*l(p) + u(p). Let z = 0 - -1. Is a(z) a prime number?
False
Suppose -4*i - 5 = 11. Let b = 1 - i. Suppose -77 = 4*d - b*d. Is d a composite number?
True
Suppose 2*t - v - 24 = 0, -6*v + 3*v - 6 = 0. Let b be t - -4*2/(-4). Suppose 4*w - 24 = -h, -2 = 3*h - w - b. Is h a composite number?
True
Suppose c - 5*l + 15 = 0, c - 4 + 3 = l. Suppose 699 + 376 = c*f. Is f composite?
True
Let z = -12 + 6. Let g(t) = t**3 + 6*t**2 - 2*t - 8. Let w be g(z). Suppose -w*f = -s - 6 - 86, -3*s - 92 = -4*f. Is f composite?
False
Suppose 3*x - 5*x = -222. Is x a prime number?
False
Let v be 9 - ((1 - 1) + 3). Is 890/6 + v/9 prime?
True
Is 2915/10 - (-1)/(-2) a prime number?
False
Is 2/4*(7*148)/2 a composite number?
True
Let n(t) = t**2 - 56. Let c(g) = -1. Let m(v) = 3*c(v) - n(v). Is m(0) composite?
False
Let a be (0 + (-3)/6)*-10. Let n(h) = 2*h**2 + 5. Is n(a) a composite number?
True
Suppose 3*w = -3*a + 2*w + 1562, -4*a + 4*w + 2088 = 0. Is a composite?
False
Suppose 0*a = 5*a - 525. Is (a/(-14))/(1/(-2)) prime?
False
Let j be 5/(-15) - 14/(-6). Suppose j*r + t + 11 = -4*t, 2*r + 2 = -2*t. Suppose 3*i - 10 = 4*z, 3*i + r*z - 21 - 1 = 0. Is i prime?
False
Let w be ((-12)/(-8) - 0)*-6. Let a(k) = k**2 + 8. Is a(w) composite?
False
Let q be (-2 - -4) + (-2 - -1). Let c(u) = 11*u**3 - 2*u + 1. Is c(q) a prime number?
False
Suppose 0 = k + 4*r - 13, 9 + 9 = 4*k - r. Suppose 0*x + k*x - 165 = 0. Suppose -5*q + x = -2*q. Is q prime?
True
Suppose -5*a = -4*d - 9119, 5*a + 3*d - 9111 = -d. Is a a prime number?
True
Suppose 2*h = -3*h + f - 150, -2*h = -5*f + 37. Let b = 62 + h. Is b a composite number?
False
Suppose -3*f = 6, 0 = -2*y - 4*f - 30 + 474. Is (y/4)/(4/8) prime?
True
Is -13269*(-4)/30 - (-11)/(-55) a prime number?
False
Suppose 2*q = f - 512, 2*q = 4*q - 5*f + 528. Let a = 55 - 25. Is 3/a*q*-5 a prime number?
True
Let f = 87 + 418. Let i = 740 - f. Is i prime?
False
Suppose -4*k = g - 0*k - 31, 5*k = -5. Suppose z - 5*z + 496 = 0. Let d = z - g. Is d composite?
False
Suppose 2*j - 159 = 6*x - 7*x, -5*x + j = -817. Is x composite?
False
Let f be 40/12*(-3)/(-2). Suppose -f*z + 13 - 53 = 0. Is (-2)/z - (-619)/4 prime?
False
Let h(f) = 24*f**2 + 4*f + 7. Is h(-5) a composite number?
False
Let l(z) = z + 7. Let v be l(-5). Suppose -q + 23 = 5*n, -v*q + 1 = -n - 1. Is 1*(-39)/(-1*q) a prime number?
True
Let d(i) = -22*i + 9. Let l be d(-10). Let x = l - 152. Is x a composite number?
True
Suppose -4*t - t = 25. Let d(x) = x**2 + 8*x + 7. Let u be d(t). Is 712/u*(-1 - 0) a prime number?
True
Let o be (3 + -1)*-1*1. Let j = 0 + o. Is 17 + 3 + (j - -1) prime?
True
Let m(v) = -v - 13. Let w be m(-9). Let f be (-6)/w*(-30)/3. Is (-51)/f - 8/20 a prime number?
True
Let d = -2 + 7. Suppose -d*o + 28 = x - 0*o, 3*o - 72 = -3*x. Is x composite?
False
Let d be 1/(-4) - (-1)/4. Suppose 0*q - 5*q - s - 1474 = d, 2*q = -s - 592. Is q/(-15) + (-6)/10 a composite number?
False
Suppose -25 = -p + 108. Is p prime?
False
Let w(q) = q**3 + 7*q**2 + 6*q + 8. Let i be w(-6). Let r = 13 - i. Suppose 13 = r*h - 22. Is h a composite number?
False
Suppose -5*r + 1118 = -o - 2275, 2722 = 4*r + 3*o. Is r a prime number?
False
Let g(m) = 12*m**2 + 2. Is g(-4) composite?
True
Let v = 103 - -24. Is v composite?
False
Suppose 1798 = 4*y - d + 4*d, d + 1806 = 4*y. Is y a prime number?
False
Suppose -5*b = -2835 + 440. Is b composite?
False
Suppose 5*j - 6778 = 3*j. Is j composite?
False
Let k(b) = b**2 + 89. Is k(0) prime?
True
Let t = -2857 + 1423. Is (2 + 0)*t/(-12) composite?
False
Suppose -2*q - 5*a + 4668 = -6*a, 2*q = -2*a + 4662. Is q a composite number?
False
Let n be 1318/(-8) + (-2)/8. Let m = -112 + 60. Let i = m - n. Is i prime?
True
Let c be (-2 - -8)/(0 - -1). Let y(p) = 11*p + 8. Is y(c) composite?
True
Let j be (-1201)/(-4) - (-6)/(-24). Suppose -125 = -5*g + j. Is g prime?
False
Suppose 5*g + 3 = 8. Is 3 - (-333 - (g + 0)) a prime number?
True
Let n be (-144)/(-14) + 4/(-14). Let k be (5/n)/((-2)/(-8)). Suppose -s = 4*q - 17, 4*s - k*s + q = 27. Is s a composite number?
False
Let v(l) be the first derivative of 1/4*l**4 + 10/3*l**3 + 9*l + 3 - 3*l