r of z?
True
Suppose -2 = 2*y + 4. Let u(i) = -25*i + 10. Let v be u(y). Suppose -5*b + v = 5*a, 2*a + b + 2*b - 33 = 0. Is 9 a factor of a?
True
Does 36 divide (-1)/(-1) + 15 + 776?
True
Let p(o) = 474*o + 117. Is 81 a factor of p(3)?
True
Suppose -19*q + 35*q - 9120 = 0. Does 38 divide q?
True
Let f = 781 - 381. Does 50 divide f?
True
Let u = 25 - 38. Let r = u - -15. Suppose 4*k - 64 = r*k. Is k a multiple of 8?
True
Let m(h) = 2*h**3 - 2*h**2 - h. Let k be m(2). Suppose 2*j + 4*s - 74 = 0, 3*j - 8*j + 120 = -3*s. Is j - 3/((-9)/k) a multiple of 10?
False
Let x = -19 + 16. Let g be (10/x)/((-4)/6). Suppose -a - g*s + 45 = 0, -s - 5 = -0. Is 35 a factor of a?
True
Let p(i) = 4*i**2 - 9*i - 4. Let s be p(3). Suppose -s*g = -3*g - 358. Does 28 divide g?
False
Let x(w) = 350*w + 356*w + 26 - 710*w - 4*w**2 + w**3. Is 8 a factor of x(6)?
False
Suppose k - g = -72 + 1049, 0 = -3*k - 5*g + 2891. Is k a multiple of 27?
True
Suppose 0 = -4*r - 5*f + 2296, 5*f + 2870 = 16*r - 11*r. Is 14 a factor of r?
True
Let f(g) = 22*g - 42. Is 27 a factor of f(4)?
False
Let m = 21 + -12. Let d = m + 75. Does 28 divide d?
True
Let x = 553 - 457. Is x a multiple of 11?
False
Let j(g) = -8*g + 18. Let v(l) = 1. Let b(p) = -j(p) + v(p). Does 12 divide b(9)?
False
Is 17 a factor of (-60)/(-20) - (-32 + 1)?
True
Suppose 0 = 14*d - 18*d - 40. Let y(l) = -l**3 - 11*l**2 - 10*l + 11. Does 3 divide y(d)?
False
Let i = 244 - 164. Is i a multiple of 8?
True
Let x = 96 - 98. Suppose 4*o + 3 = -5. Is o*x/(-6)*-21 a multiple of 7?
True
Let c(n) = n**3 - 4*n**2 - 2*n + 6. Let l be c(4). Let b be l*(180/(-8) - 1). Let v = -28 + b. Is v a multiple of 14?
False
Let y(w) = 3*w**3 - w - 1. Let o be 9/(-7) - (-10)/35. Let n be y(o). Is (n - -2)/((-1)/6) a multiple of 2?
True
Suppose -4*m + 36*u = 32*u - 8444, -5*m + 10562 = 2*u. Is m a multiple of 16?
True
Suppose 5*j - 23398 = -s + 2*s, 0 = -s + 2. Is 15 a factor of j?
True
Suppose 100*k - 1985 = 95*k. Is k a multiple of 6?
False
Let n(j) = -18*j - 162. Is n(-18) a multiple of 13?
False
Suppose 4*m - 3*m - 71 = -5*k, 0 = 3*k + 3. Is m a multiple of 12?
False
Let p(j) = -6*j**3 - 8*j**2 - 16*j + 5. Is p(-4) a multiple of 5?
True
Let t = 83 + -90. Suppose h - 23 = -0*h. Let l = h + t. Does 13 divide l?
False
Suppose 10*j - 15464 = -1214. Is 15 a factor of j?
True
Let n = 89 - -68. Is n a multiple of 17?
False
Let p be ((-3)/2)/((-9)/(-12)). Let j be (0/3 - p) + 156. Let h = -89 + j. Is 23 a factor of h?
True
Suppose 2*s + 1 - 3 = 0. Let x(b) = -b + 1. Let z(g) = -g**3 - 11*g**2 + 15*g + 7. Let n(l) = s*z(l) + 6*x(l). Is n(-12) a multiple of 11?
False
Suppose -g = -2*k + 5741, -g = -3*k + 12477 - 3866. Is k a multiple of 19?
False
Suppose 5*a - 1013 = 107. Is a a multiple of 56?
True
Suppose -c = -g - 39, -3*c - 2*g + 124 = 2*g. Let n(b) = b**3 + 3*b**2 + 2*b - 2. Let v be n(-4). Let l = c + v. Is 7 a factor of l?
True
Suppose -4*h + 6*k - 73 = 3*k, 4*k = h + 2. Let z = h - -24. Suppose -z*d + 0*d = -270. Does 45 divide d?
True
Suppose 2*t = -2*t + 12. Suppose 9 = -6*h - t. Is (h/3)/(1/(-9)) a multiple of 2?
True
Let s(y) = 13*y - 15. Let f be s(-6). Let c = 177 + f. Does 12 divide c?
True
Suppose -u - l + 436 = 2*l, u - 4*l = 443. Suppose u + 51 = 7*b. Is 14 a factor of b?
True
Suppose 0 = -3*v + 9361 - 961. Does 70 divide v?
True
Suppose 0 = 12*p + 605 - 5657. Suppose z + 290 = 2*y, -2*z = -3*y - 4*z + p. Does 13 divide y?
True
Suppose -5*u + 1 = -4, -4*s + u + 191 = 0. Suppose 0 = -2*h + 5*x - 60, 120 = -4*h - 3*x - x. Let a = h + s. Is a a multiple of 7?
False
Suppose -2*v = -4*g + 12, -2*v = 4*g - 7 + 3. Let n(j) = j + 9. Let q be n(-13). Does 3 divide (-56)/q + (1 - v)?
False
Let x be ((-6)/(-12))/((-3)/18). Is -2 - -117 - -2 - x a multiple of 30?
True
Let r = 5 + 1. Suppose 99 = f + 3*a, f - r*a + a - 83 = 0. Suppose 0 = 3*q - 0*q - f. Is 16 a factor of q?
False
Let w = -16 + 160. Is w a multiple of 8?
True
Let s(v) = v - 10. Let u be s(6). Let z(n) = -n - 5. Let h be z(-3). Is 13 a factor of 91*(3 + (u - h))?
True
Let v(b) = 3*b**2 - b - 2. Let s be v(-1). Suppose -s*q = -4 - 0, -129 = -o - 2*q. Is 24 a factor of o?
False
Let m(w) = w**3 + 4*w**2 + w + 429. Is m(0) a multiple of 33?
True
Suppose 2*s = 3*o - 506, -4*s + 500 = 3*o - 0*o. Let v = o - -79. Is v a multiple of 19?
True
Let h(z) = 2*z**2 + 29*z - 124. Is 55 a factor of h(-29)?
False
Suppose -7*o + 18*o - 6336 = 0. Is o a multiple of 20?
False
Let k = 79 - 234. Is (-2 - -1)*-1 - k a multiple of 12?
True
Is 3 a factor of 162/8 - (-30)/40?
True
Let h = 397 + 179. Is h a multiple of 18?
True
Let v(k) = 4 - 26*k + 1 - 4. Let z be v(-1). Let h = 45 - z. Does 9 divide h?
True
Let n(a) = 6*a - 1. Let y be n(1). Suppose -2*w - 7 = y. Does 18 divide 320/6 + w/(-9)?
True
Let j(f) = -30*f**3 + 2*f**2 - 2*f - 3. Let t be j(-2). Suppose -6*r + t = -3*r. Is 12 a factor of r?
False
Let q(z) = 30*z**2 + z - 2. Let a(t) = t**2 - 10*t + 11. Let s be a(9). Is 12 a factor of q(s)?
True
Let z(j) = 44*j**2 + 4*j**3 - 18*j - 6*j**3 - 74*j**2 - 36. Does 18 divide z(-15)?
True
Let c be (-2)/(2/(-759)*3). Suppose -u = 4*r - c, r - 5*u - 42 = 37. Is 16 a factor of r?
True
Let m = 470 - -554. Is 57 a factor of m?
False
Let n = -8 + 12. Let u be 3 - -3*n/(-4). Suppose -g + 2 = -u, -4*f = -2*g - 308. Is f a multiple of 26?
True
Let a(o) = -o**3 + 6*o**2 + 6*o + 3. Let m(u) = -u**2 - u - 1. Let i(c) = a(c) - 3*m(c). Does 19 divide i(8)?
False
Is 3388/(-66)*(-345)/10 a multiple of 32?
False
Suppose -15 = 4*i - 7*i. Suppose -4*a + 25 = 5*d, 5*a - i*d = -d + 21. Suppose 0 = -j + 2*j - 1, -224 = -a*x + j. Does 8 divide x?
False
Let d(p) = -50*p - 3. Let g be d(-6). Let t = -81 + g. Does 24 divide t?
True
Let b(p) = -p**3 + 5*p**2 - 4*p + 5. Let d be b(4). Suppose -x + 2*m = 4*m + 3, d*m + 35 = 3*x. Suppose -4*g = -2*q + 13 + 15, -x*q + 28 = 4*g. Does 4 divide q?
True
Let x(o) = -o**2 - 32*o - 39. Does 8 divide x(-21)?
True
Suppose -17*k - 110 = -19*k. Let w = 79 - k. Is 24 a factor of w?
True
Suppose 4*a + 0 = 8. Let d = 127 + -122. Suppose 4*j - b - a*b = 190, 2*b - 249 = -d*j. Does 23 divide j?
False
Suppose o - 4*k + 0*k + 8 = 0, -20 = -4*k. Let d be (12/5)/(o/1760). Suppose -3*y + 0*p + d = -p, 4*p = 20. Is 26 a factor of y?
False
Let j(r) be the third derivative of r**5/60 - r**4/4 + r**3 - 3*r**2. Let q be j(5). Does 4 divide 12/4 - (-3)/q?
False
Let z(d) = -3*d - 16. Let o be z(-7). Suppose -28 = -2*m - 4*c, -82 = -o*m - 3*c + 2. Is 6 a factor of m?
True
Let b(v) = -16*v - 13. Let q be b(-8). Suppose 3*t - 74 = q. Does 9 divide t?
True
Let p(y) = 13*y - 48. Suppose 2*f - 5*f + 2*c + 29 = 0, -f + 3*c + 12 = 0. Is p(f) a multiple of 31?
False
Suppose 0*r + 5 = -5*r. Let a be ((-60)/14)/(r/7). Let g = -17 + a. Is g a multiple of 13?
True
Let n be -1 - -2 - (1 + 4*20). Is 9 a factor of ((-99)/44)/(2/n)?
True
Suppose -5*x = -4 - 16. Suppose -f + 8 = -x*p - 3*f, 3*p - 3*f - 12 = 0. Suppose -2*o + g + g + 32 = p, 3*g - 12 = -o. Is o a multiple of 15?
True
Let u = -3433 - -5789. Is 60/16 + -4 + u/16 a multiple of 21?
True
Let q be 7/(1/(-2 - -1)). Let f(v) = 12*v**2 - 3*v - 8. Let d be f(q). Is 19 a factor of (-8)/(-36) - d/(-9)?
False
Let w = -17 - -9. Let u be -4*2/w + -1. Suppose -s - l + 26 = 0, 3*l + u - 34 = -s. Is 10 a factor of s?
False
Let v = 105 - -67. Is 12 a factor of v?
False
Is (-833)/(-2) + (-3 - 63/(-18)) a multiple of 3?
True
Let k = 603 + -122. Is 20 a factor of k?
False
Let f(z) = -5*z**2 + 10*z**2 + 5*z**2 + z**2 + 7*z. Is f(3) a multiple of 12?
True
Suppose 2*o - 10 = -3*o. Suppose k + s = 9, 2*k + 3*s = o*s + 13. Does 4 divide k?
True
Let z(h) = 32*h**2 - 11*h - 45. Does 12 divide z(9)?
True
Suppose -5*x - 25 = 0, -3*s + 3*x = -10 - 11. Let y be (270/(-3) - 2)*s. Is 10 a factor of (y/(-2))/(6 - 4)?
False
Suppose -13*c = 678 - 3226. Is 2 a factor of c?
True
Suppose 12*q = q + 638. Is 53 a factor of q?
False
Suppose 0 = 3*f - 6*f + 171. Suppose -f = -w + 120. Does 11 divide -4 + 4/(12/w)?
True
Let c(l) = 9*l + 6. Let n be c(8). Suppose -n = 3*w + 117. Let i = w + 135. Does 14 divide i?
True
Let a(s) = s**3 - 7*s**2 - 8*s - 8. Let h be a(8). Let b be 30/1 - h/4. Suppose 5*q = 3*r - 6, -5*r + b = -q - 0. Is r even?
False
Let u = 28 + -23. Suppose 5*x = -2*k + 21, u = -3*x - 2*k + 