 333. Suppose 2*t + 74 = h, h - c = -h + 3*t. Is 6 a factor of h?
True
Suppose -12*n = -1274 + 182. Does 7 divide n?
True
Let c(r) = -82*r + 2. Let x be ((-2)/4)/(10/(-80)). Let h be c(x). Is h/(-10) - 10/(-25) a multiple of 11?
True
Let s be (692/21 + (-6)/21)*3. Let f = s - 21. Is f a multiple of 7?
True
Is 4/(-22) + (-1675860)/(-1023) a multiple of 14?
True
Let c = 13 + -13. Suppose -2*i + c*i = -94. Suppose 5*o = -i + 242. Is o a multiple of 25?
False
Suppose -5*l - 2*a = a - 312, -a - 1 = 0. Does 22 divide l + 8*(-2)/4?
False
Suppose -4*w = -3*w + 21. Let z be 16*2*(-15)/30. Does 7 divide w*(-2 + z/(-12))?
True
Is -2 - (-2134)/8 - (-5)/20 a multiple of 53?
True
Let v = 1 - 12. Let y = 9 + v. Is (-836)/(-33) - y/3 a multiple of 13?
True
Suppose -8*u + 76 - 420 = 0. Let y = -29 - u. Let h = 33 - y. Does 3 divide h?
False
Let l = 1307 - -1528. Does 105 divide l?
True
Let c(l) = l**3 + 35*l**2 + 26*l + 77. Is 8 a factor of c(-34)?
False
Let h(i) = 3*i**2 - i - 11. Does 12 divide h(8)?
False
Suppose 107 = 2*f + 25. Suppose 0 = 5*d - 3*l + f, 4*d + 4*l + 20 = -0*d. Let i(t) = -t**3 - 8*t**2 - 9*t + 2. Does 8 divide i(d)?
True
Let c = 815 - 604. Is 8 a factor of c?
False
Suppose 173*b + 3639 = 176*b. Is 101 a factor of b?
False
Is (-4)/(4/3 + (-835)/615) a multiple of 26?
False
Suppose f = 10*b - 5*b + 168, b = -5*f + 710. Is f even?
False
Let q(x) = 3*x**3 + 9*x**2 + 24*x + 11. Let w(o) = -13*o**3 - 35*o**2 - 97*o - 44. Let a(l) = -9*q(l) - 2*w(l). Is a(-9) a multiple of 13?
False
Does 30 divide (-449)/(0 - 1) - (46 - 47)?
True
Let p(v) = -v + 11. Let f be p(11). Suppose f = 3*n + 47 + 7. Let h = 42 + n. Is 5 a factor of h?
False
Suppose 17*m = -2*m + 1292. Suppose 4*r + 56 = -88. Let a = m + r. Does 3 divide a?
False
Let v = 13 - 17. Let a(i) = -i**3 + 3*i + 3. Does 11 divide a(v)?
True
Let m(h) = 29*h - 4 - 4*h + 26*h - 5*h. Let p be m(-4). Is (-112)/(-32)*p/(-7) a multiple of 37?
False
Let y = -95 - -90. Does 26 divide 1 + 49 - (-5 - (-8 - y))?
True
Let u = 89 - 53. Let n = u - 54. Let v = -10 - n. Is v a multiple of 4?
True
Let u(w) = w**2 - 9*w - 1. Let q be u(7). Suppose -11*r + 6*r + 3*b = -13, 0 = 5*r + b - 9. Is ((-9)/q)/(r/170) a multiple of 17?
True
Let g = -22 - -16. Does 32 divide (-4)/g + (-6)/((-54)/489)?
False
Suppose 0 = 121*t - 117*t - 4864. Is t a multiple of 79?
False
Let y(z) = -z - 11. Let u be y(-16). Let s(d) = 3 - 11*d - u - 7 + d**3 + 1 + 8*d**2. Is s(-9) a multiple of 5?
True
Let o = 927 - 759. Is o a multiple of 7?
True
Suppose 102 = t - 3*g, -12 + 4 = -2*g. Is 57 a factor of t?
True
Suppose -5*r - 16 = -9*r. Let c(d) = 6*d**2 - 7*d - 3. Is 19 a factor of c(r)?
False
Suppose -4*u = -0*u + 2*l - 162, 4*u - 171 = l. Let m = 30 + u. Is 12 a factor of m?
True
Does 16 divide 208/20*(-6 - -36)?
False
Let n be -1 + 1 + 2 - 2. Suppose -a - q + 104 = -4*q, n = -4*a + 4*q + 408. Suppose 5*s + 6 = a. Is 6 a factor of s?
False
Suppose 0 = -5*s + 3*h + 95, 3*s - 3*h - 38 = s. Let j = s - 14. Suppose -r = -5*d - 23, j*r - 187 = d - 0*d. Is r a multiple of 12?
False
Let f be (-2 - -1) + 61/1. Let u(c) = c - 4. Let m be u(6). Suppose m*j = f - 8. Does 13 divide j?
True
Let c = 7 + -5. Suppose -4*p + 2*z + 236 = 0, 2*p - c*z = p + 65. Suppose -12 = -5*v + v, -v = y - p. Does 27 divide y?
True
Let c(t) = -t**3 + t**2. Let z be c(2). Is 76 + 0/(z/(-1)) a multiple of 19?
True
Is (-33)/(665/112 - 6) a multiple of 44?
True
Let o(t) = 11*t + 2. Suppose 3*x + 2*m = 7*x - 34, -x - 5*m = -3. Let k be x/(-4) - -1 - -6. Does 19 divide o(k)?
True
Let f be (4 - 4)/(3/3 - 0). Does 13 divide f + 1/2 + (-1878)/(-12)?
False
Let v = -959 + 1743. Is 4 a factor of v?
True
Suppose -d + 235 = 2*u, 3*d + 7*u - 6*u = 695. Is 21 a factor of d?
True
Let m(z) = 116*z + 29. Let t(y) = -y - 1. Let h(o) = -m(o) - 58*t(o). Is 29 a factor of h(-5)?
True
Suppose 0*s = -3*r + 4*s, 10 = 4*r - 2*s. Suppose 2*h - 30 = m + 3*m, 0 = r*m. Is h a multiple of 3?
True
Let h(g) = g**3 + g**2 + 6*g. Let p be (-46)/69 + (-17)/(-3). Is h(p) a multiple of 12?
True
Let k be 1 + (-4*3)/(-4). Suppose 2*x - 27 = 109. Suppose -3*y = o + 4*o - x, k*o + 3*y = 52. Is o a multiple of 16?
True
Suppose -4*q = -6*q + 422. Suppose 0 = -4*k + q + 25. Is k a multiple of 8?
False
Suppose 2*n - 1635 = 305. Does 10 divide n?
True
Let d(o) = 0*o**2 + 12 + 315*o - 320*o + o**2. Is d(11) a multiple of 26?
True
Suppose 0 = -3*f + 3, -4*a = -a + 2*f - 1058. Suppose -4*i + a = r, -2*r - 3*r + 107 = i. Is 23 a factor of i?
False
Let g = -401 - -948. Is g a multiple of 11?
False
Suppose 3*h = c + 1902, 4*h - 2528 - 8 = -5*c. Does 23 divide h?
False
Let n(f) = -f**3 - 10*f**2 - 34*f - 185. Does 10 divide n(-11)?
True
Let g be (-2236)/(-16) - 2/(-8). Suppose 2*y = -j + g, -y - j - 8 = -76. Suppose -6 = -3*t + y. Does 13 divide t?
True
Let b = -59 + 84. Suppose -8 = 2*q, -5*g + 7 + 5 = -3*q. Suppose 5*i + 5*x + 6 - 51 = 0, g = -5*i + 5*x + b. Is i even?
False
Let s be (-3)/(-4) - 5092/(-16) - 3. Suppose 0 = -i - w + 89, 4*w + s = -i + 5*i. Is 21 a factor of i?
True
Suppose -5*x + 1013 = -l, 0 = -5*x - 3*l + 5*l + 1011. Does 10 divide x?
False
Let a be 9/(15/(25/5)). Suppose -a*c + c = -62. Suppose -5*i = 3*h - 130, 5*i + c = -4*h + 201. Does 10 divide h?
True
Let r(y) = y**2 - 6*y + 5. Suppose 0*i + i - 5*a = 3, 2*i = 3*a + 20. Let j = -4 + i. Is 16 a factor of r(j)?
True
Suppose -4 = l - a + 2, 3*l = 2*a - 17. Let d(c) = c**3 + 6*c**2 + 6*c + 7. Let f be d(l). Suppose -4*z - f*r + 196 = 2*r, z = 2*r + 37. Is 17 a factor of z?
False
Let n = -4 - -9. Let d(l) = l**3 - 4*l**2 - 4*l + 5. Does 5 divide d(n)?
True
Let s(h) = h**3 - 8*h**2 + 8*h - 11. Suppose -5*a + 2 = 27, 0 = -4*g + 3*a - 205. Let b be (-430)/g - (-2)/11. Does 14 divide s(b)?
False
Let t = 4797 - 2778. Is 8 a factor of t?
False
Let m = -15 + 9. Let b = m + 28. Suppose -4*l - 22 = -r, -r + b = 6*l - 2*l. Does 14 divide r?
False
Let k(w) = -w**2 + 9*w - 5. Let q be k(8). Let u be 2/(-1) - (q - 5). Suppose i = -u*i + 25. Is i a multiple of 25?
True
Let n be ((-1)/(-1))/(1/3). Suppose 0 = n*t - 4*t, -2*y - 4*t + 362 = 0. Is 33 a factor of y?
False
Suppose -n + 244 = 5*w - 84, 198 = 3*w + n. Does 3 divide w?
False
Let t = 404 - 140. Is 66 a factor of t?
True
Suppose -4 + 40 = 2*c. Suppose -14*w = -c*w + 1344. Is 12 a factor of w?
True
Let h(b) = -b**2 - b + 14. Let r be h(0). Does 18 divide 1508/r + (-2)/(-7)?
True
Let r(v) = -27*v + 137. Does 7 divide r(-18)?
True
Let l = 5 - 5. Let n(r) = -r**3 - r**2 + r + 9. Let t be n(l). Let x = t - -1. Does 5 divide x?
True
Suppose s = 5*v + 89 - 17, -3*v + 4*s - 50 = 0. Let c = 35 + v. Is 2 a factor of -4*1*c/(-12)?
False
Is 61 a factor of 11/(55/15) + 160/1?
False
Suppose 0 = 3329*a - 3323*a - 702. Is a a multiple of 17?
False
Let c(j) = 3*j**2 + 31*j + 4. Does 31 divide c(3)?
True
Suppose -7*o + 12*o = 5. Suppose -j + o = -2. Suppose -3*q = -0*z + j*z - 57, -z - 125 = -5*q. Is 10 a factor of q?
False
Let b(s) = -s**2 - 15*s + 19. Let q be b(-16). Suppose -q*a + 4*x = -432, 5*a + 3*x - 720 = 5*x. Is a a multiple of 9?
True
Suppose 5*s - 1362 = 173. Is s a multiple of 76?
False
Let t be 44/(-6)*-6*(2 + -1). Suppose -318 = -3*n - u - t, 3*u = -5*n + 450. Is 26 a factor of n?
False
Suppose 0 = -2*d - 3 + 35. Suppose 4*g + 2*h + 60 = 5*h, g + d = h. Does 3 divide -3*1*32/g?
False
Let v be 14522/18 + 0 - 4/(-18). Suppose -6*g + v = 267. Does 15 divide g?
True
Let s be ((-108)/16)/(3/(-24)). Let l be (1 + s)*12/15. Let c = -20 + l. Is 12 a factor of c?
True
Suppose 0 = 5*c - 0*c - o - 45, -4*c + 2*o + 36 = 0. Suppose 0*l - 4*l + 92 = 0. Let f = l - c. Is 3 a factor of f?
False
Suppose -2*v - 4*m + 20 = 0, -5*v + 5*m - m = -8. Let j be (v - 16/4)/3. Let p(z) = -z**2 + 2*z + 58. Does 11 divide p(j)?
False
Let j(p) = -p**3 + 5*p**2 + 9*p - 8. Let h be j(7). Let k = 10 - h. Does 12 divide k?
False
Is 1 + (-3546)/(-8) - (-1)/(-4) a multiple of 74?
True
Suppose -1438 = 15*j - 16*j + 5*r, j - 1423 = 2*r. Does 106 divide j?
False
Suppose -5*u + 12 = -5*v - 13, -v = -2*u + 9. Suppose 4*n = g + 1 - 9, -u*n - 20 = 2*g. Is 9 a factor of 22 - (2 + g)*-1?
False
Let g(i) = -i**3 + 5*i**2 + 6*i - 3. Let b be g(6). Does 15 divide (1/(-3))/(-1*b/(-666))?
False
Suppose 0 = -2*g + 5*u + 17, -4*g + 6*g + 3 = u. Is (19 + 0)/(g/(-20