of 7?
False
Suppose 2*l + 4*l = 1338. Suppose -3*z - 5*o - 23 = -l, -o = 2*z - 124. Does 10 divide z?
True
Suppose 1839 = 4*y - 4417. Is y a multiple of 68?
True
Let r(v) = 2*v + 12. Let c be r(-10). Is (-124)/(-7) + c/(-28) a multiple of 15?
False
Let l(m) = 9*m + 10. Let r be l(-5). Is 16 a factor of 1202/14 + (5/r)/(-1)?
False
Is ((-34)/102)/((-2)/1866 + 0) a multiple of 18?
False
Suppose -5*a = -63 + 18. Suppose a*i - 6*i = 1026. Is i a multiple of 57?
True
Let c(v) be the third derivative of v**6/120 + v**5/10 - 5*v**4/24 + 2*v**3 + 14*v**2. Is c(-6) a multiple of 6?
True
Suppose -3*u = 5 + 10. Suppose 0 = -y - 5*k + 7*k - 4, -5*k + 19 = 2*y. Does 8 divide ((-12)/u)/(y/20)?
True
Let q(i) = i**3 - 6*i**2 - i. Let c be q(6). Let w be (-654)/c + (1 - 2). Suppose 0 = 4*l - w + 32. Does 10 divide l?
False
Let k = 42 - 27. Let h be 36/30*k/6. Suppose 3*o - 33 = -3*u, 2*u - 82 = -h*u + 4*o. Is 7 a factor of u?
True
Does 10 divide 169 + 0 + 7/7?
True
Let z(p) = -p**3 + 5*p**2 - 5*p - 1. Let d be z(3). Does 3 divide -4 - 0 - -10 - 0/d?
True
Suppose -2*w - 2*x + 49 = -w, x = 0. Let y = w + 10. Let o = -29 + y. Is o a multiple of 15?
True
Suppose j = -7*h + 5*h + 937, 0 = -2*h - 4*j + 946. Does 95 divide h?
False
Let k = -1419 - -2680. Is 51 a factor of k?
False
Let r(l) = -36*l - 21. Let q(a) = 37*a + 20. Let v(s) = -4*q(s) - 3*r(s). Is v(-3) a multiple of 41?
False
Let v(d) = -47*d - 33. Let h be v(-1). Suppose -5*r + 54 = 9. Does 19 divide 1070/h + r/(-21)?
True
Suppose 1894*a - 1901*a = -7007. Is 29 a factor of a?
False
Suppose -2*l + l - 1 = 0. Let h(f) = -10*f**2 + 8*f - 5. Let g(i) = i**3. Let k(j) = l*g(j) - h(j). Is 7 a factor of k(9)?
True
Let s = 531 + -336. Is 4 a factor of s?
False
Let l(z) = -2*z**3 - z**2 + 4*z + 2. Let f be (6/(-4))/(3/6). Let n be l(f). Suppose -53 = -5*i - 3*q, 3*i + q = -0*i + n. Does 7 divide i?
False
Suppose -4*w - 14 = -238. Let j = -39 + w. Is 8 a factor of j?
False
Suppose 0 = -4*k + 3*x - 48, -k = -5*k + x - 40. Let n = k - -14. Suppose -h + 5*t - 11 = 0, 41 = n*h - h - 3*t. Is 14 a factor of h?
True
Suppose -3*r + 3*c + 24 = 0, 4*c = -r + 4*r - 27. Suppose 0 = -0*x + 3*x + 5*j - 47, -r*j = 25. Is 12 a factor of x?
True
Let o = 283 - 204. Does 6 divide o?
False
Let w(v) = 7*v**2 + 3*v + 1. Let f(b) = -2*b**2 + 7*b + 3. Let h be f(4). Let z be w(h). Suppose -25 = 5*a, z*x + 3*a = 31 + 29. Is x a multiple of 15?
True
Suppose -32*h - 16 = -28*h. Let i(k) = 2*k**2 - 15*k - 22. Is i(h) a multiple of 7?
True
Suppose 0 = 9*a - 2505 + 804. Does 63 divide a?
True
Let f(x) = x**3 + 7*x**2 - 13*x - 8. Is 31 a factor of f(-6)?
False
Suppose 0 = 15*t - 27 - 108. Does 7 divide (-3)/(t/(-6)) + 72/8?
False
Let w(d) = d**2 - 6*d - 19. Let k be w(10). Let z = k - -50. Is z a multiple of 13?
False
Suppose 14*r - 672 = 18*r. Let p = r - -269. Does 8 divide p?
False
Let n be (2 - -1)/(-2 - -3). Let r = 10 - n. Suppose 0 = -p + r. Is p a multiple of 7?
True
Suppose 0 = 2*c + 4*j - 44, -23*c - 96 = -28*c - 3*j. Does 9 divide c?
True
Let f = 561 - 208. Is 11 a factor of f?
False
Let v = -25 - -185. Suppose -3*y + 8*y - v = 0. Is y a multiple of 9?
False
Suppose 0 = 6*k - 160 - 902. Is 61 a factor of k?
False
Suppose 0 = -l - 2*q + 23, -3*q - 51 = -5*l - 1. Let y(j) = 1 + j**2 - l - j - 2. Does 9 divide y(-6)?
False
Is 36 a factor of (-33258)/(-21) + ((-80)/(-35) - 2)?
True
Let b be 89 + ((-1)/(-1) - -2). Suppose -14 + b = p. Is p a multiple of 16?
False
Suppose -4*n + 5222 = 1114. Does 108 divide n?
False
Let h(f) = f + 18. Let q be h(-7). Let s = 26 - q. Is 5 a factor of s?
True
Suppose -1742 + 10814 = 36*l. Is l even?
True
Suppose -17*b = -12*b - g - 10278, 0 = 2*g - 4. Is b a multiple of 7?
False
Let x = 10 + -5. Suppose 42 = t + 4*b + 6, -x*t + 155 = -5*b. Does 8 divide t?
True
Let z(q) = q**2 - 5*q + 70. Is z(12) a multiple of 7?
True
Suppose -2*z - 12 - 1 = -d, 24 = 3*d - z. Is d a multiple of 7?
True
Suppose -m + 2*m = 10. Let y be ((-26)/m - 3)*5. Let l = y + 46. Does 14 divide l?
False
Suppose 4*h + 5*t + 77 = 787, -4 = 2*t. Is h a multiple of 20?
True
Let g = 76 - 74. Does 4 divide 2/1 + (-1)/g*-68?
True
Let p(n) = n**2 + 11*n + 3. Let j be p(-10). Suppose -4*s - 4 + 12 = 0. Does 13 divide ((-144)/14)/s*j?
False
Let b = 7240 + -4864. Is 43 a factor of b?
False
Let q be -264*((-16)/(-12))/(-4). Is 10 a factor of (-22)/q - 721/(-4)?
True
Suppose 0 = -5*h - 5*y + 3035, -3*y + 90 = -2*h + 1329. Is h a multiple of 12?
True
Let r(a) = -2 + 1 + 8*a - a + 22*a. Let m(h) = h**2 - 5*h + 1. Let o be m(5). Is r(o) a multiple of 14?
True
Does 39 divide (-69)/(-23)*427/3?
False
Let t(f) = -5*f**3 - 2*f**2 - 6*f - 7. Let q be t(-2). Suppose p + 2*u = 37, 4*u - u = p - q. Is p a multiple of 3?
False
Let z(t) = 637*t**2 - 4*t - 5. Let v(l) = 636*l**2 - 3*l - 4. Let b(a) = 6*v(a) - 5*z(a). Let s be b(-1). Suppose 6*m = -84 + s. Is 13 a factor of m?
True
Suppose 4*r = 10*f - 5*f + 10186, r + 4*f - 2557 = 0. Is r a multiple of 39?
False
Let v = -104 - -124. Is 4 a factor of v?
True
Suppose 986 = -4*d + 2442. Is 7 a factor of d?
True
Let x(g) = 2*g**2 - 3*g - 2. Let t be x(6). Suppose 2*u = -4*c - 0*u + t, 3*c - 2*u = 32. Is c a multiple of 4?
True
Let f = 74 + 153. Suppose -b = 3*l - 86, 0 = -5*b - 3*l + 179 + f. Is b a multiple of 10?
True
Let h be -1 - 1*(3 + -4). Let q be (0 - h)*(-2)/(-4). Suppose q = -l + 2 + 6. Does 3 divide l?
False
Suppose -3*t = 0, 2*d - 148 = -3*t - 38. Let f = 3 + d. Is 15 a factor of f?
False
Suppose 0 = -7*r - 11*r + 2700. Does 15 divide r?
True
Suppose 3*o - 2 = 13. Suppose 2*p + 325 = o*v, 2*v - 7*p + 5*p = 124. Is 39 a factor of v?
False
Suppose 0 = 4*n - 10*n + 1470. Let g = n + -83. Does 9 divide g?
True
Suppose -4*f + 4*i + 394 = 6*i, -3*f + 294 = 2*i. Does 12 divide f?
False
Let u = -30 + 26. Is (u + 3)/(1/(-9)) a multiple of 3?
True
Let t(x) = 5*x + 9. Let q be 1 - 2*(0 + 2). Let j be t(q). Is 24 a factor of (4/j)/(16/(-1152))?
True
Suppose -14*a = -15*a + 31. Suppose 27*g + 360 = a*g. Is g a multiple of 15?
True
Let n = -16 + 6. Is 10 a factor of (17 + 1)*n/(-3)?
True
Let h = 70 + -2. Suppose 0 = 4*n + 4*a - 332, h - 5 = n - 3*a. Let q = n - 42. Is q a multiple of 9?
True
Suppose 19*g = 15*g. Suppose g*h + 20 = 4*h. Suppose -6*j = -h - 97. Does 7 divide j?
False
Let j(d) = 24*d**2 - 4 - 14*d**3 - d - 24*d**2. Let v be j(-2). Suppose -238 = -3*k + 4*l, -3*k + 3*l + 350 = v. Is 14 a factor of k?
False
Suppose 4*z + 42 = -2*z. Let l = 15 - z. Is 11 a factor of l?
True
Suppose 2*o - 279 = 3*o. Let f = o + 502. Suppose -7*c + f = -29. Is c a multiple of 12?
True
Suppose 12*g - 8223 = 8601. Is g a multiple of 49?
False
Let p(a) = -124*a - 3. Is 20 a factor of p(-3)?
False
Suppose -4*i = 3*j + 3, -2*i + 6*j = 2*j - 4. Let q(y) = y**3 + 2*y**2 + 150. Is q(i) a multiple of 10?
True
Let j = -1347 + 1536. Is 11 a factor of j?
False
Let j(f) = -f**2 + 20*f - 1. Let q be j(20). Does 19 divide -2 + (3 - 62)*q?
True
Suppose 0 = -0*a + 2*a - 242. Suppose 2*x = a + 43. Let s = x + -45. Is s a multiple of 14?
False
Let b be 2/10 + (-27)/(-15) + 3. Suppose b*i - 26 - 114 = 0. Is 14 a factor of i?
True
Let i(t) = t**2 - 9*t - 10. Let d be i(10). Suppose -4*u + 288 = -d*u. Is 7 a factor of u?
False
Suppose 16 = s + 20. Let i(g) = 3*g**2 + 4*g - 2. Is 15 a factor of i(s)?
True
Is 21/(-42) - (1905/(-6) - -2) a multiple of 21?
True
Let l(i) = -17*i + 16. Let m(d) = 17*d - 15. Let s(z) = -5*l(z) - 6*m(z). Let k be s(-5). Suppose 3*j = -2*j + k. Is 4 a factor of j?
False
Let v(z) = 19*z + 31. Let x be v(12). Suppose -3*k + 14 = -x. Does 7 divide k?
True
Let w be 351/6 + 1/(-2). Let d be w - (-3 + 6 - 2). Suppose d = 5*c + 2. Is c a multiple of 3?
False
Suppose -96 = -5*k - 46. Suppose -k*w = -17*w + 1246. Is 7 a factor of w?
False
Let r(c) = c**3 + 4*c**2 + 12*c - 32. Does 17 divide r(5)?
False
Suppose 0 = 12*w + 39 - 939. Does 4 divide w?
False
Let f = -206 - -469. Suppose -7*l + 214 = -3*l - 2*s, 0 = 5*l - s - f. Is 21 a factor of l?
False
Let u(l) = 26*l**2 + 25*l + 33. Does 58 divide u(-9)?
True
Let j = 4896 + -3006. Is 30 a factor of j?
True
Let w(f) be the second derivative of f**4/12 - f**3/2 + 7*f**2/2 - f. Let n be 0 + 28/7 + 1 + 1. Does 17 divide w(n)?
False
Suppose -2*y - 5 = -15. Suppose -c = -0*c + 2*q - 9, y*c