5 divide c?
True
Suppose 3*v = -3*z + 139212, 92802 = 2*z + 82*v - 83*v. Is 245 a factor of z?
False
Suppose 0 = -7*h - 17*h + 600. Suppose -l + h = -28. Does 18 divide l?
False
Let k(r) = r**2 + 6*r + 5. Let j be k(-3). Let u(l) = l**2 + 12*l + 21. Let x be u(-9). Does 2 divide 21/x*j - 0?
True
Suppose 4*g = -16 + 36. Let w = g - -295. Is 10 a factor of w?
True
Suppose -25*a + 52*a + 19661 = 28*a. Is a a multiple of 24?
False
Suppose 0 = -4*b - 5*p - 0*p + 98, 120 = 5*b + 5*p. Suppose 0 = b*h - 9*h + 104. Does 6 divide 316/12 + h/(-12)?
False
Suppose -11*t + 13*t + 16 = 0. Let m(c) = c**2 + 6*c - 13. Let k be m(t). Suppose -2*w - y = w - 48, k*y - 25 = -2*w. Is w a multiple of 8?
False
Suppose -87*o - 4472 + 112 = -92*o. Does 4 divide o?
True
Let w(i) = -23*i - 32. Let n be w(-14). Let c be 3*n/(-15)*-1. Suppose -2*f + 0*f - c = -2*k, 0 = k - 5*f - 17. Is 16 a factor of k?
True
Let h(a) = 910*a + 84. Is 44 a factor of h(6)?
True
Is 27 a factor of (12404/(-378)*-9)/((-20)/(-810))?
True
Let j(v) = -2*v - 31. Let m be j(-13). Is (m/(-2) - 1)/((-102)/(-6664)) a multiple of 14?
True
Let p be ((-210)/(-8))/((-54)/(-216)). Does 12 divide -30*3/(p/(-196))?
True
Let v be (-121397)/(-259) - 2/(-7). Suppose -12 = -2*l - 2, -f - 2*l = -v. Is 20 a factor of f?
False
Let t(f) = 2550*f + 444. Is t(2) a multiple of 7?
True
Let i(z) = z**3 + 5*z**2 - 2*z + 14. Let w be i(-6). Let n = w - -116. Suppose 97 = 7*s - n. Does 9 divide s?
False
Let u(r) = r**3 - 10*r**2 - 10*r - 3. Let z be u(11). Suppose 3*q = z*q - 20. Suppose 33 = t - j, q*t = 2*j + 115 + 17. Is t a multiple of 7?
False
Is (-166756)/(-20) - -4 - ((-26)/65)/2 a multiple of 194?
True
Suppose 8*t - 9*t - b + 6 = 0, t + 3*b = 14. Suppose -4013 = -3*m - i, 2*m - t*i + 5352 = 6*m. Does 19 divide m?
False
Suppose 17*j = 11*j - 48. Let c(t) = -t**3 - 7*t**2 - 20*t - 14. Is 41 a factor of c(j)?
False
Suppose 801 = 10*a - 929. Suppose -5*c = -a + 63. Suppose 0 = 2*x - 5*d - 109, 2*x - 4*d = 3*x - c. Is 6 a factor of x?
True
Suppose -2*k + o + 5 = 0, -5 = -3*k - 6*o + 8*o. Suppose k*b - 3*b + 32 = 0. Is 53 a factor of 473/2 + (-24)/b?
False
Let v = -9284 - -9446. Is 77 a factor of v?
False
Suppose 3*b = -c + 21, -3*c = 2*c - 5*b - 5. Let w = c + 203. Is 19 a factor of w?
True
Let v = -245 + 886. Let j = v - -22. Does 51 divide j?
True
Let d = 57 - 51. Is 16 a factor of d/(-8) + 90835/148?
False
Suppose -5*v = -a + 13, -5*a + 21 = 5*v + 16. Does 29 divide 462/(-2)*(-10)/35*a?
False
Does 27 divide -26 + (-2 - -8116) + -7 + 0?
False
Let n be 557 - (-5)/(15/(-9)). Suppose -u = -1 - 3. Suppose -u*t + n - 98 = 0. Is 10 a factor of t?
False
Let p(k) = -k**2 + 18*k - 1. Let q be p(18). Let n be 4 + q - 20*(-1)/(-2). Is 8 a factor of (42 - 2)*(-12)/56*n?
False
Suppose -6*d = -17500 - 10148. Does 36 divide d?
True
Let r(q) = -q**3 + 29*q**2 - 37*q + 49. Let z be r(25). Is (-4 + z - -5) + (-1 - 4) a multiple of 36?
True
Suppose 0*f - 2*f + 6 = 0. Let x(k) = -384*k + 18. Let s(v) = 93*v - 4. Let d(o) = 21*s(o) + 5*x(o). Does 14 divide d(f)?
False
Suppose 0 = -16*i + 49*i - 73062. Is 6 a factor of i?
True
Let w = -18 + 30. Let s = -313 + 315. Suppose 10 = s*r - w. Is r a multiple of 5?
False
Suppose -n = -4*n - 5*y + 2, 0 = 3*n - 5*y - 52. Is (-3 - (-51)/n)*240 a multiple of 40?
True
Suppose 0 = -2*l - 3*x - 0*x + 5, 5*l = 2*x + 41. Is (3 - 2) + (5 + l - -3) a multiple of 16?
True
Suppose -2*k + 2*n = -3030, -29*n + 28*n + 4533 = 3*k. Is k a multiple of 14?
True
Suppose 0*g - 2*g - 2 = 2*p, -4*g - 12 = -4*p. Let d be (-6)/(p/(16/(-12))). Does 25 divide -25*(d/(-6))/((-6)/(-9))?
True
Suppose -24 = -h + 5*m, 4*m - m = -2*h + 22. Suppose h*w - 3360 = 4*w. Is w a multiple of 56?
True
Let u(r) = -3*r - 14. Let f be u(-6). Suppose 0 = -3*j + 5*x + 4, j - f*x = -0*x - 1. Suppose 4*k - j*o = 39 + 16, 5*k = -3*o + 62. Is 6 a factor of k?
False
Let z be (-2131)/(-5) + (-132)/(-165). Let d = z + 259. Is d a multiple of 12?
False
Let j(x) = 2*x**2 + 35*x + 81. Let w be j(-15). Let k(m) = 6*m**2 + 0*m - 2*m - m**3 + 3*m - 1. Is k(w) a multiple of 5?
True
Suppose 30*d - 47592 = 157518. Is d a multiple of 10?
False
Let i(p) = 112*p**3 + 2*p**2 + 3*p + 1. Let r be i(-1). Let a = r + 114. Suppose -a*o + 5*w + 218 = 0, 4*w + 96 = -5*o + 575. Is 33 a factor of o?
True
Let r(b) = 20*b - 27. Let h be r(2). Suppose 16 = -2*o - o - 5*j, o - 23 = 4*j. Let n = o + h. Does 4 divide n?
True
Let v(o) = 38*o**2 - 3*o - 10. Let c be v(-2). Let q = c - 129. Does 7 divide q?
False
Suppose 26403 - 5899 = 4*q + 2*k, 3*q = -4*k + 15363. Is q a multiple of 55?
False
Suppose -5*b = 0, 6*m + 5*b - 104 = 2*m. Let x = 26 - m. Is 32 a factor of (x + 4)/(4/64)?
True
Let y = 9256 - 5401. Does 27 divide y?
False
Let r(t) = 13*t - 41. Let y be r(8). Suppose 2*v + 3*v - y = -n, 5*v + 4*n - 72 = 0. Suppose v*w - 297 = 9*w. Does 11 divide w?
True
Let k(l) = 2*l + 2. Let i be k(0). Suppose -i*o = -4*u + 108, -u + 0*u = 4*o - 27. Let t = 35 - u. Is t a multiple of 3?
False
Let m(n) = -5*n**2 + 3*n**2 - 4*n + 3*n**2 + 13. Suppose u = -u + 4*l + 2, 2*l = 2*u - 12. Does 54 divide m(u)?
False
Suppose 13*m = 13 + 13. Is 15 a factor of (5/m)/((-31)/(-2418))?
True
Let z(x) = -x**3 + 9*x**2 - 7*x + 13. Let u(k) = 4 - 5 + 4 - k. Let r be u(-5). Is 7 a factor of z(r)?
True
Let x = -175 + 181. Is 12 a factor of 8842/x + 2 + 34/(-51)?
False
Let x be (14/(-8))/(6/(-144)). Suppose -3*w = -54 + x. Suppose 2*j + a - 76 = 5*a, -42 = -j + w*a. Is j a multiple of 34?
True
Suppose 10*o + 38*o = -32*o + 1592560. Is o a multiple of 17?
True
Suppose 0 = 26*i - 42*i + 144. Suppose i*u - 4442 = -131. Is 25 a factor of u?
False
Suppose -189*i + 199*i + 2200 = 0. Does 32 divide (13 + -1)*(-4 + i/(-15))?
True
Let o = -14 - 12. Let l = o - -25. Let n(v) = -56*v + 5. Does 12 divide n(l)?
False
Let y be ((2 - 2)/1)/1 - -8. Suppose 4*c + 0 = y. Suppose 0 = -2*r - c*q + 407 + 119, -3*q = 4*r - 1057. Is r a multiple of 30?
False
Suppose 37720 = 5*a + r, 0 = -4*a + 3*a - 2*r + 7544. Is (0/(-2) - -1)/(23/a) a multiple of 8?
True
Suppose 0 = -14*m + 18*m - 8. Suppose -m = -k - r, 4*k - 3*r - 14 = 2*k. Suppose 315 = k*p - 357. Is 28 a factor of p?
True
Let o(i) = 1227*i + 2563. Is 12 a factor of o(11)?
False
Suppose -i + 117 - 44 = 0. Suppose -88 = 71*s - i*s. Suppose -s*p - 48 = -48*p. Is p a multiple of 6?
True
Let h(g) = 3*g**2 + 56*g - 507. Is h(-36) a multiple of 39?
True
Let j(z) = -z - 3. Let g be j(1). Let v be g/(-20) - (-2823)/(-15). Let k = v + 343. Is 10 a factor of k?
False
Let a be (-272)/51*-2*90/16. Suppose -a = 385*i - 387*i. Is 2 a factor of i?
True
Let d be (6/5)/((-2)/(-25)). Suppose 5*q + 84 = -11*w + 9*w, 0 = -2*q + 2*w - 42. Is q/5 + (-6)/d - -42 a multiple of 16?
False
Suppose 56 = 5*k - 4. Suppose 3*g + 0 = k. Is 3/(-1) + 288/(g + -2) a multiple of 47?
True
Let a = 29 - 13. Suppose -n - a = -4*z, 0*n + 3*z = 4*n + 12. Suppose n*j - 2*j = -36. Does 9 divide j?
True
Let m(l) = 3*l**2 - 11*l + 19. Let p be m(8). Let x = -129 + p. Is 11 a factor of (-226)/x + -4 + 6/(-9)?
True
Let d(m) = m**2 + 11*m - 7. Let u be d(-12). Suppose 160 = u*f + 3*f. Let i(r) = -r + 41. Does 21 divide i(f)?
True
Let i = 8556 - -6517. Is i a multiple of 81?
False
Let f(r) = -11*r + 114. Let m be f(10). Suppose -3*s = 5 + 1. Is m + (-1 - s) + 95 a multiple of 14?
False
Let y(p) = 10*p**2 + 88*p + 125. Is y(-38) a multiple of 7?
True
Let w(n) = n**2 + 9*n - 7. Let r be w(-9). Is 109 + (-185)/35 + (-2)/r a multiple of 8?
True
Let s = 13 + -10. Suppose s*v = -13*v + 2144. Does 9 divide v?
False
Let n(v) = -2*v + 14 - 1 + 8*v + 5*v**2 + 3*v**2 + v**3. Does 7 divide n(-6)?
True
Let c(f) = 7*f + 324. Let r be c(-46). Does 29 divide (-8 + (-8764)/21)*(-3)/r?
True
Let y(i) = 121*i**2 - 152*i - 765. Is 19 a factor of y(-6)?
True
Is 25 a factor of (-975)/(-26)*(-6540)/9*-1?
True
Suppose a - 11 + 8 = 0. Suppose -4*h + a*h = -3. Suppose -h*j + 46 + 32 = 0. Does 5 divide j?
False
Let i(b) = 8*b**2 - 25*b - 280. Does 18 divide i(-20)?
True
Suppose -10*m + 23*m - 65 = 0. Suppose 2 = 3*b - 61. Is 25 a factor of 35/m*150/b?
True
Suppose -7*k + 4*k = -288. Let a = k - -108. Is a a multiple of 34?
True
Let j = -293 + 2450. Let m = -1209 + j. Does 19 divide m?
False
Is 19287250/1750 - (-36)/21 a multiple of 48?
False
Let s 