tiple of 4?
True
Is (-14)/56 - (-1658)/8 a multiple of 3?
True
Let y(r) be the first derivative of r**4/4 + 5*r**3/3 - 7*r**2/2 + 10*r - 6. Is 16 a factor of y(-6)?
True
Suppose i - 22 = -24, -2*h = 5*i - 1706. Does 13 divide h?
True
Let x = -48 + 50. Suppose -3*d = 0, -7*b + x*b + 3*d = -150. Does 10 divide b?
True
Suppose -3*d - 4*t + 734 = 0, -1270 = -8*d + 3*d + 5*t. Does 4 divide d?
False
Let y(t) = 7*t - 4. Suppose j = -4*o + 5, 0 = 2*o + 3*o - 3*j - 19. Let c be y(o). Suppose c*m = 11*m - 40. Is 8 a factor of m?
True
Let c(f) = f**2 + 8*f - 2. Let a be c(-8). Let o(s) = -19*s**3 - 3*s**2 - 4*s - 4. Is 12 a factor of o(a)?
True
Suppose -64 = -10*v + 66. Is 7 a factor of v?
False
Let n(x) = 9*x**2 - 2*x - 7. Let c be n(-5). Let o be (-10)/(-15) - 1434/(-9). Let a = c - o. Is 19 a factor of a?
False
Let d(f) = f - f**3 + 2*f**3 - 7 + f**2 + 8*f**2 + 0. Let j be d(-5). Let k = j - 56. Does 13 divide k?
False
Suppose -3*v + 15 = 3. Suppose v*l + 19 = 231. Suppose -4*z + 4 = 0, z - 4*z = -2*b + l. Is 7 a factor of b?
True
Suppose -2*u + 4*f = 12, -f + 35 = 5*u + 2*f. Does 2 divide (-13 + -5)*(-2)/u?
False
Let r = -21 - -18. Let b = r - 5. Is ((-12)/b)/((-3)/(-54)) a multiple of 19?
False
Let d = 410 + -144. Suppose 2*x = -5*x + d. Is x a multiple of 11?
False
Let a(j) = 4*j**2 - 14*j - 82. Is a(-8) a multiple of 3?
False
Let y(a) = -a**3 + 10*a**2 + 30*a - 16. Let x be y(12). Suppose f - x = 2*b - 0*b, 3*f - 153 = b. Is 3 a factor of f?
False
Let r(b) = -b**3 - b**2 + 4*b - 2. Let g be r(-3). Suppose 4*w - 5*z - 254 = 0, -3*w + g*z + 213 = 23. Does 22 divide w?
True
Let m be (-2)/8 + ((-8883)/(-12) - -1). Suppose 3*s - 5*g + 7*g = 547, 4*s = -5*g + m. Is s a multiple of 37?
False
Let s(b) = -b**3 - 12*b**2 - 7*b - 21. Let r be s(-10). Let i = -91 - r. Is 5 a factor of i?
True
Let i(t) = 0 + 35*t - 2 + 35*t - 23*t. Let u(z) = 48*z - 2. Let h(v) = 4*i(v) - 3*u(v). Is h(1) a multiple of 13?
False
Suppose 0 = -5*v - 2*t + 299 + 213, -v + 99 = -3*t. Is v a multiple of 43?
False
Let a(y) = 25*y**2 + 2*y + 3. Suppose 9*x + 7 = -2. Is 9 a factor of a(x)?
False
Let y be (-153)/(-68) + 2/(-8). Suppose 0*n + 117 = 4*n + 5*r, 0 = -2*n - y*r + 58. Does 10 divide n?
False
Let c be (-3)/(-1) + 0 + -3. Suppose -3*f = -3*l + 75, 0 = -3*l - c*l + 4*f + 78. Suppose 3*y = l + 26. Is 12 a factor of y?
False
Let z(a) = 28*a + 2. Let n be z(3). Suppose n = -2*s + 216. Let p = 92 - s. Is 7 a factor of p?
False
Suppose 4 = x - 0. Suppose x*g + 2*n = 1 + 13, 0 = 3*g - 2*n - 7. Suppose 4*o - 55 = -3*f, 0*o - o + 25 = -g*f. Is 8 a factor of o?
True
Suppose 5*d - 5*g - 1315 = 0, 0 = 4*d + 24*g - 20*g - 1060. Is d a multiple of 22?
True
Let v = -68 - 34. Let h = -48 - v. Is h a multiple of 21?
False
Let x(u) = -u + 28. Suppose -5*s + 2*c = 4*c + 95, 3*s + 4*c + 71 = 0. Is x(s) a multiple of 5?
True
Suppose 0 = -6*x + 20*x - 20440. Is x a multiple of 73?
True
Let s(t) = t + 1. Let y be s(8). Let r = y - 18. Let b = 15 + r. Is b even?
True
Let y be 1 + (-1 + -2)*-1. Suppose y*f + 22 = 98. Let v = 37 - f. Is v a multiple of 9?
True
Suppose o - 36 = 4*h, -2*o - 3*h + 17 = -0*h. Suppose 1 = -s - 2*b, -7*s = -3*s + 2*b + o. Let f(l) = -l**3 - 3*l**2 + 5*l - 4. Does 9 divide f(s)?
False
Let w be ((-4)/10)/((-2)/3640). Suppose -910 - w = -13*z. Is 21 a factor of z?
True
Is 13 a factor of ((-1)/(-3))/((-16)/(-26352))?
False
Suppose 11*g + 14589 = 14*g - 4*z, 5*g = -z + 24292. Is g a multiple of 46?
False
Is (-9 - -821)*1/2 a multiple of 14?
True
Let t(i) = -2*i**3 + 5*i**2 + 10*i + 2. Let n(x) = -x**3 + x + 1. Let z(g) = 3*n(g) - t(g). Does 18 divide z(-5)?
True
Suppose -p - 20 = -1. Suppose 53*x - 14*x + 1794 = 0. Let q = p - x. Is 6 a factor of q?
False
Let z = 7 - 10. Does 2 divide 24/4*z/(-2)?
False
Suppose 0 = -53*d + 49*d + 16. Let t(i) = 6*i**2 + i + 9. Does 5 divide t(d)?
False
Does 50 divide 5 + 300 + 11 + -4?
False
Let a(b) = 5 + 9*b + 3*b**2 - 3*b + 1. Let c(g) = -3*g + 25. Let w be c(10). Does 14 divide a(w)?
False
Let w be ((-4)/(-6))/(4/42). Let n(c) = c + w - 6*c + 4*c. Is 6 a factor of n(-6)?
False
Let g = -4 + 6. Suppose -4*p + 99 - 32 = i, 4*p + 158 = g*i. Is i a multiple of 15?
True
Let n(m) = -126*m + 266. Is 112 a factor of n(-5)?
True
Suppose 0 = -2*v - 4*n + 10, -2*v + 12 = -0*n + 2*n. Suppose -u + 0 = -v. Suppose -10*w + u*w + 75 = 0. Is 7 a factor of w?
False
Suppose 0 = -4*w - 2*w + 12. Suppose -3*a + 4*v = 6*v - 119, 2*a - 80 = -w*v. Is a a multiple of 3?
True
Let o(r) = r**3 + 10*r**2 - 8*r + 1. Let a = -8 + 9. Suppose k + 11 = a. Is 12 a factor of o(k)?
False
Let v(j) = -j**3 - 4*j**2 - 2*j. Let f = -33 - -29. Let w be v(f). Suppose 54 = w*r - 10. Is 2 a factor of r?
True
Let k = -8 + 2. Let l be k/(-27) - 94/18. Let u = l + 21. Does 16 divide u?
True
Suppose 0*b = -b + 375. Suppose 0 = 19*h - 14*h - b. Is h a multiple of 9?
False
Let m(f) = -f**3 + 16*f**2 - 30*f + 35. Does 10 divide m(11)?
True
Let x(w) = 7*w**3 - 21*w**2 - 7*w - 23. Let i(l) = 3*l**3 - 10*l**2 - 4*l - 12. Let a(s) = 5*i(s) - 2*x(s). Is 21 a factor of a(10)?
True
Suppose 1236*j = 1227*j + 14643. Is 13 a factor of j?
False
Let g(t) = -14*t + 56. Does 5 divide g(-6)?
True
Let a be (18/30)/3 + (-249)/(-5). Suppose -4*j = 2*f - a, -2*j - 3*f = -21 + 2. Is 2 a factor of j?
True
Suppose 33 = -4*n + 41. Is 11 a factor of (-30)/10 + n/(2/63)?
False
Suppose -2*o + 155 = 3*j, 0 = -2*j - 5*o + 6*o + 101. Suppose 0 = 4*a - j - 9. Is a a multiple of 15?
True
Let b(k) = -11*k - 4. Let s(o) be the first derivative of -2*o**2 - o - 3. Let u(y) = -6*b(y) + 21*s(y). Is u(-2) a multiple of 13?
True
Let k(n) = 374*n**2 + 8*n + 10. Does 73 divide k(3)?
False
Let y = 125 - 194. Let p = 219 + y. Is 25 a factor of p?
True
Suppose -6*l - 2430 = -15*l. Is l a multiple of 15?
True
Let u = 17 + -19. Let g(d) = 3*d**2 + d + 2. Let c be g(u). Is 4 a factor of 8/c - (-185)/15?
False
Suppose -z + 5*q + 153 = 0, -z - 4*q - 4 = -130. Is 23 a factor of z?
True
Let t(b) = 3*b - 11. Suppose -x = 3*h - 9, 2*h - 26 = -4*x - 0*h. Is 5 a factor of t(x)?
False
Let q(c) = 3*c**3 - 4*c**2 - 3*c + 2. Let u(y) = -8*y**3 + 11*y**2 + 8*y - 5. Let k(a) = -11*q(a) - 4*u(a). Let b be k(-3). Is b - 4/12*0 a multiple of 8?
False
Let w(o) = 10*o**2 + 30*o + 16. Does 28 divide w(8)?
True
Let j be 10/25 + (-13)/(-5). Suppose 6 + 6 = j*a. Suppose -5*h + a = -461. Is h a multiple of 34?
False
Suppose -3*b = 2*b - 20. Suppose w = -w + d + 129, b*d - 12 = 0. Is 15 a factor of w?
False
Let b(u) = 2*u**3 + 2*u**2 - 6*u - 1. Let k = -14 + 16. Is b(k) a multiple of 11?
True
Let c(l) = l**2 - 18*l - 8. Is 6 a factor of c(24)?
False
Suppose -i + 0*i + 15 = -3*w, -3*i - 5*w = -31. Suppose 3*a = 12 + i. Is a even?
True
Does 33 divide (25 - 0)*(-2310)/(-175)?
True
Does 12 divide 20*(-5)/(-40)*262?
False
Let u(x) = -4*x**2 + 10*x - 1. Let p(d) = -7*d**2 + 20*d - 1. Let y(o) = -6*p(o) + 11*u(o). Let z be y(-7). Let f = 75 + z. Does 11 divide f?
False
Let x be -1 + (-2 - 70) + 3. Is (x/(-15) + 1)*54 a multiple of 51?
True
Let p(k) = 23*k**2 - 2*k - 1. Let r be p(-1). Let n be (-4)/2*(-852)/r. Suppose -5*f = -2*g - 263, 0*g = f - 5*g - n. Is 17 a factor of f?
True
Is 3 a factor of 1125 - ((3 - 7) + 0)?
False
Let y = 223 - 160. Is 9 a factor of y?
True
Suppose -29 - 35 = -4*i. Suppose p - 4 = 3*o + i, 4 = o. Suppose -p = 4*b - 152. Is 15 a factor of b?
True
Let f = -4 - 2. Does 29 divide f/2 - (-64 - -2)?
False
Suppose 0*h + 3*c + 516 = h, -2*h + c = -1012. Is h a multiple of 47?
False
Let d(c) = 10*c**3 - 12*c**2 - 3*c + 3. Is d(4) a multiple of 26?
False
Let i(u) = u**3 - 8. Let k be i(0). Let m be (-4)/((-4)/k*-4). Suppose x - 127 - 74 = -5*n, -2*x + m = 0. Is 7 a factor of n?
False
Does 59 divide 3 + (2 - -708) + 8?
False
Let s(g) = 2*g + 26. Let q be s(-11). Suppose -9*u + 755 = -q*u. Is u a multiple of 17?
False
Let b be 3*(-1)/(-3)*-1 - -136. Let h = b + -18. Does 16 divide h?
False
Let t(u) = -2*u**3 - 2*u**2 - 3*u - 1. Let p = 3 - 5. Is 7 a factor of t(p)?
False
Suppose -3*r = -r + 28. Does 11 divide (88/(-6))/(r/21)?
True
Let w(o) = -7*o + 9. Let l be w(2). Let m = 45 + l. Is m a multiple of 20?
True
Let k = 931 + -870. Does 4 divide k?
False
Suppose -4*i = 29 + 19. Let v be i/3 + 1*-15. Let y = v + 45. Is 14 a factor of y?
False
Let i(d) = 