*q**3 - 12*q. Is t(5) a multiple of 18?
False
Suppose 2*n + 183 = 6*n - o, n + 3*o = 62. Suppose 3*s - n = -k - 137, k + 84 = -s. Let w = k - -138. Does 7 divide w?
False
Suppose -36*x + 93624 + 69204 = 0. Is x a multiple of 120?
False
Suppose 2*g = -4*m + 2, 2*m = 2*g + 5 - 7. Suppose -5*k + 22*k - 3876 = m. Is 38 a factor of k?
True
Let c(s) = -s**2 - 2*s - 86. Let n be c(0). Is 3 a factor of (-1 + -1 + n)*(-51)/68?
True
Let w(g) = -195*g - 703. Is 16 a factor of w(-37)?
True
Let q(r) = -88*r + 345. Is 225 a factor of q(-60)?
True
Suppose 3515 = 5*h - 5*y, 2*h - 5*y - 68 = 1323. Is h a multiple of 59?
True
Suppose -25 + 7 = -3*r. Let u = 26 + -24. Suppose -4*w = f - 60, -4*w = -r*f + u*f - 40. Does 8 divide w?
False
Let j be 72*(3 + (-60)/16). Let p = 79 + j. Does 18 divide (3/(-12)*-4)/(1/p)?
False
Let d = -664 + 660. Is d/6 - 8175/(-45) a multiple of 16?
False
Let r = 2095 + -1064. Is 137 a factor of r?
False
Let y = 1366 + 1734. Is 155 a factor of y?
True
Let n = -105 + 110. Does 16 divide 260*((-36)/8 + n)?
False
Suppose -192108 = -12*f + 7*f + 3*h, -5*h + 153716 = 4*f. Is 121 a factor of f?
False
Let d = -12530 + 38290. Does 8 divide d?
True
Suppose -5*y - 4*l + 3*l + 1491 = 0, 0 = -4*y - 5*l + 1176. Let j = y + -168. Is 4 a factor of j?
False
Suppose -8940 = -4*p + 5*y, -5*y + 1795 = p - 465. Does 29 divide p/12 - (-2)/6?
False
Suppose 0 = 15*l - 1376 - 5419. Let q = l + -404. Is q a multiple of 7?
True
Let w(a) = 251*a**2 + 34 - 489*a**2 + 243*a**2 + 4*a - 17*a. Is 36 a factor of w(6)?
False
Suppose 60*v = 605*v - 416167 - 4261568. Is v a multiple of 60?
False
Let r = -61 - -88. Let h be (36 + -34)*(0 - (-1 - -5)). Let n = r - h. Is n a multiple of 7?
True
Is 2 + (-1)/(-1) + (12228 - (39 + -23)) a multiple of 35?
True
Suppose -143*u + 3*v = -145*u + 91769, -v = -5*u + 229397. Is 148 a factor of u?
True
Let x(u) = -11*u + 32 + 15 + 17*u - 5*u. Is x(7) a multiple of 9?
True
Suppose 0 = -27*n - 48*n + 174225. Is 55 a factor of n?
False
Let w(a) = -5*a + 14. Let m(l) = -l**3 + l**2 + l. Let b(z) = 4*z**3 - 10*z**2 - 6*z + 16. Let n(h) = b(h) + 3*m(h). Let p be n(7). Is 13 a factor of w(p)?
True
Let k(j) = -j**3 + 2*j**2 + 3*j + 4. Let s be k(3). Suppose 4*a - 1705 = -0*a - p, 1708 = 4*a + s*p. Suppose -7*t + 1301 = a. Does 25 divide t?
True
Suppose -39*d + 10 = -41*d, 223 = h - 3*d. Is 13 a factor of h?
True
Suppose 2*a = -3*b + 7*a + 37, 3*a - 39 = -5*b. Let p be (-1 + 1)*(-1 - 0). Suppose -n + b*n - 440 = p. Does 13 divide n?
False
Suppose 523 = 5*j - 4977. Suppose -2*c - n + 210 = -325, 4*c = 4*n + j. Is c a multiple of 30?
True
Suppose 60*p - 59*p - 1788 = 3*c, -2*c + 7152 = 4*p. Is p a multiple of 3?
True
Let u = 65 - 71. Let b be (-1)/u + (-3526)/(-12). Suppose -2*f + b = 4*f. Is f a multiple of 12?
False
Let h be 7 + 1 - 3 - (-1 + 2). Suppose -8 = h*n + 2*i + 2*i, -i - 6 = -n. Suppose -3*s - 5*w - 24 + 437 = 0, -n*s - 3*w + 275 = 0. Is 16 a factor of s?
False
Is 0/(6/8 - 121/44) - -646 a multiple of 8?
False
Suppose -123 - 9 = 3*i + s, 0 = 2*i + 5*s + 101. Let y = i + 43. Suppose y*v = -4*v + 160. Is 10 a factor of v?
True
Let g be 2*-5*(-6552)/(-105). Let b = -615 - g. Is b a multiple of 9?
True
Let p(o) = -o**3 - 16*o**2 - 16*o - 15. Let j be p(-15). Suppose j = r - 5. Suppose -r*z + 491 = -109. Is z a multiple of 30?
True
Suppose -5 = -14*x - 75. Is 1/3 + (x - 3669/(-9)) a multiple of 31?
True
Let d = -3 - -13. Let k be 133 + -76 - (0 - (0 - 3)). Let z = k - d. Does 3 divide z?
False
Let p(r) = 10*r + 5. Let h be (190/(-40))/(2/8). Let y = h - -30. Is p(y) a multiple of 21?
False
Let u = -56 + 52. Let t be 23 - (u/(-18) - (-165)/(-135)). Does 12 divide (-47)/(-2) + 12/t?
True
Let s = 3757 - 3755. Let m = 17 - -14. Suppose s*a - 93 = -m. Does 10 divide a?
False
Suppose 22563 = -74*f + 292811. Is f a multiple of 11?
True
Is 39 a factor of (2/12)/((-2)/(-9789))*(1 + 11)?
True
Let p be 168/(-15)*810/(-12). Let h = p + -452. Is 23 a factor of h?
False
Suppose 2540 = -145*r + 147*r + 4*t, 3*r + t - 3835 = 0. Does 32 divide r?
True
Let b(v) = -14*v + 5. Let q be b(-1). Suppose 5*o = 4 - q. Does 4 divide (-11 - -5)*16/o?
True
Let h(j) = -961*j + 3964. Is h(-10) a multiple of 8?
False
Let y(o) = -161*o. Suppose -12 = 4*k + 2*b, -b = -2*b - 4. Let c be y(k). Suppose 5*f - q - c - 70 = 0, 2*q = 5*f - 227. Is 5 a factor of f?
False
Suppose -2*i = 2*v - 123192, 254906 = 4*v - 2*i + 8498. Is 44 a factor of v?
True
Suppose 2*i + 60*a = 56*a + 2410, -3*a = -3*i + 3561. Is i a multiple of 55?
False
Let i = 83 + -40. Suppose 8*b - 4*b = -3*o + 7, i = 2*o - 5*b. Suppose -64 = r - o*r. Does 4 divide r?
True
Let q be -1*10*((-8)/5)/4. Suppose q*h - 3*h = -r + 343, 0 = 5*h + 25. Does 12 divide r?
True
Let v(b) = -3*b**3 - 4*b**2 + 144*b + 1134. Does 43 divide v(-8)?
False
Suppose -26050 = 4*i - 3*t - 97721, t + 89597 = 5*i. Is 140 a factor of i?
True
Let x = 5 + -1. Let t be (2 + 10)/2*(-41)/(-3). Let c = t - x. Does 26 divide c?
True
Let k be 3/(-9) - ((-282840)/(-18))/(-10). Let r = k - 891. Is 8 a factor of r?
True
Let x(h) = 14*h**3 + 5*h**2 - 50*h + 16. Is x(11) a multiple of 193?
False
Let y(m) = -m + 5. Let a be y(9). Let i be a + 1 - (1 - (7 + -1)). Suppose 0*h - 4*j - 97 = -3*h, -2*j = -i*h + 62. Does 9 divide h?
True
Suppose 18*n - 32021 = -2789. Let q = n - 902. Is 38 a factor of q?
True
Suppose 53*j - 160408 = -4*v + 51*j, -5*v - 3*j + 200510 = 0. Is v a multiple of 15?
False
Let g be (-2)/(-6) - 4147/39. Let t = g - -164. Does 3 divide t?
False
Suppose -5*z = -5*b + 19870, 487*b - 486*b - 3962 = -z. Is 7 a factor of b?
False
Let k = 233 - 438. Let h = -293 - k. Does 11 divide (-22)/h + 43/4?
True
Let f be (10/(-6))/((-3)/27). Is 5 a factor of (-18)/f*3/9*-185?
False
Let r(z) = z**3 + 2*z**2 - 3*z + 1. Let y be r(1). Does 32 divide (16 + -14)*(4932/8 - y)?
False
Suppose 3*b - 246 = -3*z, 3*z = 8*b - 6*b - 154. Let g(w) = -w**2 + 10*w + 7. Let q be g(5). Let n = b + q. Is 22 a factor of n?
False
Let x = 136 - 254. Let j = x - -434. Is j a multiple of 4?
True
Let l(z) = 2*z - 21. Let a be l(3). Let k = a + 356. Is 41 a factor of k?
False
Suppose 818 = -50*q + 49*q. Is -9 - q - 7 - -5 a multiple of 68?
False
Suppose -6*f + 99786 = 2*k, 12 = -224*f + 226*f. Is k a multiple of 175?
True
Let u be -14*((-6)/2 + (2 - 1)). Suppose -2*s = -u - 90. Is s a multiple of 11?
False
Suppose 3*r - 501*s = -497*s + 35554, 0 = 2*r - 2*s - 23708. Is 16 a factor of r?
False
Suppose -19*y + 13*y + 30 = 0, -c + 4728 = 2*y. Is c a multiple of 16?
False
Suppose -438*r + 440*r - 14 = 0. Suppose -w - 1956 = -r*w. Is 6 a factor of w?
False
Let n be 14/(-8) + 1/(-4). Let w(j) = j**3 + 56*j**2 - j - 74. Let c be w(-56). Is (60/c)/(n/42) a multiple of 34?
False
Let p(q) = q**3 - 21*q**2 + 27*q - 44. Let s be p(20). Let a = -40 + s. Is 7 a factor of a?
True
Let f be (0*1/4 + 1)*1. Let x(o) = 5*o + 1. Let s be x(f). Suppose 350 = -s*d + 16*d. Is d a multiple of 7?
True
Let b(k) be the second derivative of k**5/20 - 13*k**4/6 - 25*k**3/3 + 56*k**2 - 2*k - 69. Is b(29) a multiple of 15?
True
Suppose -3*d + 17 = -5*m, -3*d - 6*m + 10 = -4*m. Is 1432/11 + d/(-22) a multiple of 10?
True
Let j be (-3 + 6 - -5)/(2/21). Suppose -j = -5*g + 6. Suppose 14*y = g*y - 340. Does 45 divide y?
False
Let b(n) = n**2 + 21*n + 44. Let q be b(14). Suppose -19*l + 13*l + q = 0. Is 15 a factor of l?
False
Let u = 40578 + -31639. Is u a multiple of 84?
False
Suppose 2*r - 8 = 3*r - 5*q, 3*r = 4*q + 9. Suppose -1018 = -r*w + 1516. Suppose 3*y - 4*c = -2*y + 554, -5*c = 3*y - w. Is 31 a factor of y?
False
Suppose -5*w + 4*g - 2*g = 33, 3*w + 5*g = 5. Let f(m) = -6*m**2 - m + 16. Let j(o) = 20*o**2 + 3*o - 49. Let c(x) = -7*f(x) - 2*j(x). Does 5 divide c(w)?
False
Let y(h) = 4*h**2 - 17*h - 34. Let q be y(-2). Is (-108)/q*(-28)/21 a multiple of 7?
False
Let z(l) = -33*l**2 + 16*l + 6 - 63 - 34*l**2 + 71*l**2. Is 14 a factor of z(9)?
False
Let o = -33 + 36. Suppose 38 = -4*f - 22. Is o/f + 1424/20 a multiple of 10?
False
Let n(i) be the first derivative of 47*i**4/4 - i**3/3 + 11*i**2/2 - 28*i - 215. Is n(3) a multiple of 115?
True
Suppose -5*x + 212 + 1973 = 5*b, -b - 2*x = -439. Let q = b + -288. Does 11 divide q?
False
Let m = -75 + 80. Suppose v = m*v + 12. Does 8 divide (-420)/(-25) + 0 -