 -7935 + 1667. Let y = o - 1867. Is y composite?
False
Let g be 2/5 - (-60)/(-25). Let o be (-2)/(-4)*(-6)/3. Is (o/(-4))/(g/(-536)) a prime number?
True
Let q = 61 + -730. Is 6/(-9)*q/2 prime?
True
Let t be -3 + 0 - -94 - 0. Suppose -7*w = -6*w - t. Is w a prime number?
False
Suppose -2*z + 606 = 2*l, -5*z = -2*l + 3*l - 1503. Suppose 3*y + 120 = -z. Is (12/10)/((-8)/y) a composite number?
True
Suppose -5*u - 2 = 4*f - 23, 3*u - 16 = f. Suppose -q + u*q - 1172 = 0. Is q composite?
False
Let k(a) = -820*a - 253. Is k(-4) prime?
False
Suppose -76*a = -80*a + 21388. Is a a composite number?
False
Let t(n) = 17*n**2 + 13*n + 7. Suppose c + 0 = -9. Is t(c) a composite number?
True
Suppose 4*x = -18 + 22. Is (-52)/(-12)*3*x a prime number?
True
Let i be 6*((-14)/(-3) + -4). Let y be 2/i*0/12. Suppose y = -q - q + 278. Is q a prime number?
True
Is (-743892)/(-24) + (-35)/(-10) composite?
True
Suppose 3*m + 3 = -4*x, x + 4*x + 3*m = 0. Is (-1306)/8*(x + -7) prime?
True
Suppose t - v = -6, -3*v + 6 = -t - 0*t. Let a(i) = 153*i**2 - 23. Is a(t) a composite number?
True
Let n = 196 + 4416. Suppose 4*k + 1040 = n. Is k prime?
False
Let j be 10/(-15) + 20/3. Suppose 3*s + j = 5*p, -4*p - 5*s + 0*s + 27 = 0. Suppose 0 = p*h + n - 1137, 1895 = h + 4*h - n. Is h prime?
True
Let p be -23 - (-2 - 0 - -3). Let z = -20 - p. Suppose 3*f - 73 = 5*q, 0*f - f + z*q = -29. Is f composite?
True
Let q = -16255 - -44274. Is q prime?
True
Let l(w) = 2*w - 13. Let j be l(6). Let k(x) = 88*x**2 + 2*x + 1. Is k(j) composite?
True
Suppose -26*y = -22*y - 40. Is y + -15 + 9874 + 2 a composite number?
False
Let l(w) = -129*w**2 + 7*w - 6. Let u(h) = -64*h**2 + 4*h - 3. Let x(y) = 2*l(y) - 5*u(y). Is x(2) a composite number?
False
Suppose -5*h + 9 = -16. Suppose -h*k = -l - 744, -5*k - 2*l = -224 - 523. Is k a prime number?
True
Let t(x) = -x**3 + 13*x**2 - 7*x + 1. Let k(b) = 2*b**2 + 2*b. Let m be k(-3). Let h be t(m). Suppose -h = -f + 22. Is f prime?
True
Let w be 8/(-28) - 12580/(-28). Let f = 1660 - w. Is f a composite number?
True
Let j = 18 + -27. Let x(w) = w**3 + 6*w**2 - 6*w. Let f be x(j). Let q = f - -482. Is q a prime number?
True
Suppose 0 = 2*h - 3*h - 1. Let b be h/(-2) - 28/(-8). Suppose 582 = 2*m + b*m. Is m composite?
False
Is (-66298)/(-8) + (74/(-8) - -9) a composite number?
False
Suppose 0 = -209*f + 210*f - 809. Is f prime?
True
Let f be 462/(-4)*(10/(-6) + 1). Let t = f - 34. Is t a composite number?
False
Let m = 734 + -470. Is 0/(-1) + -7 + m composite?
False
Let r be (-1811)/(-2)*(-4)/(-2). Let v = r - 924. Is v a composite number?
False
Let p(i) = -58*i + 5. Let l(h) = -h. Let t be l(2). Is p(t) a composite number?
True
Suppose 66551 = 9*t - 82462. Is t composite?
True
Let o(i) be the second derivative of i**5/20 - i**4 - 11*i**3/6 - 17*i**2/2 - 10*i. Is o(15) prime?
False
Suppose -5 + 1 = -4*y - 4*n, 2*n + 26 = 5*y. Suppose 5*t - 1352 = -2*i + 689, y = -2*i. Is t composite?
False
Let m = -6 - 6. Is (-8)/m + (-1838)/(-6) prime?
True
Let n = 27 - 24. Suppose -n*o - 5 = -11. Is o/4 + (-355)/(-2) a prime number?
False
Let g be 2/9 + (-29)/9. Let f = g + 6. Suppose 0 = -3*h + q + 875, -3*h + 895 = f*q + q. Is h prime?
True
Let r(v) = 110*v**2 + 22*v + 17. Is r(-6) composite?
True
Let c(p) = p**3 - 9*p**2 - 7*p - 8. Let x = 100 + -70. Let b = -20 + x. Is c(b) prime?
False
Is ((-3)/(-18))/((-311871)/(-155934) - 2) a prime number?
True
Suppose -5*r + a + 1590 = -4891, 0 = -4*r + 4*a + 5188. Suppose 0 = -4*i + r + 1044. Suppose u = -4, -i = 3*h - 4*h + u. Is h prime?
False
Let n(j) = -9*j**3 - 6*j**2 - 6*j - 5. Let s be n(-9). Let l = s - -435. Is l a prime number?
False
Suppose 0 = -d + 2638 + 543. Is d a prime number?
True
Let h(y) be the second derivative of -9/2*y**2 + 1/20*y**5 - 7*y - 1/4*y**4 + 5/6*y**3 + 0. Is h(6) composite?
True
Let p(b) = 6*b - 24. Let g be p(10). Let f be (-16)/(-12)*g/16. Suppose -x = -f*x + 3386. Is x prime?
True
Let x(f) = 261*f - 10. Is x(7) a prime number?
False
Suppose 4*f + 5*k = -4, -f + 13 = -3*k - 3. Suppose 2*c + 3901 = 5*x, f*c + 40 = x - 733. Is x a prime number?
False
Let c(a) = 6183*a**2 + 11*a - 21. Is c(2) a prime number?
True
Let f(y) be the second derivative of 79*y**6/120 + y**5/120 + y**4/24 + 3*y**3/2 + 4*y. Let w(u) be the second derivative of f(u). Is w(-1) a prime number?
False
Suppose 0*o - 32 = -4*f + 4*o, 2*f + o - 16 = 0. Suppose 0 = -7*p + f*p. Suppose -v = -p*v - 789. Is v prime?
False
Let f(z) = z**3 + 6*z**2 + 5*z + 3. Let x be f(-5). Suppose -x*m = -4*p - 4786, -5*m + 1589 = -4*m + 5*p. Suppose -7*d - m = -9*d. Is d a composite number?
False
Suppose 0 = 5*f - 935 + 190. Is f a prime number?
True
Let q(h) = -h**3 - 13*h**2 - 17*h + 24. Suppose l + 28 - 9 = 0. Is q(l) a composite number?
True
Let s = 86 - 91. Is -2*(7593/(-6) - s) a prime number?
True
Suppose -6560 = -8*l - 1216. Suppose l + 3321 = f + 3*a, 5*f = 4*a + 19907. Is f a prime number?
False
Let p(z) = 8*z**2 - 10*z - 229. Is p(18) prime?
False
Let d(y) = -y**2 - 16*y - 28. Let t = -49 + 36. Is d(t) prime?
True
Let w = 123065 - 58764. Is w a composite number?
False
Suppose -1492 = -4*h + 3*t, 2*h - t + 5*t - 724 = 0. Suppose 0 = -4*z + 6*z - h. Suppose -y + z = 4*y. Is y prime?
True
Let z = -4124 - -46851. Is z composite?
False
Let p = 5195 + -2829. Suppose -13271 + p = -3*b. Is b a composite number?
True
Let f be (152/32)/((-2)/344). Let v be (-833)/2 - 5/(-10). Let z = v - f. Is z composite?
False
Let n = 14 + -18. Let r be 3*n/6*-1. Suppose 3*u - 271 = 4*v, -r*u + 0*v + v = -174. Is u a prime number?
False
Suppose 0 = -b + 11*x - 7*x + 1335, 0 = 5*b + 5*x - 6575. Is b prime?
True
Let n = 37 - 59. Let d = n + 261. Is d prime?
True
Let x be ((-8)/3)/((-16)/3336). Suppose 0 = -4*w - 2*q + 3154, 0 = -2*w - 5*q + 2153 - x. Suppose -w = -4*n + 794. Is n a composite number?
True
Suppose 6 = 2*b, -b + 17 = 4*s + 2*b. Suppose 6*w = 4*w + 5*o + 543, w + s*o = 249. Is w composite?
True
Let n be (-11 - (2 + -3))/(-2). Let m(u) = -8*u**3 + 6*u**3 - 4 + 1 + 5*u**2 + u**3 + 8*u. Is m(n) composite?
False
Let g = -3 - -5. Suppose 0 = -g*s - 0 + 8. Suppose 4*j - 4*b = 95 + 65, s*b = 2*j - 90. Is j a prime number?
False
Suppose 4*u + 267 = 2*w - 909, -5*u - 1762 = -3*w. Suppose d - w - 159 = 0. Is d prime?
True
Let t(i) = 2663*i**2 - 19*i + 33. Is t(4) composite?
True
Let t(z) = -z**3 + 39*z**2 + 13*z - 22. Is t(23) a prime number?
True
Let b be (6/(-5))/((-15)/(-225)). Let h(x) = 36*x**3 + x**2. Let v be h(1). Let z = v - b. Is z a prime number?
False
Let l(h) be the first derivative of -5*h**4 - h**3 + 12*h - 3. Is l(-5) a prime number?
True
Let s(o) = -13*o**3 - 12*o**2 - 45*o - 23. Is s(-10) a prime number?
True
Suppose -4*g + m + 922 + 877 = 0, -3*g - 3*m + 1338 = 0. Suppose 4*o + 3*l - g = -0*o, -5*l - 570 = -5*o. Is o a prime number?
True
Let q(r) = r + 2. Let o be q(6). Is 2/o + (-531)/(-4) a composite number?
True
Let d be (7 + -13)*(-7)/6. Let m(l) = 2*l**3 + 4*l**2 + 4*l - 10. Let a be m(d). Suppose 3*s - 51 = a. Is s a prime number?
True
Suppose 2*f - 19 = 3*p, -5*f + 34 = -2*p - p. Let j be (-64)/40 + (-2)/f. Is j/(-4) + (-253)/(-2) a composite number?
False
Suppose i - 9 = 2*f, -5*f + 2*f - 15 = -2*i. Let r(p) = -9*p**3 + 3*p**2 - 4*p - 3. Let j be r(f). Suppose -c = -j - 112. Is c prime?
False
Suppose 3*j + 2*j + 4*g = 6555, -3920 = -3*j - 5*g. Suppose j = 4*r - 3*n, -4*n + 411 + 594 = 3*r. Is r composite?
False
Let p = 19 - 11. Suppose x - z - 1563 = -0*x, 4*z = -p. Is x a prime number?
False
Let p = 594 - 104. Suppose -p = -w - 77. Is w composite?
True
Let m be (10 + -18)/(-2 - -4). Let f = -16 - -22. Is (6/m)/(f/(-92)) a prime number?
True
Suppose 0 = -x + 26 + 4. Suppose -7*j = -4*j - x. Is j a prime number?
False
Suppose -182814 + 65498 = -4*n. Is n a prime number?
False
Let f(s) = 4*s. Let t be f(2). Suppose t*c - 8814 = 2378. Is c prime?
True
Let f = -206 + 2173. Is f a composite number?
True
Let j(h) = -1554*h - 97. Is j(-23) a prime number?
False
Is (0 + 216330/(-12))*(-3 - -1) a composite number?
True
Let o = -33 + -1. Let i = -23 - o. Let n(k) = -k**3 + 10*k**2 + 15*k + 11. Is n(i) composite?
True
Let r(s) = -s**2 - 4*s + 12. Let l be r(-6). Let o be 3 + l + 72/12. Let x(m) = 6*m - 17. Is x(o) composite?
False
Suppose -5*