- 644. Is 7 a factor of a?
True
Let a be (-1700)/(-14) + 12/21. Suppose 0 = 6*c - 62 + a. Is 12 a factor of (0 - 25)*10/c?
False
Let x = -659 - -6079. Suppose 15 = -5*z, -x = -5*o - 5*z + 1525. Is 12 a factor of o?
True
Let d be (-280)/36 + (-4)/18. Let p be 0 + (-1 - (3 + d)). Suppose -25 = -2*o + h - 4*h, -4 = p*h. Does 14 divide o?
True
Let b(y) = 49*y + 49. Let k(z) = 100*z + 98. Let i(x) = 13*b(x) - 6*k(x). Is 28 a factor of i(7)?
True
Let h be 1/(-2)*(18*-10 - -2). Let t = -2 + h. Let c = 171 - t. Is 21 a factor of c?
True
Suppose 11 = -4*u + 2*v + 29, -15 = -5*u + 5*v. Suppose 2*l + 2*r = 108, 3*r - 57 - 47 = -2*l. Suppose -2*j = -2*z - l, 2 - u = -j - 4*z. Does 6 divide j?
True
Is 84769150/14595 - 4/42 a multiple of 44?
True
Let h = 15437 - 1780. Is h a multiple of 11?
False
Let s = -33 + 38. Suppose 3*p + 5*g - 12 = 0, 0*p + g = s*p - 20. Suppose 2*q + 9 = 3, 4*w = -p*q + 36. Is 3 a factor of w?
True
Let u(l) = l + 21. Let a be u(-11). Let w = -38 + a. Let q = w + 66. Is q a multiple of 19?
True
Suppose -9*t = -11*t - 8, -3*r - 5*t = -54664. Is 62 a factor of r?
True
Let z(s) = s**3 - 2*s**2 - s - 3. Let m be z(3). Let v be 2 + (828/(-16))/(m/(-8)). Does 7 divide v/6*(-2)/20*-12?
True
Is 18 a factor of 9*(1019 + -14)/5?
False
Suppose 11 = -s + 3*r, 9*r - 9 = 4*s + 4*r. Suppose 2*g = -5*h - 215, -4*g + s*h + 58 = 558. Is (258/(-4))/(g/32 - -3) a multiple of 10?
False
Let a = -8223 - -12556. Is a even?
False
Suppose -7 = -5*r + 78. Let m(k) = 31*k + 45. Is 56 a factor of m(r)?
False
Let n(r) = 14*r - 29. Let z be (26 + 1)*(-15)/(-45). Let m be 38/z - ((-312)/54 + 6). Is 6 a factor of n(m)?
False
Suppose 2*k + 11*j = 12*j + 19199, -9604 = -k - 4*j. Does 6 divide k?
True
Let g = 286 + -275. Suppose g*m - 91 = 107. Is 4 a factor of m?
False
Suppose 0 = 3*h + 3*c - 29061, -4*h + 38700 = -10*c + 6*c. Does 51 divide h?
False
Suppose -3829668 + 1164225 = -59*j. Is 7 a factor of j/148 + -1 + 7/4?
False
Suppose -q + 5*c - 11 = -3, q + 28 = -5*c. Is 35 a factor of 15*((-2352)/q)/7?
True
Let c = 1467 - 1046. Suppose 5*d + c = t, 0*d - 5*d + 371 = t. Is t a multiple of 36?
True
Suppose -2*a - 12 = 0, 4*o - 1799 - 9499 = -a. Does 18 divide o?
True
Suppose 2808 = 9*a - 0*a. Suppose -v = -4*n + 421, -4*n - 3*v + a = -n. Let x = n - 62. Is x a multiple of 27?
False
Suppose 3*u = -a - 4, 0*u = -4*a - 4*u. Suppose 4*g - a*t - 25 = 3*t, -g - t + 13 = 0. Does 2 divide g?
True
Suppose -211*t + 217*t - 1848 = 0. Is 23 a factor of 100744/t + (-2)/22?
False
Let m be (-20)/(-4)*8/10. Suppose 4*i = -m*r + r + 13, -3*i - 6 = 0. Suppose 0 = -4*w - 2*c + 332, r = -4*c - 9. Is 17 a factor of w?
True
Let v be 3*((-4 - 2) + 7). Suppose -v*j = -2*j + 4*y - 367, -1101 = -3*j - y. Is j a multiple of 38?
False
Let i(y) = 28*y**3 + y**2 - 5*y + 6. Let u(t) = -t**3 - t + 1. Let j(f) = -i(f) + 6*u(f). Let l be j(-2). Let o = l - 138. Is 27 a factor of o?
False
Let f(w) = 5*w**2 + 3*w**2 + 19 - w**2 - w**3 + 2*w**2 + 13*w. Let u be f(10). Suppose 0 = -r + 50 + u. Does 33 divide r?
True
Suppose c - 15842 = -19*a, 14*c - 17*c + 47974 = a. Is c a multiple of 11?
True
Let w be 82 - ((-6)/(-2))/(-3). Let j(d) = d**2 + 7*d - 45. Let y be j(-20). Let l = y - w. Does 22 divide l?
True
Let k(h) = 5*h**3 + 15*h**2 + 4*h + 12. Let l(m) = -4*m**3 - 14*m**2 - 4*m - 11. Let x(r) = 5*k(r) + 6*l(r). Is x(10) a multiple of 14?
False
Suppose -z + 2*m - 236 = 0, -m + 0*m = 2. Let f be (-10)/(z/126) + (-1)/4. Suppose -a + 67 = f*k, 2*k = a - 2*k - 40. Is a a multiple of 26?
True
Suppose -5*y + 131 = -5*v - 6*y, 4*v = 2*y - 116. Let u(b) = -b**3 - 27*b**2 + b + 60. Is u(v) even?
False
Suppose -3*s + 7*s = 0, -4*o - 5*s = 0. Let y(u) = -u**2 - u + 17. Let c be y(o). Suppose -a = -n - 0*a + c, 5*n = -a + 55. Is 12 a factor of n?
True
Let y be (-5 + (-154)/(-21))*-6. Is 2/y + 1*9204/42 a multiple of 15?
False
Let b = 215 + -197. Is 13 a factor of (-1037)/(-1 - 0*(-6)/b)?
False
Let k be (-12600)/170 + (-4)/(-34). Let a = k + 78. Suppose -i - 6*r + 2*r + 30 = 0, -a*i - 2*r = -50. Is 9 a factor of i?
False
Let a(m) = 6*m - 405. Let g(v) = 6*v - 408. Let s(z) = -5*a(z) + 4*g(z). Is s(10) a multiple of 3?
True
Let g be -1 - ((-50)/(-4))/((-7)/(-70)). Let r = 406 + g. Is 20 a factor of r?
True
Let v(t) = -5*t**3 - 218*t**2 + 62*t + 109. Is 7 a factor of v(-44)?
True
Let n = 51281 - 31049. Is 24 a factor of n?
True
Let k(n) = -191*n + 48. Let u(c) = 381*c - 95. Let j(o) = -11*k(o) - 6*u(o). Is 61 a factor of j(-2)?
False
Suppose -4*o + 5*s = 10409, -5*o - 13006 = -0*o - s. Is o/(-54) + 1/(-6) a multiple of 20?
False
Suppose -2*v = c - 4*v - 2228, c + 4*v = 2252. Does 15 divide c?
False
Let r = 17 - 17. Suppose r = 30*q - 5582 - 2878. Does 10 divide q?
False
Let w(s) = 8*s**3 + s**2 - 10*s + 10. Let o = -140 - -143. Is w(o) a multiple of 13?
False
Suppose 0 = n - 11*n. Suppose -3*h + 6*h + 9 = n. Does 18 divide (-164 - -2)*(-2 - 4/h)?
True
Let t(r) = 3*r - 30. Let g be t(10). Let h(i) = i**3 + i + 6. Let p be h(g). Suppose -4*s - 5*v = -326, -5*v + p = 16. Does 7 divide s?
True
Suppose 3*l - 2*p = -0*l - 67, 0 = -p + 2. Suppose -r - 5 = -0. Let x = r - l. Is x a multiple of 9?
False
Let i = -419 + 199. Let f(p) = p**2 - 31*p - 28. Let b be f(27). Let o = b - i. Is 33 a factor of o?
False
Suppose 4*s = -4, 0*p + s = -p + 26. Suppose -3*o - 3*x - 3 = 0, 3*o - p = -2*o + 3*x. Suppose 2*k + o*k + 10 = 0, -4*h = k - 158. Is 4 a factor of h?
True
Let x(w) = 6*w - w**3 - 51*w + 46 + 25*w**2 - 19 - 18*w. Is x(21) a multiple of 12?
True
Let k = -980 + 6757. Is 14 a factor of k?
False
Suppose -5*y + 2*c = -4038 - 7408, 6860 = 3*y - 5*c. Does 4 divide y?
False
Is 15 a factor of 220/((-44)/11 + 8)*(1 + 149)?
True
Suppose 3*i + 299 - 119 = -c, -4*i = -3*c + 227. Suppose -b + 4*b + 309 = 0. Let v = i - b. Is 17 a factor of v?
False
Is 33 a factor of (270/12)/((-20)/(-105)*3/88)?
True
Suppose 0 = -y + 220 - 1. Let s be ((-30)/18)/(-1*1/y). Let q = s + -253. Does 20 divide q?
False
Suppose -4*g = -2*k - 2*g + 1362, 4*k = 2*g + 2722. Suppose x - 5*x = -k. Is x a multiple of 34?
True
Let f(m) = 254*m - 2235. Is 5 a factor of f(15)?
True
Let c(t) = 1400*t - 8559. Is c(13) a multiple of 2?
False
Suppose 3*q - 319 = -9*a + 8*a, 0 = -4*a - 8*q + 1272. Does 114 divide a?
False
Does 3 divide ((-26)/(-28) - (-13)/(1638/(-54)))*2054?
False
Is 1/((-8)/(-8)) - (-1 + -494 - 3) a multiple of 9?
False
Suppose 0 = 2*l - 18 - 4. Is 9 a factor of (-9)/(l/297*3/(-4))?
True
Suppose -5*y - 265 = -b + 3435, -5*b - y + 18422 = 0. Does 34 divide b?
False
Let d(l) = 8 - 66*l**2 + 23*l**2 + 20*l**2 + 24*l**2 - 11*l. Let q = -34 + 47. Is 7 a factor of d(q)?
False
Let t = -65 + 65. Suppose 5*h - 3*v = 3*h - 2, -5*v = -5*h + 5. Suppose t*y + h*y = -3*q + 70, 35 = 5*y - 4*q. Is y a multiple of 11?
True
Suppose -33*t + 13*t + 3720 = 0. Let b = 398 - t. Is 13 a factor of b?
False
Suppose 84*s - 82*s = 5*g + 5495, 13728 = 5*s - 3*g. Is 45 a factor of s?
True
Let l be ((-2)/(-1))/(11 - 10). Suppose -14 = l*n - 10. Is 144 - (n + 5 + -3)/1 a multiple of 18?
True
Let m(c) = 2*c**2 - 3*c - 1. Suppose -z = -19 + 9. Suppose 14*a - 16*a + z = 0. Does 10 divide m(a)?
False
Let j(f) = -f**3 - f**2 - 2*f - 700. Let r be j(0). Let t = r + 1360. Is 33 a factor of t?
True
Let k = 826 + 1814. Is 44 a factor of k?
True
Suppose 3*l - 2 = -5, 0 = -p - l - 111. Let x be ((-162)/(-459))/(4/68). Does 26 divide x/33 - 28250/p?
False
Let q = -3213 + 4157. Is 16 a factor of q?
True
Let w be (7/(-42))/(2/(-12)). Does 3 divide (-520)/(-5) + (0 - -1) + w?
False
Suppose 0 = 5*c - 30*m + 34*m - 24253, -3*c = 4*m - 14555. Is c a multiple of 15?
False
Let w(f) be the second derivative of f**7/2520 - f**6/90 + f**5/20 + 5*f**4/3 + 7*f. Let j(b) be the third derivative of w(b). Is 15 a factor of j(-9)?
False
Let q(n) = 2*n**2 + 14*n + 49. Let y = -417 + 408. Is q(y) a multiple of 17?
True
Let f be -1*(-2 + (-1)/(-4))*-4. Let t be ((-18)/4)/(f/14)*-1. Is (327/t)/((25/30)/(-5)) a multiple of 30?
False
Let z = -92 + 95. Suppose z*u + 2*u - 25 = 0. Does 10 divide ((-24)/u)/(-2 - 485/(-250))?
True
Suppose -1078 = -4*i - 2*p, 2*i - 5*p = -191 + 760. Let y = 888 - i. Is 13 a factor of y?
False
Let w = 437 - 445. Let f(r) = -2*r**3 - 6*r**2 - 12*r + 20. Is 14 a factor of f(w)?
True
Let s = 