4*w. Is 15 a factor of y?
True
Let w(r) = 13*r + 4. Let n be w(-2). Let f = n + 88. Is f a multiple of 11?
True
Let b = 35 + -38. Let r be 51*(2 - (-11)/b). Does 27 divide 918/r*30/(-4)?
True
Suppose 0 = -4*v + l + 1211, -3*v + 5*l + 293 = -594. Is 8 a factor of v?
True
Suppose 100 = 8*q - 4*q. Let i = 51 - q. Is i a multiple of 5?
False
Is 53 a factor of (-379995)/(-330) + (0 - 3/(-2))?
False
Suppose -3*j = -0*j - 3*m - 243, m = -4*j + 319. Suppose 6*f = 4*f + j. Suppose 0 = -5*w - 10 + f. Is 4 a factor of w?
False
Let b(t) = -t**3 + t**2 + t + 33. Let x be 4/(-26) + (-14)/(-91). Does 5 divide b(x)?
False
Let a be 1565/7 + 6/14. Suppose -z - 20 = t - 68, t - a = -5*z. Is z a multiple of 9?
False
Does 67 divide (-2391)/(-18) - 21/(-18)?
True
Is 14 a factor of -853*5/(-3)*(-48)/(-16)?
False
Suppose 0 = 5*x + 5, 5*b + x - 4*x - 1898 = 0. Is 16 a factor of b?
False
Is ((-3)/5)/(8/(-1280)) a multiple of 6?
True
Let f be 6/(2 - -1) + 1. Suppose x - f*x - 50 = 0. Is 10 a factor of ((-20)/x)/(2/95)?
False
Does 11 divide -8 - -833*(-4)/(-4)?
True
Let j(l) = -17*l + 1. Let r be j(3). Let g = 1 - r. Does 9 divide g?
False
Let r = 38 - 39. Is ((-2)/8)/(r/100) a multiple of 18?
False
Let d = 288 + -289. Let j(n) = 59*n**3 + 13*n**2 + 8*n + 17. Let k(c) = 15*c**3 + 3*c**2 + 2*c + 4. Let l(z) = 2*j(z) - 9*k(z). Does 4 divide l(d)?
True
Suppose 4*z = -5*r + 74, -3*z - 4*r + 58 = r. Let h = 14 - z. Is 20 a factor of h*9*1*-4?
False
Let p(c) = -c**3 + 33*c**2 - 39*c + 22. Is p(29) a multiple of 21?
False
Let g be (-12)/32 - (-118)/16. Let d(u) = 28*u - 18. Is 27 a factor of d(g)?
False
Let a(i) = i**3 - 16*i**2 + 6*i - 53. Let y(r) = -10*r - 14. Let s be y(-3). Is 7 a factor of a(s)?
False
Suppose 2*d = -w + 2671, 1428 = d - w + 94. Does 15 divide d?
True
Let f(z) = 2*z**2 + 69*z - 24. Is 6 a factor of f(-37)?
False
Suppose -8*p - 260 = -2*z, p = 5*z - 4*z - 127. Is 6 a factor of z?
True
Suppose -q + 0*q = -159. Suppose -3*a + 6*a = q. Is a a multiple of 9?
False
Suppose -l = -2*r - 57, 6*r - 3*r = -15. Is 11 a factor of l?
False
Let z(a) = -68*a - 14. Is 7 a factor of z(-7)?
True
Suppose b = -4*s + 98, -5*b + 2*b = s - 316. Let t = -46 + b. Is t a multiple of 12?
True
Suppose -3*p + 66 = 3*j, 0 = -j + 4*p - 0*p + 32. Suppose -21*q - 198 = -j*q. Does 6 divide q?
True
Is 11 a factor of ((-16)/20)/((-2)/510)?
False
Let o(c) = -c**3 + 36*c**2 - 26*c + 27. Is 18 a factor of o(35)?
True
Let p(r) = r**3 + 3*r**2 - 12*r + 8. Does 9 divide p(4)?
True
Let x = 21 - 18. Suppose 5*b + 5*q + 72 = -x, 4*b + 5*q + 59 = 0. Does 16 divide 8/((-18)/b - 1)?
True
Let t = 10 - 21. Let p be 2/t - 6080/(-44). Suppose -2*a = 4*h - p, -a - a = 5*h - 170. Does 19 divide h?
False
Let v = 7 - 12. Let j be 12/5 + 2/v. Let z(y) = 3*y**2 - 4*y + 3. Is z(j) a multiple of 4?
False
Let d be (6 - 6) + -2 + 6. Suppose -d*m + a + 2*a - 19 = 0, -10 = -2*a. Let b = m + 42. Is 18 a factor of b?
False
Suppose 1099*x - 13380 = 1093*x. Is 139 a factor of x?
False
Suppose 2*i + 3*a - 26 = -a, 5*i - 76 = a. Let q be ((-18)/i)/((-12)/80). Let n = q + 16. Is 6 a factor of n?
True
Let j = 368 - 355. Does 13 divide j?
True
Suppose 0 = -10*o + 6*o - 8. Is -20*(o/3 - 70/12) a multiple of 13?
True
Is ((-621)/15 - 0)/(9/(-210)) a multiple of 14?
True
Let u = 9 - 7. Suppose 3*j = u*j + 36. Is j a multiple of 8?
False
Let o(h) = 2*h - 129. Let c be o(0). Let u = 208 + c. Is u a multiple of 9?
False
Let a(s) = -s**2 + 4*s - 5. Let j be a(2). Is 9 a factor of j + (2 - (-4 - 85))?
True
Suppose -32400 = -7*q - 23*q. Does 12 divide q?
True
Let w = 89 - -13. Does 18 divide w?
False
Suppose 3*t = t - 4*j + 2600, -5*j - 6545 = -5*t. Is 51 a factor of t?
False
Let h = -430 - -640. Is h a multiple of 15?
True
Let w = -6874 + 11659. Is w a multiple of 165?
True
Suppose -16*w + 11*w + 900 = 0. Does 13 divide w?
False
Suppose -7*v + 313 + 289 = 0. Suppose 5*o - 877 = -2*n, 2*o - v = 4*n + 284. Does 39 divide o?
False
Let y(n) = -n**2 - 1. Let t(h) = -4*h**2 - 4*h - 9. Let i(o) = -t(o) + 3*y(o). Is i(-5) a multiple of 4?
False
Let c(t) = -25*t - 7. Let x(d) = d**3 + 10*d**2 - 12*d - 14. Let z be x(-11). Is c(z) a multiple of 17?
True
Let q = 29 + -13. Let b(f) be the second derivative of -f**4/12 + 8*f**3/3 + 11*f**2/2 + 23*f. Is 9 a factor of b(q)?
False
Let b(m) = -4*m + 91. Is b(13) a multiple of 13?
True
Let k(j) = -2*j + 30. Let q be k(-15). Suppose -3*f = -0*f - q. Does 10 divide f?
True
Let x(d) = 20*d**2 + 21*d - 18. Let u(m) = 7*m**2 + 7*m - 6. Let b(t) = 17*u(t) - 6*x(t). Does 2 divide b(-7)?
True
Let c be ((-7)/2)/((-2)/16). Suppose -9*r + c = -7*r. Is 4 a factor of r?
False
Let m(a) = a + 7 + a**3 - 16*a**2 + 2 + 25*a**2. Let h be m(-9). Is 13 a factor of -13*(h + -3 - 0)?
True
Let y(w) = w**3 - 12*w**2 - 7*w - 19. Let k be y(13). Let j = k - 55. Is 2 a factor of j?
True
Let h = 2396 + -1094. Is 42 a factor of h?
True
Suppose -46*k + 32*k + 98 = 0. Is 3 a factor of k?
False
Is 10 a factor of (6/12*-4)/((-2)/200)?
True
Let s be (-26)/(-39) + 65/(-3). Let m = -15 - s. Is (56/(-6))/((-2)/m) a multiple of 28?
True
Suppose 0 = -2*q + 3*q - 3*x - 9, 0 = 3*q - 4*x - 12. Suppose 114 = 4*a + 2*t, -4*t + 22 + 26 = 2*a. Suppose q = n + 2*n - a. Is 3 a factor of n?
False
Let z = -23 + 47. Let m = -421 + 437. Suppose 4*a = -m, -4*d + 8 + z = a. Is d a multiple of 9?
True
Let v(u) = -362*u + 7. Is 41 a factor of v(-1)?
True
Let u = -45 + 59. Suppose u*q - 829 = 151. Does 35 divide q?
True
Let v be 8/6 - 960/72. Is (-6)/(-4)*(-32)/v + 15 a multiple of 2?
False
Let m(y) = y**2 - 1. Let o be (208/(-48))/((-1)/3). Let q = -9 + o. Does 15 divide m(q)?
True
Let v(d) = 8*d**3 - 2*d**2 - 2*d + 2. Let s be v(2). Suppose 4*u - s = u. Is 16 a factor of u?
False
Let j = 56 - 51. Suppose -j*c = -l + 26, 4*l + 4*c = l + 173. Is l a multiple of 15?
False
Let u = 39 - 50. Let r(t) = t**2 - 3*t + 26. Is 10 a factor of r(u)?
True
Let p be (1 + 0)/((-5)/(-245)). Suppose 5*y + 4 - p = 0. Is y + (1 - 0) + 2 a multiple of 6?
True
Suppose 0*v = 5*v - 5. Let n(w) = 5*w - 2. Let d be n(v). Suppose 7*u = d*u + 204. Is 14 a factor of u?
False
Suppose 5 = 3*g - 1. Suppose v - g*v = -108. Does 7 divide (v/8)/((-2)/(-4))?
False
Suppose 0 = 3*u - 0 - 6. Suppose -x = -5*t - 34 + 11, -3*x = -u*t - 121. Is x a multiple of 24?
False
Let y = 181 - 103. Is (-52)/y - (44/(-3) + -2) a multiple of 6?
False
Let d be 3 + -1*12 + 2. Let t = d - -12. Suppose t*x - 87 = 593. Is 23 a factor of x?
False
Suppose 2*q + 35 - 29 = 0. Is 23 a factor of 852/36 - -2*1/q?
True
Let g(l) = -l - 14. Let r be g(-15). Does 25 divide r/2 + 398/4?
True
Let l be (48/42)/((-4)/(-14)). Let p = 0 + l. Is (-580)/(-12) + p/6 a multiple of 13?
False
Let w = -6 + 16. Let i = w + -11. Let c = i - -58. Is 20 a factor of c?
False
Let q(r) = -r**3 - r**2 - r - 2. Let t be q(0). Let b(y) = -5*y**2 - 3*y - 5. Let g(f) = 5*f**2 + 2*f + 5. Let v(m) = t*g(m) - 3*b(m). Does 18 divide v(-4)?
False
Suppose 60 = 2*r + 354. Suppose 0*i + 3*i + 3 = 0, 282 = -3*a - 3*i. Let o = a - r. Does 18 divide o?
True
Suppose 17*s + 13*s = 16200. Does 29 divide s?
False
Let h(k) = k**3 + 31*k**2 + 29*k + 33. Is 9 a factor of h(-30)?
True
Suppose -1100 = -3*d + 4*c + c, 1804 = 5*d - c. Is 8 a factor of d?
True
Let s = 33 - 2. Suppose 2*x = 1 + s. Is 16 a factor of x?
True
Suppose -l - 2*x + 12 = -0*x, -15 = -5*l - x. Let m(h) = -h - 21 + 2*h - h + h**l + 6*h. Does 8 divide m(-11)?
False
Let x = -29 - -36. Suppose x*u - 293 = 260. Suppose -u = -3*k + 125. Is k a multiple of 21?
False
Suppose 3*l = -l. Suppose -3*q + q + 38 = l. Let u = q + -15. Does 4 divide u?
True
Suppose -4*d + 324 = 5*s, s = 2*d - 5*d + 67. Let g = s + -48. Is g a multiple of 4?
True
Suppose 63 = 3*u - 6*u. Let l = u + 53. Does 16 divide l?
True
Let f(u) = -53*u**3 + 3*u**2 + 3*u + 1. Let w be f(-3). Suppose 23*g - 18*g = w. Is 58 a factor of g?
True
Let h = -1815 + 2775. Suppose -5*l + h = 4*z, z = -3*l - 3*z + 576. Is l a multiple of 32?
True
Suppose -5*u + 22*u - 2567 = 0. Is u a multiple of 6?
False
Suppose 416 = 3*s - w, s - 4*w = -3*s + 544. Does 2 divide s?
True
Suppose 2*g + 2*g = -16, -4*h - 2*g = -8. Let c be (-5 + h)*2 + 2. Suppose 3*k + 20 - 287 = c. Is 32 a factor of k?
False
Suppose 14*o = 25*o - 9152. Is 4 a factor of o?
True
Let u be -