iple of 11?
True
Let y be -10*1*(-4)/(-10). Is y/(-8)*1*6 even?
False
Let p = 12 - 12. Suppose 7*o - 3*o - 80 = p. Does 20 divide o?
True
Let w = 198 + -54. Is 14 a factor of w?
False
Let x = 69 + 5. Does 7 divide x?
False
Suppose 3*i + 4*f - 28 = 117, i - 53 = f. Is i a multiple of 15?
False
Suppose 0 = -3*q, q - 10 = -2*m + 5*q. Suppose -381 = -m*o - 86. Does 15 divide o?
False
Let x be 0 - 0 - (-12)/3. Suppose 3*p - 44 = p - 4*m, -4*p = -x*m - 64. Let a = p + 5. Is 12 a factor of a?
False
Let d be (6 + 2 + -4)*1. Suppose -i + 35 = d*u + u, 149 = 5*i - u. Is i a multiple of 15?
True
Is 10 a factor of (-45)/((-2)/(8/6))?
True
Suppose -2*j - j + 75 = 0. Suppose -4*b = -2*l + 80, 0*b + 5*b + j = 0. Is l a multiple of 10?
True
Let t be 4/14 - (-20)/28. Let a be (-3)/(t - 2/3). Is 1/(a/(-15))*3 a multiple of 4?
False
Let f = -6 - 9. Let i = -11 - f. Suppose -x + n = -11, -4*x + i*n = n - 49. Does 7 divide x?
False
Let y be ((-6)/6)/(1/(-5)). Let n = y + 51. Is 14 a factor of n?
True
Suppose -5*u = -0*u - 170. Does 5 divide u?
False
Suppose 13 = -5*u - 2. Let q(m) = -2*m**3 + 0*m**2 - 2*m**2 + m + 3*m - 1. Is 23 a factor of q(u)?
True
Suppose 0 = -5*k + k + 120. Does 6 divide k?
True
Suppose -2*h - 14 = -2*n, 4*h = -n - 4*n + 26. Is 3 a factor of n?
True
Suppose 2*o - 48 = 2*y, -4*o - 4*y + 84 = -5*y. Is 10 a factor of o?
True
Let l(v) = v**2 + 4*v - 9. Let s be l(-7). Suppose -2*a - a = -s. Suppose 4*m - a = 3*m. Does 4 divide m?
True
Let z = -30 + 91. Is 22 a factor of z?
False
Let d = 32 + -8. Is d a multiple of 6?
True
Suppose 4*k + 0*v - 31 = 5*v, k - 5*v - 4 = 0. Does 3 divide k?
True
Let h be (-55)/20 + (-1)/4. Let u be (2 + h)/1 - 2. Let g(r) = -r**3 + 3*r**2 - 4*r - 2. Is g(u) a multiple of 22?
False
Let z = -4 - -4. Let j = 6 + z. Is j a multiple of 4?
False
Suppose 2*z - 26 = 8. Let m = z - 3. Does 14 divide m?
True
Let b(j) be the first derivative of j**2/2 - 13*j - 1. Let y(t) = t - 13. Let s(u) = -6*b(u) + 5*y(u). Does 4 divide s(6)?
False
Suppose 13 = g + 64. Let l = -36 - g. Does 8 divide l?
False
Suppose -8*d + 4*d = -8. Suppose -2*t - t = 4*s - 279, d*s - 117 = 3*t. Suppose -3*x + s = -15. Is x a multiple of 14?
False
Let i(d) be the third derivative of 0*d - 1/20*d**5 + 2*d**2 - 1/40*d**6 + 1/6*d**3 + 0 - 1/24*d**4. Is 5 a factor of i(-2)?
True
Let m(x) = -x. Let b be m(-5). Suppose 4*t - 3 = 3*p, 0 = t - b*t + p + 1. Suppose -5*i = -4*d - 187, t = 4*d + d - 10. Is 13 a factor of i?
True
Is 12 a factor of (1074/(-12))/(1*(-1)/2)?
False
Let q(p) = -p**2 + 7*p. Let b be q(6). Let n = -3 + 8. Suppose j - n = b*j, 33 = m - 4*j. Is m a multiple of 12?
False
Suppose -y - 5*w + 64 = 0, 204 = y + 4*y - 4*w. Is y a multiple of 44?
True
Let d(t) = -9*t**2 - 5. Let k(p) = 4*p**2 + 2. Let s(r) = 3*d(r) + 7*k(r). Does 18 divide s(5)?
False
Let r = 3 + 3. Suppose r = 5*t - 14. Suppose -21 = -t*s - 1. Is 3 a factor of s?
False
Is (4 - 2) + (-14)/(-2) even?
False
Suppose -11*n + 67 = -10*n. Does 31 divide n?
False
Is 30 a factor of 57 - (5/(-5) + 0)?
False
Let v(z) = z + 5. Let g be v(3). Suppose -3*d + 192 = 4*b - 26, 4*d = g. Does 13 divide b?
False
Let k be 2/(0 + (-1)/(-2)). Suppose -5*u - k*m = -132, u - 3*m = 2*u - 22. Is u a multiple of 14?
True
Suppose 2*j + 132 = 4*j. Let o = j + -47. Does 5 divide o?
False
Let t(l) be the first derivative of -4*l**3 + 5*l**3 - 2 - l - 9*l**2 + 9*l**2. Is t(2) a multiple of 7?
False
Is 3/(6/20) - 0 a multiple of 5?
True
Suppose 4*o + 0*v = -v + 42, 50 = 4*o + 5*v. Suppose b = 27 - o. Suppose -2*r - 3 + b = 0. Is 7 a factor of r?
True
Let q(o) = 2*o**2 - 4*o - 5. Let t = 3 + 2. Let l be q(t). Suppose -m + 135 = 4*y, l = 4*y - 4*m - 95. Does 18 divide y?
False
Let d be 16/((-4)/((-4)/2)). Suppose -l + 16 = -d. Is l a multiple of 12?
True
Let i = 45 - 24. Let v = 55 - i. Is 8 a factor of v?
False
Suppose 4*a - 11 = 4*q - 51, -2*q + 35 = -5*a. Suppose 22 = k - q*i, 4*k - 5*i + 4 - 47 = 0. Is k a multiple of 4?
False
Let f = -423 - -605. Is f a multiple of 7?
True
Does 2 divide (7/(-4))/((-6)/24)?
False
Let k = 100 + -51. Suppose -k = -4*o + 7. Does 14 divide o - ((-1 - -1) + 0)?
True
Let l(h) = -h**2 - 10*h - 6. Let w be l(-9). Let d = 0 + 5. Suppose d*k = o + 240, -w*k - 6*o = -o - 172. Is 20 a factor of k?
False
Let k(y) = y + 5. Let h be k(0). Let c be (-87 - 1)*h/(-10). Suppose -4*x + 28 = -c. Does 9 divide x?
True
Let a = 11 + 12. Does 10 divide a?
False
Suppose -2*p = 3*p - 20. Suppose -y + 3*q = -p, -q - 11 - 9 = -5*y. Suppose -3*u + 29 = t, 2*u + y*t + 4 - 10 = 0. Is 6 a factor of u?
False
Suppose 4*b - 285 - 243 = -4*y, -5*b - 2*y + 660 = 0. Does 11 divide b?
True
Let s(z) = 4*z**3 + 2*z + z**2 + 0*z - z**3 + 2*z**3. Is s(2) a multiple of 16?
True
Suppose 2*q - 5*u + 117 = 0, 5*q = -2*u - 137 - 83. Let h = -4 - q. Is 21 a factor of h?
True
Suppose 0 = -c - c + 5*q + 101, 4*c = -2*q + 166. Is 9 a factor of c?
False
Suppose 0 = 4*t - l - 15, 3*t - 18 = t + 4*l. Let s be t/1*(-1)/1. Is 7 a factor of 14/(-2*s/6)?
True
Let a(q) = 4*q + 2. Is a(6) a multiple of 25?
False
Let q = 16 - -19. Suppose 3 - q = -h. Is h a multiple of 12?
False
Let a = 8 + -4. Suppose 0 = 2*v - 8 + a. Is v a multiple of 2?
True
Let a(q) = q + 2. Let p be a(-6). Is 174/15 - p/10 a multiple of 6?
True
Does 43 divide (0 - (0 + 2)) + 48 + 7?
False
Let c = -169 - -279. Is c a multiple of 22?
True
Suppose 4*u - 63 = u. Does 21 divide u?
True
Suppose 0 = -2*k + 1 + 3. Suppose 0*h - 2*h + 4 = 0, -4*h - 46 = -k*g. Suppose 5 + g = 2*a. Is 8 a factor of a?
True
Let f = 89 + -19. Let c(b) = b**2 - 3*b + 2. Let j be c(2). Suppose -o + 6*o - f = j. Does 7 divide o?
True
Let o = 407 + -232. Is o a multiple of 40?
False
Is 29 a factor of (1 - 0)/(1/106)?
False
Let n(k) = k**2 + 1. Let t be n(1). Suppose t*m - 4*m = -12. Does 6 divide m?
True
Let s = -5 + 10. Suppose 4*n + 3 = s*n. Does 2 divide n?
False
Suppose l - 4*l = 15, 3*q - 5*l - 40 = 0. Suppose -2*j + q*n + 4 + 7 = 0, 5*j = 5*n + 5. Does 9 divide (4 + 21)*j/(-5)?
False
Let p(o) = o**3 + 8*o**2 - 11*o - 1. Let d(z) = -z**2 - 19*z - 9. Let b be d(-19). Is 3 a factor of p(b)?
False
Let a = 19 - 16. Suppose -2*h + a*h = 12. Is h a multiple of 6?
True
Let u(f) = -9*f - 10. Does 28 divide u(-7)?
False
Suppose -7 = 3*l - 19. Suppose -u - l*c + 22 = 0, 0 = u - 3*c + 5 + 8. Does 13 divide 2 + 12 + (-2)/u?
True
Suppose 0 = 2*n - 3*p - 13, 5*n + 5*p - 20 - 50 = 0. Is n a multiple of 7?
False
Suppose -2*d + 2 = -4*d - a, 4*d - 8 = 4*a. Suppose 4*u - 5*p - 15 = d, -3*p + p - 8 = -2*u. Suppose -24 = -2*s + 3*x, -3*x + 100 + 2 = u*s. Does 7 divide s?
False
Let w = -55 - -51. Let q(g) = 2*g**2 + 2*g - 1. Let f(m) = 2*m**2 + 2*m. Let r(n) = 3*f(n) - 2*q(n). Does 10 divide r(w)?
False
Let f = -35 + 48. Does 2 divide f?
False
Let q be ((3 - 2) + -1)/(-1). Suppose -3*o + 33 + 54 = q. Does 10 divide o?
False
Let b(l) = l**2 + l + 6. Let i be b(0). Let g be ((-4)/3)/(1/i). Let w = -1 - g. Is 4 a factor of w?
False
Suppose 4*c - 8 = 20. Suppose 0 = 2*m + 2*k - 52, -c = -m + k + 9. Suppose m = 4*h + 9. Is h a multiple of 3?
True
Let w = 107 - 104. Is w even?
False
Is (-15)/12*86*4/(-5) a multiple of 59?
False
Suppose -5*j - 4*t = -2*j - 12, -2*j = 4*t - 12. Suppose 5*s - 5 - 120 = j. Is 7 a factor of s?
False
Suppose -4*f + 8 = i - 13, 2*f - 4*i = -12. Is 3 a factor of f?
False
Suppose 6*o - 34 = 26. Is 4 a factor of o?
False
Suppose -3*r = -r + 14. Let d = r + 31. Is d a multiple of 15?
False
Suppose 6*o - 17 = 37. Is o a multiple of 2?
False
Let w = 24 + -2. Does 20 divide w?
False
Let h = 213 - 68. Let f = h - 86. Suppose 4*k - 3*p = 2*p + f, 3*p = -5*k + 83. Is 6 a factor of k?
False
Let k = 166 + -109. Suppose 0 = -3*x - 6*n + n + 51, 0 = 5*x - n - k. Is 6 a factor of x?
True
Suppose 6*g = 4*g. Suppose -5*a - 2*o + 110 = g, 2*o = -4*a + 3*o + 88. Is 9 a factor of a?
False
Let z(g) = g**3 - 11*g**2 - 8*g - 14. Does 17 divide z(12)?
True
Let w = 1 - -1. Suppose 2*a - 4*a + w = 0. Does 6 divide ((-6)/(-7))/(a/7)?
True
Let i = 6 - 4. Suppose 2*u + 70 = i*s, -2*s + 0*s + 75 = -u. Is s a multiple of 10?
True
Suppose 57 = -3*x + 6*x. Is 10 a factor of x?
False
Let a be -9 - (0 + -1 + 1). Let j be ((-20)/3)/(3/(-9)). Let u = j + a. Is 11 a factor of u?
True
Let p = 10 + -6. Suppose p*q - 3*q = 3*v + 1, -3*v