
False
Suppose 4*t + 12 + 152 = 0. Let r = 60 + t. Suppose -17*g = -r*g + 70. Is g a multiple of 5?
True
Let i(m) = -49*m + 6*m**2 + 40*m + 0*m**2 - 4*m**2 - 20. Suppose -r + 34 = 4*a, -4*a + 3*r = -2*a - 10. Does 4 divide i(a)?
True
Suppose 195*q + 28*q = 947750. Does 25 divide q?
True
Suppose -69*j + 70*j = -4*f + 5185, 0 = -4*j + 5*f + 20593. Is 191 a factor of j?
True
Suppose 4*b - 3 = 37. Let g = b - -60. Is g*16*4/40 a multiple of 7?
True
Let h(c) be the second derivative of -17*c**3/3 - 64*c**2 + 46*c - 1. Does 3 divide h(-5)?
True
Let z(o) = 6*o + 756. Is z(-10) a multiple of 29?
True
Let j be (-1)/(-4) - 0 - (-21)/12. Let k(p) = 5*p**2 - 6*p + 7. Let a be k(j). Let l(c) = c**3 - 13*c**2 - 20*c - 12. Is l(a) a multiple of 33?
False
Let i = -223 + 115. Let l = i - -110. Suppose -2*u + 5 + 377 = -l*t, 3*t + 185 = u. Does 14 divide u?
False
Let z(u) = 26*u**2 + 4*u - 1. Suppose 5*b - 2*p = -0*p - 22, 5*p = -2*b - 3. Is 19 a factor of z(b)?
True
Let x = 10411 - 3053. Is x a multiple of 16?
False
Let b = 120 + -115. Suppose b*o - 63 = -m, -5*m - 6*o = -4*o - 430. Is 22 a factor of m?
True
Suppose 0 = 2*j + 2, -4*s + 1 = -5*j - 16. Suppose 0 = 5*w - 6*w + s. Suppose 4*q = -2*z - z + 240, w*z + 180 = 3*q. Does 6 divide q?
True
Let a be 26/(-143) - (8157/(-33) - -1). Suppose 5*i + 3*z = 1206, -2*i = -i + 3*z - a. Is i a multiple of 10?
True
Let u = 2972 - -2471. Is u a multiple of 44?
False
Let b(s) = -13158*s + 42. Does 30 divide b(-1)?
True
Let y(t) = 6*t**3 - 13*t + 13 + 5*t**3 - 14*t**3 + 4*t**3 - t**2. Is y(5) a multiple of 3?
True
Let p = -206 + 248. Let o = 11 + p. Does 15 divide o?
False
Suppose -4*u + 25 - 549 = -4*f, 4*u = -f + 146. Does 6 divide f?
False
Let w(f) = 322*f**2 + 2. Let j(x) = 7*x - 6. Let d be j(1). Let i be w(d). Suppose -k = 2*k - i. Is 6 a factor of k?
True
Let o(q) = -6*q - 30. Let l be o(-5). Suppose 3*z - 5*y - 756 = l, 991 = 4*z + 15*y - 16*y. Is z a multiple of 19?
True
Let y(q) = -13*q + 43. Let b = -262 - -253. Is y(b) a multiple of 10?
True
Let g(x) = 4*x**2 + x + 1. Let i(r) = -6*r**3 - 12*r - 5. Let b(z) = -7*z**3 + z**2 - 13*z - 4. Let u(a) = 5*b(a) - 6*i(a). Let d be u(-4). Does 5 divide g(d)?
True
Let h = 166 + 294. Suppose m + 0*z - z = h, -3*m - 3*z = -1392. Suppose 2*c + 5*c - m = 0. Is 35 a factor of c?
False
Suppose 10*i - 51*i + 82 = 0. Suppose 2*o + 4 - 394 = 0. Suppose -5*p - o = -5*g - 0*p, 0 = 3*g - i*p - 114. Is 6 a factor of g?
True
Suppose -h + 3*n - 1 = 0, 4*h - 2*n = n - 13. Let i = 15 - h. Suppose -35 = -4*d - i. Is 3 a factor of d?
False
Let g(r) = 9*r + 6. Let y be g(8). Let t = 186 - y. Is t a multiple of 10?
False
Suppose 3*m - 4*a - 40504 = -1060, -5*a = 0. Is m a multiple of 173?
True
Suppose 1519*c - 1496*c = 550574. Does 17 divide c?
False
Let t = -42 + 278. Suppose -2*n = o - t, 16*n + 2*o + 608 = 21*n. Is n a multiple of 10?
True
Suppose 0 = 2*a - 4*a - r + 2167, -2*a - 4*r + 2158 = 0. Is a a multiple of 7?
True
Let g(y) = -y**3 - 11*y**2 - 9*y + 14. Let j be g(-10). Suppose -6*k = -j*k - 10. Suppose 4*t - p = 315, k*p = -t + 4*t - 232. Is t a multiple of 26?
False
Suppose -3*o - 23 = t, 5*o - t + 14 = -11. Let l be (4/o + 4)*-3. Is ((-84)/l + -4)*30 a multiple of 11?
True
Suppose -6*q + 19 = 37. Is 12461/34 + q/(-6) a multiple of 6?
False
Suppose 4*n = 6*x - 2*x + 112, 0 = 4*x - n + 106. Let c = x - -253. Is c a multiple of 15?
False
Let q(r) = 3*r**3 - 16*r**2 - 22*r - 4. Let x(f) = -7*f**3 + 34*f**2 + 45*f + 7. Let k(b) = 9*q(b) + 4*x(b). Is k(-7) a multiple of 8?
False
Let r(q) = 3*q + 46. Let t be (-12)/9*63/6. Let s be r(t). Does 11 divide (-1)/((-2)/s) - -9?
True
Suppose -l + 11 = 1. Suppose l*p - 332 = 2148. Is p a multiple of 32?
False
Let s = 279 - 131. Suppose -10*o = -7*o - 4*g - s, -o + 2*g = -48. Is o a multiple of 17?
False
Suppose -53*z - 4984 + 81304 = 0. Does 45 divide z?
True
Suppose 13*l + 66 = 23*l + l. Let j(s) be the second derivative of s**4/12 - 5*s**3/6 + 3*s**2/2 - s. Is 3 a factor of j(l)?
True
Let k be ((-1)/2)/(1*4/8). Let o be 405 - (-4)/k - 1. Let z = o - 255. Is z a multiple of 20?
False
Is 22 a factor of 1512/(-81)*-22*(-1695)/(-40)?
True
Let s(z) be the third derivative of z**5/15 - 17*z**4/24 + 2*z**3/3 + 26*z**2. Let y be s(5). Is 5022/57 - 2/y a multiple of 8?
True
Does 46 divide (0 + 9885/(-10))/((7/10)/(-7))?
False
Let c = -200 - -200. Suppose 572*b - 561*b - 286 = c. Is 14 a factor of b?
False
Suppose -3*d - 5*u = 11, -d + 1 = -17*u + 14*u. Does 2 divide 2 - 2 - d - (13 + -45)?
True
Let v = -99 - -172. Let c = v - 45. Is c a multiple of 28?
True
Let f = 21702 + -9444. Does 15 divide f?
False
Let y = -91 - -52. Let q(o) = 7*o**2 - 3*o - 1. Let w be q(4). Let d = w + y. Is d a multiple of 12?
True
Let h = 81 - 65. Let d be 0 + 219/45 - h/(-120). Does 6 divide -3 - (38/d)/((-6)/30)?
False
Let a(m) = m**3 + 14*m**2 + 51*m + 14. Does 15 divide a(11)?
True
Suppose 4*u + 3 - 1 = -i, -3*i = -3*u - 9. Suppose g = 5*j + 3*g - 4, 8 = j - i*g. Suppose -2*d = j*l - 44, 3*d = -3*l + 4*d + 58. Is 11 a factor of l?
False
Let u(y) = 1418*y**2 + y + 78. Is 253 a factor of u(4)?
True
Suppose 132*w = 208*w - 99601 - 22151. Is 6 a factor of w?
True
Suppose 534 = -5*o - o. Let a = o - -94. Suppose 9 = p + 3*i, 4*p = -3*i + 40 + a. Is p a multiple of 6?
True
Let v(m) be the first derivative of 47*m**2/2 + m - 5. Let t be v(1). Suppose t = z - 0. Does 24 divide z?
True
Let y(f) = -5*f**2 - 5*f - 4. Let s be y(-1). Is 1/s + 2023/28 a multiple of 3?
True
Let v(x) = 2*x**2 - 127*x - 105. Let w(g) = -3*g**2 + 191*g + 158. Let m(f) = -8*v(f) - 5*w(f). Does 7 divide m(52)?
True
Let x = 7892 + -1916. Is 36 a factor of x?
True
Let r be ((-156)/(-8) + 6)*2. Does 12 divide 1*15/9 + 31433/r?
False
Let s(d) = d**2 + 11*d - 6. Let r be s(-8). Let h = r + 38. Suppose 504 = 4*k + h. Is k a multiple of 31?
True
Let c be 5/(20/136)*60. Suppose -588 = -12*v + c. Suppose z - 382 + 26 = -3*b, 0 = -2*b + 3*z + v. Is 39 a factor of b?
True
Is -305*-1*(144/(-30))/(-12) a multiple of 122?
True
Suppose -194*a = -132*a - 264120. Is a a multiple of 60?
True
Let t(a) = -3*a**3 - 27*a**2 + 13*a - 590. Is t(-22) a multiple of 90?
True
Suppose 3691 + 683 = 27*p. Let v(d) = d**2 - 10*d + 2. Let g be v(10). Suppose -f - g*f + p = 0. Is f a multiple of 27?
True
Suppose 0 = 55*o - 24*o - 15004. Suppose -14*p + o = -3*p. Is 14 a factor of p?
False
Suppose 10*x = -4*x - 4746. Let n = -235 - x. Is n a multiple of 8?
True
Suppose -2*k + 16 = -k. Suppose k*z = 23*z - 5320. Is z a multiple of 20?
True
Suppose -5*l + 14 = -3*l. Suppose -2 = -h + 5*p + 14, l = h - 2*p. Let w(b) = 21*b. Does 5 divide w(h)?
False
Suppose -407*c = 51*c - 16383576. Is 22 a factor of c?
True
Suppose -2*z = -5*i - 1563, -21*z + i = -22*z + 764. Is 32 a factor of z?
False
Suppose 3*b + 24 = 9*b. Suppose 0 = 4*g + 12 + b. Does 6 divide (g/10)/((-3)/645)?
False
Let u(d) = -2701*d + 1358*d + 1348*d - 35. Is u(29) a multiple of 6?
False
Let p(k) be the second derivative of 7*k**4/12 + 25*k**3/6 + k**2 - 60*k. Does 43 divide p(-9)?
True
Let n(d) = 7*d - 150 + 8*d - 143 + 2*d**2 + 457 - 147. Let q = 1 + -10. Is n(q) a multiple of 22?
True
Let z = 66808 - 29958. Is z a multiple of 19?
False
Let c(x) = 67*x + 52*x - 106*x - 1. Let u be c(1). Suppose -u*n = -13*n + 125. Is n a multiple of 38?
False
Let j be (2 - (-2 - -6))*(-7)/2. Suppose -j*v = -19*v. Suppose 3*l + l + 8 = 0, -5*t - l + 848 = v. Is 17 a factor of t?
True
Let j = 27697 - 18677. Does 41 divide j?
True
Let g = -73 - -123. Suppose -46*b + g*b - 52 = 0. Suppose 5*n + 10 = h, -2*h + 4*n = -57 + b. Does 15 divide h?
True
Let x(f) be the second derivative of -2*f**2 + 2/3*f**4 - 1/20*f**5 - 1/2*f**3 + 0 + 19*f. Does 8 divide x(5)?
True
Suppose 0 = -4*g - 5*i + 37 - 3, -5*g + 3*i = -61. Suppose -g*k - 12 = -14*k. Suppose -5*u - k*t + 188 = -181, u - t = 81. Is 14 a factor of u?
False
Let r = 34270 + -23103. Is r a multiple of 14?
False
Let x = 31 - 40. Suppose -3*d - 5*p + 290 = 2*d, 4*p = -3*d + 178. Let b = x + d. Is b a multiple of 5?
True
Suppose -25*p + 478 + 422 = 0. Suppose p*r + 2950 = 41*r. Is r a multiple of 59?
True
Does 88 divide (-150)/(-60)*(-56)/(-20) - (-4835 - 3)?
False
Suppose 21*y + 16 = 25*y. Let z be (y + (-332)/8)*2. Let j = -34 - z. Does 41 divide j