factor of z?
False
Suppose 6*t = 2*t, -16 = -2*l + 2*t. Does 4 divide l?
True
Suppose 153 = q + 2*q - 3*r, 3*q + 2*r - 148 = 0. Does 25 divide q?
True
Let h(v) = v**2 - 2*v + 7. Suppose -36 = -0*u - 3*u. Suppose 0 = -5*n + 13 + u. Is 11 a factor of h(n)?
True
Let s = -31 - -56. Is s a multiple of 25?
True
Let c = 1257 + -663. Is c/21 - 2/7 a multiple of 10?
False
Let c(q) = q**3 + 4*q**2 + q - 3. Let s be c(-3). Suppose 2*t + s*a = -47 + 130, -2*a + 202 = 5*t. Is 12 a factor of t?
False
Is 13 a factor of 105/6*12/5?
False
Suppose -8*l + 4*l + 5 = -y, 3*y - 9 = 0. Let k(u) = -u**3 + u**l + u - u**2 - 1 + 0*u**2 - u**2. Is 7 a factor of k(-3)?
True
Let u = 103 + -52. Let n be 2/(-4) - (-846)/4. Suppose n = 4*f + u. Is f a multiple of 24?
False
Let a(n) = -n**3 - 15*n**2 - 7*n - 45. Is a(-15) a multiple of 12?
True
Let u(z) = -3*z + z + 4 - 2. Suppose -b - 18 = 3*b + 3*k, 3*b + 4*k = -17. Is 5 a factor of u(b)?
False
Let c(r) = 14*r**2 - 29*r + 3. Is c(7) a multiple of 18?
True
Let a(s) = s**3 - 5*s**2 + 4*s - 2. Let p be a(2). Let o = p - -14. Is o a multiple of 8?
True
Suppose 2*i = 4 + 8. Let n = i + 24. Is n a multiple of 10?
True
Suppose -n + 44 = 1. Is n a multiple of 13?
False
Suppose 2 = -m - 0*a - 2*a, 12 = -m + 3*a. Let n be 76/12 - 4/m. Suppose 0 = -2*v + 61 + n. Is v a multiple of 17?
True
Suppose -2*b = 92 - 302. Does 15 divide b?
True
Let g(o) = -o**3 - 10*o**2 - o + 7. Does 17 divide g(-10)?
True
Let r be -4 + 2 + -1 + 6. Is (-19)/((1 - 4)/r) a multiple of 15?
False
Let u(o) = -o**2 + 14*o. Let f be u(14). Suppose -3*d - w + 220 = -f*w, -3*d - 3*w + 216 = 0. Is d a multiple of 14?
False
Let f(a) = -a**2 - 6*a + 1. Let c be f(-4). Let r = c + 21. Is r a multiple of 10?
True
Does 29 divide -174*(0 + -3)/((-8)/(-4))?
True
Is 12/(-66) - 862/(-22) a multiple of 10?
False
Suppose 2*q - x - 26 = 0, -3*q - 4*x = -3*x - 34. Is q a multiple of 6?
True
Let b(l) = 4*l**3 + 2*l**2 + 5*l. Is 47 a factor of b(3)?
True
Let g = -70 + 133. Does 12 divide g?
False
Let v = -6 - -8. Let d = 2 - v. Does 7 divide d + -1 + 2 - -15?
False
Suppose -5 = s + 4*s - 3*n, -4 = 4*s + 5*n. Is s/(((-16)/(-44))/(-4)) a multiple of 5?
False
Let g(l) = 28*l**3 + l**2 + l - 2. Does 7 divide g(1)?
True
Suppose 59 = 2*g - g. Let l(s) = s**3 + 4*s**2 - 5*s**2 - 21 + g. Is 19 a factor of l(0)?
True
Let g(c) be the second derivative of c**4/12 + 7*c**3/6 + 7*c**2/2 + 4*c. Let w be g(-6). Let k(p) = 2*p + 1. Does 3 divide k(w)?
True
Is 1628/20 - 2/5 a multiple of 34?
False
Suppose -3*s + 4*a = -116, 0 = -4*a - 4 - 4. Is 9 a factor of s?
True
Let w = 16 + -10. Let f be 477/21 + w/21. Suppose -f + 87 = 2*h. Is h a multiple of 16?
True
Suppose 3*m - 10 = 2. Suppose 3*b + 2*u - 26 = 0, -b + m*u - 5 = 5. Is b even?
True
Suppose 2*i = 4*w - 0*i + 292, -298 = 4*w - 5*i. Is (w/(-28))/((-2)/(-14)) a multiple of 13?
False
Let z = -45 + 69. Is 16 a factor of z?
False
Suppose -3*h = 77 - 11. Let u = 17 - h. Is u a multiple of 13?
True
Suppose -u + 14 + 30 = 0. Is 22 a factor of u?
True
Suppose 0*u + 4*u = 8. Suppose 1 = -u*b - 1. Is 20/(0 + 0 - b) a multiple of 14?
False
Suppose 7*z = 5*z + 48. Suppose -2*v - 6*p + p = -z, 4*v = 4*p + 104. Is 11 a factor of v?
True
Suppose 0 = 4*g + 2*m + 150, -2*g + 140 = -5*g + 4*m. Does 6 divide (g/(-30))/((-4)/(-18))?
True
Let c(s) = s**3 - 5*s**2 + 6. Does 3 divide c(5)?
True
Let r(f) = f**3 - 12*f**2 + 6*f - 12. Let k = 8 - -4. Is r(k) a multiple of 20?
True
Suppose 0 = 3*g - 2*g - 3. Suppose 56 = 4*z + c, -7 = 2*z - g*z - 2*c. Is z a multiple of 12?
False
Suppose -5*l = 2*a + 17, 6*a = 4*a + 5*l + 33. Is (12/(-15))/(a/(-260)) a multiple of 13?
True
Let u(d) = 3*d**2. Let w be u(1). Let l = -5 + w. Is (-2 - -6) + l/(-2) a multiple of 2?
False
Let i(z) = 5*z - z - 2*z + 10. Is 10 a factor of i(5)?
True
Suppose 0 = 4*r - 507 - 333. Does 15 divide r?
True
Let r(b) = -8*b + 14*b + 13*b. Let v be r(3). Suppose -3*o + v = 3. Is o a multiple of 12?
False
Let o(k) = -2*k - 5. Let h be o(-4). Suppose -l - 3*c = 4*l - 55, 27 = 3*l + h*c. Is 8 a factor of l?
False
Let o be (-2)/(-8) - (-430)/8. Is 19 a factor of 12/o + (-259)/(-9)?
False
Let o be 3/3*2 - -7. Suppose 1 = -5*w - o. Does 9 divide (-9)/6*w - -6?
True
Suppose -l + 29 = -55. Is 9 a factor of l?
False
Let h = 198 + -88. Does 32 divide h?
False
Let k(h) = -h**2 - 16*h - 9. Is k(-9) a multiple of 18?
True
Let u(c) = 3*c + 1. Let t be u(1). Let o = t - -34. Is 15 a factor of o?
False
Let a(k) = 2*k**2 + 2*k + 1. Let n be (0 + 4)*1/2. Is 13 a factor of a(n)?
True
Let h be (-18)/(2/(-4) - 1). Let b be (h/15)/(1/(-5)). Is 14 a factor of ((-8)/12)/(b/138)?
False
Suppose 4*q + 70 = -5*z, -5*q - 5*z + 4*z - 77 = 0. Let g(f) = f**2 - 7. Let a be g(6). Let v = q + a. Is v a multiple of 5?
False
Suppose 7 + 2 = h. Is 16 a factor of (-2)/h - 578/(-9)?
True
Suppose 4*l - 5*s - 1130 = 0, 690 = 2*l - 5*s + 120. Does 40 divide l?
True
Let l(j) = -j**2 + 11*j - 8. Let q be l(9). Let v(k) = 2*k - 9. Does 4 divide v(q)?
False
Suppose 0 = -3*w - 2*j + 7, -4*w + j - 6*j + 14 = 0. Is w - -1 - (-26 - -1) a multiple of 8?
False
Suppose -4 = n + n. Let j = 0 + n. Does 5 divide (-1)/j + (-26)/(-4)?
False
Let m(d) = 11*d - 3. Let g be m(3). Let w be -1*8*g/(-4). Suppose -5*f = -c - 108, 0*c + 3*c + w = 3*f. Does 22 divide f?
True
Let o(n) = n**3 + 14*n**2 + 14*n - 5. Does 23 divide o(-12)?
True
Let o(u) be the second derivative of u**4/3 - u**3/2 - 2*u. Let s be o(2). Is 11 a factor of -3 - -5 - (1 - s)?
True
Let l(k) = -k + 11. Let g be l(9). Suppose -g*f - 70 = -7*f. Does 14 divide f?
True
Let y(s) = -2*s**3 - 3*s**2 + 3*s + 2. Let z be y(-3). Suppose 0*u + u = z. Is 10 a factor of u?
True
Suppose 9 - 5 = z. Is z + 4/2 + 16 a multiple of 13?
False
Suppose -15 = -4*g - g. Suppose -4 = -2*b - 2*b - 3*l, 0 = -b - g*l - 8. Does 4 divide b?
True
Let b = 104 - 70. Let k = -20 + b. Is 6 a factor of k?
False
Let i = 91 + -57. Let z = 48 - i. Does 6 divide z - 0 - (-2)/(-1)?
True
Let n = -13 + 8. Let m(r) = -r**2 - 5*r + 4 + 4 - 2 + 1. Does 3 divide m(n)?
False
Let v(a) be the second derivative of a**4/12 - 4*a**3/3 - 2*a**2 + 3*a. Is v(11) a multiple of 17?
False
Suppose 2*h = v - 22 - 24, 4*v + 2*h - 164 = 0. Does 14 divide v?
True
Let i = -153 + 487. Is i a multiple of 42?
False
Suppose -14*o = -16*o + 90. Is o even?
False
Let z = 352 + -176. Is z a multiple of 16?
True
Suppose 5*l - 2*z - 1 - 3 = 0, -l = 2*z - 8. Suppose y - 10 = 3*j, y + 2*j - 24 = -l*j. Is 5 a factor of y?
False
Let t(j) = -j**2 + 13*j - 10. Let m be t(12). Suppose -2*f + m = 6. Let w = 10 + f. Is 8 a factor of w?
True
Let g = 106 + 54. Let h = g - 60. Suppose 5*v - h = -0*v. Does 10 divide v?
True
Suppose -47 - 133 = -2*z. Is z a multiple of 23?
False
Let t(q) = 6*q - 17. Let u be t(6). Suppose -i = 4*s - 79, s - u - 6 = 5*i. Is 10 a factor of s?
True
Let j = -13 + 24. Let g = j - -7. Is 9 a factor of g?
True
Suppose 3*i - r = -98, -r = 3*i + r + 110. Let v = i + 49. Is v a multiple of 15?
True
Let n be 1 - (0 - 6/3). Let v be (-3)/12 + n/12. Let c(y) = y**3 + y + 22. Does 8 divide c(v)?
False
Suppose -2*x + 5*x + 26 = 5*a, -4*a + 18 = -x. Suppose a = -d + 3. Does 6 divide (d - -1)/(-3) - -16?
False
Let q(z) = 15*z**3 + 6*z**2 - 2*z + 1. Let n(c) = 14*c**3 + 7*c**2 - 2*c + 1. Suppose -3*f + 4*f + 5 = 0. Let b(o) = f*n(o) + 6*q(o). Is b(1) a multiple of 15?
False
Suppose 3*j = 2*j + 5*k + 75, -4*j + 236 = -4*k. Is 11 a factor of j?
True
Let q be (-6)/(-2)*(-8)/(-12). Suppose 4*h = -4*x - 28, 0 = -x + 3*x - q*h + 10. Is 25 + -1 + (-6 - x) a multiple of 9?
False
Let d = 1 - -1. Suppose -m + 34 = d*k + m, -44 = -4*k + 4*m. Is k a multiple of 8?
False
Suppose x = 3*x - 50. Does 5 divide x?
True
Suppose -385 = -7*h + 2*h. Does 17 divide h?
False
Let x(a) be the second derivative of a**5/20 - 7*a**4/12 - 5*a**3/3 + a**2/2 + a. Let n be x(8). Let s = 27 + n. Is s a multiple of 12?
True
Let s be -2 - -12 - (3 - 1). Suppose -w - s = 2*p, 0 = 3*w + p + p + 32. Is (-1 - 0)*w - 2 a multiple of 7?
False
Suppose 2*l = l. Suppose 3*v - 23 + 8 = l. Suppose 3*w = v*w - 10. Is w a multiple of 2?
False
Let n(d) = -2*d - 5. Let v be n(-6). Suppose -3*m = -2 - v. Does 10 divide m/((-2)/10*-1)?
False
Suppose 0 = d + 23 - 2. Let c be 4/14 - 78/d. Suppose -5*x = -c*t - 87, -3*t 