multiple of 18?
True
Let z(r) = -547*r + 452. Is z(-4) a multiple of 55?
True
Let v be 724*2*((-26)/4)/13. Let a = 2 - v. Does 11 divide a?
True
Let m(k) = -2*k**3 - 132*k**2 - 6*k - 668. Is m(-68) a multiple of 97?
True
Suppose 2*m + m = 5*m. Suppose 3*a + 17 + 94 = m. Let o = a - -107. Is o a multiple of 14?
True
Let a be (-9)/45 + 2279/(-5). Let b = a + 632. Is b a multiple of 12?
False
Let j be (-13)/(-52) + 21/12. Suppose 5*z + j*t - 282 = 0, 275 = 5*z + 3*t - 8*t. Does 14 divide z?
True
Suppose 0 = -628*u + 641*u - 38610. Does 30 divide u?
True
Let r(s) = 20*s**2 - 130*s + 391*s - 125*s - 132*s + 7. Is 10 a factor of r(-5)?
False
Suppose 0 = -4*x - o + 2380, -2*x - 29*o + 25*o + 1204 = 0. Is x a multiple of 66?
True
Let j(f) = -19*f + 2. Suppose 38*u - 39*u - 10 = 0. Does 11 divide j(u)?
False
Let y(m) = 23*m + 41. Suppose 2*z + 4*q + 2 = 4*z, 2*q = -z + 5. Does 11 divide y(z)?
True
Suppose 0 = -58*q + 117912 + 190532. Is q a multiple of 25?
False
Let c = 7505 + -4215. Is c a multiple of 6?
False
Suppose -76*u + 350701 = 97626 - 456841. Does 22 divide u?
False
Let t = 1087 - -3191. Does 46 divide t?
True
Let u = 179 + -176. Is 28 a factor of (u - (-30)/(-9))*(-651)/1?
False
Let o(t) = 4*t + 1. Let p(w) = 5*w. Let x = -53 - -48. Let g(u) = x*p(u) + 6*o(u). Is 4 a factor of g(-10)?
True
Let c = 50783 + -35977. Is (-14)/(-6) + c/33 a multiple of 20?
False
Suppose 3*w - 5*c + 274 = -16, -5*w = -4*c + 505. Let i = 133 + w. Does 4 divide i?
True
Let b be -4 + 9 + 0/(-5). Suppose -i - i + 4*r = -54, b*i - 149 = -4*r. Suppose 2*o - 95 - i = 0. Is o a multiple of 13?
False
Suppose r - 5*r + 5 = 3*w, -4*w = 4. Does 16 divide r/(-7) - 0 - (-124542)/777?
True
Suppose 0*c = 7*c - 112. Suppose 20*a = c*a + 24. Suppose a*y = -126 + 846. Is 20 a factor of y?
True
Let j = 17 - 21. Is 19 a factor of j + (9 - -262 - (-1 + 2))?
True
Suppose 5*h = -5*j + 2915, -325*h + 2*j + 1162 = -323*h. Is 4 a factor of h?
False
Let v(o) = -4*o**3 - o**2 - o - 225. Does 97 divide v(-13)?
False
Suppose 7*p - 21 = -0*p. Suppose -p*h - 32 + 41 = 0. Suppose -3*t - 23 = -h*a + 28, 4*a - 43 = -t. Is a a multiple of 3?
True
Let c = -153 - -257. Does 8 divide c?
True
Let u(h) = -h**2 + 4*h + 34. Let c be u(8). Suppose -6 = i + i - c*p, 8 = -i - 4*p. Is 12 a factor of 1/(11/3 + i) - -135?
True
Suppose 25*f = 41*f - 49312. Is 50 a factor of f?
False
Let z = 5806 - 1468. Is z a multiple of 18?
True
Let g be (70/(36 + -26)*-3*7)/1. Suppose 305 = -2*a - 365. Let p = g - a. Is p a multiple of 58?
False
Let o = 10474 - -125. Is 26 a factor of o?
False
Suppose -78*s + 181007 + 40756 + 8727 = 0. Does 15 divide s?
True
Let b(x) = -5*x**3 - 9*x**2 - 2*x + 6. Let m be b(-6). Suppose 4*p = 5*z + 93 + m, -5*p + 5*z = -1090. Is 5 a factor of p?
False
Suppose 219*s = 217*s, 5*c - s = 3980. Is c a multiple of 19?
False
Let k(a) = -10*a**3 + 6*a**2 + 45*a + 443. Is 152 a factor of k(-11)?
True
Is 72 a factor of (8/(3/(-3)))/(21 - 18)*-12471?
False
Let d(l) = -72*l - 2370. Let n be d(-33). Suppose 2*c - 5*r = -25, -5*r - 22 = 5*c + 23. Does 25 divide c/n*(-105)/1?
True
Let i = 8 + 15. Does 12 divide (i*4/(-6))/((-2)/21)?
False
Suppose 0 = -2*p + 4*p + 36. Let t be 2/8*23 - p/(-24). Suppose 4*u = 2*d - 52, 0 = -4*u + 7 + t. Does 4 divide d?
True
Let w = -75565 - -161997. Does 32 divide w?
True
Let l(f) = f**2 + 139*f + 4794. Does 3 divide l(-131)?
False
Suppose -29*p + 26*p = 12. Let i = 0 - p. Suppose -i*n + 8 + 8 = 0. Is n a multiple of 3?
False
Let k(h) = 83*h - 177. Let y(r) = 84*r - 173. Let c(z) = -3*k(z) + 4*y(z). Is 119 a factor of c(21)?
True
Is (-411576)/(-198) - (-1)/3 a multiple of 63?
True
Let z = -3759 - -8415. Is 11 a factor of z?
False
Let q(r) be the third derivative of -r**6/120 + 19*r**5/60 - 37*r**4/24 - 8*r**3 + 121*r**2. Is q(16) a multiple of 13?
False
Let i be (-2)/(-11) - (-16)/(-88). Suppose 2*c - 2*n = 54, -c + 42 = -i*c + 4*n. Is 15 a factor of c?
True
Let z = 4154 + 4510. Is z a multiple of 152?
True
Let k(q) be the second derivative of q**4/12 - 4*q**3/3 + 11*q**2 - q. Let g(b) = b**3 + 14*b**2 - 21*b - 75. Let a be g(-15). Is 28 a factor of k(a)?
False
Let j = 133 - 71. Let f be (-6 - -4)/((-1)/j). Suppose 4*y + 29 = -x + f, -4*x + 30 = 2*y. Does 5 divide y?
True
Let c = -22 - -110. Let f = -46 + c. Does 7 divide f?
True
Let c(s) = s**3 + 24*s**2 - 23*s + 55. Let u be c(-25). Suppose -u*z + 4*z = 5*p - 544, 112 = p + z. Is 36 a factor of p?
True
Suppose 5*c - 13 = 2. Suppose -c*g = -7*g. Suppose g = -5*n + 50 + 15. Is 12 a factor of n?
False
Let r be (-2 + -1 + 7)*(-1)/2. Let f be (-2 - 6/r)*-4. Is 18 a factor of 18/f*(-160)/15?
False
Let h(c) = 9*c**2. Let s be h(-1). Suppose -2*o - 4*d + 0*d = 8, 0 = 3*o - d - s. Is 15 a factor of 67 - (o - (-6)/(-3))?
False
Let o = 61 - 61. Suppose o = g - 0 - 5. Suppose 0 = c + 2, 4*m - g*c + 15 - 197 = 0. Does 5 divide m?
False
Let g = 1237 + 4995. Is 82 a factor of g?
True
Let f(b) be the first derivative of 5*b**3/3 - 11*b**2/2 - 118*b - 58. Is 16 a factor of f(-6)?
True
Suppose 3*f - 136 = 215. Suppose 2*l - f - 203 = 0. Is l a multiple of 34?
False
Suppose 4*a + 5*w - 24027 = 0, -5546 = -a - 5*w + 442. Is a a multiple of 13?
False
Let a(k) = k**3 + 11*k**2 + 17*k - 3. Let q be a(-9). Let x(m) = m**3 - 10*m**2 + 10*m - 9. Let u be x(9). Suppose u = q*f + 2*f - 128. Is 4 a factor of f?
True
Suppose -24*c = -27 - 45. Is 1048 + (-2 - c)*(8 + -9) a multiple of 39?
True
Let g(n) be the first derivative of -n**3/3 + 18*n**2 - 5*n + 1. Is g(16) a multiple of 18?
False
Let q(o) = -989*o + 253. Is q(-2) a multiple of 23?
True
Suppose 2*d - 9 = -p - 4*p, 4*d = 5*p + 3. Suppose -127 = -d*j - 39. Is j a multiple of 11?
True
Let y(j) = 12*j**2 + 10*j - 15. Suppose -5*g + 54 = 3*v - 16, 4*g + 4*v - 64 = 0. Suppose -r = -3*o + g, 0 = 2*o + 3*r - 9 + 20. Is y(o) a multiple of 6?
False
Suppose 7*t = -3*u + 9*t + 23174, 5*t - 38590 = -5*u. Is 13 a factor of u?
True
Let m(t) be the third derivative of 1/40*t**6 - 1/8*t**4 - 1/20*t**5 - 34*t**2 + 5/6*t**3 + 0*t + 0. Is m(3) a multiple of 10?
True
Let q(u) = u**2 + 15*u + 26. Let l(m) = -7*m - 13. Let x(p) = 7*l(p) + 3*q(p). Let v = 6 - 11. Is 41 a factor of x(v)?
True
Let n(l) = 25*l - 12. Let r be n(3). Let s = r + 26. Does 10 divide s?
False
Suppose 45*z - 114076 - 413432 = 113292. Does 16 divide z?
True
Let y be (36 + -2)*(11 + -1). Suppose -967 = 4*m + 5*v, 3*m + 19*v - 15*v + 725 = 0. Let g = y + m. Does 42 divide g?
False
Let w = -6538 - -11050. Suppose -9*y - w = -12*y. Is y/28 - 2/(-7) a multiple of 9?
True
Let t be 46/10*105/3. Suppose -154 - t = -5*f. Does 7 divide f?
True
Let j = 384 - 1582. Let z = 1703 + j. Does 101 divide z?
True
Let d(q) = 66*q**2 + 1083*q + 6. Is d(8) a multiple of 21?
True
Suppose 13*n - 21332 = 49544. Is 47 a factor of n?
True
Let s(y) = 110*y**2 - 9*y + 37. Is s(3) a multiple of 5?
True
Let s(u) = -u**2 - 5*u + 6. Let f be s(-7). Is (-4564)/(-7)*1 - f a multiple of 22?
True
Let j be 384/(-4)*17/(-3). Let x(q) = -4*q + 167. Let b be x(9). Suppose b = -7*s + j. Is s a multiple of 11?
False
Suppose 0 = -9*u - 2*u + 55. Does 25 divide u/((-10)/(-638)) + -5?
False
Let f(u) = -1. Let b(q) = -4*q - 84. Let y(x) = -b(x) + 2*f(x). Is y(8) a multiple of 19?
True
Suppose -24 = 14*p - 20*p. Suppose 2*i + 21 = 2*y + 839, -3*i - p*y + 1199 = 0. Does 50 divide i?
False
Suppose 8*o - 4649 = -881. Is 9 a factor of (-3)/2*-4 + o?
True
Let h(d) = -57*d - 5. Let i(k) = -k**2 - 2*k + 3. Let b be i(2). Does 46 divide h(b)?
False
Suppose 0 = -4*h + 4, -3*h - 14 = 2*y - 15. Is (26 - 27)/(y/946) a multiple of 22?
True
Let h(c) = c**3 - 43*c**2 - 58*c - 2609. Does 81 divide h(52)?
True
Let n be 1*(234/10 - (-26)/(-65)). Suppose -f + 553 - n = 0. Suppose -5*x - f = -4*d, -2*d + 7*d = -3*x + 644. Does 26 divide d?
True
Let v = -1481 - -8697. Is v a multiple of 82?
True
Suppose 15*n - 486 = -12*n. Suppose -33*x = -n*x - 5565. Is 18 a factor of x?
False
Suppose 381*f - 374*f + 21 = 0. Is 4166/8 + f/(-12) a multiple of 17?
False
Is 124 a factor of 5138*(-1)/40*-46 + (-3)/(-10)?
False
Let v(d) = -d**3 + 18*d**2 + 22*d - 36. Let t be v(19). Is (-280)/t*6*-1 a multiple of 58?
False
Suppose -5*x - 6806 - 4944 = -r, -r + 11714 = 4*x. Is 23 a factor of r?
True
Suppose 18*f - 435 + 75 = 0. Is (