x - 42. Let h = 126 + w. Is 19 a factor of h?
False
Let u = -3525 + 5685. Is 8 a factor of u?
True
Suppose 3*t - 238 = 2*j, -44 - 112 = -2*t + 4*j. Suppose -5*p - 3*x + 2200 = 0, -5*x = -p + 360 + t. Is p a multiple of 44?
True
Suppose 976*l + 983*l = 1970*l - 31603. Is 4 a factor of l?
False
Let m be (-1)/(-1)*380/76. Suppose 0*s - 2525 = -m*r + 5*s, -5*s - 501 = -r. Does 11 divide r?
True
Suppose 142*g - 593273 = 54*g + 152615. Is g a multiple of 52?
True
Let n(w) = -w**2 + 6*w + 16. Let j(f) = 2*f + 30. Let o be j(-15). Let a be (-4)/(-4) + (0 - o) + 4. Is 17 a factor of n(a)?
False
Suppose 13 = 7*q - 22. Suppose -5*z + 2332 + 1943 = 2*y, q*z - 4305 = 4*y. Does 25 divide z?
False
Let o(i) = i**3 + 2*i**2 - 15*i + 8. Let c be o(3). Suppose 6315 = c*w - 821. Does 63 divide w?
False
Let t be 3/(18/4) + (-25948)/(-12). Suppose -7*d = -t - 63. Suppose 4*n - 12 = -5*r + 522, 3*r = -3*n + d. Is 22 a factor of r?
True
Does 18 divide 1/6 - ((-262)/12 + 21) - -16558?
False
Let s = -12557 + 15716. Is s a multiple of 13?
True
Is 3 a factor of (-1686)/(-4)*392/(-294)*(-3)/6?
False
Suppose 2*z + 4*l = 66504, 7*z - 2*z + 4*l = 166230. Is z a multiple of 61?
False
Let j(h) = 13*h**2 + 17*h + 79. Is 3 a factor of j(-9)?
False
Let r(f) = -f**3 - 6*f**2 - 6*f + 8. Let j be r(-4). Suppose -4*i + 480 = -5*b, j = -22*i + 18*i - 3*b + 480. Is i a multiple of 3?
True
Let r be (-6)/(-9) - 0 - 860/(-6). Is 44/((-6)/r*-6) a multiple of 22?
True
Suppose -116*o = -113*o - 45. Is 3 a factor of (-10)/(-4) + o/30?
True
Let r = 54 - 57. Let o be r/2 + -3*142/(-4). Let h = -77 + o. Does 14 divide h?
True
Let t(v) = 2*v - 13. Let f be t(-6). Let p = 37 + f. Suppose p = 2*d - 50. Is d a multiple of 5?
False
Let r(y) = 4*y + 4*y + 26 - 185*y**2 + 184*y**2. Does 3 divide r(7)?
True
Let x(r) be the first derivative of -22 - 26*r - 9/2*r**2. Does 8 divide x(-18)?
True
Suppose 2*g - 3*r = -0*g - 13, 5*r = 3*g + 17. Let q(d) = d**3 + 14*d**2 + 8*d + 20. Let n be q(g). Let y = -62 - n. Is 28 a factor of y?
False
Suppose -2*c + f = -116, 4*c + 4*f - 242 = f. Does 15 divide ((-9 + c)/((-2)/(-24)))/1?
True
Let q be -1*(-12)/8*(6 - 4). Suppose f - q*s - 82 = s, 3*s + 81 = f. Does 5 divide f?
False
Suppose 2*a - 7 = -1. Suppose 0 = a*u + 2*o + 8, u - 2*o + 20 = -3*u. Is 7 a factor of ((-2)/u + 0)*(1 - -13)?
True
Suppose -189*g + 64*g - 44*g = -575783. Does 75 divide g?
False
Suppose 19*t + 24 = 15*t, d = -2*t + 216. Is d a multiple of 6?
True
Suppose 300156 + 207824 = 20*h. Does 204 divide h?
False
Let q(a) = 4*a**2 + 8*a + 11. Let y be q(-7). Let r = -145 + y. Does 9 divide 4/40*-5*r*-16?
False
Let j(d) = -4*d**2 + d - 1. Let l(h) = -38*h**2 - 11*h + 39. Let y(v) = -4*j(v) - l(v). Is 90 a factor of y(5)?
True
Suppose -28*j = -74*j - 920. Is j/25 + (-66190)/(-50) a multiple of 62?
False
Suppose -320*g + 2553618 = -2522222. Is g a multiple of 230?
False
Suppose 11*o - 564 - 8 = 0. Let n = o + -37. Does 2 divide n?
False
Suppose 2*x - 2999 = 3*c - 1117, 3*c + 1885 = -x. Let m = 958 + c. Does 42 divide m?
False
Let j(q) = -7330*q - 10786. Is j(-7) a multiple of 33?
True
Suppose -6 = -3*r, 6936 + 3316 = 5*n + r. Is 2 a factor of n?
True
Suppose 17*g = 22*g - 5. Let q be 2*21/6*g/1. Let u = 12 + q. Is u a multiple of 16?
False
Let f = -157 + 159. Is 67/4 + f - (-12)/(-16) a multiple of 11?
False
Let x(f) = f**3 + 8*f**2 + 7*f - 5. Let y be x(-4). Suppose -53 = -2*q + y. Does 14 divide (q - 4) + 3 - -3?
False
Let x be 12*(-3 + 0 + 10). Suppose -5*h + 5*v + 1370 = 0, 0 = 5*h + 4*v - x - 1250. Is h a multiple of 27?
True
Suppose 938*r - 946*r + 76800 = 0. Is 24 a factor of r?
True
Let h(o) = 3*o - 72. Let j be h(22). Is j/8 - 2892/(-16) a multiple of 30?
True
Let x(w) = -w**3 - 5*w**2 + 5*w + 7. Let f be x(-7). Let p = -82 + f. Let s(r) = r**3 + 12*r**2 - 15*r - 10. Is 37 a factor of s(p)?
False
Let p = 3 - -2. Let x = -17 - -78. Suppose p*d - 16 = -z, z + d - 5*d = x. Does 3 divide z?
False
Suppose 4*g - 3*b - 165349 = 0, 99*b + 82650 = 2*g + 101*b. Is 33 a factor of g?
False
Suppose -5*b = -k + 2*k - 31, 4*k - 3*b - 9 = 0. Let a be 21/49*(1 + k). Suppose -a*m + 91 = u, 0*u - m = -u + 103. Does 8 divide u?
False
Suppose -634 = 10*z - 8154. Is 16 a factor of z?
True
Let y(i) = -2*i**3 - 32*i**2 + 30*i - 293. Let o(c) = c**3 + 17*c**2 - 15*c + 146. Let z(j) = -5*o(j) - 2*y(j). Does 69 divide z(-23)?
False
Does 23 divide (910 + -923)/(4/(-10) - (-781)/1955)?
True
Let a be 1 - 35/((-30)/6). Suppose -7*p + 41 = -a. Is p a multiple of 7?
True
Let t(n) = -23*n**3 - 3*n - 1. Let h be t(-2). Suppose -10*p - 8247 = -8307. Suppose -567 = -p*g + h. Is g a multiple of 18?
True
Is (-44*14/448*12)/((-2)/920) a multiple of 21?
False
Suppose -14*d - 102 + 312 = 0. Suppose 118 = 3*f + 5*q, -2*f - 5*q = -57 - d. Does 23 divide f?
True
Let w be ((-13)/(-3) - 2)*(3 + 0). Let f(x) = -6 - 5*x - w + 6*x + 12*x. Does 13 divide f(6)?
True
Let i be -1 + 215 + 0 + 0. Let d be (3/2)/((-14)/105 + 2/40). Let u = i + d. Is u a multiple of 23?
False
Let h(g) = g**3 + 49*g**2 - 391*g + 30. Is h(10) a multiple of 15?
False
Let b be (-6 - (-225)/36)*(-2191 - -3). Let x = b + 1033. Does 27 divide x?
True
Suppose -10*g + 23 + 27 = 0. Suppose 4*d - g*m = -m + 736, -d - m + 188 = 0. Is d a multiple of 35?
False
Let x(z) = -14*z**3 + z**2 + 4*z - 4. Let m be x(-2). Let b = m + 156. Does 26 divide b?
True
Suppose -30*z + 19211 = -4*z + 2389. Is 2 a factor of z?
False
Let w be 2/20 + (-627)/(-330). Suppose w*n + 1249 = 3*d, -5*d - 387 + 2490 = 2*n. Does 10 divide d?
False
Let d(h) = -323*h + 13454. Does 46 divide d(0)?
False
Let l(j) = -j**2 - 6*j - 3. Let v be l(-4). Suppose -z - v = 40. Let t = z - -61. Is 4 a factor of t?
True
Let h(z) = 5*z + 31. Let u be h(-23). Let x = u - -198. Suppose 29*y + x = 35*y. Is y a multiple of 8?
False
Suppose -3*t + 53 - 83 = 0. Is 16 a factor of 12/t*(-320 + 0)/2?
True
Suppose -5*d + 224 = -51. Is 11 a factor of (d/(-15) + 1)*198/(-4)?
True
Is 140 a factor of (50407 + -6)*(-77)/(-143)?
False
Let a = 290 + -181. Let m = a - 91. Is m a multiple of 3?
True
Let k be 14373/(-27)*(2 - 20). Is k/57 - (-2)/(-19) a multiple of 24?
True
Suppose 7298311 = -37*g + 410*g + 1543667. Is g a multiple of 9?
False
Suppose 2*o - 5894 = 3*m + 10754, -o + 4*m + 8304 = 0. Is 8 a factor of o?
True
Let o = -7180 - -20732. Does 14 divide o?
True
Let x be (-5682)/8*(-10)/(-15)*-4. Suppose -r + x = 2*r + 2*g, 4*r - 2552 = 4*g. Is r a multiple of 39?
False
Suppose -28*j + 3*g = -27*j - 8, -j = -2*g - 6. Suppose -5*k + 620 = -4*u, -j*k + 2*u + 261 = 3*u. Is 8 a factor of k?
True
Let l(z) = -3*z + 87. Suppose 17*g - 13*g - 2*t - 18 = 0, -g + 3*t = 3. Is l(g) a multiple of 7?
False
Suppose 0 = -4*t + 2*o + 6358, o = -4*o - 25. Is 70 a factor of 6 + (2 - -2) + (t - -13)?
True
Suppose -d = k - 7, 3*k + 0 = -5*d + 31. Suppose 13*z - 5805 = -k*z. Is 7 a factor of z?
False
Suppose 12 = -26*n + 22*n + 4*z, z = 4*n - 9. Let o = -7 - -10. Suppose -2*s = 4*a - 126, o*a - 72 = a - n*s. Does 5 divide a?
True
Let m be ((-10)/45 + 172/45)*-5. Let h(v) = -13*v + 208. Does 34 divide h(m)?
True
Is 172 a factor of ((-11 - 0) + 17)*2494/3?
True
Let s be 2/(-4) + (-3157)/(-14) + -1. Suppose 6*n - 1126 = s. Does 15 divide n?
True
Let l be -4 - (-5)/10*-2. Let n be 936/90 - 3/l. Suppose n*f = 297 + 396. Is 21 a factor of f?
True
Let k(x) = 224*x + 11. Let g be k(-4). Let i = -591 - g. Does 42 divide i?
True
Suppose 40015 = 5*r - 5*d, -5*r + 4*d + 13465 + 26555 = 0. Is 104 a factor of r?
True
Let i be -1 + (-24535)/14*-2. Is i/(-30)*(2 + -7) a multiple of 32?
False
Let g(r) = 9*r - 26. Let d be g(4). Does 3 divide 2*12/d*(6 - -14)?
True
Suppose -b - 26 = y + 48, 0 = -3*b + 4*y - 243. Let t = 137 + b. Suppose -4*m - t = -h, 3*m - 36 = -5*h + 195. Is h a multiple of 8?
True
Let a = -58 - -46. Let s(x) = -x**3 - 8*x**2 + 12*x - 12. Is 21 a factor of s(a)?
True
Is 9 a factor of (2628/14)/((-3 - 4)/49*-1)?
True
Let b(k) be the second derivative of k**4/4 + 5*k**3/3 - 11*k**2/2 + 102*k. Is b(-11) a multiple of 18?
False
Suppose 26656 = -244*x + 246*x + 4296. Is 15 a factor of x?
False
Is 117 a factor of 3978/(-22*7/(-1309))?
True
Let p(n) = 110*n**2 - 447*n + 3164. Is 35 a factor of p(7)?
True
Let n = 162 + -250. Let v = -1236 + 1214. Does 11 divide 16/