
True
Let a = -108 + 162. Let s = 72 + a. Is s a multiple of 63?
True
Suppose 12 = m - 0. Let j be (11 - m)/(2/6). Let c = j + 143. Is c a multiple of 28?
True
Suppose -79*a + 15*a + 896 = 0. Suppose -a*p + 1848 = -12*p. Is p a multiple of 44?
True
Suppose 4*f + 67 = 211. Let n = 88 + f. Let l = 249 - n. Is l a multiple of 15?
False
Let i(g) = 4*g**3 - 18*g**2 + 67*g - 14. Is i(13) a multiple of 31?
True
Suppose 217 = 5*l + 207. Suppose -2*z + 1070 = 3*t, 0*z = l*t - 5*z - 707. Is 7 a factor of t?
False
Let p = 5908 + 3008. Does 21 divide p?
False
Let q(o) = o**3 + 18*o**2 + 32*o + 241. Does 92 divide q(-11)?
True
Let z(d) = 167*d - 1968. Is 43 a factor of z(45)?
True
Suppose -43 - 142 = -5*d - 5*t, -5*d + 178 = -2*t. Let y(b) = 4*b + 59. Is 18 a factor of y(d)?
False
Let p = 14154 + -8132. Does 17 divide p?
False
Let f = 10027 + 5342. Is 109 a factor of f?
True
Let b(g) be the second derivative of g**5/20 + g**4/4 - 4*g**3/3 + 2*g**2 - 7*g - 20. Is b(-4) even?
True
Does 119 divide (-53074)/3*(-66)/(-44)*-1?
True
Suppose 5*p + 2328 - 2358 = 0, -3*p + 13770 = 3*x. Does 49 divide x?
False
Let n = 2775 + -2051. Is n a multiple of 9?
False
Let s = -12476 - -16802. Does 25 divide s?
False
Let u(f) = 20*f - 7. Let v be u(2). Suppose v = r + 2*r. Let b(c) = -c**3 + 11*c**2 + 8*c + 13. Does 10 divide b(r)?
False
Is 107 a factor of (-3*(-47)/3)/(5/535)?
True
Let h be -55 - (-8 + 3 - -4). Let u be (-1422)/h + 2/3. Let x = 187 - u. Is x a multiple of 30?
False
Let p = -9895 + 10462. Is 8 a factor of p?
False
Let d be (2 - -7) + (43 - 49). Does 21 divide 1554*((-22)/(-33) + 1/d)?
True
Let w(p) = -p**3 - 4*p**2 + 7*p + 7. Let l be w(-5). Let v be (2/l)/((-4)/5472). Is (-2)/5 + v/30 a multiple of 15?
True
Let o = -2150 - -3545. Is o a multiple of 45?
True
Suppose 6*q + 3*w + 15 = q, 0 = 5*q + w + 5. Suppose 31*x - 32*x + 94 = q. Let b = x - 84. Is 10 a factor of b?
True
Let i = -7547 + 8925. Does 53 divide i?
True
Let f = 82 + -70. Does 4 divide (f/10)/(29/5220)?
True
Suppose 3*z - 793 = -5*p, 0*p = -2*z + p + 507. Suppose -7*d + z = -248. Does 24 divide d?
True
Suppose 5*g - 223*x = -221*x + 32869, -2*x + 19731 = 3*g. Is g a multiple of 25?
True
Let j = 2312 + -32. Is j a multiple of 76?
True
Let d = -5460 - -9542. Does 10 divide d?
False
Let i = 16690 - 13414. Is 41 a factor of i?
False
Let w(p) = 47*p**3 + 2*p**2 - 2*p + 1. Let j be w(1). Let b = j + 297. Suppose -g + b = 3*r, -3*g = -5*r - 0*r + 575. Is 23 a factor of r?
True
Let h be 28/12 - 2/6. Suppose -h*r - 47 = -39. Let i(c) = 10*c**2 + 5*c. Does 20 divide i(r)?
True
Let t = -57 + 57. Suppose t = -2*f + 2*y + 10, 0 = -f + 4*y + y + 1. Suppose 255 = f*d - 33. Is d a multiple of 6?
True
Suppose 0 = -4*c + 4*g + 18300, 110*g = 12*c + 105*g - 54858. Is c a multiple of 13?
False
Let l = 335 + -608. Let i = l + 687. Is i a multiple of 9?
True
Let g = 1891 - 1343. Suppose 2*q = -2*l + g, 4*l - 19 = -q + 264. Is q a multiple of 12?
False
Let j = 36273 + -29389. Is 28 a factor of j?
False
Suppose -5*t + 4939 = 3*b, 7*t - 8245 = -5*b + 2*t. Does 19 divide b?
True
Let a(s) = 31*s - 52. Let h(r) = 17*r + 278. Let z be h(-16). Is 67 a factor of a(z)?
True
Let z(q) be the second derivative of q**4 + 35*q**2/2 - 57*q. Does 10 divide z(-6)?
False
Let i(b) = -b**3 - 17*b**2 + b + 19. Let d be i(-17). Let l(q) = -d - 5*q**2 + 8*q + 12 - q**3 + 0*q**2. Is l(-7) a multiple of 6?
False
Let k(o) = -9*o - 23. Let a be k(-8). Let z = a - 23. Is 13/z*50*8 a multiple of 25?
True
Suppose -119 = -124*h + 129. Let u(l) be the third derivative of l**6/120 + l**5/60 + 2*l**3/3 - l**2. Is u(h) a multiple of 4?
True
Let j(l) be the third derivative of -l**6/120 + l**5/60 + l**3 - 891*l**2. Let s be ((-6)/(-8))/(1/(-4)). Does 6 divide j(s)?
True
Let z(m) = -18*m**3 - 22*m + 3. Let w(v) = 9*v**3 + 10*v - 2. Let g(f) = 5*w(f) + 2*z(f). Is 8 a factor of g(2)?
True
Let r(m) = 198*m - 38. Suppose -5*f - 4*b + 5 = 0, 2*b - 6 = -3*f - 3. Is r(f) a multiple of 68?
False
Let c(x) = -x**3 + 47*x**2 + 158*x - 28. Does 4 divide c(50)?
True
Let u = 43 + -39. Suppose -w - 1 = u*z + z, 0 = 2*w + 2*z + 2. Is 10 - 6 - (w + 1) a multiple of 4?
True
Suppose 21*u - 5*u - 5*u = 0. Suppose u = -3*b + 5*p + 628, -3*p + 412 = 2*b - 8*p. Does 27 divide b?
True
Suppose -71 = i + 4*f, -i + 2*f - 3*f = 80. Let l = 313 + i. Is l a multiple of 5?
True
Suppose 3*c - q - 2697 = 0, 0 = -3*c - 5*q + 2663 + 34. Does 17 divide c?
False
Let b(u) = -u**3 + 3*u**2 + 4*u - 1. Let q be b(4). Let h(f) = 901*f**2 - 4*f - 2. Is h(q) a multiple of 43?
True
Suppose 0 = -k + 4*k + 3*t + 9, 3*t = -9. Suppose 0*m - m + 15 = k. Suppose -3*q = -2*h + 50, -2*h = 4*q - 49 - m. Is h a multiple of 14?
True
Suppose -10*f + 63 = -167. Suppose 4*k = f*k - 399. Is k a multiple of 13?
False
Suppose -q + 37 = 2*f, -q + 2*f + 0 = -41. Let i = q - -312. Is 13 a factor of i?
True
Let b(h) = h + 16. Let w(u) = -1. Let p(m) = -b(m) + 4*w(m). Let d be p(10). Is 11 a factor of 304/10 - (-12)/d?
False
Let c be ((-2)/(-4))/(18251/3650 + -5). Suppose 5*z - c = 13*x - 8*x, -1805 = -5*z + x. Does 20 divide z?
True
Suppose -13*q + 8718 = 2*j - 10*q, q + 21795 = 5*j. Does 15 divide j?
False
Suppose 6*d = -42, 0*d - 4*d = -4*f + 7752. Is f a multiple of 2?
False
Let j(n) = 5*n**2 - 2*n + 3. Let w be j(-2). Suppose 4*t + 5 - w = -y, -4*y - 5*t + 121 = 0. Suppose -3*b - y = -226. Is 16 a factor of b?
True
Suppose -13*p + 10*p = 3*o - 24381, -5*o - 2*p + 40626 = 0. Does 6 divide o?
True
Suppose 4*c = 5*h - 185547, -21337 - 15755 = -h - 5*c. Is 103 a factor of h?
False
Let d = -19716 - -25938. Is 11 a factor of d?
False
Suppose 225*b - 36403 = 237*b - 90343. Does 8 divide b?
False
Let i(v) = -36*v + 1. Let t(q) = -7*q. Let f(b) = 2*i(b) - 11*t(b). Let z be f(0). Suppose z*s + 4*u - 140 = 0, -2*s - s = 4*u - 200. Is 12 a factor of s?
True
Let f(x) be the second derivative of x**6/18 - x**5/120 + x**4/8 + 7*x**3/2 + 4*x. Let h(d) be the second derivative of f(d). Does 9 divide h(2)?
True
Suppose -h + 66 = -2*b, h + 6*b - 4*b = 74. Let t = 18 - h. Let n = -24 - t. Does 4 divide n?
True
Let j(r) = -39 + 13*r + 4 + 12. Does 7 divide j(4)?
False
Suppose 17*f - 19*f + t + 48204 = 0, -3*t + 24116 = f. Does 23 divide f?
True
Let h = -17527 + 17861. Suppose 5*l + 10 = -s - s, l - 21 = -5*s. Suppose -s*z + 71 = -h. Is z a multiple of 27?
True
Let m(r) = r**2 + 9*r - 4. Let k be m(-10). Suppose -3*y + 243 = q, -k*q - 4*y + 744 = -3*q. Suppose 3*u - 3*v = q, 5*u - 420 = v - 6*v. Is 17 a factor of u?
False
Let p be 2/(5 - 3) - 1 - -7. Suppose -4 = w - p. Suppose -3*m + 1 = w*a - 2, 4*m = -5*a + 7. Does 2 divide a?
False
Let j be -25*(-1)/1*1. Let p(s) = 24*s - 60. Let x be p(3). Let k = j - x. Does 13 divide k?
True
Suppose 51 = 2*z + u - 0*u, -4*z + 5*u + 137 = 0. Suppose 0 = -4*d + 880 + z. Let n = d + -111. Is 20 a factor of n?
False
Suppose 2*p + 8 + 17 = 5*c, -5*c - 95 = 4*p. Is 11 a factor of 7/(-14)*8 - (p + -1)?
False
Let s = -5180 - -5384. Is 30 a factor of s?
False
Let q(r) = r + 19. Let g(b) = 45*b**2 - 23*b**2 - 2*b - 21*b**2 - 2 - 13*b**2. Let o be g(-1). Does 7 divide q(o)?
True
Suppose -4*k = 2*v + k - 1, -17 = -5*v + 2*k. Let f be (5 + (-8)/2)/(2/(-120)). Does 5 divide (2 - 4/v)/((-2)/f)?
True
Suppose 4*h + 1288 = 4*v, 0*v - 5*v - h + 1586 = 0. Let f = v - 93. Is f a multiple of 9?
True
Suppose 4*m - 199*g + 200*g = 9042, -g = 2*m - 4522. Is m a multiple of 108?
False
Let y be -3*(2 + 6)*6/(-8). Let j(t) = -t**2 + 17*t + 23. Let g be j(y). Suppose -4*c = c - g*x - 90, -2*x = 4*c - 60. Does 2 divide c?
True
Let k be (0/1)/(-3 + (5 - 5)). Suppose k*l = 3*l - 3. Let x(c) = 191*c - 1. Is 38 a factor of x(l)?
True
Let s(r) = -144*r + 31 + 130*r + 2*r**2 + 5. Does 12 divide s(9)?
True
Let l = -5390 - -8487. Is 6 a factor of l?
False
Let z(p) = -p**3 + 19*p**2 - 36*p - 18. Suppose -5*w + 4*n - 5*n + 80 = 0, 0 = -5*w + 4*n + 55. Is z(w) a multiple of 57?
True
Let p = -520 - -956. Suppose n + 0*n = 3*h + 84, p = 5*n + h. Is n a multiple of 5?
False
Suppose 2*u = 15 + 3. Let v be (665/28)/(20/64). Suppose -u*z = -5*z - v. Does 19 divide z?
True
Let b = 675 - 219. Let i = b + -403. Does 4 divide i?
False
Let x = -2221 - -3425. Suppose -188 = 8*f - x. Let i = f + -43. Does 21 divide i?
True
Let v be 0 + (-1274)/12