r of w?
True
Suppose 0 = -5*u + 4 + 6. Suppose m + 4*t = 4, u*m - t - 8 = -2*t. Suppose 2*o = -m*c + 4*o + 128, 32 = c - 5*o. Is c a multiple of 6?
False
Suppose 32166 = 4*y - v, -y = -2*y - 3*v + 8035. Is y a multiple of 87?
False
Let v(y) be the third derivative of y**5/30 - 5*y**4/24 - 7*y**3/6 + 6*y**2 - 4. Is v(-18) a multiple of 17?
True
Is 84 a factor of (-11 - -1)*(4959/(-38) + 5)?
False
Suppose -8*b = -4*b + 2*z - 10144, -4*z - 2545 = -b. Suppose -b = -6*a + 343. Does 63 divide a?
False
Suppose 3*c - 89*h = -88*h + 30421, -h = c - 10147. Does 21 divide c?
False
Let o(i) be the third derivative of -i**6/60 + i**5/30 + 2*i**4/3 + 3*i**3/2 + 17*i**2. Is 7 a factor of o(-4)?
True
Let d = 319 - 319. Suppose -5*y + 2*v + 559 = -2*v, d = -2*v + 8. Is y a multiple of 4?
False
Let c = -34 - -19. Let q(f) = -29*f - 75. Does 30 divide q(c)?
True
Let i(r) = -r**3 - 7*r**2 - 8*r - 1. Let z be i(-10). Suppose 0 = -8*t + z + 293. Suppose 5*a - t - 96 = 0. Does 9 divide a?
True
Suppose 0 = p - 1, -31*q - 913 = -33*q - p. Suppose -46*w + 48*w = -3*i + q, w = -4*i + 233. Is w a multiple of 26?
False
Suppose -63*s + 108*s = 21263 + 95332. Is 9 a factor of s?
False
Suppose 20 = -5*i, 2*i - 597 = w + 4*w. Suppose 0 = -11*l - 724 + 3540. Let u = w + l. Does 20 divide u?
False
Let j(i) = -i**3 + 21*i**2 + 3*i + 15. Does 12 divide j(20)?
False
Let r(w) = -w**3 - 20*w**2 - 24*w + 18. Let h be r(-7). Let z = h - -691. Does 15 divide z?
True
Let q(b) = -328*b - 1302. Does 207 divide q(-33)?
True
Let l = 26008 + -6426. Is l a multiple of 78?
False
Let n(i) = 164*i - 360. Is 18 a factor of n(37)?
False
Let t = 80467 + -47052. Is t a multiple of 41?
True
Is 113 a factor of 204*(-2 + -5 - (-220)/15)?
False
Let b(i) = 2*i**2 + 8*i**2 + 8*i**2 + 1 + 2*i - 4*i. Does 15 divide b(-2)?
False
Let j(m) = m**3 + 6*m**2 + 8*m - 4. Let z be (-11)/((-198)/4) + (-38)/9. Let g be j(z). Let a(q) = -13*q + 20. Does 8 divide a(g)?
True
Let h(w) = w**2 + 16*w + 51. Let b be h(-11). Let u(j) = 59*j**2 + 18*j + 85. Does 11 divide u(b)?
True
Suppose -4*x + 119 + 49 = 0. Suppose -121*f = -118*f. Suppose 3*d = -f*d + x. Is 3 a factor of d?
False
Let k(w) be the first derivative of w**4/3 - 2*w**3/3 + w**2 + 2*w - 13. Let y(x) be the first derivative of k(x). Does 20 divide y(-4)?
False
Let q = -6 - 0. Let p = -41 - q. Let u = p + 44. Does 3 divide u?
True
Suppose -40*s = 11*s - 128979. Is s a multiple of 23?
False
Suppose x - 336 = 3*t - 2771, -20 = 4*x. Does 54 divide t?
True
Suppose -2*w = -p + 1205, -6*p - 5*w - 6000 = -11*p. Let v = 2205 - p. Is 31 a factor of v?
False
Let u be 0 - (-6)/(-27) - (-3530)/90. Let t = 34 - u. Is ((-72)/t)/(18/(-20) + 1) a multiple of 9?
True
Suppose -3*s = 4*q - 0*q + 316, -5*q + 361 = -3*s. Let b = s + 148. Is 6 a factor of b?
True
Let w(m) = 8*m**2 + 438*m - 708. Is w(-86) a multiple of 46?
True
Let w(m) = m**3 - 7*m**2 - 2*m + 15. Let a be w(7). Let y be (-72)/126*(a*-14)/2. Suppose y*z - 2*z = 5*g - 799, -z = -g + 161. Does 13 divide g?
False
Suppose -3*d - 3*r + 7008 = 0, -d = -27*r + 25*r - 2324. Is d a multiple of 22?
True
Is (15807/6*2)/(33/33) a multiple of 11?
True
Let j = 257 + 299. Let c = j + 683. Is c a multiple of 104?
False
Let w be -1 - (-2053)/4 - (-4)/(-16). Suppose 5*o = 5*i - 640, -3*i = i - 3*o - w. Let c = i + -58. Is 10 a factor of c?
True
Suppose 0 = -14*q + 9*q - 455. Let a = 81 - q. Is 4 a factor of a?
True
Let t(o) = -o**3 + 9*o**2 + 12*o - 14. Suppose -8*p + 49 = -31. Let r be t(p). Does 5 divide r/((-24)/(-20)) + 5?
True
Suppose 11*g - 4*g = -8*g + 90. Let s be 0/(-3)*(-1 + 0). Suppose -4*k - g - 14 = s, k - 646 = -3*u. Does 17 divide u?
False
Suppose 0 = -80*a + 201262 + 133955 + 204703. Is a a multiple of 21?
False
Let q(f) = 5*f**2 - f. Let z be q(1). Suppose 3*n + z = 10. Suppose -2*u - n*g = -62, 2*g + 3*g = -4*u + 119. Does 12 divide u?
True
Suppose 81*p = -19*p + 376300. Is 11 a factor of p?
False
Let m(w) be the second derivative of w**7/1260 + 7*w**6/720 - 17*w**5/60 + 17*w**4/12 + 2*w. Let g(h) be the third derivative of m(h). Does 16 divide g(-10)?
True
Let s = -260 + 273. Let r(o) = o**3 - 9*o**2 - 6*o + 22. Is r(s) a multiple of 31?
True
Let q(o) = 6*o**3 - 2*o**2 + 4*o + 1. Let t be q(5). Let n = -409 + t. Is 41 a factor of n?
False
Let a = 5256 + -5116. Is a a multiple of 4?
True
Suppose -12*v + 426287 - 81187 = 2*v. Is 29 a factor of v?
True
Let r = -7455 + 8025. Is r a multiple of 30?
True
Let f(u) be the first derivative of u**4/4 - 11*u**3/3 + 3*u**2 + 25*u - 109. Is 13 a factor of f(11)?
True
Let r = 114 - 109. Let b(w) = -6*w - w - 9 + 2*w**2 + 2*w. Is b(r) a multiple of 8?
True
Does 15 divide (((-7275)/(-4))/3)/(29 + 7981/(-276))?
True
Let f(y) = -406*y - 5862. Is 15 a factor of f(-27)?
True
Let d(o) = o**2 + 4. Let f be d(4). Let c be (2 + (-48)/f)*(1 - -274). Is 13 a factor of 5/(-2)*(-4 + c/5)?
True
Let m(c) = c**3 + 12*c + 2*c - 1066 + 1065 - 15*c**2. Is m(15) a multiple of 19?
True
Is 6 a factor of (-97 - -3)*(-25 - 182/(-14))?
True
Suppose -677*w - 7760 = -685*w. Is w a multiple of 78?
False
Suppose -20 = -10*b + 5*b. Let g be 2/b*(-1926)/(-9). Suppose -2*n = -g - 11. Is 12 a factor of n?
False
Let b = 12 + -36. Suppose -6 + 78 = -4*s. Let r = s - b. Is 3 a factor of r?
True
Let b be (158/(-4))/(4/8). Suppose 0 = -4*r + 5*j + 681, 0*j = r - 2*j - 174. Let c = b + r. Is c a multiple of 9?
False
Suppose 5*t = -p + 18243, -2*p - 1 = -7. Does 152 divide t?
True
Suppose -3*m - 4*h - 9 = -30, -28 = -4*m - h. Suppose -3*u + m = -5. Suppose l - 9 = u. Is 8 a factor of l?
False
Let o be (-2)/((4/5)/(-2)). Suppose -165 = 4*s + 3*z, 0 = -o*s - 3*z + 5*z - 235. Let i = 47 + s. Is 2 a factor of i?
True
Let q(j) = -j**2 - 4*j + 53. Let i be q(5). Does 7 divide 4/i*382 - (-3 + -1)?
False
Let b be (-2160)/630*(-2)/((-4)/(-2009)). Suppose 25*u - 18*u = b. Does 12 divide u?
True
Let s be (1 - (-7)/(-4))/(40/160). Is 44 a factor of s/((-542)/1848 - 20/(-70))?
True
Let y = 45 + -38. Let t = -2 + y. Suppose -5*m + 4*m + 42 = 5*u, m - t*u = 72. Is m a multiple of 16?
False
Let u(g) = 6*g**2 + 91*g - 45. Let b be ((-9)/(-1) - -1)*(-9 - -7). Is u(b) a multiple of 43?
False
Suppose s + 15 = 37. Suppose 27*z - s*z - 40 = 0. Suppose -2*y + 187 = 5*k, -k - 4*y = z - 31. Is 7 a factor of k?
False
Suppose -96*y = -l - 98*y + 22907, -3 = 3*y. Is 30 a factor of l?
False
Let u(m) = 5*m**2 + 63*m - 8. Let y = -932 + 919. Does 9 divide u(y)?
True
Let k = -151 + 233. Suppose p = d - 30, -5*p + 60 = 2*d - 4*p. Let r = k - d. Is 18 a factor of r?
False
Let k be ((-4)/6)/(2/9). Let s be -1 + (-4 - k)*-9. Suppose 6*w = s*w - 202. Is w a multiple of 10?
False
Let r(x) = x**2 - 28*x - 77. Let a be r(34). Let g = -11 + a. Is g a multiple of 6?
False
Suppose -24*a + 384 = -32*a. Is 16 a factor of a/((-8)/(-1)) + 615?
False
Suppose -x - 5*u = -692, -7*u + 1991 = 3*x - 9*u. Let t = x - -126. Does 61 divide t?
True
Suppose 0 = -5*v + 10*v + 70. Let k = v - -75. Suppose -k*r + 66*r = 425. Is 17 a factor of r?
True
Suppose 18*l = 19*l - 4*t - 21402, l = 5*t + 21405. Does 230 divide l?
True
Let a be (-10 - (3 - 4))*-4. Let h be 0/((-8)/a + (-32)/18). Does 10 divide h - (2 - (79 + 4))?
False
Let x = 1311 - -569. Is 69 a factor of x?
False
Let g = 15 + -13. Let v(m) = 190*m**2 + m. Is 13 a factor of v(g)?
False
Let n(o) = -o**3 + 6*o**2 + 5*o + 18. Let z be n(8). Let s be (-2 - z/25)/((-2)/(-5)). Suppose 0 = -5*t - x + 296, 6*t - 4*t - 116 = s*x. Is t a multiple of 21?
False
Suppose 3*o - 11 = -k - 0*o, -14 = -2*k - 2*o. Suppose 6*d = k*d - 5, 2*z - 839 = -5*d. Is 47 a factor of z?
False
Let g = 240 - 435. Is (-13)/(g/10)*435 a multiple of 29?
True
Let w be ((-396)/(-55))/(-9)*(-25)/2. Does 24 divide (792/w)/(3/(-60)*-4)?
False
Does 13 divide (-3)/((2 - (-58)/(-26))/(9 + 3560))?
True
Let d(g) = -270*g - 11. Let q(i) = 269*i + 10. Let n(c) = 5*d(c) + 4*q(c). Is 15 a factor of n(-3)?
False
Suppose -w + 68 = 4*w - 4*x, -3*x = 5*w - 54. Suppose 2*b + w = 6*b. Suppose b*z - 189 = -3*j, 8*z = j + 3*z - 45. Is 15 a factor of j?
True
Let m be 3*5*12/(-36). Let a(d) = 2*d + 10. Let l be a(m). Suppose l = -5*t + 4*t + 44. Does 17 divide t?
False
Suppose p - 2*v = 18372, 2*p + 2*v - 18376 = p. Is p a multiple of 27?
False
Let k = -23 - -22. Let m be k/(4