l = -x. Let d = l + 7. Does 3 divide d?
True
Suppose -5*m - 1655 - 630 = 0. Let o be (-1)/2 - m/2. Let c = o - 123. Does 35 divide c?
True
Let c = 535 + -366. Does 11 divide c?
False
Suppose 0 = -4*r - l + 5, 3*l + 1 = -3*r + 16. Let c be (-4 - -4)/(1 - r). Suppose 0 = -m + 5*d + 41, -134 = -c*m - 3*m + 4*d. Is m a multiple of 10?
False
Suppose -1673 = 14*f - 8701. Does 37 divide f?
False
Let o be (-2)/(4/30*-3). Let h be (0 - -3)*1 + o. Let r(i) = i**3 - 6*i**2 - 12*i + 2. Is 18 a factor of r(h)?
False
Let b be (-3)/(-6) + (-10)/(-4). Suppose 72 = -b*t + 11*t. Is 2 a factor of t?
False
Let n(o) = 2*o**2 - 5*o - 2. Suppose -3*s = -3*f - 21, 0*s + 21 = 3*s + 5*f. Let p = 11 - s. Is 10 a factor of n(p)?
True
Suppose b = 4*g + 21, 5*g - 30 = -2*b + 7*g. Suppose 3*c = b + 2. Let t = c + 3. Is t a multiple of 6?
False
Suppose -42*g + 22*g + 31520 = 0. Does 80 divide g?
False
Let h = 4171 + -1309. Does 9 divide h?
True
Suppose 0 = -u - c + 1453, 17*u - 4367 = 14*u + c. Does 15 divide u?
True
Let g be -4 - (25 - (-2 + 5)). Let z = -14 - g. Does 2 divide z?
True
Suppose 3*a = 3*d - 1038, 5*d - 4*a - 921 = 808. Is d a multiple of 12?
False
Suppose 3*m - 2*z = -z - 7, 40 = -5*m - 4*z. Let g be (-90)/4 + m/(-8). Does 9 divide -3 + (-3 + 0 - g)?
False
Does 14 divide (-10)/(80/(-942)) + 2/8?
False
Let j = 671 + -287. Does 96 divide j?
True
Let q(z) = -55*z. Let g be q(3). Let w = -98 - g. Is w a multiple of 9?
False
Let f = -15 + 18. Let t(p) = p + 1. Let r be t(f). Let i = 14 - r. Is i a multiple of 8?
False
Suppose 127 - 457 = -5*f. Suppose 0 = -2*j + 4 + f. Does 4 divide j?
False
Suppose 4 - 49 = 5*z. Let x(g) = -5*g - 6. Is 13 a factor of x(z)?
True
Suppose -4*u + 4*o = -1784, 3*o - 462 = -u - 0*u. Is 43 a factor of (34/68)/(1 + u/(-452))?
False
Let a(m) = 2*m**2 - 40*m + 99. Is 20 a factor of a(27)?
False
Suppose -3*m + m = 0. Let v be (-1 - (-16)/12)*9. Suppose 2*c - 49 = -v*w, -3*c + m*c - 107 = -5*w. Does 19 divide w?
True
Suppose 20*f - 5876 = 7644. Is f a multiple of 13?
True
Suppose -5*b = -3*b - 8. Is (237/12 - 2)*b a multiple of 34?
False
Let t be 60/28 + (-2)/14. Let k be (-150)/(-20)*t/3. Suppose k*h - 20 = 4*h. Does 10 divide h?
True
Let s = -3 + 9. Let o(q) = -q**3 + 7*q**2 + 3*q + 2. Is o(s) a multiple of 6?
False
Suppose 2*r - 5972 = 2*b + 1772, -3*r = 2*b - 11611. Is r a multiple of 79?
True
Let w(f) = 3*f**3 - 9*f**2 + 5*f + 3. Let s(y) = -7*y**3 + 19*y**2 - 11*y - 5. Let a = 8 + -10. Let r(l) = a*s(l) - 5*w(l). Is 4 a factor of r(6)?
False
Let u = 206 - 136. Let l be u/4 - 5/10. Suppose 0 = 4*d - 57 + l. Is d a multiple of 5?
True
Suppose -2*x = -5*g + 3*x + 300, 60 = g + x. Is g a multiple of 4?
True
Suppose 2*n - 3*q = 282, q + 20 + 554 = 4*n. Suppose 2*k - 5*f - n = 103, -4*f + 156 = k. Is 17 a factor of k?
True
Let l(p) = 2*p + 4*p + 41 - 8*p - 3*p**2. Let z(u) = -4*u**2 - 3*u + 41. Let g(d) = 3*l(d) - 2*z(d). Is g(0) a multiple of 17?
False
Let c = -84 + 75. Let b(w) = 4 + 5 - 1 - 3*w. Is 20 a factor of b(c)?
False
Suppose 4*j = 4*i - i + 2, 3*i = 3*j. Let v be (-2 - -18)/(j/(-8)). Let t = 151 + v. Does 29 divide t?
True
Let m = 13875 - 7886. Is m a multiple of 24?
False
Suppose 2436 = -54*r + 60*r. Does 11 divide r?
False
Let g be (-604)/30 - (-2)/15. Let r be -10*(0 + 16/g). Let m(c) = -c**3 + 9*c**2 - 6*c - 7. Is 9 a factor of m(r)?
True
Suppose 34 = 2*x - b, -6*b + 3*b + 68 = 4*x. Let v = 11 - x. Is 7 a factor of 13 + 0 + v + 4?
False
Suppose -2*y = -4*s - 5*y + 3319, 0 = y - 5. Is s a multiple of 37?
False
Suppose -o + 3*n = -88, -3*n = -5*o + 620 - 156. Let v = 14 + o. Is 9 a factor of v?
True
Let g be -1 - 7/((-21)/963). Suppose 0 = y + 4*y - g. Does 8 divide y?
True
Let z = 220 - 162. Is z a multiple of 2?
True
Let g(j) = 10*j - 16. Let l be g(12). Let a = l + -152. Let w = 96 + a. Is w a multiple of 16?
True
Let y(d) = -d. Let m(t) = t + 1. Let n(p) = m(p) + 4*y(p). Let a be 476/(-36) + 2/9. Is 18 a factor of n(a)?
False
Suppose -5*y + 10 = -0*y. Suppose 4*j + 6 = y*j. Does 16 divide (-4)/2*j*8?
True
Let p(a) be the first derivative of -3*a**4/4 - a**3 + a**2 + 4*a + 2. Let b be p(-4). Suppose -3*k = k - 16, 5*m = 5*k + b. Is m a multiple of 16?
True
Let z(u) = -4*u + 3. Let h be z(2). Let g = -8 - h. Let c(x) = -2*x - 2. Is c(g) a multiple of 2?
True
Let a(t) = 2*t**2 + t - 3. Let v be a(-3). Suppose 4*c = v, -4*c + 3*c = -b + 44. Let f = 69 - b. Does 11 divide f?
True
Is (1/(-3))/((-3)/1098) - -1 a multiple of 30?
False
Suppose -v + 96 = 3*c - 134, -3*c + 235 = -4*v. Is 11 a factor of c?
True
Let a = -6 + 8. Let q be (-4 - a)/((-6)/9). Does 7 divide ((-6)/q)/(2/(-84))?
True
Let s be (-3)/12*-4*0. Suppose -5*i + s*i = -2*d + 45, -d = -i - 27. Is 6 a factor of d?
True
Let f = -299 - -1200. Is 17 a factor of f?
True
Suppose 26 + 24 = 10*i. Suppose 581 = i*p - 39. Is 15 a factor of p?
False
Suppose 4*y + 520 = 2*j - 56, -2*j - 3*y = -576. Is j a multiple of 4?
True
Let j = 193 + 104. Is j a multiple of 27?
True
Let x be 5/(-20) + (-98)/(-8). Let z be (-6)/x*292/(-2). Let u = z + -29. Is u a multiple of 9?
False
Let y = 57 - 18. Let g = y + -3. Is 9 a factor of g?
True
Suppose -l = -6*l. Suppose -4*f + 250 - 70 = l. Does 26 divide f?
False
Let n(r) be the second derivative of r**4/2 - 11*r**3/6 - 7*r**2/2 - 27*r. Does 14 divide n(-3)?
False
Let g be (-5)/2*(7 - 9). Let b(j) = -j - 1. Let v be b(g). Does 9 divide 320/18 - v/27?
True
Let w(t) = -t**2 + 95*t - 656. Is w(67) a multiple of 20?
True
Let w(a) = a - 8. Let g be w(8). Suppose 4*t = -3*i + 251, 0*t - 139 = -2*i + 3*t. Suppose -2*s - 11 + i = g. Is s a multiple of 11?
True
Let f(h) = 38*h**2 - 5. Suppose -9*u + 8*u = -2. Let w be f(u). Let y = w - 79. Is 17 a factor of y?
True
Let w be ((-8)/10)/((-12)/390). Let y = w - 5. Suppose 4*q = -3*p + 63, 3*p - 2*p - 5*q - y = 0. Does 7 divide p?
True
Suppose -15*l + 12172 = -11738. Does 23 divide l?
False
Let v be 9/(-2) + (-1)/2. Let l(i) be the third derivative of -3*i**4/8 + i**3/2 - 13*i**2 - 3*i. Is 12 a factor of l(v)?
True
Suppose 109*z - 5*d = 107*z - 47, -4*z - 2*d - 34 = 0. Let b = 2 + -10. Let t = b - z. Is 2 a factor of t?
False
Let q(d) be the second derivative of -79*d**3/6 - 3*d**2/2 - 28*d. Is q(-3) a multiple of 9?
True
Let c = 873 + -543. Is 30 a factor of c?
True
Let l(c) be the third derivative of -c**6/120 - c**5/10 - c**4/6 - 2*c**3/3 - 2*c**2. Let h be l(-5). Let a = h + 15. Is 4 a factor of a?
False
Is ((81/4)/3)/((-57)/(-1064)) a multiple of 14?
True
Let z = 5 + -9. Let h = z + 6. Suppose -4*j - 1 + 27 = k, h*j = 6. Is 14 a factor of k?
True
Suppose -3*j + 2 = -4*j. Let o be j/(-1)*-14*-4. Suppose d - 3*d = -o. Is 17 a factor of d?
False
Suppose -7*n + 336 = -0*n. Suppose -t - 72 = -2*o - 3*t, o - 3*t = n. Is o a multiple of 11?
False
Let q(d) = -2*d + 14. Let c(x) = -x + 7. Let l(o) = 9*c(o) - 4*q(o). Let i be l(7). Suppose i*u + 69 = u. Is u a multiple of 18?
False
Let c be (-24)/3*(0 + -2). Let v(o) = 5*o - 48. Is v(c) a multiple of 28?
False
Suppose -29*s + 103472 = 29*s. Is 12 a factor of s?
False
Let d(c) = -c**2 + 20*c + 6. Let x be d(20). Suppose -4*k = -x*k + 16. Does 3 divide k?
False
Is (2254/42)/((-2)/(-18)) a multiple of 23?
True
Let b(l) = -5*l**3 + 2*l**2 - 3*l + 10. Does 43 divide b(-3)?
True
Suppose -v + 4*f = -2*v - 7, 3*f + 7 = v. Suppose -v = -3*x + 14, -3*x = -2*b + 135. Suppose -b = -3*a + 108. Is 23 a factor of a?
False
Suppose 0 = -3*m + 6*m + 15. Let i be (-1 - m/2)*2. Suppose -5*h + i*h + 14 = 0. Is 2 a factor of h?
False
Let i be (-9)/6 + (-9)/(-6). Suppose i*v - 14*v = -2184. Does 26 divide v?
True
Let y be ((-35)/(-2))/(1/(-2)). Let b = y - -79. Does 11 divide b?
True
Let t = 1 - 8. Let b(x) = 14*x**2 - 7*x**2 - 2 + 1 + x**3 + 0*x - 3*x + 0*x. Is 6 a factor of b(t)?
False
Let c(i) = 2*i**2 - 3*i**2 - 9 + 92 + 2*i**2. Let m be c(0). Suppose 5*b + 4*y - m = 164, 41 = b - 2*y. Does 14 divide b?
False
Suppose 6*x = 15*x - 1728. Is x a multiple of 26?
False
Let j be (-6)/15*(-17 + 7). Does 13 divide 592/18 + j/36?
False
Let d = -504 - -1386. Is d a multiple of 9?
True
Let z(h) = -8*h**2 - 9*h - 34. Let l(r) = r**2 - r. Let t(x) = -5*l(x) - z(x). Is t(-6) a multiple of 19?
False
Let a = 344 - -246. Is a a multiple of 61?
False
Let k(n) = -6*n - 6. Let b be k(-5). Suppose 2