93 + -17092. Does 7 divide l?
True
Let r(t) = 136*t**2 - 7*t - 18. Is 44 a factor of r(5)?
False
Is 3 a factor of 26 + -17 + -17 + 1220?
True
Let j(p) = 30 - 10 + 33 - 11 + 45*p - p**2. Does 12 divide j(15)?
True
Let x be 42/(-7)*(-1416)/9. Suppose 17*g - 21*g = -x. Let u = g - 88. Does 30 divide u?
False
Is (-29848)/6*8*(-33)/176 a multiple of 91?
True
Suppose 21*c - 45 = 26*c. Let b be (608/12)/((-6)/c). Let l = 132 - b. Is l a multiple of 10?
False
Suppose -6*g - 58 = -952. Does 16 divide g?
False
Suppose -25*b - 456 = -81. Is 20 a factor of 32/(-40)*(1 + 9)*b?
True
Let z(g) = g**3 - 53*g**2 + 33*g - 600. Does 144 divide z(56)?
True
Let f = 24 - 21. Suppose -f*z + 22 = -z. Let x = 56 - z. Is x a multiple of 15?
True
Suppose -6*j + 3500 - 1082 = 0. Let g = 817 - j. Is g a multiple of 62?
False
Suppose 94*w = 93*w + 3. Suppose 3*f = -w*z + 2643, -30 + 1786 = 2*f - 4*z. Is f a multiple of 20?
True
Suppose 5*v + 2*z - 17 = 0, 3*v + 0*z - 27 = 3*z. Let j = 1614 + -1327. Suppose -2*g + 6*k + 547 = v*k, g + 4*k = j. Is 25 a factor of g?
True
Is (-665924)/(-51) - ((-4)/(-10))/(48/(-80)) a multiple of 16?
False
Suppose -3*a - 2*j = 2*a, a + 3*j = 0. Let r(u) be the third derivative of -u**6/120 - u**5/60 - u**4/12 + 17*u**3/3 + u**2. Is 34 a factor of r(a)?
True
Suppose 6*y + 3*n - 12 = 4*y, -2 = n. Suppose -y*g = -8*g - 50. Is 32 a factor of ((-48)/15)/((-5)/g)?
True
Is -3 + (-305308)/(-44) + (-420)/110 + 4 a multiple of 102?
True
Suppose 4*x + 20*v = 15*v + 97619, v = 2*x - 48785. Is x a multiple of 107?
True
Let r(w) = -15*w - 404. Let l be r(-27). Let f(c) = 189*c**3 + 6*c**2 - 3*c - 3. Does 9 divide f(l)?
True
Suppose 0 = 3*l + 2*l - 15. Suppose -131 = -0*d - d + j, -d = l*j - 135. Is 6 a factor of d?
True
Does 19 divide (((-48972)/220)/53)/(1/(-335))?
False
Let g(x) = 15*x + 456. Is 16 a factor of g(-8)?
True
Let o(t) = -5*t**2 - 64*t + 16. Let i be o(-13). Suppose -197 = -i*c - 4*z, -2*z - 32 = -c + 37. Is c a multiple of 13?
False
Let h(y) be the first derivative of y**3 - 19*y**2/2 + y - 1156. Suppose -16 - 14 = -2*m - 4*x, -5*m - 3*x = -47. Is h(m) a multiple of 15?
True
Let z = -280 - -313. Suppose -2685 = -z*u - 573. Does 8 divide u?
True
Let l = 12 - 3. Suppose 10*w + l*w = 6916. Is 52 a factor of w?
True
Suppose 17*q - 13705 = 22*q. Let k = q + 4210. Is k a multiple of 13?
True
Let p be ((-39)/(-26))/(3/10). Let n(c) = 43*c - 65. Does 6 divide n(p)?
True
Let j = -45 - -45. Suppose -12 = -2*w + 3*o - 5*o, j = -3*w + o + 14. Suppose 0 = -4*c + 16, -w*h - c = -3*h - 124. Does 12 divide h?
True
Suppose -34 + 124 = 2*b. Let t = b - 41. Suppose -3*q + 135 = 2*q - 5*m, -t*m - 80 = -3*q. Does 25 divide q?
False
Let z = 870 - 555. Is z a multiple of 105?
True
Let n(c) = -11*c**2 - 46*c + 68. Let u(x) = 8*x**2 + 30*x - 45. Let p(j) = -5*n(j) - 7*u(j). Does 2 divide p(14)?
False
Suppose -85*x + 55474 = -2129366. Is 216 a factor of x?
True
Let u = -13679 + 18073. Does 82 divide u?
False
Suppose -813*a = -810*a - 66372. Is a a multiple of 59?
False
Let q(m) = m**2 - 30*m + 47. Let o be q(19). Let p = 327 + o. Does 11 divide p?
True
Let m(c) = 2*c + 19. Let r be m(-11). Let u be ((-43)/24 + (-4)/(-32))*r. Suppose 3*g = -y - u, -5*y + 30 = 5*g - g. Does 10 divide y?
True
Suppose 7638*b = 7669*b - 57288. Is 42 a factor of b?
True
Suppose 64*x = 130*x - 84546. Is 17 a factor of x?
False
Let w(y) = -4*y + 5. Let n be w(-3). Suppose 2*a + k = n + 1, -3*k = 4*a - 36. Is 9 a factor of a?
True
Let j be 0/(-3)*(-2)/(-3 + 7). Suppose y + j*y - 207 = 0. Suppose -17*b + y = -14*b. Does 16 divide b?
False
Let m be (108/144)/(1/152). Suppose -m*r + 7480 = -103*r. Is 68 a factor of r?
True
Let g be ((-2555)/15 + -3)*15/5. Let q = g - -730. Is q a multiple of 7?
True
Let t(j) = -j**3 - 11*j**2 + 5*j + 15. Let a be t(-13). Suppose 6*u - a - 1266 = 0. Is u a multiple of 27?
False
Let l(g) = -g**3 + 5*g**2 + 6*g + 13. Let h be l(6). Suppose 15 = -3*b, 52 + h = -5*y + 3*b. Is (y + 2)*(2 - 21/6) a multiple of 21?
True
Suppose -s + 2*s + 161 = 2*w, 5*w - 425 = -2*s. Let h = 88 - 45. Let l = w + h. Is l a multiple of 22?
False
Let g(w) = -9*w + 23. Let u be g(3). Is 14 a factor of (u - -1) + (140 - -17)?
True
Let x(t) = -42*t**3 - t**2 + 5*t + 5. Let n be x(-2). Is 47 a factor of 6/14*(n - -2)?
True
Suppose -n + 4278 = d, -4*d = 2*n - 1237 - 7321. Is n a multiple of 53?
False
Let y = 18 + -24. Does 13 divide -14*(-5 - y/(-4))?
True
Suppose -31097 = -28*f + 29635. Is 9 a factor of f?
True
Let a be 2 - (-3 - -3)/(3 + 0). Let g be 583/9 - 24/(-108). Suppose -h + w = -g, 0*w = -a*w - 10. Does 6 divide h?
True
Let q(t) be the third derivative of t**5/60 + t**4/6 + 25*t**3/6 - 15*t**2. Is q(13) a multiple of 23?
False
Suppose 0 = 3*a + 18, 219*x = 214*x - a + 53614. Does 24 divide x?
False
Let k be 63*(-3 - (2 + -4)). Let j = 90 + k. Does 12 divide j?
False
Let k(y) = 3*y**2 + 65*y + 427. Is 27 a factor of k(-17)?
True
Let j(v) be the third derivative of 13*v**2 + 0 + 0*v - 1/3*v**4 + 1/120*v**6 - 5/2*v**3 - 11/60*v**5. Is j(12) a multiple of 23?
False
Let a be (3 - 6) + (-1)/((-3)/9). Suppose 0*u - 9*u + 729 = a. Does 9 divide u?
True
Let z(o) = -4 - 9*o + 11*o - 7*o - 1 + 269*o**2. Does 28 divide z(-1)?
False
Let b(n) = -12*n + 42. Let g be (1 + (-4 - -2))/(25/1025). Let p = g + 32. Is 50 a factor of b(p)?
True
Let o be 2 + (-6)/(12/(-4)). Suppose -942 = -o*w - 2*i + i, 5*i + 718 = 3*w. Is 14 a factor of w?
False
Is (48356/(-6) - 2)*(-837)/558 a multiple of 84?
False
Suppose 3*j - w + 67 = 5*j, -3*w - 15 = 0. Suppose 2*n + j = -z, -4*n + 7*n - 5*z = -54. Let x(i) = -i**3 - 19*i**2 - 19*i + 6. Does 16 divide x(n)?
False
Suppose 5*f + 2 + 13 = 0. Let m be 96/(-4)*16/f. Is m/4*(-1)/(-2) a multiple of 10?
False
Let n = 285 + -291. Let r(t) = -117*t + 306. Is r(n) a multiple of 48?
True
Does 9 divide (10/(-3))/((-44)/35310)?
False
Suppose -5*u + 359 = -886. Let d be ((-1)/(-1) - 2)*159. Let a = d + u. Is 10 a factor of a?
True
Is 59 a factor of ((-147)/196)/((7/1164)/(-7))?
False
Let z = 282 - 244. Let c = 250 + z. Does 32 divide c?
True
Let d = -186 + 345. Suppose d = 5*u + 584. Let h = -29 - u. Is h a multiple of 7?
True
Let g = 2446 + 6224. Is 69 a factor of g?
False
Let q(i) = -2*i + 5304. Does 138 divide q(-39)?
True
Let k = -3 - 17. Let g be (24/k)/((-9)/510). Is 21 a factor of (g/8 + 2)*8?
True
Let b be -92*6/(-6 + 3). Let d = b - -137. Does 51 divide d?
False
Is 14 a factor of (-10 + 6)*(13 - (-45942)/(-24))?
False
Let d(b) = b**2 + b + 2. Let m be d(-2). Suppose 2*z = 4*p - 6, -4*p + 4*z + 2 = 6. Suppose 0 = k - m*x - x - 55, -3*x = -p*k + 237. Is k a multiple of 12?
True
Let i(s) = -24*s + 9. Let f(k) = k + 3. Let p be f(-1). Let z be i(p). Does 11 divide 10*(-52)/z*(-3)/(-2)?
False
Let s be 4 + -6 + -1 + 2. Let a be 2*s*(-297)/(-6). Let d = a + 183. Is 14 a factor of d?
True
Let a(z) = -z - 6*z + 6*z - 6*z + 8*z**2 + 24. Does 58 divide a(10)?
True
Suppose 3*t + 10*f - 8916 = 13*f, -4*f = -3*t + 8916. Suppose t = 2*d + 3*w, -5*d + 2*w + 529 = -6863. Does 37 divide d?
True
Let j = 2 + 76. Let d be -8*(-9)/144*4. Suppose d*m - 123 = -3*v + j, -4*v + 520 = 5*m. Is 12 a factor of m?
True
Suppose -185*i + 3950332 = -5547568. Does 27 divide i?
False
Suppose 3*u - 4 + 28 = 0. Let m be (u/10)/((-1)/5). Let c = 13 - m. Does 9 divide c?
True
Suppose -2*a + 2*s = -9736, -128*s - 4840 = -a - 123*s. Is 15 a factor of a?
True
Let p be (-4 + 3)*1*-17. Is ((-34)/4)/(p/(-612)) a multiple of 34?
True
Let j(q) = -q**2 + 29*q - 48. Let a be j(31). Let v = a + 167. Is v a multiple of 19?
True
Suppose -2*n + 5*x = 166 + 91, -3*x - 15 = 0. Let w = 349 + n. Is 12 a factor of w?
False
Let l = -54 + 58. Suppose -998 = 3*c - 0*c - 5*d, l*c = 2*d - 1340. Does 19 divide 75/20*c/(-9)?
False
Let d = -3470 + 7382. Is 26 a factor of d?
False
Let m(q) = q**3 - 14*q**2 + q + 6. Let k = 26 + 30. Suppose 5*p - 9*p = -k. Does 3 divide m(p)?
False
Let s be (50/15)/((-2)/3). Let m = s - -45. Suppose -n + 5*n = m. Is 2 a factor of n?
True
Suppose -925 = 5*j + t + 522, -4*t = -2*j - 592. Let d = -93 - j. Is 20 a factor of d?
False
Suppose 46*l = 43*l + 636. Let m = 380 - l. Does 42 divide m?
True
Let v(s) be the second derivative of -31*s**3/2 + 498*s. Let y = 3 - 5. Is 29 a factor of v(y)?
False
Suppose -7