m(f) a multiple of 28?
False
Let r = -18 - 6. Does 16 divide (r/9)/((-2)/12)?
True
Suppose -6*d - 1 - 5 = 0. Let t(w) = -50*w + 4. Does 18 divide t(d)?
True
Let r(z) = -z**3 + z**2 + z - 1. Let q(t) = -t**3 + 3*t**2 + 4*t. Let p be (-49)/(-14) + 6/(-4). Let a(d) = p*r(d) - q(d). Is a(-2) a multiple of 2?
True
Let o be (24/60)/(1/75). Suppose 26 + 2 = 4*i. Suppose -o = -i*n + 4*n. Is 3 a factor of n?
False
Suppose 0 = 40*i + 1779 - 8539. Let p(m) = -21*m - 8. Let c be p(-6). Let r = i - c. Is r a multiple of 12?
False
Let h = -323 + 372. Does 3 divide h?
False
Let i = 143 - 56. Is 8 a factor of i?
False
Let a(o) = o**2. Let t be a(-2). Let k(y) = -t + 0 - 19*y**3 + 3. Is 11 a factor of k(-1)?
False
Let s be (5 - -2) + 4/(-4). Suppose -s = -4*c + c. Suppose 5*w - 149 = m + c*m, -5*w = -5*m - 155. Is 11 a factor of w?
False
Suppose -16*p = -23 - 25. Suppose -p*v = -4*v + 96. Is v a multiple of 27?
False
Suppose o = 5*o - 8. Suppose 4*n = 5*w + 384, -o*n - 2*w + 109 = -n. Does 21 divide n?
False
Let u(c) = -c**2 + 3*c + 1. Let f = 8 - 4. Let r be u(f). Is (-8)/r*(-99)/(-12) a multiple of 3?
False
Let m = 16 + -14. Suppose -z = -n - n + m, -4*n = -4. Suppose z = -0*p + 5*p - 35. Is p a multiple of 3?
False
Does 24 divide (-1650)/(-99)*(-144)/(-10)?
True
Suppose -9*b + 5*b = -16. Suppose -t - 240 = -5*k - 3*t, -b*k - t = -192. Does 24 divide k?
True
Let s(p) = p + 3. Let k be s(-3). Suppose 2*q - d - d = 160, 3*d - 12 = k. Does 12 divide q?
True
Suppose u = -3*x + 877, 1099 = 4*u + 3*x - 2418. Suppose 0 = 5*w + 80 - u. Suppose 2*t + w = 4*t. Is 20 a factor of t?
True
Suppose 2 = -3*r + 11. Suppose 10 = r*i - i. Suppose -5*w = 5, 4*f - 65 = -f - i*w. Does 14 divide f?
True
Let w be 3/(-2)*(57 - 11). Let y = -34 - w. Is 7 a factor of y?
True
Suppose m + 3*t = 117, 4*m - 272 - 169 = -3*t. Does 23 divide m?
False
Let c(q) be the third derivative of 5*q**4/24 - 13*q**3/6 - 2*q**2. Let o(r) = 1. Let u(t) = c(t) + 5*o(t). Does 15 divide u(6)?
False
Let l be (2 - -1 - 0) + -70. Let c = l - -151. Suppose 5*v = -3*z + c + 40, -z - 20 = -v. Is v a multiple of 23?
True
Let j be (126/36)/((-1)/(-60)). Suppose -w + 45 = 2*b, b = -4*w + 3*b + j. Is 32 a factor of w?
False
Let h(z) be the second derivative of 5*z - 1/6*z**3 + 8*z**2 + 0. Is h(13) a multiple of 2?
False
Suppose -3*x = -x. Let c = -71 - -99. Suppose x = -4*v + c - 4. Does 2 divide v?
True
Let z(u) = -u**2 + 9*u + 2. Suppose 0 = -3*v - 0*w - 4*w + 39, 0 = 5*w - 15. Let g be z(v). Does 12 divide 1 + 110/g - 4?
False
Let l(u) = 10 + 85*u - 46*u - 42*u. Let m = -9 - -1. Does 17 divide l(m)?
True
Let o(c) be the third derivative of 11/24*c**4 - 11*c**2 + 0*c + 0 - 7/6*c**3. Is o(4) a multiple of 13?
False
Is 13 a factor of (-10)/(-15) + 6292/3?
False
Is 46 a factor of 4/10 - (302624/(-10))/14?
True
Suppose -5*h + 28 = 2*h. Suppose -h*v + 837 = -607. Is 27 a factor of v?
False
Let d(z) = 2*z**2 - 29*z + 155. Does 2 divide d(9)?
True
Let k(o) = 50*o**3 + o**2 - 7*o + 10. Is k(2) a multiple of 40?
True
Let d be (2/4)/(3/(3 + -27)). Let o(i) = -11*i + 24. Is 4 a factor of o(d)?
True
Let i = 17 + -15. Suppose i*g + 5*o - 6 - 62 = 0, 3*o + 84 = 4*g. Is 24 a factor of g?
True
Let l(r) = -24*r - 7. Is l(-3) a multiple of 5?
True
Let h(v) = v**3 + 10*v**2 + 6*v - 5. Suppose 0*o - 4 = x + 5*o, -2*o = 2*x + 16. Is h(x) a multiple of 9?
False
Suppose 0 = -5*k - 4*n + 3, 2*n = 4*k - 2*n + 12. Let v be k/1*(11 + -13). Is v + 312/(8 - 4) a multiple of 16?
True
Let l(q) = q + 0*q + 6*q**2 + 1 - 5 + q**3. Is l(-4) a multiple of 12?
True
Let a(m) = 1 - 8 + 5*m - m. Suppose -22 = -3*b - 2*p, -b - 4*p + 24 = -0*b. Is a(b) a multiple of 9?
True
Let f(d) = -72*d + 26. Is 6 a factor of f(-2)?
False
Let d(r) be the third derivative of 29*r**6/120 - r**5/15 + r**3/6 - 20*r**2 + r. Does 31 divide d(2)?
True
Suppose -p + 5 = z, 2*z + 10 = 4*z - 4*p. Suppose 0*x - 4*x + 641 = z*n, 2*n = -5*x + 270. Is n a multiple of 26?
False
Let c = -390 - -669. Suppose 3*t - r = 3*r + c, 5*t + 4*r = 465. Is t a multiple of 15?
False
Suppose 25 = 5*m + 5. Let s be 250/m + (-3)/6. Let n = s + -44. Is n a multiple of 9?
True
Let l(r) = -5*r + 10. Let w be l(-17). Let m = w + 43. Does 23 divide m?
True
Suppose 2*s - 4*w + 0 = 2, -5*w + 35 = 5*s. Suppose -4*f = -s*c - 238, -181 = -3*f - 3*c + 8*c. Is 3 a factor of f?
True
Suppose -9*u = -1 - 26. Suppose u*y + 1 = -3*p + 55, 0 = 2*y. Is 18 a factor of p?
True
Let b(z) = 73*z + 1. Let c be b(3). Suppose -3*v - 22 + c = 0. Is v a multiple of 11?
True
Is 48 a factor of -1 - 1 - (-3400)/68?
True
Let i = 11 - 9. Suppose -d = 2*m - 31, -i*m + 49 - 183 = -4*d. Let y = d + -15. Is 9 a factor of y?
True
Let h = 81 - 48. Suppose h = 8*b - 7*b. Is 8 a factor of b?
False
Let s(q) = 16*q**2 + q - 7. Let j be s(-3). Suppose g - 3 = -1, -3*f - g + j = 0. Is 10 a factor of f?
False
Let w = -1370 + 2106. Is w a multiple of 23?
True
Suppose 4*o - 2*o = -x + 14, x + 49 = 5*o. Suppose 3 = 2*k - 7. Suppose -o*m + k*m = -88. Is 8 a factor of m?
False
Let t = 204 - 115. Is t a multiple of 3?
False
Let r = 3 - 1. Suppose 3*v = -5*d - 13, -3*v = r*d - 1 - 1. Is -1 + v - (-5 + -13) a multiple of 7?
True
Let v be (-4)/(0 + (1 - 3)). Suppose v*y = y + 84. Suppose -5*j - 29 = -y. Is 11 a factor of j?
True
Let g(d) = -d**3 - 2*d**2 + 7*d + 8. Let a be g(-3). Let c(k) = 10*k**2 - 2*k + 1. Let i be c(1). Let s = i + a. Is 5 a factor of s?
True
Suppose -q + 5 = 0, -15 = -5*z - q - 2*q. Let i = 2 - z. Is 15 - (-7)/((-7)/i) a multiple of 8?
False
Let h(j) = -j + 7. Let r be ((-25)/(-10))/((-2)/4). Let x be h(r). Let u(o) = 3*o - 18. Is 7 a factor of u(x)?
False
Let u be -3 + ((-20)/(-4) - -5). Let s(p) = 3*p**3 - 20*p**2 + 5*p + 2. Does 5 divide s(u)?
False
Let j be 79/(-5) - (-8)/(-40). Let l(g) = -g**2 - 20*g + 28. Is l(j) a multiple of 9?
False
Let o(x) be the third derivative of x**5/15 - x**4/8 - 7*x**3/6 + 7*x**2. Let g be 3 - 8/12*-3. Is 20 a factor of o(g)?
False
Let u(j) = 6*j**2 - j - 2. Suppose -8 = -21*k + 23*k. Is u(k) a multiple of 11?
False
Suppose 6*f - 5*f = 2. Is (f + 26)*60/35 a multiple of 12?
True
Let a = -24 - -27. Suppose 4*z + 4*p - 30 = -p, a*p = -z + 11. Suppose -11*j = -z*j - 138. Does 10 divide j?
False
Suppose l = -l + 412. Suppose 0 = 2*q - 4*q + l. Suppose 7*x - 2*x - 110 = 5*n, -2*n + q = 5*x. Is x a multiple of 7?
True
Suppose -5 + 29 = i. Let d = i + -18. Does 17 divide 350/d - 10/30?
False
Let m(u) = 2*u + 36. Let s be m(21). Let n = 60 + 70. Suppose z = -5*j + n, j - 5*z = -2*j + s. Is 12 a factor of j?
False
Let j(u) = -2*u**3 - 39*u**2 - 35*u + 15. Let o(s) = 3*s**3 + 58*s**2 + 52*s - 22. Let i(b) = 7*j(b) + 5*o(b). Does 6 divide i(-16)?
False
Let d(i) = -8*i - 40. Is d(-26) a multiple of 3?
True
Let x(j) = -j**3 + 14*j**2 + 37*j - 9. Is x(16) a multiple of 5?
False
Let z(w) = -8*w**3 - 14*w**2 + 65. Let l(m) = 3*m**3 + 5*m**2 - 22. Let v(t) = 11*l(t) + 4*z(t). Let a be v(0). Let q = -13 + a. Is 3 a factor of q?
False
Let n(s) be the second derivative of 1/4*s**4 + 5/6*s**3 + 0 - 3*s - 1/2*s**2. Is 7 a factor of n(-4)?
False
Suppose 19*v = 3774 - 1380. Is v a multiple of 7?
True
Suppose 2 = 2*p - p. Suppose -5*a + p*a = -99. Is a a multiple of 11?
True
Let s(z) = -z**3 + 6*z**2 - 8*z + 5. Suppose 2*o = g + 12, -5*o + 2*g + 6 = -22. Let x be s(o). Suppose x*u - 49 = 26. Does 5 divide u?
True
Let n = 39 + -15. Is 6 a factor of 440/25 + (n/(-15) - -2)?
True
Let h = 22 + 25. Suppose -4*z = -57 - h. Is 13 a factor of z?
True
Suppose q + 409 = 4*x, 12 = 4*q - 0*q. Is 5 a factor of x?
False
Let w = -1480 + 1590. Does 5 divide w?
True
Is 46 a factor of ((-7)/1 - -2)*(-2944)/40?
True
Let f = 14 + -20. Let d(g) = -g**2 - 5*g + 5. Let m be d(f). Is 5 a factor of 10*(-3 + 2)/m?
True
Suppose 0 = -7*b + 22*b - 3645. Is 27 a factor of b?
True
Let n = 30 + -6. Let x = n + -13. Let r = x - -31. Does 21 divide r?
True
Let x(o) = -2*o**2 - 8*o - 9. Let w be x(-6). Let t = w + 43. Is t even?
True
Let c(d) = 30*d + 860. Is c(-26) a multiple of 7?
False
Let q(l) = 54*l + 3. Let n be q(-2). Let v = 197 + n. Is v*((-15)/(-5))/12 a multiple of 21?
False
Suppose -4*w - 2*p = -109 - 79, 3*p = 5*w - 235. Is 47 a factor of w?
True
Let w(v) = -116*v - 112. Is 13 a factor of w(-5)?
True
Let r(x) = -x**2 + 12*x - 1. Let p be 