False
Let t be (-892)/(7/2 + 15/(-6)). Does 15 divide (-72)/(-54) - t/6?
True
Suppose 3*g = 3*x + 313 + 3773, -5*g + 6802 = -x. Is 8 a factor of g?
True
Let u = -51 + 88. Suppose -a = -j - u, 4*j + 0*a = -5*a - 175. Let l = -22 - j. Is l a multiple of 5?
False
Suppose -2*t + 224*y - 222*y = -7068, -7072 = -2*t + 3*y. Does 14 divide t?
False
Let w = 6738 - 4480. Is 8 a factor of w?
False
Suppose 80034 = n + 45756. Does 174 divide n?
True
Let p = -90 + 79. Let n(z) = z**2 + 2*z + 33. Does 5 divide n(p)?
False
Let s be (4 + 11/(-3))*(2 + 13). Suppose -3*h + 4 + s = 0. Is 450/h + -3 - 0 a multiple of 21?
True
Suppose -558*c + 521*c + 407000 = 0. Is 25 a factor of c?
True
Let t be (-1684)/4 - (6 - 2). Let m = 485 + t. Is m a multiple of 20?
True
Let v = -20741 + 29207. Does 51 divide v?
True
Let o(s) = 61*s**2 - 119*s + 1376. Does 56 divide o(15)?
False
Let d(t) = 3*t**2 + 84 - 82 - 2*t - t**2. Let p be d(2). Let b = 42 + p. Does 12 divide b?
True
Let u = 12 + -9. Suppose u*k - 32 = 1018. Suppose 3*f - k = -4*f. Is 10 a factor of f?
True
Let s = 29479 + -20630. Is 126 a factor of s?
False
Let f(k) = 611*k + 979. Is 41 a factor of f(7)?
False
Let o(r) = r**2 - 27*r + 182. Is 13 a factor of o(53)?
True
Suppose 22*r - 39 - 27 = 0. Suppose 3*v - 93 = -0. Is 30/24*(r/(-1) + v) a multiple of 5?
True
Suppose -3*h + 3*g + 2*g = 10, -4*h + g + 15 = 0. Is 1*(1 + 62)*h a multiple of 10?
False
Let f(x) = 16*x**2 + 4*x - 3. Let k be f(1). Let l(d) = -d**3 + 19*d**2 - 21*d - 21. Let p be l(k). Suppose -7*q + 12*q - p = 0. Is q a multiple of 8?
True
Let b be (-2)/5 + 459/85. Let f(g) = 2 - 9 + 2 + 26*g. Does 15 divide f(b)?
False
Let r(k) = -379*k + 4306. Is 122 a factor of r(-16)?
True
Is (4/16 + (-141438)/56)*-21 a multiple of 53?
False
Let p = -64 + 480. Suppose -2*r - r - 324 = -4*n, -r = -5*n + p. Is n a multiple of 12?
True
Suppose -2 = -n - 3. Let c be 4 + -2 + -1 + n. Is 7 a factor of c*(40/(-12) + 3) + 45?
False
Let p be (-474)/(-1) + -3 + (-24)/(-4). Let x = 1044 - p. Is 21 a factor of x?
True
Let z = -2282 - -4068. Is z a multiple of 47?
True
Suppose 0 = -60*g + 66*g + 2574. Let a = g - -611. Does 13 divide a?
True
Let f(s) = 83*s**3 - 25*s**2 + 138*s - 229. Is 23 a factor of f(5)?
False
Is 8 a factor of 450/(-20)*(3 - (-325)/(-15))?
False
Let a(j) = 1 + 1 - 1. Let p(h) = -9*h - 14. Let q(x) = -6*a(x) - p(x). Is q(8) a multiple of 13?
False
Is (1 - 3)*7236/(-72) a multiple of 2?
False
Let m = -5042 - -7562. Is 36 a factor of m?
True
Suppose -3*g + 732 = -3*k, -2*g + 0*g - 2*k = -472. Suppose -2*n + 220 = 2*z, 2*z + 0*z + 10 = 0. Suppose c = 5*j + n, -4*c + g = 5*j - 245. Does 24 divide c?
True
Let s = 4967 - -632. Is s a multiple of 11?
True
Suppose 4*q - 66 = -d, 4*q + 150 = -64*d + 67*d. Is d a multiple of 18?
True
Let o = -11 - -14. Suppose -w = -4*r + 2, o*w - r - 3 = 2. Suppose -4*j + 49 = 3*m, -w*m + 34 = 3*j - j. Is m even?
False
Suppose 5*k - 9 = -3*a, 0 = 2*k + a + a - 6. Suppose 49*n - 44*n - 50 = k. Let c(m) = m**2 - 3*m - 10. Is c(n) a multiple of 5?
True
Let v = -8224 + 8292. Is 4 a factor of v?
True
Let f(j) = 2253*j - 114. Does 36 divide f(2)?
True
Suppose 5*q - 15 = -5*l, -5*q + 2 + 4 = 2*l. Let k(n) = -37*n - 4. Let a be k(-5). Suppose q = -4*u + a + 75. Does 16 divide u?
True
Let u(v) = -5*v - 30. Let j(r) = -5*r - 31. Let b(c) = -3*j(c) + 4*u(c). Let y be b(-6). Suppose -3*k + y*m + 141 = 0, 3*m + 2 = 5*m. Is k a multiple of 10?
False
Let l = -29978 + 56564. Does 42 divide l?
True
Let t(m) = -126*m - 79. Let y be t(-37). Suppose 10*a = 4697 + y. Is a a multiple of 16?
True
Suppose 3*a = 2*a - 3*b, a = 5*b - 16. Let w be 4 - (3 + a) - (2 + 1). Suppose 0*g = 4*t - w*g - 40, -1 = g. Does 3 divide t?
True
Does 52 divide 18/(-4) - -2 - (-20)/(-40) - -3974?
False
Let u be (-31 + 46)/((-9)/(-2262)). Suppose u = -116*l + 129*l. Is 46 a factor of l?
False
Suppose 5*p = -3*u + 16, p - 24 = 4*u - 7. Suppose 2*x - 475 = -x - f, -4*x + 665 = -p*f. Does 8 divide x?
True
Let i = 53919 + -14719. Is i a multiple of 102?
False
Suppose -32774*y = -32792*y + 17874. Is 11 a factor of y?
False
Suppose -5*c = 3*g - 341, -5*c + 6*c - 4*g - 59 = 0. Suppose -60*n = -c*n + 3388. Is n a multiple of 121?
True
Is 51 a factor of (-2)/(-1) - 998*(-185)/10?
False
Let a(d) = -10*d**3 - 9*d**2 - 51*d + 78. Is a(-11) a multiple of 10?
True
Let z be (-1372)/10 + 4/20. Let u(r) = 5*r**2 - 10*r + 25. Let a be u(-6). Let x = a + z. Is 11 a factor of x?
False
Let g(q) = -5269*q + 536. Is g(-1) a multiple of 15?
True
Let a(f) = -2*f - 3. Let m be a(-4). Suppose 0 = -3*d - 6, -m*b + 3*d + 211 = 0. Is b a multiple of 2?
False
Suppose 3 = -3*z, -3*u - 9*z + 7*z - 2153 = 0. Let a = u - -1053. Is a a multiple of 14?
True
Let t = 495 - 496. Is 20 a factor of -117*17*t/3?
False
Let t = -20 + 41. Let x(a) = t + 7*a**2 - 3*a - 14 - 3. Is 8 a factor of x(2)?
False
Suppose -5*m - 344 = -m. Suppose 4*o - 1017 = 3*u, 3*u + 764 = 3*o + 2*u. Let f = o + m. Is 47 a factor of f?
False
Let f(d) = -6*d**2 - 13*d + 12. Let w be f(1). Let t(v) = -7*v + 272. Is 4 a factor of t(w)?
False
Let o(k) = -168*k - 1010. Is 12 a factor of o(-13)?
False
Let h(m) = 18*m**2 + 2*m. Let f(y) = 7*y - 23. Let s be f(11). Let w = s - 55. Is 3 a factor of h(w)?
False
Let y(x) = 85*x - 40. Let c(o) = 21*o - 10. Let z(u) = 9*c(u) - 2*y(u). Suppose 52*k - 300 = 24*k - 47*k. Does 10 divide z(k)?
False
Suppose -591114 = -146*h + 873407 + 256527. Is h a multiple of 25?
False
Is (2*-2)/((-120)/215580) a multiple of 6?
False
Let k(b) = 5484*b**2 - 71*b - 2. Is 9 a factor of k(-1)?
True
Let p = 420 - 259. Suppose 0 = 4*s - 255 - p. Suppose 5*z - s = -l, z - 46 = -2*l + 171. Is 14 a factor of l?
False
Suppose -y - 4*k + 305 = 0, 0 = 2*y + 2*y - 3*k - 1125. Suppose 3*f = -10 + 241. Suppose y = 4*w - u, 3*u - 4 - f = -w. Is 8 a factor of w?
True
Let i be 8/6 + ((-35)/(-15))/(-7). Does 4 divide i/6 - (-2101)/66?
True
Let v be 1 + -3 + 62 + (-4 - -1). Suppose -8*w = -15 - v. Suppose 930 = w*y + 12. Is y a multiple of 35?
False
Let g(z) = z**3 - 59*z**2 + 170*z - 120. Let w be g(56). Let c(m) be the first derivative of -m**4/4 - 3*m**3 - 7*m**2/2 + 32*m + 1. Is 7 a factor of c(w)?
False
Let j(m) be the second derivative of m**2 + 0 - 20*m - 1/6*m**4 + 13/3*m**3. Does 6 divide j(11)?
False
Let z = 1 + 28. Suppose 3*m - 4*m + 18 = 0. Let i = z + m. Is 31 a factor of i?
False
Let x(v) = -257*v + 672. Is 24 a factor of x(0)?
True
Let q = 589 + -401. Suppose -6*h + q = -352. Is h a multiple of 3?
True
Let q be (-9)/(-2) + (30/20)/3. Suppose 322 = k + q*a, 8*a = 4*k + 4*a - 1240. Is 13 a factor of k?
True
Let r(v) = 2*v**2 - 3*v - 6. Let z be r(4). Suppose -z*p = -21*p + 2352. Is 24 a factor of p?
True
Let v = -1130 - -6618. Is 58 a factor of v?
False
Is ((-101296)/156)/(1/(-9)) a multiple of 12?
True
Let d(n) = -92*n + 744. Let q be d(8). Suppose 2*w + 42 = 12. Let c = q - w. Is c a multiple of 3?
False
Suppose 23*o - 5327 = 30*o. Let b = o + 1291. Is 53 a factor of b?
True
Suppose -12*x - 1608 = -4*x. Let o be 3/7 - 32526/91. Let b = x - o. Does 26 divide b?
True
Let a be (-357)/(-6) + (10/(-4))/5. Suppose 312 = a*h - 57*h. Is 6 a factor of h?
True
Let t(j) be the first derivative of 4*j**3/3 + 13*j**2/2 + 8*j - 12. Let i be t(-11). Suppose h - m - 33 = 35, -4*m = 5*h - i. Does 20 divide h?
False
Let d(l) = -l**3 + 1. Let w(k) = -2*k**3 - 21*k**2 - 14*k + 13. Let q(h) = -d(h) + w(h). Let c be q(-21). Suppose -3*m = 6 - c. Does 50 divide m?
True
Suppose 5*g + x - 26 = 44, 3*g + x = 42. Does 10 divide 23/(-7) - (-4)/g - -83?
True
Let t = 435 + 2353. Does 17 divide t?
True
Let u = -2571 + 2753. Is 7 a factor of u?
True
Let v(x) = -x**2 - 8*x + 21. Let z be v(-10). Suppose -2*s = z - 17. Suppose -5*k - s = -53. Is 7 a factor of k?
False
Suppose k + 11*a - 6*a - 5149 = 0, 0 = -5*a - 5. Is k a multiple of 6?
True
Let n(l) = 2*l + 16. Let m(s) be the third derivative of -s**6/120 + 17*s**5/60 + 5*s**4/3 - 14*s**3/3 + 12*s**2. Let q be m(19). Does 18 divide n(q)?
True
Suppose -4*a - 11 = 5, -4*m = 4*a - 16. Let l(k) = 2*k**2 - 10*k + 9. Is l(m) a multiple of 19?
True
Let i = 39246 - 25326. Does 12 divide i?
True
Let m(k) = -55*k + 30. Suppose -5*f = 5*p + 55, f - 7 = -3*p - 26. Is m(f) a multiple of 26?
False
Let g(a) = -246*a**2. Let 