0, 0*r + 5*r = m + d. Let v = 15 + r. Does 4 divide v?
False
Let c(a) = -2*a**2 - 2*a - 3. Let p be c(-3). Suppose 5*b + 33 = 2*y, -8*y + 3*y + b = -94. Let d = y + p. Is d a multiple of 4?
True
Does 15 divide 1390/(15/((-225)/(-10)))?
True
Suppose -2*t + 236 = -3*o, -3*t + 88 = -3*o - 269. Suppose -t + 13 = -4*i. Is 7 a factor of i?
False
Let y = -37 - -44. Does 6 divide (y/14)/(1/52)?
False
Let l be (-12)/4 - (-5 + -1). Suppose -k = 2*k - 3*s - 177, 0 = -l*k + 2*s + 174. Is 14 a factor of k?
True
Let x(l) = l**2 + 10*l + 7. Let a be x(-10). Suppose j + 6 = -4*v + 13, 0 = -2*v + 3*j + a. Suppose 2*t + v*g = 78, -8 = -5*g + 3*g. Is t a multiple of 13?
False
Let w(k) = -k**3 - 12*k**2 + 3. Let x be w(-12). Suppose -3*t + x = 0, 5*o - 2*t = 2*o + 466. Is o a multiple of 23?
False
Let a = 158 + 46. Does 17 divide a?
True
Let r be 165 + 3/(12/16). Suppose 259 = 4*m - r. Is 40 a factor of (-14 + m)*(-2)/(-3)?
False
Let f = 137 + 73. Let i = -149 + f. Does 33 divide i?
False
Let y(u) = u**3 + u**2 - 9*u + 2. Suppose 3*b + 2*c - 5 = 0, 5*b + 5*c - 1 = 4. Is 11 a factor of y(b)?
True
Let i(h) = -h**2 - 13*h + 2. Let g be i(-13). Suppose 1274 - g = 4*u. Does 14 divide u?
False
Suppose -h + 5*c + 764 = -476, -2*h + 2*c + 2512 = 0. Does 70 divide h?
True
Let d be -3*3/(-27)*-27. Is 39 a factor of 12/d*213/(-2)?
False
Let w(d) = -d**2 + 13*d - 13. Suppose 3*h - 13 = -1. Suppose 11 = 2*o + 3*a - 2, -1 = o + h*a. Does 9 divide w(o)?
True
Let b = 78 + 14. Let d be 2*4*(-13)/2. Let q = d + b. Is 11 a factor of q?
False
Is 27 a factor of 3397 + (-6 - (3 + -20 + 6))?
True
Let y(n) = -n**3 - 13*n**2 - 7*n - 29. Let i be y(-13). Suppose 0 = -56*z + i*z - 54. Is 9 a factor of z?
True
Let w = 347 - 235. Is 16 a factor of w?
True
Let v(w) = -2*w + 3*w - 2*w - 8 + 1. Let q be v(0). Is 1*(-8 - -2)*q a multiple of 14?
True
Suppose -2*w - 5*s = -1747, -14*w - 5*s - 4315 = -19*w. Does 11 divide w?
False
Is ((1225/15)/(-7))/(2/(-156)) a multiple of 65?
True
Suppose 9*z = 27*z - 1134. Is 11 a factor of z?
False
Suppose x - 4*b + 1338 = 0, 3*x - 2*b + 2883 = -1161. Is 11 a factor of (27/(-5) + 1)/(45/x)?
True
Let c(w) = -w**2 - 15*w + 1. Let o be c(-11). Let k = o - 39. Is k a multiple of 2?
True
Suppose 5*j + 10 = 5*o, -3*o + 5*j = -4 - 0. Suppose -o*w - 10 = -19. Let y(s) = 2*s**2 - s - 1. Is 14 a factor of y(w)?
True
Let d(r) = -2*r + 13. Let j be d(5). Suppose 4*w + j*x = -75, 0 = 2*w + x + 3*x + 50. Does 2 divide (1*3)/((-9)/w)?
False
Let u(h) = -3*h + 31. Let l be u(0). Let o = l - -35. Is 11 a factor of o?
True
Let q = 69 + -27. Suppose 4*y + q = 6*y. Let t = -3 + y. Is 11 a factor of t?
False
Suppose 4*f - 110 = 134. Let a = f + 299. Suppose 0 = y - 6*y + a. Does 24 divide y?
True
Suppose 4*n - 3334 - 7419 = -3*u, 0 = -4*n + 7*u + 10723. Is n a multiple of 9?
False
Let k = 991 + -60. Is k a multiple of 7?
True
Is (-2 + 1)/(-8*12/164160) a multiple of 6?
True
Let q = -95 - -179. Is 28 a factor of q?
True
Suppose -16 = -4*w, 2*v + 291 = v - 2*w. Let i = v - -136. Let p = i + 232. Does 15 divide p?
False
Let d = -8 - -23. Suppose d*q - 6 = 12*q. Suppose 0 = -2*h - 3*o - q*o + 116, o - 4 = 0. Is 16 a factor of h?
True
Suppose -3*n + 4*u + 1349 = -1365, -n + 2*u + 906 = 0. Is n a multiple of 82?
True
Let v be 2*2/(-16)*-28. Suppose 5*j = i + 9, -3*j = -6*j - i + v. Suppose m + j = 19. Is m a multiple of 17?
True
Suppose 2*a = 44 + 102. Suppose -37 - a = -5*o. Is (-4)/o - 11250/(-165) a multiple of 13?
False
Let n(m) = -m**3 + 7*m**2 + 8*m + 1. Suppose 5*t - t - 32 = 0. Let s be n(t). Is 14 a factor of 1/s + (-54)/(-2)?
True
Suppose -3*x + 4*x + 4*i = -13, -2*i = 4*x - 4. Suppose -309 = -0*y - x*y. Suppose -2*g + y = 5*z + 18, -g + 50 = 4*z. Is 10 a factor of g?
True
Let k be 4/22 - 200/(-110). Suppose k*l - 3*i - 279 = 0, 0 = -2*i + 7 - 1. Suppose -8*c + 12*c - l = 0. Does 12 divide c?
True
Let k be 9/6*(-402)/(-9). Let q = 295 - k. Does 13 divide q/14 + (-2)/7?
False
Suppose -3*p + 5*n + 40 = 13, -36 = -4*p - 4*n. Let y(t) = -t**2 + 11*t - 19. Let h be y(p). Does 10 divide 1 + h + (12 - -48)?
True
Suppose 2*o + 1 = -r, -o - 2*o - 3 = r. Let a = r - 13. Is 4 a factor of a/65 - 184/(-13)?
False
Let l be (2*(2 - 1))/((-18)/(-27)). Suppose l*j - 4*j = -k - 61, 2*k + 248 = 4*j. Is j a multiple of 21?
True
Suppose 5*j + 6 = 26. Suppose j*w = -c - 0*w + 45, -w = -4. Does 3 divide c?
False
Suppose 125*c - 130*c = -65. Is c a multiple of 7?
False
Suppose 6*g = 7*g - 2. Suppose -g*j + 163 = 43. Is 12 a factor of j?
True
Suppose 3*g - 3*u = -7*u - 12, 0 = g - 2*u + 4. Let y(p) = -p**2 - 5*p + 1. Let n be y(g). Suppose -m + n = -44. Does 10 divide m?
False
Does 24 divide (-9)/27*591/(-2)*10?
False
Let f(s) = -s**3 + 17*s**2 - 18*s + 50. Is f(16) even?
True
Let k(q) be the third derivative of 2/3*q**4 + 0*q - 1/60*q**5 + 0 - q**2 - 5/3*q**3. Is 22 a factor of k(11)?
False
Let h(t) be the second derivative of 11*t**4/6 + 5*t**3/6 + 2*t**2 + 33*t. Does 11 divide h(-3)?
True
Let y(z) = 20*z**2 - 11*z - 4. Is y(5) a multiple of 49?
True
Suppose 0 = q + 2*q. Suppose 4*o - 2*n - 34 = q, 27 = -4*o - 5*n + 82. Does 7 divide o?
False
Let z = 31 + -26. Let v be (-2 - -1)*(-3 + 3). Let c = z - v. Does 5 divide c?
True
Let p = 5 + 2. Let x be (-112)/(-5)*(p + -2). Let h = x - 76. Does 12 divide h?
True
Let u be (3/6)/(-4 - (-690)/172). Suppose 52 = o + u. Is o a multiple of 4?
False
Suppose 0 = -2*x + 5*x + 4*o - 196, -3*o - 108 = -2*x. Suppose 0 = 8*i - 6*i - x. Is 10 a factor of i?
True
Let w be (-1)/4 - 526/8. Let u be (-4)/10 - w/15. Suppose u*f + 0*f - 40 = 0. Does 3 divide f?
False
Let l be (-19 + 3)/4 + 9. Suppose l + 7 = 6*t. Suppose -t*r - 3*r = -210. Is r a multiple of 21?
True
Let f be 7/(273/6) - 150/(-39). Suppose 3*q - 344 = u, -4*q + 0*u + f*u = -456. Is 24 a factor of q?
False
Suppose -3*n + 68 + 280 = 0. Does 16 divide n?
False
Let m(b) = b**2 + 15*b + 225. Does 3 divide m(-32)?
False
Let x = -75 + 29. Let u = x - -62. Does 16 divide u?
True
Suppose 0 = -0*x + 2*x + 46. Let a = 4 + -44. Let y = x - a. Is 3 a factor of y?
False
Let y(u) = 2*u**3 - 12*u**2 + 5*u + 8. Let r be y(8). Suppose -4*p + 3*h - h = 590, -2*p + 4*h = r. Let q = p - -206. Does 20 divide q?
True
Let a(d) = 2*d**2 + d - 5. Let z be a(9). Let h = z + -111. Suppose -m + h = 1. Does 27 divide m?
True
Suppose 8 = 8*b - 24. Suppose -4*h + 86 = -s, -h - b*s = h - 34. Is h even?
False
Suppose 87*t - 76*t = 19833. Is 9 a factor of t?
False
Let l(i) = -11*i**2 - 3*i - 4. Let v be l(-2). Let b = v + 79. Does 2 divide b?
False
Let r = -10 - -14. Suppose 0 = r*l - 20, 2*l + 516 = 2*s + 6*l. Let q = s - 124. Does 34 divide q?
False
Is 114 a factor of ((-171)/(-15))/(11 + (-327)/30)?
True
Suppose 0 = z - 44 - 532. Suppose -2*x - 4*x = -z. Does 32 divide x?
True
Let o(z) = 2*z**3 + z. Let j be o(1). Let m be -3*j/(36/(-8)). Does 16 divide m/(-3) + (-402)/(-9)?
False
Suppose -9*t = -2949 - 4089. Is t a multiple of 17?
True
Let m = -6 - 9. Let u = -15 - m. Suppose u = -6*l + 5*l + 25. Is 5 a factor of l?
True
Let v(z) = 4*z - 9. Let s be (-1)/((-148)/(-72) + -2). Let d = -9 - s. Is 9 a factor of v(d)?
True
Let d = -2 + 5. Let x = 2 + d. Suppose x*t = 34 + 156. Does 19 divide t?
True
Suppose -6*n + 54 = -3*n. Let x = -17 - -44. Let t = x - n. Is 3 a factor of t?
True
Is 2 a factor of -1 - ((-36)/10)/((-56)/(-140))?
True
Suppose 7 - 3 = u. Suppose 3*i + s = -i + 702, -u*i + 5*s + 690 = 0. Is 25 a factor of i?
True
Let y be 2*(-7)/(28/24). Let q be (-39)/(-9) - (-4)/y. Suppose -3*k - 97 + 27 = -q*l, -4*k = -2*l + 40. Is l a multiple of 8?
True
Is -5 + 5 - 3/2*-98 a multiple of 10?
False
Let a(v) = 23*v**2 - 6*v - 12. Does 9 divide a(4)?
False
Let r(o) = -17*o - 20. Let k be r(-8). Let j = k - 34. Does 14 divide j?
False
Suppose 2*k - 6*k + 2*c + 2452 = 0, -2*c - 3067 = -5*k. Suppose 0 = -5*w + 5*i - k, 0 = -5*w - 0*i - 4*i - 597. Let m = -76 - w. Does 15 divide m?
True
Let z = 1293 - 715. Is z a multiple of 21?
False
Does 57 divide ((-88)/20)/((-1)/(125/5))?
False
Suppose w + 2*v - 117 = -0*w, -w = -4*v - 141. Suppose 0 = 2*u + 3*x - 195, -u = -3*x - x - w. Does 14 divide u?
False
Suppose -102 = -34*u + 68. Suppose 0*w - 2*w = 0. Suppose w*p + u*p - 65 = 0. Does 4 divide p?
False
Let p be (-114)/(-15) + 1 - 4/(-10). Suppose