r of j?
False
Let i(q) = -19 - 16*q - 14*q + 6 - 17. Is i(-8) a multiple of 43?
False
Let x(k) = -6*k - 28. Suppose 12 = -5*z - 28. Does 10 divide x(z)?
True
Suppose 0 = 21*t - 1703 - 1027. Does 13 divide t?
True
Let u(v) = -35 + 96 - 6*v - 42 + 92. Is u(0) a multiple of 19?
False
Let i be ((-6)/3)/(1/(-27)). Suppose i = -5*q + 11*q. Is q a multiple of 3?
True
Let h(g) = -g**2 + 31*g - 124. Let t be h(26). Let b(n) = -5*n**2 - 7 + n**3 + 3 + 0*n**3 - 2*n. Is 4 a factor of b(t)?
True
Suppose 0 + 4 = -n, 36 = 4*k - 5*n. Suppose 0 - 4 = -k*v. Suppose -s + 10 - v = 0. Is s a multiple of 5?
False
Let g = 7 + -7. Suppose 0 = -3*s + 5*z + 134, 4*s + g*z + 4*z = 200. Is 16 a factor of s?
True
Suppose -l = -2*j - 21 + 78, -3*l = -3*j + 93. Suppose -t + j = 2*a, -56 + 17 = -3*a + 2*t. Suppose -k - a = -47. Is 17 a factor of k?
True
Let q = -37 + 136. Let u be 2/12 + 1220/24. Suppose -3*n = -q - u. Is 10 a factor of n?
True
Suppose 0 = 5*n - 17 - 8. Suppose n*v + 26 = 3*d, 66 = 5*d + 2*v + v. Does 3 divide d?
True
Let w be 330/70 - (-2)/7. Suppose 3*x - f - 395 = 0, -29 = -w*x - 3*f + 648. Is 19 a factor of x?
True
Let s = 479 - 123. Let q = -252 + s. Is q a multiple of 17?
False
Suppose -5*k - 627 = -2*u, -u + 148 = k - 148. Does 9 divide u?
False
Let z(t) = 91*t**3 - 1. Is z(1) a multiple of 5?
True
Suppose 0 = -2*t + 79 - 207. Let z = 119 + t. Is 10 a factor of z?
False
Let q be (-1)/((-42)/(-15) + (-2 - 1)). Suppose q*s - 296 = -41. Is 16 a factor of s?
False
Is -242*(63/(-27) - 2/(-6)) a multiple of 18?
False
Let q(c) = -3*c**2 + 7*c**2 + c**3 - 17*c - 12 + 7*c**2. Is q(-12) a multiple of 8?
True
Let o be ((-20)/8 + 2)*(3 - 565). Let x = -31 + o. Does 50 divide x?
True
Let z = 50 + -25. Let c(o) = z*o - 14*o + 9 - 15*o. Is c(-4) a multiple of 18?
False
Let o(s) = s**2 - 2*s + 1. Suppose -25 = 4*k + k. Is 18 a factor of o(k)?
True
Does 6 divide 63/2*((-1440)/(-84) + -12)?
True
Suppose 5*j + 11 = -4*g - 9, -5*j = 3*g + 15. Suppose 0 = -5*w - 5*a + 320, 1 + j = a. Is 7 a factor of w?
True
Let c = 861 - 608. Is 18 a factor of c?
False
Suppose 7*w + 8*w = 75. Suppose 5*d = 19 + 6. Suppose -194 = -4*s - d*v + 4*v, -242 = -w*s - v. Does 17 divide s?
False
Let o be -15*16/(-12) - 1. Suppose o = -6*q - 113. Let k = 36 + q. Does 6 divide k?
False
Suppose -5*o + 25 = -5*g, o - g = -o + 8. Let d be -32*o/4*-1. Let v = d - 0. Does 12 divide v?
True
Suppose -3*z - 10 = -z - 3*s, -s = -z - 5. Let j(v) = -v**3 - 4*v**2 + 7*v + 6. Let x be j(z). Does 11 divide 2 - (x - 66/2)?
False
Let o = -3 - -9. Let g(c) = 2*c**2 + 3*c. Let u be g(o). Suppose -4*f + 30 = -u. Does 6 divide f?
True
Let a(x) = 3*x**3 - 5*x**2 + 17*x - 6. Is 10 a factor of a(6)?
False
Suppose 8 = 2*j + 4*n, -3*n = 2*n. Suppose j*i + i = h - 102, 3*h - 3*i - 294 = 0. Let l = h + -37. Does 20 divide l?
True
Let k be (-24)/10 - 8/(-20). Is 22 a factor of k + (-2 - -6) + (-210)/(-5)?
True
Let y be 10/((-92)/(-88) + -1). Suppose -4*t = -y + 80. Is 8 a factor of t?
False
Let x = 67 + 172. Suppose 2*p + 3*i - x = 0, -p + 0*i = 2*i - 121. Is p a multiple of 11?
False
Let j be (9/(-2))/(-9)*4. Suppose -j*d + 62 = 2*x - 22, -d = -4*x - 67. Does 22 divide d?
False
Let t(c) = c**2 - 6*c + 20. Is t(8) a multiple of 12?
True
Let i be (-3 - -1 - 0)*-1. Let r be (6/21)/(i/14). Is 5 a factor of r/12 - 145/(-30)?
True
Let y = -5 + 0. Let k be (-45)/(y/1) - 4. Suppose z + k*z - 114 = 0. Is 19 a factor of z?
True
Let t be (12/14)/(3 + (-1508)/504). Suppose 3*m - 12 = t. Is m a multiple of 10?
True
Let q = 204 + -197. Let y(r) = -r**2 + 10*r - 9. Let h be y(6). Let z = q + h. Is 7 a factor of z?
False
Let g be -1 - (0/2)/(-1). Let s = 3 + g. Suppose 0 = s*n - 2 - 166. Does 28 divide n?
True
Suppose c + 17 = -f + 4*c, 0 = 4*f - 4*c + 36. Let v(w) = w**3 + 6*w**2 + 3*w + 3. Is v(f) a multiple of 13?
True
Let b(h) = h**2 - 6*h + 10. Let d be b(4). Suppose d*a + 3*a - 50 = 0. Let q(y) = -y**2 + 12*y + 6. Is 7 a factor of q(a)?
False
Let l = 25 - 25. Suppose u - 7 = -2, 5*t + 3*u - 215 = l. Does 40 divide t?
True
Let f = 1 - -3. Suppose f*q = -0*q. Suppose 0 = -3*i - 3*o + 78, q*i + o = -2*i + 47. Is 12 a factor of i?
False
Let l = 698 - -2669. Does 37 divide l?
True
Let m(n) = 4*n**2 - 4*n - 3. Suppose 11 = 5*a + 31. Does 23 divide m(a)?
False
Let w(j) = -j - 17. Let d be w(-15). Let h(i) = -52*i - 4. Does 9 divide h(d)?
False
Let k = -325 + 201. Let s be (k - 0)*6/(-12). Suppose -5*p + s = 2*r, 0*r - 3*r + 93 = p. Is r a multiple of 9?
False
Suppose -6*p = 4*p - 12*p. Suppose 2*m + p*m + 3*k - 71 = 0, 0 = -5*m - 4*k + 174. Is 21 a factor of m?
False
Let g = -16 + 11. Let b be 10/g*6/(-3). Suppose 2*m + 39 + 93 = b*c, 3*c = 5*m + 85. Is c a multiple of 12?
False
Suppose -2*c - 5*v + 247 = 0, 7*c - 4*v - 424 = 3*c. Is c a multiple of 6?
False
Let w = 23 - -10. Suppose 2 = 5*g - w. Is 7 a factor of g?
True
Suppose -4*y - 6*t + 3230 = -11*t, 0 = -2*y + t + 1618. Does 15 divide y?
True
Suppose 2*i = -5*s + 10074, 6050 = 3*s - 34*i + 38*i. Does 34 divide s?
False
Let i be 3 - ((-4 - -1) + 3). Let x be (i/4)/((-3)/(-24)). Is -3 - (-104 + (3 - x)) a multiple of 20?
False
Does 18 divide 22/(-77) + 506/7?
True
Let l(p) = -p**2 - 5*p + 5. Let j be l(-5). Suppose h = j*a + 2*h - 71, -a - 3*h = -17. Suppose -1 = -x + a. Is x a multiple of 8?
False
Let w be (-782)/(-6) - 8/24. Suppose 2*u = v + v - 268, -v + 3*u = -w. Suppose -2*y + v = -0*y. Is y a multiple of 17?
True
Let m(w) = -3*w**3 + w - 2*w**2 - 3*w**2 - 5*w. Let l(n) = n**2 - 8*n - 23. Let o be l(10). Does 16 divide m(o)?
True
Suppose 0 = 4*x - 3 - 13. Suppose 2*q - x*q = -6. Does 4 divide (10/q)/(6/36)?
True
Is ((-219)/9)/(4/(-216)) a multiple of 15?
False
Suppose 2*p + 15 + 3 = 0. Suppose -186 = -3*q - 510. Is 20/(p/(q/8)) a multiple of 6?
True
Let r(s) = -s**3 - 7*s + 1 + 12*s**2 - 4*s - 1 + 3. Let k be r(11). Suppose -4*m + a + 113 = -0*a, k*a - 125 = -4*m. Does 6 divide m?
False
Suppose -3*v - 3*h + 1026 = 0, -2*h = -v + h + 354. Is v a multiple of 15?
True
Let b(k) = -4 + 5*k**2 - 3 + 6*k + 4 - 3. Let p(s) = 4*s**2 + 5*s - 6. Let y(v) = 5*b(v) - 6*p(v). Is 14 a factor of y(5)?
False
Let l(b) = -b**2 - b. Let w(k) = -8*k**2 + k + 14. Let r(g) = 5*l(g) - w(g). Does 13 divide r(7)?
True
Let n(i) = 26*i - 48*i + 2 - 1. Let g be n(-1). Suppose 0 = f + 4*a - g, -2*f + a - 92 = -6*f. Does 4 divide f?
False
Suppose -4*h = -5*d - 35, h - 4*d + 3*d - 8 = 0. Suppose 4*u = 2*s + 2, -h*s + 58 - 21 = 4*u. Is u a multiple of 2?
False
Suppose 39 = 7*n - 4*n. Suppose 17*g = n*g + 332. Does 50 divide g?
False
Let j(x) = x**3 + 8*x**2 - 12*x - 79. Is 25 a factor of j(-6)?
False
Let f(m) = 65*m + 2. Is 20 a factor of f(14)?
False
Let l(r) = -r + 1. Let g(s) = 14*s - 30. Let i(w) = g(w) + 12*l(w). Let p be i(8). Does 6 divide 6/p - (0 + -28)?
False
Suppose -4*w + 8 = 2*y, 4*y - y - w = -23. Let s(i) = 7*i + 14. Let v be s(y). Let g = 56 + v. Is g a multiple of 20?
False
Let n(k) = k**2 + 12*k + 13. Let c be n(-11). Is 9 a factor of (108*2)/4 + 1*c?
False
Let q(z) = -z - 8. Let g be q(-12). Let h = -3 + g. Does 8 divide 17 + (h - (1 - -2))?
False
Let b = 361 + -330. Is 31 a factor of b?
True
Let s(w) = -w**2 - 11*w - 1. Suppose 3*o + 22 + 8 = 0. Let b be s(o). Suppose 1 + b = g + 5*n, 0 = g - 3*n - 10. Does 10 divide g?
True
Let s = 2 - 4. Let i = s + 13. Is 11 a factor of i?
True
Suppose -2*t + 4*l = -0*t - 28, 0 = 5*l + 25. Suppose 5*x - x - 18 = -q, 0 = 5*q + 10. Suppose -4*g = 2*z - 170, -x*g + 0*g - 340 = -t*z. Does 17 divide z?
True
Let y(m) = 6 + m - 8 + 15 + 4. Let r be y(-14). Is 15 a factor of 3/(r/(-4)) - -73?
False
Let x(n) = -2*n**3 + 15*n**2 + 9*n + 4. Suppose -4*c = 3*t - 24, 5*t - c = 3*c + 40. Is 4 a factor of x(t)?
True
Let v(a) = a**3 - 7*a**2 + 8*a - 9. Let x be v(6). Suppose -x*h = 5*q - 211, 9*h - 10 = 4*h. Does 9 divide (-56)/(-14) + 1*q?
True
Let a be 2/(-6)*(0 + 93). Let j = a + 36. Is j a multiple of 3?
False
Suppose -14 = -4*o + 2*k, k = -3*k + 20. Suppose o*m + 270 = 9*m. Does 15 divide m?
True
Let m(k) = 338*k**2 - 3*k + 1. Does 24 divide m(1)?
True
Suppose -2*i = 27 + 69. Let b = i + 66. Is b a multiple of 2?
True
Let x = 20 + -20. Let s = 13 + x. Suppose 3*m - s = g, -2*g + 3*m - 21 = -2*m. Is g even?
True
Does 19 divide (-25)/(-15)*3/15*798?
True
Let b(a) = 