r of c(d)?
True
Suppose -3*z + 88 = 5*c, -2*z - 48 = -0*c - 2*c. Suppose a + 0*i + 33 = 5*i, -4*i + c = 0. Let o = a + 28. Is 20 a factor of o?
True
Let s be (12/2)/(9/(-6)). Does 3 divide 62/10 - s/(-20)?
True
Let u = -12 + 34. Suppose -u = -3*a + 5*s, 3*s + 6 + 9 = 0. Let x(w) = 25*w**2 - w - 1. Is 9 a factor of x(a)?
False
Suppose 2*u + 0*y - 5*y = 120, -u + y + 60 = 0. Is 18 a factor of u?
False
Let h(x) = -3*x**3 + 4*x**3 + 0*x**3 + 3*x**2. Let m be h(-3). Suppose v = -m*v + 11. Is v a multiple of 4?
False
Suppose 4 + 60 = 4*k. Suppose -6 = 2*d - k. Is d a multiple of 2?
False
Suppose -4*o = -9*o. Suppose o = -2*h - 4, -2*d - 3*d = -2*h + 26. Is 16 a factor of -12*(27/d - -3)?
False
Does 24 divide (-4 + (-17 - -5))*-18?
True
Suppose -17 = -4*b - 5. Suppose b = -3*p, -4*k + 149 = -2*p - 21. Does 21 divide k?
True
Let i = 106 + 119. Does 36 divide i?
False
Suppose 10*h = 8*h - 180. Let c = -36 - h. Is c a multiple of 16?
False
Suppose 4*y - 45 - 66 = -3*z, -2*z + 3*y = -91. Suppose z = 2*v - 31. Does 12 divide v?
True
Suppose -2*c - c + 27 = 0. Suppose 0 = 5*t - 6 - c. Suppose 0*v = -t*v + 60. Is v a multiple of 8?
False
Does 13 divide (-1)/((-665)/(-335) - 2)?
False
Suppose -2*i + 225 = 81. Suppose -4*n + i = -2*n. Is 11 a factor of n?
False
Let r(m) = m - 2. Let a be r(6). Suppose 2*l = 3*v + 46, -a*l + 0*v = -v - 82. Is 19 a factor of l?
False
Let j(g) = -g**2 + 1. Let w be j(0). Does 9 divide (2/4)/(w/54)?
True
Suppose -g + 2 + 8 = 0. Let i be (-2 - g/(-6))*-6. Suppose -20 = -4*d, -i*w - w - 3*d + 81 = 0. Is w a multiple of 11?
True
Let g(i) = -3*i**2 - i. Let p(w) = 13*w**2 + 5*w + 1. Let a(f) = -9*g(f) - 2*p(f). Does 10 divide a(4)?
True
Let r(g) = 4*g**2 + g + 2. Is r(-3) a multiple of 14?
False
Let o = -108 + 72. Let k = o - -121. Does 33 divide k?
False
Let j = 5 - 7. Let n = 2 + j. Suppose 5*x + 23 - 8 = n, -3*f + 2*x + 33 = 0. Does 9 divide f?
True
Let v(o) = 4*o**2 + 3*o - 5. Is v(-4) a multiple of 13?
False
Suppose 4 = 2*n - 2*a, 4 = -3*a + a. Let m be (4 - n)/((-3)/6). Let y(p) = p**3 + 9*p**2 + 7*p + 1. Does 6 divide y(m)?
False
Let b(p) = p**3 + 6*p**2 - 10*p - 9. Let d = -2 + -5. Let u be b(d). Does 7 divide -3 + 2 + u + 0?
False
Does 5 divide (-19)/(-4) - 4/(-16)?
True
Suppose -d - 6 = -3*d. Is 11 a factor of 6/9 + 31/d?
True
Let l(q) = 4*q**3 - 6*q**2 + 2*q. Let s be l(4). Suppose 2*v - s = -0*v. Does 28 divide v?
True
Let d(x) = x**2 - 9*x - 19. Is d(20) a multiple of 14?
False
Suppose 0 = -4*z - 15 - 337. Let k = -31 - z. Is k a multiple of 19?
True
Suppose 219 - 65 = 7*r. Is r a multiple of 11?
True
Let g(i) = i. Let d be g(-3). Let b(v) = 2*v**2 + 2*v - 1. Does 11 divide b(d)?
True
Let a(w) = 6*w**3 + 2*w**2 - 2. Let z(u) = -u**3 - u**2 + u + 1. Let s(x) = -a(x) - 2*z(x). Is s(-2) a multiple of 18?
True
Suppose 10*j - 320 = 5*j. Is j a multiple of 18?
False
Let c(m) = -305*m**3 + m**2 + 3*m + 2. Does 10 divide c(-1)?
False
Suppose 5*q + 11 = -4*w, -3*w - 6 = -0*q + 3*q. Let i(s) = 56*s**2 + 2*s - 1. Does 20 divide i(w)?
False
Let n(a) = 3*a**3 - a**2 - 3*a + 1. Is n(3) a multiple of 8?
True
Let q(l) = 3*l + 39. Is q(-7) a multiple of 9?
True
Let v be 30/4 - (-5)/10. Suppose -4*r = 4*m - v, -3*r + 5*r - 22 = -5*m. Does 11 divide 153/6 + (-3)/m?
False
Suppose -5*p = -0*p - 5. Let k be p*92/2 + -1. Suppose 3*q + 5*b = -2*q + k, 0 = -5*q + 5*b + 5. Is q a multiple of 3?
False
Is 9 a factor of (4/(-10))/(5/(-275))?
False
Suppose -2*p - g = 0, -g - 2 + 1 = 3*p. Let a be (3 + -1)*(3 + p). Does 6 divide 6/a*112/12?
False
Let f(u) = -u + 10. Let k be f(10). Suppose k = -i + 2. Suppose i*v - 16 = v. Is 8 a factor of v?
True
Suppose -4*g = -g + 3. Let p be -2*(g + -1 + 1). Suppose -2*y + 3*v = -p*v - 26, -2*y = -v - 34. Does 18 divide y?
True
Let o(w) = 22*w**3 + 7*w**2 + w + 2*w - 2 - 23*w**3. Is o(7) a multiple of 19?
True
Suppose -3*m + 32 = -142. Is 18 a factor of m?
False
Let p(c) = -11*c - 9. Is p(-4) a multiple of 35?
True
Suppose 6 = 2*z - 4. Suppose -265 - 115 = z*n. Let i = n + 116. Does 20 divide i?
True
Suppose -k = k - 2*b - 2, -5*k - 4*b + 32 = 0. Let u = 49 - k. Is 15 a factor of u?
True
Let r = -57 - -148. Is 21 a factor of r?
False
Suppose 6*t = t + 150. Suppose -4*o + t = 2*c, c + 15 = 3*o - 0*c. Does 2 divide o?
True
Let j(o) = -o**2 + 7*o - 6. Suppose 3 + 1 = a. Let g be j(a). Suppose z = g*z - 75. Is z a multiple of 7?
False
Let n(q) = -2*q + 36. Is 12 a factor of n(0)?
True
Does 7 divide (-1 - -8)/((-5)/(-130))?
True
Suppose 5*p - 29 = -4. Suppose -2*a - 2 = 5*t, a = -3*a - p*t + 6. Suppose -4*b + 3*f = -16, a*b + 0*f = -f + 32. Is b a multiple of 7?
True
Is (-7)/(-35) - 2716/(-20) a multiple of 34?
True
Let h(u) = u + 2. Let n be h(0). Let a be (-2)/(n*(-1)/3). Suppose 1 - 19 = -a*l. Is 4 a factor of l?
False
Suppose v + 3*z + 5 = 0, 2*v - 11 = -2*z - 1. Is 5 a factor of v?
True
Let i(c) = 2*c + 4. Is 4 a factor of i(2)?
True
Suppose 3132 = -0*i + 3*i. Is 14 a factor of 4/10 + i/15?
True
Let b be 157/5 - (-4)/(-10). Let c be 2*(-1)/((-2)/11). Let h = b + c. Is h a multiple of 18?
False
Let w be ((-156)/5)/((-4)/20). Let g = -108 - 0. Let y = g + w. Is y a multiple of 15?
False
Let o be ((-2)/4)/((-4)/8). Suppose -4*m = r + 10, -4*r - o = 4*m - m. Is 14 a factor of (45 + m)/(6/4)?
True
Let n(r) = r - 7. Let h be n(9). Is 7 a factor of (13/h + -2)*4?
False
Let j be 5 + 2 - (6 - 3). Let o(i) = -10*i + 7. Let m be o(-5). Suppose -l + j*l - m = 0. Is l a multiple of 14?
False
Let y be ((-1)/2)/(5/(-1000)). Suppose -4 = 2*j - y. Is j a multiple of 16?
True
Let s(v) = -v**2 - v - 3. Let f be s(0). Let t be (3/(-2))/(f/4). Suppose t*w = 3 + 9. Is w even?
True
Let b(a) be the second derivative of a**3/6 - a**2 + 2*a. Let m be b(-2). Is 13 a factor of 13/(2/m + 1)?
True
Let b(t) = -t**3 + 11*t**2 + 15*t - 8. Let z be b(12). Suppose 5*l = z + 17. Is 3 a factor of l?
True
Suppose -2*t - 2*d + 139 = d, 0 = 3*t - 5*d - 161. Does 20 divide t?
False
Let t(m) = m**3 + m**2 - m + 79. Is t(0) a multiple of 14?
False
Let x = 15 - 11. Is ((-12)/10)/(x/(-170)) a multiple of 19?
False
Let g be 8/(-6)*78/(-2). Suppose 100 = 4*n - g. Does 16 divide n?
False
Let k(l) = 25*l**2 + 2*l + 1. Does 35 divide k(2)?
True
Let l = 3 - -23. Is l a multiple of 13?
True
Suppose 0*q - 5*v - 188 = q, -q = 3*v + 188. Is 5 a factor of q/(-12) + (-2)/3?
True
Let z(w) = -3*w**3 + 1. Suppose 1 = -2*m + m. Let a be z(m). Suppose -61 = -5*r + 4*n - 0*n, 52 = 4*r - a*n. Is 9 a factor of r?
True
Let m = 95 + -42. Does 11 divide m?
False
Let y = 57 + -41. Is y a multiple of 15?
False
Suppose -48 = -3*q + 2*q - 4*g, 5*q + 5*g - 285 = 0. Is 2 + 3/(9/q) a multiple of 11?
True
Let n be (1 - 0) + 1 - 0. Suppose 4 = c + n. Suppose -8 = -c*s - 4*b - 0, 5*b + 50 = 5*s. Does 3 divide s?
False
Let w(t) = 15*t - 27. Is w(11) a multiple of 23?
True
Suppose 21 = 4*t + 25. Let g(y) = -4 + 5 + 2*y + 20*y**2 + 4*y**2. Does 23 divide g(t)?
True
Suppose -c + 2 + 1 = 0. Suppose -3*m - 11 = -4*n - 6*m, n + 5*m + 10 = 0. Suppose 4*x = c*x + n. Is x a multiple of 3?
False
Let z = -30 + 15. Is (12/z)/((-2)/65) a multiple of 13?
True
Let o(u) = u + 13*u - 2*u. Is 6 a factor of o(1)?
True
Let y(p) be the third derivative of p**4/2 + 2*p**2. Is 11 a factor of y(2)?
False
Let q = 3 - 0. Suppose -q*l = -6*l. Suppose 2*u + 2*x - 21 + 7 = l, -u - 4*x - 8 = 0. Does 12 divide u?
True
Let h be (-3 - -5)/(2/(-10)). Let l be (h/(-3))/5*3. Is 20 a factor of ((-7)/l)/(8/(-48))?
False
Let n(t) = 101*t**3 - t**2 + t - 1. Let z be n(1). Suppose 4*v = -v + z. Is 10 a factor of v?
True
Let r = -3 - -5. Let y be (-90)/4*4/(-2). Suppose 5*x - r*x = y. Is 7 a factor of x?
False
Suppose 6*k - 3*k = 60. Is 7 a factor of k?
False
Suppose -2 = -2*m - 4*n - 12, -5*n = 5*m. Suppose -198 = -m*a - 6*w + 2*w, 2*a + 2*w - 80 = 0. Is 7 a factor of a?
False
Let k = 181 - 57. Is 1*(k + -4)/3 a multiple of 8?
True
Let n be 1/(-3) + (-2)/(-6). Let c be 31 - n*1/(-2). Let z = c - 9. Is z a multiple of 11?
True
Let r(w) = 2*w**3 - 2*w**2 + w + 2. Let u be r(2). Suppose 2*o = -2*o + u. Suppose o*f - 49 = -7. Is 14 a factor of f?
True
Does 5 divide (1 - -9)*-5*(-10)/4?
True
Let c(k) = -k + 9. Let p be c(6). Suppose -83 - 28 = -p*r. Is 16 a factor of r?
False
Suppose 16 = 3*i + 4. Suppose 0 = a + a - i. Suppose 0 =