 = -13. Is t + 3*(-733)/(-3) a multiple of 46?
False
Let b be -6 - (-2 + -1 + 1). Let v(c) = 3*c**2 + 12*c + 10. Let g be v(b). Suppose g*u - 6*u = 240. Is u a multiple of 6?
True
Suppose 3*q + 6 = 3*x + 3, 7 = 3*q - 5*x. Let u be ((-795)/(-30))/(q/4 + 2). Let i = u + -13. Is i a multiple of 2?
True
Suppose 9*b - 30488 = -b + 6*b. Does 169 divide b?
False
Let y(k) = -k. Let v(h) = -7*h + 14. Let u(x) = v(x) - 6*y(x). Let l be u(14). Suppose l = -d + a + 302 + 8, 2*a = 3*d - 926. Is d a multiple of 18?
True
Suppose -5*x - 3 = 2. Let c(w) = -95*w**3 - 2*w - 1. Is c(x) a multiple of 16?
True
Let s(o) = -o**3 - 46*o**2 - 123*o + 477. Is s(-52) a multiple of 29?
False
Let m(o) be the second derivative of 7*o + 0 - 1/3*o**4 - 3/2*o**2 - 2/3*o**3 - 3/20*o**5. Does 15 divide m(-3)?
False
Let b(u) = 6 - 2 + 0 + 2*u. Let i be b(0). Suppose -82 = i*g - 5*g. Is 20 a factor of g?
False
Suppose 0*a = -a - 3*v + 104, 0 = 5*v + 15. Let l = a - 56. Let i = l - 2. Is 15 a factor of i?
False
Let r be (-1)/(-5*(-56)/60 + -5). Let n be (-6)/15 - 27/(-5). Suppose n*t + 4*i - 1302 = 0, i + 246 = t - r*i. Does 43 divide t?
True
Let j(w) = -21*w - 53. Let q be j(-16). Suppose -5253 = -16*u + q. Is u a multiple of 22?
False
Let r be -10 - (-21 - -4) - (-1 - -8). Let v(g) = g**2 + 22 + 2*g + 4 - 3*g. Is v(r) a multiple of 3?
False
Suppose 2*s + 2*j - 15151 = 45683, -5*s = 4*j - 152083. Does 35 divide s?
True
Suppose 3*w - 2*n = 6*w - 806, 4*w - 1113 = 5*n. Let h = w - -58. Is 22 a factor of h?
True
Let i be 4/((-24)/9)*(-28)/3. Suppose -9*j + 5*j = -2*d - i, j + 2 = -5*d. Suppose 4*h - 346 = 2*g, -10 + 1 = j*g. Does 17 divide h?
True
Suppose -n + 5*n = d, -18 = -4*d - 2*n. Suppose -5*v - 3*i = -44, v - d*v + 34 = -2*i. Let g = v - -130. Is g a multiple of 13?
False
Suppose -10*d + 7*d + 12 = 0. Suppose -3*x - g = -4*g - 1053, d*x + 3*g - 1397 = 0. Is 29 a factor of 38/(-57) + x/3?
True
Let j = -173 - -172. Let l(d) = -13 + 4 - 44*d + 8. Is 6 a factor of l(j)?
False
Suppose 5*d = 12 - 27. Let l = 91 + -95. Does 26 divide (3 + (-4)/l)/(d/(-114))?
False
Suppose 2*v + 59 = 5*w + 309, -2*v + 4*w = -252. Is 7 a factor of v?
False
Suppose -x + 787 = 4*x + 3*p, -3*x + p = -461. Let g = 195 - x. Does 4 divide g?
True
Let m(t) = t**3 - 6*t**2 + 4*t + 12. Let k be m(5). Let i(j) = j**3 - 7*j**2 + 54*j - 18. Does 10 divide i(k)?
True
Let y be 8/(-10)*-5 - -856. Suppose -4*s + 200 + 3195 = -3*u, s = -3*u + y. Is 37 a factor of s?
True
Let s(j) be the first derivative of -6 - 19/2*j**2 + 6*j. Is s(-5) a multiple of 5?
False
Let y be (-7 - 10/(-1))*1. Is 7 a factor of ((-6)/4 + 0)*(-618)/y?
False
Let x(m) be the third derivative of 17*m**4/24 - 25*m**3/2 + 13*m**2. Is x(25) a multiple of 10?
True
Suppose -19*r + 8 = -15*r. Suppose -560 = -5*b + b + 2*u, r*u = -2*b + 292. Is 31 a factor of b?
False
Let r(s) be the first derivative of -s**4 + s**3/3 + 4*s**2 + 5*s + 596. Suppose -a + q + 6 = -4*q, -4*q = -2*a. Is r(a) a multiple of 47?
False
Let s = 4793 - 2846. Is 11 a factor of s?
True
Let o = 166 + -63. Let c(s) = 4*s**3 - 15*s**2 - 13*s**2 - 2*s**3 - 18 - o*s + 106*s. Is 2 a factor of c(14)?
True
Suppose 23 = 5*c + 3*u, 2*c - 3*c + 2*u = -2. Is c/((-32)/(-840)) - -8 a multiple of 4?
False
Suppose -91*m + 280 = -86*m. Let s be m/(-9) + (-16)/(-72). Does 43 divide (5/25*s)/(1/(-60))?
False
Let t(d) = 63*d**2 - 11*d - 10. Suppose 9*l + 45 = 27. Does 46 divide t(l)?
False
Suppose -1693268 = -315*g + 12*g + 236842. Is g a multiple of 10?
True
Let y(f) = -6*f - 18*f + 4*f + 89*f**2 + 641*f**2 - 12 + 7*f. Does 44 divide y(-1)?
False
Suppose 2*j - 82 = 54. Is 49 a factor of j/(-51)*(-883 + 1)?
True
Let b(n) = -57*n**3 + 51*n**2 + 159*n + 30. Does 42 divide b(-8)?
True
Let f(s) be the third derivative of -7*s**4/24 - 59*s**3/3 + 119*s**2. Does 3 divide f(-22)?
True
Suppose -6*i + 17694 = 6150. Is 127 a factor of i?
False
Suppose -2*l - 3*w = 10, -3*w - 1 = -4*l - 3. Let v be (-8)/(-12)*l + (-4)/6. Let y = v - -12. Is 5 a factor of y?
True
Let i = 28 + 35. Let k = i + 90. Is k a multiple of 11?
False
Suppose -3495 = -25*r + 4155. Does 16 divide r?
False
Let w = 2768 + -1112. Is 36 a factor of w?
True
Let i(b) = -b**3 + 38*b**2 + 81*b - 354. Does 6 divide i(38)?
True
Let v = 6231 - -25256. Does 30 divide v?
False
Let l(g) = -2*g**2 + 4*g + 836. Let z be l(0). Suppose -92 + 510 = 2*f - 4*d, -4*d - z = -4*f. Is f a multiple of 11?
True
Let a(r) be the third derivative of 17*r**4/24 + 9*r**3/2 - 11*r**2 - r. Is a(9) a multiple of 30?
True
Let v be (1328/4 - -2)*(-1)/(-2). Suppose 0 = k - 5*j - v, -5*k + 8*k - 549 = -j. Suppose -o = 4*f + f - 222, 0 = 4*f + 3*o - k. Is 13 a factor of f?
False
Suppose -h - 6688 = 15*h. Let a = h - -565. Is a a multiple of 8?
False
Let h = 116 + -2. Let w = -109 + h. Suppose -167 = 4*z - w*z. Is z a multiple of 20?
False
Let s(a) = -2*a**2 - 1. Let g be s(-1). Let v(r) = -r**2 - 3*r + 7. Let i be v(g). Is 7 a factor of 164/2*i/14?
False
Let g(c) = 25*c + 355. Let b(n) = n**3 - 26*n**2 + 87*n + 9. Let m be b(22). Does 5 divide g(m)?
True
Suppose -l + d = l - 7, -4*l + d + 13 = 0. Suppose -f = -5*o + 3013, -2*f - 617 = -o + l*f. Suppose -7*c + o + 238 = 0. Is 12 a factor of c?
True
Let v be 182*2*(-18)/21. Let x = v + 455. Is 79 a factor of x?
False
Let k = 6 + -1. Let n be 12/32 - (-10)/16. Is 3 a factor of (99/15)/(0 + n/k)?
True
Suppose 9 - 21 = -4*n. Suppose n*m - 3*p = -0*p + 78, m + 3*p - 6 = 0. Does 7 divide m?
True
Is 58 a factor of (-32)/24 - (-58310)/15?
True
Let b(g) = 416*g + 339. Does 3 divide b(11)?
False
Suppose -2090*u - o = -2085*u - 70667, 28262 = 2*u + o. Does 9 divide u?
False
Suppose -2*o = 3*o + 75. Let x = o + 18. Suppose -35 - 82 = -x*p. Is p a multiple of 8?
False
Suppose 4*j = 4*c - 1648, 0*c = 5*j + c + 2072. Let k = j - -443. Is 3 a factor of k?
False
Suppose -4299 = -2*u - 4*n + 35, -8688 = -4*u - 4*n. Is u a multiple of 10?
False
Suppose 33 = 2*m + 27. Let a be (m/1)/(5 - 36/8). Suppose 0 = a*d + 4*d - 860. Does 11 divide d?
False
Let k = -3137 + 4740. Does 62 divide k?
False
Let p(m) = 10*m**2 - 3*m + 10. Let k be p(3). Suppose -15 = f - k. Suppose 2*v - f = 12. Does 10 divide v?
False
Let d = -3798 + 1473. Let l = -1207 - d. Is 86 a factor of l?
True
Suppose 0 = -36*i - 5*i + 164. Suppose -i*t + 151 = -k + 484, -k = 4*t - 341. Does 4 divide k?
False
Suppose 13*y + 3*q + 23478 = 16*y, y - 2*q - 7822 = 0. Is 5 a factor of y?
True
Let v(k) = 3*k**2 - 9*k - 322. Is 7 a factor of v(35)?
True
Suppose -5*t + 2*y + 24251 = 0, 2*t + 17*y = 13*y + 9686. Does 13 divide t?
True
Suppose -x = 6, -22232 = 8*u + 5*x - 416402. Is u a multiple of 15?
True
Let m = 21904 - 14614. Is 270 a factor of m?
True
Does 11 divide (-3)/(-6)*-33*(35340/45)/(-19)?
True
Let z = 14888 - 6248. Is z a multiple of 40?
True
Let b(v) = 20*v + 12. Let n(k) = k + 12. Let f be n(-10). Suppose -f*l + 15 = l. Is b(l) a multiple of 28?
True
Is 28 a factor of (-500790)/(-66) - 93/(-341)?
True
Does 21 divide (-147400)/(-45) + (-8)/(-18)?
True
Let z(i) = -3135*i - 10948. Does 16 divide z(-12)?
True
Suppose n = 5*t - 23 + 6, 2*t = -2*n + 2. Suppose -2*d - 105 = t*m, -2*d - 3*m + 315 = -7*d. Let a = 6 - d. Is 33 a factor of a?
True
Suppose 3*q + 16 = -4*h + 8*h, 0 = 2*q + 3*h - 12. Suppose -t = 3*t - 2*d + 4, q = -5*t + 2*d - 4. Suppose t = 6*l + 83 - 1235. Is 24 a factor of l?
True
Let x(j) = 14 - 13*j + 6 - 2. Let f be x(-12). Is f/(-10)*10/(-3) a multiple of 22?
False
Let f = 3 - -2. Suppose -3*w + 30 = -4*o, -4*w + 43 = 2*o + 3. Does 31 divide 124/f*(w/(-4) + 5)?
True
Let b = 57 - 33. Suppose -4*j = 9*j - 728. Let q = j + b. Does 21 divide q?
False
Let w be (-612)/(-162) - 4/(-18) - -1. Suppose 12 = 2*f - w*t - 38, 2*f + 2*t = 64. Is f a multiple of 7?
False
Suppose -317946 - 48148 = -196*l + 268358. Does 13 divide l?
True
Is 0/(41 - 74) + 40868 + 0 a multiple of 129?
False
Let o(v) = -18 - 9 + 3*v + 22. Let g = -13 + 18. Does 10 divide o(g)?
True
Suppose 7*b + 0*b - 532 = 0. Suppose b*t = 81*t - 960. Is t a multiple of 16?
True
Suppose -11208 = 14*s + 10*s. Let t = s - -820. Does 18 divide t?
False
Let s be 684 + (2/(-2))/((-8)/32). Suppose 3*f + 2*h = 1660 + s, 3904 = 5*f + h. Suppose f = 10*i - 320. Does 10 divide i?
True
Let y be (15 - 7) + -3 + 0/2. Suppose y*x + 4*b - 23