oes 7 divide t?
False
Suppose -6*s + 10 = -4*s. Suppose s*r - 2 = 18. Suppose 5*q - 4*i = 82, 80 = -q + 5*q + r*i. Is 3 a factor of q?
True
Suppose -h + 385 = 4*h. Suppose -430*m = -441*m - 594. Let p = m + h. Does 4 divide p?
False
Suppose 5*t + 125 - 80 = 0. Let k(i) = 3*i**2 - 11*i - 45. Is 11 a factor of k(t)?
True
Suppose -58*l - 18752 + 62832 = 0. Does 76 divide l?
True
Let t = -5 + -74. Let x(u) = -u**3 + 21*u**2 - 8*u + 76. Let d be x(21). Let s = t - d. Does 11 divide s?
False
Let m(x) = x + 23. Let h be m(-21). Let l(j) = j**2 - j**h + 6 + 2*j**2 - 4*j + 2*j**2. Does 2 divide l(3)?
True
Suppose 3*f - 11*f + 1704 = 0. Suppose 164 + f = 13*s. Is 20 a factor of s?
False
Let g(n) = 40*n**3 - 4*n**2 - 27*n + 40. Does 79 divide g(6)?
True
Let z = -207 + 163. Let g = z - -59. Is g a multiple of 15?
True
Let h = -128 + 338. Suppose 4*o = m + 73, -m - 2*m = -3*o + h. Let f = 117 + m. Does 11 divide f?
False
Let u(i) = -11*i**2 - 29*i + 15. Let r be u(-9). Is (r/(-5) + -4)*1 a multiple of 7?
True
Suppose -3*s = -4*m - 128320, -7377*s + 7382*s = -m + 213836. Does 297 divide s?
True
Suppose -5*b + 23808 = -4*l, 14*l + 6 = 16*l. Is b a multiple of 12?
True
Let t be 6 + (-35)/6 + (-17)/(-6). Suppose 2*f + 4*v = 28, -25 = -t*f - 2*v + 13. Is 10 a factor of f?
False
Let z(g) = -g**2. Let q(y) be the first derivative of 3*y + 32. Let w(s) = -3*q(s) - 36*z(s). Does 22 divide w(-3)?
False
Let b = 308 - 177. Let n = b - 59. Is n a multiple of 6?
True
Let c(f) = f**2 + 2*f - 1. Let j be c(-3). Suppose -4*b = -4*s - 40, -j*b + 4 + 1 = s. Suppose b*n + 2*m - 476 = 0, 4*n - 300 = 4*m + 92. Does 24 divide n?
True
Let k(o) = 5*o**2 - 3*o + 82. Let q(s) = 9*s**2 - 5*s + 164. Let n(d) = -7*k(d) + 4*q(d). Let z = -725 - -725. Is n(z) a multiple of 5?
False
Let v(p) = 2*p**3 + 25*p**2 + 22*p + 14. Let o be v(-7). Suppose 7*r + o = 2*s + 2*r, 2*s = -2*r + 406. Is 83 a factor of s?
False
Let t(h) = -h**2 + 4*h + 4. Let q be t(0). Suppose -u + 2 = -q. Let r = 34 - u. Does 14 divide r?
True
Let g = 328 + -364. Is 20 a factor of g/(((-5)/5)/((-200)/(-12)))?
True
Let j(d) = -13*d + 28. Let z be j(2). Let h = -46 + 72. Suppose 3*b + 24 = z*v - 2*b, 0 = -2*v + 4*b + h. Is 12 a factor of v?
False
Let w = 59 - 51. Is w/(-6) - (-3892)/12 a multiple of 14?
False
Let x = -195 - -104. Does 18 divide (36/7)/((-13)/x)?
True
Suppose -21*f + 54513 + 34863 = 0. Is 50 a factor of f?
False
Let z = -1736 + 2098. Is z a multiple of 24?
False
Suppose -12*a = -16*a + 40. Suppose 0*j - a*j = -530. Does 15 divide j?
False
Let t = 12 + 76. Let r = t + 20. Suppose 0 = o + 2*u - 200, o - 117 - r = 3*u. Does 10 divide o?
True
Let p = -74 - -109. Let k be 165/p - (0 - (-2)/(-7)). Suppose -k*h + 112 = 5*t - 9*h, 0 = -3*t + 5*h + 75. Is t a multiple of 9?
False
Let b(t) = t**3 - 22*t**2 - 23*t + 5. Let h be (-69)/2*(-12)/18. Let r be b(h). Suppose r*w + 338 = 18*w. Is 13 a factor of w?
True
Let n = -2015 - -2032. Let b = 1273 - 903. Suppose -n*x = -27*x + b. Is x a multiple of 37?
True
Suppose 0 = -15*y + 675792 - 257352. Does 68 divide y?
False
Suppose -3*r = -48 + 54, -3*o + 9991 = -2*r. Is o a multiple of 136?
False
Suppose -c = -5*l + 391, 0 = 3*c - 7*c - 4. Let r be ((-52)/l)/((-4)/6). Is 26 a factor of 214/(r + 1) + 1 - 1?
False
Let g(o) = -o**2 - 27*o - 58. Let b be g(-20). Suppose 0 = -4*r + 28 - 8. Suppose -r*f - b = -267. Is f a multiple of 19?
False
Suppose -5*w - 24 = -13*w. Suppose 3*q - w = -3*t, -q + 4 = -t + 9. Suppose -t*z = 2*f - 279, 2*z - 2*f + 12 - 188 = 0. Is 7 a factor of z?
True
Let z(v) = 261*v**2 - 5*v - 6. Let s be z(-1). Let c = 607 - s. Is 36 a factor of c?
False
Let x(d) = -d**2 - 16*d + 40. Let v be x(-18). Suppose 0 = v*i - 12 - 528. Is 8 a factor of i?
False
Let t be 58/(-87)*((-2)/2 + -5). Suppose -2*k + t*m = 0, k - 4*m - 4 = -3*k. Suppose 4*c + i - 115 = 0, -3*c + 28 = k*i - 57. Is 5 a factor of c?
False
Let c = -698 - -7668. Is 10 a factor of c?
True
Suppose -2*r + 121 = -3*r + 2*y, r + 96 = -3*y. Suppose -294 - 22 = -2*w. Let d = r + w. Is 6 a factor of d?
False
Let u = -52 - -54. Suppose m - 519 - 164 = -2*y, u*m = -2*y + 680. Is y a multiple of 37?
False
Let t = 9 - 3. Let v be (1 - 4) + -5 + 13. Suppose 0 = 4*o - j - 163, -2*o + t*o - 143 = v*j. Is 7 a factor of o?
True
Let z = -66 + 66. Suppose z = -109*v + 104*v. Suppose -3*n = r - 137, v*r = -r - 2*n + 137. Is 15 a factor of r?
False
Let a(d) = -6*d + 17*d**2 + 6*d - 124 + 144 + 12*d. Does 16 divide a(-2)?
True
Let f = -389 - -391. Does 13 divide (13/(-4) + 3)*-386*f?
False
Suppose 150 = f - 3*o, -5*f + o = -3*o - 805. Suppose 2*d - z - 407 - 182 = 0, -z = -4*d + 1179. Let a = d - f. Is 13 a factor of a?
True
Suppose -451 = -5*f + m, 3*f + 0*m + 3*m - 285 = 0. Let q = 468 - f. Does 21 divide q?
False
Let v(g) = g**2 + g + 1. Let a be v(-2). Suppose a*q + 240 = 13*q. Suppose -812 = -4*u + q. Is u a multiple of 11?
True
Suppose 0 = -7*n + 71 + 6. Suppose -17 + n = -b. Suppose -b*u + 2*u = -80. Is 20 a factor of u?
True
Let m(g) = -230*g - 246*g + 419*g + 12. Let k be m(-2). Suppose -128*h + 92 = -k*h. Is 4 a factor of h?
False
Let v = 1 - -3. Suppose -3*l - 2 = 2*u - 4, -2*l = v*u - 12. Let i(n) = n**3 + n**2 - 3*n + 8. Does 10 divide i(u)?
False
Suppose 3*g + 192 = 204. Suppose -g*a + 220 = -120. Does 5 divide a?
True
Suppose 4*f + 8 = 0, 3*c + f = 6 - 2. Let w = -288 - -595. Suppose -j + c*g = 4*j - w, 2*j - 3*g = 114. Is 10 a factor of j?
False
Let i(m) = 2*m**2 - 27*m + 446. Does 23 divide i(11)?
True
Suppose 5*r = y - 8, r = y - 2*r - 6. Suppose -27 = y*o - 177. Is o a multiple of 25?
True
Suppose 169*p = -2*y + 164*p + 11965, -29927 = -5*y + 2*p. Is y a multiple of 5?
True
Let x(a) = 4*a**3 + 16*a**2 + 23*a + 8. Let u(f) = f**3 + f**2 - f + 1. Let m(o) = -5*u(o) + x(o). Let l be 13/208*196 + (-3)/(-4). Is 8 a factor of m(l)?
False
Suppose -66*s + 15*s + 321147 = 0. Is s a multiple of 7?
False
Suppose 0 = 2*n - n - 3. Suppose t = 4*b - 13, 0 = -5*b - n*t + 21 + 8. Suppose -2*w - 184 = -b*w. Is w a multiple of 13?
False
Suppose -5*y - 5 = 0, -36*y = 7*p - 35*y - 1791. Is 4 a factor of p?
True
Suppose 0 = 23*q - 30*q - 7. Is -234*10/4*q a multiple of 13?
True
Let f be ((-10)/50 + 1)/((-2)/(-410)). Is -21*f/18*(-5 + 2) a multiple of 41?
True
Let c be 0 + 23 + (-28)/(-7). Does 14 divide (c - 23)*562/8?
False
Is 76 a factor of (-698 - 5)/(1096/1344 - (-10)/(-12))?
True
Let z be 44*(1 + 4/8 + -1). Suppose 0 = -0*r + 2*r + 5*l - z, 36 = 2*r - 2*l. Let c = r + 20. Is c a multiple of 9?
True
Suppose 3*b - 4*b = -135. Suppose -5*r - b = -2*r. Does 18 divide (-7)/(126/(-4)) + (-1610)/r?
True
Let j(n) = -n**3 - 7*n**2 - 13*n - 3. Let b be j(-5). Let k(g) = g**3 - 10*g**2 - 26*g + 28. Is k(b) a multiple of 4?
True
Does 305 divide 268/(-2)*(-33 + -272)?
True
Suppose -592*i - 5524611 = -695*i. Does 104 divide i?
False
Let y(d) = 1. Let x(z) = 33*z + 7. Let l(a) = -x(a) - 6*y(a). Is 32 a factor of l(-10)?
False
Let r(p) = p**3 - 3*p**2 + 5*p - 8. Let w(v) = -v**2 + v - 1. Let g(s) = r(s) + 3*w(s). Let l be -4*(360/32)/(-9). Is 2 a factor of g(l)?
True
Let r be (-70)/(-4)*136/85. Suppose r*n - 1105 = 25*n + 4*p, -p + 1467 = 4*n. Is 38 a factor of n?
False
Suppose 0 = -3*d - 711 + 6153. Suppose -410 + d = 4*z + 4*h, -4*z + 1422 = -5*h. Does 17 divide z?
False
Suppose 3*w + 2653 = 4*u - 1028, 0 = -4*u - 5*w + 3657. Is u a multiple of 17?
True
Let o(x) = -x**3 - 23*x**2 + 25*x + 30. Let q be o(-24). Let b be ((-4)/q)/(4/(-102)). Suppose -22*p + b*p = -20. Is p even?
True
Let g = 209 + 0. Suppose 0 = -2*o - 9*o + g. Is o a multiple of 19?
True
Suppose -s = 5*b - 2 - 2, 2*s + 5*b = 18. Let f = s - 12. Suppose f*k - 7*k = -260. Is k a multiple of 26?
True
Let n(q) = q - q + 6*q - 26 + q. Let c be n(4). Suppose 0 = 4*k - 3*k - 5, -c*a - 2*k = -78. Does 34 divide a?
True
Suppose 21 + 51 = 6*x. Let p be (12/(-8))/((-9)/x) - 16. Is p/5*(-21 - -16) a multiple of 14?
True
Let r(l) = -146*l**3 - 23*l + 31. Does 42 divide r(-5)?
True
Suppose k = -3*a + 349, 5*a = -5*k + k + 1375. Let v = k + 80. Does 28 divide v?
True
Suppose -307*d + 305*d - 174 = 0. Let s be ((-17)/(-3))/(4/(-36)). Let i = s - d. Does 18 divide i?
True
Suppose -4*t + 484 = -4*o, -7*t + 4*o - 126 = -8*t. Is t even?
True
Suppose 3*x = -2*i - 353, -5*i + 2 = 7