-g + 3*g = y. Is g a prime number?
True
Suppose 25 = 2*l - 3*v - 12, 2*l - 5*v = 47. Suppose 0 = 7*h - l*h + 12. Is h a composite number?
False
Let u(j) = 11*j - 4. Let k(v) = -10*v + 5. Let h(m) = 6*k(m) + 5*u(m). Let o(z) = -6*z + 11. Let n(c) = -7*h(c) + 6*o(c). Is n(-7) a prime number?
True
Suppose -5*s + 3*z + 0*z = 9, -15 = -5*s - 5*z. Suppose r - 37 - 122 = s. Is r prime?
False
Let m(j) = 6*j**3 - 3*j**2 - 3*j - 3. Let z be m(3). Let w = -68 + z. Is w a composite number?
True
Let t(c) = -c**2 - 11*c + 6. Let m be t(9). Let u = m + 516. Let h = 565 - u. Is h a composite number?
False
Suppose -2 = -3*m + 7. Suppose 5*y - 40 = -5*h, 0 = h - 5*y - m + 25. Is h a prime number?
True
Let a = 11 + -8. Let x = a - -1. Suppose -x*u - 13 - 13 = -2*f, 0 = 4*f + 4*u - 88. Is f a prime number?
True
Suppose 2*s = -i + 5*i + 10, 4 = -i. Let u(r) = -r**3 - 3*r**2 + r + 4. Let x be u(s). Let p = x + 45. Is p composite?
True
Suppose h = -5*w + 249, w - 4*w = -3*h + 765. Let f be 2/((-8)/(-6))*-340. Is 1/(-2 - f/h) composite?
False
Let n = 71 - 49. Let u = n - 13. Suppose 4*i = w + u, 4*w - 3*i - 24 = -7*i. Is w prime?
True
Suppose -6*v + v + 1210 = 0. Suppose -r + h = -3*h - 69, 0 = 3*r - 5*h - v. Is r a composite number?
False
Let f(r) = 34*r**2 + 8*r + 3. Is f(-5) composite?
True
Is (-41104)/(-10) + 6/10 composite?
False
Let a = -13 - -22. Let z be 2/a + 148/(-18). Is (2 - 4)/(z/236) a composite number?
False
Suppose -b + 8*b = 469. Is b a prime number?
True
Let u = -2 + 5. Suppose -2*f + 0*n + 152 = -u*n, -5*n = -5*f + 385. Is f composite?
False
Suppose 0 = -27*z + 28*z - 1466. Is z composite?
True
Let j be 0 + (0/(-3))/4. Suppose j = 2*y - 138 - 74. Is y a prime number?
False
Is ((-2)/(-6))/((-5)/(-4965)) composite?
False
Let g(n) be the second derivative of -n**3/3 - n. Let z be g(-1). Suppose 0*r - 3*r - m = -41, 72 = 5*r - z*m. Is r composite?
True
Suppose 3*c - 644 = -c. Is c a composite number?
True
Let s be (-2)/12 + 501/(-18). Is 211/4 + (-7)/s a composite number?
False
Let g(m) = m**3 + 5*m**2 + 12*m + 1. Is g(7) a prime number?
True
Let i = 731 - -228. Is i a composite number?
True
Suppose 5*s - 10*s = -2155. Is s a prime number?
True
Let j = 678 - 281. Is j composite?
False
Let d(n) = 2*n - 1. Let c be d(2). Let z(p) = -c*p - 1 - 5 + 2 + p**2. Is z(6) a composite number?
True
Suppose 0*y + 718 = y + v, -4*y + 2842 = -2*v. Is y prime?
False
Is (230/(-20) + 9)/((-1)/26) a composite number?
True
Let f(o) = 10*o**2 + o - 1. Let r(h) = h**3 - 4*h**2 + h + 4. Let q be r(3). Is f(q) prime?
True
Let n(z) = -z. Suppose 2*p - 2 - 4 = 0. Let x be n(p). Is ((-22)/x)/(2/3) prime?
True
Let g(d) = 3*d**2 + 3*d - 2. Let h = -17 + 12. Is g(h) a composite number?
True
Let l = 5 + -6. Let c = 5 + l. Suppose -b - c*y = 1, -3*b + y = 2 - 12. Is b a prime number?
True
Let f(p) = -p**2 + 2*p - 2. Let w be f(2). Let b = 1 - w. Suppose -b*k + 206 = -25. Is k prime?
False
Let c be -1 + (-16)/(-2) + 0. Suppose c*t - 3*t = -4. Is -2 + (-111)/3*t prime?
False
Let f(i) = -100*i - 21. Is f(-7) a prime number?
False
Is (-3)/(-9) + (-1112)/(-3) a prime number?
False
Let x = 1823 + -1105. Is x prime?
False
Let o(d) = 10*d + 1. Let g be o(1). Suppose j = -4*j. Suppose 0 = -j*h + h - g. Is h a composite number?
False
Let f = 10 - 10. Suppose -2*x + 0*x + 62 = f. Is x a composite number?
False
Suppose -4*x + h = -371, -3*x = -5*x + 5*h + 163. Let j = 10 + -7. Suppose x + j = k. Is k prime?
True
Suppose 0 = -5*t - 5*q + 50, 6*q - 2*q = t. Suppose 0 = o - 18 - t. Is o a prime number?
False
Suppose -69 - 586 = -5*n. Suppose -q + n = 42. Is q composite?
False
Suppose -5*b + 5 = -2*i, -2*i + 2*b - 5*b = -19. Suppose 0 = i*x - 3*x - 6. Suppose -6*g = -x*g - 399. Is g a prime number?
False
Let l = -323 - -454. Is l a composite number?
False
Suppose 6*b - 25 = b. Suppose -308 = n - b*n. Is n prime?
False
Let t = -16 + 23. Let b(i) = i**3 - 8*i**2 + 7*i + 4. Is b(t) a composite number?
True
Let b(r) = -r**3 - 4*r**2 - 3*r + 3. Suppose -3*f - f = -24. Let g be (-4 + f)/(2/(-3)). Is b(g) composite?
False
Let n(c) = -8*c + 8. Let w be n(-9). Suppose -5*a = -3*g + w, g + 3*a - 23 - 27 = 0. Is g composite?
True
Let v = 46 + -27. Suppose -h = -v - 14. Is h a prime number?
False
Suppose -2*f + 1 = -4*d + 5, 4 = 2*d. Suppose r = -3*g - 4*r + 74, f*g - 76 = 2*r. Is g prime?
False
Let b(q) = -510*q + 3. Let l be b(-3). Suppose 5*p = 4*u + l, -3*u + 4*u = -5*p + 1523. Suppose -4*t + h = 2*h - 223, 5*t - 4*h = p. Is t prime?
False
Suppose 4805 = 2*w + 399. Is w a prime number?
True
Let x(c) = -c**3 + c**2 + 36. Suppose 2*a + 16 = -4*v, 4*a + v - 4 + 8 = 0. Let y be x(a). Suppose -26 - y = -2*h. Is h a prime number?
True
Let l(f) = 148*f - 3. Suppose 0 = -2*k, -3*k - 10 = 2*u - 3*u. Is l(u) prime?
False
Let g = 20 + -2. Let k = g - 11. Suppose 0 = 3*n - 4*n + k. Is n composite?
False
Let d = -2 + 2. Let s = 75 - 51. Suppose d = 3*x - s - 45. Is x prime?
True
Let s(o) = 5*o - 8. Let w be s(9). Suppose 4*y - w = 3*y. Is y prime?
True
Let b(n) = 4*n**2 - 11*n - 9. Let k(x) = x**3 - 4*x**2 + 3*x - 2. Let p be k(3). Let g be (p - 1) + (-15)/3. Is b(g) a composite number?
True
Let w = 2 - -3. Suppose 2*t + 17 = 7*t - 4*l, -w*l = -10. Is (211/2)/(t/10) prime?
True
Suppose 6*j = 15*j - 2223. Is j a prime number?
False
Let d(p) be the third derivative of p**5/15 - p**4/8 + 3*p**2. Is d(2) a composite number?
True
Let j = 439 + -180. Is j a prime number?
False
Suppose 5*h - 5*a = 0, 3*a = -h - 16 - 4. Let m = 5 + h. Is 8*3 - (2 - m) a prime number?
False
Let b be (-790)/110 - ((-20)/(-11) + -2). Let x(y) be the third derivative of y**5/30 - y**4/8 + 4*y**3/3 + y**2. Is x(b) a prime number?
True
Let t = -27 + 92. Is t prime?
False
Let m(x) = -x**3 + 7*x**2 - 4. Let b be m(7). Let a(v) = v**2 + 4*v + 4. Let y be a(b). Suppose -z + k = -50, 7 + 150 = 3*z + y*k. Is z prime?
False
Let z = -1 - -26. Let p = z - 12. Is p a composite number?
False
Let z = 1191 - 304. Is z a prime number?
True
Let k = 0 + 2. Let d(n) = 77*n - 9. Let b(g) = 39*g - 5. Let y(i) = -11*b(i) + 6*d(i). Is y(k) prime?
True
Let d(f) = 43*f**3 + 4*f**2 - f - 1. Is d(3) a composite number?
False
Let c = -188 - -829. Is c a composite number?
False
Let d(o) = -4*o**3 - 2*o**2 - o - 2. Let f be d(-3). Let h = f - 58. Is h a composite number?
True
Let v(d) = -2*d + 7. Let c be v(6). Let i be 144/10 - (-2)/c. Suppose 47 - i = 3*y. Is y prime?
True
Suppose 5*q + 5*g - 790 = 0, -2*q - 2*g - 3*g = -316. Is q a prime number?
False
Let y(f) = f**3 - f**2 - 28. Let b be y(0). Suppose p + 15 = -4. Let i = p - b. Is i prime?
False
Suppose -3*a + 222 = -0*a. Is a composite?
True
Let r(i) = i**3 + 5*i**2 + 5*i + 2. Let o be r(-4). Let w = 4 + o. Let d = 5 - w. Is d a prime number?
True
Suppose 0 = 4*r + c - 212, 3*c = 5*r - 0*r - 265. Let i = r + 36. Is i a composite number?
False
Suppose -7 = -0*u + u. Let p(z) = z**2 + 9*z + 10. Let i be p(u). Is (-2 - i)*381/6 composite?
False
Let l = -3 + 8. Let q = 7 + l. Let k(b) = -b**3 + 13*b**2 - 11*b + 2. Is k(q) composite?
True
Suppose -4*r + 4*g = -9 - 35, 0 = 5*r - 4*g - 50. Let b(v) = -v**2 + v + 2. Let w be b(3). Let h = w + r. Is h composite?
False
Let q = 3 - 2. Suppose q + 7 = 2*r. Suppose 2*p - r*p + 66 = 0. Is p a prime number?
False
Let p be 350 - (-2)/(-1)*1. Is 3*p/9 - 1 composite?
True
Let h(o) = 2 - 401*o**3 + 7*o - 8*o - 3. Is h(-1) prime?
True
Let o(a) = 2*a**3 + 2*a**2 + 8*a + 7. Is o(10) a prime number?
True
Let b(m) = -1 + 2*m**2 - m + 3*m**2 - m**2. Suppose 2*z + z - 12 = 0, 0 = -4*g - 2*z + 28. Is b(g) composite?
True
Suppose 194 = -2*h - 5*r, 2*r + 0 = h + 115. Let m = h + 164. Is m prime?
False
Let u = -7 - -12. Suppose u*d = -0*d + 385. Is d a prime number?
False
Let y be (1/2)/((-6)/(-6960)). Is y/44 - (-4)/(-22) a composite number?
False
Suppose -165 = -3*g - 4*x, -4*g + 7*g - x = 165. Suppose -3*f = -p + 70, g = -2*f - p - 0. Is (0 + f)*2/(-2) composite?
True
Let p(l) = 6 + 5 + l + 8. Suppose 0 = -3*x + 3*z - 39, 34 = -3*x + 2*z - 0*z. Is p(x) a prime number?
True
Is 3/(4/(-4)) + 158 a prime number?
False
Is ((-5)/10)/((-1)/1346) a composite number?
False
Let h(t) = -13*t - 4. Let l be h(-6). Suppose -j + 152 = 5*s, 2*j - 200 - l = -4*s. Is j a prime number?
True
Suppose -4*t + 144 = 