3 - i/(-16))?
False
Let b(f) = -f**2 + 10*f - 24. Let y be b(6). Suppose 3*x - 51 + 6 = y. Is x a multiple of 13?
False
Let n(h) = -23*h**3 + 2*h**2 - 2*h + 1. Let v be n(1). Let w = -20 + v. Let i = w + 60. Is 18 a factor of i?
True
Suppose -5*f + 130 = -0*f. Suppose m - f = t - 2*t, 0 = -5*t - 10. Does 12 divide m?
False
Let d(y) = 5*y**3 - 7*y**2 - y**3 - 3*y - 3*y**3. Is 8 a factor of d(8)?
True
Let l be (336/40)/((-3)/(45/(-6))). Suppose 0 = -l*v + 5*v + 1152. Is v a multiple of 9?
True
Let d(n) = 19*n**3 + 2*n**2 + n - 3. Does 11 divide d(1)?
False
Let z(w) = -18*w**3 + 13*w**3 + 6*w**3 - 21*w + 14*w**2 + 14. Is 16 a factor of z(-15)?
False
Does 4 divide (-1 + -1)/(5 + (-108)/21)?
False
Let x(g) = g**2 - 3*g - 6. Let w be x(5). Suppose -w*n + 15 = -7*n. Is 16 a factor of n*5/((-25)/48)?
True
Let j(z) = -z**3 - 2*z**2 - 2. Let r be j(2). Let c = r - -10. Is ((-60)/c)/((-2)/(-8)) a multiple of 21?
False
Let n(p) = 2*p - 2 + 24*p**2 - 3 + 3 + 0. Does 10 divide n(-2)?
True
Suppose -4*y + 5*i + 10 = -41, 0 = 4*y - 4*i - 52. Let s be y/10*(8 + -3). Suppose -j - 240 = -s*j. Is j a multiple of 17?
False
Suppose 15*z - 6720 = 3*z. Is 40 a factor of z?
True
Let s be -48 - (-2)/(4/6). Let k = 25 + s. Let i = k - -45. Is 15 a factor of i?
False
Suppose i + 2 = -0*i. Is 11 a factor of 2 - (i - -3) - -10?
True
Suppose a = 5, -2*r = -3*r - 2*a + 465. Is r a multiple of 33?
False
Suppose 3*f = -4*s + 4*f + 16, -5*s + 35 = -5*f. Let m be 0 + (-6)/s + 4. Suppose 3*q - 52 = -m*r - q, -2*q + 122 = 4*r. Is 7 a factor of r?
False
Suppose 10*o - 214 = 266. Is 12 a factor of o?
True
Suppose -2*l + 5148 = 11*x - 9*x, -4*x = -l + 2574. Does 99 divide l?
True
Let h(d) = -d**3 + 8*d**2 + 8. Is h(4) a multiple of 6?
True
Suppose 17*k = -13*k + 450. Is k even?
False
Let r(v) = v + 0*v - 4*v + 0*v + 6. Let f be r(2). Is 18 a factor of -3 - (f + 1) - -53?
False
Suppose -5*w + 9*j + 2963 = 6*j, j + 1777 = 3*w. Is 41 a factor of w?
False
Suppose 3*q = -5*b + 68, 3*b + b = -4*q + 56. Does 4 divide b?
False
Suppose 0 = 31*v - 49*v + 7560. Does 14 divide v?
True
Suppose 18*n - 11088 = -3*n. Does 24 divide n?
True
Let n = -20 - -22. Suppose -4*x + 0*u + n*u + 38 = 0, 4*x = 4*u + 36. Does 10 divide x?
True
Let t be -5*(3 + 6/(-3)). Let r(s) = 3*s**2 + 6*s - 3. Is 3 a factor of r(t)?
True
Suppose 2*f = 5*s + 18, 3*f = 2*s - 5*s + 6. Let u(h) = -h**2 - 3*h + 2. Let t be u(s). Suppose 0 = -4*w + t*q - 7*q + 204, -2*q = 0. Is w a multiple of 17?
True
Suppose 0 = 4*p - m - 2*m + 62, -p = 3*m + 8. Let i = 46 + p. Is 32 a factor of i?
True
Let g(p) = -p**3 + 8*p**2 + 2*p - 16. Let r be g(8). Let t(u) = 10 + r*u**3 + u**3 + 313*u - u**2 - 314*u. Does 5 divide t(0)?
True
Let t(k) = -k**3 + 6*k**2 + 6*k + 6. Let q(o) = -o - 7. Let z be q(-13). Is t(z) a multiple of 6?
True
Let b be 268 + 5 + -7 + 5. Suppose -34 = -4*s - 2*z + 310, 3*s - 5*z - b = 0. Does 23 divide s?
False
Is 20 a factor of 2 + -7 + 468 - 1?
False
Suppose 3*p + 1654 = 8*p + 3*z, 0 = -4*p + z + 1330. Is p a multiple of 20?
False
Let t be (0 - -1 - 2) + 6. Let a = t - -8. Let c = a - 10. Is 3 a factor of c?
True
Let w(y) = 3*y + 0*y + 5*y**2 - 24 - 2*y**2 - 2*y. Is 29 a factor of w(-7)?
True
Let q be 8/((-1)/(-1))*-23. Let k = -119 - q. Is 29 a factor of k?
False
Let v(t) = t - 5. Let m be v(8). Suppose m*c = 7*c - 12. Suppose 4 = c*k - 5, -5*k - 50 = -5*i. Is i a multiple of 13?
True
Suppose -15*t + 12*t = -12. Is 6 a factor of (-12)/(2/((-8)/22) + t)?
False
Is 14 a factor of 2/(-12) + 1514/12?
True
Suppose 4*u + 8*v - 3*v - 3273 = 0, u - 2*v - 815 = 0. Is 40 a factor of u?
False
Let p(k) = k - 1. Let t(c) = -1. Let a(y) = -4*p(y) + 5*t(y). Let u be a(-1). Suppose u*r = -15 + 66. Is 6 a factor of r?
False
Suppose -192*l - 4080 = -200*l. Is l a multiple of 9?
False
Suppose 0 = 3*a - 4*n - 14 + 3, 4*a - 5*n = 16. Let b(y) = -18*y**2 + a*y + 9 + 20*y**2 + 9. Is 13 a factor of b(-8)?
False
Let g = 8 - -105. Let q be 5/(-20) - g/(-4). Suppose q = 5*n - 47. Is 8 a factor of n?
False
Let l be -4 - (-2)/1 - -9. Suppose -l*s = s - 368. Is s a multiple of 6?
False
Let r = 41 + -17. Suppose -3*k + 9 = r. Let b(c) = -6*c - 11. Is 19 a factor of b(k)?
True
Suppose -5*v + v + 5*h + 28 = 0, 0 = -3*v - 4*h - 10. Let u = 0 + v. Suppose 2*z + 4*m = 16, -2*z + u*m = z - 40. Is 6 a factor of z?
True
Is (7 - 9) + -3 - -31 a multiple of 3?
False
Let n(t) = -t**3 - t**2 - 8*t + 5. Let v be n(3). Let f be (-17*1)/((-1)/(-2)). Let h = f - v. Is 7 a factor of h?
True
Let h(m) = -7 + 25*m**2 - 35*m**2 + m**3 + 7*m + 4*m. Let g be h(9). Let i = g - 8. Is i a multiple of 3?
True
Suppose 5*f = -4*t + 134, 0*t - 5*f = -t + 46. Let a be 6/t + (-21)/18. Does 36 divide a/2*(-257 + -5)?
False
Let i(d) be the second derivative of d**5/20 + 2*d**4/3 + 7*d**3/6 - 3*d**2 + d. Let w be i(-7). Is 14 a factor of (w - 1)/(2/(-4))?
True
Suppose 713 = 5*k - k - 3*s, s - 538 = -3*k. Suppose l + k = 4*o - 2*o, l = 1. Does 9 divide o?
True
Let m = 2437 - 487. Is 26 a factor of m?
True
Suppose 3*j = 4*h - 0*j - 148, -j - 148 = -4*h. Let v = h - 5. Does 8 divide v?
True
Suppose 4*m + 5*q = 33, 2*m + q - 7 = m. Suppose -24 = -4*n - 4*g, 2*n - m*g + 3 = n. Is 12 a factor of (8/n)/(4/36)?
True
Suppose 0 = 5*h - 4*a - 19, 2*a + 6 = -4*h + 42. Let z(x) = -x**3 + 8*x**2 - 5*x - 3. Does 2 divide z(h)?
False
Let o be (11 + -10)/((-1)/(-8)). Suppose o*t - 98 = t. Is 7 a factor of t?
True
Suppose -5*j - 48 = -2*j. Suppose 13*m - 8*m = 175. Let i = m + j. Does 7 divide i?
False
Suppose 0 = -4*w - 2 - 10, 4 = 5*d + 2*w. Let q(p) = 0*p**2 + 15*p**2 - d + 1 + 2 + p. Is 13 a factor of q(-1)?
False
Let i be -2 + (-152)/(-36) - 2/9. Suppose i*n = 54 + 34. Does 6 divide n?
False
Let y be ((-2)/(-3))/((-12)/(-90)*-5). Is 383*y/(-7) - 100/(-350) a multiple of 5?
True
Let f(g) = -16*g + 4. Let c = -64 - -51. Is 16 a factor of f(c)?
False
Suppose 12*t - 7956 = 10*t - i, 4*t - 15888 = 4*i. Is t a multiple of 71?
True
Suppose 0 = 2*n - 9 + 7. Let u be (n/(-1))/(11/(-1507)). Suppose -u + 32 = -3*p. Is 7 a factor of p?
True
Let j = -6 + 17. Let n(h) be the second derivative of h**3 - 15*h**2/2 + 220*h - 1. Is 19 a factor of n(j)?
False
Let k be (-10)/4*(0 + 6/(-5)). Suppose -o - k*t = -11, 7*o = 4*o + 2*t. Is 2 a factor of o?
True
Does 12 divide (-5761)/(-6) - (-1 + (-28)/(-24))?
True
Let c = -55 + 43. Is 9 a factor of c/18*(-55 + -2)?
False
Suppose m - 3*w - 802 = 0, -5*m + 35*w = 37*w - 3925. Is m a multiple of 9?
False
Does 8 divide 80/(-12)*(-570)/25?
True
Suppose -3*v + 18 - 72 = 3*i, -2*v - 8 = 0. Does 28 divide (-13 + 21)/((-1)/i)?
True
Let i be 1/(1*5/(-45)). Let m be (-69)/i - (-4)/12. Suppose 3*f + 355 = m*f. Does 8 divide f?
False
Let g(i) = -i**3 + 9*i**2 - 7*i - 11. Let b be g(8). Let p(f) = -14*f + 3. Let j be p(b). Is (-8)/3*j/(-6) a multiple of 4?
True
Suppose -5 = 2*l + 7. Let m = -7 - l. Let w(y) = 36*y**2. Does 14 divide w(m)?
False
Suppose 25*u = 34*u - 729. Does 2 divide u?
False
Suppose -13 = -9*b + 8*b. Suppose 14 + b = l. Is l a multiple of 10?
False
Let c = 715 - -185. Does 36 divide c?
True
Let l = -227 + 3859. Is l a multiple of 64?
False
Is 4 a factor of (-330)/40*(112/1)/(-4)?
False
Let g = 25 + -16. Suppose -g + 12 = i. Suppose -4*n = 3*d + d - 24, -i*d - n = -16. Is d a multiple of 2?
False
Suppose 0 = n - 4*w - 111, -5*n = -w - 213 - 247. Is n a multiple of 13?
True
Suppose 0 = 5*p - 2*i - 24730, -p - 24730 = -6*p + i. Is 11 a factor of p?
False
Let l = 740 - -110. Is l a multiple of 5?
True
Let o(d) = -6*d + 231. Let k be o(34). Suppose i - 2*i + 3 = 0. Suppose 0 = -l + k + i. Is 15 a factor of l?
True
Let n be 1/((12/68)/3). Suppose -1470 = 11*d - n*d. Is 15 a factor of d?
False
Let j(v) = -v**2 - 66*v + 7. Is 15 a factor of j(-49)?
True
Let w(f) = -f + 21. Let j be ((-4)/12 + -1)*-3. Suppose -6 - 7 = -d + t, d - 25 = j*t. Is 6 a factor of w(d)?
True
Suppose -2*y = 12*t - 9*t - 1292, -3*t = -2*y - 1312. Does 62 divide t?
True
Let a = -3 - 25. Does 32 divide (-3 + -11)*192/a?
True
Let f = -199 - -404. Suppose 0 = 5*u + z - f, 2*z = 2*u + 3*z - 79. Is u a multiple of 21?
True
Suppose 2*x + 4*s + 1 = -x, 2*s = -3*x + 7. Suppose -r + t + x = -0*t, -t + 10 = 4*r. Is 3 a factor of r?
True
Suppose -12*x + 47*x - 17885 = 0. Does 73 divide x?
True
Does 11 divide (-