j - 0*x - x + 61, -2*x = j - 17. Suppose -2*f = -6, t - 2*f + f - j = 0. Is (4/(-4) - -4) + t a multiple of 10?
False
Let o(v) = 11*v**2 + 64*v - 38. Let n(b) = 5*b**2 + 31*b - 19. Let a(c) = 9*n(c) - 4*o(c). Is 4 a factor of a(6)?
False
Suppose -2*t = 3*l + 234, -4*t - 4*l = -t + 353. Let v = -195 - t. Let i = 79 + v. Is i a multiple of 3?
False
Does 18 divide -4 + 550904/24 + 2/(-6)?
True
Suppose -27*t - 4 = -28*t. Let d(c) = 26*c - 20. Does 6 divide d(t)?
True
Suppose 8*r - 6 = 5*r. Suppose 2*u - 2*a = -104, r*a = -a + 9. Does 19 divide 4/1 - (u + 15)?
True
Let z = 110 + -30. Suppose 0 = 4*t, -2*t + z = -5*v - 5*t. Does 2 divide v/(-12) - 267/(-9)?
False
Let s = 1990 - 3396. Let k be 80/(-5)*(-6)/(-4). Does 33 divide s/(-13) - k/(-156)?
False
Suppose 764 + 532 = -12*d. Is 1 - 3 - (-3 + -3) - d a multiple of 28?
True
Suppose 10*s - 80*s = -100380. Does 38 divide s?
False
Let z(o) = o**3 + 88*o**2 + 82*o + 20. Is 43 a factor of z(-87)?
False
Let u be (8 - 2) + -1 + -3. Let b be -8 + 665/21 - (-4)/(-6). Suppose -b = -u*d - 15. Does 2 divide d?
True
Let l(z) = 23*z + 3. Suppose -3*h + 33 = 3*u, 4 = 4*h - 16. Suppose -2*s = -u*s + 16. Does 19 divide l(s)?
True
Suppose 33*k + 588 = 5*k. Is 15 a factor of (-3157)/k - 4/12?
True
Suppose 17553*w + 864 = 17555*w. Is w a multiple of 18?
True
Suppose -3*b = 4*s - 125811 - 17849, 5*b = 5*s + 239375. Does 15 divide b?
True
Suppose 0 = -4*n + 2*s + 95610, -5*s + s = -2*n + 47796. Is n a multiple of 144?
True
Let h = 1 - 32. Suppose 0 = a + 4*m + 43, 4*m = 5*m - 2. Let q = h - a. Is 4 a factor of q?
True
Let v = 9 + -7. Let r be 186/v + (-1 + 4)*1. Suppose r = 23*s - 20*s. Is s a multiple of 10?
False
Suppose -3*i - 3 = n, -3*i + 7 - 10 = 2*n. Suppose n = 190*w - 194*w + 2100. Is 7 a factor of w?
True
Does 15 divide 108/24*6520/12?
True
Suppose -2*c - 4*t = -t + 2, 36 = -4*c + 2*t. Let q be 28350/c*(-2)/4. Is 13 a factor of 14/(-8) + 2 - q/(-12)?
True
Suppose 2*r + 89 = 3*x, -5*r - 5*x - 168 = 42. Let i = r - -82. Is i a multiple of 3?
True
Let a(l) = -l**2 - 2*l - 3. Suppose 2*r + r = -2*c + 8, -3*c = -3*r - 12. Let v be a(r). Let m = 31 - v. Is m a multiple of 11?
False
Let d(w) = 2*w - 6. Suppose 2*k - 2 = 8. Let q be d(k). Suppose q*l = -l + 145. Is l a multiple of 7?
False
Let a(o) = 3*o + 78*o**2 + 23*o**2 + 24*o**2. Does 13 divide a(-2)?
True
Let f = 4560 - 4070. Is 31 a factor of f?
False
Let j = 107 + -101. Suppose j*m - 10 = 266. Is 16 a factor of m?
False
Suppose 0 = 5*i - 18*i + 35610 + 36163. Is 42 a factor of i?
False
Is 19 a factor of (4104/(-81))/(-5*(4/90)/1)?
True
Let i(b) = b**3 - 14*b**2 - 16*b - 20. Let t be i(15). Let o be 1/(-7) - 2280/t. Suppose -20*r + o = -15*r. Does 2 divide r?
False
Let l(k) = 80*k**2 - 351*k + 36. Does 73 divide l(10)?
True
Suppose 3*y + g - 127720 = 0, -1149*y = -1152*y - 5*g + 127700. Is y a multiple of 26?
False
Let c(a) = 18*a + 108. Let o = -814 + 849. Is 41 a factor of c(o)?
True
Suppose 11*r + 161 = 414. Let d(t) = 4 - t**2 - 34 + 31*t - 24. Does 15 divide d(r)?
False
Suppose 4*d - 113143 + 14343 = 21896. Is 70 a factor of d?
False
Suppose -70 = -2*d - 4*w, 116 = -0*d + 3*d - 5*w. Suppose d*l + 2636 = 41*l. Does 43 divide l?
False
Let b(p) = 110*p - 34. Let u be b(8). Suppose -4*r - 312 = -2*f, -4*f = -4*r + 210 - u. Does 9 divide f?
True
Suppose 852*a = 889*a + 106935 - 719285. Does 33 divide a?
False
Let w(b) = b**3 - 7*b**2 + 6*b + 4. Let c be w(6). Let s be 8/6*6075/162. Suppose 1194 = c*u + s. Does 34 divide u?
False
Suppose 617*t = 575*t + 221172. Does 57 divide t?
False
Let r(h) = 82*h**3 + 2*h**2 - 7*h + 9. Let t be r(2). Let m = t - 336. Is 17 a factor of m?
True
Let n(v) be the third derivative of 37*v**5/60 - v**4/6 + v**3/6 - 3*v**2 - 505. Suppose 2*d + 6*t = t - 16, 4*d - 20 = 3*t. Is n(d) a multiple of 13?
False
Is 58 a factor of (-308)/4312 + 93802/28?
False
Let c(u) = 12*u**2 - 22*u - 20. Let g be c(-8). Suppose 0 = 11*b - 1914 - g. Is 5 a factor of b?
False
Is 56/1204 - (-3184359)/129 a multiple of 35?
False
Let x = -2477 + 5111. Suppose -5*i + 3*j + 6637 = 0, 5*i = 3*i - 4*j + x. Does 77 divide i?
False
Let n = -11799 - -12543. Is 248 a factor of n?
True
Let g(n) = -n**2 - 4*n + 4. Let h be (-1)/(((-3)/6)/(6/(-4))). Let s be g(h). Is 12 a factor of s/(140/(-96))*(-135)/6?
True
Let l(d) = 154*d**2 - 8 + 150*d**2 + 4*d + 7*d**3 - 310*d**2 + 8*d. Does 54 divide l(4)?
False
Suppose -25*x - 4*u + 6321 = -20*x, u = 4*x - 5082. Does 47 divide x?
True
Suppose 8 = 79*r - 81*r. Is 15 a factor of 3273/12 + -2 - (-3)/r?
True
Suppose 5*z + 20 = -x + 6*x, -4*x + 25 = 5*z. Let w be (1/3)/(x/2010) + -2. Suppose 12 = -4*p + w. Is 10 a factor of p?
True
Suppose -70802 - 76618 = -26*r. Does 35 divide r?
True
Let z = -41335 + 81085. Is 25 a factor of z?
True
Suppose 20454 = 3*a - 2679. Is a a multiple of 15?
False
Let w = 797 - 393. Let k = -132 + w. Is 34 a factor of k?
True
Let j = 65268 + -32321. Is 138 a factor of j?
False
Suppose 0 = 14*q - 18*q + 16. Let i be ((-95)/20 + 3/q)/2. Does 8 divide ((i - 67) + 4)/(-1)?
False
Suppose -378361 = -52*l - 60*l + 58663. Is l a multiple of 13?
False
Suppose 0 = -24*l + 19*l - 35. Let n(d) = d**2 + 9*d + 17. Let i be n(l). Suppose i*b - 413 = -4*b. Does 31 divide b?
False
Suppose -215*w + 181*w + 177446 = 0. Is w a multiple of 74?
False
Let r(j) = -j**2 + 11*j + 36. Let u be r(14). Is 21 a factor of 3/2 + (-621)/u?
True
Suppose -y - 5*f + 705 = 4*y, 2*y = 5*f + 282. Let r be -2*((-1)/1 - 0). Suppose 4 = r*n - 2, -3*o + n = -y. Does 43 divide o?
False
Let r be (-83)/2*(6 + -8). Let s(q) = q**3 - 13*q**2 + 25*q. Let f be s(11). Suppose -5*u = f - r. Is u a multiple of 3?
False
Suppose 0 = -4*g + 10 + 18, -k - 2*g = -25553. Is 38 a factor of k?
False
Let k = -5453 - -5987. Is 4 a factor of k?
False
Suppose 0 = -2*y - v + 8, -6*y + 2*v + 8 = -2*y. Suppose 2*j + f = -j - 15, -j - 3*f + y = 0. Let i(a) = -12*a - 53. Is 3 a factor of i(j)?
False
Let o = -13613 + 63428. Does 41 divide o?
True
Let d = 1959 + -1085. Is 8 a factor of d?
False
Let l(f) = 5*f**2 - 242*f + 188. Is 22 a factor of l(53)?
False
Let x(n) = 2*n + 14. Let p be x(-6). Suppose q - p = -0*q. Suppose -q*w + v - 1 + 48 = 0, 4*w - 4*v = 100. Is 11 a factor of w?
True
Let d(k) = 23*k**2 + 74*k - 741. Is d(8) a multiple of 27?
True
Let i(f) = 16*f**2 + 18*f + 20. Is 225 a factor of i(10)?
True
Let z(h) be the second derivative of 35*h**4/12 + h**3/3 - h**2/2 - h + 44. Does 5 divide z(1)?
False
Let p(b) = 11*b**3 - 2*b**2 - 8*b + 11. Is 2 a factor of p(2)?
False
Let k be ((-8 - -5)/6)/((-3)/48). Suppose 16*b = k*b + 760. Is 19 a factor of b?
True
Suppose -58*b = 9*b + 194017 - 627105. Is b a multiple of 32?
True
Is 19 a factor of (28 + -14 + 3)/((-41)/(-40) - 1)?
False
Let z be (-1914)/(-24) - ((-3)/(-4))/1. Let i(l) = 2*l + 9*l**2 - z + 17*l**2 + 79. Does 9 divide i(2)?
True
Let n be -25 - -21 - 5*-2 - -563. Is 3 a factor of n/10 - (-15)/150?
True
Suppose 0 = -10*z + 2601 - 611. Is z a multiple of 13?
False
Let i(h) = h**3 - 16*h**2 - 15*h - 32. Let u be i(17). Suppose 6*f - 52 - u = 0. Let d = 24 - f. Does 15 divide d?
True
Is (-21*5/25 - -3) + 267192/135 a multiple of 23?
True
Does 139 divide (-16958)/(-6)*270/180*2?
True
Let c(i) = -121*i - 2535. Is c(-34) a multiple of 7?
False
Let g(s) = 13*s - 126. Let r be g(10). Suppose -9*h + 3385 = -r*h. Is 35 a factor of h?
False
Let p(b) = 6*b**3 + 18*b**2 - 76*b + 14. Is p(6) a multiple of 23?
False
Suppose -9*q - q = -40. Does 13 divide (5 - 1/1)*73/q?
False
Suppose -k = 3*k + 4*c - 1888, -c - 932 = -2*k. Let h = 926 - k. Is h a multiple of 27?
False
Let v be (8/6)/((-2)/(-444)). Let h(k) = 130*k + 39. Let a be h(2). Suppose n - 6*n + v = 3*m, -5*n - 2*m = -a. Does 20 divide n?
False
Does 16 divide (6384/140)/((-7)/(-1505))?
False
Suppose 2*u - 4*n = -6, 9 = -5*u + 4*n - 0. Is 17 a factor of 28*(-51)/u*(-7)/(-84)?
True
Let d = 34190 + -24000. Does 220 divide d?
False
Let j be (-54)/(-13) - 2/13. Suppose 0*m + c = 4*m - 1435, 380 = m + j*c. Is 24 a factor of m?
True
Suppose -2*w - 24510 = -5*y, 2962 = -y - 4*w + 7864. Does 21 divide y?
False
Is ((-500)/(-16) + -14)/(-3*4/(-21408)) a multiple of 223?
True
Let y(p) = -p**3 + 75*p**2 - 943*p - 82. Does 9 divide y(31)?
True
Let j(d) = -d**3 + 9*d**2 - d - 17. S