se
Suppose 5*c - 357 = -2*r, 4*r + 9*c - 754 = 7*c. Is 10 a factor of r?
False
Let h = -45 + 44. Is 93/((3 + -4)*h) a multiple of 31?
True
Let d be -11*(-3)/12*152. Let o = 628 - d. Is o a multiple of 30?
True
Let u = -7 + 12. Let r = u - 0. Let c = r - -19. Does 12 divide c?
True
Let n(o) = -o + 11. Let z be n(6). Suppose -5*p = -10, 5*q = -0*p + z*p + 165. Is q a multiple of 7?
True
Suppose -n - 3*u = 9, -4*n + 5 = -4*u - 39. Is 3 a factor of n?
True
Suppose 3276 = 63*i - 15498. Does 12 divide i?
False
Let i(x) = x + 3. Let a be i(-6). Let g be (1 + -1)/(a - -4). Suppose g = -3*s + 7*s - 248. Is 19 a factor of s?
False
Suppose 7*t = -0*t + 35133. Is t a multiple of 26?
False
Let q(f) = -f**2 + 4*f. Let w be q(4). Let o be (0 + 2)/(1 - w). Suppose -5*n = -o*j - 0*j + 65, 4*j + 4*n - 60 = 0. Is j a multiple of 20?
True
Let v be (22/6)/((-6)/(-18)). Let t = -10 + v. Suppose -2*c + 9 = t. Is c a multiple of 3?
False
Let j = -124 + -32. Let x = -66 - j. Does 45 divide x?
True
Suppose -5*g - 5*l = 30, 2*g - 52 = 6*g - 3*l. Is 1 + 1 - 310/g a multiple of 13?
False
Is (-11026)/(-111) - 2*(-6)/(-9) a multiple of 18?
False
Does 25 divide 20/(((-2)/(-100))/(3/6))?
True
Suppose 76*f - 66*f - 360 = 0. Is f a multiple of 9?
True
Let a(u) = 4*u**3 + 8*u**2 - 2*u + 16. Let m(k) = 5*k**3 + 9*k**2 - 4*k + 15. Let i(t) = 4*a(t) - 3*m(t). Is i(-4) a multiple of 7?
False
Let f = -10 - -12. Suppose f*t - 32 = 52. Suppose 4*n + 4*h - 72 = 0, -5*h - t = -n - 0*h. Is 22 a factor of n?
True
Let f(o) = 2*o**3 + 7*o**2 - 3*o - 1. Let g(b) = -b**3 - 6*b**2 + 3*b. Let r(d) = 3*f(d) + 4*g(d). Let q be r(4). Suppose 4*t = q + 31. Is t a multiple of 5?
True
Suppose 7*n - 4*n - 765 = 0. Let r be 108/(-1*2)*24/9. Let l = n + r. Is l a multiple of 37?
True
Let u(r) = 52*r**2 + 3*r - 14. Does 26 divide u(2)?
False
Let s(n) = -n**2 - 9*n + 4. Suppose -2*i - 3*y - 12 = 0, -2*i + 4*y + 16 = i. Suppose u = -i*u - 8. Is s(u) a multiple of 6?
True
Suppose -3*a - 1200 = -2*h, 2000 = -5*a + 3*h - 0*h. Let t be (-3 + a/(-15))*-3. Let u = t - -123. Is u a multiple of 34?
False
Let u be ((-6)/5)/(10/(-25)). Suppose r - 5*v = -22, -r + u*v + 9 - 23 = 0. Does 15 divide 6/(r - 104/(-50))?
True
Let j(y) = -2*y**2 - 9*y - 6. Let q be j(-3). Suppose -o + 42 = 5*h, 0*h + q*h = -5*o + 188. Is o a multiple of 2?
False
Let s(j) = -8*j + 1. Let b be s(3). Let u = 45 - 36. Let y = u - b. Is y a multiple of 12?
False
Let a(n) = -2*n + 100. Is 5 a factor of a(-9)?
False
Let w = 1543 - 683. Is 9 a factor of w?
False
Let u = -6 - -6. Suppose -22 + 18 = -2*n. Suppose -5*p + 0 = -5*x - 5, -4*p + n*x + 6 = u. Is p a multiple of 2?
True
Is 3 + (267 - 0) - (-6 + 4) a multiple of 4?
True
Suppose 28*r + 63 = 31*r. Suppose -r*o = -13*o - 80. Is o a multiple of 2?
True
Let m be 12/36 - 2/(-3). Let w be (m + -1)*(-2)/(-4). Suppose 3*g - 21 - 45 = w. Is g a multiple of 5?
False
Let y(t) = -t + 33. Let j be y(15). Suppose -585 = j*p - 21*p. Is p a multiple of 13?
True
Let g(u) = u**3 + 42*u**2 + 40*u + 93. Does 10 divide g(-38)?
False
Let f(q) = q**2 - 12*q + 20. Suppose 0 = 3*s - 4*s + 3. Let a be (9/6)/(s/30). Is f(a) a multiple of 13?
True
Suppose 37*t - 891 = 4*t. Does 3 divide t?
True
Suppose -2*l = -4*l + 444. Let u = -150 + l. Let y = u - 28. Does 22 divide y?
True
Suppose n - m - 107 = 0, 8 = -5*m + 33. Is 14 a factor of n?
True
Let h = -62 + 62. Suppose -2*r + 56 + 232 = h. Is 18 a factor of r?
True
Does 16 divide (-32)/80 + (-6156)/(-15) + 0?
False
Let c(f) = -3*f + 5*f + 9 - 3*f. Let m be c(5). Suppose x + m*x = 35. Is 5 a factor of x?
False
Does 59 divide (-2)/11 - (-4)/((-44)/(-1949))?
True
Suppose -2*c + x = -2*x, 3*c - 15 = -3*x. Suppose c*z = 2 - 8, w - 49 = -z. Is w a multiple of 17?
True
Let y be (-4*1)/(-2 + 3). Let v be (-308)/56*(-2 + 0). Let z = v + y. Is 4 a factor of z?
False
Let j(b) = 860*b**2 - 11*b + 8. Is 23 a factor of j(1)?
False
Suppose 3*j - x - 1836 = 231, -3*x = j - 699. Is j a multiple of 39?
False
Is 15 a factor of -1540*(-1)/(-5 + 259/42)?
True
Let k(b) = -2*b**2 + 12*b - 6. Let i be k(5). Suppose -c = i*y - 164, 5*c - 5*y - 842 = -3*y. Is 12 a factor of c?
True
Suppose 2*p - 10 = 2*w, 3*w - 15 = 8*w - 3*p. Suppose -5*y - 298 + 814 = -3*u, -4*y - u + 423 = w. Is 15 a factor of y?
True
Suppose -3*y - 4 = 2. Let g be (1 + 38 - y) + 1. Does 10 divide (-12 + -1)/((-14)/g)?
False
Suppose 2*c + 3 = 3*c. Suppose -2*h = -c*v - 3, -v = 2*h + 3*v + 4. Suppose h = -m + 7 + 9. Is 4 a factor of m?
True
Suppose -5*s + 2239 - 419 = 0. Is 14 a factor of s?
True
Suppose g - 11760 = -6*g. Suppose 9*y = -y + g. Does 21 divide y?
True
Suppose 5*s = -14*s + 10089. Does 37 divide s?
False
Suppose 457 + 1025 = -6*a. Let g = a + 346. Is g a multiple of 26?
False
Suppose -5 = -3*n + 4*k, -4*n - 7 = -n + 2*k. Does 6 divide (n + 7)*16/3?
False
Is 598/9 + (-80)/180 a multiple of 26?
False
Suppose 5*r = 2*a - 351, 5*a + 5*r + 62 = 922. Does 12 divide (-3)/(-4)*(-1 + -4 + a)?
False
Let n(a) = 37*a + 10. Let h be n(-6). Is 13 a factor of 3 - (h/4 + 1)?
False
Suppose 3*a - 5*t + 3*t + 506 = 0, 668 = -4*a + t. Let p = -100 - a. Is p a multiple of 16?
False
Let b = 2167 + -471. Does 11 divide b?
False
Let b = -11 - -10. Let s be 159/2 + b/(-2). Suppose 5*c = -l + s, 5*l + 4*c - 196 = 2*l. Does 30 divide l?
True
Let u(b) = 6*b**3 + 8*b**2 - 19*b - 17. Is u(7) a multiple of 23?
True
Let y(p) = 4*p**3 - 8*p**2 + 13*p - 41. Does 41 divide y(8)?
True
Let z = 277 + -86. Is 16 a factor of z?
False
Let m = 1857 - 707. Is m a multiple of 46?
True
Let v be (80/(-50))/((-3)/15). Suppose -3*w + 55 = 5*o, 0 = -4*o - v*w + 6*w + 46. Is o a multiple of 3?
False
Let z(u) = 1. Let x(k) = k - 4. Let a(f) = x(f) - 2*z(f). Let v be a(10). Suppose -v*o = -62 - 2. Does 7 divide o?
False
Let b be (-30)/(-4 - (-36)/8). Let x be (b/18)/((-4)/6). Let i(n) = -n**3 + 7*n**2 - 7*n + 4. Is 19 a factor of i(x)?
True
Suppose 2*g = 92 - 98. Is (-1*(g - -4) + 3)*14 a multiple of 3?
False
Let d(r) = 14*r**2 - 2*r + 2. Let i be d(1). Suppose -i*g = -10*g - 116. Is g a multiple of 8?
False
Let b = -1229 - -1586. Is b a multiple of 50?
False
Let l(z) be the first derivative of -z**4/4 + 8*z**3/3 + 3*z**2 + 7. Suppose -2*p + 18 = 3*q, -4*q - 2*p = -0*p - 26. Is l(q) a multiple of 16?
True
Let q = 203 + 85. Is q a multiple of 48?
True
Let r = 12 + -5. Suppose 43 = -r*k + 211. Is 6 a factor of k?
True
Let y(a) = 48*a + 7. Suppose 11*d - 10 = 12. Is y(d) a multiple of 15?
False
Let s(c) = 8*c + 10. Let z be s(12). Let r = 4 + z. Is r a multiple of 22?
True
Let x = -10 + 10. Suppose -31*q + 29*q + 64 = x. Is 5 a factor of q?
False
Let j be (-6)/(-15) - (-10)/(-25). Suppose j = 4*d - 20 - 24. Is 4 a factor of 2/d + 207/11?
False
Let u = -1022 + 1037. Let s = -12 + 43. Let g = s - u. Does 4 divide g?
True
Let t(q) = -9*q**3 - 2*q**2 - 10*q - 36. Does 33 divide t(-5)?
True
Let z(x) be the second derivative of 6*x**2 - 9*x**2 - 6*x + 0*x**3 + x**3. Does 12 divide z(7)?
True
Suppose -4*l + 1 + 19 = 0. Let z = -17 + 56. Suppose l*w - z = 191. Is 23 a factor of w?
True
Let h(l) = l**2 + 13*l + 205. Is 5 a factor of h(-50)?
True
Suppose v = -24 + 107. Suppose -2*u + 5*u = -108. Let c = u + v. Is c a multiple of 18?
False
Let i(c) = 1 + 5 + 13*c - 3. Let b be i(4). Suppose -5*f + f = 12, 3*f - b = -4*s. Is s a multiple of 3?
False
Let s(y) = -3 + 0*y - y - 3 + 3*y. Let j be s(5). Suppose j*u - 31 - 17 = 0. Is 4 a factor of u?
True
Suppose -2*d - 2*p = -d - 14, -4*d - 2*p + 26 = 0. Suppose -2*t - d*g + 169 = -g, -3*t = 5*g - 254. Does 13 divide t?
False
Let i = -3 - -7. Suppose i*p = 3*f + 6, -4*f - 14 = -4*p - 5*f. Does 15 divide -74*1/p*-3?
False
Let k(u) = -u**3 - 9*u**2 - 12*u. Let d be k(-8). Suppose 6*s + 2*s = -d. Is 17 a factor of -10*(30/s + 3)?
False
Suppose 51570 = 88*d - 70*d. Is 15 a factor of d?
True
Let d(q) = q**3 + 16*q**2 + 27*q - 10. Let c be 351/(-26) + 2/4 + -1. Does 4 divide d(c)?
True
Let w be (-506)/(-5) + (-40)/(-50). Let h = 3 - 6. Is 17 a factor of w*(5/h - -2)?
True
Let h(g) = g**3 + 6*g**2 - 6*g + 3. Let s be h(-7). Let q be (2 + s + 4)*1. Suppose -i + 2*p + 30 = 4*p, -2*i = q*p - 58. Is i a multiple of 7?
True
Suppose 1758 = 3*j + c, c + 1171 = 2*j + 2*c. Is j a multiple of 11?
False
Suppose 8 + 60 = 4*i. Suppose -2*a + 3*f + i +