 5*a - 2. Let n be g(6). Suppose -4*x - r - 109 = 0, -3*r = n*x - 13 + 116. Is 20 a factor of (-28)/8*x + 0?
False
Let m = -18679 + 32455. Suppose -46*o = -5*o - m. Does 48 divide o?
True
Suppose -383292 = 32*v - 43*v - 31*v. Is v a multiple of 117?
True
Suppose -4*d - 3*h + 179715 = 0, 5*h + 138808 + 85827 = 5*d. Does 18 divide d?
True
Does 4 divide (-146625)/(-204) + -1 + 18/8?
True
Let v = -3 + 7. Suppose -p - 3*p + 185 = 5*l, 185 = 5*l - v*p. Suppose -7 = -u + l. Is 22 a factor of u?
True
Suppose -3*o - 7*s + 2*s + 905 = 0, 3*s - 1214 = -4*o. Does 27 divide o?
False
Let v be (14 - 1) + (-19 - -18). Suppose -5*o + 10 + 1 = k, v = -3*k. Suppose 3*w - 2*t = 22, t - 10 = -o*w - 3. Does 2 divide w?
True
Let w = 417 - 417. Suppose 4*d = b - w*d - 1143, -d = 5*b - 5631. Is 7 a factor of b?
True
Let w(n) = -2*n - 4. Let p(h) = -5*h - 10. Let t(z) = 3*p(z) - 7*w(z). Let o be t(-10). Suppose 3*q - 148 - o = 0. Is q a multiple of 35?
False
Suppose 38*f + 7*f - 466375 = 4*f. Is f a multiple of 13?
True
Suppose 5*v + 22*v - 8*v = 135299. Is v a multiple of 8?
False
Let u be (-3 - -2 - (5 + -2)) + 4. Suppose -3*j = -g - 2857, u = -j - 3*g - 513 + 1482. Suppose 3*o - j = -5*f, -f - f + 945 = 3*o. Is o a multiple of 48?
False
Suppose -5*c = 3*m - 9189, -4*m + 1831 = 4*c - 3*c. Suppose -6*b + c + 2067 = 0. Is b a multiple of 25?
False
Suppose 3*y = 81 + 1194. Let c = -344 + y. Is 3 a factor of c?
True
Suppose 0 = 3*o + 2*j - 5, 5*o + 14 = 7*o - 4*j. Let n(y) be the first derivative of y**3/3 + y**2 - 3*y + 2. Is n(o) a multiple of 3?
True
Let a = 22 - 22. Suppose 4*g + a*g = 12. Suppose 5*c - 2*w - 244 = 0, -4*c - c = -g*w - 241. Does 25 divide c?
True
Suppose -4*l + 0*n - 80 = 2*n, 56 = -2*l - 5*n. Let p(i) = 7*i - 42. Let k be p(15). Let b = k + l. Does 9 divide b?
True
Suppose -203 = -4*z + 5*p, 0 = 4*z + 5*p - 53 - 160. Suppose 5*q = q + z. Suppose q - 85 = -k. Is k a multiple of 18?
True
Suppose -l - a = 4*a - 4595, 5*l - 22999 = -a. Suppose -29*d + 24*d + w + l = 0, 4*d + 4*w = 3680. Does 25 divide d?
False
Suppose 295 = -3*u - 4*t, 2 = -t - 2. Let s = 290 - 464. Let o = u - s. Is 27 a factor of o?
True
Let l(c) = 2*c - 17. Let w be l(11). Let p be w/(-10)*(1 - (-1 - 2)). Does 8 divide (-3 + 6/p)*-4?
True
Does 10 divide (14/(-21))/((88/12348)/(-11))?
False
Let u be (3/(-6))/(2/(-16)). Suppose -51*l = n - 53*l + 78, -l = -5*n - 399. Is 4 a factor of (n/15)/u*3/(-1)?
True
Let b(k) = -14*k**3 - k**2 + 28*k - 10. Let t = 944 - 949. Is 45 a factor of b(t)?
True
Suppose -4*i = 3*r + 2*r - 50, -3*r + 2*i + 52 = 0. Let d be (r/(-35))/((-1)/110). Suppose d = 2*a - 2*y, 3*y + 20 = 2*a - 28. Does 10 divide a?
False
Let m(a) = 348*a + 54. Let w be (((-8)/(-3))/(-4))/(17/(-51)). Does 30 divide m(w)?
True
Let t(v) = 289*v - 16. Let b(u) = u**2. Let y be b(1). Does 21 divide t(y)?
True
Suppose 2*k - 864 = -6*k. Let z = k + -58. Let y = -35 + z. Does 2 divide y?
False
Let f be -20*(1/(-3) + (-353)/12). Is 30 a factor of (-10)/(14/(-7)) + f*1?
True
Let h(l) = 54*l - 421. Let m be h(11). Let u = -33 + m. Is u a multiple of 35?
True
Let q(z) = 296*z**2 - 183*z - 1229. Is q(-8) a multiple of 77?
False
Suppose p + 3*l - 2598 = 6609, -18414 = -2*p - 3*l. Is p a multiple of 93?
True
Suppose -5*t + 24996 + 43672 = -2*q, -q = -2*t + 27468. Is t a multiple of 16?
False
Let y be (-1)/(-3) - 232/(-24). Does 36 divide (13/(52/360))/(y + -9)?
False
Let z(t) = 330*t**3 + 4*t**2 - 5*t - 3. Let k(g) = -331*g**3 - 3*g**2 + 4*g + 3. Let f(o) = 3*k(o) + 2*z(o). Is 21 a factor of f(-1)?
False
Let j(m) = 3*m**2 - 14*m + 18. Let q(n) = 4*n**2 - 15*n + 19. Let c(l) = -6*j(l) + 5*q(l). Let w be c(-6). Is 50 a factor of (w*-1)/(-2 + (-297)/(-150))?
True
Suppose 7415*v + 12285 = 7430*v. Does 135 divide v?
False
Let t(o) = -4 - 8 - 6*o + 0*o + 0*o. Let v be t(-3). Suppose -270 = j - v*j. Does 9 divide j?
True
Suppose 6*d + 5*c = -4*d + 11265, -c = 3. Is 24 a factor of d?
True
Suppose 5*s = 2*c + 51364, 0 = 70*s - 76*s - c + 61647. Is s a multiple of 22?
True
Let m(u) = -2*u + 26. Let s be m(13). Suppose s = -55*c + 34*c + 11319. Is 11 a factor of c?
True
Let o be (35/10)/7*8/1. Suppose 446 = o*a - a - 5*m, 5*a = m + 758. Suppose 0 = 3*q + h - 318, 60 + a = 2*q + 2*h. Does 20 divide q?
False
Let j(i) be the second derivative of 53*i**4/24 - 7*i**3/6 - 15*i**2/2 + 9*i. Let c(w) be the first derivative of j(w). Is c(3) a multiple of 19?
True
Suppose 0 = -2*v - 3*y - 0 - 2, -6 = 2*v + y. Suppose -12 = -2*j + 4. Is 16 a factor of -1*(-33 - (v + j))?
False
Let s(x) = -x**3 + 28*x**2 - 8*x + 8. Let q be s(8). Suppose -c - q = -7*c. Is c a multiple of 51?
True
Suppose -5*q - 4*o = -26, 0 = -0*q + 4*q - 3*o + 4. Suppose 16*b + 2*b = 0. Suppose b = -3*g + 4*j + 51, -j = -q*g + 10 + 19. Is g a multiple of 13?
True
Let v be 5 - (8 + -4 - 0). Let g(z) = -1 + 0 - v + 62*z. Is 20 a factor of g(1)?
True
Suppose -2*j - 2*a + 210 = 0, -2*j - 5*a = -4*a - 208. Suppose -105*t = -j*t - 160. Does 5 divide t?
True
Suppose -13*h = -49*h + 252432. Is h a multiple of 90?
False
Let l(d) = -2*d**3 - 5*d + 3*d**3 - 5*d**2 + 39 - 24 + 3*d. Does 20 divide l(7)?
False
Let n be -5*(-4)/(-8)*(-8)/5. Suppose -k + 68 = -r, -243 = -n*k + 2*r + 31. Does 7 divide k?
False
Suppose -112*g + 38688 = -96*g. Does 31 divide g?
True
Let x = 62 + 7. Let b be x/15 - (-2)/5. Suppose -v - b*o = -164, 4*v - 296 = 5*o + 360. Is v a multiple of 35?
False
Let s(h) = -h**3 + 32*h**2 - 21*h - 22. Does 4 divide s(28)?
False
Suppose -14*u = -17*u, 0 = -4*i + 5*u - 369 + 12017. Does 28 divide i?
True
Let y(c) = 862*c + 4571. Does 81 divide y(4)?
True
Let d(l) = 22*l**3 + 5*l**2 + 6*l - 33. Does 48 divide d(3)?
True
Suppose 6*w + 20*w = 10*w + 19872. Does 16 divide w?
False
Suppose 6 = 5*z - 29, -3*q = -2*z - 16543. Is q a multiple of 7?
False
Let p = -396 - -397. Is 74 a factor of (p - 6)/(-2*7/1932)?
False
Let o(u) = 242*u - 1070. Is o(20) a multiple of 27?
False
Let j(i) = -2*i**2 + 41*i - 53. Let l be j(19). Is (63/l)/(11/352) a multiple of 28?
True
Let a = -149 - 92. Let f = 412 + a. Is f a multiple of 33?
False
Let q = 339 - 372. Let m(h) = -h**2 - 40*h - 144. Does 12 divide m(q)?
False
Let m be (-2)/(-6) + (-4015)/(-33). Suppose -764 = -k + m. Does 16 divide k?
False
Let i(f) = f + 45. Let d be i(-5). Suppose 28*m - d*m = -1092. Is m a multiple of 5?
False
Suppose 4*h - 62 = 3*m, -2*h = 5*m + h + 84. Let s = 21 + m. Suppose -3*o + 2*b + 284 = 0, -185 = -2*o - 0*o - s*b. Does 14 divide o?
False
Let y(b) = -2*b**2 - b - 4. Let c be y(-3). Let s = 39 + c. Suppose 23*z - s*z - 54 = 0. Does 6 divide z?
True
Does 18 divide (15627/1)/(4 + -8 - -7)?
False
Suppose -4*u + 7350 = -31930. Does 14 divide u?
False
Let h = -116 + 112. Let g be h/(-8)*-267*-2. Suppose 4*f + 2*y - 107 = g, 2*y = -f + 86. Is f a multiple of 20?
False
Let m = 387 - 385. Suppose -2420 = -5*t - 2*r, -4*r - 968 = -m*t + r. Does 41 divide t?
False
Let u(h) = -28 + 42*h - 31*h + 101*h. Is u(2) a multiple of 4?
True
Let r(l) = l**2 - 31*l + 346. Does 3 divide r(-34)?
True
Suppose -2*m + 16090 = 5*p + 3*m, 6*p = 4*m + 19258. Is p a multiple of 63?
True
Let i = 7252 + -7247. Let q be 0 + 2 + 0 + 1. Suppose i*t = 3*u - 439, -u + q*u = -5*t + 251. Is 46 a factor of u?
True
Suppose 3*a - 15 = -2*a. Suppose 0 = -4*v + 3*o + 366 - 68, 0 = 5*v - 2*o - 369. Suppose -a*f - 4*i = i - v, 2*f - 17 = 3*i. Is f a multiple of 2?
True
Let o(x) = -x**3 - 6*x**2 + 2*x - 6. Let t = 20 - 26. Let m be o(t). Is ((-24)/m)/((-8)/(-276)) a multiple of 5?
False
Suppose -d - 2*i + 9 = 0, d - 5*d = 2*i - 30. Suppose 3*t - 429 = -q, -5*t + d*q - 3*q = -732. Is 28 a factor of t?
False
Let g(l) = -l**3 + l**2 + 2*l + 393. Let m be (-25)/50*(0 + 0). Does 11 divide g(m)?
False
Let v be (-802)/(-38) - 2/19. Suppose v*a - 28*a + 189 = 0. Suppose a = 4*s - s. Is s a multiple of 3?
True
Let r(c) = 409 - 2*c**2 - 380 - 33*c + 3*c**2. Is 57 a factor of r(44)?
True
Suppose 4*m - 82064 = -4*g, -2*g = 5*m - 88345 - 14217. Is 70 a factor of m?
True
Let n = 64 - 58. Suppose -2*d + n = -2*b, 7 + 2 = 2*b + 3*d. Does 8 divide (15 + 1)/((-8)/(-12) - b)?
True
Suppose 0 = -6*m + 4 + 8. Let b be 8*(m + -3) + 4. Does 17 divide b/(-26) + (-41)/13 - -37?
True
Does 96 divide ((96/15)/(-2))/((-19)/20520*4)?
True
Suppose h - 43*h + 41160 