e -r = -4*p - d, -2*r + 135 = 2*p - v. Is r a multiple of 10?
True
Let y = -9910 + 19995. Does 97 divide y?
False
Suppose -160*m = 155*m - 324*m + 66096. Is m a multiple of 17?
True
Let j = 18458 - 18340. Is j a multiple of 2?
True
Let n be (-52)/(-65) - 56/(-5). Let z be (147/(-6) + 3/n)*4. Let i = 190 + z. Is i a multiple of 13?
False
Let r be 2*2 + (35 - 39). Let l = 5 - 2. Suppose r*a + 378 = l*a. Is a a multiple of 21?
True
Suppose 7225 + 1827 = 5*n + 4*l, -2*n - 4*l = -3616. Suppose -91*r + 95*r + z - 1460 = 0, -5*r + 2*z = -n. Is r a multiple of 26?
True
Suppose x + 2*v = 586, 2*v + 1283 = 2*x + 159. Is x a multiple of 2?
True
Suppose 1340 = 2*y + g + g, 3*y - g - 2030 = 0. Let i = y - 343. Suppose 5*s = 28 + i. Does 24 divide s?
True
Let t(x) = 2*x**2 + 7*x - 21. Let o be t(-5). Is 39/(-3)*(o + 4) a multiple of 7?
False
Let g = 14965 - 3985. Is g a multiple of 183?
True
Let q(p) = 4087*p**2 - 2*p - 32. Is q(-3) a multiple of 33?
False
Let c = -69 + 71. Suppose 4*t = -c*v - 7 - 7, 0 = -t - 2*v - 11. Is 5 a factor of t/(2/5*2/(-4))?
True
Let o = 961 - 529. Let i = -274 + o. Is i a multiple of 6?
False
Suppose 40 = 5*x - 3*x. Suppose 9 + 3 = q - 5*c, -5*c = -x. Suppose 5*r = 2*y - q, 0 = -2*y + y + 4*r + 16. Is y a multiple of 8?
True
Suppose 29*i - 158163 = 143755 - 64582. Is i a multiple of 44?
True
Suppose 2*x - 40 = -0*x. Let j = -15 + x. Suppose 3*v = 9, 4*v = 2*u - j*u + 78. Is u a multiple of 11?
True
Suppose -l = -0 - 1, -5*j + 5*l = -10. Suppose -5*v + r + 0*r = -1433, -v + j*r = -281. Does 24 divide v?
False
Suppose -5*s - 3527 = 2*l - 1239, s + 2 = 0. Let n = -576 - l. Does 24 divide n?
False
Let s(p) = -p + 19. Let w be s(-6). Suppose w*f + 4 = 27*f. Does 5 divide ((-88)/(-11)*15/4)/f?
True
Suppose -2*w - 4 = 5*i, 0 = -w + 6*w - 3*i - 21. Suppose r = -4*o + 59 - 7, -12 = -w*r. Suppose -240 = -3*f + o. Is 14 a factor of f?
True
Suppose -3 = 3*x, -3*t + 3925 = -2*x - 30787. Is 23 a factor of t?
False
Let f = 4490 - 3188. Does 14 divide f?
True
Let i be (-32)/((-40)/5 - -6). Suppose 3*b + 4*g = 300 + 648, 2*b - 625 = -5*g. Suppose 0 = -18*k + i*k + b. Does 26 divide k?
False
Suppose 5*r = 0, 6*g - r = 3*g + 6. Let m(z) = 5*z - 6. Let x be m(g). Suppose 4*a + x*s = 6*s + 310, -a + 80 = -3*s. Does 11 divide a?
True
Let a be 0/((2/(-4))/(4/24)). Suppose -3*c - 148 + 409 = a. Is 9 a factor of c?
False
Suppose -3*m + 5*j = -42070, 0 = 5*m + 35*j - 39*j - 70134. Does 47 divide m?
False
Suppose -3*x + 3*k + 3308 = k, 2*x = k + 2204. Is x a multiple of 50?
True
Let c(r) = 44*r**2 - 58*r - 737. Does 183 divide c(-12)?
False
Let d = -152 + 144. Is (8/d - -9) + 376 a multiple of 79?
False
Suppose -u - 8845 = -3*g, 3*g - 131*u - 8873 = -126*u. Is g a multiple of 24?
False
Let f(g) = 63*g**2 + g - 10. Suppose 3*b - 17 = 2*l, 4*b - 9 = -4*l - 13. Does 56 divide f(b)?
True
Suppose 4*q = 2*q + 7*q. Suppose q = 3*p - 542 - 1372. Let n = p + -414. Is n a multiple of 14?
True
Suppose 4*d + 369 = p, -8 = 2*d - 0*d. Suppose -y + 3*y + 4*q = 388, 0 = -2*y + 3*q + p. Is y a multiple of 13?
False
Suppose 33 = -x - 31. Let u = x - -123. Does 8 divide u?
False
Let t(f) = 3*f + 4. Let r(z) = 9*z + 12. Let i(w) = 2*r(w) - 7*t(w). Let j be i(2). Is 15 a factor of j/85 - 767/(-17)?
True
Let p be -1 - -6 - (3 - 2). Suppose 153 = 22*l + 29*l. Suppose l*o + 14 = p*o. Is o a multiple of 2?
True
Suppose 6*z - 2*q - 17954 = 3*q, -q = 4*z - 12004. Is z a multiple of 8?
False
Suppose y - 4510 = -4*a - 2*y, -4*a + 4*y = -4524. Suppose -a = 5*r - 4049. Is r a multiple of 36?
False
Let j be (-8 - (4 - 11))*(0 + 0). Let u(r) = 9*r + 179. Is 27 a factor of u(j)?
False
Let v(j) = j**2 - 4*j - 60. Let m be v(10). Suppose 4*h + 4*b - 96 = m, 2*h + 4*b + b = 36. Does 4 divide h?
True
Let n = -786 + 48292. Is n a multiple of 16?
False
Suppose 27550 = -426*m + 431*m. Is m a multiple of 10?
True
Suppose -2*r + 7*r = -2055. Suppose 1136 = -4*j - 5*g, 0 = j + 2*g + 185 + 102. Let y = j - r. Does 35 divide y?
False
Is 99 a factor of (-8)/112*0 - -6149?
False
Let h be (53/2)/(68/(-16) - -4). Let p = h - -115. Suppose -4*m + 116 = 4*g, 0 = g - m - 3*m - p. Is g a multiple of 25?
True
Suppose -3*n - x = -3733, -3*n + 3730 = -12*x + 10*x. Is 17 a factor of n?
False
Let v(m) = 8718*m**2 + 91*m + 209. Is 124 a factor of v(-2)?
False
Let t(c) = c - 18. Let i be t(18). Suppose -60*a + 58*a + 930 = i. Does 7 divide a?
False
Let y = 4328 + -1576. Suppose -2*m + 4*m - y = 0. Is m a multiple of 74?
False
Let d = 17757 + -13984. Does 49 divide d?
True
Let a(x) = -x**2 - 30*x + 19. Let b = 423 - 451. Does 2 divide a(b)?
False
Let u be (-661)/(4/(-7 - -3)). Let g = -220 + u. Is g a multiple of 7?
True
Suppose -9*t = -34 + 7. Suppose -t*i + 2*n = -115, 5*i + 2*n = 266 - 69. Is 13 a factor of i?
True
Let i(b) = -b**3 - 8*b**2 - 10*b + 7. Let d be i(-6). Is -2 - (870/d)/((-3)/(-2)) a multiple of 3?
True
Suppose -11*w = 250 + 454. Is -6 - (w - -6)*2 a multiple of 11?
True
Let h be 4 + -1 + 1 + -2554. Let w = 1428 + h. Is 6 a factor of (-2)/(-10) - (3 + w/15)?
True
Let w = -21025 - -42310. Is w a multiple of 15?
True
Suppose -2*j + 1771 = 5*j. Let g be (4*894/48)/(2/(-4)). Let l = j + g. Is l a multiple of 13?
True
Suppose -4*i = 3*i + 2226. Let z be (-4)/(-22) - i/66. Suppose -737 - 443 = -z*a. Is a a multiple of 27?
False
Let s be ((-1)/2)/(0 - 4/960). Let z be (772/16)/(2/8). Let a = z - s. Does 17 divide a?
False
Suppose q = 5*a + 2*q + 15, 0 = -q + 5. Let l(p) be the second derivative of -8*p**3/3 - 5*p**2 - 2*p - 56. Does 9 divide l(a)?
True
Suppose -266959 = -76*z - 2479. Does 87 divide z?
True
Let k = -2859 + 3812. Is 25 a factor of k?
False
Suppose 4369 + 5783 = -8*n. Is 4 a factor of (3 - (-2 + 2)) + n/(-9)?
True
Let n = -355 - -364. Let f(h) = 144*h + 273. Does 13 divide f(n)?
False
Let f(a) = 188*a + 348. Is 32 a factor of f(15)?
True
Let x = 473 - 511. Let g(a) = -a - 12. Let k be g(-13). Is x*(((-4)/8)/k - 0) a multiple of 5?
False
Suppose -2*j - 4*z + 12 = 0, 2*z + 4 = 4*j + 6*z. Let v be (-6020)/(-150) + j/30. Suppose k - v = -0*k. Is k a multiple of 14?
False
Let a = 17908 + -7372. Is a a multiple of 17?
False
Suppose -3*l - 4*s - 28 = -5*l, 3*l - s = 27. Let o(r) = 10*r**2 - 20*r. Does 10 divide o(l)?
True
Let p(a) = 5*a - 113. Let b be p(23). Suppose 2*k + b*k + 5*w = 805, 0 = 2*k + 3*w - 405. Does 13 divide k?
True
Suppose 3*x - 9402 = -w, -2*w + 9597 = 8*x - 15477. Is 61 a factor of x?
False
Is (5092/(-6))/(1/9)*1818/(-1212) a multiple of 171?
True
Suppose 3*l + 5*s = -62, 10*s + 33 = -2*l + 5*s. Let d = 31 + l. Suppose -d*y - y - 2*c + 87 = 0, 0 = 5*c. Is y a multiple of 6?
False
Suppose 0 = 4*v + r - 10262, 2555 = -13*v + 14*v - 5*r. Is 19 a factor of v?
True
Suppose 71*l + 44349 - 443085 = 0. Does 18 divide l?
True
Suppose -29*y + 90 = -39*y. Let x = 20 - y. Is x a multiple of 2?
False
Let z = 11545 - 8753. Does 4 divide z?
True
Is ((-3312)/120)/(-23) - (-53004)/5 a multiple of 186?
True
Suppose -725*z - 267120 = -746*z. Is z a multiple of 40?
True
Suppose 0 = 11*x + 6952 + 3476. Let k = -374 - x. Does 14 divide k?
True
Let w(c) = -2*c**2 + c - 6. Let g(o) = o**3 - 12*o**2 - o + 15. Let q be g(12). Let t be w(q). Let n = t - -49. Is n a multiple of 7?
True
Let b be -3 + (0/(-1))/(-1) - -98. Suppose -b = -12*p + 13*p. Let l = 3 - p. Is 14 a factor of l?
True
Let h be (-62)/341 + 4/(-11)*379. Let x = h - -150. Does 5 divide x?
False
Let w = -1834 + 2382. Does 61 divide w?
False
Suppose -18*k = -17*k - 65. Let q = 327 - k. Is q a multiple of 12?
False
Let g(z) = -2*z**3 - 41*z**2 + 16*z + 56. Does 69 divide g(-24)?
False
Let v(g) = 159*g - 632. Is 54 a factor of v(20)?
False
Is 19585/10 - ((450/(-12))/(-5) - 6) a multiple of 6?
False
Let r = 117 + -124. Let m = 43 + -20. Let t = m - r. Is 10 a factor of t?
True
Suppose -17*k - 19700 = -18*k - k. Is 48 a factor of k?
False
Suppose -5*c + 2*q + 87 = 0, 2*q = -2*c + 5*c - 53. Suppose 0 = 2*g + 5*f - 1882, 4*g = 21*f - c*f + 3736. Is 18 a factor of g?
True
Let k be (21/2 - 3)*1320/9. Suppose -4*c = -k + 288. Is c a multiple of 29?
True
Suppose 190*x - 85*x = 272160. Is 32 a factor of x?
True
Let d(c) = -c**2 - 3*c + 17. Let y be d(-4). Suppose -y = 10*r - 43. Suppose -54 = -2*g - 4*i, -g + 3*i = -i - r. Is 3 a factor of g?
False
