-2*y + 4*y. Suppose 0 = -3*l - m*l + 57. Is l prime?
True
Suppose 30 = 5*a + 5. Suppose -2*l + 443 - 68 = 3*b, -a*l = -5*b + 650. Is b a prime number?
True
Suppose 2*y - 2*j = -21 + 607, 4*y = 5*j + 1172. Is y a composite number?
False
Let g(q) be the second derivative of -q**4/12 - 7*q**3/3 + 5*q**2/2 - 4*q. Let k be g(9). Let a = k - -285. Is a composite?
False
Let n = -16 + 9. Let q(w) = -18*w + 3. Let x be q(n). Suppose 0*p + p = 5, -4*z - p = -x. Is z a prime number?
True
Let r(o) = -o**3 - 5*o**2 + 6*o. Let t be r(-6). Suppose n = 3*g + 334, t = n + 4*n + 4*g - 1689. Is n a composite number?
False
Let f be 1*191*(-5 + 9). Suppose -u + 195 = 2*d, -2*u - 2*u - 4*d + f = 0. Is u prime?
False
Let h = 5 - 6. Is h/((-2)/110)*1 a prime number?
False
Let n(v) = -v**2 + 13*v. Suppose -3*j + 6*j = 33. Is n(j) prime?
False
Let j = -62 + 121. Is j a composite number?
False
Suppose 4*l + 3*x = -1, 10*x - 5*x - 4 = -l. Let v be (1 + -1)*1*l. Is (v - -4)*53/4 composite?
False
Let l be (-5)/2*4/(-5). Let k = l - 2. Suppose -2*b = 4*m - b - 200, k = -m + 2*b + 41. Is m a composite number?
True
Let b be (-4)/10 + 48/20. Suppose -146 - 82 = -b*m. Is (-3)/12 - m/(-8) composite?
True
Is 86 - 3/((-3)/12*-4) prime?
True
Let c = 60 + -42. Is ((-12)/c)/((-4)/150) prime?
False
Let d be (-150)/(-9)*(-6)/(-5). Suppose 5*i - d = 0, i = -5*x - 106 + 525. Is x composite?
False
Let o = 5 + 4. Is 479/o + (-2)/9 composite?
False
Suppose -44*f + 3022 = -42*f. Is f a composite number?
False
Is (-8585)/(-15) - 4/(-6) prime?
False
Let t(z) = -5*z**2 + 7*z - 2. Let j be t(5). Let r = j + 223. Is r a composite number?
False
Suppose -4 = 4*c - 16. Is 1/(2/(582/c)) prime?
True
Let b = -626 - -880. Suppose 23*t = 21*t + b. Is t a composite number?
False
Let g(s) = -3*s + 1. Is g(-12) prime?
True
Suppose 0 = -2*k + 5*a + 4458, 5*a = -5*k - 0*k + 11075. Is k a prime number?
False
Let m(r) = r + 6. Let p be m(-6). Let l = 3 + p. Is l composite?
False
Suppose -2*b + 16 = 2*b. Suppose 0*j = 4*z + b*j + 16, -3*z + 4*j = -9. Is -1*(-36 - (z - -2)) a prime number?
True
Let r = -4 + 53. Let w be (-50)/(-2) + (2 - 1). Suppose -3*g = -w - r. Is g prime?
False
Let n(j) = -j**2 + 7*j - 7. Let h be n(5). Suppose -4*r + 24 = h*m, 49 = 5*r - 2*m + m. Is r/(-15) - (-226)/10 a prime number?
False
Suppose -643 = -2*r + 1191. Is r composite?
True
Suppose -5*d + 1 - 6 = 0, 4*x - 36 = -4*d. Let p(v) = 27*v - 11. Is p(x) composite?
True
Let q(i) be the third derivative of i**5/60 + i**4/24 + 17*i**3/2 - i**2. Is q(0) composite?
True
Suppose -5*v - 3*m + 0*m + 40 = 0, 0 = 3*v - 3*m. Suppose -v*r + 86 + 9 = 0. Is r composite?
False
Let f = -38 + 369. Is f a prime number?
True
Let g(a) = -20*a**2 + a. Let d be g(1). Let v = 6 - d. Is v composite?
True
Suppose -3*r = -8*r + 20. Suppose -r*t + 3*y + 8 = -y, -t = y - 10. Let i(v) = 2*v**2 + v + 7. Is i(t) composite?
True
Let c = 38 + 165. Suppose -o + 2*g = -g + 56, 5*g = -o - 56. Let i = c - o. Is i a composite number?
True
Suppose -2*q + 333 - 79 = 0. Is q a prime number?
True
Suppose f = 1 + 1. Suppose -2*x + 2 = -x, -3*k + 11 = -f*x. Suppose 70 = k*w - c, 0 = 5*w - 2*w - 2*c - 49. Is w composite?
False
Let t(v) = -6 - 6*v**2 + v**3 - v**3 - v**3 - 2*v. Let x be t(-4). Is x/(-9) + (-1)/3 prime?
True
Suppose -n + 2*h = -10, -5*h = 3*n - 0*n + 14. Let o(r) = -3*r**2 + 3*r**n - 2*r + 2 + 10*r**2. Is o(2) a prime number?
False
Suppose -5 = -2*x + x. Is 178/x + 6/(-10) a prime number?
False
Let p be (-2)/2 + 1 + -1. Let y = p - -2. Suppose 9 - y = 4*o. Is o a composite number?
False
Suppose 3*g + i + 3*i + 1141 = 0, -5*i - 395 = g. Let m = g + 532. Is m prime?
True
Let k(z) = 2*z**2 - 17*z - 16. Is k(-11) composite?
True
Let f(w) = 91*w**3 + w - 1. Let g(b) = b + 11. Let x be g(-8). Suppose -2*l - k = -2*k - 6, x*l - 5*k = 23. Is f(l) prime?
False
Suppose 0 = -3*o + 2014 - 445. Is o a composite number?
False
Let v(n) = n**2 + 9*n + 4. Let x be v(-9). Suppose x*p = 2*p + 694. Is p a prime number?
True
Let o(m) = -m**2 - 5*m - 3. Let l be o(-4). Let r(c) = c**2 - c - 3. Let h be r(-3). Is (-48)/h*-3 - l composite?
True
Let g = 8 + -8. Suppose -4*x = -3*a + 253, g*a + 412 = 5*a + 3*x. Is a prime?
True
Suppose 7*y = y + 1758. Is y a prime number?
True
Suppose -5*d - 2400 = 4*q - 17711, 5*d - 11482 = -3*q. Is q a prime number?
False
Let c(l) = l**2 - 4*l - 9. Let v(y) = -y**2 - 7*y - 6. Suppose -24 = 5*d + 11. Let b be v(d). Is c(b) a prime number?
False
Let h = 3764 + -2124. Suppose 5*u = -5*p + h, -u + 4*p - 17 = -330. Suppose -u = -6*n + n. Is n composite?
True
Suppose 4*t = 4*f - 844, 2*f + 5*t = 251 + 171. Is f a prime number?
True
Is ((-106)/4 - -3)*-46 composite?
True
Suppose 808 = 4*i - 364. Is i a prime number?
True
Suppose 5*h + 5*a - 4*a - 2770 = 0, -5*a = -3*h + 1634. Is h a composite number?
True
Let g(y) = 11*y - 10. Is g(9) composite?
False
Let c(g) = 12*g**3 - g**2 + 2*g - 1. Let z be c(1). Suppose -y = y - z. Is y a prime number?
False
Is 11 - (-2 + (3 - 3)) a prime number?
True
Let f(i) = 19*i + 2. Let p be f(-2). Let l = p - -62. Is l prime?
False
Let g(b) = -2*b + b + 26*b**3 + 3*b - 3*b. Let t be g(1). Let q = 81 + t. Is q a prime number?
False
Let j be 6/(-33) - (-2)/11. Suppose 3*d - 6*d + 27 = j. Is d/3 + 0 + 160 prime?
True
Suppose 204 = 2*y - 64. Is 0/(2 - 6) + y a composite number?
True
Suppose 4*s = -8, -3*s = -5*n - 6*s + 139. Let f = 118 - n. Is f a prime number?
True
Suppose -2*s + 718 = -4*h, 5*h = 5*s - 1005 - 775. Is s a composite number?
False
Suppose -3*g = -b + 186 - 8, -2*g = -4*b + 712. Is b composite?
True
Let j(b) = 3*b**2 + 10*b + 7. Let m be j(-6). Is (m/10)/((-2)/(-12)) a prime number?
False
Suppose 0 = 4*t - 378 - 142. Suppose 4*w - 82 = t. Is w prime?
True
Suppose 309 = 4*i + 97. Is i composite?
False
Let a(y) = -7*y**3 + 4*y**2 - 3*y + 2. Let o be a(3). Let m = o - -229. Is m prime?
False
Let h = -8 + 7. Is ((-1309)/(-14))/(h/(-2)) composite?
True
Let r(o) = o**3 - 8*o**2 - 3*o - 1. Is r(9) a composite number?
False
Let t(r) = -9*r + 16. Is t(-7) prime?
True
Suppose 0 = 3*f - 33 - 30. Is f prime?
False
Let s(t) = 7*t**3 + 7*t**2 - t + 5. Is s(3) prime?
False
Let q(z) = z**2 - 10*z - 8. Is q(11) a composite number?
False
Suppose 1 = q + g - 4, -3*g = q + 5. Let k = -6 + q. Suppose p + k*p = 425. Is p a composite number?
True
Let b be 3/15 - 42/10. Let a(n) = -n**3 - 4*n**2 - n - 1. Is a(b) composite?
False
Suppose 12*p = 2*p + 12570. Is p prime?
False
Let j = 1 - 3. Let s = j - -6. Is (-8)/(-10)*70/s a prime number?
False
Let d(j) = -j**2 + 1923. Is d(0) a composite number?
True
Is 16/(-4)*422/(-8) a composite number?
False
Let h be (-12)/(-3) - -48 - -1. Let m be (-4)/(-10) + 526/10. Suppose -i + m = -4*f, -f + h = 3*i - 2*i. Is i a prime number?
True
Let s = 46 + -28. Suppose -3*r + 4*z + 20 = 0, r + s = 5*r - z. Suppose -r*w + 85 = -175. Is w a composite number?
True
Let l be (0 - 3) + -1 + 2. Let z = l - -13. Is z a prime number?
True
Suppose -n - 332 = -1141. Is n composite?
False
Is (502/(-1))/(20/(-30)) a prime number?
False
Let i(z) = 2*z**2 + 17*z + 10. Is i(-13) composite?
False
Let x(g) = -g**3 - 7*g**2 + 7*g + 10. Let u be x(-8). Is 12/u*(-474)/(-4) prime?
True
Suppose 2*u - v + 69 = 225, -u + 4*v = -71. Let g = u - 2. Is g prime?
False
Let h = 0 - -2. Let t be 2/h + 0 + -2. Is 2 - (t - 0/(-3)) prime?
True
Let i be 5/(-20) - 1/(-4). Let w = 16 + -10. Is 678/w + i/2 composite?
False
Suppose 0 = -7*j + 3884 + 13119. Is j a prime number?
False
Suppose -2*q - 4*c + 19 = -q, -5*q = 4*c - 31. Suppose -o = o + 3*n - 19, q*o = -2*n + 31. Is o a composite number?
False
Suppose 2*d + 188 = 6*d + 3*z, -5*z + 235 = 5*d. Is d composite?
False
Let b = 375 + -160. Is b a prime number?
False
Suppose -x = 29 - 82. Suppose -v + x = k - 26, -5*k = 4*v - 393. Is k prime?
False
Let k(f) = 27*f + 4. Suppose -6*v + 2*v - 16 = 0. Let x(s) = -s**3 - 3*s**2 + 3*s - 1. Let h be x(v). Is k(h) a composite number?
True
Is (2/(-6))/((-1)/309) a composite number?
False
Let t = 6 + 185. Is t a composite number?
False
Let t(v) = -v**3 - v**2 + v - 1. Let w(c) = 2*c**3 + 4*c**2 - 4*c - 31. Let y(g) = -3*t(g) - w(g). Is y(0) prime?
False
Let v(i) = i**3 - i**2 - 2*i - 5. Let u be v(-4). Let x be -7 - -8 - 1*u. Suppose -5*g + x = -3*g. Is 