= -10*y + k. Is y a composite number?
True
Let m(l) = -283*l + 4. Let c(t) = -567*t + 5. Let u(f) = -2*c(f) + 5*m(f). Let z be (2 + 1)*1*-1. Is u(z) prime?
True
Let s(a) = 2*a**2 + 7*a - 6. Let b be (-6)/(-10) + (-164)/(-10). Suppose 8 + b = 5*h. Is s(h) composite?
False
Let o = 2 + 0. Let j be ((-747)/(-18))/(1/o). Suppose -5*b + j = -4*b. Is b a prime number?
True
Let r(m) = m**3 - 20*m**2 - 43*m - 9. Let d = -43 - -66. Is r(d) a prime number?
False
Let y be (-3)/(-6)*(-24)/(-3). Suppose 7*r = y*r + 84. Suppose -2*t - 2*t = -r. Is t a prime number?
True
Suppose 0 = -14*y - 25*y + 2122887. Is y a prime number?
False
Let i be (3 - (3 + 0))/(-2). Suppose d - 152 - 427 = i. Is d prime?
False
Suppose 3*x = -b - 6, 3*b + 0*x = 3*x + 30. Is (20/6)/(b/207) composite?
True
Let l(b) = -b**3 + 4*b**2 + 4*b + 7. Let z be l(5). Suppose 18 = z*s + s. Suppose 545 = 5*f - 4*o, s*f + o - 570 = f. Is f composite?
False
Let s(z) = 3*z**2 + 5*z - 7. Suppose -3*l + 79 = -23. Suppose -4*w + l = -0*t - 3*t, -10 = 5*t + 5*w. Is s(t) prime?
True
Let g be 3*1*-34*(-19)/3. Suppose 3*b = -r + 476, -2*b + r = b - 466. Suppose -4*v + 2*v + b = z, -2*v + g = 4*z. Is z a composite number?
False
Let o = 42635 - 11268. Is o prime?
False
Let y(r) = 125*r**2 + 16*r - 41. Is y(6) a prime number?
False
Let w(i) = 3*i - 14. Let d be w(6). Suppose -638 = -d*s + 3*s + 3*h, 0 = 4*s + 3*h - 2477. Is s composite?
True
Let n = -12234 - -19303. Is n a composite number?
False
Is (-100281)/(-15)*2*(-44 - -49) a composite number?
True
Let m be 2/9 - 2/9. Suppose 0*k - 4*k = -5*h - 1495, -3*h = 4*k - 1535. Suppose 2*x - 2*c - k = c, -2*x + 5*c + 384 = m. Is x a prime number?
False
Let c(z) = 8373*z - 12. Let h be c(-5). Is (-6)/51 - h/51 a composite number?
False
Let u(d) = 23*d**2 - 12*d - 9. Let r(h) = -h**2 + h. Let x(c) = 5*r(c) + u(c). Is x(-4) composite?
False
Let s = -2822 - -6255. Is s prime?
True
Suppose 2*k + 26 - 8 = -2*y, k = 3*y + 15. Let n(b) = 9*b**2 - 7*b + 33. Let f(s) = -5*s**2 + 3*s - 16. Let o(d) = -7*f(d) - 3*n(d). Is o(y) composite?
True
Let j(m) = -3*m**3 + 6*m**2 + 9*m + 65. Is j(-9) prime?
True
Let f(h) = 7*h**2 + 4*h + 4553. Is f(0) prime?
False
Suppose -6*g - g = 0. Suppose 2*f - n - 6 = 0, -n + 10 = 2*f - g*f. Suppose -f*v + 3*v + 253 = 0. Is v composite?
True
Let v(j) = -j**2 + 5*j + 4. Let r(y) = y**2 + y + 6. Let g be r(0). Let c be v(g). Is (-2)/(c - (-1332)/669) a prime number?
True
Let u be 42/11 - 8/(-44). Suppose -u*r + 632 = -644. Is r a prime number?
False
Suppose -2*v = -4*v - 5*d + 658, 3*v + 5*d - 977 = 0. Is v composite?
True
Let q(i) = -3*i**2 - 3*i + 2. Let o be q(-3). Let d = 25 - o. Suppose -151 + d = -5*m. Is m composite?
True
Let v(a) = 103*a**2 - 22*a + 373. Is v(10) a prime number?
True
Let t = -22395 - -15577. Is (-5)/(-2)*t/(-35) a prime number?
True
Let b be 2 + (-9 + 3 - -3). Let p be b/(-4) - 5054/(-8). Suppose -5*o + 3*f + p = 0, -o = o - f - 253. Is o a prime number?
True
Let z be 7*2 + (-7 - -3). Is (177*z/(-15))/(2/(-7)) prime?
False
Suppose -67055 = 5*i - 4*c - 500338, 346651 = 4*i + 5*c. Is i a prime number?
False
Let z(i) = 21267*i**2 - 7*i - 1. Is z(1) a composite number?
True
Suppose -y - 4*y = 4*h - 52127, y - h - 10429 = 0. Is y a prime number?
True
Let s(f) = 31*f**2 + f - 3. Is s(6) composite?
True
Suppose 3*d - 3 = 3*m - 0, 5*m = -3*d + 11. Let i be (276/(-8))/(d/(-24)). Suppose 3*a - 617 = -6*l + l, -4*l + i = 2*a. Is a composite?
False
Suppose 61*m - 65*m + 16 = 0. Suppose 1 = -y, m*a - 4*y = 449 + 375. Is a a prime number?
False
Suppose i + 4*n = -0*i - 10, 5*n - 75 = 5*i. Let u be 4*(i/8 + 1). Is (-280)/(-21) + (-2)/u prime?
False
Suppose 6*v - v = 15. Suppose -2*h - 246 = -5*g, -2*g - 2*h + 104 = -0*h. Suppose v*l = l + g. Is l prime?
False
Let y be 2 + -4 + 0 + 7. Let s(z) be the second derivative of z**5/20 + z**4/12 + z**3/6 - 5*z**2 - 38*z. Is s(y) composite?
True
Suppose -28*u + 23*u - 10 = 0. Let b(p) = -38*p**3 + 3. Is b(u) a prime number?
True
Let f = -368 - -2691. Is f a prime number?
False
Suppose -7 = 3*u - 19. Suppose -5*z = 3*t - 0*z - 36, t - 23 = 2*z. Suppose 0 = -4*g + 3*r - t + 360, -g + u*r = -89. Is g composite?
True
Let y(n) = n**3 - 5*n**2 + 5*n. Let v be y(3). Is -3*(-5)/45 - 7508/v composite?
False
Let x(c) be the third derivative of 1183*c**5/20 - c**3/3 - 5*c**2. Is x(1) prime?
True
Let g = 150 - 19. Suppose -3*v - 78 = 2*a - 273, 2*v + a - g = 0. Is v a composite number?
False
Suppose 9*h = 2*w + 14*h - 6059, -h + 9056 = 3*w. Is w composite?
True
Suppose 0*b + b - 5139 = -2*z, -b - z + 5143 = 0. Is b composite?
False
Suppose 0 = -4*y + 3*o + 4793 + 489, 5*y = 4*o + 6603. Is y prime?
True
Suppose 218*x + 1008 = 225*x. Let l be 1313/5 - 4/(-10). Let c = l - x. Is c a composite number?
True
Let m(z) = -19*z**2 - 1. Let j be m(2). Is (j/(-28))/(2/1384) a composite number?
True
Let q(x) = -x**3 + 13*x**2 - 7*x + 13. Let r be q(10). Let o = r + -52. Is o a composite number?
False
Suppose -y - 2*l + l = -8, -13 = -y - 2*l. Suppose 0 = y*g - 85 - 1172. Is g a prime number?
True
Suppose -w = -h - 2693, -2*w + 3*h + 4794 + 591 = 0. Suppose 0 = b + 517 - w. Is b prime?
False
Suppose -9*k + 64 - 10 = 0. Suppose -4*d = 4*o - 2*o - k, -2*o + 16 = -d. Is o a prime number?
True
Let q(x) = 4*x**2 - x - 14. Suppose -4*z - 14 + 3 = 3*j, -2*j = -6. Is q(z) a prime number?
False
Suppose -8*s = -3*s - 20. Let x(k) = -2 - 9*k - 4*k**2 - s*k**2 - k**3 + 11 - k. Is x(-8) a composite number?
False
Suppose -7*t + 2*t = 0. Let i be 4 + (t - (4 + -2)). Suppose 5*z + 5 = 0, -i*z + 216 = a - z. Is a prime?
False
Suppose 0 = -2*h + 4*n + 12, -2*h - 2*n - 4 = 2*n. Suppose 3*b = -3*z + 8700, 0*b + 4*z = h*b - 5794. Is b prime?
False
Let c = 3489 + -1652. Is c a composite number?
True
Let g be 0 - -2 - 8134/2. Let y be (88/(-6))/((-8)/(-1536)). Let p = y - g. Is p prime?
True
Suppose -4 = -4*x + 12. Suppose -4*q - 5*s + 37 = -31, -2*q + 8 = -x*s. Let d = q + -10. Is d composite?
False
Suppose -108*j = -105*j - 51669. Is j a composite number?
True
Let i(a) = -a**3 - a**2 + 2*a. Let v be i(1). Suppose -3*q + 7*q - 44 = v. Is q composite?
False
Is ((-16)/(-6) - 3) + 6418816/192 a composite number?
True
Suppose 109318 = 7*j - 194475. Is j a composite number?
False
Suppose 2*v - 3*x = 1547, -3*x = -4*v - 1997 + 5082. Is v prime?
True
Let s(k) = -k**2 + k + 4. Let h be s(4). Is h/(-12) - 1333/(-3) composite?
True
Suppose -10 = -o - 2*b, 9 = -3*o - 5*b + 36. Is o/10 - 4433/(-5) prime?
True
Let m = -1987 - -3936. Is m a composite number?
False
Let l = -37 - -30. Let i(x) = -x. Is i(l) a prime number?
True
Let x(v) = -558*v**3 - 8*v**2 - 75*v - 8. Is x(-7) a prime number?
True
Let j(w) = 10*w + 16922. Is j(0) a prime number?
False
Let w(p) = 18*p**3 - 2*p - 1. Let c(z) = 2*z - 15. Let y be c(9). Is w(y) prime?
True
Let f(w) = 4*w**2 + 8*w + 9. Let p be f(-5). Let x = 128 - p. Is x a prime number?
True
Let y(o) = 2*o**2 + 15 + 17*o**2 + o - 3*o - 9*o**2 + 2*o**3. Is y(8) prime?
True
Let x = -680 + 6966. Let m be (-4)/30 + x/(-105). Let l = 163 + m. Is l composite?
False
Suppose 29*h = 179112 + 22699. Is h a prime number?
True
Let l(g) = 103*g**2 - 34*g - 266. Is l(-11) a composite number?
True
Let t be 12/(-7) + 6/(-21). Let n = t + 3. Is (-30 - -7)*(0 - n) a prime number?
True
Let f be (-64586)/(-6) + (-7)/21. Suppose 0*s + 5*c - 10794 = -3*s, 5*c + f = 3*s. Is s prime?
True
Suppose 0 = m - w, -4*m + 5*w - 2 = -1. Is (27/45)/(m/1685) composite?
True
Let o = -33 + 14. Let z = o + 33. Suppose 2*r = 4*y + 20, -3*y - 22 - z = -5*r. Is r prime?
False
Suppose 20*g - 5*m - 2311 = 19*g, 3*g + 2*m = 6882. Let j be -3*(0 + -2)*-2. Is (g/j + 1)*-3 a prime number?
True
Suppose -3*r + 4*p + 14749 = 2*r, r + 3*p = 2965. Let v = -1556 + r. Is v a prime number?
False
Suppose 4*f + 5 = 5*f. Suppose 1 = -4*x - 19, f*x + 845 = 4*b. Is b composite?
True
Suppose 4183 = -6*l + 16411. Suppose -5760 - l = -14*f. Is f a composite number?
False
Let b = -2728 + 1610. Let s = b + 2411. Is s a composite number?
True
Let g = 36 + -39. Let j(o) = -24 - 37*o - 181*o + 23. Is j(g) composite?
False
Let k(c) be the first derivative of -1/3*c**3 + 7*c - 1 + 2*c**2 + 1/4*c**4. Is k(5) a prime number?
True
Suppose c = -4*c. Suppose 0 = -0*x + x - h - 54, c = -x + 5*h 