f v(31)?
False
Suppose -12*h + 10*h = -14. Suppose h*o - 1360 = 1839. Is 50 a factor of o?
False
Let v be (185/20)/(3/12). Suppose v*r + 296 = 41*r. Is 8 a factor of r?
False
Let v = 1934 + 8999. Is v a multiple of 13?
True
Let y(c) = -46*c - 50. Let h be y(13). Let i = -270 - h. Is i a multiple of 13?
False
Let n(k) = -k**2 + 2*k + 3. Let a(w) = -3*w - 46. Let l be a(-16). Let o be n(l). Suppose -o*b - 3*b = -1566. Does 29 divide b?
True
Suppose -6*x = -2*x - 8. Suppose -553 = -q - 5*m + 143, 1398 = x*q + 4*m. Is q a multiple of 59?
False
Suppose -2*k + 50975 = 3*i, -440*k + 443*k - i = 76468. Does 47 divide k?
False
Is 39572585/4433 - (12/44)/(6/(-4)) a multiple of 158?
False
Let c(k) = k**3 - 4*k**2 - 5*k - 27. Let f be c(5). Let g = -24 - f. Is g/(153/6) + (-2576)/(-68) a multiple of 19?
True
Let i be (3 + (-91)/21)/((-2)/(-288)). Let q = i - -461. Is 12 a factor of q?
False
Let g be 34/10 + 14/(-35). Suppose 240 = o + x - 0*x, g*o = 3*x + 714. Does 19 divide o?
False
Let w = -33 - -37. Suppose 3*c - 350 = -w*c. Let o = c - 35. Does 13 divide o?
False
Let l(p) = 2*p**2 + 6*p - 7. Let c be l(-6). Let a(h) = c + 21 + 13 + h**2. Does 9 divide a(0)?
True
Suppose 4*a - 4*p = -28, a - p + 25 = -3*a. Let s(t) = -2*t**3 + 6*t**2 - 12*t - 32. Is 8 a factor of s(a)?
True
Is -9*440454/(-567) + 4/(-3) a multiple of 6?
True
Let z be 74/8*(-14 + 30). Let i be ((-12)/(-8))/((-3)/84). Let m = i + z. Is 25 a factor of m?
False
Let x = -11218 + 19476. Is x a multiple of 23?
False
Let z(r) be the first derivative of -26*r**2 - 8*r - 3. Let s be z(-3). Suppose -5*q = -s - 32. Does 18 divide q?
True
Suppose -5*p + 15 = -0*p, -817 = -x + 2*p. Suppose 0 = 10*w - 157 - x. Does 61 divide w?
False
Is 138 - (-10)/(2/(-1)) even?
False
Is (-29 - -14 - -65)*50 a multiple of 25?
True
Suppose p = 4*f + 770, -3*p = -13*f + 16*f - 2310. Let w = p - 310. Does 23 divide w?
True
Suppose 640449 - 1038600 = -140*d + 732909. Is 181 a factor of d?
False
Let c be 15/90 + (-17)/(-6). Suppose c*t + t = -5*r + 389, 197 = 2*t + 5*r. Is t a multiple of 15?
False
Let i(q) = -3*q**2 + 9*q**3 + 74*q + 23*q**3 - 11 - 26 + 35*q**2 - 31*q**3. Is 11 a factor of i(-29)?
False
Let f be (-116)/348 + 1*1/3. Suppose -3*v = -3*a - 1401, f = 3*v + a - 1765 + 372. Is 6 a factor of v?
False
Suppose 0*w + 6*w - 162 = 0. Suppose 0 = w*j - 19*j - 2168. Let b = -115 + j. Is 12 a factor of b?
True
Let j(f) be the first derivative of -f**4/4 + 5*f - 2. Let a be j(0). Suppose 114 = a*u + 3*b, -6 = -3*b + b. Is 4 a factor of u?
False
Does 99 divide 5/((-110)/(-22)) + (31719 + 1)/2?
False
Does 11 divide 14/(-10 + 3)*(-1275)/6?
False
Suppose 3*j + d = 1761 + 1244, 5*j - d = 4995. Does 2 divide j?
True
Suppose 0 = 2*u + 1583 - 4117. Let c = -68 + u. Is 10 a factor of c?
False
Let r(s) = 4*s**2 - 12*s - 8. Let b be r(-3). Suppose -20*x + b = -19*x. Is x a multiple of 64?
True
Let f = 8465 - 6846. Is f a multiple of 4?
False
Suppose 2*f - 15*a + 12*a = 26100, 0 = -3*f - 4*a + 39133. Is 183 a factor of f?
False
Suppose 188760 = 77*d + 66*d. Is 11 a factor of d?
True
Suppose 2*o - 390 = -5*c, -c - 234 = -4*c - 3*o. Suppose b - 24 = 3*h, -2*b + h + 13 = -20. Suppose 9*g - c + b = 0. Is 2 a factor of g?
False
Let o(i) be the second derivative of 15*i**4/2 + i**3/2 + i**2 - 28*i. Let r = -3 - -2. Does 10 divide o(r)?
False
Let u(j) = 198*j - 1431. Is u(13) a multiple of 17?
False
Let m = 928 + 615. Is 12 a factor of m?
False
Let a = -4 + 12. Suppose 3*d - 68 + a = 0. Suppose -m = -4*g + 143 - d, -5*g + m = -155. Is g a multiple of 7?
False
Suppose 3*f - 2*x - 11 - 5 = 0, 0 = f - 4*x - 12. Suppose -136 = -3*w - 5*q, 0 = 2*w + f*q - 9*q - 99. Is w a multiple of 7?
False
Let l be 16/6*198/44. Suppose 4*y = -t + 727, 5*t + 915 = -7*y + l*y. Is 14 a factor of y?
True
Is (-28)/(-10) - 3 - (-1403)/(-345)*-1293 a multiple of 62?
False
Let o = 2968 + -1034. Is o a multiple of 9?
False
Suppose 52*y + 2373 = 59*y. Suppose o + 3*q - 363 = 6*q, o = -5*q + y. Is 59 a factor of o?
True
Let z = -288 + 2370. Is z a multiple of 32?
False
Is 1*1117 - (-19 - (-4 - 18)) a multiple of 21?
False
Let r = 47 + -83. Let w be (-9)/(-1)*(-412)/r*3. Suppose 7*h - 9*h = 5*i - 583, h = i + w. Is 19 a factor of h?
True
Suppose 2*t = t + 2, 2*y = -4*t + 16. Let m(w) = -w. Let p(h) = 25*h - 14. Let a(s) = -4*m(s) + p(s). Is a(y) a multiple of 34?
True
Let t(i) = -19*i + 93. Let v = 158 + -163. Is t(v) a multiple of 22?
False
Let q be (-632)/156 + (-32)/(-624). Let l(o) = -o**3 - o**2 + 8*o + 14. Is l(q) a multiple of 3?
True
Let q(m) be the first derivative of 27 + 28*m - 11/2*m**2. Does 21 divide q(-7)?
True
Let i(l) = 12*l + 189. Is 11 a factor of i(36)?
False
Suppose -3*r - 12350 = -38054. Suppose 4*o + 24*o - r = 0. Is o a multiple of 17?
True
Let l(z) = z + 37. Let w(o) = 5*o**2 - o - 13. Let j be w(4). Let a = j + -70. Does 30 divide l(a)?
True
Let t(h) = 223*h**3 - 20*h + 65. Does 32 divide t(3)?
False
Suppose 2*k + 3*k = 45. Let x be 408/k - (8/(-12) - -1). Let a = x - 23. Does 11 divide a?
True
Let t(m) = 486*m**2 - 21*m + 45. Does 11 divide t(2)?
True
Let i(t) = 12*t - 40. Let j = 83 + -58. Suppose -5*w + 4*r = -0*w - j, 2*r = 5*w - 35. Is 10 a factor of i(w)?
False
Suppose 3*j - 5*l = 680 + 1178, 4*l = -3*j + 1813. Is j a multiple of 11?
False
Is 2 + 4170 + (-2 - 1 - -9) a multiple of 42?
False
Let m(y) = 19*y**2 - 20*y + 20. Let t(j) = -3*j**2 + j - 1. Let l(c) = m(c) + 5*t(c). Suppose -4*x - x + p = -43, p = -2*x + 20. Is 34 a factor of l(x)?
True
Is 10 a factor of 37 + -47 + 12*759?
False
Let h = 8161 + 18437. Does 11 divide h?
True
Suppose -5*l = -4*j + 64005, -26*j + 80003 = -21*j - 3*l. Does 64 divide j?
True
Suppose -486*c = -488*c + 22. Let y(w) be the third derivative of w**5/30 - 11*w**4/24 + w**3/6 + w**2. Is 13 a factor of y(c)?
False
Suppose -4*x - 111 + 435 = -2*v, -5*x + 3*v = -405. Suppose x*b = 88*b - 119. Is 17 a factor of b?
True
Let q = 31 - 29. Suppose t = q*p - 2, 5*p - 4 = t + t. Suppose 3*b - 197 = b + 5*z, p = 4*b - 2*z - 370. Does 13 divide b?
True
Let b be -2 - (-63 - 3) - (-2 - -5). Let g = -51 + b. Suppose g = 2*p + 5*w - 5, -72 = -5*p - w. Is p a multiple of 9?
False
Let t(m) = m**3 - 9*m**2 + 11*m + 860. Is 5 a factor of t(0)?
True
Let z(s) = 4*s - 74. Let l be z(5). Does 3 divide -4 - 1 - -9 - l - -1?
False
Let q = 6 - -30. Let f(i) = i**3 - i**2 - i - 6. Let s be f(4). Let u = q + s. Is 17 a factor of u?
False
Suppose 2*s + 127 = -l, -2*l = 2*s + 91 + 33. Let k = 193 - 79. Let i = s + k. Is 10 a factor of i?
False
Let v(c) = c + 4. Let q be v(8). Let d = 17 + q. Let r = d + 15. Is 11 a factor of r?
True
Let h(l) be the third derivative of l**5/60 - l**4/8 + 7*l**3/3 + 2*l**2. Let x(f) = f**2 + 2*f - 2. Let c be x(2). Is 5 a factor of h(c)?
False
Let k = 4707 - 2668. Is 53 a factor of k?
False
Let n(y) = 17*y**2 - 3*y + 94. Is n(-10) a multiple of 32?
True
Let v = -27478 - -32483. Is 11 a factor of v?
True
Let t(m) = 3*m**2 + 2*m - 51. Let i be (-20)/12*-3 + 3. Is 7 a factor of t(i)?
False
Let i(k) = -30*k + 12*k - 7*k**2 + 9 + 14*k + 2 + k**3. Let o be i(6). Is 7 a factor of o/((13/39)/(2/(-6)))?
True
Let x(t) = 19*t + 40. Let u be 3*(36/8 + (-1)/2). Suppose -30 = -17*v + u*v. Is 23 a factor of x(v)?
False
Let f(a) = -6*a**2 - 3*a + 4. Suppose 3*d = 5*s + 19, 0*d = 2*d + 5*s + 4. Let r be f(d). Let o = 173 + r. Is 19 a factor of o?
True
Is 68 a factor of ((-11271)/(-1482) - 18/171)*544/10?
True
Let g(j) = 6*j + 41. Let m be g(-15). Let h = m - -52. Suppose -y - y = -6, -408 = -h*q - 4*y. Does 11 divide q?
True
Let j(l) = 864*l - 175. Let w be j(5). Suppose 9*y - 6934 = w. Is 34 a factor of y?
False
Let g(k) = 110*k - 59. Let y be g(2). Suppose 0 = 169*v - y*v - 9720. Is 45 a factor of v?
True
Let w(l) be the second derivative of l**4/12 + l**3/3 - l**2 + 11*l. Let b be w(-5). Let n(g) = 3*g - 32. Does 7 divide n(b)?
True
Suppose 5*c + 3*y - 5281 = 0, 27*c = 22*c + 2*y + 5296. Is c a multiple of 28?
False
Let n be (0 + (-201)/4)/(3/8). Let a = n - -189. Is 12 a factor of a?
False
Suppose 13417 = -7*z + 34977. Is 28 a factor of z?
True
Let o = 6 + -2. Let s(r) = 3*r + 27. Is 13 a factor of s(o)?
True
Suppose 189*m - 187*m = -32. Let f = m - -16. Suppose -2*x + 5*x - 508 = -2*n, x - 2*n - 172 = f. Is 17 a f