et p be g(0). Suppose -t = -4*l - 127, 4*t - l - 667 + 189 = p. Does 25 divide t?
False
Let w = -6 - -6. Is 6 a factor of 113/5*(-20)/(w - 4)?
False
Does 11 divide (-1114)/(-6) - (532/21)/(-19)?
True
Suppose 42*a = 43*a - 3756. Is a a multiple of 10?
False
Let p = 142 - -534. Is 13 a factor of p?
True
Suppose 0 = 2*w + k - 143, 3*k - 12 = -3. Is 31 a factor of w?
False
Let n(a) = 161 - a**2 - 166 + 0*a**3 - a**3 + a. Is n(-5) a multiple of 18?
True
Let c = -4 - -3. Let h = c - 2. Let w(u) = -22*u - 3. Is w(h) a multiple of 13?
False
Let h = 253 + 584. Is h a multiple of 12?
False
Let i(h) = -2 - 4*h**2 + 6*h - 2*h**3 + h**2 - h**3 + 6*h**3. Does 22 divide i(2)?
True
Let y(w) = 7*w**3 + 7*w**2 - 3*w + 31. Let r(u) = 4*u**3 + 4*u**2 - 2*u + 15. Let j(f) = -5*r(f) + 3*y(f). Is j(0) a multiple of 3?
True
Let k = -3 + 3. Suppose 8*v + 42 - 2 = 0. Let l = k - v. Is l a multiple of 2?
False
Let j(m) = 8*m - 31. Let i be j(11). Does 16 divide (8/5)/((i/90)/19)?
True
Let o(j) = -j**2 - 5*j - 3. Let s be o(-3). Suppose -s*h = -4*z - 51, -18 - 67 = -5*h + 3*z. Is h a multiple of 17?
True
Is 15 a factor of 2/((-2)/(-371)) - -4?
True
Suppose -27*a + 35*a - 4280 = 0. Is a a multiple of 51?
False
Suppose 0 = 5*p - z - 3*z - 3761, 2*z = 5*p - 3753. Is p a multiple of 18?
False
Let g = 124 - 140. Let x be -3*-16*(-2)/(-3). Let v = g + x. Is v a multiple of 16?
True
Suppose 5757 = 6*b + 543. Suppose 0 = 5*r - 176 - b. Is r a multiple of 32?
False
Suppose 2*r - 1 - 7 = 0. Suppose -r*s = 72 + 40. Is 11 a factor of 2/7 + (-1084)/s?
False
Let a(k) = 2*k**2 - 11*k + 48. Does 8 divide a(8)?
True
Let i(z) = 2*z + 18. Let f be i(-7). Suppose -f*k - 111 = -5*k - 3*m, -k = 4*m - 112. Does 12 divide k?
True
Suppose 4*q = -2*l + q + 1978, -3*q = -4*l + 3974. Does 16 divide l?
True
Is 14 a factor of (-17 - -19)/((-4)/(-2586))?
False
Let n be (-17)/3*(4/(-4) - 2). Let q = 53 - n. Does 6 divide q?
True
Suppose 4*h - 3*b = 333 + 802, 3*b = 5*h - 1418. Let q = -151 + h. Is 33 a factor of q?
True
Let u = -13 + 118. Is u a multiple of 8?
False
Let r(x) = -x**3 + 7*x**2 - 3*x + 1. Suppose -2*b = 4*s + 4, -20 = -4*b + 3*s - 4*s. Let q be r(b). Suppose i = -q + 86. Is 26 a factor of i?
False
Let f be 212 - 2/(-1) - 0. Suppose -3*l - 430 = -4*o - 2*l, 2*o - f = l. Suppose -3*i + o - 29 = v, i = v + 29. Is i a multiple of 11?
False
Let s(p) = p - 8 + 8. Let q be s(-4). Let v = 32 - q. Is 18 a factor of v?
True
Is 4 a factor of 34/(-119) + 401/7?
False
Let h be (-2)/1*2*-1. Suppose 6 = h*g - 18. Suppose -d + g*d + 2*u - 112 = 0, 65 = 3*d - u. Is 12 a factor of d?
False
Let i(x) be the third derivative of -x**4/24 + 7*x**3/6 - x**2. Suppose 5*l + 61 = -4*v, -5*l = v + 8 + 11. Is i(v) a multiple of 21?
True
Let m(t) = -7*t - 3. Let v be m(-9). Suppose -2*a = -7*a + v. Is 3 a factor of a?
True
Let l(y) = -y**3 - 176. Suppose -i = 2*i. Let c be l(i). Is 3/((-12)/c) - -1 a multiple of 15?
True
Let c(g) = g**3 + 3*g**2 - g. Let b be c(-3). Suppose -7*q = y - 2*q + 18, -5*y - 2 = b*q. Suppose y*u - o - 100 = -0*u, 4*u + 3*o - 180 = 0. Does 16 divide u?
True
Let d(c) = -c**3 + c**2 - c + 1. Suppose 2*n + 2 = -2*g - 0*n, 3*g + 1 = -n. Let a be d(g). Let u(r) = 7*r. Does 3 divide u(a)?
False
Let k be 405/(-21) + (-10)/(-35). Let d = k + 19. Suppose d = 5*f - 2*c - 170, -34 = -f + c + 2*c. Is 19 a factor of f?
False
Let k = 412 - 214. Is k a multiple of 5?
False
Suppose 5*n + 7*n = 0. Suppose 4*m = -5*r + 440, 3*r = m - 75 + 339. Suppose n = -x + r + 10. Is x a multiple of 39?
False
Let r = 25 - 37. Let n(d) = -2*d - 20. Does 3 divide n(r)?
False
Let c = 14 + -9. Suppose 262 + 138 = c*j. Does 13 divide j?
False
Suppose -2*f + o = -475, 9*f + 5*o - 1150 = 4*f. Let l = -138 + f. Does 7 divide l?
False
Is -5 - (-253 + (-5 - -9)) a multiple of 12?
False
Let f = -1530 + 2210. Does 40 divide f?
True
Let v be -1 + (-6)/(-10) - 654/15. Let o = 47 + v. Is o even?
False
Suppose -3*z + 4*z = -2. Does 5 divide ((-10)/(-2))/(1*z/(-20))?
True
Suppose 3*b - 2*b - 2*c - 5 = 0, 0 = b + 2*c + 7. Let h(q) = 15*q**2 + 2. Is h(b) a multiple of 17?
True
Let l(g) = -g - 4. Let x(h) = 1. Let v(m) = l(m) - 6*x(m). Let w be v(-10). Suppose -a + w*a = -14. Is 7 a factor of a?
True
Let r = 160 + -144. Is 4 a factor of r?
True
Is 12/(-32) + 2387*(-2)/(-16) a multiple of 47?
False
Suppose -3*i - f - f + 1 = 0, 0 = 2*i + f - 2. Suppose 0*v - v = i*s - 24, 3*v - s = 32. Is v a multiple of 3?
True
Suppose 15544 = 62*p - 33*p. Is 14 a factor of p?
False
Let t = 28 + -14. Suppose -6*m = -8*m + t. Is 3 a factor of m?
False
Let r be ((-2)/3)/(22/(-165)). Let s(l) = 14*l**3 - l**2 + l - 1. Let b be s(1). Suppose -r*y + 119 = 4*o, -b = -5*y + 2. Is o a multiple of 22?
False
Let s(d) = d**3 - 9*d**2 + 18*d + 16. Is 4 a factor of s(6)?
True
Let n be (-6)/(-39) + (-158)/13. Is 26 a factor of n/((-16)/(-104)*6/(-8))?
True
Suppose 0 = 17*u - 10*u. Suppose -3*b - 3*p + 177 = -0*p, 4*b - 3*p - 243 = u. Is b a multiple of 6?
True
Let m(j) = j**3 - 5*j**2 - j - 2. Let p(x) = -x**3 + 6*x**2 + 2*x + 1. Let v(y) = 5*m(y) + 4*p(y). Is v(2) a multiple of 3?
False
Suppose -4869 = -10*t + 8*t + 5*l, 2*t = -4*l + 4914. Is 13 a factor of t?
False
Let v = 19 - 13. Suppose -15 = 3*l + i, v*l = l + 5*i - 5. Does 7 divide 3 + (76*-1)/l?
False
Suppose 0 = 5*a - 12*a + 315. Suppose 0 = -4*q - 12, -q + a = 2*b - b. Does 4 divide b?
True
Let s be (8/(-10))/((-14)/35). Let v be 19/(-3) + s/6. Is 2 a factor of 1/((3/v)/(-1))?
True
Let k(f) = f - 3. Let b be k(7). Suppose b*j + 101 + 3 = 0. Let y = 39 + j. Does 13 divide y?
True
Let l = -11 + 16. Suppose 4*j = -l*h - 2, -5*j = -3*h - 4*j + 9. Suppose -h*r + 15 = -r. Does 15 divide r?
True
Let j = 795 - -383. Does 29 divide j?
False
Let l = 6528 + -4637. Does 80 divide l?
False
Suppose 0 = 3*u - n - 2175, 37*n - 723 = -u + 38*n. Is u a multiple of 6?
True
Is 12 a factor of (0 + 6/9)/(162/153819)?
False
Let p(m) = -m**3 + 5*m**2 - m + 5. Let q be p(4). Suppose -q = -i - 6. Is i a multiple of 11?
True
Let a be ((-27)/(-6))/(((-2)/4)/1). Let p(i) = -i**3 - 7*i**2 + 13*i + 23. Is p(a) a multiple of 17?
True
Suppose 3*n = -4*j - 7, 4*n + 0*n + 3*j = 0. Suppose -n*r = -306 + 96. Does 21 divide r?
False
Let w(t) = -2*t. Let s be w(8). Let v = s + 144. Does 39 divide v?
False
Is 764 + -3 - (-14 - -15) a multiple of 27?
False
Let z = -4 - -6. Let r = 581 + -371. Suppose -z*w - w = -r. Does 32 divide w?
False
Suppose 120 = 2*k - 3*d, -5*k + 5*d - 3*d = -322. Suppose -k + 225 = 3*m + v, 3*m + 3*v - 159 = 0. Is m a multiple of 11?
False
Suppose -3*g + 2*l + 93 = -6851, -2311 = -g - 3*l. Does 117 divide g?
False
Suppose -5*g = 5, -5*y + 460 = -0*g + 5*g. Is y a multiple of 4?
False
Let u be ((-20)/(-15))/((-2)/(-3)). Suppose -u = 7*h - 8*h. Suppose 54 = 4*i - 2*q, -70 = -5*i + h*q + 3*q. Is 6 a factor of i?
False
Let h = 9 + -24. Let t(r) = -r**3 + 7*r**2 - 6. Let a be t(6). Let v = h + a. Is v a multiple of 15?
True
Is 8 a factor of 2*(0 + 2) + (96 - 4)?
True
Let n(l) = 2*l**2 + 42*l + 75. Does 7 divide n(-25)?
False
Let s(a) = -a - 3. Let d be s(-6). Suppose 0*o = -d*o. Suppose -3*t - 150 = -2*b, -16 = 4*t - o. Is 14 a factor of b?
False
Let t be (-5 - -3)*(-4)/(-8). Let u = 4 - t. Suppose 0 = 2*o + u*l - 76, -3*l = -3*o + 18 + 138. Does 17 divide o?
False
Does 11 divide (-2438)/(-3) - 17 - (-2)/6?
False
Suppose 0 = -5*w + 4*w + 4. Does 21 divide (w*5/(-50))/(4/(-1270))?
False
Let k(j) = j**3 + j**2 - j + 1. Let q(n) = -5*n**3 - 5*n**2 + 5*n - 8. Suppose 2*h + 8 = 3*u, 0*h - 3*u + 5 = h. Let s(g) = h*q(g) - 6*k(g). Is s(0) even?
True
Let j(l) = -5*l**3 - l + 1. Let r be j(1). Is (-1 - r - (-15)/6)*50 a multiple of 26?
False
Suppose -3*l - 531 + 168 = 0. Let p = l - 54. Is 12/(-8) - p/2 a multiple of 24?
False
Suppose 42*k = 3516 + 96. Is k a multiple of 38?
False
Suppose 3*k - 2053 = z + 3031, 0 = 2*k - 3*z - 3380. Is 53 a factor of k?
True
Let z = -18 + 70. Is 4 a factor of z?
True
Let h be -3*(-4)/(0 + -4). Let v(x) = -x + x**2 + 3*x - 3 - 4*x. Does 12 divide v(h)?
True
Let v(d) be the first derivative of -d**3/3 + 11*d**2/2 + 14*d + 7. Is 14 a factor of v(9)?
False
Does 12 divide ((-1303)/(-3))/((-63)/(-189))?
False
Suppose -10087 = -28*u + 17*u. Is 7 a factor of u?
True
Let c(q) = 22*q - 20. Does 17 divide c(4)?
Tru