 Is 73 a factor of v?
True
Let w be (-1)/1*(9 + -9). Suppose w = g - 2*d + 33, -4*d + 129 = -4*g + d. Let r = 100 + g. Is r a multiple of 23?
True
Let p = -28 + 33. Suppose -w + p*w = 12. Suppose 0 = f - 0*f - 3*x - 36, x = w*f - 76. Does 3 divide f?
True
Let v(j) = j**2 - 10*j + 9. Does 16 divide v(13)?
True
Let m(y) = 6*y**3 + y - 3. Let b(u) = -5*u**3 - u**2 - 2*u + 4. Let x(j) = 7*b(j) + 6*m(j). Suppose 0*l = -5*l + 40. Is x(l) a multiple of 2?
True
Let m(x) = 4*x**2 + 23*x + 9. Is 4 a factor of m(-8)?
False
Suppose 0 = 123*k - 113*k - 4930. Is k a multiple of 29?
True
Is 13 a factor of (416/(-6))/((-5)/(210/4))?
True
Let i(z) = 74*z**2 + 54*z + 6. Does 30 divide i(-3)?
True
Suppose 4318 = 4*q - u, 2*u + 3230 = 3*q - 3*u. Does 24 divide q?
True
Suppose -5*c + 0*f = 3*f - 130, 5*f = 0. Suppose 0 = 4*m - 6*m + c. Let z = m - -11. Does 12 divide z?
True
Suppose -z = -5*f - 98, 2*f + 0*z + 48 = -4*z. Is 2 a factor of 6/((f/25)/((-14)/5))?
False
Let o(u) = -2*u + 40. Suppose -45 = -3*z - 0*z. Suppose 0*p + 5*j + z = p, 3*p + 3 = -j. Is o(p) a multiple of 10?
True
Suppose 591 = 5*h - q, 3*h - 34 - 319 = -q. Is h a multiple of 59?
True
Suppose 126 = f + 2*o - 12, -5*f - 2*o + 674 = 0. Let d = 11 + f. Let c = -101 + d. Does 11 divide c?
True
Suppose -4*h + 36 = g, -3*g - 2*h - h + 90 = 0. Is 7 a factor of g?
True
Let r(o) = -o**3 + 13*o**2 - o + 5. Is 14 a factor of r(-8)?
False
Let p(f) = 5*f + 2. Let i be p(20). Suppose -i = 4*a - 298. Is a a multiple of 6?
False
Let s be (-2)/(-4)*-8 + -53. Let n be (-6 - -3)*29/3. Let r = n - s. Does 14 divide r?
True
Let b be 0 - (0 + (-13)/(-4))*-36. Suppose 50*y - 47*y = b. Does 14 divide y?
False
Let d(v) = 2*v**2 - 7*v - 2. Let j be d(4). Suppose -s - j*s - 4*q = -144, -5*s - 5*q + 235 = 0. Is 9 a factor of s?
False
Suppose -31 = 4*p - u + 2*u, 3 = 3*u. Does 30 divide (p/6)/(2/(-123))?
False
Let q = -604 - -935. Is 5 a factor of q?
False
Suppose 3*p = 4*p. Let n be (0 - p)*(3 - 4). Suppose 0*h + 5*h - 145 = n. Does 6 divide h?
False
Let y be (6 - 8)/(-1)*(-222)/(-4). Let h = -80 + y. Is 2 a factor of h?
False
Let t(l) = -3*l**3 - 3*l**2 + 13*l - 4. Let w(g) = 4*g**3 + 2*g**2 - 14*g + 3. Let b(y) = 5*t(y) + 4*w(y). Suppose z - 7 + 1 = 0. Is b(z) a multiple of 3?
False
Is 32 a factor of 109*(-35)/((-455)/468)?
False
Suppose 0 = 3*w - 4*u - 8, -5*u = -u + 8. Suppose 0*l - 3*m + 65 = 4*l, m + 5 = w. Suppose -2*d + l = -54. Is d a multiple of 6?
False
Suppose -3*t = -4*a - 25, t - a + 0*a - 7 = 0. Suppose t*j - 370 = -2*j. Does 12 divide j?
False
Suppose 33*h + 2942 = 24920. Is h a multiple of 8?
False
Suppose 3*l + 62 = 2*v, -5*v = -0*v - 5. Let x be 8/10*l/(-8). Suppose 3*p - 88 = -5*f + 56, 4*f - 114 = -x*p. Is 9 a factor of f?
True
Let r(b) = -7 + 5*b + 20 - b**2 + 1. Let l(g) = -g + 3. Let s be l(-3). Is r(s) a multiple of 8?
True
Suppose 0*y + 4*d - 84 = -2*y, -2*y - 2*d + 84 = 0. Let x = y - 8. Is 4 a factor of x?
False
Let x(w) = -w**3 + 2*w**2 - 4*w + 780. Is 65 a factor of x(0)?
True
Suppose -543 = 2*t + 41. Let b = t - -500. Does 27 divide b?
False
Let m be (3 - 3)/(2 + -1). Let p = m - -3. Suppose -p*w - q + 107 = 0, 22 = w + 4*q - 10. Is w a multiple of 12?
True
Let i = 63 - -400. Let a = i + -317. Is a a multiple of 12?
False
Suppose -x - o + 20 = -4*o, 0 = o + 5. Suppose 3*i + 11 = x. Let d(n) = -5*n**3 - 2*n**2 + 1. Does 12 divide d(i)?
False
Suppose 4*m - 499 - 10278 = 5*v, 0 = -m + 5*v + 2713. Suppose -4*i - 4*i + m = 0. Is 16 a factor of i?
True
Suppose 4*a = 0, w = -3*w - 3*a + 16. Suppose -k + w = -7. Does 3 divide k?
False
Suppose -5*n + 87 + 52 = -4*w, -167 = -5*n - 3*w. Suppose -n = -o - 91. Let c = 102 + o. Is 21 a factor of c?
True
Suppose 7*g - 29 = -85. Is (0 + -1)/(g - 11704/(-1464)) a multiple of 61?
True
Suppose 0*r = -2*r. Suppose 5*x - 2715 = -4*d + 8325, 3*x + 12 = r. Is 22 a factor of d/25 - (-6)/(-10)?
True
Suppose -43*f - 5*f = -52944. Is 36 a factor of f?
False
Let k = 148 - -68. Is 18 a factor of k?
True
Suppose -12129 + 4257 = -12*t. Does 41 divide t?
True
Let f be (-4)/(-6) - 1 - (-1960)/21. Let w = 202 - f. Is 19 a factor of w?
False
Let d(v) = 6*v. Let a be d(1). Suppose z - 4*o = a*z - 30, 0 = 5*o - 25. Suppose -19 = -z*f + 69. Is f a multiple of 17?
False
Suppose 18 = -0*b - 3*b. Let x be (4/b)/((-4)/18). Suppose -x*n - 5*f = -36, 3*n - 60 = -2*n + 2*f. Is 9 a factor of n?
False
Suppose -h - 17 = -360. Suppose -4*c - 209 + 31 = -2*y, 4*y = -5*c + h. Does 11 divide y?
False
Suppose -2*h + 5*q + 43 = -6, 5*q + 5 = 0. Let v(u) = 6*u + 50. Does 15 divide v(h)?
False
Suppose -r = 4*d + 29, -6 = -0*d - 3*d. Let a = 62 + r. Is 25 a factor of a?
True
Let j(o) = -o**3 - 8*o**2 + 8*o - 3. Let m be j(-9). Suppose -616 = -h - m*h. Does 11 divide h?
True
Suppose 0 = 3*z - 6 - 3. Suppose -4*x + 3*m - 88 = -m, -3*m - 42 = z*x. Is (-197)/(-13) - x/(-117) a multiple of 15?
True
Suppose -203 = -4*u + 5*m, 236 = 5*u - 3*m - 34. Does 6 divide u?
False
Let b = 1399 + -951. Is b a multiple of 44?
False
Suppose 0 = -5*f + 3*w + 19, 2*w + 20 = 5*f - 1. Suppose -q = -f + 4. Suppose -2*u + 55 = -q. Does 17 divide u?
False
Suppose -3*y = 4*k + 652 - 1851, 3*k = 5*y - 2008. Does 21 divide y?
False
Let c = -925 + 1567. Is c a multiple of 15?
False
Suppose -5*w = -0*j - 4*j + 106, -j - 4*w + 16 = 0. Does 18 divide j/(-28)*14*-3?
True
Let p = 473 - 202. Let r = p - 158. Is 19 a factor of r?
False
Let b(u) = 0*u**3 + 0 + u**3 + 4 + 5*u**2 - 2. Let q be (-4)/14 - (-38)/(-14). Does 5 divide b(q)?
True
Let b = 20 - 137. Let l = b + 222. Suppose 0 = -5*g - 30 + l. Is 5 a factor of g?
True
Let g = -7 + 12. Suppose -16*b + 16 + 64 = 0. Suppose g*j = -9 - 11, -4*z - b*j + 224 = 0. Does 15 divide z?
False
Let z = 161 + -158. Suppose a - 23 = -2*r, -5*a + 11 = -14. Is 74/z - r/(-27) a multiple of 7?
False
Let n(f) = 2*f**2 + 4*f + 5. Let x be ((-60)/18)/(4/6). Let l be n(x). Let m = l - 18. Is 10 a factor of m?
False
Let n(o) = 57*o**2 - 34*o - 64. Is 4 a factor of n(-2)?
True
Let z be (2/3)/(2/27). Is 10 a factor of 2/(-9 + z + 4/62)?
False
Let v = 128 - -493. Is 6 a factor of v?
False
Suppose -29*f + 33*f - 5880 = 0. Does 35 divide f?
True
Let h = 7 - 3. Suppose -11 = 3*i + h. Let z(s) = 5*s**2 + 7*s + 4. Is 20 a factor of z(i)?
False
Suppose -7*y = -18*y + 22. Is y/(-8) - (-1974)/56 a multiple of 6?
False
Let o = 443 + -434. Does 5 divide o?
False
Suppose -35 = 5*b + 2*y, -5*b - 4*y - 6 - 29 = 0. Let c = -11 - b. Let o = 9 - c. Does 6 divide o?
False
Does 21 divide (-6)/(-4 - (-1322)/332)?
False
Let a be -72*(4/3)/1. Let o = 175 + a. Suppose o - 3 = 2*l. Does 19 divide l?
True
Is 3 a factor of (-1)/(4*(-6)/264)?
False
Let p(c) = -c + 6. Let g be p(4). Suppose g*x - 3*x - 63 = -2*k, 0 = 2*x + 6. Does 2 divide 1/5 + 204/k?
False
Let c(d) = -4*d + 2. Let h be c(2). Let a be (-3)/3 - (-1 + h). Suppose u - 38 = -2*g, -3*u = a - 0. Is 10 a factor of g?
True
Suppose -m - 38 = 3*d, -d = 5*m - 2*m + 90. Is -1*1 - (m - -10) a multiple of 3?
True
Suppose -5*k = z - 20, 9 + 11 = -5*z + 5*k. Suppose -3*y + 6 = -z. Suppose x - 6*p + p - 34 = 0, -3*x + 128 = -y*p. Does 22 divide x?
True
Suppose i = 5*y - 186, 2*y + 3*i - 78 + 7 = 0. Is 13 a factor of y?
False
Does 31 divide (-8)/40*5*-796?
False
Let j be (-3)/9*63/(-7). Suppose 3*o - j = -15, 36 = y + 4*o. Is 25 a factor of y?
False
Is 45/(-75) + 86/10 a multiple of 4?
True
Let g be (16/(-20) - -2)/(15/100). Let l(x) = 0*x + 3*x - x. Does 10 divide l(g)?
False
Let j(r) = -6*r - 7. Let n be j(-2). Suppose 0 = n*g - 3*m + 2*m - 829, 0 = -5*g - 3*m + 813. Does 15 divide g?
True
Suppose 0*j = -5*j + 70. Let m be (-28)/j + (-6)/(-1). Suppose m*r + 0 - 136 = 0. Is 18 a factor of r?
False
Suppose -4*l + 3*l = 1. Let x(d) = -52*d**3 - 2*d**2 - 2*d - 1. Let y be x(l). Let z = y - 27. Is z a multiple of 12?
True
Let x = -1090 + 1638. Suppose 8 = 3*f + n - x, -740 = -4*f - 2*n. Is f a multiple of 31?
True
Let i(b) = b**2 - 3*b - 2. Let t(s) = s + 2. Let m be t(-3). Let u be i(m). Suppose 0 = -4*l + 2*l + 5*a + 25, -3*l - u*a + 66 = 0. Is l a multiple of 14?
False
Suppose 2*p - 137 - 252 = 3*t, 0 = t - 4*p + 113. Let v be 1/((-240)/237 + 1). Let a = v - t. Is a a multiple of 15?
False
Let h(u) = -2 + 7*u + 0 + 8. Let g be (16/(-12))/((-4)/18). Is 24 a factor of h(g)?
True
Su