+ x. Is t composite?
True
Let z(q) = -5*q**3 - 3*q**2 + 4*q - 313. Let b(r) = -22*r**3 + 28*r**3 + 312 + 0*r**2 - 5*r + 4*r**2. Let x(d) = -4*b(d) - 5*z(d). Is x(0) prime?
True
Suppose -29*l + 2*a = -34*l + 55576, -4*a = -4*l + 44444. Is l a composite number?
True
Let n = -1521 + 2231. Suppose 4*r - 3514 = -n. Is r prime?
True
Suppose -72975 = -3*b - 4*n + 13266, 5*b = -5*n + 143740. Is b a prime number?
True
Let c(k) = -k - 4. Let d be c(7). Is ((1 + -2)*d)/((-1)/(-2)) a prime number?
False
Is 86278/14 + ((-9)/(-7) - 1) a prime number?
True
Let d = 29 - 16. Let o = d + 198. Is o a composite number?
False
Let x be ((-4)/6)/(2/3). Let y be (-40)/(-24) + x/(-3). Is y - 0/3 - -60 a composite number?
True
Is (42470/17)/2 - 20/170 prime?
True
Let t be (-11)/3 + ((-28)/(-6) - 4). Is 326 + -2 + t + -2 composite?
True
Let z(g) be the second derivative of g**4/12 + g**3/2 - 3*g**2/2 - g. Let x(r) = r**3 - 6*r**2 + 5*r + 5. Let j be x(5). Is z(j) a composite number?
False
Suppose -4*w - 2627 = 5*b, 0 = -b + 4*b - 2*w + 1563. Suppose 857 = -9*z - 1159. Let v = z - b. Is v a prime number?
False
Suppose 3*b = 27637 - 7750. Is b prime?
False
Let r(z) = 68*z**3 + 3*z**2 - z - 17. Is r(5) a composite number?
True
Let w = 10 + 18. Suppose 4*l + w - 12 = 0. Is l/2*(-159)/6 a composite number?
False
Let h(y) = 51*y**2 + 35. Is h(-8) a composite number?
False
Let b(m) = -3064*m + 817. Is b(-30) a composite number?
False
Suppose -v + 4*x = 7*x - 8, 2*x = -v + 5. Let d = 2 + v. Let h = d - -30. Is h a prime number?
True
Is ((-1729)/(-2) + 2)*1702/37 prime?
False
Let t(b) = 6*b**2 - 5. Is t(5) a prime number?
False
Suppose 3*h - 24 = -h. Suppose -h*k = -10*k + 2596. Is k composite?
True
Is (137910/(-40))/((-3)/4) a composite number?
False
Suppose -3*m + 16 - 1 = 0. Suppose 482 + 543 = m*s. Is s a prime number?
False
Suppose 3*w = -2*f + 2, 2*w - 2*f = -0*w + 18. Suppose w*z + 5*q - 1114 = 3*z, q + 5 = 0. Is z composite?
True
Let l(k) = 28*k + 17. Let q = 5 - -2. Is l(q) prime?
False
Is (20 - 61)*1*-5 composite?
True
Let j be -4*1/4*-6. Suppose 3*n - j*n = -18. Suppose -n*q + 5*q = -33. Is q a prime number?
False
Let f = -5735 - -9168. Is f prime?
True
Let h(t) = -4*t - 15. Let q be h(-6). Suppose s + q = 4*s. Suppose 6*u = -5*p + 2*u + 8197, 4*u - 4923 = -s*p. Is p prime?
True
Suppose 5*i + 15419 = 6*i + 2*l, 3*l - 77102 = -5*i. Is i prime?
False
Let g = -2 - -14. Let d = g + -12. Is (-79 - d)*(-10 - -3) a prime number?
False
Let r be 4*5/(-30) + 887/3. Let u = 84 + r. Is u a prime number?
True
Let r(t) = 2*t**3 + 6*t**2 + t + 7. Let p(b) = -3*b**3 - 5*b**2 - 2*b - 7. Let z(g) = 3*p(g) + 4*r(g). Suppose -8*f - 6 = -9*f. Is z(f) a composite number?
False
Suppose 6*c = 19 - 19. Suppose -2*q + 8 = c, o = 4*q - 18 + 71. Is o a prime number?
False
Let f(l) = 2700*l**2 - 39*l + 79. Is f(2) prime?
False
Let g be (-2 + 1)*-1*(5 + -2). Suppose s = g*p - 16 - 9, -4*s = -8. Is p a composite number?
True
Let u be (-16)/1*(-3)/(-4). Let k(g) = 4*g**2 - 6*g - 17. Is k(u) prime?
True
Is (-10)/((-140)/116907) - 2/(-4) a composite number?
True
Suppose 0 = -3*r - 3*k + 13182, -21964 = -32*r + 27*r - 3*k. Is r composite?
False
Let l = 16952 + -11395. Is l composite?
False
Suppose -22 = -o + 4*s, 3*o + 26 = 8*o + s. Is 10160/25 - o/(-10) composite?
True
Suppose 6 = 4*v + 18. Let p be 1/(v/(3*35)). Is 774/21 + (-5)/p composite?
False
Let g = 424 - 161. Suppose z + g = 2*z. Is z prime?
True
Let p be 6/15 + 926/10. Let r be (-1)/(4/16) - -4. Suppose r = -2*z + p - 23. Is z composite?
True
Let h be (-1)/((-2)/(1 - -9)). Suppose h*m - 6*m - q = -17, 14 = m + 4*q. Is (-2)/9 + 5278/m prime?
True
Suppose 18*l - 36*l = -37458. Is l prime?
True
Let f be (-29 + -68)*2/2. Let c = -23 - f. Is c a composite number?
True
Suppose -m = 47 - 42. Is ((-553)/28 + 6)*(m + 1) composite?
True
Let g(n) = -n**3 - 2*n**2 - 3*n - 1. Let a be g(-2). Let w(f) = -f - 5. Let v be w(a). Is (-14)/4*v/5 a prime number?
True
Let z = 964 - 1792. Let b be (z/(-16))/(3/(-8)). Is ((-3)/(-9))/((-2)/b) composite?
False
Let u = -24 - -22. Let r be (16/6)/u*-3. Suppose 4*q - 2073 = -5*p, -r*p - 1648 = -8*p + 2*q. Is p a composite number?
True
Suppose 2*l + l = 1485. Suppose -3*n = 3*q - 1440, -5*n + 2*n + 1464 = -3*q. Suppose -y + 2*g + l = 0, g - 8 = -y + n. Is y a composite number?
True
Suppose -2 = -r + 4*a - 4, -2*a + 10 = 0. Let t be 2/(-6) + 23892/r. Suppose d = 2, o + d = 4*o - t. Is o a composite number?
False
Let a(b) = 198*b**2 - 18*b + 11. Is a(7) a prime number?
True
Let o = 2 - 1. Let m(b) = -1 - o - b**2 + 7*b**2 + 5*b**2. Is m(3) composite?
False
Let z(j) = 19*j + 4. Let v be z(-2). Let i = -31 - v. Is i a prime number?
True
Suppose 0 = -6*y - 8886 + 208032. Is y prime?
True
Let n(y) = 7*y - 12. Let x be n(7). Suppose -3*z - x = -106. Let f = z - -230. Is f prime?
False
Let w(o) = -4*o - 14. Let j be w(-4). Suppose 0 = -5*n - p - 3*p + 6047, 0 = j*n + 3*p - 2416. Is n composite?
True
Let a(y) = -3028*y - 325. Is a(-17) a composite number?
False
Let o(v) = 10*v**2 - 13*v + 1. Let z(i) = 5*i**2 + 5*i. Let u be z(-2). Is o(u) prime?
False
Suppose -4*z = -7*z. Suppose 5*o + 26 = 36. Suppose b + 5*u = z, -u + 14 = o*b + 2*u. Is b a composite number?
True
Let i = -2542 + 7653. Suppose i = 5*y + 3*d + d, y - 1039 = -5*d. Suppose -v = -5, 2*z = 5*v - 2*v + y. Is z a composite number?
True
Suppose -4*r + 6*r + 6708 = 4*f, 0 = -5*f + 4*r + 8388. Suppose 0*h - f = -4*h. Is h a composite number?
False
Let g = -35 + 65. Suppose 29*r = g*r - 319. Is r composite?
True
Let v = 3674 - 2613. Is v a prime number?
True
Suppose -2*l + 175 = 3*l. Let b = l - -19. Suppose -2*q + 93 = i, 3*i - b = -q + 4*i. Is q prime?
False
Suppose 3*t - 5*t = 10. Let g be t*(78/10 + 3). Let l = g - -85. Is l a prime number?
True
Suppose 5*y - 28842 = -2*h, 0 = -5*h + y + 6198 + 65961. Is h composite?
False
Is 57/6*(15 + 1423) a prime number?
False
Let p(u) = 19455*u**2 - 3*u - 1. Is p(1) a prime number?
False
Suppose 13*b - 10*b + a - 22882 = 0, -3*b - 4*a + 22867 = 0. Is b composite?
True
Let w(g) = -2*g - 11. Let p be w(-7). Suppose -3*u + 1907 = -4*z, 4*u + p*z = -95 + 2671. Is u a composite number?
False
Suppose 0 = 17*w - 21*w + 41996. Is w prime?
True
Suppose -3*x - q = -3*q + 63, 3*x - q + 63 = 0. Let g = x - 78. Let w = g + 406. Is w prime?
True
Let p(n) = -10*n**2 + 20*n + 42. Let u be p(-13). Let h = -1331 - u. Is h a composite number?
False
Suppose 35*p = 180392 - 56317. Is p composite?
True
Let h(u) = -348*u - 89. Is h(-11) prime?
True
Let p(o) = 74*o - 9. Let y(c) = 10*c - 94*c + 33*c - 98*c + 19. Let x(v) = 5*p(v) + 2*y(v). Is x(5) a prime number?
True
Suppose 61 = 3*k - 74. Suppose -k = -g - 0*g. Let s = 98 - g. Is s a composite number?
False
Let i = -14 + 17. Suppose 0 = i*o - 75 + 366. Let z = 566 + o. Is z a composite number?
True
Suppose -3*d - 23 - 1 = 0. Let g be -3*(3 + (d - -4)). Suppose 1434 - 195 = g*m. Is m a prime number?
False
Let y = -26 - -36. Suppose 0*n = 8*n - 32. Is -10*((-115)/y - n) prime?
False
Let f = 74 - 73. Is (287 - -13) + f + -2 a composite number?
True
Suppose -283 = -7*g + 2384. Is g composite?
True
Let q be -1 - (-493 - (-4)/1). Let s be (q/(-4))/(-2)*1. Let g = s - 2. Is g prime?
True
Suppose 909 = -5*o - 3*t, -839 = 4*o + 3*t - 110. Let r = 71 - o. Is r a composite number?
False
Let w(f) = 780*f**2 - f - 1. Suppose -4*u = o + 15, -2*u - 11 = -2*o - o. Is w(o) prime?
False
Suppose -2*c = c. Suppose -5*s + 10 = c, -3*d - 3*s + s = -1171. Let y = d - -672. Is y a composite number?
False
Let b(c) = -c**2 - 12*c + 18. Let d be b(-13). Suppose d*y = 747 - 3217. Let a = 747 + y. Is a composite?
True
Suppose -3*j - 6551 = -4*x + 2*x, 4*x - 13104 = 4*j. Is x a composite number?
True
Is (8/(-2) - -3)*-9091 a composite number?
False
Suppose 18*b = 17*b + 9. Is 2296/12 + (-3)/b a prime number?
True
Let o(n) = 821*n**2 + 35*n - 13. Is o(4) prime?
False
Let f(c) = -261*c**2 + c. Let z be f(1). Is (36/(-24))/(6/z) a prime number?
False
Let m(q) = -11*q**2 + 3*q + 4. Let o(t) = -t**2 - 1. Let x(s) = -m(s) - 3*o(s). Let z be 7*((-5)/(-35))/(1/4). Is x(z) a composite number?
False
Suppose 4*h + 639 + 1271 = b, 5*h + 25 = 0. Let q = -509 + b. Is q prime?
True
Let k(s) = s**2 - 2*s + 4. Let p be k(0). Let z = p - 1. Su