ue
Let w(z) = -z**2 - 11*z + 7. Let v be w(-11). Suppose h - 2*s = 2*h - v, s + 13 = 5*h. Suppose h*f - 4*c - 212 = -f, 124 = 3*f + 4*c. Is 16 a factor of f?
True
Is (3/5 + -1)/(27/(-9720)) a multiple of 12?
True
Suppose 84*a = 83*a + 5*t + 1405, -3*a - 5*t + 4275 = 0. Is 16 a factor of a?
False
Suppose -5*x = -3357 - 1248. Suppose 4*i - 2273 + x = 0. Suppose 5*q - i = 4*b, q + 3*b + b = 82. Does 21 divide q?
False
Let u(w) = -w + 4. Let q be (33/9 + -3)*9. Let z be u(q). Is 3 a factor of (24/9)/(z/(-6))?
False
Let b(y) = -2*y**2 - 3*y**2 - 29 + 11*y + 5*y**2 + 3*y**2. Is 17 a factor of b(4)?
False
Suppose 0 = -4*q + 5462 + 2378. Is q a multiple of 8?
True
Let m be (16/40)/(2/10). Suppose -3*y = -5*h + 142, m*y - y = 2*h - 56. Is 6 a factor of h?
False
Suppose 30*a = 22*a + 8704. Is a a multiple of 8?
True
Does 18 divide (-356 + -18)*(2 - 6)?
False
Is (12060/14)/3 + 126/147 a multiple of 36?
True
Let z be ((-6)/3)/1 - -11. Let q(j) = 9 - z*j**3 - 16*j + 14*j**2 + 10*j**3 - 1. Is 21 a factor of q(-15)?
False
Does 29 divide ((-3468)/20 - (-6)/(-10))*-4?
True
Let q = 48 + 75. Let p = -33 + q. Let k = 7 + p. Is k a multiple of 11?
False
Suppose 4*m - 4*o - 1676 = 0, -m + 2*o + 647 - 227 = 0. Is 22 a factor of m?
True
Let g be 27 + -28 + 1*14. Is (-1 - (0 + -5))*g a multiple of 10?
False
Let f(w) = 5*w**3 - 13*w**2 - 11*w. Let r(x) = 3*x**3 - 6*x**2 - 5*x. Let j(b) = -4*f(b) + 7*r(b). Is j(-8) a multiple of 7?
True
Suppose -2*a - 3 = -a. Let x be 3 + (3 - (9 + a)). Suppose x*o + 3*s - 40 = -5*o, 4*s - 2 = -2*o. Is 11 a factor of o?
True
Let r = 653 + 169. Is r a multiple of 29?
False
Does 16 divide (-3)/(-6) - ((-1299)/2 + 4)?
False
Let k(p) = -112*p + 4. Let v(b) be the first derivative of 113*b**2/2 - 5*b + 1. Let m(s) = -3*k(s) - 2*v(s). Is 13 a factor of m(1)?
False
Let x(a) = 25*a - 11. Is 15 a factor of x(69)?
False
Let a(h) = h**3 - h**2 - 2. Let t be a(2). Suppose -t*o + 147 = -123. Suppose f = 6*f - 5*n - o, -2*f + n = -54. Is f a multiple of 9?
True
Let k = -190 - -136. Let g = 26 - k. Does 20 divide g?
True
Let b(o) = -15*o + 9*o + 5*o + 27. Is 6 a factor of b(-33)?
True
Suppose -1 = -3*p + 2*d + 1, -p + 3*d - 11 = 0. Suppose -4*w - p*f = -492, f + 487 = 4*w + 6*f. Is w a multiple of 20?
False
Let q(c) = -13*c - 8. Let z be q(-2). Suppose 0*u = u + 4. Is 9 a factor of (2*u)/((-4)/z)?
True
Let g = -58 + 39. Let l = 17 - g. Is l a multiple of 9?
True
Let x(v) = 38*v**2. Let o(p) = 4*p**2 + 3*p + 3. Let c be o(-2). Let j = c + -12. Does 23 divide x(j)?
False
Let s(k) be the first derivative of -11*k**5/120 + 5*k**4/24 - 8*k**3/3 + 8. Let m(o) be the third derivative of s(o). Is 12 a factor of m(-5)?
True
Suppose 3*b + 2*b - 2275 = -5*v, -2307 = -5*v + 3*b. Is 17 a factor of v?
True
Suppose 0 = 4*t + 22 - 190. Suppose -29*s + 30*s = t. Does 3 divide s?
True
Suppose -b + 551 = c, -2*b + 2*c + 2210 = 2*b. Is 92 a factor of b?
True
Let i = 70 - 38. Let l = i - 10. Let k = -8 + l. Is k a multiple of 4?
False
Let m(i) = -i**3 + i**2 + 2*i. Let p be m(2). Suppose -4*d = -66 - 10. Let r = d + p. Is r a multiple of 19?
True
Let o(i) = -i + 8. Suppose h = -0*h - 4*y + 12, 0 = 3*h - 4*y + 12. Does 8 divide o(h)?
True
Let q = -142 + 163. Is 9 a factor of 96/10*(q + -6)?
True
Let q = -1 + 6. Suppose -16 = s - q*s. Suppose 2*c + 100 = s*h - 2*c, -3*h = -2*c - 70. Does 5 divide h?
True
Let q = 3 + -59. Let y = 86 + q. Is y a multiple of 9?
False
Let a(c) = 10*c + 9. Let l = 17 + -12. Let d be a(l). Let o = d - 19. Does 19 divide o?
False
Suppose 4*f + 4 = 64. Does 15 divide f?
True
Let g be (5/4)/(1/4). Suppose 3 = -v + g. Suppose 0 = 5*u + 4*l - 54, -3*u - v*u - 5*l + 55 = 0. Is 5 a factor of u?
True
Suppose 2*j = -2*s - 4188, -5*s + 4*s - 6276 = 3*j. Let d be (-14)/(-6) - (-4)/6. Is 1/d*j/(-17) a multiple of 12?
False
Suppose 5*b = 5*z + 590, 3*z + 0*b = 2*b - 358. Suppose -7*k - 692 = -3*k. Let r = z - k. Is r a multiple of 10?
False
Let s be (3 + -7)*(-9)/12. Is s*5/((-10)/(-6)) even?
False
Let q be 15*(65/(-15) + 5). Suppose q*f = 11*f - 108. Is 9 a factor of f?
True
Suppose 28 = -2*n + 6*n. Let l(o) = -o**3 + 6*o**2 - 5*o + 5. Let p be l(5). Suppose n = y - p. Does 7 divide y?
False
Suppose -13*z = -3592 - 2141. Does 22 divide z?
False
Let r(g) = -2*g**3 - 6*g**2 + 4*g - 2. Suppose 3*s = 9 + 6. Let p be r(s). Does 16 divide p/(-8) - (-7)/28?
True
Is 17 a factor of (-1)/(2/(-306)*3)?
True
Suppose 5*j - 2*v = 552, 5 = j - 4*v - 91. Does 44 divide j?
False
Let j be 8 + -3 + (-4 - -1). Let f(q) = q**2 + 2*q + q**3 + 0*q**j + 1 - q**2 - 5*q**2. Is 11 a factor of f(5)?
True
Let t(l) = 6*l**2 - 9*l + 13. Let m be t(4). Let g = m - 30. Does 23 divide g?
False
Suppose -5728 = -23*u + 2598. Is u a multiple of 39?
False
Is 76 a factor of -7 - (33150/(-21) - 20/(-35))?
False
Let w = 30 + -6. Does 23 divide w + 0 + (-3 - -4) + 0?
False
Let p = 17 + 9. Let t = 108 - p. Does 41 divide t?
True
Does 125 divide 50/(202/100 + (-26)/13)?
True
Let b = -126 - -207. Suppose 2*m - b - 30 = -5*x, -5*m = -x + 6. Is 4 a factor of x?
False
Let s(n) = 3*n**2 - 29*n + 681. Is s(22) a multiple of 65?
True
Let a be (6/(-8))/(-4 - 243/(-60)). Let q = a - -208. Does 19 divide q?
False
Suppose 0 = 3*w - 4 + 1. Suppose -4 = -x, -2*x = 5*a - x + 6. Is 7 a factor of 1 - (a + w - 25)?
False
Let g = -1281 - -2451. Does 26 divide g?
True
Let q = 8 - 8. Suppose 2*y - 25 = -k - 2*k, q = 4*y - 2*k - 10. Suppose 95 - 10 = y*w. Is 8 a factor of w?
False
Let v(f) = 19*f**2 - 28*f + 22. Does 4 divide v(4)?
False
Suppose 9*g - 2580 - 5880 = 0. Is g a multiple of 94?
True
Let x(u) = 4*u - 10. Let y be x(4). Let p = y + 182. Is 13 a factor of p?
False
Suppose 12 = 4*q - q. Suppose -q*b = b - 25. Is (66 + b)/(2 - 1) a multiple of 25?
False
Suppose 5*m = -5, 4*u + 2*m + 20 = 2*u. Is 32 a factor of ((-72)/(-7))/(u/(-84))?
True
Let p = -9 + 5. Let x be 3*p/((-12)/5). Suppose -14 = -x*g - v + 82, -2*v = 4*g - 78. Is 19 a factor of g?
True
Let p = -11 + 13. Is 22 a factor of 2 + (p - 2) - -57?
False
Let m(c) = c**2 + 7*c + 3. Let t be m(-6). Let o be 38/(((-24)/68)/t). Suppose k - 63 = r, 0 = -0*k - 5*k - 3*r + o. Does 15 divide k?
False
Let v(k) = k**3 + 10*k**2 + 4*k + 14. Let b = 32 - 39. Is v(b) a multiple of 19?
True
Let x(m) = 60*m + 2. Let d(p) = -p**3 - 4*p**2 + 5*p + 3. Let o be d(-5). Is 26 a factor of x(o)?
True
Suppose 0 = 4*d + 4*s - 3*s - 53, -s = 5*d - 67. Does 2 divide (-72)/(-14) + (-2)/d?
False
Let a be -14*(-2)/4 + -2. Suppose 0 = 4*f - 5*i - 119 + 13, 0 = -5*f - a*i + 110. Suppose 4 = 6*s - 2*s, f = m - s. Is m a multiple of 21?
False
Let t(j) = 88*j**2 - 17*j. Is t(3) a multiple of 53?
False
Let k(g) = -2*g + 65. Does 9 divide k(-15)?
False
Let h be 2/(-6) - 186/9. Let c = -90 - -9. Let p = h - c. Is p a multiple of 15?
True
Let h = 8 - 13. Let x be (2/h)/((-5)/(-275)). Let i = 41 + x. Is i a multiple of 14?
False
Let z(s) = s**2 - s + 60. Let f(m) be the second derivative of -m**4/12 + m**2/2 + 8*m. Let a be f(-1). Does 15 divide z(a)?
True
Suppose -3*o + 15 = 0, 4*g + 119 = o + 2*o. Does 13 divide 99/2*g/(-13)?
False
Let t(u) = u**3 - 22*u**2 + 54*u + 36. Is t(20) a multiple of 79?
True
Suppose 0 = 5*o - 2*d - 8, 3*o - 8*o + 4*d = -16. Suppose 6*m + 4*m - 620 = o. Does 11 divide m?
False
Let o = 516 - 350. Suppose 4*r + o = 478. Does 22 divide r?
False
Let y = 132 - -119. Let f = -119 + y. Does 7 divide f?
False
Let s(b) = -b**2 - 4*b. Let i be s(-2). Suppose -i*t - 5 = 4*n - 49, 4*n = -3*t + 28. Is 8 a factor of t?
True
Let f be -1 + -2 - 30/1 - 3. Is 7 a factor of (-4 - (-24)/(-9))/(8/f)?
False
Let v(x) = -7*x**2 + 5*x - 4. Let m be v(4). Suppose 405 - 103 = -2*l. Let b = m - l. Is b a multiple of 11?
True
Let x be ((0 - -2)*-1)/((-14)/(-1064)). Is 1 - (4 + (-1 - 0)) - x a multiple of 15?
True
Let q(r) = -67*r**3 - 3*r**2 + r + 5. Is q(-1) a multiple of 34?
True
Suppose -5*h + 2*p + 3*p = -90, 0 = 4*h - p - 75. Does 20 divide 0 + h - (0 + -1)?
True
Suppose -z + 2 = -0. Let v be -2 + 6 + -3 + z. Suppose -4*m + 5*m - 35 = -v*l, 2*m - 2*l - 38 = 0. Is m a multiple of 5?
False
Let f = 15 - -4. Suppose 5*h + 84 - f = 0. Is -2 - h - (-2 + 1) a multiple of 4?
True
Suppose 4*q + 8*f - 4*f - 400 = 0, 5*f = 3*q - 316. Is q a multiple of 41?
False
Let z = 5 + 4. Suppose 0 = 3*d - 3*a, 0