rue
Suppose -4*x + 18 = y - 2, y - 10 = -2*x. Is 20 a factor of (x + (-70)/4)*-24?
True
Does 37 divide (-1627120)/(-275) + (-12)/(-10) + (-4)/(-2)?
True
Is 89 a factor of (-27)/81 - 1069*(-1)/3?
True
Is 30/5 + -1 + 7/(-21)*-15603 a multiple of 13?
False
Let t(s) = 5*s**3 + 95*s**2 - 141*s - 18. Let q(h) = -h**3 - 24*h**2 + 35*h + 4. Let y(p) = -9*q(p) - 2*t(p). Is 24 a factor of y(24)?
True
Let y = 3398 + -1604. Does 13 divide y?
True
Let u(n) = n**3 + 30*n**2 + 17*n - 12. Is u(-29) a multiple of 28?
True
Let x(s) = 256*s. Let m be x(1). Let a = 253 + -205. Suppose -m = -8*v - a. Is v a multiple of 13?
True
Suppose -4*d = 3*c - 21, -2*c + 5 = d + 1. Suppose 151 = 2*w + 51. Suppose -d*l + w = -l. Is l a multiple of 8?
False
Let l(z) = -27*z**3 - 204*z**2 + 6*z + 56. Does 183 divide l(-11)?
False
Let o = 17 + 90. Suppose -3*p + 25 + o = 0. Is p a multiple of 11?
True
Let d(n) = 3*n**2 + 15*n - 52. Let y be d(13). Suppose -h + 130 = 2*k, -24*h + y = -19*h - k. Is 18 a factor of h?
False
Suppose p - 6 = 2*k, -p + 4 = 5*k + 33. Is 9 a factor of (-2300)/(-30)*(-6)/p?
False
Let y = -18 - -38. Suppose y*s - 63 = 29*s. Let u(p) = 5*p**2 + p + 14. Does 28 divide u(s)?
True
Let t(v) = -29*v**3 - 2*v**2 + 10*v + 17. Suppose 66 = -33*i - 0. Is 17 a factor of t(i)?
True
Is 1352/325*40 + (-4)/10 a multiple of 16?
False
Let z(o) = 3*o**3 - 50*o + 10. Let w be z(6). Suppose -3*b = -530 - w. Does 37 divide b?
True
Suppose 3*f - 6352 = 5*q, -2*q = 4*f - 1147 - 7279. Suppose -12*d + 1851 = -f. Does 15 divide d?
True
Let f(b) be the first derivative of b**7/840 + b**6/40 + 2*b**5/15 + b**4/8 + b**3/3 + 13. Let d(h) be the third derivative of f(h). Is d(-6) a multiple of 12?
False
Let b(f) be the first derivative of 28*f**3 + 3. Let s(o) = -o**3 + 42*o**2 + 91*o - 133. Let r be s(44). Is 14 a factor of b(r)?
True
Let y be -10 - (-9 - -4) - 4. Let z(a) = -18*a + 12. Let s be z(y). Suppose 2*i + 4*r = i + 101, -2*i + s = r. Is 17 a factor of i?
True
Suppose -m - 3*n = n + 16, -20 = 4*n. Suppose -4 = -7*o + m*o + 4*w, -2*w = o - 8. Let q(s) = 7*s**2 + 5*s. Does 11 divide q(o)?
True
Suppose -8*g = 7*g - 270. Suppose g*d = 14*d + 176. Does 4 divide d?
True
Let r = -1021 - -1477. Let u = -264 + r. Is u a multiple of 9?
False
Let o(r) = -r**3 + 6*r - 4. Let f be o(-3). Suppose -3*y + 2760 = f*n, -229 = -n - 4*y + 306. Is n a multiple of 46?
False
Suppose 232*s = 13*s + 541806. Is 5 a factor of s?
False
Let y be (-39)/52*(-4)/3. Let s be 0/(y + -3 + 3). Suppose s = -4*m + n + 3*n + 196, -m = -4*n - 34. Is 18 a factor of m?
True
Let x(t) = -7*t + 132. Let l(f) = 3*f - 65. Let p(v) = -5*l(v) - 2*x(v). Let r be p(-5). Suppose 0 = -o + 174 - r. Is o a multiple of 12?
True
Suppose -94*q = -90*q - 9780. Suppose 5*f + 4*n = q, 0 = -3*f - 0*f - 4*n + 1467. Is 11 a factor of f?
False
Let f(q) = 29*q**3 - 13*q - 3. Let p(c) = -15*c**3 + 6*c + 1. Let a(z) = -3*f(z) - 7*p(z). Let r be a(1). Suppose -x + 25 + r = 0. Is x a multiple of 8?
False
Suppose -7*y = 73*y - 3169440. Is y a multiple of 142?
True
Let r = -855 - -860. Does 18 divide 1240 - (-8 + r/((-30)/(-36)))?
True
Let f be 6/12*(-2 - 35)*-2. Suppose 0 = -f*j + 7685 + 4377. Is 22 a factor of j?
False
Let g(j) = 2*j**3 + 66*j**2 + 77*j + 139. Is 14 a factor of g(-30)?
False
Suppose -5*h + 51 + 2 = 3*b, -44 = -3*b + 4*h. Let m(f) be the first derivative of f**4/4 - 17*f**3/3 + 8*f**2 + 17*f + 57. Does 11 divide m(b)?
False
Let w(o) = 41*o + 20. Let h be w(5). Suppose -4*x - 216 = 5*s - s, -5*x + 4*s - h = 0. Let m = -29 - x. Is m a multiple of 11?
False
Suppose 312*z - 37696 = 304*z. Does 47 divide z?
False
Suppose 22*j - 104930 = -14*j + 265618. Is 28 a factor of j?
False
Let f(t) = 2*t + 2. Let o(i) = -38*i - 22. Let r(s) = -24*f(s) - 3*o(s). Does 16 divide r(7)?
True
Let d(f) = 2*f + 3*f**2 + 11*f**3 - 25 + 26 - 7*f - 35*f**3. Let v be d(2). Let i = -94 - v. Does 19 divide i?
True
Suppose 3*s + 6 = 6*s. Suppose 0*q + 5*q + x = -85, -44 = 3*q + s*x. Is 155 + 9/(q/4) a multiple of 17?
True
Let c(p) = -6*p + 5. Let z be c(0). Suppose -19 = -2*j - 5*n + 42, n - 95 = -z*j. Is 7 a factor of j?
False
Is 34 a factor of 3080 - (18/2 + -1)*(-9)/12?
False
Let f(y) = -6*y + 190. Let d be f(13). Does 4 divide (d/30 - (-20)/(-50))*3?
False
Let t(x) = 4*x + 126. Let m be t(-31). Is (m - -15)/(9/18) a multiple of 6?
False
Let b = 18 - 65. Let s = -49 - b. Let d(o) = 12*o**2 + 1. Is 8 a factor of d(s)?
False
Let x(q) = 4193*q - 3302. Is x(4) a multiple of 75?
False
Suppose 0 = 5*h - 2*g - 98049, -2*h - 4*g + 14131 = -25079. Is h a multiple of 8?
False
Suppose 73*w = 72*w + 4. Suppose 0*a + a = w*j - 2469, -4*j + 5*a + 2489 = 0. Suppose -12*c + j = -c. Does 8 divide c?
True
Let t be (10/(-15))/(6/(-1863)). Suppose -7*a + t = -66. Is a a multiple of 39?
True
Let b be (-50)/(-6) - (-10)/(-30). Suppose b*y = 5*y + 216. Is 8 a factor of y?
True
Let h(m) = -m**3 - 2*m**2 + 10*m + 14. Let p(i) = i**2 + i - 1. Let b(j) = -h(j) + p(j). Is 2 a factor of b(-3)?
True
Suppose 0 = 2*a, 4*a + a + 4440 = 2*c. Suppose 0 = -25*u + 27*u + 4*h - 1106, -4*h + c = 4*u. Is u a multiple of 43?
False
Let s be (-1)/(-3) + (-51)/(-9). Let m be (27/12*2)/((-31)/(-1302)). Suppose s*l - 3*l = m. Is 7 a factor of l?
True
Let p(h) = 375*h**2 + 2*h. Is p(-2) a multiple of 36?
False
Let i(x) = x**2 + 5. Let d = 52 - 52. Let z be i(d). Suppose -u = 4*t - z*u - 48, 0 = -3*u. Does 7 divide t?
False
Suppose -31*n = -53*n + 122958. Does 7 divide n?
False
Suppose -d + 18 = 4*t, 2*t + 0*t + d = 10. Does 67 divide (-3)/(12/t) - -470?
True
Is (1615 - (5 + -6)/1) + 0 a multiple of 23?
False
Suppose -a = 7*a + 376. Let m = -49 - a. Is (-6)/6*(-284 + m + 1) a multiple of 57?
True
Suppose 63*y - 66*y + 4*z = -2221, 8*y + 2*z - 5948 = 0. Is 3 a factor of y?
False
Let r = 459 - -1988. Let o = r - 1006. Is 70 a factor of o?
False
Let o(s) = 13*s**2 - 8*s - 13. Suppose 0*y - 45 = 5*y + 4*c, -3*y - 20 = c. Does 16 divide o(y)?
True
Let w = 78 - 69. Let n = 14 - 8. Suppose -n = -3*x + w. Is 3 a factor of x?
False
Suppose -86 - 46 = -4*t + 3*g, 3*t = 5*g + 88. Let x be 8/t - ((-2012)/18 - 0). Suppose -2*s + 6*s = x. Is 20 a factor of s?
False
Let i be (-1)/3 + 64/12. Let b(m) = -8 + i - m**2 + 16*m + 0*m**2. Is 9 a factor of b(13)?
True
Suppose 3*h + 106 = -2*f + 1567, 0 = 3*h + f - 1458. Suppose -5*i + h = t, i + 257 = 5*t - 2142. Is 10 a factor of t?
True
Is 1*(1/4 - 123/164)*-25872 a multiple of 24?
True
Suppose -d + 2*v + 14 = 0, -4*v = 2*d + 5 - 1. Suppose 0 = f - 4, d*f - 2*f = 5*z + 26. Is 5 a factor of z/6 + 1 - 3540/(-36)?
False
Is -114 + 2827 + ((-2)/3)/(6/(-9)) a multiple of 59?
True
Let n(z) = -20*z**2 + 7*z - 8. Let r(t) = 7 + 14*t**2 + 0*t**2 - 6*t + 7*t**2. Let o(k) = 2*n(k) + 3*r(k). Does 16 divide o(2)?
False
Let g(k) = k**2 + 9*k - 17. Let t = 25 + -20. Suppose -t*b - 88 = 5*l - 33, 4*b = -3*l - 49. Is g(b) a multiple of 19?
True
Let c be ((-2)/3)/(48/12600). Let v = c + 432. Does 9 divide v?
False
Let n be 426/4*11/(66/80). Suppose 32*b - 35668 = n. Does 61 divide b?
True
Let x(z) = -2*z**3 - 36*z**2 - 33*z + 20. Let y be x(-17). Let v(a) = 217*a**2 - 10*a + 52. Does 48 divide v(y)?
False
Suppose 0 = -2438*j + 2449*j - 95117. Does 71 divide j?
False
Suppose 3*k + 18 = 0, 46*l - 3*k - 3033 = 45*l. Is 29 a factor of l?
False
Suppose -5*x = v - 12, 3*v - 9 = -2*x + 1. Let h be 6/(-1)*-25*(-2 - 10/(-4)). Let n = x + h. Does 7 divide n?
True
Let y(c) = c**3 + 10*c**2 + 7*c - 1. Let u be y(-9). Let v(w) = w + 13. Let f(r) = 14. Let x(l) = -2*f(l) + 3*v(l). Is x(u) a multiple of 31?
True
Let f(h) = h**3 - 5*h**2 - 10*h - 32. Let j be f(7). Does 9 divide (-30)/j*(-72)/(-15)?
True
Is 93 a factor of 2/8 - (789341/(-84) + (-85)/102)?
False
Suppose 3*w = -0*h - 2*h + 80, -3*w = -5*h + 158. Let t be ((-138)/46)/(-1 - 2). Is (2 - t) + h + 62/31 a multiple of 10?
False
Let w(g) = 2*g**2 - 4*g - 5. Let s be w(-9). Suppose -2*a + 3*r = -s, 5*a - 2*r - 76 = 401. Is 20 a factor of 21*1*(a/15 - 5)?
False
Let a be (-4)/(-14) - (-15516)/(-14). Let b = -19615 + 19603. Does 2 divide b/(-20) + a/(-20)?
True
Suppose -38*v = -57*v + 11191. Suppose v + 419 = 4*m. Does 18 divide m?
True
Suppose -2*s = -3*s, 5*s = 4*p + 156. Let z = p + 36. Is 12 a factor of (-3 + 2 + -47)*z/6?
True
Let q(b) = b**2 - 2