Let d be (-130)/4*(-4)/(-5). Let o = -21 - d. Suppose -3*v + 2*q + 10 = -3*q, -2*v + o*q = 0. Is 10 a factor of v?
True
Suppose 66 - 78 = -4*l, -5*n + 6 = -3*l. Suppose 2*y - 1350 = -5*j, -11 = y - n*j - 708. Does 19 divide y?
False
Suppose 13876 = q - 3*d, -1319*q - 69352 = -1324*q + d. Is q a multiple of 95?
True
Let o(z) = 237*z**2 + 7*z - 34. Is 20 a factor of o(3)?
True
Let g(j) = 21*j**3 + 10*j - 2*j**2 - 13*j - 2 - 2*j**3. Let a be g(-1). Let l = a + 45. Is 14 a factor of l?
False
Let v(p) = -5*p + 0*p - p - 6 + 31*p**2 - 32*p**2. Let o be v(-7). Let j = o + 64. Is j a multiple of 7?
False
Suppose -258*c = -251*c - 56. Suppose -c*s - 7*s = -7110. Is s a multiple of 27?
False
Let q(a) = 2*a**2 + 315*a + 67. Does 56 divide q(40)?
False
Let u(r) = -r**3 + 45*r**2 - 24*r - 649. Is u(44) a multiple of 3?
True
Suppose -5*g = -c - c - 132, -5*c = 4*g + 264. Let y be 19/8 + 21/c. Suppose 0*q = -q + 3*m + 72, -y*q = 2*m - 128. Is 17 a factor of q?
False
Let l be ((-20)/8 - -2)/((-4)/24). Suppose -l*y + 354 = 4*t - 21, 0 = t - 4*y - 70. Is t a multiple of 9?
True
Suppose -3*o = -5*d + 296 + 128, 4*o - 3*d + 558 = 0. Let l = o - -41. Let t = l - -133. Is t a multiple of 9?
True
Suppose 12*a - 11*a + 13 = 5*l, 0 = -4*a - 12. Does 34 divide (-3065)/45*-3 - l/6?
True
Let z = 9329 - 1704. Does 25 divide z?
True
Let p be 40/19 - 8/76. Does 5 divide 1 - p - (5 - (-438)/(-3))?
True
Suppose 0 = -5*a - 2*v - 793 - 222, -5*a = 3*v + 1020. Let d = a + 264. Is 9 a factor of d?
True
Let q = 118 - 33. Suppose 0 = t + 3, 2*d + 5*t = -3*d + q. Is d a multiple of 10?
True
Let i(l) = l. Let q be i(3). Let w be 2 - (q - -1 - 2). Suppose w = -3*j - 3*z + 120, -2*j + j = -5*z - 22. Is 17 a factor of j?
False
Let o = -3430 + 6608. Does 35 divide o?
False
Let k = 24291 - 12555. Is 72 a factor of k?
True
Let l be ((-2)/(-3))/((-3)/(-18)). Suppose -102 = -4*q + 3*d + 216, -d + 164 = 2*q. Suppose -5 = m, -y + 4*m + q = l. Is y a multiple of 9?
False
Let n(x) = x**2 + x + 2. Let j be n(-1). Let s be j/(8/410) - 9/6. Suppose 3*q - 1 = s. Is q a multiple of 15?
False
Suppose 3*y - 5 - 40 = 0. Suppose 0 = -y*o + 17*o - 10. Suppose z - 4*z - o*x = -380, -5*x - 160 = -z. Is 27 a factor of z?
True
Let p(d) = -549*d - 6782. Does 146 divide p(-40)?
False
Let x = 2238 + 450. Is x a multiple of 16?
True
Suppose 15*c + 133920 = 23*c. Suppose -14*v = 16*v - c. Does 9 divide v?
True
Let x(y) = -y**3 - 2*y**2 + 11*y + 2. Let g be x(-4). Let j(v) = -3*v - 27. Let a be j(g). Suppose 25 = s + 3*z, -7*s + a*z + 71 = -2*s. Is s a multiple of 16?
True
Suppose -39*q + 43*q = -42291 + 177459. Does 64 divide q?
True
Let o = -5875 - -12943. Does 19 divide o?
True
Let u = -3583 - -8500. Is u a multiple of 149?
True
Does 11 divide 24/4 + (9243/27)/(-13)*-651?
True
Suppose -7*n + 3*n - 2*w = 2428, 5*n = w - 3035. Let o = n + 1102. Is o a multiple of 11?
True
Suppose -2*l = 5*x - 35 + 15, -5*x - 4*l + 30 = 0. Suppose -x*c = 3*b - 296, 5*b + 3*c = 4*c + 489. Is b a multiple of 7?
True
Let o be -18 + (2 + 0 - -1). Does 10 divide 6*((-112)/60)/(3/o)?
False
Let g be ((-70)/21)/((-4)/1158). Suppose 4*a - 3*b = 1370, g + 765 = 5*a + 5*b. Is 112 a factor of a?
False
Suppose f = -13 + 17. Let h be (-1 - f) + 10/5. Is 26/5 + h/15 a multiple of 5?
True
Suppose 278 = 3*b + 2*l, 5*b - 274 - 185 = l. Suppose 0 = 83*x - b*x + 3600. Is x a multiple of 8?
True
Is 22330/2*(670/50 - 13) a multiple of 7?
True
Let g = -10477 + 21625. Is 108 a factor of g?
False
Suppose -5*l + 170 = -w, 0*w = -2*l + 5*w + 91. Suppose -30*b = -l*b + 9. Suppose b*u - 40 = 38. Is u a multiple of 13?
True
Let y(i) = 5*i - 20. Let o = 95 - 91. Suppose -a + o*a = 18. Is y(a) a multiple of 2?
True
Suppose 0 = -3*v - 3*w - 0*w - 6, -w + 16 = -2*v. Let k be v/(-4) + 12/(-8). Suppose 28 = u + 2*d, k = -3*u + 8*u - 3*d - 75. Is u a multiple of 9?
True
Let f = 139 + -138. Does 22 divide f - -1 - 35360/(-85)?
True
Let b = -9 + 14. Let q = 1394 - 1166. Suppose b*y + y = q. Does 19 divide y?
True
Suppose -5*t - 1755 = 4*t. Let h = t - -306. Suppose 0 = -7*c + 15 + h. Is 6 a factor of c?
True
Let c = -308 + 305. Is (119/(-4) + -10)/(c/8) a multiple of 10?
False
Is (-569190)/(-27) + (-220)/198 a multiple of 17?
True
Let b = 42 - -5. Let j = b - 46. Let c(i) = 6*i + 6. Is c(j) a multiple of 6?
True
Is ((-64)/80)/((-6)/51*1/170) a multiple of 19?
False
Suppose -4*w = 3534 - 10798. Suppose w = 21*x - 1649. Is x a multiple of 15?
True
Suppose 0 = -72*i + 65*i - 56. Is 31 a factor of ((-6443)/17 + 7)/(6/i)?
True
Suppose 4 = 4*k - i - i, 2*i = 5*k - 4. Suppose k = -4*t - 20, 0 = 2*a - 5*t - 0*t + 197. Let u = -34 - a. Is 11 a factor of u?
True
Suppose 23 = 9*n - 4. Suppose -n*k = -171 + 9. Does 47 divide k?
False
Suppose -2*m - 3*s + 2 = -9, -m + 1 = -3*s. Let k be (m + -1 - 0)*8/6. Suppose -v = 2*r - 61, k*r = 3*v - 0*v + 97. Does 10 divide r?
False
Does 21 divide (-10 - -3)*6/(-14) - (-6040 + -5)?
True
Let d(l) = 2*l**2 + 21*l + 6. Let y(w) = -4*w**2 - 42*w - 11. Let i(t) = -5*d(t) - 3*y(t). Let k = 11 - 23. Does 15 divide i(k)?
False
Let o(d) = 2*d**3 + 15*d**2 - 9*d - 8. Let s be o(-8). Suppose s*t = -7*t + 21. Suppose 0 = t*y - 159 - 273. Is 12 a factor of y?
True
Suppose -d + 0*d + i = -3, i + 6 = 2*d. Is (d/12)/((-2)/(-1288)) a multiple of 30?
False
Let t(x) = 4*x - 36. Let c be t(13). Is ((-13)/(-1) - c)/(2/(-48)) a multiple of 6?
True
Suppose -35*w + 620 = -22*w - 8*w. Is w a multiple of 68?
False
Let f(h) = -18*h - 23. Let k be f(4). Let b = k + 104. Is 30 a factor of 117 - ((-2)/3 + (-21)/b)?
True
Suppose -64*i - 9157 = -16*i - 77701. Is i a multiple of 9?
False
Suppose 34*f = 32*f - 4*o + 15946, 0 = 5*f + o - 39856. Is 104 a factor of f?
False
Suppose i + 3*z = -17, 3 + 21 = -4*i - z. Let r(h) = 29*h - 23. Let c(b) = -36*b + 24. Let a(l) = -4*c(l) - 5*r(l). Is 3 a factor of a(i)?
True
Let v(l) = 63*l**3 + 4*l**2 - 3*l. Let w be v(1). Suppose -3*d = n - 0*d - w, -3*d + 229 = 4*n. Is 4 a factor of n?
False
Let z = 1 + 65. Does 12 divide ((-46)/10 - -1)/(z/(-1760))?
True
Let x = -12983 + 28147. Is 114 a factor of x?
False
Suppose -8*n = 5*w - 28749, -2*n + 6*w - 5*w = -7185. Is n a multiple of 47?
False
Suppose 12*j - 172 = -k + 8*j, 5*j = -4*k + 655. Is 26 a factor of 0 - -1331 - k/(-32)?
False
Suppose -3438 = -13*l + 24551. Suppose -571 = -4*j + l. Is j a multiple of 10?
False
Suppose -8095*b - 734454 = -8116*b. Is b a multiple of 29?
True
Let t(q) = -9*q**3 + q**2 - 2*q - 13. Let d(p) = 10*p**3 - p**2 + 2*p + 14. Let x(j) = 6*d(j) + 7*t(j). Is x(-5) a multiple of 14?
False
Let z = -35705 + 49349. Is 78 a factor of z?
False
Let v = -87 - -90. Does 10 divide v/(-6)*(-2 + -132)?
False
Let y = 54 + -595. Is (2 - 1) + y*2/(-2) a multiple of 19?
False
Suppose -s + 5*x = -27, -2*s + 4*s + 3*x = 106. Let a = -59 + s. Is (3/(-12) - 51/a) + 112 a multiple of 20?
False
Let c be (5 + (-52)/8)*2 - 3. Let g(k) = 12*k**2 + 11*k - 6. Does 20 divide g(c)?
True
Let q be 3/(-5) - 2238/(-30). Let g = -44 + 47. Suppose -g*d = -q + 14. Is d a multiple of 20?
True
Let z(s) = 54*s - 723. Is 47 a factor of z(16)?
True
Let c(p) = -p**3 + 8*p**2 + 34*p - 8. Let i be c(11). Suppose 4*j - i*s = 20 + 83, 0 = 3*j - s - 76. Is 5 a factor of j?
True
Suppose -2589 + 315 = -3*x. Is 3 a factor of x?
False
Let x be 0*-2*(-3)/(-6). Suppose -4*l - 3*r - 111 + 330 = 0, x = -5*r + 5. Suppose -6*p + l = -5*p. Does 9 divide p?
True
Let q(h) = -1115*h - 383. Is 27 a factor of q(-6)?
False
Let c(d) be the third derivative of d**8/210 - d**6/360 + d**5/60 + d**4/3 - 9*d**2. Let m(y) be the second derivative of c(y). Is 18 a factor of m(1)?
False
Does 24 divide (-2651 - -2)*26/(-39)?
False
Let a(o) = -227*o - 3872. Is 7 a factor of a(-39)?
False
Suppose 0 = 2*f + 2*l + 20, -2*f = 2*f - 2*l + 52. Let x be ((-14)/(-21))/((-1)/f - 0). Suppose -3*c + 98 = x. Is c a multiple of 10?
True
Let j = 7 - 2. Suppose j = -5*n - m + 34, -1 = -n + m. Suppose 5*r - n*c = 850, 0*c - 850 = -5*r - c. Is r a multiple of 28?
False
Suppose 32*v = 41*v - 27. Suppose 2*b + 343 + 141 = 2*f, -2*f - v*b = -459. Is 13 a factor of f?
False
Let r be 284/12*(65 - 2). Suppose -5*i + r = -354. Suppose 3*a + 51 - i = 0. Is a a multiple of 14?
False
Suppose 36*d - 41*d + 28408 = 4*h, -6 = 2*h. Is 203 a factor of d?
True
Supp