Is r - -1 - (-30 - 0) a multiple of 17?
True
Let t = 47 + -35. Suppose -5*q + 765 = -5*l, -4*l = -t + 28. Is 37 a factor of q?
False
Suppose 7*m - 1407 - 2373 = 0. Is 27 a factor of m?
True
Let d(g) = -g**2 - 32*g - 55. Is 30 a factor of d(-25)?
True
Let x = -7 - -7. Let c(l) = l**3 + l**2 + l - 73. Let k be c(x). Let j = -37 - k. Is j a multiple of 18?
True
Let u be (-16)/(-6)*((-231)/(-12) + -2). Suppose 15 = i - 9. Let d = u - i. Is d a multiple of 13?
False
Suppose 27*w - 1512 = 13*w. Is w a multiple of 4?
True
Let c(q) = -q**3 - q**2 - q - 1. Let p(r) = 7*r**3 + 9*r + 2. Let n(j) = -6*c(j) - p(j). Is n(5) a multiple of 6?
False
Suppose 0 = -96*l + 15829 - 4117. Is l a multiple of 13?
False
Suppose 17*g + 0*g = 13090. Is g a multiple of 55?
True
Suppose -2*j = -4*t + 8, 0*t + 3*j + 6 = 3*t. Suppose 3*x - 4*c = 6, -3*x + c = t*c + 9. Does 8 divide 44/(-6)*(-5 - x)?
False
Suppose 12*l + 145 = 11*l. Let x = -26 - l. Is x a multiple of 17?
True
Let y(c) = 311*c - 112. Is 15 a factor of y(8)?
False
Let l(d) = -d**3 - 17*d**2 + 14*d - 28. Let b(x) = -x**2 + x - 1. Let r(i) = -2*b(i) + l(i). Is 7 a factor of r(-16)?
False
Suppose -2*w + 0*d + 10 = 2*d, 0 = -4*w + 4*d - 20. Suppose m - 7*m + 378 = w. Is m a multiple of 9?
True
Let t = 26 + -18. Suppose 2*b = -t*b + 1400. Is 29 a factor of b?
False
Suppose -4*x - 11 - 5 = 0, 2*x = 2*o - 2. Is 6 a factor of 51/9 - o/9?
True
Let p(c) = c**3 - c**2 - 8*c + 6. Let b be p(5). Is 5 a factor of (-2)/6 - (-1606)/b?
False
Let b(g) = -g**3 - 4*g**2 + 2*g. Let i be b(-4). Let x = 127 + i. Let o = x - 72. Is o a multiple of 13?
False
Let g(o) = 6*o**3 + 9*o**2 + 3*o + 11. Let y(r) = -5*r**3 - 10*r**2 - 2*r - 11. Let n(l) = -4*g(l) - 5*y(l). Is n(-14) a multiple of 13?
True
Let v(w) = -23*w + 1. Let i(k) = -k**2 + 3*k + 3. Let b be i(4). Let r be v(b). Suppose -2*m = 2*g - r - 0, -4*g + 48 = 2*m. Does 3 divide g?
True
Suppose 7 + 1 = 2*u. Suppose -u*g = -4*m + 212, 69 = 3*m - 2*m + 3*g. Does 19 divide m?
True
Is 9 a factor of 3288*((27 - 23) + 5/(-2))?
True
Suppose -9*n + 4*n = -13860. Suppose 8*r - n = -3*r. Does 12 divide r?
True
Is (-3 - (396 + -1))*(-36)/9 a multiple of 46?
False
Let v = 266 - 566. Let g = v - -512. Is g a multiple of 49?
False
Suppose -4320 = -52*k + 50*k. Is 45 a factor of k?
True
Suppose 0 = 3*y - 3*r + 1108 - 6733, 4*y - r - 7491 = 0. Does 12 divide y?
True
Let z = -437 + 783. Suppose -z = 3*c - 940. Does 33 divide c?
True
Suppose -12*b + 8423 + 4969 = 0. Is b a multiple of 31?
True
Let t = -19 - -15. Is 20 a factor of (1 - -1)/(t/(-40))?
True
Let g = 0 - 9. Let r(n) = 7 + 20*n + n**2 - n**3 - 9*n**2 - 6*n - 9*n. Is r(g) a multiple of 14?
False
Let c(z) = z**2 - 19*z - 323. Is c(-33) a multiple of 12?
False
Let o(j) = 129*j**2 - 2*j + 1. Let g = 3 - 1. Let i be o(g). Suppose i = 6*w - 33. Does 16 divide w?
False
Suppose 9*o - 1050 = 4*o. Is 7 a factor of o?
True
Let v be ((-195)/(-30))/(0 + (-1)/(-6)). Suppose -5*z + 4*l + 103 = -37, -z + 3*l + v = 0. Does 24 divide z?
True
Let s be 1/2 + (-12)/8. Let g(f) = 2*f + 2. Let m be g(s). Suppose 4*z + 3*r = z + 147, m = -2*z + 5*r + 133. Is z a multiple of 27?
True
Let j(r) be the first derivative of 45*r**2 - 6*r + 10. Is j(2) a multiple of 24?
False
Suppose -3*d = -o + 33 + 27, -o = -d - 50. Suppose o = 3*x + 2*l, -5*x = -3*l - 12 - 82. Does 4 divide x?
False
Suppose 2*d = 0, -2*g - 2*d + 6*d + 48 = 0. Suppose f = -u + 6 + 2, 4*u = -2*f + g. Suppose 20 = 2*o - f. Is o a multiple of 4?
True
Let z = 10869 + -6824. Does 118 divide z?
False
Let q(s) = 139*s - 33. Let h be q(6). Suppose 6*a - h = 57. Is 20 a factor of a?
False
Suppose 72*n - 18 = 69*n. Suppose 5*r = -n*r + 825. Is r a multiple of 13?
False
Suppose 0 = -38*k + 36*k + 672. Does 24 divide k?
True
Suppose 363 = -29*g + 32*g. Let d = g - -7. Is d a multiple of 38?
False
Let y be ((-6)/(-21))/(2/14). Let p(k) = 5*k. Let r be p(1). Suppose 5*u - y*o - 2*o - 75 = 0, 51 = 4*u - r*o. Is 19 a factor of u?
True
Let t(h) = -h**3 + 13*h**2 + 6*h + 7. Let c be t(12). Suppose -i - z - 138 = 0, -2*z + 126 = i - 2*i. Let d = i + c. Does 18 divide d?
False
Let x(v) = v**3 + 10*v**2 + 6*v - 12. Let k be x(-9). Let r = -10 + k. Suppose -5*u - 2*q = -171, 0 = -5*u - 0*u - r*q + 180. Does 11 divide u?
True
Suppose -3*s = -p + 18, -5 = -2*p + 4*s + 25. Let r = 13 - p. Let h(q) = q**3 - 2*q**2 + q - 6. Is 15 a factor of h(r)?
True
Let l(d) = -10*d - 3. Let q be l(0). Does 3 divide (-594)/(-55)*(-10)/q?
True
Let v be -40*((3 - 3) + -2). Suppose 6*l - l = v. Is 8 a factor of l?
True
Let i = 9 - 15. Let q(s) = s**2 + 4*s. Let w be q(i). Suppose -4*c + w = 0, -4*j + 2*c + 3*c = -101. Is 9 a factor of j?
False
Let v = -65 + 110. Suppose -6*n + 201 = -v. Is 8 a factor of n?
False
Suppose -3*r + g + 7468 = 0, 0 = -2*r + 6*g - 7*g + 4972. Is 16 a factor of r?
False
Suppose 0 = 825*s - 820*s - 835. Is s a multiple of 12?
False
Let f = 1 - -7. Suppose f*k + 124 = 12*k. Let o = 71 - k. Is o a multiple of 10?
True
Let d(u) = 286*u**2 + u + 1. Does 16 divide d(1)?
True
Let n(y) = y**3 - 5*y**2 - 5*y - 9. Let k be n(6). Let b(s) = -2*s**3 - 2*s**2 - 2*s - 2. Does 20 divide b(k)?
True
Suppose l - 5*g + 4 = 0, 5*g + 91 = -4*l - 0*l. Let b(h) = h**3 + 18*h**2 - 23*h + 38. Is b(l) a multiple of 7?
False
Does 25 divide 622 + (-1)/((-8)/24)?
True
Let i(t) = 3*t - 4. Let o(n) = n**3 + 3*n**2 - 5*n. Let v be o(-4). Let x be i(v). Suppose -7 - x = -3*l. Is 5 a factor of l?
True
Suppose 2*v = -2 + 12. Let z be 2/v + (-6)/(-10). Let b = 43 + z. Is 11 a factor of b?
True
Let s(k) = k**3 + 10*k**2 - k - 8. Let b be s(-10). Suppose -5*w = -5*t + 12 - 47, b*t = 4*w - 24. Does 5 divide w?
True
Let r(u) = -u**3 + 27*u**2 - u - 220. Is 3 a factor of r(26)?
False
Suppose -854 = -2*t + 3*d, 5*t - 1461 - 651 = -4*d. Is 19 a factor of t?
False
Let k(q) = 3*q**2 - q - 206. Is k(19) a multiple of 22?
True
Let a = 181 - 10. Does 9 divide a?
True
Let t be (4/14)/(5/35). Suppose -3*x + t = -43. Does 15 divide x?
True
Is 13 a factor of 1*89*((3 - 1) + 11)?
True
Suppose 0 = -7*y + 9*y - 156. Does 36 divide y?
False
Does 53 divide 4/1 - (1*-2 + -367)?
False
Suppose -4 = y, 0*y = -2*p - 4*y - 36. Let n be 6/p + (-1265)/(-25). Suppose -11 = 3*d - n. Is 5 a factor of d?
False
Suppose 3*d = 6, -21*h + 26*h - 1806 = -3*d. Is 12 a factor of h?
True
Suppose -1467 + 7179 = 2*s. Suppose 2*m = -15*m + s. Does 14 divide m?
True
Suppose 4*c - 5*t = -8, 4*c = -t + 3*t + 4. Suppose 4*w + 2*b = 30 - 12, c*b = 3*w. Suppose s + w*q - 53 = 0, -s - q = q - 51. Is s a multiple of 18?
False
Does 21 divide ((-70)/15)/((-6)/351)?
True
Let t(d) be the third derivative of -d**6/120 + 7*d**5/60 + d**4/4 + d**3 - 2*d**2. Let u be t(8). Let s = 35 + u. Does 20 divide s?
False
Suppose 0*v + 4*p - 833 = -5*v, 4*p - 664 = -4*v. Suppose 3 = -u, 2*t + 2*u - v = -3*t. Does 11 divide t?
False
Suppose 21 = 6*x - 15. Does 8 divide x - (-30 - -2) - (-2)/(-1)?
True
Let h = -13 + 6. Does 5 divide (-98)/h*6/4?
False
Suppose 5*g - 3*g = 0. Suppose w + 0*w - 5*v - 23 = g, -3*w + v - 1 = 0. Does 33 divide ((-3)/(-3))/(w/(-166))?
False
Suppose 2*s = 11 - 15. Does 2 divide (-3 - -3) + s + 19?
False
Suppose -5*m + 1062 = 4*m. Is m a multiple of 32?
False
Suppose -5*d + 1893 = -b - 0*b, d + 4*b = 387. Is d a multiple of 112?
False
Suppose -20*h + 717 = -1463. Is 11 a factor of h?
False
Let n = -188 + 251. Does 7 divide n?
True
Suppose -4*b + 5 + 3 = 0. Suppose -2*g + b = 0, -4*g + 4 = 2*s - 0. Is 9 a factor of 7/1 + s + 2?
True
Let j(x) = x**3 + 13*x**2 + 8*x + 6. Let i(l) = -2*l - 20. Let n be i(-7). Is j(n) a multiple of 20?
False
Suppose -976 = -4*a - 2*d, -7*a + 732 = -4*a + d. Is a a multiple of 6?
False
Let p = 1 - -1. Let a be (-10)/(-20)*-2*(-2 + -7). Suppose p*r - 5*r = -a. Does 3 divide r?
True
Let y = 1364 - 926. Let q be (y/9)/(2/3). Suppose -p - v = -q, 3*p + 2*v - 74 = 150. Does 26 divide p?
True
Suppose -4*w - 5*c = -3*c - 910, 3*w - c = 685. Is w a multiple of 12?
True
Suppose -n - 8 = n. Let a be (15/(-3) - n)*-4. Suppose 4*b - 2*g - 196 = 0, 2*b + a*g - 110 = 2*g. Is 17 a factor of b?
True
Let f(y) = 0*y**2 + 1 - 3*y + 1 + 6*y**3 - 5*y**2 - 5*y**3. Suppose -3*q + v - 5*v = -14, 5*v - 19 = -4*q. Does 6 divide f(q)?
False
Let q = -470 - -1074. Does 30 divide q?
False
Let r