 6*g - 4. Let f(z) = 2*z**2 + 12*z - 7. Let l(t) = 3*f(t) - 5*h(t). Is l(-8) composite?
True
Let c(a) = -61*a + 8 + 174*a - 11. Is c(2) a prime number?
True
Let r(m) = -m + 10. Let g be r(7). Suppose 536 = j + g*j. Is j prime?
False
Let j(i) = 2*i**2 - 2*i. Let v be j(2). Suppose v*f - 33 - 59 = 0. Is f a composite number?
False
Let x be -1 - (-2 - -1)*27. Suppose 9 = 5*o - x. Is o prime?
True
Let h(t) = -t**2 - 6*t - 2. Let k(w) = w**2 + 6*w + 1. Let b(g) = 6*h(g) + 5*k(g). Let v be b(-5). Let c(l) = -17*l. Is c(v) a prime number?
False
Let w(r) = -r + 1. Let b be w(-8). Suppose -h - 5 = -b*g + 4*g, -3*g = 5*h - 31. Suppose 136 = 4*s - 4*t, -93 = -2*s - t - g*t. Is s composite?
True
Let o be 14 + (-3)/(2 + -5). Let u = o + 30. Suppose h - u = 2*i, 2*h - i = 101 - 26. Is h prime?
False
Let b(r) = r - 3. Let s be b(3). Suppose 5*m = -0*m + 395. Suppose 2*a - a - m = s. Is a composite?
False
Suppose -4*z - 5*n + 4 = 0, -4*z - n = -6 + 2. Is ((-2)/2)/(z/(-131)) composite?
False
Let j = -10 - -6. Is (1 - 1) + (j - -71) composite?
False
Suppose -22 = -5*n - d, 2*n = -5*d + 3*d + 4. Suppose -n*o + 57 = -2*o. Is o prime?
True
Let u = 2801 - 430. Is u a composite number?
False
Suppose -2*b + 5*v + 318 + 90 = 0, -6 = 3*v. Is b composite?
False
Is (-1346)/3*(-30)/20 a composite number?
False
Let j be -1 + (6 - 3) - 71. Let k = -30 - j. Is k prime?
False
Suppose 0 = -5*c - 5*n - 15, 0*n = 3*c - n - 3. Let z be c/2 - (0 + -13). Let f = z + 0. Is f a prime number?
True
Let t(f) = 77*f**3 + 3*f**2 + 5*f - 2. Is t(3) prime?
False
Let v(t) = -29*t**3 - 3*t**2 - 4*t - 3. Let f be v(-2). Suppose 0 = 2*c - f - 629. Is c a composite number?
True
Suppose 0 = -5*q + 3*q. Let p(y) = y**3 + y**2 - 2*y + 26. Is p(q) a prime number?
False
Let x = -19 - -4. Let m = x + 36. Is m prime?
False
Suppose 6 = 5*x - 2*x. Suppose -b = x*b + 3. Is (-3)/(6/14)*b composite?
False
Let d = -2 - -1. Is (-261 - -7)*d/2 prime?
True
Let y(n) = 3*n**2 + 15*n + 17. Is y(-7) a composite number?
False
Let j = -577 - -956. Is j a composite number?
False
Let l(k) = -39*k - 6. Is l(-3) composite?
True
Suppose 5*d - 3 = 142. Let p = 6 - 12. Let x = p + d. Is x a composite number?
False
Is (-3)/(-2)*(0 + 82) a composite number?
True
Let j = -25 + -6. Let q = j + 57. Is q composite?
True
Suppose -3*t - 33 = 3*p, 4*t + 17 = 3*p - 13. Let f = t + 6. Is -3*(0 - (-89)/f) a composite number?
False
Let p(k) = 3*k**3 + 8*k**2 + 14*k - 8. Is p(7) a prime number?
True
Let i(g) be the second derivative of 7*g**3/2 - g**2/2 - 5*g. Is i(10) a prime number?
False
Suppose c - 71 = 72. Is c a prime number?
False
Let l(b) = b**2 + 7*b. Let r be l(-7). Let j = r + 1. Let v = 36 - j. Is v a composite number?
True
Suppose 0 = 3*l - 6*l. Suppose -2*c = -5*i + 43, 3*i - 7*i + 3*c + 40 = l. Is (-2)/i - (-32)/14 composite?
False
Let y = 141 + -65. Let n be (-2)/5 + (-18)/5. Is y/12 - n/6 a prime number?
True
Let q be (-71)/(-5) - 2/10. Let b = q - -33. Let p = b - -200. Is p a composite number?
True
Let v be -7*(3 + (-44)/(-2)). Let s be -1 + (2 - v) + -3. Suppose 0 = -a - 5*m + 22, 5*a - s = -5*m + m. Is a prime?
True
Let f = -113 + 276. Is f a prime number?
True
Let a be (5/(5/(-54)))/(-2). Let v = a + -15. Is ((-2)/3)/(v/(-1530)) a prime number?
False
Let n = 4 + -2. Suppose -3*l + n*l - 221 = -2*o, -o - 2*l + 123 = 0. Is o a prime number?
True
Let x(g) = g - 6. Let t be x(6). Suppose 3*w - 2*w + 34 = t. Let i = w - -68. Is i a prime number?
False
Suppose 2 + 2 = 2*s. Suppose 0*q + s*q - 170 = 0. Is q a prime number?
False
Let y = 17 - 12. Suppose -248 = -y*z + z. Is z prime?
False
Let y(f) = 59*f**2 + 2*f. Is y(3) a prime number?
False
Suppose 0*k + 40 = 2*k. Suppose -3*c = -19 - k. Is c prime?
True
Is (-1665)/(-5) + (2 - -2) a composite number?
False
Let i(g) = g**2 - g - 4. Is i(6) prime?
False
Let g = -1027 + 1745. Is g a prime number?
False
Suppose 5*p + 4 = 3*p. Let d = 9 + p. Is d a composite number?
False
Suppose 3*i - 13 = 146. Is i prime?
True
Let m(o) = 3*o**2 + 2*o. Let i be m(-2). Let w be 2*4/(i/3). Let c = 0 + w. Is c a composite number?
False
Let o be 1 - (-6 - -2 - 0). Let b = 5 + o. Is b composite?
True
Let x(c) = 3*c**3 - 3*c**2 + c + 2. Is x(3) composite?
False
Suppose d = 2*d - 5. Suppose -791 = d*p - 4266. Suppose 280 = -5*z + p. Is z a composite number?
False
Let q(h) be the second derivative of h**4 - h**3/6 + h**2/2 + 6*h. Is q(2) a composite number?
False
Let s(o) = -2159*o - 2. Is s(-1) a prime number?
False
Let l(g) = -49*g + 47. Is l(-16) composite?
True
Let f = 651 + 21. Suppose 2*t + 221 = p, -3*p + f = 6*t - 3*t. Is p a prime number?
True
Let k(n) = 18*n**2 + 10*n - 1. Is k(7) prime?
False
Suppose -4*l - l = -15. Suppose g = l*g - 142. Is g composite?
False
Let q(u) be the first derivative of -11*u**2/2 + u + 1. Let m be -1 - 1 - -1 - 5. Is q(m) prime?
True
Let t = -4 - -4. Suppose v - 4*v - 3 = t. Is v/(-2) + 43/2 prime?
False
Suppose n - 6*n + 3*z - 6 = 0, 2*n + 3*z = 6. Let c(p) = -37 + 133 + p**2 + 31. Is c(n) composite?
False
Let v = -653 + 1315. Is v a prime number?
False
Suppose -4*q + 9 = -q. Is (q - 1)/(12/1398) prime?
True
Suppose -2*p + 3*o - 116 = -3*p, 5*p - 640 = -3*o. Is p a prime number?
True
Let p(n) be the second derivative of n**4/12 - n**3/2 - 7*n**2/2 + n. Is p(-6) prime?
True
Let z = 10 + -16. Let l(v) = -13*v - 5*v + 1 + 4. Is l(z) a prime number?
True
Let b(w) = -23*w - 2. Let x be b(-5). Suppose t - 426 = -2*r - x, 781 = 5*r + 2*t. Is r a prime number?
False
Let y = 1054 - 495. Is y composite?
True
Let f be (-2)/6 - 7/(-3). Let g = f + 1. Suppose 3*b + g*m - 156 = 54, 4*b = 4*m + 256. Is b a prime number?
True
Let f = 148 + 63. Is f prime?
True
Suppose c - 2*l + 3*l - 2 = 0, 0 = -3*c + l + 10. Suppose 2 = -2*q + 5*y, y = -c*q - 0*y - 20. Is -1*382*3/q composite?
False
Let q = 1834 + -1140. Let f = q - 342. Suppose -w - f = -3*t, -3*t + 143 + 189 = -5*w. Is t composite?
True
Let k(x) = 100*x**3 + 5*x**2 - 6*x + 7. Is k(2) a prime number?
False
Let b = 184 - 39. Let u = 264 - b. Is u a composite number?
True
Let g = -7 + 9. Let c(h) = -h + 7. Let k be c(3). Is ((-53)/g)/((-2)/k) prime?
True
Suppose 3*t - 288 = t. Suppose -y = -3*y - t. Let g = y - -115. Is g a composite number?
False
Let y be (-1)/3 - 22/(-3). Let s = -4 + y. Let n(j) = 3*j**3 - 2*j**2 + j + 1. Is n(s) a composite number?
False
Is (8484/24)/((-1)/(-2)) prime?
False
Let o(k) = k**3 + 6*k**2 + 2*k + 9. Let z be o(-6). Let l(y) = -y**2 - 14*y - 18. Let f be l(-12). Is (-20)/z + 2/f prime?
True
Let l(s) = 5*s**2 - 6*s - 10. Let i(g) = -7*g**2 + 6*g + 20 + 3*g + 2*g - 4*g**2. Let b(f) = -4*i(f) - 9*l(f). Is b(7) prime?
True
Let r be 1 + -251*(-2 + 1). Suppose -4*k = 5*y + r - 620, -210 = -2*k + 4*y. Is k a composite number?
False
Let u = -706 + 1101. Is u a prime number?
False
Suppose -h = 3*k + 2*h - 636, 2*h - 635 = -3*k. Is k composite?
False
Suppose t - 9 = y, 21 - 7 = 2*t - y. Suppose -2*h + 154 = j - 30, -t*h + 459 = 2*j. Is h a prime number?
False
Let j(z) = -z**2 + 26*z + 5. Is j(8) composite?
False
Is (-6 + 5 - -140)*11 prime?
False
Let v be (2/(-1))/((-8)/12). Suppose v*l = 13 - 1. Suppose -220 - 8 = -l*s. Is s a prime number?
False
Suppose s + 3 = 8. Suppose n = 3*a + 142, -4*a + 728 = s*n + 113. Is n a prime number?
True
Let d(g) = 5*g - 3. Let i be 7 - 6/(-2 + -1). Suppose 3 - i = -3*v. Is d(v) prime?
True
Suppose 6*f = 3*f + 36. Let s be (-1)/(1 + f/(-9)). Is (14/s)/((-4)/(-30)) a prime number?
False
Let h = -5 - 2. Let s(o) = -o + 4. Is s(h) prime?
True
Suppose 5*i - 26 = -m, 0 = 4*i + 5 - 1. Let h = m - -8. Let f = h + 0. Is f a prime number?
False
Suppose -q = -2*q - 2*t - 17, t = 5*q + 96. Let x be (-262)/(-8) - (-2)/8. Let i = q + x. Is i composite?
True
Let n(h) be the first derivative of -h**4/4 + 3*h**3 - h**2/2 + 4*h + 1. Let o be n(9). Let c = 12 + o. Is c a composite number?
False
Let a = 30 - 55. Is (-10)/a - (-1673)/5 a prime number?
False
Suppose -6*x = -3*x + 114. Is (x/4)/(1/(-22)) a composite number?
True
Let l be -2 - 0 - 610/(-2). Suppose -m + 350 + 23 = 0. Suppose -5*h - 3*d + 431 + m = 0, -2*h + 5*d = -l. Is h a composite number?
True
Suppose 0 = 4*d + 2*x - 6, 0 = -5*d + x + 1 - 4. Suppose 2*u + d*u = 88. Suppose 3*j - 85 = u. Is j composite?
False
Suppose 2*z 