multiple of 11?
True
Let n(h) = 234*h - 44. Let b be 0 + (-37)/(-7) - (-78)/(-273). Is n(b) a multiple of 111?
False
Is (17143/(-21) - 5)/((-3)/9) a multiple of 4?
True
Suppose -4*m = 4*b + 521 - 6353, -4*b = -4*m + 5840. Does 12 divide m?
False
Let h = 865 - -402. Suppose -h = -7*z + 2037. Does 8 divide z?
True
Let i be (-9 - -4 - 735 - 2) + 1. Let y = -251 - i. Is 19 a factor of y?
False
Let d(a) = -a**2 - 4*a + 3. Let v be d(-5). Let k(o) = -4*o + 3. Let i be k(v). Suppose 0*b + i*b = 198. Is 18 a factor of b?
True
Suppose -5*m = -20, -3*m - 4644 = -2*i - i. Suppose -1983 = -7*x + i. Suppose -5*l + x = -5*p, 109 = -l + 2*l + 3*p. Does 20 divide l?
False
Suppose 29 = 7*q - 62. Suppose -3*w + 16*w + q = 0. Is w*(22/(-6) - -3)*36 a multiple of 3?
True
Is (-2 - (-1 + -76))/(222/9176) a multiple of 15?
False
Suppose -s + n = -152, 64*s = 69*s - 4*n - 762. Let g = 739 - s. Is g a multiple of 13?
True
Suppose 0 = 5*l - 3*l. Let k(f) = 3*f + 2. Let s be k(l). Suppose 57 = -s*o + 5*o. Does 8 divide o?
False
Suppose 240138 = -125*c + 2118006 + 267632. Is 28 a factor of c?
True
Let c(h) = 3*h**2 + 4*h - 31. Let l = 332 - 326. Is c(l) a multiple of 4?
False
Is ((-157)/(-10) + (-3)/(-2))/(121/48400) a multiple of 32?
True
Suppose 2*b + 0*b - 4*i = 532, 4*i = -5*b + 1330. Suppose 5*p = b + 114. Let l = 153 - p. Is l a multiple of 13?
False
Suppose -3*f = 3 - 9. Suppose 2*c - c - 4*l = f, -5*c - 9 = -l. Is 3 a factor of 34*c/(-5)*(-45)/(-36)?
False
Let w = -36 - -63. Let n be (2/4)/((-13)/26) - w. Is 3 a factor of (-9)/12 + (-469)/n?
False
Let t be 10/(-70) + (-897)/(-7). Suppose -t - 1508 = -2*s. Does 31 divide s?
False
Does 15 divide (-420)/35 + (-11250)/(-15)?
False
Suppose -4*t - 2 - 18 = 3*z, 5*t = 5*z + 10. Does 18 divide (-3)/t + 6885/18?
False
Does 4 divide (-11350 - -192)*4/6*6/(-8)?
False
Let v(n) = -287*n**3 + n**2 + 4*n + 3. Let l be v(-1). Suppose 6*q = l + 217. Is 12 a factor of q?
True
Is ((-28655)/(-33) + -7)*(-15)/(-2) a multiple of 20?
True
Suppose -o + 5*k = 2*o + 320, 0 = o - 3*k + 108. Let u = 327 - o. Does 14 divide (24/9)/(3/u*4)?
False
Suppose -95*t + 236646 + 222734 = -791770. Is t a multiple of 60?
False
Let o = 255 - 252. Suppose 3*b + 5*x = o*x + 2884, -5*x = b - 944. Is 12 a factor of b?
False
Let y(j) = 29*j**2 + 5. Let w be y(-2). Let f = 440 + w. Does 51 divide f?
True
Let v(g) = -11 - 2*g - 9*g**2 + 20*g**2 + 3*g + 6*g**2. Is 13 a factor of v(4)?
False
Let z(p) = 8337*p - 1507. Does 122 divide z(7)?
True
Suppose 0 = -5*o - 5*p + 90, p + 0*p = -5*o + 94. Suppose -3*w - 12 = 0, -2*r + 5*w + o = -3*r. Suppose -x - 6 = -r, y - 3*x - 30 = 0. Is y a multiple of 2?
False
Suppose 0 = -h + 5, -5*m + 77 = -3*m - h. Suppose 0 = -3*x - q + 73 + m, 4*x - 171 = 5*q. Is x a multiple of 4?
False
Let g(l) = l**3 + 39*l**2 - 78*l + 54. Does 10 divide g(-36)?
True
Let q = -454 + 1336. Let c = q - 486. Is 7 a factor of c?
False
Suppose 11 = 2*t - 3*v - 1, -v = -5*t + 30. Let w(z) = -84 + 0*z + 7*z + 74 - 2*z. Is w(t) a multiple of 10?
True
Suppose 9687 = 58*x - 2609. Is 2 a factor of x?
True
Is 30 a factor of (100 - 97) + 2*1093?
False
Suppose -2*j + 4*d = -1873 - 12759, -2*j - 4*d + 14624 = 0. Is 73 a factor of (j/115)/(4/10)?
False
Suppose 0 = 2*o + r - 10, -4*o - 5*r = -3*o - 14. Suppose -g - 13 = -o. Is (8/3)/(3/g + 1) a multiple of 4?
True
Suppose -1322 = -10*m + 758. Let l be ((-6)/(-4))/(12/m). Let d = l + 189. Does 43 divide d?
True
Suppose -3*c + 164 = -5*o, -3*o + 140 = 4*c - 98. Suppose 0 = -52*d + c*d - 3528. Does 14 divide d?
True
Suppose -2*z = 5*j - 19755, -10564 - 28937 = -4*z - j. Is z a multiple of 8?
False
Is (-16)/(-8 + 10) - ((-2 - 2) + -2018) even?
True
Let d be ((-2)/4)/(3/12) + 217. Let n = d - 20. Suppose 0 = -3*i + 45 + n. Does 10 divide i?
True
Let t be 16/(-72) - 4/(108/1533). Let w be (1 - 2)*(-292)/8*2. Let s = w + t. Does 4 divide s?
True
Let y = 6400 + 64. Is 64 a factor of y?
True
Suppose 2*y - f + 13 = 0, -2*f - 5 = 1. Does 34 divide ((-38)/y)/(17/1972)?
False
Suppose 7*g - 4*g + 52 = 5*t, 4*t = -4*g + 48. Suppose -9749 - 1053 = -t*r. Suppose 8*d - 1034 = r. Is d a multiple of 18?
True
Let u(b) = 168*b**2 + 496*b - 3424. Is 120 a factor of u(7)?
True
Let q(d) = -21*d**2 + 19*d + 28. Let o(y) = 21*y**2 - 18*y - 29. Let z(v) = 3*o(v) + 2*q(v). Is z(-2) a multiple of 2?
False
Let v(d) = -1549*d + 9991. Is 11 a factor of v(4)?
True
Let n(y) = y**3 + 5*y**2 - 13*y + 10. Let s be n(-7). Suppose -5*z + s*h + 682 + 444 = 0, -z + h + 226 = 0. Suppose 13*j = 15*j - z. Does 28 divide j?
True
Let b(s) = -s + 3. Let w be b(-2). Suppose w = 2*l + 29. Is 19/3 - ((-28)/l + -2) a multiple of 3?
True
Suppose 0 = -28*l + 17*l. Suppose -4*p = -l*p - 528. Does 66 divide p?
True
Let z = 0 - 0. Suppose 0 = -37*j + 58*j - 357. Let s = j + z. Does 14 divide s?
False
Let l(f) = 2*f**3 + 13*f**2 + 13*f - 6. Let q be l(-5). Let y be (q - (-50)/(-15)) + 7/3. Suppose -47 + 11 = -y*x. Is 12 a factor of x?
True
Suppose 0 = -9*m + 1699 - 34. Suppose 3*p - 46 = -3*t - 178, 4*p + m = 5*t. Let g = 66 + p. Is 3 a factor of g?
True
Let f be (-4)/(-8) - (-87)/2. Let k(c) = -c**2 + 13*c + 14. Let i be k(10). Suppose 0*b = 2*b - z - f, i = 2*b + 5*z. Does 4 divide b?
False
Let o = 25756 + -25056. Is 7 a factor of o?
True
Let a be (-70)/(-4) - 95/(-38). Does 7 divide 28/(3 + a/(-7))?
True
Let v(p) = 28*p**2 + 3341*p - 27. Is 13 a factor of v(-120)?
False
Let l(t) = -18 - 4*t**2 + 22 + 5*t**2. Let r(q) = q**3 + 15*q**2 - q - 7. Let c be r(-15). Is 11 a factor of l(c)?
False
Let d = -40 - -62. Let v be 165/d*(-4)/(-6). Is 13 a factor of 3/9*(8 - v) + 63?
False
Let b be -2 + (1 - 3) - -80. Let q = b + -49. Suppose 0 = -23*h + q*h - 520. Is h a multiple of 26?
True
Let s be (-29088)/(-14) - 10/(-35). Suppose -16*a + 898 = -s. Is a a multiple of 4?
False
Let t(l) = -l**3 - 22*l**2 - 39*l + 14. Suppose 2*v + 3*v + 94 = 3*g, -4*v = -5*g + 70. Let k be t(v). Is 38 a factor of k/4*1212/(-9)?
False
Suppose 0 = 4*a - 3*n + 3478, -5*a = -0*a + 4*n + 4363. Let r = 1306 + a. Let q = r + -264. Is 12 a factor of q?
False
Let g be (-4)/(36/(-23175)) - -8. Suppose 0 = -8*l + 1353 + g. Is l a multiple of 82?
True
Suppose 3*y + 76 = 100. Suppose -4*k + y = -0*k, 4*a - 146 = -5*k. Does 10 divide a?
False
Let f = 202 + -306. Let k = 124 + f. Is 3 a factor of k?
False
Let k = 4638 - 3124. Is 5 a factor of k?
False
Suppose p - k - 29 = -2*p, -k + 19 = 3*p. Suppose -390 = -21*o + p*o. Is 15 a factor of o?
True
Does 59 divide ((-1)/4 + 659386/(-312))/((-4)/12)?
False
Suppose -s + 19983 = 2*l, -8*l = 2*s - 10*l - 40002. Is 40 a factor of s?
False
Let n(c) be the third derivative of -7/6*c**3 - 7/60*c**5 + 0 + 19*c**2 - 1/120*c**6 - 7/24*c**4 + 0*c. Does 12 divide n(-7)?
False
Let a(t) = 99*t + 2160. Is 27 a factor of a(0)?
True
Let j = -57 - -111. Suppose -k = j - 12. Is (36/(-21) + 0)*k/12 a multiple of 6?
True
Is 102 a factor of (-19068)/(-5)*(-170)/(-51)?
False
Let r = 26 + -20. Suppose 2*a + 304 = -r*a. Let o = a + 104. Does 11 divide o?
True
Let k be 7/2 + 6/(-12)*-1. Suppose 3*q - 5*q = 4, -k*y = 2*q + 4. Suppose 0 = 5*a + 3*l - 108, 5*l = -y*a + 4*a - 116. Is a a multiple of 6?
True
Let l(x) be the second derivative of -88*x**3/3 - 22*x**2 - 2*x - 7. Does 55 divide l(-4)?
True
Suppose 0 = -12*s + 17*s + 50. Let k(n) = -59*n - 11. Is 8 a factor of k(s)?
False
Let h = -19 - -16. Let w = -24 + h. Let c = 61 + w. Does 15 divide c?
False
Is 7 a factor of 4277*-8*5/(-40)?
True
Let y = 77237 + -47367. Does 58 divide y?
True
Let t(w) = 117*w**3 + w - 1. Suppose -4*a + 5*a - 1 = 0. Suppose 4*n + 5*p - 5 = -n, n = -4*p + a. Is 39 a factor of t(n)?
True
Suppose 0 = 5*z + 123 - 478. Suppose 731 = 4*x + z. Is x a multiple of 15?
True
Let r = -1628 + 2087. Is 13 a factor of r?
False
Is 3 a factor of ((-7471)/(-217))/(2385/595 - 4)?
False
Let z = 14 + 4. Suppose 100*y + 55 = 29 - 174. Let l = y + z. Is 9 a factor of l?
False
Let a = 18856 + -10349. Is a a multiple of 47?
True
Is (-14028)/18*(24/16 - 6) a multiple of 4?
False
Suppose 0 = 6*r - 79 - 29. Does 29 divide (-5252)/(-117) - (-2)/r?
False
Suppose 3*x - 7*x = -16. Suppose -4 = -x*z + 28. Suppose -g + 9 = -z. Does 3 divide g?
False
Let r(w) = 4*w**3 + 6*w**2 + 6*w - 4. Let m(a) = -a**3 - a**2 - a. Let q(l) = -5*m(l) - r(l).