- 7 - 13. Suppose 42*t - 37*t - 260 = h. Is 9 a factor of t?
False
Does 32 divide 32/6*(33 + 15)?
True
Let y = 1216 - 676. Does 28 divide y?
False
Is 24211/88*2 + 2/(-8) a multiple of 10?
True
Let m = -151 - -223. Let r be m/40 + (-2)/(-10). Suppose 0 = 2*l + r*l - 256. Does 14 divide l?
False
Let s(k) = 2*k + 2. Let f be s(-3). Let v = f - -4. Suppose v = 5*z - 30 - 5. Is z a multiple of 4?
False
Let x = -4104 + 7179. Does 75 divide x?
True
Let k = 805 - 706. Does 3 divide k?
True
Suppose 5*h - 503 - 657 = 0. Does 3 divide h?
False
Let d = 76 + -79. Is (4 - 4) + d + 190 a multiple of 20?
False
Let m = 1161 - -27. Does 11 divide m?
True
Suppose -8*a + 5*a + 15 = 0. Suppose 3*h - a*v + v - 800 = 0, 0 = -h + 3*v + 260. Is h a multiple of 39?
False
Suppose -5*u + 542 = -483. Does 3 divide u?
False
Suppose 5*f - 4*f = 0. Suppose f = 3*a - 6*a + g + 15, a = -g + 5. Suppose 6 = 2*x + 4*s - 10, 4*x + a*s - 41 = 0. Does 14 divide x?
True
Let t = 296 + -177. Let w(g) = -g**3 - g**2 + g + 180. Let s be w(0). Let z = s - t. Is z a multiple of 9?
False
Let p(i) = -i + 2. Let d be p(3). Let c be d*1/((-4)/(-4)). Does 12 divide (-186)/(-9)*(c - -4)?
False
Suppose -b + 167 = s + 3*s, 5*b - 163 = -4*s. Is 24 a factor of s?
False
Is 16 a factor of ((-8)/(-10))/(3*(-6)/(-10305))?
False
Suppose 3*g - 8 = -g. Suppose a + 0*o - 16 = g*o, 0 = a - 3*o - 20. Does 8 divide a?
True
Let m(g) = 31*g**2 - 2*g - 1. Suppose -4*t - 7 - 1 = -4*n, 2*t + 2*n + 8 = 0. Let b be t/9 - 8/12. Does 16 divide m(b)?
True
Let v(o) = o + 13. Let n be v(-6). Let m(j) = -j**3 + 9*j**2 - 12*j + 4. Is m(n) a multiple of 6?
True
Suppose 6*t - t - 25 = 0, -4*s - 3*t = -7. Let a be (s + -1)*(-735)/45. Suppose -5*c = 2*l - a, 0 = l + 2*c + c - 27. Is l a multiple of 12?
True
Suppose 0 = 3*c - 2*c - 42. Suppose -6*u = -78 - c. Is 3 a factor of u?
False
Is 6*(-20)/(-24)*26/1 a multiple of 26?
True
Suppose -83*j + 1400 = -78*j. Does 35 divide j?
True
Let c(l) = -l**2 - 4*l + 1. Let h be c(-5). Suppose 5*n - 4*f = 14, -4*n + 3*f = -5*n - 1. Is 25 a factor of n*(22 - h/(-2))?
False
Suppose -3*j + 13 = 25, 5*j = -o + 292. Is o a multiple of 2?
True
Suppose -805 = -2*x - 3*x. Suppose 3*w = 4*w + d - x, 3*d + 157 = w. Is 40 a factor of w?
True
Let r = 250 - 93. Does 14 divide r?
False
Let l be (-27)/6*-8*93/18. Let z = l + -132. Is 7 a factor of z?
False
Suppose 2014 = 3*w + 5*s, 3*w - 3*s = -s + 1979. Does 7 divide w?
False
Let m be 9/6*180/27. Let a(k) = k**3 - 7*k**2 - 23*k - 4. Is 11 a factor of a(m)?
True
Let r(g) = -2*g**2 - 2*g**2 - 1 + 6*g**2 - g - 1. Is 2 a factor of r(-2)?
True
Let l be (-6 + -126)/(-1)*(-2)/(-4). Let d = 76 - l. Is d even?
True
Let a be 14/(-21) + (-2)/(-3). Let f be 1 - 1 - (5 - 5). Suppose -4*u + f*u + 184 = a. Is u a multiple of 15?
False
Let z(l) = 6*l + 2. Let r(i) = -13*i - 5. Let n(o) = -2*r(o) - 5*z(o). Let s be n(-1). Suppose -32 = -0*x - s*x. Is x a multiple of 4?
True
Let d be -1 - -1 - (-3 - (-28)/1). Suppose 48 = 2*k - k - 3*o, 16 = -4*o. Let f = k + d. Is f a multiple of 7?
False
Let l(u) = -4*u**2 + 4*u**2 - 5 - 10*u + u**2 + 24. Let g be l(8). Suppose g*w - 126 - 60 = 0. Does 31 divide w?
True
Let o(u) = -u**2 - 2*u + 98. Let m be o(0). Suppose y + 4 = 3*y, 0 = -v + y + m. Does 8 divide v?
False
Let d = -32 + 33. Is 30 a factor of 137 + (4 - d)/(-6)*0?
False
Let f(l) = 2*l**3 - 2*l**2 + 10. Let d be f(0). Suppose d*u = 5*u + 1140. Does 38 divide u?
True
Let f be 2*((-3)/(-2))/3. Does 6 divide -2*((-50)/4 + f)?
False
Let l = -7 - -15. Suppose l*f + 198 = 2*q + 3*f, 2*f + 204 = 2*q. Is 17 a factor of q?
False
Let u be (-2)/(-7) - 1012/14. Let n be 4 + 102 + (-3 - -1). Let s = u + n. Is 15 a factor of s?
False
Let b(u) = -u**3 + 5*u**2 + u + 12. Let j be 3 + 3/3 + 1. Does 8 divide b(j)?
False
Suppose 0 = s - 110 - 27. Suppose 62 = w + 5*x - 73, s = w + 3*x. Does 14 divide w?
True
Let h(i) = 8*i - 79. Is h(15) even?
False
Let b(r) = r**3 - 12*r**2 + 4. Let f be b(12). Suppose f*w + 2*w - 108 = 0. Is w a multiple of 12?
False
Let b(t) = t + 10 + 0*t + 17 + 6. Does 4 divide b(-13)?
True
Let z(i) = -2*i - 2. Let b(y) = -y**2 + 4*y + 2. Let x be b(5). Let s be z(x). Suppose s*q - 16 = 8. Is q a multiple of 3?
True
Let p(w) = w + 81. Is 24 a factor of p(15)?
True
Suppose -4*z - 46*i = -42*i - 104, -100 = -4*z - 2*i. Does 2 divide z?
True
Is (-6)/(-45) + (-1872024)/(-495) a multiple of 8?
False
Suppose -20 = 3*k - 539. Suppose -4*o + k = -23. Is o a multiple of 5?
False
Suppose 4*x = 2*f + 6*x - 16, 3*f - x - 12 = 0. Suppose 406 = f*w - 2*v + 43, -4*v = -2*w + 142. Is w a multiple of 16?
False
Let j = -21 - -24. Let p = 2 + j. Is 2 a factor of p?
False
Suppose 0 = i + 4 + 6. Let a be 5/i - 2/4. Let d(r) = 15*r**2 + r. Does 3 divide d(a)?
False
Let p = -234 + 1284. Does 75 divide p?
True
Let r(v) = 5*v + 6. Let u = 14 - 14. Suppose u = 3*y - 1 - 8. Does 4 divide r(y)?
False
Is 744/(-16)*(0 + 564/(-9)) a multiple of 29?
False
Suppose 4*a - 7*a + 6 = 0, 2*x = -5*a + 1018. Is x a multiple of 12?
True
Let s(t) = 18*t**2 + 11*t - 25. Let h be -95*(-9)/225 + 4/(-5). Is 17 a factor of s(h)?
True
Let r(x) = -x**2 + 12*x - 11. Let l(o) = -o**2 + 12*o - 2. Let d be l(11). Let b be r(d). Let s = b - -31. Is s a multiple of 20?
False
Suppose -693 = 95*i - 98*i. Does 6 divide (-5)/10 - i/(-6)?
False
Let j(q) = 4*q - 2*q + 2*q - 3*q + 14. Let w be j(-13). Suppose 0 = -a + 8 + w. Does 3 divide a?
True
Suppose 10*o - 96528 = -14*o. Does 15 divide o?
False
Suppose -2*j - 4*u + 16 = 0, 2*j + 3*u - 2*u = 16. Suppose -144 = -127*k + 118*k. Let h = k - j. Is 4 a factor of h?
True
Let m = -6 - -1455. Does 34 divide m?
False
Suppose 5*n - 376 = 3*n + m, 575 = 3*n + 4*m. Let r = n - -43. Is r a multiple of 29?
True
Let z(q) = 41*q + 102. Is 9 a factor of z(3)?
True
Let f(z) = 234*z - 528. Does 17 divide f(4)?
True
Let l be 33/(-6)*-26*(-6 + 5). Let c = -107 - l. Is c even?
True
Let o(f) = f**2 + 2. Let a be o(0). Suppose -3*m + 18 = -a*d, 2*m - 17 = -0*d + 3*d. Does 14 divide (-4)/((-46)/14 - d)?
True
Let v(b) = b**3 - 4*b**2 - 2*b + 1506. Is 70 a factor of v(0)?
False
Let j be (61/6)/(6/36). Let o = j + -21. Let x = o - 25. Is 2 a factor of x?
False
Suppose -4 = -5*h + 6. Suppose 5*r - 50 = 5*q, -2*r + r + h*q = -12. Is r even?
True
Let t(f) = 63*f + 3. Suppose 2*s - 4 = -2*z, -3*s - 5 + 3 = -5*z. Is 38 a factor of t(z)?
False
Let s(z) = z**2 + 9*z + 3. Let l be s(-9). Suppose -k - l = -1. Does 3 divide 2/(-1) + 13 + k?
True
Let f(l) = -l**2 - 9*l + 9. Let n be f(-8). Let o = -17 + n. Suppose -j - 1 + 3 = o. Is 2 a factor of j?
True
Let z(x) = -37*x**2 - 2*x - 2. Let k be z(-1). Let c = k - -66. Does 17 divide c?
False
Is ((-1377)/6)/(-9)*(-500)/(-15) a multiple of 20?
False
Let g(z) = z**2 - 3*z + 12. Let v be g(-7). Suppose v*w - 720 = 77*w. Does 36 divide w?
True
Suppose -4*c + 2*c = -l - 18, 0 = 5*l + 10. Is 8 a factor of c?
True
Let f(p) = p**3 + p**2 - p - 79. Let y be f(0). Let z = -54 - y. Suppose -3*u + 0*s + 13 = -2*s, 5*s = -4*u + z. Is 2 a factor of u?
False
Suppose d - 391 = -w, 3*w + 5*d - 1293 = -126. Is w a multiple of 24?
False
Let h(i) = 2*i**2 + 2*i - 2. Let l be (-7 - -6) + (0 - 1). Let p be h(l). Suppose 130 = 3*q + p*q. Is q a multiple of 12?
False
Suppose 4*m - 3514 = -5*t, 23*m - 27*m = -5*t + 3506. Is 26 a factor of t?
True
Let h(d) = -d. Let l(n) = n**2 - 28*n + 6. Let z(j) = -5*h(j) + l(j). Is 19 a factor of z(27)?
True
Let n(y) be the first derivative of y**2 + 11*y - 1. Let m be (4/(-12))/((-8)/120). Does 9 divide n(m)?
False
Let t(a) = 3*a**2 - 3*a + 1. Let d be t(2). Let s = 12 - d. Does 13 divide (-105)/(-3) - s/5?
False
Let v be (20/15)/((-4)/6). Let i be (-196)/(-8) - 1/v. Is 5/(i/2)*105 a multiple of 14?
True
Suppose 4*r + 1290 = 9*r. Let t = r + -112. Is t a multiple of 50?
False
Does 16 divide (-3227 + -4 - (-1 - -2))/(-2)?
True
Let y(x) = -x**3 + 7*x**2 + 3. Let d be y(7). Suppose 0*n - 6 = -d*n. Is 18 a factor of 15/n*8/3?
False
Is 25927/33 - 2/(-6) a multiple of 25?
False
Does 41 divide 5 + 368/(-80) + 308/5?
False
Does 35 divide 290/(154/49 - 3)?
True
Let h = 68 - 72. Let i be 2/(-8) + 324/16. Is (i/(-16))/(1/h) a multiple of 2?
False
Suppose 5*t = -4*q + 14 + 143, t = -4*q + 137. Is 4 a factor of q?
False
Let i(q) = -4*q**3 - 3*q**2 - 10*q - 3. Is