/(-6)*1) a multiple of 11?
False
Suppose 2*r + 5*l = 3*r + 15, -4*r - 2*l = -28. Does 18 divide 8*r/(20/9)?
True
Let r(u) = 3*u**2 + 139*u - 19. Does 51 divide r(37)?
True
Suppose -k = 5*j - 2*j - 4911, 5*j = -5*k + 8175. Let b = j - 896. Is b a multiple of 24?
False
Suppose -205*z + 420*z = 206*z + 70416. Does 24 divide z?
True
Let c(p) be the first derivative of -5*p**3/3 - 27*p**2/2 + 25. Let h be c(-6). Does 19 divide (h + 16)*(-1 - (-274)/(-4))?
False
Let c(w) = 2*w**2 + 21*w - 13. Let q be c(-11). Is (q/7)/(10/(-280)) a multiple of 8?
True
Let g = -10628 - -12486. Is g a multiple of 27?
False
Let u(o) = -4*o - 9. Let n be u(-17). Let t = n - 58. Let v(m) = 221*m**3 - 2*m**2. Is 48 a factor of v(t)?
False
Suppose 23*j - 48132 = -5*j. Does 3 divide j?
True
Let f(s) = 4*s**2 + 7*s - 24. Let v be f(-3). Let r be 1 + 0 + -2 - -106. Let w = r - v. Does 33 divide w?
False
Let p = -20510 - -40268. Is 15 a factor of p?
False
Suppose -2*u + 12 = 2*n, -4*u - 6*n + 24 = -n. Does 30 divide 430/((17/68)/(u/8))?
True
Let l(g) = 29785*g**3 + 3*g**2 - 31*g + 31. Is 11 a factor of l(1)?
True
Is 18/33 + (-622806)/594*-9 a multiple of 69?
False
Let d(a) = -4*a**3 - 5*a**2 - 11*a - 84. Is 25 a factor of d(-12)?
False
Does 136 divide ((-6)/4)/((-272)/1603168)?
False
Let k(c) = c + 17. Suppose 0 = 6*f - 10*f + 8. Let g be 1/(4/(-22)) + 1/f. Is k(g) even?
True
Let k(h) = 5*h**2 - 10*h - 15. Let f(y) = -4*y**2 + 10*y + 16. Let d(n) = 6*f(n) + 5*k(n). Let w = 61 - 78. Is 16 a factor of d(w)?
False
Let w = -4 - -5. Let q(t) = t**2 + 21*t + 17. Let o be q(-17). Let u = w - o. Is 45 a factor of u?
False
Let u(d) = 11*d + 32. Let m be u(7). Let f = 120 - m. Suppose 0*g = -f*g + 770. Is 14 a factor of g?
True
Suppose -4*c + 18 = 3*v, -5*v = -3*v - c - 12. Let z = 21 + v. Let n = z + 32. Is 8 a factor of n?
False
Let z = 41576 - 2024. Does 64 divide z?
True
Let q be ((-30)/3)/(-2*5/(-5)). Let r(x) = 26*x**2 + 2*x + 46. Does 14 divide r(q)?
True
Suppose -34 = -g - 2. Suppose -13*i + 136 - g = 0. Suppose i*n - 994 = 246. Is 22 a factor of n?
False
Let v(i) = -i**2 - 71*i + 3515. Does 75 divide v(-85)?
True
Suppose -505 + 523 = 3*f. Suppose -f*v - 945 = -3*j - 3*v, 4*j - 1233 = -5*v. Is 13 a factor of j?
True
Suppose 0 = -2*r - 11*r - 156. Does 15 divide 4/(48/(-270))*r?
True
Let p(b) = 31*b**2 + 622*b - 192. Does 18 divide p(-24)?
True
Suppose f - 2*f + 15 = -3*j, 2*f + 14 = -5*j. Suppose f*t = -2*d + 6, -d - d - 5*t = -14. Is 20 a factor of -1 - (d + 3 + -31)?
False
Suppose -6*v + 7*v - 4*t = 6, 0 = -v + t + 3. Suppose -v - 4 = -4*z - 5*d, -2*z + 2*d - 6 = 0. Does 21 divide (21/18 + z)*6 - -126?
False
Let m be 1/4 - (-43)/4. Suppose 22 = 9*u - m*u. Let f = 47 + u. Is f a multiple of 9?
True
Suppose 0 = -3*t + 12, 4*q - 5*t + 38 = 6*q. Let k be 110 - (2/3)/(6/q). Suppose -7*v + k = -80. Is 13 a factor of v?
False
Let v = 47889 + -32755. Does 40 divide v?
False
Suppose -11*k - 3*x + 1911 = -9*k, -3*k = -x - 2883. Is k a multiple of 64?
True
Let j = 117 + -117. Suppose 0 = 5*r - 2*l - 0*l - 12, -2*l = -r + 4. Suppose 47 = -j*t + t + r*g, -5*t = -5*g - 220. Is 9 a factor of t?
True
Let t = -66 + 1266. Is t even?
True
Suppose 41*f - 40*f = 1826. Is f a multiple of 135?
False
Suppose -4*s = 3*o + 925, 2*s + 511 - 51 = -2*o. Let r = s + 303. Is r even?
True
Let b(t) = t**3 - 6*t**2 - 16*t - 1. Let v be b(11). Suppose 0 = -10*n + 542 + v. Does 4 divide n?
False
Let c be -7 - -1 - (5 - 16). Suppose 23 - 7 = 4*v. Suppose v*y + 4*g = 96, 4*g - 65 - c = -3*y. Is 6 a factor of y?
False
Suppose -13*i - 40 = -18*i. Suppose -11*u - i*u = -15*u. Suppose 0*o + 5*o - 105 = u. Is o a multiple of 11?
False
Suppose 8*y = 4*y + 944. Suppose -80 + y = -3*w. Let t = w + 61. Does 9 divide t?
True
Suppose -17*r = -3*r + 4662. Let i = r - -474. Is i a multiple of 28?
False
Let i = -29 + -19. Let s be i*2/(2/(-9)). Suppose -4*q + 4*b + s = -0*q, -q = -5*b - 104. Is q a multiple of 15?
False
Suppose 0 = -14*l + 11*l + 36. Let o = l - 13. Does 14 divide 2 + (-1 - o) + 40?
True
Let h(j) = -2*j**3 + 4*j**2 + j + 1. Let q be h(2). Suppose 22 = 4*w + 2*p, 18 = 4*w - w + q*p. Let z(r) = 8*r - 5. Does 5 divide z(w)?
True
Let y be (-614)/(-9) + (-4)/18. Let c = 984 - 981. Suppose 2*a + c*a + y = 3*r, -a = -r + 20. Does 4 divide r?
True
Let z(y) = y**2 + 5*y + 3. Let t be z(-3). Let l = -6331 - -6323. Does 17 divide (-99)/(-2)*l/t?
False
Let c(s) = 18*s + 18. Let q be c(9). Suppose -6*x + q = 6*x. Is x a multiple of 15?
True
Suppose 19*a - 127619 - 121927 = 0. Does 199 divide a?
True
Let x be ((-3)/(-9))/(2/156). Let q = x - -21. Suppose 0 = 5*i - q - 63. Is 11 a factor of i?
True
Suppose -2*b + 4 + 3 = 3*h, 30 = 2*h - 5*b. Suppose -k = 2*j - h*k - 104, -j = 5*k - 38. Is 4 a factor of j?
True
Let a = 360 + -631. Let b = a + 444. Is 6 a factor of b?
False
Let m(b) = 44*b**2 + b - 2. Let g(c) = -47*c**2 + 4 + 2*c - 4*c - 41*c**2 + 0*c. Let k(z) = 4*g(z) + 9*m(z). Is 16 a factor of k(2)?
True
Suppose 25321 + 42830 - 314 = 7*u. Does 5 divide u?
False
Let i(v) = -3358*v + 2657. Does 37 divide i(-3)?
False
Let d(j) = 2*j**2 + 4*j - 4. Let m = -55 + 57. Let z be d(m). Does 14 divide 56*((-11)/(-4) + z/(-16))?
True
Let s = 132 + -136. Is (50/(-20) + s)/((-1)/84) a multiple of 21?
True
Is (25/(-150))/((-1)/(-12)) - -11024 a multiple of 66?
True
Let c(n) = 2*n**3 - 9*n**2 + 6*n + 30030. Is c(0) a multiple of 165?
True
Let s = 9702 + -9689. Let i(c) = c**2 + 4*c - 8. Let x be i(-6). Suppose x*w - 800 = -3*y, -3 = 2*w - s. Does 13 divide y?
True
Let v(o) = 2*o + 22. Let w be v(-8). Let t be (-1 - 0) + w + -1 + -4. Suppose 4*z - 228 = -2*h, t = 3*h - 6*h + 2*z + 350. Does 20 divide h?
False
Let o(b) = -13*b**2 + 680*b - 104. Does 27 divide o(29)?
False
Let d(q) = -q**3 + 11*q**2 + 8*q + 8. Let u be d(11). Let t(l) = -l**3 + 12*l**2 - 24*l - 5. Let w be t(6). Let a = u - w. Is 5 a factor of a?
False
Suppose 0 = -m + 4*m - 261. Let v(l) = l**3 + 6*l**2 - 27*l + 3. Let j be v(-9). Suppose 3*d = 3*t - m, -j*t + 2*d = -2*d - 87. Is 24 a factor of t?
False
Suppose 0 = 2*m - 4*i - 384, -198 - 375 = -3*m + 3*i. Is m a multiple of 19?
True
Let t be (246/(-18) - -7)*111/(-2). Let f = t - 162. Is f a multiple of 30?
False
Let z(g) = -g**2 - 14*g + 38. Let m be z(-16). Is 15 a factor of (12/(-42))/(m/(-2226))?
False
Let f = 292 - 200. Let u be (1 + 3)*(-1 + 6/4). Suppose -u*m + m = -f. Does 27 divide m?
False
Does 46 divide (-12 - 34)/((-429)/426 + (2 - 1))?
True
Suppose 78*l + 17899 = 85*l. Is l a multiple of 16?
False
Is 32 a factor of 264924/72 - ((-1)/(-2) - 1)?
True
Let r be (-88419)/(-8) + (-261)/696. Suppose -o = 11*o - r. Is 26 a factor of o?
False
Let v = 14668 - 9916. Is v a multiple of 88?
True
Let s be 21195/72 - (-3)/(-8). Let l = s - -316. Is l a multiple of 59?
False
Let z(w) = 2*w**2 + 55*w + 108. Does 102 divide z(40)?
True
Let q(i) = 14*i + 20*i - 39 + 83. Let j be q(6). Suppose -5*u - 3*u + j = 0. Is u even?
False
Suppose -64 = -44*h + 12*h. Suppose -l - 136 = -2*z, 5*l = -h*z + 55 + 57. Is z even?
True
Let k be -9 + 2 - (3 + (-3)/1). Let a(y) = -y**2 - 7*y + 5. Let f(s) = -2*s**2 - 8*s + 4. Let q(p) = 3*a(p) - 2*f(p). Is 13 a factor of q(k)?
True
Let m = -2125 - -3924. Suppose 0 = 5*x + 4*z - m, -6*z = -2*x - 11*z + 706. Is x a multiple of 33?
True
Suppose -6*y + y = -c - 1264, -4*y - 3*c = -1015. Suppose -y = -10*l + 7*l - 4*a, 2*a + 4 = 0. Is l a multiple of 18?
False
Let u = 23 + -19. Let q(x) = -2*x - 4. Let b be q(-3). Suppose b*d + u*f - 124 = 0, -d + 4*f + f = -27. Is 5 a factor of d?
False
Let n(s) = -4*s - 2. Let o be n(-3). Suppose o = m + 2*u - 18, 3*u + 3 = m. Does 3 divide m?
True
Let g = 19172 - 13526. Let k be (-9)/(-24) + g/48. Let v = -34 + k. Is v a multiple of 28?
True
Let p = 8050 + 30676. Is 10 a factor of (-4)/(-10) - p/(-85)?
False
Let i be (1*(-20)/8)/(4/(-8)). Suppose x - 408 = -t + 131, 3*t - 1623 = -i*x. Does 13 divide t?
False
Let k be (-5 - (-5 - -4 - 23))/(-1). Let s(c) = -c**2 - 31*c + 62. Is 29 a factor of s(k)?
True
Suppose 5*v + 35471 = 4*d, -6*d - 7844 = -2*v - 61078. Is 174 a factor of d?
True
Let l = -484 - -351. Let t = l - -597. Is 16 a factor of t?
True
Suppose -195428 = -62*w + 29211 + 1785. Does 4 divide w?
True
Let x(i) = 3*i + 12. Let a be x(7). Suppose 0 = 4*t + 1