composite number?
False
Let s = 3559 - -2758. Is s composite?
False
Suppose 4*y = n - 4517, -9*n - 2*y + 22497 = -4*n. Is n composite?
True
Let j(z) = -2*z + 1. Let i be j(-2). Let d(h) = -h**2 - 7*h - 6. Let l be d(-6). Suppose i*m = -l*m + 1705. Is m a prime number?
False
Suppose 5*p + 0*p + 34 = r, -2*p = 2*r - 8. Let o = r + -5. Suppose 0 = o*s - 3*f - 379, 2*s + 3*f - 214 = -11. Is s a prime number?
True
Suppose 2*w + 0*w - 13 = -3*y, 0 = 4*y - 3*w - 23. Let q(f) = y*f**2 - 1 - 3*f**3 - 2*f**2 + f + f. Is q(-2) composite?
False
Let o(k) = 1852*k - 10. Let n be o(5). Is n/8 - -6*3/24 a composite number?
True
Let l be 3 + -10 + 1 + -4. Let y = l + 6. Is (322/8)/((-1)/y) composite?
True
Let s(c) = -2*c - 2. Suppose 5*i - 9 = -2*p, p + 2*p = 5*i - 24. Let o be s(p). Suppose -2555 = -o*r - 3*r. Is r a composite number?
True
Is (-200310)/(-24) - (-21)/28 composite?
True
Suppose -6*x + 5 = -7. Is (-105)/(-1 - 2) + x a composite number?
False
Let i(r) be the second derivative of -r**4/12 - 3*r**3/2 + r**2 + 7*r. Let n be i(-9). Is n/9 - 3423/(-27) prime?
True
Let b(v) = 725*v**2 + 26*v + 1. Is b(-8) composite?
True
Let i(y) = 463*y + 67. Is i(12) prime?
True
Let b(h) = h**3 - 11*h**2 - 11*h - 4. Suppose l - 2*k - 23 = 0, -l - 4*k - 97 = -6*l. Is b(l) prime?
True
Let f = 29 + -27. Suppose -f*s + 3453 = s. Is s prime?
True
Let o(q) = 28*q**2 + 9*q - 1. Is o(3) a prime number?
False
Suppose 2*z + 2 = 8. Suppose -4*s = 4*w - 15 + z, -4*s + 4*w + 4 = 0. Suppose 4*u - 1010 + 117 = -3*t, -s*t + 448 = 2*u. Is u prime?
False
Let f be ((-6)/(-4))/((-42)/(-112)) - 0. Is (-4)/(f/(-3)) - -2834 a prime number?
True
Suppose 0 = -5*r - j - 4*j - 55, 90 = -5*r + 2*j. Let b(c) = -6*c - 10. Is b(r) a composite number?
True
Suppose 2*c - 1 + 3 = 0, 0 = 5*d - 3*c - 13. Suppose 621 = d*r + 4*i - 39, 316 = r - 5*i. Is r composite?
True
Let i = -3604 + 41507. Is i a composite number?
True
Let z = -1003 + 1822. Suppose 2*k + 5*x = -2*k + z, -3*k + 5*x + 588 = 0. Is k prime?
False
Let l(g) = -g**2 - 16*g + 7. Let q be 1/(-6) - (-290)/12. Suppose -h - h - q = 0. Is l(h) composite?
True
Let f = -6954 - -18585. Is f a prime number?
False
Suppose -5*v + 16*v - 77 = 0. Is (-1)/(-6)*-2*(-5019)/v prime?
True
Suppose 7 = -3*o + 4. Let b = 3 + o. Suppose -x - 227 = -b*x - a, x + 2*a = 231. Is x a composite number?
False
Let l(c) = 5*c - 2. Let t be l(-3). Let g = t - -163. Is g a composite number?
True
Suppose -1952*i + 17992 = -1944*i. Is i a prime number?
False
Suppose -20*b - 70 = -13*b. Let v(q) = 11*q**2 + 8*q + 17. Is v(b) prime?
False
Let o be 3 - (40/4)/2. Let p be -2 - o - (-10 + 7). Suppose 706 = p*q - 263. Is q a prime number?
False
Let d be (-3)/(-6)*2*292. Suppose -3*s - s + d = 0. Let o = 191 - s. Is o a prime number?
False
Suppose 5*f + 2*o - 33 = 0, -2*f = 2*o - 19 + 1. Let k = f + -7. Is 321/2 - k/4 composite?
True
Suppose p = i + 3*p - 13, 2*i - 6 = p. Suppose -4302 - 1379 = -13*n. Suppose i*s = 4*s + n. Is s a prime number?
False
Suppose 2*k = 3*p + 10459, 3*k - 5*k + 10465 = -p. Is k composite?
True
Let z(m) = m**3 - 11*m**2 - 185*m + 4. Is z(27) composite?
False
Suppose 0 = 33*q - 46*q + 11791. Is q prime?
True
Let d be ((-1)/5)/((-10)/250). Let z(q) = -q**3 + 7*q**2 - 8*q - 10. Let k be z(d). Suppose k = 16*i - 13*i - 2667. Is i a composite number?
True
Let n = 64 - 29. Let c = 18 + 62. Let p = c + n. Is p prime?
False
Let o(j) = 9*j**2 + 16*j + 3. Is o(-14) a composite number?
False
Let t(y) = -3*y**3 - 3*y**2 + y - 5. Let b be t(3). Let v = b - -297. Is v composite?
True
Suppose 7*m - 109627 = t, -4*m + 0*t + 5*t + 62644 = 0. Is m prime?
True
Let u = 6911 - 3940. Is u a prime number?
True
Let u be (6/9)/((-3)/(-18)). Suppose -2*j + u = -0*j + 2*o, -3*j + o + 10 = 0. Is -65*(2 - j/1) a composite number?
True
Suppose -9840 = -6*s + s. Suppose s = 4*m - i - i, -3*m = 5*i - 1489. Is m prime?
False
Let i(g) = 6829*g + 28. Is i(1) prime?
True
Is -586*((-12)/(-20) + 151/(-10)) a prime number?
False
Let x = 604361 + -426270. Is x a prime number?
True
Let t(k) be the second derivative of k**4/2 - k**3/6 - 3*k**2 + 71*k. Suppose 4*g = 3*g - 5. Is t(g) a prime number?
True
Let q(n) = -n**3 + 30*n**2 + 32*n + 24. Is q(25) prime?
False
Suppose -2*u = -2*a + 3*u + 30, -3*a - 5*u = 5. Suppose -5*b = -a*i - 10, 20 = 5*i + 5. Let o(l) = 14*l**2 + 5. Is o(b) a composite number?
True
Suppose 5*q - 3*k = 799 + 189, q + 5*k - 220 = 0. Let j = -134 + q. Suppose -3*v + j = -0*v. Is v a prime number?
False
Let x = -26 + 28. Suppose -2*u - 4*l = -4502, l + 6746 = x*u + u. Is u a composite number?
True
Let t(x) = 6*x**2 - 22*x + 961. Is t(-46) prime?
True
Is -4 - 335/(3/(-27) + 0) a prime number?
True
Suppose 1 = -5*i + 16. Suppose b = -i*b. Suppose u - 34 = -b*u. Is u composite?
True
Suppose 0 = -3*k - 0*k + 7944. Suppose 5*s + 5*t - 22690 = 0, -4*t + 1896 = s - k. Is 4/(-14) - s/(-98) prime?
False
Let t = -11 - -12. Suppose x - 4 = -t. Is 35 + (x - (2 - 1)) a prime number?
True
Let l(t) = -t**2 - 37*t - 77. Let b be l(-35). Let k(d) be the second derivative of 5*d**4/12 - d**3 + 3*d**2 + d. Is k(b) composite?
False
Let o(z) = 14*z**2 + 4*z + 19. Is o(-15) a prime number?
True
Let y = 16603 + -9032. Is y composite?
True
Let q be 0 + 4 - 4 - -6. Is 156 + (4/(-10))/(q/(-30)) composite?
True
Suppose -1192 = 4*d + 2516. Let y = d + 1938. Is y a prime number?
False
Suppose 4*x - 46 = 3*z, 2 = -4*z - 4*x - 22. Let u be (12 + z)*69/2. Let p = u - 16. Is p composite?
False
Let t = 25 - 34. Let g(l) = -78*l - 1. Is g(t) composite?
False
Suppose 10921 = 3*m - 5*h, -7*m + 9*m - 7314 = -5*h. Is m a prime number?
False
Let c be (7114 - 1) + (0 - -1). Suppose 2*i = -5*z + c + 1615, -2*i - 6976 = -4*z. Is z composite?
True
Let q(j) be the first derivative of 0*j**3 + 583*j - 11 - 1/4*j**4 + 0*j**2. Is q(0) composite?
True
Suppose 5*p - 436 = -0*p + 4*t, 0 = 4*t - 4. Suppose m + 21 = p. Is m a composite number?
False
Is (-15)/(-9) - 2 - 376656/(-72) prime?
True
Let h = -11 + 15. Suppose 2*k = h + 8. Is (-236)/(-12) - 4/k a composite number?
False
Let x = -64 + 89. Suppose 1366 = -a + 2*a + m, 5*m - x = 0. Is a a prime number?
True
Suppose -110426 + 835139 = 33*t. Is t composite?
False
Is (-231634)/(-104) + 2/(-8) prime?
False
Let z be (-3 - -3)/(0 + 1). Suppose -4*i + 251 + 313 = z. Is i a composite number?
True
Suppose 31*y - 34*y + 3*j + 98619 = 0, 5*y - 164365 = -5*j. Is y prime?
False
Suppose 20524 = 4*i - x, 5*x = 2*i + 9*x - 10262. Is i a composite number?
True
Let m = 2842 - 1326. Suppose 3026 + m = 6*u. Is u prime?
True
Let g = 137 - 128. Let r(b) = -10*b**3 + 3*b**2 - 3*b - 3. Let n be r(-4). Is (n - g) + 1*-3 a prime number?
False
Suppose 617 = w - 3776. Suppose -w = -5*f - 908. Is f composite?
True
Suppose 11*n = -3*n + 677306. Is n a prime number?
False
Suppose 0 = 5*f + r - 8286, 1327 = 2*f - 2*r - 1985. Is f prime?
True
Suppose 9*j = 17*j + 5848. Let g = 1086 - j. Is g composite?
True
Let g = 1659 + -731. Let z = g + -183. Is z prime?
False
Let t(v) = -187*v. Let w(f) = -376*f + 1. Let z(s) = -9*t(s) + 4*w(s). Suppose -4*p + 3 = -9. Is z(p) prime?
True
Suppose -2*r - 106 = 2*j, 18 = -3*j + 3. Let v(f) = f**2 - 13*f - 65. Let z be v(16). Let k = z - r. Is k composite?
False
Let h(z) = 261*z - 13. Let q(w) = 131*w - 6. Let x(r) = 3*h(r) - 5*q(r). Is x(4) a prime number?
True
Let d(p) = -p**2 - p - 1050. Let k be d(0). Let n = k - -2082. Let q = n + -283. Is q prime?
False
Let j(d) = 0 - 6*d - d**3 - d**3 - 12*d**2 + 0*d + 3. Let p be 11*(-4 + 3) - -3. Is j(p) a composite number?
False
Let s(c) = c**3 + 10*c**2 - 3*c - 3. Suppose -4*a = 2*t - 6, -2*a - a + 22 = -2*t. Let d(x) = 2*x + 2. Let r be d(t). Is s(r) a composite number?
False
Let w(d) = 3*d**2 - 121*d + 67. Is w(41) a composite number?
False
Let m(g) = 470*g - 379. Is m(37) composite?
False
Suppose -228 - 178 = -7*m. Is m a composite number?
True
Let o = 241 - 132. Is o a composite number?
False
Let l = -31946 + 50499. Is l composite?
False
Suppose -17543 = -10*i - 2133. Is i a prime number?
False
Let u(j) = -25*j - 31*j + 7 + 19*j. Is u(-22) prime?
True
Let h be (0 + -904)*(2 + 25/(-10)). Suppose h = 7*q - 549. Is q prime?
False
Suppose 0 = -3*v + 5*n - 5767, 674 - 4540 = 2*v + 2*n. Let l = v + 4172. Is l a composite numb