iple of 10?
True
Let a be 1/(5*1/70). Let o(p) = -5*p + 6. Let c be o(a). Let y = 120 + c. Is y a multiple of 14?
True
Let t = 4616 - 2708. Is t a multiple of 9?
True
Let j = -12 - -14. Let s(x) = -2*x + 7*x**j - 6 - x + x**3 - 3. Does 6 divide s(-7)?
True
Suppose -6*l + 153 = -3*l. Let b be (4 - 2 - -1) + l. Suppose 0*h - 3*h + 5*u = -155, h - b = 4*u. Is h a multiple of 10?
True
Suppose -4*u = -16 - 44. Let l be -2*(u/(-2))/(-5). Let n(d) = -5*d - 9. Is n(l) a multiple of 2?
True
Suppose -27 = -6*l + 3. Suppose -4*k = 5*a - 1, -3*a = -l*k + 15 + 14. Does 27 divide (-2)/k + 1469/26?
False
Let y be 15*2*3/9. Suppose 9*m + 52 = y*m. Suppose -m = -2*t - 0*t. Is 13 a factor of t?
True
Suppose 8*t = -20*t + 3388. Is t a multiple of 11?
True
Suppose -2*f = -5*b + 15, -3*b - 5*f + 12 = b. Suppose b*v = 2*j + j + 162, 5*v = -2*j + 270. Is v a multiple of 18?
True
Suppose -q = q - 10. Suppose q*v = 4*i + 1001, -3*v + 832 - 230 = -i. Is v a multiple of 41?
False
Let l = -126 - -198. Is 26 a factor of l?
False
Does 5 divide ((-78)/(-8))/((-147)/(-11956))?
False
Let z(i) = i + 13. Let h(m) = -m**2 + 10*m - 9. Let k be h(8). Suppose -2 = q + k. Is z(q) a multiple of 4?
True
Let a(t) = 3*t + 19. Let y be a(-7). Let o be 20/(-30)*12/y. Suppose -j + 46 = 4*f, j - o*f - 98 = -12. Is j a multiple of 22?
True
Suppose -b = -17 - 112. Let y = -86 + b. Suppose -2*t + 216 = 5*q, -3*t + y = q + 5. Is 11 a factor of q?
True
Suppose -5*j - 3*h - 5 = 0, 4*h + 0*h = 0. Is 20 a factor of (-928)/(-10) - 6 - j/5?
False
Suppose -17*z = -11*z - 432. Does 18 divide z?
True
Let z = 11 + -11. Suppose z = -u + 56 + 91. Is 32 a factor of u?
False
Let u(r) = 14*r**2 - r + 2. Let w(n) = -3*n + 10. Let l be w(4). Is 20 a factor of u(l)?
True
Suppose 4*l - 263 = -71. Let o = l - 19. Is o a multiple of 29?
True
Suppose -3*v + 3423 = 4*l, 4*v - 520 + 3081 = 3*l. Is l a multiple of 9?
True
Let a be (-10)/(-4) - 2/(-4). Let x = 47 - 44. Suppose x*v = -a*w + 45, -8 + 20 = 4*w. Is 3 a factor of v?
True
Let t = -33 - -153. Does 6 divide t?
True
Suppose -3*n + 2340 = 2*n. Suppose 0 = -5*a + 132 + n. Does 15 divide a?
True
Let r = -146 - -150. Suppose -73 = -n - 3*k + 72, -608 = -r*n - 5*k. Is 8 a factor of n?
False
Let d = 3178 - 2235. Does 23 divide d?
True
Let x = -78 + 15. Let v = 147 + x. Does 44 divide v?
False
Does 10 divide -3 + (277/3 - (-4)/6)?
True
Suppose 0 = -0*t - t - 3*j + 858, -2*t = -4*j - 1736. Does 32 divide t?
True
Let o(p) = p**3 + 3*p**2 + 6. Let b be o(-3). Suppose t = 2*z, -t + b*t - 3*z = 0. Let i = 36 + t. Does 9 divide i?
True
Let j be 1/((-2)/(-30)*-3). Let t = 77 - j. Is 41 a factor of t?
True
Suppose -7*u = -541 - 243. Is 8 a factor of u?
True
Let o = -635 + 897. Is 18 a factor of o?
False
Is 78 a factor of 2*1090 - (3 + 12 + -19)?
True
Let t = -13 - -28. Let y be ((-12)/t)/((-1)/90). Let d = 132 - y. Is d a multiple of 20?
True
Let j be -2 + (4 - 6)/(-1). Suppose j*y + 8 = l - 2*y, 3*y = 12. Suppose -44 = -2*q - l. Is 7 a factor of q?
True
Suppose 2*j - 12 = -2*j. Suppose -j - 17 = -5*b. Suppose 72 = b*y - 4*p, -2*y = -4*p + 6*p - 28. Is 8 a factor of y?
True
Suppose -11 = -4*v + 17. Suppose 0 = -y + 2*i - 4*i + 4, 6 = 3*y + 3*i. Let d = v + y. Is d a multiple of 4?
False
Let a(r) = -r**3 + r + 1. Let k(x) = x - 20. Let d be k(14). Is 21 a factor of a(d)?
False
Let l(x) = -2*x. Suppose 2*m - 13 = h, -38 = -5*m - 4*h + h. Let j be l(m). Is -16*1*j/28 a multiple of 2?
True
Suppose -5*j + 319 = -4*j - 3*z, 0 = -3*j + 5*z + 937. Does 5 divide j?
False
Suppose -5*x + 3*q - 599 = -6*x, 3*x - 5*q = 1853. Does 13 divide x?
True
Let g = -97 + 102. Suppose -3*h + g*p = -h - 81, -2*h + p = -93. Is 6 a factor of h?
True
Suppose 0 = -5*l + 4*p + 6224, -7*l + 5004 = -3*l + 3*p. Does 37 divide l?
False
Let l = -7 - -10. Suppose -w - 5*v = -63, -l*w - 3*v + 139 = 2*v. Does 19 divide w?
True
Suppose 3*z - 2*r + 0*r - 26 = 0, -3*z + 28 = -r. Does 36 divide (-2)/z - 4844/(-70)?
False
Suppose 0 = -0*m + m - 5*r + 4, -4*m + 5*r - 91 = 0. Let b = 44 + m. Is b a multiple of 5?
True
Suppose -5*s = -4*i - 3*s - 6, 5*s = -4*i - 27. Let c(l) be the first derivative of 8*l**3/3 + 101. Does 11 divide c(i)?
False
Suppose -14 = f - t + 12, 8 = 2*t. Let c be ((-12)/10)/(f/55). Is 4 a factor of -3*(2 + (-18)/c)?
True
Let l = -598 + 1128. Is l a multiple of 53?
True
Let h be (7/2)/(3/(-6)). Let v = h - -29. Let p = -18 + v. Does 4 divide p?
True
Let l = -71 + 73. Suppose -46 = -m - 3*g, -10*m + 5*m + l*g + 230 = 0. Does 7 divide m?
False
Suppose 65 = -2*n + 209. Is n a multiple of 36?
True
Let d(n) be the second derivative of n**3/6 + 18*n**2 - 12*n. Does 9 divide d(0)?
True
Suppose 16*c - 3*c = 1196. Is 8 a factor of c?
False
Let l = -302 - -401. Is l a multiple of 9?
True
Let x(g) = -137*g - 19. Let y be x(-1). Let s be (-3)/(-2)*4/3. Suppose -s*c = -5*t + 475, 593 - y = 5*t - c. Does 19 divide t?
True
Suppose 3*q - 2*i = 14 - 1, 0 = -q - 4*i + 9. Let x be 1/(6/15)*4. Suppose 0 = -q*k + x*k - 35. Does 7 divide k?
True
Does 75 divide (-3 + -2)/5*75*-30?
True
Let x(y) = y**2 + 4*y - 7 - 3 + 0. Let d be x(-5). Is (-1)/((20/132)/d) a multiple of 11?
True
Suppose -3*j + 2*j = -190. Suppose -2*i - j = 3*i. Let l = -23 - i. Is 15 a factor of l?
True
Does 37 divide 55250/150 - 2/6?
False
Suppose -10*g + 12*g = -558. Let h = g - -399. Is 24 a factor of h?
True
Let p(b) = -b**2 + 9*b + 2. Let c be p(8). Suppose z = 6*z + 5*s, 0 = z + 3*s + c. Does 16 divide (z - (-1 - -4)) + 94?
True
Let z(a) = a**2 + 3*a + 10. Let j(i) = i + 15. Let h(u) = -u**2 + 5*u - 2. Let m be h(6). Let s be j(m). Does 20 divide z(s)?
True
Is -6*8/(-12) - -2 a multiple of 2?
True
Let g(j) = -72*j - 42. Does 35 divide g(-23)?
False
Let l = 3 + 0. Let h(k) = -3*k + 4*k**l - 3*k**3 - 5*k + 0 - 4*k**2 + 2. Is 4 a factor of h(6)?
False
Let j = 151 + -82. Let y = j - 3. Is y a multiple of 11?
True
Let s(u) = u**2 + 8*u - 4. Let g be s(-10). Suppose f = -3*b + g + 14, 0 = 2*f. Does 8 divide b?
False
Suppose 2*z + 264 = 4*c, -4*c = -3*z - 61 - 331. Let f = -68 - z. Is 11 a factor of f?
False
Let p(q) = 2*q**2 + 14*q + 4. Suppose -i = 6*i + 77. Is 9 a factor of p(i)?
False
Let n(b) = b**2 - 2*b - 3. Let j be n(4). Suppose 2*x - 42 = 4*t, -x + 0*t + 30 = -j*t. Is 6 a factor of x?
False
Let y(v) be the first derivative of v**4/4 + 7*v**3/3 - v**2/2 + 3*v + 1. Let n(i) = 3*i - 10. Let a be n(1). Is y(a) a multiple of 5?
True
Suppose -61*i = -45*i - 53760. Does 16 divide i?
True
Let o = 2 - -2. Let q be 93/(-5)*(-5)/1. Suppose -o*h = -h - q. Is 9 a factor of h?
False
Let u be ((-3)/(-6)*276/(-6))/(-1). Suppose -u*o + 6840 = -4*o. Does 45 divide o?
True
Let w(u) = -u**3 - 10*u**2 - 10*u - 13. Let s be w(-9). Is (1 - s) + -3 + 19 a multiple of 7?
True
Is 990/21*(-280)/(-60) a multiple of 11?
True
Let n be (-1)/(1/5) - 1. Is 8 a factor of (n + 5)*(-46)/1?
False
Let w = 179 + -309. Let z = -6 - w. Is 31 a factor of z?
True
Suppose 8*f - 54 = -6. Let x = -3 - -18. Suppose -x*y = -12*y - f. Is 2 a factor of y?
True
Let q(a) = a + 11. Let b be q(-9). Suppose -2*d + 90 = 5*w - 7*d, w - b*d = 15. Does 7 divide w?
True
Suppose -3*q + 7*q - 204 = -c, -q - 4 = 0. Is 5 a factor of c?
True
Let t(o) = -4*o**2 - 4 + 11*o + 2*o**2 + o**2. Does 24 divide t(7)?
True
Let m(y) be the second derivative of -13*y**3/2 - y**2 + 13*y. Is 19 a factor of m(-2)?
True
Let d = 2 - -1. Suppose -d*q + 7*q = 0. Is q - 1 - (-14 - -1) a multiple of 12?
True
Let z be (-2)/12 + (-10344)/144. Is 15 a factor of (96/z)/((-4)/390)?
False
Suppose 10*m - 162 = -32. Let g = m + 39. Is g a multiple of 15?
False
Is 24 a factor of (1 - (-166)/5)*80/6?
True
Let n(p) = p**3 + 9*p**2 - 4*p - 16. Suppose 2*w + 9 = w. Is n(w) a multiple of 7?
False
Suppose -3*v - 2*j = -3603, v - 358 - 835 = 2*j. Is v a multiple of 11?
True
Does 14 divide 752/(-658) - 2466/(-14)?
False
Suppose 21*x - 7097 - 8884 = 0. Does 5 divide x?
False
Let w = -29 + 32. Let k = 51 - w. Is k a multiple of 6?
True
Let y(d) = -d**3 - 21*d**2 - 102*d - 10. Is y(-16) a multiple of 18?
True
Suppose 3*s - 259 = -133. Is 14 a factor of s?
True
Let n(i) = 10*i**2 + 2 + 1 - 4. Let x(a) = -a + 5. Let c be x(7). Is 13 a factor of n(c)?
True
Let n = -823 - -1151. Is 9 a factor of n?
False
Suppose -7*k - 4598 = -18*k. Does 38 divide 