
True
Suppose 0 = -28*a + 13843 + 711049. Is a composite?
False
Suppose -3*k + 37307 = 2*s, 25*k - s - 49761 = 21*k. Is k a composite number?
True
Is (-4*(-24489)/72)/((-6)/(-20)) a composite number?
True
Let z(b) = b**2 - 10*b + 19. Let i be z(8). Suppose 5*k = l + 3*l + 337, -316 = -5*k - i*l. Is k a composite number?
True
Let a be 12/(-9)*(-25 - -4). Let r = -72 + 107. Is a/r + 481/5 prime?
True
Let i(w) = -22*w**3 - 6*w**2 - 13*w - 22. Is i(-7) prime?
True
Let n(x) = 3*x**2 - 5*x + 5. Let q be 1/(0 + 1) + 4. Is n(q) prime?
False
Let t = 12 + -12. Let l(a) = -a - 12. Let k be l(t). Let m = k + 211. Is m a composite number?
False
Suppose 6*n = -0*n. Suppose 5*u - 3033 = -4*f, f + 2*u - u - 758 = n. Suppose -5*y - 5*j + 1269 = -j, 2*j + f = 3*y. Is y a prime number?
False
Let z(v) = 4404*v + 17. Is z(3) a composite number?
False
Let j(t) = 27*t**2 - 24*t + 181. Is j(-36) composite?
False
Suppose 4*t - 5*m = -2*m + 1772, 3*t - 3*m = 1329. Is t a prime number?
True
Let r(c) = 3*c**2 - 3*c + 55. Is r(20) a composite number?
True
Suppose 5*x - 2*z + 2 = 0, -12*x + 15*x - 3 = -3*z. Suppose x = 161*j - 164*j + 9663. Is j a prime number?
True
Suppose -10816 = -4*u + 4*v, 4*u = 7*u + 4*v - 8119. Is u composite?
True
Suppose 43*s = 38*s. Let g(a) = 2*a**3 + 89 - 2*a**3 - a**3 + a**2. Is g(s) prime?
True
Let q be (3 - 2) + 12*7. Let i = q - 310. Is i/(-3) + (-12)/3 a prime number?
True
Suppose -14*w - 20 = -9*w. Let c be 0*w/16*-1. Suppose c = 4*q - 10*q + 492. Is q a prime number?
False
Let b(g) = 110*g. Let s(r) = -r. Let n(i) = -b(i) - 55*s(i). Let d be n(-1). Suppose -d = -3*u + 2*u. Is u composite?
True
Let g be 1/((-6)/4)*378. Let f = -146 - g. Is f composite?
True
Let w be 13/3 + 12/18. Suppose 1715 = -w*n + 6250. Suppose 158 = -a + n. Is a a composite number?
True
Let p = -490 + 1212. Suppose c = 45 + p. Is c a prime number?
False
Suppose 0 = -z - 0*z + 6. Let v(h) = 29*h - 11. Let f be v(z). Suppose 5*n + 6 = 2*n, -n = -s + f. Is s composite?
True
Let p(g) = -2146*g + 221. Is p(-6) prime?
False
Let d be (12 + (-1 - -3))/(-2). Let j = -16 - d. Let w(m) = -m**3 - 7*m**2 + 11*m + 11. Is w(j) composite?
True
Let k(j) = -j**3 + 3*j**2 + 3*j + 4. Let y be k(4). Suppose -5*u + 5*o - o - 4 = y, -4 = -4*o. Is (-291)/(-2)*(u + 2) a composite number?
True
Let u(t) = -t**3 + 2*t**2 - 9*t - 8. Let n be u(5). Let x = n - -507. Is x a prime number?
True
Let l(o) = o. Let n be l(6). Let u = -1 + n. Is (-2356)/(-8) + u/10 prime?
False
Let x(k) = 4*k**3 - 13*k**2 + 5*k + 11. Let r be x(6). Let q = r - 178. Is q prime?
False
Suppose 5*l = 4*k - 8264 - 6088, -14380 = -4*k - 2*l. Is k prime?
True
Let i(a) = 5281*a**3 - 9*a**2 + 24*a - 1. Is i(2) a composite number?
True
Let a(f) = -45*f + 9. Let p(m) = -3*m - 20. Let d be p(-9). Let n be a(d). Let j = n + 707. Is j a prime number?
True
Suppose -z - 1842 = -r, 2*z + 1729 = 4*r - 5637. Is r a composite number?
True
Let b(r) = -7*r**3 + 3*r**2 + 7*r + 5. Let y be 2 + 4/(2/(-2)). Is b(y) a prime number?
True
Suppose -5*v - 777 = 3*j, -871 + 251 = 4*v + 4*j. Let l = -7 - v. Is l a composite number?
False
Suppose 2*u + 1423 = -1749. Let t = 1153 - u. Suppose 714 = 3*j - t. Is j a composite number?
False
Let h(g) = 481*g**3 - 6*g**2 + 4*g + 1. Is h(2) a composite number?
False
Is (-6795668)/(-143) + (-8)/52 prime?
False
Suppose u - 57 = 4*u. Let k be (-8)/(-28) - u/7. Suppose -k*c + 189 = -102. Is c a composite number?
False
Let y = -7 - -13. Let q(b) = -b - 1. Let s(u) = 16*u + 12. Let a(d) = 3*q(d) + s(d). Is a(y) a composite number?
True
Let y(q) = 2*q + 14. Let j be y(8). Let z = 23 + j. Is z a prime number?
True
Suppose -3*d - 4 + 13 = 0. Suppose 0 = -d*u + 4*f + 14, -2*u - 5*f = -4*f - 2. Suppose -u*j + 921 = j. Is j prime?
True
Suppose 0 = 5*a - 5*s + 4*s - 10600, 3*a + 3*s = 6342. Let q = a - 1046. Is q a prime number?
False
Let c = 25 + -22. Let n(j) = 7*j - 8 + 13*j + 1. Is n(c) a composite number?
False
Let x(i) = -1008*i**3 - 4*i**2 - 6*i - 7. Is x(-3) prime?
True
Let b be 1 + 2 - (211 + -1). Let f = 328 + b. Is f a prime number?
False
Suppose 3*i + 35 = 4*f, 2*f - 3*i - 19 = -0*i. Suppose 4*y + 4 = f*y. Is ((-7)/7)/(y/(-127)) composite?
False
Let k = 5749 + -4098. Is k a prime number?
False
Is ((-2 - 8010) + -1)*2/(-6) a composite number?
False
Suppose 3*g - 3*d + 32 = -4, 4*g + 52 = 3*d. Let h = g - -26. Let n(p) = -p**3 + 10*p**2 + 12*p + 7. Is n(h) a prime number?
True
Suppose -621*c - 12373 = -622*c. Is c composite?
False
Let a(n) = 4*n + 0*n + 3 + 12*n - 18. Let g = 4 - -3. Is a(g) prime?
True
Let v = -4123 - -8702. Suppose 0 = -5*o + v + 3471. Let p = o + -723. Is p composite?
False
Let l(n) = -n**3 - 6*n**2 - 4*n. Let s be l(-5). Let f = s - 1. Let j(o) = -10*o + 5. Is j(f) prime?
False
Suppose -233 = -t - 5*s + 391, 0 = 2*t + 4*s - 1260. Is t prime?
False
Suppose 3*c + 5*k - 1346 = 0, 3*c - 3*k + 2*k - 1322 = 0. Let j(b) = 4*b**3 + 4*b**2 + 7*b + 1. Let d be j(5). Let i = d - c. Is i composite?
True
Let l = 120145 + -47802. Is l composite?
True
Suppose 5*a + 12 + 23 = 0. Is (-11787)/(-5) - a*8/(-140) prime?
True
Let x = 10541 + -7360. Is x a prime number?
True
Suppose -3*i + 6*i + 72 = 0. Let p be ((-5)/(-15))/((-2)/i). Suppose r - 21 = p. Is r prime?
False
Suppose 25 = -2*h - 5*g - 114, 3*g = h + 53. Let i = 41 - h. Is i composite?
False
Suppose -3*z = 5*b - 31188, 4*z - 41552 = 81*b - 77*b. Is z a prime number?
True
Let g = 180 + -1063. Let q be 1803 + -3 + 5 - 3. Let f = g + q. Is f composite?
False
Suppose 2*a + 0*c - 43 = -c, 3*a + 2*c - 66 = 0. Let m be (-24)/10*a/(-8). Suppose 2*s - 766 = -4*v + s, 3*s = m. Is v composite?
False
Is 4/(-5) + (-43632)/(-40) + 9 prime?
False
Let r(j) = j - 7. Let z be r(3). Is (z - 84/(-18))/((-2)/(-6477)) composite?
True
Suppose -d = -3*v + 67838, 2*d + 87593 + 2857 = 4*v. Is v a composite number?
False
Let p(k) = 8*k**2 + k. Let c be p(1). Is c/3 - (-4 + -30) prime?
True
Let u(a) = 4855*a**2 + 9*a - 1. Is u(3) composite?
False
Suppose -k = 4*d - 40, d - 53 = -4*d - 2*k. Let g = 5 - d. Let c(s) = 15*s**2 + 6*s + 5. Is c(g) a composite number?
True
Let r(g) be the first derivative of g**4/2 + g**2 + 2939*g + 52. Is r(0) a composite number?
False
Let u(x) = 2*x**2 - 7 + 14 - 8*x + 0*x. Is u(10) composite?
False
Let f = 8 + -8. Let o = 3 + f. Suppose -2*v - 82 = -o*v - 4*r, -3*v + 4*r + 214 = 0. Is v a composite number?
True
Let z be ((-4)/8)/((-1)/4). Let d be (-1 + -2)*2/z. Let w = d + 13. Is w a composite number?
True
Suppose -3*l + 4*l = -4*m + 77, -5*l - 15 = 0. Let v = -18 + m. Let w(b) = 302*b**2 + 4*b - 5. Is w(v) a prime number?
False
Let b(i) = -1 + 7 + 11*i**2 - 2 - i**3. Let l be b(11). Suppose 7*r = 3*r + 5*y + 476, 0 = -l*r - 4*y + 476. Is r composite?
True
Let x(q) be the first derivative of 7*q**3 - q**2/2 + 17*q + 11. Is x(7) a composite number?
False
Let t = 126 + 479. Suppose -8*i = -3*i - t. Is i a composite number?
True
Suppose 2*n - 1245 = -f + 5*n, 0 = 3*f - 2*n - 3742. Suppose 0*c = -2*c + 2*j + f, 2489 = 4*c + 3*j. Is c composite?
True
Suppose t - 394 = 235. Suppose 0 = 2*g + t + 81. Is 9/(-18)*(1 + g) prime?
False
Suppose 0 = a - 6*b + 4*b - 110, 2*b + 452 = 4*a. Let j = a + -301. Let q = j - -344. Is q prime?
True
Let m be (-6)/((-5)/(-2) - 4). Suppose -3*w + 8 = 5*l - 5, 28 = m*w + 4*l. Is (-33)/w*614/(-6) composite?
False
Let z be (2 - (3 - 2))*-5. Let w(y) = -11*y + 16. Let d be w(z). Let x = d - 50. Is x a composite number?
True
Let m = -70 - -212. Is m a composite number?
True
Suppose g = 5, 5*l = 2*g - g + 3270. Suppose 0 = -83*y + 88*y - l. Is y a prime number?
True
Let x(q) = -q**3 - 4 - 10*q + 5*q**2 - 13*q**2 - 6*q**2 - 3*q. Let u be x(-13). Is 142 - (0 + -1 - u) prime?
True
Suppose 0 = 2*s + 6, -15*a + 11*a - s + 18449 = 0. Is a prime?
False
Let w = -362 + -113. Let z = 848 + w. Is z a prime number?
True
Let w(n) = 104*n + 1. Let p be w(-4). Let m = p - -626. Is m a composite number?
False
Let s(h) = -h**3 - 10*h**2 + h + 12. Let o = 11 - 21. Let q be s(o). Suppose -q*n = -83 - 47. Is n a prime number?
False
Suppose -4*n - 6 = -6*n. Suppose 4*l + 2062 = n*z, 263 = z + 3*l - 446. Is z a prime number?
False
Suppose -11507 = -2*n - 61*p + 58*p, 2*n - 3*p = 11513. Is n composite?
True
Suppose 4*z - 5*z + 363 = 5*d, -5*d + 1467