*l + 4*r - 288. Is l a multiple of 15?
True
Suppose -2839*y + 10991775 = -2654*y. Is y a multiple of 51?
True
Suppose 12*c - a = 9*c + 18250, 2*c - 12174 = -3*a. Is c a multiple of 52?
True
Let m = 226 - 1074. Is 10 a factor of 6/(-15) + m/(-20) + -2?
True
Suppose x - 4*c + 24 = 3*x, 0 = -4*x - 2*c + 18. Let b(v) = 419*v - 90. Is 34 a factor of b(x)?
True
Let x(t) = -328*t + 171. Is 29 a factor of x(-51)?
False
Let l(i) = -42*i + 403. Is l(-18) a multiple of 61?
True
Let w(o) = 1291*o + 599. Does 23 divide w(5)?
False
Suppose -6*o = 23 + 1. Does 33 divide o/(-36)*9 + 36?
False
Let x(d) = -5*d + 92. Let v be x(22). Does 69 divide (-60)/v*(-207)/(-5)?
True
Let g(o) = 2*o**2 - 9*o + 93. Let t be g(7). Suppose -2*l + l = -f + t, 5*l = 0. Is 33 a factor of f?
False
Let z = 50 + 1062. Suppose -z = -4*k + 4*l, 2*l + 1381 = 3*k + 2*k. Does 31 divide k?
False
Suppose -40*g = 66*g - 20154 - 14190. Is g a multiple of 4?
True
Suppose 0 = -11671*f + 11710*f - 593385. Is f a multiple of 17?
True
Suppose -152460 = -41*j + 19*j. Does 70 divide (4/3)/(11/j)?
True
Suppose 0 = 440*c - 451*c - 110. Let s(p) = -106*p - 40. Is 12 a factor of s(c)?
True
Let m be ((-13)/26)/((-2)/44). Suppose -m*i = -2735 - 1962. Does 51 divide i?
False
Suppose 16*r - 12*r - 25234 = 13*h, -5*h = -3*r + 18897. Does 66 divide r?
False
Let t(u) = u**2 + 9*u - 12. Let w be t(-14). Suppose 39666 = w*y - 27208. Is y a multiple of 14?
False
Let y(o) = 56*o + 3. Let m be y(-16). Let a = -475 - m. Is 38 a factor of a?
True
Suppose -2*i + 1020 = 3*i. Let h(k) = -466*k - 2835. Let w be h(-6). Let o = i - w. Does 12 divide o?
False
Suppose -c + 29080 = -5*m, c - 14608 - 14474 = 3*m. Is 21 a factor of c?
True
Let k(d) = 24*d**2 + 4*d + 113. Is k(-13) a multiple of 94?
False
Let n = -8403 - -34623. Does 60 divide n?
True
Let q be (-2)/(-6) - (6 + (-329)/21). Suppose -3*f + q = -f. Suppose -f*v + 600 = -0*v. Is 15 a factor of v?
True
Suppose 2*p + 38850 = 3*i, 56*i = 57*i - 4*p - 12940. Does 11 divide i?
False
Suppose -85*z + 1789733 = 18*z + 197250. Is 42 a factor of z?
False
Suppose 2*j = 6*j - 184. Let n = -15 + j. Suppose 32*k = n*k + 164. Does 12 divide k?
False
Suppose 4*k = -3*v + 10016, k + 16451 = 5*v - 250. Does 20 divide v?
True
Suppose -4*z + 5*h + 1235 = 0, z + h - 282 = 29. Is 12 a factor of z?
False
Let v = -299 + 299. Suppose 2*g - 1458 = -v*g. Is g a multiple of 66?
False
Let x be 308/(-6) - 2/(-6). Let b(l) = 6*l**2 + 20*l - 9. Let p be b(-6). Let m = x + p. Is 12 a factor of m?
True
Let n be (-42 - 25) + 4*(-2)/(-2). Let w be (42/9 + -5)*n. Suppose 262 = w*y - 19*y. Is y a multiple of 14?
False
Let c(j) be the second derivative of -j**4/12 + 7*j**3/2 - 15*j**2 + 43*j. Is 8 a factor of c(18)?
True
Suppose 5*v = -2*y + 10590, 30*y - 20 = 26*y. Does 20 divide v?
False
Let v = 599 - 595. Suppose -4*h + 6180 = v*t, 3*t - 3*h = 4*t - 1539. Does 36 divide t?
True
Let d be 18/(-45) + 1478/(-5) + -2. Let s = 592 + d. Is 14 a factor of s?
True
Suppose 761 = -5*a + 776. Suppose -4*q = -a*t - 1483 - 707, 3*q + 2*t = 1634. Does 26 divide q?
True
Let f = 830 + -863. Suppose -3*h = 15 + 3. Is 408/66 - h/f a multiple of 6?
True
Let f = -16537 + 28187. Does 16 divide f?
False
Let y = 80 + -36. Let w = -40 + y. Suppose 0 = -0*p + 4*p - 2*z - 568, -3*p - w*z + 437 = 0. Is p a multiple of 13?
True
Let m = -3985 + 7253. Is m a multiple of 43?
True
Let b(n) = -n**3 + n**2 + 3*n - 32. Let v be b(-8). Suppose -d - 2039 = -5*t, 0 = 2*t + 2*d - 298 - v. Is 42 a factor of t?
False
Let y = -15954 - -21834. Is 27 a factor of y?
False
Suppose -2*l = 5*v - 940, -2*l + 675 = 4*v - 263. Let f be 14292/(-88)*2 - (-4)/(-22). Let p = l + f. Is 39 a factor of p?
False
Suppose -62 = -5*w - 77, 0 = -2*r + 2*w + 10318. Does 4 divide r?
True
Let l(w) be the second derivative of -w**4/6 - 15*w**3/2 + 3*w**2 - 33*w. Is l(-21) a multiple of 9?
False
Let x be 2/3*(-18)/(-12). Suppose -19 = -2*s - x. Is s/2*(-16)/(-6) a multiple of 3?
True
Suppose 4*f - 26 = -22. Let a(x) = 38*x**2 + x + 1. Let w be a(f). Let j = w + 0. Does 14 divide j?
False
Let o = -4676 + 2428. Let p = -1385 - o. Does 47 divide p?
False
Suppose -y - 5 = 0, -v + y + y = -163. Let k = 238 - v. Is 5 a factor of k?
True
Suppose -35*a + 839055 = 144725. Is a a multiple of 25?
False
Let f = 6358 - 960. Does 34 divide f?
False
Let x(r) = -r**2 - 136*r - 3580. Is 69 a factor of x(-71)?
True
Suppose -379*m - 68991 = -397*m + 81669. Is m a multiple of 135?
True
Let k(t) = t**3 - 18*t**2 - 18*t - 13. Let l be k(19). Is 4 a factor of 2 + (-132)/l*-2?
False
Let c = 12 - 4. Let r be 3159/12 - (124/(-16) - -8). Suppose 767 - r = c*t. Is t a multiple of 19?
False
Suppose -3*y + 50 = -967. Let c = y - 583. Is (c/10)/(4/(-10)) a multiple of 13?
False
Let g = 9714 - 8379. Is 89 a factor of g?
True
Let g be (3/1)/3*5. Suppose 0 = 3*q - 5*q + 2*y + 224, 0 = 2*q + g*y - 196. Suppose 7*c - q = -2*c. Does 12 divide c?
True
Let q be (4/6)/(34/153). Suppose -19 - 78 = -3*o - 2*l, 3*l - 99 = -q*o. Suppose 0 = -o*u + 34*u - 207. Does 5 divide u?
False
Suppose -5*g = -9*g + 68. Suppose -g*f + 686 + 79 = 0. Is 17 a factor of f?
False
Let q = -6953 + 15190. Is 5 a factor of q?
False
Let u(l) = -836*l + 142. Is u(-7) a multiple of 81?
True
Suppose -17*x + 15*x - 502 = 0. Let u = -64 - x. Is 4 a factor of u?
False
Suppose 11*f = 36*f - 6600. Suppose -2*n - 4*i = -88, -8*i + 7*i = -5*n + f. Is n a multiple of 4?
True
Let p be (0 - -290)*(48/20)/3. Let s = p - -440. Does 26 divide s?
False
Let y(b) = 2*b**3 - 10*b**2 - 8*b + 9. Suppose 2*v + 8 = -2*z + 26, -5*z - v = -45. Let u be y(z). Does 20 divide (8/((-160)/u))/(6/(-32))?
False
Let i(s) = -8 - 11*s + 3 - 4. Let m be -2*((-2)/11 + 481/286). Does 11 divide i(m)?
False
Let q(n) = -n**3 + 5*n**2 - n + 7. Let i be q(5). Suppose f + 0*f + x + i = 0, -3*f = -2*x + 6. Let b(g) = -17*g**3 + g**2 + g + 2. Is b(f) a multiple of 14?
True
Let a(x) = -2*x + 48. Let f be a(24). Let g(w) = -2*w**2 + 9 - 10*w + w**2 + f*w. Is g(-8) a multiple of 25?
True
Suppose 2*c = -x + 4*x + 13, 11 = 3*c + 4*x. Is 294 + (1 - (c - 4)) a multiple of 49?
True
Let c(j) be the second derivative of 1/6*j**4 + 0 + 7*j + 5*j**2 + 1/2*j**3. Is 11 a factor of c(-7)?
False
Suppose 11*g - 7*g - 12 = 0. Suppose g*d - 2*d - q = 1, 4*d - 3*q = 8. Is 2 - -42 - d/(5/4) a multiple of 2?
True
Suppose -65*t + 423275 = -6*t - 34*t. Is 100 a factor of t?
False
Is 28 a factor of 43990/15 - -12*1/9?
False
Suppose 5*i + 786 = 27*l - 24*l, 0 = i + 4*l + 171. Let q = 147 - i. Does 34 divide q?
True
Suppose 1545610 = -2482*h + 2592*h. Does 40 divide h?
False
Let b(w) = 309*w - 271. Let a be b(30). Suppose -25*y = -2051 - a. Is 13 a factor of y?
True
Suppose 2*k - 4*x = 90, -2*x + 223 = 5*k - 14. Let w(b) = b**3 - 22*b**2 + 12*b + 155. Let t be w(21). Let l = k + t. Is l a multiple of 13?
True
Let x = -32 - -2. Let i be 165 + x - 3*1. Let v = 268 - i. Is v a multiple of 17?
True
Let y(o) = 2*o**2 + 32*o + 167. Is 5 a factor of y(-27)?
False
Let q = 35 + -27. Let n = -10 + q. Does 13 divide 130/(0/(-1) - n)?
True
Suppose -10 = -5*g, 3*t - 8231 = -5*g + 2468. Does 33 divide t?
False
Suppose 2754 = 5*i + 2*u, 3*i - 7*u - 1671 = -2*u. Let v = -268 + i. Does 19 divide v?
False
Let f = 482 - 375. Suppose -2*a = -f + 37. Is 3 a factor of a?
False
Let q(r) = -6*r + 85. Let v be q(22). Let l = 77 + v. Is l a multiple of 15?
True
Suppose -144*y = -148*y - 968. Let o = -166 - y. Does 19 divide o?
True
Let p = 10975 + -2325. Does 50 divide p?
True
Let y(f) be the third derivative of -f**6/120 - 7*f**5/30 - f**4/12 - f**3/6 - 8*f**2. Let s be y(-10). Let j = s + 537. Is 12 a factor of j?
True
Let z = 38252 - -12060. Is z a multiple of 19?
True
Suppose 17*w = 12*w + 12850. Let r = w + -1394. Does 15 divide r?
False
Let a(k) = -4*k**3 - 183*k**2 - 111*k - 222. Is a(-51) a multiple of 143?
True
Is 54 a factor of 66/231 - (223965 + -3)/((-42)/4)?
True
Suppose -7*c + 1676 = -9*c + 4*k, 0 = 3*c + 4*k + 2534. Let b = -494 - c. Is 16 a factor of b?
False
Let r(l) = 6*l**2 + 37*l - 950. Is r(-46) a multiple of 27?
True
Let x(g) = -2*g**3 - 99*g**2 + 22*g + 64. Suppose -q - 3*y - 30 = 14, q = -y - 48. Is 50 a factor of x(q)?
False
Let m(v) = 75*v**2 + 23*v + 98. Does 9 divide m(-4)?
True
Let b = 21043 - 20260