se -2178 = -r*g - 762. Is 31 a factor of g?
False
Let b = 19 - 17. Suppose 3*q - b*v = -3*v - 9, -5 = 5*q + 5*v. Is 14 a factor of q + (1 - -24 - 2)?
False
Let a be 4 + -28*2/(-4). Suppose 3*m = -a + 147. Does 13 divide m?
False
Suppose 4*n + 3*y - 997 = 0, -n + 0*n + 4*y = -235. Is n a multiple of 6?
False
Let b(h) = -h**3 + 6*h**2 + 9*h - 11. Let t be b(7). Suppose -2*x - t*r + 2*r = -262, 4*x - r - 530 = 0. Does 33 divide x?
True
Suppose 0 = -8*p + 9 + 15. Let y be (1 + (0 - -2))*62. Suppose y - 57 = p*b. Does 9 divide b?
False
Suppose 2*n - 20 = 3*j, 6*n - 71 = n - 3*j. Suppose -10*k + n*k - 162 = 0. Is k a multiple of 34?
False
Suppose -4*b - 4*t + 504 = 0, 3*b + 4*t - 363 = 6*t. Is 41 a factor of b?
True
Let f(y) be the third derivative of y**7/2520 + y**6/720 - y**5/60 + y**2. Let x(i) be the third derivative of f(i). Is 2 a factor of x(1)?
False
Let b(r) = 1 - 4*r - 2 - r**2 + r + 6*r**2. Let v be b(-2). Suppose -v = 5*l, 4*h + l = -3*l + 124. Is h a multiple of 12?
True
Let q(h) be the first derivative of -h**2/2 - 6*h + 4. Let f be q(-9). Suppose 3*r = a - 26, -f*a + 81 = -5*r - 9. Does 24 divide a?
False
Suppose 0 = 5*g - 2*v - 76, 0*g - 4*v = g - 24. Suppose -t = -a - 2, 5*t + a = 3*a + g. Does 3 divide t?
False
Suppose 10 = 6*i - 11*i. Let u(s) = 23*s**2 + s + 2. Does 10 divide u(i)?
False
Is (-4)/(((-3)/8)/((-5790)/(-40))) a multiple of 20?
False
Let s = -1 - 0. Let w(u) = -51*u + 4. Let a(c) = -25*c + 1. Let n(l) = 5*a(l) - 2*w(l). Is 10 a factor of n(s)?
True
Suppose -42*x = -38*x - 496. Is x a multiple of 16?
False
Let t = 32 + -12. Suppose 0 = -2*z + t + 6. Is 4 a factor of z?
False
Let f be 2/(-3) - (10/(-15))/1. Suppose -y + 54 + 17 = f. Is y a multiple of 11?
False
Suppose 0 = 2*k + 4*s + 220, 4*s + 256 + 66 = -3*k. Suppose -2*d - 2*t - 118 = 0, 3*d - 2*d - 3*t = -75. Let x = d - k. Does 20 divide x?
False
Let y be 2 - (336/98 - 6/14). Let b be (2 + -3)/((-1)/21). Is (16 + y)*b/7 a multiple of 9?
True
Let c(d) = 6*d. Let v be c(4). Suppose -w = -n + w + 10, 2*w + 10 = -3*n. Suppose n = 3*b - v - 42. Is b a multiple of 11?
True
Suppose -3*y - o + 157 = 0, -4*y = -3*o + 2*o - 221. Does 3 divide y?
True
Let q = 116 + 62. Does 4 divide q?
False
Is 3 a factor of -652*(-3)/12 - -3?
False
Let l be 6/(-9) - 5/15 - 0. Does 8 divide (-4)/(-6)*l + (-242)/(-3)?
True
Suppose 8*i - 610 = -4*l + 7*i, 3*l = 3*i + 465. Is 8 a factor of l?
False
Let y = -2 - -24. Let q be y + 5 - (1 - 1). Suppose 2*l + q = 5*g + 3*l, 0 = g - 5*l + 5. Does 3 divide g?
False
Suppose 5*k = -5*r + 5, -2*r = 4*k - 6*r + 4. Suppose -7*g + 224 = -k*g. Is g a multiple of 16?
True
Does 23 divide 4/(-1) - 3*(-3542)/21?
False
Let q(p) = -2*p**3 + 9*p + 4*p**3 - 13*p**2 + 2 + p - p**3. Is q(13) a multiple of 22?
True
Is 1*-1 - (-17 - 52) a multiple of 4?
True
Suppose -57 - 60 = -9*p. Suppose p*f = 7*f + 378. Does 12 divide f?
False
Let i be -2 - (-2 - (-25)/(-5)). Suppose 2*d - 309 = -3*t + 5*d, -i*t + 507 = -d. Does 23 divide t?
False
Let f(j) be the first derivative of 5*j**2/2 + j - 26. Let w be (3 + -1)/1 + -1. Is f(w) a multiple of 2?
True
Let x = 3 - 0. Suppose 79 = x*h - 5*a, 0*h + h - 4*a - 38 = 0. Is 12 a factor of h?
False
Suppose 27 = -o + 37. Suppose -o*z = -13*z + 372. Is 25 a factor of z?
False
Let n be -10 - (0/(-2) + 2). Let q = 16 + n. Suppose -3*u - 27 + 142 = x, -q*u - 5*x = -157. Is u a multiple of 18?
False
Suppose 0 = 4*d - 5*a - 1423, -4*d - a = a - 1430. Is 17 a factor of d?
True
Let g(h) = h - 19. Let d be g(20). Is ((-4)/(-8) + d)*18/3 a multiple of 9?
True
Let n be -3*1 + (-17 - -23). Suppose -2*r - 8 = 4*i, -n*r + 28 = -r - 5*i. Does 8 divide 29/r - (-6)/8?
True
Let l(x) = -14*x**2 - x. Let u be l(1). Let k = -27 - u. Does 3 divide (k - -1)/(-1) + -3?
False
Let n(f) = -2*f - 2. Let z be n(-1). Suppose -g = -0*x + 2*x - 281, z = 5*x - 2*g - 716. Is 27 a factor of x?
False
Let y = 39 - -11. Let t be (4/5)/(5/y). Suppose 0*f - 2*f = t, -5*g + 4*f + 66 = 0. Is 4 a factor of g?
False
Let y be (-12)/(-8)*2*5/3. Suppose 4*a = t - 99, y*t - 5*a - 480 + 15 = 0. Is 31 a factor of t?
False
Let y(q) = -2*q**2 + 17*q - 8. Let v be y(8). Suppose 2*f + v*f = -l + 116, -3*f = -2*l + 267. Is l a multiple of 14?
True
Let k(l) = 7*l + 10*l**3 + l - 9*l - 3*l**2. Let g be k(3). Suppose -10*r = -15*r + g. Is 16 a factor of r?
True
Let x be -12 - -9 - (-7)/1. Suppose -x*y = -8 - 4. Suppose 2*d - 127 = -4*m - 21, 50 = d + y*m. Is d a multiple of 12?
False
Suppose -22 = 3*x + 5*p, -19 = -4*x + 4*p - p. Suppose 15 = -5*f, -3*c - f + 2 = -x. Suppose 5*g - c*a - 181 = a, -5*g + 179 = -2*a. Is g a multiple of 11?
False
Suppose -h - 3*h + 1041 = -3*f, 4*h - 1071 = -3*f. Does 19 divide h?
False
Let f = -27 + 13. Let w = 16 + f. Suppose 164 = 4*h + 2*z, -h + 5*h = w*z + 148. Is 7 a factor of h?
False
Let c be 8/20 - (-96)/10. Suppose -o = -c*i + 5*i - 56, -4*i + 176 = 4*o. Is 32 a factor of o?
False
Let c(i) = -i**3 + 17*i**2 + 19*i + 18. Let w = 79 + -61. Is c(w) a multiple of 12?
True
Let z(d) = -33*d - 36. Let l be z(-12). Suppose 7*j + l = 17*j. Is 9 a factor of j?
True
Let f(z) = -5*z**2 + 15*z - 1. Let x(p) = 2*p**2 - 8*p. Let j(c) = 3*f(c) + 7*x(c). Let t be j(-9). Is (20/t)/(2/72) a multiple of 20?
False
Suppose 11*z - 5*z - 126 = 0. Does 7 divide (0 - z)*(-100)/70?
False
Suppose 2*w = -4*v - 3*w + 10163, 5*v - 4*w - 12755 = 0. Is 9 a factor of v?
True
Let s be (48/(-9))/(44/48 - 1). Let f = -22 + s. Does 3 divide f?
True
Suppose 29*o = 33*o - 7104. Does 23 divide o?
False
Let r = -128 - -440. Is 26 a factor of r?
True
Suppose 4*n + 7 = -3*u, n + 3*n = -5*u - 17. Suppose -3*j - m = -101, -n*m + 6*m = -5*j + 180. Is 8 a factor of j?
True
Let b = 46 + -26. Suppose -b*n + 17*n + 249 = 0. Is 9 a factor of n?
False
Let s be (-1 - -4) + (3 - 1). Let u(q) = -q**3 + 6*q**2 + 8*q - 5. Is u(s) a multiple of 30?
True
Does 34 divide (-102)/(-4)*(-112)/(-30)*5?
True
Suppose -t - 8 = -b + 8, 3*t - 24 = -3*b. Suppose 3*x = b*x - 864. Is 16 a factor of x?
True
Suppose -3*u - 14 = -u. Let m be u/(-2)*(15 + -1). Does 23 divide m - 1 - (7 + -5)?
True
Let l be (-8)/(-6) + 4/6. Suppose 15 = l*h + 3*h. Suppose 0 = 2*s + h*s - 30. Is s even?
True
Let h(a) = 29*a - 4. Suppose -4*g + 3*x + 17 = -0*x, 7 = g + 2*x. Suppose g*f - 4*m = 18, 0 = f - 3*m + 1 - 9. Does 19 divide h(f)?
False
Suppose 0*a + 4*a - 5*b - 37 = 0, 0 = 2*b + 10. Suppose -a*y - 4 = -y. Let u = y + 20. Is u a multiple of 13?
False
Let i be (2 + 0)*45/18. Suppose -i*v + 35 = -10. Suppose 0 = 2*l + 5*q - 35 + v, 3*q - 38 = -4*l. Is 7 a factor of l?
False
Let v(g) = -9*g - 32 - 2*g - 41 + 115 - 41. Let b(n) = -n**2 - 3*n + 1. Let y be b(2). Is v(y) a multiple of 25?
True
Let a = -269 - -520. Is a a multiple of 2?
False
Let b be -1*58*12/(-8). Let u = b + -57. Does 4 divide u?
False
Suppose 95*o = 82*o + 9672. Is o a multiple of 12?
True
Let y be 6/(-8) - (1 - 45/12). Let l(h) be the third derivative of 11*h**4/24 - h**2. Does 14 divide l(y)?
False
Let a = 156 + -23. Does 19 divide a?
True
Let x be 11/2 + (-2)/4. Suppose -f - 2 = -0*u + 3*u, -2*f - 4 = x*u. Let s(k) = k + 53. Is 26 a factor of s(u)?
False
Let v(n) = -20*n**2 + n**3 + 26*n**2 - 7*n - 9*n**2. Let r = 18 + -12. Is 22 a factor of v(r)?
True
Let o(d) = -d**3 - 5*d**2 - 4*d + 2. Let n be o(-5). Is 13 a factor of (-6)/(110/(-52) + n/11)?
True
Let m(j) = 12*j**3 + j**2 + j - 1. Let a be m(1). Suppose 3*g + 206 + a = 0. Let b = -49 - g. Is 12 a factor of b?
True
Let n(m) = -m**2 + 14*m - 13. Let s be n(13). Is 1 + -2 + (43 - s)*1 a multiple of 21?
True
Suppose -3*v = -3*w - w - 5, -2*w - 1 = -v. Is 5 a factor of ((-105)/(-9))/(1/v)?
True
Does 4 divide (36/(-27))/((-2)/15)?
False
Let g = 7 + -5. Suppose 5*a = 3*z + 6, 2*z = g*a - 3*a - 4. Suppose 5*h + 3*q = 92, -3*h + 7*h - 3*q - 52 = a. Is h a multiple of 16?
True
Suppose -6017 = -10*z - 437. Is z a multiple of 31?
True
Let y = 1754 - 674. Does 12 divide y?
True
Let m(z) = z**3 - 13*z**2 - 10*z + 12. Let k(t) = -5 + 1 + 0*t**3 + 4*t**3 - 3*t - 5*t**2 - 3*t**3. Let a be k(6). Is 11 a factor of m(a)?
False
Suppose -f = 22*i - 19*i - 75, -2*i - 4*f + 50 = 0. Is 6 a factor of i?
False
Let u(w) = 10*w - 9. Suppose -6 - 2 = -2*s. Let j be u(s). Let t = j - 9. Is t a multiple of 16?
False
Let g = -436 - -635. Suppose 2