 multiple of 11?
True
Let d = 247 - 127. Suppose 5*h - d = h. Does 11 divide h?
False
Let z be ((-90)/12)/(2/4). Let a = z + 28. Is 13 a factor of a?
True
Let x be 10 - ((-2 - -3) + 0). Let c = 21 - x. Suppose 0 = -p + 4*p - c. Is p a multiple of 4?
True
Suppose 0 = 5*f - 6*f + 24. Suppose h = -h + f. Is 3 a factor of h?
True
Suppose 4*a + 117 = 2*b - 29, 5*b - 325 = 2*a. Is 20 a factor of b?
False
Let n(c) be the first derivative of -c**3/3 + 4*c**2 + 11*c + 2. Let a be n(9). Suppose a*w = 4*w - 48. Is w a multiple of 13?
False
Suppose 6*m = m - 3*x + 48, -5*m + x + 44 = 0. Suppose -c - 24 = -5*c + f, -c + m = -f. Suppose 4*k = -0*o + c*o - 52, -2*k - 30 = -3*o. Does 8 divide o?
True
Is (-7040)/(-72) - 2/(-27)*3 a multiple of 14?
True
Let b = -3 + 89. Is 18 a factor of b?
False
Suppose 0 = -y + 5*j - 19, 3*y + 0 = -5*j + 3. Is 16 a factor of (-684)/(-42) + y/14?
True
Suppose 3*u - 4*b + 0*b - 263 = 0, -2*b + 269 = 3*u. Is u a multiple of 16?
False
Suppose 6*r - 279 - 39 = 0. Is r a multiple of 21?
False
Let u(c) = 4*c**2 - c - 2. Let w be 30/4*(-8)/(-6). Let i(s) = -9*s**2 + s + 5. Let x(y) = w*u(y) + 4*i(y). Is x(4) a multiple of 21?
False
Is 582/54 + 2/9 even?
False
Let h(s) = s**2 + 6*s - 3. Let c be h(-5). Let a be ((-9)/6)/(6/c). Suppose 165 = 3*u + a*u. Is u a multiple of 14?
False
Let l(v) = -2*v - 6. Let h(p) = p + 3. Let d(a) = 5*h(a) + 3*l(a). Is d(-10) a multiple of 6?
False
Suppose 10*t = 9*t + 13. Does 2 divide t?
False
Suppose c + 5 = 41. Let q = c + -21. Is q a multiple of 5?
True
Is (-6 + 3)/(-3) - -15 a multiple of 8?
True
Let i(d) = 6*d**2 - 5*d - 4. Suppose -3*w = -4*s - 24, 3*w + 2*w = -s + 17. Does 12 divide i(w)?
True
Let v(p) = p**2 - p + 65. Let b be v(0). Let j be 3/9 + 250/6. Suppose -3*r + 3*u = -j, -u = r - 5*r + b. Does 15 divide r?
False
Let d(q) be the second derivative of 3*q**5/4 + q**4/12 - q**3/6 + q**2/2 - q. Suppose -27 = -2*v + 5*a, 3*v + 0*a - 23 = 4*a. Is d(v) a multiple of 10?
False
Suppose -2*f - 552 = -5*b, b = -2*f - 13 + 121. Is b a multiple of 12?
False
Let v = -6 + 16. Let y be ((-4)/v)/((-2)/100). Suppose -3*n = -y - 28. Is 8 a factor of n?
True
Let q(u) = 2*u**3 - 7*u**2 - u - 4. Is 33 a factor of q(5)?
True
Let b = 2 - -6. Is 22 a factor of b/12 - 154/(-3)?
False
Let i = 55 + -29. Is 13 a factor of i?
True
Let o(v) = -2*v + 1. Let d be o(-2). Suppose -b + 63 = -3*m, -d*b - m + 220 = 3*m. Is b a multiple of 13?
False
Suppose 0*z + 3*a + 16 = 2*z, a = 4*z - 32. Suppose z + 0 = 4*h. Suppose h*s - 3*s = 2*y - 23, 5*s + 2*y - 107 = 0. Does 16 divide s?
False
Let k be 2/6 + 38/(-6). Let d be (-2 - -5)*(-8)/k. Is (26/d)/(4/8) a multiple of 13?
True
Suppose -5*m - 81 = 3*w, 2*m + w + 51 = -m. Suppose -5*z = -0*z - 15, 3*r - z + 33 = 0. Let x = r - m. Is x a multiple of 4?
True
Let v be 1 + -2 + 2/1. Let u(f) = 4 + 40*f + 1 - 4. Does 11 divide u(v)?
False
Suppose -2*c + 4*n - 8 = 4, -2*c + 12 = 2*n. Is 14 a factor of (140/(-25))/(c/(-10))?
True
Let x(q) = -2*q**2 + 14*q + 9. Suppose -2*n - 4*b = -n + 16, b = -5*n + 15. Let d(i) = -i**2 + 7*i + 4. Let f(g) = n*x(g) - 7*d(g). Is f(7) a multiple of 3?
False
Suppose 0*y + 4*y - 405 = 5*k, -5*k = 4*y - 435. Does 31 divide y?
False
Let j(g) = g**2 - g + 2. Let k be j(0). Suppose -2*o = k*s, o + 0*s = -2*s. Suppose o = 3*w - w - 26. Does 13 divide w?
True
Let z(l) = l**3 - 2*l**2 - 3*l - 5. Let q be z(4). Let h = -8 + q. Is h a multiple of 5?
False
Let u = 62 + -47. Is 5 a factor of u?
True
Let v be -2*1*(-15)/6. Suppose v*j = 10, 18 = 2*h - 4*j + j. Let y = 1 + h. Is 13 a factor of y?
True
Let y = 45 + 25. Suppose 0 = 2*h - 0*q + q - 79, -2*q - 136 = -3*h. Let s = y - h. Does 14 divide s?
True
Let z = -33 + 5. Let q = -18 - z. Is 10 a factor of q?
True
Let l(a) = -a**2 + 14*a + 4. Let r be l(6). Suppose -h + 14 = -2*z + 3*z, -2*z + 4*h = -r. Is z a multiple of 9?
True
Let a(i) = 5*i - 4. Let p(k) = -k**3 + 9*k**2 - 10*k + 10. Let t be p(8). Let b = 9 + t. Is a(b) a multiple of 5?
False
Suppose 4*n = n + 24. Suppose 0 = -12*v + 11*v + 12. Suppose 5*o - n = v. Is o a multiple of 3?
False
Suppose -5*j = -2*b - 319, -2*b - 236 = -4*j + 20. Is j a multiple of 21?
True
Let u be 1 + 4/(4/7). Let y(d) = d**3 - 9*d**2 + 11*d + 3. Is y(u) a multiple of 9?
True
Suppose -2*d + 45 + 13 = 0. Suppose 116 - d = 3*z. Does 10 divide z?
False
Suppose 0 = -2*q + 81 + 9. Does 25 divide q?
False
Let j be 16/20*5/2. Suppose -12 + 66 = j*x. Is x a multiple of 12?
False
Let h(r) = -r**3 + 7*r**2 + r + 3. Let m be h(6). Suppose -5*a - m = -0*a. Does 7 divide (a/4)/(3/(-12))?
False
Let q be 1/(-6) - (-39)/18. Suppose 0 = -q*a + 5*a - 81. Is a a multiple of 11?
False
Let n be 4/(-10) + 255/75. Suppose -r = n - 8. Is r a multiple of 5?
True
Suppose 0*w + 4*w - 20 = 0. Is 5 a factor of w?
True
Let z be (2/(-4))/((-5)/10). Let k(n) = -n - 2. Let a be k(-6). Let f = a - z. Does 2 divide f?
False
Let h = 261 + -69. Is h a multiple of 48?
True
Let i be 183/(-3)*(2 + -1). Let y = -7 - i. Does 27 divide y?
True
Is 18 a factor of -1*6/2 - -57?
True
Let a(m) = -5*m**2 - 3*m**2 + 3*m**2 - 11*m + 5 + m**3. Suppose 3*c = -2*c + 35. Is 13 a factor of a(c)?
True
Suppose -6*x - 10 = 3*w - 4*x, -4*w + 4*x + 20 = 0. Suppose y + 0*y = w. Suppose y = -2*u + 1 + 7. Does 4 divide u?
True
Let u(w) = 0*w**2 - 2*w + w**3 + 0 - 6*w**2 - 2. Does 13 divide u(7)?
False
Suppose -4*j = -j - 39. Is j a multiple of 13?
True
Let w be (4 + -2 - 0) + 1. Is 5 a factor of 28/10*(w + 2)?
False
Suppose 0*n - 130 = -3*n + 5*g, -5*n + 238 = -3*g. Is 20 a factor of n?
False
Suppose 0 = 5*z - 36 + 11. Is z a multiple of 5?
True
Let k be (3/(-3) - 0)*-27. Suppose 6*l = 3*l + k. Is 6 a factor of l?
False
Suppose 0*k = -5*k + 360. Is k a multiple of 24?
True
Let c = -90 - -127. Suppose 2*x + 1 = -9, c = 4*y - x. Is y a multiple of 4?
True
Let a(y) = 4*y**2 - 4*y + 2. Is a(3) a multiple of 13?
True
Let z(g) = -g + 46. Let d = 3 + -3. Is 14 a factor of z(d)?
False
Let n(a) = -a**3 + 5*a**2 + 7*a - 3. Let i be n(6). Suppose h - 6 = 5*q, 2*h + q = -i*h + 160. Is h a multiple of 10?
False
Suppose 6*o - 24 = 2*o + 5*j, 0 = 3*o + 3*j + 9. Suppose 3*z + o = 4. Let p = 8 - z. Is 4 a factor of p?
False
Let i be (2 - (3 - 0))*11. Let g(n) = n**2 + 5*n + 10. Does 26 divide g(i)?
False
Let i = 32 + -12. Let o = i - -14. Does 17 divide o?
True
Let z be (30/3 - 0)*-1. Let q(d) = 31*d + 66. Let h(b) = 6*b + 13. Let w(c) = -11*h(c) + 2*q(c). Is 20 a factor of w(z)?
False
Is 55 + 0 + -3 + 1 a multiple of 14?
False
Suppose z = 2*z. Suppose -3*k = 4*x - 18, -3*k + z = -3*x + 3. Suppose -18 = -4*b + k*i, b - i = -3*b + 19. Is 3 a factor of b?
False
Let f = 188 + 48. Does 13 divide f?
False
Is (-68)/51*9/(-2) even?
True
Suppose 0*t + t + 4 = 2*u, 4 = -3*u + 4*t. Does 13 divide u + -3 + -3 - -28?
True
Let h(s) be the third derivative of 1/10*s**5 + 0*s + s**2 - 1/24*s**4 + 0*s**3 + 1/120*s**6 + 0. Is 3 a factor of h(-6)?
True
Let l(b) = -3*b**2 - 18*b + 7. Is 2 a factor of l(-5)?
True
Let a(v) = -v**2 + 4*v - 3. Let h be a(2). Let m = 2 + h. Does 3 divide m?
True
Suppose -2*t + 5*u = 3*t - 35, -3*u - 6 = 2*t. Let y(m) = -m**2 - 16*m - 4. Let i be y(-12). Suppose i = t*d + d. Is 10 a factor of d?
False
Let i be (-1 + -2)/(1/(-9)). Let n = i - 13. Is 14 a factor of n?
True
Let w = 126 + -68. Does 18 divide w - (3 + -6 - -7)?
True
Let u = 48 - 10. Does 8 divide u?
False
Let s = 23 + -15. Let h(l) = -l**3 + 7*l**2 + 10*l - 1. Let u be h(s). Does 5 divide (-5 - -1)*u/(-4)?
True
Let o(u) = u + 6. Let s be 3/3*(1 + -1). Let z be o(s). Let m = -1 + z. Is 5 a factor of m?
True
Suppose -4*b - 51 = -2*i + b, 135 = 5*i - 5*b. Is i a multiple of 15?
False
Suppose -2*g + 3*g - 29 = 0. Does 7 divide g?
False
Let i(x) = -x**3 - x**2 - 2*x - 3. Let b be i(-2). Suppose 2*h - 8*m + 3*m - 31 = 0, -b*h = 3*m - 93. Is 9 a factor of h?
True
Let s = -1 + 1. Let k(l) = l**3 + 4. Let t be k(s). Does 14 divide (t/2)/(1/14)?
True
Suppose 0 = -0*b - 5*b + 100. Suppose -4*l - b = 0, h + 0*l = 4*l + 27. Suppose 0 = i - h + 2. Is 5 a factor of i?
True
Suppose 0 = 2*j - 5*t - 192, -104 + 9 = -j + 2*t. Does 13 divide j?
True
Let r be (5 + -2)/(3/2). Suppose -8 - 6 = -r*j. Is j a multiple of 7?
True
Let t(w) = -w + 3. Is 3 a factor of t(-3)?
True
Let k(s) = -4*s + 96. Is k(0) a multi