h*z + i + 26. Does 15 divide (-253)/z + 6/15?
False
Suppose 5*g - g - 13 = -h, 3*h = -3*g + 21. Is 2 a factor of h?
False
Let h be (3/2)/(9/(-36)). Let c = h - -56. Does 10 divide c?
True
Let j(s) = s**2 - 5*s + 4. Let d be j(3). Suppose -5*t - 3*l = -7*l + 14, -4*t = -l + 20. Is 7 a factor of ((-48)/d)/(t/(-9))?
False
Suppose -21932 = -47*r + 4811. Does 95 divide r?
False
Let i = 221 - 67. Is 11 a factor of i?
True
Suppose -2*j = -11 - 5. Let y = -4 + j. Suppose 0*c - y*c + 99 = 3*x, -2*c + x = -57. Is 12 a factor of c?
False
Let o(b) = -b - 11. Let v(l) = -4*l - 32. Let a(u) = 8*o(u) - 3*v(u). Let d be a(-4). Does 5 divide (-75)/(-4) - (-6)/d?
False
Suppose -3*d - d = 0. Suppose -4*u - 2*y + 258 = d, 25 = -y - 4*y. Suppose 3*l - u = 128. Does 18 divide l?
False
Let x(l) = 10*l - 2. Let g be x(2). Let t be g/(-15)*(-165)/6. Let d = t + 21. Is 28 a factor of d?
False
Let h be 2/(-4) + 150/12. Suppose 9*w = h*w - 441. Let f = w + -24. Does 26 divide f?
False
Let z(p) = 14*p**2. Let t be z(1). Let y(j) = -j + 15. Let n be y(t). Let q(r) = 65*r**3 + 2*r**2 - 3*r + 2. Does 22 divide q(n)?
True
Let z be (-260)/(-16)*(-1 + -3). Let p = z - -122. Is p a multiple of 19?
True
Let m be 8/((-4)/(-2)) + 1. Let a(c) = c + 1. Let z be a(-2). Let o = m - z. Does 4 divide o?
False
Let h = 1406 + -1014. Is 31 a factor of h?
False
Suppose 4*x - 421 - 415 = 0. Is 24 a factor of x?
False
Suppose 3*o - 11 = 7. Let g(h) = 3*h - 3. Let z(p) = -8*p + 9. Let s(v) = 14*g(v) + 4*z(v). Does 21 divide s(o)?
False
Suppose -9*b - 159 + 609 = 0. Suppose y = b - 8. Does 14 divide y?
True
Suppose -s - 3*f - 25 = -125, 2*s = 5*f + 233. Is s a multiple of 2?
False
Suppose 3*t + 8*q + 100 = 3*q, t + 4*q + 31 = 0. Let j be (-1512)/(-24) + (1 - -4). Let b = t + j. Does 9 divide b?
False
Let z be (54/(-36))/(1 + 77/(-74)). Suppose -2*o + 9*w - 4*w + 27 = 0, 0 = -2*o + 3*w + z. Is o a multiple of 5?
False
Let g(f) = 2423*f**2 - 2*f. Does 25 divide g(-1)?
True
Let i(u) = 4*u**2 + 28*u + 162. Is 134 a factor of i(-19)?
False
Let o be ((-45)/(-20))/((-1)/(-4)). Let f be (4/6)/(3/o). Suppose 5*v = -5, -5*v + f*v - 27 = -3*h. Is 3 a factor of h?
False
Let m(r) = 4*r**2 + 7*r. Let y be m(-4). Let v = 56 - y. Does 7 divide v?
False
Let m(o) = -4 - 8*o - o - 2*o - 11*o**2 - 4*o**3 + 0*o**3. Is m(-4) a multiple of 30?
True
Let v be -2*(2 + (-228)/8). Suppose -5*r = o - 1, 5*o - 3*r = r - v. Let d(y) = y**2 + 7*y. Does 5 divide d(o)?
False
Let o(v) = 69*v. Let w = 30 + -19. Suppose w = 3*z - 7*z + 3*f, 7 = 2*z + f. Does 23 divide o(z)?
True
Suppose 0 = j + j + 2*x - 8, -5*j = 4*x - 20. Suppose 0 = -j*z + 12, 4*g - 5*z = 5*g - 63. Is 16 a factor of g?
True
Suppose -3*m + 0*h = 3*h - 2793, 3*h = 3*m - 2817. Is m a multiple of 48?
False
Let v = 25 + -27. Is (-285)/(-30) + v/(-4) a multiple of 10?
True
Let g = 393 - 340. Does 9 divide g?
False
Let g(z) = z**3 + 6*z**2 + 7*z + 10. Let u be g(-5). Suppose 2*m - 5*d - 39 = 0, u = -5*m - 0*m - 4*d + 147. Is 12 a factor of m?
False
Let v be ((-48)/(-20))/(1/(-5)). Is v*((-4)/10)/(9/60) a multiple of 28?
False
Suppose -1348*b + 79513 = -1311*b. Is b a multiple of 115?
False
Let u be 4/8 + 10/4. Suppose -3*o + 0 - 2 = 2*z, -5*z + u*o + 37 = 0. Is 2 a factor of z?
False
Is 10 a factor of 63/14 + -4 - (-7590)/12?
False
Let f be ((-55)/(-33))/(1/6). Let b = -5 + f. Suppose -b*p - 24 + 159 = 0. Does 13 divide p?
False
Let g(y) = -2*y**2 + 17*y + 5. Let t be g(16). Let b = -77 - t. Does 11 divide b?
False
Let b = 84 + 219. Let j = -72 + b. Is 21 a factor of j?
True
Suppose 4*l - 4704 = -5*g, 5*l - 2*g - 5049 - 831 = 0. Does 42 divide l?
True
Suppose 0 = -5*y + 4*b + 5, 2*y + y = -4*b + 35. Suppose -66 = -2*d + 3*u, -y*u + 165 = 2*d + 3*d. Is d a multiple of 15?
False
Let f = -5 + 7. Suppose -4*b = -f*b - 20. Suppose -4*c = -c - h - 50, 2*h = -b. Is c a multiple of 3?
True
Let p = -29 - -15. Let y be 2/((-4)/(-2)) - -29. Let z = p + y. Does 16 divide z?
True
Let n be (-7)/(-21) + (-184)/(-6). Suppose 2*d = 15 + n. Suppose y - d = -l + 4, -3*l = -2*y + 29. Is y a multiple of 5?
False
Suppose 12*q - 11*q = 17. Suppose -24*n + 140 = -q*n. Is n even?
True
Let x(o) = 28*o**2 - 13*o - 51. Is x(-3) a multiple of 48?
True
Let r(w) = -7*w + 19. Let o be r(15). Does 18 divide -2*((8 - 4)/(-1) + o)?
True
Let p(r) = 3*r**2 - 58*r - 48. Is p(22) a multiple of 32?
True
Suppose -3*z = -26 - 1. Suppose -4*w + w = z, 4*v - 4*w - 120 = 0. Let m = v - 0. Does 8 divide m?
False
Let r(l) = -l**3 - 2*l**2 + 6*l + 3. Suppose q - 3*q = 0. Suppose -15 = 4*p - q*y + y, -2*y = 3*p + 5. Is 16 a factor of r(p)?
True
Let l(y) = 2*y**2 - 4*y + 17. Let v(g) = g**2 - 3*g + 18. Let h(r) = 3*l(r) - 4*v(r). Does 18 divide h(-10)?
False
Suppose -47*a + 54*a = 630. Is 30 a factor of a?
True
Suppose -8*i - 16 = -9*i. Does 8 divide (0 - -1)*i/(-10)*-30?
True
Let h(z) = -z + 174. Let r = 13 - 13. Let n be h(r). Suppose b + 3*b + 2*t - 140 = 0, n = 5*b + 3*t. Is 12 a factor of b?
True
Let g = -228 + 683. Is 7 a factor of g?
True
Let g(d) = 78*d**2 - 2*d + 1. Let t be 9 - 9 - (0 - 1). Let b be g(t). Does 17 divide 11/b + 950/14?
True
Suppose 0 = -4*k - 5*r + 9, 6*k - 4*r = k + 42. Suppose -8 = -z + 3*c, -4*z + 2*c - 7*c = -100. Suppose -z = 2*b - k*b. Is 5 a factor of b?
True
Let o be 8/(((-32)/172)/(-4)). Let m = 319 - o. Is m a multiple of 49?
True
Let w(h) = -53*h**3 - 2*h**2 + 8*h + 14. Let q(z) = -18*z**3 - z**2 + 3*z + 5. Let g(f) = 11*q(f) - 4*w(f). Is 41 a factor of g(2)?
False
Let a = 42 - 16. Let v = a - 23. Is v a multiple of 2?
False
Suppose s + 0*g = 3*g + 225, 3*s - 725 = -g. Is s a multiple of 3?
True
Suppose -4*k = 4*n - 0*k - 8, -4 = 2*k. Suppose n*a - 7*a = -306. Is a a multiple of 26?
False
Let v(h) = 15*h**3 - 3*h**2 - h + 2. Let w be v(2). Let q = w + -90. Is q a multiple of 4?
False
Let h(c) = -48*c + 6. Let r be h(-8). Suppose 4*t + 138 = r. Is 21 a factor of t?
True
Let r = 140 + -140. Suppose -z = -5*s + 121, r = -0*s + 5*s + 2*z - 118. Is 8 a factor of s?
True
Let s = 95 - 47. Let t = s + -81. Let h = -14 - t. Is 19 a factor of h?
True
Suppose -3*y = -10 - 5. Suppose 4*r + j - 708 = -3*j, y*r = -4*j + 880. Suppose -20 = l - 5*t - 54, 2*t + r = 4*l. Is l a multiple of 20?
False
Let i = -10 - -14. Suppose -j = i*f - 109, -2*f + 2*j + 66 = 14. Suppose 4*u - 98 = 2*x, x + f = u + 3*x. Is u a multiple of 9?
False
Is (3/5)/((-10)/(-1650)) a multiple of 9?
True
Suppose 5*g - 160 = 5*j, 4*j - 9 = 7. Let c = g - 0. Is 2 a factor of c?
True
Suppose -u = -4*o + 2*u + 520, -2*o = 4*u - 282. Suppose 92 = 5*b - o. Is 15 a factor of b?
True
Suppose -26*w - 802 = -29*w + 2*y, -y = 2*w - 530. Does 19 divide w?
True
Let n(r) = -1 - 7*r - 3*r + 8*r**2 + 3. Let i be n(-5). Suppose -3*u = -0*u - i. Is u a multiple of 28?
True
Let i(k) = k**2 - 6*k + 7. Let t be i(5). Suppose -s = -4*m + 23, 0*s - t*m = 2*s + 6. Does 16 divide 6/(-21) - 114/s?
True
Is 6 a factor of (5/10 + 0)/(12/20712)?
False
Let a(o) = o**3 + o**2 - o + 1. Let l(y) = 6*y**3 + y**2 - 11*y + 9. Let f(z) = 5*a(z) - l(z). Let r be f(5). Is 4 a factor of 5/(5/7)*r?
False
Let j(d) be the third derivative of -11*d**4/8 - d**2 + 34*d. Suppose 4*p - 2 = 3*b, -5*b - 8 = -2*p - 0. Is j(p) a multiple of 33?
True
Is 21 a factor of (15 + -19)/(1*(-1)/212)?
False
Let o be ((-15)/(-10))/((-6)/(-4)). Let n be (0 - (-2 - 0))*o. Suppose -2*z + 46 = u, 0 = -u - 4*z + 46 - n. Is 14 a factor of u?
False
Let t(x) = -6*x - 66. Is t(-23) a multiple of 12?
True
Let h be (7/21)/((-1)/(-9)). Suppose o = h*o - 12. Suppose o = 3*q - 30. Is 12 a factor of q?
True
Let m(s) = 3*s + 11. Let a be m(10). Suppose -46 = -5*o + 3*o. Suppose -o = -t - w - w, -t + a = -4*w. Is t a multiple of 29?
True
Suppose -2 = -s + 1. Let u(n) = 13*n + 4. Is u(s) a multiple of 4?
False
Let h(b) = -6*b + 5 - 7*b - 6*b. Let x be h(-6). Suppose r = 3*z + 35 - x, z - r = 30. Does 9 divide z?
True
Let p be (1/(-5))/(-1) + (-738)/(-10). Let o = p - 4. Does 11 divide o?
False
Let a = -3 - -2. Let u = a + 5. Suppose 2*w - v - 2*v - 155 = 0, u*w - 305 = 5*v. Is w a multiple of 14?
True
Suppose 458 = -48*k + 6794. Is k a multiple of 6?
True
Suppose -105*t + 2748 = -102*t - 4*p, -2*t + 1836 = -4*p. Does 25 divide t?
False
Suppose -3*l = -3*u + 12, -2*u = -4*u - 5*l + 8. Let p be 6/u*(-20)