 Suppose 2*w - 29 - 21 = u. Is 5 a factor of w?
True
Let u(o) = -o - 20. Let b be u(-22). Suppose -37 = 3*a + b*p - 987, p = -5. Is 44 a factor of a?
False
Let q(i) = 42*i - 1. Let x be q(5). Let d = 385 - x. Is 51 a factor of d?
False
Suppose -u + 2*g - 282 = -3*u, 2*u - 274 = 2*g. Suppose -443 = -5*o + 2*p, -p = -3*o + 404 - u. Let z = o - -108. Is z a multiple of 39?
True
Let g = 4433 + -4010. Is g a multiple of 46?
False
Does 101 divide (1136/(-1420))/(4/(-95530))?
False
Let v(g) = 1610*g - 650. Is 74 a factor of v(5)?
True
Let x(t) = 16*t**2 - 20*t - 62. Let v be x(-10). Suppose v = 7*r - 1958. Does 33 divide r?
True
Suppose 5*t = -4*w + 25, -7*t - 10 = 3*w - 9*t. Let c = 843 + -429. Suppose c = 6*s - w*s. Does 12 divide s?
False
Let v(n) = -2*n**3 - n**2 - n - 4. Let l(w) be the second derivative of w**5/20 - 5*w**4/12 - w**3/6 + w**2/2 + 39*w. Let g be l(5). Is v(g) a multiple of 16?
True
Suppose 303*v - 307*v = -63422 - 7470. Does 103 divide v?
False
Let q = 23549 + -16623. Is 37 a factor of q?
False
Suppose 169875 = 35*s - 10*s. Is 45 a factor of s?
True
Let c be (-8 - -12 - (0 - -2)) + 0. Suppose d - 2*b - 80 = 0, -5*b = c*d - 114 - 28. Is 3 a factor of d?
False
Suppose -5*l + 3549 = 4*j, -j - j + 3*l + 1769 = 0. Let i = j + -619. Suppose -33 = -4*t + i. Does 12 divide t?
False
Let r = -115 + 120. Suppose 533 + 2 = r*h. Does 4 divide h?
False
Let i(w) = 3*w**3 + w**2 - 1. Let o be i(-1). Is (-1)/o*(29 + 61) a multiple of 13?
False
Suppose -18*k = -135488 - 186154. Is k a multiple of 343?
False
Suppose -14*q + 11*q = 198. Let j = q + 69. Suppose -i - 120 = -j*t - t, -i - 60 = -2*t. Is t a multiple of 5?
True
Let d(w) = 9995*w - 237. Is d(3) a multiple of 74?
True
Suppose -9*k + 3 + 15 = 0. Suppose -d - 6 + 10 = 0. Suppose -s = -k - d. Is s a multiple of 3?
True
Let q(b) = -5501*b - 599. Is 130 a factor of q(-2)?
False
Let y(n) = 28*n - 10. Let z(a) = -14*a + 5. Let v(g) = -6*y(g) - 10*z(g). Suppose -11*s + 4*s = 42. Is v(s) a multiple of 26?
False
Let b(i) = 21*i + 298. Let q be b(-14). Let z(o) = -o**3 + 5*o**2 - 2*o - 1. Let u be z(4). Suppose u = -q*f + 47. Is 5 a factor of f?
True
Let b(z) = -z**2 + z - 1. Let p(y) = 10*y + 4. Let d(u) = b(u) + p(u). Let l be d(13). Let q = -13 - l. Is q a multiple of 3?
False
Suppose 5*j + 5*l = 14 - 4, 0 = -3*j + 5*l + 22. Suppose 5*d = -3*s - 142, 104 = -j*s - 5*d - 87. Let g = s - -114. Is g a multiple of 12?
False
Suppose 5*a = 4*y + 81331, -47*y + 48781 = 3*a - 45*y. Does 139 divide a?
True
Suppose -13*u - 132 = -275. Suppose -u*d + 21*d = 4240. Is d a multiple of 11?
False
Suppose 25 - 58 = 3*z. Let y(r) = 2*r**2 + 22*r + 2. Let x be y(z). Let h(q) = 3*q**2 - 3. Does 9 divide h(x)?
True
Let o(d) = -d - 2. Suppose -3 = 3*a - 5*t, -45 = 5*a - 0*t + 5*t. Let u be o(a). Suppose l + x + 30 = 3*l, -u*x - 15 = -l. Is l a multiple of 2?
False
Let n be (3 - 1) + -1 - (-66)/(-6). Let y = n - -556. Is 42 a factor of y?
True
Suppose 81*r + 236 = 85*r. Let z = 86 - r. Is 8 a factor of z?
False
Let c = -40 - -42. Suppose 0 = -i - c*r - 4, i - 3*r + 16 = -8. Let k(t) = -t**2 - 21*t - 38. Is k(i) a multiple of 11?
False
Let q be ((-20)/6)/((-17)/(-255)). Let u = q - -143. Is u a multiple of 28?
False
Suppose j = z + 3786, j - 7*z - 2035 - 1715 = 0. Is j a multiple of 30?
False
Let j = 86 + -83. Suppose 0 = -4*a - r + 6*r - 528, -389 = j*a - 2*r. Let g = 239 + a. Does 16 divide g?
True
Suppose 0 = -10*g - 11 + 61. Suppose 0 = -g*h - 2*c + 6*c + 3715, -5*h + 3715 = -5*c. Is 12 a factor of h?
False
Let b be (-5)/2*264/(-55). Does 10 divide (-558)/(((-162)/b)/9)?
False
Suppose 8*i = -0*i + 6720. Is 87 + (i/135 - (-6)/(-27)) a multiple of 5?
False
Let n be (-8)/12 + 4 + 309/(-9). Let i = n - 25. Let s = -10 - i. Is s a multiple of 3?
False
Let i = -300 - 43. Let c = i - -604. Does 87 divide c?
True
Suppose 3*l + 4*o - 8 = 0, -10 = 4*l + l - 5*o. Suppose l = -5*u + 50 + 120. Is 7 a factor of u?
False
Let i(p) = 2948*p - 4616. Is i(10) a multiple of 162?
False
Let o(k) = 8*k - 4. Let d be o(6). Suppose -2*c + 14 - 4 = 0. Suppose 2*i - d = -6*z + c*z, z = 3*i + 64. Does 25 divide z?
False
Suppose 94080 = -1789*q + 1799*q. Is q a multiple of 8?
True
Let i = -70 + 268. Let s = 717 - i. Is 39 a factor of s?
False
Let m = 65055 + -25184. Is 52 a factor of m?
False
Let x(o) = o**2 + 9*o - 40. Let l be x(-12). Let w be -3 + (-11)/l + 5/20. Does 3 divide (w/2)/3 + 21?
True
Let b = 27662 - 12585. Is b a multiple of 18?
False
Suppose 41*r - 360 = 45*r. Let s = -51 + 8. Let v = s - r. Does 31 divide v?
False
Let u(s) = 79*s**2 - 39*s - 174. Let l be u(-4). Let z = l - 868. Is 9 a factor of z?
True
Suppose 0 = -4*y + 4*q + 96, -5*y + 28*q + 141 = 30*q. Suppose -2*w = 3*m + 49, -m - 18 = -w + 2*w. Let t = y - m. Is t a multiple of 20?
True
Let m(o) = 4*o + 14. Let j(b) = 4*b + 14. Let s(n) = 3*j(n) - 2*m(n). Let v be s(-3). Suppose 0 = -v*w - 3*u + 38, -4*w - 3*u + 82 = -0*w. Does 2 divide w?
True
Suppose -2*t + 237 = -337 - 170. Does 31 divide t?
True
Let z(n) = 13*n**2 - 23*n + 186. Is z(-10) a multiple of 58?
False
Let h(u) = -4 - 54 - 19*u - 2. Let a(m) = -101*m + 1403. Let c be a(14). Is 14 a factor of h(c)?
False
Let g(t) = t - 40. Let w be g(10). Let l be 187/3 - 20/w. Suppose 0 = -2*q + y + l, 4*q - 32 - 74 = -2*y. Is q a multiple of 16?
False
Suppose 0 = -2*u - 67 + 65. Let o = 19 - u. Suppose o = -7*d + 3*d, -d - 34 = -c. Is c a multiple of 19?
False
Let j(o) = -o**2 - 18*o - 12. Let d(s) = -2*s**3 - s - 1. Let l be d(-2). Suppose 22*m = l*m - 60. Does 12 divide j(m)?
True
Suppose -2*a - 4*d = -28, 4*a = 2*d + 6 - 0. Suppose w + 2*w = -q - 16, -4*w = -3*q + a. Is 540/297 + w/(-22) even?
True
Let j = 5167 + -3097. Is j a multiple of 69?
True
Let l(w) = w**3 + 8*w**2 - 11*w - 11. Let y be l(-9). Suppose -299*m + 300*m - 5 = 0. Suppose m = 2*t - y. Is t a multiple of 2?
True
Suppose -4*a + 5*v = -25565, 2688*a = 2683*a - v + 31920. Is 19 a factor of a?
False
Let h(y) be the first derivative of -3*y**2 + 344*y + 23. Does 24 divide h(0)?
False
Suppose -5*a + 6*a - 6708 = 3*w, w = 2*a - 13426. Does 24 divide a?
False
Let a = 322 - 1691. Let j = 2205 + a. Does 44 divide j?
True
Suppose -52*u + 12737 = -69163. Is 5 a factor of u?
True
Suppose 65*x = 61*x + 12. Let a(o) = 11*o**2 - o + 6. Let h be a(x). Suppose 0*g = 3*k + 2*g - h, 3*k - 4*g = 102. Does 17 divide k?
True
Suppose -5*n + 4*q = 17 + 1, q - 2 = 0. Let a(g) = -3*g - 3. Let t be a(n). Suppose t*x - 6*x = -234. Is 13 a factor of x?
True
Let d be 162/2 - ((-65)/5 - -16). Suppose 0 = 75*a - d*a + 288. Is a a multiple of 12?
True
Let j(f) = 0*f - 21*f + 11*f. Let q be j(-15). Suppose -15*p = -17*p + q. Is 25 a factor of p?
True
Does 83 divide (-534)/8*(-5304)/54 - (-4)/6?
True
Let l(r) = -2*r**2 + 188*r - 270. Is l(79) a multiple of 15?
True
Let c(a) = 4*a**3 - 69*a**2 + 30*a - 222. Let x be c(17). Suppose 0 = 3*f - 9, -j - 4*f + 8 = -3*j. Does 8 divide (-6)/x*j/4*9?
False
Let m = -371 - -300. Let d = m + 677. Is d a multiple of 34?
False
Let d(t) = 2*t**3 - 3*t**2 + 81*t - 7. Is d(19) a multiple of 46?
False
Suppose 19*m - 91603 + 5153 = 0. Is 11 a factor of m?
False
Let o(f) = 5*f**3 - 165*f**2 + 15*f + 147. Does 2 divide o(33)?
True
Does 73 divide (-87669 + 2 + -17)/(-6)?
False
Let p = 4 + 6. Does 20 divide ((-141)/(-12))/(p/280)?
False
Suppose -5*k - 4*y = -68, -k = 5*y - 14 - 8. Let o(i) = -4*i + 15 + i**2 - 11 + 0*i**2. Does 25 divide o(k)?
True
Let n(x) = 2*x**2 - 12*x + 4. Let p be n(6). Let d = p + 46. Is d even?
True
Let a = -1197 + 33929. Is a a multiple of 167?
True
Let w(r) be the first derivative of 46*r**3/3 + 3*r**2/2 + 15*r + 126. Is 28 a factor of w(-3)?
True
Suppose -42*f + 38*f = -12. Suppose -312 = -f*t - 5*t. Is 3 a factor of t?
True
Suppose -2*g + 9149 = a, 10*a = 8*a - 5*g + 18291. Is a a multiple of 119?
True
Let m = -36 - -38. Suppose -4*o + 2*v + v = -653, -m*o + 5*v = -337. Is 25 a factor of o?
False
Let o be (-6)/(-9) - 12/18. Suppose -4*j - 5*c + 45 = o, -3*j + 0*c + c = -10. Is j a multiple of 2?
False
Suppose 2 = q - 3*h - 18, 3*q - 2*h - 25 = 0. Suppose 4*p - 580 = -0*r - 2*r, q*p - 1175 = -4*r. Is 20 a factor of r?
True
Let p(n) = -n**3 + 59*n**2 + 5*n + 33. Does 4 divide p(59)?
True
Is (-285)/(-2)*((108 - 18) + 24) a multiple of