)?
False
Let g(t) = 3*t - 31. Is 13 a factor of g(18)?
False
Let g(d) = d**3 - 3*d**2 + 2*d - 1. Let u be g(2). Let q = -6 - u. Is 5 a factor of (q/3)/((-2)/12)?
True
Suppose -4*r = h - 64, h - 176 = -h + 4*r. Suppose -3*k - 17 = -h. Is 7 a factor of k?
True
Suppose 0*a - 36 = -3*j + 4*a, j - 4*a - 20 = 0. Suppose -4*w = 2*l - 4 - j, 3*l + 2 = 4*w. Suppose 0 = -k + 4*f + 13, -w*f - f = k - 13. Does 13 divide k?
True
Does 29 divide -6*1/(-8) - 113/(-4)?
True
Suppose -6 = k - 4. Let s be (-1 - -2)*(2 + k). Does 2 divide -3 + 8 - s/2?
False
Let x be -4*(-3)/(-2*3). Let q be x - (-1 + 2 + -2). Is 6 a factor of q/2 - 125/(-10)?
True
Suppose 80 = j - 2*o, -j - 4*o = -0*j - 92. Let h = -46 + j. Is h a multiple of 12?
False
Let f = 105 + 95. Does 25 divide f?
True
Let w(j) = 6*j + 4*j - 2*j - 3*j. Let h be w(1). Let q = 33 - h. Is 14 a factor of q?
True
Suppose 3*v = -0*v + 6. Suppose 4*s = 2*s - f + 94, -v*s + 106 = 4*f. Let l = s + -21. Is l a multiple of 12?
True
Let q = -11 - -9. Does 12 divide q/(-9) + 421/9?
False
Let u be (5 - -1)/((-3)/(-2)). Let x be (-14)/u + (-2)/(-4). Does 7 divide x - (1 - 2*9)?
True
Let a(t) = -2*t - 9. Let n be a(-8). Is 2 a factor of 7*((-6)/n)/(-3)?
True
Does 5 divide 150/5*(-1)/(-2)?
True
Let o(j) = j**3 - 12*j**2 - j + 17. Let z be o(12). Suppose -42 = -v - 3*u + 29, -z = -5*u. Is v a multiple of 15?
False
Let y(g) = g**3 + 7*g**2 - 10*g - 1. Does 6 divide y(-8)?
False
Let i(q) = q**3 - 4*q**2 + 3. Let g be i(3). Let a be (-2)/(-3)*g/(-2). Is 13 a factor of -8 + 7 + 80/a?
True
Suppose 0 = -5*g + 10, 2*x + 2*g = -2*x + 4. Let k(q) = -q + 12. Is k(x) a multiple of 12?
True
Let m(l) = l**2 + l - 12. Let y be m(0). Let r be (-22)/8 + 3/y. Is 7 a factor of 9 - (-1 - (0 + r))?
True
Suppose 3*v = -v + 12. Suppose 0 = v*q - 4*r - 15, 4*r + 12 = -0. Is 18 a factor of q/(2/92) + 2?
False
Suppose 2*l = n + 87, n - 56 = -l - n. Does 23 divide l?
True
Let v be (-16 + 0)*1/(-2). Suppose 2*x + x = 108. Suppose -v*t + 5*t = -x. Is t a multiple of 12?
True
Let o be (-11)/(-4) + 9/36. Suppose -o*d = 2 + 16. Let w(h) = h**3 + 5*h**2 - 8*h - 4. Does 8 divide w(d)?
True
Let m(r) = r**3 + 6*r**2 + 5*r + 4. Is 5 a factor of m(-2)?
True
Let z = 3 - 4. Let u(a) = 6*a**2 + a + 1. Let r be u(z). Suppose g - r*g - 270 = -5*d, -276 = -5*d - g. Does 20 divide d?
False
Let t(o) = o**2 + 7*o + 10. Let w be (-6)/9*66/4. Is t(w) a multiple of 18?
True
Suppose v - 3 = -2. Let k(d) = 21*d**2 + d - 1. Let p(a) = 62*a**2 + 3*a - 3. Let j(g) = -8*k(g) + 3*p(g). Is j(v) a multiple of 10?
False
Suppose -6*j = -7*j. Let q = j - -12. Does 12 divide q?
True
Let u(y) = -61*y - 5. Is u(-2) a multiple of 32?
False
Let c be (-7 + 1 + 0)*37. Let k be c/(-7) + (-2)/(-7). Suppose 4*o + 3*v = k, 2*o - v = 3*o - 8. Is o a multiple of 4?
True
Let c(a) = 13*a + 1. Let t(l) = 27*l + 1. Let n(k) = -5*c(k) + 2*t(k). Suppose 6*s = -s - 21. Is 10 a factor of n(s)?
True
Let b(c) = -300*c**3 + c**2 - 1. Does 25 divide b(-1)?
True
Let t = 38 + 15. Suppose -h = -0*h - t. Is 23 a factor of h?
False
Suppose -2*l + 5 = -l. Let q be (1 + 2/(-5))*l. Suppose 89 + 39 = q*x + 4*h, -h = -2*x + 67. Does 12 divide x?
True
Let g(l) = -23*l + 2. Is g(-2) a multiple of 7?
False
Suppose z - f = 2, 3*z = -5*f - 3 + 17. Suppose -v - 2*v = z. Is 8 a factor of (v + 0)/((-5)/45)?
False
Let v be (4/5)/((-4)/(-20)). Suppose 5*o + 5*h = 2*o + 317, v*o = h + 461. Is o/3 - 4/(-2) a multiple of 12?
False
Let r = 2 + 6. Suppose a - r = -a. Suppose -7 - 5 = 4*k, -4*x + 24 = a*k. Does 3 divide x?
True
Suppose -3*q - 4*b + 1 = 9, 5*b + 37 = 3*q. Suppose 0 = -4*h - 0*h. Suppose h = -5*r + 64 - q. Is 6 a factor of r?
True
Is 38 a factor of (1 - 96)*8/(-20)*2?
True
Suppose 1 = 3*i - 2. Does 19 divide i + ((-40)/(-1) - 3)?
True
Suppose -2*a - 5*c - 1738 - 282 = 0, -c + 5077 = -5*a. Does 19 divide 1/(-6) + a/(-42)?
False
Suppose 10 + 4 = 2*q. Let l(g) = g**3 - 8*g**2 + 8*g + 8. Does 9 divide l(q)?
False
Let y(u) = u**2 + 7*u + 8. Is y(-11) a multiple of 13?
True
Let m be 4/18 + (-222)/27. Is 16 a factor of (-4 - 2)/(3/m)?
True
Let y(n) = -n**2 - 4*n. Let s be y(-6). Does 11 divide s/(-42) + (-75)/(-7)?
True
Let k(s) = 0*s**2 + 4*s + 2 - s**2 + 3 - 1. Is k(3) even?
False
Let m be 1/3 + (-98)/6. Suppose q - 139 = -4*o, -3*o + 125 = -3*q + 32. Let u = m + o. Is 9 a factor of u?
True
Let y be 2*1 + -1 + 0. Is 18 a factor of (18 - 1 - 0) + y?
True
Let z = 25 - -17. Is 21 a factor of z?
True
Let n(k) = k**3 - k**2 - k - 1. Let p(z) = 5*z**3 + 3*z**2 - 18*z - 9. Let o(d) = 4*n(d) - p(d). Let c be (-36)/2*(-1)/8*-4. Is o(c) a multiple of 14?
False
Let x = 10 - 5. Suppose -71 = -x*r - 2*p + 14, -5*r = -4*p - 55. Is r a multiple of 15?
True
Suppose -14 = -3*z + 34. Does 5 divide z?
False
Let h(w) = -4*w**3 - w**2 + 3*w + 3. Suppose 5*r + 40 = 5*n, -3*r + 4*n - 4 = -6*r. Let m be r/(-26) - (-84)/(-39). Does 9 divide h(m)?
False
Let w(p) = p**3 + p**2 - 1. Let r be w(-1). Is (2 + r)*-3 - -70 a multiple of 27?
False
Let d(c) = c - 1. Let y be d(5). Suppose 3*p + 4 = -p. Let j = y + p. Does 2 divide j?
False
Suppose 15 = 2*j + q, -j = q - 5*q - 21. Suppose 3*n = m + 44, n - m + 4 = 20. Let i = n - j. Is 4 a factor of i?
False
Suppose 1 = -f + 22. Suppose -84 + f = -3*w. Is 7 a factor of w?
True
Let z(v) = -2*v + 0*v + 0 + 0 - 3. Is z(-11) a multiple of 12?
False
Let a(i) = -5*i - 56. Does 19 divide a(-31)?
False
Let n = 3 - 0. Suppose -6 = n*y - d, 4*d - 13 = -3*y + 4*y. Is 21 a factor of y/(-1)*(-42)/(-2)?
True
Let b(o) be the first derivative of 1/4*o**4 - 7/3*o**3 - 8*o + 5*o**2 + 2. Does 16 divide b(6)?
True
Let i(f) = 4*f + 4*f + 10 + f**2 + 3*f. Let z be i(-7). Let g = z + 30. Is g a multiple of 12?
True
Let z(k) = 4*k - 1 + 2*k**2 + 1 + k**2 + 3. Does 6 divide z(-3)?
True
Suppose 5*y = 90 - 20. Let q(d) = -d**2 - 5*d + 7. Let j be q(-6). Is 3/9*(y + j) even?
False
Suppose 9 = -5*i + 8*i. Suppose -t = i*s - 26, -2*t = -t + s - 20. Is 17 a factor of t?
True
Let t(v) = v**2. Let c be t(3). Let b(j) = -j**3 + 10*j**2 - 8*j - 1. Is b(c) a multiple of 5?
False
Suppose -6*m + 17 = 5. Suppose -m*a - 2*h + 45 = -63, a - h - 50 = 0. Is a a multiple of 18?
False
Let i(m) = 25*m + 3. Let j be i(-2). Let t = -113 - j. Let o = t + 97. Is o a multiple of 10?
False
Suppose 2*n + m = 6*m - 3, 3 = 2*n + m. Let o be n*(1 + -9 - -1). Let u = o - -11. Is 3 a factor of u?
False
Let h(u) = 3*u**2 - 4. Is h(-2) a multiple of 4?
True
Suppose o - 21 = 7. Does 6 divide o?
False
Let z(t) = -2*t. Let q be 26/(-22) + 4/22. Let x be z(q). Is x*15/24*4 a multiple of 2?
False
Let b be ((-2)/(-6))/(1/9). Suppose 0 = 4*g + 8, s - 2*g - 3*g - 15 = 0. Suppose -5*r - s*t = -145, 2*r + 2*r - 120 = -b*t. Is r a multiple of 13?
False
Is ((-64)/5)/((-36)/270) a multiple of 13?
False
Suppose -n = -2, -h - 4*h - 3*n + 6 = 0. Suppose 3*k - 516 = -h*k - 3*w, 3*w = 4*k - 716. Suppose -5*a + k + 4 = 0. Does 13 divide a?
False
Let l be (-12)/4*10/3. Let i = -35 + 0. Is 220/14 + l/i a multiple of 16?
True
Let q = -22 + 22. Suppose -5*h + 2*h + 105 = q. Is 35 a factor of h?
True
Suppose 0 = -5*n - 5 + 35. Suppose -n*w = -w - 20. Suppose 5*o - 22 = w*o. Is 16 a factor of o?
False
Let f be (2 - (1 + 2))*-2. Let q(x) be the third derivative of x**6/120 + x**5/60 - x**4/24 + x**3/3 + 2*x**2. Is q(f) a multiple of 7?
False
Suppose -7*z = -256 - 136. Is z a multiple of 14?
True
Suppose 4*a - 40 = -5*t, -4*a + t + 16 = -0*a. Let v(m) = 1 - m - a + 4*m**2 + 3 - m**3. Does 2 divide v(3)?
False
Let m(z) be the third derivative of z**5/60 - z**4/12 - z**3/2 + 7*z**2. Suppose 3 = -3*s - 6. Does 8 divide m(s)?
False
Suppose 2*m = -5*j + 198, 0 = -2*m + 2*j + 243 - 17. Is 23 a factor of m?
False
Let o(v) be the first derivative of 2*v**3/3 + 2*v**2 - 5*v + 2. Is 12 a factor of o(-6)?
False
Let y be (1 - 8)/(2/(-6)). Suppose 3*j + 24 = 3. Let q = y - j. Does 14 divide q?
True
Let z(k) = -k**3 + 7*k**2 + k + 8. Is 10 a factor of z(7)?
False
Let k(z) = 16*z - 27. Is k(7) a multiple of 17?
True
Is 4 a factor of (16/2)/(12/(-3) - -5)?
True
Suppose 0 = 4*m - 23 - 13. Let o(l) = -l**3 + 11*l**2 - 10*l - 10. Does 31 divide o(m)?
True
Suppose 10*i - 62 - 148 = 0. Is i a multiple of 5?
False
Suppose -5*r + 343 = 4*t, -2*t - 3*r - r + 170 = 0. Is 15 a factor of t?
False
Let x(y) = -y - 7. 