 + 20/(-90)?
False
Suppose 5*x - 3*x + 78 = 0. Let a = 73 + x. Does 10 divide a?
False
Let m(t) = -3*t**3 + 5*t - t + 0 + 3 - 5 - 6*t**2. Is 19 a factor of m(-5)?
False
Suppose -4*d + 1632 = 5*m - 643, -m + 449 = 2*d. Is 24 a factor of m?
False
Let d(z) = -z**2 + 5*z - 7. Let c be d(7). Is 10 a factor of c*2/6*-8?
False
Let p be 1 + (1 - 0/4). Suppose p*n = 7*n + 4*u - 12, -4*n + 3*u = 9. Suppose n = -2*f - 0*f + 104. Is 13 a factor of f?
True
Suppose -22 = -w - w - 3*p, 5*w - 5*p = 5. Suppose q = w*k + 83, 4*k + 73 = -2*q + 1. Let l = k - -37. Is l a multiple of 10?
True
Let b be (4*12/(-8) + 3)*-3. Is (-2)/(-6) - (-897)/b a multiple of 20?
True
Let w = 3708 - 1134. Is 13 a factor of w?
True
Let a(h) = 16*h**2 - 24. Let d be a(7). Suppose d = -17*q + 22*q. Is 19 a factor of q?
True
Let c = 51 + 117. Is 16 a factor of c?
False
Suppose -2*h + 0*z + 36 = 5*z, -5*h + 5*z = -55. Let p = -11 + h. Suppose -2*v + 59 = 3*a, 0 = -v - p*v + 4*a + 46. Does 6 divide v?
False
Let v = 14 + 306. Is v a multiple of 83?
False
Suppose -2*u + 9 + 7 = 5*w, 5*w = -u + 13. Let l(h) = -u*h**2 + 12*h - 9 + 3*h + 4*h**2 - 2*h**2. Is l(14) a multiple of 2?
False
Let a(f) = 58*f + 2. Let w = -102 + 104. Does 12 divide a(w)?
False
Does 19 divide (-6)/8*(-284)/((-5)/(-5))?
False
Let k(a) = -a**3 + 2*a**2 + 4*a + 24. Does 2 divide k(0)?
True
Let p be 110/(-3)*(-6 - 0). Suppose y = -y + p. Is 25 a factor of y?
False
Suppose -7860 = -9*x - 11*x. Does 8 divide x?
False
Suppose 8*k - 1050 = -658. Does 9 divide k?
False
Suppose -4*p = -721 + 65. Suppose -4*i - 56 + p = 0. Does 9 divide i?
True
Is ((-5)/(-25)*12)/(3/1800) a multiple of 36?
True
Does 3 divide (-35)/10 + 3 + 442/4?
False
Suppose -4*a = -1260 + 108. Suppose 29*c = 31*c - a. Does 35 divide c?
False
Suppose 8*m - 6930 = -34*m. Is m a multiple of 5?
True
Suppose 0*o + 2*a - 202 = -2*o, 5*o - 497 = 3*a. Suppose -2*d - 2*s = -6*s - o, 2*d - 2*s - 90 = 0. Does 10 divide d?
True
Let x(p) = 63*p**3 - 4*p**2 + p + 6. Does 28 divide x(2)?
False
Let t(z) = -4*z - 2. Let d = 9 + -10. Let m be t(d). Suppose -228 = -5*y + m*y. Is 13 a factor of y?
False
Let x = 53 + -24. Let k = -12 + x. Suppose -20 = -5*j, 3*v = 2*v + j + k. Is v a multiple of 21?
True
Let i = -126 + 126. Let l(c) = -3*c + 90. Does 18 divide l(i)?
True
Let o(b) = -8*b**3 - 3*b - 4. Let i be o(-2). Does 11 divide -4*(-7)/(56/i)?
True
Suppose -n = -2*t, 0 = -5*n + 2*t + 20 + 4. Does 3 divide n?
True
Let f(d) = d**2 - 3*d - 5. Suppose -1 = h - 6. Let t(n) = n**2 - 4*n - 4. Let x(r) = h*f(r) - 4*t(r). Is 10 a factor of x(5)?
False
Suppose 0*g - 2*g + 10 = 0. Suppose -4*v + 2*z - 60 = -294, g*v + 2*z - 306 = 0. Is 15 a factor of v?
True
Suppose 2*y = 4*p + 24, -4*p + 7*p + 21 = 2*y. Is 6 a factor of y?
True
Suppose 4*k = -4*q + 9*q - 1850, 2*q = 3*k + 733. Is q a multiple of 17?
True
Let j = -284 + 450. Does 9 divide j?
False
Let o(y) be the third derivative of -y**4/12 + 5*y**3/3 - 3*y**2. Does 9 divide o(-9)?
False
Let q be (-2)/(-4) + (-1)/(-2). Let o(d) = -d**3 + 6*d**2 - 5*d - 3. Let j be o(5). Let x = q - j. Is x a multiple of 4?
True
Suppose -3*u + 5*b = u - 24, -2*u + 4*b + 12 = 0. Let p = -3 + u. Suppose p*l = -2*l + 475. Does 25 divide l?
False
Let d(n) = n**3 - n**2 + 59 + n**2 + n. Let c = 11 - 11. Is d(c) a multiple of 24?
False
Suppose -23688 = 101*o - 113*o. Is 42 a factor of o?
True
Suppose -2*t + 390 = -3*d + 4*d, t = 4*d - 1569. Is 28 a factor of d?
True
Let b(x) = -31*x. Is b(-1) a multiple of 2?
False
Suppose -6 = -5*f + 4. Suppose b + f*t + 2 = 0, -t = 4*t + 25. Suppose 13*h - 310 = b*h. Is 8 a factor of h?
False
Let w(f) = -f**3 + 14*f**2 - 22*f + 50. Let t be w(12). Suppose 0 = 6*c - 3*c - 330. Let p = c - t. Is p a multiple of 12?
True
Let u(j) = -4*j - 3. Suppose 35*r - 32*r = -9. Does 8 divide u(r)?
False
Let d(b) = -15*b + 8. Let g be d(-9). Suppose -354 = -i + 7*i. Let y = i + g. Does 28 divide y?
True
Let l(p) = -p**3 + p**2. Let n(g) = -g**3 + 8*g**2 - g - 8. Let v(m) = 2*l(m) - n(m). Let s be v(-7). Suppose 20*h = 15*h + s. Is 3 a factor of h?
False
Let y be (-39)/(-5) + (4/(-5) - -1). Let w(k) = 3*k**2 + 7. Is w(y) a multiple of 16?
False
Let s = -102 - -288. Does 23 divide s?
False
Suppose -4*k = -7*k - 384. Let b = 8 + k. Is (b/(-32))/(1/4) a multiple of 11?
False
Suppose i + 5 - 1 = 0. Suppose -11*g - 21 = -120. Is ((-6)/g)/(i/90) a multiple of 3?
True
Let l(r) = 5*r**2 - r + 1. Let y be l(1). Does 9 divide 98/(y - 26/6)?
False
Let f be (3/(-4))/(-3) - 1773/(-12). Let a = -84 + f. Is a a multiple of 8?
True
Suppose -2*y - 4*f = -152, -5*y - 6*f + f = -405. Suppose -y*h + 505 = -81*h. Is 19 a factor of h?
False
Suppose -4*c = 3*a + 2, 1 = -4*a - 7. Is ((-3)/(-6))/(c/108) a multiple of 6?
True
Let g be (-4)/(-18)*-3*(-6)/2. Suppose 230 = h - g*y, -y = 2*h - 341 - 139. Is h a multiple of 22?
False
Suppose 27 = 8*c - 101. Is 3 a factor of c?
False
Let f = -11 - 68. Let o = f + 199. Suppose l = 3*l - o. Is l a multiple of 20?
True
Let l(g) be the second derivative of -g - 7*g**2 + 0 - 7/6*g**3. Is 4 a factor of l(-4)?
False
Let x = 342 + -317. Is 5 a factor of x?
True
Suppose 4 = -9*l + 5*l, 4*o - 2*l = -430. Let v be (-2)/6 + 672/(-9). Let m = v - o. Is 21 a factor of m?
False
Suppose 254 = 8*h - 418. Is 28 a factor of h?
True
Let i = -164 + 258. Suppose -3*p + 2*q = -13 - 85, -3*p = 2*q - i. Is 3 a factor of p?
False
Suppose 4*i + 7*u = 4*u + 3486, 4*i - 3472 = 4*u. Does 29 divide i?
True
Let g be (-148)/(-5) + (7 - (-66)/(-10)). Let r(l) = l**2 + 9*l + 10. Let m be r(-7). Let a = g - m. Is a a multiple of 17?
True
Let a(u) = -13*u - 24. Suppose 3*l - 28 + 76 = 0. Does 23 divide a(l)?
True
Suppose -2*i + 1912 = -n, 73 = -4*n + 57. Is i a multiple of 9?
True
Suppose -c = 3*m - 240, 10*m = -3*c + 6*m + 710. Does 17 divide c?
False
Let c(j) = -3*j**2 + 12*j - 6. Let a be c(3). Is 577/a + 3/(-9) a multiple of 32?
True
Let n(r) = 5*r**2 - 16*r - 20. Let t be n(16). Suppose -9*f + t = -157. Is 43 a factor of f?
True
Suppose v + 47 = -107. Let r = -89 - v. Is r a multiple of 13?
True
Let u(x) = -4*x**2 - 2*x - 6. Let i be u(-7). Is 9 a factor of (1 + -3)*(1 + i/8)?
True
Suppose 11*c + 2340 = 3*j + 13*c, 0 = -3*j - 5*c + 2340. Is 39 a factor of j?
True
Is 7932/96*-2*(-17 + 1) a multiple of 18?
False
Let x = 8 - 5. Suppose 2 = -6*u + 14. Suppose u*h + 51 = x*z, 5*z = -4*h + 73 - 10. Is z a multiple of 5?
True
Let y(a) = 9*a + 7. Suppose 5 = -0*x + x, 5*x = 5*s + 5. Is 16 a factor of y(s)?
False
Suppose 6 = 4*l - 3*o, 8*l + 4 = 3*l - 2*o. Let w be (-10)/(-2) - (0 + l). Suppose 0 = w*a - a - 48. Is 12 a factor of a?
True
Let v be 2/(-18) + (-138)/(-27). Suppose -v*x + 427 = -2*b, -4*b - 440 + 21 = -5*x. Is 34 a factor of x?
False
Let s = 809 - 1580. Let u = s + 439. Is 12 a factor of u/(-14) - 10/(-35)?
True
Let y be (48/(-72))/((0 - -1)/(-66)). Let p = y + -1. Is 9 a factor of p?
False
Suppose 0*s = -2*d + 4*s + 410, 4*d - 820 = 4*s. Is 24 a factor of d?
False
Suppose 0 = -20*p + 570 - 150. Let w(m) = m - 6. Let s be w(6). Suppose 0 = -o + p - s. Is o a multiple of 18?
False
Let u be (-15)/2*-1*6/9. Suppose 0 = u*j - z - 462, 7*j = 3*j + 2*z + 372. Is j a multiple of 11?
False
Let y(j) = -53*j - 166. Does 13 divide y(-30)?
False
Let m(t) = t**2 + t - 5. Let b = -18 + 9. Does 19 divide m(b)?
False
Let p = 420 - 285. Is p a multiple of 24?
False
Suppose 0*b = -5*b + 4*i + 45, 0 = -3*b - 2*i + 49. Let k(y) = y**3 - 14*y**2 + 13*y + 7. Is 7 a factor of k(b)?
True
Let z(m) = 12*m**3 - 14*m + 18. Is 37 a factor of z(6)?
False
Let x(u) = -u**3 - 10*u**2 - 10*u + 2. Let c be x(-9). Suppose 0 = -4*f + c + 1. Suppose 5*j - 199 = -f*v, -5*j + 120 = 2*v - 81. Does 18 divide j?
False
Let h(k) = 1 - 154*k - 150*k + 10*k**3 + 303*k. Is 23 a factor of h(2)?
False
Let t = -1 - -4. Let c be 21*(20/6 - t). Let m(u) = 4*u - 7. Is m(c) a multiple of 16?
False
Let t(s) be the second derivative of -s**6/360 + s**5/60 + 15*s**4/8 - s**3/2 + 14*s. Let o(r) be the second derivative of t(r). Is 9 a factor of o(0)?
True
Suppose -5 = 4*o - 13. Suppose 3*c - 10 = c - o*v, -v = -c - 5. Suppose -3*g + b = 2*g - 142, 3*g + b - 82 = c. Is g a multiple of 17?
False
Let i be (7 - 7) + 2/1. Suppose 0 = -2*z + 4*b + 26, -i*z = -z - 4*b - 23. Does 17 divide 101/z + 1/3?
True
Le