. Suppose n + 65 = g*w, -2*w + 3*w + n = 19. Is w a multiple of 7?
True
Suppose 1230 = 7*h - 443. Is 29 a factor of h?
False
Suppose 4*t = 9 - 1. Suppose 0 = 4*l + 2*b + t, -l + 0*l = 2*b - 7. Is 2 a factor of l*1/(-3) - -2?
False
Suppose -3*b = -6*b + 51. Is b a multiple of 17?
True
Let k(z) = -z**3 + 7*z**2 - 2*z - 7. Let r = -26 - -46. Suppose 2 - r = -3*q. Is k(q) a multiple of 17?
True
Let k(t) = -2*t + 29. Is 6 a factor of k(0)?
False
Let x(u) = u**2 + 6*u + 11. Let s be x(-8). Let o = s + -19. Is o a multiple of 6?
False
Let d(p) = 2*p**2 - 44*p - 28. Is d(28) a multiple of 28?
True
Let q(b) = 7*b**2 - b. Let j(p) = -p**2 + 4*p - 2. Let d be j(2). Let x be q(d). Suppose 2*f = 3*f - x. Does 13 divide f?
True
Let v = -6 + 9. Let j(x) = x**3 - x**2 - 2*x + 3. Let a be j(2). Suppose 0 = q - v - a. Is q a multiple of 3?
True
Suppose 2*n - 37 + 7 = 0. Let b = 7 + n. Suppose -b + 8 = -2*r. Is r even?
False
Is 25 a factor of (75/4)/((-21)/(-140))?
True
Let w = -84 + 116. Is 4 a factor of w?
True
Suppose 3*o - 394 = 5*w, 32 = 4*o - 2*w - 484. Does 8 divide o?
True
Let f = -1 - 28. Let c = -18 - f. Is 6 a factor of c?
False
Let p(b) = 48*b - 38. Does 20 divide p(8)?
False
Suppose -h = -5 - 1. Let i be (1 - (-38)/h)*3. Suppose -i + 70 = 3*x. Does 8 divide x?
True
Let v(b) = 6*b - 8. Let i be v(4). Suppose i = 4*r - 2*r. Is r a multiple of 4?
True
Let s(u) = u**3 + 6*u**2 - u - 8. Let y be s(-6). Is 22 a factor of (y/3)/((-5)/495)?
True
Let h be 4/(-6)*(-66)/4. Let j = 6 + -12. Let z = h + j. Is z a multiple of 5?
True
Let h = -28 + 56. Does 14 divide h?
True
Suppose -3*g = 2*k + 3*k - 65, 4*k = -3*g + 49. Suppose 0*a - a = -k. Does 16 divide a?
True
Let n = -27 + 2. Let a = -5 - n. Is 8 a factor of (-154)/(-10) + (-8)/a?
False
Let u be 3/6 - 69/(-6). Is 5 a factor of (-20)/u*(-6)/1?
True
Let y(d) = -d**3 + 7*d**2 - 5*d - 6. Let x be y(6). Let j(q) = -4*q**3 + q + 1. Let a be j(-1). Let r = a - x. Is r a multiple of 2?
True
Suppose -3*v + 30 = p + v, -3*v = -15. Let d(a) = -a**2 + 1. Let h be d(1). Suppose 2*k - p = 3*n + 13, h = -2*k - 4*n + 44. Does 13 divide k?
False
Let w = -50 + 71. Suppose 8*b - 9*b = -w. Is b a multiple of 4?
False
Let a = 487 - 207. Does 40 divide a?
True
Let a(d) = 2*d**2 + 1. Let y be a(2). Suppose 2*w = 7 + y. Does 8 divide w?
True
Suppose 6 = -2*i, -3*m - m = -5*i - 351. Does 42 divide m?
True
Let m(a) = 4*a**2 - a - 11. Is 28 a factor of m(5)?
True
Suppose -3*k + 7 + 5 = 0. Suppose 0 = 5*j + k*p - 186, 2*j + 5*p + 14 = 3*j. Does 17 divide j?
True
Suppose -4*k + 76 = -8. Is 7 a factor of k?
True
Let h(f) = -52*f - 8. Is h(-2) a multiple of 24?
True
Let i be (3/2)/((-3)/4). Let d be i + (7 - 1)*21. Suppose 3*q + d = 7*q. Is 16 a factor of q?
False
Let d(r) = r**3 - 3*r**2 + 5*r + 4. Let b be d(4). Let t = b + -24. Suppose -4*h = t, 3*u - 5*u = h - 26. Is 15 a factor of u?
True
Let n(s) = 8*s - 49. Is 47 a factor of n(12)?
True
Suppose 88 + 162 = 5*y. Is 25 a factor of y?
True
Let z(k) = -k**2 - 7*k - 4. Let n be z(-6). Suppose c - 3*c + n = 0. Let x(i) = 14*i**3 - i**2 + i - 1. Is x(c) a multiple of 7?
False
Suppose 0 = 5*g - 5 - 15. Suppose 5*k + 24 = -r, 11 = -g*k + 2*r - 11. Is 10 a factor of 17/((2 + k)/(-3))?
False
Let t = -305 - -447. Is 34 a factor of t?
False
Suppose r + 18 = -r. Does 5 divide r/6*-1*4?
False
Suppose -3*t + 43 = -4*u + 15, 2*t - 2*u - 16 = 0. Suppose -t*p = -0*p. Suppose 2*y + 2*m - 16 = p, 4*y - 56 = -2*m + 4*m. Is 12 a factor of y?
True
Suppose -4*s + s - 72 = 0. Let q = 39 + s. Does 7 divide q?
False
Let v(c) = -3*c + 3 + 6*c**2 + 7*c - 4*c**2. Let n be v(-2). Let x(k) = 6*k**2 + 3*k - 4. Does 15 divide x(n)?
False
Let q(v) = v**3 + 7*v**2 + 5*v - 1. Let x(n) = -2*n - 2. Let u be x(-6). Let t = u + -16. Is q(t) a multiple of 4?
False
Let z(t) = t**2 - 1. Let m be z(-1). Suppose m = 2*l - u - 41, -98 - 6 = -5*l + u. Does 8 divide l?
False
Let k(d) be the first derivative of 0*d**2 - 1/3*d**3 + 6*d - 2. Does 3 divide k(0)?
True
Let n(w) = -w + 4. Let m be -2 - (-2 + 1 + -1). Let t be n(m). Suppose -180 = -t*r + l - 35, 5*l = -5. Is r a multiple of 16?
False
Suppose s = 2*s - 3. Let f be s/1*6/9. Suppose -f*w + 3 = 3*r + 3*w, 5*r - w - 33 = 0. Does 5 divide r?
False
Is 9 a factor of (-1184)/(-22) + (-8)/(-44)?
True
Suppose 0*h = 2*h. Suppose h*g + 48 = 3*g. Is g a multiple of 16?
True
Let n(k) = -k**3 + 9*k**2 - 5*k. Let f be n(8). Suppose d - 23 = 2*u, u + 4*d = 2*d - f. Let h = u + 34. Does 19 divide h?
False
Let a(j) = -j**3 + 15*j**2 - 14*j + 9. Is a(14) even?
False
Let k = 119 - 109. Is 3 a factor of k?
False
Suppose 3*w - 235 = 62. Does 33 divide w?
True
Suppose -222 + 831 = 7*r. Is r a multiple of 29?
True
Does 9 divide (-1 - -10*3)*1?
False
Suppose 1201 = 10*w + 251. Is 5 a factor of w?
True
Suppose 0 = 2*f + 24 - 80. Suppose -r + 3 - 1 = 0. Suppose 88 - f = r*d. Does 15 divide d?
True
Let s = 19 + -34. Let j = 21 + s. Is 2 a factor of j?
True
Let m be 198/(-12) - (-1)/(-2). Let p = m + 47. Is 14 a factor of p?
False
Suppose -2*l = -l - 89. Does 22 divide l?
False
Suppose -z - m - 25 = 0, 3*m - 9 = 3*z - 2*z. Let d be 1/(-3) - 49/z. Suppose 0 = -2*x + 22 + d. Is x a multiple of 9?
False
Let s(p) = -p + 11. Let g be s(8). Suppose -g*u = -u - 8. Let d(n) = 6*n - 6. Is 9 a factor of d(u)?
True
Let b(j) = j - 6. Let g be b(6). Suppose -t + 36 + g = 0. Does 18 divide t?
True
Let u(w) = -2*w**2 - 1 + 4*w**2 - 3*w**2 + 2*w**2 - 15*w**3. Let c be ((-1)/(-2))/((-2)/4). Is 7 a factor of u(c)?
False
Let a(l) = -6*l + 19. Is a(-6) a multiple of 19?
False
Let y = -4 - 1. Is 19 a factor of (-208)/y - (-12)/30?
False
Suppose -45 = 3*z + 2*z. Let n = z + 53. Is n a multiple of 13?
False
Let f be 6/(-12) + (-22)/4. Suppose 5*n = -23 - 32. Let o = f - n. Is o a multiple of 5?
True
Is 22 a factor of (-5)/((-5)/202) - -2?
False
Let u(t) = -2 - t**2 - 1 - 3*t + 0*t. Let m be u(-2). Is 14 a factor of (-10)/15*(m + -29)?
False
Does 8 divide 22 - 8/2 - 2?
True
Suppose 0*v - 49 = 4*o + v, 57 = -5*o + 3*v. Let t = 7 + o. Let x = t - -13. Is 8 a factor of x?
True
Does 23 divide (22 + 0)/((-9)/(-54))?
False
Let t = -29 + 41. Suppose -3*s = -0*s - t. Does 4 divide s?
True
Let h be (0 - 0)*(-3)/3. Let s = 32 - 19. Suppose -s + h = -l. Does 7 divide l?
False
Suppose 3*n = -2*n + 300. Is 20 a factor of n?
True
Let n(q) = 3*q + 5. Is 14 a factor of n(3)?
True
Let d(y) = -y**2 - 14*y + 13. Is d(-14) a multiple of 12?
False
Let m = -58 - -62. Is 4 a factor of m?
True
Suppose -3*h = h - 4, 2*z + 3*h = 143. Suppose 0 = -a + 9 + z. Does 27 divide a?
False
Suppose -c + 2*c = 4. Let a be c/12 + (-2)/(-3). Suppose 12 = h - 3*s - 11, 5*s = -h - a. Is 9 a factor of h?
False
Let v(g) = g**3 - 2*g**2 - g + 1. Let z be v(2). Let f(b) = b**3 + b + 1. Let m be f(z). Let i = m + 3. Is 2 a factor of i?
True
Let x(q) = q**3 - 9*q**2 + 4*q - 2. Let d be x(6). Let b = -57 - d. Is 10 a factor of b?
False
Is (36/(-4))/(-2*(-3)/(-6)) even?
False
Suppose 6*z - 61 = 71. Is 9 a factor of z?
False
Let l = 208 - 104. Does 9 divide l?
False
Let x = 437 - 259. Is 15 a factor of x?
False
Let j = -1 - 1. Let u be 2*2/(j + 0). Is 5 a factor of (1/u)/((-1)/10)?
True
Suppose 48 = f + 4*p, -f + 16 = 4*p - 8*p. Suppose -f = -4*n - 0*n. Does 5 divide n?
False
Does 29 divide 34 - 7 - (-4)/2?
True
Suppose 5*j - 455 = -5*v, 0 = 2*j - 4*j - 4*v + 182. Does 7 divide j?
True
Let s(a) = a**2 + 22*a - 42. Does 33 divide s(-25)?
True
Let g(u) = -u**3 + 12*u**2 + 1. Let r be g(12). Let t = 4 + r. Is 5 a factor of t?
True
Let q = 36 - -2. Let l = -22 + q. Suppose -5*x = -5*g + 4*g + l, 2*g - 20 = -2*x. Does 5 divide g?
False
Suppose p = -2*c - 3*p + 230, -4*c - 4*p = -460. Is c a multiple of 27?
False
Let a(d) = 15*d - 50. Is 7 a factor of a(7)?
False
Let r(v) = 1 + 0 + 3*v**3 - 2 - 3*v + 3. Let u be r(2). Suppose u = t + 3*t. Is 5 a factor of t?
True
Let z(l) = -25*l - 1 + 2 + 1. Let x be z(-2). Let r = -36 + x. Does 6 divide r?
False
Suppose 0*u + 135 = 3*u. Is 15 a factor of u?
True
Let o(f) = -f**2 + 10. Let u(x) = -x - 1. Let v be u(-4). Suppose -5*z - v = -z - y, -y + 3 = -5*z. Is o(z) a multiple of 5?
True
Let s(p) = 6 + 0*p - 2*p - 7 + 45*p**2. Is 16 a factor of s(-1)?
False
Let v be 2/(-3) - (-26)/(-6). Let d = 7 + v. Suppose g - 2*g = d*l - 33, 0 = 5*l +