234 - 22458 = -3*t. Does 17 divide t?
False
Is -1144*(16350/40)/(-15) - 7 a multiple of 9?
True
Let y be 16/(-3)*4/((-32)/174). Let a = -93 + y. Does 2 divide a?
False
Let f(g) = -g**3 - 84*g**2 + 253*g + 1040. Does 41 divide f(-87)?
False
Suppose 12*l = -2134 + 130. Let t = 227 + l. Is t even?
True
Let p(t) = -t**2 - 12*t + 43. Let b be p(-14). Suppose 0*o = o - 3*i - 17, 4*o = -i + 68. Suppose b*y = o*y - 46. Is y a multiple of 23?
True
Suppose 1192*c - 1189*c = 4*p + 9696, -5*p = 4*c - 12990. Does 11 divide c?
False
Let f(s) = -s**3 + 26*s**2 - 139*s + 4. Let k be f(12). Let c = 514 - 290. Let m = k - c. Is 8 a factor of m?
True
Let s(h) = 60*h**2 + 75*h - 298. Does 5 divide s(4)?
False
Let a = -60 - -34. Let t be (-338)/(-2)*(-9 - -7). Is 13 a factor of (-4)/a - 13130/t?
True
Let i(z) be the third derivative of z**5/12 - z**4/3 - z**3 + 25*z**2. Let f be i(-6). Let m = f + -114. Is m a multiple of 18?
True
Suppose -3*i - 4576 = -w + 3948, -4*w = -4*i - 34112. Does 14 divide w?
False
Let f(z) = -z**3 + 18*z**2 - 4*z + 13. Let c(d) = -d**3 + 6*d**2 - 4. Let n be c(-4). Let m = -139 + n. Is f(m) a multiple of 13?
True
Suppose 3*j = -4*y + 7, 3*y - 6*y + j = -15. Suppose r = 2*r + 3*f + 4, -9 = r + y*f. Is r even?
False
Suppose 30*t = 204 + 126. Suppose t*u + 3*u - 1344 = 0. Is u a multiple of 8?
True
Let o be -2 + 95 + 2/((-8)/12). Is (-2)/9 + 11360/o a multiple of 9?
True
Suppose -n - 4*d + 6705 = 0, 0 = 3*n + d - 10744 - 9338. Is 97 a factor of n?
True
Let d(z) = -300*z - 4520. Does 245 divide d(-51)?
True
Let z = 27 - 34. Let k = 2 + z. Is (48/(-10))/(1/k) a multiple of 6?
True
Let b = 505 - 506. Is 19 a factor of 4 + b + 8 + 7 + 400?
True
Suppose -73416 = -2613*p + 2594*p. Is 69 a factor of p?
True
Let l(u) = u**2 + 19*u - 11. Let g be l(-30). Suppose 17*n = 6*n + g. Is n a multiple of 11?
False
Suppose v + 97 = -5*m - 54, -3*v + 27 = -m. Let t be 4/(-24) - 5/m. Let z(w) = -2*w**3 + w**2 + 55. Does 12 divide z(t)?
False
Let s(o) = 2*o**2 + 8*o - 13 - 3*o**3 + 2*o**3 + 8*o**2. Suppose w + 33 = 4*w + 2*n, 0 = -w + 4*n - 3. Is s(w) a multiple of 28?
True
Suppose 0 = 8*f - 11*f + 6. Is f - 12/(-15)*(-7075)/(-10) a multiple of 23?
False
Suppose -2*w + 5 = 1. Suppose -2*x - w*x = -m + 12, 3 = 2*m - x. Suppose -3*d + 98 + 268 = m. Is 43 a factor of d?
False
Let g(c) = -c**2 - 5*c + 18. Let j be g(-8). Let t(n) = 11*n + 117. Does 11 divide t(j)?
False
Suppose -3*m + 27 = -m + 3*o, -m - 3*o + 21 = 0. Suppose 0 = -2*n - m*n + 704. Suppose 0 = -3*k, 3*k - n = 2*f - 4*f. Is f a multiple of 11?
True
Suppose 595*f = 651*f - 213696. Is f a multiple of 106?
True
Let m = -12283 + 12269. Let h(s) = 3*s**2 + s + 4. Let n be h(5). Is (n/(-98))/(2/m) even?
True
Suppose 0 = -4*g - 2*g + 3018. Suppose 2*x - 513 = 3*d, -x + 3*x = 5*d + g. Suppose -6*z + x = -3*z. Is z a multiple of 8?
True
Let k be (2 - 1)/((-11)/(-22)). Suppose -k*l - 36 = -390. Is 7 a factor of l?
False
Let j = 3055 - 3044. Suppose 3*q + 58 = q. Let s = j - q. Is 4 a factor of s?
True
Suppose 34 = 44*t - 43*t. Let n(o) = -o**3 + 35*o**2 - 22*o - 105. Is 30 a factor of n(t)?
False
Suppose 5*i - 4*i = 2. Suppose 0 = -i*n + 14*n - 60. Is 3 a factor of n?
False
Let i(r) = 99*r**2 - 57*r + 6. Is i(-6) a multiple of 45?
False
Let d(b) = -2*b**3 - 4*b**2 - 3*b - 2. Let y be d(-2). Let s(f) be the second derivative of 7*f**3/3 + 3*f**2 + 550*f. Is 5 a factor of s(y)?
False
Let c = -556 + 2696. Suppose 11*t - 6*t = c. Suppose -652 = -9*f + t. Is f a multiple of 44?
False
Let u = -15089 + 25011. Is u a multiple of 15?
False
Suppose -4*w - 5*g = -12761, 43*w - 3182 = 42*w - 4*g. Is 4 a factor of w?
False
Let l(y) = 7*y**2 + 6*y - 9. Suppose -4*j - 5*w + 24 = -2, 4*w = -j + 1. Is 12 a factor of l(j)?
True
Let s = -763 + 770. Suppose 810 = -s*i + 8972. Does 22 divide i?
True
Suppose -21704 = -3*d - 4*r, 242*r = -5*d + 243*r + 36181. Is 12 a factor of d?
True
Let l(s) be the second derivative of -s**4/6 + 5*s**3/6 - 7*s**2/2 - 11*s. Let j be l(3). Is 11 a factor of (j - 23)*(-4 + (-1 - -2))?
True
Suppose 132 - 376 = -2*p. Suppose -3*j = -p - 1. Is j a multiple of 41?
True
Let k be (7/4)/((-1)/4). Let t = 1443 - 1441. Is 11 a factor of ((-5 - k) + -1)*(112 - t)?
True
Suppose -144529 = 21*o - 20*o - 12*o. Does 13 divide o?
False
Let m(k) = 72*k**2 - 14*k - 114. Does 94 divide m(-8)?
True
Suppose 3*l + 1 = -14, 2*l - 94 = 2*f. Is ((-3)/(18/f))/(4/6) a multiple of 5?
False
Let g = 24981 - 24574. Is g even?
False
Suppose 5*g - 4*s + 10501 - 83754 = 0, -5*g - 3*s + 73309 = 0. Does 25 divide g?
False
Suppose -97*a - 4644 = -47*a - 62*a. Suppose -13 = -5*u + h - 2*h, u + 3*h = 11. Suppose -131 = -j + o, j - o = -u*j + a. Is 21 a factor of j?
False
Let z = 24146 - 15848. Does 9 divide z?
True
Suppose 29*r = 31*r + h - 4828, 0 = -4*r + 2*h + 9672. Does 2 divide r?
True
Suppose -51*l - 19*l = -20*l - 91500. Is 95 a factor of l?
False
Suppose 148847 = -28*t + 101*t. Is t a multiple of 40?
False
Let a(l) = 43*l - 35. Let f be a(-5). Let n = f - -456. Is n a multiple of 9?
False
Let v = 5185 - 2425. Suppose 6*g - 29*g = -v. Does 12 divide g?
True
Let q = -375 - -477. Suppose -104*o = -q*o - 1224. Is 36 a factor of o?
True
Is 7/(-14) + (-22)/(-28) + 599518/14 a multiple of 15?
False
Suppose 0 = 2*f + 4*s - 72, -3*f = -4*f + 4*s + 12. Let c be (4/8)/(2/f). Suppose 106 = c*u - 118. Is u a multiple of 16?
True
Is 6 a factor of (-3)/((-12)/(-36)*63/(-37954))?
False
Suppose -239*q - 1151157 = -280*q. Does 49 divide q?
True
Suppose -1096 = -3*z - d, z + 3*d = 7*d + 348. Suppose -2*x + i + 165 = 0, 3*x + 2*i - z + 106 = 0. Suppose x = 3*a + 4*a. Is a a multiple of 3?
True
Let c(o) = -o**2 + 14*o - 39. Let g be c(10). Is (g - (-3)/((-3)/(-4))) + 3 a multiple of 2?
True
Suppose 2 = -2*k, r - 5*k = -4*k + 699. Let t = 825 - r. Is t a multiple of 5?
False
Does 9 divide (3/((-765)/(-238))*12)/((-2)/(-7015))?
False
Let y = -12487 + 18283. Is 46 a factor of y?
True
Suppose 0 = -2*f - 5*g + 95566, f - 34943 - 12836 = -3*g. Is 17 a factor of f?
False
Let z(d) = -2*d**3 + 54*d**2 + 67*d + 52. Is 35 a factor of z(28)?
False
Let b = 1850 + -420. Is b a multiple of 26?
True
Let x(n) = 7086*n**3 + 3*n**2 + 9*n - 12. Does 58 divide x(1)?
False
Suppose 4*q = 2*q, -4*z + 3*q + 13458 = -z. Is z a multiple of 2?
True
Suppose -31*t = -34*t. Let y be -24*(2 + t)/((-6)/1). Is 11 a factor of (-6)/y + 135/4?
True
Let d(v) = -v**3 + 9*v**2 - 6*v - 16. Let o be d(8). Suppose -2*r = 2*r + 3*q + 359, o = -4*r + 5*q - 383. Let a = r + 98. Does 6 divide a?
True
Let h be (-2 - 1 - -4)*2. Suppose -369 + 45 = -h*r. Suppose -5*i = a - 2*a + 70, r = 2*a + i. Does 8 divide a?
True
Let i(w) = w**3 + 34*w**2 + 184*w - 59. Is i(-27) a multiple of 2?
True
Let p(w) = -w**2 + 12*w - 25. Let n be p(8). Suppose 10 = -2*h, 3*h + n = -k - 5. Suppose k*b - 4*q - 14 = 0, 3*q - 1 = 2*q. Is 5 a factor of b?
False
Suppose -b = 5*j - 12251, 0*b + 3*b - 4*j - 36848 = 0. Is b a multiple of 22?
True
Let w(m) = 21*m**2 + 4*m + 78. Let c be w(-8). Let b = -980 + c. Is 6 a factor of b?
False
Let m(i) = -5*i**2 - 4*i - 4. Let w be m(3). Let z = 104 + w. Suppose -4*h = -2*a - 3*a + 49, 5*a + 2*h - z = 0. Is a even?
False
Let c be 6*(-2)/14*161/(-23). Suppose 952 = c*i - 1034. Does 15 divide i?
False
Let s(i) = -i**3 + 17*i**2 - 15*i - 9. Let r be s(16). Let f be (63/(-6))/r*(-6)/(-9). Is 7 a factor of (1420/(-65))/f + (-4)/(-26)?
False
Let t(d) = 6*d - 90. Let s be t(35). Is (-30)/25*-5*s a multiple of 5?
True
Let g be 4*15366/24*1. Suppose -2911 = -9*j + g. Is 32 a factor of j?
True
Let y be 1/(-2)*(-19)/(19/2). Let c be ((y - 5) + 103)*6/9. Suppose -255 = c*m - 71*m. Is 5 a factor of m?
False
Let v(b) = 4*b + 28. Let p be v(7). Suppose -4*x + x - 6 = 0, -z = 2*x - p. Suppose 0 = -5*u + 4*u + z. Is u a multiple of 20?
True
Let v(r) = -38*r**2 + 5*r - 37. Let b be v(9). Is b/(-35) - 2*1/(-7) a multiple of 6?
False
Let q = -572 + 594. Suppose 2376 = -q*r + 66*r. Is 2 a factor of r?
True
Suppose 2*t = -283 - 133. Suppose -5*j + 15 = 40. Is 47 a factor of (t/j - 4)/((-4)/(-10))?
True
Let h(d) = 9*d**2 - 3*d + 1. Suppose 2*g - 4*y = 0, 3*g + y + y = 0. Suppose -2*s + s + 2 = g. Does 12 divide h(s)?
False
Let o = -17414 + 30644. Is o a multiple of 98?
True
Let f be 8/64 - (-3)/(-24). Sup