- 54955, 2*c - u = 21985. Is 36 a factor of 1 - c/(-18) - (-54)/243?
True
Let k = -22398 - -27022. Is k a multiple of 68?
True
Is 161 a factor of (-48)/(-42) - (-10760244)/308?
True
Let d be (1/(-2))/(-1*(-4)/(-40)). Suppose 13 = d*j + 3. Suppose -3*z = -2*u + j*z + 271, -4*u - 2*z = -530. Does 19 divide u?
True
Let n(h) = -h + 15. Let d be n(15). Suppose 3*b - b = d. Suppose -3*l = 4*k - 442, b = -5*l - 5*k + 459 + 286. Is l a multiple of 26?
False
Let o be (-38)/(-8) + 96/(-128). Let v be (o - (-27)/(-6))*-1*-4. Does 30 divide 26 - (2 + v + -4)?
True
Suppose -9*j + 212 = -346. Suppose -6*l - j = -542. Does 8 divide l?
True
Let j be 47 + (2 - 0)*1. Let n be 47 - (-13 + (-1 - -13)). Suppose -n*b - 104 = -j*b. Is b a multiple of 12?
False
Suppose -3*x = -29 - 1483. Suppose 8*a - 14*a + x = 0. Let y = a - 42. Does 29 divide y?
False
Suppose 24*g = 26*g + 24. Let m(k) = 3*k**2 - 31*k - 29. Does 31 divide m(g)?
True
Suppose -4*q - 13*q = -68. Suppose -q*i + 0*g + 217 = g, 4*g + 86 = 2*i. Is 9 a factor of i?
False
Is ((-100)/(-175) - (-29110)/(-7))*17/(-2) a multiple of 119?
True
Let l = -69 - -70. Let t be 2/((-8)/1532)*-1 + l. Suppose -t = -3*d - 3*u, -9*d + 122 = -8*d + 4*u. Is d a multiple of 6?
False
Let i = 93 - 13. Suppose 4*g = -127 + 39. Let t = g + i. Is t a multiple of 25?
False
Suppose -3*t - 4*n + 33632 = 0, 2*t + 2*n - 33288 + 10862 = 0. Is 85 a factor of t?
True
Let m be (7/2)/(182/104). Suppose 28 = -5*q - 42. Is 3 a factor of (80/m - 0)*q/(-35)?
False
Let x(t) = t + 12. Let k be x(-8). Suppose 4*z = -k*b + 2*b + 26, 3*b = -3*z + 33. Suppose -b*q = -14*q + 180. Is 15 a factor of q?
False
Let u = -481 - -485. Let h(x) = 5*x + 18. Is 5 a factor of h(u)?
False
Suppose 0 = -50*y + 41*y + 3240. Suppose 3*n - n = y. Is n a multiple of 13?
False
Let g(d) = d**2 - 32*d + 48. Let c be g(31). Suppose 503 = -c*w + 1659. Is w a multiple of 8?
False
Let y(m) = m**3 + 17*m**2 - 12*m + 11. Let x be 1 + 2 + -2*10. Let s be y(x). Suppose 3*h = -4*q + 227, 4*q - h - 8 - s = 0. Is 8 a factor of q?
True
Suppose -5*c + h + 105 = 0, -5*c + 105 = h + h. Suppose -8*i + 51 = -c. Suppose i*f - 251 - 19 = 0. Does 3 divide f?
True
Let f = 2208 - -8162. Is f a multiple of 61?
True
Let i(l) = -2*l + 34. Let m = 36 + 0. Suppose -4*z = 8 + m. Does 7 divide i(z)?
True
Suppose -95567 = -11*y + 201488. Does 69 divide y?
False
Suppose 0 = i - 1, 20*o + 2*i - 19037 = 15*o. Is 81 a factor of o?
True
Suppose -4*b - 23458 = -3*c, 0 = c + 11*b - 7*b - 7846. Does 26 divide c?
True
Let a = 3560 - -7808. Is 8 a factor of a?
True
Suppose -8588 - 2332 = -3*q. Is 178 a factor of q?
False
Suppose 5*l + 137007 = 4*u, 6*u - 3*u - 102750 = 3*l. Does 121 divide u?
True
Suppose 31*v - 33*v = -12. Does 22 divide -154*4*(-3)/v?
True
Let f(n) = n**3 + 3*n**2 - 7*n**3 - 4*n - 4*n**3 - 18 - n**3 + 10*n**3. Is f(-7) a multiple of 25?
True
Let p be (-3152)/(-88) + (-12)/(-66). Suppose 0 = -p*d + 43*d - 6370. Is d a multiple of 26?
True
Suppose 14 = -5*g - 0*u + 2*u, -6 = 2*g - u. Is 4 a factor of g/6 + (-2958)/(-18)?
True
Is (-1 - -26712) + 4*(-6)/(-48)*2 a multiple of 212?
True
Let v be (-4)/(-7) - (-25776)/21. Let a = v - 766. Does 33 divide a?
True
Let w be 2 - 1/(4/188). Does 12 divide (3 + w/21)*448?
True
Is (-473557)/(-70) - (-30)/12 - (-4)/10 a multiple of 141?
True
Suppose 0 = 44*p + 36*p - 299200. Is 31 a factor of p?
False
Is (-33)/(9 + 903/(-100)) a multiple of 55?
True
Suppose -16 = 4*a, 4*a + 9 + 19 = 4*p. Let l(b) = 37*b**2 - 3*b. Let i be l(p). Is 4 a factor of i/(-45)*(-10)/3?
True
Let j(r) = 2*r**3 + 8*r**2 - 3*r - 7. Let x be j(-4). Suppose 2812 = 3*d + f, x*d = 3*f + 1601 + 3081. Is d a multiple of 46?
False
Let o be ((-63)/(-105))/((-2)/(-60)). Suppose z = 29 + o. Is 2 a factor of z?
False
Suppose 1361548 = 316*h - 561479 - 8075213. Is h a multiple of 87?
False
Suppose 3*y = x + 29, 0 = -5*x + 5*y - 97 - 58. Let j(f) = -f**3 + f**2 - 2*f - 3. Let m be j(-3). Let i = m + x. Does 2 divide i?
False
Let a = 254 + -248. Let z(y) = 34*y - 156. Does 16 divide z(a)?
True
Suppose -11*r - 27*r = -456. Suppose 422 = v - 75. Suppose 0 = -r*i + v + 475. Does 6 divide i?
False
Let v(m) = -11*m**3 - 3*m**2 + 6*m - 6. Let i be v(3). Let s = 450 + i. Suppose -5*c + s = -q, -3*c + 2*q - 32 = -4*c. Does 4 divide c?
True
Let i(n) = 78*n**2 - 280*n - 102. Is 248 a factor of i(23)?
True
Let z = -15086 - -27854. Is 91 a factor of z?
False
Suppose 23 = d + 22. Suppose 2*l - 124 = -b, -4*b = 2*l + d - 521. Is 10 a factor of b?
False
Let q(v) = -v**3 - 21*v**2 - 9*v - 35. Let f be q(-22). Suppose 0 = -5*t + o - 5*o + 1083, 3*t - f = -o. Is 6 a factor of t?
False
Let a = 416 + -416. Suppose a = 21*r - 1122 - 4800. Is r a multiple of 6?
True
Let l(v) = -3*v**3 + 20*v**2 - 2*v - 14. Let b be l(7). Does 17 divide (-5 + 3 + b)*-2?
False
Suppose 2*p + 4*z = 2, -3*z + 0*z = -p + 11. Suppose 5*r - 875 = p*b, 0*b - 175 = -r - 2*b. Is r a multiple of 14?
False
Suppose i = 9*i + 28*i - 681984. Does 64 divide i?
True
Suppose 0 = 5*l - 5*y - 23585, 35*l + 2*y - 14161 = 32*l. Is 11 a factor of l?
True
Suppose -7*o - 5*p = -4*o - 4837, 4*p = 3*o - 4846. Does 6 divide o?
True
Let s = -16937 + 24042. Is 20 a factor of s?
False
Let l(f) = 74*f - 1134. Is l(74) a multiple of 61?
False
Suppose 633 = y - 3*o, -10*o + 15 = -13*o. Does 6 divide y?
True
Suppose 3*o - 5*x = 56519, 75*x = -2*o + 73*x + 37658. Does 68 divide o?
False
Let b(h) = -1299*h**3 + h**2 - 3*h - 4. Let q(z) = -1299*z**3 + 2*z**2 - 3*z - 5. Let d(v) = 3*b(v) - 2*q(v). Is d(-1) a multiple of 48?
False
Suppose 5*a = -0*y - 2*y + 19, 4*a - 56 = -5*y. Suppose -y = -4*r + 4*f, -r - 3*f = f - 3. Suppose 0 = r*s - 97 - 56. Is s a multiple of 2?
False
Let n = -10433 + 29614. Is n a multiple of 68?
False
Let r(q) = q**3 - 2*q + 4. Let z be r(0). Suppose 1750 = 3*t + 3*p - 68, -z*p = t - 621. Suppose 4*l = 5*i - t - 114, 0 = -2*i - l + 286. Is 17 a factor of i?
False
Let g(l) = -96*l**3 - l**2 + l. Let v be g(1). Let i = v + 243. Let r = i - 74. Does 19 divide r?
False
Let u(r) = 7*r - 117. Let t be u(3). Is 32 a factor of 8/(216/(-171))*t?
True
Let c = -170 + 184. Is 3 a factor of (-4)/(-18) + c/(-63) - -17?
False
Let m = 18 - 17. Let n be ((-3)/6)/(m/(-4)). Suppose -4*r - f + 56 = -n*r, -3*f - 102 = -4*r. Is 21 a factor of r?
False
Let q(d) = d**3 + 19*d**2 - 3*d + 23. Let r be q(-14). Suppose 2*g = 2*x + 2082, -2*x - 3*x - r = -g. Is g a multiple of 26?
True
Let c be (-171)/(-33) - (-4)/(-22). Let b(p) = -p**2 - 15*p + 56. Let j be b(-18). Suppose c*z + 9 = -v, -3*z = -j*v - 8*z + 2. Is v a multiple of 4?
False
Let n = 239 + -154. Let u = -113 + n. Let k = 43 + u. Does 2 divide k?
False
Suppose -324*a - 143*a = -22390782. Is a a multiple of 16?
False
Suppose 5*y - 2*y - 6 = 0, 0 = u - y - 34. Suppose -2*m - d = 2*d, 4*m = 3*d - u. Let x(b) = -17*b - 25. Does 7 divide x(m)?
True
Suppose -3*w = 5*v - 433, 2*v + 146 = w - 2. Suppose w*n + 644 = 150*n. Does 7 divide n?
True
Let v be (-108)/(-14) - 4/(-14). Let p be 2245/10 - (-12)/v. Suppose -m + p = m. Is 32 a factor of m?
False
Suppose 3*t + 416 = -3*k - 196, -k + 836 = -4*t. Let h = 118 + t. Let s = -59 - h. Is s a multiple of 22?
False
Suppose 3*p - 75 = -60. Suppose 2*m + 0*m + 2*w = 250, -w = -m + 135. Suppose m = -p*u + 10*u. Is 20 a factor of u?
False
Let r = -443 + 570. Suppose -r*c + 115*c = -5616. Is c a multiple of 26?
True
Is 32 a factor of (17 - 39)*199/(-2)?
False
Suppose -y - d = 1, 2*y + 3*y + 3*d - 3 = 0. Let r be 13 + 88 + y*1. Let n = 220 - r. Does 36 divide n?
False
Suppose 5*g = z - 18240, -82*z + 86*z = 2*g + 72960. Is z a multiple of 285?
True
Let m be -11 - 2*(-3 + (-12)/(-8)). Let f be (m - -5)/18 + 2107/6. Suppose 4*h + 4*x - f = 65, 4*h - 416 = -5*x. Is h a multiple of 26?
True
Let z be -5 - (-7 - -9 - 6). Is (-9)/(81/(-66))*(z - -4) a multiple of 2?
True
Suppose 5*m - 11820 = 11010. Is 91 a factor of m?
False
Is (2 - (2 - 90))*(-5 + (-11323)/(-39)) a multiple of 80?
True
Suppose 2*q = -3*q - 80. Let h = q - -23. Let a(c) = -c + 27. Is 18 a factor of a(h)?
False
Let y be -2*(14/56 + 2/8). Let q(m) = -164*m - 24. Does 35 divide q(y)?
True
Let y = 9309 + -4917. Is 8 a factor of y?
True
Let j be 4 - 7 - 1 - -964. Suppose 3*x - 608 = 5*r, 5*r - j = -7*x + 2*x. Is x a multiple of 28?