Suppose 0 = q + q - 10. Suppose -q*w + 9 = -6. Suppose 3*y - 18 = -w*u - 0*u, 0 = -4*y + 2*u + 6. Is y composite?
False
Let k(l) = -5*l - 1. Let g be k(-5). Is 48/5 + g/60 a prime number?
False
Let q = -666 - -1209. Let n = q - 382. Is n a prime number?
False
Suppose 0 = -2*s, -3*s + 2*s = 3*z - 57. Is z a prime number?
True
Suppose 3*g = -v + 7, -2*v + 11 = g + 2*g. Let p(t) = 12*t + 1. Is p(g) composite?
False
Let f(x) = -241*x + 5. Is f(-2) a prime number?
True
Let o be (-8)/12 - (-26)/(-6). Is (-2 - -7)*(-179)/o a composite number?
False
Let k be ((-158)/(-6))/(8/24). Let v = 113 + -21. Suppose 4*z - k = -x, v = 5*z - 2*x + x. Is z prime?
True
Let g be 8/6*9/6. Is (13/g)/((-1)/(-10)) prime?
False
Suppose 5413 = 5*u + b, -3*u + 5*b - 2*b = -3237. Is u composite?
True
Suppose 0 = 3*a - k - 493, -a - 7*k + 186 = -3*k. Is a composite?
True
Let d = -1794 - -3296. Let i = d + -1072. Suppose -w - w - i = -2*s, -w - 4 = 0. Is s a composite number?
False
Suppose -12 = 5*p - 2*p. Let o = 2 + p. Is (-4*3/3)/o a prime number?
True
Let r(v) = 2*v - 6. Let n be r(-6). Let z = 74 - 76. Is n/z*6/9 a prime number?
False
Let a(u) = u - 2. Let y be a(5). Suppose -y*o - 61 - 14 = 0. Is 10/o - 354/(-10) composite?
True
Suppose 5*r + 28 + 135 = 4*v, -5*r - 116 = -3*v. Is v composite?
False
Let p be 3/6 - (-85)/2. Suppose 3*l - 194 = p. Is l a composite number?
False
Is (-21544)/(-32) + (-2)/8 prime?
True
Let c(f) = f**2 + 2*f + 1. Let u be c(-8). Let i(d) = 3*d**2. Let n be i(1). Suppose k + b = n*k - 51, b = -2*k + u. Is k a composite number?
True
Let l(g) = g**3 - 5*g**2 + 2*g - 6. Let v be l(5). Suppose 3*r - v*r - 126 = 0. Is -7 + 1 - -3 - r a composite number?
True
Let p(z) = -z**2 - 5*z + 2. Let n = 11 - 16. Let v be p(n). Suppose 6*h - v*h - 84 = 0. Is h a composite number?
True
Let n be ((-36)/(-10))/((-15)/(-1250)). Suppose 3*w + 2*w = 15. Suppose -w*x + 5*r = -256, -5*x = 4*r - 65 - n. Is x composite?
True
Is 4 + (-2)/((-8)/316) composite?
False
Suppose -15*m + 2804 = -15901. Is m a prime number?
False
Suppose -5*z = -3*z - 2*t, 4 = -2*t. Let n be z/4 - (-78)/4. Let l = 40 - n. Is l a composite number?
True
Let d(k) = 4*k**3 - 3*k**2 + 2*k + 1. Is d(2) a prime number?
False
Let h(w) = 5*w**2 - 57*w - 1. Let p(q) be the first derivative of -q**3/3 + 7*q**2 - 2. Let g(i) = 2*h(i) + 9*p(i). Is g(9) composite?
True
Suppose 3*f = 0, -2364 = -l - 4*f + 3*f. Suppose 0 = -5*x - 269 + l. Is x a composite number?
False
Let r = 33 - -4898. Is r prime?
True
Let y(g) = g + 1. Let f(p) = -8*p**3 + 7*p**2 + p + 10. Let n(l) = -f(l) + y(l). Let k(v) = 4*v**3 - 4*v**2 - 5. Let t(r) = -5*k(r) + 3*n(r). Is t(3) prime?
True
Let z = -8 + 3. Let a = 5 + z. Suppose a*g - 2*g = -182. Is g prime?
False
Suppose -i = -1, i - 13 = -4*t - 0*i. Suppose 4*l - 3*n + 6*n = 347, 0 = t*l - 4*n - 279. Is l a prime number?
True
Let a(j) = 4*j - 13. Suppose -4*u - 12 = -0*u. Let m = u + 12. Is a(m) a prime number?
True
Let d(x) = 214*x - 9. Is d(2) composite?
False
Suppose 40 = -0*a + a. Is (6 - 3) + a/1 composite?
False
Suppose 0 = -4*z - 5*l + 2796, -3*z = 3*l + l - 2097. Is z composite?
True
Let j(c) = -c**3 + 6*c**2 - 2*c + 3. Let y be j(6). Let g = y - -48. Suppose g - 13 = b. Is b a composite number?
True
Let c = -232 - -343. Is c a prime number?
False
Let l(q) = -q**3 + 9*q**2 + q + 10. Let h be (14/(-4) + 2)*-6. Is l(h) a composite number?
False
Suppose -5*s + 59 + 41 = 0. Suppose -5*j - s = -5. Let f(b) = -5*b. Is f(j) a prime number?
False
Let k(z) = 18*z - 2. Let h be k(5). Suppose -y - 3*y - 4*m + 240 = 0, 4*y - m - 215 = 0. Let s = h - y. Is s composite?
True
Let a = -70 + 329. Is a prime?
False
Let l = -15 + -1. Let x = -5 - l. Is x a prime number?
True
Let b(u) = -5*u**3 + 2*u**2 + 2*u + 4. Let p be b(-3). Let h = p - 75. Suppose h = v + 3*v. Is v composite?
False
Suppose i + 3*i = -2*c + 16, -2*i + 8 = -4*c. Suppose -6*u = -7*u + 2, 2*k + u - 44 = c. Is k prime?
False
Let h = 947 + -501. Is h composite?
True
Let g be 5*(-5)/((-25)/4). Suppose -181 = -g*t - 4*m - 77, 3*t + 5*m - 88 = 0. Is t prime?
False
Let b(n) = -n**2 + 8*n + 9. Let o be b(8). Suppose 4*z = o + 7. Is ((-2)/(-3))/(z/150) prime?
False
Let p(f) = -22*f + 2. Suppose d + 2*d = -3*b - 21, 4*d = -8. Let q be p(b). Let a = q - 33. Is a a composite number?
False
Let i(k) = -k**3 + 11*k**2 - 12*k - 11. Let g be i(9). Let m = 44 + g. Is m a composite number?
True
Suppose 0 = -4*d - 0 + 16. Suppose 0*o - 4*y = o - 341, 0 = -d*y - 4. Suppose 0 = -2*b + 5*b - o. Is b composite?
True
Let h(l) = -29*l**2 + 3*l - 3. Let c(i) = -30*i**2 + 3*i - 4. Let f(t) = 3*c(t) - 4*h(t). Let q be f(2). Let p = q + -43. Is p composite?
True
Suppose 4*k - 1099 = -3*k. Is k composite?
False
Suppose 77 = p - 0*p + 5*h, -5*h = 3*p - 201. Is p composite?
True
Suppose -3*o + 3*z = 2*z - 611, -o + 209 = z. Is o prime?
False
Suppose 2*n - 540 = -c + 179, -4*n = -20. Is c a composite number?
False
Is -1 + (-2 - -4)*25 prime?
False
Suppose 8 = 2*g - 2*t, -4*t = -g - 7*t - 4. Let k = 4 + g. Suppose -p + k = -0. Is p composite?
True
Suppose 2*p + 2*c - 1496 = 0, -189 = 5*p - 2*c - 3908. Is p composite?
True
Suppose -3*w + 4189 = -4*d, -4*d - d + 10 = 0. Is w a composite number?
False
Let m = 137 - 200. Suppose 222 - 44 = 2*r. Let h = r + m. Is h composite?
True
Let q(b) be the first derivative of -4*b**2 + 2 - 1/4*b**4 - 9*b - 2*b**3. Is q(-6) prime?
False
Let n = 171 + -122. Suppose 5*s + n = -0*u + 4*u, 0 = -4*u - s + 43. Is u composite?
False
Suppose u - 2*u = -13. Is u composite?
False
Let l = -514 - -1113. Is l prime?
True
Is 1/(-4) - 177/(-24)*14 prime?
True
Suppose -2*g = 4*x + 2*g - 64, -x - 3*g + 6 = 0. Is x a prime number?
False
Let d = 755 + -492. Is d composite?
False
Is -3 + (-1)/(-3)*447 a composite number?
True
Suppose -4*o + 136 = 3*j, 2*o - 123 = -o + 3*j. Is o a prime number?
True
Suppose 2*x + 12 = 4*q, -3*x = 5*q - 0 - 26. Suppose 2*n - 3*y - 18 = y, q*n - 3*y = 36. Suppose 5*i - 17 = 4*w + n, 0 = 5*i + w - 31. Is i a composite number?
True
Let b = 7358 + 3287. Is b prime?
False
Let g(w) = 512*w**2 + w + 3. Is g(-2) a composite number?
True
Suppose -4*c + 455 = 5*y, 276 - 30 = 3*y - 3*c. Suppose 6*w - 87 = 3*w. Suppose 0 = -2*a + w + y. Is a a prime number?
False
Let n(l) = -2*l**2 - 4*l + 3. Let c(g) = g**2 + 2*g - 2. Let h(f) = 5*c(f) + 3*n(f). Let k be h(-4). Is (-132)/k - (-1)/3 prime?
False
Let z = 5 - 8. Let c(l) = -l - 13. Let s(r) = -r - 13. Let d(h) = z*c(h) + 2*s(h). Is d(0) a composite number?
False
Is (0 + 1 + 0)*(244 + 7) composite?
False
Let u = 1575 + 574. Is u prime?
False
Let a be 1/(1*(-4)/(-2708)). Let d = a - -74. Is d prime?
True
Let p(u) = 1 - 62*u**3 - 52*u**3 - 34*u**3. Suppose 0 = 2*w - 2, 1 = c - w + 3. Is p(c) a prime number?
True
Let j(n) = -2 - 7*n + 1 - 2. Suppose 0 = q + 4*q + 10. Is j(q) a prime number?
True
Suppose -i + 3 = -2*j + 3*j, 19 = 4*i - 3*j. Suppose g + 5*r - 91 = -12, -158 = -2*g - i*r. Is g prime?
True
Let k(p) = -p**3 + 16*p**2 - 14*p - 15. Let o be k(15). Suppose 0 = -3*y - o*y + 273. Is y a composite number?
True
Let f(g) be the third derivative of g**6/120 - g**5/60 - g**4/6 + g**3/2 + g**2. Let h(y) = y**2 - 1. Let u be h(2). Is f(u) a composite number?
True
Suppose -3*n + 6*n = 54. Let c be -2*3/n*-18. Is 3268/36 - c/(-27) prime?
False
Suppose 9*b = 6*b. Let h = b + -1. Is (h + 4)*(-39)/(-9) a composite number?
False
Let q(u) be the third derivative of 7*u**4/3 - u**3/2 - 4*u**2. Let h be q(2). Let o = -35 + h. Is o a prime number?
False
Let l(u) = u**2 - 2*u - 1. Let s be l(-1). Suppose 88 = s*b - 6. Is b a composite number?
False
Suppose -7*l = -6*l - 47. Is l a prime number?
True
Let u(l) = 27*l**2 - 12*l - 5. Is u(6) a prime number?
False
Is (-7245)/(-57) - 2/19 a prime number?
True
Suppose -78 = -4*o + 3*o. Let l be -4 - (-732)/(-14) - (-2)/7. Let u = l + o. Is u prime?
False
Suppose -3*g + 17 = 4*q, 0 = -3*q + g + 3. Let u be -2 + q - (-1 + -10). Let b = u + -4. Is b a prime number?
True
Let j be (4/10)/(9/(-405)). Is 119/3 - j/(-27) a prime number?
False
Suppose -2*v - 8 = -6*v. Let w be (-1 + -1)/((-4)/10). Suppose -v*f - 99 = -w*f. Is f a prime number?
False
Suppose -5*t - 759 = -3*a - 0*t, -5*t = -5*a + 1265. Is a a composite number?
True
Let k(y) = -y**3 - 14*y*