multiple of 47?
False
Suppose -3*u + 2*u + 200 = 5*q, -2*q + 368 = 2*u. Suppose 4*n + n - u = -2*h, -h + n + 83 = 0. Is h a multiple of 12?
False
Let g(u) = u**3 - 3*u**2 + u - 1. Let b be g(2). Let c be (-25 + b)/((-4)/(-10)). Is 9 a factor of (-2)/(-4) - c/4?
True
Let d(x) = -49*x - 374. Does 12 divide d(-26)?
True
Suppose -780 = -4*u - 4*o, 4*u - 5*o - 780 = -0*u. Is 72 a factor of u?
False
Let k = -31 - -33. Suppose 3*f - k*l - 208 = -78, 0 = -l - 2. Does 14 divide f?
True
Let g(w) = w**2 - 5*w - 4. Let v be g(4). Let r = v + 28. Suppose -6*z + r = -2*z. Does 5 divide z?
True
Let s be 3/2*16/(-24). Let u = 13 + s. Suppose 4*n - u = 20. Does 8 divide n?
True
Let t(k) = 8*k**2 - 7*k - 20. Is 35 a factor of t(-9)?
False
Let u be 2/3 - 1 - (-75)/9. Suppose 0 = -u*t + 614 + 514. Is 11 a factor of t?
False
Suppose -12*g = -7*g - 10780. Is 49 a factor of g?
True
Is 59 a factor of 23076/12*((-4)/6)/(-2)?
False
Is 757 + (-4 - -5) + 6*1 a multiple of 16?
False
Let d = -52 - -113. Let q = -43 + d. Is q a multiple of 5?
False
Let j(o) = 13. Let p(a) = a + 12. Let k(b) = 3*j(b) - 4*p(b). Is k(-5) a multiple of 11?
True
Suppose l - 2 = 0, 2*w - 2*l = -3*w + 71. Suppose 0 = w*z - 12*z - 126. Does 22 divide z?
False
Suppose -240 = -3*l + 960. Suppose 3*y = 8*y - l. Suppose -5*m = -0*m - y. Is m a multiple of 8?
True
Suppose -4*q - 120 = -0*q - 2*c, c - 92 = 3*q. Suppose -7*a - 522 = 2*a. Let d = q - a. Is 13 a factor of d?
True
Suppose 203*c - 212*c = -9027. Does 59 divide c?
True
Let g be 24/(-9)*(-15)/4. Is 8 a factor of 7*g/(-3)*21/(-14)?
False
Suppose 2*b + 3*i = 724, 4*b + 5*i - 1452 = i. Is 9 a factor of b?
False
Suppose -2*b + 0*b + 36 = 0. Suppose -b = -c + 2*c. Let u = 58 + c. Is 17 a factor of u?
False
Let r(s) = 5*s**2 - 23*s + 12. Let i be r(18). Does 40 divide (-5)/(-25) - i/(-10)?
False
Suppose -2084 = 30*m - 31334. Is m a multiple of 6?
False
Let m be (-4 + 8)/(-4) + 12. Suppose -6 = 5*k - m. Let p = k - -19. Is p a multiple of 10?
True
Suppose 210*n - 208*n - 1040 = 0. Is 52 a factor of n?
True
Suppose -46 = 3*j - 139. Does 21 divide j?
False
Let d(g) = -27*g + 18. Let p be d(-6). Does 8 divide p + (6 - (4/(-1))/(-2))?
True
Suppose 76*t - 12656 = 60*t. Is 26 a factor of t?
False
Let w be (-3 + -1)/(-1) - -3. Let n be (3 - -11)*6/w. Suppose o + n = 39. Does 9 divide o?
True
Let w(a) = -a**2 + a + 141. Let n be w(0). Suppose -3*x - n - 48 = -2*r, -4*x - 12 = 0. Does 7 divide r?
False
Let f(w) be the first derivative of -w**5/20 + w**4/2 + 7*w**3/6 + 5*w**2 - 3*w - 1. Let y(u) be the first derivative of f(u). Is 5 a factor of y(7)?
True
Let t(y) be the second derivative of -5*y**3 - 19*y**2/2 - y. Does 23 divide t(-6)?
True
Let z(o) = 13*o + 17. Let x(b) = 12*b + 18. Let j(y) = -2*x(y) + 3*z(y). Does 20 divide j(7)?
True
Suppose 5*n + 18 = -7, 0 = -3*r + 4*n + 179. Let s = r - -5. Is 11 a factor of s?
False
Let u be 11/22 + (-2)/4. Suppose r + 3 = -u, 5*k - 3*r = 79. Let i = k - 3. Is i a multiple of 4?
False
Let a(v) = 13*v - 80. Is 19 a factor of a(31)?
True
Is (-1386)/165*710/(-4) a multiple of 17?
False
Let f(p) = 22*p - 7. Let o(z) = 44*z - 14. Let b(a) = 7*f(a) - 4*o(a). Let y be b(-10). Suppose 3*x = y + 1. Is 19 a factor of x?
True
Let u(v) be the third derivative of -v**5/60 + v**4/2 + 11*v**3/3 - 5*v**2. Let n be u(15). Let g = n - -37. Is 14 a factor of g?
True
Let i = -47 - -47. Suppose i = 5*v - 2*v - 18. Is 2 a factor of v?
True
Let o be -14*((-20)/(-8) - 2). Does 13 divide (-4)/o*(-259)/(-2)?
False
Let y = -19 + 19. Suppose 0 = 5*j + 5, y*j + 290 = 5*n + 5*j. Is 24 a factor of n?
False
Let k be (3 - 3)/(-1) + 7. Suppose -k*h + 44 = -3*h. Does 2 divide h?
False
Suppose -32*g = 2*u - 28*g - 724, 3*u - 5*g = 1053. Is u a multiple of 12?
False
Suppose 0 = -2*b + 7*b. Does 35 divide 0 + 105*1 + b?
True
Let p = 53 - 51. Suppose -4*o + g + p*g + 300 = 0, -g = -5*o + 364. Is o a multiple of 9?
True
Let j be (-1)/(16/28)*4. Let s be 0 + 2 + -2 + j. Does 11 divide (6/5)/(s/(-245))?
False
Is ((-9)/2)/((-29315)/2662 + 11) a multiple of 19?
False
Let t be 70/(-3)*120/(-50). Suppose -5*z = -3*h + 188, 4*h + t - 23 = -z. Let g = -1 - z. Does 9 divide g?
True
Is 32 a factor of 1121/5 - (-3)/(-15)?
True
Suppose 2*x = 5*c - x - 2058, -5*c - 3*x = -2082. Does 18 divide c?
True
Does 94 divide (-18868)/(-8) - (-13)/26?
False
Let r(d) = -61*d - 115. Does 11 divide r(-10)?
True
Let r = -13 - -27. Suppose 5*h - 26 = -4*u, -2*h + r = 3*u - h. Suppose u*j = -o + 236 - 53, 161 = 3*j - 4*o. Is 25 a factor of j?
False
Let b(v) = -v**3 - 9*v**2 - 15*v + 11. Let w be b(-7). Let n = w - -81. Is n a multiple of 22?
False
Let q(l) = -5*l**2 + 4*l**2 + 7*l - 2*l. Let v be q(5). Let b = 16 + v. Does 8 divide b?
True
Suppose 138 = -3*a + 2*p + 571, -5*a = -5*p - 715. Does 17 divide a?
False
Let s = -251 - -287. Is s a multiple of 12?
True
Let p = 95 - 93. Does 16 divide ((-59)/p)/(2*(-3)/12)?
False
Suppose 0 = -14*l - 0 + 28. Suppose -5*k = 4*u + 31 + 6, -5*u - 45 = 5*k. Is l + (u/(-4) - -26) a multiple of 17?
False
Let q(h) = -h**2 - 6*h + 3. Let f be q(-3). Let b be 2 + 4/(f/111). Suppose -3*p - 3*a + 137 = a, -p + b = 3*a. Does 17 divide p?
True
Let h = 36 - -14. Suppose -8*c = -3*c - h. Does 4 divide c?
False
Is (-3 + 162/(-3))/(-1) a multiple of 2?
False
Let q(c) = c**3 - 7*c**2 + 3*c + 7. Let n be q(6). Let y = 4 - n. Suppose 0 = d - y - 5. Is 12 a factor of d?
False
Is ((-276)/(-9) - 4)/((-2)/(-24)) a multiple of 20?
True
Suppose -1232 = -0*m - 2*m. Is m a multiple of 25?
False
Suppose 1881 + 3947 = 31*u. Is u a multiple of 49?
False
Let q(a) = a**3 - a**2 - 22*a + 224. Is q(0) a multiple of 28?
True
Let j(f) = 45*f**2 - 8*f + 1. Is 18 a factor of j(4)?
False
Let i be (52/39)/(1/48). Suppose 4*p = -4*z + i + 268, 2*p + 264 = 3*z. Does 11 divide z?
False
Let t(o) be the second derivative of o**5/20 + 7*o**4/12 - 3*o**3/2 + 2*o**2 - 11*o. Suppose 2*h + h = -21. Is 22 a factor of t(h)?
False
Let b(z) = 4*z**2 - 7*z - 9. Let t(n) = -13*n**2 + 22*n + 27. Let r(v) = 7*b(v) + 2*t(v). Does 24 divide r(9)?
False
Let n(t) = t**3 - 5*t**2 + 5*t - 2. Let y be n(4). Suppose 2*k + 39 = -y*c - c, -3*c - 5*k = 30. Let s = c + 22. Is s even?
False
Suppose 0*y = -y - 1. Let k be (0 + y + 1)/2. Suppose -4*t + 7*t - 294 = k. Is 33 a factor of t?
False
Suppose 211*i = 210*i + 435. Is i a multiple of 8?
False
Suppose -66571 = -34*t - 10267. Does 72 divide t?
True
Suppose -4 = 4*l - l + 5*k, -l + 5*k = -12. Suppose 0 = l*c - 39 - 213. Is c a multiple of 21?
True
Let m(z) = -z**3 - 13*z**2 + 7*z + 4. Does 3 divide m(-14)?
True
Let b be (-1 + (-3)/(-2))/(3/42). Suppose b = -3*d + 22. Does 5 divide d?
True
Suppose 9*q = 3*q + 3780. Is q a multiple of 18?
True
Suppose 3207 = 6*j - 4137. Suppose g + 3*g - j = 0. Does 53 divide g?
False
Suppose 2*n - 9 = 1. Suppose -5*f - 4*g + 28 = 0, -3*g - g = -n*f + 12. Suppose -5*b + 180 = f*s - 6*s, -5*s = 4*b - 144. Is 9 a factor of b?
True
Suppose 17 = 5*x - 8, 185 = -3*z + 4*x. Let n be (-36)/20*1*-45. Let m = z + n. Is m a multiple of 5?
False
Suppose -6*f = -9*f + 9. Suppose -f*g - 3*u + 1 = -53, 0 = 2*u + 6. Is g a multiple of 7?
True
Let o = 26 - 22. Suppose 0*m - o*n = -3*m + 6, 4*m = 2*n - 2. Does 17 divide (-58)/m + 4 - -1?
True
Let x(p) = -p**3 + 12*p**2 - 11*p + 4. Let s be x(11). Suppose s*q - 3 = 9. Suppose -q*m = 2*c - m - 110, c - 5*m = 31. Is 9 a factor of c?
False
Let l be -3*1 - 76/(-2). Suppose 10*j = 5*j + l. Let m(i) = -i**2 + 12*i - 10. Does 13 divide m(j)?
False
Let b(a) = 36*a**3 - 2*a**2 + 7*a - 4. Does 83 divide b(2)?
False
Let r = -157 + 315. Does 20 divide r?
False
Suppose -r = -3*n + 503, -659 - 30 = -4*n + 5*r. Does 4 divide n?
False
Suppose -c - 3*c = 28. Let n(x) = -x**3 - 5*x**2 + x + 4. Does 19 divide n(c)?
True
Let s(l) = -5*l + 8. Let b be (-2)/7 - (-270)/(-35). Does 8 divide s(b)?
True
Suppose -3*g - 1 + 13 = 0. Suppose -2*x + 93 = 25. Suppose -x = g*n - 430. Does 33 divide n?
True
Let w = 663 + -393. Does 11 divide w?
False
Let a(y) = -67*y + 51. Let o be a(8). Is (-2 - -1)/(3 + o/160) a multiple of 4?
True
Let o = -68 - 104. Let y = -36 - o. Does 13 divide y?
False
Let n be (-3)/(-2)*70/21. Suppose 0 = n*q - 8 - 22. Suppose -3*o + q = -15. Is o a multiple of 4?
False
Suppose -2*i - 285 = -5*i. Suppose 