59 = 0. Does 13 divide u?
True
Suppose -2*h + 2284 + 4504 = 0. Suppose 4*r + 318 = -5*u + h, -4*r = -5*u + 3084. Does 7 divide u?
True
Let y = 25831 - 22941. Is 5 a factor of y?
True
Suppose -43*c + 12212 = 2*q - 39*c, -4*q = -3*c - 24468. Is 3 a factor of q?
True
Suppose 18605 = -19*n + 24*n + y, n = 3*y + 3705. Does 24 divide n?
True
Suppose -16*x = 1 - 33. Suppose 0 = x*v - 146 - 74. Is 22 a factor of v?
True
Let v = -1658 + 3666. Is v a multiple of 10?
False
Let z(j) = 3*j**2 - j - 5. Let v(s) = -7*s**2 - 1 - 32*s + 10 + 35*s. Let x(f) = 2*v(f) + 5*z(f). Is 8 a factor of x(-6)?
False
Suppose -8*w = -3*w. Suppose -6*b - 319 + 1969 = w. Is b a multiple of 8?
False
Suppose 3*y - 19 = 188. Let c = -65 + y. Suppose -2*h = 3*m - 459, -c*m + h + 612 = -h. Is 32 a factor of m?
False
Suppose -3*x - 2209 + 409 = -3*c, 3*c + 5*x = 1768. Suppose b = -b + c. Let h = b + -138. Does 22 divide h?
False
Let r(k) = -3*k**3 + 88*k**2 + 24*k + 30. Does 19 divide r(20)?
False
Let f = 23 + -41. Let u be 2/3*(-135)/f. Suppose -4*k + 241 = u*w - 55, 2*w + 4*k - 116 = 0. Is w a multiple of 15?
True
Is -4 - 0 - -10 - 72*-162 a multiple of 11?
False
Does 105 divide (-272)/612 + 73556/18?
False
Let q(m) = 33*m**2 + 241*m + 1234. Does 7 divide q(-5)?
True
Let j be (36/15 - 2)/(8/40). Suppose -2*g - 8 = 0, -s - 2*g - j*g - 18 = 0. Is (12/18)/(s/(-282)*1) a multiple of 13?
False
Let u(i) = 10*i - 74. Let x be u(9). Suppose x = 7*t - 47. Does 2 divide t?
False
Suppose 0 = 38*m - 32*m + 6. Does 11 divide 362 + (2 - 2) - (m + -1)?
False
Suppose 5*b - 63711 = 3*k, -63759 = -5*b + 265*k - 268*k. Is b a multiple of 169?
False
Let a = 191 - 190. Let f(b) = -36*b. Let h be f(-1). Let w = h + a. Does 37 divide w?
True
Let y(b) = -25*b**3 + 13*b**2 + 6*b + 3. Is 15 a factor of y(-6)?
True
Let i(h) = h + 3. Let w = 195 - 171. Does 9 divide i(w)?
True
Let k be (-66)/(-77)*84/(-9). Let r = -15 + 46. Let w = k + r. Is w a multiple of 3?
False
Suppose 0 = -3*f - 2*p - 3 - 1, f - 5*p - 10 = 0. Let w = 387 - 227. Suppose f = -i + 165 + w. Is i a multiple of 50?
False
Let d(f) = -f**2 - 4*f + 34. Let u be d(-9). Let y = 54 - u. Let g = -48 + y. Is 6 a factor of g?
False
Suppose -5*m + 5*o + 55 = -0*m, -3*m + 29 = -2*o. Let b(i) = -m + 14 + 11 - i. Is 8 a factor of b(10)?
True
Suppose -25504 = -4*b - 2*n, 2*b - 3*n - 840 - 11912 = 0. Does 16 divide b?
False
Let l(a) = 2*a**3 - 97*a**2 - 86*a + 829. Is l(56) a multiple of 5?
False
Let u(p) = 242*p**2 - 8*p + 5. Let s be u(-6). Is 66 a factor of s/10 + (-3)/6?
False
Let q = 93650 + -51433. Is q a multiple of 205?
False
Let d be 23/(208/42 + (-17 - -12)). Is 15 a factor of ((-18)/99 + d/66)*-42?
True
Does 63 divide (-270)/108 + 57980/8?
True
Let l = 141525 + -85994. Is l a multiple of 36?
False
Let w(l) = 3*l**2 - 9*l + 3. Let g be 21*(-4)/(-6)*2/4. Let z be w(g). Let u = z + 69. Is u a multiple of 26?
True
Suppose -95*u + 887340 - 108910 = 0. Is u a multiple of 34?
True
Is 11 a factor of ((-12)/30 + 142/(-20) + 5)*-9242?
False
Let m = -9780 - -15663. Is m a multiple of 22?
False
Let l = -103 - -100. Is 22 a factor of l/15 - (-2)/(40/3084)?
True
Suppose 797082 = -70*u + 103*u. Is u a multiple of 13?
True
Suppose 26 = -6*u + 8. Is 13 a factor of -1 - (210/4 - u)*-4?
True
Let x = 1351 - -2358. Is 54 a factor of x?
False
Suppose 5*z = 8*z - 30. Suppose z = -k - 13. Let a = -2 - k. Does 4 divide a?
False
Let n(w) = -w**3 - 87*w**2 - 91*w - 5. Does 25 divide n(-86)?
True
Let a = -1381 + 2281. Is a a multiple of 25?
True
Does 332 divide ((-2)/(-1) - (-8 + 11))/((-6)/11268)?
False
Suppose -2*q + 4*h = -45354, -52*h + 113310 = 5*q - 47*h. Is 19 a factor of q?
True
Suppose 3*r - 4*r - u = -537, 0 = 8*r + 4*u - 4280. Is r a multiple of 13?
True
Suppose 295*q - 388*q + 395157 = 0. Is q a multiple of 124?
False
Does 10 divide (4*(-7)/(-14))/((-5)/(-10)) - -466?
True
Suppose 4860 = -10*a + 8010. Is a a multiple of 15?
True
Suppose -2*u + 2*v + 6832 = 0, -32*u - 4*v - 3431 = -33*u. Is 21 a factor of u?
False
Suppose 2*j - j = 4*l + 15, 0 = -2*l. Suppose 2*f = 5*q + 23, -4*q - j = -3. Suppose 5*o - 12 = f*z + 341, -2*z = 4*o - 272. Is 11 a factor of o?
False
Suppose -7*q - 305 = 822. Let n = -148 - q. Is n a multiple of 13?
True
Let d(o) = -126*o - 27. Let y be d(-10). Suppose y = 5*h - 687. Suppose 8*v = 5*v + h. Is v a multiple of 21?
False
Let a(c) = c + 43 - 2*c - 2*c + c. Suppose -4*h + 76 = -2*x, x = 4*h + 281 - 353. Is a(h) a multiple of 8?
False
Let w(o) = o**2 + 14*o + 1. Let s(c) be the second derivative of -c**4/12 - 7*c**3/3 - c**2/2 - 14*c. Let l(i) = 4*s(i) + 5*w(i). Is l(-18) a multiple of 10?
False
Suppose -5*b + 0*d = -5*d - 5, 4*b + 5*d - 40 = 0. Suppose j - 5*q - 290 = 41, -2*q = -b*j + 1678. Does 14 divide j?
True
Let l be -33 + 50 + 4*-1. Is 66 a factor of (-177 + 1)/(-2)*(-1 + l)?
True
Let c(f) = 1287*f - 12879. Is 3 a factor of c(12)?
True
Suppose -g - h = -1678, -316*h + 15 = -311*h. Is g a multiple of 67?
True
Let v(z) = 4*z**3 - 24*z**2 + 12*z - 100. Let d(n) = n**3 - 6*n**2 + 3*n - 23. Let o(u) = 9*d(u) - 2*v(u). Suppose 3*i = 5 + 13. Is o(i) a multiple of 6?
False
Suppose 3*q - 32*x = -28*x + 38832, -10*q = -4*x - 129384. Is 196 a factor of q?
True
Let m(q) = 47*q**2 - 3*q - 10. Let j(g) = -94*g**2 + 6*g + 21. Let a(b) = 6*j(b) + 13*m(b). Is a(-2) a multiple of 19?
True
Let f = 107 - 101. Let x(n) = -7*n - 17 - 5*n + 4*n**2 - f*n. Is 33 a factor of x(11)?
False
Suppose -14*f + 19*f + 6081 = s, 0 = -4*s - f + 24366. Is s a multiple of 28?
False
Let b(k) = 14*k - 65. Let d be b(5). Suppose d*z - 122 - 663 = -4*y, 0 = -4*y - 4*z + 788. Is 5 a factor of y?
True
Suppose 13 = k + 5*v, 0 = 2*k + k + 2*v. Let l be 1 + -1 - (-4 - k). Is 18 a factor of 179 + l + 4/(-4)?
True
Suppose -12*a - 5*r + 0*r = -292992, -r + 122080 = 5*a. Is 16 a factor of a?
True
Suppose -67144 = 3*b - 25*b + 95810. Is b a multiple of 9?
True
Let k(r) = r**3 + 21*r**2 - 27*r - 97. Let a be k(-22). Suppose -a*t = -6*t - 980. Is t a multiple of 10?
True
Let i = 24444 - 24334. Is i a multiple of 11?
True
Let o be (0/5 - -5)*7. Let h = o + 16. Suppose h + 9 = 2*j. Is 6 a factor of j?
True
Let c(a) = 2*a**2 + 11*a - 1. Let z(u) = 11*u + 3. Suppose 4*v + 17 = -5*t + v, 4*t = 3*v + 8. Let i be z(t). Is c(i) a multiple of 10?
False
Let t be (-36 - 0/(-1)) + 2. Let r = t + 40. Suppose 5 = f - r*f, -3*p + 33 = 3*f. Does 11 divide p?
False
Suppose 3*y = -3*p - 0*y + 741, 4*p = y + 983. Suppose p = 2*q - 178. Is q a multiple of 13?
False
Let l = -15571 + 35167. Does 69 divide l?
True
Let a(p) = 22*p**2 + 11*p + 11. Let o(g) = -45*g**2 - 21*g - 22. Let t(w) = -5*a(w) - 3*o(w). Does 20 divide t(3)?
True
Let o = 23 + 4. Let h be (-558)/8 - o/(-36). Let l = -14 - h. Is l a multiple of 5?
True
Let j(c) = c**3 + 4*c**2 - 5*c + 5. Let f be j(2). Suppose 0 = -4*t - 5 - f. Let h(p) = -2*p**3 - 12*p**2 - 8*p - 10. Is h(t) a multiple of 15?
False
Let f be (-9 - 3)/2 + (2444 - 7). Let b = -1313 + f. Is b a multiple of 26?
True
Suppose 0 = -x - 5*b + 5514, -3*x = -254*b + 256*b - 16490. Does 67 divide x?
True
Suppose -555 = -12*t - 13011. Let j = t - -1661. Is 12 a factor of j?
False
Let c = -47 - -18. Let k = c - -35. Is (k/2 + (1 - 6))*-40 a multiple of 10?
True
Suppose -2*t = t - 15. Let i(m) = 3*m**2 - 91*m - 93. Let y be i(33). Suppose 0 = -v, -s + t*v + y - 21 = 0. Is 30 a factor of s?
True
Suppose 4*v + 841 = 113. Let f = v - -350. Is 7 a factor of f?
True
Suppose 5*j = -2*x + 1233, x - 365 = -3*j + 251. Let u = x - 593. Is u a multiple of 8?
False
Let p(b) = -578*b + 717. Is p(-4) a multiple of 14?
False
Suppose -6685 = -4*b + 11*m - 6*m, -3*m = 5*b - 8384. Suppose -2*k = -b + 283. Is 58 a factor of k?
True
Suppose -43*k - 248456 = -862238. Is k a multiple of 4?
False
Let p(g) = -g**2 + 20*g - 61. Let c be p(9). Suppose 53*k = c*k + 1200. Is k a multiple of 30?
False
Let r = 715 - 616. Suppose 639 = 10*c + r. Is c a multiple of 6?
True
Let g be (10/(-20) + 0)*0. Suppose -4*r + t = -4*t - 1334, -r = -3*t - 330. Suppose -3*b = -g*b - r. Is 16 a factor of b?
True
Let d = 169 - 221. Is (d/5)/(118/(-5605)) a multiple of 19?
True
Suppose -2*s + 24 = -2*g, 2*g + 3 = g. Let j(z) = z**2 - 6*z - 20. Let y be j(s). Is 579/7 - (-2)/y a multiple of 11?
False
Is -27*(19/(-76) + (-1246)/8)