48. Suppose 6*r + f = 1158. Is r a multiple of 65?
False
Suppose -46*z + 7923 + 32649 = 0. Does 49 divide z?
True
Suppose 74*t - 5*k = 70*t + 2496, -3*t - 4*k + 1872 = 0. Does 48 divide t?
True
Suppose -3 = -5*y + 2. Let x = -2 - y. Let g(t) = -8*t - 4. Is g(x) a multiple of 7?
False
Let a be (-348)/(-16) - 1/(-4). Let n = a + -17. Suppose k = n*k - 60. Does 5 divide k?
True
Let b(s) = 48*s + 70. Does 7 divide b(13)?
False
Let o(r) = 29*r**2 - 2*r - 29. Let v(s) = 10*s**2 - s - 10. Let l(w) = 6*o(w) - 17*v(w). Let p(t) = 2*t + 2. Let d be p(-3). Does 10 divide l(d)?
True
Suppose 31*s - c = 26*s + 2067, s - 419 = 3*c. Does 7 divide s?
True
Let j be 25/(-5)*10*(0 - 1). Let m(f) = -f**2 - 2*f - 1. Let u be m(-1). Suppose u*h = -2*h + j. Is 7 a factor of h?
False
Is 8 a factor of (6 - 1) + -7 + 371?
False
Suppose -s - 42 = -4*s. Suppose 3*h = -4*p - 6, 3*h - 2*p - 16 = -2*h. Suppose -h*u = -s - 64. Is u a multiple of 13?
True
Suppose -2*p = 4*q - 46, 4*q - 26*p = -30*p + 40. Is q a multiple of 13?
True
Let w = -1401 - -1764. Is w a multiple of 11?
True
Let r(q) = q**3 + 5*q**2 - 4*q - 10. Let o be r(-5). Suppose -6*f - 12 = -o*f. Is (f + 1 - 0) + 87 a multiple of 22?
False
Let y be 2/2 - (-3 - -4). Suppose y*p = -4*p + 5*u + 484, p - 146 = -5*u. Is 18 a factor of p?
True
Suppose -y = 0, -2*y + 0*y - 10 = -2*l. Let f(j) = -j**3 - j + 1. Let d(r) = -2*r**3 + 5*r**2 - 2*r - 1. Let p(h) = -d(h) + f(h). Is p(l) a multiple of 4?
False
Let x(b) be the first derivative of b**2/2 - 3*b + 2. Let y be x(8). Suppose 70 = 3*t + 2*t - 4*a, y*a + 11 = 2*t. Does 6 divide t?
True
Suppose 5*m - 8*m = 21. Let p(l) = -l**3 - 6*l**2 + 7*l + 3. Let d be p(m). Does 8 divide 36 + 4/((-4)/d)?
False
Let d(b) = 27*b. Let w be d(-1). Let l be (-63)/w - 1/3. Let i(p) = 44*p + 2. Does 22 divide i(l)?
False
Suppose -4*u = -d - 3*d - 704, -4*u + 736 = 4*d. Is u a multiple of 30?
True
Let u(b) be the second derivative of b**4/12 - b**3/3 + 26*b**2 - b. Suppose j = -j + j. Is 20 a factor of u(j)?
False
Let x(z) be the first derivative of 2*z**3/3 - 2*z**2 + 5*z - 5. Is x(-4) a multiple of 10?
False
Suppose -2*w = 118*u - 120*u - 524, -5*u = 5*w - 1330. Is 11 a factor of w?
True
Suppose -2*t + p = -5, 2*p = -2*t - 0*p + 2. Suppose 4*w = 2*o - 14, t*o - 5*w = 18 - 2. Suppose 0*r = -o*r + 9. Does 3 divide r?
True
Let p = 19 - 17. Suppose p*r + 137 = -5*y, -4*r + 255 = -9*r + 5*y. Is 7 a factor of r/(-24)*(-2 + 14)?
True
Let d = 316 - 225. Is 7 a factor of d?
True
Let k(v) = v - 1. Let q = 6 - 8. Let u be k(q). Is (-6)/u - -1*9 a multiple of 11?
True
Let q(t) = 7*t**2 - 2*t. Let w be q(2). Suppose -w*r = -25*r + 143. Is r a multiple of 26?
False
Let h(x) = -3*x + 7. Let t(k) be the first derivative of -k**2/2 - 9. Let z(r) = h(r) + 3*t(r). Is z(-8) a multiple of 11?
True
Suppose 4*d - 3 = 3*d. Suppose 2*t = 5*b + 167, -7*b = -5*t - d*b + 426. Suppose -230 = -3*z - t. Is 19 a factor of z?
False
Is (-2 + 4/(-3))*-210 a multiple of 35?
True
Does 7 divide 14/(-168) + (-2019)/(-36)?
True
Suppose -3*s + 26 = -5*j, 4*s + 4*j = -4 - 4. Suppose -4*n + 4*r = 60, 5*n + 97 = r + 26. Is n/(-1 + 2 - s) a multiple of 3?
False
Suppose -2*g + 664 = x, 11*g + 2721 = 4*x + 6*g. Is 21 a factor of x?
False
Let x(o) = -10*o**2 - 10*o + 2. Let y be x(5). Let p = -142 - y. Is p a multiple of 29?
False
Let c = 10 - 6. Let k(i) = 41*i - 59*i - c + 2. Is k(-5) a multiple of 24?
False
Does 20 divide 30/5*590/45*15?
True
Let w(b) = 10*b**3 + 11*b**2 - b - 8. Let p be 3/(-18) + 26/12. Let f(l) = 3*l**3 + 4*l**2 - 3. Let q(m) = p*w(m) - 7*f(m). Does 5 divide q(-6)?
False
Suppose 4*r + 3 = r. Is 10 a factor of r/((-4)/104) - 2?
False
Let t = -15 + 18. Suppose 2*f + 28 = -3*w, -t*w + 0*f + 7 = -5*f. Does 12 divide (98/w)/(1/(-3))?
False
Let n = -65 - -68. Suppose 5*x = -5*o + 35, n*o + x = 2 + 15. Is 4 a factor of o?
False
Let h = 12 - 8. Suppose l + 6*j = 2*j + 86, h*l + 5*j - 300 = 0. Does 7 divide l?
True
Let o(g) be the third derivative of -g**6/120 + g**5/15 - g**4/8 + g**3/2 - g**2. Let s be o(3). Suppose 0 = w - s*w + 20. Does 7 divide w?
False
Let m(g) = -g**2 - g + 1. Let i(q) = -3*q**2 - 5*q + 6. Let l(h) = -i(h) + 4*m(h). Let v be l(5). Let k = -15 - v. Is 2 a factor of k?
False
Suppose 2*s = -5*r + 324, -3*s = 4*r - r - 468. Is 31 a factor of s?
False
Suppose -5*u + 60 + 15 = 0. Let n = 203 - u. Suppose g + 3*q = -3*g + 164, 4*g - 3*q = n. Does 22 divide g?
True
Let b(i) = -33*i + 15. Let a(u) = -16*u + 7. Let t(y) = -5*a(y) + 2*b(y). Does 13 divide t(4)?
False
Let a = -5 - -10. Suppose -a*k + 12 = -3*k. Is 7 a factor of (k/(-4))/((-18)/204)?
False
Let b(f) = f**3 + 11*f**2 - f - 25. Let g(n) = -n**3 - 7*n**2 - 11*n - 4. Let l be g(-4). Is 35 a factor of b(l)?
True
Suppose -9*x + 6*x - 2*c = -5235, 2*x - c = 3497. Is x a multiple of 9?
False
Suppose 0 = -y + 3*j + 148, -4*y + 65 = -3*j - 545. Does 14 divide y?
True
Let q(w) = -w**2 - 5*w + 8. Let x be q(-6). Is ((-40)/(-3))/(x/27) a multiple of 9?
True
Let n = -306 + 900. Is n a multiple of 16?
False
Let p = -3 - -8. Suppose 5*u - c - 105 = c, -p*c + 63 = 3*u. Suppose 2*b - u - 11 = 0. Is 15 a factor of b?
False
Let w = 491 - 238. Does 23 divide w?
True
Let v(i) = i + 21. Suppose 0 = 2*b + 1 - 5. Suppose b*d + 75 = -3*d. Is v(d) a multiple of 6?
True
Is 35 a factor of 5 - ((-3350)/3 - 45/(-27))?
True
Suppose 3*x = 6*i - 10*i - 660, -2*x - 4*i = 436. Let w = x - -317. Is w a multiple of 15?
False
Let w = -419 + 613. Does 37 divide w?
False
Suppose 1734 = -2*r + 2*k + 6730, -r + 4*k + 2495 = 0. Is r a multiple of 64?
False
Suppose -6*l + 24 = 6. Suppose l*z - 215 + 1 = 5*c, -72 = -z + 2*c. Is z a multiple of 9?
False
Is 71 a factor of (-70)/30*(-212 + -1)?
True
Let m = -15 - -55. Suppose 0 = -7*o - m + 271. Suppose 2*n + o = 165. Does 22 divide n?
True
Let a = -128 + 188. Does 30 divide a?
True
Suppose 24374 = 20*l + 1574. Is 19 a factor of l?
True
Suppose 0 = -11*f + 2561 + 3269. Is 16 a factor of f?
False
Let z(l) be the first derivative of -21*l**2/2 + 16*l + 10. Is z(-9) a multiple of 27?
False
Suppose 5*d - 133 = 267. Suppose f = d + 71. Is f a multiple of 22?
False
Let w(q) = q**3 - 6*q**2 + 7*q - 16. Let y be w(5). Let x(f) = -f**2 - 18*f - 49. Does 7 divide x(y)?
False
Let n be ((-240)/50)/((-3)/(-10)). Let t = n - -21. Suppose 5*r + 0*k = -t*k + 95, -3 = k. Does 13 divide r?
False
Suppose 0 = h, 8*p + 30 = 3*p + 2*h. Let a(o) = o**3 + 8*o**2 + 10*o + 10. Does 7 divide a(p)?
False
Let y(g) = 5*g + 8*g**2 + 1 + 7 + g**3 - 2. Let s be y(-4). Does 17 divide 2 + -1 + 1*s?
True
Suppose 0 = k + 4*z - 1403, 2*z - 1516 = -5*k + 5409. Is k a multiple of 5?
False
Let u(n) = 2*n**3 - 10*n**2 + 2*n + 341. Is u(0) a multiple of 3?
False
Is 3 a factor of 5/(-60) - (-2017)/12?
True
Let z(u) = -7*u - 17. Let y be z(-3). Let g be -2 - -119 - (0 + -1). Suppose y*j - 30 = g. Is 15 a factor of j?
False
Let k(f) = f**2 + 12*f + 14. Suppose -2*d - 3*d - 55 = 0. Let t be k(d). Suppose -t*a + 84 = c - 35, c + 4 = 0. Is 25 a factor of a?
False
Suppose -62*f + 316 = -64*f. Let c = -107 - f. Is 12 a factor of c?
False
Let r(d) = d**2 + 45*d - 85. Does 19 divide r(17)?
True
Let c = -99 + 129. Does 13 divide c/45 + 59/(-6)*-4?
False
Suppose 0*m + 3*m - 9 = s, 4*m - 20 = 4*s. Suppose -244*u + 251*u - 21 = 0. Suppose -52 = -u*w - m*w - 2*j, 2*j = -4*w + 42. Is w a multiple of 10?
True
Suppose -2*i + 3*i - 358 = 0. Let t = i - 241. Let a = 189 - t. Is a a multiple of 24?
True
Suppose -80 = -17*x + 12*x. Let n(r) = -r**2 + 18*r - 5. Does 9 divide n(x)?
True
Suppose 0 = 8*g - 0*g - 1280. Does 16 divide g?
True
Let j(r) = r**3 + 5*r**2 - 2*r + 3. Let x be j(-5). Let s(n) be the second derivative of n**3/3 + 12*n**2 - 2*n - 68. Is 8 a factor of s(x)?
False
Suppose 0 = -d + 4*n - 5, -2*d + 5*d = 2*n + 35. Let r be ((-25)/d)/((-10)/36). Suppose -o = -2*o + r. Does 3 divide o?
True
Let s(t) = -5*t - 8. Let g be 21/(-6)*(-1 + 3). Let f be s(g). Suppose -4*k = -147 + f. Is k a multiple of 8?
False
Suppose 0 = -5*x - 2*f + 390, -6*x + 4*x + 170 = -2*f. Suppose -11*m + x = -85. Is m a multiple of 15?
True
Suppose -12*z + 9*z = -4*i + 652, -340 = -2*i + 5*z. Is 20 a factor of i?
True
Suppose -o + 3*g - 289 = 215, o = -g - 508. Is 13 a factor of o/(-3)*(0 + 1)?
True
Suppose 2*r - 25 - 31 