*(505/10 + -2)?
False
Let c = -2009 + 2837. Does 69 divide c?
True
Let a = -635 + 2050. Is a a multiple of 24?
False
Let r(v) = -48*v + 12. Let a be (-2 - (-1 + 3))*(-3 + 5). Is 36 a factor of r(a)?
True
Let g(r) = -r**2 - 13*r - 4. Let v(a) = -3*a**2 - 38*a - 12. Let t(l) = -17*g(l) + 6*v(l). Let y be t(-5). Is 3 a factor of y - (4/2 - -1)?
True
Let o = -677 + 3161. Is 27 a factor of o?
True
Suppose 4*i = -2*i. Suppose 4*n + i = 16. Suppose 47 = n*w - 5*b - 61, 3*w = -4*b + 112. Is 8 a factor of w?
True
Let v(y) = y + 2. Let c be v(-2). Suppose c = -a + 5*h + 205, -3*a + 707 - 109 = 2*h. Suppose -5*n + a = -60. Is n a multiple of 26?
True
Let k be 4/(-14) + (-528)/(-84) - 3. Suppose v = 5*w + 139, k*v + 2*w - 489 = -w. Does 26 divide v?
False
Let r be ((-12)/(-8))/1*6. Let v be (r/(-4))/((-6)/16). Does 5 divide (62/v)/((-6)/(-18))?
False
Let y = -3 - -26. Let a = y - 16. Suppose a*h - 384 = -h. Is 6 a factor of h?
True
Suppose -3*p + 241 = -32. Let m = p - 34. Suppose -2*u - m = -i, -6*i - 2*u = -i - 249. Does 18 divide i?
False
Let p = 2265 + -1561. Is p a multiple of 22?
True
Let s = -11 - -16. Let p = 8 - s. Suppose -j + 0*x = 5*x - 12, 3*x - 48 = -p*j. Is 4 a factor of j?
False
Suppose 2*a - 14 = -4. Suppose a*t = -17 + 87. Does 7 divide t?
True
Suppose -2*a + 19 = -3*l, -l + 0 - 7 = -a. Suppose -k = a*k - 477. Does 17 divide k?
False
Let l(i) = 95*i - 225. Does 45 divide l(14)?
False
Let n = 2009 - 1097. Does 76 divide n?
True
Suppose -4*j + 229 = -51. Is j - (9/12 - (-15)/(-20)) a multiple of 30?
False
Suppose 16 = 4*t, a + 3*a = -t + 1088. Is 12 a factor of a?
False
Let o = 14 + -11. Suppose -3*x - 2*t + 175 = o*t, 2*t - 160 = -3*x. Is 7 a factor of x?
False
Suppose 0 = -7*d - 1071 + 4151. Is 40 a factor of d?
True
Let p = 2067 - 1005. Is 15 a factor of p?
False
Let b(x) = -7*x + 35. Let g be b(-3). Suppose 2*s = -4*a + 480, -a - 3*s = -64 - g. Does 10 divide a?
True
Suppose -3*x + 2*d - 360 = 0, 3*d + 339 = -3*x - 2*d. Let v = x + 178. Suppose -7 = -i - 3*j, -4*i = -2*j - 2*j - v. Is i a multiple of 10?
False
Let c = -672 + 1652. Is c a multiple of 10?
True
Let u be 9 + 3 + (3 - 6). Let s = u + -5. Is 4 - 4*(-2)/s a multiple of 2?
True
Let f be 18 + 4 + 0 + 0. Let k = f - 14. Is k even?
True
Does 25 divide (0 + 335)*(-8 - -7)*-5?
True
Is 172/(-129)*(1 - -2) + 970 a multiple of 14?
True
Suppose -117 = 17*u - 14*u. Let q = 67 + u. Does 4 divide q?
True
Let x be (-1730)/50 + (-4)/10. Let t = 35 - x. Is t a multiple of 14?
True
Suppose -2*p + 1012 = l, 2*p - l - 626 - 386 = 0. Is p a multiple of 46?
True
Let s(b) = 3*b**2 + 12*b + 3. Let n be s(-10). Let v = n - 72. Is 18 a factor of v?
False
Let j(g) be the first derivative of -3*g**2/2 + 9*g + 10. Let q be j(3). Suppose 0 = -q*w - 5*w + 30. Is w a multiple of 3?
True
Let k(x) = -x**3 - 5*x**2 - 16*x + 6. Is 2 a factor of k(-4)?
True
Let b = 52 + -58. Is (-858)/(-65)*(-3)/(b/10) a multiple of 12?
False
Suppose -18 = -4*g - 2*l, 5*l + 8 = -7. Let r(k) = 2*k**2 - 10*k - 7. Does 5 divide r(g)?
True
Is 6 a factor of (13296/(-4))/(-3) + (8 - 7)?
False
Suppose -t - 8 = -4*r + 4, -5*t - 26 = -3*r. Let l be (-3)/(t/(-8)*-2). Is (-2)/((18/(-33))/l) a multiple of 6?
False
Let x(f) = 2*f**2 + 24*f + 6. Let r be x(-11). Let b(k) = 4*k - 1. Let h be b(4). Let l = h - r. Does 13 divide l?
False
Suppose 0 = 4*c - 2*t - 3150, 4*t + 1537 + 1611 = 4*c. Let y = -545 + c. Is 36 a factor of y?
False
Suppose 835 - 6815 = -13*c. Does 46 divide c?
True
Let j = -20 - -20. Is 20 a factor of (4 - 12)*(-10 - j)?
True
Let v = 1639 - -962. Is 10 a factor of v?
False
Suppose 2*o + 3*o = -3*v + 44, 5*o - 5*v - 60 = 0. Suppose 0 = 5*h + o - 45. Does 4 divide h?
False
Suppose -3*n + f + 4 + 39 = 0, 2*f = 10. Let x = 21 - n. Let o(a) = 11*a - 12. Is o(x) a multiple of 10?
False
Suppose 5*i + 4*v - 2304 = 0, 4*i + 11*v - 1845 = 6*v. Does 52 divide i?
False
Suppose -55*k = -84784 + 1679. Is 17 a factor of k?
False
Let m(t) = 7*t**2 + 192. Is 24 a factor of m(0)?
True
Suppose -14*t - 9 = -11*t. Let o = 2 - t. Is o a multiple of 3?
False
Let i(g) = 15*g - 14. Does 7 divide i(19)?
False
Does 14 divide ((-680)/(-102))/(2/237) + -6?
True
Suppose 13*u - 16*u - 51 = 0. Let t(c) = c + 39. Does 5 divide t(u)?
False
Let f be 8*(-8)/(32/(-5)). Suppose -4*i - 2*j = -834, -f*j = -3*i - 9*j + 638. Is 23 a factor of i?
False
Suppose -17 = -3*n + 4*g + 826, -n = 4*g - 297. Is n a multiple of 77?
False
Let d(g) = -g**2 + 9*g + 6. Let j be d(-3). Let r = 30 - j. Is r a multiple of 15?
True
Suppose 8*h = 6*h + 40. Suppose -2 + h = 3*u. Is u/9 + (-183)/(-9) a multiple of 21?
True
Suppose 6*j = 9*j - 60. Is (45/j)/((-2)/(-8)) even?
False
Let u(f) = 15*f + 515. Is u(19) a multiple of 32?
True
Suppose -2*y - 2*g - 237 = -21, g - 231 = 2*y. Let m be y/3 + 10/(-30). Let f = m + 101. Does 19 divide f?
False
Let s(i) = i - 2. Let o be s(2). Suppose o*y = 3*y. Is 17 - (3 - y/2) a multiple of 5?
False
Suppose -5*m + 626 = -434. Does 49 divide m?
False
Suppose 5*f + 0 + 10 = 0. Let q be (-1 - f)*(-6)/(-3). Suppose 87 = 3*i - 3*w, -q*i = -i + 4*w - 4. Is i a multiple of 8?
True
Let w(y) = -22*y - 18*y + 4 + 14*y. Suppose -4*c - 10 = c. Does 20 divide w(c)?
False
Is 55 a factor of (2 - 1)/(3/5430)?
False
Let s = -14 + 23. Let k(w) = s - 13 + 6*w**2 + 0*w + 2*w. Is k(-4) a multiple of 28?
True
Let t(p) = p**3 - 9*p**2 + 7*p + 5. Does 73 divide t(15)?
True
Suppose -9 = -q - 11. Is 30 a factor of ((-6)/4 - q)*626?
False
Let b(i) = -i - 8. Let y be b(-13). Let t(p) = -y + 1 - 5*p - 13 + 2. Is 26 a factor of t(-11)?
False
Suppose -s + 50 = 2*z + 3*z, -3*s + 40 = 4*z. Is 21 a factor of (42/35)/(4/z)*35?
True
Suppose -v + 174 = -2*c, -5*c - 17 = 2*v - 401. Is v a multiple of 19?
False
Let s(k) = -64*k - 12. Let q be s(-3). Suppose 18*v - 22*v + q = 0. Does 13 divide v?
False
Let t(n) = -n + 8. Let h be t(3). Suppose 6*d - 226 = 2*d + 2*k, 3*k - 266 = -h*d. Does 11 divide d?
True
Let d be 9/(-2)*(-20)/6. Suppose -5*y + 25 = 2*h + 3*h, 2*h = 3*y - d. Suppose -2*u = -5*k + 84, y*k + 0*u + 2*u - 96 = 0. Is 9 a factor of k?
True
Let j = -71 - -43. Is ((-63)/j)/((-3)/(-156)) a multiple of 9?
True
Let q(k) be the first derivative of 2*k**2 - 4*k - 4. Suppose -x + 2*l - 4*l = 1, -5*x + 4*l = -37. Is 8 a factor of q(x)?
True
Let o(q) = 5*q**2 + q - 56. Is 17 a factor of o(8)?
True
Suppose -2*y + 1536 = 6*y. Is y a multiple of 24?
True
Let u(a) = a**2 - 3*a + 2. Let b be u(2). Suppose 0*d = d - 2*t - 2, -3*d + 4*t + 10 = b. Is 13 a factor of 3/d*-2 - -49?
False
Let c = -351 + 673. Suppose 3*d = c - 118. Is 26 a factor of d?
False
Suppose -2*j = -4*o + 50, 9*o - 12*o + 5*j = -55. Does 16 divide (508/(-10))/(o/(-25))?
False
Suppose 0 = -v - v + 3*z + 23, -5*z = v - 5. Suppose -12*a = -v*a. Does 13 divide 54/1 - a - -2?
False
Suppose 5*k = -5*s - 105, 3*s + 17 = -2*k + 6*s. Let r = -8 - k. Suppose 2 = -0*w + w, -2*w = -o + r. Is 12 a factor of o?
True
Suppose 0 = 5*m - 5. Suppose -4*d + 12 = -3*d. Does 14 divide ((-24)/(-16))/(m/d)?
False
Suppose -2*v = -690 - 242. Suppose 0 = 6*m - 1460 - v. Is m a multiple of 42?
False
Let h be (1 + -2 - 10)/1. Let k(t) = -t**3 - 11*t**2 - 6*t - 1. Does 13 divide k(h)?
True
Suppose -3*m - 1 = -f, 2*m + 3 = 4*f - 1. Suppose -5*w + 6 + 4 = m. Suppose 90 = w*s + s. Is 10 a factor of s?
True
Suppose -d - 4*g + 3*g = -9, -3 = -d + 2*g. Suppose 2*l = -5*i - d, -4*i = 4 + 8. Suppose 64 - 16 = l*y. Is 4 a factor of y?
True
Let m(b) = 2*b**2 - 10*b + 24. Let u be m(13). Suppose 23 = -h + u. Does 35 divide h?
False
Let p(y) = 2*y**2 + 5*y - 20. Let q be p(-6). Suppose 72 = q*k - 18*k. Is 10 a factor of k?
False
Let s(o) be the first derivative of -14/3*o**3 + 8*o + 7*o**2 + 9 + 1/4*o**4. Is s(13) a multiple of 7?
True
Let t(w) = -w**3 - 6*w**2 - 2*w - 7. Let n(l) = -l**2 + l + 23. Let x be n(6). Does 7 divide t(x)?
True
Let h be (-645)/(-20) + ((-3)/(-4))/(-3). Let w = -22 + h. Does 10 divide w?
True
Let z be (-1 - 1)/(6/12). Is (-98)/z - 6/12 a multiple of 9?
False
Let d = 1425 - 841. Let p = d + -272. Let g = p - 222. Does 24 divide g?
False
Let b = -294 - -318. Is b a multiple of 8?
True
Suppose 4*d = 2*j - 22, -4*d + 5*j + 6 = 43. Let h = d - -4. Is 13 a factor of (-2)/2*-13*h?
True
Let j(q) = -30*q + 40. Let r be j(-21). Suppose 2*m + m = 