 m?
True
Suppose d - 30 = 3*f, 120 = -18*d + 23*d - 5*f. Suppose 3*y = s - 17, 5*s = 3*y + 34 + 39. Let h = s + d. Is h a multiple of 7?
True
Let b = 80 + -77. Let j(g) = 11*g**3 - 6*g**2 + 8*g - 5. Let n be j(b). Let a = n - 154. Is 15 a factor of a?
False
Let u = 134 + -73. Suppose -5*v - u = -4*w - 24, w + 3*v = -12. Suppose 8*l = w*l + 4*o + 238, -6 = 3*o. Is 16 a factor of l?
False
Suppose -624*x + 625*x = 10. Suppose -2*p + 4*f = -1160, -1150 = -2*p + x*f - 11*f. Is p a multiple of 18?
True
Suppose 5*l = 4*c + 36430, 0 = 10*l - 4*c - 0*c - 72880. Does 18 divide l?
True
Suppose 48*m - 44*m = 224. Let t be (m/(-4) + 0)/(8/52). Let q = -68 - t. Is 23 a factor of q?
True
Let p = 497 - 492. Suppose 2*k = -p*f + 522, 2*f - 5*f = -k - 322. Does 25 divide f?
False
Let a(q) = -8*q**3 + 33*q**2 + 24*q. Is a(-9) a multiple of 8?
False
Let w(u) = -4*u + 266. Let m be w(29). Suppose s - 478 = -m. Is s a multiple of 23?
False
Let f(n) = -45*n - 1. Let y be f(-1). Suppose -24 - 42 = -11*l. Suppose -y = -l*k + 34. Does 8 divide k?
False
Is 287514/(-2)*(-9 + 104/12) + -4 a multiple of 33?
False
Suppose r + 22 - 28 = 0. Suppose -r*i + i = -450. Is 18 a factor of i?
True
Let a(f) = 19*f**3 - 5*f**2 + 2*f + 2. Suppose -2*k - 15 = k, 5*l = 3*k + 30. Is a(l) a multiple of 68?
True
Let y = 76 + -73. Suppose 4*i = -s + 12, y*i = 2*s + i - 4. Is -2*2*(-39)/s a multiple of 17?
False
Suppose -4*r + 3281 = -36498 + 1467. Does 218 divide r?
False
Suppose -5*q + 5*m = -10511 - 3199, 5*q = -m + 13716. Is q a multiple of 24?
False
Let b(z) = z**3 - 6*z**2 + 7*z - 5. Let p be b(5). Suppose 5*c = -g + 1, -2*c + 22 = -p*g - 0*c. Is 7 a factor of 508/5 + g + (-88)/(-20)?
False
Is 19 a factor of 16/(1104/(-391))*-16749?
False
Let o be (-10762)/(-6) + 36/(-54) - -3. Let r = o + -1256. Does 45 divide r?
True
Let n = -384 + 668. Suppose -x + 1034 - n = 0. Is 79 a factor of x?
False
Let b be 3 - (-4)/(16/340). Let r be ((-442)/4)/(2/b). Is r/(-110) - 2/10 a multiple of 8?
False
Let n(r) = r**2 + 13*r + 726. Is n(-32) a multiple of 34?
False
Suppose 81 = 8*b + b. Suppose -5*o - 2040 = -b*o + 2*w, 5*o + 3*w = 2550. Does 30 divide o?
True
Suppose f + 31 + 4 = s, -5*s = -3*f - 171. Suppose 32*a - s*a = -128. Does 32 divide a?
True
Let n(k) = -12*k**2 - 2*k + 88. Let s(l) = -4*l**2 - 13 + 8 + 20 - l + 14. Let j(m) = 5*n(m) - 16*s(m). Is 26 a factor of j(-7)?
True
Suppose -1121 = -10*p - 271. Suppose -2*h - 99 = -p. Does 14 divide h/(-4 - (-62)/16)?
True
Suppose -226*n + 5256356 = -5524296. Does 119 divide n?
False
Does 28 divide (1/3)/((-70)/(-60)*(-6)/(-95529))?
False
Suppose -12 = -5*m + 3. Suppose -3*j - 542 = 2*g - 1856, m*g = 5*j - 2209. Suppose f = 5*f - j. Does 26 divide f?
False
Suppose r = 5*c - 32714, 3*r - 2191 = -c + 4371. Does 24 divide c?
False
Suppose y + 4*o + 8 = -0*y, -2*o = -3*y + 32. Suppose 20 = -0*s + 5*s, 3*s - y = x. Suppose 225 = k + 4*v, x*k - 1095 = -k - 5*v. Is k a multiple of 31?
True
Suppose 0 = -4*i - 3*d + 2*d + 24, 0 = -3*d + 12. Suppose -2*r = -3*s - 2 + 11, -i*r = -3*s. Suppose r*f + 79 = 403. Is 12 a factor of f?
True
Let l be 2 + 0 - (4 - (3 + 1)). Let k(i) = -5*i**3 + 4*i**3 + 8 + 7*i**l - 6*i + 0*i**3 - 2. Does 10 divide k(4)?
True
Let s(x) = 4*x - 23. Let y be s(6). Let k be (-1)/(y*((-21)/(-6))/(-7)). Suppose -3*g + 579 = -0*g - 3*n, -4*g + 784 = k*n. Is 65 a factor of g?
True
Let j(m) = 4*m + 55. Let k be j(-11). Is 142*(k/(-77) + 102/28) a multiple of 6?
False
Is 33 a factor of (-12 - -11)/(4 + (-287651)/71911)?
False
Suppose 497 = 2*q - 9*q. Let c = -68 - q. Suppose c*i + 4*n - 528 = 0, -i - 714 = -5*i - 2*n. Is 10 a factor of i?
True
Let m = 283 + -400. Let g = -113 - m. Suppose -4*t - 4*r + 140 = 0, -38 = g*t + r - 169. Is t a multiple of 8?
True
Let q(f) = f**3 + 17*f**2 - 37*f - 30. Let h be 4/2*(-525)/70. Is 15 a factor of q(h)?
True
Does 18 divide 5/(-2) + 0 + 12/(-8) + 213?
False
Let c(i) = -i - 53. Let o(s) = -5*s - 213. Let k(g) = 26*c(g) - 6*o(g). Let m be k(0). Is 36/30*m/(-6) a multiple of 5?
True
Let w(d) = d**2 + 8*d + 13. Let c = 10 - 20. Let i be w(c). Does 7 divide 89/3 - (-11)/i?
False
Suppose 364*y = 365*y - 2*c - 10051, -3*y = -c - 30138. Does 13 divide y?
False
Suppose 5*j - 20 = -3*q, 3*j - 8*j = -5*q + 20. Let x be j + (28/4 - 1). Is (28/22)/x - 306/(-11) a multiple of 7?
True
Suppose -44 = -6*x - 2. Suppose 4*w - 198 = -x*w. Let v(c) = 11*c + 42. Is 24 a factor of v(w)?
True
Let f(j) = 0*j**3 + 25*j**2 + 4*j**3 - 59*j - 3*j**3 + 0*j**3 + 63. Does 66 divide f(-27)?
True
Let f = 14 + -10. Suppose -6*x + 5*i - 5 = -x, 5*x = -2*i + 16. Suppose -f*y - 104 = -4*h, -x*h - 4*y + 80 = y. Is 15 a factor of h?
True
Let o = -356 - -68. Let i = -84 - o. Suppose -3*w + 12 + i = 0. Is 6 a factor of w?
True
Let r be (-7256)/(-4) - (2 + -6). Suppose q - r = -2*q. Suppose -h + 57 = -4*i - 135, 3*h - q = -3*i. Is h a multiple of 25?
True
Suppose 0*b = -b - 8. Let u be (-1)/(-2) - 36/b. Suppose -4*s + 2*g = s - 565, g - u = 0. Is s a multiple of 14?
False
Let a(b) = b**3 - 5*b**2 - 2*b - 22. Let w be a(6). Suppose 2*d = 3*g + 107, 5*d = -w*g + 5*g + 263. Does 7 divide d?
False
Suppose -5*m - 2*p + 3*p = -16797, -3 = -p. Is m a multiple of 24?
True
Suppose -5*q = -4*t - 10, 0 = 4*q - 2*q - 5*t - 21. Let b be 0 - q/(-9) - (-29)/9. Suppose -3*u + 93 = 3*c, 2*c - 119 = -4*u + b*c. Is u a multiple of 5?
True
Let l = -28 - -34. Let a be l/(-7)*(-42)/9. Suppose -2*f - 196 = 2*j - a*j, -4*j + 3*f + 390 = 0. Is 8 a factor of j?
True
Let i be (44/10 - 4)*510. Suppose -3*t + i = -0*t - 4*n, -n = -3*t + 213. Is 12 a factor of ((-12)/(-6))/(2/t)?
True
Let y = -2 - -12. Suppose y*g = 2*g + 368. Suppose g*m = 48*m - 172. Does 43 divide m?
True
Suppose 2*b = -3*g + 914 - 59, -2*g + 856 = 2*b. Suppose -6*r + 1041 = b. Is r a multiple of 3?
True
Let w(g) = 136*g - 11. Let y be w(4). Let u = 1131 + -760. Let o = y - u. Does 18 divide o?
True
Let c(l) = -l**2 + 27*l + 19. Let j be c(-13). Let s = -291 - j. Is 5 a factor of s?
True
Let t(q) = 2*q**2 - 60*q - 2177. Is 2 a factor of t(-35)?
False
Let b(z) = 1. Suppose 4*p + 28 = 4*u, -u - 5 + 24 = -3*p. Let k(x) = -x**3 - 2*x + 1. Let d(s) = p*b(s) - k(s). Is d(5) a multiple of 11?
False
Let r be (-6)/(-5*1/16635). Suppose -r - 35078 = -40*i. Is i a multiple of 43?
True
Let w = -47 + 54. Let s(t) = 1 - 7 + w + 54*t. Is 34 a factor of s(1)?
False
Suppose 4*i = 199 + 145. Let k = 134 - i. Does 8 divide k?
True
Suppose 1406 = 2*h - 4*c, 4*h - 869 = -3*c + 1987. Does 6 divide h?
False
Let a(x) = -6*x**3 - 27*x**2 + 17. Let h be a(-8). Let q = h - 782. Is q a multiple of 98?
False
Suppose -3*z = 4*s + 57, 74 = -5*s - 4*z + 2. Let w be 4 - 3 - (2 + s). Is 798/154 - 2/w a multiple of 5?
True
Let r(k) = 85*k - 4013. Does 46 divide r(97)?
True
Suppose 0 = -3*t + 2*r + 358, r - 100 = -4*t + 359. Suppose -2*a + 3*c = -199, 10*c = -a + 6*c + t. Does 13 divide a?
True
Let q(a) = a**2 - 4*a + 11. Suppose -b - 5*r = -19, -r = -3*b - 2*r + 71. Suppose -24*c = -20*c - b. Is 10 a factor of q(c)?
False
Is 5 a factor of 695 - 1*-1*(5 - 6)?
False
Suppose -t + 4*q - 16 = -0*q, -8 = -2*q. Suppose -5*a - 4*a + 6552 = t. Does 14 divide a?
True
Suppose 2*a = 2*g + 3*a + 75, 3*g + 113 = -a. Is -11 - 2656/g - 2/(-19) a multiple of 3?
False
Let x(p) = 9*p - 55. Suppose s + 4*b + 4 = -0, -b + 56 = 5*s. Does 14 divide x(s)?
False
Let j = 3176 - -5418. Suppose 20*k = -394 + j. Is k a multiple of 82?
True
Let a(c) = -2357*c + 4835. Does 247 divide a(-10)?
True
Suppose 0 = 4*a - 0*a - 8. Suppose -8*v + 56 = 72. Is 120 - ((-9)/(-3) + a/v) a multiple of 27?
False
Let j(n) = -n + 1. Let t(l) = l + 85. Let f(m) = -4*j(m) + t(m). Is 4 a factor of f(0)?
False
Let i(k) = -k**3 - 27*k**2 - 68*k - 65. Let d be i(-25). Let g(n) = -19*n**2 - 2*n - 1. Let f be g(3). Let c = f + d. Is c a multiple of 24?
False
Suppose 0 = -1106*n + 1119*n - 168493. Is n a multiple of 80?
False
Let w be 12/(-84) + (-2015)/7. Let x = w - -483. Is x a multiple of 15?
True
Let m(p) = -p**3 + p**2 + p + 32. Let a be m(0). Suppose 2*l = -10, -a*w + 27*w - l + 45 = 0. Is 5 a factor of w?
True
Let p(b) = -b**3 + 12*b**2 - 7*b - 595. Is 15 a factor of p(-11)?
True
Let s be (3 - 2)/(1/(-310)). Let w = 443 + s. Is 22 a factor of -2 - (0 + 0 - w)?
False
Suppose 3*w = -a - 4, -3