+ 6*b + 8. Let l(r) = -r**3 + 9*r**2 - 7*r - 7. Let o(y) = -2*h(y) - 3*l(y). Let z be o(-6). Is z/(-1)*3/1 a composite number?
True
Let o(x) = -10*x + 172. Let c be o(17). Suppose -5*v - 6393 - 1718 = -c*l, -3*l + 12139 = -2*v. Is l prime?
False
Let q(a) = 2386*a + 1 + 18*a**3 + a**2 + 14 + 6*a**3 - 2388*a. Let i be q(3). Suppose -2*b + 11860 + i = 0. Is b composite?
False
Let q(v) = v**3 - 8*v**2 + 2. Let o be q(8). Suppose o*z = -z + 168. Let a = 311 + z. Is a composite?
False
Suppose -f + 1 + 1 = -k, 4*k - 10 = -5*f. Let b = 1129 - 695. Suppose 2*m - m - 2*i - 431 = k, i + b = m. Is m a prime number?
False
Let v(l) = -l + 1. Let g(c) = -2*c - 11. Let x(s) = -s - 1. Let k(i) = g(i) + 3*x(i). Let d(j) = -k(j) - v(j). Is d(4) a composite number?
False
Suppose -o + 4*n = -558493, 166*n - 163*n + 1675461 = 3*o. Is o composite?
True
Suppose -5 = 13*p + 8. Let y(u) = 120*u**2 - 4*u - 3. Is y(p) composite?
True
Suppose 3*x = 19 - 127. Let i = 40 + x. Suppose 682 = i*m - 130. Is m a composite number?
True
Suppose 3*c - 17 - 79 = 0. Let q = -29 + c. Suppose -3*p - 210 = -q*a, -4*p = 2*a - 2*p - 128. Is a composite?
False
Suppose 0 = 4*g - 59 + 67. Let j(f) = -61*f**3 - 7*f - 9. Is j(g) composite?
True
Suppose -114*w + 210*w = 104*w - 351928. Is w prime?
True
Suppose -5*v + 32 = -3*s, 2*v - 40 = -3*v + 5*s. Suppose 6*n - 4*n = v. Let z(w) = 14*w + 10. Is z(n) composite?
True
Let p = 16609 + -3056. Is p a prime number?
True
Let j = -35953 + 62730. Is j a composite number?
False
Suppose 4*l = -9*a + 4*a + 44657, -3*a = 4*l - 26799. Is a a prime number?
True
Suppose 5*g - 20 - 15 = 0. Let y(b) = -b**2 + 9*b + 47. Let f be y(9). Suppose -g*n = -1430 - f. Is n a composite number?
False
Let z be (-6)/(-4) - 9/(-18). Let q be (-5*1/z)/((-16)/(-32)). Let d(p) = -232*p + 5. Is d(q) composite?
True
Suppose 0 = -3*o + 408 + 3228. Let h = -1007 + 1822. Let p = o - h. Is p a composite number?
False
Let i be 5/(-7 + 2) + -203. Let b be 3/(-1 - i/203). Is b/(-9)*(0 + -1 + -2) prime?
False
Let y(q) = q**2 - 7*q - 2*q**3 + 41 + 0*q**3 + 14*q - 6*q + 5*q**3. Is y(22) a composite number?
False
Suppose 0 = -u - 5*w - 25, -2*u - 10 = 3*w + 5. Suppose -4 = -4*n + 16. Suppose u = -n*b + 3972 + 4633. Is b prime?
True
Let s = 5757 - 3609. Let d = s - -4049. Is d a composite number?
False
Suppose 0 = 4*c + 7*s - 3*s - 45980, -4*c - 2*s = -45972. Suppose 3*p = -8*f + 4*f + c, 2*p = 10. Is f a prime number?
False
Suppose 4*b = 90 + 30. Let a be 66/14 + b/105. Is 49623/105 + 2/a a composite number?
True
Let u be 6/3 + 341 + -1. Suppose -422 = -4*k + u. Is k a prime number?
True
Let u be ((-80)/(-35))/4 - 278900/(-14). Is (3 + 30/(-12))*u composite?
True
Suppose 15721609 + 11950631 = 295*a - 247*a. Is a composite?
True
Suppose -259*j = -252*j - 6760411. Is j prime?
True
Suppose -15254 = d - o - 66226, 254854 = 5*d - 3*o. Is d prime?
True
Is (5 - 230096*9/(-12)*-3)*-1 a composite number?
False
Let o be (-2472)/(-138) + (-2)/(-23). Let s be (7/21)/(2/o). Suppose 4*z + z + 201 = 2*y, 314 = s*y + 5*z. Is y a composite number?
False
Let z(d) = 1746*d + 28. Let s be z(3). Let c = s + -3039. Is c composite?
True
Let r be 6/(36/30) - 1*-3. Is 5404 + 1/((-4)/r) - 1 a prime number?
False
Let k be 14 + -12 + -1 - (-174 - 0). Let r = 4008 + k. Is r a composite number?
True
Suppose 5*i - 5*u - 833975 = 0, 4*i + 93*u - 98*u = 667176. Is i a composite number?
False
Let d(r) = -6*r**3 - 17*r**2 + 47*r + 293. Is d(-30) prime?
False
Let g = 3789 + 118280. Is g a prime number?
True
Suppose m + 1 - 20 = 0. Suppose -m*o + 36020 = -15*o. Is o composite?
True
Suppose 0 = 1471*w - 1426*w - 13379265. Is w a prime number?
True
Suppose -3*u - 24 = -4*d - 5, -6 = -3*d + 5*u. Suppose 0 = 2*y - d*i + 4*i - 589, 4*y = -4*i + 1208. Is y composite?
True
Suppose -30 = 2*x + 122. Let u = -18 - x. Let p = u + -45. Is p a prime number?
True
Let j(h) = 76*h**3 - 9*h**2 - 35*h - 6. Is j(5) a composite number?
True
Suppose 2*w - 4*z - 36 = 0, w + 10 = -3*z + 3. Suppose 11*c - 15*c = -w. Suppose c*r - 1527 = 4007. Is r a composite number?
False
Let p be (-1*1)/((-4)/(-82))*-14. Suppose p = 4*j - 333. Is j a prime number?
False
Let d(n) = 1499*n**2 + 68*n + 110. Is d(11) composite?
True
Let u(g) = -2*g + 2*g + g + 3*g + 36. Let y be u(-8). Suppose 2*d - 905 = -d + 2*j, 5*j = -y*d + 1199. Is d prime?
False
Let z = -41 - -43. Let c(k) = -4*k + 5. Let y be c(z). Is (-3925)/(-10) - -4 - y/6 composite?
False
Let m = -128 - -139. Suppose -1099 - 474 = -m*q. Is q a composite number?
True
Let r(x) = -2136*x + 2128*x - 30 + 67*x**2 + 117. Is r(7) composite?
True
Let i(b) = -2*b**2 - 21*b - 14. Let o(t) = t**2 + 10*t + 7. Let h(p) = -2*i(p) - 5*o(p). Let a be h(-7). Suppose a = -6*y + 9*y - 1341. Is y composite?
True
Let p(h) = -12*h + 12. Let y = 107 + -113. Let a be p(y). Suppose 2*k - 1226 + a = 0. Is k composite?
False
Suppose -3*o - o + 14816 = 0. Suppose 19435 = -28*h - 33345. Let k = h + o. Is k composite?
True
Let o be (-1 - 5/(-15))*(-40410)/4. Let z = 15862 - o. Is z composite?
False
Suppose -3897546 = -10*w + 1991378 + 1901466. Is w a prime number?
True
Let d(r) = r**3 + 12*r**2 + 17*r - 13. Let x be d(-10). Suppose 0 = 14*a - x*a + 7539. Is a composite?
True
Suppose 0 = -57*i + 52*i + 125. Suppose 30*w - 55 = i*w. Is ((-2686)/(-4) + (w - 10))*2 a composite number?
True
Suppose 6*d - 3*d - 9 = 0. Let n be d/18 - 1159/6. Let h = n - -455. Is h a prime number?
False
Suppose -4 = 24*v - 52. Suppose -2*b - v*b = -5*p - 15966, -b = p - 3987. Is b a composite number?
False
Let m = 17 - 11. Let h(d) = -61*d**3 - 7*d**2 + 20*d**2 + 59*d**3 - d + 3*d - 1. Is h(m) composite?
False
Suppose 6*u - u = 5. Let k be 0 - 615*(u - 2). Is k/(15/3) + 4 a prime number?
True
Let v(y) = 5*y**2 + 13*y - 56. Let h be v(-26). Let g be ((-2)/(-3))/((-2)/6297). Let r = h + g. Is r a composite number?
False
Let f = 97539 - 43280. Is f a prime number?
False
Is (-33544)/(-4)*5 + 3 - -8 a prime number?
True
Suppose 3*a + 5205 = 8*a. Let g = 1498 - a. Suppose 13*l - g = 12*l. Is l composite?
False
Let b = 911 - 403. Let s be ((-10)/8)/((-5)/2980). Let m = s - b. Is m a prime number?
False
Let l be 2 - 3 - -8055 - 3/3. Suppose -2*f = k + 2*k - l, 0 = 3*f - 6. Is k prime?
True
Suppose -4*u + 44 = -4*g, -5 = 4*u - 2*g - 45. Let s(d) = 1778*d + 37. Let n be s(u). Suppose -n + 5377 = -3*v. Is v composite?
True
Let z be (-1)/(-6)*4*(3 - 12). Is 3897/2 + z/(-12) a composite number?
False
Let z(f) = 261*f**2 - 2*f - 131. Is z(-20) prime?
True
Let m(s) = -5*s**3 - 17 + 20*s**2 + 3*s**3 + s**3 - 10*s. Let c(l) = -l**3 + 18*l**2 + 43*l - 45. Let d be c(20). Is m(d) prime?
False
Let t(v) = -8*v**3 - v**2 - 35*v - 1. Suppose -5*d + 9*d - 108 = 0. Suppose -51 - d = 13*c. Is t(c) composite?
False
Let g(q) = 220*q - 2. Let l be g(2). Let m = 253 - 232. Suppose -m*y + 24*y - l = 0. Is y prime?
False
Let a(p) = p**3 - 6*p - 1. Let t(q) = q**3 + q**2 - 7*q. Let i(o) = -4*a(o) + 3*t(o). Let j be i(-6). Is j - (8/(-2))/(-4) composite?
True
Suppose -5*w + 3*q = -16016, -2*q = 12*w - 14*w + 6404. Suppose -5*s + 12 - 2 = 0. Suppose f - 12829 = -4*l - 0*l, -l + s*f = -w. Is l prime?
False
Suppose 10*a + 20 = 14*a. Suppose 0 = -a*k + 37640 + 5815. Is k prime?
False
Suppose -4*f + 18362 = 5*j, 6*j + 3*f + 7354 = 8*j. Let b = j - 1681. Is b prime?
True
Suppose 4*z - z = -270. Let b be (-126)/z + (-2)/5. Is 2*(563/2)/b a prime number?
True
Let x = 49094 - -144243. Is x composite?
False
Let j(u) be the first derivative of -68*u**4/3 - 7*u**3/6 - 33*u**2/2 - 20. Let f(b) be the second derivative of j(b). Is f(-2) a prime number?
False
Let f(y) = -23308*y + 38. Let r be f(4). Is (r/(-102))/(3/9) composite?
False
Let b = 15202 - 8015. Let l = -3874 + b. Is l a composite number?
False
Suppose -21*k + 2975456 = -218497. Is k composite?
False
Let r = -199397 - -280480. Is r a composite number?
False
Suppose -29104454 - 24587485 = -63*z. Is z composite?
False
Let b(h) be the second derivative of 757*h**3/2 + 4*h**2 - 3*h + 13. Is b(1) composite?
True
Let a be (-377)/(-78) - (-1)/6. Let z(b) = -b**2 - 9*b + 12. Let f be z(-10). Suppose 3*k - 2533 = -a*c, f*k + 1710 = 4*k - 2*c. Is k a composite number?
True
Let b(s) = -2*s - 17. Let j be b(-10). Suppose 5*c + 40 = j*d, 6 = 2*d + c - 12