se -v*f + 56 = -13*f. Is 12 a factor of f?
False
Suppose -6*i + 12088 = 1114. Suppose -185 = -19*c + i. Is c a multiple of 9?
False
Suppose 19 = -2*z - 3*o + 6, 0 = 3*z - 2*o - 13. Let t be 1/z + 3 + 0. Let d(h) = h**2 + h - 9. Is d(t) a multiple of 3?
False
Let s = 160 - 160. Suppose -158 = -j - 7*x + 2*x, s = -5*j - 3*x + 834. Is j a multiple of 24?
True
Let h(v) = 3 + 7*v + v**3 - 5*v - 5*v. Let x be h(4). Let u = x + 32. Is u a multiple of 26?
False
Let z = -19 - -26. Let y = 26 + z. Suppose 5*k = -5, -p + 84 = -k + y. Is 25 a factor of p?
True
Let m(n) = -n**3 - 7*n**2 + n + 10. Suppose 28 = -5*v + v. Let c be m(v). Suppose -c*a + 6*a = 150. Is 10 a factor of a?
True
Let i(w) = w**2 - 6*w + 13. Is i(16) a multiple of 42?
False
Let p = 429 + 192. Is p a multiple of 9?
True
Let h = -95 + 106. Is h a multiple of 6?
False
Is 34 a factor of 4 - (-972 - -3 - 3/1)?
False
Let k(c) = -3*c**3 - 3*c**2 + c + 2. Let z be k(2). Suppose -2*h + 60 = -3*a, 0*h - 6 = a + 4*h. Let i = a - z. Is 12 a factor of i?
False
Suppose -48*d = -50*d + 1472. Does 23 divide d?
True
Is 6 a factor of (((-12)/(-15))/(-2))/(71/(-73485))?
True
Let n(g) = g**3 - 3*g**2 - 3*g - 7. Let f(x) = -2*x - 7. Let w be f(-6). Let d be n(w). Is 7 a factor of (8 - 2)/(21/d)?
False
Suppose 5*u + 3*o - 137 - 117 = 0, u - 3*o = 58. Suppose -2*c + 6 = -u. Is c a multiple of 5?
False
Does 9 divide -7 - ((4 - 3) + -53)?
True
Let a = 142 + -57. Suppose -6*q + a = 13. Is 4 a factor of q?
True
Let h(j) = -18*j**3 + 6*j**2 + 8*j + 9. Is 52 a factor of h(-2)?
False
Let i(j) = j**3 - 6*j**2 + 2*j - 5. Let m be i(6). Suppose 3*k = 2*k + m. Let f = k + 3. Is f a multiple of 3?
False
Suppose 0 = 3*q + 2*x + 12 - 36, 2*x + 40 = 5*q. Let w be (3 - q/4)*-6. Is 3 a factor of 1 + (w + 0)*-1?
False
Suppose -3*s = -12, 4*f - 86 = 5*s - 222. Let z = 89 + f. Does 10 divide z?
True
Suppose 4*i + 2898 = 2*s, -2*s - 22*i + 25*i = -2902. Is 13 a factor of s?
False
Suppose 1160 = 33*q - 31*q. Is q a multiple of 13?
False
Let x(b) = 513*b - 171. Does 18 divide x(13)?
True
Let m(r) = r**2 + 7*r + 6. Let y be m(-6). Suppose 2 = 2*x, -u - 4*x + 73 = -y*x. Does 37 divide u?
False
Let t(z) = -z**3 + 8*z**2 - 2*z - 5. Suppose c - 24 = -3*c. Let i be t(c). Suppose 45 = 5*s - i. Is 10 a factor of s?
True
Suppose 3*q - 5 = 2*q. Suppose 2*r - q*r + 3*y = -198, -5*r + 4*y + 328 = 0. Suppose -4*b + r - 20 = 0. Is b a multiple of 5?
False
Let t(o) = -o**3 - 15*o**2 - 13*o + 14. Let k be t(-14). Let v(s) = -s**3 - s**2 + 2*s + 4. Let u be v(-4). Suppose a = -k + u. Does 22 divide a?
True
Let y be -1 - -1 - (-270)/15. Let a = y + -14. Suppose a*r + 2*r = 114. Is r a multiple of 11?
False
Let p = 17 + -7. Suppose -p*i - 90 = -12*i. Does 8 divide i?
False
Suppose -2*r + 36 + 300 = 0. Is 7 a factor of r?
True
Suppose -2*u + 10 = 3*n, 5*u - 2 = n + 6. Suppose 11*s - 12*s + 58 = 0. Suppose v - s = -u*o, 5*v - 350 = o + 4*o. Is 12 a factor of v?
False
Let u(x) = 105*x**2 + 8*x - 5. Is u(3) a multiple of 18?
False
Suppose 189 = -5*d - 4*i - 67, -2*i = -2*d - 106. Let r = d + 82. Is 6 a factor of r?
True
Suppose z + 4*f + 6 = -0*z, 2*z + 5*f = -24. Is (-44)/242 + (-1236)/z a multiple of 14?
True
Let o = -29 - -23. Is 19/2 + (21/o - -2) a multiple of 8?
True
Let m(h) = 47*h + 9 + 7 - 13 + 6. Is m(3) a multiple of 30?
True
Suppose 2*r - 202 = -4*q, -5*q + 22 = -3*r - 258. Does 25 divide q?
False
Let c be 6/(-4)*(-12)/6. Suppose -11 + 149 = c*m. Does 5 divide m?
False
Suppose -4*v + 136 = 772. Let o = v - -233. Is 11 a factor of o?
False
Suppose -50 = 10*o - 8*o. Let c = 32 + o. Let v(t) = t**3 - 4*t**2 - 11*t + 7. Is v(c) a multiple of 25?
False
Let g be 81 + (3/3 - 5). Let x be (-1 + -155)*2/(-4). Suppose -g - x = -5*o. Is 25 a factor of o?
False
Let i = 795 + -627. Is 37 a factor of i?
False
Does 38 divide 38*(82/451 + (-40)/(-22))?
True
Let f(c) = 3*c - 20. Let l be f(8). Suppose -2*i - l = -10. Suppose i*z - 7*z = -276. Does 23 divide z?
True
Suppose 4*k - 6*k = 12. Is 1722/16 - k/16 a multiple of 23?
False
Suppose n - 24 = -n. Let i be (4/(-6))/(n/(-1548)). Suppose 2*u - 5*u + s + i = 0, 7 = u + 4*s. Is u a multiple of 7?
False
Let d be (-3 + -2)/5 - -99. Suppose 4*a + 3*a - d = 0. Does 10 divide a?
False
Does 4 divide (4972/264 - (-2)/12)*19?
False
Suppose -3*j - 3*p - 9 = 0, 2*j = j + 5*p + 3. Does 22 divide -1 - j - 13/13 - -91?
False
Let a(w) = -w**3 + 6*w**2 - 10*w + 5. Let n be a(7). Let j = -42 - n. Is j a multiple of 8?
True
Let f be (-16)/(-4) + -1 - 0. Let r(t) = 0*t**3 + 4 + 2*t + 0*t - t - t**f - t**2. Is r(-3) a multiple of 19?
True
Suppose -5*d = -4*u - 317, 3*d - 4*d - 4*u = -73. Suppose -d = m - 2*m - 5*n, 2*m - 2*n = 82. Is 5 a factor of m?
True
Let z be 18 + 0/3 + -3. Suppose z*m = 12*m + 267. Is m a multiple of 18?
False
Let t(h) = -3*h + 43 + 7*h + 11 + 3*h. Is 8 a factor of t(7)?
False
Let q(i) = 2*i + 10. Let s be q(8). Let f = s + 21. Does 26 divide f?
False
Suppose -6*u - 5130 = -12*u. Is u a multiple of 19?
True
Let p be (5 + 1 + -2)*2. Suppose -p*o = o - 540. Is 20 a factor of o?
True
Suppose -7*x + 8*x - 1 = -p, -19 = -4*p - x. Is 2/p - (262/(-6) + -1) a multiple of 7?
False
Let r(p) be the first derivative of p**4/4 - 5*p**2/2 + 2*p + 10. Let j be r(2). Suppose -h + 0*t + 3*t + 7 = j, -3*h = -5*t - 17. Is h a multiple of 3?
False
Suppose 13*t - 141 - 41 = 0. Let r = t + 28. Does 7 divide r?
True
Let p be (-2)/(-3)*((-1)/(-1) + 5). Suppose -z + 740 = 4*z + t, t = -p*z + 591. Is z a multiple of 17?
False
Let x(c) = 36*c**3 + 2*c**2 + 6*c - 4. Let z be x(4). Suppose -2*q - 4*g = -4*q - 1572, -3*q - z = -4*g. Does 11 divide q/(-26) + 2/(-13)?
False
Let p = -46 - -18. Is 7 a factor of ((-10)/4)/(2/p)?
True
Suppose -5*k = -4*k - 5. Suppose -4*o + 2*v + 92 = -0*v, k*o = 3*v + 117. Let d = o + -5. Is d a multiple of 8?
True
Let m be 1 + (-2851)/11 - (-6)/33. Is 6 a factor of (-2 - 0) + (-5 - m/6)?
True
Suppose 129*x = 124*x - 20, 0 = -a + x + 1188. Is 37 a factor of a?
True
Let a be -3 - (-2 + (-5)/5). Suppose 0 = 2*o + 4 - a, 0 = -l - o. Suppose 0*m = -l*m + 18. Is m a multiple of 5?
False
Let v(b) = 114*b**3 - 3*b**2 + 60*b - 182. Does 65 divide v(3)?
False
Let w(c) = 308*c - 220. Is 44 a factor of w(5)?
True
Let o(n) = 29*n - 19. Is 4 a factor of o(3)?
True
Suppose 3326 = -2*t + 318. Does 18 divide (-10)/(-15) + t/(-12)?
True
Let v = 1366 - 970. Does 66 divide v?
True
Let w(g) = 214*g**2 - 2*g - 12. Is w(-2) a multiple of 41?
False
Let n(r) = -r**3 - 3*r**2 - 22*r - 32. Is n(-10) a multiple of 74?
True
Let a(c) = c**2 - 7*c + 8. Let r be a(6). Suppose -5*u + r*u = -5*o, o = 3. Suppose u*w + 47 = 5*t - 18, 4*t + 3*w - 87 = 0. Is t a multiple of 13?
False
Let z = -6 + -13. Does 8 divide (z/2)/((-2)/4) - 3?
True
Let g(j) = -3*j**2 - 2*j. Let f be g(-2). Let w be 964/12 - f/12. Suppose -2*s - 3 = -1, 4*q = s + w. Is q a multiple of 5?
True
Suppose -2*i - 3*i - 495 = -5*t, 5*t - 4*i - 496 = 0. Let d = -73 + t. Is d a multiple of 6?
False
Let t = 93 - 47. Suppose -x + q = -38, 0*x = -x + 5*q + t. Is 9 a factor of x?
True
Let h be (2/(-8) - 6/(-6))*36. Suppose -h - 190 = -s. Is s a multiple of 25?
False
Let v(o) = -o - 5. Let d be v(-7). Let r be 3/(-2) + 21/d. Is 10/(-45) + 191/r a multiple of 6?
False
Let k = 1 - -8. Let p(n) = 2*n + 5. Let a be p(4). Let s = a - k. Does 3 divide s?
False
Let u(s) = 2*s**2 + 6*s - 5. Let y = 42 + -26. Let m = y + -12. Is 22 a factor of u(m)?
False
Let n(h) = -h**2 - 10*h - 3. Let m(r) = r**2 - r - 2. Let b be m(2). Suppose b = -0*s - 5*s - 35. Is n(s) a multiple of 9?
True
Suppose 0 = 2*z - 2*q + q - 233, 3*q = 2*z - 235. Let t(h) = 81*h**3 - 1. Let m be t(1). Let u = z - m. Is 10 a factor of u?
False
Suppose 0 = -j - 5*p + 9 + 5, 10 = 4*j - 3*p. Suppose 0 = -5*y - 4*r + 528, j*y - 258 = 5*r + 148. Is y a multiple of 13?
True
Let s = 1231 - 691. Is s a multiple of 15?
True
Let w(a) = a**2 - 10*a**3 - 43*a**3 - 6 - a + 4. Let v be w(-1). Is 11 a factor of 1*(v - (2 - 4))?
True
Let r = 153 + -87. Suppose 7*a + r = 8*a. Is a a multiple of 33?
True
Let j(m) = 19*m**2 - 8*m - 20. Does 6 divide j(4)?
True
Is (11374/141)/(4/54) a multiple of 33?
True
Suppose 5*b + 10 = 0, -b + 6*b + 18 = 2*y. Suppose -l = -2*l + y. Suppose -4*i + 2*m = 6*m - 48, -i + l*m = -22. Is i a multiple of 4?
Fa