2*r - g - 213. Is r a multiple of 8?
True
Let p(f) = 6*f**2 - 14*f - 198. Is 23 a factor of p(-11)?
False
Let m(v) be the first derivative of -23*v**5/40 + 13*v**3/3 + 6. Let q(d) be the third derivative of m(d). Does 23 divide q(-1)?
True
Let s = -1 + 17. Is 108/s*(-4 + 656/12) a multiple of 9?
True
Suppose -q - 4 = 3*q. Let j(i) = 16*i**3 - 14 - 51*i**3 - 26 + 59 - 18 + 2*i. Does 7 divide j(q)?
False
Let g(z) = 27*z - 21. Suppose -14*w + 12*w = -14. Let p be g(w). Suppose -2*c + p = 5*c. Is 24 a factor of c?
True
Let y(c) = -36*c + 154. Let m be y(-6). Let q = 476 - m. Is 21 a factor of q?
False
Suppose 0 = 4*a + 148 + 2228. Let i = a + 662. Is i a multiple of 4?
True
Suppose -3*f + 179 = -11*f + 11475. Is f a multiple of 113?
False
Is 5 a factor of (-37)/((-777)/441) - -6694?
True
Suppose -4*g - i = -5, g = -0*i - 4*i + 20. Let a be 16*1/24*(-447)/(-2). Suppose g = a*l - 145*l - 984. Is l a multiple of 44?
False
Suppose -1362*h - 10395 = -1377*h. Does 3 divide h?
True
Let f(y) = -y**3 + 2*y**2 + 10*y - 8. Let h be f(4). Suppose h = -z - 4*z - 45. Is -4 - 5286/(-27) - 2/z a multiple of 27?
False
Suppose 4*h - 24 = -8*h. Let s be 1 - (0 + -1 + 0). Is 8 a factor of h*79 + 0*s/12?
False
Let h(u) = -3*u + 1. Suppose -5*j + 9 = b, 3*b + 4 = -5*j + 11. Let v be h(j). Is 16 a factor of v - -8 - (3*-93)/3?
True
Let g = 3625 - -4525. Is 5 a factor of g?
True
Is 4 a factor of (0 + -1 - 879)*(-35)/5?
True
Suppose -220*c + 258225 + 3337 = -63*c. Is 38 a factor of c?
False
Suppose 0 = -20*m + 389 - 3369. Let n = -293 + 193. Let f = n - m. Is 12 a factor of f?
False
Is 55 a factor of -6 + (7/1 - (0 + (-56473 - 6)))?
False
Does 2 divide 1000/(-60)*-1*234?
True
Suppose 8*g - 3*g - 17 = -2*l, 0 = 5*l + 20. Let r = -11 + 15. Suppose -b + 114 = g*t, -3*b + r*t = -57 - 190. Does 12 divide b?
False
Suppose 1355 + 8140 = 5*b. Let x = -981 + b. Is 54 a factor of x?
True
Let y = -319 - -613. Suppose -3*z = 15, -c + 2*z + y = -58. Is 19 a factor of c?
True
Let b = -13512 + 19373. Is 93 a factor of b?
False
Is (9 + 63282/12)/(((-4)/2)/(-4)) a multiple of 163?
False
Let b(x) = -6*x**2 - 3*x**2 + 6*x + 13*x**2 + 22*x - 19. Is b(-9) a multiple of 13?
False
Let m be 4/(((-24)/(-1184))/3). Let n = m + -232. Is 49 a factor of n?
False
Let g be 6/24 - (-1475)/20. Suppose -5*p - 76 - 139 = 0. Let y = g + p. Is y a multiple of 11?
False
Suppose 120*a - 539550 = 11*a. Does 55 divide a?
True
Let n be (-428)/28 + 15 + 275/7. Let m(j) = 2*j**2 - 5*j - 1. Let h be m(-5). Let u = h - n. Does 5 divide u?
True
Let p(c) be the second derivative of c**4/2 - 3*c**3/2 + c**2 - 4*c. Let f(l) be the first derivative of p(l). Does 26 divide f(9)?
False
Suppose 105*b - 76870 = 533180. Does 102 divide b?
False
Let b(v) be the second derivative of 3*v**5/20 - v**4/2 - v**3 + 5*v**2 - v - 1. Does 4 divide b(4)?
False
Let j = 775 + -259. Suppose -48 = 4*o - j. Is o a multiple of 15?
False
Suppose 77*i = 68*i - 1953. Is 8/(-14) + (-92349)/i a multiple of 17?
True
Let t(q) = 23*q**2 + 124*q + 619. Does 82 divide t(-5)?
True
Suppose -5*l + 130 = 55. Let j(h) = 2*h**2 - 9*h + 7. Does 46 divide j(l)?
True
Suppose 5*j - 810 = -z - 0*z, -3*z = -2*j - 2464. Suppose 0 = 26*h - 22*h + z. Is 15 a factor of ((-28)/(-18))/7 - h/9?
False
Let m = -23 - -43. Let y = m - 21. Is 2/y*55/(-10) a multiple of 3?
False
Let o(j) = 9*j + 11. Let x be o(-3). Let i(v) = -v**2 - 18*v - 23. Let l be i(x). Is (-855)/(-4) + 2 - l/(-36) a multiple of 31?
False
Let v(f) = -3 - 4*f + 3 - 2. Let r be v(-1). Suppose 9 + 47 = 2*y - z, 2*y = r*z + 58. Is 27 a factor of y?
True
Suppose 0 = -15*c - 712 + 82. Let z(j) = j**2 + 30*j - 106. Is z(c) a multiple of 3?
False
Let t = 537 + -1300. Let q = t - -1415. Does 27 divide q?
False
Let i = -37 - -39. Let l be 2*1/i + 80. Suppose 2*o - l = o. Does 16 divide o?
False
Suppose -w = w + 192. Let s(i) = -i**3 + 14*i**2 - 30*i - 4. Let y be s(8). Let n = w + y. Is n a multiple of 11?
True
Suppose 0 = 308*y - 304*y - 8692. Suppose h - 2*h + 3*z = -425, -5*h - z = -y. Is 79 a factor of h?
False
Suppose -4*b = f - 216, b - 130 = -b + 5*f. Let w = b - 57. Does 14 divide (-2004)/(-18) - w/3?
True
Let r be 5 + -9 - 3129/7. Let x = 99 - r. Is 42 a factor of x?
False
Suppose 5 + 5 = -5*a. Is 403/1 + a + (45 - 47) a multiple of 13?
False
Let j = 821 - 817. Suppose 7 - 2 = z. Suppose z*d + j*d = 414. Does 23 divide d?
True
Let u(i) = i + 14. Let o be u(-10). Let d be -79*(o + -8 - -5). Let b = d + 84. Is 5 a factor of b?
True
Let o(w) = w**3 - 6*w**2 + 7*w - 7. Let i be o(5). Suppose 3*u = -i*c - 6, c + 3*c = 3*u + 6. Suppose 103*x - 100*x - 132 = c. Is x a multiple of 14?
False
Suppose 5*s + 2*m - 28 = 0, 3*s - 8*s = -5*m. Let f(u) = -125*u + 2. Let y be f(-2). Suppose -4*d = -t + 80, 3*d = -s*t + 2*d + y. Is t a multiple of 16?
True
Suppose -l = 5*o - 1685, -5*o = -4*l + 5366 + 1249. Does 49 divide l?
False
Suppose 0 = 2*p + 5*d - 42213, 105618 = 5*p - 473*d + 476*d. Is 180 a factor of p?
False
Let j be (-177)/(31/18 - 4/18). Let u = j - -189. Does 6 divide u?
False
Let p be ((-33)/(-15))/(4/20). Suppose -p*d = -16*d - 5*r + 125, -10 = 2*r. Is d a multiple of 15?
True
Suppose 4*r + 3*x - 63536 = 0, 70*x = 2*r + 69*x - 31748. Does 19 divide r?
False
Let n(k) = k**2 + 10*k - 3. Let g = -133 - -137. Does 9 divide n(g)?
False
Let n(r) = 86*r + 35. Let l(b) = -89*b - 36. Let k(m) = -3*l(m) - 4*n(m). Does 30 divide k(-6)?
False
Let o = -219 - -226. Suppose -k = o*k - 3200. Is k a multiple of 10?
True
Let y(p) = -p + 23. Let u(b) = 6*b - 116. Let r(f) = 3*u(f) + 16*y(f). Let x be r(0). Suppose -13 + 49 = 4*s - 3*c, -3*s + x = -4*c. Does 12 divide s?
True
Let g(p) = -3*p**2 - 18*p + 5. Let d be g(-6). Let x be (0 - d)*(84/(-10))/(-1). Let m = x - -82. Is m a multiple of 20?
True
Let k(i) = -6*i**3 + 69*i**2 - 41*i - 56. Let b(y) = 10*y**3 - 104*y**2 + 62*y + 84. Let u(o) = 5*b(o) + 8*k(o). Is 13 a factor of u(-16)?
True
Let f(n) = -674*n**2 + 5*n + 3. Let y be f(-5). Let w be (y/19)/(14/(-4) + 2). Suppose 3*k = s + w + 319, 2*s = 5*k - 1518. Does 39 divide k?
False
Suppose -5*p - r = 4*r - 945, 4*r + 204 = p. Suppose 0 = 3*z - p - 3. Suppose -4*o - z = -9*o. Is 5 a factor of o?
False
Let j(d) = 4*d**2 + 19*d + 10. Suppose 0 = 4*v - 7 - 1. Let g be -2*v/(-4) + (-12 - -3). Is 19 a factor of j(g)?
True
Let k(u) = u**3 - 3*u**2 - 4*u + 3. Let l be k(4). Suppose -124 = 148*x - 23*x - 374. Suppose v - 38 = -f, -l*v + x*v - 3*f + 34 = 0. Is v a multiple of 20?
True
Is 21 a factor of 1/5 - (9/(-15) + 361610/(-50))?
False
Let v = -26139 - -66172. Is v a multiple of 46?
False
Let m(i) be the third derivative of 13*i**4/8 + 22*i**3 - 70*i**2. Is 6 a factor of m(0)?
True
Let h(z) = -z**3 - 4*z**2 - z. Let f be h(-4). Is (f - 1218/(-9))*(-6 + 9) a multiple of 15?
False
Let r be 6/(-2) - 14*-3. Let k = r - 93. Let o = k + 81. Does 6 divide o?
False
Let u be 11/(33/12)*27/(-4). Let l = 27 + u. Suppose -2*b - 98 = -2*x, x - 53 = -l*b + 5*b. Is 6 a factor of x?
True
Let z(o) = 2453*o**3 + 2*o**2 - 20*o + 34. Is z(2) a multiple of 5?
False
Suppose -43*p - 554190 = -5*p - 80*p. Is p a multiple of 65?
True
Does 37 divide 3 - ((765051/7)/(-17) - (7 - 1))?
True
Let z = -358 + 391. Suppose -39*x + z*x + 3120 = 0. Is x a multiple of 40?
True
Let i be 2 + (-1761 - 24/((-12)/2)). Is 3 a factor of 3 + i/(-50) + (-8)/80?
False
Let i(q) = 139*q - 154. Is i(80) a multiple of 21?
False
Suppose 4*r - 24080 = -5*j, -5*j - 13922 = -3*r + 4138. Does 16 divide r?
False
Suppose 51 - 51 = -6*u. Suppose u = 6*z + 235 - 1375. Is z a multiple of 10?
True
Let p(a) = 19*a**2 + 206*a + 601. Is p(-23) a multiple of 164?
False
Suppose -12 = -3*h - 2*k + 3*k, 4*h + 2*k - 6 = 0. Suppose -2*b = -4*j + 976, -2*j - h*b + 439 = -49. Does 31 divide 10/(4 + j/(-62))?
True
Suppose 14502 - 93210 = -12*q. Does 11 divide q?
False
Let o = 38 - -202. Suppose -c + 2*n = -o, 3*c - 4*n = -3*n + 725. Is 22 a factor of c?
True
Let u(a) = 1614*a**2 - 20*a - 7. Let i(j) = -807*j**2 + 9*j + 4. Let n(o) = -5*i(o) - 2*u(o). Is 69 a factor of n(-1)?
False
Suppose -3*u - 51*i + 6352 = -49*i, -4252 = -2*u + 3*i. Is u a multiple of 106?
True
Suppose -a = p - 7, -3*p - 5 = -2*a - 2*p. Suppose j + 5 = a*i, 3*i - 3*j = 6*i - 15. Suppose i*c - 8*c = -444. Does 43 divide c?
False
