Let q = -149 + h. Does 40 divide q?
False
Let q(v) = 480*v**2 - 8*v - 5. Does 7 divide q(-2)?
False
Suppose -1059 + 1055 = -m. Suppose 25*n - u - 123 = 24*n, n - m*u = 132. Is n a multiple of 8?
True
Suppose -279174 = -78*u - 60*u. Does 17 divide u?
True
Let a(x) = 235*x**3 + 12*x - 10. Is 28 a factor of a(1)?
False
Let m = 451 - 449. Suppose 3*h - 184 = 176. Suppose h = 4*k + m*k. Is 4 a factor of k?
True
Suppose -106 = -10*c - 46. Suppose -4*u + 951 = -v, 5*u - 1185 = -c*v + 11*v. Is u a multiple of 17?
True
Let x(u) = -3*u**2 + 4*u - 18. Let y be x(7). Let m = y - -537. Suppose -10*o + m = -5*o. Does 13 divide o?
False
Let t(c) = -54*c**2 + 15*c + 69. Let h be t(-6). Let d = -1048 - h. Does 29 divide d?
False
Let s = 233 - -84. Suppose 315*k + 202 = s*k. Is 14 a factor of k?
False
Let x(y) = 32*y**2 - 2. Let f = 73 + -72. Does 5 divide x(f)?
True
Let j = -2062 - -2562. Does 25 divide j?
True
Let b(g) = g**2 - g + 3. Let f be b(0). Let x be (11/(-2) + f)*-2. Suppose 26 = x*d - 4*d. Does 19 divide d?
False
Suppose 0 = -2*d - 2*z + 48, 1 + 14 = d - 2*z. Let p(c) = -c**2 + 27*c - 17. Let w be p(d). Suppose 3*n = -2*j + w, -3*n - 2*n = -j - 173. Is 12 a factor of n?
False
Let i be (-1)/(-2)*1*2*41. Let c = i + -37. Is 5 a factor of -4 + (-77 - 1)/(2 - c)?
True
Is 49 a factor of 4 + 5 - (-22021 - -42)?
False
Suppose 3129 = 10*t + 509. Let m = 4 + -2. Suppose m*s - t = -5*x, 0 = 2*x - s + 58 - 170. Does 27 divide x?
True
Let n = 1559 + -1469. Is 10 a factor of n?
True
Let r = 105 - 49. Let b be (88/2)/(-11) - -1*4. Suppose b = 6*f + 8*f - r. Is f even?
True
Let m(f) = -2*f**2 + 34*f + 7. Let u be m(17). Suppose 2*a - u*a - 47 = -2*t, t - 3*a - 21 = 0. Suppose t*b = 33*b + 162. Does 9 divide b?
True
Let w(b) = -2*b**3 + 15*b**2 + 51*b - 4. Let r be (-15)/(-15) + -2 + 0. Let o(t) = -t**3 - t**2 + t + 1. Let m(d) = r*w(d) + 3*o(d). Does 4 divide m(-15)?
True
Let z = -595 - -307. Let v = 343 + z. Is v a multiple of 5?
True
Let n = -3124 + 5524. Let s = 3606 - n. Is s a multiple of 67?
True
Let j = 138 - 153. Does 24 divide 7/(140/144)*(-400)/j?
True
Suppose -4*k + 3*m = -5578, 302*k = 300*k + 3*m + 2798. Is 8 a factor of k?
False
Suppose 5*z = -p - 4*p + 12460, 0 = -z + 2. Is p a multiple of 83?
True
Let a = -6699 - -9845. Does 26 divide a?
True
Does 6 divide 701/(((-12)/(-6))/4)?
False
Suppose 948 = 2*w + 3*y, 5*w - 1189 - 1191 = -5*y. Does 10 divide w?
True
Let t(p) = -p**3 - 6*p**2 + 17*p + 28. Let m be t(-8). Let u(g) = -g**2 + 21*g - 9. Is u(m) a multiple of 11?
True
Let b be 48/96*(-32)/(-1). Is 13 a factor of b/(-12) + 181/3?
False
Suppose -5*o - 182 - 88 = 0. Let i = o + 50. Does 15 divide (i + 104/(-4))*-4?
True
Let m = 42030 - 22338. Is m a multiple of 13?
False
Let a(o) = 10*o**2 + 8*o**2 + 7*o + 2 + 3 + 4. Let h(v) = 19*v**2 + 8*v + 9. Let d(m) = 5*a(m) - 4*h(m). Is 7 a factor of d(-3)?
True
Let w(q) = -535*q - 3162. Is w(-11) a multiple of 21?
False
Suppose 34*t + 12*t = 10120. Let y be (-47)/(-7) + 4/14. Suppose t = y*s + 4*s. Is 13 a factor of s?
False
Suppose 0 = -3*s - 2 + 5. Let w(g) = -3*g - 5 + 7 - s. Is w(-5) a multiple of 2?
True
Let o(y) = y**3 - 22*y**2 + 22*y + 56. Let m be o(21). Is (-168)/m - -2 - (-7092)/44 a multiple of 23?
True
Let s be (-4)/(-2) + (4 - 16/4). Suppose 0*d - o - 44 = -d, -5*d = -s*o - 217. Suppose -f + 30 + d = l, -5*l + f + 383 = 0. Is 7 a factor of l?
False
Let a(f) = 2*f**2 - 7*f + 14. Let l = -8 + 40. Suppose 3*y + 19 = 2*h, -4*y = -3*h - 4 + l. Is 27 a factor of a(h)?
False
Let u = -4518 + 4891. Does 36 divide u?
False
Let c = -590 - -596. Is 48 a factor of (c*3)/((-285)/96 + 3)?
True
Suppose 2*r + 42895 = 3*c, 112*c = 107*c - 3*r + 71536. Is 34 a factor of c?
False
Suppose 9 = 3*j + 27. Is 2 + j - 2100/(-12) a multiple of 9?
True
Let x = -131 - -577. Let b = x + -68. Does 51 divide b?
False
Let z be (-25 - 11)*4/(24/(-825)). Suppose -13*u = 2*u - z. Does 36 divide u?
False
Let h be (-318)/(-16) + (-32)/(-256). Suppose -h*g + 13*g = -1589. Does 13 divide g?
False
Suppose -32 = q - 28, 36128 = 3*k + 4*q. Does 48 divide k?
True
Let z(f) = -206*f**3 + 7*f**2 + 25*f + 59. Is z(-3) a multiple of 16?
False
Let o = -24 - -29. Suppose o*r = -0*r + 20. Is 15 a factor of (12/(-10))/(r/(-190))?
False
Suppose -v - 163 - 210 = 5*j, -5*j - 3*v = 379. Is (j/(-5))/(2/5) a multiple of 11?
False
Let m(s) = 15*s**3 - 26*s**2 - 50*s + 144. Does 29 divide m(14)?
False
Let o(p) = -14*p - 18. Let k(u) = 13*u + 18. Let v(c) = -7*k(c) - 6*o(c). Let n be v(-8). Let x = -28 + n. Does 10 divide x?
True
Let a be (-9*6/15)/((-12)/2640). Suppose -h + a = 17*h. Is 22 a factor of h?
True
Let s = 638 + -634. Suppose -3*v + s*a + 1144 = -v, -4*v + 2261 = a. Is 10 a factor of v?
False
Let f(n) = 7915*n - 667. Does 257 divide f(2)?
True
Suppose 4*r = -2*t + 304, 2*r + 3*t + 144 = 4*r. Let y = 1103 - 1173. Let u = r + y. Is u a multiple of 5?
True
Let k be (-3 + (-36)/(-8))*(-1006)/(-3). Suppose 153 = 4*w - k. Suppose -20*a + w = -16*a. Is a a multiple of 41?
True
Is 776 - 6 - 80/(-8) a multiple of 26?
True
Let f be (-9285)/(-65) - (-2)/13. Suppose -139*y - 64 = -f*y. Is 8 a factor of y?
True
Let i(y) = 6*y - 73. Let o be i(13). Suppose -304 = -2*x - 2*f, -4*x - o*f + 337 = -273. Is x a multiple of 30?
True
Suppose 11*u - 14585 = 7*u + 5*p, 0 = -2*u - 5*p + 7255. Is u a multiple of 52?
True
Suppose 0 = l - 2*u - 2, -3*u + u + 2 = -3*l. Does 6 divide (-698)/(-14) - (-13)/(-182)*l?
False
Suppose -816*r + 184100 = -811*r. Is r a multiple of 23?
False
Suppose 58*c - 122078 - 90202 = 0. Does 30 divide c?
True
Suppose 3*i = 6*i + 69. Let x = i + 7. Let c(q) = q + 38. Is 2 a factor of c(x)?
True
Does 8 divide 90/9*(-27632)/(-110)?
True
Let n = 47 - 37. Suppose -n*i - 9 = -39. Suppose 3*u = -4*r + 24, i = u + 2*r + r. Does 6 divide u?
True
Let c = -39250 + 67713. Does 14 divide c?
False
Suppose 0*k + 5*p = 2*k - 24, 3*k - 59 = -4*p. Suppose -k*s - 3751 = -12744. Is 23 a factor of s?
True
Let x(j) = 60*j**3 - 20*j**2 + 33*j - 40. Does 193 divide x(8)?
False
Let k = 2900 + -2092. Does 40 divide k?
False
Suppose 9*a = 46 - 19. Suppose -8*t = -a*t - 2340. Does 52 divide t?
True
Let p be ((-6)/(-4))/((-9)/(-24)). Let f be p - -2 - (1 - 2 - -4). Suppose f*l + 6 = 351. Is 23 a factor of l?
True
Let a = 6934 + 1273. Is a a multiple of 136?
False
Let l = -56 + 84. Is (13/26)/(1/l) a multiple of 4?
False
Suppose 0 = 65*h - 19*h + 11546. Let q = h - -808. Does 56 divide q?
False
Suppose 5*p + 4195 = 3*b - 0*b, -3*b = 2*p - 4223. Does 15 divide b?
False
Let f(p) = -p**3 + 11*p**2 + 12*p - 71. Let b be f(13). Let i = -241 - b. Is i a multiple of 2?
True
Let s be 133676/1380 - ((-32)/15 + 2). Suppose -102*o + s*o = -1550. Is o a multiple of 31?
True
Suppose u = 2*f + 37, -6*u = -4*u + 4*f - 90. Suppose u*q - 617 = 777. Is q a multiple of 4?
False
Let m be (3 - 5695/(-15))*-3. Is 2 a factor of 15/75 - m/10?
False
Let g(o) = 3*o**3 - o**2 - o - 78. Let f be g(0). Let v = f + 670. Does 37 divide v?
True
Let p(a) = -69*a**2 - 21*a + 9. Let s(t) = -t**2 + 19*t + 31. Let h be s(21). Let k(c) = -14*c**2 - 4*c + 2. Let o(i) = h*k(i) + 2*p(i). Does 13 divide o(-2)?
False
Suppose -5*b + 4*b - w = -814, 4*b = 3*w + 3256. Does 11 divide b?
True
Let m = 30 + -24. Let b(g) = 8*g + 13 + m*g - 4*g - 10*g**2 + 3*g**3 - 4*g**3. Is 12 a factor of b(-11)?
True
Let l(q) = 5*q**2 + 4*q - 669. Is 70 a factor of l(25)?
False
Suppose -19*n = -15*n - 60. Is 1710/22 + n/55 a multiple of 3?
True
Suppose -5 + 125 = 8*t. Let g be t/(4 + -1) + (-1)/1. Is 23 a factor of 19 - (g + (-7 - 1))?
True
Suppose a - 6 = -a. Suppose h = -x + 41, 2 + 4 = -a*h. Does 12 divide x?
False
Let v(r) = 111*r + 188. Let k(z) = -2*z - 2. Let m(g) = -5*k(g) - v(g). Is m(-8) a multiple of 10?
True
Let l = -23881 - -33804. Does 45 divide l?
False
Suppose y + 81 = 3*m + 4*y, 3*y = -4*m + 108. Suppose 41*b = m*b + 7644. Does 33 divide b?
False
Let c(o) = -o**2 - 1. Let r(z) = 4*z**2 - 9*z + 1. Let x(f) = -5*c(f) - r(f). Let q be x(-7). Is 12 a factor of (-2)/5 - 394/q?
False
Let b(i) = 2*i - 1. Let c be b(-6). Suppose 5*m + 24 = 184. Let t = m - c. Is 13 a factor of t?
False
Suppose -5*n + 1542 = -3*n - j, 6*n = -3*j + 4614. Let i = -510 + n. Does 13 divide i?
True
Let c(o) be the third derivative of o**6/120 + 