 s(v) = -35*v + 71. Is s(w) a multiple of 8?
True
Suppose -33*t = -36*t + 15. Does 16 divide -3 + t + -1 - (5 - 48)?
False
Suppose 110*h + 184833 - 792033 = 0. Is h a multiple of 23?
True
Let z(d) = 142*d**2 + 3*d - 1. Let b be z(2). Suppose 4173 - b = 10*f. Is f a multiple of 12?
True
Suppose -12 = 85*i - 80*i + 3*c, -5*c = 20. Let n be (-2)/((-1)/(-10)*2). Does 30 divide (n - i)/(4/(-48))?
True
Suppose 2204 = 5*w - 2*m, -4*m = w - 461 + 29. Is w a multiple of 11?
True
Let b(m) be the second derivative of m**4/12 + 7*m**3/2 + 17*m**2 - 11*m. Is b(-29) a multiple of 9?
False
Let u(q) be the third derivative of -25*q**4/24 + 25*q**3/6 + 5*q**2. Let x be u(6). Is 22/11 - (x + 1) a multiple of 18?
True
Suppose -4*d = -4*x - 0*d + 2616, -3225 = -5*x - 4*d. Suppose -a - 181 = -x. Does 36 divide a?
True
Let t = 206 - 266. Does 21 divide (-15)/t + 375/4?
False
Suppose 91*o = 86*o + 570. Let l = -111 + o. Suppose 0 = -4*g - 12, -8*g + l*g + 99 = m. Is 19 a factor of m?
True
Suppose -30*c = -3*c + 702. Let m = c - -96. Does 30 divide m?
False
Let m(x) = x**3 - 7*x**2 + 4*x - 24. Let l be m(7). Suppose 0 = -l*y - 13*y + 544. Is y a multiple of 4?
True
Let o be 1*19*(-3 - -4). Suppose -o*s + 6 = -17*s. Suppose -s*b - 20 - 51 = -4*v, 3 = 2*v + 5*b. Does 7 divide v?
True
Let g be (2 - 42/18)/((-2)/48). Let m(n) = 66*n - 2. Does 65 divide m(g)?
False
Let x = -3911 + 15661. Does 14 divide x?
False
Suppose -4*a + 192 = 3*g, -5*a - 37 = 4*g - 278. Let q = a + 171. Is 18 a factor of q?
True
Suppose -4*p + 62584 = -302*t + 305*t, 0 = 5*p + 10. Is 16 a factor of t?
True
Let s(o) = 63*o**3 - 6*o - 3. Let t = 105 + -107. Let q be s(t). Let k = -279 - q. Does 24 divide k?
True
Let s(y) = 34*y**2 - 664*y + 29. Is 13 a factor of s(21)?
True
Let u(p) = 450*p + 8. Let m be ((-140)/21 + 7)*3. Is 10 a factor of u(m)?
False
Let v = 527 + -158. Suppose 11*g - v = 1512. Is g a multiple of 57?
True
Let s(j) = -j + 1. Let k(b) = -5*b - 7. Let q(d) = -k(d) + 4*s(d). Let h be q(-6). Suppose 0*x = -h*x + 35. Is 5 a factor of x?
False
Let k(n) = -99*n**3 - 5*n**2 - 12*n + 2. Is k(-2) a multiple of 7?
True
Let z = 185 + -131. Let d be -3 - (-2*47 - (-7 - -4)). Let o = d - z. Is o a multiple of 7?
False
Suppose -t = 8*t + 45. Does 20 divide 1/(t/20)*-40?
True
Let w(j) = 8*j + 3*j - 12 - 2. Let c be w(6). Let p = 57 - c. Is p a multiple of 5?
True
Suppose 18*s - 42*s = -10320. Let k = s - 235. Does 39 divide k?
True
Is 6 a factor of ((-5648)/40 - 4)/(6/(-150))?
True
Let x(v) = 2539*v - 3 - 2523*v - 28. Is x(11) a multiple of 11?
False
Let m = -7783 - -32881. Is 89 a factor of m?
True
Suppose 2*y - 2*w = 25474, 12777 = y + 511*w - 507*w. Is y a multiple of 10?
False
Let h(s) = -s + 1. Let w(p) = -4*p - 23. Let j(l) = 5*h(l) - w(l). Let q(m) = -m**2 + 5*m + 14. Let z be q(7). Does 28 divide j(z)?
True
Let u(z) = -z**2 + 23*z - 10. Let l be u(22). Let s(p) = -p**2 + 17*p - 44. Is s(l) a multiple of 8?
True
Suppose 3*t + 4*r - 47 = 0, 5*t + r = -0*t + 101. Let n = -17 + t. Suppose 126 = h - n*p, 5*h - 437 - 147 = -3*p. Is 12 a factor of h?
False
Let v be 6 + (-2)/2 + (-5886)/(-18). Suppose -2*z + v = -3*j, 4*z - 7*j - 632 = -9*j. Is z a multiple of 16?
True
Suppose 752 = -36*g - 1516. Is 18 a factor of 17760/518*g/(-2)?
True
Let k = -273 - -273. Suppose 4*s - 481 + 35 = -2*m, k = -s + 2*m + 104. Does 19 divide s?
False
Is 3 a factor of ((-8)/(-108))/((-1)/(-3)) + (-6974022)/(-594)?
False
Let s(c) = 4*c**2 + 11*c + 3. Let f be (-36)/8*3/((-6)/4). Is s(f) a multiple of 30?
False
Is 154 a factor of ((-8085)/2)/((6519/(-328))/53)?
True
Let p be 8/2 + 4 + -1 + -2. Let f(q) = 14*q**2 - 4*q + 30. Does 20 divide f(p)?
True
Let d be ((2/3)/(13/(-312)))/(-2). Suppose -d*n + 120 = -200. Does 2 divide n?
True
Does 49 divide -282*(5*2/50)/((-4)/130)?
False
Let s = -1415 - -5048. Is s a multiple of 7?
True
Let f(t) be the third derivative of -7*t**4/24 + 73*t**3/6 - 2*t**2 - 56*t. Is 38 a factor of f(5)?
True
Suppose -5*s + 5*l = 63 + 237, -4*s = 2*l + 246. Let f = s + 205. Is f a multiple of 24?
True
Suppose -5*s + v = -3*v - 955, -415 = -2*s - 5*v. Let i = s + -91. Is i a multiple of 26?
True
Let j(f) be the first derivative of 7*f**3/3 + 16*f**2 - 6*f - 11. Let i be j(-6). Suppose 3*y + i - 264 = 0. Is y a multiple of 7?
True
Let a(b) = 5*b**2 - 5*b - 136. Is a(44) a multiple of 42?
True
Let s(a) = a**3 - 20*a**2 + 13*a + 29. Is s(21) a multiple of 12?
False
Suppose 3*f - 22 = 4*q - 7, -q - 4*f + 1 = 0. Let h be (3 + q/5)*(-175)/(-10). Suppose -15*o + o + h = 0. Is o even?
False
Let h = 1068 + 593. Suppose -2*w + 5*v - 66 = -h, 25 = 5*v. Is w a multiple of 44?
False
Suppose 5*d = -3*d + 10200. Let q be -1 + ((-72)/(-60))/((-2)/(-10)). Suppose -5*g + 3*y + d = q*y, -g = y - 258. Is g a multiple of 23?
True
Let g(k) be the third derivative of 23*k**4/24 - 113*k**3/6 - 9*k**2 + 5*k. Is 12 a factor of g(7)?
True
Let t(u) = -2*u**2 + 4*u - 26. Let n(f) = f**2 - 2*f + 13. Let w(c) = 7*n(c) + 3*t(c). Suppose -26*x + 27 = -129. Is w(x) a multiple of 3?
False
Let m = -10016 - -20068. Is m a multiple of 66?
False
Let i(b) = -75*b**3 + b**2 + 4*b + 3. Let x be i(-1). Suppose -3*u + x = -o + 20, -2*o + 3*u - 110 = 0. Let z = 92 - o. Is 21 a factor of z?
True
Suppose w = 3*c - 101, 2*c = 3*w - 62 + 372. Let d(o) = o**2 + 2*o + 98. Let p be d(-8). Let q = w + p. Is 42 a factor of q?
True
Suppose 0 = -67*q + 63*q - 5*o + 13630, -q - 5*o = -3400. Is 7 a factor of q?
False
Suppose 0 = 5*n + 2*b - 48, 5*n - 50 = -3*b + 2. Let w = 15 - n. Suppose -w = x - 54. Is 11 a factor of x?
False
Suppose -w - g + 806 = 0, 15*w - 14*w - 822 = 3*g. Is 18 a factor of w?
True
Let p be 2/1 - (-5 - 0). Let i be (-20)/(p - 2) - -4. Suppose -x - a + 5 = i, x = -3*x + 2*a + 14. Is x a multiple of 4?
True
Let n(m) = -11*m**2 - 13*m - 41. Let d be n(8). Let z = 171 - d. Does 34 divide z?
True
Let l(a) = -a + 1. Let c be l(-2). Let s be (4 + (-44)/8)*8/12*0. Suppose c*v + 30 - 84 = s. Does 3 divide v?
True
Let k(q) be the first derivative of -q**3/3 + 71*q**2/2 - 6*q - 225. Does 44 divide k(25)?
True
Let s = 35 - 57. Let a(c) = -7*c**2 - 19*c - 13. Let v(d) = -2*d**2 - 5*d - 3. Let f(r) = s*v(r) + 6*a(r). Does 12 divide f(-4)?
True
Suppose 8*q - 4697 = -3*q. Let t = 627 - q. Suppose -t = -3*i - 26. Is 11 a factor of i?
False
Let j = -1801 + 733. Let v = 1510 + j. Let o = v - 308. Is o a multiple of 20?
False
Suppose -24 = 4*l - 36. Let x be 7 - l/(-2 + 1). Suppose -r + 66 + x = 0. Is r a multiple of 8?
False
Let o(d) = d**3 - 10*d**2 - 21*d - 5. Let m(q) = -q**3 - 2*q**2 + 3*q + 3. Let y be m(-2). Let w be 1/y*0 - -12. Is 4 a factor of o(w)?
False
Let x be 403 + (4 + 1)*45/(-75). Is 20 a factor of ((-12)/(-2) - 1) + x?
False
Let p = -524 + 892. Let r = 500 - p. Is r a multiple of 33?
True
Let g(m) = -m**2 - 27 - 5*m**2 + 114*m**3 - 115*m**3 - 9*m. Is g(-9) a multiple of 33?
True
Let y = -62 - -58. Let f be y*(-3 + 10/4). Suppose -18 = -5*u + f*u. Is u a multiple of 2?
True
Let f = -6764 - -13699. Does 9 divide f?
False
Suppose 4*j - 5*s = 32 + 4, 0 = 5*j + 5*s. Suppose -j*n = l - 8*n, -2*l + 4 = -4*n. Suppose -b + 0*b = l*o - 32, b - 8 = 4*o. Is b a multiple of 20?
True
Let d be 1/5 - (-1592)/40. Is (d/(-30))/((-1)/138) a multiple of 8?
True
Suppose 0*l = -3*l + 216. Suppose -353*b - 460 = -330*b. Let z = l + b. Does 7 divide z?
False
Let d(j) be the second derivative of 1/3*j**3 + 1/4*j**5 - 16*j + 0 + 2*j**2 + 1/4*j**4. Is 32 a factor of d(3)?
False
Let g(h) = -7*h + 143. Let s be g(20). Suppose -3*q + 122 = -s*v - 151, -q + 111 = -5*v. Is q a multiple of 4?
False
Let b = -10799 - -14527. Is b a multiple of 4?
True
Let h be (0 + -2 + (-48)/1)/(-2). Let u(r) = -24 + 41 - h + 6*r + r. Does 11 divide u(9)?
True
Let d(k) = -41*k**2 + 30*k - 102. Let p be d(4). Does 25 divide -6 + 2 - p/2?
False
Let j(a) = 38997*a**2 + 22*a + 25. Does 116 divide j(-1)?
False
Does 31 divide (1217/(-3) - 1)/(23 - 74935/3255)?
True
Suppose 2*x - 3222 = -3*d - d, 1608 = 2*d + 4*x. Suppose -5*w + 514 + d = 0. Suppose -6*o + 12*o - w = 0. Is 9 a factor of o?
False
Suppose 0 = 3*c, -7*y + 2*c - 4264 = -8*y - 3*c. Is 26 a factor of y?
True
Suppose 7*r + 271 = -219. Suppose -419 = 4*i + 5*y, 3*i = 3*y - 251 - 43. Let k = r - i. Is 8 a factor of k?
False
Let r = 5