 Is 23 a factor of (w - (-109)/(-3))*-3?
False
Suppose -30 = -5*q + 8*q. Let o = q - -76. Does 22 divide o?
True
Let q = 330 - 194. Suppose q = 6*g - 2*g. Is g a multiple of 28?
False
Let m(n) = -8*n + 3. Let l = -1 - -5. Let o be m(l). Let q = o - -43. Is 14 a factor of q?
True
Does 43 divide (-1341)/(-12) + -6*(-2)/(-16)?
False
Is 6 a factor of ((-2)/3)/((-4)/168)?
False
Let p be (-3)/(-6)*(28 - 0). Suppose 2*c = -y + p, -3*y - 2*y + 5*c = 5. Suppose -92 = -2*w - w + y*u, -4*u - 36 = -w. Is 19 a factor of w?
False
Suppose -3*k - 2*k = -3*q - 270, 4*k - 3*q = 213. Is k a multiple of 12?
False
Suppose -5*c = -2*q - 177, 5*c + 3*q - 172 = -0*q. Is c a multiple of 7?
True
Let s = -42 + 22. Does 18 divide (-12)/s - 261/(-15)?
True
Suppose -5*r + 5 + 10 = 0. Suppose -r*t = -4 - 2. Is (1*(-12)/(-3))/t even?
True
Let a = 60 - 24. Let p = a + -24. Is 12 a factor of p?
True
Suppose 3*x = 2 + 13. Suppose 0 = -r + x*r - 36. Does 4 divide r?
False
Suppose 11 = -b - 45. Let q = b - -79. Does 23 divide q?
True
Let z(v) = 20*v. Does 20 divide z(2)?
True
Is (63/14)/(-3*(-3)/288) a multiple of 11?
False
Let a(k) = k + 9. Let g be a(-7). Suppose g*m + 78 = 5*m. Is 13 a factor of m?
True
Suppose 60 = t + 2*t. Is 5 a factor of t?
True
Let l(v) = -v**2 - 3*v + 3. Let c be l(-3). Suppose -3*z = 4*d - 5*z - 230, 5*z + 183 = c*d. Let a = d - 34. Is 22 a factor of a?
True
Suppose 5*g + 325 = 5*s, 364 = 5*s - g + 55. Let u = -41 + s. Is u a multiple of 10?
True
Let m be (12/(-1))/(3/10). Let q = -7 - m. Does 11 divide q?
True
Let a be ((-10)/(-5))/(2/(-15)). Let w = -5 - a. Does 9 divide w?
False
Suppose -4*i + 62 = 2*g, 16 = -5*g + 1. Is i a multiple of 9?
False
Let z(s) = -25*s + 1. Let c be z(-2). Let i = 85 - c. Does 17 divide i?
True
Suppose 5*o - 3*j = 153, -3*o = -4*o - 3*j + 27. Is o a multiple of 10?
True
Suppose -2*s + 5 = -v, 5*s + 4*v = 13 + 6. Suppose s*g - 39 = -5*l + 111, l = 3. Is g a multiple of 17?
False
Suppose 2*h + 9 - 3 = 2*v, -3*v - 2*h + 19 = 0. Suppose 2*a = -5*w - 3, 0*a - 2 = 2*w + a. Let u = v - w. Is 3 a factor of u?
False
Let c = 13 - -20. Let s = 23 - c. Let z = s + 26. Is 8 a factor of z?
True
Let t = -6 + 6. Let p be (2 - -1)*(2 - t). Suppose -i = -p*i + 60. Is 6 a factor of i?
True
Let a = 364 + -256. Does 27 divide a?
True
Let a be (-61)/(-3) - (-2)/(-6). Suppose 0 = 4*t + 5*v - 11, -3*t + 2*v + 16 = 2. Suppose a = t*k - 2*k. Is k a multiple of 5?
True
Let a(l) = -24*l + 4. Let s be a(-5). Suppose s = z + z. Is z a multiple of 15?
False
Let j be 0 - (0 - 2 - 1). Suppose j*x + y = 6*x - 91, 4*x - 138 = -2*y. Is 16 a factor of x?
True
Let k(g) = 2*g - 6. Let l be k(4). Suppose 4*d - 20 = 4*h, h - 5*d + l - 1 = 0. Is (20/h + 2)*-3 even?
True
Let w(t) = -30*t**2 + t. Let p be w(1). Let k = 4 - p. Does 9 divide k?
False
Suppose -h + 1 = -0*h. Let m be (2 + -2 + -3)/h. Let z = m - -25. Does 16 divide z?
False
Let k(t) = 14*t + 3*t**2 - 4*t**2 - 4 - 2*t. Is 9 a factor of k(7)?
False
Let n = 24 - 4. Suppose -7*c = -3*c - n. Suppose 3*a - 43 = -c*b, 3*a - 2*a = b + 17. Does 15 divide a?
False
Does 11 divide (228/9)/(6/9)?
False
Let y = 50 - 29. Let r be (1/2)/(1/(-14)). Is 13 a factor of 6/y - 89/r?
True
Suppose 3*b - 3 = 0, -3*w - 4*b = -7*w + 20. Does 2 divide w?
True
Suppose -5*d = -4*n + 33, -3*n + 0*d + 26 = -5*d. Suppose -24 = -n*u + 4*u. Is u a multiple of 8?
True
Suppose -3*w = -7*m + 2*m + 42, 3*w + 2*m + 63 = 0. Let c = w + 5. Does 19 divide (c/(-6))/(2/30)?
False
Suppose 5*g = -3*v + 2*v + 496, -5*v = -5. Does 29 divide g?
False
Is -1 + (-695)/(-20) - 1/(-4) a multiple of 7?
False
Suppose 198 - 14 = 4*p. Suppose 0 = -2*m + 26 + p. Does 18 divide m?
True
Let w = 99 - 69. Is w a multiple of 6?
True
Let y = -27 - -51. Is y a multiple of 24?
True
Let f be 4*2/28*7. Suppose 0 = -0*d - f*d - 4*h + 40, -d - 4*h + 20 = 0. Does 10 divide d?
True
Let p(o) = -3*o**2 - 3*o - 4. Let g(k) = -5*k**2 - 5*k - 7. Let j(h) = 6*g(h) - 11*p(h). Is 7 a factor of j(-3)?
False
Let n be (-10)/(-15) - 26/(-6). Suppose 0 = f - 5*u + 41, -7 = -f - n*u + 2. Does 11 divide (f/10)/(1/(-10))?
False
Suppose 5*v - 505 - 405 = 0. Suppose 0*x - 5*x + 486 = -3*c, 2*x - v = -5*c. Is 18 a factor of x?
False
Does 3 divide ((-3)/(-15) - (-57)/15) + 7?
False
Let p be (-1 - -2) + (9 - 1). Suppose -2*z = -z - p. Does 9 divide z?
True
Let z(h) = 5*h + 10. Let m be z(7). Let u = -20 + m. Is u a multiple of 11?
False
Let p(q) = 3*q**2 - q - 3. Does 3 divide p(3)?
True
Let l = -19 + 40. Is 21 a factor of l?
True
Let b = 19 + -8. Let y = b - 30. Let z = -12 - y. Is 7 a factor of z?
True
Let d be (1*-2 - -8)*1. Suppose 0 = 2*k - d, -5*k + 92 = 4*t - 11. Does 11 divide t/4*(-1 + 5)?
True
Suppose -2*f = -j + 833, 3*f - 5*j + 837 = f. Is f/(-9) + 14/(-63) a multiple of 20?
False
Let p = -96 + 141. Does 15 divide p?
True
Let o(k) = k**2 - 7*k + 8. Let s be o(6). Let l = 0 + s. Suppose -4*r + 75 = -r - 3*q, 5*r = -l*q + 139. Is 8 a factor of r?
False
Suppose 0 = 2*k - k - 9. Does 26 divide (1 + 0)/(k/468)?
True
Suppose 0 = -3*d - f + 11 - 1, 3*d - 8 = -2*f. Does 22 divide (-6)/8 + 151/d?
False
Suppose 5*v + z + 105 = 0, 2*v + 6*z = 2*z - 24. Let q = 50 - v. Is q a multiple of 11?
False
Suppose c + 3 = 4, 318 = 3*o + 3*c. Is 15 a factor of o?
True
Suppose p + 2 + 9 = 0. Let r be 1 + -1 + 18 + 1. Let v = r + p. Is v a multiple of 8?
True
Let i(g) = -g**2 - 5*g + 10. Let m(p) = -2*p**2 - 11*p + 21. Let k(o) = -7*i(o) + 4*m(o). Is k(-10) a multiple of 2?
True
Let z(w) = -w**3 - 3*w**2 - w + 1. Let d = -6 + 3. Let b be z(d). Suppose 2*i = -b + 48. Does 10 divide i?
False
Let q(f) = -f - 5. Is q(-15) a multiple of 7?
False
Let c(a) = -2*a**2 + 2*a - 1. Let i be c(1). Let r be 4/8 - i/(-2). Let y = 14 - r. Is 7 a factor of y?
True
Let h be (2 - 1) + (-2)/(-1). Suppose 2*m - 2*x = -44, -h*x - 39 = 4*m + 28. Let u = m + 38. Is u a multiple of 10?
False
Let r(b) = -2*b**2 + 3*b + 2. Let j be r(3). Let l = -3 - j. Is l even?
True
Let u be (-2)/((-3)/(-9) + -1). Suppose -p + 4 = r, -4*r - r - u*p + 26 = 0. Is 2 a factor of r?
False
Let d be 15/4 - (-8)/32. Suppose 4*h - 2*w - 396 = 0, -2*h - d*w = 34 - 232. Does 27 divide h?
False
Let u = 10 - 5. Is 10 a factor of ((-6)/u)/((-15)/250)?
True
Let g = 2 - -2. Suppose 45 = 3*m - 0*l - 4*l, 3*m - 21 = -g*l. Is 10 a factor of m?
False
Let s be (12/(-18))/((-4)/306) + -1. Suppose -2*j + 6*j = 0. Suppose z - s + 14 = j. Is 16 a factor of z?
False
Suppose -4*j + 0*l - 3*l - 15 = 0, 0 = -4*l - 20. Is 1 + (j - (-5 + 1)) a multiple of 5?
True
Suppose 0*f = -5*f + 30. Suppose -f*t + 56 = -4*t. Does 17 divide t?
False
Suppose 2*u + 5*z = -15, 8*u - 4*u - z = 25. Suppose 2*b = t + 102, 0 = 2*t - u - 3. Is 14 a factor of b?
False
Let l be ((-2)/6)/(2/6). Let q(n) = -60*n - 1. Let o be q(l). Let y = o - 40. Is 19 a factor of y?
True
Suppose 3*c - 95 = 2*c - 2*q, 0 = 3*c - 5*q - 296. Is c a multiple of 38?
False
Let b be -1*(-5 - (1 + -1)). Suppose -5*v + 5*w - 5 = 0, 0 = b*v + w - 2*w + 9. Is 18 a factor of 18*(0/v - -2)?
True
Let w(j) = -5*j**3 + 31*j**2 + j + 30. Let f(g) = -g**3 + 6*g**2 + 6. Let r(i) = -11*f(i) + 2*w(i). Let d be r(4). Does 17 divide (-155)/(-9) - d/9?
True
Is 18 a factor of (12/10)/(4/450)?
False
Let d = 700 - 418. Is 47 a factor of d?
True
Suppose 4*l = 9*l - 55. Is l even?
False
Let h(c) = -c**3 + 9*c**2 + 6*c - 4. Let u be 7 - (0 - (1 - -1)). Does 26 divide h(u)?
False
Suppose 0 = -4*w + 128 - 16. Is w a multiple of 14?
True
Suppose 0 = a + 9*a - 440. Is a a multiple of 11?
True
Suppose -1 - 4 = 5*d, 2*d - 154 = -3*t. Suppose 0 = -5*w + 4*p + 260, w = 4*p - 9*p + t. Does 13 divide w?
True
Suppose -3*k = 2*k - 100. Suppose -3*x - k = g, 0 = 5*x + 3*g - 4*g + 28. Does 4 divide (x/4)/(1/(-6))?
False
Let g(z) = z + 5. Let n be g(-6). Let f(x) = 30*x**2 - 2*x - 1. Is f(n) a multiple of 11?
False
Suppose -2*v = v - 33. Let d = v + -4. Suppose -4*a - d = -4*g - a, 0 = -3*a + 9. Does 2 divide g?
True
Is (60/14)/(0 + (-3)/(-63)) a multiple of 30?
True
Suppose 2*c = 5*c - 6. Suppose c*f = 4*f - 60. Is f a multiple of 15?
True
Let n(j) = -j**2 - 8*j - 8. Let g be n(-6). Suppose g*a = 3*a - 2, t = -a + 1. Suppose t*p - p - 28 = 0. Does 6 divide p?
False
Let f be (16/(-4))/((-2)/(-11)). Let g = f - -52. Is g a multiple of 8?
False
Is 24 a factor o