85 = 7*h + 15. Suppose -5*f - i + 166 + 229 = 0, -h = 2*i. Is f a multiple of 25?
False
Suppose 0 = 2*u + 13 - 5, -2*u - 16 = -2*g. Let r = -7 - -9. Suppose 0 = -g*a - 2*p - 2*p + 48, 5*a + r*p = 69. Is 15 a factor of a?
True
Let g = 38 + 366. Is g a multiple of 36?
False
Let t(b) = 18*b**2 - 12 + b**3 - 20*b - 14 - 3*b. Is t(-19) a multiple of 32?
False
Suppose s - 6*s - 10 = 0. Let n(u) = -2*u + 3*u - 4*u - 2*u. Does 5 divide n(s)?
True
Is 34 a factor of (1 + 7)*(-22 - -80)?
False
Suppose -4*q - 124 = -4*y, y = -2*y - 3*q + 63. Does 13 divide y?
True
Let a be 2*-6*(-12)/48. Let j(m) = 26*m - 2. Does 12 divide j(a)?
False
Let a = 10 - 17. Let o = 47 + -47. Does 5 divide (o - 2) + a/(-1)?
True
Let f(i) = -i**2 - 30*i - 11. Is f(-10) a multiple of 63?
True
Let m(d) = d - 5. Let o be m(7). Let u be (o/(-3))/(7/(-1407)). Suppose 4*i + 5*a = 186, 3*i - u = -a - 0*a. Is i a multiple of 24?
False
Let i = -14 - -5. Let g = 14 - i. Let d = g + -11. Does 8 divide d?
False
Suppose 3*o - 4*a - 32 = -0*o, 2*a + 22 = 3*o. Suppose -q - 6 = -z, -5*z + o*q + 50 - 18 = 0. Suppose 52 - z = 4*d. Is 4 a factor of d?
False
Let p = 55 - 53. Suppose 0 = -0*l + 3*l - 261. Suppose -p*c + l = 1. Is 9 a factor of c?
False
Let x = 192 + 73. Is x a multiple of 5?
True
Suppose -4 = 4*v, -5*v - 527 = -3*s - 30. Does 15 divide s?
False
Let s(n) = 6 - 8*n + 5*n**2 - 2*n**3 - 6*n**2 + n**2 + 10*n**2. Let j be s(6). Let x = 199 + j. Is 22 a factor of x?
False
Let m(k) = 54*k + 2. Suppose -2*g + 3*i + 6 = 1, 5*g = -5*i. Does 14 divide m(g)?
True
Suppose 0 = j + 5*m - 219 - 4, -2*j + 419 = m. Does 16 divide j?
True
Let k be (-3)/((-1 - -2)*(-2)/74). Let m = k + -51. Is 15 a factor of m?
True
Let p(t) = 29*t + 10. Let i be p(3). Let l = i + 50. Is l a multiple of 27?
False
Suppose 0 = -2*a + 10, 2*a = n - 6*n + 20. Suppose 0 = 5*f + n*f - 462. Is f a multiple of 22?
True
Let j(t) = 7*t - 23. Let q(d) = d**3 - 8*d**2 - 7*d - 10. Let z be q(9). Is j(z) a multiple of 3?
True
Suppose -2*w - 84 = 5*w. Does 14 divide ((-49)/3)/(2/w)?
True
Suppose 48*x - 560 = 46*x. Is x a multiple of 7?
True
Let s(m) = 219*m**2 - m - 1. Let j be s(-1). Let p(o) = -2*o**2 - 7*o - 7. Let n be p(7). Let d = n + j. Does 13 divide d?
True
Suppose -1207 - 1152 = -7*s. Is 45 a factor of s?
False
Let t(q) = -3*q - 34. Let c be t(-14). Let r(o) = 11*o - 38. Does 10 divide r(c)?
True
Let l = -108 + 174. Suppose 8*m - 6*m = l. Is 8 a factor of m?
False
Is 1 - (-7)/(-5) - (-459034)/2935 a multiple of 7?
False
Suppose 2*p - 3462 = -t, t + 934 + 4254 = 3*p. Does 20 divide p?
False
Let l(g) = g**3 - 39*g**2 - 168*g + 110. Is l(44) a multiple of 109?
True
Let i = -352 - -616. Does 12 divide i?
True
Let h(u) = 3*u**3 - 2 + 2*u**3 - 20*u - u**2 - 6*u**3 - 16*u**2. Is h(-16) a multiple of 9?
False
Let s be (-3 - -10) + (3 - (-1)/(-1)). Suppose -2*u + s*u = 126. Is 9 a factor of u?
True
Let s = -133 - -191. Let x = -46 + s. Is x a multiple of 3?
True
Suppose 2*j - 2*k + 14 = 0, 0*j - 2*k + 2 = 2*j. Let s = j - -178. Suppose -200 = -5*z + s. Does 20 divide z?
False
Suppose g - 4*m - 280 = 0, 4*g - 7*g + 765 = 3*m. Is g a multiple of 20?
True
Suppose -13*d = -6*d - 1512. Is d a multiple of 9?
True
Let c = -479 - -859. Does 5 divide c?
True
Let b(z) = 39*z. Let f(q) = q + 12. Let i be f(-8). Suppose -3*x + m + 6 = -2*x, m + i = 0. Does 26 divide b(x)?
True
Suppose -15*h - 48 = -19*h. Suppose 0 = -2*x - 0*x - h. Does 7 divide 215/7 + x/(-21)?
False
Suppose 5*g = -2*z - 0*z + 20, -4*z + 2*g + 64 = 0. Let u = 39 - z. Does 11 divide u?
False
Let y = 370 - 106. Is y a multiple of 24?
True
Let c = -13 - -21. Suppose -c*p = -5*p - 12. Suppose 3*a + 2*v = 2*a + 12, 4 = p*v. Does 5 divide a?
True
Let o = -16 + 21. Suppose 4*q - 305 = -5*v, q - 41 - 24 = -o*v. Suppose 0*r - r = -q. Is r a multiple of 20?
True
Let b = -108 - -71. Suppose 0 = 3*g - 147 - 72. Let r = b + g. Does 11 divide r?
False
Let f = -13 + 15. Suppose 0 = 4*a + 3*m - 31, 4*a + 0*m = f*m + 6. Suppose -r = -6*p + 4*p - 93, -4*r + 352 = -a*p. Is r a multiple of 21?
False
Let i = 14 + -13. Let b(y) = y**2 - y + 4. Let r be b(3). Let l = r - i. Is l a multiple of 9?
True
Let u(k) = k**2 - 2*k + 2. Let y be u(10). Let j(a) = -a**3 - 2*a**2 - 6*a + 5. Let n be j(3). Let c = y + n. Is c a multiple of 13?
False
Let n(u) = -2*u + 16. Let j be n(8). Suppose 3*q - 9 = 0, w + 2*q - 35 + 6 = j. Is 3 a factor of w?
False
Let g = -207 + 304. Suppose 3*h - 8 - g = 0. Suppose 2*a = -2, -170 = -5*t + 5*a + h. Is t a multiple of 20?
True
Does 37 divide -146*54/72*148/(-6)?
True
Let t(s) = s**2 + 4*s - 6. Let f(a) = -a**2 - 6. Let j be f(-4). Let u = 15 + j. Is 15 a factor of t(u)?
True
Suppose 0 = w - 3*c + 20, 0*w - 2*w = -3*c + 37. Let v = 38 - -10. Let t = v - w. Is 10 a factor of t?
False
Let y(s) = -s**3 + 6*s**2 - 6*s + 7. Let a be y(5). Suppose a*v - 8 = -2. Suppose -2*b + 4*d - d + 13 = 0, v*b - 26 = -2*d. Does 4 divide b?
True
Let i be ((-2)/3)/((-3)/135*-6). Let k(x) = -x**3 - 3*x**2 + 2*x + 4. Is k(i) a multiple of 11?
True
Suppose 3*z = -2*h + 24, h = -0*z + 2*z + 19. Is 29 a factor of (-60)/h + (-66)/(-2)?
True
Suppose -4*h + 20 = 4*t, -5*h - 19 = -5*t + 26. Let r(v) = v + 7. Is r(t) a multiple of 5?
False
Suppose m = -u + 12, 0 = -4*m + 2*u + 16 + 8. Suppose f + m = -3*b - 2*b, -4*f + 34 = -2*b. Does 3 divide f?
False
Suppose 4*v + 2*p - 84 = -2*p, -12 = 4*p. Let m = v - 20. Suppose m*y + 128 = 8*y. Does 7 divide y?
False
Suppose -5*k - 13 = -5*n + 7, 0 = 5*n - 2*k - 14. Suppose n*d - 6*b + b - 94 = 0, -8 = 4*b. Is d a multiple of 14?
True
Let b(y) = -y**3 + 11*y**2 - 5*y - 26. Does 4 divide b(5)?
False
Let c(n) = -n**2 - 9*n + 10. Suppose 14 = 4*l + 2. Suppose -2*u + 2*m = 18, 2*u + l*m + 12 = -6. Is 5 a factor of c(u)?
True
Suppose -4*m - 2*w + 709 = -469, m + 4*w = 291. Is m a multiple of 44?
False
Suppose -4 = t - 7. Suppose -10 = 5*a, q + t*a = a + 113. Does 39 divide q?
True
Let k(w) = w - 1. Let p(o) = -3*o + 37. Let t(c) = 4*k(c) + p(c). Does 9 divide t(-23)?
False
Let s be (0 + (-10)/(-2))*1. Suppose s*y - 2*y = 2*a - 21, 4*a = 3*y + 27. Suppose -5 = a*d - 38. Does 5 divide d?
False
Suppose 4*m + 2*q = -12, m = -2*m - 5*q - 2. Let j be 20/(-8)*(m + 2). Suppose -9 = j*f + p - 47, 5*f = 5*p + 50. Is f a multiple of 3?
False
Let k = 101 + 237. Is k a multiple of 26?
True
Does 109 divide 3*2/27 + (-70560)/(-324)?
True
Let d = 87 - 89. Let w(q) = 3*q**3 - 2*q - 1. Let p(m) = -6*m**3 - m**2 + 3*m + 1. Let c(t) = 3*p(t) + 5*w(t). Does 7 divide c(d)?
False
Let g be (-325)/91 - 6/14. Does 46 divide (g + 204/42)/(2/378)?
False
Let s = 108 + -104. Is 2 a factor of (40/(-12))/(s/(-6))?
False
Let d be ((-8)/(-10))/(16/40). Suppose 5*f + 5 = 2*n, d*f - 20 = n + 7*f. Let q(j) = j**3 + 5*j**2 - 8*j - 7. Does 12 divide q(n)?
False
Let r(a) = -607*a + 33. Is 80 a factor of r(-1)?
True
Let v = 16 - 10. Suppose -v*g = -3*g - 51. Is g a multiple of 4?
False
Let n = 23 - 19. Is 23 a factor of (n/56)/((-4)/(-14))*92?
True
Let t = 62 - -82. Suppose 3*r = 6*r - t. Is 12 a factor of r?
True
Let m = -88 - -426. Does 26 divide m?
True
Let n(i) = -129*i**3 - 3*i**2 - 4*i - 3. Is n(-3) a multiple of 21?
True
Let p(f) = 3*f**2 - 17*f + 19. Let n be p(18). Is (-3)/(-5) + n*(-24)/(-100) a multiple of 14?
False
Let q be (-6)/8 + 6*2/16. Suppose -3*k - 3 = q, 5*k = -5*r + 7*r - 247. Is r a multiple of 12?
False
Suppose 0 = 564*n - 558*n - 1326. Does 13 divide n?
True
Does 6 divide (-21575)/(-30) - (-4)/(-24)?
False
Let o(i) = 5*i + 56. Let a = 22 + -22. Is o(a) a multiple of 9?
False
Suppose m = 227 + 380. Is m a multiple of 62?
False
Let r = 510 + 549. Does 28 divide r?
False
Let z(y) = 44*y + 12. Let d be z(7). Suppose 0 = -9*n + 13*n - d. Is 16 a factor of n?
True
Let h(i) = 2*i**2 + 17. Let y(z) = 3*z**2 + z + 18. Let g(u) = -4*h(u) + 3*y(u). Does 19 divide g(13)?
False
Does 19 divide (-3)/(-6) - 1905/(-30)?
False
Let w(j) = 8*j - 14. Suppose -3*t + 3*h = -4 - 11, -4*h = -t - 1. Is w(t) a multiple of 10?
False
Let p(r) be the third derivative of r**7/360 + r**6/240 - r**5/40 + r**4/8 - 9*r**2. Let s(u) be the second derivative of p(u). Is s(2) a multiple of 15?
False
Let g(i) = 40*i - 367. Does 34 divide g(13)?
False
Let z(y) = 4*y - 16. Let b be z(5). Suppose -o + 2*o = 2*h + b, h + 17 = 