ite?
False
Let i be (3 - 0) + 0 + 2. Suppose 67 = 5*l + q, i*l - 73 = -0*l - 4*q. Is l prime?
True
Let r(i) = i**3 + 4*i**2 - 6*i. Let y be r(-5). Let a = 7 - y. Suppose 5 = a*n - 3. Is n prime?
False
Suppose 2 = -2*x + 20. Is x a composite number?
True
Let f be ((-2)/(-1) - 3) + 5. Let o = f - 1. Is o composite?
False
Suppose -5*s + 4 = -16. Suppose 3*w + 5*l = 19, -s*w + w + 4*l = -28. Suppose -w*g = -3*g - 5*o - 380, 0 = -g - 4*o + 91. Is g prime?
True
Let q(x) = 35*x**2 + 2*x - 2. Is q(-3) prime?
True
Suppose -34 + 9 = -j. Is (j + 4 - 0)*17 a composite number?
True
Let j be (-10)/(-4) + 4/(-8). Let h be 288/(-3 + 1) + j. Let r = -29 - h. Is r composite?
False
Let u be (125 + 9)/(-1 - -2). Let h = 15 + u. Is h a composite number?
False
Let b(y) = 2*y + 2. Let a(r) = -7*r. Let m(v) = v. Let f(p) = a(p) + 6*m(p). Let x(s) = -2*b(s) - 6*f(s). Is x(5) composite?
True
Let b(o) = -o**3 - 12*o**2 - 15*o + 3. Let q be b(-11). Suppose 2*i = 5*i + 6. Let g = q - i. Is g a prime number?
False
Suppose -3*x + 7 = -8. Suppose 5*b + r - 25 = 0, -3*b + x*b - 3*r + 7 = 0. Suppose s = -3*d + 154, -7 = b*d - 3*s - 234. Is d prime?
True
Let v = 6 + -4. Is 266/21*3/v a composite number?
False
Let x = 1009 - 516. Is x a composite number?
True
Let p(m) = 46*m**2 - 5*m - 15. Is p(10) prime?
False
Let o(j) = -74*j**3 - 3*j - 3. Let t be o(-2). Is t/14 + 1/2 a composite number?
False
Let p(d) = -6*d**2 + d + 2. Let f(w) = 6*w**2 - 2*w - 2. Let l(q) = 6*f(q) + 7*p(q). Let u(v) be the first derivative of l(v). Is u(-7) a prime number?
True
Suppose -2 = -4*q + 2, -2*q - 13 = -5*v. Let n = v + 28. Is n a composite number?
False
Let l be (-12)/(-8)*(-4)/(-6). Let r = 14 + l. Is r a prime number?
False
Let y(a) = -157*a - 14. Is y(-3) composite?
False
Let n(i) = 3 - 5*i - 6*i + 2*i + 5*i**2. Is n(6) a composite number?
True
Suppose 7 = -14*m + 7*m. Is m/4 - 2079/(-28) prime?
False
Let n(d) = 2*d**2 + 3*d - 4. Let t(u) = -1. Let g(i) = n(i) - 3*t(i). Suppose -8 = 3*a + 5*h + 15, a = 3*h - 3. Is g(a) prime?
True
Suppose -3*s - 261 = -3*c, -c - s + 99 = -5*s. Is c prime?
True
Let r be (6/(-4))/(6/(-24)). Is r/(-14) - 1280/(-14) composite?
True
Suppose -c - 144 = -4*b - 803, 2*b = c - 663. Is c a composite number?
True
Suppose 0 = -2*o - 4 + 216. Let l = -55 + o. Is l a prime number?
False
Let h(v) = -v**3 + 7*v**2 - 6*v - 2. Let z be h(6). Let d = 0 - z. Suppose -2*t + 118 = -d*p, -t = 3*p - 55 - 4. Is t prime?
True
Suppose 0 = f + f - 12. Let z(u) = u**3 - 2*u**2 - 5*u - 1. Is z(f) a prime number?
True
Suppose -g + 2*v - 7 = 0, -g + 41 = -4*g + v. Let c = 38 + g. Is c a composite number?
False
Suppose x = 2*x - 341. Is x prime?
False
Let g(v) = v**3 + 8*v**2 + v + 13. Is g(-6) prime?
True
Suppose 4*c + 0*c + 2949 = 5*o, 0 = 3*o - 4*c - 1771. Is o a composite number?
True
Let g(o) = 2*o**2 + o - 1. Let j be g(1). Suppose -j*p - 54 = -190. Suppose -a + p = 3*t - 0, 3*t = 4*a - 317. Is a a composite number?
True
Suppose -5*i + 25 = 0, -i + 3 - 2 = -2*l. Suppose -4*b + 4 = -l*b. Is 70/b + (-2 - -5) a prime number?
False
Let o = 118 - 35. Is o prime?
True
Suppose -361 = 5*l - 7276. Is l a composite number?
True
Suppose -3*p = p - 356. Suppose 2*z - 324 = -f, -2*f = z - 70 - p. Is z a prime number?
True
Suppose 0 = 4*b - 4*z - 740, 4 = -2*z - 4. Is b prime?
True
Let h = 25 - -58. Is h composite?
False
Let s be (55 + -7)/(0 + -1). Let a = 82 + s. Is a prime?
False
Suppose -4*m = -3*m - 5. Let u(l) = l**3 + 3*l**2 - 3*l + 8. Let f(h) = -2*h**3 - 5*h**2 + 6*h - 15. Let p(b) = -6*f(b) - 11*u(b). Is p(m) prime?
True
Suppose 23 = 4*l + 191. Let w = l - -79. Is w a prime number?
True
Let z be ((3 + -5)*2)/(-2). Let q(a) = 0*a**3 + 2*a**2 - a**3 + 1 - a**z. Is q(-3) composite?
False
Let p(s) = -s. Let g(i) = -4*i - 5. Let h(m) = -g(m) + 6*p(m). Let z be h(4). Is (-93)/(3 + z - 1) a prime number?
False
Let b be 48/(-9) + (-2)/(-6). Is (-2 - 72)*b/10 composite?
False
Let u be (-10)/4 + 3/(-2). Is -35*u/(2 + 2) composite?
True
Let p(z) = 56*z**2 + 9*z + 24. Is p(-7) composite?
True
Let j(w) be the first derivative of -w**4/4 + 3*w**3/2 + w**2/2 + 3. Let s(h) be the second derivative of j(h). Is s(-7) prime?
False
Suppose -h + 3*n + 178 + 76 = 0, 2*h - 515 = -n. Is h a prime number?
True
Suppose -5*y - 1 + 16 = 0. Suppose -8 = -5*s + y*s. Suppose g - 235 = -s*g. Is g prime?
True
Suppose -23 - 77 = -5*q. Let x = -14 + q. Suppose x*p = 7*p - 91. Is p a prime number?
False
Let k be 6/9 + 26/6. Suppose -r = -k*r + 20. Let u(y) = 25*y + 2. Is u(r) composite?
False
Let b(z) = 11*z + 5. Let p(x) = -x. Let s(k) = -b(k) - 2*p(k). Let f(h) = -h + 1. Let q be f(5). Is s(q) composite?
False
Let m(i) = -285*i + 2. Is m(-1) a composite number?
True
Let b(g) be the third derivative of 7*g**5/15 + g**3/6 - 2*g**2. Is b(2) prime?
True
Suppose 0 = 7*a - 2*a. Suppose 4*j + 4 - 12 = a. Suppose -17 = -5*k + 2*c, 3*k - 2*c - 9 = j. Is k a prime number?
True
Let d = 4 + -2. Let a(g) = 9*g**2 - 1 - g - 2*g**2 - d*g. Is a(-2) prime?
False
Let c = 9 - 4. Suppose -c*i + 10*i = 635. Is i composite?
False
Let k = 48 + -25. Is k/(9/3 - 2) composite?
False
Let a(d) = -4*d**3 - d**2 - 4*d - 5. Is a(-4) a composite number?
False
Let x(l) = -l**3 + 4*l**2 - 5*l - 3. Let y be x(5). Let c = y - -104. Is c a composite number?
True
Suppose 58 = s + 3*w, 0*s + 2*s - 106 = 4*w. Is s composite?
True
Suppose 0 = -5*u + 4*u + 90. Suppose -3*z = -12, 70 = -3*y + z - u. Let x = -14 - y. Is x composite?
True
Let h(t) be the first derivative of 34*t**2 - 5*t - 1. Is h(5) prime?
False
Let h = 13 - 8. Suppose -h*x + 543 = -512. Is x composite?
False
Let t(f) = -f**3 - 9*f**2 + 13*f - 15. Let z be t(-11). Suppose 2*p + 2*p + z = 0. Is (-3135)/p - 2/7 a prime number?
True
Suppose v - 11*v + 3460 = 0. Is v prime?
False
Let r(f) be the first derivative of 3*f**2/2 - 3*f + 3. Is r(6) composite?
True
Let t(a) = -a**2 + 13*a - 9. Suppose 5*f - 5*q - 48 = 22, -3*f + 18 = 3*q. Is t(f) prime?
False
Let a = 4824 + -2743. Is a a composite number?
False
Let r be (-2)/(-11) - 130/(-11). Suppose 9*d - 4*d - 10 = 0. Suppose d = u - r. Is u a composite number?
True
Suppose -2*d + 14 = -3*f + 5, 3*d + 4*f = 22. Suppose l = 23 - d. Let v = 152 + l. Is v a composite number?
True
Suppose g + 5 = 0, 110 = -u - 2*g + 22. Suppose -5*n - 156 = -821. Let v = u + n. Is v a composite number?
True
Let b be -1 + 1*8 - -1. Let z(k) = 0*k + 2*k - k**3 - 7 + k + 10 + 9*k**2. Is z(b) composite?
True
Suppose -2*f = 3*f + 225. Let g be f/(-12) + 2/8. Suppose 5*y + 15 = 0, -4*l + g*y + 467 = 7*y. Is l a composite number?
True
Let v(k) = -k**2 - 4*k + 7. Let j be v(-5). Suppose -c + 42 = j*o + 9, -4*c - 2*o + 144 = 0. Is c composite?
False
Suppose -2*d - 3 - 3 = 0. Let w = d - -4. Let g = 56 - w. Is g prime?
False
Let v(s) be the second derivative of s**5/20 - s**4/6 - 7*s**3/6 + 3*s**2/2 + 4*s. Is v(8) a composite number?
False
Let d be 5 + 0 + (0 - -2). Let n = 12 - d. Suppose 5*l = -0*p - 2*p + 245, n*p = -l + 26. Is l prime?
False
Suppose 3*q = 24 + 30. Suppose -5*s - 3*a = 2*a + 10, -5*s + 2*a + q = 0. Suppose 0 = 5*u - 4*c - 157, 0 = -s*u - 0*c - 4*c + 74. Is u a prime number?
False
Let v = -14 - -16. Suppose v*p = -2*p + 332. Is p a prime number?
True
Let k(y) = y - 1. Let o be k(5). Suppose -4*n + n = -444. Suppose -o*t = w - 321, 5*t = 3*t + 2*w + n. Is t prime?
True
Suppose -8*h - 10331 + 25827 = 0. Is h prime?
False
Let t(f) = -f**2 - 10*f - 4. Let x be t(-7). Let l = 60 + x. Is l a prime number?
False
Let y(g) = g**3 - 2*g**2 - 5*g + 1. Is y(5) prime?
False
Suppose k = -0*o - 2*o + 14, 0 = -k + o - 1. Suppose -k*h + 13 = 5. Is 4/2 - -1*h prime?
False
Suppose -44 = -5*f + 351. Is f a prime number?
True
Let o be (-23 + 2 + 0)*-2. Let s = -14 + o. Let z = 99 - s. Is z composite?
False
Is (-211)/5*(-45)/9 prime?
True
Let d be 4 - (0 + 2 - 1). Let n be (-4)/(-10) - d/(-5). Let p = n + 6. Is p prime?
True
Let q(w) be the first derivative of w**4/4 - 11*w**3/3 - 6*w**2 + 2*w + 3. Let c be q(12). Suppose 0 = c*u - 52 - 24. Is u composite?
True
Let z = 3 - 2. Let s(g) = -15*g**3 + 3*g**2 - 5*g - 4. Let n(o) = 14*o**3 - 4*o**2 + 6*o + 5. Let l(f) = -5*n(f) - 6*s(f). Is l(z) composite?
True
Let y = 1365 + -802. Is y composite?
False
Let z be 0/(-1) - (-37 - -35). Let x =