-4*b. Is a a multiple of 12?
False
Let l(t) = t**2 - 11*t - 1. Let u be l(10). Let i be (-4)/10*(-16 - u). Suppose 2*r + 5*h = 35, 3*r + h = -i*r + 122. Is r a multiple of 5?
True
Suppose -4*s = 2*j + 8, 9 = j - 3*s - 7. Suppose 2*i = -2*i + 5*q + 1334, -1328 = -j*i + 2*q. Is 19 a factor of i?
False
Suppose 0 = 3*b - 6*b - x + 42553, -b + 14161 = -3*x. Is b a multiple of 13?
False
Let u = 4 + -2. Let b(h) = 7*h**3 - 2*h**2 + 5. Is 25 a factor of b(u)?
False
Let j(o) = 4*o + 51. Let q(x) = x**3 - 10*x**2 + x - 1. Let a be q(10). Suppose a*s = -49 - 59. Is j(s) a multiple of 2?
False
Let n = 21 + -21. Suppose -5*m + 5*c + 100 = n, -m - 5 = 5*c - c. Suppose m*u = 14*u + 177. Does 13 divide u?
False
Suppose 0 = 34*l - 2*l - 96. Let p(v) = 48*v**2 + 16*v - 7. Is 43 a factor of p(l)?
True
Suppose 1161*z = 1162*z - 8978. Is 61 a factor of z?
False
Suppose 67*g = 20*g - 17*g + 1041152. Is g a multiple of 83?
True
Let t = -11 - -24. Let g = -163 + 158. Let n = t - g. Does 18 divide n?
True
Let c = 56 - 68. Is (68/c + -4)*-3 a multiple of 10?
False
Suppose 0 = j + j - 5*r - 4, -4*r - 20 = -3*j. Let g be 4/(-3)*j/(-8). Suppose g*w + 8 = -0*w, 0 = 2*m + 5*w - 70. Does 15 divide m?
True
Suppose -13*x + 4770 = -3*x. Suppose -4*b + 343 = -x. Suppose -4*c = -3*l + 146, -5*l = -c + 2*c - b. Is l a multiple of 6?
True
Let m = 28 - -24. Does 55 divide 4 + (-3)/3 + m?
True
Let k(o) = -o**2 - 94*o - 1292. Is 43 a factor of k(-57)?
True
Does 26 divide 25318 + ((-115)/(-30) - ((-33)/(-18) - 2))?
False
Does 8 divide (1374/10)/((-1563)/(-120) + -13)?
True
Let o = 76 - -102. Let n = -59 + o. Does 16 divide n?
False
Let o(v) = 45*v + 15. Let d be o(4). Let p = d - -34. Suppose 5*q = 2*n + p + 314, -2*n - 434 = -4*q. Is 11 a factor of q?
False
Suppose -8*t + 4*i = -3*t - 2854, 0 = -t - 4*i + 590. Is t a multiple of 19?
False
Is 156 a factor of ((-20)/130*-13 + 11)*(1020 + 0)?
True
Let f(b) = -b**3 - b**2 - 14*b + 6. Let z be f(-9). Let m = 819 - z. Does 7 divide m?
False
Let j(w) = 168*w + 46. Let o be 3 + 4 - 8/2. Does 50 divide j(o)?
True
Let u(p) = -166*p - 1051. Is u(-15) a multiple of 6?
False
Let l(n) = -n**3 - 7*n**2 + 4*n - 10. Let b be l(-8). Let y = b + -59. Let o = 57 + y. Does 20 divide o?
True
Suppose -89 = 4*w - 97. Let f(k) = -k**3 + 4*k**2 + 7*k - 5. Let n be f(5). Suppose -11 = -3*y + w*s, -8 = -n*y + 4*s + 7. Does 7 divide y?
True
Let x(q) = q - 11. Let s be x(15). Let n(j) = -j. Let a(m) = -m**2 + 4*m - 14. Let d(c) = s*n(c) - a(c). Is d(10) a multiple of 9?
False
Let r(t) = 10*t**2 - 14*t + 468. Is 20 a factor of r(17)?
True
Suppose -3*v - 3*v = -48. Let r = v - 23. Let f = 40 + r. Is f a multiple of 10?
False
Let b = -1520 + 1524. Let d = -1 + 1. Suppose d = -4*k + 12, -6*a + b*a + 333 = -k. Is 46 a factor of a?
False
Let o be (-4)/((-8)/654) - 3. Let x(m) = -m**2 + 7*m + 20. Let y be x(9). Suppose -y*v - 4*g = -o, 0*v + 5*g = -2*v + 322. Does 20 divide v?
False
Suppose x + 1 = 0, 3*x = -4*s - s + 17. Suppose 5*r + 1355 = 4*f, 3*f + s*r = -f + 1364. Is f a multiple of 15?
False
Suppose -402*n = -387*n - 84645. Is n a multiple of 57?
True
Let c be ((-72)/15 - -4)/((-4)/2470). Let d = c - 104. Is 30 a factor of d?
True
Let k = 380 + -352. Let v(g) = -g**3 + 26*g**2 + 63*g - 64. Is 11 a factor of v(k)?
True
Let d be (2 - 4)/((-124)/3534). Let f(a) = -7*a + 1. Let h be f(-3). Let x = d - h. Does 25 divide x?
False
Suppose 5*d - z = -138, 4*z + z + 38 = -d. Let m be ((-2)/(-2))/((-7)/d). Suppose -i = -6*i - m*s + 145, -5*s + 41 = 2*i. Is i a multiple of 33?
True
Let j(n) = n**2 - 7*n - 9. Let h be j(8). Let p = -75 + 73. Does 15 divide h/((-1)/p) + 4 + 63?
False
Let b(n) be the second derivative of n**4/12 + n**3/6 + 5*n**2/2 - 13*n. Let a = 7 - 7. Does 5 divide b(a)?
True
Let v(j) be the third derivative of -j**6/360 - 9*j**5/40 - 2*j**4/3 + 23*j**3/6 - 12*j**2. Let r(x) be the first derivative of v(x). Does 58 divide r(-23)?
False
Let i = 2411 + -899. Is 28 a factor of i?
True
Suppose 12069 = 5*h + 4*c - 10463, -2*h + c + 9018 = 0. Suppose 47*v - 8182 = h. Is 18 a factor of v?
True
Let n(z) = -583*z + 140. Does 7 divide n(-4)?
False
Let u = -120 + 124. Suppose -4*a - u*g = -g - 1284, 5*g = -3*a + 963. Does 16 divide a?
False
Suppose 0 = 3*s - 3*d - 5 - 10, -s = -3*d - 11. Suppose -1080 = s*a - 7*a. Is a a multiple of 13?
False
Let n(f) be the first derivative of -3*f**4/2 - f**3/3 - f**2/2 - f + 14. Let h be n(-1). Suppose -h*a - i + 177 = -4*i, 2*a + i = 62. Is 8 a factor of a?
False
Suppose -28*s = 16*s - 7*s - 494357. Is 115 a factor of s?
False
Let d(g) = -5*g - 106. Let h(w) = -14*w + 31. Let c be h(4). Does 9 divide d(c)?
False
Let n be (8/(-20))/(6/(-150)). Suppose -n*g - 15*g = -6825. Is g a multiple of 34?
False
Let b be -3 + (33/(-6))/(3/(-114)). Suppose l - 121 = b. Suppose 5*j = -4*h + l, 3*h - 127 = j + 142. Does 11 divide h?
True
Let l be (-958)/(-10) + 0 + 38/190. Let x = -59 + l. Does 16 divide x?
False
Let g be 0 - -1*-1*22. Let i be (-1 + 37)/(33/g). Is ((-20)/8)/5*i a multiple of 3?
True
Is 30 a factor of 54894 + -102 + 2 + -28?
False
Suppose -2*t = -8 + 2. Let n = -84 + 122. Is 13 a factor of 0 + 1 + n + t?
False
Suppose -8*m = -4*m - 8. Suppose -m*n + 31 = -39. Suppose 3*k - 15 = 0, 3*l - n = k + k. Is l a multiple of 11?
False
Suppose -6*h + 143 = -1897. Suppose -2*t + 3*q = -q - h, -4*q = 4*t - 668. Does 14 divide t?
True
Let g(m) = -9*m**3 + m. Let z be g(1). Let q be (4/(-6))/(z/(-12)). Is 8 a factor of (-9 - q)*(7 - 9)?
True
Suppose 0 = -5*n + 46*h - 45*h + 21068, 5*n - 4*h = 21062. Does 86 divide n?
True
Let b = 652 + -661. Suppose 2 = -3*l + 11. Is 3 a factor of (-3)/15*b*15/l?
True
Suppose 12*l + 42 = 6*l. Let b = 77 + -75. Is b/l - (-6690)/42 a multiple of 19?
False
Let t = 52 + -65. Let d(z) = -10*z + 30. Let m be d(t). Suppose 2*h + 2*c = 105 + 7, -3*h = -5*c - m. Is 11 a factor of h?
True
Suppose 45*m = 5*c + 42*m - 23404, -23401 = -5*c + 2*m. Suppose 12*k - c - 3313 = 0. Is 27 a factor of k?
False
Let t = -44 + 44. Let g(n) = t*n - n - 15 - 7*n + 6*n. Is 9 a factor of g(-13)?
False
Does 15 divide 6481/4 + (-85)/20 + (1 - -3)?
True
Let y(n) = n**2 + 16*n + 72. Let p be y(-23). Let c = p - 193. Is c a multiple of 17?
False
Let n(q) = -q**2 + 9*q - 2. Let d be n(8). Let v(a) = -43 + 1 + d - 16*a. Does 28 divide v(-11)?
True
Let y = -26221 + 43997. Is y a multiple of 41?
False
Does 216 divide (-14986 + 0)/(-1) - (-5 - -21 - 8)?
False
Let b(f) = -9*f - 6 - f + 7*f. Let o be b(-2). Suppose 8*i + 159 - 495 = o. Does 7 divide i?
True
Suppose 26*u - 85*u = -524481 - 501647. Is u a multiple of 16?
True
Let w(r) = 6*r - 27. Let u be w(7). Suppose 5 = -3*d - 5*l, -2*l + 2 = 5*d - u. Suppose -3*a + d*n + 338 = 0, -3*a - 2*a - n + 582 = 0. Does 18 divide a?
False
Suppose 5*i = -2*i + 14. Let c(k) = -24 + 44 - 5*k - 12 + k**i. Is c(4) a multiple of 3?
False
Suppose 5*u - 18362 + 5362 = 0. Is 104 a factor of u?
True
Let a be 19/3 - (-4)/(-12). Let o = 699 + -693. Let g = o + a. Is g a multiple of 8?
False
Let t(q) be the second derivative of -10*q**3/3 + 17*q**2/2 - 8*q + 9. Does 68 divide t(-3)?
False
Let b be 608/(-76) + (-26)/(-2). Suppose -3*k + 2*i = -1392, -b*k - i = -2*i - 2320. Does 16 divide k?
True
Suppose 4*v + 6 = -4*b - 2, -b + 14 = -3*v. Suppose -b*m - 34 = -5*y - 6, 3*m + 3 = y. Does 5 divide 147/y - (-4)/8?
True
Does 93 divide (-32)/((-960)/1439590) - 10/(-6)?
True
Let m(n) = n**2 - 2*n + 2. Let h = 32 - 7. Let v = h + -15. Is m(v) a multiple of 9?
False
Suppose -6 = 2*s, 4*h - 542 = 3*s + 891. Let f = h + -157. Does 9 divide f?
False
Let l = -183 - -345. Suppose 3*z - 4*c = l, -z + 4*c = z - 112. Does 5 divide z?
True
Let q(v) = 5*v**3 + 12 - 12 + v**2 - 4*v**3 + 13 - v. Let b be q(0). Suppose 68 - b = i. Does 5 divide i?
True
Suppose -15*t = -20*t + 15. Suppose -343 = -5*x - 4*o + 92, -2*x + 174 = -t*o. Does 25 divide x?
False
Suppose 0 = 6*l - 3*l + 5*q + 54, -4*q - 38 = 2*l. Is 567/(l/(-2) - 3 - 2) a multiple of 27?
True
Suppose -2*c - 5*u = -9, -c - 3*u = -0*c - 3. Let d(w) = -6*w + 2*w**2 - c + 5*w + 3 + 5*w. Is d(3) a multiple of 14?
False
Let f be 3/2*36/27. Suppose 4*n - 18 = -s, 5*n - 59 = -4*s + f*n. Is 6 a factor of s*((-18)/(-7))/3?
True
Suppose -h - 4*h + 7784 + 6621 = 0. Does 16 divide h?
False
Suppo