2. Does 59 divide h?
False
Suppose 71*w = 68*w + 9. Suppose 5*g = w*n + 80 - 300, 0 = 3*n - 2*g - 232. Does 11 divide n?
False
Let m(f) = 195*f**3 - f**2 + 6*f - 2. Is m(2) a multiple of 29?
True
Let t(h) = -h + 12. Let w be t(-12). Let o be w/(-60) - (-338)/(-5). Let m = o + 114. Is 8 a factor of m?
False
Suppose g = -3, 2*g - 224 = -k + 6*g. Is k a multiple of 13?
False
Suppose -81664 = -70*z + 6*z. Is 44 a factor of z?
True
Let d = -2452 + 4292. Is d a multiple of 8?
True
Let b = -528 - -1176. Is 54 a factor of b?
True
Let r(k) be the second derivative of k**4/12 + 3*k**3/2 + 11*k**2/2 + k. Let a be r(8). Suppose -5*b = 4*m - a, 3*b - 63 = -2*m + 12. Is 7 a factor of m?
False
Let h(u) = u**2 + 7*u + 14. Let z be h(-4). Does 7 divide (3 - 14/4)/(z/(-524))?
False
Let h(f) = 4*f - 65 + 3*f**2 + 23 + 25. Is h(-7) a multiple of 11?
False
Let x(r) be the second derivative of -r**4/12 + 7*r**3/2 - r**2/2 - 13*r. Does 6 divide x(19)?
False
Let s be -2 + 4 + 48/(-4). Let c(w) = -w**2 - 6*w + 3. Let t be c(-7). Let q = t - s. Is 2 a factor of q?
True
Let y(k) = 25*k**2 + 16*k + 11. Let p(g) = -5*g**2 - 3*g - 2. Let r(z) = -22*p(z) - 4*y(z). Let m be r(3). Let t = m - 66. Is 10 a factor of t?
True
Is -2 - 3/((-12)/688) a multiple of 17?
True
Let f be ((-6)/4)/((-7)/168). Suppose -16*g - f = -20*g. Is g a multiple of 3?
True
Let o = -529 + 901. Suppose 10 = -5*y, -n + 3*n + 2*y = o. Does 14 divide n?
False
Suppose 3*l = 4*z + 20, -4*l - 23 - 2 = 5*z. Suppose l = -2*v - w + 114, -v = -2*w - 37 - 10. Does 17 divide v?
False
Suppose 1895 + 247 = -18*t. Does 7 divide t/2*(6 - 8)?
True
Let d(n) = -4*n + 2. Let i be d(-6). Suppose -90 = 130*m - 139*m. Suppose i + m = 3*o. Does 3 divide o?
True
Let b = -56 - -67. Suppose -n = b*i - 10*i - 137, 2*i + 706 = 5*n. Is n a multiple of 39?
False
Let o = -127 + 129. Suppose s - 3 = -0*s. Suppose d + 3*w = 25, 7*d - s*d = o*w + 100. Is d a multiple of 25?
True
Does 38 divide (3 - (0/2)/(-5)) + 78?
False
Let o(g) = 7*g + 2. Let k(v) = 6*v + 1. Let m(y) = -4*k(y) + 3*o(y). Let h be m(-5). Let b = h - -1. Does 9 divide b?
True
Let h = -51 + 113. Let k = h - 34. Does 3 divide k?
False
Let r be 106/3 + (-8)/(-12). Is (r/(-16))/(1 - (-59)/(-56)) a multiple of 7?
True
Let s(r) = 2*r**2 + 12*r - 9. Let h = -14 - -7. Let x be s(h). Suppose 0 = x*f - 5*y - 69 - 81, 5*f = y + 130. Does 6 divide f?
False
Let x = 26 + -22. Suppose -i = x*i - 125. Is 3 a factor of i?
False
Suppose -y + 5 - 2 = 0. Let n(i) = -i**3 + 3*i**2 + i. Let z be n(y). Suppose -3*c = z*o - 114, c = 4*o - 0*c - 157. Is 13 a factor of o?
True
Let y be 0 - 1*16/(-2). Suppose y*p - 123 = 5*p. Is 10 a factor of p?
False
Let u be (3/(-4))/((-3)/(-36)). Let m = 9 + u. Let c = 8 - m. Is c a multiple of 8?
True
Let x = -2105 - -2959. Is 13 a factor of x?
False
Suppose b - u - 10 = 3*u, -4*u = 4. Suppose -366 = -b*z - 72. Does 7 divide z?
True
Let z be 0 - (-12)/(-15)*70/(-4). Does 4 divide z/(-4)*(-6 + 4)?
False
Suppose j = -3*j + 460. Let z(s) = -s**2 + 8*s - 5. Let r be z(7). Suppose 4*w = 5*o + r*w - 101, j = 5*o + 5*w. Is o a multiple of 7?
True
Let f(i) = 12*i - 404. Does 13 divide f(90)?
True
Is (9848/80 - -2) + 2/(-20) a multiple of 3?
False
Suppose -152*v - 80 = -156*v. Let t = -17 - -32. Let s = v - t. Is s a multiple of 5?
True
Let j(i) = -i**3 + 21*i**2 - 17*i + 30. Let f be -2 - -4 - (-5 + -13). Is j(f) a multiple of 17?
False
Let q(b) = -b**2 + 6*b + 4. Let w(y) = -2*y**2 + 7*y + 5. Let z(j) = 4*q(j) - 3*w(j). Does 20 divide z(7)?
True
Let d(i) = 255*i**3 - i**2 - 9*i - 13. Let g(j) = 64*j**3 - 2*j - 3. Let z(p) = 2*d(p) - 9*g(p). Is z(-1) a multiple of 13?
True
Suppose 14*j - 8999 = -1887. Is j a multiple of 25?
False
Let f(x) = 16*x**2 + 5*x + 77. Is 19 a factor of f(-5)?
False
Let k be (-9)/(-2)*72/162. Suppose -k*x + 334 = -50. Does 48 divide x?
True
Let m = 6 + 1. Suppose 273 = 8*p - 415. Does 6 divide p/m - 2/7?
True
Let q(x) = 4*x + 13. Suppose -18 - 6 = -3*r. Does 15 divide q(r)?
True
Let u = -24 - 43. Let g = u - -92. Is g a multiple of 5?
True
Let q = 77 + -75. Is 14 a factor of q + (1426/8 - (-6)/8)?
False
Let f(y) = -102*y - 145. Is f(-5) a multiple of 17?
False
Does 97 divide (8/24)/(6/3492)?
True
Let i be (-8 - (0 - 2))/2 + 3. Suppose 2*p - 3*p = -200. Suppose -d + 6*d - p = i. Is d a multiple of 13?
False
Suppose 20 = 4*t, -15*h + 20*h = -5*t + 745. Is h even?
True
Let q(h) = -36*h - 3. Let u be q(-1). Let a = 36 - u. Suppose -24 = a*m - 5*m. Does 11 divide m?
False
Let i = 46 + -41. Suppose c - 25 = 2*q, -5*c + i*q + 0*q + 120 = 0. Does 11 divide c?
False
Suppose -q - 2939 = -2*z - 400, -6347 = -5*z + 3*q. Is z a multiple of 127?
True
Let i = 20 + -12. Suppose 4*q - i = j, -q + 3*q = 2*j - 2. Suppose j*n - 90 = n. Is n a multiple of 10?
True
Let b = 1 - -1. Suppose 4*o = 31 + 17. Suppose -48 = -b*z - o. Is z a multiple of 18?
True
Suppose 2489*s - 2499*s + 13850 = 0. Is 39 a factor of s?
False
Suppose -2*u - 4*t = 376, 4*u + 752 = -3*t - 2*t. Let c = -93 - u. Does 19 divide c?
True
Let x = 26 + -16. Suppose -2*c + 2*g = g - x, -2*c + 12 = -2*g. Is (24/(-30))/(c/(-50)) a multiple of 5?
True
Suppose y - 12 = 2*n - 2*y, 0 = -5*n - 5*y + 20. Let t(l) = -l**2 - 3*l + 178. Is t(n) a multiple of 32?
False
Suppose -5*a - 107 = -2*q + 126, -5*a - 471 = -4*q. Let h = q - -21. Is 10 a factor of h?
True
Let v(t) = t**2 - 2*t - 8. Let b be v(6). Let n(i) be the first derivative of i**2 + 13*i + 8. Is n(b) a multiple of 15?
True
Let n(t) = -5*t + 9*t + t**2 - 11*t + 4. Let x be n(7). Does 7 divide ((-5)/x - -2)*28?
True
Let b(q) = -q + 28. Let h be b(0). Let d = h + -22. Suppose -5*f + 20 = 0, -d*f + 8 = -x - 3*f. Does 4 divide x?
True
Suppose 0 = 5*k - 4*d - 2404, -4*d - 9 = -5. Is k a multiple of 15?
True
Suppose 0 = 2*l + 2*j - 4856, 3*j - 2428 = -l - 2*j. Suppose 7*d + 48 = l. Does 34 divide d?
True
Suppose 4*y + 2*x - 2394 = 0, 5*x = 4*x - 3. Is 5 a factor of y?
True
Suppose 415 + 845 = 3*g. Suppose -3*h - h + g = 0. Is 35 a factor of h?
True
Let s = -23 - -24. Let a = 33 - s. Does 8 divide a?
True
Suppose -2*c - 64 = -248. Suppose -w - 40 = -c. Is w a multiple of 7?
False
Let s(r) = 6*r**2 + 4*r - 1. Let j be s(-3). Let m = 7 + 18. Let h = j - m. Is 8 a factor of h?
True
Suppose 12*q - 18*q + 1260 = 0. Is q a multiple of 10?
True
Let f(a) = -a**3 + 5*a**2 - 2*a - 3. Let q be f(4). Suppose q*g - 260 = 335. Suppose l - 10 = 4*s, -g = -l - 4*l - 3*s. Does 11 divide l?
True
Let q = 18 + -15. Suppose 2*z = f + 31, -q*f = -0*z - 5*z + 76. Let o = 1 + z. Is 8 a factor of o?
False
Suppose -y - 314 - 27 = -u, -y + 1675 = 5*u. Does 42 divide u?
True
Let m(d) = 322*d - 6. Is m(1) a multiple of 13?
False
Let s be (-8)/6*(-6)/1. Suppose 3*w = 3*k - 3, -2*w = 2*k - 10 - s. Is 14 a factor of k/(-5)*(-15 - -1)?
True
Suppose -2541 = 39*m - 46*m. Does 11 divide m?
True
Suppose 38 = -5*c + 3*y, -5*c = -c + 4*y + 56. Let s be (-94)/c + 9/15. Does 2 divide (-1)/2 - (-65)/s?
True
Suppose -2*s + 540 = 36. Suppose -3*w - 87 = -s. Is 14 a factor of w?
False
Let p(y) = 8*y**2 + 6*y + 2. Suppose 17*t = 22*t + 35. Is p(t) a multiple of 44?
True
Suppose 6*b = -388 - 188. Let t = 122 + b. Is t a multiple of 2?
True
Let m(k) = -k - 2. Let y be m(19). Let d = y + 73. Is 13 a factor of d?
True
Let f = 147 - 114. Does 11 divide f?
True
Suppose 1951 - 1698 = y. Is y a multiple of 11?
True
Let a = 542 + -418. Is 3 a factor of a?
False
Let r(y) = y**2 + 3*y - 1. Let v be r(-4). Let k be (-30)/25*(-170)/v. Suppose -b - 5*n - 21 = -2*b, 4*n = 4*b - k. Is b a multiple of 16?
True
Let v be (-8)/5*(-30)/12 - 0. Suppose v*u - 108 = -5*w, -4*u + 89 + 43 = -w. Does 16 divide u?
True
Let w(s) be the first derivative of s**2/2 + 26*s - 22. Does 19 divide w(-7)?
True
Let y(p) = p**2 - p. Let i(o) = o**2 + 3*o. Let l be i(-3). Let f be y(l). Suppose f = -3*d - d + 36. Does 5 divide d?
False
Suppose 3*v = 3*s - 417, s - 7*v - 143 = -2*v. Let x be (0 + 1 + -83)*1. Let i = x + s. Is i a multiple of 30?
False
Let s = -81 + 70. Let r = s + 32. Does 7 divide r?
True
Let v = 587 + -341. Does 13 divide v?
False
Suppose 2*i - 14 = -4*n, -2*n = -i + 3*i - 6. Let k = n - 4. Suppose -3*b + 4*u = -k*u - 89, 0 = 3*b - 2*u - 91. Is b a multiple of 11?
False
Suppose 575 + 530 = 5*m + v, -m - 4*v + 221 = 0.