4*u - 2. Is z(-7) a composite number?
True
Suppose -3*n = 337 + 161. Is (-2)/(1 - (-170)/n) composite?
False
Let v = -24 + 44. Is (106/4)/(2/v) composite?
True
Let l(i) = 1282*i**2 - 2*i + 3. Is l(4) composite?
False
Let i be ((-16)/3)/((-2)/3). Suppose -609 = -i*b + 4*b + l, 4*b - 4*l - 612 = 0. Let s = -61 + b. Is s composite?
True
Let v be -8 + 8 - (0 - -1). Is (-204 - (1 + -2))*v a prime number?
False
Suppose -2*h - 6 = -20. Let b = h + -1. Let g(r) = 5*r - 9. Is g(b) a prime number?
False
Let q be -5 + (1/(-1) - -2). Let w be 5 + (q - -3)*3. Suppose -29 = -w*t + 9. Is t composite?
False
Let m(n) = -6*n**3 - 11*n**2 - 11*n. Let p(h) = h**3 + h**2 + h + 1. Let l(z) = m(z) + 4*p(z). Is l(-6) composite?
True
Let z(w) be the second derivative of 209*w**4/6 + w**2/2 + 4*w. Is z(1) a prime number?
True
Is ((-498)/(-4))/((-1)/(-2)) a prime number?
False
Let o be ((-4)/6)/((-4)/18). Let r be ((-540)/(-25))/(o/(-10)). Let l = -50 - r. Is l composite?
True
Let x(w) = -102*w**3 - 6*w**2 + 2*w + 5. Let r(d) = 34*d**3 + 2*d**2 - d - 2. Let b(q) = 8*r(q) + 3*x(q). Is b(-1) composite?
True
Suppose -5*n = -2*s + 29, 5*s - 3*n = -2*n + 15. Let h(c) = 3*c + 3 + c**3 + s*c - 2*c**3 + 6*c**2. Is h(5) a prime number?
True
Let u(j) = 36*j**2 - 2*j + 1. Is u(3) a prime number?
False
Let i(z) = -z**2 + 8*z + 8. Let b be i(7). Let o = 334 + b. Suppose 4*a = -81 + o. Is a prime?
True
Suppose -3*v + 3*g = -114, 0 = v - 3*g - 27 - 13. Let j = -134 - -250. Let x = j - v. Is x composite?
False
Let z(j) = -217*j - 4. Is z(-5) prime?
False
Let w = -944 + 1741. Is w a prime number?
True
Let l(x) = 135*x**2 + x + 3. Is l(-2) prime?
True
Suppose 0 = -5*j + 13 + 2. Suppose 0*q = j*q - 42. Is q prime?
False
Suppose -3*s = -3*h + 84, s = 4*s + 6. Suppose -p + 5*j + h = -0*p, -5*j = 20. Suppose -2*l + p = -l. Is l a composite number?
True
Let w be 3 - (2/1 - 3). Suppose -2*f = -66 - 36. Suppose w*y - 2*a - 114 = 0, -y - 4*a + f = -0*a. Is y a composite number?
False
Let a(t) = t**3 - 10*t**2 - 5*t - 12. Let v(u) = -2*u**3 + 19*u**2 + 10*u + 23. Let f be 1 + (-2)/(-1) + -6. Let x(b) = f*v(b) - 5*a(b). Is x(8) prime?
False
Let f be ((-6)/8)/((-1)/4). Suppose -f = 2*h - 5*h. Suppose -h = -q + 10. Is q a composite number?
False
Is (-2 + 3)*449*1 a composite number?
False
Suppose -v = -0*v + 13. Let i(n) = 7*n - 6. Let b be i(4). Let x = b - v. Is x a prime number?
False
Is 2*5/10*839 prime?
True
Suppose -8*o + 709 = -7*o. Is o composite?
False
Let z = 1 + 1. Suppose -z*y + y = -6. Suppose 25 = -5*u, -y = 2*c + u + 3*u. Is c a prime number?
True
Suppose 3*p = -2*o + 23, 37 = 3*o - 0*p + 5*p. Suppose -5*n - 5*q = -280, -n = -o*n + 4*q + 147. Is n a prime number?
True
Let i = 51 - 93. Is 14/i + 232/3 a prime number?
False
Let z(n) = -4*n**2 - 2*n**3 + 0*n + 6 + 4*n + n**3. Let l be z(-5). Suppose 3*g - 190 = l. Is g a prime number?
True
Suppose -4*s - 31 = -5*s. Is s prime?
True
Let p be (-14)/(1 + -1 + -2). Let r be p*9 - (3 - 2). Suppose -5*o - 4*c = -185, -o - 5*c + r = 25. Is o a composite number?
False
Let j = 111 - -47. Suppose 2*b - j = -0*b. Is b a composite number?
False
Let o = -716 + 1203. Is o a prime number?
True
Let x(v) = 2*v**3 - 4*v**2 + 7*v - 19. Is x(6) prime?
True
Suppose -274 = 2*v - 2*t, 2*v - 6*v - t = 548. Suppose -61 - 59 = 2*z. Let d = z - v. Is d prime?
False
Suppose -8*g + 1743 = -5*g. Is g a prime number?
False
Let n = 730 - -525. Is n prime?
False
Suppose -2 = -2*i + 6. Let k = i + 31. Is k composite?
True
Is 4/10 - 16*(-282)/20 a composite number?
True
Let d(l) = 4*l - 7 - 13*l - 3*l. Let j(n) = 23*n + 13. Let g(u) = -7*d(u) - 4*j(u). Is g(-2) a prime number?
True
Let l(c) = c**2 + 4*c - 1. Let d be l(-5). Suppose -3*h + 3*r - 5*r + 651 = 0, 0 = -5*h + d*r + 1085. Is h prime?
False
Suppose 3*r = 4*i + 209 + 284, 8 = -2*i. Is r prime?
False
Suppose 4*t - 11804 = 5*a + 3418, 4*t + 3*a - 15206 = 0. Is t prime?
True
Is (-2 + 0)*15/(-10) a composite number?
False
Let a be (-10)/3*12/(-2). Let b = a - -18. Suppose b = 4*x - 2*x. Is x composite?
False
Suppose r + 5*g = 2*r - 12, 5*r + 4*g - 2 = 0. Suppose r*l - v = 4, 2 = -2*l + 3*v - 2. Is ((-22)/4)/((-2)/l) prime?
True
Let p be ((-1)/(-3))/(8/96). Suppose p*l - 5*s = 211, 10*s + 15 = 5*s. Is l prime?
False
Suppose 0 = -11*h + 7*h + 2692. Is h prime?
True
Is -5866*(-3 + 10/4) a prime number?
False
Let t(s) = 13*s**2 - 2*s + 3. Is t(4) composite?
True
Let f = 233 - 118. Is f a composite number?
True
Suppose -4*n + 91 = -49. Is n a composite number?
True
Suppose 7 = -5*w - 3. Is 4/w - (-34 + -1) composite?
True
Let x = -143 - -61. Suppose -4*u + 16 = -500. Let b = u + x. Is b composite?
False
Let w(c) = -615*c**3 - c**2 + 2*c - 1. Let o be w(1). Let s = -362 - o. Is s composite?
True
Let t(j) = -j**3 + 2*j**2 - 3. Let g be t(-5). Suppose 15*q - 11*q = g. Is q composite?
False
Let m(o) = o**2 + 7*o - 8. Let g be m(-6). Suppose p + 120 = 3*n, 2*n - n - p = 42. Let c = n - g. Is c composite?
False
Let l(y) = 72*y**2 + 17*y - 24. Is l(-11) a composite number?
False
Suppose 4*p - 3565 = 3*d, 0*d = -5*p + 2*d + 4451. Is p prime?
False
Is (3 + 3311 + 0)/2 prime?
True
Suppose 5*g - 5*n - 6 = 4, -4*g + n + 2 = 0. Suppose 2*f = 2*k - 0*f - 32, -3*k - 4*f + 34 = g. Is k a prime number?
False
Suppose -3*m - 19 = 8. Let g be 2/(2 + m/6). Let h = 22 + g. Is h composite?
True
Suppose w = -w - 10. Is 3/w + (-790)/(-25) a prime number?
True
Let r = 151 - 72. Is r prime?
True
Suppose 0*b - 3*b + 6 = 0. Suppose -b*f = -f. Suppose f = -3*a + 2*a + 49. Is a a prime number?
False
Suppose 3*d = 4*d - 5. Suppose -6961 + 1686 = -d*i. Is i composite?
True
Suppose u = -3*u + 3456. Suppose -5*c + k = -u - 612, 2*k - 883 = -3*c. Is c composite?
True
Let q(a) = a**2 - 2*a - 1. Let l = -6 + 9. Let j be q(l). Suppose 326 + 92 = 2*y - 4*d, j*y - 5*d = 421. Is y prime?
False
Let k = 1849 + -884. Is k a prime number?
False
Suppose n = -3*k + 122 + 76, -4*n - 183 = -3*k. Is k prime?
False
Suppose 5*p + 47 - 17 = 0. Let z(x) = -3*x**3 - 3*x**2 - 5. Is z(p) composite?
True
Let b = 1393 + -860. Is b composite?
True
Let d = 150 + -23. Is d a composite number?
False
Let a(b) = -9*b - 5. Let v be a(7). Is 6/21 + v/(-7) prime?
False
Let l be ((-45)/(-6))/(2/36). Suppose l + 59 = 2*d. Is d a composite number?
False
Suppose -2*u = 2*t - 116, 5*u = -5*t + 4*u + 290. Is t a composite number?
True
Suppose 149*h - 150*h = -69. Is h composite?
True
Suppose -k + 3*k - 6 = 0. Suppose k*x - 1 = v, -3*x + 3*v = -v - 4. Suppose x*b - 5*t + 72 = 3*b, 2*t = 3*b - 51. Is b a prime number?
True
Suppose -q = 3*q - 6480. Suppose -4*b = -2*d - d + 1213, 4*b = 4*d - q. Is d prime?
False
Let t be 89/(3*(-2)/(-6)). Suppose n + 4*c = 46 - 3, 0 = -3*n - 4*c + t. Is n composite?
False
Suppose -p + 75 = -52. Is p a prime number?
True
Suppose -4*l + 1344 = 40. Suppose -2*w + l = -2*c, -w = -0*w - 4*c - 163. Is w composite?
False
Is (-2070)/(-12)*(-6)/(-9) prime?
False
Let f = 26 + 231. Is f prime?
True
Suppose 0*t - 852 = 4*t. Let m = t + 332. Is m a prime number?
False
Let o = -70 + 101. Let b = o - 13. Suppose 47 + b = m. Is m composite?
True
Suppose 2*y - 524 = 4*y. Let q = y + 419. Is q prime?
True
Let u = -8 + 4. Let d = u + 81. Is d a composite number?
True
Suppose -5*y - 160 - 101 = -m, m - 241 = -5*y. Is m prime?
True
Let k(q) = q**3 + 5*q**2 + 2*q - 4. Let h be k(-4). Suppose 0 = h*y + y + b, -y + b = 0. Suppose 5*a - 220 - 45 = y. Is a composite?
False
Let z be (14/3 - 2)*-3. Let p be (-2)/8 + (-1562)/z. Suppose 0 = -2*i + 4, -8*i + 3*i + p = 5*a. Is a a composite number?
False
Suppose -4 = -y - y. Suppose -31 = n - y*n. Is n a prime number?
True
Let u = -165 + 330. Is u/(-9)*-1*3 a composite number?
True
Suppose 508 + 1464 = 4*z. Is z prime?
False
Suppose -7*n + 4011 = -3416. Is n a composite number?
False
Suppose 1090 = -w - 4*w. Let b = w - -469. Is b composite?
False
Let h(b) = -192*b - 5. Is h(-2) a prime number?
True
Let w = -1215 - -1892. Is w composite?
False
Is (3812/8)/(4/8) prime?
True
Let a(j) = 14*j**2 + 3*j + 5. Is a(-2) prime?
False
Let y(u) = 3 + 65*u + 2 - 2. Is y(4) composite?
False
Suppose 5*z - z + 5*j - 1187 = 0, z - j = 299. Is z composite?
True
Let q = -89 + 184. Is q a prime number?
False
Suppose -5*a = -306 - 1159. Is a composite?
False
Let 