1. Let u be j + 1 + -2 + -6. Is (-417)/(-5) + 2/u prime?
True
Let q(l) = l**2 + 6*l - 22. Let z be q(-9). Let u(n) = n + 298. Let k be u(0). Suppose 305 = z*o - p - k, 4*p + 355 = 3*o. Is o a prime number?
False
Let b = 6148 + 4245. Is b a composite number?
True
Let m(y) = 4*y**3 - y**2 - 3*y - 1. Let g be m(2). Let f = 118 - g. Is f a prime number?
True
Suppose 23 + 2 = 5*c. Suppose -c*o - 2524 = 2776. Let q = 2067 + o. Is q composite?
True
Let s = -10414 + 22424. Is (-10)/45 + s/18 a prime number?
False
Suppose 6*a - 18 = -0*a. Suppose a*l + 126 + 150 = 0. Let w = l - -270. Is w a prime number?
False
Let l(i) = 29*i**2 + 2*i - 5 - 5 + 6*i - 10. Is l(5) prime?
False
Let c = 10 - 9. Let i = 1 - c. Suppose 4*m + k + 2*k - 24 = i, 5*k = -2*m + 12. Is m a prime number?
False
Let z be 19/7 - 14/(-49). Suppose -z*h = -2*v - 1253, -5*h + 2101 = 3*v - 0*v. Suppose -22*x + h = -21*x. Is x composite?
False
Suppose 2*t = -4*s, -s = -2*t - 0*t. Suppose t = 5*u - 22 - 3. Is ((-2)/4)/(u/(-190)) prime?
True
Let y be (54/(-12))/((-1)/2). Suppose 0 = -y*p + 3*p + 20118. Is p a prime number?
False
Let y(j) = 5 - 2 + 19*j**2 - j - 4 - j. Suppose -3*u = 2*u - 10. Is y(u) a composite number?
False
Let f(q) = -6*q**2 - 4*q - 11. Let m(w) = -6*w**2 - 4*w - 12. Let h(u) = -5*f(u) + 4*m(u). Is h(-4) composite?
True
Suppose -t = 5*z - 1313, -2*z - 5340 = 12*t - 16*t. Is t composite?
True
Let m = -4086 - -2823. Let o = 6508 + m. Is o prime?
False
Suppose -z - 3 + 5 = 0. Suppose 0 = -z*f + 1 - 5, -4*x + f + 1014 = 0. Is x composite?
True
Let v = 105365 - 70870. Is v a prime number?
False
Let l(u) = 1823*u**2 - 1824*u**2 - 12*u - 19*u + 13. Is l(-16) a prime number?
False
Let w = -74730 + 166376. Is w a prime number?
False
Let p = 4526 - -2033. Is p a prime number?
False
Let k be 4*1 - 0/8. Let q(w) = 2*w**2 + 74*w**2 - 1 - 13*w**2 - k*w + 111*w**2. Is q(-1) a composite number?
True
Is ((-182)/(-13))/168 + 692086/24 composite?
False
Let w = 6647 + -3082. Suppose 2*r - w = 2457. Is r prime?
True
Let i = 26 + 91. Suppose -k + i = -10. Is k prime?
True
Suppose 2*r + 4*r = 1758. Suppose -4*m + 239 = -r. Is m composite?
True
Suppose -362 = 4*r - 3*r. Let w = -744 - r. Is w/(-8)*(2 + 2) composite?
False
Let r = -60 - -63. Is (-1 + -2395)*(r - 152/32) prime?
False
Suppose -7*j - 4*y = -5*j + 148, -j - 4*y - 68 = 0. Let s = 425 - j. Is s composite?
True
Let p(r) = 17*r**2 - 5*r + 7. Is p(12) composite?
True
Let m be 212/1*(-77)/(-4). Suppose 0 = -5*a - 3*l + m, -5*a - 1225 + 5294 = -3*l. Is a a composite number?
True
Let s be (-27)/6*(-2)/3. Suppose -1 - 5 = -s*x. Suppose -x*a - 66 = -1924. Is a composite?
False
Let k be (-6201)/(-72) - 1/8. Suppose -t + 0*t = -k. Suppose h = 57 + t. Is h prime?
False
Let n(w) = -9*w - 23. Let d be n(-4). Let y(s) = 4*s**2 + 19*s + 6. Is y(d) composite?
False
Let f(m) = 36 + 30 - 19*m - 59. Suppose 4*c + 2*u + 23 = 3, 4*u + 16 = -4*c. Is f(c) composite?
True
Let k = -616 + 1171. Let g = 1122 - k. Suppose 5*h = 5*q - 2*q + 2791, -g = -h + 5*q. Is h composite?
False
Let q(p) = -5*p + 7. Let o(k) = -k**2 - 6*k + 8. Let y(s) = -6*o(s) + 7*q(s). Let d(r) = -r. Let g be d(6). Is y(g) prime?
True
Let j(h) = -h**2 - h + 1. Let z(b) = -b**3 + 5*b**2 + 10*b - 20. Let l(d) = -j(d) - z(d). Is l(6) a prime number?
True
Let j(b) = -18*b**2 + 19*b**2 - 3*b - 2*b. Let o be j(5). Suppose 2*f - 27 - 15 = o. Is f a composite number?
True
Let o(k) = 582*k**3 + 1. Let s be o(1). Suppose 12 = -5*l + 27. Suppose t = -4*r + 2*r + s, 0 = l*r - t - 882. Is r prime?
True
Let i = 865 + -1865. Let s = i + 2061. Suppose 734 = 5*n - s. Is n prime?
True
Suppose -5*d = -14071 + 1176. Is d prime?
True
Suppose 0 = -3*u + 2909 - 1109. Let b = u + -232. Suppose -g + b = -47. Is g a composite number?
True
Let s(k) = 582*k + 623. Is s(35) prime?
False
Let b(v) = 7*v - 10. Let f be b(2). Suppose w - 3*r - 2938 = -2*r, f*w = -r + 11757. Is w a prime number?
True
Suppose -5*p + 0*c + 33 = -3*c, -2*c = p - 4. Is -1*879*p/(-24 - -6) composite?
False
Let y(b) = b**3 + 12*b**2 - 6*b - 1. Let g(a) = a**2. Let d be g(2). Suppose -o = -4*l + 8, d*o - 22 = -3*l - 73. Is y(o) prime?
True
Suppose 18*s = 15*s + 54. Let x be 50/(-4 - (-74)/s). Suppose -f + 331 = -x. Is f composite?
True
Suppose -809 = -10*n + 971. Suppose -n = 3*x - 2641. Is x prime?
True
Suppose -2*k + 2*j + j = -3, -5*j = -2*k + 1. Suppose -4*p = -15 + k. Suppose -4*w = -5*w + a + 327, -3*w - p*a + 1005 = 0. Is w prime?
True
Let j be 6*(32/12 - 2). Suppose j*s = 3*d - 29, 2*s + 0*s - d = -15. Is -10 - s - (-1 + -86) prime?
False
Suppose 26*l - 227082 = -15988. Is l a composite number?
True
Suppose 4*g + i = 654, 3*g - g + 3*i = 332. Is g a composite number?
False
Suppose 2*t + t - 28591 = 2*j, -2*t + 4*j = -19050. Is t composite?
False
Suppose 0 = 5*i + 3599 + 1441. Let f = -544 - i. Let s = -303 + f. Is s prime?
False
Let m(l) be the first derivative of 29*l**2/2 + 13*l + 15. Is m(14) a prime number?
True
Suppose 3*z - z - 10 = -4*a, 17 = 4*z + 5*a. Suppose 0 = 4*h + 4*j - 844, j = z*h - 0*j - 633. Is h a composite number?
False
Suppose -1159 = 3*y - r, -4*y + 4*r - 1395 = 145. Let a = y - -661. Is a a prime number?
False
Suppose d = 2 + 20. Let i(m) = -m**2 - m - 1. Let y be i(-2). Is y/2 - (-1991)/d a prime number?
True
Let c = -1838 + 1019. Let a = 1348 + c. Is a composite?
True
Suppose -50022 = -45*c + 27*c. Is c a composite number?
True
Let q = -56 + 63. Suppose q*b - 1554 = 511. Is b prime?
False
Let j(y) be the second derivative of 9*y**3/2 - 55*y**2/2 + 30*y. Is j(18) a composite number?
False
Suppose 6*l - 4*l = h - 395, 4*h - 4*l - 1584 = 0. Suppose y = 2*y - h. Is y prime?
True
Let t(s) = s**2 + 6*s - 5. Let d be t(-6). Let n(f) = 7*f**2 - 4*f - 4. Let q be n(d). Suppose -q = -l - 0*l. Is l a prime number?
True
Suppose 0 = 2*d + 4*d - 17706. Suppose 4*f + 355 = d. Is f composite?
True
Suppose 0 = 4*m - 5*c + 64, -4*m - 7*c - 64 = -3*c. Let n be (2/(-4))/(2/(-428)). Let i = n + m. Is i prime?
False
Suppose 3*f = 3*k + 92211, 6*f - 2*k - 92213 = 3*f. Is f prime?
False
Let c = 6193 + -3746. Let v = c + -1404. Is v a composite number?
True
Let u = -25 + 27. Suppose -5*t = -u*m - 2*m + 1358, -3*t - 680 = -2*m. Is m composite?
False
Let s(r) = 6*r - 6*r - r - 10 + 6*r. Is s(7) composite?
True
Suppose 0 = g - 206 - 53. Suppose 3*h - 2048 - g = 0. Is h a composite number?
False
Let l(r) = 2*r**3 - 3*r**2 + 52*r + 23. Is l(16) a composite number?
True
Suppose 0 = 18*w - 36821 - 73753. Is w composite?
False
Let h(i) = 361*i**2 + 6*i - 34. Is h(9) prime?
False
Let v be 4075/3 + 2 + 12/18. Is -16 + 16 - (0 - v - 0) a prime number?
True
Suppose -726523 - 566302 = -25*p. Is p prime?
True
Suppose -9 = -4*u + 19. Let d(l) = -l**2 + 7*l + 5. Let b be d(u). Suppose b*o + 0 = 4*g + 70, 3*o = -4*g + 42. Is o composite?
True
Let t = 199 - 23. Let v(f) = -2*f**2 + 2*f - 7. Let x be v(7). Let k = t + x. Is k a composite number?
True
Suppose -6*j + 4496 = -5050. Let u = 1708 + j. Is u a composite number?
False
Suppose -4*n = -2*n - 10. Suppose -4*t + n + 11 = 0. Is t - (-141 - (-12)/(-3)) composite?
False
Let c = 4 + 0. Suppose 0*h = -h - c. Is (-167*1)/(h - -3) a prime number?
True
Let k(p) = 16*p + 4. Let b(l) = -24*l - 6. Let w(o) = -5*b(o) - 8*k(o). Let j be w(-5). Suppose -u - u = -j. Is u a composite number?
False
Let v(y) = 218*y - 9. Let d be v(1). Suppose 4*l + 57 = d. Is l prime?
False
Let f be -24*5*(-2)/8. Suppose 2*s - f = -n - s, -40 = -3*n + s. Suppose c = n - 2. Is c prime?
True
Suppose -5*g - 5*f + 290 = 0, -5*g + 135 = 2*f - 152. Suppose -20 = -4*n - 5*k, 3*k = -4*n - 24 + 36. Suppose n = 6*w - 3*w - g. Is w a prime number?
True
Suppose -281*y + 274*y = -64645. Is y composite?
True
Suppose -8*l + 423003 = 13*l. Is l prime?
True
Let m(u) = -u**2 - 2*u + 3. Let j be m(5). Let f be (-753)/(6*4/j). Is (2/(-4))/((-2)/f) composite?
False
Let y be (-10 - (-3)/((-3)/(-2)))*-1. Let v(j) = 36*j**2 + 9*j - 25. Is v(y) a composite number?
False
Let b(w) = 6*w**2 - 6*w - 43. Let q(h) = 5*h**2 - 5*h - 43. Suppose 5 + 5 = -2*n. Let o(f) = n*q(f) + 4*b(f). Is o(0) composite?
False
Suppose -6213 = -3*k - 4*w - 0*w, 2*k - 4*w = 4142. Is k a prime number?
False
Is 2/(((-36)/(-1524))/((-21)/(-2))) composite?
True
Suppose 4*l = -c - 3705, 