et v be 718 + (-2 - (x + -2)). Suppose 2*u = -3*i + 274, 5*u - v = -0*i + i. Is u a composite number?
True
Let k = -513 - -1600. Is k composite?
False
Suppose 5*l + 0*r + 5*r = 2440, -5 = r. Is l composite?
True
Suppose 3 = q, -3*u + 0*u - 2*q = 6147. Let k = 2938 + u. Is k prime?
True
Suppose 0 = -3*o + 4*o - 203. Is o a composite number?
True
Suppose 5*b + n = 406, b + n = 6*n + 102. Suppose g - 3*k - b = -2*k, 0 = -4*g - 2*k + 310. Is g composite?
False
Let t = -284 + 98. Let y be (t/9)/((-2)/9). Suppose -2*a - 3*a + 5*i = -155, -3*a + i = -y. Is a a composite number?
False
Suppose 4*p - 2*c - 4598 = 0, -5*p + 4*c - 7*c = -5764. Is p prime?
True
Let f(h) = 16*h**2 + 3*h + 2. Let p = -8 + 13. Suppose 25 = p*b + 2*n - 0*n, 0 = 3*b - n - 4. Is f(b) a composite number?
True
Suppose -3*x + 465 = -1395. Suppose -f + 2*z = 4*f - 1023, 0 = -3*f - 5*z + x. Is f composite?
True
Let f(z) = z + 11. Let p be -5 + 0 + (-1)/1. Let o be 48/(-10) - p/(-30). Is f(o) a composite number?
True
Suppose 2*p + 77 = -k, 0*k + k - 4*p + 83 = 0. Let x = k + 132. Is x a composite number?
False
Suppose -b + 178 = -g, 4*b - b + 3*g - 516 = 0. Suppose r - 6*r + b = 0. Is r composite?
True
Let o = -244 - -878. Suppose -4*w - 3*m = -o, -4*w + 5*m + 620 = m. Is w composite?
False
Suppose 4*z - 362 = -m + 213, 0 = -4*m - 4. Suppose -3*v + a = -223, -2*v - 3*a - a = -z. Is v a prime number?
False
Is 1 - 0 - (-103912)/31 composite?
True
Let z = 6 - 2. Suppose 186 = z*c - 754. Is c prime?
False
Let x = 236 + 199. Suppose -9*q + 4*q = -x. Is q a prime number?
False
Suppose -4*w + 3*w = -4. Suppose -6*u - w*r + 373 = -3*u, -2*r = -8. Is u a composite number?
True
Let m be -4 + (3 + -6)*1. Is m/((-12)/(-13) - 1) composite?
True
Is (-5)/(-1)*214/5 a prime number?
False
Suppose -4*r + 90 + 86 = 0. Suppose -2*i - r = -i - 4*j, 4*i - 3*j = -137. Let b = 53 + i. Is b a composite number?
True
Let m = 578 - 21. Is m composite?
False
Suppose -2*t - 3 = 4*q - 15, -t + 4*q = 12. Suppose -2*p - j + 127 = t, 7*p = 3*p - 3*j + 251. Is p prime?
False
Let r = 15 + -15. Suppose -s + r*s + 1477 = 0. Is s prime?
False
Let h(x) = -x**3 + 4*x**2 + 5*x - 4. Let z(y) = -2*y**3 + 9*y**2 + 10*y - 7. Let i(l) = -5*h(l) + 3*z(l). Is i(4) a prime number?
True
Suppose -22 = -y - 3. Suppose y = 3*j - 2*j. Is j prime?
True
Suppose 0 = -5*i + 20, 4*g + 4*i - 320 = -0*i. Suppose -574 - g = 5*j. Is 3/(12/j)*-2 prime?
False
Suppose -6 + 29 = f. Suppose -a + 5*k - 29 = -0*a, -2*a - f = -3*k. Is (-298)/(-8) + 1/a composite?
False
Let c(b) = -b. Let q be c(0). Suppose q = 3*w - w + l - 25, 0 = -3*w + l + 45. Is w a composite number?
True
Let q = -10 + 14. Let j(t) be the third derivative of -t**6/120 + t**5/10 - 5*t**4/24 + t**3/3 + t**2. Is j(q) prime?
False
Let a = 49 - 34. Is a prime?
False
Suppose -2*j = 2*y - 170, -5*j = -4*y + y - 457. Is j composite?
False
Suppose 2*l - 3 = 1. Suppose l*i - 82 - 340 = 0. Is i prime?
True
Let c = 1857 + -650. Is c a composite number?
True
Let l(n) = 33*n**2 + 5*n - 6. Let k be l(5). Let t be 1/((-2)/4) + 635. Suppose 3*m = j + t, 0 = -4*m - 0*j + j + k. Is m prime?
True
Suppose -4*n = -1604 - 3120. Is n a prime number?
True
Suppose 0*k - k = -239. Is k a prime number?
True
Let y(z) = -550*z**2 + z - 2. Let a be y(2). Let q be a/(-18) + 2/(-9). Let m = q - 73. Is m a prime number?
False
Let r be (-3)/(-2 - 467/(-232)). Let z = -53 - r. Is z prime?
True
Let t(s) be the second derivative of -s**5/20 - s**4/4 - 5*s**3/6 + 3*s**2/2 - s. Suppose -5*u = -5*h + 25, -2*h = -u - 4*u - 22. Is t(u) a composite number?
True
Let y(t) be the second derivative of -7/6*t**3 - t + 5/2*t**2 + 1/2*t**4 + 0 + 1/20*t**5. Is y(-6) a composite number?
False
Let j(f) = -49*f**2 + 2*f - 1. Let a(p) = p**3 + 10*p**2 - 10*p + 8. Let c be a(-11). Let d be j(c). Let l = -239 - d. Is l a composite number?
True
Let v(m) = -4*m**3 + m**2 + m + 1. Let k(h) = -8*h**3 + 3*h**2 + h + 2. Let t(w) = -2*k(w) + 5*v(w). Is t(-2) prime?
True
Let i = -8 - -11. Suppose -5*h + 5*k + 335 = 0, 5*k + 207 = i*h - 0*h. Let f = h - 45. Is f a composite number?
False
Let t be 4/(16/(-6))*1162. Is 2/12 - t/18 a composite number?
False
Suppose -3*b + 9 = 0, 4*d - b - b - 2 = 0. Let t(p) = p - 1. Let f be t(d). Is f - 3 - (2 - 37) composite?
True
Suppose 2*d - 35 = -3*h, h - 3*d + 5 - 2 = 0. Suppose -l + 4*l - h = 0. Suppose f = -l*f + 148. Is f prime?
True
Suppose -2*j + 5*k + 4 = 0, 3*j + k - 5 - 1 = 0. Suppose -4*n + 38 = j*x, 4*n + 97 = 5*x - 26. Suppose -2*y - x = -3*y. Is y prime?
True
Let o(p) = -4*p + 4. Let k(q) = 3*q - 3. Let y(d) = -5*k(d) - 4*o(d). Let x be y(5). Suppose x*h = -3*l + 230, 2*l = 4*h - 3*h + 168. Is l a prime number?
False
Suppose 5*b = 6*b - 1146. Is 2/(-4) + b/12 a prime number?
False
Suppose 0 = 4*o - 23 - 213. Is o a prime number?
True
Let t(a) = 2*a**2 + 7*a + 12. Is t(5) prime?
True
Suppose -40*y + 2085 = -35*y. Is y composite?
True
Is (54/(-30))/(3/(-25)) composite?
True
Suppose -2*a + 2566 = -0*r + 4*r, 0 = -r + 3*a + 638. Is r a composite number?
False
Let j(u) = 5*u - 6. Let r be j(-6). Let f be 2/(-4) - r/8. Suppose 0 = -3*v + 4*l + 34, -5*v - f*l + 34 = -12. Is v prime?
False
Suppose 0*j + 138 = 3*j. Let w = 24 - j. Let h = w - -75. Is h composite?
False
Is 711/1*(24/(-9) + 3) composite?
True
Suppose 0 = p + 3 - 5. Let z be 6/(-1 - -4) + p. Suppose z*o - 105 = o. Is o a prime number?
False
Suppose 6 = 2*j - 4. Suppose 6*g + t + 144 = 5*g, -j*g - 2*t = 714. Let m = -95 - g. Is m composite?
False
Suppose x - 59 = -2*i, i - 57 = -3*x + 2*x. Suppose h - 74 = -2*o + x, -4*o + 273 = -h. Is o a prime number?
True
Suppose 2*l - 20 - 8 = 0. Suppose -2 = 2*t - l. Let o(d) = d**2 - 5*d + 9. Is o(t) prime?
False
Let w(r) = 6*r + 5. Let d = 8 + 0. Is w(d) a prime number?
True
Let r = -552 + 1763. Is r prime?
False
Let p be 13/3 + (-2)/6. Suppose p*i - 335 = -i. Suppose 0*l = -l + i. Is l composite?
False
Let o = -8468 + 13681. Is o composite?
True
Let a be 2 + (1 - 1) + -1. Let v be (0 - 1) + 0/(-1). Is (-2 - v)/(a/(-21)) composite?
True
Suppose 0 = 5*a - a + 24. Let h be 6/2*(-776)/a. Let f = -255 + h. Is f prime?
False
Suppose 4*r - x - 488 = 0, -152 = -2*r + 4*x + 78. Let a = r - 68. Is a prime?
False
Let h = 33 + -4. Let l = 47 - h. Let a = 187 + l. Is a composite?
True
Suppose 3*p = -0*p + 9, 3*o = p + 129. Suppose -3*r + 102 = -51. Suppose 5*b - r = o. Is b prime?
True
Let f = -2706 + 4801. Suppose x + f = 6*x. Is x a composite number?
False
Let i be 162/30 - (-2)/(-5). Is 0 + 120 - (4 - i) composite?
True
Let g(b) = -17*b + 5. Is g(-12) a prime number?
False
Let g = -290 - -444. Suppose -3*t + g = -4*r, -4*t + 51 = -4*r - 149. Suppose i = -i + t. Is i composite?
False
Let x(n) = n**2 + n**2 + 1 - 3*n**2. Let h be x(-1). Suppose 2*l - 251 = o, 3*l + 2*o - 387 = -h*o. Is l composite?
False
Is (6/(18/(-21)))/(2/(-254)) prime?
False
Let n be 6/(-4)*(-24)/9. Suppose -n*j + 8 = 0, -7*j + 386 = 3*x - 3*j. Suppose 4*v + 2*d + 0*d - x = 0, -v = d - 32. Is v composite?
False
Let u(t) = -19*t**2 + 12*t + 2. Let d be u(10). Is (-10)/(-4)*d/(-35) a prime number?
True
Suppose 0 = 4*i - 5*i + 2309. Is i composite?
False
Suppose 0 = 2*w - 4*w + 466. Let p = -138 + w. Suppose 0*o + 5*o = p. Is o prime?
True
Suppose -2*m - 100 = 3*m. Is 448/5 - (-12)/m a prime number?
True
Let o(d) = d - 9. Let w be o(-8). Let n = 132 + w. Is n composite?
True
Let w = -1 - -3. Suppose w*k = -2*k + 132. Is k a prime number?
False
Let u = 0 - -19. Suppose 19 = 5*d + 4. Suppose 38 = d*g - u. Is g a prime number?
True
Suppose -2*x = 3*q - 5, 2*q = -x - 3*x - 10. Suppose -2*o = 5*k - 40, q*o + 0*k - 123 = -k. Let a = o - -9. Is a a prime number?
False
Let y be -2 + -2 + (2 - -228). Suppose -t + y = t. Is t composite?
False
Suppose -8*r + 9*r = 69. Is r a composite number?
True
Suppose -5*d - 11 = 2*q, -4*d - 2*q - q - 6 = 0. Is (-1)/((3/31)/d) prime?
True
Let r(j) = -8*j + 1735. Is r(0) composite?
True
Let s(a) = 1 + a**2 + 34*a**3 + a**2 - 4*a**2. Let w(n) = n**3 - n**2 + 2*n - 1. Let l be w(1). Is s(l) a composite number?
True
Let t = -2 - -3. Let i(g) = -t + 4*g**2 + 0*g - 3*g**2 + 36*g**3 + g. Is i(1) composite?
False
Let c(f) = -5*f**3 + 6*f**2 + f - 1. Let y(n) = 1 - n**3 + 4*n + 6*n**3 - 5*n - 5*n**2. Let r(k) = 4*c(k) + 5*y(k)