divide u(c)?
False
Suppose -23*r + 37*r - 68250 = 0. Is r a multiple of 25?
True
Let k(y) = -32*y - 125. Let q be k(-4). Suppose 113 = q*t - 4*z - 441, 6 = -3*z. Is t a multiple of 13?
True
Suppose k + 6806 = 6*k + 3*p, 0 = 4*k - 2*p - 5436. Suppose a = -3*m - 3*a + 1020, -4*m + 4*a = -k. Is 31 a factor of m?
False
Let p = 377 - 217. Does 8 divide (-30)/(-96)*4*p?
True
Does 253 divide -15 + 880110/112 - 2/16?
True
Is 9 a factor of 69014/10 - (10/2 - (-84)/(-15))?
False
Let u(l) = 4*l - 45. Let h(a) = 4*a - 46. Let j(v) = 5*h(v) - 6*u(v). Let q be j(9). Does 5 divide 5/q - (-1935)/36?
True
Let h = 3916 + 5638. Is 17 a factor of h?
True
Suppose 0 = 2*z - 8*p - 6197 - 223, 0 = 4*z + 5*p - 12714. Does 6 divide z?
True
Suppose 4*m = 71 - 91, 0 = 2*b + 4*m - 3420. Is b a multiple of 5?
True
Is 20 a factor of -1 + 65*(-2 - 3402/(-30))?
True
Suppose 440 = 2*g + 20. Suppose 7*l + g = 9*l. Does 15 divide l?
True
Let n = -74 + 73. Let a be 24/6 + (37 - (0 - n)). Is (-1276)/(-14) - (3 + a/(-14)) a multiple of 17?
False
Suppose 3*y - 32 = -47, m - 11873 = 5*y. Is m a multiple of 8?
True
Let d be (80/(-12))/(2/(-6)). Let a = d - 50. Let x = a - -44. Does 7 divide x?
True
Let b(t) = -104*t + 897. Is 98 a factor of b(-40)?
False
Let k(d) be the second derivative of -d**5/10 - 13*d**4/12 - 5*d**3 - 2*d**2 - 18*d. Is k(-6) a multiple of 32?
False
Let v = -445 + 447. Suppose -4*x + v*a + 1241 = -387, -4*x + 3*a = -1626. Is 12 a factor of x?
True
Suppose 0 = -33*k + 37*k - 20. Suppose k*g + 715 = 4*w, -6*g = w - 3*g - 166. Suppose 0 = -2*l + 75 + w. Is 8 a factor of l?
False
Let k = 36856 + -8248. Is k a multiple of 19?
False
Suppose 3*f - 2 = 5*f. Let m be ((-27)/(-36))/(f/(-184)). Let k = m - 79. Is 7 a factor of k?
False
Suppose -72628 - 17797 = -47*p + 218882. Does 24 divide p?
False
Suppose -9*g - 11*g = 12*g - 38624. Is g a multiple of 17?
True
Let r(o) = -o**3 - 32*o**2 - 167*o - 129. Is 61 a factor of r(-31)?
True
Let s(k) = k + 4*k + 5*k + 3 - 5*k. Let u be s(5). Suppose 0 = -2*o + o + u. Is o a multiple of 14?
True
Suppose 0 = h + 5, 116*c - 112*c - 216335 = -5*h. Is c a multiple of 45?
True
Let v(c) = -2 - 2 - c**2 - 7*c + 7 + 3. Let o = -2455 - -2448. Does 6 divide v(o)?
True
Let b(t) = -t**2 - 9*t + 175. Let m be b(10). Suppose 4*p + i - 52 = 0, 4*p - i = -5*i + 40. Let j = p - m. Is j a multiple of 29?
True
Let t = 401 + -387. Is 3 a factor of ((-6)/t - (-96)/28) + 68?
False
Is (-3 + (-164)/(-12))*(-1449)/12*-6 a multiple of 21?
True
Let p be ((-44)/12)/(7/(-168)). Suppose g = 2*y + p, -4*y - y + 60 = g. Does 20 divide g?
True
Let a = -12 + 46. Suppose -619 = -4*t - 499. Suppose -8 = t*u - a*u. Is u even?
True
Is (-18 - (-1656)/(-6))/(2 - 57/27) a multiple of 14?
True
Suppose 2*z - 250 = -96. Suppose -2*i = o - 22 - z, 4*o + i - 389 = 0. Let g = o + 17. Is g a multiple of 15?
False
Suppose -2*v + 80 = -44. Let j = v + -56. Is 34 a factor of (-4)/(-4) - (j + -3 + -54)?
False
Let w(t) = 7*t - 20. Let c(d) be the first derivative of -7*d**2/2 + 19*d + 5. Let q(j) = -3*c(j) - 4*w(j). Is 14 a factor of q(-5)?
False
Let n(v) = v**2 - 8*v - 50. Let i(b) = -3*b + 15. Suppose 20*p - 8*p = 0. Let l be i(p). Is 26 a factor of n(l)?
False
Suppose 6*f - 8*f + 4*w = -13976, 0 = -4*f + 3*w + 27952. Is 37 a factor of f?
False
Let t(m) = -m**3 - 14*m**2 + 58*m - 41. Does 9 divide t(-25)?
False
Suppose 0 = -2*r - 13*r + 45. Suppose r*o - 277 = -2*j, 15*o - 10*o = -25. Does 9 divide j?
False
Suppose 43520 = -25*m + 34*m + 23*m. Is 16 a factor of m?
True
Let a(x) = x + 24. Let s = -2 - 16. Let v be (s/(-15))/(0 + (-12)/40). Is 10 a factor of a(v)?
True
Suppose -77*i + 75*i - 8 = 0. Let c(v) = -3*v**3 + v**2 + 6*v + 6. Is c(i) a multiple of 10?
True
Let x = 3495 + -1991. Does 14 divide x?
False
Does 8 divide (-5)/((-105)/125146) + 8*2/24?
True
Suppose 5*h + 27 - 47 = 0. Suppose -h*l = i - 2745, i = -6*l + 10*l - 2751. Is l a multiple of 58?
False
Let x(u) = u**2 - 6*u. Let h be ((-75)/(-10))/((-3)/(-2)). Let r be x(h). Let v = r + 25. Is 20 a factor of v?
True
Suppose 9*g - 30 = 3*g. Suppose -2*r + 6 = 0, 0*r = g*y + 3*r - 9. Suppose -4*w + 456 + 216 = y. Does 24 divide w?
True
Suppose -158 - 27 = -5*d. Suppose -5*k + 8 = -d. Is k a multiple of 9?
True
Let m be (-55)/(2*(-6)/120). Let v = 985 - m. Is v a multiple of 20?
False
Let x(v) = -8*v - 35. Let s be x(-17). Let r = 116 - s. Let i = r - -33. Is i a multiple of 6?
True
Let c be 12/8*-2 + 30/3. Suppose -64 + 15 = -c*n. Suppose n*a - 218 = 328. Does 5 divide a?
False
Suppose -4*d = -4*c + 17368, -5*c + d + 21690 = 6*d. Is 20 a factor of c?
True
Let h(x) = 245*x**3 - 3*x - 4. Let z be h(-1). Let f = 574 + z. Is 37 a factor of f?
False
Suppose -6 = -2*h, 4*n + 48 = -0*n - 4*h. Is 6 a factor of n*6/(-18) - -67?
True
Let w(k) = -k**3 - 33*k**2 + 22*k - 33. Let z be w(-34). Let c = z + -195. Does 24 divide c?
False
Suppose 4*a - 3*p = 31, -5*a + 3 = p - 50. Let c(l) = l**2 - l + 28. Does 22 divide c(a)?
False
Suppose -3*n - k = -9, -14 = -2*n + 4*k + 6. Suppose 2990 = n*y + 6*y. Is 13 a factor of y?
True
Let r = 3402 - -8729. Does 14 divide r?
False
Let v = -4435 - -10758. Is 58 a factor of v?
False
Is 17 a factor of 38/(-13 - (-4422)/340)?
True
Let v(w) = 15*w - 100. Let m be v(8). Suppose m*u = -u + 2772. Is u a multiple of 4?
True
Suppose 4*k - 15270 - 20945 = 3*h, -k + 9030 = 4*h. Is k a multiple of 10?
True
Does 27 divide (284/(-3)*(-81)/8)/((-3)/(-6))?
True
Suppose 8041 + 6983 = 11*q + 790. Is q a multiple of 2?
True
Let v(b) = 24*b**2 + 6*b - 7. Let f be v(4). Suppose -5*n = -4*o - 540, -2*n + 6*n + 3*o - f = 0. Let r = -91 + n. Does 5 divide r?
False
Let l = -51438 + 80310. Does 16 divide 0 - 2/(-11) - l/(-198)?
False
Let g(s) = -10*s - 5. Let b be g(6). Let a = 69 + b. Suppose -41 + 137 = a*f. Is f a multiple of 12?
True
Let a(x) = -5*x + 1. Let f be a(0). Suppose 5*r - 7 = -l, -5*r - 1 = 4*l + f. Suppose 0 = -3*q - 12, w = -0*w + r*q + 67. Does 22 divide w?
False
Let l = -20975 - -4724. Does 78 divide l/(-12) - (210/40 - 5)?
False
Let f(p) = 46*p**2 + 43*p + 134. Is 2 a factor of f(-3)?
False
Let c(l) = 2*l**2 - 7*l + 8. Let o be c(3). Suppose 26 - 1 = -5*y, 0 = -3*k - o*y + 254. Is 9 a factor of k?
False
Let y = 94 + -66. Let w = 90 - y. Suppose -4*p = 3*r - 379, -5*p + w + 445 = 4*r. Is r a multiple of 16?
False
Suppose -1572*g = -1569*g - 33258. Is g a multiple of 9?
False
Suppose 2*j + j + 12 = -3*n, -2*j = 0. Let f be ((-10)/n)/(14/616). Suppose -2*g - 3*g = -q + f, 102 = q - g. Is 20 a factor of q?
True
Suppose 0*o = 5*o - 70. Let q = -18 + o. Is q - (2 + -21 + 0) a multiple of 15?
True
Let n(d) = d**3 - 9*d**2 + 25. Let k be n(10). Let r = -39 - 40. Let q = k + r. Is q a multiple of 9?
False
Suppose -93*j = 20825 - 74579. Is j a multiple of 17?
True
Suppose 25*r - 20*r = 5*g - 33730, -2*r = 3*g - 20233. Does 36 divide g?
False
Let z = 54 + -51. Let h(d) = -4*d + 5 - 7*d + d - d + z*d**2. Is 15 a factor of h(7)?
True
Let f be 1/3*1 - 459/(-81). Suppose 5*i = 8*i - f. Is 7 a factor of 4/6 - (i - (-344)/(-6))?
True
Let t(r) = 98*r**2 - 10*r - 26. Does 113 divide t(-4)?
True
Suppose -5*a + 2*k = 7, 3*a - 8*k = -13*k + 2. Is 13 a factor of (a + (12 - 3))*17/4?
False
Suppose 2*p = -2*n - 0*n + 2, 0 = -4*n + 5*p + 13. Suppose 3*j = -a + 232, -5*j = -3*j + n*a - 148. Is 7 a factor of j?
False
Suppose 891072 = 188*r + 102*r - 56*r. Is 8 a factor of r?
True
Let t(n) = 35*n**3 + 5*n**2 - 68*n + 376. Is 24 a factor of t(5)?
True
Let m = 7 + -22. Let x = m - 62. Does 41 divide (-2 - x)*(-24)/(-10)?
False
Let t(d) = 1920*d + 2707. Is t(18) a multiple of 83?
True
Suppose -2*q - w + 2*w = -5, -3*q + 18 = 2*w. Let h be ((-65)/q)/((-1)/(-4)). Let u = h + 76. Is u a multiple of 11?
True
Let j(r) = -5*r - 2455 + 1214 + 1202. Let w(z) = z**2 + 6*z - 5. Let d be w(-5). Is j(d) a multiple of 5?
False
Let b(h) = 6*h**2 + 23*h + 971. Is 14 a factor of b(0)?
False
Suppose g = 34 - 181. Let m = 19435 - 19218. Let i = m + g. Does 8 divide i?
False
Does 58 divide 16302 - ((720/10)/9 + -11)?
False
Let j = 130 + -118. Suppose 4*d + 7560 = j*d. Is d a multiple of 63?
True
Let c = 5063 - 4431. Is c a multiple of 123?
False
Suppose -21*y - 297396 = -120*y. Is 7 a factor of y?
False
Is (2 + 1)*16368440/1320 a multiple of 10?
False
Let