ue
Let i(b) = 628*b - 632. Is 28 a factor of i(6)?
True
Suppose 7*j = -2*j + 4*j + 10. Let s(h) = 20*h**2 - 4*h. Let o be s(-6). Suppose -o = j*v - 8*v. Is 13 a factor of v?
False
Suppose 2*l - 2550 = -3*l. Suppose -2523 - 2237 = -17*w. Let n = l - w. Is n a multiple of 10?
True
Let h = 41 - 41. Suppose 4*y = -h*y. Suppose -5*b + 150 = -y*b. Is 10 a factor of b?
True
Suppose -b = y + 4, 4*b = y + 24 - 10. Let m be (-117)/(-3) + (2 + y)/2. Let v = m - -5. Is 4 a factor of v?
False
Suppose 3*w - 3081 = -9*p + 8*p, 3*p - 9223 = -4*w. Does 31 divide p?
True
Let l(d) be the first derivative of 7*d**3/3 + 6*d**2 - 4*d - 30. Is l(-4) a multiple of 3?
True
Let j(q) = -q + 1. Let h(v) = 2*v - 2. Let u(n) = 3*h(n) + 5*j(n). Let a be u(3). Suppose g + 5*p = 2*p + 35, 3*g + a*p - 70 = 0. Is g a multiple of 4?
True
Suppose -3063 = -13*f + 3944. Let l = f + -344. Is 13 a factor of l?
True
Let n(c) = -c**3 + 4*c**2 + 3. Suppose -a - 2 = 3, 4*a = 4*r - 36. Let k be n(r). Suppose k*p + 80 = 5*p. Does 10 divide p?
True
Let l(d) = -10*d + d**2 + 2*d - 3*d + 4. Let z be l(10). Is (1 - 27)*33/z a multiple of 34?
False
Let q(y) = y**2 + 15*y + 17. Let k be q(-13). Is 7 a factor of k/(-18) - (-854)/4?
False
Let d = 12 + -8. Suppose 2*q = x - d*x + 10, 0 = 2*x - 2*q. Does 14 divide x/14 + (-9691)/(-77) - 0?
True
Let j = -184 - -76. Let b = j - -290. Is b a multiple of 37?
False
Let x = -3 + -11. Let v = x - -17. Suppose -2*s - 249 = -5*h, v*h - 53 = -3*s + 88. Is 5 a factor of h?
False
Suppose 3*o + 30575 = 2*i, 19*o - 22*o = -5*i + 76460. Is i a multiple of 111?
False
Let y(v) = -1803*v + 55. Is 20 a factor of y(-1)?
False
Let w(v) = 22*v**2 - 9 + 7*v - v**3 - 23*v + 6*v. Is 43 a factor of w(21)?
False
Suppose -2*k = -71*n + 67*n - 1438, -n = 5*k - 3551. Is k a multiple of 79?
True
Let z(p) = 4*p**3 + 2*p + 4. Let h be z(3). Suppose 0 = -5*i - 25, -j + 5*i + 0*i = -29. Suppose 114 = 2*m - 2*f, 0 = 2*m - j*m + 3*f + h. Is 12 a factor of m?
False
Let m = 19120 + 12451. Is 53 a factor of m?
False
Let v = 112 - 112. Suppose 3*b - 338 - 157 = v. Suppose -b = f - 4*f. Does 11 divide f?
True
Let v(l) = 234*l - 111. Let g = -567 + 571. Is v(g) a multiple of 25?
True
Let c = 4831 + -3006. Is c a multiple of 30?
False
Let h(c) be the second derivative of c**5/20 + c**4 - 5*c**3/2 - 7*c**2 - 59*c. Is h(-13) a multiple of 3?
True
Let p(o) = 8*o**2 - 23*o + 10. Let k(u) = 2*u**2 - 3. Let l be k(-2). Is p(l) a multiple of 12?
False
Let y = 31851 + -9790. Does 13 divide y?
True
Let k(z) = -z**2 + 5*z + 11. Let a be k(6). Suppose -13*q + 15 = -10*q, -a*p = 5*q - 55. Does 4 divide p?
False
Let k be (-20 - -7)/((-1)/(-1)). Suppose 0 = -3*l - l - 84. Let o = k - l. Is o a multiple of 2?
True
Suppose -20*y + 1666 = -13*y. Suppose 196 = q - y. Is q a multiple of 14?
True
Let i(t) = -41*t**3 + t**2 + 5. Let s(c) = 42*c**3 - c**2 - 6. Let u = 74 + -80. Let a(b) = u*s(b) - 7*i(b). Is 8 a factor of a(1)?
False
Suppose 12*o - 53 = -5. Suppose o = -2*j, -5*u + 4*j = 360 + 722. Let l = u + 344. Is 15 a factor of l?
False
Suppose 49 = 7*u - 56. Suppose u*j = 18*j - 6. Suppose -2*z - 4*w = -58 - 4, j*w = -8. Is z a multiple of 13?
True
Let z be 8/10 + 6/30. Let n be -3 + (2 - z - 0). Does 16 divide ((1 - -2) + n)*(11 - -30)?
False
Let t(v) = -17*v**2 - 427*v - 15. Is t(-22) a multiple of 25?
False
Suppose 2*q - 15439 = 5*o, o = -118*q + 115*q + 23184. Does 54 divide q?
False
Let a(g) = 11*g**2 + 182*g - 3238. Does 2 divide a(16)?
True
Let s(h) = 90*h - 44. Suppose -500*n + 501*n - 5 = 0. Does 23 divide s(n)?
False
Let b(g) = g**3 + 43*g**2 + 11*g + 2. Is 12 a factor of b(-38)?
True
Suppose v + 3*y + 8 = -3, 4*y = -3*v - 8. Let f be 8/(v + 172/(-42)). Let w = 128 + f. Does 2 divide w?
True
Suppose -3*o + 558 = -2*x - o, -4*x = o + 1141. Let v be (x/(-6))/(32/48). Suppose -v - 239 = -5*q. Does 7 divide q?
False
Let z(g) = -36*g + 3109. Is z(-12) a multiple of 62?
False
Let p(b) = -452*b + 4. Let v be p(-1). Let q = -261 + v. Does 13 divide q?
True
Suppose 9*p - 45*p + 1535040 = 46*p. Does 120 divide p?
True
Suppose 2*m - 17 - 125 = 0. Let v = 68 - m. Is 19 a factor of (-173)/v + 5/(-15)*2?
True
Suppose i = -3*m + 225 - 31, -m + 70 = 3*i. Let l = 122 + m. Does 47 divide l?
False
Suppose 22098 = 5*o - 3*m, 4*o = 509*m - 510*m + 17692. Does 134 divide o?
True
Let n(j) = 10*j**2 - 5*j - 21. Let w be (-1*3)/(19 + -18). Is 7 a factor of n(w)?
True
Suppose 479*l = 216*l + 227*l + 1576044. Is l a multiple of 19?
False
Let g = -9256 + 10936. Is 15 a factor of g?
True
Suppose 3*f + 3*z - 7138 = -2308, -2*f = 3*z - 3224. Let x = f + -696. Is 65 a factor of x?
True
Let k be 12/96 - 391/(-8). Suppose 0 = 5*o - k*o + 35640. Is o a multiple of 22?
False
Suppose 5*a - 493 = 2*h - 3635, 0 = -5*a. Is h a multiple of 29?
False
Suppose 0 = -236*x - 1349579 + 6579575. Is 238 a factor of x?
False
Let a(b) = 0*b - 62 - b + 33 + 4*b. Let g be a(11). Is 15 a factor of (-1894)/(-14) + ((-8)/7)/g?
True
Let t = 215 + -117. Let u = t + -94. Suppose -2*c - 34 = -g, -u*c - 37 = -g - 11. Does 6 divide g?
True
Let b = -39 - -79. Let r = b + -16. Let x = r + 17. Is x a multiple of 4?
False
Let d(t) = -t**3 + 8*t**2 + 3. Let j(q) = q**2 - q. Let v(z) = d(z) - 6*j(z). Let w be v(5). Does 14 divide 232/(-29)*w/4?
True
Let t = 10531 - 9651. Is t a multiple of 8?
True
Let f(j) = -343*j - 807. Is 14 a factor of f(-18)?
False
Let k(d) = -16*d**3 - d**2 + 8*d + 4. Let q be k(-3). Let a(g) = -g**2 + 254. Let t be a(0). Let y = q - t. Is y a multiple of 25?
False
Let g(o) = -35*o + 9. Suppose -5*q + 8 = -2*z, 0*z - 3*q = 3*z + 12. Does 14 divide g(z)?
False
Suppose -18*r - 27*r + 238140 = 9*r. Is 5 a factor of r?
True
Let q be (-1 - 4)/(4/28). Let k(c) = 2*c**2 + 48*c - 18. Does 94 divide k(q)?
True
Suppose 61340 = 29*q - 37*q + 28*q. Does 46 divide q?
False
Suppose 31*x + 1726350 = 133*x. Is x a multiple of 8?
False
Let a(k) = -k**2 - 4*k - 3. Let z be a(-5). Let v be (-54)/(252/(-304) - 6/z). Suppose -m + 284 = 2*x, 5*x - 5*m = -m + v. Is 17 a factor of x?
False
Let z(j) = -3*j**2 - 218*j + 888. Let u be z(4). Let k be (-11)/(((-1)/14)/(-1)). Does 9 divide u/(-24) - k/6?
True
Let z be 1/(-6) + 7/((-504)/(-156)). Suppose i + z*s - 6 = 0, -i = i - s - 32. Is i a multiple of 2?
True
Suppose -5*k = 2*i - 31, -3*i + k = -3*k + 11. Let v be ((-33)/(-2))/i - 1/2. Is v/((-3 + 195/66)*-2) a multiple of 11?
True
Suppose -5*j + 216 + 194 = 0. Suppose -j - 80 = -6*h. Is 2 a factor of h?
False
Suppose -19*z + 4370 = -9*z. Suppose 3*u = -2*i + z, 2*u + u - 2*i - 433 = 0. Is 29 a factor of u?
True
Suppose -3*o + 5*j + 58 = 0, -o - 8 = -2*o - 4*j. Suppose -o*b = -8*b - 2608. Is 15 a factor of b/9 + 7/9 + -1?
False
Let p(f) = f - 1. Let g(k) = -2*k**3 + k - 24. Let d(z) = g(z) - 4*p(z). Does 27 divide d(-5)?
False
Let v(u) = 3*u**2 + 51*u + 328. Is v(-16) a multiple of 70?
True
Does 62 divide 12 + -1 + 3 + -7 + 7281 + -2?
False
Let h = -11 + 14. Suppose 2*d = f + 4, -h*f = -4*f - 5*d + 24. Does 2 divide f?
True
Let y(i) = i**3 + 6*i**2 + 7*i - 2. Let l be y(-4). Suppose 3*o = o - l. Is 79 + 0 - 2/o a multiple of 27?
True
Suppose 2*r = 4*g + 94028, 159*r - 163*r = -2*g - 188068. Is r a multiple of 108?
False
Let q be (87 - -4) + 0/2. Let w be 23*(5/10)/(4/40). Let i = w - q. Is 8 a factor of i?
True
Let v be 2*-2*(-4242)/(-24). Let k = v + 1124. Does 29 divide k?
False
Suppose -288*n - 72 = -294*n. Does 20 divide (-4 - (-208)/40)/(n/8600)?
True
Let l(v) = -14*v**2 + 462*v. Does 14 divide l(15)?
True
Is 4 + 2/(-45)*5 + (-26682)/(-27) a multiple of 86?
False
Let u = -154 - -164. Let l(a) = a**3 - 10*a**2 + 14*a - 20. Does 24 divide l(u)?
True
Suppose -5*w + 11*w = -198. Let j = w - -37. Suppose -960 = -6*n - j*n. Is n a multiple of 27?
False
Suppose 3*n = 2*w - 36681, -n = -w + 6530 + 11814. Is w a multiple of 13?
False
Suppose -26*d = -27*d - 2*u + 7480, 2*d = 4*u + 14920. Is 83 a factor of d?
True
Suppose -231*f - 1368 = -249*f. Suppose 5*c - 4*q - 702 = 0, -f*q = -77*q - 3. Is c a multiple of 6?
True
Suppose 0 = 3*d - 3, 19*f + d = 14*f + 43856. Does 4 divide f?
False
Suppose -19*m + 22*m = -12, 4*i - 3*m - 20596 = 0. Is 62 a factor of i?
True
Suppose -405*b + 25*b = -10223689 + 3143909. Does 5 divide b?
False
Let z(s) = s**3 + 12*s**2 + 12*s + 14. L