 - 2 = 0. Let t be 0/14 + 31*j. Suppose -t = -5*i + 39. Is 12 a factor of i?
False
Let v = 2537 - -997. Is 19 a factor of v?
True
Suppose -1293 = 6*l + 75. Let q = l - -349. Does 27 divide q?
False
Let x(r) be the first derivative of -r**5/20 + r**4/2 + 7*r**3/6 - 19*r - 15. Let f(z) be the first derivative of x(z). Does 6 divide f(6)?
True
Let f = -17228 + 18692. Does 8 divide f?
True
Suppose 161*m - 160*m - 117 = 0. Is 13 a factor of m?
True
Suppose 597*g - 595*g = 2690. Does 130 divide g?
False
Let i(j) = -66*j + 6182. Is i(62) a multiple of 11?
True
Let l = 7965 + -4929. Does 44 divide l?
True
Is 15 a factor of 56*((28 - 46) + 558)?
True
Does 7 divide (77/(-1) + 48/24)*1832/(-8)?
False
Suppose 3*i = 0, -2*w - 3*i = 3*w - i - 2700. Is 54 a factor of w?
True
Let q be 0/((2 + -2 - -1)*-1). Suppose 2*c - 744 = -4*z, -7*c + 8*c - 5*z - 393 = q. Is c a multiple of 7?
True
Let i(h) be the first derivative of h**3/3 - 27*h**2/2 - 41*h - 200. Is i(31) a multiple of 20?
False
Suppose -48438 = -178*c + 169*c. Is c a multiple of 13?
True
Suppose -30*s = -9*s. Suppose -2*f = -10, s = -b + f + 2031 - 461. Is 25 a factor of b?
True
Is 10 a factor of 1308/9*4134/52 - 8?
False
Suppose -319*o + 324*o = 885. Suppose 2*f - 488 = 4*j, -2*j = f - o - 55. Is 17 a factor of f?
True
Suppose -6463 = -d + r, -3*r = -13*d + 15*d - 12886. Is 4 a factor of d?
False
Suppose 0 = b - 68*x + 65*x - 1814, -3*b + x + 5498 = 0. Is 4 a factor of b?
False
Suppose 8*j = 2 - 10. Let c be 11/6 + (-3)/(-18). Is 7 a factor of (j/c*-11)/((-4)/(-40))?
False
Let o = 13509 - 7337. Does 82 divide o?
False
Suppose -13*r - 252 = -6*r. Let i be 4 - r/(-28) - 4/(-14). Suppose 0 = -2*g - 2*g + i*w + 795, -3*g + 4*w = -598. Does 18 divide g?
True
Does 14 divide (3/2)/((-137)/(-2698078))?
False
Suppose -3*g + 20 = g. Suppose -i + 10 = -g*w, w = -5*i + 9 + 15. Does 4 divide w/((-62)/30 + 2)?
False
Suppose 6*a - a = 5, b + 1 = -3*a. Let d(t) = 4 - 4 - 2 - 3*t - 61*t**2 + 64*t**2 + 5. Is d(b) a multiple of 7?
True
Let c be 4460*(42/(-7) + 7). Suppose 0 = 8*y - 1028 - c. Does 49 divide y?
True
Suppose 4*l - 454 = -130. Suppose 5*o = d - l, -5*o + 205 = 3*d - o. Let z = d - 34. Does 17 divide z?
False
Let l(k) = -k**3 - k**2 + 2*k - 2. Let r be l(-3). Suppose -3*a - 455 = -r*a. Is 13 a factor of a?
True
Let t be 3/(3/84*4). Let u be 3 - (t/6 + -3)*-6. Does 11 divide (-4)/(((-1)/u)/(5/4))?
False
Let w(l) = -8*l + 2. Let d = 110 + -115. Does 2 divide w(d)?
True
Let h(c) = -c**3 - 27*c**2 - 13*c + 71. Let r be h(-27). Let n = -134 + r. Is n a multiple of 11?
False
Let b(q) = -1321*q**3 - 4*q**2 - 40*q - 71. Does 179 divide b(-2)?
True
Does 43 divide 22479/(-4 + 7) + -15?
False
Suppose 5*a + 284 + 806 = 0. Let r be a/6 + 40/(-60). Let o = r - -107. Does 14 divide o?
True
Suppose 2*g = v + 63817, 90254 = 2*g + 2*v + 26410. Is g a multiple of 35?
False
Suppose -34 - 6 = -5*f. Let j = 185 - 181. Suppose -g = -3*g - f, -3*v + j*g = -160. Is v a multiple of 6?
True
Let x(d) be the second derivative of d**4/3 - 3*d**3/2 + 5*d**2 + 27*d. Let j(y) = 21*y**2 - 45*y + 49. Let h(b) = -2*j(b) + 11*x(b). Is 10 a factor of h(6)?
True
Suppose -5 = -j + 4*w, -6*w + 2*w - 9 = -5*j. Let r be -82*26/(-4) - (j - 1). Let q = -293 + r. Is q a multiple of 48?
True
Let f(a) be the first derivative of -13*a**4/4 - a**3 + 3*a**2/2 + 6*a - 43. Is 11 a factor of f(-3)?
False
Suppose 4*w = -u + 33, 0 = -3*u - w - 2 + 57. Suppose 4*s - 8 = q - 3, 5*q + 5*s - 25 = 0. Let z = u + q. Does 16 divide z?
False
Let s(i) = 183*i + 27. Let o be s(5). Suppose 3*a + 545 = 2*v, -4*v + o + 163 = -3*a. Suppose -d - v = -6*d. Does 7 divide d?
True
Suppose -5*r = 2*u + 926, -2*u = -u + r + 460. Let c = u + 235. Let q = 498 + c. Does 21 divide q?
False
Suppose -2*r - 1297 = -w, -4*w + 102*r + 5162 = 107*r. Does 6 divide w?
False
Suppose -482 = -3*t - 2*q, -2*q + 336 = 2*t + 3*q. Is t a multiple of 5?
False
Let y be (14/(-2))/(((-46)/(-4))/(-23)). Suppose -27198 = -y*w - 3006. Is w a multiple of 27?
True
Let y = -632 - -360. Let n = 421 + y. Let q = -116 + n. Does 29 divide q?
False
Let w = -22 - -7. Is (-1)/6*-389 + w/18 a multiple of 7?
False
Suppose -6*s + 1787 = -331. Suppose s = y - 7. Does 20 divide y?
True
Suppose -v = 3*v - 8. Suppose v*s + 3*s = -20. Is 3 a factor of (-102)/s*26/39?
False
Is 486343/99 - 8/(-18) a multiple of 5?
False
Does 14 divide -6*8/(-42)*-7 + 50030?
True
Let o(v) = v + 42. Let b(j) = -5*j**2 - 10*j - 27. Let c(a) = 17*a**2 + 29*a + 81. Let w(t) = -7*b(t) - 2*c(t). Let r be w(-9). Is o(r) a multiple of 14?
True
Let t be (-60)/(-12)*-3*(-86)/2. Is 71 a factor of (t/4)/(36/48)?
False
Suppose -4005*d + 3994*d + 143 = 0. Let x(s) be the first derivative of s**3/3 - 6*s**2 + 7*s - 1. Does 8 divide x(d)?
False
Let s = 64 - 57. Suppose 5*q + 3 = -5*x - 2, 2*x = -5*q + s. Suppose 2*d + q*d - 5*f = 680, -3*d + 5*f = -416. Is d a multiple of 36?
False
Let v(w) = 3*w**2 - 4*w - 2. Suppose 5*r = 3*x - 2*x + 12, -5*x + r + 36 = 0. Is v(x) a multiple of 37?
False
Suppose 0 = 4*v - 5 - 35. Suppose 3*k = 3*n - 1107, -2*n + v*k = 5*k - 735. Does 64 divide n?
False
Suppose 0*o - 11*o = -231. Let t = o + -17. Does 25 divide (-560)/(-21)*15/t?
True
Let c be 53/3 + (-4)/6. Let f(l) = c*l + 3*l + 4*l + 7 - 4. Is 18 a factor of f(1)?
False
Let z(l) = 5*l**2 - 29 - 10184*l + 10184*l. Is z(-5) a multiple of 32?
True
Suppose 407 = 11*s - 10*s. Let c = 35 + s. Does 26 divide c?
True
Let c(l) = -1786*l + 10599. Does 87 divide c(-6)?
True
Let s be 3*10*4/10. Suppose -45 = -s*p - 3*p. Suppose 0 = p*j - 7*j + 76. Is 5 a factor of j?
False
Let l = 14205 - 8619. Is 42 a factor of l?
True
Let c(q) = -131*q + 7094. Is c(-26) a multiple of 193?
False
Let d(v) = 6*v**2 - 7*v + 39. Let h be d(-12). Suppose 0 = -3*i + m + h, 5*i + 4*m - 1652 = 8*m. Does 13 divide i?
False
Suppose 0 = 191*f - 692*f + 5833644. Does 71 divide f?
True
Let w be 2/(-13) - 742/(-91). Suppose v - w*v = -1330. Suppose 4*q - a - v = 0, -4*a = -0*a - 8. Is 8 a factor of q?
True
Let d(t) = 16939*t + 533. Does 12 divide d(1)?
True
Let s(t) = -551*t**3 - 2*t**2 + 3*t + 3. Let l = 565 + -566. Does 13 divide s(l)?
False
Let u = -49 + 57. Let n be 8/(-2) - -3*(u + -2). Suppose -n*t + 1312 = 2*t. Is t a multiple of 8?
False
Suppose -12246 - 7283 = -15*l + 15721. Is l a multiple of 50?
True
Let j be (-306)/(-255)*15/2. Is 3 a factor of (-38)/171 + 164/j?
True
Suppose 0 = 2*z - 499 + 73. Let c = 108 - z. Is 21 a factor of c/(-5)*(0 + 1)?
True
Let j(r) = 2*r - 12. Let g be j(6). Suppose g = -17*w + 6*w + 44. Suppose -w*o + 830 = o. Is o a multiple of 14?
False
Suppose -31 = 4*s - t, -5*t - 16 + 0 = -s. Let z be ((-8)/(-12))/((-2)/s). Is 9 a factor of 397/z - (-3)/(-9)?
False
Suppose 72*s + 20*s + 72*s = 1787272. Is 29 a factor of s?
False
Let d = 86 - 81. Suppose 5*y = -3*a + 2*a - 5, -d*y - 5 = -2*a. Suppose 0 = 5*r + 2*k - 0*k - 152, 4*k + 16 = a. Is 4 a factor of r?
True
Is 17 a factor of (2 + -10)/24 - (-21603)/9?
False
Suppose 5*y = -87 + 82. Does 2 divide -9 - (-4 - y) - -20?
True
Let p be 129*(-24 + 6)/(-2). Suppose 2*u = -c - 0*u + 289, 3*u - p = -4*c. Does 24 divide c?
False
Let w(b) = 2*b**3 - 5*b**2 + b - 6. Let r(i) = -3*i**3 + 9*i**2 - 2*i + 11. Let f(u) = 3*r(u) + 5*w(u). Let z be f(0). Does 22 divide z/(19/(-22) + 1)?
True
Suppose 0 = -9*r + 6*r - d - 6590, d = 4*r + 8789. Let m = 3094 + r. Does 23 divide m?
True
Let p(q) = q**3 + q + 1. Let s(u) = u + 5. Let b be s(-4). Let m(a) = 4*a**3 + 10*a**2 - 2*a - 17. Let f(x) = b*m(x) - 3*p(x). Is 17 a factor of f(-10)?
False
Suppose -4648 + 1858 = 15*j. Suppose 885 + 915 = 5*x. Let q = j + x. Is 16 a factor of q?
False
Is ((-135)/(-15) + 119/(-21))/(3/1638) a multiple of 10?
True
Suppose -4*n + 5*q = -17925, -76*q + 17916 = 4*n - 72*q. Is 35 a factor of n?
True
Let p be (-14)/8 - 1/4. Let z be (p + 0 + 4)*-3. Does 6 divide (-6 - (4 + z)) + 46?
True
Let s(v) = 9*v**2 + 48. Let d be (0 - -6)*(-48)/(-32). Is s(d) a multiple of 37?
True
Does 9 divide 964/(-10)*39200/(-448)?
False
Let w(i) = 5*i - 11. Let r be 10 + -4 + 4 + 0. Let a be w(r). Suppose -a = -3*c - 3*k, 0*k + 50 = 4*c + 2*k. Does 2 divide c?
True
Let p = 81965 + -44876. Is 9 a factor of p?
True
Let p(i) = 49*i**3 + i**2 - 101*i + 534. Is 26 a factor of p(6)?
False
Suppose 15