2 - (-3)/(63/(-2))?
True
Suppose -11*m + 67 = 34. Suppose n + 4*d = 332, n = m*n + 3*d - 639. Is n a multiple of 6?
True
Suppose m - 3*m + 42 = -4*v, 2*v - 2*m + 24 = 0. Let b(a) = -88*a + 185. Is 65 a factor of b(v)?
False
Let u = -61 + 56. Is (114/u)/((-93)/1240) a multiple of 16?
True
Let g = -311 + 1057. Suppose 1206 = 5*a - z, 6*a - 5*z + g = 9*a. Is 22 a factor of a?
True
Let h = 893 + -903. Let i(f) be the first derivative of f**3 + 13*f**2/2 - 11*f + 1. Is 7 a factor of i(h)?
False
Let w = -156 - -225. Let n = 73 - w. Suppose h - n*a = 6*h - 1139, h - 2*a = 239. Does 33 divide h?
True
Let d(w) = -92*w + 1977. Is d(6) a multiple of 57?
True
Let g be (-2)/17 + (-1248)/663. Is ((-1)/g)/(9/48600*10) a multiple of 45?
True
Let d(x) = -335*x - 4. Suppose p + 152 = 28. Let z = p + 123. Does 26 divide d(z)?
False
Is 7 a factor of 15 - (5 - 2752) - (-12)/4?
True
Let g(r) = 2*r**3 - 95*r**2 + 54*r + 362. Is 41 a factor of g(48)?
False
Let u(z) = -12*z - 35. Let c be u(-18). Suppose -395 = -24*g + c. Does 6 divide g?
True
Let i = 24788 - 12667. Does 391 divide i?
True
Suppose 9 - 3 = s. Suppose -s*j - 24 = 12. Let r(o) = o + 30. Is r(j) a multiple of 12?
True
Let b be 186/26 + 3/78*-4. Let h(x) = x**3 - 7*x**2 + 6. Let f be h(b). Suppose 0*p + 684 = f*p. Is p a multiple of 19?
True
Let q(a) = -115*a**2 + 2674*a - 3. Is q(21) a multiple of 12?
True
Let m(c) = c**3 - c**2 - 3*c + 4. Let g be m(2). Let n(p) = 3*p**2 - 2*p + 2. Let a be n(g). Is 17 a factor of 1065/21 - a/(-35)?
True
Suppose 25*l = 32*l - 7. Let m(x) = 1005*x**3 + x**2 + x - 1. Is m(l) a multiple of 102?
False
Is ((-920)/6)/((-240)/18 - -13) a multiple of 23?
True
Let i(z) = -38*z - 61. Let x be i(-5). Let s = 132 - x. Suppose -7*k + 3*k + s*g + 1398 = 0, 2*k = -g + 694. Does 29 divide k?
True
Let h(j) = -2*j**3 + 22*j**2 - j - 29. Let d be h(11). Let p = 65 - d. Is p a multiple of 18?
False
Let f = -3398 - -3900. Does 48 divide f?
False
Let x(k) = 102*k + 1601. Does 143 divide x(53)?
True
Let o(g) = g**3 + 15*g**2 + 12*g + 19. Suppose 5*b - 53 = n, 0 = -2*b - 0*b - 5*n + 32. Suppose -2*m = -k + 41 - b, -m = 4*k + 6. Does 10 divide o(m)?
False
Is 52 a factor of ((-515)/(-4)*4/10)/((-2)/(-208))?
True
Let l = -126 - -123. Let z be -3 - (l + -378) - 0/5. Let o = z + -224. Is 7 a factor of o?
True
Let v(n) = -52*n + 1107. Does 87 divide v(-54)?
True
Let v(h) = -803*h**2 + 3*h - 2. Let i be v(1). Let p = -208 - i. Does 43 divide p?
False
Suppose -2*h + 2*j = -17558, -3*j - 46 = -25. Is h a multiple of 86?
True
Suppose 0 = 4*w - 43 - 33. Suppose 15*c = w*c - 92. Let l = 51 - c. Does 28 divide l?
True
Let x(u) = 58*u**2 - 2. Let f = -219 + 222. Is x(f) a multiple of 15?
False
Is 16 a factor of (-25)/15 - 294175/(-105)?
True
Suppose 79*x = -88*x + 152*x + 43545. Does 5 divide x?
False
Does 24 divide ((1 - 0)*6)/(340/72080)?
True
Let w = 475 - 799. Let z = -254 - w. Is z a multiple of 6?
False
Let c(s) = 42*s**2 + 42*s + 173. Is c(-19) a multiple of 45?
False
Let g(k) = 646*k**2 - 37*k + 345. Does 32 divide g(6)?
False
Is (-835)/10*(-90)/1 a multiple of 135?
False
Let h(n) = -n + 10. Let z be h(7). Suppose 2 + 6 = 4*d, z*k + 2*d = 676. Is k a multiple of 13?
False
Suppose 0*f - f = 0. Suppose -4*s + 5*s - 1 = 0, 3*t + 5*s = 347. Is (t/(-5))/(f - 2/5) a multiple of 26?
False
Let k be (-5 - (-111)/21) + (-2766)/(-21). Let v = 105 + k. Does 8 divide 1*1/(714/v + -3)?
False
Suppose -12*h + 13*h - 1 = 0. Let z be (-3)/4 - (4626/(-24))/h. Let o = z - -21. Does 31 divide o?
False
Let a(q) = -3*q**3 - 37 - 324*q + 2*q**3 - 17*q**2 + 153*q + 154*q. Is a(-17) a multiple of 9?
True
Let x = -27182 - -53909. Is x a multiple of 177?
True
Suppose -113*j + 325385 + 270964 = 153841. Is 89 a factor of j?
True
Let z(s) = 5*s + 215. Let w be z(18). Suppose -2*g + 36 = -4*u + 472, -w = -3*u - 4*g. Does 35 divide u?
False
Suppose 67 = -5*k - 13. Is (k/(-6))/((-22)/11583*-9) a multiple of 15?
False
Let c be 3/1 + -1 + (-16)/8. Suppose c = 3*t - 5*t + y + 643, 5*y = -5. Is 4 a factor of t?
False
Is (-2)/(-9) + 1641*(-185)/(-135) a multiple of 3?
False
Suppose r = 5*g - 25, -6*g + 4*r = -g - 10. Suppose -7*i = -g*i - 52. Suppose z + d = 3, -4*z = -0*d - 4*d - i. Does 4 divide z?
True
Suppose -3*f - 5*n = -8195, 5*f - 412*n + 417*n = 13665. Is 11 a factor of f?
False
Let n = 2316 + -1057. Is n a multiple of 3?
False
Let k be (-2)/(-4) + (-117)/(-36)*206. Suppose -3*j = 4*o - k + 47, 3*j = 2*o - 325. Suppose 2*f + 5*b = o, 0 = f + 2*b - 19 - 61. Does 14 divide f?
True
Let z = -4 + 4. Let g(b) = 2*b**2 + 3*b - 12. Let x be g(3). Suppose a = -z*a - 4*h + x, a - 5*h = -3. Is a a multiple of 7?
True
Let q = -16 + 20. Suppose -38 + 10 = -q*w. Suppose -w*d - 192 = -10*d. Does 8 divide d?
True
Suppose 0 = 7*o + 6 + 64. Let d(f) be the first derivative of f**4/4 + 4*f**3 + 7*f**2 + 26. Is 11 a factor of d(o)?
False
Suppose -2885 = -2*x - 5*c, -5*x + 5781 = -x - c. Does 17 divide x?
True
Let q be (-138)/(-18) + (-4)/6. Let w = 12 - q. Is (-6 + w)/((-2)/24) even?
True
Suppose 0 = -4*q - 5*h + 15, -2*q + 4*q - h - 25 = 0. Suppose 2*n = -2*x + 14, 5*x - 25 = -3*n - q. Is 40 a factor of n/(-75) - (-3651)/45 - 1?
True
Is 3 + 11 - 17496/(-9) a multiple of 22?
True
Suppose 82*u - 84*u = -4. Is ((-14)/70)/(u/(-410)) a multiple of 14?
False
Let x(u) = 67*u**2 - 2*u + 1. Let n = 80 + -82. Let s be ((-12)/3 - n)/2. Is x(s) a multiple of 6?
False
Let q(k) = -5*k**2 - k + 20. Let y(v) = -4*v**2 - 2*v + 21. Let f(h) = 3*q(h) - 4*y(h). Does 13 divide f(-10)?
True
Let q = -4521 - -9360. Is q a multiple of 19?
False
Let r = -267 + 1387. Is 10 a factor of r?
True
Is 21 a factor of (-2)/(-6) - 171483/(-117)?
False
Let p = 12333 - 12403. Let z = -12 + 18. Let l = z - p. Does 10 divide l?
False
Let a = 8322 - 4513. Does 84 divide a?
False
Let m be (-561)/(-204) + (-2)/(-8). Suppose -518 = -l + m*i, 1829 = 4*l + 2*i - 243. Is 37 a factor of l?
True
Let m(p) = 294*p**2 - 580*p + 4700. Is m(8) a multiple of 22?
True
Let i(t) = -3*t**2 + 24*t + 58. Let n be i(10). Is 23 a factor of ((-3)/27 - 5489/9)*n?
False
Is 6/(-1)*1 - 65559/(-123) a multiple of 4?
False
Let q(d) = -2*d**3 - 13*d**2 - 50*d - 96. Is q(-13) a multiple of 5?
False
Let f be (8/(-72)*0)/(-1). Suppose 3*s - 2*x + 5*x - 4347 = f, -3*s = -x - 4359. Is 12 a factor of s?
True
Suppose 3*c + 2*f - 7 = 0, -5*c + 12 = -5*f + 8*f. Suppose -c*v - m + 577 = -2*m, 0 = 3*v - 3*m - 567. Is 11 a factor of v?
False
Does 9 divide ((-135)/20)/(48/(-11776))?
True
Let c be 170*((-12)/20)/(-3). Let t(i) = i**3 - 35*i**2 + 39*i - 69. Is 3 a factor of t(c)?
False
Let q = -218 + 158. Let u = q - -474. Is u a multiple of 46?
True
Suppose -4*r - 3 = 5. Let f = -4 - r. Does 7 divide (28/12 - 3)*f*12?
False
Suppose 5 = -d, -4*m + 1915*d - 1914*d + 13089 = 0. Is 23 a factor of m?
False
Let n = -297 + 303. Suppose -14 = -2*q - n, -189 = -3*b + 3*q. Is 14 a factor of b?
False
Suppose -5*x + 30 = 40, 5*l - 49673 = -x. Is 5 a factor of l?
True
Suppose 31*i + 16*i - 44368 = 0. Is i a multiple of 21?
False
Suppose 29 = r + 3*h, 4*r - r - 5*h = 73. Let o = 101 + -74. Suppose -r = -p + o. Does 6 divide p?
False
Let b = 11674 - 2114. Does 239 divide b?
True
Let w(y) = -733*y - 11385. Does 70 divide w(-65)?
True
Let x = -7838 + 21090. Is 13 a factor of x?
False
Let u(f) = -8 + f**2 + 30 + 6*f + 1. Let r = 4923 + -4930. Does 3 divide u(r)?
True
Suppose -5*v - 1778 + 188 = 5*s, -2*s + 312 = -v. Let r = v + 460. Is r a multiple of 6?
True
Suppose -5*a + 3526 = -3*g + 165, -a + 671 = -g. Is 52 a factor of 6/48*0 + a?
False
Suppose -7*c = -21, -2*u = -u + 5*c - 13036. Does 148 divide u?
False
Let s be ((-92)/(-20) + -5)/(2/20). Let z(g) be the second derivative of -5*g**3/2 + 9*g**2 - 2*g. Is z(s) a multiple of 11?
False
Let u(z) = -z**2 + 22*z - 115. Let p be u(12). Is p - (-1)/((-1474)/(-368) + -4) a multiple of 7?
True
Is -4 + 13 - ((-5)/(-5) + -19564) a multiple of 14?
True
Suppose 6*u - u - 32 = -3*o, 4*u - 8 = 2*o. Is u/(-24) + (-4 - (-1339)/6) a multiple of 6?
False
Let u(p) = 133*p**3 + 10*p**2 - 3*p + 107. Is u(6) a multiple of 81?
False
Let t(s) = s**3 + s**2 - 6*s + 3. Let d be t(-3). Let l be 4 + d*(8/6)/4. Suppose 5*m = -l*m + 1500. Is m a multiple of 30?
True
Let t(y) = y**3 + 8*y**2 - 2*y + 8. Let f be (-7)/(17