se
Suppose 181*q = 1488062 - 271998 + 178541. Is q a multiple of 67?
True
Let j(h) = -2*h**3 - 11*h**2 + 12*h + 12. Let l be j(-8). Suppose 5*d = 2*i + 558, -5*i = -4*d + l + 207. Is 8 a factor of d?
True
Let h(o) = -3*o - 2*o + 20 - 3*o - 8*o. Is 8 a factor of h(-8)?
False
Let m be (-106)/159*(15/(-2) + 0). Let s be (8/2)/(m/40). Suppose -2*y + 5*g + s = 0, 0 = 4*y + 3*g + 2*g - 94. Is y a multiple of 3?
True
Let c(i) = 8*i**2 + 18*i - 36. Let s be c(-20). Suppose -2828 = 12*v - 14*v + t, 5*t = -2*v + s. Does 64 divide v?
False
Let z(l) = -l**2 - 240*l + 1625. Does 16 divide z(-107)?
True
Suppose -6*v + 292 = -8. Let j(x) = x**2 - 28*x + 31. Is 29 a factor of j(v)?
True
Suppose 18 = -3*j + 30. Suppose 0 = -8*i + j*i + 3*z + 23, 16 = 4*i + 4*z. Suppose i*v = -369 + 1164. Is v a multiple of 30?
False
Let n = -54 + 49. Let o be -1*84 - (-5 - n). Let g = o + 119. Is g a multiple of 7?
True
Let u be 6*(-3 - (-35)/15). Let w be 4 + (-5 - u) + 90. Suppose -11*y = -193 - w. Does 13 divide y?
True
Let s(k) = 7*k**2 + 20*k + 27. Let g be s(13). Suppose 663*h = 666*h - g. Is 34 a factor of h?
False
Let v = 8905 - -4031. Does 84 divide v?
True
Let t be (-25 - 5)/(-6) - (4 + 0). Let o be 3 - (2 - 0/t). Does 6 divide o + 0 + 0 + 5?
True
Let l(h) be the third derivative of 13*h**4/8 + 5*h**3/3 - 12*h**2. Let v be l(5). Suppose 5*s + 65 = v. Does 22 divide s?
False
Let r be (-11)/(-22) - 1/(-2). Let q be 4*(-43)/(-4) + r. Suppose -2*n + q = -n. Is 11 a factor of n?
True
Suppose -6*k = -12863 - 40147. Is k a multiple of 106?
False
Let z(c) = -74*c - 26. Suppose -4*i - 31 = -3*r, 4*r - 6*r = -4*i - 26. Is z(i) a multiple of 30?
True
Suppose 3*f + 536 = 5*p, 3*p - 4*f = f + 328. Suppose 2*c = -3*l - 116, -2*c = l - 6*c + 62. Let o = l + p. Is 16 a factor of o?
True
Let r = 1494 - -561. Suppose 10*m = 5*m + r. Is 11 a factor of m?
False
Suppose 0 = 5*y - 4526 - 82097 + 2088. Does 13 divide y?
False
Let f be 2/4*(2 - 2). Let o = 771 - 491. Suppose -4*a + 60 + o = f. Is 17 a factor of a?
True
Suppose 169*n - 1448 = 73. Let y(c) = -53*c**2 + c. Let a be y(1). Let b = n - a. Does 16 divide b?
False
Let n = -33 + 57. Suppose -2*f - 4*f + n = 0. Is 69/92 - (-201)/f a multiple of 6?
False
Let t = -23 + 67. Suppose 21*n - 334 = -103. Let m = t + n. Is m a multiple of 10?
False
Suppose 0 = -0*m - m + 4*y - 2, m + 2*y = 4. Suppose -5*o - 295 = -s, -3*s + 925 = -m*o - 3*o. Is 14 a factor of s?
False
Suppose 5*s = -4*u + 6447, 2*u - 3*s = -969 + 4198. Is u a multiple of 2?
False
Let w(f) = -285*f + 23. Let z = -344 + 342. Is 15 a factor of w(z)?
False
Let h(a) = 110*a**3 - 22*a**2 + 52*a + 16. Is h(6) a multiple of 32?
True
Let w = 3444 - 849. Does 173 divide w?
True
Let u(q) = -q**3 - 11*q**2 - 4*q - 12. Let o = 23 + -9. Let w = o + -25. Is 5 a factor of u(w)?
False
Let g(f) = -f**2 + 18*f - 23. Let x be g(16). Suppose 4*k - x = -z, k - 15 = -4*z + 6. Suppose 335 = 5*o - z*d, -o - 203 = -4*o + 5*d. Does 11 divide o?
True
Let k(z) = 284*z - 4197. Does 43 divide k(87)?
True
Let g(u) = u**3 + 6*u**2 - 9*u - 11. Let m be g(-7). Suppose 0 = m*f + 7 - 13. Suppose f*j = -k + 194, -j + 91 = -0*k + 2*k. Is j a multiple of 11?
True
Let w be 17/(((-4)/10)/((-64)/5)). Let v = w - 275. Does 18 divide v?
False
Suppose 0 = 4*d - 2*a + 24, 9 = -3*d + 2*a - 11. Let h be ((-4)/(-2))/(6 + d). Suppose -h - 3 = z, 4*z + 456 = 2*s. Is 35 a factor of s?
False
Is 12 a factor of -5 - (33207 + -5)*2/(-4)?
True
Let l be (2 - -367) + (-1)/(-4)*4. Let q = -34 + l. Suppose 0 = 8*m - m - q. Is 24 a factor of m?
True
Let k(x) = -3*x + 3*x - 3*x - 67 + 0*x. Let r be k(-20). Is 2 - -19 - 7/r a multiple of 10?
False
Let z = 3040 - 1651. Is 22 a factor of z?
False
Let f(c) = -3*c**2 + 8. Let x be f(-2). Does 2 divide 1/x + (-946)/(-8) + -5?
False
Let y = 523 + -490. Suppose -y*g + 34*g = 196. Is g a multiple of 7?
True
Let m be (-36618)/(-119) - 4/(-14). Let x = m + -217. Let l = 98 - x. Does 2 divide l?
False
Let x = 1901 + -458. Is 39 a factor of x?
True
Suppose 1768*q - 8094 = 1767*q + 2*j, 4*j = 12. Is q a multiple of 50?
True
Let c = 1845 + 3. Is c a multiple of 10?
False
Suppose 0 = l + 1, -5*l + 64191 = 32*g - 28*g. Is g a multiple of 11?
True
Suppose -14694 = -33*u + 83514. Is 48 a factor of u?
True
Let t(r) = r**3 + 6*r**2 + 2*r - 23. Let z be t(0). Let l(n) = n**3 + 23*n**2 - 6*n + 47. Is l(z) a multiple of 10?
False
Suppose 6670 = 3*z + 4*q, -5*z = -3*q - 11032 - 17. Is 41 a factor of z?
True
Let f be 6/(-8) + (2 - (-126)/(-24)). Let v be f - (-40)/(16/4). Suppose -2*m = -v*m + 640. Is 40 a factor of m?
True
Let t be 20*(-7 + (-74)/(-10)). Suppose t*o - 5*o - 4*f - 997 = 0, 3*o = -5*f + 961. Is 50 a factor of o?
False
Suppose 20*u + 17540 = -36*o + 41*o, -2*u + 13960 = 4*o. Is 187 a factor of o?
False
Suppose 0 = 7*f - 202426 - 29918. Is f a multiple of 63?
False
Let h(l) = 8*l**2 + 22*l - 38. Suppose -5*g = -29*s + 24*s + 60, g = -2*s. Is h(g) a multiple of 7?
False
Let f = -48244 + 70344. Is f a multiple of 65?
True
Let n = 2114 - 42. Is 74 a factor of n?
True
Suppose 0 = 5*b - 12*h + 8*h - 28222, 4*b = 4*h + 22580. Does 6 divide b?
False
Does 9 divide (9651/(-3))/(7/(-70)) - 11?
False
Let l(i) = 5*i**2 + 31*i + 6. Let t be (-8)/(-3)*(66/24 + -5). Let u be l(t). Suppose u*m = -5*m + 300. Is m a multiple of 20?
True
Suppose -26*g = -48*g + 13442. Let n = g - 503. Does 4 divide n?
True
Suppose 4*q + 3*z - 11886 = 0, 14862 = 5*q + 198*z - 195*z. Is 48 a factor of q?
True
Let g(y) = 5*y**2 - 14 + 0*y**3 - y**3 - 4*y + 10. Let i be g(3). Suppose 0 = m + i*m - 141. Is 4 a factor of m?
False
Suppose 0 = -4*r + 4*z + 1391 - 3919, -2*z - 2546 = 4*r. Let k be r/(-15)*24/4. Suppose 0 = 19*l - 17*l - k. Is 12 a factor of l?
False
Suppose -4*d + 7*d + 19 = -5*s, -d - 13 = 3*s. Let u be ((-3)/(-6))/(2/20). Suppose -284 + 14 = -u*v - d*m, 0 = m. Does 16 divide v?
False
Suppose 0 = -19489*h + 19480*h + 160380. Is h a multiple of 220?
True
Let h = -106 + 76. Let a = -25 - h. Suppose 138 = 2*q + a*w, 0*q - 2*q + 3*w + 122 = 0. Is q a multiple of 8?
True
Let z = 2324 - 4758. Let t = -1680 - z. Is 44 a factor of t?
False
Let v(x) be the first derivative of x**7/840 + x**6/72 + x**5/40 - x**4/6 - 10*x**3/3 + 6. Let m(y) be the third derivative of v(y). Does 4 divide m(-3)?
False
Suppose 28 = -2*n + 5*d, n + 8 = -2*n - d. Let f(r) = -r**3 - 7*r**2 - 5*r. Let v be f(n). Let a = v - -52. Does 4 divide a?
True
Let p(f) = 20*f - 181. Let g(o) = 4*o - 36. Let k(q) = -11*g(q) + 2*p(q). Let d be k(10). Is 6*25 - (3 + d) a multiple of 15?
False
Suppose 2*y = -y - 279. Let x = -732 + 624. Let g = y - x. Is g a multiple of 5?
True
Suppose 14 + 58 = k - n, -4*n = -3*k + 221. Suppose 2*d = 53 + k. Is d/(-24)*(-424)/10 a multiple of 12?
False
Let m be 2/(-4 - -2) - 1*156. Let x = 189 + m. Does 25 divide x?
False
Let n be (-28)/(-182) - 301/13. Let f = 19 + n. Let q(l) = -l**3 - 6*l - 10. Does 39 divide q(f)?
True
Let j = -2493 - -4461. Is 12 a factor of j?
True
Let s(n) = n**3 - 6*n**2 + 5*n + 4. Let x be s(5). Let j(w) = 3*w - 3*w - x*w - 16 + w**2. Is 36 a factor of j(-7)?
False
Let c be 39/9 + 2/3. Suppose -c*h + 1341 - 61 = 0. Suppose 0*k = -4*k + h. Is 26 a factor of k?
False
Let i = 5127 - 2579. Is 98 a factor of i?
True
Suppose -4*c = -2*j + 144, 5*c = -21 + 1. Suppose t + t - g - 67 = 0, 2*g = -2*t + j. Suppose -144 = 29*z - t*z. Is 18 a factor of z?
True
Let m be 18/(-6)*442/3. Let b = -254 - m. Is 47 a factor of b - 4 - (-4)/1?
True
Suppose -3*v = -3*a - 123, -27 = -4*v - 3*a + 172. Let f = v - 32. Is 7 a factor of f?
True
Suppose 5*f + 13*f - 145*f + 1305306 = 0. Does 30 divide f?
False
Let l(t) = t**2 + 5*t - 10. Suppose 2*z + 3*g = -3, z + 0*g = -3*g + 6. Let x be l(z). Suppose 5*p + 5*m = 3*m + x, -2*m - 16 = -2*p. Is p a multiple of 3?
True
Let c(u) = u**3 + 12*u**2 + 20*u - 6. Let n be c(-9). Suppose 0 = 51*s - n*s + 210. Is 2576/s + (-2)/(-5) a multiple of 43?
False
Suppose -4*u = 20, -2*o - 185 = -2*u + 533. Is 31 a factor of 31/(3/(-4) - 325/o)?
True
Suppose -63*k + 604800 = 17*k. Does 36 divide k?
True
Suppose 9*g = -4*a + 4*g + 59, 4*a + 4*g - 56 = 0. Suppose 0 = 17*d + a*d - 14868. Does 59 divide d?
True
Let w be 58/6 - 5/(-15). Suppose -6*t + w*t - 16 = 0. Suppose -83 = -t*k + 485. Is k a multiple of 3