 of 12?
True
Suppose 134 + 32 = 4*y + r, 5*r = -y + 32. Suppose -d - 93 = w + w, w = d - y. Is (-702)/w*(-20)/(-6) a multiple of 13?
True
Suppose -13*o = -16*o - 5*b + 56, o - 20 = -2*b. Is 6 a factor of o?
True
Let y = -18 - -6. Let r = y - -19. Let h = 24 - r. Is 13 a factor of h?
False
Let d = -167 - -185. Does 2 divide d?
True
Let h be (-5 - -4) + 138/((-3)/(-3)). Suppose 5*u + h = 427. Does 8 divide u?
False
Let g(y) = 380*y**2 - 24*y + 24. Does 4 divide g(1)?
True
Suppose 0 = -5*f + j - 7, 0 = 3*f - 5*j - 13 + 4. Is 9*(-3 + (f - (-59)/3)) a multiple of 6?
True
Suppose -2*w + m + m = -82, 0 = -2*w - m + 79. Suppose 0 = -4*a - 2*q + 46, 5*a - 15 = -3*q + w. Is a even?
True
Suppose 5*g - 2*x - 19 = 0, -16 = 2*g - 7*g + 3*x. Suppose g = -3*o + 5*u, -4*o = -2*o + 3*u - 22. Is o even?
False
Let k = 13263 + -9399. Does 14 divide k?
True
Let n be (108/(-90))/((-6)/(-20)). Let i(y) = -3*y**3 + 14*y - 8. Is 7 a factor of i(n)?
False
Let x = 4808 - 2836. Is x a multiple of 29?
True
Let c = 167 + 553. Is c a multiple of 24?
True
Does 51 divide 12/((-3)/(-1)) - (-2755 + 5)?
True
Suppose 17 + 11 = 4*v. Suppose -2*j + 396 = v*j. Is j a multiple of 22?
True
Let l(o) = -o**2 - 12*o + 7. Let b be (-19)/(-2) + (-4)/8. Let r(c) = -5*c**2 - 48*c + 28. Let d(s) = b*l(s) - 2*r(s). Is d(12) even?
False
Suppose 4215 = 7*p + 715. Does 4 divide p?
True
Does 4 divide 10/12*10*9?
False
Suppose -3*o = 3*w - 0*w + 342, 2*w + 3*o + 229 = 0. Let c = 236 - 77. Let m = c + w. Is 9 a factor of m?
False
Let p(n) = -12*n**3 + 2*n**2 + 3*n + 1. Let g = 111 - 113. Does 9 divide p(g)?
True
Let m = -26 - -14. Let a be (-4)/(m/(-9)) + 47. Is 10 a factor of (a/(-6))/(20/(-90))?
False
Suppose -6420 = -2*q + 2*s, -7 = 3*s + 2. Does 35 divide q?
False
Suppose 2*k = -x + 32, 2*x = k - 3*x + 6. Let f = 3 - k. Let b = f + 36. Is 6 a factor of b?
False
Suppose 3*l = -r + 113, 3*l + 3*r - 119 = -r. Is l a multiple of 4?
False
Suppose -628 = -0*b - 4*b. Suppose 511 = 3*k + b. Is 11 a factor of k?
False
Let o(r) be the second derivative of -r**4/12 - 7*r**3/3 + 14*r. Is 3 a factor of o(-11)?
True
Is (28/(-35))/(14/(-23800)) a multiple of 34?
True
Let b(h) = h**2 - h - 1. Let s be b(2). Let r(c) = c**3 + 3*c**2 - 6*c - 2. Let j be r(-4). Suppose -j*m + s = z - 2*m, -z = -3*m - 29. Does 17 divide z?
True
Let p = 892 + -522. Let t be p*(0 + (-2)/(-5)). Let c = 209 - t. Is c a multiple of 14?
False
Suppose 15*f = 19*f - 5*j - 13228, f = 2*j + 3304. Is f a multiple of 46?
True
Suppose j - 2*j + 5*c + 8 = 0, 0 = 4*j + 2*c - 32. Let f(a) = 4 + 10*a**2 - 6 - a**3 + 2*a - j*a + 0*a. Does 7 divide f(9)?
False
Suppose 17*j = 33597 - 8131. Is j a multiple of 19?
False
Suppose 3*t = q + 772, -8 = 5*q - 33. Does 13 divide t?
False
Is 7 - 1*(2 + 0) a multiple of 3?
False
Suppose -11*x + 19 = 129. Is 18 a factor of (-5)/(6 - 31) - 3258/x?
False
Suppose 0 = 2*t - 5*c + 1, 2*t + 2*t + 17 = 5*c. Let h = 8 + t. Suppose h = -u + 4*u - 42. Is 10 a factor of u?
False
Let l(a) = 5*a**2 + 7*a + 26. Does 13 divide l(-8)?
False
Let y(z) = 1641*z**3 + 4*z**2 + 13*z - 15. Is 59 a factor of y(1)?
False
Suppose -o - 12*u + 16*u = -1193, 4*o - 5*u = 4739. Is 38 a factor of o?
False
Let m(o) = 12*o**3 - o**2 + 2*o + 2. Let c be m(-1). Is c/(1 + -3 + 1) a multiple of 4?
False
Suppose 6 = -8*d - 82. Let r = d - -146. Is r a multiple of 15?
True
Suppose -2*m = 5*b + 23, -m = -5*m + 4. Is 9 a factor of 5/(b/(-3))*3?
True
Suppose 4*x + 7*j - 3*j - 476 = 0, 0 = 5*j. Suppose x + 305 = 8*q. Is 7 a factor of q?
False
Suppose -3*i + 290 = -334. Is 52 a factor of i?
True
Suppose 0 = -4*i + 3*a + 1005, 324 = -4*i - 4*a + 1364. Does 15 divide (15*-1)/((-17)/i)?
True
Suppose 0 = -f - 3*f + 136. Is 4/18 + (-1)/((-9)/f) a multiple of 3?
False
Let z(p) = 4*p - 16. Let h(j) = -2*j**2 + 7*j - 10. Let w be h(5). Let m = -17 - w. Is z(m) a multiple of 9?
False
Let d(n) = -6*n**3 - n**2 + n - 1. Let w be d(-3). Suppose 3*t = 3*y + 2*y - 253, t - w = -3*y. Is y a multiple of 9?
False
Suppose 0 = -4*c - c - o + 7604, -5*c + 7596 = -o. Does 20 divide c?
True
Is 41 a factor of (-20)/(-8)*(-5)/((-25)/4262)?
False
Suppose 4*h = 2*h + 3*l + 1578, -4*l - 3959 = -5*h. Suppose -7*b + 2*b = -h. Is b a multiple of 11?
False
Suppose 4*f - 2*y - 446 = 1520, 3*y + 1961 = 4*f. Is 49 a factor of f?
False
Suppose -5*d - 7 = 118. Let q = 392 - 377. Let x = q - d. Is 18 a factor of x?
False
Let y(f) be the third derivative of 5/3*f**3 + 0*f - 1/4*f**4 + 0 + f**2. Does 18 divide y(-7)?
False
Suppose -3*z = -2*i + 791, 4*i + 0*z = z + 1587. Suppose 13*b - i = 1371. Is b a multiple of 37?
False
Suppose 2*m - 3326 = -4*b + 2708, b - 1509 = -m. Does 13 divide b?
True
Does 4 divide (-47 - -118) + (-6)/2?
True
Let o be ((-11)/22)/(1/(-138)). Let y = o + -45. Is y a multiple of 6?
True
Let y be 6/10 - 360/(-25). Suppose 80 = -13*d + y*d. Does 5 divide d?
True
Suppose 12 = -3*d - 3*w, 0 = 5*d - 0*w + w + 4. Suppose 2*f - 13 = -o - f, 2*o + 5*f - 29 = d. Does 22 divide o?
True
Let s = -31 + 1. Let d be s/(-20) - 10/(-4). Suppose 0*m + 50 = 2*o + d*m, 3*o - 2*m = 83. Is 9 a factor of o?
True
Suppose 2*j = -3*c + 115, 3*c - 5*c = -4*j - 66. Suppose 5*l - 4*t + 59 = -0*l, -3*l = -4*t + c. Let h = l - -22. Does 9 divide h?
False
Let w(r) = 4*r + 3. Let g be w(3). Suppose -4*a = -a + 5*h + g, a + 3 = -h. Is 22 a factor of (6 - 7) + (45 - a)?
True
Let b = 9 + -6. Suppose b*l = -2*l + 560. Let u = l + -13. Is u a multiple of 21?
False
Let m(g) = 4*g - 22. Let t be m(7). Suppose -t*b + 76 = -2. Is b a multiple of 4?
False
Suppose -28*b + 9*b + 34048 = 0. Is 112 a factor of b?
True
Let n(g) be the third derivative of g**6/60 - g**5/15 + g**4/24 - g**3/6 + 3*g**2. Let t be n(4). Let m = t + -24. Is m a multiple of 13?
False
Let n be (-2)/(-4) - (-1614)/12. Suppose -70 = -5*x + n. Is x a multiple of 8?
False
Let x(f) = 5*f**2 + 3 - 2*f**2 - 3*f - 2*f**2 - 12. Is x(-5) a multiple of 22?
False
Suppose 0 = -5*j - 4*j + 1098. Suppose 3*t + 4*a - 147 = a, -2*t + j = -4*a. Is 23 a factor of t?
False
Let a = -41 - -40. Let q(w) = -176*w + 3. Does 13 divide q(a)?
False
Suppose 39 = 5*z - 216. Let g = -23 + z. Does 28 divide g?
True
Let n(g) be the second derivative of -47*g**3/2 + g**2 + 8*g. Does 11 divide n(-1)?
True
Suppose -6*q = -2*q - 12. Suppose 0*c = q*c. Suppose c = x - 14 - 36. Is x a multiple of 18?
False
Suppose 3*d = -5*s + 66, 0*d - s = -3*d + 48. Let m = -1 - 1. Let w = m + d. Does 5 divide w?
True
Is 8 a factor of (3/(-6))/((-5)/220*2)?
False
Let u = -9 - -25. Suppose -u*n + 4283 = 1499. Is 19 a factor of n?
False
Let v(g) = g**2 + 12*g + 19. Let h = -81 - -69. Is 19 a factor of v(h)?
True
Suppose -z + 5*s = 3*s - 527, 2*z - 1044 = 2*s. Does 47 divide z?
True
Suppose 22 = 5*y - 4*z - 19, 2*z = y - 13. Suppose 0 = 5*t + 4*o - 440, -4*t - y*o = -432 + 80. Is t a multiple of 11?
True
Let k(i) = -2*i**3 + 30*i**2 - 11*i + 4. Does 46 divide k(12)?
True
Suppose -x + 4 = 2. Let m(k) = 2*k - x - 2 - 6. Does 2 divide m(8)?
True
Let j = 222 - 162. Does 4 divide j?
True
Let k = -52 - -60. Suppose k*l - 33 = 287. Is 19 a factor of l?
False
Suppose 4*i + 3*w = 849, 5*w + 158 = 4*i - 731. Is i a multiple of 36?
True
Let n be 6/(-4)*((-280)/6 - 6). Suppose -5*l - 119 = -3*k + 6, 2*k = -l + n. Does 5 divide k?
True
Suppose 1158 = -6*u + 84. Let t = 253 + u. Is 10 a factor of t?
False
Suppose -3*g - 3*o + 8910 = 0, 0 = -g + 4*o + 2404 + 556. Is g a multiple of 53?
True
Let y = -24 - -26. Suppose -1 + 17 = y*n. Suppose -n*w - 222 = -11*w. Is w a multiple of 37?
True
Suppose -85*n = -55*n - 7410. Is n a multiple of 4?
False
Let d(q) = 4*q**2 - 43*q + 11. Is d(13) a multiple of 16?
True
Let t = 476 - 302. Is t even?
True
Let b be (-985)/2*24/(-15). Suppose g - 5*g = -b. Suppose m = 5*a - g, -119 = -3*a - 0*a + m. Does 11 divide a?
False
Suppose 5*x = -25, -2*x = -2*q - 6*x - 8. Let s = q - 7. Let f(o) = 8*o**2 - 1. Does 7 divide f(s)?
True
Let a(k) = 3*k**3 - 33*k**2 + 13*k - 87. Let l(w) = 5*w**3 - 49*w**2 + 19*w - 131. Let t(r) = 8*a(r) - 5*l(r). Is 27 a factor of t(-20)?
False
Let q(w) = -182*w**2 - 2*w - 2. Let y be q(-1). Is 24 a factor of (y/5)/(70/25 + -3)?
False
Let j = -224 - -474. Is j a multiple of 25?
True
Let r = 16 - -248. Suppose 6*d - 10*d + r = 5*x, 3*d = 2*x - 124. Is 4 a f