et v = 5266 + -2807. Is v composite?
False
Suppose 15*j - 17*j + 466 = 0. Is j a composite number?
False
Suppose u + 5*t = -4*u + 1715, -t = -2*u + 698. Let k = u + -765. Let x = 717 + k. Is x a composite number?
True
Let s(n) = 301*n - 122. Is s(4) composite?
True
Suppose -679*g + 685*g = 16230. Is g prime?
False
Let a = -3 + 8. Is 321 + (4 - (a - 3)) a prime number?
False
Suppose -5*p + 8 = -2. Suppose 4*i = -h + 466, 521 = 4*h - p*i - 1379. Is h/9 - (-7)/21 a prime number?
True
Let j = -95 - -548. Is j composite?
True
Is 2931 - 8 - (5 - 15) a composite number?
True
Let r(f) = 58*f**2 - f. Let c be r(-2). Let p = -25 + c. Is p a composite number?
True
Suppose 24 = -2*h - 0*h. Let b be (h/(-9))/((-1)/6). Let p(q) = -7*q - 5. Is p(b) composite?
True
Let m(h) = h**3 + 2*h**2 - 4*h + 23789. Is m(0) a prime number?
True
Suppose -26 = -4*t + 3*p - 2, -2*t + 12 = -4*p. Suppose 0 = -t*m + 404 + 370. Is 3*(m/9 - 3) composite?
True
Let t(k) = 2*k + 16. Let h be t(-6). Suppose -d + 70 = -5*r, -r = -h*d - 6*r + 355. Suppose -16 = 3*g - d. Is g composite?
False
Let g be ((-3)/(-6))/(((-6)/4)/3). Let i = 56 + g. Is i a composite number?
True
Let m = -9 + 14. Suppose 0 = m*c - 2167 - 3888. Suppose 3*b + 0*u - c = -5*u, -b + 405 = u. Is b a composite number?
True
Suppose 4*j = 3*l - 12941, -12926 = -3*l + 17*j - 16*j. Is l composite?
True
Let w = -6 - -11. Suppose 2*a - w*a = -2001. Is a composite?
True
Let f(i) = -2*i**3 + 7*i**2 + 12*i + 2. Let m be f(-6). Is m*5/4*(-8)/(-20) composite?
False
Suppose 0 = 3*f + 15, 2*n + 0*f + 4*f = -4. Is 1*50 - 32/n a prime number?
False
Let j be (2/6)/(4/12). Suppose -3*l + 4*l - j = 0, -4*l + 1870 = 2*z. Is z prime?
False
Let h(p) = 5*p - 2. Let m be h(2). Suppose -4*i + 2621 = 3*x, 4*x - 7*i - 3512 = -m*i. Is x a prime number?
False
Is 1/(1/(-2698))*58/(-116) a prime number?
False
Let x be (-2)/(((-12)/(-5))/(-6)). Suppose -x*v = 2*v + 6195. Let p = v - -1376. Is p composite?
False
Let b(g) be the first derivative of 8*g**2 - 4*g - 8. Let q be b(11). Let y = 321 - q. Is y a prime number?
True
Suppose 5*g - 4*c = 228 + 334, -4*c + 236 = 2*g. Let q = g + 519. Is q composite?
True
Let q(i) = 2*i**3 - 5*i**2 - 10*i + 12. Let y be q(12). Is (-4)/14 + y/84 prime?
True
Let n = -541 + 233. Let i = n + 690. Is i a prime number?
False
Let g(j) = -72*j - 1. Let q(y) = -72*y - 1. Let z(m) = -6*g(m) + 5*q(m). Is z(5) a prime number?
False
Let c = -557 - -892. Is c prime?
False
Is 7512/30 + (-12)/(-20) a composite number?
False
Let g(m) = 3*m - 10. Let i be g(4). Suppose i*k = 5*l - 1209, -4*k = l - 0*l - 255. Is l/7 + 4/14 composite?
True
Let o = 57 - 52. Is -1 - ((-8)/o)/(14/32025) composite?
False
Let l(j) = 2064*j + 763. Is l(9) a prime number?
False
Let c = 24 + -6. Let q = c + -16. Suppose -w - q*h = -221, -2*h = -4*h + 10. Is w a composite number?
False
Suppose -a - 2*a - 84 = 0. Let n = 33 + a. Is n + -6 - (-157 + 1) composite?
True
Suppose 217*p - 42327 = 208*p. Is p prime?
True
Suppose 22*n + 10 = 24*n. Suppose -2*m - 5*j + 2381 = 0, 3*j - 2523 + 8491 = n*m. Is m a prime number?
True
Let l be 27/(-3)*4/(-6). Let t(d) = -2*d**2 + 3*d + 14. Let b(g) = -2*g**2 + 2*g + 14. Let k(w) = l*b(w) - 7*t(w). Is k(11) a composite number?
True
Let q(h) be the third derivative of 485*h**4/24 - h**3/3 + 9*h**2. Let k be q(2). Let d = k - 313. Is d composite?
True
Suppose -2*c - 2 = 0, 11 - 130 = 5*l + 4*c. Let o(k) = 52*k + 10. Let n be o(6). Let g = n + l. Is g composite?
True
Suppose 4*m = 10*m - 22854. Is m composite?
True
Let k be (-6)/(-15) - (-110)/(-25). Let u(l) = 8*l**3 + 6*l + 6. Let n be u(k). Is n/(-4) - (-1)/2 a composite number?
True
Let s be -4 + 1 - 638/(-2). Suppose -s = -2*u + 2*y, -2*u = 4*y - 2*y - 324. Is (1 - (2 - u)) + -1 a composite number?
True
Suppose 28*v = 26*v. Let k(i) = -i**2 - 11*i + 8. Let j be k(-8). Suppose 5*q - 43 = -v*q - 4*n, 2*n - j = -4*q. Is q composite?
False
Let j(s) = -s**3 + 17*s**2 - 18*s + 34. Is j(12) prime?
False
Suppose -28*d + 98*d = 1302490. Is d prime?
False
Let a(i) = 110*i**2 + 5*i + 38. Let y be a(7). Let t = y - 3684. Is t a prime number?
False
Suppose -4*j - 22*a = -21*a - 260721, 260726 = 4*j + 2*a. Is j a composite number?
False
Is (-1274228)/(-36) + (-26)/117 composite?
True
Let b be -1578*((-13)/3 + 3). Suppose -2*v - 6*v + b = 0. Is v a composite number?
False
Let v(h) = -4*h + 22. Let t be v(10). Let a = 22 + t. Is -1*a/4 - -34 a prime number?
False
Suppose 0*h - h - 158 = -u, -3*u = 2*h + 301. Let o = 296 - h. Is o prime?
False
Let n = 35846 + -20167. Is n composite?
False
Suppose 16*t = 15*t + 2703. Let r = t - 1562. Is r a composite number?
True
Let g(b) = 1775*b + 2. Let s(y) = -y**2 - y + 13. Let j be s(0). Suppose 3*k - j = -5*a, -5*a + 9 = 4*k - 5. Is g(k) prime?
True
Suppose 59*f - 16401 = -4*b + 58*f, 2*b - 3*f = 8211. Is b composite?
True
Let k(n) = 8*n**2 + 16*n + 31. Is k(-19) prime?
False
Suppose 4*n - 5*b = -3 + 5, -16 = 5*n + 3*b. Let d(s) be the first derivative of 32*s**3/3 + s**2/2 + s + 1. Is d(n) prime?
True
Let x(i) = 268*i**2 - 90*i - 11. Is x(-10) prime?
True
Suppose -87*r + 92*r = 6245. Suppose -3*q = -r - 1418. Is q a composite number?
True
Suppose 40 = -5*s - v, s - 2*v + 19 = -0*v. Let i = 16 + s. Let n(y) = 46*y - 15. Is n(i) composite?
False
Suppose 0 = 2*z - 5954 + 286. Suppose -4*o - 2*m + z = 0, 5*o - 2*m = o + 2822. Is o a composite number?
True
Let w = 21560 + -7929. Is w a prime number?
False
Let b(l) = l + 6. Let j be b(-2). Let a(t) = 2*t + 1. Is a(j) a composite number?
True
Let p = -42 - -46. Suppose -5*l + 5*q + 5730 = -2500, -p*l - 5*q + 6557 = 0. Is l prime?
False
Let f be (-4)/(-22) - 10136/(-154). Suppose -7*z = -6*z - f. Is ((-87)/6)/((-3)/z) a composite number?
True
Suppose -4 - 16 = -5*i, 0 = 2*t - 2*i - 4740. Suppose 8*x = t + 2538. Is x a composite number?
True
Let m(a) = 222*a + 63. Is m(13) prime?
False
Suppose g = 3*k + 2591, 4*g - k - 10392 = -3*k. Suppose -4897 = -6*z + g. Is z a prime number?
True
Let c(h) = -5*h**2 + 4*h**2 - h**3 - h**3 + 8*h + 1 - h**3. Is c(-4) a prime number?
False
Is 63/(-12)*(22420/(-12) + 3) a prime number?
False
Suppose 19*z - 4080 = 24*z. Let n = z + 1903. Is n a composite number?
False
Let g = -1901 + 5064. Is g prime?
True
Let t(s) = 2*s - 35. Let z be t(20). Suppose 5*f - 5456 - 119 = -z*w, 0 = 5*f + 2*w - 5581. Is f prime?
True
Suppose 3*m = 4*m + 5. Let s be (1 + m)*(-2)/4. Suppose 3*y = s*b + b - 279, y = 2*b - 182. Is b a composite number?
False
Let d = 27 - 4. Suppose -d = -2*f + 1. Let k = f - -77. Is k a prime number?
True
Let x(y) = -103*y - 2. Suppose -4 = 7*s + 3. Let n be x(s). Let a = n - 64. Is a a prime number?
True
Suppose 3*s + 22 = 2*h, 2*h - 2*s - 3*s - 30 = 0. Suppose -f + m + 4*m = -547, -3*f - h*m = -1601. Is f prime?
False
Let n be (-72)/(-90) + (-16)/(-5). Let q(y) = 17*y**3 - 2*y**2 - 4*y - 9. Is q(n) prime?
True
Let m(z) = -z**3 + 5*z**2 - 5*z + 4. Let q be m(4). Let j = 0 + q. Suppose -2*r + 61 + 229 = j. Is r prime?
False
Suppose 426 + 1022 = 2*d. Suppose q = 5*o - d, 20 = -3*q - 2*q. Suppose -2*g = -o - 178. Is g prime?
False
Suppose 8*t - 6 = 6*t. Suppose 205 = t*p + q + q, -3*p + 203 = q. Is p prime?
True
Suppose 0*j + 18 = -6*j. Let x(f) = 1 - 9*f**3 + 0*f**2 + f**2 - 4*f + 0*f. Is x(j) composite?
True
Let m(o) = 81*o**2 - 28*o + 34. Is m(11) a composite number?
True
Is (-23124844)/(-1380) - 4/30 composite?
True
Suppose -47*q - 24116 = -51*q. Is q composite?
False
Suppose 3*m + z = 3*z + 34311, 3*z = 0. Is m a prime number?
True
Let m(b) = -b**3 - b**2 + 8*b + 1087. Is m(0) a composite number?
False
Is 1325 - ((-24)/10)/(4/(-10)) a composite number?
False
Let b(m) = -6*m + 1. Let t be b(-1). Suppose 5*h - t - 98 = 0. Is h composite?
True
Let u = -1843 + 3161. Let z = u - 777. Is z a composite number?
False
Let g(w) = w**3 - 8*w**2 + 6*w + 9. Let f be g(7). Let a = 1415 + -2407. Is a/(-26) + f/(-13) a prime number?
False
Let w(u) = -3*u - u + 0 + 3*u**2 + u + 1. Is w(4) composite?
False
Suppose 2*z + 2696 = -0*z. Let m = z + 2166. Is m - -6*5/(-10) composite?
True
Suppose -594*n + 584*n + 852830 = 0. Is n a prime number?
False
Suppose -4*l - 2*n = -27792, -10*l + 34741 = -5*l + 3*n. Is l composite?
False
Let h(j) be the second derivative of 5*j**4/12 + 2*j