 54?
True
Let l = -682 + 680. Is 618 + -45 + 4*l/(-4) a multiple of 23?
True
Suppose 17*a = -7*a + 3000. Suppose -a*g = -129*g + 120. Is g a multiple of 10?
True
Suppose 40 = -11*a + 13*a. Suppose a*o - 18188 + 4508 = 0. Is o a multiple of 18?
True
Suppose -4*o - 13 = n, -35 = -5*n - 0*o + 5*o. Suppose -n*r - 24 = -9*r. Does 9 divide 697/51*(r + -1)?
False
Suppose 0 = -3*s + i + 4, 3*s - 3*i + 10 = 5*s. Suppose u - 22 = 3*r - s, -60 = -3*u + 3*r. Is 10 a factor of (u/25)/(2/280)?
False
Suppose 2*a - 4*l - 26 = 0, -a = -l - 2 - 15. Suppose -1015 = -26*k + a*k. Is k a multiple of 11?
False
Let z(i) = 10*i - 10. Let h = -55 + 65. Let f be (h/6)/((-10)/(-3) - 3). Is z(f) a multiple of 40?
True
Suppose -101 + 11 = 5*p. Does 12 divide (0 - p/5)*30?
True
Suppose c = -3*a + 3285 - 604, c + 2671 = 3*a. Does 51 divide a?
False
Suppose -2*g + 35 = -5*p - 11, -p = -3*g + 56. Suppose 5*l - f - g = 15, -34 = -4*l - 3*f. Suppose -l*j + 3*j = -4*h - 124, 3*h = -12. Does 9 divide j?
True
Suppose -60*x = -53*x - 294. Does 13 divide (-2 + (14 - 0))*196/x?
False
Let p(v) = -8*v - 315. Let y be p(-40). Suppose -28*k + 17204 = -y*k. Is 11 a factor of k?
True
Let i(u) = 8396*u**2 - 31*u - 11. Does 172 divide i(2)?
False
Is 3 - ((5719/38)/43 + 127633/(-2)) a multiple of 121?
False
Let a = 4159 - 3853. Is a a multiple of 153?
True
Let i(a) = -5215*a - 925. Is 10 a factor of i(-5)?
True
Let l be (-10)/4*(-6)/(-3). Let f = 0 - l. Let k = f - -36. Is k a multiple of 12?
False
Let o be ((-60)/(-40))/(2/(-744)). Let i = o - -1016. Does 8 divide i?
False
Suppose -8*i = -0*i + 2*i. Suppose -f - 1 = 0, i = -2*l + 5*f - 137 + 542. Is 43 a factor of l?
False
Is 32 a factor of (-439802)/(-16) - ((-3144)/192 + 16)?
True
Let o(x) = -5*x**2 - 31*x - 36. Let s(f) = -2*f**2 - 16*f - 18. Let w(p) = 3*o(p) - 7*s(p). Let a = -40 + 54. Is w(a) a multiple of 15?
False
Let b = 47 + 245. Let v(c) = -c**3 - 3*c**2 - 2*c + 4. Let k be v(0). Suppose 4*a + b = k*m, -m - a + 64 = a. Is m a multiple of 10?
True
Suppose 0 = q + 7 - 4, -5*c - 4*q + 23 = 0. Suppose 259 = c*l - 21. Is 20 a factor of l?
True
Is 13 a factor of (34/68)/(3459/(-3462) - -1) + -5?
True
Let g(v) = 21*v - 65. Let z be g(3). Is 2979/15 + z/(10/3) a multiple of 15?
False
Suppose -4*m - 51 = -63. Suppose -4*t - 2 = 6, -2*t = -m*k + 412. Is k a multiple of 46?
False
Suppose 252*g + 339099 = 361*g. Is g a multiple of 5?
False
Let k be (-27)/45 - (-18)/5. Let m be (-18 - -24)/(2/k). Let h = 2 + m. Is h a multiple of 11?
True
Let m be (14/(-6))/(6 + (-460)/72). Let t(h) be the second derivative of h**5/20 - h**4/4 + h**3/2 - h. Does 19 divide t(m)?
False
Let p = -3388 + 3643. Does 111 divide p?
False
Let y = 3031 + -1600. Does 9 divide y?
True
Let d be 4*6/8*(0 - -7). Is 288/d*(10 + 18) a multiple of 96?
True
Let q(n) = n**2 + 13*n + 38. Let u be q(-9). Let d(w) = 65*w**2 + 17*w - 40. Does 30 divide d(u)?
False
Let c(b) = -b**3 - 20*b**2 + b - 8. Let x be c(-20). Let i be 1*6*(-238)/x. Let q = 102 - i. Does 17 divide q?
True
Let q(b) = 12*b**3 - b - 2. Let r be (-2 - -1)/(3/(-30)*1). Let t be r/(-35)*-1 + 12/7. Does 28 divide q(t)?
False
Let h = -51 + 59. Suppose z + 0 + h = 2*c, -3*c - 4*z = 10. Suppose 2*i - 3*f = 51, -1 = f - c. Is i a multiple of 11?
False
Let f(o) be the second derivative of o**4/3 + 11*o**3/2 - 7*o**2/2 - 33*o. Let y be f(-8). Does 42 divide 13*(-1 - (1 + y))?
False
Let c(v) = 2167*v**2 - 24*v + 23. Is c(3) a multiple of 71?
True
Let c(s) = 21*s + 17. Let g be c(10). Let a = g - 167. Is 3 a factor of a?
True
Let u(m) = -m**3 - 5*m**2 + m - 17. Let g be u(-6). Suppose 0 = 2*t + 3 - g. Suppose 0 = -5*v + 4*d + 200, -9*d + t*d = 0. Is v a multiple of 20?
True
Let z(g) = g**3 + 31*g**2 - 18*g + 4. Suppose -5*s + 2*i - 159 = 0, 9*s + 153 = 4*s - i. Is 71 a factor of z(s)?
False
Let v = 0 + 1. Let a(i) = 266*i**3 - 2*i**2 + 2*i. Is 38 a factor of a(v)?
True
Let z = -4901 + 6236. Is z a multiple of 7?
False
Suppose -4*i - 3*v + 0*v + 92 = 0, -3*v + 118 = 5*i. Suppose 6*x - 266 = -i. Is x even?
True
Suppose -4*n = -16*n + 624. Suppose 1168 - n = 6*v. Is v a multiple of 31?
True
Let n(r) = -11*r**2 - 11*r - 9. Let f be n(-1). Does 22 divide ((-2310)/20)/(4/(48/f))?
True
Let m(a) = -1837*a + 205. Does 103 divide m(-6)?
True
Suppose -k + 2*h + 351 = 0, -128*h - 1020 = -3*k - 133*h. Does 3 divide k?
True
Suppose -4*h + 4620 = -v, -h + 506 + 620 = 7*v. Does 6 divide h?
False
Let n = -12137 - -17527. Is n a multiple of 77?
True
Let v(p) = p**3 - 44*p**2 - 3*p + 134. Let j be v(44). Suppose 6*i - 4*i = -j*g + 126, 210 = 3*g - 4*i. Is 3 a factor of g?
True
Let w(f) = 107*f + 2307. Does 135 divide w(39)?
True
Suppose -14000 = -47*v + 13119. Is v a multiple of 5?
False
Let v(b) = -b**3 + 4*b**2 - 2*b - 2. Suppose 6*s + 9 = 27. Let g be v(s). Suppose 0 = 2*l - g + 5, -4*l = 5*u - 122. Is u a multiple of 3?
False
Suppose 0 = 9*w - 16*w + 42. Suppose -2*s + 304 = -4*x, -14*x + w = -11*x. Suppose -s = -v + z, -v + 5*z = -5*v + 588. Is 27 a factor of v?
False
Let n be (4/(-2))/(5/(-5)). Suppose 3*l - x = 53, -4*l + 69 - 1 = -n*x. Suppose l - 661 = -6*d. Is d a multiple of 11?
False
Let u(z) = -z**2 - 5 + 4 - 18 - 12*z. Let w = 4172 + -4178. Does 17 divide u(w)?
True
Let r(v) = -99*v - 660. Does 6 divide r(-26)?
True
Let g be 2/(-5) + 144/10. Let d(f) be the second derivative of f**5/20 - 7*f**4/6 + 19*f**2/2 - 993*f. Is d(g) a multiple of 11?
False
Let o(u) = -u**2 + 6*u - 12. Let p be o(8). Let k = p + 31. Suppose 21 = f - 3*r - 2, 69 = k*f - 5*r. Is f a multiple of 4?
False
Let y(m) = -47*m**3 + 8*m**2 + m - 71. Is y(-6) a multiple of 11?
False
Suppose -3506*y + 3504*y = -10. Let i = 201 + -122. Suppose i + 281 = y*b. Is b a multiple of 12?
True
Suppose 319*s = 367212 + 787249. Is s a multiple of 93?
False
Suppose w - 6 = 4. Suppose b = a - w, 0 = 5*b - 0*b - 4*a + 48. Is ((-12)/b)/((-3)/(-136)) a multiple of 34?
True
Let n = -25 + 35. Let l be 4/n + (-6)/(-10). Is 6 a factor of (-143)/(-4) + 0 + l/4?
True
Let m = -224 + 234. Suppose -16*o + m*o = -966. Is o a multiple of 18?
False
Suppose 5*x = 5*a + 2*x - 1, 0 = 3*a + 5*x - 21. Suppose b = 4*h + 102, a*h = 2*b + 5*h - 149. Suppose 2*m = b + 72. Is m a multiple of 13?
False
Suppose 2*j = -10, -3*q - j = 879 - 8068. Does 4 divide q?
False
Suppose -22 = -5*c + 8. Let l be -1 + c/12 - 1095/(-6). Suppose -259 = -3*o + l. Is 21 a factor of o?
True
Suppose -21*c + 12994 = -17*c + s, 12984 = 4*c - 4*s. Is 3 a factor of c?
False
Suppose -3*z + 107 + 54 = -2*t, 2*z = 2*t + 104. Suppose 492 = 3*m - z. Suppose -12*w + 537 + m = 0. Is 12 a factor of w?
True
Suppose -25558 = -17*l + 70560. Is 22 a factor of l?
True
Suppose -6*i + 5*m + 1466 = -2*i, 0 = 5*i + 3*m - 1851. Suppose 5*x = 251 + i. Let l = x - 64. Is l a multiple of 11?
False
Let z = 65085 + -38037. Is z a multiple of 168?
True
Suppose -3*h = -7*x + 8*x - 4, 0 = 3*x - 5*h - 12. Suppose -2*o = -2*a - 2214, x*a + 5535 = -4*o + 9*o. Is o a multiple of 76?
False
Suppose 322*d + 381 = 323*d. Suppose -387*t + 942 = -d*t. Is 17 a factor of t?
False
Suppose 5*l + 4*g - 157 = 0, -4*l + 413*g - 415*g = -134. Let w be 1*(-1)/(-2)*206. Let y = w - l. Is y a multiple of 5?
False
Suppose 0 = 3*i - q + 2*q + 14, 3 = 3*q. Is 24 - (-3 - (-1 + i)) a multiple of 4?
False
Suppose 5*h - 3*g = 11, g = 2*h - 4*g + 7. Let v be 7 - 10 - (-44)/(-2 + h). Suppose -v - 25 = -o. Does 22 divide o?
True
Let k(g) = g**3 + 9*g**2 - 3*g + 21. Let z be k(-9). Let p be (-1 - -5)/(2 - 320/162). Suppose -i - c = -z, -3*i + 3 = -4*c - p. Is 17 a factor of i?
True
Let h(v) = -v**3 - 23*v**2 + 10*v + 34. Suppose -7*a + 78 = 246. Does 10 divide h(a)?
True
Let o be -5 - (-5)/(-1)*-55. Let s = o - 171. Is s a multiple of 9?
True
Suppose 0 = 68*z - 63*z - 35. Suppose -z*m - 3*w + 2850 = -5*m, 5*m - 7107 = -3*w. Is m a multiple of 43?
True
Let m(j) = -j**3 + 32*j**2 - 130*j - 45. Is 4 a factor of m(13)?
True
Let c(j) = -93 - j + 203 - 2*j + 2*j. Is c(0) a multiple of 22?
True
Let b(a) = -14*a + 1327*a**2 - 1199*a**2 + 5*a + 8. Is b(1) a multiple of 24?
False
Let r(t) = -181*t + 395. Let f be r(-30). Suppose -4*x + f - 1294 = -b, 5*x - b - 5664 = 0. Is x a multiple of 14?
False
Let q = 3 - 6. Let f be q*(3 + 435/(-9)). Suppose 7 = -w - 4*x + 29, 4*w + 4*x - f = 0. Does 7 d