33 - (-1)/h?
True
Suppose 27*u - 50 = 2*u. Suppose 208 = 5*q + u*a, 4*q = -0*q - 5*a + 180. Does 2 divide q?
True
Let r = 11240 + -6092. Does 36 divide r?
True
Suppose -10 = -3*h + 8. Suppose -3*c = -0*j + 3*j + h, 3*c - 5*j = 34. Suppose 4*r = -c*v + 702, -r - 435 - 33 = -2*v. Is v a multiple of 13?
True
Let r(u) = 3*u**2 - 55*u + 1028. Is 10 a factor of r(18)?
True
Let t(j) be the second derivative of -8*j**3/3 - 7*j**2/2 + j. Let r be t(-3). Let p = r - 17. Is 11 a factor of p?
False
Suppose 2*k = -4*z + 10, -2*z - 10 = 4*k - 0*k. Is 19 a factor of 3/z - 543/(-15)*2?
False
Let n(m) = m**3 - 55*m**2 - 51*m - 51. Is 17 a factor of n(57)?
False
Let r(s) = -8*s**2 + 7*s + 1. Let n(a) = -9*a**2 + 8*a + 1. Let k(h) = -h**2 + 18*h - 39. Let i be k(16). Let x(g) = i*r(g) + 6*n(g). Is 2 a factor of x(2)?
False
Suppose 25 = -0*d + 5*d - t, -d = 2*t - 5. Let y(w) be the second derivative of 14*w**3/3 - 14*w**2 + 8*w. Is 16 a factor of y(d)?
True
Suppose 0 = -i - c + 378 - 61, 0 = -5*i - c + 1609. Is 2 a factor of i?
False
Let l(q) = -q**3 - 7*q**2 + 5*q - 6. Let j be l(-7). Let u = j + -70. Let f = 29 - u. Is 35 a factor of f?
True
Suppose 65 = 14*l - 33. Let s(r) = 2*r**2 - 4*r + 20. Does 6 divide s(l)?
True
Let h(c) be the first derivative of c**4/12 + 19*c**3/6 + 6*c**2 - 15*c - 6. Let r(x) be the first derivative of h(x). Is 3 a factor of r(-19)?
True
Suppose -335375 = -21678*p + 21653*p. Is 9 a factor of p?
False
Let w = -353 - -523. Is (1530/w)/(-1 + (-5)/(-4)) a multiple of 18?
True
Suppose 5*z - 21 = -1. Suppose 20 = 5*a + z*q - 8, 3*a = -5*q + 22. Does 44 divide 8*33 - (a - 4)?
True
Suppose 3*a + 2*h = 748, -386 = -4*a + 3*h + 634. Suppose -a - 3855 = -37*z. Does 4 divide z?
False
Let p(o) = -o**3 - 8*o**2 - 2*o + 4. Let u be p(-6). Let n be (-248)/u - 12/(-21). Suppose 2*x - 233 = -n*f, -3*f + 124 = x + 2*f. Does 13 divide x?
False
Let h(u) = 23*u - 6. Let l be h(3). Suppose 0 = 2*v + 7*v - l. Suppose 14 + v = f. Is 7 a factor of f?
True
Let o = -58917 + 87289. Does 258 divide o?
False
Let g(a) be the third derivative of 1/3*a**3 + 1/10*a**5 + 1/8*a**4 + 13*a**2 + 0 + 0*a. Does 17 divide g(-2)?
False
Suppose 3*k + 493*n = 489*n + 6438, -5*k = 2*n - 10716. Is k a multiple of 2?
True
Let i = 1551 - -2526. Suppose 18*z = -621 + i. Is 16 a factor of z?
True
Let z(c) = 1 + 6642*c + 6 - 6496*c. Is 23 a factor of z(2)?
True
Suppose -24 = 36*o - 44*o. Suppose o*d - 2*d + 3*r = 884, 888 = d + 2*r. Does 28 divide d?
True
Suppose -4 = 4*a - 2*a + 2*h, -2*a + 3*h + 6 = 0. Suppose -4*c + 12 = a, 0*c + 3*c - 41 = 4*k. Is (-4)/k*(-1 - -1) - -116 a multiple of 15?
False
Let u = 1663 + -703. Suppose 9*a + 6*a - u = 0. Is 37 a factor of a?
False
Let f be (-6)/(-1*(-5)/(-10)). Let n = 3 + 6. Does 25 divide (372/n)/(4/f)?
False
Let u = 12 - 13. Let j be (u + 2)/((-2)/10). Let i = j - -38. Does 3 divide i?
True
Suppose 3*b = o + o - 269, 4*o = -5*b + 505. Suppose -u - 263 = -2*d, -390 + o = -2*d + 4*u. Does 22 divide d?
True
Suppose 715*i - 27 = 706*i. Suppose -i*x = -12, -17*g + 5*x = -21*g + 2352. Is g a multiple of 16?
False
Suppose -2*t + 10 = -5*h - 0*h, 2*t + 4*h + 8 = 0. Suppose 0 = -5*b + 3*b + 2*w + 130, -b - 3*w + 81 = t. Does 11 divide b?
False
Suppose 4*i + 36 = 3*p, -2*i + p = -2*p + 24. Let k = 127 - i. Let y = -61 + k. Is y a multiple of 12?
True
Let z(f) = -65 + 18*f - 4*f**2 + 11 + 3*f**2 + 0*f. Let t be z(12). Does 8 divide (4*3/t)/((-2)/(-138))?
False
Suppose -x = 5*c - 2266, -77*x + 72*x + 11450 = c. Does 79 divide x?
True
Let z(m) = -m + 17. Let q(u) = 8. Let o(w) = -13*q(w) + 6*z(w). Let j be o(-1). Suppose n - 2*b = 56, -j*b - 4 + 20 = 0. Is 16 a factor of n?
True
Suppose 29091 = 4*u - u + 2*o, o = 6*u - 58182. Is 54 a factor of u?
False
Let q = 1069 - 603. Suppose 16*x - s = 12*x + 373, -s - q = -5*x. Does 31 divide x?
True
Let z(c) be the second derivative of c**5/20 + 3*c**4/2 - 13*c**3/3 - 25*c**2/2 + 2*c. Let h(b) = -b**2 - 12*b - 51. Let s be h(-8). Is 27 a factor of z(s)?
True
Suppose -o + 8 = -2*o + 5*d, -5*o = -4*d - 2. Let k(c) = -2*c**2 + 3*c**o - c + 2*c**2 - 20 - 5*c. Is 44 a factor of k(10)?
True
Suppose 0 = -7*q - 143 + 178. Does 47 divide (q + -6 + -187)*-6?
True
Let m = -3576 + 6146. Suppose 5*c + 474 - 2210 = -2*w, -m = -3*w + c. Does 15 divide w?
False
Suppose 0 = -5*m + 4*j + 8, -7*j - 6 = -4*j. Suppose 0 = b + u - 28, 2*u + 94 = 4*b - m*u. Suppose 0 = b*h - 15*h - 840. Is 21 a factor of h?
True
Let f(b) = -b**2 + 5*b - 8. Let z be f(2). Does 17 divide 42*(-1 - z) - (-1 + 2)?
False
Suppose 8*s = -24*s + 41*s - 16812. Is 4 a factor of s?
True
Let f(b) = -81*b - 213. Is 20 a factor of f(-13)?
True
Let r(w) = w**3 + 10*w**2 - 11*w - 8. Let l be r(-9). Suppose 8*v - l = 4*v. Is 6 a factor of v?
False
Let s(g) = -g**2 + 22*g - 32. Let f be s(20). Suppose -5*m = -a - 1086, f*a = -2*m + 7*a + 433. Is 31 a factor of m?
True
Let j be (7/(-3) + 1)*45/(-30). Suppose -2*z + j*c - 24 = -3*c, -2*z = -c + 8. Is z + (12 + 2)/1 a multiple of 4?
True
Suppose -5*i + 56099 = 5*u - 6*i, 5*u - 56083 = -3*i. Is u a multiple of 66?
False
Suppose -31*w + 1296 = -15*w. Let o = w + -78. Suppose -u - 5*c = -16, -o*c = -8*u + 3*u + 192. Is u a multiple of 18?
True
Let d(t) = t**2 - 17*t + 9. Let f be 4/6*33/44*58. Does 45 divide d(f)?
False
Let r = 730 - 389. Suppose -k + 297 = 3*d - r, -5*d + 1045 = -2*k. Is 15 a factor of d?
False
Suppose 0 = 5*i + 64*y - 63*y - 17397, 4*y = -2*i + 6948. Does 60 divide i?
True
Let g(q) = -q**2 - 245*q + 726. Does 29 divide g(-85)?
True
Suppose 4*s = 3*c + 186, 3*s = 4*s + 5*c - 58. Suppose -47*b = -s*b + 222. Is 7 a factor of b?
False
Is (-3449)/(((-2)/7)/(300/350)) a multiple of 24?
False
Suppose 9*w - 5*w - f = 8, w - 3*f = 2. Suppose -2*g + 6*t = 2*t - 278, -260 = -w*g - 5*t. Is 15 a factor of g?
True
Let t(c) = c**2 - 2*c + 11. Let i be t(-7). Does 20 divide (i + -1 - 0) + 4?
False
Suppose 0 = 11*x - 10*x - 38. Suppose -x*n - 2352 = -45*n. Is 37 a factor of n?
False
Let v(f) = 10691*f**2 - 26*f + 7. Does 46 divide v(1)?
True
Let o(c) = 351*c**2 - 105*c - 393. Is 57 a factor of o(-4)?
True
Suppose 194 + 82 = r. Let u = -64 + r. Is 14 a factor of u?
False
Let p be (0/((-3)/(-1)))/(9 - 7). Let y be -4*-1*(3 + p). Is 7 a factor of y/(-20) - (-496)/10?
True
Is 3/45 - 5143400/(-1500) a multiple of 31?
False
Suppose -3*s = -l + 1226, 4*s - 2*l + 1176 = -462. Let u = 722 + s. Is 35 a factor of u?
True
Let k(y) = y**2 - y + 1. Let u be k(1). Let v be 35/4 + u/4. Let q = v - -13. Does 9 divide q?
False
Does 12 divide (-24)/144 - ((-70)/(-735) + 1479755/(-42))?
True
Suppose 4*t - 22680 = -3*x, -3*t + 146 = 164. Is 8 a factor of x?
True
Let d(p) = -p**3 - 24*p**2 - p - 7. Let z be d(-24). Suppose -z*g + 162 = -16*g. Is g a multiple of 18?
True
Let y = 31 - 29. Suppose q + 105 = -y*n, -q - 154 = 4*n - 47. Let v = q - -298. Is 17 a factor of v?
False
Let y = 5465 - 2063. Suppose -9*z + y = 9*z. Does 21 divide z?
True
Let f(u) = 675*u**2 - 42*u - 101. Is f(-6) a multiple of 181?
False
Suppose -21*s + 1119 = 6. Is s even?
False
Suppose 11*w + 3 = 36. Suppose 4*t + 0*c = 4*c, -c - 8 = -w*t. Suppose -t*p + 181 = -111. Is p a multiple of 19?
False
Let y be (-15 - -16)*8/2. Suppose -14*m + 3520 = -y*m. Is m a multiple of 22?
True
Suppose 12*j = 8*j. Suppose 2*d + 3*d - 3*p - 984 = j, 2 = p. Is d a multiple of 7?
False
Suppose z - 46 = -11. Let g be (-14)/z + (-932)/(-5). Let w = g + -59. Is 33 a factor of w?
False
Suppose c - 2*c = 33. Suppose -l + 12 + 2 = -3*j, 5*l + 15 = -2*j. Let z = j - c. Is 6 a factor of z?
False
Suppose -5*b + 142 = 3*m, 0 - 4 = -m. Suppose -b = -9*q + 1. Suppose 0 = -2*x + q*a + 275, 0*a + a = x - 137. Is 20 a factor of x?
False
Does 26 divide 3/(26/((-313664)/(-48)))?
True
Let m(h) = -1112*h - 2608. Does 4 divide m(-13)?
True
Suppose -2*t + 101 = -3*w, 5*w = 2*t - 0*t - 91. Suppose 495 = u - 3*b, 3*u - 1563 + t = 4*b. Does 13 divide u?
True
Suppose 25*m + 529 = -46. Let q(c) = -c**3 - 7*c**2 - 4. Let d be q(-6). Let g = m - d. Is g a multiple of 17?
True
Let y be (-10)/(-3)*((-42)/12 + 2). Let d = y + 251. Does 31 divide d?
False
Suppose 30*o + 203 = 35*o - 242. Does 10 divide o?
False
Suppose j - 5*k - 14139 = 0, 1120*j - 1119*j + 2*k - 14146 = 0. Is 64 a factor of j?
True
Suppose -4*m - 2*k + 14