ite?
False
Let j be 6/4*-2*1. Let g be 2*2*j/(-6). Suppose -g*u = -70 - 64. Is u prime?
True
Is (19*(-6)/(-3))/((-8)/(-148)) composite?
True
Is 8007/(-17)*(-10)/6 composite?
True
Suppose 3*w + 4*g - 4 = 16, -2*w + 3*g = -2. Suppose w*u + q = 4, 2*u + q = -u + 4. Suppose u*i - 7 = -i. Is i a composite number?
False
Let w(g) = 0*g - 3*g + g**2 - 2*g**3 - g**2 - 2. Let s be w(-3). Suppose 169 = 5*d - s. Is d prime?
False
Let k(t) = -t**3 - 5*t**2 - 4*t + 3. Let a be k(-4). Suppose 19 = x - a*w, 0 = 3*x - w - 92 + 35. Is x prime?
True
Let t = 1302 + -275. Is t composite?
True
Let l = 160 - -17. Is l a composite number?
True
Let q be 2/(-4) + 26/4. Suppose 0 = 2*b + 5*c + 4, -q*b = -2*b + c - 10. Suppose 0*f + 385 = 4*m - b*f, 95 = m - 2*f. Is m a composite number?
False
Suppose p + 10 = -p. Is p/(-25) - 648/(-10) composite?
True
Let r be ((-12)/14)/((-12)/1092). Let n = 160 - r. Is n a composite number?
True
Suppose -4*i = 5*x - 2665, 4*x - 1599 = x + 3*i. Is x prime?
False
Suppose 2*x + x = 231. Is x prime?
False
Let f = 0 + -2. Is -1 + 127 + f - -3 composite?
False
Let i = 14 + -12. Suppose 3 = -3*a, -77 = -o - 4*a + i. Is o composite?
False
Suppose -1 = a - 3. Is a/(-3) - 2785/(-15) a composite number?
True
Suppose -3*n + 2992 = -149. Is n composite?
True
Is 116 - (2 - (0 + -1)) a composite number?
False
Let h(k) = k**3 + 8*k**2 - 2*k - 10. Let n(t) = -t**2 + 5*t - 7. Let p be n(5). Is h(p) a prime number?
True
Is 7 + -6 - (0 - 76) a composite number?
True
Let t(q) = -8*q - 3. Let o be (-2)/((6/(-21))/(-1)). Is t(o) a composite number?
False
Let o = 3 - 7. Is (450/o + 1)*-2 prime?
True
Suppose 1 = -4*q + 2*s + 7, q = -2*s - 6. Suppose -o + 1 + q = 0. Let n = o + 52. Is n prime?
True
Let l(v) = -4 - v + 18*v**2 - 3*v**2 + 3*v**2 + 6. Is l(3) composite?
True
Suppose 2*x = -x + 555. Suppose -2*o + x = -389. Is o prime?
False
Let d(x) = 4*x**2 - 1. Let h be d(1). Suppose h*f = 45 + 24. Is f prime?
True
Let w(i) = -i**3 + 5*i**2 + 2*i - 7. Let m be w(5). Let x(u) = 14*u**2 + 3*u - 1. Let s be x(-3). Suppose -5*o + 186 = t - 2*t, -m*o = -5*t - s. Is o composite?
False
Let b(s) be the second derivative of 16*s**3/3 + 3*s**2/2 + 5*s. Is b(5) prime?
True
Suppose 29 = 2*l - 125. Is l composite?
True
Suppose 0 = 3*a - 3*j + 18, -4*a - 2*j = -3*j + 12. Is 3 - 2/(a/7) composite?
True
Suppose 2 = 3*x - 7. Suppose -2*j + 1065 = x*j. Is j a prime number?
False
Suppose 3*l = -2*p + l + 2772, -3*p = -5*l - 4190. Suppose -3*s + 781 = t, 3*t + 3*s - 923 = p. Suppose 296 - t = -5*d. Is d a prime number?
False
Let j(p) be the third derivative of 1/30*p**5 + 0 - 1/24*p**4 + 1/2*p**3 + 0*p - 2*p**2. Is j(4) a composite number?
False
Suppose 0*c + 1 = d - 5*c, -2*c = d + 6. Let k be ((-15)/10)/(2/d). Suppose 321 = 3*h + k*r, h = -4*h + 3*r + 527. Is h a composite number?
True
Let h = 1640 + -289. Is h a composite number?
True
Let h(t) = -t**3 - 6*t**2 - 4*t + 3. Let p be h(-5). Let u be (1 - 4)*p/3. Suppose 0 = j + u*j - 105. Is j a prime number?
False
Suppose 6*j + 2330 - 13712 = 0. Is j a composite number?
True
Suppose 3*a + 0*v = v + 302, 3*v = 4*a - 406. Suppose -z = 4*d + z - 20, -5*d - 2*z = -23. Suppose 0 = -d*k - k + a. Is k a composite number?
True
Suppose -74 - 18 = 4*a. Let q = -16 - a. Suppose -2*t = -q - 103. Is t composite?
True
Let u(y) = 24*y**2 - y. Let c be u(-3). Suppose -5*j + c = -706. Is j a prime number?
False
Let o(n) = n**3 - 2*n - 1. Let j be o(2). Suppose -j*m = -126 - 183. Is m composite?
False
Let g(u) = u**2 + 5*u - 2. Let w be g(-6). Let r = w - 2. Suppose -21 - 12 = -r*s + d, 2*d = -5*s + 69. Is s prime?
False
Is ((-379)/2)/(6/(-12)) composite?
False
Let b = 453 - 242. Is b prime?
True
Let v(w) = 65*w - 8. Let n be v(6). Is n/(4/(-8)*-4) a prime number?
True
Let u(b) = -b**2 + 1565. Let z be u(0). Is z/10 - 2/(-4) composite?
False
Let l(q) = -q + 2. Let s be l(-3). Let j be 1/s - (-178)/10. Suppose j = 3*z - 24. Is z prime?
False
Suppose 9*w - 25 = 4*w + n, 0 = 2*w - 4*n + 8. Let c = -8 + w. Let j = 8 - c. Is j prime?
False
Is (0 - -23 - 1)*(-1302)/(-84) prime?
False
Suppose -20*o = -22*o + 1704. Suppose c = 4*l - 1633, -796 - o = -4*l - 4*c. Is l composite?
False
Let l = -580 + 899. Is l composite?
True
Is (-5 - 0)*316/(-4) composite?
True
Let c(p) = -6*p**2 + 6*p**2 + p**3 - 3*p + 2*p + 419. Is c(0) prime?
True
Let p(z) = -z**3 + 6*z**2 + 2*z - 9. Let m be p(6). Suppose -6*v + 57 = -m*v. Is v a prime number?
True
Suppose -4*t + 146 + 34 = 0. Suppose 0 = -5*x - 180 + t. Let l = x - -64. Is l composite?
False
Suppose 5*k - 1490 = -5*w, -2*w - 2*k - 292 = -3*w. Suppose h - w = -3*r, -r + 7*h - 2*h + 72 = 0. Is r composite?
False
Let p be -38 - (2 - 0 - 2). Let q be p/(-9) + (-6)/27. Let i = 21 + q. Is i composite?
True
Let i = 15 + -11. Suppose -445 = -9*r + i*r. Is r prime?
True
Let l = 189 + -64. Let h = l + 5. Is 6/(-21) - h/(-14) a prime number?
False
Let w(h) = -117*h**3 + h**2 + 3. Let q(f) = f**3 - f + 1. Let j(p) = -2*q(p) + w(p). Let a(b) = 2*b + 1. Let s be a(-1). Is j(s) a composite number?
True
Let n(y) = -3*y**3 - 2*y**2 + 1. Let r be n(1). Let s be -1*1*r*1. Suppose 0 = 2*x + 3*x - s*k - 83, 2*x + 3*k - 24 = 0. Is x a prime number?
False
Let j(t) = 53*t**2 - t - 1. Let s = -1 + 5. Let q = s - 5. Is j(q) composite?
False
Let l = 1 - -4. Suppose -g + 2*x = -81, l*g + 2*x - 130 = 299. Is g a prime number?
False
Let s = 393 + -208. Is s composite?
True
Suppose 4 = h + 6. Let n be 6/(h/(-3 + 1)). Suppose n*b - 475 = 2*b - r, -b = 3*r - 116. Is b composite?
True
Is 4/(-8) + 2086/4 a prime number?
True
Let y be (-46)/((-1)/52*1). Suppose -y = -5*p - 57. Is p a composite number?
False
Let j(t) = 4*t**2 - 5*t + 2. Suppose -l - 6 = -1. Let y(d) = -d**2 - 7*d - 5. Let n be y(l). Is j(n) a composite number?
True
Let u(a) = 254*a**3. Let w be u(1). Suppose 4*m - 26 + 6 = 0. Suppose -131 - w = -m*f. Is f composite?
True
Let j = 75 - -22. Is j prime?
True
Suppose 4*p - 4*j = j + 3899, p = 4*j + 983. Is p a composite number?
False
Let c = -2 - -193. Is c a prime number?
True
Suppose -8*q = -111 - 313. Is q prime?
True
Let b = -6 + 11. Suppose -3*q + 45 = 5*h, 3*h - 112 = -b*q + 7*h. Suppose -q = -5*x, 0 = 5*n + 2*x - 546 + 123. Is n a prime number?
True
Let k be (1 + -1)*3/6. Suppose -5*s + 165 = 2*h, -4*h + 85 = 3*s - k*h. Is s a prime number?
False
Suppose -i = -3*h + 1659, 3*i - 553 = -3*h + 2*h. Is h composite?
True
Let t(q) = q**2 + 9*q - 8. Let a be t(-10). Suppose 0 = c + a*l - 131, 3*c + l - 409 = -l. Is c prime?
True
Suppose -2*w - 4*f - f = -8, -2*f - 1 = 5*w. Is 0 - w*(130 - 3) composite?
False
Let t(j) = j**2 - j. Let m be t(-6). Is (-12)/m - (-1082)/14 a composite number?
True
Suppose -x - 71 + 183 = 0. Suppose 5*r + 4*k - x = -30, k + 67 = 5*r. Is r a prime number?
False
Let v be ((-8595)/6)/(-5)*2. Suppose -557 = -5*k + v. Is k composite?
True
Suppose -2*h - h = 0. Suppose -12 = 3*s - h. Let n(v) = -10*v - 1. Is n(s) prime?
False
Suppose -2*y + 90 = 2*m + 3*y, -m = y - 51. Suppose -3*f + 23 = -m. Is f a composite number?
True
Let a(l) = -338*l + 7. Is a(-14) a prime number?
False
Suppose 141 = -4*f + 29. Let j = 163 - f. Is j a composite number?
False
Is (-6 + 3)/((-2)/46) composite?
True
Let w(s) = 0*s - 2 - 3*s**2 + s**2 + 5*s. Let k be w(5). Let h = 40 + k. Is h composite?
False
Let h(q) = -q**3 - 15*q**2 + 14*q + 4. Let w be h(-16). Is w/(-63) - 669/(-7) a prime number?
False
Let d(z) = z**2 - z + 1. Let y be d(2). Let c(q) be the second derivative of q**4/6 + q**3/2 - 2*q**2 - q. Is c(y) prime?
True
Suppose 0 = 25*p - 20*p - 2705. Is p a prime number?
True
Suppose 0 - 4 = -2*o. Is -22*(1 - 7/o) composite?
True
Let r = -3611 - -6070. Is r a composite number?
False
Let n = 3732 + -2399. Is n a composite number?
True
Let g(z) = -z**3 + 5*z + 4. Suppose -4 = -3*a + 4*a. Let h be g(a). Let p = 95 - h. Is p a composite number?
False
Is (3/15*-1814)/((-6)/15) a composite number?
False
Let d(i) = -i + 1. Let y(n) = -n**2 + 18*n. Let o(a) = -2*d(a) + y(a). Let x be o(9). Suppose p + j = 22, 4*p - x = j - 2*j. Is p prime?
False
Suppose o - 273 = 31. Let b = -93 + o. Let m = -132 + b. Is m a prime number?
True
Let l(f) = -f**2 + 5*f + 13. Let q be l(7). Let o(s) = -111*s. Is o(q) composite?
True
Suppose 4*q - 3*h = -240 + 819,