*2 - 13*r - 12. Does 12 divide j(-9)?
True
Suppose -f - f + 868 = -5*q, 5*q - 1676 = -4*f. Is 34 a factor of f?
False
Suppose -4*m + z - 409 = -1989, 4*z + 1964 = 5*m. Is m a multiple of 66?
True
Let r be (-5)/15*(-105)/5. Suppose -3*b - 48 = -r*b. Is b a multiple of 6?
True
Suppose -4*k + 4 = -4*a, a - 2*k = 3*a - 10. Suppose -a*f + 865 - 17 = 0. Is 25 a factor of f?
False
Let r(g) = -3032*g + 9. Is 12 a factor of r(-1)?
False
Suppose 0 = -3*r + 16 - 4. Suppose r*x - 108 = 8*x. Let u = x + 45. Does 3 divide u?
True
Suppose 7*m - 6*m = 81. Let x = m + -17. Is x a multiple of 8?
True
Let n be ((-7)/((-14)/10))/((-1)/(-73)). Suppose 0 = 3*d + 92 - n. Is d a multiple of 13?
True
Suppose -4*a + 6*a = 42. Suppose -236 = -a*h + 17*h. Is 13 a factor of h?
False
Suppose 3*c - 5*f - 5 = 0, -4*f + 0*f - 4 = 0. Let b be 1*(c + 3 + 2). Suppose 4*p - 182 = h - 35, -b*h + 5 = 0. Does 10 divide p?
False
Suppose 5*v - 2466 = -v. Suppose -5*z = -a - 708, -4*z - 4*a + v = -z. Does 18 divide z?
False
Suppose -3*p + 73 = -215. Is 48 a factor of p?
True
Let a(g) = g**3 + 6*g**2 - 3*g - 2. Suppose 3*o + 6 = o. Is 21 a factor of a(o)?
False
Let g(t) = 28*t**2 - 2. Let b be g(2). Suppose 4*s = b - 6. Let o = s + -21. Is 5 a factor of o?
True
Let h(q) = 111*q**3 - q**2 + 7*q + 6. Let y(r) = 110*r**3 + 6*r + 5. Let k(i) = 2*h(i) - 3*y(i). Does 9 divide k(-1)?
False
Suppose -2 = -d - 33. Let p = 83 + d. Is p a multiple of 7?
False
Let t(l) = 2*l**2 + l - 2. Let r be t(2). Let p = r + -6. Suppose -p*q + 67 = 27. Does 4 divide q?
True
Let u(y) = 395*y**2 - 4*y + 8. Is u(1) a multiple of 7?
True
Let p = 43 - -58. Let x = 161 - p. Is 15 a factor of x?
True
Suppose 0 = -4*u + 17 + 43. Suppose -u = -2*q - 9. Suppose -244 = -q*p - p. Does 14 divide p?
False
Is 14 a factor of 15568/10 + 880/(-100) + 8?
False
Let h(z) = z**3 + 8*z**2 - 25*z - 8. Let s be h(7). Let a = s + -228. Is a a multiple of 54?
True
Let r be 5/(-5)*(1 + -36). Suppose f = 6*f - r. Is ((-74)/(-8))/(f/28) a multiple of 21?
False
Suppose -4*n + 2*x + 854 = 42, n = 2*x + 197. Let z = n - 146. Does 21 divide z?
False
Let r = 11 + -8. Let y(o) = -3*o + 0 + o**2 + r + 0*o**2 + o**2. Is y(2) even?
False
Suppose -20 = -4*d, 179 - 682 = -4*y + 5*d. Let b = y - 73. Is 10 a factor of b?
False
Suppose 5*l = 0, -4*k + 2*k + 6 = -2*l. Suppose 3*o = 5*a + 148, 0*o - 4*o + 209 = 5*a. Suppose -o = -k*s - 0*s. Does 9 divide s?
False
Let v(i) = 7*i**2 - 36*i - 10. Does 13 divide v(16)?
False
Let m(d) be the first derivative of d**4/24 - d**3/3 + d**2/2 + 3. Let c(w) be the second derivative of m(w). Does 8 divide c(10)?
True
Let h(b) = -4*b**3 - 5*b**2 - 10*b - 31. Is h(-6) a multiple of 23?
True
Suppose -3*v + 82 + 356 = 0. Is v a multiple of 23?
False
Let x(i) = -1 - 1 - 7 - 4*i. Suppose -2*r - 20 = 3*u - 1, 2*u - r + 22 = 0. Does 13 divide x(u)?
False
Let l be 2/9 - 13/((-351)/102). Suppose -576 = l*y - 12*y. Is 36 a factor of y?
True
Suppose 0*g + 6 = -2*g + q, -2*g - 18 = -4*q. Let j be -4*(g - (-2)/(-8)). Does 11 divide j*2/((-40)/(-44))?
True
Let w(q) = 5*q**3 - 4*q**2 + q - 6. Let r(y) = 9*y**3 - 7*y**2 + 2*y - 11. Let v(x) = 6*r(x) - 11*w(x). Let g be v(-1). Is g/11 - (-64)/11 a multiple of 6?
True
Let v(k) = -3*k + 23. Let b(z) = 5*z - 47. Let q(t) = -6*b(t) - 14*v(t). Does 11 divide q(11)?
False
Suppose -t = 4*o + 47, -4*t + 4*o - 188 = 2*o. Let k = 111 + t. Is 8 a factor of k?
True
Let x = 2 + 0. Suppose 54 = x*t - 0*t. Suppose t = -g + 130. Is 31 a factor of g?
False
Let q = -8 - -2. Let i be 0/2*q/12. Suppose i = 5*l - 62 - 33. Is l a multiple of 19?
True
Suppose -7 = f - 11. Suppose 69 = t + y, -2*t + 124 = f*y - 24. Is t a multiple of 8?
True
Let a(x) = x**2 - 15*x - 135. Does 19 divide a(-16)?
True
Let r(w) = -w**2 - 13*w + 2. Let d be r(-10). Let n(z) = 6*z**2 + 3*z + 3. Let k be n(-4). Let x = k - d. Is 11 a factor of x?
True
Let t be 3812/20 - (-2)/5. Suppose -55 = -3*n + t. Is n a multiple of 41?
True
Let k be (2 - 0 - -1) + 0. Let q(v) = 1 - 4*v + k*v - 2*v. Is 28 a factor of q(-14)?
False
Suppose z - 6*z + 600 = 0. Suppose -y = 4*p + 4*y - 220, -z = -2*p - 5*y. Let w = p + -21. Does 16 divide w?
False
Suppose -12*i + 8*i + 396 = 0. Is i*(0 + 0 + 10 + -9) a multiple of 9?
True
Suppose -20 = 5*a + 20. Let l be (-128)/7 + a/(-28). Let y = l + 40. Does 12 divide y?
False
Suppose -3*z = 3*i - 2505, 2*i - 35*z + 36*z = 1675. Does 8 divide i?
True
Suppose 2*a - k - k = 70, 2*k + 4 = 0. Let p be 1266/21 + 2/(-7). Suppose -a*r + p = -28*r. Is r a multiple of 11?
False
Does 15 divide ((-714)/(-70))/(3/75)?
True
Let t be (18/(-10))/((-2)/10). Let h(o) = -o**3 + 10*o**2 + 8*o + 12. Let b be h(t). Let j = 246 - b. Is j a multiple of 27?
True
Let x = -23 + 15. Let g = x + 20. Suppose 0 = g*p - 14*p + 28. Does 14 divide p?
True
Let i = -6 - -9. Let k(x) = -7 + 9*x**2 - 10*x**2 + 2*x - x**i + 15*x**2. Is k(14) a multiple of 9?
False
Let b be (7/14*0)/(3 + -1). Suppose 3*u + 3*g - 465 = b, -5*g + 461 = 3*u - 6*g. Is 7 a factor of u?
True
Suppose 3*d + 21 = -3*h - 3, 3*h - d = -12. Let r(p) = -p**3 - 6*p**2 - 8*p - 11. Let t be r(h). Suppose -2*v = -88 - t. Is v a multiple of 17?
False
Let q be ((-4)/(-1) + 1)*30/(-50). Is -1 - (q/(-6))/(1/(-88)) a multiple of 17?
False
Let h be (-4)/24*3*0. Suppose -22 + h = -u. Does 11 divide u?
True
Let u(f) = -41*f + 147. Does 19 divide u(-9)?
False
Let y = 52 - 21. Does 24 divide y?
False
Is (-771)/(-12) + (-2)/(-16)*-2 a multiple of 16?
True
Let d = 2 - 0. Suppose 2*k + 2*p - 66 = k, -2*k + 132 = -d*p. Is k a multiple of 22?
True
Let f(a) = 3*a**2 - 4*a + 42. Does 18 divide f(-12)?
True
Let i be (-45)/(-15)*(-4)/(-6). Suppose b - 62 = i*x, 3*b + 0*b = -3*x + 150. Is 41 a factor of b?
False
Suppose -3*p - 15 = 0, -14 = z + 3*p - 2. Suppose z*m - 118 = -5*b, m + 20 = -3*b + 94. Does 14 divide b?
False
Let a be (-4 - (-27)/6)*2. Suppose a + 3 = 2*l, -4*j - 3*l + 86 = 0. Does 5 divide j?
True
Let z(y) = -4*y - 7. Let s be z(-3). Suppose -5*a + 0 = -4*i - 34, 20 = 4*a - s*i. Does 6 divide (92/a)/((-2)/(-5))?
False
Is 62 a factor of 5/(((-1)/155)/((-48)/60))?
True
Let g = 9 - 4. Suppose 4*t + g*w + 30 = -0*t, 0 = 4*t - 3*w + 14. Let d = 22 + t. Is d a multiple of 12?
False
Let n = -133 - -476. Is n a multiple of 54?
False
Suppose -119*p = -121*p - 16. Is 4/p*-92 - -3 a multiple of 7?
True
Let c(h) = h**3 - 10*h**2 - 10*h + 1. Let g be c(11). Let i be -21*-4*2/g. Let k = i + 20. Is k a multiple of 13?
False
Suppose 2*a = m - 423, -1702 = -4*m - 2*a - 0*a. Is 17 a factor of m?
True
Suppose q - u - 8 = 0, -u + 14 = 2*q + 1. Let d(i) = 3*i + 2. Let g(m) = -m. Let s(z) = d(z) - g(z). Is 10 a factor of s(q)?
True
Let k = 1734 + 879. Is 67 a factor of k?
True
Let d be (-10)/(-4)*(-78)/(-3). Let y = d + -45. Is 10 a factor of y?
True
Let c(i) = -i - 1. Suppose -3*z - b = 11, 2*z - 2*b + 30 = 3*b. Let g be c(z). Suppose g*u - 22 = -2. Does 5 divide u?
True
Let v(z) = -z**3 + z**2 + 10*z - 29. Does 8 divide v(-7)?
False
Suppose 0 = -z - t + 1535, 7*z - 5*t - 7625 = 2*z. Does 15 divide z?
True
Suppose -2*q = n - q, 2*q = -2. Let t be n*(-2 - -1) + 5. Suppose t*o - 33 - 3 = 0. Is o a multiple of 9?
True
Let m(r) be the third derivative of 3*r**4/8 - 11*r**3/6 - 13*r**2. Is m(6) a multiple of 26?
False
Suppose -q - 4 = -0. Let b be 0*(-1 - (q + 2)). Suppose 5*p + 4 - 144 = b. Is 10 a factor of p?
False
Is ((-368)/40)/(1/(-10)) a multiple of 17?
False
Suppose -14 = 2*u - 3*j, 3*u - 3 - 2 = -2*j. Let x be (u - -1) + (6 - 4). Suppose -x*q - 5*b = -89 - 21, -2*q - b = -94. Is 15 a factor of q?
True
Let w(f) = -315*f - 14. Let n(b) = -21*b - 1. Let l(p) = -91*n(p) + 6*w(p). Let a be l(5). Suppose o = 3*o - a. Does 28 divide o?
True
Suppose -3*a - 10 = -22. Suppose 0 = -a*z + u + 168 + 15, 5 = 5*u. Does 7 divide z?
False
Suppose -3312 = -a - 2*a. Suppose -12*d - a = -24*d. Does 10 divide d?
False
Let g(j) = 38 - 39 - 5*j**3 + 4*j**3. Let k be g(-1). Suppose k = t + m - 20, 2*t + 3*m - 31 - 12 = 0. Does 8 divide t?
False
Let q be (-2 - (-8)/4)/(-1). Let w be (q + 8/10)*5. Does 8 divide w*(-4)/(-16)*21?
False
Let h(i) = -8*i**2 + 2*i + 3. Let v(n) = n**2 - n. Let k(a) = -h(a) - 6*v(a). Let q = -6 + 1. Is k(q) a multiple of 11?
False
Suppose -6*w + 600 = -3*w. Does 2 divide w?
True
Let r(k) = 4*k**2 - 9*k