 of 30?
True
Suppose 17*x - 23*x = -18. Let y = -1 + x. Let l(c) = 94*c + 6. Is l(y) a multiple of 19?
False
Let f(s) = -2*s**2 - 31*s + 17. Let w be f(-15). Let n be 34/153 - w/(-18). Suppose -2*b + 0*b + 3*d = -335, -n*b = 2*d - 310. Does 40 divide b?
True
Let v be (-334)/(-7) - 20/(-70). Let a = v + -45. Let d = 12 - a. Is 2 a factor of d?
False
Suppose 6*v - 2*b + 10898 = 9*v, -5*v = -4*b - 18134. Does 30 divide v?
True
Is 14 a factor of 3/21 + (-3035307)/(-329)?
True
Let a be 5 + ((-26)/5)/((-10)/1325). Let q = a + -495. Does 4 divide q?
False
Let v = -377 + 18. Let m = 548 + v. Does 9 divide m?
True
Let b(q) = 19*q - 14. Let u be b(1). Suppose 0 = -4*n + u*h + 17 + 50, -5*n = 2*h - 59. Does 2 divide n?
False
Suppose 28 = 5*u - w, -4*w + 15 = 3*u - 11. Does 29 divide (-3788)/(-6) + u + (-8)/(-12)?
True
Suppose -9*m = -4044 - 2769. Let f = m + -521. Does 19 divide f?
False
Let u be (-4)/(-10) - 26/(-10). Suppose p = 4*p - 6. Suppose 2*y - 2*i = 6*y - 312, -p*i - 227 = -u*y. Does 11 divide y?
True
Is 3 a factor of (123 - -15962)*(2 - 24/15)?
False
Suppose 7*y + 3*y = y + 83961. Is 5 a factor of y?
False
Suppose -u + 15806 = 4*p, 13*p - 3955 = 12*p - 2*u. Does 18 divide p?
False
Let r = 7519 - 4896. Is r a multiple of 4?
False
Let v = -4836 + 11334. Is v a multiple of 6?
True
Suppose -8*g = -13*g + 15. Let w(x) = 42*x - 16. Let b be w(g). Does 15 divide (-6)/4*(-1 - 7 - b)?
False
Let d = 3265 + -3008. Is d a multiple of 71?
False
Let v(f) = -63*f + 42. Let j(h) = -9*h + 6. Let d(a) = 27*j(a) - 4*v(a). Is d(8) a multiple of 11?
True
Suppose -4*c + 9 = 5. Let a(w) = 347*w**2 + 8*w - 9. Is 43 a factor of a(c)?
False
Let o(d) = 14*d**2 + 11*d + 13. Let s be o(-8). Let m = s + 427. Does 12 divide m?
True
Suppose -3*r + 608 = -r. Let l = 1325 + -1306. Suppose -15*z = -l*z + r. Is 7 a factor of z?
False
Let v(j) = 3*j**3 + 17*j**2 + 10*j + 14. Let c be v(-7). Is (0 - 45/6)/(9/c) a multiple of 21?
True
Suppose j - 11 - 8 = 0. Suppose 35*i - j*i - 2800 = 0. Is 28 a factor of i?
False
Let a be (-4 - 44/(-8)) + (-2)/(-4). Let k(p) = 5*p + 1 + 6*p + 83*p**a - 10*p. Is k(-1) a multiple of 5?
False
Let w = 4849 + 4786. Is 47 a factor of w?
True
Let x = 15 - 3. Let n be 3 + x/(-3) + -1. Does 25 divide 127 + (0 - n)/(-1)?
True
Let z = 1036 - 543. Let j = 67 + z. Does 16 divide j?
True
Let t(c) = 161*c + 2. Let v be (3 - (12 - 2) - -4)/(-1). Is t(v) a multiple of 41?
False
Suppose 7*x - 187 = -4*x. Suppose r - 82 = x. Let k = r - 22. Does 7 divide k?
True
Let z(q) = -q**3 + 7*q**2 + 10*q - 36. Let k be z(10). Let m = 368 + k. Is m a multiple of 6?
True
Let f(l) = -528*l + 24. Suppose -8 - 3 = -2*c - 3*x, -2*c - x + 1 = 0. Does 60 divide f(c)?
True
Suppose -6*y + 7428 = 2088. Suppose 0 = a - 2*a - 2*f + 446, -2*a = 2*f - y. Let i = a + -297. Is i a multiple of 21?
True
Let l(a) be the third derivative of a**6/72 - 3*a**5/40 - 37*a**4/24 - 8*a**2. Let m(w) be the second derivative of l(w). Is m(3) even?
False
Suppose 0 = -2*c + 5*s + 620, 0*c = c - 5*s - 320. Suppose 33*p - 43*p + c = 0. Does 2 divide p?
True
Let a be 0 - -3*2/6. Let i(y) = -y**2 - y. Let u(h) = 15*h**2 - 3*h + 3. Let b(o) = a*u(o) + 2*i(o). Does 35 divide b(3)?
True
Let t = -57 + 94. Let f = 35 - t. Does 10 divide (15/(-3))/(f/26)?
False
Is (-21)/9*4*102*(-81)/36 a multiple of 42?
True
Suppose -25 = 3*s + 83. Let a be ((-1782)/s)/(6/(-8)). Does 17 divide 1 + (4 - 3 - a)?
True
Let w(o) = o + 11. Suppose -5*x + 5 = -10, 0 = -y - 2*x - 7. Let h = -3 - y. Is w(h) a multiple of 7?
True
Let w(u) = -u**3 + u**2 - 10*u - 19. Let j be w(-5). Let g = 56 - j. Let y = g - -280. Is y a multiple of 15?
False
Let g = 4439 - 1230. Let m = g + -2076. Does 14 divide m?
False
Suppose -3*o = -8*o + 10. Suppose -o*d + 118 = -288. Let i = 357 - d. Does 15 divide i?
False
Suppose -4*a = -a, 2*f + a = 4558. Suppose 0 = -k - 1913 + f. Is 11 a factor of k?
False
Does 12 divide 99*(2 - (-168)/(-90))*155?
False
Let v(l) = -716*l - 294. Is 14 a factor of v(-7)?
True
Suppose -2844 - 2601 = -11*g. Suppose -i - g = -6*i. Suppose 0 = 2*h - i - 191. Is h a multiple of 29?
True
Is 63 a factor of -7 + 15 + (5 - (-16395)/5)?
False
Let w = -136 + 128. Let b = 99 + w. Is 7 a factor of b?
True
Let s be -6 + -5*(-180)/25. Is 25 a factor of 14235/s + (-1)/(-2)?
True
Let h = 1322 - 2319. Let g = 173 - h. Is 15 a factor of g?
True
Suppose 0*i = -5*j + 2*i + 83, 5*i = j - 12. Suppose -j*u + 1372 = 11*u. Is u even?
False
Let y(a) = -98*a**2 + 11*a + 22. Let v be y(-2). Is (v/63 - -6) + 13376/9 a multiple of 29?
False
Let w = -218 + 131. Let p = 88 + w. Does 14 divide p*74 + -12 + 8?
True
Let o(t) = -8*t + 3*t + 0 + 28*t**2 - 1 + 3*t - 7*t. Does 62 divide o(-5)?
True
Suppose 0 = -529*c + 569*c - 15880. Is c a multiple of 36?
False
Suppose 0 = 4*w + 5*s + 3382, 0 = -s + 1 - 3. Is 14 a factor of 7/((-5 - -1) + w/(-210))?
True
Does 22 divide (234/390)/(1*-1) + (-52253)/(-5)?
True
Let a = 2031 - -3886. Is a a multiple of 23?
False
Let o be -6 + 6*-38 - (2 + 0). Let v = 269 + o. Is v a multiple of 11?
True
Let a(n) = -n**3 + 3*n**2 + 10*n + 5. Let q be a(-7). Suppose 18*l - 13*l - q = 0. Suppose -l = 7*g - 12*g. Is 2 a factor of g?
False
Is (5790 - (-42 + 2)/5) + 2 a multiple of 100?
True
Let j = 14740 - 11652. Is j a multiple of 16?
True
Let w = -11235 + 15239. Is 20 a factor of w?
False
Let f(t) = -6*t - 12 - 30*t**2 - 12 - 18 + 31*t**2. Let b be f(16). Let d = b - 77. Is d a multiple of 6?
False
Let s(i) = -2*i**2 - 36*i + 8. Let l be s(-14). Let n = l - -108. Is 19 a factor of n?
True
Suppose -9*x + 597 = 2*c - 12*x, 3*x = -3*c + 903. Is 3 a factor of c?
True
Let t(n) = -n**2 + 545*n - 4375. Let o be t(8). Suppose 4*q + 61 = -39. Let j = q - o. Is j a multiple of 6?
True
Is -8 + (-42460)/(-25) - 56/(-35) a multiple of 47?
True
Suppose -14*j + 128*j - 173184 = -18*j. Is 41 a factor of j?
True
Suppose r - 6506 = 6*a, -2*a = -3*r - 7*a + 19380. Is r a multiple of 8?
False
Let w = 32 - 32. Suppose -3*n + w*t = 2*t - 6, 5*n - 10 = t. Does 6 divide (0 + n)/(28/126)?
False
Suppose 0*x = -5*v - 4*x + 198306, -5*x - 79296 = -2*v. Is 80 a factor of v?
False
Is 5 a factor of (-72)/612 - (525/(-85) - -4)*2375?
False
Let f be (-5)/(-5)*(-2017)/(-3)*3. Let n = f - 424. Is n a multiple of 59?
True
Suppose -7 = 2*r - 21. Let w be 34/(-4)*(6 + -56). Suppose -z = 2*n - 81, -5*z + 2*n - r*n = -w. Is z a multiple of 24?
False
Let b be (-1)/((4/(-12))/1). Suppose -b*z + 222 = -120. Does 16 divide (4/2)/(4/z)?
False
Suppose -n = -0*s - 2*s, -3*s = -4*n - 15. Does 9 divide 1*-3 - (-95 + n + 8)?
True
Suppose -x + 18 = -3*k, x + 8 = k + 28. Let s be 56/x*(7 - 1). Suppose 2*v - s = 54. Is v a multiple of 8?
False
Let h = 2556 + 319. Does 25 divide h?
True
Suppose 0 = -j + 531 + 399. Suppose -13*t - 2*t + j = 0. Is t a multiple of 14?
False
Let v(q) = -12*q + 28. Let m(u) = 11*u - 26. Let l(r) = 7*m(r) + 6*v(r). Is 5 a factor of l(11)?
False
Suppose q = -9*q + 2*q. Suppose 2*y - 127 - 67 = q. Let i = -72 + y. Does 3 divide i?
False
Let h be (-1636)/(-32) + 2/(-16). Let x = -35 + h. Let j(k) = 6*k - 27. Is j(x) a multiple of 7?
False
Suppose 22*m - 48480 = -3*m + 5*m. Is 101 a factor of m?
True
Let x(k) = -9*k**2 + 23*k - 7. Let f be x(5). Let y = f + 133. Suppose y*b - 48 - 48 = 0. Is 6 a factor of b?
True
Let h(l) = -4*l**2 - 27*l + 128. Let g(y) = -5*y**2 - 29*y + 130. Let d(n) = -5*g(n) + 6*h(n). Is d(15) a multiple of 15?
False
Let d be 22/(-22) + (-1)/1. Is (25/(-5) - -3)*209/d a multiple of 11?
True
Let b(w) be the first derivative of 263*w**3/3 + 3*w**2/2 - 4*w - 36. Is b(2) a multiple of 27?
False
Let m be 8/10 - 460/(-50). Suppose 0 = -2*o + m, 4*p = 2*p + 3*o - 173. Let n = p + 199. Does 20 divide n?
True
Let f be (3 - 2) + (16 - 12). Is 2 + -2 + 1429 + f + 8 a multiple of 14?
True
Let j(d) = 3 + 6 + 129*d - d**2 - 134*d - 2*d**2. Let k be j(-4). Is (2/4*-4)/2 - k even?
True
Is 62 a factor of (390/1040 - (-365213)/8) + -8?
False
Suppose -23497 - 6171 = -4*q. Is q a multiple of 109?
False
Let v = -3150 - -7248. Does 13 divide v?
False
Let n = -85 + 39. Suppose 86*y + 352 = 70*y. Let o = y - n. Is o a multiple of 6?
True
Let j be (6 - 22/3)*-3. Suppose -k + 4*k = 3*m + 513, -3*k - j*m = -520. Is 4 a factor of k?
True
Suppose -t + 9*u - 11*u = 3, -5*t + 