ppose m*r - 54 = 9*r. Is 5 a factor of r?
False
Suppose 1 = 5*l + 6. Let a(x) = -2*x**3 + x + 1. Let k be a(l). Does 11 divide ((-8)/(-16))/(k/96)?
False
Is 38 - 36 - 18/2 - -2347 a multiple of 130?
True
Is 50 a factor of (-4)/5 + 23184/230?
True
Let i(t) = t**3 - 3*t**2 - 6*t - 17. Let y be i(5). Suppose 24 - 96 = -d. Suppose -4*v + m - 6*m = -d, 4*m = y*v - 85. Is v a multiple of 9?
False
Suppose k + 5*k = -1794. Does 11 divide k/(-7) + (-4)/(-14)?
False
Suppose -15 - 21 = 2*g. Let h(i) = i**2 + 9*i + 13. Is 35 a factor of h(g)?
True
Let a(w) = 17*w**2 - 2*w. Suppose -3*y - 6*y = -18. Is a(y) a multiple of 4?
True
Suppose 2*r - 2*g = r + 15, 20 = -4*g. Is r a multiple of 2?
False
Let p(c) = 3*c**2 + 17*c - 30. Does 22 divide p(10)?
True
Let i be (-114)/4 - 3/(-2). Let j = 26 - i. Does 18 divide j?
False
Suppose 715 = 5*s + i, -19 = s - 5*i - 188. Is s a multiple of 12?
True
Let j(x) = 4*x + 3. Let z = 78 + -72. Is j(z) a multiple of 4?
False
Is (-10)/5 - (3 - 2) - -1122 a multiple of 10?
False
Let v be 1/(-3)*(1 - 16). Suppose -420 = -2*h - 4*d, -v*h = 4*d - d - 1043. Is h a multiple of 11?
False
Let m be (2 + -3)*-1 + 2. Suppose -m*k + 40 + 116 = 0. Suppose r - 4*a - 21 = 7, 4*r - k = a. Does 12 divide r?
True
Let i = 13 + -13. Suppose 5*y + 3*j - 81 = 0, i*j = 4*j - 8. Let b = y + 9. Is 11 a factor of b?
False
Let l(d) = -d**3 + 5*d**2 - 14*d - 5. Let g be l(-6). Suppose -g = -2*n + p, -3*n = -5*n - 5*p + 493. Is 22 a factor of n?
False
Is 27 a factor of (22/33)/(2/597)?
False
Suppose 0 = r + 15 + 47. Let s = -21 - r. Is s a multiple of 12?
False
Suppose 4*z - 888 = 12*b - 8*b, 4*z + b = 868. Does 4 divide z?
False
Suppose 3*w = 5*m - 51, 5*m = 2*m + 9. Suppose 10*c = 139 + 641. Does 6 divide (6/w)/((-3)/c)?
False
Suppose -115*i + 630 = -109*i. Is 4 a factor of i?
False
Suppose 0 = -j - 3*w + 10, -4*j + w = -7*j + 6. Let s be 0/(j - -2 - 2). Suppose s = 3*q - 17 - 97. Is 10 a factor of q?
False
Let g = -766 + 1077. Is 8 a factor of g?
False
Suppose 4*g - g - 1400 = 2*b, 4*g - 2*b - 1868 = 0. Is g a multiple of 6?
True
Suppose 0 = 4*n - 9 - 3. Suppose 5*h - 120 = c, -n*c + 30 = 3*h - 60. Suppose h = 5*t - 55. Does 11 divide t?
False
Suppose -l - 8 = -2*r, -3*l - 1 + 2 = -r. Suppose 447 = 3*a + r*g, -5*g + 83 = a - 56. Is a a multiple of 16?
False
Suppose 0 = -2*l - l - 18. Is 19 a factor of 3 + 306/12 - l/4?
False
Suppose 3*f - 19 = -2*t, -t + 22 = -3*f + 7*f. Let i(k) = k**2 - 3*k - 1. Is i(f) a multiple of 8?
False
Let v(c) = c**2 + 13*c + 4. Let r be v(-13). Let n = 2 + r. Does 6 divide n?
True
Suppose 4*f = -2843 + 3123. Is f a multiple of 21?
False
Let z(k) = -k**3 + 13*k**2 - 10*k - 14. Let f be z(11). Let y = f - 64. Is y a multiple of 18?
True
Suppose -m - 3*f = -7*f + 2, 0 = 5*m + 5*f - 15. Suppose m*n - 136 = 2*p, 3*n - 253 = p - 49. Does 17 divide n?
True
Is 18/(-9) - (-991 + 1) a multiple of 76?
True
Let p be 9 + (3 - (-1 - -7)). Suppose p*v - 4*v - 8 = 0. Suppose 3*y + 67 = 2*g, v*g + y + 3*y - 164 = 0. Is 21 a factor of g?
False
Suppose -2*v = -0*v - 4. Let s(p) = -4*p**2 + 5 - 20*p + 3*p**v - 20. Does 21 divide s(-11)?
True
Let z(d) = -41*d + 16. Let n be z(-6). Suppose b + 0*l - 69 = 3*l, n = 4*b - 5*l. Is b a multiple of 21?
True
Suppose -3*n - 4*n = -4522. Is n a multiple of 34?
True
Suppose 2*n + 4*c = 13 + 63, -5*n + 226 = c. Suppose l - n = -0*l. Does 13 divide l?
False
Suppose 1 + 9 = 2*w. Suppose -w*k = -4*x + 25, -x - 2*k = k - 19. Is x + (-4)/((-3)/(-3)) a multiple of 6?
True
Let l = -32 - -51. Suppose 21*o = l*o + 68. Is 17 a factor of o?
True
Let z be 39/7 + 3/7. Suppose 0 = z*v - 120 - 24. Does 5 divide v?
False
Let u(v) be the first derivative of -v**5/60 + 3*v**4/8 + 11*v**3/6 - 7*v**2/2 + 3. Let k(h) be the second derivative of u(h). Does 12 divide k(7)?
False
Suppose 7*x - 4*o - 1020 = 6*x, 3*x - 5*o = 3095. Is x a multiple of 16?
True
Let u(d) = -7*d + 89. Is 10 a factor of u(-35)?
False
Suppose -13 = -3*v + 23. Suppose 48 = 2*b - 5*b + 3*m, -3*m = -v. Let q = -2 - b. Does 10 divide q?
True
Let f = -26 - -29. Suppose -2*w - 2*w = 3*t - 478, -f*t - 490 = -4*w. Is 11 a factor of w?
True
Let k = 19 + 77. Does 12 divide k?
True
Let b be ((-69)/(-4))/(3/8). Let r = b - -12. Is 12 a factor of r?
False
Let n = -4046 + 5850. Is 11 a factor of n?
True
Let v = -53 - 3. Let n = -32 - v. Is n a multiple of 24?
True
Let s = 6 - 6. Suppose 4*y - 31 = -2*h - 1, -h - 1 = s. Is 4 a factor of (-4)/y*-2*14?
False
Suppose -6*q - 1321 = -2089. Is 35 a factor of q?
False
Let x(y) = y**3 - 4*y**2 - 3. Let o be x(4). Let a be o*(16/(-12) - 0). Suppose 0 = r + 5, 2*k - 61 = r + a*r. Is 6 a factor of k?
True
Suppose 0 = -216*i + 213*i + 216. Does 4 divide i?
True
Let u(m) = -4*m - 36. Let j be u(19). Let f = j - -238. Does 18 divide f?
True
Is (-3 - 1) + 9 - -60 even?
False
Let v be (-8)/(-28) - 82/(-7). Let x = v - 10. Suppose -x*m = c - 37, 0 = c + 3*c + 3*m - 123. Is 8 a factor of c?
False
Let y(i) be the third derivative of i**5/20 + i**4/12 + 5*i**3/6 - 24*i**2. Let d(v) = 5*v**3 - v**2 - v + 1. Let c be d(1). Is y(c) a multiple of 17?
False
Suppose -3*d + 1328 = 2*m, 4*m = -21*d + 20*d + 446. Is 12 a factor of d?
False
Let h be 5/((-5)/(-4)) - 1. Suppose -230 = -2*t - h*f, 4*t - 438 = -0*f + 5*f. Does 16 divide t?
True
Suppose -5*f = 2*i - 10198, -3*f - 2*i + 6122 = -4*i. Is 68 a factor of f?
True
Let m = -1431 - -2641. Suppose 2*b - 7*b - l = -1235, -5*b + m = -4*l. Suppose 4*o = -2*o + b. Is o a multiple of 10?
False
Let g(i) = 151*i**2 - 4*i - 13. Let l = -13 - -4. Let s(p) = -38*p**2 + p + 3. Let b(v) = l*s(v) - 2*g(v). Does 20 divide b(-1)?
True
Suppose 2*c + 4 - 8 = 0. Suppose 3*x - c*x = 38. Is 20 a factor of x?
False
Let c = 5 + 1. Let m(f) = -f + 10. Let r be m(c). Suppose r*b = b + 36. Does 5 divide b?
False
Let l be (-4)/(-18) + (-3 - (-2876)/18). Let o = -101 + l. Does 4 divide o?
True
Is 47 a factor of 5*(-4)/(-90) + 70047/81?
False
Let x = -29 + 36. Suppose -x*m + 89 = -2. Is m a multiple of 2?
False
Let c(w) = -w**2 - 15*w - 6. Let m(t) = t**2 - 5*t - 2. Let h be m(6). Suppose 0 = -3*p + h - 43. Is c(p) a multiple of 10?
True
Let k = 41 - 37. Is (k/(-2))/(2/(-12)) a multiple of 6?
True
Suppose 3*l = 5*m - 0*m - 1615, l = 2*m - 647. Suppose -4*b = j - 0*j - 160, -2*b + m = 2*j. Suppose -j = -0*f - 2*f. Is f a multiple of 26?
False
Is 2 - (-4)/(-12) - 1000/(-3) a multiple of 32?
False
Let g be (-172)/(-6) + 22/(-33). Let v = 14 + g. Is v a multiple of 29?
False
Let t = 3935 - 1805. Is t a multiple of 10?
True
Let r(p) = p**3 - 15*p**2 + 15*p - 13. Let b be r(14). Is ((-11)/22)/(b/(-178)) a multiple of 19?
False
Suppose -3*n - x + 112 = 0, -4*n + x + 67 = -80. Let b = n + -1. Is 6 a factor of b?
True
Let i(h) = 20*h - 376. Is 4 a factor of i(22)?
True
Let u(w) = w**3 + 5*w**2 - 4*w - 4. Let l be -6*3*(-3)/(-9). Let d be u(l). Let s = d + 30. Is s a multiple of 11?
False
Suppose 259*m - 4794 = 253*m. Does 8 divide m?
False
Suppose -8*q + 8 = -6*q. Let k be -1*(10/(-2) + 0). Suppose -102 = -q*d - k*b, 0 = -3*d + 3*b + 30 + 33. Does 23 divide d?
True
Suppose -6 - 54 = -3*k. Is 2 a factor of k?
True
Suppose -10*w + 1476 = -7*w. Suppose -1696 = -14*a - w. Is 17 a factor of a?
False
Let y = 3741 - 1969. Is 40 a factor of y?
False
Suppose -4*n + 2032 = -4*c, 0*n = -n - 5*c + 520. Is n a multiple of 15?
True
Suppose -3*g + 5*q = -1201, 6*q - 1950 = -5*g + 4*q. Is 79 a factor of g?
False
Suppose j - 20 = -12. Suppose -j*p + 120 = -5*p. Is p a multiple of 8?
True
Let k = -7 - 3. Let b be 15/3*(-616)/k. Suppose -d - d = 0, 4*a = 5*d + b. Does 18 divide a?
False
Let u = -6127 + 8719. Suppose 8*f = -4*f + u. Is f a multiple of 12?
True
Does 23 divide (-718 - -1)*32/(-48)?
False
Let u(g) = -24*g + 469. Is u(-5) a multiple of 60?
False
Suppose -9454 = -5*t + 2*b, -2*t = 4*b + 1920 - 5692. Is t a multiple of 13?
False
Let h(u) = -u**2 + 3*u. Suppose 2*a = 2 + 2. Let y be h(a). Let z(d) = 12*d + 2. Is z(y) a multiple of 11?
False
Let q = -1306 + 1901. Does 7 divide q?
True
Let f(n) = n**2 - 2*n. Suppose -2*b = -2*w - 14, w + 0*w = -4. Let q be f(b). Suppose q*h = -3 + 42. Is h a multiple of 5?
False
Suppose -4*a + 430 = 1606. Let w = 88 - 278. Let b = w - a. Is b a multiple of 15?
False
Suppose -8*h + 2 = -7*h. Suppose 4*d + 2*