- 4*s**2 - 48*s - 82. Let x be u(-2). Let b = -4 + 9. Suppose 53 = v + 3*v + b*l, -x = 2*l. Is v a multiple of 2?
False
Suppose 5 - 17 = 4*q. Let i(u) = -7*u**3 + u**2 - 7*u + 1. Let d(l) = 2*l**3. Let j(k) = 4*d(k) + i(k). Does 4 divide j(q)?
True
Let i(k) = 97*k**3 - 17*k**2 + 11. Does 33 divide i(4)?
False
Is 3/((-63)/12) + 108628/(-910)*-190 a multiple of 21?
True
Let h(i) = 2*i**2 - 13*i - 3. Let p be h(7). Suppose 14*n = 13*n + p. Suppose -u - 5*m = -4*u + 313, 0 = n*m + 8. Does 9 divide u?
False
Let i(z) be the third derivative of -1/6*z**4 + 0 + 1/60*z**5 + 1/2*z**3 + 6*z**2 + 0*z + 97/120*z**6. Is i(1) a multiple of 26?
False
Let p = 317 + -304. Suppose -5*c + 1365 = -0*j + 5*j, -4*c = j - 288. Suppose p*z - 9*z = j. Does 16 divide z?
False
Suppose 4*h + 166 = -2*v + 8*h, -5*v = -2*h + 407. Let l = v + 16. Let m = 135 + l. Is 5 a factor of m?
True
Let c = 26 + -24. Suppose c*o - 18 = -o. Is o*5/(-10) + 75 a multiple of 12?
True
Let z be 10 + ((-996)/204 - 8/68). Let h = -1 - -4. Suppose 4*p = -a + 100, -z*p + h*a + 116 = 2*a. Is 8 a factor of p?
True
Suppose 3*a - 2*k = -185, 2*a + 115 = 4*k - 3. Is (3 + a)*84/(-35) a multiple of 39?
False
Suppose 14038 - 246814 = -26*x - 27*x. Is 3 a factor of x?
True
Suppose 15 = -3*j, -22 = -5*z + 3*j - 52. Does 21 divide (-19*2/(-6))/(z/(-189))?
False
Let h = 373 + -372. Does 25 divide (-5*h)/(-9 + 1568/175)?
True
Suppose -80*g - 20064 = -476784. Does 11 divide g?
True
Suppose -53*a + 55*a + 20 = 0. Is 2 a factor of 13/((-13)/a) + -5?
False
Let z(s) = -2*s**3 - 22*s**2 + 20*s + 18. Let j(h) = 4*h**3 + 44*h**2 - 41*h - 34. Let w(i) = -4*j(i) - 9*z(i). Does 8 divide w(-11)?
False
Let q be (-1080)/(-4)*(-22)/(-4). Let x be (-15)/20 - (q/(-12) - 0). Let c = x - 23. Is c a multiple of 7?
False
Let i = 2838 - 2179. Does 4 divide i?
False
Let i(n) = -5*n**2 - 70*n - 10. Let c(p) = 4*p**2 + 69*p + 12. Let z(a) = 7*c(a) + 6*i(a). Is z(15) a multiple of 20?
False
Suppose 2*q - 16*d = -15*d + 11056, -q + 4*d + 5514 = 0. Does 14 divide q?
True
Is 21 a factor of (-4)/4*-1193 + 4?
True
Let u(p) = 184 - 20*p - 247 + 5*p. Does 12 divide u(-19)?
False
Suppose -8*p + 6643 = -8845. Suppose -p = -4*v + 4*n, -7*v = -4*v - 5*n - 1462. Is v a multiple of 21?
False
Suppose 3*i = -2*u + 22302, 4*i - 61*u = -58*u + 29787. Is i a multiple of 60?
True
Suppose -4*f = 4*d, -4*d - f - 4*f + 3 = 0. Does 4 divide (28/7)/((-6)/144*d)?
True
Suppose 0 = -29*i - 37*i + 144474. Is 5 a factor of i?
False
Let u = -9154 - -10148. Is 41 a factor of u?
False
Suppose -88*y = -89*y - 719. Let r = -168 - y. Does 10 divide r?
False
Let i(y) = -3*y**2 - 10*y + 27. Suppose 0 = -4*d - 4*u - 20, -4*d + 2*u - 16 = 7*u. Let k be i(d). Is 13 a factor of (k/35 + 4)/((-2)/(-130))?
True
Let i(o) = 16*o + 17. Let v(a) = -16*a - 17. Let u(t) = 4*i(t) + 5*v(t). Let k be u(-12). Suppose 4*p = -63 + k. Does 28 divide p?
True
Let c = 133 + -130. Suppose 0 = -c*s - 3, -4*t = -4*s - 16 - 1088. Is t a multiple of 11?
True
Suppose -19*n + 8*n = 2*n - 357968. Does 38 divide n?
False
Suppose 0*k - 4*k + 4*j + 7184 = 0, -5*j + 3557 = 2*k. Suppose 651 = 22*x - k. Is x a multiple of 6?
False
Let r(z) = 4*z**3 - 37*z**2 - 24*z + 43. Let x(l) = l**3 - 9*l**2 - 6*l + 11. Let h = 5 - 3. Let o(w) = h*r(w) - 9*x(w). Is 15 a factor of o(7)?
False
Let f be (24/18)/((-1)/((-30)/4)). Let w be 4/f - 24/10. Is 5 a factor of (16/(-1))/(w/3)?
False
Let p = -18 - -27. Suppose p*m = 3013 + 3314. Is 36 a factor of m?
False
Suppose -5*w + 47 = 157. Let g = w + -27. Let m = 86 - g. Does 17 divide m?
False
Let f = -539 - -555. Suppose -f*a + 18*a = 1160. Is a a multiple of 71?
False
Let v(a) = 12*a**3 - 21*a**2 + 72*a + 9. Is v(8) a multiple of 15?
True
Suppose -1082991 - 608334 = -130*g - 125995. Is g a multiple of 13?
False
Suppose -29*d - 28 = -31*d. Is 2412/d + (-34)/119 a multiple of 13?
False
Suppose 17*c - 3284 = 18323. Is 2 a factor of c?
False
Let k be (-4)/(-4) - (-45 - -3). Let g = k - 71. Let m = 168 + g. Does 35 divide m?
True
Suppose 120120 = 43*u + 61*u. Does 55 divide u?
True
Suppose 2*l + 4*l - 18 = 0. Suppose -l*j + 119 = -58. Is j a multiple of 31?
False
Let l = 74 - 80. Does 61 divide (1 - 11/2)*1384/l?
False
Let w = 5756 - -1157. Does 28 divide w?
False
Suppose -s = 4*d - 53118, -66396 = 7*d - 12*d - 2*s. Is 32 a factor of d?
True
Let k = 136 - 134. Is 24 a factor of k/7 + (-985)/(-7)?
False
Let n(j) be the first derivative of -2*j**3/3 + 15*j**2 - 16. Let x be n(15). Suppose x = -6*h + 65 + 25. Is 3 a factor of h?
True
Let w = -626 - -1781. Suppose 30*g + w = 4005. Does 10 divide g?
False
Let f = 619 + 1217. Suppose -1806 = -6*b + f. Is 9 a factor of b?
False
Let d = -19152 + 36858. Is 6 a factor of d?
True
Suppose 1232 - 2168 = -12*q. Does 9 divide q?
False
Let m(b) = 100*b**2 - 27*b + 10. Is 6 a factor of m(4)?
False
Let u = 4756 + -5403. Suppose n - 150 = 6*n. Is u/(-5) - (-12)/n a multiple of 43?
True
Suppose 3*w = -2*b + 432, w - 91 = -2*b + 49. Let v = w + 234. Is v a multiple of 20?
True
Let f be ((-561)/22)/17*(-712)/1. Suppose 284*l + f = 290*l. Does 9 divide l?
False
Let o(u) = 85*u**2 + 61*u**3 + 4 + 2*u - 90*u**2 - 5*u. Is o(2) a multiple of 34?
False
Let n be 0 - (1352/(-20) - 6/(-10)). Let u = n - 64. Does 22 divide (-2)/(-6) - (-329)/u?
True
Let q = 37485 - 26708. Is 32 a factor of q?
False
Let t be ((-6)/8)/(-3) + (-223934)/(-8). Let k be (-4)/(-14) - t/(-28). Suppose 6*m - k = -4*m. Does 20 divide m?
True
Let n(h) = 3*h**2 - 5*h - 30. Let r be n(-8). Let c = r + -130. Is 4 a factor of c?
True
Let g(f) = f**2 + f - 5. Let n be g(-3). Let r = 56 - n. Let m = r - 2. Is 23 a factor of m?
False
Is (-2534885)/(-114) - 3/(-36)*(-1 + 3) a multiple of 51?
True
Let q(p) = -262*p + 61. Let l be q(7). Let r = -978 - l. Does 59 divide r?
False
Suppose -52*p - 1855471 - 257969 = -120*p. Is 10 a factor of p?
True
Let s(o) = -8*o**3 - 3*o**2 + 12. Let g(c) = -7*c**3 - 3*c**2 + 11. Let i(y) = 5*g(y) - 4*s(y). Let t be i(-3). Let z = t - 56. Does 5 divide z?
True
Let p = -19303 - -20661. Is p even?
True
Let g(z) = -120*z - 16. Let a be g(1). Let p be (-43)/(2 - 15/7). Let o = p + a. Does 16 divide o?
False
Suppose 2*s + 2*w + 12 = 0, 14 = 3*s - 6*w + w. Is 7 a factor of 1/s - (-4123)/38?
False
Let w be 58 - (2 + -3)*(-2)/1. Suppose 0 = -4*o + 5*l - 361, -2*o + 5*l = 127 + w. Let n = -46 - o. Does 23 divide n?
False
Let h(g) = -19*g - 205 - 61*g - 23*g. Is h(-11) a multiple of 32?
True
Let b(s) = 2*s**2 + 18*s + 15. Let f be b(-10). Does 22 divide (-10)/(f/(-7)) - (-1090)/5?
True
Let n = 13274 - -22450. Is n a multiple of 78?
True
Suppose 0 = -4*r - 5*k + 115059, -42*k + 57505 = 2*r - 43*k. Is 32 a factor of r?
False
Let y = -5302 - -10563. Is y a multiple of 11?
False
Suppose 5*z - y = 3099, -4*z - 21*y + 2479 = -22*y. Suppose -22*p - 417 = -2*m - 21*p, -4*p + z = 3*m. Does 13 divide m?
True
Let i = -560 + 584. Is 34 a factor of 423/(152/i - 6)?
False
Suppose 3*q + 3*u = 192, 4*q - 281 = -4*u + 5*u. Is 22 a factor of 34201/q - (-8)/6?
False
Suppose -6*p + 16859 = 1859. Suppose -p = 5*o - 740. Is 9/(-2)*o/33 a multiple of 16?
True
Let h(u) = -33*u + 27. Let z = 284 - 290. Does 14 divide h(z)?
False
Let c be -4*((-2202)/12 + 7). Suppose 11*r = -5*h + 13*r + 714, 5*h - c = -2*r. Does 9 divide h?
False
Let y(c) be the third derivative of -c**6/120 - c**5/12 + 3*c**4/8 - c**3/2 - c**2. Suppose 5*d + 10*m + 23 = 7*m, d = -3*m + 5. Does 32 divide y(d)?
True
Let y(n) = -31*n + 3. Let p be 0 + (-4 - -1) - (-1 + -39). Suppose -42*x + p*x = 10. Is y(x) a multiple of 19?
False
Let z(r) = -21*r**2 + 3*r**3 + 2 - 4*r**3 + 28*r**2 + 6. Is 4 a factor of z(7)?
True
Is (19 - 61306/(-8)) + (-1)/4 a multiple of 23?
True
Let m(t) = -t**2 + 22*t + 54. Suppose -24*p - 288 = -36*p. Is 3 a factor of m(p)?
True
Suppose x + 4*z + 7480 = 5*x, 4*z + 1870 = x. Suppose 8*w = 18*w - x. Is w a multiple of 11?
True
Suppose -14 = 4*o - 46. Suppose y + 5*u + 1 = o, 3*y + 3*u = -15. Let k(r) = r**3 + 11*r**2 + 6*r - 19. Does 21 divide k(y)?
False
Suppose -72 = -14*f - 16. Suppose 2*q - 496 = f*y - 6*y, 0 = y + 5*q - 268. Is y a multiple of 9?
True
Suppose 4*y - 115*y + 105274 = -47906. Is 115 a factor of y?
True
Suppose 0 = -67*f + 45*f + 47806. Does 4 divide f?
False
Let m(x) = -18*x - 63. Let n b