7*t. Is 51 a factor of t?
True
Let u = 256 - 152. Is 12 a factor of -8 + u/16 + (-1470)/(-4)?
False
Let c = 14 + -11. Suppose 45 = -0*x + c*x. Is x a multiple of 7?
False
Suppose -10*n = 5*n - 255. Let t be (8 - 7 - -3*n)/2. Suppose t*b - 22*b - 280 = 0. Is 7 a factor of b?
True
Let p = 8919 - 3457. Is 71 a factor of p?
False
Suppose 5*o = 3*g + 228, -3*o + 147 = -2*g + 2*o. Let s be -3 + 3*(4 - -39). Let q = s + g. Is 5 a factor of q?
True
Suppose 4*q + 230 = -2*o, 1 + 5 = -2*q. Let w = o + 187. Is 9 a factor of w?
False
Let s = 66 - 67. Let w be (3 - -6) + s + -3. Suppose w*n - 4*c - 42 - 69 = 0, n - 28 = -5*c. Does 4 divide n?
False
Is (0 + (-56)/5)*(-103 - 372) a multiple of 190?
True
Let u(l) = 3*l + 34. Let k be u(-10). Suppose -5*i = k*m - 342 + 40, -i + 76 = m. Does 6 divide m?
True
Suppose -10*o = o + 110. Is 23 a factor of (-6675)/o + 5/(-10)?
True
Suppose -5*f + 3*k + 2712 = 0, -3*k - 2118 - 51 = -4*f. Let d = f + -39. Is 36 a factor of d?
True
Suppose -78 + 2 = -4*x. Suppose -17*b + x*b = 66. Let h = b + -10. Is 23 a factor of h?
True
Let i = 221 + -214. Suppose 1200 = -i*t + 12*t - 5*x, -3*x = -4*t + 960. Does 25 divide t?
False
Let a(j) = 16*j + 107. Let v(w) = -5*w - 36. Let y(p) = -6*a(p) - 17*v(p). Is 20 a factor of y(-8)?
False
Suppose o = 1088 - 240. Suppose -318 = -2*u - q, -3*q - o + 202 = -4*u. Is 16 a factor of u?
True
Suppose d + 2*g + 1 - 3 = 0, 3*g - 6 = -3*d. Suppose -2 + d = -4*o. Suppose -38 = -3*s + r, 5*s - 2*r + 13 - 75 = o. Is 7 a factor of s?
True
Let j(o) = -22*o - 51. Let a be j(14). Let w = a + 509. Is 10 a factor of w?
True
Let u(d) = 20*d**2 - 5*d - 6. Let p be u(-7). Suppose 0 = 4*c - 3*y - p - 290, -2*c + 652 = -4*y. Is 27 a factor of c?
True
Let z be 72/96*(5 - 1). Suppose 37 = 2*t - m - 246, -z*m - 9 = 0. Is 14 a factor of t?
True
Let s(l) = 9*l**3 + 36*l**2 - 54*l + 49. Let i(g) = -5*g**3 - 18*g**2 + 27*g - 25. Let b(k) = 11*i(k) + 6*s(k). Is 10 a factor of b(16)?
False
Let l be (-5)/1 - -4 - (-80)/(-5). Does 23 divide 17/(-4)*(l - (-2 + 1))?
False
Suppose 0 = -4*l + 6*l - 8. Is 2 + ((-48950)/(-77) - l/(-14)) a multiple of 29?
True
Let v(i) = 134*i + 5. Let n be v(2). Let q = 540 - n. Is q a multiple of 11?
False
Let x = -70 + 74. Suppose -5*m + 4*m + 231 = 2*b, 0 = -x*m - b + 889. Is 11 a factor of m?
False
Suppose 4*j - 2221 - 1695 = -1076. Is 38 a factor of j?
False
Let b(w) = 4*w + 13. Let i(d) = -7*d - 28. Suppose 24 = -4*n - 0. Let s(j) = n*i(j) - 10*b(j). Is s(-10) a multiple of 3?
True
Let a be (-12)/(-21) + (-124)/(-28) - 7. Is 9 a factor of 225*a*(-6)/45*3?
True
Let t = -11092 - -11937. Does 65 divide t?
True
Let r be ((-14048)/20 - -2)*(-2 + -3). Suppose -4*o = 3*y - r, -5*y + 4366 = 5*o - 7*y. Does 46 divide o?
True
Suppose -4*i = 4*i. Suppose 5*c - 2*s - 358 = 3*c, i = -3*c + 4*s + 532. Is 8 a factor of c?
True
Does 14 divide ((-6)/8)/((-480)/13622400)?
False
Suppose -b = -5*b + 8. Let m be 152/19*b/8. Is (1/(-3))/(m/(-738)) a multiple of 19?
False
Suppose m - 21*m = 8260. Let x = m + 531. Is 2 a factor of x?
True
Let u(f) = 148*f + 1909. Is 21 a factor of u(5)?
False
Suppose -3*l + 5 = -13. Let q(w) = 82*w - 74. Does 22 divide q(l)?
True
Suppose 435*v = 414*v + 120960. Does 128 divide v?
True
Let n be (-2 + 24)/((-5)/(195/(-6))). Let q be -4*(33/6 + 1). Does 18 divide 3025/n + 4/q?
False
Let l = -8257 - -16628. Is l a multiple of 16?
False
Suppose 1740 = 4*o - 2*k, 1734 = -4*o + 8*o - 3*k. Is 9 a factor of o?
False
Let m = 893 - 550. Let q = m + -248. Does 19 divide q?
True
Let s(i) be the first derivative of -29*i**3/3 - 2*i**2 + i + 13. Let k be s(-2). Let t = k + 155. Is t a multiple of 12?
True
Let f = 9 + 15. Suppose -192 - f = -2*d. Suppose -9*g + 13*g = d. Is g a multiple of 9?
True
Let s(m) be the third derivative of 3*m**5/20 - 5*m**4/24 - 97*m**3/6 + m**2 - 74. Is s(-9) a multiple of 77?
False
Suppose 0 = 61*a - 1911835 + 367925. Is a a multiple of 84?
False
Let h be 10/(-3) - -2 - 98520/(-180). Suppose 5*v - m = h, -5*v - 3*m = -7*m - 534. Is 4 a factor of v?
False
Let s(x) = 34*x**2 - 15*x - 387. Is 26 a factor of s(-12)?
False
Suppose 588 - 10477 = -29*q. Let u = q + -198. Does 10 divide u?
False
Let s(t) = -t**3 + 2*t**2 + 395. Let b(h) = h**3 + 9*h**2 - 2*h - 18. Let i be b(-9). Does 25 divide s(i)?
False
Let n = 7525 - 1637. Is 46 a factor of n?
True
Let p = 14399 - 4811. Does 109 divide p?
False
Let l(d) = 10*d - 55. Let o be l(7). Suppose -1340 - 4060 = -o*m. Is 30 a factor of m?
True
Suppose 0 = 121*z - 11*z - 174695 - 102065. Is z a multiple of 148?
True
Suppose 15*q = 20*q. Let c(s) = s**3 + s**2 + s + 35. Let y be c(q). Suppose -53 - y = -2*h. Is 22 a factor of h?
True
Let r(c) = c**3 + 21*c**2 + 3*c - 9. Let f be r(-19). Let w = -432 + f. Is w a multiple of 4?
True
Let j(x) = 13*x**3 - 5*x**2 + x. Let c be j(-3). Let s = c - -483. Does 2 divide s?
True
Suppose -7*m + 72 = -m. Suppose 0 = -3*k - 48 + m. Let t(g) = -g**3 - 10*g**2 + 14*g - 15. Does 17 divide t(k)?
False
Suppose -46*x + 21 = -45*x. Suppose -x*v + 3256 = -10*v. Does 13 divide v?
False
Let l be (-6 - 1) + 4 + 8. Suppose q - 260 = l*q. Let s = q + 142. Does 11 divide s?
True
Let b(q) = -2*q - 4*q**3 + 4*q**2 + 517 - 520 + 7*q**3 + q**3. Is b(2) a multiple of 3?
False
Let a(t) = 15*t**2 - 2*t + 2. Let p(b) = b**3 - 20*b**2 - 19*b - 40. Let l be p(21). Let h be a(l). Suppose -y = 15 - h. Is y a multiple of 5?
False
Does 33 divide -9*24*-1*5*118/20?
False
Let p(g) = g**3 - 2*g**2 + 2*g + 3. Let j be p(5). Let q = j + -85. Suppose -2*l = 5*a - 245, q*l + 0*l - 5*a = 330. Is l a multiple of 13?
False
Let r(z) = -840*z**3 - 16*z - 16. Let q be (2 + 1 + -2)*(-4)/4. Does 28 divide r(q)?
True
Let c(j) = 2512*j**2 + 909*j + 3639. Is 129 a factor of c(-4)?
False
Suppose 0 = -6*q - 33*q - 17*q + 315168. Does 7 divide q?
True
Suppose 42*j - 1430 = 29*j. Suppose j*p = 106*p + 400. Is p a multiple of 10?
True
Suppose -5*i = -3*y + 10292, 5*i = 2*y - 4*y - 10297. Let q = -1431 - i. Is 23 a factor of q?
False
Let t = 149 - 100. Does 11 divide 2/7 + (-161)/t - -63?
False
Suppose -2*b = i - 757, -2*b - 120*i = -123*i - 777. Does 3 divide b?
True
Suppose 618*q = 735*q - 616707. Does 7 divide q?
True
Let z(m) = 533*m + 9733. Does 154 divide z(15)?
False
Suppose -108 = -3*v - 3*o, 5*v - 2*o - 174 = v. Suppose 0 = 43*p - v*p - 990. Is 55 a factor of p?
True
Let u = -1016 + 537. Let f = -219 - u. Is f a multiple of 10?
True
Let q(b) = -278*b**2 - 4*b**3 - 40 + 308*b**2 - 2*b + 5*b**3. Is q(-30) a multiple of 7?
False
Let w(h) = -14*h + 40. Let p be w(5). Let l be 20/(-3)*p/(-4). Let m = 116 + l. Is 6 a factor of m?
True
Suppose -21*j + 76 = 17*j. Suppose 0 = -j*l + q + 20, -l = -5*q - 4 - 6. Does 5 divide l?
True
Let q(p) be the second derivative of -p**3/3 - 24*p**2 - 26*p. Let b be q(-17). Is (8/b)/(20/(-3010)) a multiple of 43?
True
Let j(g) be the third derivative of -49*g**4/8 + 7*g**3/2 - 13*g**2. Let x be j(-9). Suppose 4*l + 8*l = x. Is l a multiple of 16?
True
Suppose 6 = 8*m - 7*m, -5*p - m + 4056 = 0. Is p a multiple of 135?
True
Is 15 a factor of (-840570)/80*-6 - 27/(-12)?
True
Suppose -2*w = 37 - 23. Let i(y) = -y**2 - 8*y + 16. Let c be i(w). Suppose 3*f - c = 37. Is f a multiple of 5?
True
Let s be (132/20 - 7)*5. Let i(u) = -76*u**3 + u**2 + 8*u + 20. Is i(s) a multiple of 77?
True
Suppose -119*x = -124*x + 15. Is 3 a factor of (-3340)/(-20) - 24/x?
True
Let j(m) = m**2 - 20*m + 1500. Is 25 a factor of j(45)?
True
Is 39 a factor of 13/((-6)/1140*(-10)/12)?
True
Suppose -2*h + 3*j = -4, -7*h + 16 = -4*h - 2*j. Suppose -h*p + 21*p - 78 = 0. Is p a multiple of 2?
True
Let w(f) = -2*f**3 - 14*f**2 - 15*f - 21. Let n be w(-12). Suppose -3*y + 6*r + n = 3*r, y = -3*r + 525. Does 44 divide y?
False
Suppose 1857 = -145*f + 148*f. Suppose -4*k = 2*i - 8, 4*i - 2*i = 4*k. Suppose q = -5*m + 172, i*q - f = -2*q + 3*m. Is 34 a factor of q?
False
Let g(x) = 1589*x**2 - 5*x - 2. Suppose -5*h + 5*o = 3 + 2, -5*o - 4 = 4*h. Is 25 a factor of g(h)?
False
Let u(r) = r**3 - 9*r**2 - 7*r + 9. Let o be u(-5). Let i = -202 - o. Is 26 a factor of i?
True
Let b(y) = 29*y**2 + 20*y + 13. Does 11 divide b(-6)?
False
Let p = 79 + -64. Let g = 67 - p. Is 4 a factor of g?
True
Let m(s) = -s**3 - 47*s**2 + 99*s - 257. Is m(-53) a mult