r a multiple of 19?
False
Let h(l) = l**2 - 3*l - 8. Is h(-5) a multiple of 32?
True
Let x = 0 - -3. Suppose -4*h - 57 = -p, 18 = 2*h - x*h + 4*p. Does 5 divide 122/14 - 4/h?
False
Suppose -2 = 5*t + 8. Let b = 1 + t. Is 3 a factor of 1/b - (-5 - 2)?
True
Suppose 5*t - 7 - 8 = 0. Suppose 0*k - 59 = -t*k - 2*j, 0 = k - 5*j - 48. Is k a multiple of 23?
True
Let s(r) = 4*r**2 - 3*r. Let w(k) = -9*k**2 + 6*k - 1. Let x(y) = -13*s(y) - 6*w(y). Does 13 divide x(-4)?
True
Let h(i) = 29*i**3 - 2*i**2 + 3*i - 1. Does 6 divide h(1)?
False
Let g be 2/(-5) + (-110)/(-25). Let a = g - 4. Suppose a = 3*i - 6 - 3. Does 3 divide i?
True
Let u = 181 + -79. Suppose -2*d = -h + 44, 0*h - 3*d = 2*h - u. Is 16 a factor of h?
True
Let t be (-1)/((3/(-9))/1). Suppose -2*q + 5 = t. Does 21 divide 24 + (2/q - -1)?
False
Suppose -2*y - 10 = -w - 0*y, 5*w + 5*y = -25. Suppose w*b + 2*b = 126. Is b a multiple of 11?
False
Let t(q) = -7*q - 9. Let c(i) = -4*i**2 + i + 1. Let x be c(2). Let z be t(x). Let u = z + -30. Does 20 divide u?
False
Let k be -3*((-4)/3 + 2). Let y be -3 - k - (-2 + -5). Suppose 0 = -c + y + 18. Is 24 a factor of c?
True
Does 25 divide (50/4 - 0)*4?
True
Suppose -3*o = -6*o + 3. Is (-42 + 2)*(-1)/o a multiple of 20?
True
Let p(l) = 10*l - 31. Let i(f) = 3*f - 10. Let b(o) = 7*i(o) - 2*p(o). Let t be b(8). Suppose -4*x = -t*g - g + 23, 5*g - 4*x = 67. Does 11 divide g?
True
Suppose 2*c + 41 = -5*q, -4*c - c - 3*q - 55 = 0. Suppose 0 = -4*s + 6*s - 32. Let o = s + c. Is o a multiple of 4?
True
Let j be -2*(-3)/(-3)*1. Let p be (210/20)/((-1)/j). Suppose 2*l - 3*l = -p. Is l a multiple of 10?
False
Is (-1)/(-3 + 2) - -13 a multiple of 7?
True
Let b = -43 - -88. Is b a multiple of 9?
True
Let q(v) = -v + 1 + 5*v - 3*v. Let y(l) = l**3 + 5*l**2 - 2*l - 1. Let j(c) = 3*q(c) + y(c). Does 14 divide j(-4)?
True
Suppose 6*c - 12 = 2*c. Suppose -16 - 17 = -c*d. Let n = d - 8. Is 3 a factor of n?
True
Let a = -199 - -115. Let h = 119 + a. Is h a multiple of 15?
False
Let h = -15 + 11. Let p = -11 - h. Is p/(-7) + 4*4 a multiple of 17?
True
Suppose -3*m - 15 = -w - 2*m, -5*w = -3*m - 81. Suppose -30 = -l + w. Is l a multiple of 17?
False
Suppose 0 = q - 3*q + 112. Does 13 divide q?
False
Suppose 4*c = -2*l + 118, 4*c + 3*l - 121 = -6. Is 24 a factor of c?
False
Let n(l) = l**2 + 5*l + 4. Let j be n(-5). Suppose f + 4*f - 156 = 4*s, 4*s = j. Is 11 a factor of f?
False
Let b(h) = 6*h**2 - 2. Let o be b(-2). Let j = o + -16. Is 3 a factor of j?
True
Let b(x) = -3*x + 17*x + 2*x. Is 16 a factor of b(2)?
True
Let t = 74 - 31. Is 8 a factor of t?
False
Suppose f = -4*f. Suppose -3*q - 4*c + 55 = f, -4*q = 3*c + 15 - 79. Is q a multiple of 13?
True
Suppose 63*i - 324 = 60*i. Does 12 divide i?
True
Suppose 5*l = -4*y + 183 + 134, y - 125 = -2*l. Does 20 divide l?
False
Suppose 5 = 4*q - 27. Let f be ((-10)/8)/((-2)/q). Suppose -f*o + 3*o + 22 = 0. Does 11 divide o?
True
Suppose -7 = -4*c + 421. Is c a multiple of 5?
False
Let x(d) = d**2 - 6*d + 4. Let f be x(6). Suppose -f*b + 64 = -5*r, 3*b - 48 = -3*r + r. Does 12 divide b?
False
Does 16 divide (34 - 2)*400/64?
False
Let r(j) = -j**3 - 8*j**2 + 7*j - 13. Let c be r(-9). Suppose -4*p - c*u = -93, 3*p - 70 = 5*u - 9. Is p a multiple of 21?
False
Let j = 178 + -93. Does 15 divide j?
False
Suppose 28 = 4*n + i - 2*i, -3*i = 3*n - 21. Let r = 17 + n. Does 8 divide r?
True
Let i = -16 + 10. Does 8 divide -1*29*(5 + i)?
False
Let q be 2 - (-3)/(9/15). Let v(h) = 2*h**3 - 14*h**2 + 11*h + 12. Let r(m) = 3*m**3 - 21*m**2 + 16*m + 18. Let d(y) = 5*r(y) - 7*v(y). Does 9 divide d(q)?
True
Suppose 0 = -b - 3*b + 168. Is b a multiple of 14?
True
Suppose 7*l - 215 = 2*l. Let u = l - 3. Does 13 divide u?
False
Suppose 0 = 5*h + 2*s + 5 + 31, 2*s = -4*h - 28. Let n be (5/2)/(h/(-448)). Suppose 6*z = 3*z - l + 104, 4*z = -2*l + n. Is z a multiple of 16?
False
Suppose -10 = -5*o + 5*z - 0, -2*z = 5*o - 17. Let m(p) = -p**2 + 3*p - 3. Let k be m(o). Is 16 a factor of (-77)/(-2) + k/6?
False
Suppose 5*y + 69 = -6. Is (40/y)/((-4)/6) a multiple of 2?
True
Let c = -9 - -9. Suppose o - 4*o = c. Suppose 3*t = 2*q + 2*t - 26, o = q - 4*t - 6. Does 6 divide q?
False
Let i(o) be the second derivative of o**4/2 + 2*o**3/3 + 3*o**2/2 - 2*o. Is i(-2) a multiple of 6?
False
Let j(x) = x**2 - x + 3. Let f be j(7). Suppose -z - 2*z + f = 0. Is z a multiple of 5?
True
Let g be -3 + 1 + 7 - 2. Let y(z) = 6*z**2 - 4*z + 1. Does 24 divide y(g)?
False
Let t(f) be the second derivative of f**4/6 - 11*f**3/6 + 5*f**2/2 - f. Is t(7) a multiple of 15?
False
Let z = 16 + -24. Let b be (-1)/(-2)*z/(-2). Suppose -5*w + 101 = 2*y, w - 10 - 7 = -b*y. Does 9 divide w?
False
Let h be 3/(((-3)/(-4))/1). Let o be (h/(-6))/((-8)/36). Suppose -j + 16 = o*j. Is j a multiple of 4?
True
Suppose 4*g - 368 = -4*u, 0 = 3*g + 4*u - 5*u - 292. Suppose 128 = 4*f - 5*a, -3*f + g = -a - 2*a. Is 15 a factor of f?
False
Suppose -3*x - 13 = -o, -1 = 2*o - 3*x - 42. Suppose 23 = 2*z + 7. Suppose 2*m - z = o. Is m a multiple of 9?
True
Suppose r - 4*r = -4*v + 2, -3*v + 21 = r. Does 3 divide r?
True
Let l be 2/9 + (-80)/36. Is 14 a factor of 11/l*-4 - 0?
False
Suppose 2*t = -6*i + 4*i + 78, -2*t + 76 = 4*i. Is t/30*126/4 a multiple of 21?
True
Let x = -85 + 187. Does 23 divide x?
False
Let x = 9 - 7. Suppose 0 = -l + 31 + x. Is 13 a factor of l?
False
Let c(o) be the first derivative of 2*o**2 - 8*o - 2 + 1/3*o**3. Does 3 divide c(-6)?
False
Is 10 a factor of (-352)/(-6) + (-2)/3?
False
Let i(v) = -v**2 + 7*v - 3. Let t(w) = w**2 - 2. Let l be t(3). Let r be i(l). Let j = 24 + r. Does 21 divide j?
True
Suppose -4*m - 15 = -3. Let q = m - -51. Is q a multiple of 12?
True
Let h(u) = -u**3 - u**2 + 1. Let z(o) = 4*o**3 - 9*o**2 - 2*o + 4. Let g(q) = -6*h(q) + z(q). Let i be g(-2). Is 12 a factor of i*-2*3/15?
True
Let w = 19 + -16. Suppose 2*b - 2*y - 16 - 24 = 0, 2*y + 60 = w*b. Is 13 a factor of b?
False
Let y = 375 + -25. Is y a multiple of 14?
True
Suppose 0 = -4*a + x - 6, -5*x - 2 = -2*a - 2*a. Let f(b) = -12*b - 2. Is 12 a factor of f(a)?
False
Suppose 2*q + 0*q + 16 = 0. Let o be (q/12)/((-4)/246). Suppose 0 = t + 2*g - 4*g - 34, t = -5*g + o. Is 18 a factor of t?
True
Let w(p) = 50*p - 1. Let s be w(-1). Let b(d) = d**2 + 5*d + 2. Let t be b(-3). Is 16 a factor of 2/t - s/2?
False
Is 403/9 - 30/(-135) a multiple of 13?
False
Does 8 divide (-126)/(-4) + 2/4?
True
Let c = -1 + 17. Does 4 divide c?
True
Let g = -39 - -67. Is 14 a factor of g?
True
Suppose -5*f + 2*f = -21. Let s(h) = -4. Let p(x) = -x - 4. Let i(b) = -5*p(b) + 4*s(b). Does 15 divide i(f)?
False
Suppose -l + 3 = 0, -2*l = p + 2*l - 124. Does 16 divide p?
True
Let g = 3 + -2. Let x = 1 + -2. Let p = g - x. Does 2 divide p?
True
Suppose 0 = 4*g - 5*a - 76, 0 = -5*g + 3*g - 4*a + 12. Is 3 a factor of g?
False
Let k(v) = -v**3 + v**2 + 8. Let x be k(0). Let d be x*(1 - (3 - -1)). Let f = d + 38. Does 7 divide f?
True
Suppose 2*n + f = -0*n + 1, 0 = -5*f - 25. Let c = 30 - n. Suppose -5*p = -c - 33. Does 12 divide p?
True
Suppose 4 = 4*x - 0. Let y = 27 - x. Is y a multiple of 14?
False
Let l(m) = -m**2 - m - 9. Let s be l(0). Let r = -5 - s. Suppose -4 = r*x, j - 2*x - 5 - 7 = 0. Does 10 divide j?
True
Suppose 4*d - 134 = 5*x, -3*d = -4*x + 2 - 102. Does 13 divide (d/10)/(12/80)?
False
Suppose 23 = 2*l - o, -2*l - o + 20 = -5*o. Is l a multiple of 12?
True
Let i = -41 - -23. Let b = i - -26. Is b a multiple of 7?
False
Suppose k = -4*k + 20. Let o(s) = 2*s + 1. Let h be o(2). Suppose h*b = 4*f - 185, -b - 165 = -0*f - k*f. Is 14 a factor of f?
False
Let l(w) be the third derivative of w**6/120 - w**5/30 - 5*w**4/24 + w**3 - 2*w**2. Let g be l(4). Suppose 3*n = g + 6. Does 5 divide n?
False
Suppose -210 = -f - 4*f. Suppose 4*n = n + f. Is 11 a factor of n?
False
Is (51/6)/(1/10) a multiple of 27?
False
Let i = -1 - -26. Suppose 0 = 4*v - 247 - 253. Suppose -i = 5*u - v. Is 14 a factor of u?
False
Let i(f) = -f**3 - 5*f**2 - 3*f + 3. Suppose -2*d - 13 = 5*m, -2*m = -m + 2*d + 1. Let l be i(m). Is 6 a factor of (2/l)/((-1)/33)?
False
Let c = 48 - -6. Is 8 a factor of c?
False
Suppose -o + 4 = 2*y - 2, -3*o - 15 = -5*y. Let k = 52 + o. Suppose 2*n + k = 2*t, t + 3*n - 83 = -3*t. Does 16 divide t?
False
Let p(o) = -o**2