Is y a composite number?
False
Let d = -1056 + 1690. Is d composite?
True
Let t(b) = b**2 - b - 4. Let s be t(3). Suppose -s = 3*g - 17. Suppose g*y - 232 = 3*x - x, x + 47 = y. Is y a prime number?
False
Suppose -4*m + 5*t + 839 = 0, -4*m - 173 = 4*t - 1057. Let u = m + -349. Let c = u + 294. Is c a composite number?
True
Let m(v) = -v - 3*v + 0*v**2 - 5*v**2 + v**3 - 6. Let h be m(6). Is (-2)/(-3)*117/h composite?
False
Let q be (-3 - (-4 + 2))*0. Suppose q*p = 2*p - 4. Suppose -4*j + 585 = -b, -p*j - 3*b + 315 = -8*b. Is j composite?
True
Let l be (-6)/5*(-10)/4. Suppose 0 = -z + k + 298, 5*z - l*k - 1187 = z. Is z prime?
True
Suppose -2*f + 50 = 3*f. Let o be 94/f + 2/(-5). Let p = 6 + o. Is p composite?
True
Let x(v) = v + 9. Let g be x(-5). Let f(o) = 20*o + 5. Is f(g) a prime number?
False
Is (-14)/(5 + (-5868)/1172) a composite number?
True
Let i = 206 + -332. Is i/(-4) - 5/10 composite?
False
Suppose 9*g - 4*g = 620. Let z = 285 - g. Suppose -3*i - z = -4*i. Is i prime?
False
Let l(b) = 96*b**2 + 5*b + 3. Is l(-2) prime?
False
Let m be (16/12)/((-2)/(-12)). Suppose -b + m = t, -38 = -b - 3*b - t. Is b a prime number?
False
Let f = -6 - -11. Suppose 0 = -f*r - 5*t + 3*t + 959, 3*t = -r + 197. Is r a prime number?
True
Suppose -j = -185 - 2. Is j a prime number?
False
Let z(d) = 6 + 137*d**2 + 4*d - 136*d**2 - d. Is z(-4) composite?
True
Suppose 137 = j + 49. Let v = 167 - j. Suppose -k + 0 + v = -4*i, 0 = -2*i. Is k a prime number?
True
Suppose 0 = -5*r - 2*o + 208, 3*r - 114 = -4*o + 22. Let x(d) = d**2 - 12*d - 6. Let s be x(11). Let u = r - s. Is u prime?
False
Suppose 2*y - a = 47, y = -4*a + 7 + 3. Is y a composite number?
True
Let g be 3 + -4 + 0 + 3. Suppose 0 = u - 5*m + 4*m - g, -8 = -u - 5*m. Suppose 0*z = -4*f - z + 78, -u*f + 2*z + 53 = 0. Is f prime?
True
Let c be (1 - 0)/(-1) + -7. Let f be 6/(4/(c/(-3))). Suppose -f*j + j = -45. Is j composite?
True
Let n(p) = 2*p**3 - 4*p**2 - 8*p + 11. Let j(s) = 6 + 2*s - 2*s**2 + 2*s**3 - s**3 - 6*s. Let a(o) = 11*j(o) - 6*n(o). Is a(-3) a prime number?
False
Let i be 633/6 - (-3)/(-2). Let j = -58 + i. Is j prime?
False
Let w be (-30)/(-6) - 4/2. Suppose -108 = w*d + 69. Let y = 18 - d. Is y a prime number?
False
Let w be (-10)/(-4)*(-36)/(-30). Suppose 15 = 4*z + b - 2, w*z = -2*b + 9. Suppose -3*t + z*t - 62 = 0. Is t a prime number?
True
Suppose 2*r - 5*n - 510 = 0, -n = n. Let x = -448 + 835. Suppose j - x = -5*l + r, l - 120 = -3*j. Is l a composite number?
True
Let w(k) = k**2 - k - 9. Is w(-14) a prime number?
False
Let c be -2*(-3 - -2) - -1. Suppose 0 = c*d - 167 - 484. Is d a prime number?
False
Let k(h) = -2*h**3 - 2*h**2 - 8*h - 7. Is k(-6) a prime number?
True
Is 82/(0 + 12/1002) a prime number?
False
Suppose -4*j = 4*p + 4, 0 = -p - 3*j - 6 - 3. Suppose 59 - 290 = -p*z. Is z a prime number?
False
Suppose -3*m + 4*s - 23 = 14, 3*s = -6. Let w be ((-2)/3)/((-3)/18). Let v = w - m. Is v composite?
False
Let g = -24 - 3. Let h = -8 - g. Is h composite?
False
Let q(s) be the second derivative of -s**5/20 + 5*s**4/12 + 2*s**3/3 - 7*s**2/2 - s. Is q(-5) a composite number?
False
Let o = -1291 + 2216. Suppose o = 5*f - 4*k, 4*f + 2*k = 393 + 347. Is f a prime number?
False
Is -1*1*993/(-3) prime?
True
Let t = -1028 + 1981. Is t composite?
False
Suppose 4*z + 5*w + 12 = 0, 2*z + 4*w + 0 + 12 = 0. Suppose 4*l + 18 = z*l. Is (1 + -22)*3/l composite?
False
Let o(y) = y + 1. Let c(k) = -2*k - 1. Let j(p) = 6*c(p) + 11*o(p). Let s be j(5). Suppose 4*i + 3*x - 82 = s, 3*i + 0*x - 65 = -4*x. Is i composite?
False
Let q(c) be the third derivative of 0 - 1/3*c**3 + 2*c**2 + 0*c + 5/24*c**4. Is q(3) composite?
False
Let y be -1*(-6)/(-3) - 0. Let l(u) be the second derivative of 5*u**4/4 + 2*u**3/3 + 3*u**2/2 + u. Is l(y) prime?
False
Suppose -j + w = -288, 2*j + 3*w - 1416 = -3*j. Suppose -2*p = -5*p + j. Is p prime?
False
Let p = -236 + 339. Is p prime?
True
Let s be (15/20)/(1/(-8)). Let j = s - -6. Suppose 0 = -n - j*r + 3*r + 18, 2*r = 2*n - 32. Is n prime?
False
Suppose 0 = m - 2096 + 147. Is m a composite number?
False
Let c = 106 + -53. Is c a composite number?
False
Suppose 5 = -3*j + 26. Let c(a) = -3*a - 5. Let h(d) = d. Let l(k) = -c(k) + h(k). Is l(j) composite?
True
Suppose 10494 = 38*y - 20*y. Is y a prime number?
False
Let l = -1608 + 2759. Is l a prime number?
True
Suppose -x = -57 - 26. Is x prime?
True
Let z = 7 - 2. Suppose -z*l + l = -476. Is l composite?
True
Let z(s) = -s - 1. Let h be z(-1). Suppose h*f - f = -4. Suppose 2*y - 564 = 2*g - 0*g, -f*y + g + 1143 = 0. Is y composite?
True
Suppose -2*r = 4*k - 128 - 46, -5*k = 3*r - 265. Is r a composite number?
True
Suppose -3*m + 160 = g - 5*g, m - 40 = -2*g. Suppose 2*y - 64 = -3*s, -4*y = 2*s - 0*y - m. Let r = 46 - s. Is r composite?
True
Is (-5 + (0 - -4))*-1009 a prime number?
True
Suppose 2*h = -2*h + 3*p + 36307, 27225 = 3*h - 4*p. Is h prime?
False
Let h = 1 - 6. Let u(y) = y**3 + 3*y**2 + 2. Let v(g) = 3*g**3 + 5*g**2 + g + 3. Let s(l) = h*u(l) + 3*v(l). Is s(2) prime?
True
Suppose -6*n - 7 = 5. Is 2*((-139)/n - 0) a prime number?
True
Suppose 3*r + 655 = 2*l + 6*r, -4*l = r - 1295. Is l composite?
True
Suppose -11 = -s - 3. Let m(p) = 2*p**2 - 5*p + 3. Is m(s) a prime number?
False
Let y(h) be the second derivative of -3*h**3/2 - 3*h**2 + 5*h. Let g(x) = -x**3 - 5*x**2 + 2*x - 1. Let c be g(-5). Is y(c) a composite number?
True
Let s be ((-8)/10)/(3/(-15)). Suppose 294 - 26 = -s*l. Let x = l - -138. Is x a prime number?
True
Let r(t) = 6*t - 1. Let q be r(-1). Let k be (2 + q)*(-3)/3. Suppose -4*f + k*v + 125 = 0, -4*v = -3 - 9. Is f a composite number?
True
Let g = 25 - 21. Suppose -4*n + 920 = 5*y, -207 = -n - g*y + 12. Is n prime?
False
Is (4/8)/(1/3812) composite?
True
Let c be (-3)/((-3)/51 + 0). Let j = c - -26. Is j a prime number?
False
Let h(v) = 18*v**2 + 6*v + 5. Is h(4) composite?
False
Suppose 1 = 2*j - 3*x - 17, -2*j = -5*x - 26. Suppose 0 = -4*p - j*m + 1021, 0 = -p - 3*m + 6*m + 244. Is p composite?
True
Let o(p) = -6*p**2 + 3*p - 1. Let a(g) = -5*g**2 + 2*g - 2. Let y(i) = -2*a(i) + 3*o(i). Let w(z) be the first derivative of y(z). Is w(-4) a prime number?
False
Let g = -737 + 1126. Let a = 692 - g. Let d = a - 214. Is d composite?
False
Suppose 2*q = q + 7. Suppose 2*u + 66 = 4*o + q*u, 0 = 2*o + 4*u - 36. Suppose 4*r - o = 2*r. Is r prime?
True
Suppose 3*c + 3826 = v, -v + 531 = 3*c - 3277. Is v a composite number?
True
Suppose -80 = 4*l - 1392. Suppose -6*r + l = -r - y, 5*y = -15. Is r a composite number?
True
Let w be (-6)/33 - 57/(-11). Suppose w*q - 841 = -2*b, -2*q + b + 847 = 3*q. Is q a composite number?
True
Let z(w) = w + 8. Let u be z(6). Suppose m - u = -m. Is m prime?
True
Is (-2)/(-2*(-4)/(-5108)) a composite number?
False
Let w = -6 + 2. Let h be (0 - 42/w)*2. Suppose -k + h = -2*o, 5*k + o = 79 - 29. Is k composite?
False
Is 2052 + 0 + -5 - 4/2 composite?
True
Let k = -206 + 297. Is k composite?
True
Let t be (-8)/44 - (-1161)/33. Is t - (2 + (-2 - -1)) prime?
False
Let y(a) be the second derivative of a**7/840 - a**6/90 + a**5/30 + 5*a**4/24 - a**3/6 + 2*a. Let p(x) be the second derivative of y(x). Is p(4) composite?
True
Suppose -11 = -3*h + 10. Is h a composite number?
False
Suppose 0 = y + 4, -4*j - 2*y + 561 = -371. Is j a composite number?
True
Let c(l) be the second derivative of 17*l**3/3 + 3*l**2/2 - 9*l. Is c(1) composite?
False
Suppose -3*m = -9*m + 30. Let n(s) be the third derivative of s**4/2 + 7*s**3/6 - s**2. Is n(m) a prime number?
True
Is (0 - 717)*(1 + -2) composite?
True
Let u(m) = -8*m**3 - 15*m**2 - 27*m + 11. Let a(b) = 3*b**3 + 5*b**2 + 9*b - 4. Let p(g) = 11*a(g) + 4*u(g). Is p(7) prime?
False
Let u(z) = -4*z**3 + z**2 + z. Let x be u(-1). Suppose h = x*h - d - 160, -h = -4*d - 57. Is h prime?
True
Let k = -5 + 8. Suppose 44 = k*j + j. Is j a composite number?
False
Let w = -140 - -281. Is w composite?
True
Suppose 5*u - 3*x = 293, 2*u + 2*x - 313 = -3*u. Let d be 8/(-6)*171/(-6). Let r = u - d. Is r composite?
False
Let j(w) = 6*w - 7. Let b(f) be the second derivative of -f**3 + 7*f**2/2 - 4*f. Let y(k) = -5*b(k) - 6*j(k). Is y(-7) a composite number?
True
Let v be (0 - -2) + 567 - -1. Suppose 0*s - v = -5*s. Let i = s - -35. Is i prime?
Tr