 Is b a multiple of 3?
True
Suppose -19*a + 52416 = -5*a. Suppose a = 283*q - 274*q. Does 9 divide q?
False
Is 3*(93 - 17/(136/(-32))) a multiple of 18?
False
Let z be 4/(-3) - -1 - (-92)/6. Suppose -m + z = -6. Does 5 divide m + ((-4)/(-6))/(2/(-9))?
False
Let w(y) = -y**2 + 20*y - 46. Let l be w(17). Let g(x) = 7*x**3 - 6*x**2 - 12*x + 31. Is g(l) a multiple of 58?
True
Suppose -13*h + 103815 = 17196. Suppose h = 20*d + 2183. Is d a multiple of 14?
True
Suppose 3*y + 3*o - 23771 = 1123, 3*y - o = 24878. Is 11 a factor of y?
True
Let d(v) = 261 - 2*v**2 + v**3 - 17*v - 25*v + 39*v. Is d(0) a multiple of 16?
False
Suppose 4*y - 22*y + 22662 = 0. Suppose 3*l + a - y = -3*a, -2*l + 824 = -5*a. Suppose 0 = -2*i - d + l, 5*i - d - d - 1029 = 0. Is 9 a factor of i?
True
Suppose -4*u + 360874 = -q, 5*u - 473229 = q - 22135. Is 36 a factor of u?
False
Does 24 divide (-93*(-4)/6)/(1 + 126/(-132))?
False
Suppose -487*a = -490*a + 18918. Is a a multiple of 13?
False
Let i(m) = m**3 - 158*m**2 + 797*m + 164. Does 38 divide i(154)?
False
Suppose 3 + 0 = u, -b + 10 = 2*u. Let x = 533 + -530. Suppose 4*w = -2*g + 834, -b*w - 103 + 932 = x*g. Is 15 a factor of w?
False
Let y(u) = 64*u**2 - 33*u - 244. Does 42 divide y(-8)?
True
Let q be 1378/265 - (-1 - (-12)/10). Let a be -4*(18/(-30) - 2/q). Suppose -a*o + 336 = -o. Is o a multiple of 14?
True
Suppose -46*c + 25*c = 154*c - 2129400. Is c a multiple of 39?
True
Is 5 a factor of (-42)/6 - (6 + -2683 - -5)?
True
Is 29 a factor of ((15 - 6) + -7)*17603/2?
True
Suppose 284*j - 7511600 = -72*j. Is j a multiple of 13?
False
Suppose 148*i - 147*i = 0. Let t(v) = -2*v**2 + v + 13. Is 12 a factor of t(i)?
False
Let p be (-8)/36 - (-5151)/(-27). Does 24 divide (2 + 0)/8 + p/(-4)?
True
Suppose -r = -7*r - 11*r. Let b be (r/8)/(2 - 2 - -2). Suppose 5*i - 3*q - 797 = b, 5*i = -q + 2*q + 789. Does 11 divide i?
False
Let n = 7269 + -3397. Does 16 divide n?
True
Suppose 0*g - 48 = 4*g. Let m(s) = -10*s + 30. Is m(g) a multiple of 25?
True
Is ((-9)/(180/(-8)))/(92/1790090) a multiple of 47?
False
Suppose 3*y + 4*i - 33 = 7*i, -5*y + 51 = -4*i. Let a(f) be the second derivative of 11*f**3/6 + 3*f**2/2 + f. Is a(y) a multiple of 20?
True
Suppose 4*g - 5*u - 39184 = 0, 36*u - 33*u = 3*g - 29388. Is g a multiple of 79?
True
Let t = -11 - -15. Let b be 3 + (4 - 2 - t). Is 0*(0 + -1) + 280*b a multiple of 28?
True
Suppose -34*a + 3821 = 1433 - 5942. Is 5 a factor of a?
True
Suppose 0 = 174*r - 186*r + 34272. Is 12 a factor of r?
True
Let x(f) = -2*f - 18 - 7*f + 6*f + 2*f. Let l be x(-20). Suppose 3*d + 5*w - 88 = 119, -345 = -5*d - l*w. Is 14 a factor of d?
False
Let k(u) = -293*u + 2120. Is k(7) a multiple of 3?
True
Let w(v) = v**3 + 13*v**2 + 5*v - 30. Let b be w(-13). Let t = b + 108. Does 5 divide t?
False
Let j be (((-4)/(-4))/(-1))/(1/(-4)). Suppose -3*a = -7*a + 3*s + 825, 0 = 5*a - j*s - 1031. Is 23 a factor of a?
True
Suppose -7*w + 8289 = -4*w. Let m = w - 1657. Suppose -11*z + m + 71 = 0. Is 30 a factor of z?
False
Let j = -36 - -52. Let k(v) = -v**3 + 16*v**2 + 2*v - 12. Let p be k(j). Let h(c) = c**3 - 21*c**2 + 23*c - 35. Is h(p) a multiple of 9?
False
Let y(u) = -466*u + 507. Is 131 a factor of y(-11)?
True
Let l = -47747 + 92981. Does 63 divide l?
True
Suppose 663*f - 47610 = 134*f. Does 10 divide f?
True
Let q be 23 - (0 + -2 + 5). Let h be (-9)/(-12)*q/3. Let a(o) = o**3 - 4*o**2 - 3*o + 9. Is 15 a factor of a(h)?
False
Let p(x) = 19*x**3 + 6*x**2 + x + 3. Let r(v) = -17*v**3 - 5*v**2 - 2*v - 2. Let j(h) = 2*p(h) + 3*r(h). Does 12 divide j(-3)?
True
Let a = -10885 - -12554. Is a a multiple of 10?
False
Suppose 3*q - 4*q - 3*y = -428, -3*y + 3 = 0. Let d = q + -259. Is d a multiple of 26?
False
Let v be (4*(-3)/24)/((-2)/(-4)). Is (-2 - 1/v) + 124 a multiple of 10?
False
Let c = -20 + 22. Suppose 3*i = -2*d + 157, 3*d = i - c*i + 50. Suppose -k = -2*a - i, -3*k + 4*a + 157 = -10. Is k a multiple of 20?
False
Let p be 24/(-60) - (27/5)/(-1). Suppose 0 = 3*k - p*h - 126, 5*h + 0*h = -4*k + 168. Is k a multiple of 5?
False
Suppose -272*w + 75852 = -54*w - 432088. Is 4 a factor of w?
False
Suppose -143*x + 141*x = 520 - 6448. Is x a multiple of 52?
True
Let n = -294 + 393. Let l = n - -54. Does 17 divide l?
True
Let r = 16481 - 15706. Is r a multiple of 30?
False
Let d be (-168)/140*(-2)/(4/(-210)). Let z = d - -256. Is 13 a factor of z?
True
Let t(c) = -29*c**2 - 2*c + 6. Let j be t(4). Let n = j + 198. Let x = -104 - n. Is 11 a factor of x?
False
Suppose -3*a = -4*x - 14608, -3*a + 3*x = -6*a + 14580. Suppose -a = -9*z - 7*z. Is 8 a factor of z?
True
Let b(h) = 10*h + h**3 - 58 - 14*h**2 - 5*h - 19*h**2 - 3*h. Is 8 a factor of b(33)?
True
Let b(a) = 5*a + 56. Let r be b(-8). Let u(c) = c - 10187 + r*c + 2*c**2 + 10219. Does 22 divide u(-11)?
False
Let f(n) = -n**3 + 5*n**2 + 7*n - 4. Let m be f(6). Suppose 99 = -a + m*a. Suppose -3*b + a = 18. Is b a multiple of 3?
True
Let o(s) = s + 1. Let r(a) = -a + 6. Let g(l) = -3*o(l) + r(l). Let n be g(-6). Let u = 63 - n. Is 4 a factor of u?
True
Let h = 118 - 63. Suppose -3*i - h = -5*m, 0*i + 2*m = -3*i - 62. Let q = i + 23. Is 2 a factor of q?
False
Let x(n) be the first derivative of 9*n**2/2 - 10*n - 56. Suppose -v + 2*v - 5 = 0. Is 7 a factor of x(v)?
True
Let g = 56 - 56. Suppose c + 3*q + 9 = g, -q = 4*c - 0*c - 8. Suppose -8*l + 695 = -c*l. Does 27 divide l?
False
Let m = 503 - 485. Suppose m*z - 2932 - 6788 = 0. Does 36 divide z?
True
Does 11 divide 10/((-18)/(-114345)*11)?
True
Let a = -70 + 74. Suppose -93 = a*m - 133. Is 10 a factor of m?
True
Suppose -11 = -2*i - 2*r - r, 0 = 2*i - 4*r + 10. Suppose -35 = z - 6*z - 5*w, 0 = -w. Let c = z + i. Does 3 divide c?
False
Let w = -37 - -42. Suppose w*u - 11 = 54. Suppose 0 = -13*t + 14*t - u. Does 3 divide t?
False
Let o(t) = -t**3 + t**2 + 3*t - 3. Let j(x) = -2*x**3 + 4*x - 2. Let v(b) = 2*j(b) - 3*o(b). Let y be v(-3). Is 3 a factor of (-3 + (-12)/y)/((-3)/8)?
True
Suppose -12*l + 10*u + 23484 = 6*u, 0 = u + 3. Is l a multiple of 6?
True
Let f be 36/(-15)*(-150)/20. Is 16998/54 + 4/f a multiple of 9?
True
Let g = 4646 + 1016. Is 18 a factor of g?
False
Let k(o) = 8*o + 112. Let z be k(-12). Is ((-272)/10)/(z/(-160)) a multiple of 34?
True
Let m = 1597 - -1041. Does 24 divide m?
False
Suppose -6*l + 4*l = 168. Let v be 4/(-8) - l/8. Suppose v = q - 36. Is q a multiple of 23?
True
Let k = -591 + 1222. Suppose k = 9*x - 1511. Is 50 a factor of x?
False
Let c = 519 + -517. Is 787 + (-66)/(-11) + (c - 6) a multiple of 54?
False
Let y(r) = r**3 + 25*r**2 + 5. Let x be y(-25). Suppose p - 3*p - 8 = 3*q, -x*q - 16 = 2*p. Does 47 divide 2/q + (-8172)/(-24)?
False
Suppose 12*t + 4 = 13*t. Suppose -f + t*p = 4 - 9, 3*f + 2 = -5*p. Is 45 a factor of (-5 - 1)*(f + 600/(-16))?
False
Let z(b) = 219*b + 1288. Is z(13) a multiple of 96?
False
Let u(k) be the third derivative of k**7/140 + k**6/240 + 7*k**4/24 + 18*k**2. Let j(h) be the second derivative of u(h). Is 11 a factor of j(-2)?
True
Let k(h) = -h**2 + 6*h - 4. Let r be k(4). Suppose -84 = -r*w + 68. Let u = w + -2. Is 18 a factor of u?
True
Suppose -3*k = 2*l - 4*l + 688, -5*l - 3*k + 1762 = 0. Let y = l - 196. Is 7 a factor of y?
True
Let q(v) be the third derivative of v**4/12 + 13*v**3/6 - 7*v**2. Let f be q(-5). Suppose -f*k - 240 = -4*h, 0 = -k + 6*k. Does 6 divide h?
True
Let v = -11 + 26. Let l(x) be the third derivative of x**4/8 + 7*x**3/2 - 580*x**2. Does 15 divide l(v)?
False
Suppose 0 = -3*b - 0*b + 6. Let p(i) = -3*i + 9. Let m be p(b). Suppose 8*g - 250 = 3*g + 5*t, -g = m*t - 50. Does 3 divide g?
False
Let c(w) = 6*w + 1 + 2*w - 25*w + 33*w**2 + 12*w + 9. Does 5 divide c(3)?
False
Suppose 0 = -2*s + 2*f - 2, -11 + 2 = -3*f. Suppose 0 = 5*c - d - 4282, -s*d + 5 + 1 = 0. Is 12 a factor of c?
False
Suppose 4*i + 3*k + 16 = 3*i, -10 = 2*k. Let r be i*((-2)/(-11) - 502/(-22)). Let s = r + 75. Is s a multiple of 10?
False
Suppose 4*z = -j + 8, -7*j - 3*z + 6 = -2*j. Suppose 5743 = 5*f - 3*y + 5*y, j = -4*f - 4*y + 4604. Is 31 a factor of f?
True
Does 15 divide (-249)/332 + (-44109)/(-12)?
True
Suppose 15 = -n + 3*n + u, 3*u = -2*n + 25. Suppose 4*p - 1 = r - n, -2*r = 2*p + 22. Is 11 a factor of (94/4)/((-4)/r)?
False
Let m = -82 - -81. Let i be m/(0 + 38