8*a + 10*a + 2382, 2*a = -5*k + 5990. Does 3 divide k?
False
Let m = -8210 + 15380. Let h be m/50 + (-4)/10. Does 12 divide 1*h*(-3 - (-4 - 0))?
False
Let r = 4437 - -1513. Is r a multiple of 204?
False
Suppose -12*i + 10*i - 2 = 0. Let x be (3 - 1)*(-10)/(4 - i). Does 5 divide (-48)/36*(82/x - -1)?
False
Let y = -4 + 4. Suppose -324*r - 15 = -329*r. Suppose 3*s + r - 27 = y. Does 8 divide s?
True
Suppose 4*l - 2755 = 5*o, 3*o - 3490 = 290*l - 295*l. Is l a multiple of 94?
False
Let i be -21 + 21 - 1*-5. Let l = 105 + i. Does 5 divide l?
True
Suppose -s = -4 + 7. Let c(r) = r + 1. Let g be c(s). Is 15 a factor of g + 40 + 1/2*2?
False
Suppose 0*u = -2*u + 32. Suppose 4*b + 14 = 2*b + 2*k, 0 = 3*b + 2*k + u. Is 18 a factor of 4/30 - ((-8990)/75 + b)?
True
Let k(h) = -h**3 + 36*h**2 + 65*h + 380. Is 42 a factor of k(36)?
False
Suppose -17*d = -12*d - 15, 7351 = 2*x - 3*d. Is 8 a factor of x?
True
Let o(r) = 25*r + 20. Suppose -2*z = d - z - 7, d - 17 = -3*z. Does 7 divide o(d)?
True
Let w(o) = o**2 + 28*o + 144. Let r be w(-49). Let p(j) = -j**3 - 6*j**2 - 5*j + 3. Let z be p(-5). Is 15 a factor of r/9 + (-1)/z?
False
Suppose -3 = 3*n, -3*p - n = -4*n - 21. Suppose -p*f + 182 = -118. Suppose h - f = 50. Is h a multiple of 5?
True
Let d(s) = 322*s - 17. Suppose -1 = -3*r + 2*l, -4*l = -5*r + l - 5. Does 73 divide d(r)?
True
Let c be 49/(-14)*2/(-14)*8. Suppose -c*o = -272 + 188. Is o a multiple of 21?
True
Suppose -1113 = -2*d - 3*f, -f - 1261 = -5*d + 1479. Let z = d + -834. Is (z/(-30))/((-2)/(-12)) a multiple of 9?
False
Suppose 0 = -3*p - 5*i + 3 + 29, -p - 3*i = -12. Suppose 0 = -p*w + 2*w - 21. Is 331 + 2/(-6) + w/(-9) a multiple of 43?
False
Let z be (5 + (-108)/20)/((-3)/(-2490)). Let d = z - -486. Is d a multiple of 4?
False
Let i(f) be the second derivative of f**4/6 + f**3/6 - 5*f**2/2 + 37*f. Let d be i(5). Does 2 divide (-3)/(-9) + d/3?
False
Let q(x) = -7*x**3 - 10*x**2 + 12*x + 9. Let a be q(-7). Suppose -a = -3*n - 6*n. Does 17 divide n?
True
Suppose -234 = s - 14*s. Is 23 a factor of 16/6*s/12 + 134?
True
Suppose 0 = -6*g + 140 - 32. Let q be g/8 + 6/(-24). Suppose 2*d - 4 = 0, 6*j = q*j + 5*d + 254. Is j a multiple of 13?
False
Is (4080051/(-187))/(-3) - (80/44 - 2) a multiple of 35?
False
Suppose 204 = -3*c + 5*y, 0 = 5*c + 5*y + 264 + 36. Let p = c + 310. Is 20 a factor of p?
False
Suppose 6*q + 18*q - 113928 = -0*q. Does 261 divide q?
False
Suppose 0 = 244*v - 252*v - 1680. Is 24 a factor of (-30)/v - (-29)/(-7) - -1040?
False
Let m(j) = -j**2 + 525*j + 7 + 3*j**2 - 1056*j + 523*j. Let w(b) = b + 1. Let a be w(8). Does 18 divide m(a)?
False
Let c = -257 + 266. Suppose 3*m - 57 = -2*s, c*s + 5*m + 17 = 11*s. Does 12 divide s?
False
Let d be (3/5)/(12/2220). Suppose 2*o = d + 33. Suppose -l + o = -9. Is l a multiple of 27?
True
Suppose w - 70 = 7. Suppose w*r + 210 = 78*r. Does 6 divide r?
True
Suppose -4*d - 4*j - 52 = 0, -d - 24 = d + 4*j. Let s = d - -6. Is 3 + -2 + 73 + (s - -8) a multiple of 6?
False
Suppose 3*n + 34 = -4*h, -2*h - 1 = 7. Let f be -1 - (n + (3 - 1)). Suppose -4*c = 2*v - f*c - 205, 507 = 5*v - 3*c. Does 17 divide v?
True
Is 4/(-14) + (-4)/34 + 4599312/2856 a multiple of 35?
True
Let r(f) = -290*f + 500. Is 20 a factor of r(-18)?
True
Let y be (-7)/7 - 2586/3. Let s = y + 1501. Is s a multiple of 18?
False
Suppose 3*v + 44 + 64 = -5*n, -2*n = -v + 41. Let j = n + 22. Is 18 a factor of 681/9 + j/3?
False
Let n(f) = 3*f - 12. Suppose 0 = -6*q - q + 168. Suppose 29*l = q*l + 55. Is n(l) a multiple of 3?
True
Suppose 10*q - 19901 = -66 + 20515. Is 91 a factor of q?
False
Suppose 5*n = 5*m - 350, -3*m + 130 = -m - 4*n. Let t = -65 + m. Suppose t*k + 678 = 13*k. Is k a multiple of 11?
False
Does 31 divide 45261/20 - 1/20?
True
Suppose 1580546 = 290*z - 13571703 - 511231. Is z a multiple of 86?
False
Suppose k - 5489 = -2*w + 1459, 5*w = -2*k + 17368. Is 28 a factor of w?
True
Suppose 0 = 4*r - s - 4*s - 12, 0 = -r - s + 3. Suppose -5*j = 5, -r*q + j - 4*j = 51. Is 14 a factor of (-2 + -136)*(q/12)/2?
False
Let l(t) = 18*t**2 + 20*t + 6. Let c be l(-7). Suppose 76 = -12*n + c. Is 28 a factor of n?
True
Let f be 1 - (-4 - 3 - -1). Let r(s) = 5*s**3 - 17*s**2 + 12*s - 12. Is 9 a factor of r(f)?
True
Let o = 33 + 43. Let h = o + -73. Suppose -420 = -4*m - h*m. Is 6 a factor of m?
True
Suppose -211035 = -12*k + 41841. Is k a multiple of 13?
True
Suppose -5 = g - 7. Suppose 4*k = h - 1, g*k + 5 = -3*k. Let j(l) = -31*l + 15. Is 18 a factor of j(h)?
True
Suppose -204232 - 460765 + 75965 = -36*v. Does 101 divide v?
True
Suppose -3*c = 4*q - 314, 3*q + 3*c = 118 + 119. Is ((-110)/77)/(1*(-1)/q) a multiple of 12?
False
Suppose 8*m - 69 = -5. Let x be ((-4)/(-10))/(m/9480). Suppose 3*y - 4*f - 374 = 0, -f + x = 3*y + 95. Is 17 a factor of y?
False
Let y = 46 - 38. Suppose -5*o = -y*o + 66. Suppose 13 + o = 5*z. Is 7 a factor of z?
True
Suppose 75*c - 22 = 64*c. Suppose -c*q = -6*y + 5*y - 341, -q - 5*y + 143 = 0. Is 8 a factor of q?
True
Suppose 0 = 49*p - 89983 - 163249. Does 8 divide p?
True
Let a = 17 - -78. Let m = a + -91. Suppose 6 = -3*d, m*f - 693 = -f - d. Is f a multiple of 12?
False
Suppose -3*w + f + 3 = 0, 4*f = -4*w + 12 - 24. Suppose -16*y + 5362 + 1438 = w. Is y a multiple of 25?
True
Let y(w) = -w**3 - 11*w**2 + 2*w + 11. Let i be y(-6). Let b = i - -457. Is b a multiple of 12?
True
Let s(g) be the third derivative of -g**5/60 - 7*g**4/8 + 9*g**3/2 + 2*g**2. Let f(i) = i**3 - 23*i**2 - 2*i + 34. Let u be f(23). Does 22 divide s(u)?
False
Suppose -45864 = -1701*o + 1694*o. Does 63 divide o?
True
Suppose 3*f - 2*f = -4*l + 109, -3*l - f = -82. Is 48 a factor of (-5 + 632/24)*l?
True
Let y be (-4)/20 + 4636/(-20). Let q = -135 - y. Is 97 a factor of q?
True
Let g = -2165 + 2528. Is g a multiple of 2?
False
Let c(m) = -m**3 + 12*m**2 + 13*m + 22. Suppose 14*f = 154 + 28. Let z be c(f). Let w(t) = 6*t - 42. Is 29 a factor of w(z)?
False
Let c = 323 + -318. Suppose 10*h - 1155 = -4*k + 5*h, c*k + 4*h - 1446 = 0. Is 10 a factor of k?
True
Let t = 95 + -153. Let h = 142 + t. Is h a multiple of 14?
True
Suppose 62*s - 493944 + 85364 = 0. Is s a multiple of 153?
False
Let b(i) = -7*i**2 + 10*i + 5. Let u(a) = -13*a**2 + 18*a + 9. Let c(f) = 11*b(f) - 6*u(f). Let y = -3 + -1. Is 5 a factor of c(y)?
False
Suppose -237*h + 45*h - 1173055 = -11228863. Is 87 a factor of h?
True
Suppose 4*f - 3*m - 2*m - 728 = 0, 5*f - 910 = 2*m. Let t = f + -165. Is t even?
False
Suppose y - 2*y = -252 + 23. Does 6 divide y?
False
Let z = -375 - -354. Does 13 divide 23 + z - (1802/(-1) + -2)?
False
Let h = -20 - -26. Let a = h + -62. Let b = 87 + a. Is b a multiple of 7?
False
Suppose -34*t - 27 = 41. Does 30 divide (10 + -6)/(3 + t) - -1610?
False
Suppose 239*n = -172*n - 120*n + 713133. Does 7 divide n?
False
Is ((-45)/(-10) - 5)/(5*5/(-128150)) a multiple of 10?
False
Let n(m) = -2*m + 3. Let u be n(-12). Let i be 37*((-4)/(-8) + u/(-6)). Let t = i - -313. Is 15 a factor of t?
True
Suppose 2*g = -4*d + 1932, 179*g = 180*g + 5*d - 963. Is 44 a factor of g?
True
Suppose s - 3*x = 27, -s - 4*x = -48 + 42. Let m(w) = 5 - 7 + 27*w - w**2 - 9. Is 31 a factor of m(s)?
False
Let r = -70 + 72. Suppose -1 = -r*u + 9. Does 20 divide 2/1 - 5/(u/(-78))?
True
Let t(u) = 2065*u**2 + 59*u + 64. Does 45 divide t(-1)?
True
Let v = 73524 - 51702. Does 21 divide v?
False
Let k(j) = -j**2 + j - 10. Let r be k(0). Let z(n) = 23*n - 8. Let u(p) = -58*p + 25. Let d(m) = -3*u(m) - 8*z(m). Is 9 a factor of d(r)?
False
Suppose -17531*b = -17535*b. Let g(r) be the first derivative of -r**4/4 + r**2/2 + 18*r + 1. Does 4 divide g(b)?
False
Let m(h) be the second derivative of -h**4/6 - 5*h**3/3 - 5*h**2/2 + 25*h. Let b be m(-4). Suppose 5*p = i + 11 + 3, 3*i - b*p = 6. Is 3 a factor of i?
True
Is 2682*18/216*244/6 a multiple of 19?
False
Let w be 38/95 - 8/(-5). Suppose w*o - 9 = 117. Suppose 7*c - 161 = o. Does 19 divide c?
False
Let z = 88 + 46. Suppose -2*q = -2502 - 890. Suppose -q - z = -15*r. Is 18 a factor of r?
False
Let l(v) = -12*v + 5. Let u be l(4). Let g = 45 + u. Suppose -2*o + 10 = i - 6, 2*i - g*o - 56 = 0. Does 12 divide i?
True
Suppose -51*h - 19*h + 43122 = 842. Does 4 divide h?
True
Suppose 89*h - 95*h + 96 = 0. Suppose 556 = h*b - 164. Doe