5. Suppose 3*r + h*j - 133 = 0, 0 = 4*r - l*j - 175 - 49. Is r a multiple of 18?
False
Is 15 a factor of (2 + 2)/(8/116)?
False
Let g = 7 - 19. Let a = 4 - g. Does 8 divide a?
True
Let k = 184 + -8. Suppose n - k = -3*n. Is n a multiple of 14?
False
Let y(a) = 4*a**2 - 2*a + 1. Let k(l) = 12*l**2 - 5*l + 2. Let u(q) = -2*k(q) + 7*y(q). Is u(4) a multiple of 21?
False
Suppose -5 = 5*d - 4*i, d - 4*i + 26 = 3*d. Suppose -d*w + 98 = 2*a, 3*w - a - 82 = a. Is 13 a factor of w?
False
Let b(d) = 6*d**2 - 19*d + 13. Let w(u) = -7*u**2 + 20*u - 14. Let l(o) = -6*b(o) - 5*w(o). Is l(10) a multiple of 16?
True
Let v(k) = k**2 - 8*k + 7. Let o be v(5). Let m = 46 + o. Is m a multiple of 11?
False
Let h be 1 - 14/((-4)/2). Let k(x) = -x**2 + 3*x + 1. Let l be k(2). Suppose -l*j + 1 + h = 0. Does 3 divide j?
True
Does 2 divide (-6 - 0)/((-15)/20)?
True
Let k = 7 + -2. Suppose k*v + 19 = 5*h - h, 0 = -v + 5. Is h a multiple of 11?
True
Is 2 + (15 - (-6)/(-2)) a multiple of 14?
True
Suppose -r - 4*r = -175. Is 1*r*10/25 a multiple of 10?
False
Let s = -137 + 267. Is 10 a factor of s?
True
Let s(t) = 62*t + 2. Does 8 divide s(1)?
True
Let a(s) = -4*s + 7. Let o(d) = d**2 + 8*d - 13. Let g(b) = 5*a(b) + 3*o(b). Let u be g(-6). Suppose 3*n = u - 29. Does 9 divide n?
False
Let y be 15/((-1)/(-4) - 0). Suppose -4*j + y = -m + 22, 12 = 2*j + 3*m. Is 5 a factor of j?
False
Let t = -4 + 6. Is 2 a factor of t?
True
Let v be (-1 - 0) + 1 + -1. Let l = -10 - v. Is 16 a factor of (-6)/l + 188/6?
True
Let o be (-34)/(-6) - (-5)/15. Suppose 0 = -0*z - z - o. Is (7/(-2) + 1)*z a multiple of 15?
True
Let p(q) = -q**3 - 3*q**2 - 3*q. Let h be p(-2). Let x be (h*-1 - -26) + 1. Does 12 divide (x - -1) + (-2 - 0)?
True
Suppose 4*w = 268 + 36. Suppose -2*u = v - 3*u + 17, 0 = 4*v + 4*u + w. Let a = v - -34. Is a a multiple of 16?
True
Let y = -3 + 5. Suppose d - 4*l - 16 = 0, -d - 18 = 5*l - 7. Suppose -4*u - 4*o + 68 = 0, -8*u = -d*u + y*o - 70. Is 10 a factor of u?
False
Suppose f - 5*p = -0*p + 27, -2*p - 68 = -3*f. Does 18 divide f - 3/(6/(-4))?
False
Let r(p) = 7*p - 4. Does 9 divide r(6)?
False
Suppose -d = -2*m - 179, 271 = 5*m + 4*d + 751. Does 9 divide m/(-5) + 6/10?
False
Let k = 38 + -20. Is 5 a factor of k?
False
Let c = 1 + 13. Let g = 27 - c. Is 4 a factor of g?
False
Let p(j) be the first derivative of -j**3/3 - 4*j**2 - 6*j - 2. Let v = -22 - -16. Is 4 a factor of p(v)?
False
Suppose 0 = -12*l - l + 2080. Is l a multiple of 20?
True
Let h(g) = 2*g**2 + 6*g + 3. Does 47 divide h(9)?
False
Suppose -5*h + 491 = -229. Is 36 a factor of h?
True
Let t = 170 + -379. Is (-2)/(-10) + t/(-5) a multiple of 19?
False
Suppose 0 = 3*x + 4*k - 38, 2*k - 49 = -3*x - 15. Is 10 a factor of x?
True
Suppose 143 = 3*l - 4*j + 48, 5*l = -j + 120. Suppose -3*o - l = -v + o, -3*o - 15 = 0. Let w(b) = b + 7. Is 12 a factor of w(v)?
True
Suppose -w = -2*j - 2, 4*j + 9 + 11 = -2*w. Does 18 divide (j + 1 - 7)*-6?
True
Let l(i) be the first derivative of 2*i**2 - 8*i - 4. Is 10 a factor of l(7)?
True
Suppose 252 - 12 = 5*s. Is s a multiple of 6?
True
Is 3 a factor of (-18)/(-2)*36/54?
True
Suppose y - 46 = 3*z + 2*y, 4*z + 63 = -3*y. Suppose -4*t - k + 89 + 16 = 0, 5*t - k = 138. Let o = z + t. Does 6 divide o?
True
Let x(w) = -w**2 - 9*w + 14. Does 16 divide x(-6)?
True
Suppose u = -3*u - 168. Does 23 divide (-21)/(-7) - (u + -1)?
True
Is 17 a factor of ((-6)/(-4) - (-52)/(-16))*-148?
False
Suppose 0 = 7*i - 9*i. Does 2 divide (i - 0) + -5 + 8?
False
Suppose 27 = 2*x - 5*b, 0 = 4*x + 2*b - 0*b - 18. Suppose -y + 3*y - x = 0. Does 3 divide 2/y - (-133)/21?
False
Let c(r) = 12*r - 16. Is c(6) a multiple of 13?
False
Let b(d) = -12*d**2 - 2*d - 1. Let j be b(-1). Let x(s) = -3*s. Is x(j) a multiple of 13?
False
Suppose 3*n - 2 = s + 33, 2*n = -4*s. Let c = n + 16. Is 13 a factor of c?
True
Let z(v) = v**2 - 3*v + 2. Suppose 5*p - 10 = -5*w, -7*w + 2*p = -2*w - 17. Let g be z(w). Suppose -g*j = -4*u - 114, 5*j - 2*u - 245 = -0*j. Does 16 divide j?
False
Is 35 a factor of 2/((-36)/(-105) - (-6)/(-21))?
True
Does 15 divide 75*(2 - (3 + -2))?
True
Let l(s) = s + 12. Suppose z - 3 + 7 = 0. Does 7 divide l(z)?
False
Suppose 127 - 40 = 3*j. Let y = -14 + j. Does 9 divide y/2*(-12)/(-10)?
True
Let w(p) = -5*p**2 - 14*p - 17. Let y(h) = -14*h**2 - 42*h - 50. Let a(u) = -11*w(u) + 4*y(u). Let o be a(-10). Let q = o + 1. Does 14 divide q?
True
Suppose 0 = -15*x - x + 1008. Is 31 a factor of x?
False
Is (-3 - 44/(2/1))*-1 a multiple of 10?
False
Let y(z) = z**3 + 12*z**2 + 11*z - 1. Let c(t) = -t**3 - 13*t**2 - 12*t + 2. Let x(u) = 5*c(u) + 6*y(u). Let w be x(-6). Is 15 a factor of (w/10)/(4/300)?
True
Does 28 divide 117 + 1 + -4 + -1?
False
Suppose -2*a + 37 = k, -k + 2*k + a = 41. Suppose 5*n + k = 5*u, -1 = u + n - 4*n. Does 8 divide u?
False
Suppose -63 = -4*p + 5*r + 132, 1 = r. Is p a multiple of 11?
False
Let p be (7 - 9/(-3)) + -1. Let t(n) = n**2 - 9*n + 6. Is t(p) a multiple of 6?
True
Let j(p) = 2*p**2 + 9. Let i(s) = s**2 + 4. Let w(c) = 13*i(c) - 6*j(c). Let q be w(-2). Suppose -q*t + 29 = -29. Is 14 a factor of t?
False
Let t = -48 - -220. Is t a multiple of 22?
False
Suppose -3*i + 6*i - 15 = 0. Suppose -4*h + 9*h = -i. Let s(l) = -6*l**3 + 2*l**2 - 1. Is 7 a factor of s(h)?
True
Let t(a) = a**3 - a**2 + 3. Let w be t(0). Suppose 0*d = w*d. Is 13 a factor of 26 - (1 + d + -1)?
True
Let j = 5 + 3. Is 4 a factor of j?
True
Let h(p) = -6*p**2 - 5*p + 4*p**2 + 3*p**2 - 2. Let m be h(6). Suppose -30 = -m*g - g. Is g a multiple of 3?
True
Suppose 74 = 75*s - 74*s. Does 13 divide s?
False
Suppose 68 = 3*j + k, -4*j - j - 2*k + 115 = 0. Let c be ((-14)/j)/(2/18). Is (14/(-4))/(c/12) a multiple of 7?
True
Let h be ((-4)/(-3))/(8/12). Suppose -b - 45 = -h*b. Is b a multiple of 17?
False
Let b = 9 + -23. Let o = 1 - b. Is o a multiple of 5?
True
Let h(y) = 72*y**2 + 2*y + 2. Is h(-2) a multiple of 11?
True
Suppose 2*g = 4*u - 88, 2*u - 17 = -g + 19. Suppose -j - j + u = 0. Suppose 2*k - j = -s, 6*s - 50 = 2*s + 2*k. Is 12 a factor of s?
True
Let f = 159 + -87. Suppose 0 = -u - 3*a + f, 0 = -u - u - a + 134. Suppose -34 = -5*l + u. Does 7 divide l?
False
Is 36 a factor of 5*(-1 - (-1520)/(-25))*-1?
False
Let o = -7 + 12. Let p be 4/(-6) - (-668)/12. Suppose 43 = 4*m - u + 6, -p = -o*m + 3*u. Is m a multiple of 8?
True
Let m = 5 - 3. Let f be m/(3/(-3) + 2). Suppose -f*i + 119 = 43. Is 13 a factor of i?
False
Let b = 124 - 71. Let s = 98 - b. Is s a multiple of 15?
True
Let h(s) = s**2 - 1. Let g be h(1). Let i be g*(6/4 + -1). Suppose -v = -a + 5, -3*v + 8*v - 15 = i. Is 3 a factor of a?
False
Let n = -1 - 32. Does 5 divide (0 - n/6)*2?
False
Suppose -89 = 2*i - 5*i - 2*a, -5*i - 3*a = -147. Is i a multiple of 17?
False
Let s = 12 - 6. Let z(d) = d + s*d**2 + 3*d**2 + 1 + 0 - 4*d**2. Is z(-2) a multiple of 11?
False
Let a(v) = v - 4. Let h = 14 - 7. Let l be a(h). Suppose -2*f = -4*r + 82, r = -l*f + 6*f + 13. Is r a multiple of 14?
False
Suppose -3*j = -33 - 27. Does 10 divide j?
True
Let v(k) be the first derivative of 2*k**3/3 + 5*k**2 + 9*k + 3. Let l be v(-6). Suppose -36 - l = -3*w. Is w a multiple of 12?
False
Let d(p) = 11*p**2 - 2*p - 8. Does 8 divide d(-2)?
True
Suppose -4*h - 19 = -99. Suppose 0*k = 4*w - 4*k - 40, -h = -5*k. Is 7 a factor of w?
True
Suppose 0 = 5*v + u - 153, -10 = -3*v + 4*u + 68. Let z = -27 + 10. Let h = v + z. Is 13 a factor of h?
True
Is 7 a factor of ((-3)/(-9))/((-1)/(-42))?
True
Suppose 0 = -f - 0 + 2. Suppose -5*y - f*x = x - 68, 5*y - 4*x - 96 = 0. Is y a multiple of 16?
True
Suppose 0*f + 214 = -4*b + 2*f, 5*b + 240 = -3*f. Let t = 88 + b. Let i = t - 3. Is i a multiple of 17?
True
Let h(f) = f**3 - 7*f**2 + 5*f + 4. Let p be h(7). Suppose 6 = 2*s + 2*j, s - 5*j + p = 12. Let n(b) = 3*b**2 + 2*b + 2. Is 9 a factor of n(s)?
False
Let k(q) = -q**3 + 5*q**2 + q - 6. Let s be k(5). Does 4 divide (40/(-30))/(s/6)?
True
Let w(m) = -5*m + 24. Does 28 divide w(-12)?
True
Suppose 0 + 6 = 3*k. Suppose 159 = k*c + c. Does 30 divide c?
False
Suppose 2*k = -3*j + 32, -j - 3*k + 28 = 2*k. Suppose -3*h - j = -38. Does 10 divide h?
True
Suppose -4*r - 3*m + 88 = m, -m - 83 = -4*r. Suppose 0 = 5*h - 46 + 11. Suppose -d + h + r = 0. Is d a multiple of 12?
False
Suppose 2*f = 