(-175)/875?
True
Suppose 0 = -2*x + 4*a + 734, -3*x = -20*a + 16*a - 1111. Let i = 455 - x. Is i a multiple of 12?
False
Suppose 13788 + 17583 = 40*t - 16149. Is t a multiple of 4?
True
Let y(t) = 3*t - 15. Let w = -58 + 83. Is 10 a factor of y(w)?
True
Let d(m) = -m**3 + 44*m**2 - 364*m + 19. Is 65 a factor of d(21)?
False
Let o(i) = -3*i**2 + 2*i**2 + 85*i + 0*i**2 + 17 - 79*i. Let m be o(8). Is 9 a factor of m + -3 + 0/(-1) + 11?
True
Let r = -1141 + 1504. Is r a multiple of 6?
False
Suppose 115 = 5*v - 160. Let o = v - 51. Suppose 6*j - 3*j - 36 = -r, 0 = 2*r + o*j - 72. Is r a multiple of 7?
False
Let p(o) = -o**3 + 36*o**2 + 4*o + 48. Is 9 a factor of p(36)?
False
Let m be (17 - 16 - 1/(-1)) + -2. Suppose -4*b + 298 = 2*w - 0*w, -b - 2*w + 82 = m. Is b a multiple of 13?
False
Suppose 0 = 10*i + 26*i - 756. Is (12 + 0)*(i - (-110)/(-11)) a multiple of 3?
True
Let n(t) = -t**2 - 59*t - 304. Is 2 a factor of n(-49)?
True
Let o be (-3)/((-9)/169) - (-2)/(-6). Suppose -4*s = 4*s - o. Is s a multiple of 3?
False
Let m(w) = 3*w + 59. Let s be m(-19). Suppose 3*f + f - s*l = 728, -3*l + 12 = 0. Does 17 divide f?
False
Let l(c) = -13*c + 62. Let a be l(-21). Suppose 0 = 4*w - 12, -4*t - a = 4*w - 1419. Let q = t - 174. Does 12 divide q?
False
Suppose -9 + 9 = 3*l. Suppose -196*c + 199*c + 84 = l. Let h = c - -49. Is h a multiple of 3?
True
Let o(j) = j**3 + 14*j**2 + 14*j + 20. Let q be o(-13). Suppose 5*b + 3*k - 4102 = 0, -11*b + 4*k + 3288 = -q*b. Is 22 a factor of b?
False
Suppose 3317 = -17*q + 5718 + 10468. Is q a multiple of 66?
False
Let w(y) = 161*y + 1736. Is 12 a factor of w(27)?
False
Is 1 + 15/(-30) + 742/4 a multiple of 12?
False
Let c be (0 + -1)*(4 - (-5 + 8)). Let k be (4/(-8))/(c/1158). Suppose 2*m - k = -m. Does 19 divide m?
False
Let h = 7770 - 6959. Does 45 divide h?
False
Suppose c + 5 = 3, 5*c - 110 = 4*k. Let o = k - -96. Is 33 a factor of o?
True
Let x = 85990 + -42490. Is 60 a factor of x?
True
Let w = -3487 - -9199. Is 17 a factor of w?
True
Let r be 24*((1 - -29) + 0). Suppose -r = -5*z - 2*q, -4*q = -5*q. Suppose 0 = 5*x - 3*x - z. Is x a multiple of 16?
False
Let y(f) = 7*f - 12. Let p(d) = -d**2 - 15*d + 24. Suppose -n - 3 = 3. Let t(v) = n*p(v) - 14*y(v). Is t(6) a multiple of 35?
False
Let f(h) = 1220*h**3 - 3 - 2*h + 4*h + 1534*h**3 + h**2. Let y be f(1). Suppose 10*z = z + y. Is z a multiple of 37?
False
Is 25 a factor of 104584/102*(9 + -3)?
False
Let m be -3 - (1 - 90/2). Let l be 0*4/(-12) + m. Suppose l*i = 42*i - 67. Does 25 divide i?
False
Let b = 175110 - 108853. Is b a multiple of 17?
False
Is (2 + (-530)/5)/(12/(-318)) a multiple of 51?
False
Suppose -895 = 83*x - 84*x. Let u = -466 + x. Is 51 a factor of u?
False
Let i be (-3 - 0)*(-40)/60 + 8. Suppose 0 = i*s - 1298 - 32. Is 18 a factor of s?
False
Suppose 5*u = 2*a + 6, 0 = -a + 3*u - 2 - 2. Suppose -a*b + 190 = -5*x + 1472, 3*x - 773 = 5*b. Let q = x + -112. Does 40 divide q?
False
Let y(q) = -q**2 + 248*q + 1425. Does 205 divide y(133)?
False
Suppose 0 = -4*i + 4*t - 105 - 255, -2*i + 4*t = 172. Let n = -102 - i. Does 15 divide (-6)/n*-86*(-38)/57?
False
Let s(b) = -83*b - 281. Let x be s(-3). Let k be (-918)/(-8) - 3/(-12). Let v = x + k. Does 22 divide v?
False
Let p(v) = 55*v**3 - 4*v**2 - 6*v. Let i be p(-3). Let h = -159 - i. Is 42 a factor of h?
True
Let l be (-1455)/6 + (-5)/(-2). Let a = l + 475. Is a a multiple of 7?
False
Let g be 120/48*(-36)/(-10). Let t be 105/(-20)*-4*g. Suppose 5*d - 5*y = -4*y + 192, 5*d - t = 2*y. Is 24 a factor of d?
False
Suppose p - 4*a - 31 = -2*p, -p - a = -1. Suppose -p*j = 5*w - 330, -j + 5*w = 16 - 70. Is 3 a factor of j?
False
Suppose 37*m - 239694 = 11*m. Is 6 a factor of (-12)/96 + m/24?
True
Does 68 divide -2620*77/(-22) - 12?
False
Let l(r) = 16*r - 18. Let f = 536 - 532. Is 16 a factor of l(f)?
False
Does 14 divide ((-176)/(-28))/(((-34)/2723)/(-17))?
False
Let v be 4 - (-1)/((-1)/638). Let b = v - -998. Suppose -5*f = -b - 46. Is f a multiple of 20?
False
Let d(z) = z**2 - 21*z - 3. Let m be d(22). Let f = -64 + m. Does 4 divide 16/(-24)*f/2?
False
Does 38 divide (-6)/(-8) + 9573/4?
True
Let j = 582 - 1203. Let c = j + 685. Is 42 a factor of c?
False
Let s = 236 + -184. Suppose 0 = 61*y - s*y - 3906. Does 31 divide y?
True
Let l(r) = 12*r - 3. Let g be l(-6). Let a be -5 + 1 - (53 + -181). Let j = g + a. Does 7 divide j?
True
Let w = 38343 - 21948. Is 15 a factor of w?
True
Suppose -127 = 5*y - 3*u + 125, 5*y + 3*u + 258 = 0. Let r = 53 + y. Suppose -24 = -2*s + r*k, -4*s + 0*k - k = -48. Is 3 a factor of s?
True
Suppose -o = -2*x, -2 + 5 = -3*x. Let i(l) = l**3 + l**2 - l + 2. Let h be i(o). Is 6 a factor of (h - 2)/((-7)/140)?
False
Let w = 21 + -15. Suppose -w*k + 812 = 8*k. Let p = k + 75. Does 36 divide p?
False
Does 16 divide 89697 + 4/14*(-217)/62?
True
Let v = -32 + 55. Suppose -k + 3*q = 17, k + v = -5*q + 2*q. Is (-10)/k - (-19)/2 a multiple of 4?
False
Suppose 12*g + 10 = 14*g. Suppose 3*p + 22 = 5*r, 10 = -4*r - g*p - 2. Suppose -r*i = 2*y - 56, -y + 0*i + 8 = -4*i. Does 9 divide y?
False
Is 49 a factor of (-15)/(2340/(-26)) - (2 - (-29705)/(-6))?
True
Let a(h) = 2535*h**2 - 143*h + 428. Is a(3) a multiple of 8?
False
Suppose 5*u - 3*s = 12133 + 7531, 4*s + 12 = 0. Is 40 a factor of u?
False
Suppose 9*m + 38683 - 112483 = 0. Does 12 divide m?
False
Let k be (4 - 3)*(80 - 6). Suppose -d + 68 = -i, d + i = k - 2. Does 7 divide d?
True
Let j be ((-51)/(-4))/((-33)/4 + 9). Does 17 divide 917/3 + j/51?
True
Let q(n) = 2*n**2 - 96*n - 4370. Does 9 divide q(128)?
True
Let h(w) = -w**3 + 2*w**2 + 5*w - 4. Let k be h(3). Suppose 0 = 3*x - 5*y - 919, -k*x + 309 = -x + y. Does 19 divide x?
False
Let p(b) be the first derivative of b**3/3 - 7*b**2/2 - 12*b + 2. Let s = 757 - 746. Is 8 a factor of p(s)?
True
Suppose s = -7 + 10. Suppose -m + 363 = s*z, -4*z + 7*z - 3 = 0. Is 36 a factor of m?
True
Let w be (-14)/42 + 38/6. Let h(y) = y + 17. Let m be h(w). Suppose -m*k - 120 = -28*k. Does 12 divide k?
True
Suppose u - 80808 = -4*s, u - 9477 = -s + 10725. Is s a multiple of 91?
True
Let y be (-82)/(13/(390/(-12))). Let r = y - -233. Is 13 a factor of r?
False
Let y(o) = -4*o - 5. Suppose -5*d - 4*n + 26 = -7*d, 0 = -2*d - n - 6. Let c be y(d). Let i(t) = -t**3 + 14*t**2 + 24*t. Is i(c) a multiple of 8?
False
Suppose 1059*o - 1054*o = 16770. Is o a multiple of 26?
True
Suppose 37 = 11*c + 4. Suppose 4*r - 5*v = 0, c*r - v - 17 = -6. Suppose -3*u - 2*f + 355 = 0, -2*u + r*f + 65 + 178 = 0. Is 17 a factor of u?
True
Suppose 24*h - 386707 = 483053. Does 60 divide h?
True
Suppose -x - 5*z = -185, 582 = 3*x + 5*z - 13. Suppose 3*m - x - 17 = 0. Suppose -4*i = -38 - m. Is i a multiple of 7?
True
Suppose 2*p = 2*n - 56, 0 = 2*n - 4*n - 4*p + 68. Suppose 9 = -7*s + n. Suppose 5*z = t - s, -2*t + z = -29 - 22. Is t a multiple of 15?
False
Let d(y) = -6*y - 16. Let q be d(-4). Let x(a) = -a**3 + 8*a**2 + 6*a + 8. Let v be x(q). Suppose 0*k - v = -k. Is k a multiple of 28?
True
Is (1*32 - 2)*(-48 - -162) a multiple of 180?
True
Is (-166 + -815)/(2/8*(-4)/3) a multiple of 109?
True
Let k = -3602 - -4275. Is k a multiple of 4?
False
Let x be (-2 + 3 + -2 + 3)*-11. Does 11 divide 3*x*(-15)/18?
True
Let y = 1058 + -1060. Let s = 0 + 4. Is -3 + 1 - (-113 - (y + s)) a multiple of 6?
False
Let h = -90 + 95. Is ((-156)/h)/((-2)/5) a multiple of 21?
False
Let r = 50 - 54. Is 3 a factor of r/4 - (-27 + -3 + 1)?
False
Suppose -g = 2*l - 18, -4*g + 55 = g + 3*l. Suppose -g*a + 11*a - 816 = 0. Is a a multiple of 77?
False
Suppose -5*w + 13 = 4*l - 3, l + 21 = 5*w. Suppose 0 = 2*o - 2*j - 616, -w*o - 1256 = -8*o - 2*j. Does 5 divide o?
False
Suppose -4*z = 21*o - 22*o + 542, -4*o + 2096 = -4*z. Does 21 divide o?
False
Let t = 287 - 29. Let q = -192 + t. Is q a multiple of 65?
False
Let o(q) = -4*q**2 + 14*q + 20. Let i be o(11). Let a = 447 + i. Is 17 a factor of a?
False
Let z be (-363)/(-33) - (-1)/1. Suppose z = v - 66. Is 6 a factor of v?
True
Suppose 54 = -v - r + 388, v = 5*r + 346. Suppose -10*h + 8*h = -v. Suppose 3*b - 4*x = b + h, 236 = 3*b + 2*x. Is b a multiple of 8?
True
Let x be (0 + (-12)/15)/((-7)/35). Is (-3)/((-6)/x) - (58 - 61) a multiple of 3?
False
Let j = 1096 + -619. Let k = j - 191. Is k a multiple 