a factor of w?
True
Let x = 149 + -100. Is x a multiple of 7?
True
Let g(v) = -172*v + 2. Let z be g(4). Let u = 424 + z. Does 16 divide 4/14 + u/(-14)?
False
Let v(r) = 83*r**2 + 3*r - 2. Is v(1) a multiple of 7?
True
Let h = 38 + -17. Does 7 divide h?
True
Let s(g) = 8*g**3 + g**2. Is 6 a factor of s(1)?
False
Suppose -160 = -3*r - r. Is 7 a factor of r?
False
Let x(h) = 3*h - 1. Let v be -9*((-16)/(-6) + -3). Is x(v) a multiple of 4?
True
Suppose -2*h + 4*h - 2*b - 38 = 0, 5*h - 97 = 4*b. Does 12 divide h?
False
Suppose 0 = -5*k + 21*k - 1008. Does 13 divide k?
False
Let l = -38 + 54. Does 16 divide l?
True
Let r(j) = j**3 - 9*j**2 + 10*j + 2. Does 8 divide r(9)?
False
Suppose 5*d + 4*q = 472, 5*d - 6*q - 488 = -2*q. Is 12 a factor of d?
True
Let t be -4*(-1)/((-12)/(-9)). Suppose -x = -t*x + 6. Suppose -5*n - 5*d + 145 = -0*n, 88 = x*n + 4*d. Is n a multiple of 14?
True
Let d be ((-2)/4)/((-2)/(-176)). Suppose -5*o = -v + 5*v - 314, 5*v + 350 = 5*o. Let p = d + o. Does 11 divide p?
True
Let h = -3 + 6. Suppose -2*d - h*j = d - 36, 4 = 2*d - 2*j. Let n(i) = -i**3 + 8*i**2 - 6*i + 9. Does 8 divide n(d)?
True
Let p(t) = -t + 7*t**3 + 0 + 2 + 4*t**2 - 3*t. Is p(2) a multiple of 24?
False
Is 8/(-44) - 530/(-11) a multiple of 12?
True
Let f = 3 + -13. Does 10 divide f/(-2)*(-8)/(-2)?
True
Suppose 0 = -3*y + 5*r - 17, -3 = y + r - 0*r. Is (5/y)/((-2)/40) a multiple of 9?
False
Suppose 0*p + 5*p + 3 = 4*w, -5*w = -4*p - 6. Suppose 2*y - k + 14 = 4*y, 1 = y + w*k. Is y a multiple of 6?
False
Let y(f) = -f**3 + 8*f**2 + f + 8. Let o be y(5). Suppose o - 308 = -5*j. Is 7 a factor of j?
False
Suppose -2*i - i + b - 12 = 0, -27 = 4*i - 5*b. Let j = i + 8. Does 2 divide j?
False
Suppose w + 915 = 3*c - 2*w, 4*c + 3*w - 1185 = 0. Suppose -c = -5*y + 3*u + 2*u, 0 = -3*y - 3*u + 198. Is 21 a factor of y?
True
Suppose 5*p = -5*d + 30, -2*p - 3*p = -2*d + 33. Is d a multiple of 3?
True
Suppose -4*p - 5*y = -54, 0*y + 3*y = 6. Let t = 8 - 11. Let u = t + p. Is u a multiple of 8?
True
Let w(g) be the first derivative of 13*g**2 - 10. Suppose -2*q = -3*o - 6*q + 15, 0 = -3*o + 3*q - 6. Does 11 divide w(o)?
False
Suppose -v = v - 4*c + 8, 3*c - 3 = 3*v. Let y be 3/2 - (-1)/v. Suppose 0 = -3*r - 4*b + 100, -y*r - 4*b + 52 = -5*b. Is r a multiple of 14?
True
Let q be 6/(-5)*(-5)/2. Is q/6*(10 - 4) even?
False
Suppose 5*z - 185 = 135. Let c be 4/6*1*3. Suppose c*n - z = -2*n. Is 16 a factor of n?
True
Suppose -i - 3*s - 4 + 24 = 0, 0 = 4*i - 4*s - 64. Is (-8 + 4)/((-2)/i) a multiple of 5?
False
Let g be 2/(-7) + 720/70. Suppose -g*b = -5*b - 570. Does 38 divide b?
True
Let g = 5 + -3. Let f be (43 - 0)*(-2)/g. Let z = -12 - f. Does 12 divide z?
False
Let w = -4 - -7. Suppose n - 3 + 7 = 0, q + w*n - 38 = 0. Is q a multiple of 20?
False
Let j = -6 + 3. Let s(t) = t**3 + 3*t**2 + 3. Does 3 divide s(j)?
True
Let m = 11 - 19. Let w = m + 28. Does 10 divide w?
True
Let n(o) = 15*o**2 + 4*o + 3. Does 15 divide n(-2)?
False
Let v(k) = k - 3. Let z be v(6). Let p(t) = t**3 - t**2 - t + 1. Let s(m) = 2*m**2 - 5*m + 4. Let x(f) = z*p(f) - s(f). Is x(3) a multiple of 14?
False
Suppose 99 = 8*n - 7*n. Does 15 divide n?
False
Suppose -7*o + 2*o = -70. Does 7 divide o?
True
Let f(w) = w**2 - 6*w + 2. Let s be f(6). Let v be 12/8 + (-2)/(-4). Suppose -3*d + s*d + v = 0. Is d even?
True
Let m(w) = -w + 1. Let u(y) = 1. Let n(q) = m(q) + 4*u(q). Is n(-5) a multiple of 3?
False
Suppose -5*x = -5*n - 30, -n - 16 = -3*x + n. Suppose -2*c = r - 8, -3*c + 6*r - 1 = r. Suppose 0*k - c*k + 55 = -x*f, 2*k = f + 40. Is 7 a factor of k?
True
Let h(l) = -l - 2. Is 5 a factor of h(-12)?
True
Suppose 35 = 2*l - 3*j, 3*j + 58 = 4*l - 21. Is l a multiple of 13?
False
Suppose 0 = 3*b - 5*b - h + 494, 5*h + 754 = 3*b. Is b a multiple of 31?
True
Let s = -10 + 1. Is 3 a factor of 6/s*(0 - 18)?
True
Suppose -29 = -a - 3. Is 3 a factor of a?
False
Let k = -6 - -10. Suppose 2*f - k*f + 18 = 0. Does 3 divide f?
True
Let g = 78 + 2. Does 20 divide g?
True
Suppose -5 = -2*u + 5. Let q be (1 - -1)/(-2)*u. Let f(c) = c + 11. Is 5 a factor of f(q)?
False
Let n = 68 + -5. Is n a multiple of 9?
True
Let a = -562 + 1051. Does 7 divide (-2)/(-11) - a/(-33)?
False
Suppose 4*w - 8 = -d - 3, -3*d + 15 = w. Suppose d*u - 158 = 242. Is u a multiple of 21?
False
Let m be 36/(-27)*-6*1. Let s be (-5)/20 + 274/m. Suppose -u + 3*u = s. Is 17 a factor of u?
True
Let a = -1 + 2. Suppose -2 = -y + a. Suppose -m + y*m = 76. Does 19 divide m?
True
Let z(l) = 2*l**2 - 4*l + 8. Does 9 divide z(4)?
False
Let t(b) = 18*b**2 - 1. Let i be t(1). Let z = i - 8. Is z a multiple of 7?
False
Let b be 2 + -1 - 3*-1. Let p(o) = 2*o - 14. Let q be p(8). Suppose 5*t = -4*y + 31, -6*y - q = -b*y. Is 7 a factor of t?
True
Suppose -5*n - 55 + 265 = 0. Is 18 a factor of n?
False
Let f(p) = -p**3 + 7*p**2 + 9*p - 8. Let l be f(8). Let m be l - -2 - (-59 + 1). Is 6 a factor of (1/(-2))/((-3)/m)?
False
Suppose 0*l - 4*l = 3*i - 10, 5*i + 26 = 4*l. Suppose -266 - 294 = -l*w. Suppose -5*r + 64 + w = 4*p, -4*r + 96 = 2*p. Does 28 divide p?
True
Let y(u) = -27*u**2 - 4*u + 14. Let r(s) = 13*s**2 + 2*s - 7. Let k(m) = 7*r(m) + 3*y(m). Is 17 a factor of k(-3)?
False
Let a = -89 + 242. Is a a multiple of 16?
False
Suppose 11 + 14 = 5*a. Suppose a*o = 2*o. Suppose -f + 29 = -o*f. Is 16 a factor of f?
False
Let p = -72 + 87. Is 15 a factor of p?
True
Let c be (-2)/(-8) + (-11)/(-4). Let t = 6 - c. Suppose t*o - o = 48. Does 12 divide o?
True
Let v = 222 + -145. Does 11 divide v?
True
Let z = 6 - 4. Is 25 a factor of -5*(z + -5 + -2)?
True
Is 9 a factor of -2*(-3)/(-6)*(-45)/1?
True
Let c be (-4 - -1)*8/3. Let f be (-63)/(-12) + 2/c. Suppose 0 = 2*o, 0 = f*g + 4*o - 2*o - 100. Is 9 a factor of g?
False
Suppose -242 = -4*m - 5*r, -m - 3*r - 2*r + 53 = 0. Is m a multiple of 8?
False
Let c(q) = -q**3 - q + 3. Suppose 0 = 2*y - 3*y. Is c(y) a multiple of 3?
True
Let z(m) be the first derivative of m**4/4 - 4*m**3/3 - 1. Is 25 a factor of z(5)?
True
Let g(q) = -q**2 + 14*q - 13. Does 5 divide g(10)?
False
Let c(j) = -24*j - 2. Does 14 divide c(-3)?
True
Let l be -3 + 3 - (-2 + 3). Does 7 divide l/((-2)/44) + -1?
True
Let r = -230 - -330. Suppose -6*z = -z - r. Does 10 divide z?
True
Let l(r) = -3*r**3 - 4*r**2 + 2*r - 6. Let b be l(-5). Let u = b - 106. Suppose -3*n - u = -6*n. Does 25 divide n?
False
Let g be 38/(-14) + (-4)/14. Let s = 0 - 1. Does 3 divide (18/g)/s + 0?
True
Suppose -3*r = r + 4*t - 28, 2*r - 4*t - 2 = 0. Let n = -2 - 2. Is 11 a factor of 112/r - n/(-10)?
True
Let k = -67 - -193. Does 42 divide k?
True
Let r be 215/(-4) - 2/8. Is (2/(-6))/(3/r) even?
True
Suppose -5*w + 14*i + 1126 = 10*i, 2*i - 906 = -4*w. Does 29 divide w?
False
Let q(f) = -f**3 - f**2 - 8. Let t be q(0). Suppose -3*j = -0*j + 87. Let p = t - j. Is 11 a factor of p?
False
Suppose 4*q + 5*j + 22 - 52 = 0, 7 = q + j. Let i(n) = 3*n - 6. Let y be i(q). Suppose 0 = -2*o + 1 + y. Is o even?
False
Let h = -72 + 135. Suppose -3*r = 3*b - h, -3*b = 2*r + 3*r - 63. Is b a multiple of 21?
True
Suppose 4*u = 3*u + 1. Let c be 0/(1/(-1))*u. Let j = 11 + c. Does 11 divide j?
True
Let i(n) = -n**3 + 7*n**2 - 6*n + 5. Let l be i(6). Let p be 816/14 - (-4)/(-14). Is p/l - (-14)/35 a multiple of 12?
True
Suppose -20 + 164 = 4*r. Is 18 a factor of r?
True
Let h = 2 - -3. Suppose -80 = -f + 5*x - 20, x = -h*f + 248. Suppose 0 = -3*b + f - 20. Is 5 a factor of b?
True
Suppose -5*f - 11 = 3*q - f, 5*q = -4*f - 13. Let m be (-76 + q)/(-2 + 1). Suppose -2*c - d + m = 0, -4*d + 44 = -2*c + 106. Does 13 divide c?
False
Let b(k) = 47*k - 1. Let p be b(4). Let a = p - 120. Is 24 a factor of a?
False
Let y(c) = -c**2 + 11*c + 13. Does 6 divide y(6)?
False
Suppose 3*a + 0 - 36 = 3*t, 2*t + 34 = -3*a. Let k = 10 + t. Is 8 a factor of (2/k)/(-1)*48?
True
Let f be 10/5 - (-1 - 5). Let s(t) = -6*t + 3. Let q(n) = -n. Let j(u) = 5*q(u) - s(u). Is j(f) a multiple of 3?
False
Suppose 3*p - 312 = p. Is 12 a factor of p?
True
Suppose -2 = -2*a + a. Let o(d) = 2 + 5*d + 2 - 1 - a. Is o(5) a multiple of 15?
False
Let x = 11 + -7. Suppose -3*g = -3, 2*d - x*g - 44 = -2. Suppose -d = -2*j + 1. Is j a multiple of 12?
True
Suppose 326 = 5*a - 4*m, m + m - 332 = -5*a. Is 22 a factor of a?
True
Let t = 52 - 43. Is