1122 = b*y - l - 496, -1610 = -3*y - l. Does 8 divide y?
False
Suppose 3*s = 2*m + 5596, 5*s - 3719 = 3*s - m. Is s a multiple of 53?
False
Let r(u) = 2*u + 7*u**2 + u**2 + 2*u + 75 + 16*u**3 - 5*u - 20*u. Is r(5) a multiple of 17?
False
Suppose 0 = 2*q - 2*j - 1396, 0 = -3*q + 2*q + 2*j + 703. Suppose -14*p + q + 6951 = 0. Does 22 divide p?
False
Let g = 15559 - 15534. Let b be (2/4)/(2/260). Does 19 divide -1 + 6 + b + g?
True
Let c = 145 - 80. Let o be 2/(-10) + 124/20. Suppose -85 = -o*b + c. Is 25 a factor of b?
True
Let o(p) = p**2 + 10*p - 11. Let d be o(-11). Suppose d = 3*i - z - 1160, -i - 4*z + 535 = 170. Does 55 divide i?
True
Let m(c) = 439*c + 6418. Does 105 divide m(13)?
False
Suppose 6*a - 8*a + 10 = 0. Suppose -3 = x, 3*x = a*d - 2*x - 30. Suppose -79 - 272 = -d*j. Is 13 a factor of j?
True
Let r(x) = -x**3 - 24*x + 35. Is 13 a factor of r(-14)?
False
Suppose -4*b = 5*f - 38082, -20*b = -17*b - 7*f - 28540. Is b a multiple of 15?
False
Let l(u) = -6*u**3 - 3*u**2 + u + 3. Let f be l(-3). Suppose -187*a = -237*a + 1376 + 1374. Let v = f - a. Is 8 a factor of v?
True
Suppose 227213 = 173*w - 85917. Does 12 divide w?
False
Let u be 7 + (4 - 5) - -1200. Suppose 5*v = 6*z - 2*z + u, -1 = -z. Is 6 a factor of v?
False
Let j(g) = -g**2 + g + 5. Let i be j(4). Is 7/i + (-2 - -261) a multiple of 47?
False
Let d(j) = 72*j**3 + j**2 + 9*j + 8. Suppose -6*v - 11 = -5. Let k be d(v). Is 3 a factor of (-2720)/k - 4/(-18)?
False
Let h = -135 - -190. Let d = h + -44. Suppose -17*z = -d*z - 924. Is z a multiple of 14?
True
Let h(k) = 15*k**2 + 6*k - 2. Let s be h(-2). Suppose 6*p - 26 = s. Let t = p + -7. Does 5 divide t?
True
Suppose 7 = -5*n - 5*w - 8, 0 = 2*w + 10. Suppose -3 = -z + n*z, 591 = 4*a - 5*z. Is a a multiple of 24?
True
Let q = 54110 + -26188. Is 66 a factor of q?
False
Let i be 6952/55*(-20)/8. Let l = 321 + i. Does 5 divide l?
True
Suppose -5*b + o = 780, b + 4*o + 163 = 28. Does 9 divide 3 + 1*b/(-15)*72?
True
Suppose 17*h + 153 = 68*h. Let f(z) = 15*z**3 + 13*z - 37. Is 11 a factor of f(h)?
True
Suppose 4 = x + 2. Suppose 5*a = x*o - 317, o - 157 = a + a. Let k = o - 56. Is k a multiple of 19?
True
Is 8093116/1899 + 4/18 a multiple of 8?
False
Let c(j) be the third derivative of 3*j**5/20 + j**4/8 - 23*j**3/3 + 13*j**2. Is c(7) a multiple of 26?
True
Suppose -76 - 32 = -12*p. Suppose -11186 + 2636 = -p*l. Is 30 a factor of l?
False
Let v(m) = 6*m**3 - 22*m**2 + 875*m - 104. Does 101 divide v(21)?
True
Suppose 98 = -5*l + d, -5*d - 14 + 4 = 0. Let f = l - -12. Let j = 11 - f. Does 19 divide j?
True
Let p(l) = 15*l**3 + 2*l**2 + 16*l - 66. Is 9 a factor of p(4)?
True
Let w = 372 + -384. Is 12 a factor of (-1 - w/(-2)) + 173?
False
Let i(u) = -u**3 + u**2 - u + 52. Let c be i(0). Let f = c + -116. Let x = f - -188. Is x a multiple of 20?
False
Suppose 6*b = -12*b + 54. Does 7 divide -2 + -1 + (b - 2) + 289?
True
Let g = 138 + -135. Let h(p) = 58*p**2 + 4*p - 22. Does 8 divide h(g)?
True
Suppose 2*n - 3740 = -3*w, 105*n - 107*n = -2*w + 2510. Is 26 a factor of w?
False
Suppose 0 = -4*l - 3*i + 16, 0 = -10*i + 14*i. Suppose -128 = -3*m - l*x, -4*m + 31 = x - 157. Does 6 divide m?
True
Suppose -11 = -4*f + 29. Is 41 a factor of 160/48*492/f?
True
Suppose -3*b - 17807 = -3*o + 9304, -36113 = -4*o - b. Is o a multiple of 42?
True
Suppose 13*i = p + 14*i + 676, 2*p = 5*i - 1345. Let k = -76 - p. Does 4 divide k?
False
Suppose 6767 = 12*l - 14377. Is l a multiple of 3?
False
Suppose -13984*w + 14002*w - 340830 = 0. Does 99 divide w?
False
Let m(f) = -f**3 + 13*f**2 + 15. Let p be m(13). Suppose -p*k - 100 = -16*k. Is 14 a factor of k?
False
Suppose 458*d - 47740 = 444*d. Is d a multiple of 21?
False
Let s = 439 + 17551. Is 14 a factor of s?
True
Suppose -t + 1 + 4 = 0. Suppose 0 = -3*q + 6*q + 2*o - 530, 3*q = t*o + 565. Is q a multiple of 18?
True
Let r(u) be the third derivative of u**6/120 + 3*u**5/20 + u**4/8 + 19*u**3/6 - 17*u**2. Let z be r(-8). Suppose -2*m = -z - 9. Does 6 divide m?
False
Does 123 divide 1/(1/449)*((-32 - -56) + -19)?
False
Suppose 8*i + 4877 = -2227. Let z = i - -1434. Is 14 a factor of z?
True
Suppose 52*c = 8025 + 115911 + 21404. Does 98 divide c?
False
Suppose 3567683 - 406403 = 80*k. Is 267 a factor of k?
True
Suppose -3*j + 0*h + h = -34, 3*j - 3*h = 24. Let g = j + 137. Is g a multiple of 25?
True
Let w(a) = -7*a - 37 + 11*a**2 + 6 + 22 + 21 - a**2. Is 48 a factor of w(4)?
True
Suppose 4*d - 23247 = -3227. Is d a multiple of 49?
False
Suppose 0 = 217*u - 116*u - 98172. Is u a multiple of 27?
True
Suppose -27*n + 33*n = 8598. Suppose 2*j - a = 1405 - 459, 3*j + 2*a = n. Does 11 divide j?
False
Suppose 10 = -2*r, 447*r - 452*r = -5*z + 20410. Is z a multiple of 45?
False
Suppose -5*o + 0*o + 9 = -i, -5*i = -2*o - 1. Suppose -2*d = 2*p + 2, -o*p = -2*d + 20 + 2. Is 7 a factor of p - -7 - 356/(-4)?
False
Is 85*927/(-27)*-3 a multiple of 15?
False
Suppose -12*v = -17*v + 205. Suppose 1404 = 44*p - v*p. Is 22 a factor of p?
False
Is (-370 - (-6)/3)/((-2)/38) a multiple of 56?
False
Let r be -12*((-11)/(-33) - (-1670)/(-24)). Suppose -r = -3*s + 39. Is s a multiple of 11?
False
Suppose -3*l - 10 = -22. Let w(x) = l*x + 0*x**2 - 4 + 0*x + 5*x + x**2. Is w(7) a multiple of 18?
True
Let f = 8805 - -3543. Does 147 divide f?
True
Suppose 0 = -i + v + 44, 5*i - 140 = 2*i + 5*v. Let t = i + -11. Let y = t - -22. Is 17 a factor of y?
True
Let b(i) = 17*i**2 - 12*i - 21. Let k be b(-9). Suppose -4*m = 13*o - 9*o - k, -5*m + 1846 = -3*o. Suppose -16*y + 18*y = m. Is 19 a factor of y?
False
Let a = -33555 + 34535. Does 2 divide a?
True
Suppose 0 = 2*u + 3*u + 3*r - 6893, 0 = 5*r + 20. Suppose 0 = -4*n + u - 141. Does 11 divide n?
False
Let y = 53 + -72. Let b = 24 + y. Does 30 divide 108/(b - 23/5)?
True
Let f(j) = 2101*j**3 - 21*j**2 + 36*j - 16. Does 28 divide f(1)?
True
Let u(l) = l**2 + 2. Let h(w) = -30*w**2 - 6*w - 2. Let i(g) = -h(g) + 2*u(g). Does 69 divide i(-3)?
True
Let s be (2964/(-9))/((-2)/9). Let v = 1613 + s. Suppose v = 18*o + 1115. Does 6 divide o?
False
Let n = -35 + 44. Let r = 10 + n. Suppose r = -2*z + 49. Is 2 a factor of z?
False
Let k(w) = -239*w + 135. Let b be k(-6). Suppose -3*r - 2634 = -2*y - 3*y, -3*y + b = 2*r. Is y a multiple of 7?
True
Suppose -3*b + 1220 = j, -4*j + 2*b = -1372 - 3536. Is 39 a factor of j?
False
Let z(u) = 5*u**3 + 5*u**2 + 4*u + 10. Let l be z(-5). Let g = -217 - l. Does 21 divide g?
False
Let o = 13982 - 4603. Is 83 a factor of o?
True
Let f(r) = -r**2 + 6*r + 31. Let g be f(-3). Suppose -56 + 1400 = g*t. Does 21 divide t?
True
Suppose -3*f - 18 = -o, -f + 30 = 5*o - 4*f. Suppose -3*v - 3*t + 11 = -4, -3*t = -3*v + o. Let g(u) = 8*u**2 - u + 9. Is g(v) a multiple of 36?
False
Let f(a) = 112*a - 5*a**3 - 68 + 9*a**2 + 20 - 153*a. Let p(i) = i**3 - 2*i**2 + 10*i + 12. Let n(g) = 2*f(g) + 9*p(g). Does 16 divide n(-5)?
False
Does 12 divide (2 - 0/7) + 6672?
False
Let i(m) = 4*m**3 + 13*m**2 + 2*m - 3. Let c be i(5). Let j = c - 447. Does 7 divide j?
True
Let j(z) be the first derivative of 13*z + 4*z**2 + 7/3*z**3 + 21. Is j(-4) a multiple of 6?
False
Is 6 a factor of -3 + 6 - (9444/3)/(3/(-3))?
False
Let n be 46/(-552) - 155/12. Let b(w) = -2*w - 11 + w**3 + 14*w - 2*w**3 - 12*w**2. Is b(n) even?
True
Let l be 768/(-18)*(25 + 0 + 2). Let t be -2 - l/4 - -4. Suppose 5*u = -0*u + t. Is u a multiple of 10?
False
Suppose -2996808 = -94*j + 443592. Does 200 divide j?
True
Suppose -14*r = -3*r. Is 31 a factor of (1 - r)/(25/15925)?
False
Suppose -5*p = 3*z - 695, -z - 72 + 298 = -4*p. Suppose u - z - 51 = 0. Is u a multiple of 11?
False
Suppose 1 = -2*t - r, -2*r + 9 - 3 = 0. Let h(g) = 184*g**2 - 5*g - 8. Let c be h(t). Suppose 3*n = 9*n - c. Is n a multiple of 20?
False
Let k(b) = 2*b**2 - 13*b + 3. Let r be k(7). Suppose r*w - 168 = 2*w. Is w even?
False
Let s be (-33 - -34)/((-2)/(-8)). Suppose -s*n - 5*h + 105 + 382 = 0, 103 = n + 5*h. Is 4 a factor of n?
True
Let v be (-7)/35 - 31/(-5). Suppose 358 = -v*n + 94. Let u = n - -137. Does 18 divide u?
False
Suppose -30*m + 27441 = -2649. Let n = -877 + m. Is 3 a factor of n?
True
Let q = 5 + -5. Suppose q = -m - 4, b - 5*m - 1540 = -3*b. Suppose f = 6*f - b. Is f a multiple of 29?
False
Suppose -12*k + 106450 = 14*k - 74