7 a factor of (-92)/f - (-5)/v?
False
Let v(f) = 49*f - 39. Suppose g + 3*b - 10 = 0, -5*g - 4*b + 40 = 1. Is v(g) a multiple of 38?
True
Suppose -344 = 3*m - 383. Suppose -5*j + 2*t = -1848, -m*j - 1476 = -17*j + 4*t. Is j a multiple of 6?
False
Suppose 493 = -26*k + 27*k + 2*z, 2*k - 2*z - 980 = 0. Let l = 947 - k. Is l a multiple of 57?
True
Suppose -6*o - d + 62 = -11*o, -5*d + 37 = -4*o. Let p = 825 - 756. Let k = o + p. Does 7 divide k?
True
Suppose 51*w - 45*w = 12. Suppose -3*s - 456 = -q, w*q + 0*s - 857 = -5*s. Does 8 divide q?
False
Let t = 1662 + -626. Is t a multiple of 150?
False
Let j(q) = 709*q**2 + 45*q + 27. Is 20 a factor of j(-4)?
False
Let v be ((-5)/(-5) - 10)/1. Let w be 2/v - 120/(-54). Suppose 462 = 4*p + 2*u, -w*p - 3*u = -3*p + 119. Is p a multiple of 29?
True
Let m(f) = f**3 - 8*f**2 + 14*f + 13. Let t be m(6). Suppose -i - 489 = -5*k + 1321, -5*i + t = 0. Is 39 a factor of k?
False
Let c be (-66)/(-36) - (-2)/12. Let k(l) = -2*l**2 - 77*l - 33. Let x be k(-38). Does 16 divide c + -1 + (114 - x)?
False
Suppose -4*v = -0*v, -4*s - 5*v + 36 = 0. Suppose 12 = j + s. Suppose 275 = j*d + 2*d. Is d a multiple of 26?
False
Let m(y) be the second derivative of y**3/3 - y**2 - 5*y. Let u be m(2). Suppose 12 = u*d - 5*d, -5*o = -d - 29. Is 2 a factor of o?
False
Let w(r) = 9*r + 2625. Does 125 divide w(-62)?
False
Let n = -244 - -261. Suppose -n*v = v - 5850. Does 44 divide v?
False
Let i(l) = -2*l**2 - 23*l - 36. Let d be i(-9). Suppose 0 = 5*z + 2*y - 491, -d*z + y - 295 = -12*z. Is 11 a factor of z?
True
Let y = 8055 - 852. Suppose s - y = -20*s. Does 49 divide s?
True
Let j = -129 - -313. Suppose 3*p + 3*o = 7*p - j, p - 35 = -2*o. Suppose x + 25 = p. Does 6 divide x?
True
Suppose -4*t - 51 = 5*m, 3*m - 5*t + 38 = -0*m. Is 22 a factor of 1*3 - 1188/m - 3?
False
Let o = 24088 + -15660. Does 86 divide o?
True
Let d = 42 - 35. Let o(h) = 3*h - 5. Let c be o(d). Suppose 0 = c*w - 15*w - 78. Is 13 a factor of w?
True
Suppose -5*u + 4*u = -3*p - 1, 4*u = 4*p - 28. Let l(i) = -i**3 - 12*i**2 - 11*i + 9. Let n be l(u). Suppose 0 = -n*q + 390 + 60. Is 10 a factor of q?
True
Suppose 0 = -78*z + 73*z + 8040. Suppose n = -t + z - 178, 3*t - n - 4270 = 0. Is t a multiple of 25?
True
Does 12 divide 8/(-20) - 195144/(-60)?
True
Let x be 23*-2*1*2/(-4). Let u(a) = -2*a + 49. Let g be u(x). Suppose 0 = 5*t - 0*c + 3*c - 419, -g*t + 5*c = -265. Does 39 divide t?
False
Suppose 2*x + 2*k = 17688, 19*k + 35448 = 4*x + 15*k. Is 13 a factor of x?
True
Let f be (-6 + 6)/(2/2). Suppose -x + 2 + 58 = f. Is 428/18 + (-2 - x/(-27)) a multiple of 15?
False
Let d = -233 - -292. Let q = 108 + d. Is 9 a factor of q?
False
Suppose l - 3*i - 149 = -4*l, -2*l + i = -59. Let v = -38 + 52. Let w = l - v. Is w a multiple of 2?
True
Does 64 divide ((3240/75)/18)/(1*6/28340)?
False
Suppose -34*h + 5205 = 769 - 8552. Does 3 divide h?
False
Suppose 4 = -4*o, -2*l = 2*l - 3*o - 603. Let k = l - 36. Suppose -2*g + k = g. Does 30 divide g?
False
Let v be -6*(-3 - (-9)/6). Let q(s) = s**3 - 3*s**2 - 19*s + 21. Is q(v) a multiple of 13?
False
Suppose -3*o - p = -19574, -4*o - p + 14601 = -11496. Does 267 divide o?
False
Suppose -877 = -2*t - 5*h, -5*t + 3*h = h - 2236. Let g be 256 - -10 - (4 + -3)*4. Let j = t - g. Is 21 a factor of j?
False
Let t(w) = w**3 + 15*w**2 + 5. Let r be t(-15). Let p be 1*r*(-312)/30. Let x = p + 76. Is 8 a factor of x?
True
Suppose -13*x + 1198 = 314. Let u = x + -56. Is 6 a factor of u?
True
Suppose -4*u - 8 = -5*y, -2*u = -u - 3. Let a be 2 - (3 - (y + -112)). Let v = a - -189. Is v a multiple of 16?
True
Let u(v) = v**3 - 33*v**2 + 27*v + 49. Let z be u(33). Suppose 0 = 7*s - z + 170. Is 11 a factor of s?
True
Let x = -100 - -106. Suppose 0*b + x = -3*b. Is (1 - -3)*1/b - -193 a multiple of 12?
False
Let f(o) = -o**2 + 1052 - 1049 - 2*o**2 + 0*o**2 - 4*o + 3*o**3. Let k(q) = 2*q - 13. Let y be k(8). Is f(y) a multiple of 15?
True
Suppose -12*n + 2*b = -14*n + 2, b - 10 = -4*n. Suppose 2*m - n*z = 135, -18*m + 21*m = 5*z + 204. Is 3 a factor of m?
True
Let k be (-9)/6 + (-26)/(-4). Suppose -k*c + 17 = 2*g, 0*c - 2*g - 28 = -4*c. Suppose -4*s = -2*a + 3*a - 3, -c*a = -s - 99. Is 8 a factor of a?
False
Does 181 divide 330/132 + (-112287)/(-14)?
False
Let a = 270 + -375. Let i = a - -333. Is i a multiple of 34?
False
Let x(j) = -3*j + 32. Let z be x(10). Suppose -z*m = -7 - 3. Suppose 0 = -p - 4*w + 87, 5*p - 233 = -m*w + 172. Does 15 divide p?
False
Suppose 0 = 5*t + 456 - 431, y - 4*t - 2577 = 0. Is 21 a factor of y?
False
Let v be 1384/32 + (-1 - 3/(-4)). Suppose 0 = -2*t - v + 851. Suppose 58 = 7*w - t. Is 11 a factor of w?
True
Let l(d) = d**3 - 19*d**2 - 7*d + 133. Let u be l(19). Let y(o) = -6*o**2 - 3*o + 174. Is 29 a factor of y(u)?
True
Suppose 2*y - y - 7 = 0. Suppose 5*q + 338 = 2*b, -3*b + 2*q + 457 = y*q. Does 2 divide b?
False
Suppose -6*a = -2 - 40. Suppose 0 = 20*n - a*n - 3900. Is n a multiple of 17?
False
Suppose -290 = -4*h + 4358. Suppose -2*z = -5*a - 4*z + h, a - 230 = -z. Is a a multiple of 13?
True
Suppose 0 = -4*y - 5*m - 51, -5*m - 39 = 3*y - 2*m. Let i(n) = -n**2 - 38*n + 4. Does 68 divide i(y)?
True
Is (5/(100/(-1608)))/(6/1620*-4) a multiple of 81?
True
Let j = -803 + 1372. Suppose 0 = 5*w - j + 129. Is 4 a factor of w?
True
Let r(y) = -12*y**2 + 199*y - 15. Is 2 a factor of r(11)?
True
Suppose 5*z = v + 6, 0 = 4*v - 0*v + 2*z + 24. Let o(j) = j + 20. Let b be o(v). Let f = b + -8. Is 6 a factor of f?
True
Let y(k) be the first derivative of -k**4/4 - 2*k**3/3 - 5*k**2/2 + 5*k - 8. Let q be y(-3). Suppose 0 = q*n - 34*n + 200. Is 32 a factor of n?
False
Does 67 divide 447 + -438 - (-1 - 36840)?
True
Let n = 25 - 14. Let q be (1/6)/((-95)/(-14820)). Let t = q - n. Is t a multiple of 7?
False
Let k = -40 + 40. Suppose 4*w + 66 = 5*t, k = t - 3*w - 26 + 4. Suppose i = t*i - 918. Does 51 divide i?
True
Let x(d) = 7 - 11 + 12 - 14*d. Let i be (-4*(-2)/5)/((-6)/75). Is 48 a factor of x(i)?
True
Let c = 13789 - 535. Does 141 divide c?
True
Suppose 5*m = -5*k + 16692 + 3283, -2*k - 20010 = -5*m. Does 8 divide m?
True
Suppose w + 3*l - 12945 = 0, -4*l = 2*w - 6*l - 25866. Is 16 a factor of w?
False
Suppose -318*v = -342*v + 113040. Is v a multiple of 15?
True
Let s = 10 - 8. Suppose s*u + 2 = 0, -5*n - 3*u = -8 + 1. Suppose -3*x + 215 = 4*l, n*x + 10*l = 5*l + 134. Does 12 divide x?
False
Let a be (-13600)/(-56) + (-18)/21. Suppose -5*o - 65 = -y + 56, 2*o = -2*y + a. Does 7 divide y?
False
Does 45 divide -5*17/(1105/(-78)) - (0 + -27019)?
False
Suppose -s + 8 = -5*w - 66, 2*s - 130 = w. Suppose 5*o - 2*z + 320 = 10*o, 0 = -o + 2*z + s. Let a = -34 + o. Is a a multiple of 2?
True
Suppose 0 = 113*a - 100*a - 7098. Does 12 divide a?
False
Does 8 divide (-13)/((-91)/896)*56/7?
True
Let r(z) = -577*z + 1351. Does 131 divide r(-19)?
True
Let b(d) = d + 8. Let t be b(-10). Let o be ((-6)/(-12))/(t/(-12)). Let q = o + 10. Does 13 divide q?
True
Let g = -1339 + 855. Let j = g + 1386. Is j a multiple of 22?
True
Let s = -5385 + 11385. Does 48 divide s?
True
Let a(u) = u**3 + 2*u**2 + 3*u + 2. Let n be a(-2). Let y be (-1 + (n - -7))/(-2). Let v(k) = -112*k + 3. Is 23 a factor of v(y)?
True
Suppose -z = 7*f - 5*f - 21, 2*f + 12 = 2*z. Is 18 a factor of -2*(-9)/(-6) + 388 + z?
True
Let w be (-5)/10 + 1/((-8)/3196). Let t = 620 + w. Is t a multiple of 22?
True
Let z(c) = 10*c - 67. Let p be z(7). Let b(v) = 6*v**3 + 3*v**2 - 9*v - 2. Is b(p) a multiple of 20?
True
Let h = 436 + -423. Suppose 5*z + h*z - 1296 = 0. Is 9 a factor of z?
True
Suppose 0 = 7690*m - 7692*m + 1874 + 70. Does 146 divide m?
False
Let u(b) = -74*b**2 + 75*b**2 + 3*b - 28 + 15*b. Is u(-20) a multiple of 11?
False
Let j(n) = -n**3 + 4*n - 2*n**2 + 7*n + 4*n**3 - 4*n**3 - 10. Let w be j(-6). Suppose -s - w = -5*s. Does 17 divide s?
True
Is 259 a factor of ((-35224)/10)/(736/(-80) - -9)?
True
Suppose -126*v + 127*v = 0. Suppose 0 = -v*b + 3*b - 114. Suppose 3*y - 5*y + 5*q = -b, -12 = -3*q. Does 2 divide y?
False
Suppose 378*w = 366*w + 36984. Does 67 divide w?
True
Let a be (-1 - 568)/(2/(-3 - -1)). Suppose -o = -385 - a. Is o a multiple of 44?
False
Let b(t) = 3*t**2 - 79*t + 145. Does 3 divide b(25)?
True
Let d be (1/2)/((-1)/(-4)). Let g(v) be the second