 u?
False
Let p = -51 - -56. Suppose -2*d = -p*d + 456. Is 18 a factor of d?
False
Let x(f) = 3*f**2 + 4*f - 9. Suppose 0 = j - 0 - 4. Is x(j) a multiple of 10?
False
Let b be 4/10 + (-4)/10. Suppose -2*u - 43 = -y - 2, -4*y - u + 128 = b. Does 12 divide y?
False
Let m(y) = y**2 + 2*y. Let i be m(-3). Suppose -6*c + 30 = -i*c. Is c a multiple of 8?
False
Let n = 33 - 25. Let s be (-45)/60 - (-230)/n. Suppose 7*d - 77 = s. Is 5 a factor of d?
True
Suppose -2*y - 2*y - 2*t = -8, -2*y - 2*t = -4. Is (y/(-2) - 0)*-7 even?
False
Suppose -3*x - 2*x - 14 = 3*p, -p + 5*x = -22. Suppose -20 = -5*u + 5*g, -p*u + 0*u + 5*g = -5. Is 2 a factor of u?
False
Suppose 10041 = 23*a - 3437. Is a a multiple of 63?
False
Let i = 538 - -462. Is 5 a factor of i?
True
Let x = -2888 - -3248. Is x a multiple of 9?
True
Is 31 a factor of (101/4 - 2)*(-5 + 9)?
True
Let c be (1/2 + 6/(-36))*873. Suppose 5*t = -4*a + a + c, t = 3. Does 44 divide a?
False
Let i = 9 + -5. Suppose 70 = 2*v + 5*v. Let t = i + v. Does 7 divide t?
True
Is 73 a factor of 12/((-60)/(-385)) + 12/(-3)?
True
Suppose -18 = 3*t + 9. Let m be (3 + 48/t)*-3. Suppose 0 = 4*j + 8, 5*x - 89 - m = -2*j. Is 10 a factor of x?
True
Suppose 9*k - 14*k = -2090. Is 56 a factor of k?
False
Suppose 3*b + 127 = 4*u, 4*b - 7*b + 28 = u. Suppose -6 = -2*x - h + 4*h, -u = -3*x - h. Is x/6*20/6 a multiple of 4?
False
Let w = 13 - 10. Let j be (-266)/(-35) - w/5. Is j*3 - (9 - 6) a multiple of 6?
True
Let p be (-501)/4 + (-3)/(-12). Let z = p + 203. Does 39 divide z?
True
Suppose n - 5*j = 223, 0 = -2*n + 4*j - j + 425. Is 17 a factor of n?
False
Let c = -5 + 13. Let g = c + -18. Is 5 a factor of (-195)/g - (-2)/4?
True
Is 37 a factor of 1001 - -1 - 27/(1 - -8)?
True
Let z(w) = 47*w - 34. Let u be z(10). Suppose 0 = 8*c - u - 284. Is c a multiple of 15?
True
Suppose -39*b + 736 = -31*b. Is 4 a factor of b?
True
Let q(g) be the first derivative of -g**3/3 - 8*g**2 - 31*g + 18. Does 4 divide q(-13)?
True
Let r(t) = t + 7. Does 9 divide r(3)?
False
Let h(v) = -v**2 + 8*v + 36. Let z be h(10). Suppose z*r - 13*r - 750 = 0. Is 10 a factor of r?
True
Suppose -1347 - 2 = -19*o. Is o a multiple of 6?
False
Is ((-32)/6)/((-10090)/1440 - -7) a multiple of 6?
True
Let w = -40 + 41. Does 12 divide 16 - w*12/3?
True
Let c(k) = k**3 + 14*k**2 + 16*k + 40. Does 9 divide c(-12)?
False
Let q be (-2 - -2) + -1 + 14. Let k(f) = -f**2 + 21*f - 29. Is 10 a factor of k(q)?
False
Suppose 5*j = d + 27 + 41, 8 = 4*d. Is 18 a factor of 2324/j + 0 + (-4 - -1)?
False
Does 17 divide (-385)/14*2/(-15)*264?
False
Let n = 1130 + 123. Is n a multiple of 80?
False
Let v = -181 - -1515. Is v a multiple of 45?
False
Is 21 a factor of -4 + -4 + 11 - -437?
False
Suppose -4*k = d - 0*k + 20, 2*k + 10 = 0. Suppose -12*y = -d*y - 432. Is y a multiple of 18?
True
Let l = 62 + -4. Is l a multiple of 57?
False
Let i(l) = -l + 2. Let a be i(13). Is (-15)/(-10)*-2*a a multiple of 4?
False
Let s(j) = -j + 13. Let f be ((-20)/(-6))/((-1)/(-3)). Let z be s(f). Suppose -5*d + 71 + 21 = z*q, -4*d + 112 = 4*q. Is 15 a factor of q?
False
Suppose -17*t - 1404 = -5*v - 21*t, 0 = -3*v - 5*t + 845. Is v a multiple of 20?
True
Let s be ((-4)/(-10))/(-1) - 54/(-10). Suppose 0 = j + 4*r - 197, 5*j - s*r + 136 = 1096. Is j a multiple of 32?
False
Suppose 3196 = 6*p + 1096. Does 14 divide p?
True
Let v(k) = k + 183. Is 4 a factor of v(0)?
False
Suppose m - x - 1259 = 0, 4*x + 3777 = 6*m - 3*m. Does 40 divide m?
False
Let s(p) = 25*p**3 + 2*p**2 - p. Let j be s(1). Suppose 4*v + 10 - j = 0. Suppose -157 = -v*u + 103. Is 24 a factor of u?
False
Let v(r) = r**3 + 9*r**2 - 4*r - 7. Let q be (-8 + 6)*(4 - 1). Let j be v(q). Let b = j + -89. Does 10 divide b?
False
Let f = 672 - 20. Is f a multiple of 77?
False
Suppose -26*l - 1960 = -31*l + 4*m, 0 = 4*m. Is l a multiple of 49?
True
Let h(f) = f**3 - 13*f**2 + 11*f + 14. Let o be h(12). Suppose 2*n - k = 6, 2*n = 5*k - 2*k + o. Let w = n + 6. Does 10 divide w?
True
Let o(q) = 4*q**3 - 113*q**2 + 61*q - 36. Does 12 divide o(28)?
True
Let x(f) = f - 4. Let v be x(-6). Let l = v - 17. Let d = 67 + l. Does 20 divide d?
True
Let y be (-4)/10 - (-780)/(-50). Is ((-116)/y)/(3/48) a multiple of 30?
False
Suppose 5*v - 4*v = 46. Suppose 3 + 7 = 5*a. Let b = v + a. Is b a multiple of 13?
False
Suppose -41*k = -42*k - 5, k - 1227 = -4*t. Does 22 divide t?
True
Let w(t) = -30*t**3 - t**2 + 32*t**3 + 2*t**2 + 6*t + 3. Is w(3) a multiple of 12?
True
Let z be (2 - (0 + 0))*(-10)/(-4). Suppose g + g + 222 = 3*r, -z*r + 5*g = -370. Is 13 a factor of r?
False
Let f(n) = 18*n**2 - 32*n - 59. Is 93 a factor of f(8)?
True
Is -6*(-1 - (-2908)/(-24)) a multiple of 14?
False
Suppose -11*s + 10*s + 350 = 0. Does 50 divide s?
True
Does 54 divide (2047/(-69))/(1/(-3))?
False
Suppose s + 2*x = 440 + 127, -5*s - x + 2871 = 0. Is s a multiple of 23?
True
Let x be 1/4 + 41/(-4). Let v be (-48)/x*80/24. Suppose -v + 49 = y. Does 15 divide y?
False
Suppose 3*c - l + 2 = 4*c, -l + 2 = -2*c. Suppose c = -q + 74 + 6. Is 25 a factor of q?
False
Suppose 0 = -18*x + 15*x + 60. Does 15 divide (310/(-25))/((-4)/x)?
False
Let i = -379 - -1227. Is i a multiple of 55?
False
Does 40 divide 2/12 + 365/6?
False
Suppose 3*u + 7*f = 3*f + 463, 3*u - 460 = -f. Is 19 a factor of u?
False
Suppose -4*g - 3*i + 9 = 0, 0 = 2*g + 4*i - 2. Suppose 0 = -g*r + 424 + 200. Suppose 0 = 5*w - 62 - r. Does 16 divide w?
False
Let c = -188 - -273. Suppose -u = 3*u + 4, -u - c = -4*h. Suppose -7 = -4*a + h. Does 6 divide a?
False
Let t(o) = o**2 + 6*o - 24. Let j be t(-10). Is (82 - 2) + (-8)/(j/4) a multiple of 26?
True
Suppose -5*r + r = -88. Suppose -2*o - 6 = r. Let j = 17 + o. Is 3 a factor of j?
True
Suppose -s = 4*p - 12, 14 = -p - 0*s + 4*s. Let j(x) = x**2 - 3*x**p + x**2 - 2*x + 1 + 11*x. Is 4 a factor of j(7)?
False
Let k(m) = 48*m - 252. Is k(6) a multiple of 4?
True
Suppose 0 = -8*b + 759 + 913. Is b a multiple of 7?
False
Let u be 228/(-39) + (-6)/39. Let k = u - -10. Does 12 divide (-1484)/(-49) - k/14?
False
Let l = -8 - -8. Suppose l = 4*p + 6 - 30. Is 3 a factor of p?
True
Let w(q) = q**2 - 5*q - 5. Let r be w(4). Let z be 81/(2 - (-15)/r). Suppose 4*c + z = 7*c. Does 22 divide c?
False
Does 3 divide 2385/10*4/18?
False
Let v = 21 - -22. Let y = 102 - v. Is y a multiple of 15?
False
Let k = -31 - -31. Suppose k = 2*a - 116 - 52. Is a a multiple of 13?
False
Suppose -308 = -6*w + 1162. Suppose 6*r = 619 + w. Is r a multiple of 12?
True
Is 20 a factor of (18774/56 - -9) + (-2)/8?
False
Suppose -3*j - 4 = 23. Let q = j - -14. Let z = q + 16. Is 21 a factor of z?
True
Let q(h) = -368*h + 72. Is q(-3) a multiple of 8?
True
Let i(h) = 12*h**2 - 2*h + 97. Is i(7) a multiple of 27?
False
Suppose 5 = -3*o + 68. Let k = -11 + o. Is ((-4)/k)/(2/(-50)) a multiple of 10?
True
Suppose -55*k = -54*k. Let j(c) = -2*c + 70. Is 5 a factor of j(k)?
True
Let a(i) = i**3 - 13*i**2 + 8*i + 17. Let q be a(12). Is (-2)/((-3)/q*8/(-12)) even?
False
Let r = 24 - 31. Let a = 1 - r. Is a even?
True
Suppose -6*l = j - 10*l - 68, j + 5*l - 68 = 0. Is 3 a factor of j?
False
Suppose 0 = -65*v + 63*v + 292. Let q = -62 + v. Is 7 a factor of q?
True
Let y = -8 + 11. Suppose 2*a + y*a = 1580. Suppose -5*u + a = -h, 2*h + 2 - 10 = 0. Is u a multiple of 13?
False
Let g be ((-1)/2)/(4977/(-994) + 5). Suppose -3*c + 31 = -g. Is 8 a factor of c?
False
Suppose 5*o = 6*v - 2*v + 62, 5*o - v - 53 = 0. Suppose 7*n + 243 = o*n. Is n a multiple of 27?
True
Let k = 22 - -1. Suppose -49 = -24*v + k*v. Is v a multiple of 22?
False
Suppose -6201 = -13*k + 10*k + 4*s, -6183 = -3*k - 2*s. Is 13 a factor of k?
False
Does 33 divide 125840/140 - 3/(-21)?
False
Suppose -45*r + 263 = -44*r. Let s = 368 - r. Does 21 divide s?
True
Let m = 758 + 35. Suppose 4*b + 43 = -9. Does 20 divide (-1*1)/(b/m)?
False
Let s = 30 + -43. Let w = 13 + s. Suppose w = 4*h - 0*h - 240. Is h a multiple of 30?
True
Let v be -4*((-5)/(-2) + -3). Suppose 4*x - 315 = v*u - 7*u, 241 = 4*u + x. Is 12 a factor of u?
False
Let t = 2716 + -1906. Does 6 divide t?
True
Suppose 0 = 3*o - 4 - 2. Let x(w) = 8*w**3 - w**2 - w - 2. Does 7 divide x(o)?
True
Let k(w) = -w**3 - w**2 + 3*w + 5. Let u be k(-5). Suppose m = 6*m - u. Let j = m - 3. Is j a multiple of 12?
False
Sup