le of 5?
False
Let b = 698 - 589. Is 26 a factor of b?
False
Suppose 31 - 4 = -n. Let v = n + 41. Does 9 divide (-14)/(-49) - (-136)/v?
False
Suppose 71*t = 73*t - 62. Is 2 a factor of t?
False
Suppose -924 = -16*g + 356. Is 20 a factor of g?
True
Let t(u) = 4*u**2. Let k be t(-1). Suppose k*a - 490 = -a. Is a a multiple of 14?
True
Let l(f) = -f**2 - 6*f + 5. Let o be l(-7). Let v be (2380/(-30))/(o/3). Let n = v - 56. Is 20 a factor of n?
False
Let j = -10 - -14. Suppose 3 = -2*d + 3*d. Suppose j*i = t - 2, 4*t + i + d*i = 88. Does 18 divide t?
True
Suppose 0 = -3*g + 6*g + 18. Suppose 5*b - 100 = -4*r, -4*r + 3*b = -7*r + 78. Let o = g + r. Is o a multiple of 6?
True
Let v be (-2)/4*1*58. Let k = 26 - v. Is 9 a factor of k?
False
Suppose 4*n - 3*t - 23 = 0, -n - 5*t + 5 = n. Suppose 5*l = -3*g + 55, 4 = -3*l + n*l. Is g a multiple of 2?
False
Suppose 0 = -2*r + 3 + 3. Suppose -2*c - 3*c - 2*g = -316, 3*c - 186 = -r*g. Is 10 a factor of c?
False
Let d(f) = -6*f**3 + 2*f**2 + 11*f + 6. Is 20 a factor of d(-4)?
False
Let p(d) = 16*d - 27. Let g be p(2). Suppose h + 96 = o, g*o - 456 = -h - 0*h. Is 9 a factor of o?
False
Let p be 3 + (0 - (-12)/6). Let t(x) = -1 + x + 3*x + 2*x. Is t(p) a multiple of 18?
False
Let j(q) = q + 4. Suppose 0 = -6*l + 2*l + 16. Let o be j(l). Let b = -3 + o. Does 5 divide b?
True
Does 49 divide (-32)/80 + (-3922)/(-5)?
True
Suppose -3*c + 8*c - 10 = 0. Does 7 divide 29/3 + c/6?
False
Suppose -3*b = -g + 2398 - 44, 2*g - 4688 = -4*b. Is g a multiple of 91?
False
Let u(z) be the second derivative of z**3/6 + 5*z**2/2 + 9*z. Let o be u(-12). Let y = o - -61. Is y a multiple of 18?
True
Suppose 7*v - 2489 - 31 = 0. Is 20 a factor of v?
True
Let x(g) = 3*g + 9 - g + 6*g**2 - 7*g**2. Let w be x(4). Is 29 a factor of 222/3 + w - 3?
False
Let d(j) = 3*j**2 + j + 52. Is 31 a factor of d(-19)?
True
Suppose -2*f = 5*u - 7 + 24, 0 = u + 3. Does 26 divide f/(1/146*-2)?
False
Let d(i) = -10*i**2 - 10*i + 21. Let u(w) = -2*w**2 - 2*w + 4. Let l(a) = 2*d(a) - 11*u(a). Let y be l(-4). Suppose 5*t = y + 63. Does 14 divide t?
False
Suppose 4*b - 2355 = 3*z, 90*z + 2940 = 5*b + 87*z. Is 2 a factor of b?
False
Let x(s) = 3*s**3 + 6*s - 7. Let c(a) = -2*a**3 - 3*a + 4. Let h(r) = -5*c(r) - 3*x(r). Let z = 5 - 2. Does 13 divide h(z)?
False
Let j(f) = f**2 + 6*f + 3. Let b = 1 + -9. Let h be j(b). Suppose h = r - 0*r. Does 13 divide r?
False
Suppose -15*y + 2580 = -10*y. Is 45 a factor of y?
False
Suppose g = -34 + 12. Let f = g - -40. Is 5 a factor of f?
False
Let r = 26 + -16. Suppose 0 = -5*s + 2*z - 15 - 20, -s = -z + r. Is ((-2)/6)/(s/390) a multiple of 8?
False
Suppose -16*v - 41*v = -43548. Is 18 a factor of v?
False
Let o = 2 + -21. Let t = o - -47. Suppose -t = -4*h + a, -3*a + 20 = 5*h - 8*a. Does 3 divide h?
False
Let l = -263 - -344. Is l a multiple of 56?
False
Let m(l) = 2*l**2 - 2*l - 1. Let j(p) = p**2 - p. Let d(v) = -3*j(v) + 2*m(v). Let t be d(-3). Suppose t*n - 160 = 5*n. Is n a multiple of 16?
True
Let m = -250 + 369. Let p be m/3 + (-2)/(-6). Suppose 0 = -c - 3*c + p. Does 5 divide c?
True
Let y be (-2959)/(-22) - (-2)/4. Suppose 26 + 19 = s + 4*w, 3*s - 4*w - y = 0. Is s a multiple of 9?
True
Is 14 a factor of (-3)/(-2) - 17425/(-34)?
False
Let u(m) = m**3 + 10*m**2 + 13*m - 12. Let j be u(-8). Does 46 divide ((-3)/j)/(2/(-1192))?
False
Let b be (-6)/(210/1355) + (-6)/21. Let u = -4 + 3. Is -2 + (0 - u) - b a multiple of 19?
True
Does 31 divide 31/(-2)*(-28)/7?
True
Suppose -3*r = -2*k + 10, r - k = 3*k + 10. Let y be (24/(-15))/(r/(-60)). Does 10 divide y*(-2 + 4 + -4)?
False
Let t(n) = -n**3 + 8*n**2 + 9*n - 4. Let b be (-2)/(-3) - (-150)/18. Let o be t(b). Does 5 divide o - -3*(-40)/(-12)?
False
Let n(r) = -r**2 - 24*r - 12. Let q be n(-19). Let h = q + -47. Is h a multiple of 13?
False
Suppose 11*g = 12*g - 5. Suppose 100 = 5*t - 3*t - n, -t - g*n = -50. Is t a multiple of 5?
True
Suppose -3*c = 228 + 45. Let r = 14 - c. Is 21 a factor of r?
True
Let y(g) = 57*g - 1. Does 16 divide y(15)?
False
Let i(c) = -c**2 - 24*c - 16. Let s be i(-16). Suppose -3*y - m + 109 = 0, 4*y + 4*m - s - 36 = 0. Does 24 divide y?
False
Suppose -i - 4*i = -100. Let l be i/25 + (-12)/(-10). Suppose -2*c + 321 = 3*c - l*b, -2*c + 4*b + 138 = 0. Is c a multiple of 17?
False
Suppose 44*y = 13*y + 19530. Does 15 divide y?
True
Let p(i) = -i**2 - 28*i + 45. Is 51 a factor of p(-15)?
False
Let n = -150 + 390. Is 10 a factor of n?
True
Suppose 1920 = -n + 7*n. Is 20 a factor of n?
True
Let v(p) = -2*p**3 + 36*p**2 + 43*p + 25. Is 47 a factor of v(18)?
True
Let u = -36 - -108. Suppose -5*q - u = 3*r, 2*q + 5*r - 2*r = -36. Does 3 divide 1*(-8)/q*12?
False
Let l(a) = a**3 - 18*a**2 + 13*a - 11. Let w be l(18). Let i = w - 117. Is 11 a factor of i?
False
Suppose -13*z = -7*z - 7344. Does 18 divide z?
True
Does 38 divide (4 + 2)/(1 + 290/(-296))?
False
Suppose -c + 4*g + 25 = -270, 3*c = -5*g + 834. Suppose -4*i + n + 0*n = -379, c = 3*i - n. Does 12 divide i?
True
Let k(y) = -39*y - 36. Does 11 divide k(-6)?
True
Suppose 2*y = 3*r - 7 - 4, 0 = 2*r + y - 19. Suppose 0 = -r*x + 462 + 203. Does 19 divide x?
True
Let p(m) = m**2 - 3. Let a be p(3). Suppose -2*w - 7 = -a*w - 3*i, 17 = 2*w - 3*i. Suppose -r + l + w*l = -48, r - 44 = 4*l. Does 13 divide r?
False
Let t(l) = 2*l + 11. Suppose 5*p - 2*p = -18. Let d be t(p). Is 5 a factor of (d/(-2))/(9/360)?
True
Let q = -173 - -64. Let k = 135 + q. Is 8 a factor of k?
False
Suppose -p = -2 + 1. Let x be p/4 - 316/(-16). Suppose 0 = -3*w + 97 + x. Is 13 a factor of w?
True
Suppose 0*y + 3*y = 45. Let k be (-5)/y*1*-3. Suppose 4*h - 5*d - 4 + k = 0, 0 = -2*h - 4*d + 8. Is h a multiple of 2?
True
Is (8*99)/9 + (13 - 6) a multiple of 95?
True
Suppose 15*p = 8*p + 1309. Does 6 divide p?
False
Let a(b) = b**2 - 2*b - 5. Let h be a(4). Suppose g + h*g = 0. Let i(t) = -t**3 + t**2 + t + 26. Is i(g) a multiple of 12?
False
Let s(x) be the third derivative of 1/4*x**4 + 1/60*x**5 + 0*x - 2*x**3 + 0 + 4*x**2. Is 15 a factor of s(-12)?
True
Suppose 0 = -c + 5*c - 12. Suppose 0 = -c*f + 3*v + 132 + 21, -3*f + v = -153. Does 14 divide f?
False
Suppose -447 = -n + 3*m, -2150 = -5*n - 0*m - 2*m. Is 54 a factor of n?
True
Suppose 0 = -4*l + 2*f + 4, 3*l - 5*f = -l - 8. Suppose -29 = t - 0*z + 4*z, 2*z + 73 = -5*t. Is 7 a factor of 4 - l - 0 - t?
True
Let k = -9 - -7. Let p be (-2 - 1) + k - -2. Let n(z) = -z**2 - 7*z - 3. Is 3 a factor of n(p)?
True
Suppose -2*s - 1894 = -2*v + 1344, v - 1615 = 5*s. Does 10 divide v?
True
Suppose -4637 = -6*h + 2689. Does 11 divide h?
True
Let c = 1287 - 887. Is c a multiple of 16?
True
Let s(n) = -7*n - 11. Let m(q) = -22*q - 32. Let h(i) = 3*m(i) - 10*s(i). Let l be h(6). Suppose l = 6*k - 46. Is 14 a factor of k?
True
Suppose -173 - 64 = -3*x. Let r be 96/21 - 12/(-28). Let z = x + r. Does 37 divide z?
False
Let f(b) = -b**2 + 5*b + 2. Let g be f(6). Let v(j) be the first derivative of -j**4/4 + j**3/3 + 5*j**2/2 - 3*j + 19. Is v(g) a multiple of 19?
True
Let k(c) be the third derivative of c**8/6720 + c**7/1680 + 3*c**5/20 - 8*c**2. Let d(s) be the third derivative of k(s). Does 12 divide d(-4)?
True
Let b = 222 - -3. Let y = b - 2. Is 19 a factor of y?
False
Suppose 0 = -6*b + 5*b - 2*j + 1491, 2*j + 6 = 0. Is 10 a factor of b?
False
Suppose 2*a + 33 = 5*x, 0 = 3*x - 5*a - 29 - 6. Let d = x + 25. Does 15 divide d?
True
Suppose -5*j + 3*f = -683, -3*j + f - 679 = -8*j. Is j a multiple of 6?
False
Let u = -17 + 18. Let l(y) = 5*y**3 + 2*y**2 + y - 2. Let g be l(u). Suppose -m - m = -g. Does 2 divide m?
False
Let p(n) = 21*n**2. Let u = -33 - -34. Is p(u) a multiple of 3?
True
Let j(h) = 20*h - 9. Let g be j(9). Let m = g - 96. Is m a multiple of 15?
True
Suppose 0 = -5*b - 25, k + 4*b - 146 = 2*b. Suppose -k = 5*o - 6*o. Let q = -86 + o. Does 10 divide q?
True
Let n be 27/15 - 1/(-5). Is ((-10)/(-6))/(n/72) a multiple of 12?
True
Let n(x) = -378*x**3 - 2*x - 2. Is 14 a factor of n(-1)?
True
Let x be 10/(-6)*((-3 - -4) + 2). Let w(r) = -48*r + 47. Is w(x) a multiple of 41?
True
Suppose 7 + 18 = -5*d, -5*b - 2*d = -4130. Does 18 divide b?
True
Let u(w) = -w**2 - 45*w + 427. Is 17 a factor of u(-48)?
False
Suppose 11 = 5*w - 4. Let b(h) = -16 + w*h + 9 - 4. Is 2 a factor of b(7)?
T