11 a factor of r(b)?
False
Is (68799/(-9))/(-17) - (-1)/3 a multiple of 45?
True
Let c(a) = 5*a - 1. Let w be c(1). Suppose -4*f = -3*m + 60, -2 - w = 2*f. Does 33 divide (m/(-20))/((-2)/165)?
True
Let x = -18 + 21. Suppose 6*z - x*z - 15 = 0. Suppose -r - 2*t + 35 = 0, -z*r + 2*r - 5*t + 108 = 0. Is r a multiple of 27?
False
Let g = 147 + 231. Is 21 a factor of g?
True
Let m be 5/20 - (-815)/4. Suppose -8*v + m = -6*v. Is 10 a factor of v?
False
Suppose -7*d + 4*d + 225 = 0. Suppose 3*l - d = 24. Suppose -r - l = -2*r. Does 11 divide r?
True
Suppose 861 + 8769 = 18*f. Does 49 divide f?
False
Suppose 3*g - 8 - 10 = 0. Suppose g*t = 3*t. Suppose -4*r + 0*r + 48 = -4*o, t = 2*o - 2. Is 2 a factor of r?
False
Suppose -42*k + 1721 = -29191. Is 15 a factor of k?
False
Let r(k) be the third derivative of -k**6/120 + k**5/12 - k**4/24 - 5*k**3/6 - 13*k**2. Let n be 9/12 + (-39)/(-12). Is r(n) even?
False
Let a be (7 - 1)*1*30. Let z = a - 128. Let q = z - 21. Is 11 a factor of q?
False
Let b = 101 + 22. Suppose c = -3, -4*c + b - 315 = -3*z. Does 20 divide z?
True
Let k = 120 - -794. Is 26 a factor of k?
False
Let i = -26 - -208. Suppose -4*v + 3*n = -251, 2*n - n + i = 3*v. Is v a multiple of 14?
False
Let d be (8/10)/((-9)/(90/4)). Does 12 divide (-83)/(-2)*d*(0 + -1)?
False
Let r = 175 + 1253. Is 119 a factor of r?
True
Suppose 514 = 8*k - 206. Does 11 divide k?
False
Let q(k) = -k + 4. Let l be q(4). Suppose l = 11*s - 14*s. Suppose s = 10*h - 9*h - 45. Does 26 divide h?
False
Let t = 282 - 170. Is t a multiple of 17?
False
Let p = -654 + 1534. Does 80 divide p?
True
Let d(c) = -3*c**2 + 3*c - 4. Let n be d(-3). Let b be (-16)/(-10)*n/(-16). Suppose 86 = 3*w + b*v, -3*w + 3*v = -62 + 11. Is w a multiple of 5?
False
Suppose -47*l + 146960 = 63*l. Is 8 a factor of l?
True
Let q = -12 - -16. Suppose -45 = -q*p - 5*g, 2*p + 10 + 0 = 4*g. Suppose -p*f = -6*f + 51. Does 17 divide f?
True
Let y be (-2)/7 + 72/(-42). Let g = y - -4. Suppose 5 = -g*u + 125. Is u a multiple of 20?
True
Let o(n) = 55*n**2 - 29*n + 1. Let v(t) = 14*t**2 - 7*t. Let l(k) = -2*o(k) + 9*v(k). Is l(-2) a multiple of 11?
False
Let m = 23 + -21. Suppose g + 26 = m*g. Does 26 divide g?
True
Let d = 710 - -733. Does 13 divide d?
True
Let s = -172 - -341. Is 65 a factor of s?
False
Suppose 3*d - 3*z = -5 + 2, 0 = -4*d - 5*z - 40. Let f(m) = -m**3 - 3*m**2 + 2*m - 6. Is 12 a factor of f(d)?
False
Suppose 62 = -4*t + 3*r - 10, -85 = 5*t - 5*r. Let o = 25 + t. Suppose -5*a = z - 59, o*a = -2*z - z + 45. Does 6 divide a?
True
Suppose 5*k - 60 - 79 = -4*m, 3*m - 110 = 2*k. Suppose -y - 2*y + m = 0. Suppose -r - 2*p + 92 = 38, 0 = -3*p + y. Does 20 divide r?
False
Suppose -x + 85 = 32. Suppose -x*z = -49*z - 280. Does 22 divide z?
False
Does 35 divide (20/(-25))/((-8)/15180)?
False
Suppose 4*g = m - 1264, 0 = m + 4*g + 433 - 1665. Is 28 a factor of m?
False
Suppose 1174 + 392 = 3*d. Does 87 divide d?
True
Suppose -3*j + 3*k = 5*k + 8, 2*j = 5*k + 20. Suppose 4*o + p - 9 = j, -4*o + 2*o - 2*p = -12. Does 11 divide (44 + 0)/(1 + o)?
True
Let k = 1 + 18. Suppose -k = -t - 5*q, -6*t + t + 5*q = -125. Let g = -16 + t. Does 2 divide g?
True
Suppose -5*z = -2*a + 2975, 5*a + 4*z = 3*a + 3020. Is a a multiple of 10?
True
Let t(i) = -i**2 + 9*i + 3. Let v be t(9). Let k(l) = 6*l + 7. Is 5 a factor of k(v)?
True
Suppose -18*l = -6*l - 36. Suppose 416 = -l*n + 11*n. Is n a multiple of 4?
True
Suppose p = 8*p - 70. Suppose 1127 + 1473 = p*a. Is a a multiple of 65?
True
Is (-5)/(40/226)*(-4 - 0) a multiple of 2?
False
Suppose 0 = h - 33 - 33. Is 65 a factor of h?
False
Let s = 16 + -13. Suppose j - 2 = s. Suppose 0 = -i - j*z - 1, 4*z - 100 = -6*i + i. Is i a multiple of 18?
False
Let k(t) = t**3 - 11*t**2 - 44*t - 64. Is k(20) a multiple of 111?
False
Suppose 192*v - 205*v + 9425 = 0. Does 27 divide v?
False
Let h(b) = -b - 5. Let r be h(-6). Let j(p) = 59*p**3 + 2*p**2 - p - 1. Let w(x) = -59*x**3 - x**2 + 1. Let g(y) = -2*j(y) - 3*w(y). Is g(r) a multiple of 27?
False
Suppose 5*u - 26 = 3*n, -n = 4*u - 0*n - 14. Suppose r = -2*c - 2*c + 55, -c - 203 = -u*r. Suppose -6*t = -5*t + o - 27, 2*t - o - r = 0. Is t a multiple of 26?
True
Let i be -10*(35/(-2) + 3). Suppose 0*q = -5*q + i. Suppose 5*y = 164 - q. Is 10 a factor of y?
False
Let a be 18/(-117) + 3941/13. Let u = a - 161. Is u a multiple of 9?
False
Suppose 128*a - 23*a = 45255. Does 7 divide a?
False
Let i(o) = 8*o + 9. Is 7 a factor of i(5)?
True
Let v = 258 + -90. Is v a multiple of 24?
True
Suppose 0 = -s + 11 - 0. Let w(z) be the second derivative of z**4/12 - 7*z**3/6 - 6*z**2 - z. Does 16 divide w(s)?
True
Let s = 10 + -8. Suppose s*y - 177 + 51 = 0. Is y a multiple of 8?
False
Let w = -53 + 60. Let v(z) = z**2 + 2*z - 17. Is 23 a factor of v(w)?
True
Does 11 divide (-1)/(2/(-12))*1212/24?
False
Suppose 5*v + 111 - 29 = 3*d, 4*v = -2*d + 84. Suppose -3*j - 57 = -3*z - 6*j, -4*z + 76 = j. Let o = d - z. Is 8 a factor of o?
False
Let f(p) = 10*p - 15. Let n be f(2). Suppose 2*h + 5*u + 63 = n*h, 0 = 3*u - 9. Does 11 divide h?
False
Let n(c) be the second derivative of -c**3/6 - 5*c**2 + 3*c. Let t be n(-10). Suppose -4*g + 112 = -t*g. Is g a multiple of 14?
True
Let s(t) = t**3 - 3*t**2 + 4*t - 2. Let l be s(2). Is (-2130)/(-25) + l - 1/5 a multiple of 10?
False
Let t = 37 - -240. Suppose -2*n + t = w, 0*n + 2*w = 3*n - 412. Is n a multiple of 17?
False
Let g = -40 - -39. Let u(v) = -44*v**2 + 3*v + 2. Let i(d) = 87*d**2 - 6*d - 4. Let k(t) = -4*i(t) - 9*u(t). Is 13 a factor of k(g)?
False
Suppose -5*s - 110 - 90 = 0. Let d = 22 + s. Let a = d + 50. Does 10 divide a?
False
Let b(t) be the second derivative of t**4/6 + 7*t**3/6 + 13*t. Does 14 divide b(5)?
False
Suppose -6 - 15 = -2*m + 3*x, 12 = m - x. Does 15 divide m?
True
Suppose -4 = -3*p + 32. Let z = 12 - p. Suppose -7*l + 2*l + 340 = z. Is 19 a factor of l?
False
Suppose 3*a = 23 - 17. Let w(f) = 26*f. Does 12 divide w(a)?
False
Suppose -2*j + 4497 = 3*j - k, 0 = -3*j + k + 2697. Is j a multiple of 30?
True
Suppose -4*a - 403 = -99. Let c be (-3)/4 - a/16. Suppose 0 = -i - 4*m + 58, 5*i - 200 - 42 = c*m. Is i a multiple of 25?
True
Let f(a) = -a**3 + 4*a**2 + 2*a + 9. Let m be f(-6). Suppose 1699 = 8*x - m. Is x a multiple of 15?
False
Suppose 5*r = 10*r - 2520. Is 42 a factor of r?
True
Is 8 a factor of (-68)/(-1) - -3*(-4)/3?
True
Let u(j) = -391*j**2 + 392*j**2 - 3 + 6 + 12*j. Suppose -5*b = -27 + 112. Does 26 divide u(b)?
False
Does 25 divide (0 - (-400)/(-6))*(-66)/44?
True
Let a = 14 + -16. Does 8 divide 360/5 + -2 + a?
False
Let j = -213 + 263. Is j a multiple of 19?
False
Suppose -2806 = -2*u - 2*t, u - 5*t - 361 = 1024. Is u a multiple of 9?
False
Suppose -7*g + 24 = -g. Suppose -2*a + 4*y = -262 - 400, 1667 = 5*a - g*y. Is a a multiple of 13?
False
Suppose 0 = 6*u - u + 125. Let l = 36 + u. Suppose 4*n - l = 105. Does 11 divide n?
False
Suppose 0*r + 30 = 5*r. Let g be (3/(-1))/1 + 87. Suppose -r - g = -3*f. Is 15 a factor of f?
True
Suppose 6*n - 40 = -16. Suppose n*m - 4*z = -24, -z + 2*z = -4*m - 19. Is 35 a factor of 172/5 + (-3)/m?
True
Suppose -3*v + 5*v = 338. Is v a multiple of 7?
False
Let m(i) = i**3 + 12*i**2 - 5*i + 8. Suppose 107 = -7*l + 30. Is 51 a factor of m(l)?
False
Let t(m) = -m**3 + 5*m**2 - 8*m + 12. Let x be t(4). Let f(g) = -2*g**3 - 4*g**2 + 4*g. Does 3 divide f(x)?
True
Suppose 2*x - 1 = 3. Suppose 0*f - 3*f + 4*u + 94 = 0, -x*f = -4*u - 56. Is f a multiple of 19?
True
Is 13 a factor of 65/(-3*4/(-108))?
True
Let n(o) = 5*o + 11. Let b be n(10). Let m be (-3)/2 + (-267)/(-2). Suppose t + 3*t - m = -4*w, 0 = 2*w + t - b. Is 25 a factor of w?
False
Let u be (-5 - 2) + 3/(-3). Let c be u/(-4) + (-44)/(-2). Let s = c + 5. Is s a multiple of 12?
False
Let i be (-9 + -3)*(-15)/12. Suppose -2*z - 1053 = -i*z. Is 13 a factor of z?
False
Let o(g) = -g**2 - 2*g - 1. Let r be o(-1). Suppose 3*m + 15 = r, 13 + 2 = 2*l - 3*m. Suppose -3*v + 2*v + 23 = l. Does 22 divide v?
False
Suppose -3*u + 426 = 10*x - 9*x, 0 = -3*u + 5*x + 444. Is 9 a factor of u?
False
Suppose -4*l = 3*z - 3*l - 3, 2*l = z - 8. Suppose -2*g + 5*n = -232, g + z*n = -49 + 183. Is 14 a factor of g?
True
Suppose -37295 = -42*r + 42715. Is r a multiple of 127?
True
Suppose -a - 3 + 0 = 0. 