2 - 2*l - 2. Let s be d(2). Let r = 45 - s. Suppose -5*f - 31 = -2*z + r, -5*f = -z + 41. Is z composite?
True
Let x be (-375)/(-30) - 2/4. Suppose -x*z - 14859 = -21*z. Is z a prime number?
False
Let g(b) = -b**2 - 5*b + 10. Let c be g(-6). Suppose 14*r - 14410 = c*r. Is r a prime number?
False
Let r = 10099 - 5772. Is r prime?
True
Suppose 5*f + 3*x = 782, 4*x + x = -f + 152. Suppose -f = 2*c - 17. Let h = 103 + c. Is h prime?
False
Let i = -23 - -29. Suppose 4*k - i = 2*l, l = 5*k - k - 3. Suppose 2*z + 3*z - 3925 = k. Is z composite?
True
Suppose 5*j = 2*z + 18, z = -5*j - 0*j + 21. Let n be 479 + (z - -2) - -1. Let i = n + -226. Is i a composite number?
False
Let c = 77442 + 20165. Is c a prime number?
True
Suppose -2*s - w = -6, -7 = -4*s + 4*w + 17. Suppose n = -s*z + 1438, -n + 2*z + 0*z = -1462. Is n a prime number?
False
Let t(a) = -a + 2. Let q be t(7). Let r be (7 + -4)/((-3)/q). Suppose -2*i - 273 = -r*w, 0 = -5*i - 18 - 2. Is w composite?
False
Let l(z) = -z**3 + 17*z**2 - 18*z + 17. Let h be l(16). Let m = -10 - h. Suppose 0 = m*c - 591 - 724. Is c composite?
False
Let x be 8/(-36) + (-16628)/18. Is (-1 + 3*1)/((-56)/x) a prime number?
False
Suppose -2*d + 2*p = -4, -7*d + 2*d = -4*p - 7. Is 0 + 42/6 + 1 + d a composite number?
False
Let s be ((-188)/16)/(((-12)/(-3))/16). Let t = s - -1198. Is t prime?
True
Let r(d) = 919*d - 201. Is r(16) a prime number?
True
Let f(i) = -415*i**2 - 3*i - 2. Let y be f(-1). Let x = y + 2261. Is x a prime number?
True
Suppose -t + 2967 = 5*z - 4*t, -4*z - 3*t + 2352 = 0. Let q = z + -395. Suppose -5*d + q = -d. Is d a composite number?
True
Suppose 8 = 3*q - q. Suppose -5*y + 585 = -q*o - 2166, o + 1652 = 3*y. Is y a prime number?
False
Let t be -6*(-2 + 6/4). Let o = 716 - 715. Is t*o/((-3)/(-223)) a composite number?
False
Let m(k) = -k**2 - 5*k + 4. Let t be m(-3). Let r be t*(-2)/(-4)*27. Suppose -4*v + 4*x = -188, 3*v - 4*x - 10 = r. Is v a prime number?
True
Suppose o - 65 = 6*o. Let f = o - -8. Let d(m) = -2*m**3 - 3*m**2 - 5*m - 6. Is d(f) prime?
False
Let g = -441 + 2461. Suppose -3*j - 833 = -2*t, -5*t - 8*j + 3*j + g = 0. Is t a composite number?
False
Suppose c + 0*c - 4 = 0, -2*j + 2*c + 6514 = 0. Is j composite?
True
Let m be (-1 - 21/(-14))*2*29. Suppose 1563 = -m*y + 32*y. Is y a prime number?
True
Let j be 2*1 - (2 + -5). Let i(t) = t**3 - 5*t**2 + 2*t - 4. Let m be i(j). Suppose -17 = -d - m. Is d prime?
True
Suppose 0 = -3*h + 4*u + 2806, u - 774 = -5*h + 3872. Suppose -2*o = -o + 5*t - 912, -o = -4*t - h. Is o composite?
True
Let w = -715 - -1524. Is w prime?
True
Let k = 1460 - 465. Is k a prime number?
False
Let a = 17 + -32. Suppose -6 = -2*j + 4. Is 67/j + 6/a prime?
True
Let b(o) = -o**2 + 16*o + 30. Let d be b(13). Suppose 2*v + d = 3*k, -4*k - 2*v = -0*k - 92. Is k a prime number?
True
Let a(m) = m**3 - 32*m**2 + 9*m - 106. Let f be a(32). Let r(j) = -38*j - 3. Let u be r(-3). Let c = f - u. Is c composite?
False
Suppose -t = -4*y + y - 9, -y = 3*t - 7. Is -148*3/12*y composite?
True
Suppose 982 = 2*i + 2*s, -5*i = 3*s - 4*s - 2473. Let r = i + -283. Is r a composite number?
False
Let z be 12084/16 - (-1)/(-4). Suppose 2*p = -4, -5*n + z = -2*p + 7*p. Suppose 0 = -4*y + n + 79. Is y a composite number?
True
Let z be (-808)/(-6) + (-4)/6. Suppose -2*y = -y + z. Is y*((-9)/6 - -1) a prime number?
True
Suppose m = -c + 4*m + 30, m = 5. Let n be c/(-3 - (-111)/36). Is n/21 + (-4)/(-14) prime?
False
Suppose -27*o + 30*o - 2*j - 24914 = 0, j = 2*o - 16610. Is o prime?
False
Suppose 5*u + 3*i - 1167 = 1594, 2*u + 2*i - 1106 = 0. Is u a composite number?
True
Let w(x) = -4482*x - 2. Let c be w(-1). Suppose -5*n + r - 1000 = -6589, -4*n + 3*r = -c. Is n a composite number?
False
Suppose 0 = -3*w + 26567 - 2207. Is w/98 + 2/14 a prime number?
True
Let w be ((-3325)/7)/(1 + -2). Let z = w + -32. Is z composite?
False
Let m = -15 - -12. Let c(u) = -42*u**3 + 2*u**2 - 5*u. Is c(m) prime?
False
Suppose 2*y - 16 + 6 = 0. Is 1/(y*3/35025) a prime number?
False
Let o(g) = -70*g - 3. Let a be -1 - -3 - (-2)/((-4)/6). Is o(a) composite?
False
Suppose -2*t - 2*a = -29132, 0 = t + 37*a - 32*a - 14562. Is t a composite number?
True
Let w(p) = 43*p**2 + 53*p - 7. Is w(-8) composite?
True
Let z(v) = -9*v**3 + 36*v**2 + 12*v + 17. Is z(-5) composite?
True
Suppose -21 = 8*s - 53. Suppose -3*f - 4*x = -7615, 0 = 8*x - 12*x + s. Is f composite?
True
Is (14/(-6))/(-7) - 1130/(-3) a composite number?
True
Let v be (-56472)/14 + (1 - (-54)/(-42)). Let f = v - -5715. Is f composite?
True
Let v(i) be the second derivative of -142*i**3/3 - 19*i**2/2 + 12*i. Is v(-4) a composite number?
False
Let n(r) = r. Let g be n(4). Is (118/(-4))/(g/(-24)) prime?
False
Let f(l) = l**3 - 11*l**2 - 19*l - 19. Let g(s) = s**3 - 12*s**2 - 18*s - 18. Let i(w) = -4*f(w) + 5*g(w). Is i(17) a composite number?
False
Let b be (-21)/(-12)*-2*-2*1. Suppose -33054 = y - b*y. Is y a composite number?
True
Suppose -3*h + 2*z + 121070 + 115655 = 0, 3*h - 236715 = -3*z. Is h composite?
True
Is (2 + 991484/65)*(-15)/(-6) prime?
False
Suppose -23*k - 2820 = -21*k. Is -4 - (4/(-14) + k/14) a prime number?
True
Suppose 4*d = -6*s + 7*s + 6, 0 = 3*s + d - 8. Suppose -19 - 1 = -5*h. Suppose h*w - 493 = -0*z - 5*z, -w - 192 = -s*z. Is z a prime number?
True
Let l(d) = 4 - 144*d**3 - d - 2 - 5 + 2 - d**2. Suppose -3*a - 6 + 3 = 0. Is l(a) prime?
False
Let f = -75 + 75. Is (f - (-2150)/6) + 2/(-6) composite?
True
Suppose 20910 = 3*q - 34080. Is (2/6)/(10/q) prime?
False
Let g be 36/10 + 4/10. Suppose 4*z - s = 2*s + 7432, 0 = 2*z + g*s - 3716. Is z a prime number?
False
Let y = -3 + -5. Let d = y + 111. Suppose -p + d = -52. Is p prime?
False
Is 16831 - (-9 + 3 - 0) a prime number?
False
Let h be ((-48)/84)/((-2)/7). Suppose h + 4 = 3*r. Is (434/8)/(r/8) prime?
False
Suppose -2374561 - 2531121 = -74*n. Is n prime?
True
Suppose 2*p - 31 = -5*t, -22 = -3*t + 3*p + 5. Is (1 + 0)/(t/2597) a prime number?
False
Is 5 - (6 + -4 - 638) a prime number?
True
Let k(c) = 3*c**2 + 8*c + 11. Let n be k(-5). Let y = n - 24. Is y prime?
False
Let n be ((-5)/(-3) - 1)*6. Suppose -p + 4*c + 17 = -0*p, 2*p - n*c = 18. Is 159/p + 15 + -11 prime?
True
Let p be (24/(-16))/(6/(-8)). Let b be (661/p)/(14/28). Suppose 2*q - b = -5*u, 3*u + 4*q - 677 = -272. Is u composite?
False
Let n(l) = -l**2 + 16*l - 16. Let a be n(15). Is ((3 - -2) + a)*(-65)/(-4) prime?
False
Suppose -1846 = 3*s - 6277. Is s a prime number?
False
Let z = -68 - -77. Suppose 4*t = -4*n + 4596, 2*n + z*t - 4*t - 2292 = 0. Is n a composite number?
False
Let t(f) = 29*f**2 + 3*f - 7. Is t(3) a prime number?
True
Let a(d) = d + 22*d**2 + 3 - 2*d - d - 17. Is a(-4) composite?
True
Let h(u) = -9 + 2 + 2 - u - 7. Let f be h(-17). Suppose 54 = i + f*i. Is i composite?
True
Let m = -579 + 1205. Let g = 11 + -7. Suppose 0 = -5*l + 2*p + 1015, 4*l - 186 = -g*p + m. Is l prime?
False
Suppose r + r + 5*v + 566 = 0, -r + 2*v = 301. Let s = -40 - r. Is s composite?
True
Suppose 3*p = 3*w + p - 9, 3*p + 6 = 2*w. Suppose 196 = w*s + s. Let x = s - 12. Is x prime?
True
Let d be 33/(-9) - 3/9. Let a be d/(-2) + 3 + -1. Suppose -20 = -a*o, o = 3*r - 11 - 41. Is r composite?
False
Let t = -7620 - -19341. Is t composite?
True
Suppose 7 = -3*k - 5. Let g = 59 + k. Is g prime?
False
Suppose 2*c + 32 = -2*c. Let z(s) = 8*s + 6*s - s**3 - 5 - 6*s**2 - 22*s. Is z(c) a prime number?
False
Suppose 3148 = 112*i - 110*i. Is i a prime number?
False
Suppose -46 + 12 = -2*p. Suppose 0 = t + p - 32. Is (1/(-3))/(t/(-10035)) a composite number?
False
Suppose k + 4*n = 7, 5*k = 7*n - 5*n + 123. Is k prime?
True
Let d(g) = -6*g - 2. Let j be d(-1). Suppose -4 = -j*k, -5*x - k = -875 - 16. Suppose 3*w + 3*a - x = w, -2*w = -4*a - 178. Is w a prime number?
True
Suppose 0 = -17*l + 52147 + 9784. Is l prime?
True
Suppose 0 = -3*d - 8*d - 23320. Is (-7 + d)/((-1 + 3)/(-2)) a composite number?
True
Suppose 252 = 16*t - 740. Is t a composite number?
True
Let x(a) = a**2 + 2*a + 4. Let g be x(-3). Suppose g*p - 13610 = -3*p. Is p a composite number?
False
Suppose 78 + 78 = 3*i. Suppose -37 - 78 = -u - 2*x, -5*u = 2*x - 559. Let w = u - i. Is w a prime number?
True
Suppose -x + 2*x = b + 1148, -2*b + 2308 = 2*x. Is x a prime number?
T