1. Let v = -51 - o. Let m = v + -66. Is m a multiple of 30?
True
Let y(t) = 5*t**2 - 291*t - 4229. Is 6 a factor of y(-15)?
False
Let o = -22 - -13. Let n = 9 + o. Suppose 2*a - 40 = -n*a. Is 5 a factor of a?
True
Let v(n) = -4*n + 37. Let u be v(6). Suppose u*b = -7*b + 18260. Is b a multiple of 83?
True
Does 59 divide (-85016)/(-16) - (-28)/(-8)?
True
Let q(r) = r + 28. Let h(w) = -w - 1. Let c(p) = 3*h(p) + q(p). Let k be c(12). Is 3 a factor of 12/k + -6 + 2?
False
Suppose -3*m + 120 = -3*c - 7*m, c + 4*m + 48 = 0. Suppose 0 = -2*w + 4*v + 108, -5*w + 0*w = -4*v - 258. Let p = w + c. Is p even?
True
Let v = 610 - 608. Suppose 0 = v*w - 1343 - 283. Is w a multiple of 33?
False
Let a be 0/(2 + -4 + 8). Suppose a = -148*w + 155*w - 6783. Is 57 a factor of w?
True
Let x = 230 - 69. Let c = x - 67. Suppose 5*s = -c + 159. Is s a multiple of 2?
False
Is 97 a factor of (-6377855)/(-165) + (-1)/(-3)?
False
Let o(t) = 4*t**2 + 11*t - 1. Let d be o(-11). Let r = d + -75. Is r a multiple of 39?
False
Suppose -15*x - 78 = -2*x. Let i(s) = s**3 - 9*s**2 + 8*s - 2. Let t be i(8). Is t/x + (-458)/(-3) a multiple of 32?
False
Let o be 2*(0 + 63/(-2)). Let i = 100 + o. Let l = i + -25. Is l a multiple of 3?
True
Is (-203)/4060 - 57241/(-20) a multiple of 6?
True
Let s = -15 - -37. Let j(d) = d**2 - 8*d + 59. Let t be j(s). Suppose t - 15 = 11*m. Is m a multiple of 6?
False
Suppose -715 = -0*a - 5*a. Suppose -5*c = -5*b - 995, -b + 135 = 2*c - 278. Suppose -a = -z - z - j, 2*j + c = 3*z. Is 14 a factor of z?
True
Let a be 4*(-5 - -4) + 6. Suppose -15 = a*k - 105. Suppose 0*r + k = r. Is r a multiple of 9?
True
Let g(o) = -19*o + 14. Suppose 4*s - 4*a = 136, 0*s = 4*s - 2*a - 128. Let j be ((-54)/10 + 12/s)/1. Is 24 a factor of g(j)?
False
Suppose 0 = -o + 3*g + 9, 2*g + 2 = -o + 1. Suppose -4*a - 425*t + 93 = -430*t, 0 = -t + 3. Suppose -a + 117 = o*j. Is 10 a factor of j?
True
Let n be -2 - 548/4 - 4. Let k = n + -53. Let x = k + 287. Does 13 divide x?
True
Suppose -3*w = -12, 4*h - 7*h + 3*w - 20181 = 0. Is 14 a factor of (3 + (-37)/3)*h/54?
True
Let f be (-48)/42*(-21)/(-6). Is 14 a factor of f/30 + ((-6844)/15)/(-2)?
False
Let m be (-30)/(-12)*(-24)/(-20). Suppose -13*a = -17*a + c + 343, 0 = 4*a - m*c - 333. Is 6 a factor of a?
False
Suppose 3*k = 2*q - 26, -q + k + 12 = 1. Let s = 29 + q. Suppose 4*z - 28 = s. Is z a multiple of 3?
False
Suppose 10*g = 4*g + 18. Let o(r) = 95*r + 12. Is 27 a factor of o(g)?
True
Let i = 200 + -114. Suppose 10*u = -i + 26. Does 12 divide (0 + -24)*9/u*1?
True
Let i(v) = v**2 - 10*v + 12. Suppose -15 = -y + 5*t - 8*t, -4*y - 3*t + 15 = 0. Suppose y*x + 9 = x. Does 2 divide i(x)?
False
Suppose 5*n + 2*w + 10 = 0, -8 = n - w - 6. Let d be 12 - (0 - -2*n/(-4)). Let b(y) = 11*y + 5. Is b(d) a multiple of 18?
True
Suppose 6*m = 25*m + 38. Suppose 5 - 1 = p. Is ((-6)/p - m)/(2/88) a multiple of 14?
False
Suppose s - 4*d = 5 - 2, 6 = 2*s + 2*d. Is 126/(-21)*(-32)/s even?
True
Let r be -117*((-18)/6 - -2). Let x = r + -76. Is 14 a factor of x?
False
Is 141 a factor of 15 - (-19599 + (29 - 14))?
True
Does 109 divide ((-12)/5)/(7 - (-3161998)/(-451710))?
False
Suppose 4*j - i - 383 = -107, 4*i + 334 = 5*j. Let r = 73 - j. Suppose -r*z - 2*b + 84 = 32, 5*z = 2*b + 76. Is z a multiple of 16?
True
Suppose 3*m = 5*g - 105424, -18*m = -g - 14*m + 21095. Is g a multiple of 30?
False
Let z = 10000 + -6765. Is z a multiple of 86?
False
Does 53 divide -3*3/(-81) + 260270/90?
False
Suppose -18*w + 10203 + 10011 = 0. Is w a multiple of 9?
False
Is 8 a factor of 8/36 - (-29977)/9?
False
Suppose -w - 2*a - 80 = 3*w, 0 = w - 3*a + 6. Let h be (-6)/12 - w/4. Suppose h*f = -0*f + 480. Is f a multiple of 30?
True
Let s = -10229 - -24269. Is s a multiple of 2?
True
Suppose -6 = -2*k, 2*f - 4*k + 2 = -3*f. Suppose 5*m - 1661 = -j + 9*m, f*j - 3333 = -3*m. Does 37 divide j?
True
Let r = -7 - 203. Let j = r - -298. Is 27 a factor of j?
False
Is (-9)/63 + 254464/49 a multiple of 41?
False
Is -11 + 9 + 9 - -20241 - -10 a multiple of 4?
False
Let c = 581 - 198. Let t = c - -325. Is t a multiple of 25?
False
Let b(c) = 48*c - 51. Suppose -17*f + 35 = -118. Is b(f) a multiple of 13?
False
Suppose 4*a = a + 5*r + 42, 10 = -2*a - 3*r. Suppose h = -i + 259, -346 = -2*i - 3*h + 171. Suppose a*x - 200 = i. Is x a multiple of 9?
False
Suppose 139920 = 17*q + 25319 - 21399. Is 200 a factor of q?
True
Let v be 8/28 - 183/(-21). Suppose 0 = -9*x + x - 56. Does 50 divide (2 - v)*150/x?
True
Let r be (2 + 456)*1/(8 - 6). Suppose h - 4 = r. Does 24 divide h?
False
Let t(l) = 5*l - 4. Let c be t(4). Let w be 4 - (4 + 0 - -1). Is 7 a factor of ((-75)/(-20) + w)*c?
False
Suppose -16*g = 193 - 4657. Is g/4 + 11/44 even?
True
Suppose -2*n - 4*k = -329 - 219, 2*k - 554 = -2*n. Does 40 divide n?
True
Let m(v) = -v**3 - 7*v**2 - 7*v + 18. Let b be m(-5). Suppose b*w = 247 - 127. Is w a multiple of 8?
True
Let l(i) = i**3 - 3*i**2 - 9*i + 2. Let w be l(5). Let q be w + 104/(-16) - (-19)/(-2). Let h = q + 47. Is h a multiple of 19?
True
Does 35 divide 3868 - -79 - (3 - 5)*15/(-10)?
False
Let g = -81 - -77. Is 354*(4/(-3))/g a multiple of 4?
False
Suppose 9*r = -5 - 22. Let k be 3*2*4/r. Does 9 divide (k/(-3))/((-6)/(-54))?
False
Let j(v) = -v**2 + 52*v - 87. Let m be j(49). Suppose -m*o + 48*o + 6864 = 0. Is o a multiple of 26?
True
Is (-168 - 0)*(-37 - -2)*2 a multiple of 16?
True
Let x be 735 + 1/(2/(-10)). Suppose 7*l - x - 775 = 0. Is l a multiple of 25?
False
Suppose 0 = 4*f - 5*f + 6. Let v be (-10 + 7)/(3/(-105)). Suppose -v = -f*y + 3*y. Is y a multiple of 7?
True
Is 7 a factor of 5/(30/19707) + (-9)/6?
True
Let g(d) = d**3 + 2*d**2 - 17*d + 4. Let p be g(3). Does 16 divide 2*(1 - 62/p)?
True
Suppose -10*u - 16 = -6*u. Does 23 divide (-2)/8 + (u - (-273)/4)?
False
Let h = -15618 - -17749. Is 259 a factor of h?
False
Suppose 15 = -s + 2*q + 116, -3*q = 2*s - 230. Let a = -37 + s. Is a a multiple of 24?
True
Suppose -14*j = -5*j - 36. Let h(s) = j*s - s - 2*s + 18. Does 10 divide h(11)?
False
Suppose -36 = -3*i + 4*i. Let o = i - -33. Does 14 divide (-590)/(-15)*o/(-2)?
False
Suppose -u - p = -614, 9 + 6 = 3*p. Let d = u - 434. Does 25 divide d?
True
Suppose -21*h + 59352 = 11304. Does 16 divide h?
True
Let r(t) = 9892*t - 1693. Is 9 a factor of r(2)?
False
Suppose 0 = 8*h - 4*h + 7*f - 41968, 3*h - 31478 = -5*f. Does 29 divide h?
False
Suppose -3*i = 92 - 29. Let j be -3 - (i/9 + 6/(-9)). Suppose j = 9*c - 7*c - 180. Is c a multiple of 24?
False
Let l be 10/4*66/(-55). Is 5 a factor of 64 - 4/16*4 - l?
False
Let u = 61177 + -43421. Does 23 divide u?
True
Let t(k) = 23*k**2 - 3*k - 5. Suppose -y = 3*y. Suppose y*m - 2*m - 4 = 0. Does 28 divide t(m)?
False
Let a(w) = 4*w**3 - 3*w**2 - 39*w - 88. Is a(17) a multiple of 71?
True
Let l be 1020/24*3592/20. Suppose m + l = 18*m. Is m a multiple of 25?
False
Suppose -2*q - 57106 = -7*q + 2*s, 22820 = 2*q - 4*s. Is 55 a factor of q?
False
Let p be (-1)/(3*(-7)/(-16905)). Let s = 27 - p. Is 32 a factor of s?
True
Suppose 0 = 4*o - 2*w - 14130, -79*o - 2*w = -80*o + 3528. Is o a multiple of 93?
True
Is (0 + -2)*-815 + (2 + 2)/2 a multiple of 24?
True
Suppose 13*m = 174 - 70. Suppose -885 - 267 = -m*x. Is x a multiple of 18?
True
Let n = -45 - -178. Is n/(-19)*39/(-1) a multiple of 44?
False
Suppose 7*c - 101*c - 133269 + 695201 = 0. Is c a multiple of 22?
False
Let v(g) = -189*g + 1977. Is v(-49) a multiple of 6?
True
Let s = 16075 + -5149. Is 16 a factor of s?
False
Suppose 12*m - 28616 - 5428 = 0. Is m a multiple of 51?
False
Let a(c) = 40*c**3 - 2*c**2 - 3*c + 4. Let q be a(1). Does 18 divide 52/q*(1917/6 - -3)?
False
Suppose -33*c + 26*c = -77. Let l = -11 + c. Suppose l = -9*p - p + 710. Is 15 a factor of p?
False
Let p = 56 - 808. Let j = 1392 + p. Does 8 divide j?
True
Suppose -4*k + 38*a = 41*a - 7903, 5*a - 1980 = -k. Is k a multiple of 79?
True
Suppose -4*n + 104 = -a - 0*a, 52 = 2*n - 5*a. Suppose -10836 = -n*l - 17*l. Does 28 divide l?
True
Let n(v) = -149*v + 2609. Does 109 divide n(-65)?
False
Does 29 divide (-8 - (17 + -3364)) + 7/1?
False
Let h be (6/(-8))/((-155)/(-40) + -4). Suppose 3*u + 0*y = -3*y + h, -3*u + 6 = -5*y. Does 12 divide 215*1/u + 2/4?
True
Is (-2868771)/(-341) - 10/(-55) a multiple of 12?
Fal