f y?
False
Let v(c) = 3*c - 3. Let p be v(-3). Let z be (11/(-2))/((-2)/p). Let j = z - -46. Does 7 divide j?
False
Let f = 1 + -1. Suppose -4*l - 4 = 0, f*g - 2*l + 3 = g. Suppose 303 = g*m + 38. Does 21 divide m?
False
Suppose -4*g + 95 = g. Suppose g = d - 2*y - y, -2*y - 14 = -d. Suppose 20 = d*n - 0. Is 2 a factor of n?
False
Suppose 2*p - 5*t + 1 = 0, 4*p - 5 - 5 = -2*t. Suppose z = -p*z + 33. Let f = z - 3. Does 8 divide f?
True
Let j be (-3)/2*100/(-15). Suppose 3*r - 14 = j. Is r a multiple of 4?
True
Does 23 divide (-2759)/(-8) - 1/(-8)?
True
Suppose 0 = -f + 5*r + 101, -5 + 1 = 2*r. Is f a multiple of 13?
True
Let h(x) = -x**2 + 14*x - 6. Is 5 a factor of h(11)?
False
Let q(s) = 14*s + 33. Does 23 divide q(19)?
True
Suppose -2*t = -4*q + 30, 4*q + t - 8 = 25. Let s(l) = 2*l - 10. Is 6 a factor of s(q)?
True
Suppose -m - 2*n + 11 = 0, -3*m - n - 2*n + 24 = 0. Suppose -5*z = 2*j - m*j - 29, 5*j - 4*z + 57 = 0. Let x = j - -45. Does 13 divide x?
False
Let a = 11 + -7. Let y be 1/(-2)*(-4 + -46). Suppose -4*c - 3*r + 63 + y = 0, -r + 96 = a*c. Is 10 a factor of c?
False
Is 3 a factor of ((-8)/(-6))/(3/18)?
False
Suppose 5*l + g + 0*g = 122, -3*l - g + 72 = 0. Let i = -12 + l. Let r = 11 + i. Does 24 divide r?
True
Let o be 16/(-6)*(-9)/6. Let s be (-147)/6*12/7. Is ((-4)/6)/(o/s) even?
False
Suppose -3*z + 6*z - 42 = 0. Let b be 4/z - 192/(-14). Let m = b + 10. Does 18 divide m?
False
Suppose 9*a = -4*a + 338. Does 2 divide a?
True
Let n = -2 + 4. Suppose -43 = -d + n*d. Let c = d - -77. Does 12 divide c?
False
Suppose 2*w - 18 = -u, 3*u - 33 = u - 3*w. Does 11 divide u?
False
Suppose b + b - 10 = 0. Suppose -2*l + 138 = 4*o, 5*o + b*l = 199 - 34. Does 13 divide o?
False
Suppose -4*i + 2*i = -6, 0 = 3*c + 4*i. Does 5 divide (14/21)/(c/(-30))?
True
Let j(f) = 39*f + 3. Does 14 divide j(1)?
True
Let b(q) = -q + 45. Does 11 divide b(-10)?
True
Let l(h) = h**3 + 2. Let z be l(2). Suppose 3*u + 2*u = z. Suppose -u = -v + 4. Does 3 divide v?
True
Suppose -s - 42 = -d + 4*s, -4*s = 4*d - 192. Is 12 a factor of d?
False
Let n(m) = -2*m**3 - 8*m**2 - 7*m + 9. Is 10 a factor of n(-5)?
False
Suppose -q = 3*m - 42, 0 = -q - 2*m + 42 + 5. Does 19 divide q?
True
Suppose 4*c - 4 - 4 = 0. Is 1/c*4 + 49 a multiple of 18?
False
Let d(p) = 81*p**2 - 35*p + 31. Let a(j) = -16*j**2 + 7*j - 6. Let r(m) = -11*a(m) - 2*d(m). Let u be r(4). Suppose u = v + 4*v. Is v a multiple of 20?
True
Let c(w) = 22*w**2 + 2*w + 2. Suppose 0 = 5*d - 1 + 6. Is c(d) a multiple of 11?
True
Suppose 67 + 9 = 4*k. Does 19 divide k?
True
Let x = 76 - 18. Suppose 4*r - x = 3*r. Is 11 a factor of r?
False
Let k(v) = 2*v**2 - 5*v + 7. Is k(-6) a multiple of 10?
False
Let r = -10 + 10. Suppose -3*m + r*m + 4*q + 108 = 0, q + 67 = 2*m. Does 16 divide m?
True
Let c be (-2)/7 + (-148)/(-28). Suppose -2*w + c*w - 45 = 0. Is 5 a factor of w?
True
Suppose 0 = -4*m + 4*i - 124, -2*m + i = 53 + 13. Let j = m + 70. Is j a multiple of 12?
False
Suppose -2*m - 60 = -8. Let d = m + 45. Does 10 divide d?
False
Let j(g) = g**3 + 15*g**2 + 1. Is 49 a factor of j(-14)?
False
Let d be 8/(-20)*2*5. Let j(s) = -s**3 + s**2 - s - 4. Let w be j(d). Suppose h + w = 6*h. Is h a multiple of 15?
False
Let y(f) = -2*f**3 + 0*f**3 - f**2 + 4 + f**3. Is y(-3) a multiple of 5?
False
Suppose -x + 36 = -48. Suppose 0*c = -2*c + 4*g + x, 3*c + 4*g = 76. Suppose -3*j = 2 - c. Is 5 a factor of j?
True
Suppose -4*k = -0*k. Suppose -2*s + 5*s - 9 = 0. Suppose -s*p + 52 = -k*t - 2*t, 2*p - 22 = -5*t. Is 16 a factor of p?
True
Suppose s - 10 = -w + 32, 0 = 3*w - 4*s - 112. Does 9 divide w?
False
Suppose -45 - 3 = -2*q. Let f = 29 - q. Does 2 divide f?
False
Is (76/(-5))/((-4)/10) a multiple of 5?
False
Let n be (-3)/(-2) + (-1)/(-2). Suppose -3*r + n*r = l - 21, 46 = 2*l + r. Is l a multiple of 20?
False
Suppose 36*w - 41*w = -470. Is 28 a factor of w?
False
Let u(x) = x**3 - x**2 + 3*x - 3. Suppose 3*i + 0 = 4*k - 2, -3*k - 2*i = -10. Is u(k) a multiple of 6?
False
Suppose -29 = c - 2*h, -98 = -2*c + 5*c + 5*h. Let v = 4 - c. Is 13 a factor of v?
False
Let t be (9/5)/((-9)/(-45)). Let g = t + -2. Is g a multiple of 3?
False
Let a(v) = v - 1. Does 4 divide a(5)?
True
Suppose 5*r = -0*r - z + 257, 2*z = -5*r + 254. Is 16 a factor of r?
False
Let c(l) = 94*l - 2. Is c(1) a multiple of 11?
False
Let z = 185 + -146. Does 3 divide z?
True
Suppose 2*i - 181 = -3*c, 6*i - i - 505 = 3*c. Let f be (-6)/(-15) - i/(-5). Suppose b - 3*b = -f. Is 7 a factor of b?
False
Let w(f) = f**3 - 3*f**2 - f + 3. Let g be w(3). Let t = 10 - g. Is 8 a factor of t?
False
Suppose -11 = -4*v - 3. Let d = 5 + v. Is d a multiple of 4?
False
Let u(a) = -28*a + 1. Does 14 divide u(-1)?
False
Suppose -5*q + 5*z = -0*z - 120, -4*q - z = -121. Suppose 0 = -3*y + 5*h + q, h - 39 = -5*y - 0*h. Is 3 a factor of y?
False
Let v(g) = 34*g**2 + 1. Does 9 divide v(1)?
False
Let h be ((-220)/3)/((-3)/(-9)). Is 5 a factor of 1/4 + h/(-16)?
False
Let k be (2/3)/((-3)/(-792)). Suppose 0 = -11*v + 15*v - k. Does 9 divide v?
False
Let r = 0 + 10. Let y be ((-8)/(-10))/(r/25). Does 8 divide (-24)/y*4/(-6)?
True
Let v = 26 + 1. Suppose 0 = -5*l - 2*n + v, n = -1 - 3. Does 7 divide l?
True
Suppose -3*o = 4*t - 149, -2*t - 135 - 20 = -3*o. Is 12 a factor of o?
False
Let c(g) = 40*g**3 + 2*g - 1. Suppose -d + 3*m = m - 7, 0 = 2*d + 4*m + 2. Suppose -p - d = -3*y, -3*y - 4*p + 5 = 2. Is c(y) a multiple of 16?
False
Suppose 0 = -5*s - 5*a + a + 250, -3*s = -2*a - 150. Does 25 divide s?
True
Let r = 3 + 3. Let f(h) be the third derivative of h**5/60 - h**4/6 - 2*h**3/3 - h**2. Is 8 a factor of f(r)?
True
Let l = -2 + 7. Is ((-3)/(-5))/(l/25) even?
False
Let k(d) = d**2 + 7*d - 8. Let x be k(-8). Suppose 0 = 2*h - 6*h - 5*t + 27, -5*h + 3*t + 43 = x. Is h a multiple of 8?
True
Suppose -3*c - 4*o + 409 + 441 = 0, 2*c + 4*o - 572 = 0. Let r be c*3/6 + 2. Let j = -96 + r. Is j a multiple of 17?
False
Let w(a) = -18*a - 2. Is 8 a factor of w(-1)?
True
Let x = -130 + 186. Is x a multiple of 8?
True
Let v(c) = c**3 - 2*c**2 - 6*c + 4. Let b be v(4). Suppose -b = -4*s, -z = s + 3*s - 16. Does 4 divide z?
True
Let z(n) = 4*n**2 - n + 1. Let r be z(1). Suppose 0 = -r*c + 3*p + 160, -6*c - 3*p + 200 = -c. Is 10 a factor of c?
True
Let q be 0 + (-3 - -4 - -1). Suppose -13 = -3*y + q. Suppose -y*w + 4*n = -51 + 1, 35 = 5*w - n. Does 2 divide w?
True
Is -6 + (-2562)/(-78) + (-2)/(-13) a multiple of 6?
False
Let n be 2/(-4)*(1 - 31). Let u = n - -14. Is 29 a factor of u?
True
Suppose j = -6 + 5. Let n be 2/j + 2 + 3. Suppose n*d = 3*t + 69, 0*d + d - 4*t - 26 = 0. Is d a multiple of 11?
True
Is (12/14)/(2/182) a multiple of 26?
True
Suppose 5*l + 70 = -0*l. Let i be (-130)/l - 8/28. Is 2/i + (-410)/(-18) a multiple of 14?
False
Suppose 6*z + 36 = 2*z. Let h = z + 25. Is h a multiple of 16?
True
Suppose 19 = -4*x + 43. Does 3 divide x?
True
Suppose -5*x + 5 = -5. Suppose 5*f - 6*a = -4*a + 141, 0 = x*f + a - 60. Let d = 43 - f. Does 7 divide d?
True
Let g(t) = -4*t**2 + 8 + 3*t**2 + 5*t - 3. Let n be g(7). Does 15 divide 36*(-1 - n/6)?
False
Let w(d) = 2*d - 11. Let v be w(-8). Let m = v + 51. Does 12 divide m?
True
Is 6 a factor of 211/5 - 1/5?
True
Let y = -28 + 208. Is 26 a factor of y?
False
Let i be 3 + -1*(-1 - 33). Let n(h) = -h**3 + 6*h**2 - 5*h + 3. Let o be n(5). Suppose 0 = -q + 5*c + 23, o*q + 0*c - i = -c. Does 8 divide q?
False
Suppose 0*r - 4*r + 2 = 2*o, o = r - 5. Let n(g) = 2 + 0*g + 2*g**r - 3*g - 2*g. Does 7 divide n(4)?
True
Suppose -7866 = -21*l - 2826. Is 15 a factor of l?
True
Suppose -4*u + 1206 = 2*t, u - 185 = 5*t + 111. Is 40 a factor of u?
False
Suppose -4*g = -20, 4*c - 3*g + 7*g = 644. Does 39 divide c?
True
Suppose -a + 2 = -0*a. Suppose 2*z - o - a = 3, 8 = 2*z + 2*o. Is z even?
False
Is 17 a factor of (-5)/(-4)*4*17?
True
Let g = 11 - 3. Suppose 3*y = g*y - 110. Is 10 a factor of y?
False
Let r = -9 - -9. Let d(y) = -y + 1. Let f be d(-4). Suppose -f*i = -4*c + 51, -3*c + i + i + 40 = r. Does 4 divide c?
False
Let h = 1 + 4. Suppose r - 2*a = 8 - 1, h*a + 30 = 5*r. Suppose 0*j - 93 = -3*x + 3*j, -r*j + 175 = 5*x. Does 10 divide x?
False
Suppose 4 = -q - q. Let n = q + -1. Is (40/n)/((-2)/6) a multiple of 20?
True
Suppose c + 16 = -6*x + 2*x, -5 = -3*x - 5*