 be m(y). Is h(t) a composite number?
True
Let v = 850 + 511. Is v a composite number?
False
Let i(m) = -282*m - 7. Is i(-2) a composite number?
False
Let u be (6/5)/((-4)/(-100)). Suppose 4*b - 3*b - 4 = 0, 0 = -5*n - 5*b + u. Suppose -12 = -o - 2*t + n, 0 = -4*t. Is o composite?
True
Suppose -2*g - 3*g + 5815 = 0. Is g a prime number?
True
Suppose 2*m - 5848 = 4*i - 5*i, -3*i - 5840 = -2*m. Is m composite?
True
Suppose 0 = 4*i + 318 + 342. Suppose -15 = 5*h, -3*h - 95 = p - 0*h. Let o = p - i. Is o prime?
True
Suppose 4*l - 911 = 301. Is l a prime number?
False
Suppose a + 0*b - 3*b + 9 = 0, 2*b = 6. Is a/(-2) - (-142 - 1) a composite number?
True
Let w(y) = 2*y**2 - y - 2. Let b be w(-2). Suppose 4*n = 44 + b. Is n a composite number?
False
Let n(t) = t - 12. Let s(a) = -a + 23. Let y(f) = -5*n(f) - 3*s(f). Let j be y(-7). Let w = 12 - j. Is w prime?
True
Suppose -2*n + 9 - 3 = 0, -q - 4*n = -301. Is q a prime number?
False
Let v = 2938 - 1467. Is v a prime number?
True
Suppose 4*o = -20, -2*d - 4*o = -4*d + 26. Let l(h) = -3*h + 1. Let u be l(d). Is ((-22)/u)/((-1)/(-44)) composite?
True
Let t be 29/3 + (-6)/(-18). Suppose t*u - 335 = 5*u. Is u a composite number?
False
Suppose 2237 = k - 2*z + 4*z, 4*k = z + 8921. Is k prime?
False
Let n = -187 - -633. Is n a composite number?
True
Suppose 556 + 2377 = 7*g. Is g composite?
False
Let s(p) = -183*p**3 - p**2 - p. Is s(-1) prime?
False
Let y = -31 - -91. Suppose 5*o + 2*h - y = -h, -12 = -o + 4*h. Suppose -4*n = -2*g - 11 - 25, 0 = 3*g - o. Is n a composite number?
False
Let f(t) = 1 + 20*t - 4*t + 17*t. Is f(2) a composite number?
False
Let a(b) = 2*b**2 - 2*b + 1. Let y = 6 + -4. Let h(o) = -2*o**2 + 3*o. Let x be h(y). Is a(x) prime?
True
Suppose -2*f = -5*f - 3*w + 4668, 20 = -4*w. Is f prime?
False
Let v = 273 + -142. Is v a composite number?
False
Let r(k) = 5*k + 19. Is r(14) a prime number?
True
Suppose 3*s - s - 3*t = 118, -t + 102 = 2*s. Is s a composite number?
False
Suppose -2*a - 8 = 4. Let x = a + 6. Suppose x*f = 5*f - 195. Is f prime?
False
Suppose 1104 = 3*n + 3*w, 5*n + 481 = 4*w + 2312. Is n prime?
True
Suppose 5*b - 2 = 3*k, 2*b + 0*k = 2*k + 4. Let n be 1/(b - (-13)/6). Suppose -n*z + 4*z = -14. Is z a prime number?
True
Suppose 8*t = 23*t - 26655. Is t a composite number?
False
Let r be (-13 + -2 + 5)/(-2). Suppose -a = r*c - 243, 2*a + 7 - 3 = 0. Is c composite?
True
Let q be (-47)/(-5) + 6/(-15). Let f be 1497/q + (-2)/6. Suppose u - f = -u. Is u a composite number?
False
Let h = -384 - -1057. Is h a composite number?
False
Let a(z) = z**3 + 4*z**2 - 2*z - 4. Let i be a(-4). Is -19*(i/2 - 5) a composite number?
True
Is ((-2)/4 + 1269/6)/1 a prime number?
True
Let n = 30 + -15. Let c be 18/n*20/6. Suppose -4*o + 216 = -4*b, -c*b - 3 = 1. Is o composite?
False
Suppose 5*m + 0*m + 980 = 0. Let u = m - -401. Is u a composite number?
True
Suppose 0*f + 4*f - 3*j = -16, 0 = -4*f - 4*j + 12. Is (-78)/4*(f - 1) a prime number?
False
Suppose -3*t - 2*t - 5*c + 25 = 0, -2*t + 5*c = 11. Is 1*t/2 - -1042 a composite number?
True
Let s = -513 + 895. Is s prime?
False
Let t(p) = 27*p - 1. Let c be t(1). Suppose 10 = -4*a + c. Suppose 0 = d - a*d + 39. Is d a prime number?
True
Suppose 0 = -4*i - 2*s + 3672, -5*i + 10*i - 3*s = 4601. Is i a composite number?
False
Let l(c) be the third derivative of c**5/60 + 5*c**4/24 - c**3/6 + 3*c**2. Is l(-8) prime?
True
Let g = -3 + 34. Is g composite?
False
Let t(n) = -n - 6. Let h be t(-11). Suppose 4*b + 1289 = h*q, q + 2*q - b = 772. Is q composite?
False
Suppose 0 = 4*o + o - 10. Suppose -3*q = 2*v - 3*v - 136, -5*q - o*v = -234. Is q prime?
False
Let y = -232 - -344. Let s = y - -429. Is s a prime number?
True
Let o(c) = 9*c**2 - 2*c - 3. Let y be -8 + 7 + (-1)/1. Is o(y) prime?
True
Let l(w) = 11*w + 8. Let q be 9/12 - 105/(-20). Is l(q) a prime number?
False
Suppose -3*b = -0*b. Suppose -645 = -b*m - 3*m. Suppose -2*j + 3*a = -7*j + m, j = 2*a + 43. Is j a composite number?
False
Suppose 4*o - 117 = 2491. Suppose p = 5*p - o. Is p a prime number?
True
Suppose 0 = 5*d - 2*q + 4*q - 1, 4*d - 3*q = 10. Let r be ((-4)/d)/((-2)/(-20)). Is 1/(-4) - 5730/r prime?
False
Let n(a) = a**3 - 11*a**2 + 6*a - 15. Let k be n(12). Suppose 346 = 4*s - 190. Let m = k - s. Is m prime?
True
Let d = -12 + 15. Suppose 66 + 201 = d*p. Is p prime?
True
Suppose 12*k + 5455 = 17*k. Is k a composite number?
False
Let x(t) = 141*t**2 - t - 1. Is x(-1) a composite number?
True
Let s be (60 - -1)/(7/7). Suppose 5*d = s + 239. Suppose 3*r - 51 = d. Is r composite?
False
Let i(r) = -7*r**3 - 8*r**2 - 4*r + 5. Is i(-6) a composite number?
True
Suppose -5*v - 4 = 1. Let a be (-2 + 1 - 0)*27. Is (2/6)/(v/a) a composite number?
True
Suppose 3*m - 2 = 34. Is 13069/42 - 2/m prime?
True
Let u(l) = l + 55. Suppose 0 = 5*b - 0*b. Is u(b) prime?
False
Is (-1)/5 + (-37920)/(-100) a prime number?
True
Suppose 0 = 5*j - 1323 - 2112. Is j a prime number?
False
Let t = 4 + -4. Let h be 1 - 1 - t/1. Suppose 0 = -h*z + z - 7. Is z a prime number?
True
Let c(r) = -r + 1 - 56*r - 193*r. Is c(-1) a prime number?
True
Let r(i) = 4*i - 1. Let o be r(1). Is 1*-3*(-37)/o composite?
False
Let b = 620 + -47. Is b a composite number?
True
Suppose -1196 = -0*b - b + 3*r, 5*b = -2*r + 5946. Let u = b + -1733. Is u/(-6) + (-3)/(-6) prime?
False
Let i = 2086 + -1089. Is i composite?
False
Suppose -221 = -5*i + l + 235, -5*i = -4*l - 459. Is i composite?
True
Let n(u) = 1. Let t(c) = -c - 6. Let v(a) = -n(a) - t(a). Let q be v(-6). Is 2 + q + 1 + 12 a composite number?
True
Let d(n) = n**2 + n + 5. Let z(o) = -o - 1. Let q be z(1). Let l be (-55)/10 - (-1)/q. Is d(l) a composite number?
True
Suppose -5*z + 174 - 19 = 0. Is z composite?
False
Suppose -i + 0*i + 5*v + 128 = 0, 4*i - 4*v = 592. Let l = i + -34. Is l a composite number?
True
Let w(v) = -104*v - 5. Is w(-2) a composite number?
True
Let f(q) = -33*q**3 + 4*q + 10. Is f(-3) a prime number?
False
Suppose -4*x = x - 250. Let k = -31 + x. Is k a prime number?
True
Let c(r) = -r**2 - 4*r + 13. Let o be c(-6). Is o/(708/(-356) - -2) prime?
True
Suppose -18639 = -4*p - 3*s, 4663 = p - 0*p + 4*s. Is p composite?
True
Suppose 56 = 2*h - 114. Is h + (1*-4 - -2) prime?
True
Let l(g) = -g**3 - 2*g**2 - 11*g - 12. Let a be l(-8). Suppose -2*j + a = 3*i + 2*i, -2*i = 2*j - 466. Is j composite?
True
Let x(v) = 0*v + 2 - v - 1. Let j(l) = -6*l - 2. Let u(a) = j(a) + 3*x(a). Is u(-2) a composite number?
False
Is ((-4)/(-8))/((-2)/(-424)) prime?
False
Suppose -3*b + 7 = -2. Suppose 0 = -d + b*d - 70. Is d composite?
True
Let k(d) = -d**3 - 5*d**2 - 7*d - 5. Let i be k(-4). Let c(n) = -n**2 + 8*n + 4. Is c(i) a composite number?
False
Is 144 + (-9)/(27/(-6)) a composite number?
True
Let h = 5 - 5. Suppose h*k = -5*k + 290. Is k a composite number?
True
Suppose -2*q + s + 249 + 254 = 0, 4*q - 4*s = 1008. Is 12/8 - q/(-2) composite?
False
Suppose 5*j - o + 10 = 32, -2*j = 4*o. Suppose 0 = -2*a - 4, j*c - 21 - 317 = 3*a. Is c a composite number?
False
Suppose 3*n - 3*m = 57, -3*n = -m - 0*m - 49. Suppose 0*j + 5*j = n. Suppose j*r - 2*r - 53 = 0. Is r composite?
False
Let k be -352 - 1 - (3 + 0). Let r = k + 48. Let n = r + 449. Is n composite?
True
Suppose l + 104 = 2*o, l - 188 + 37 = -3*o. Suppose k + 0*k = o. Is k composite?
True
Let y(t) = t**2 + t - 2. Let u be y(2). Suppose -u*j = -0*j - 12. Suppose -5*v = 5*f - 365, -j*f + 373 = 2*v + 3*v. Is v a composite number?
True
Let s = -5806 + 9272. Is s a composite number?
True
Let s(a) = -72*a + 19. Is s(-5) prime?
True
Let o(n) = -3*n. Let v(k) = -k**3 + k**2 + 4*k. Let c be v(3). Let g be o(c). Is (-12)/g*(-546)/4 prime?
False
Let q(m) = -8*m - 1. Let j be q(1). Let w(l) = l**2 - 2*l - 4. Is w(j) prime?
False
Suppose 0 = r + r - 180. Suppose p = -5*f - 75, 4*f + 2*p = -r + 30. Is 5/f + 106/3 prime?
False
Suppose -q = -4*l - 2, -5*l = 2*q - 3*q. Let w = -14 + 25. Let g = w + q. Is g prime?
False
Suppose -1972 = -4*u - 4*k, -7*k = 2*u - 2*k - 998. Is u a composite number?
True
Suppose -4*l = 2*i - 8, -2 = -2*l - 3*i + 2. Suppose 0 = 2*a - 3*d + 4, -a + 28 = 4*a + l*d. Suppose -z + 13 = 2*z - w, -a*w + 16 = 5*z. Is z a prime number?
False
Let i = -6 - -12. Let j be 2/(0 - i/(-51)). Suppose t - j = -4. Is 