e of 14?
True
Does 3 divide (-38*(-2)/5)/(29/145)?
False
Suppose 38*p = -y + 33*p + 3870, -p + 3874 = y. Does 125 divide y?
True
Let j be 2/8 - (5 - 94/8). Suppose -2*b + j*b + x = 175, -x + 67 = 2*b. Does 3 divide b?
True
Let i(s) = s + 5. Let n be 123/(-9) + 6/9. Let l be i(n). Is 9 a factor of (l/(-20))/(1/90)?
True
Let f(m) = 5*m + 2*m + 2*m - 2 - 4*m. Let n be f(2). Does 8 divide 15/(2 - 13/n)?
True
Suppose 3*b - 35 = -4*j, -j = -4*b - 3*j + 60. Let a(x) = x**2 - 16*x - 13. Is 2 a factor of a(b)?
True
Suppose 5*b + 2*p + 126 = 0, -b + 3*p - 27 = 5. Let a = 88 + b. Is a a multiple of 62?
True
Let b(i) = -8*i**3 + 2*i**2 + i + 282. Is b(0) a multiple of 47?
True
Let q = -549 + 1632. Is q a multiple of 52?
False
Suppose 2*c = -3*c - 2*s + 1158, -s = -5*c + 1146. Suppose -c - 70 = -5*k. Does 15 divide k?
True
Let i(n) = -2*n**3 - 2*n - 3*n**2 + 3*n**3 + 1 + n. Let d be i(3). Is 19 a factor of d*3/(-6) + 18?
True
Let c = 90 - 88. Suppose 10*d - c*d = 16. Is 2 a factor of d?
True
Suppose 2*m = -m - 45. Let g = m - -9. Is 27 a factor of 80 + -2 + (-3 - g)?
True
Suppose 5*r = -r - 24. Let f be 6/r*80/(-24). Is ((-168)/10)/((-1)/f) a multiple of 20?
False
Let y(s) = s**2 - 2*s + 1. Let n be y(2). Let l be (8/6 - n)*21. Suppose 1 = 2*o - l. Is o a multiple of 4?
True
Is 115 a factor of 10/2 + 21*(72 + 2)?
False
Let k(n) = n**3 + 8*n**2 - 8*n - 19. Let l(v) = -v**3 + 7*v**2 - 12*v + 2. Let u be l(5). Does 13 divide k(u)?
False
Let j(g) = g - 4. Let f be j(5). Let w be 278/f + 4 + -2. Does 8 divide (-6)/4 - w/(-16)?
True
Let k = -30 - -129. Does 8 divide k?
False
Suppose 3*l + 445 = 1660. Is 15 a factor of l?
True
Let l(c) = -c**3 + 11*c**2 - 19*c + 6. Let y be l(9). Let a(x) = 31*x**2 + x - 6. Does 54 divide a(y)?
True
Suppose 4*v - 212 = 2*b, 2*b = 2*v + 5 - 115. Suppose -v = -w - 0*t - t, 0 = -5*t - 10. Is 9 a factor of w?
False
Suppose -4*p = 4*i - 28 - 28, -4*p = -2*i + 4. Suppose -2*r = 2*l - i - 52, -4 = 4*r. Is 4 a factor of l?
True
Let z be (-2)/(4/6) - -3. Suppose z = 3*b - 6*b. Suppose 6*n - 3*n - 171 = b. Is n a multiple of 27?
False
Let a(h) = 16*h**2 + 34*h - 38. Does 52 divide a(8)?
False
Let p = 1538 - -712. Is 30 a factor of p?
True
Let n(i) = 3*i**2 - i - 17. Let m(h) = -h**2 + 6. Let k(x) = 8*m(x) + 3*n(x). Is k(7) a multiple of 22?
False
Let s = 5 - -8. Let p = 47 + s. Is p a multiple of 15?
True
Let b be 226 + 2/(-1) - -1. Suppose 3*c = -2*c + b. Let w = c + 44. Is 19 a factor of w?
False
Let d(l) = l**3 - 10*l**2 + 10*l. Let h be d(9). Let o(p) = -p**2 + 15*p - 3. Does 7 divide o(h)?
False
Suppose -34*d - 149 = -13. Suppose -l - w + 6 + 0 = 0, 16 = 2*l + 4*w. Does 19 divide l + 12/d - -91?
False
Suppose 3*l - 2284 = 5*s, 7*s - 2*s = -5*l + 3860. Suppose 0 = -13*x + 9*x + l. Is x a multiple of 41?
False
Suppose -18 + 3 = -3*s. Suppose -s*j + 0*f + 75 = 4*f, -10 = 2*f. Is 7 a factor of j?
False
Let k(f) = 39*f + 194. Is k(4) a multiple of 35?
True
Suppose 2 = -34*k + 32*k. Does 23 divide (3/(-9) - k) + (-656)/(-6)?
False
Suppose 66*y = 61*y + 8255. Does 66 divide y?
False
Is 5 a factor of -4 + (-6 - -16) - -4?
True
Suppose 785 = -13*x + 2579. Is 29 a factor of x?
False
Is 12 a factor of (-1192)/(-12) - -9 - 2/6?
True
Let z be 4/6 + 559/39. Suppose z*a + 338 = 17*a. Does 48 divide a?
False
Let g(n) = n**3 + n**2 + 62. Let b(j) = -2*j**2 - 25*j - 12. Let o = 10 + -22. Let i be b(o). Is g(i) a multiple of 19?
False
Suppose 1435 = -16*b + 21*b - r, 0 = 5*r. Does 18 divide b?
False
Let w be (2 + -3)/((-1)/(-20)). Let b be w/8*(-12)/15. Let u = b + 50. Does 26 divide u?
True
Let v(m) = -m**3 + 15*m**2 - 5*m + 30. Let w be v(12). Suppose -786 = -18*b + w. Does 22 divide b?
True
Let m = 721 - 217. Is 18 a factor of m?
True
Let h = 628 - 251. Does 46 divide h?
False
Suppose 4*x + 5*v = 627, 0*v = -4*x + 3*v + 603. Let f = 159 - x. Is f a multiple of 6?
True
Suppose -15*c + 17*c + 6 = 0. Let y(f) = -50*f - 11. Is 19 a factor of y(c)?
False
Let c(i) = -i**3 + 6*i**2 - 5*i + 4. Let x be c(5). Suppose 2*y + d - 18 = 0, x*y + 5*d = y + 34. Suppose 3*w - 50 = -y. Is 14 a factor of w?
True
Is ((-94)/(-4))/((-23)/(-138)) a multiple of 26?
False
Let g(x) = x + 9. Is 13 a factor of g(13)?
False
Let x = 317 - 137. Suppose -3*r + x = 5*u, 0 = 5*r - r - 20. Does 19 divide (2*u - -1) + -4?
False
Let w = -277 + 651. Is 5 a factor of w?
False
Let j(y) be the second derivative of -3*y**3/2 + y**2/2 - y. Let w be j(-3). Suppose 3*c - 3*s + w = 382, -12 = 4*s. Is c a multiple of 30?
False
Suppose 0 = -8*c - 272 + 2384. Does 8 divide c?
True
Is -836*(-3)/6 - (1 + -5) a multiple of 22?
False
Let i be (54/45)/((-6)/(-1160)). Suppose -601 = 9*t - i. Let q = 97 + t. Is 22 a factor of q?
False
Let i(t) = 51*t**2 - 5*t + 6. Is 48 a factor of i(-6)?
True
Suppose 4*j - 4 = 3*d, -2*j - 2 + 6 = -d. Let a be (-9)/j + (-9)/12. Let m(o) = -6*o - 5. Is m(a) even?
False
Suppose 5*f + 142 = 2*b, 4*b = -4*f + 268 + 16. Let q = b - -28. Is 13 a factor of q?
False
Let a = -1004 + 2362. Is 71 a factor of a?
False
Let v = 405 + -170. Is 19 a factor of v?
False
Let m(c) = 48*c + 10. Let o be m(2). Let b = 154 - o. Does 3 divide b?
True
Let h = 1577 - 722. Does 57 divide h?
True
Is 20 a factor of (520/6)/(7/21)?
True
Suppose 2*p + 3 + 9 = -g, 4*g + 23 = -3*p. Let h = p - -5. Is 8 a factor of (h - -38) + (-2)/(-2)?
False
Let l(f) = 4*f - 1. Let a be l(1). Let g = 50 + -18. Suppose v = -4*r + 39, -4*v - a*r + 85 + g = 0. Is 27 a factor of v?
True
Let w(h) = -2*h**3 - 4*h**2 - 4. Let q be w(-3). Suppose -4*v + 2*v = 0. Suppose v = -x + q + 10. Does 13 divide x?
False
Let n be 3*-1 - (-6 - -14). Let h be 0 + -3 - (n + 2). Suppose 5*b - v - 85 = -h*v, -28 = -4*b + 4*v. Does 6 divide b?
True
Is 32 + -39 - ((-3296)/4)/1 a multiple of 36?
False
Suppose -2*l - 2*l - 12 = -2*t, -3*t = -l - 33. Let s(r) be the first derivative of r**4/4 - 4*r**3 + 3*r**2 + 7*r + 11. Is s(t) a multiple of 18?
False
Suppose -g - 3 + 8 = 0. Suppose -b + g*y - 83 = -2*b, -393 = -5*b - 3*y. Does 13 divide b?
True
Let t = -50 - -117. Suppose -62*f = -t*f + 715. Is 11 a factor of f?
True
Suppose -9*g + 314 = -514. Does 8 divide g?
False
Let x = -32 - -32. Suppose -2*z + 48 = -5*v, -3*z = -x*z - v - 98. Suppose -d + 21 = -z. Is 20 a factor of d?
False
Let y(g) = g**3 - 17*g**2 + 31*g - 18. Let i be y(15). Is 16 a factor of 8*26/(-12)*i?
False
Let l(u) = 9*u**2 + 2*u + 24. Is 20 a factor of l(6)?
True
Let r(j) = -7 + 6 - 3*j + 6*j. Let i be r(-3). Let z(f) = -f + 4. Is z(i) a multiple of 3?
False
Suppose 20*c - 1193 = -p + 17*c, -4*c = -2*p + 2426. Does 11 divide p?
False
Suppose -6*d - 2843 = -8009. Is 69 a factor of d?
False
Let t(r) = 2*r**2 - 3*r + 5. Let m be t(4). Let z = 57 - m. Suppose z = -4*g + 5*g. Is 16 a factor of g?
True
Let l(y) = -y**3 + 11*y**2 + 12*y - 23. Let d be l(11). Suppose -3*s + 11 = -d. Is 36 a factor of s?
False
Suppose 0 = 5*q - 4*c - 7274, -18*q = -21*q + c + 4370. Does 71 divide q?
False
Let i be (-38)/16 - (-39)/104. Let w be (-5)/i*4 - 4. Let y(v) = 8*v + 18. Does 33 divide y(w)?
True
Let h = 10 + -6. Suppose -7*b + 2*b = 2*n - 585, 20 = -h*n. Does 17 divide b?
True
Is 15 a factor of 5/(1 - 348/354)?
False
Is 31 a factor of 1516/20 + (4 - (-76)/(-20))?
False
Suppose -38*d = -40*d + 450. Let f = d + -99. Is 9 a factor of f?
True
Suppose 2*q = 4*t - 12446, 4*t - 18708 = 3*q - 6259. Does 12 divide t?
False
Let l = 310 - 102. Does 16 divide l?
True
Let p(a) = -5 + a**2 - 15 + 39 - 12 + 2*a. Suppose -5*k = m + 47, -3*m - 15 = 4*k + 16. Does 29 divide p(k)?
True
Let t(m) = m - 6. Let k be t(9). Let h be (3 - k/1) + 2. Suppose h*r = 7*r - 100. Is r a multiple of 5?
True
Suppose -4*u - 372 + 372 = 0. Suppose -v - t + 11 = u, 0*t - 7 = -v - 3*t. Does 13 divide v?
True
Suppose 2*y = -2*y + 120. Let k = y + -19. Is k a multiple of 3?
False
Is 18 a factor of (-61 + -14)/15 + -1 + 388?
False
Suppose 104 + 6196 = 21*l. Is 20 a factor of l?
True
Suppose 1 - 2 = -2*l - m, 5*l = -5*m - 10. Suppose 6 + 6 = l*h. Suppose -5*t + 45 = -h*t. Does 15 divide t?
True
Let o = 102 + 162. Does 11 divide o?
True
Suppose 82 = 3*j - 83. Let r = -13 + j. Does 14 divide r?
True
Let f = -930 + 1458. Is 48 a factor of f?
True
Suppose 282 = l + l. Let w = 30 - 27. Suppose w*h + y - l = 0, -4*h + 147 = 3*y - 41. Is 12