 = -4*l + 122, -2*f + 570 = 4*l. Suppose l = 2*z - 4*k, -z = -5*z - k + 235. Suppose 4*v - z + 13 = t, -v + 8 = t. Is v composite?
False
Let d(h) = -h**2 + 3*h + 3. Let u be d(4). Let m = 4 + u. Is -89*m/6*-2 composite?
False
Is (1 + 0)*498/6 a composite number?
False
Let y(x) = 6*x**2 - 1. Suppose -k + 5*i - 13 = k, -i - 2 = -5*k. Let n be y(k). Suppose -2*d = -3*j - 61, 5*j + 122 + 38 = n*d. Is d prime?
False
Is 1 + (-1)/(4/(-420)) prime?
False
Let m(h) = -h**2 - 4*h - 1. Let l(i) = i**2 + 9*i + 3. Let x be l(-8). Let w be m(x). Let n(a) = -2*a**3 - 9*a**2 - 8*a - 7. Is n(w) a composite number?
False
Let c = 1916 - 797. Is c a prime number?
False
Suppose -3*f + 23 - 5 = 0. Is (-42)/(-3)*33/f prime?
False
Let w(t) = -14*t + 5*t - 2 - 8. Is w(-7) a composite number?
False
Let j(q) = -q**2 + 13*q. Let c be j(7). Suppose -c = -2*x + 64. Is x a prime number?
True
Is 94*(21/6)/1 prime?
False
Let j = 30 + -50. Suppose 19 = -2*x - 3*t, -3*t - 14 - 1 = 0. Is x/10 + (-624)/j a prime number?
True
Let u = 2449 + -1530. Is u prime?
True
Let h(l) = -43*l + 3. Is h(-2) a composite number?
False
Let h(t) = 4*t**3 + 5*t**2 + 6. Is h(5) prime?
True
Let k(g) = 14*g**2 + 6*g + 5. Is k(-7) composite?
True
Suppose -2*c + 9621 = 7*c. Is c a composite number?
False
Let z = 18 + -8. Suppose 0*c + z = 2*c. Suppose -b + 27 = 2*t + t, -c*b = -5*t - 55. Is b a composite number?
True
Suppose 3*b = 19488 + 24849. Is b prime?
True
Let z = 1120 + -681. Is z prime?
True
Let b(a) = 85*a + 1. Suppose f + 1 - 2 = 0. Let w be b(f). Suppose -w = -2*z + 6. Is z composite?
True
Let b(y) = 110*y**3 - 218*y**3 + y**2 - 222*y**3. Is b(-1) composite?
False
Let m(c) = -c**3 - 8*c**2 + 14*c. Is m(-11) prime?
False
Let x(p) = 3*p**3 - 6*p**2 - p - 1. Let i(q) = 4*q**3 - 7*q**2. Let c(j) = -2*i(j) + 3*x(j). Suppose l + l - 10 = 0. Is c(l) prime?
True
Let i = -13 - -15. Is 0 + (34/i - -2) composite?
False
Is (-9 + -25)*7/(-2) prime?
False
Let h(l) = 84*l - 1. Is h(1) prime?
True
Is 45/2 - 8/(-16) prime?
True
Suppose w = -2*w + 6. Is ((1*148)/2)/w a prime number?
True
Let r(b) = -46*b - 5. Is r(-2) a composite number?
True
Let p be 8/28 - 6605/(-35). Suppose k - 10 = p. Is k prime?
True
Let u(h) = 187*h - 2. Is u(1) composite?
True
Let g(s) = -15*s**3 + 27*s**2 - 17*s + 7. Let d(l) = -7*l**3 + 13*l**2 - 8*l + 3. Let w(t) = 13*d(t) - 6*g(t). Is w(5) a composite number?
False
Let i(o) = -11*o**2 - o. Let x be i(1). Let j be (-34)/(-10) - x/20. Let b(l) = 9*l - 1. Is b(j) composite?
True
Let z(w) be the first derivative of -29*w**2 - 3*w - 2. Let o be z(3). Let k = -88 - o. Is k prime?
True
Let v = 18 - 4. Is (0 + 5)/(2/v) a composite number?
True
Let r be -1*1 + (6 - -42). Suppose 0 = -x + r + 32. Is x prime?
True
Let t = 0 - 0. Suppose t*x - x + 9 = 0. Is x a composite number?
True
Suppose 4*b = -5*j + 14715, -4*j = -0*j + 2*b - 11766. Is j a prime number?
True
Let v = 1 + -15. Let o = 39 - v. Is o a composite number?
False
Let r = -2048 - -3021. Is r prime?
False
Let h = -593 + 1512. Is h composite?
False
Suppose 4*o + 4*m = 8538 - 1150, 0 = 5*m. Is o composite?
False
Is 329 - (-7 + -1)/4 a composite number?
False
Suppose -3*n - 2 - 4 = 0. Let t = 19 + n. Is (t/4)/(2/16) a prime number?
False
Let k(y) = 101*y + 5. Is k(8) prime?
False
Let w(h) = -32*h + 3. Let v(y) = y. Let o(r) = -4*v(r) - w(r). Let t be o(6). Suppose m - t = -2*m. Is m a prime number?
False
Suppose 0 = -3*w + 909 + 654. Is w prime?
True
Let z(l) = -l**3 + 19*l**2 + 5*l - 1. Is z(8) a prime number?
True
Let j = -27 + -56. Let x = -52 - j. Is x a prime number?
True
Let h(m) = 39*m + 5. Let r be 3 + (-2)/(-4)*2. Is h(r) a composite number?
True
Suppose -4*j + 1506 = 2*j. Is j a composite number?
False
Let j = -405 - -608. Is j prime?
False
Suppose 5*k - 3747 = -4*z, k - 741 = -3*z + 5*z. Suppose k = -2*u + 5*u. Is u a prime number?
False
Let o(j) = j**3 + 3*j**2 + 3*j + 2. Let n be o(-2). Suppose n = -0*i + 2*i + 12. Let v = i + 9. Is v a composite number?
False
Suppose h - 3 - 3 = -2*g, 0 = 2*h + 8. Let r(f) = 16*f**2 - 2*f - 11. Is r(g) a prime number?
True
Let m(z) = -z - 3. Let b be m(-6). Suppose -b*n = 3*i, -i = -4*n - 4*i + 4. Suppose 3*o + d - 62 = 40, n*o - 5*d - 117 = 0. Is o a prime number?
False
Let c(s) = -s - 6. Suppose 5 = -2*p - 7. Let v be c(p). Suppose -3*h + 138 = -v*h. Is h composite?
True
Suppose -5*n + 30 = w, -3*w - 4*n - 7 + 75 = 0. Suppose 0 = 4*j + w, 3*g - 2*j - 22 = -g. Suppose -g*i + x = 5*x - 21, -12 = -i - 3*x. Is i a composite number?
False
Let u = 3475 - 954. Is u a composite number?
False
Let p(q) = 44*q + 1. Let i be p(1). Suppose c = -0*c + i. Suppose 0 = d - c - 42. Is d composite?
True
Suppose -2*x - 4 = -4*x. Suppose x*n - 162 = 332. Is n prime?
False
Suppose -1420 = -5*x - 0*x. Suppose -n = 2*n - 9. Suppose 4*g = -4*o + x, -7*o + 284 = -n*o - 3*g. Is o a composite number?
False
Let p = -17 + 40. Is p a prime number?
True
Suppose -2*z + 3*p + 660 = 2*p, -5*z - 5*p = -1635. Is z a composite number?
True
Let d = -256 + 442. Suppose 0 = -2*u + w + d, -u + 0*w = 2*w - 98. Suppose 0 = 3*s - s - u. Is s prime?
True
Let c(h) = 2*h**2 - 4*h - 11. Let d(o) = -3*o**2 - 1 + 5*o + 2*o**2 + 0*o + 12. Let m(n) = 2*c(n) + 3*d(n). Is m(-8) a composite number?
False
Let m = -220 - -753. Is m a composite number?
True
Let l(f) = 8*f + 9. Let w be l(8). Let s = 6 - -16. Suppose -5*d = -s - w. Is d a composite number?
False
Is 1/(5*(-6)/(-180870)) a composite number?
False
Suppose -p + 4*n + 217 = -34, -p - 2*n + 227 = 0. Is p a composite number?
True
Let w = 47 - 32. Suppose -2*s = -2*q + 7*q + w, 4*q = -2*s - 12. Suppose 13 = -s*r + r. Is r a composite number?
False
Suppose 3*b = -b. Let d = -60 - -95. Suppose b*u + d = u. Is u a composite number?
True
Suppose -8*r + 12*r = 20. Suppose -c + 760 = 4*o, 2*o - r*o + 565 = 2*c. Is o a prime number?
True
Let r = -762 + 1327. Is r composite?
True
Suppose 2 = -4*g + 10. Suppose 0 = -5*a + g*p + 9, -3*a - 2*a + 12 = -p. Suppose a*d + 4 = 34. Is d composite?
True
Let z be -2*1/6*0. Suppose -2*g - 622 = c - z*c, -2*c + 926 = -3*g. Let n = -155 - g. Is n a prime number?
False
Let w = -808 - -1385. Is w a composite number?
False
Suppose -2*c = -i + 2, 0*i + 2*i - 7 = 5*c. Let k(j) = -21*j - 5. Is k(i) prime?
True
Suppose q + 16 = 5*y, 5 - 1 = -4*q. Suppose 3*n - j - 3 = -1, 7 = 4*n + y*j. Is (-1 - -19) + (2 - n) prime?
True
Let k(d) = 4 + 0*d + d + 0. Suppose 0*j = -5*j + 15. Is k(j) a composite number?
False
Let d(q) = -q - 1. Let f be (-7)/(14/8) - -3. Let i(y) = 20*y - 10. Let l(g) = f*d(g) - i(g). Is l(-10) a composite number?
True
Let p = -48 + 71. Is p prime?
True
Suppose o - 382 + 56 = -3*t, 942 = 3*o - 3*t. Is o a composite number?
False
Let g(t) = -40*t - 4. Let q(l) = -2*l - 1. Let k be q(1). Let b be g(k). Suppose -5*v = 2*x - b, v + 263 = 4*x + x. Is x a prime number?
True
Let u be (-1)/(-3) + (-3210)/(-9). Suppose -2*p = -5*p + u. Is p prime?
False
Suppose 4*s = 5 + 31. Suppose -6*c - 1605 = -s*c. Is c a prime number?
False
Let p = 458 - 317. Is p a prime number?
False
Let z(b) = 2*b**3 - 6*b**2 + 3*b - 7. Is z(4) composite?
False
Let g = 23 - -4. Let s = g + -17. Is s composite?
True
Let b = 1 - 1. Let n = -9 + 12. Suppose -v - 4*v - 4*l = -579, -4*v + n*l + 457 = b. Is v prime?
False
Suppose -125 = -3*d - 2*d. Suppose -t + 0*t = -5*y - 16, -3*t = y - 16. Let s = d + t. Is s prime?
True
Let h be (-4 - -4)/2 - -632. Suppose 213 = s + 3*u - u, -u - h = -3*s. Is s composite?
False
Let j(a) = a**3 - 9*a**2 + 2*a - 41. Is j(10) composite?
False
Suppose n - 4*n + 15 = 0. Suppose n*l = -4*c + 85 + 43, -l = 4. Is c composite?
False
Let c be (-1 - 1)/((-4)/10). Suppose 180 + 95 = c*q. Suppose -q = -5*s + 40. Is s prime?
True
Let s = -48 - -178. Let h = s + -74. Suppose -h - 239 = -5*j. Is j a composite number?
False
Let q be 3 - 6 - 1662/(-3). Suppose 3*l + 2*o - q + 203 = 0, o - 587 = -5*l. Is l a composite number?
True
Let b be (3 - -209)/(-1) - -2. Let f(v) = -5*v**2 - v. Let m be f(-1). Is b/m - (-1)/2 a composite number?
False
Suppose 0 = -2*y + 3*y - 6. Let h be 12 - 3*4/y. Suppose 2*t - 4*t - 2*u = -h, -12 = -2*t - u. Is t prime?
True
Let r(f) = 29*f - 1. Let o be r(-2). Let b = o - -84. Is 1*(b + -1*2) prime?
True
Suppose -2 = -2*d - 30. Let r = 8 + 