i a multiple of 7?
True
Let n = 7 + -1. Suppose -5*i = -2*t + 19, 35 = 2*t - 3*i + n. Is 13 a factor of t?
False
Let j be (0 - (1 - 1)) + 5. Let x(p) = -15*p - 18. Let l(h) = 6*h + 7. Let q(t) = j*x(t) + 12*l(t). Does 4 divide q(-5)?
False
Suppose -o + 17 = -38. Suppose r - 3*h + 37 + o = 0, 4*r = h - 324. Is 3*(r/(-6))/4 a multiple of 5?
True
Let p = -14 - -29. Is 5 a factor of p?
True
Suppose 0 = 3*v + 5*m, -v - 2*m = m + 4. Let q = v - 1. Suppose -z + q*j + 30 = 0, 2*z + 3*j = -3*z + 81. Is z a multiple of 9?
True
Suppose 0 = -17*o + 24*o - 392. Does 5 divide o?
False
Let b be ((-10)/(-6))/(4/36). Suppose 0 = 4*c + 2*x - 18, -5*c + x + 4*x = b. Suppose c*h - 25 = -m, -h = -4*m - m + 15. Is h a multiple of 5?
True
Let u(s) = -s**3 + s**2 + 3*s - 3. Let o be u(2). Is o/1*(-14 + 1) a multiple of 13?
True
Let m(d) = 17*d**2 - 20*d + 5. Let p(t) = 6*t**2 - 7*t + 2. Let i(w) = 4*m(w) - 11*p(w). Is 7 a factor of i(3)?
True
Suppose 0 = 3*u + u - 3*m - 277, -4*u = -5*m - 275. Does 14 divide u?
True
Let v = -284 + 446. Is v a multiple of 9?
True
Suppose -l = 3*l - 4*v + 8, 0 = 4*l - 2*v. Suppose -4*w + l*h + 0*h = -38, 4*h = -2*w + 14. Let t = w + -5. Is 3 a factor of t?
False
Let l = -29 - -68. Is 13 a factor of l?
True
Let f(a) = a + 1. Let l(u) = -9*u - 6. Let q(s) = 2*f(s) + l(s). Is 9 a factor of q(-3)?
False
Let v(r) = -2*r**2 - 5*r + 6. Suppose 0*c + 15 = -3*c. Let t be v(c). Let m = -8 - t. Does 10 divide m?
False
Let p(d) = d**3 + 6*d**2 - 8. Suppose 5*u - 15 = 5*n, -5*n + 3*u = -u + 18. Let z be p(n). Let t = z + 22. Does 8 divide t?
False
Let k(v) = -v**2 + 2*v**2 + 1 + 2*v**2 - 2. Is 12 a factor of k(4)?
False
Let c(k) = -6*k**3 - k**2 - 2*k. Let g(m) = -m**2 + 3*m + 4. Let z be g(4). Let f = z + -2. Is c(f) a multiple of 19?
False
Suppose 10 - 3 = z + 3*b, 0 = 5*b + 5. Let t = 42 - 114. Does 18 divide (0 - t)*5/z?
True
Let j = 137 - 12. Suppose -5*s - j = 3*v, 2*s + 100 = -2*s - v. Let o = s - -51. Does 13 divide o?
True
Let g(x) = -x. Let f(t) = -t - 5. Let w be f(-7). Suppose -u + 3*u = w, -4*y - 3*u - 17 = 0. Is g(y) a multiple of 2?
False
Is 15 a factor of (2/(-1) - 1) + 2*9?
True
Let s(a) = 4*a**2 + 5*a**2 + 2 + 0 - 4*a**2 - 3*a. Does 8 divide s(2)?
True
Let f(i) be the first derivative of -i**3/3 - 3*i**2 + 6*i - 2. Does 11 divide f(-5)?
True
Suppose -w + 0*w - s = 26, -5*w - 114 = s. Is (w/(-8))/((-2)/(-8)) a multiple of 2?
False
Let d be (-7 + 1)/(-3)*4. Suppose -4*b = p + 193, 3*b = d*b + 3*p + 250. Let v = -22 - b. Does 12 divide v?
False
Suppose 5*u - 7 = 3*o, -2*o - u + 7 = 3*o. Let p be (-1 + (-1 - o))/1. Does 16 divide (p/(-2))/((-15)/(-160))?
True
Let r(c) = -9*c - 14. Is r(-6) a multiple of 10?
True
Suppose -t - 3*t + 120 = 0. Let x = 74 + t. Suppose 2*w - x = -2*w. Is w a multiple of 10?
False
Suppose g = 6*g. Suppose -3*a - 26 = -4*x + 53, -5*x + a + 85 = g. Is x a multiple of 8?
True
Suppose -t + 25 = 2*k, -6*t + k = -3*t - 103. Does 16 divide t?
False
Let g = 5 + -9. Let w = 6 + g. Suppose w*r - 7 = r. Is r a multiple of 3?
False
Does 10 divide (31/(-2))/(12/(-24))?
False
Let y = 33 - 15. Does 5 divide y?
False
Let a be (3/(-6))/((-2)/24). Does 17 divide 588/a*2/4?
False
Does 3 divide -10 + 25 - (-1 - 1)?
False
Suppose 24 - 294 = -6*a. Does 15 divide a?
True
Suppose -5*p - 5*z = -260, 3*p - 3*z + 2*z = 140. Does 12 divide p?
True
Let v(b) = -b**2 - 9*b + 4. Let g be (-16)/(-3 - (-1 - 1)). Suppose 2*o - 4 = -g. Is v(o) a multiple of 12?
False
Let j(k) be the third derivative of k**6/120 - k**5/5 + k**4/12 + 5*k**3/2 - 6*k**2. Is j(12) a multiple of 9?
False
Let s(w) = -11*w**2 + 2. Let o be s(-2). Let v be (-382)/(-14) - (-12)/o. Suppose 4 = n - v. Is 12 a factor of n?
False
Let d = 10 - -140. Is d a multiple of 25?
True
Let r(w) = 2*w**2 - 4*w + 1. Let x(j) = -4*j**2 + 9*j - 2. Let c(l) = 10*r(l) + 4*x(l). Is 10 a factor of c(2)?
True
Let h be ((-1)/(-3))/(2/(-6)). Let s be h/(((-4)/62)/2). Let y = s + -15. Is y a multiple of 16?
True
Let v(m) = m**3 - 5*m**2 - 7. Let i be v(5). Let q = i + 9. Is q*(0/(-3) - -17) a multiple of 15?
False
Let t be 2154/15 - 8/(-20). Let s = 63 + t. Suppose 166 = 4*b - 2*u, -2*u - s = 2*b - 7*b. Is 15 a factor of b?
False
Suppose p + 2*p - 3 = 0. Is 100*p*4/10 a multiple of 20?
True
Suppose -8*d + 8 = -4*d. Suppose 5*l - 97 = -3*a + 137, 0 = d*a + 4. Does 14 divide l?
False
Let a be ((-5)/3)/(2/6). Let t = 8 + a. Suppose -25 - 11 = -t*m. Is 12 a factor of m?
True
Suppose q + 3*q = 168. Let m = 95 - q. Suppose -3*z + 4*z = m. Does 18 divide z?
False
Suppose 3*h + 9 = z, 19 = 3*z - 3*h - 2*h. Suppose b + 44 = z*j, -j - b + 4 = -8. Is 14 a factor of j?
True
Let q = -1 - -4. Let k be (-4 + q)/(1/(-3)). Suppose 4*x = 7*x + 3*d - 39, 2*d - 37 = -k*x. Does 11 divide x?
True
Suppose 0 = 10*z - 13*z + 60. Is z a multiple of 9?
False
Suppose -2*c + 11 = -3*c + 4*k, -c + 21 = 4*k. Suppose -322 = -5*z + c*p - p, 5*z + 3*p - 336 = 0. Is z a multiple of 22?
True
Suppose -4*m + 5*m - 30 = -n, -5*n + m = -156. Does 29 divide n?
False
Suppose -8*x + 13*x - 240 = 0. Is 7 a factor of x?
False
Let u(w) = w**3. Let k be u(0). Suppose 5*d - 40 - 65 = k. Let i = d - 7. Does 14 divide i?
True
Suppose m + 3*o + 336 = 6*m, 0 = 3*m - o - 200. Is 7 a factor of m?
False
Let r = 570 - 270. Suppose -4*b = -8*o + 3*o + 375, -4*o - b = -r. Is 25 a factor of o?
True
Let c(q) be the second derivative of q**4/12 - q. Let g be c(-1). Let f = 7 - g. Does 6 divide f?
True
Let r be ((-2)/(-3))/((-8)/(-24)). Suppose 6 = r*l - 66. Is 9 a factor of l?
True
Let a be (-1)/5 + (-48)/(-15). Suppose -a*c + 129 = -3*l + 27, 71 = 2*c + l. Does 12 divide c?
False
Suppose -v = -5*g - 110, -3*v + 4*g + 330 = -0*g. Is v a multiple of 10?
True
Suppose 0 = -p + k - 17, -2*p - 2*k = -p + 8. Suppose 0*w - 27 = -w. Let j = p + w. Is j a multiple of 13?
True
Does 13 divide (-1 - 0/5) + 40/1?
True
Does 16 divide ((-11)/(-2) + -4)*76/6?
False
Let z = 360 + -250. Is z a multiple of 11?
True
Suppose -5*b + 385 = 2*c, -4*c = 3*b - 130 - 115. Is 14 a factor of b?
False
Let y(u) = -2*u - 4. Let v(s) = s. Let g(j) = -v(j) - y(j). Let o be g(0). Is (-2)/o + (-38)/(-4) a multiple of 9?
True
Suppose 2*h = 16 - 2. Let b be 44/h - (-4)/(-14). Suppose c = 12 + b. Is 6 a factor of c?
True
Let r(i) = -4*i**2 + 5 + i**3 - 7 - 6*i - 1. Suppose 15 = -4*t + 39. Is 12 a factor of r(t)?
False
Suppose -d + 19 = 4*d - 3*p, p + 1 = -d. Suppose -3*k - 4 = a + k, d*a - k - 28 = 0. Let g = a - -8. Is g a multiple of 14?
False
Suppose -129 = -5*w - 4*t, -5*w + 2*t = -t - 122. Does 5 divide w?
True
Let y(n) = 7*n - 8. Let x be y(10). Suppose -f - x = -2*f. Is f a multiple of 24?
False
Let c = 75 + -41. Is 34 a factor of c?
True
Suppose -q - 29 = -9*g + 4*g, 0 = 5*q + 20. Suppose 0 = -2*c + 78 + 424. Suppose g*k = -16 + c. Is 18 a factor of k?
False
Let z(y) = 1 + 7*y**2 - 1 + 0*y**2 + 4 - y**3. Let s be z(7). Suppose s*c + 0*c = 108. Does 17 divide c?
False
Let z be (6/4)/((-2)/(-4)). Let a be 12/z - 2/2. Suppose a*h + 2*w = 40, -5*h - 25 = -w - 109. Does 8 divide h?
True
Suppose 332 = -4*p - 2*j + 4*j, 4*p + j + 320 = 0. Let y = p + 176. Suppose 4*w - y = 9. Does 8 divide w?
False
Is ((-4)/12*2)/(2/(-480)) a multiple of 31?
False
Suppose 2*o - 6*o - 4*z = -344, 4*o - 339 = z. Is 11 a factor of o?
False
Suppose -4*f = 2*w - 14, 13 = -f + w + 4*w. Does 2 divide f?
True
Let x = -21 + 38. Is x a multiple of 2?
False
Suppose 0 = 2*w - 144 - 92. Is 16 a factor of w?
False
Let v(c) be the third derivative of -c**5/60 - 5*c**4/24 + c**3/6 - c**2. Is v(-3) a multiple of 3?
False
Let r = -8 + 22. Is 3 a factor of r?
False
Let v = -25 + 18. Let u = v - -27. Does 10 divide u?
True
Let t(a) = -a**2 + 5*a + 1. Let s(l) = -l**2 + 2*l**2 - 6*l - 4 + 0*l**2. Let q be s(7). Does 3 divide t(q)?
False
Is 14 a factor of (42 - (0 + 1)) + (-23 - -23)?
False
Suppose -3*d - 3 = -2*d. Let s = -5 + 22. Let m = d + s. Does 9 divide m?
False
Suppose -61 - 79 = -5*a. Is a a multiple of 15?
False
Is 4 a factor of -3 - (-12 - 6/3)?
False
Suppose -2*q + 34 = -2*a - 0*a, 0 = -4*q + 2*a + 66. Let y = 10 + q. Does 7 divide y?
False
Let p(v) = -v**3 - 9*v**2 + 8*v. Is p(-10) a multiple of 6?
False
Let n(r) = -10*r - 85. Does 11 divide n(-24)?
False
Let q be 2/6 - 6/18. Suppose -2*c + q*i = -3*i - 10, -8 = 