- 94 + 769 = 0. Does 15 divide x?
True
Does 83 divide ((-6)/(60/46) - -4)*-1245?
True
Let a = 188 - 73. Let j be a/25 + (-4)/(-10). Suppose j*c - 52 = -3*q + c, 4*c + 8 = 0. Is 6 a factor of q?
False
Suppose 2*y = -r - 34, -5*r = -y - 4*y - 55. Let x be (-4)/(-6) + 1284/18. Let l = y + x. Is l a multiple of 9?
False
Is 1 - (-91 + -11 - 1) a multiple of 6?
False
Let h be 5*(-2 - (-16258)/5). Suppose -5*n + 9*n + h = 0. Does 21 divide n/(-54) - (-2)/(-9)?
False
Suppose 6*p - 2*i = 3*p + 28, -5*i + 20 = 0. Let v(n) = 12*n + 18. Let c(w) = -3*w + 2. Let k(b) = -5*c(b) - v(b). Is k(p) a multiple of 4?
True
Is 168 a factor of 16/(-40) + (-114256)/(-40)?
True
Suppose 18*d = 21*d. Does 36 divide 4*3*(d + 6)?
True
Let y be (3 + (-50)/15)*-27. Suppose j - 4 = 9. Suppose y*f = j*f - 220. Does 11 divide f?
True
Let b = 130 + -147. Let f = -9 - b. Is 4 a factor of f?
True
Suppose 5*v = -5*r - 70, 5*v + r = -0*r - 86. Let h = -14 - v. Is -4*(-1)/h - -26 a multiple of 9?
True
Suppose -2*o + 6 = -16. Let d(a) = 4*a + 23. Does 18 divide d(o)?
False
Suppose 0 = i - 2*i - 819. Is 13 a factor of (4/6)/((-14)/i)?
True
Let f(h) = h + 76. Is f(9) a multiple of 8?
False
Let b = -549 + 164. Let w = -224 - b. Is 45 a factor of w?
False
Let d = 727 - 272. Is 16 a factor of d?
False
Let p(h) = 6*h - 28. Let q be p(-6). Is 1*32 - q/(-16) a multiple of 7?
True
Does 34 divide ((-1585)/4)/(108/16 + -7)?
False
Let j be (1 - -2 - 3)/2. Let d = 2 - 0. Suppose -t = -3*a + d*a - 63, -4*t + 2*a + 258 = j. Does 22 divide t?
True
Suppose -b - 17 + 45 = 0. Suppose l - j = 2*j - 24, l + b = 2*j. Does 5 divide l/21*(1 - 8)?
False
Let q(w) = 4*w - 1. Let v be q(2). Suppose -42 = -v*o + 406. Is 4 a factor of o?
True
Let x = 40 - 39. Suppose v = l - 0 - 2, -5*v - 5 = 0. Is -2 + l/(x/85) a multiple of 20?
False
Let s = 117 + -114. Suppose 3*p - 244 = 2*h, -s*p + 5*h = -142 - 90. Does 14 divide p?
True
Let m be ((-22)/6)/(4/48). Let q = -208 + 191. Let g = q - m. Does 9 divide g?
True
Let t(a) = -a**3 - 7*a**2 - 4*a - 3. Let y be t(-6). Let z = 14 + y. Let s(v) = 44*v**2 - v - 1. Is 22 a factor of s(z)?
True
Let a(w) = -w**2 + 11*w + 12. Let i be a(7). Let k = 57 - i. Is 17 a factor of k?
True
Let o(i) = -i**2 - 5*i + 17. Let a be o(-7). Suppose 4 = -a*y + 13. Suppose t = y*t - 50. Is 18 a factor of t?
False
Suppose 321 = 3*s - 477. Is s a multiple of 38?
True
Suppose 286 = -3*o + 862. Is 4 a factor of o?
True
Is 9 a factor of 1080*((-78)/30 + 3)?
True
Let c = -384 - -1021. Does 49 divide c?
True
Does 6 divide (-2)/(-9) + (36680/(-36))/(-5)?
True
Suppose -2*d - 5*h + 540 + 1934 = 0, -4*h = -2*d + 2492. Is 23 a factor of d?
True
Let u(c) = -c**3 + 27*c**2 + 4*c + 154. Is 27 a factor of u(22)?
False
Let a be 9/(-3) - (-30)/5. Suppose -a*x = x. Suppose -205 = -5*j - x*j. Is 10 a factor of j?
False
Let x = -3 + 6. Let r(v) = 45*v + 3. Is r(x) a multiple of 46?
True
Let g be 102/36 + -3 - 10/12. Does 8 divide ((-6)/(-5))/(6/(-560)*g)?
True
Let w = 1470 + -334. Is w a multiple of 36?
False
Let p = -161 + 308. Is 21 a factor of p?
True
Let z = 181 + -11. Suppose -7*s + z = -124. Is 14 a factor of s?
True
Suppose 119*a = 132*a - 6630. Is a a multiple of 17?
True
Suppose -t = 3*u - 7, 2*t + 4*u - 1 = 9. Suppose t = 3*p - 5. Is 106/p + -6 + 7 a multiple of 27?
True
Let z(b) = 19*b - 2. Let s(v) = 189*v - 21. Let a(j) = -2*s(j) + 21*z(j). Let o be a(2). Let u = o - 18. Does 8 divide u?
True
Suppose -13 + 253 = j. Is 80 a factor of j?
True
Let i(c) = -c**2 + 12*c - 27. Let y be i(15). Is 7 a factor of (-16)/y - 698/(-18)?
False
Let q = 2 - 1. Let k(d) = -8*d - 75. Let l be k(-9). Does 17 divide (-520)/(-15) - q/l?
False
Let t be 6/(-21) - 267/21. Let c = 21 + t. Does 11 divide 225/6 - (-4)/c?
False
Let j(v) = v**3 + v**2 + 2*v + 3. Let b be j(3). Suppose b + 25 = -5*u. Let g = 42 + u. Does 14 divide g?
True
Let g be (-1)/(3*1/825). Let m = -161 - g. Is 57 a factor of m?
True
Let l = 35 - 20. Let a = 54 - l. Is a a multiple of 26?
False
Let j = -7 - -5. Let r = 14 - j. Suppose 3*k + 4 = -k, 5*k = -i + r. Is i a multiple of 18?
False
Does 14 divide (-288 + -16 - 14)*3/(-2)?
False
Let j = -63 + 88. Suppose 23*t - j*t = -50. Is 4 a factor of t?
False
Suppose -4*i + 3*i + 2*u = 3, -2*i + 3*u - 2 = 0. Let k = i - 4. Suppose -3 = -h + k. Is h a multiple of 2?
True
Let u = 99 - 247. Let r = u + 232. Is 21 a factor of r?
True
Let l(o) = o**3 - 12*o**2 + 14*o - 16. Suppose 2*v = 9 - 1. Suppose -2*x = -v*x + 22. Is l(x) a multiple of 17?
True
Let d(w) = -w**3 - w**2 - 2*w - 4. Let b be d(-3). Let l = b - 2. Is 5 a factor of l?
False
Let w be 1/(((-9)/(-14))/9). Is (w/2)/((-6)/(-102) - 0) a multiple of 14?
False
Let h(b) = b**3 + 10*b**2 + 1560. Is h(0) a multiple of 26?
True
Let z = -74 + 43. Suppose -53 = -3*o + 115. Let n = o + z. Is 10 a factor of n?
False
Suppose -4*p + 4 = 20, 3*o - 4*p = 16. Is 4/6 + (376/3 - o) a multiple of 29?
False
Let l(z) = 40*z**2 + z - 1. Suppose 23*n = 20*n + 9. Suppose b = 4*m + 1, -2*b + 7 = n*m - 6. Does 15 divide l(m)?
False
Let i be ((-88)/(-6))/((-2)/(-9)). Let f = i + -56. Is f a multiple of 10?
True
Let h = 56 - 49. Is 7 a factor of h?
True
Is 73 a factor of 842564/962 + 2/13?
True
Let q = -15 - -15. Suppose 2*h = 1 + 89. Suppose -g = -h - q. Is g a multiple of 15?
True
Let n be 3*((-4)/(-3) + -1). Let r(j) = 21*j**2 + 4*j - 2. Is 4 a factor of r(n)?
False
Let g = 3249 - 594. Is 79 a factor of g?
False
Let j = 50 - -445. Is 33 a factor of j?
True
Let y(j) = 24*j + 6. Let s be y(-3). Let n = s + 179. Does 26 divide n?
False
Let p = -6 + 33. Suppose p*r - 23*r = 16. Suppose r*i + 0*x - 2*x = 32, -i - 5*x = 14. Is i a multiple of 5?
False
Suppose 4*b = -3*b - 931. Let d = b + 223. Is d a multiple of 45?
True
Let y be (105/(-12))/7*-4. Suppose a + 22 = y*v, v + 3*a = a. Does 5 divide ((-19)/(-5))/(v/20)?
False
Let k = 4049 + -2286. Is k a multiple of 52?
False
Let z(g) = -g**3 - 2*g**2 - 3*g - 2. Let q be z(-2). Suppose 0*c - q*c + 252 = -4*w, -w = -2*c + 128. Does 26 divide c?
False
Let m(h) = h**2 + 3*h + 4. Let l be m(-3). Suppose l*b - x - 514 = 0, -x + 4*x + 518 = 4*b. Does 32 divide b?
True
Suppose 13*s = 10*s + 6. Let m(w) = -w**2 + 4*w + 1. Let g be m(s). Suppose g*b - 20 = -0*b. Does 4 divide b?
True
Let m(i) = -6*i + 9*i + 2 + 2*i. Let h be m(1). Is 98/(-21)*(-30)/h a multiple of 4?
True
Let u(a) = -a + 14. Let r(v) = -v**2 - 7*v + 9. Let h be r(-7). Let s be u(h). Suppose -s*l = -l - 192. Is 12 a factor of l?
True
Suppose 60 + 60 = -2*v. Does 2 divide 2/(-1) + v/(-4)?
False
Let i = 344 - 268. Let r(l) = -l**3 - 8*l**2 - 6*l - 5. Let m be r(-6). Let f = m + i. Does 11 divide f?
False
Let v(g) = g**2 - 6*g - 32. Suppose 5*p + 40 = -3*h, -25 = 3*p + 2*p. Does 23 divide v(h)?
True
Suppose l + 3*f - 111 = 75, 3*l - 528 = -3*f. Is l a multiple of 33?
False
Suppose 0 = 3*m + 2*h - 761, -4*h + 4 = -0*h. Suppose -m = -13*j + 163. Is 8 a factor of j?
True
Let x(s) = -3*s - 101*s**2 + 1 + 53*s**2 + 67*s**2. Is x(2) a multiple of 9?
False
Let s(n) be the second derivative of -19*n**3/6 + 3*n**2/2 - n. Let x(d) = -20*d + 4. Let b(y) = 5*s(y) - 4*x(y). Is b(-7) a multiple of 26?
True
Suppose -9 = -4*j - 1. Let f(x) = 10*x**2 + x + 3. Is 15 a factor of f(j)?
True
Suppose 11*h - 10*h - 897 = -4*c, 1119 = 5*c - h. Does 28 divide c?
True
Let b = 34 + -42. Is 13 a factor of (-806)/(-10) + b/(-20)?
False
Let v(x) = -3*x**2 + 3*x + 28. Let g(z) = -2*z**2 + 2*z + 19. Let c(m) = -8*g(m) + 5*v(m). Is 20 a factor of c(-11)?
True
Let t(d) = 107*d**2 + 5. Is t(-3) a multiple of 22?
True
Let f = 737 + -508. Let a = -144 + f. Does 31 divide a?
False
Let v = -84 - -174. Suppose -4*i - 5*y + v + 47 = 0, -4*i = -2*y - 102. Is 4 a factor of i?
True
Let c(f) = 2*f**3 + 3*f**2 + 3*f - 4. Let l(d) = d**3 + 2*d**2 + 4*d - 5. Let o(g) = -2*c(g) + 3*l(g). Does 11 divide o(-5)?
True
Let h(k) = 7*k**2 - 5*k - 6. Let o = 51 + -54. Does 18 divide h(o)?
True
Suppose 3*i + z = 293, i - 20*z - 101 = -21*z. Does 7 divide i?
False
Suppose -d + 17 = -0*d. Let g = -17 + d. Suppose g = 2*x - 0*x - 66. Is x a multiple of 6?
False
Let l(q) = 0 - 2*q - 12 + 11*q**2 - 21*q**2 + 8*q**2. Let i be l(5). Let u = -46 - i. Does 7 divide u?
False
Suppose -25*p + 2152 = -6723. Does 5 divide p?
True
Let y = 925 - 540. Is y a