de q(3)?
True
Does 54 divide 3303/6 + (2 - -4)/(-12)?
False
Suppose 5 = -3*c - 1. Let d = 67 - -61. Is 6 a factor of (d/(-40))/(c/5)?
False
Let t(g) = 40*g**3 + g**2 - 2*g + 1. Let a be t(1). Suppose u - 3 - a = 0. Suppose 0 = -2*p + 5*f + u, -4*p - 2*f = -f - 31. Is 3 a factor of p?
True
Let l(m) = -56*m - 2. Let r be l(-2). Suppose -3*n - r = -o, 2 = 5*o + 5*n - 448. Suppose 5*v - 155 = o. Does 25 divide v?
True
Does 19 divide (-15960)/18*(-18)/12?
True
Let x = -750 + 1372. Suppose -3*o - 4*v - 400 = -5*o, 5*v - x = -3*o. Is o a multiple of 34?
True
Let f be 1 + 468/(-21) + (-2)/(-7). Is (119/f - -6)/((-2)/(-948)) a multiple of 18?
False
Is ((-9 + 5)*(-243 + 1))/1 a multiple of 14?
False
Let y be -9 + (-1*6)/(-2). Let k be (-4)/6*y/2. Suppose -3*h + k*h + 48 = 0. Does 16 divide h?
True
Let t = 63 + 777. Is 20 a factor of t?
True
Let a(p) = 2*p**3 + 2*p**2 - 5*p + 5. Let d(g) = 3*g**2 - 1. Let c be d(1). Does 19 divide a(c)?
True
Suppose -3*t - 3*i = -421 - 38, -3*t + 459 = -3*i. Is t a multiple of 9?
True
Let m(w) = 0*w + 1 + 1 - 3*w. Let s be (-95)/(-15) - 7 - (-1)/(-3). Does 3 divide m(s)?
False
Let y = 161 + -65. Suppose 0 = -0*z - 2*z + y. Is 5 a factor of z?
False
Let x = -7 + 8. Let f be (2 + -1 + -3)*x. Let n(i) = -7*i - 1. Is 4 a factor of n(f)?
False
Suppose -268 = 4*n - 72. Let m = n - -99. Does 7 divide m?
False
Suppose 2*v = q + 739, 2*v - 3*q = -q + 736. Is 7 a factor of v?
True
Let q(a) = a**3 - 9*a**2 - 10*a. Let z be q(10). Suppose 5*u - 32 + 12 = z. Suppose 2*m + 138 = u*r, -5*m - 156 - 19 = -5*r. Does 9 divide r?
False
Suppose -5*d - 6 = -4*y, -20 = -2*d - 4*y - 0*y. Let l be -36 - 0 - d - -3. Is (-12)/(10/l - 0) a multiple of 6?
True
Let i = 4 - 0. Let h be (0 - i)*22/(-8). Suppose -4*y + 3*d = -92 + h, 4*d - 25 = -y. Does 8 divide y?
False
Suppose -78 = 7*q - 9*q + 5*n, 0 = -3*q + 2*n + 106. Is q a multiple of 2?
True
Let h(u) = 22*u + 2. Let v(i) = -i**2 - 5*i - 4. Let j be v(-3). Let b be h(j). Suppose 0*p - 2*p = -b. Does 15 divide p?
False
Is 1*(172 + -5) - 0/4 a multiple of 4?
False
Let z(v) = 14*v**3 + v**2 - 1. Let c be z(1). Suppose 1170 = -c*u + 24*u. Does 15 divide u?
False
Let v = -5150 + 7295. Is 55 a factor of v?
True
Let x = 3 - 7. Let l(b) = -5*b**3 + 13*b**2 - 12*b - 8. Let u(t) = -4*t**3 + 12*t**2 - 11*t - 7. Let v(g) = -5*l(g) + 6*u(g). Is 20 a factor of v(x)?
False
Let g(y) = -3*y**2 + 8*y - 1. Let z(c) = c + 1. Let j(q) = -g(q) - 6*z(q). Is j(-6) a multiple of 7?
False
Let o(n) = 15*n + 5. Let k(m) = 45*m + 14. Let h be (14/6)/((-1)/3). Let t(y) = h*o(y) + 2*k(y). Is t(-5) a multiple of 16?
False
Let w(l) = -l**2 - 16*l + 5. Let m = 76 - 84. Is w(m) a multiple of 13?
False
Suppose 2*p + 5*x = 187, -4*p - 2*x + 385 = -3*x. Is 48 a factor of p?
True
Let z(s) = -3*s**3 - 17*s**2 - 23*s + 14. Let k(p) = -p**3 + 5 - 34*p**2 - 8*p + 10*p**2 + 18*p**2. Let l(i) = -17*k(i) + 6*z(i). Is l(-3) a multiple of 8?
True
Is 88568/72 - 3/27 a multiple of 41?
True
Suppose 3*i = -i - 40. Let x be (-446)/(-18) + i/(-45). Let a = x + 1. Does 8 divide a?
False
Suppose 10*z - 16*z = -5652. Does 32 divide z?
False
Suppose 4*k + 5*z - 88 = 0, 5*k = -z - 0*z + 89. Is k a multiple of 8?
False
Let a(w) = w + 15. Let v be a(0). Let u be 19/7 - 3 - 2/(-7). Suppose u = 8*l - 7*l - v. Does 4 divide l?
False
Let j = -480 + 1720. Is j a multiple of 16?
False
Let v be ((-2)/(-4 + 2))/(-1). Let q(g) = -71*g**3 - 2*g**2 + 1. Let j be q(v). Suppose 0 = 4*y - 2*d - j, 3*y - 19 - 36 = -d. Does 9 divide y?
True
Let h = -14 + 16. Suppose z + 0 = -2*m + h, 2*z + 2 = 2*m. Suppose 3*a - 5*x = -0*x + 129, z = -4*a - 5*x + 172. Does 13 divide a?
False
Let s(c) = 13*c**2 + 4*c + 5. Is 2 a factor of s(-1)?
True
Let k = 306 + -216. Is 3 a factor of k?
True
Let w(z) = 2 - 8*z**2 + 3*z**2 - z - 4*z. Let b(s) = -11*s**2 - 10*s + 3. Let d(n) = 4*b(n) - 9*w(n). Is 14 a factor of d(-9)?
False
Let u(c) = 4*c - 11. Let y(i) = 7*i - 23. Let n(l) = -5*u(l) + 3*y(l). Let r be n(7). Let a(h) = -h**3 - 6*h**2 + 4*h - 2. Is 5 a factor of a(r)?
False
Suppose -368 = -3*g + 5*s, g - s - 120 = -0*s. Is g a multiple of 29?
True
Let b(n) = -n + 2*n - 3*n. Let f be (-30)/25*(-10)/(-3). Is 8 a factor of b(f)?
True
Let u(o) = -2*o**2 - o - 11. Let m(l) = -2*l**2 - l - 10. Let a(s) = -7*m(s) + 6*u(s). Suppose -4*q + 12 = -3*r - 3, -r - 5 = -4*q. Does 2 divide a(q)?
True
Let t = -11 + 11. Suppose t = -r - 3*p + 93, -16 = p - 5*p. Does 27 divide r?
True
Let o = -225 - -264. Is o a multiple of 3?
True
Let w = 3994 + -2169. Is 25 a factor of w?
True
Suppose 10*k - 2 = 12*k. Let v(y) = -8*y + 2. Is 2 a factor of v(k)?
True
Let g(o) = 2*o. Suppose 1 = 4*d - 3. Let v be g(d). Is 7 - (v/2 - 1) a multiple of 7?
True
Let t be 4 + 561/9 - (-2)/3. Suppose m - 8 = t. Is 16 a factor of m?
False
Is (-6*10/5)/((-9)/6) a multiple of 4?
True
Let o(w) = -w**3 - w**2 + 4*w - 3. Let d be o(-4). Suppose -h + 4 = -1. Suppose h*u - 21 = d. Is u a multiple of 5?
True
Suppose 14879 = 31*t - 59862. Does 5 divide t?
False
Does 71 divide (-3)/(-4)*((-1420)/(-3))/5?
True
Let r = 34 - 14. Suppose 4*p + 0*p = -r. Is 74/(-8)*(p - -1) a multiple of 21?
False
Suppose 4*d - m - 14 = m, 0 = -5*d - 3*m + 1. Let h be 30/6 - 4/d. Suppose -h = -l + 7. Is 6 a factor of l?
False
Suppose 1416 = -59*o + 71*o. Is o a multiple of 14?
False
Let t = 43 + 5. Suppose 0 = m - i + 12 + 16, -2*m = -4*i + t. Is 2/(-8) + (-3048)/m a multiple of 19?
True
Let g = 2233 + -1273. Is g a multiple of 40?
True
Does 61 divide 6/(-27) - 20048/(-63)?
False
Let l(c) = 2*c + 4. Let d be l(-2). Suppose d = -o + y + 12, -2*o + 4*y = 3*o - 59. Does 2 divide o?
False
Suppose -3*m + 2*k + 577 = k, -3*m - 3*k = -573. Let i be (-982)/8 + 6/8. Let t = i + m. Does 14 divide t?
True
Let w(f) be the second derivative of -f**4/3 + 2*f**3/3 + 4*f**2 + 4*f. Let o be w(4). Is 4 a factor of (6/(-5))/(6/o)?
True
Suppose -2*a = -59 + 53. Suppose -a*o - 120 = -4*o. Is o a multiple of 15?
True
Let w(k) = 4 - 4 + 8*k**2 - k + 2*k - 1. Let j be (-3 + 2)/(3/(-9)). Is 14 a factor of w(j)?
False
Suppose -4*a = -0*a + 4*k - 2964, -k = 3*a - 2215. Is 67 a factor of a?
True
Suppose -3*z = 4*o - 590 - 1981, -3*o + 1902 = -3*z. Does 112 divide o?
False
Let x(a) = -a**2 - 9*a - 7. Let p be x(-8). Is 6 a factor of 3 + (p + 8)*3?
True
Suppose 3*d + 3*a - 46 = 2*d, 3*d + 2*a - 166 = 0. Is 5 a factor of 4 - (5 - 5 - d)?
False
Let l(b) = 3*b + 4. Suppose 2*d - 5*d + 48 = 0. Suppose -d = -2*s - 0. Is 20 a factor of l(s)?
False
Let b = -9 - -13. Does 11 divide 57 - b*(-3)/(-12)?
False
Let w be 55/11 - (-1 + 1). Suppose 2*f + w*f - 126 = 0. Is f a multiple of 9?
True
Let d(g) = -g**3 + 10*g**2 - 18*g + 9. Let s be d(9). Is 21 a factor of s/(-4)*(-21)/(-2)?
True
Suppose 5*p + 99 + 56 = 0. Let q = 325 + p. Is 49 a factor of q?
True
Suppose 8*m = 2*m + 2940. Is 16 a factor of m?
False
Does 114 divide (-15)/45 - 38312/(-24)?
True
Suppose -5*j = 355 + 205. Suppose -145 = i + 52. Let f = j - i. Does 18 divide f?
False
Suppose -3*c + 436 = 5*h + 66, h = 2*c - 225. Suppose -2*b + 343 = c. Is b a multiple of 19?
True
Let s be ((-6)/12)/(2/(-24)). Suppose -b - 5*g - 26 = 0, 6 + 142 = -4*b + 2*g. Is 20 a factor of (-100)/s*b/15?
True
Let n(r) = -180*r**3 - 3*r**2 - r + 4. Let w be 2 + 1 - (-1 + 1). Let p be n(w). Is p/(-126) + (-2)/(-9) a multiple of 8?
False
Is 23 a factor of 8 + ((-8916)/(-27) - (-16)/(-72))?
False
Let u(h) = h**3 - 7*h**2 + 6*h - 4. Let v be u(6). Does 28 divide 8 + v - 3 - (-56 + 1)?
True
Let j(n) = -2*n**2 - 16*n + 2. Let a be j(-8). Suppose 3*b - 40 = -5*s, a*s + 0*s = 5*b + 16. Is s*-1*(-5)/5 a multiple of 2?
True
Let q = 6 + 5. Let c(r) = 6*r - 30. Is c(q) a multiple of 36?
True
Let c(j) = j**2 - 2*j - 11. Let h = -16 + 25. Does 15 divide c(h)?
False
Suppose 96 = 3*b + 99. Let c(q) = -1 - 7*q - 35*q**3 + 3*q + 3*q. Does 15 divide c(b)?
False
Let s = 2046 + -1848. Is s a multiple of 9?
True
Let b = 1 + -1. Suppose 3*n + 0 - 3 = 0, 0 = -5*c - n + 16. Suppose b = -c*r + 74 - 8. Is 11 a factor of r?
True
Let z = -153 - -103. Let q = z + 104. Is q a multiple of 7?
False
Suppose -r + 19 = 2*g, g = -0*g - 4*r + 6. Is 82 - (-35)/(-14)*(-8)/g a multiple of 21?
True
Is 8 a factor of 25284/102 - 40/(-340)?
True
Suppose -13*u + 10*u + 654 = 0. Let a = -155 + u. Does 8 divid