rue
Let f(h) = -h**3 + 10*h**2 + 8*h - 3. Let k be f(-6). Let o = k - 261. Does 44 divide o?
True
Suppose 2*r - 1 - 33 = 4*j, 2*r = -5*j - 2. Suppose -r*x + 180 = -3*x. Is x a multiple of 4?
False
Suppose -4*z - 30 = -2*z. Let v = z - -14. Is 17 a factor of (-204)/24*(-11 + v)?
True
Is 12 a factor of (8/(-4) - (-141)/(-12))*-4?
False
Suppose 0 = -21*j + 18*j + 486. Is 54 a factor of j?
True
Let d = -240 - -597. Is d a multiple of 17?
True
Suppose -c + 9 = -l - 0*c, 5*c = -5*l - 15. Let x = 45 - l. Suppose 0 = d + 4*h - 30, 0*d - x = -2*d + h. Is d a multiple of 9?
False
Let h = -516 - -717. Does 23 divide h?
False
Let g(n) = 256*n - 24. Let t be g(6). Suppose -5*s - 2*s = -t. Does 35 divide s?
False
Suppose -4*a - 5*j + 5 = 0, -2 = -3*a - j - 1. Suppose -5*x - 324 = -4*u - 106, a = -4*u - 4*x + 200. Is u a multiple of 7?
False
Let d(q) = q**2 - 10*q - 18. Let m be d(12). Is (m + (-804)/(-18))*3/2 a multiple of 4?
True
Suppose -5*a + 20*o + 2580 = 16*o, 0 = a - 4*o - 500. Is a a multiple of 87?
False
Let t(j) = -j**3 - 7*j**2 + 13*j - 1. Let l(b) = b**3 - 12*b**2 - 15*b + 17. Let p be l(13). Is 22 a factor of t(p)?
True
Suppose 5*q - k = 78, -q + 3*k + 9 = -1. Does 2 divide q?
True
Suppose -1 = -g - 5, -4*g + 124 = 4*s. Is s a multiple of 7?
True
Let v = -299 + 609. Suppose -5*m + 4*b + v = 9*b, 4*m = -b + 257. Is m a multiple of 7?
False
Let z(y) = y**3 + 14*y**2 - 27*y - 12. Does 24 divide z(-11)?
True
Suppose -i - i - 8 = 0. Let t be 1/(-2 + (-7)/i). Is (-28)/(t/8*4) a multiple of 7?
True
Let k(s) = 90*s + 18. Let y = -142 + 146. Does 21 divide k(y)?
True
Let h be (-3)/54*4 + (-122)/18. Suppose -x + 28 = x. Is 3 a factor of (h/x)/((-1)/26)?
False
Is 67 a factor of 408 + -16 + 15 + 0 + -5?
True
Suppose 0 = 11*a - 5*a. Suppose a = -2*b - 0*b - 4*m + 76, -2*b + 72 = 5*m. Does 11 divide b?
False
Let w = 136 - 135. Is (-2 + 8/w)*(-6 + 27) a multiple of 42?
True
Suppose 0 = -5*x + 125 + 275. Suppose -x = -2*j - 3*z + z, z - 5 = 0. Does 13 divide j?
False
Suppose -4*v + 4*s = -100, 3*s = -3*v + 56 + 31. Suppose -b + 10 = 2*x + v, 0 = 4*x + 3*b + 39. Let t(o) = o**2 - o - 3. Is 13 a factor of t(x)?
True
Suppose 93*a - 74251 = 52*a. Is 36 a factor of a?
False
Let g = -53 + 53. Suppose 0 = -2*a - 8, 0*j - 3*j + 4*a + 256 = g. Is 10 a factor of j?
True
Let c = 45 - 16. Let r = -11 + c. Is 9 a factor of r?
True
Let g = -68 + 280. Is 3 a factor of g?
False
Suppose 5*a - 1180 - 1240 = -g, 5*a - 3*g - 2400 = 0. Is 7 a factor of a?
True
Suppose -5*r + 2385 = -4*a, -4*a = 5*r - 799 - 1586. Is 14 a factor of r?
False
Let p = 1801 - 96. Is 75 a factor of p?
False
Let y be (22/8)/((-10)/(-680)). Suppose y = 13*u + 18. Is u even?
False
Let h(k) = k**3 + 6*k**2 + 4*k + 1. Let p be h(-5). Let q = p - 7. Is 13 - (q + (1 - -1)) a multiple of 8?
False
Suppose -13*g = -18*g - 105. Does 27 divide 7/g + -2 + (-176)/(-6)?
True
Let x = -7 + -3. Is (-6)/15*x*5 a multiple of 14?
False
Suppose 2*g + 2*g = 88. Let v be (-402)/(-33) - 4/g. Suppose 2*x - 4*k = 100, 0 = 4*k + 4 + v. Is 14 a factor of x?
True
Is 2664/12*(-25)/(-30) a multiple of 2?
False
Let v(m) = m**2 + 12*m + 27. Let p be v(-11). Suppose 17*f = p*f + 413. Does 61 divide f?
False
Suppose 5*h - 754 = 146. Does 36 divide h?
True
Suppose -3*r - 159 = l - 3*l, 0 = r - 4*l + 53. Let c = 93 + r. Does 10 divide c?
True
Is (13 + -1291)/(2/4 - 2) a multiple of 22?
False
Suppose -m + 10 + 0 = 0. Is 25 a factor of (m/3)/(((-196)/(-105))/14)?
True
Suppose 0 = 44*v - 18580 + 5380. Does 29 divide v?
False
Let j(a) = 50*a - 7. Let y be j(3). Let h = -95 + y. Is h a multiple of 6?
True
Let j(y) = -13*y + 1. Let s = -3 + 9. Suppose 2*i - 4 = s*i. Is j(i) a multiple of 7?
True
Let b = -10 - -22. Let o be b - 0 - (-1 - -1). Suppose -u + r + o = -4*r, 31 = 4*u - 3*r. Is 3 a factor of u?
False
Let m = 54 + 6. Let t = 188 + m. Is 19 a factor of t?
False
Suppose -g = -w - 16, 6*g - 2*g - 28 = w. Let q = w - -88. Suppose -3*x = -6*x, -4*s = -2*x - q. Is s a multiple of 8?
False
Let h = 120 + 604. Does 3 divide h?
False
Let b be (-17 + 11)*4/6. Let k be 6/15 + b/10. Is 1*(k - -10) + 3 a multiple of 13?
True
Let q(m) = -m**2 - 14*m - 13. Let t be q(-10). Let x be (-19 - 2/(-1))*1. Let b = x + t. Is b a multiple of 3?
False
Let q(i) = i**3 + 9*i**2 - 11*i - 10. Let y be q(-10). Suppose 3*v - 6*g - 94 = -g, 4*v - 5*g - 122 = y. Is v a multiple of 9?
False
Suppose -2*l = -4*p + 186, -3*p - 3*l - 33 = -168. Suppose -b + p = -20. Suppose 10*z = 9*z + b. Is z a multiple of 23?
False
Let u(s) = 3*s - 24. Let d(l) = 2*l - 16. Let g(w) = -7*d(w) + 5*u(w). Is g(13) a multiple of 4?
False
Suppose -5*t - 8 = -18. Is 6 a factor of ((-22)/33)/(t/(-207))?
False
Let m(r) = -71 + 72 - 4*r**2 + r**3 + r - 28*r**3 + 6*r**2. Is 29 a factor of m(-1)?
True
Let n(i) = i**2 + 30. Is 6 a factor of n(0)?
True
Suppose 0 = 4*o - 14 - 6. Let m(f) = 3*f + f + 13 - 10 + o*f**2 - 2*f**2. Is m(-4) a multiple of 18?
False
Let s be 0/(1 + 4 + -4). Suppose 2*u - 7 = -j + 3*u, -3*j - 3*u + 3 = s. Suppose 4*z = -3*g + 60, j*g + 5*z - 27 = 54. Does 19 divide g?
False
Is 6 + (-9)/(-24) + (-39272)/(-64) a multiple of 7?
False
Suppose -6*a = 14*a + 1560. Let p = a - -245. Is 43 a factor of p?
False
Let q be 15*(-12)/(-15)*1. Let v be q/3*6/8. Is 81 + (-6)/v - -1 a multiple of 20?
True
Suppose 2*f - 4*h = -20, 2*f - h + 15 = 4. Let l(q) = 4*q + 17. Let y be l(-7). Let b = f - y. Does 7 divide b?
True
Let t be (-105)/(-14) - (-6)/(-4). Suppose t = d - 2*d. Let w(b) = -b**3 - 6*b**2 - 6*b. Is 12 a factor of w(d)?
True
Let b(w) = 20*w - 208. Is 3 a factor of b(14)?
True
Let c be (-2)/14 + 2261/49. Suppose z - 4*k = c, 2*k + 8 = -0*k. Does 4 divide z?
False
Let k = 135 + 355. Is k a multiple of 31?
False
Suppose -15 = 4*s + 5*d, 7 = 4*s - 3*d - 2. Let u be (s + 2)/2*74. Let k = u - 44. Does 15 divide k?
True
Let i = -19 + 48. Suppose i*f = 28*f + 169. Is f a multiple of 6?
False
Let b = 262 + -115. Suppose -4*c + 5*v + b = -157, 4*c - 3*v = 312. Is c a multiple of 9?
True
Let k(l) = 21*l - 14. Is 14 a factor of k(16)?
True
Suppose -2*f - 37*l + 634 = -33*l, -1609 = -5*f - 4*l. Is f a multiple of 13?
True
Let d = 15 + 6. Let z = d + -24. Does 13 divide (13/z)/(2/(-18))?
True
Let u(y) = 2*y**3 + 5*y**2 + 35*y + 12. Is u(7) a multiple of 54?
True
Let g(m) = m - 5. Let k be g(5). Suppose k = 15*d + 161 - 1211. Does 7 divide d?
True
Suppose 3*s - 2*s + 6 = 0. Let v be 580/s*(-27)/18. Suppose -5*b - z = -5*z - 374, 2*b = -3*z + v. Is 20 a factor of b?
False
Let x(z) = z**3 + 9*z**2 - 4*z - 16. Let y be x(-10). Let l be 32/144 - y/(-18). Is (l - -20)*(-21)/(-6) a multiple of 14?
True
Let h = -55 - -111. Suppose -13*w + 5*w = -h. Does 3 divide w?
False
Let p(t) be the second derivative of t**5/20 - 5*t**4/3 - 11*t**3/3 + 51*t**2/2 + 48*t. Does 3 divide p(21)?
True
Let l be (0 - 3) + (-2 - -3). Is l/7 - (-994)/49 a multiple of 6?
False
Let c(i) = i**3 - 2*i**2 + 5*i + 3. Let a be c(3). Let o = 34 - a. Is o even?
False
Suppose -2*a = -4*a + 1116. Let d = a + -391. Is 13 a factor of d?
False
Does 16 divide ((-495)/12 + 17)*(-8)/1?
False
Let p = 31 - -124. Is p a multiple of 3?
False
Suppose 0*b = -3*b + 51. Let n = 18 - b. Is (n/(-2))/((-1)/156) a multiple of 12?
False
Let x(t) be the third derivative of 7*t**5/60 - 5*t**4/24 + 8*t**2. Let r be x(5). Let g = -96 + r. Does 18 divide g?
True
Let l(z) = -78*z**3 - 2*z**2 + 3*z + 2. Let o be l(-2). Suppose -12*c + 3*c = -o. Does 17 divide c?
True
Let y be (2 - 2 - -1)*(-3)/(-3). Does 14 divide y - ((-87)/1 + 4)?
True
Suppose 0 = -5*f + 4 + 1. Let o(i) = -5*i + i**3 - 7*i**2 + f + 3*i**2 - 4*i**2 + 21. Does 9 divide o(9)?
False
Suppose 19 = -b - 13. Does 16 divide b/(((-3)/5)/(33/22))?
True
Let i(p) = -p**2 - 10*p - 3. Let w be (63/(-36))/((-1)/8). Suppose -4*h + 1 = q + w, -2*q = -2*h - 4. Is 9 a factor of i(h)?
True
Suppose -5*x = 2 + 8. Is ((-4 - -5) + -3)*x even?
True
Let l = -883 + 1268. Does 7 divide l?
True
Let o(i) = -i**3 + 12*i**2 - 3*i + 18. Let f be (-72)/(-21)*(-42)/(-12). Let u be o(f). Is 23 a factor of ((-4)/(-3))/(u/(-783))?
False
Let a = 1207 - 652. Is 15 a factor of a?
True
Let d(j) = -j**2 - 9*j + 4. Suppose -2*z - 37 = 5*h, -3*h + 0*h - 19 = -2*z. Is 9 a factor of d(h)?
True
Let r(p) be the third derivative of p**5/60 + p*