). Suppose q + 7 = -q + b*w, w = -4*q + 21. Suppose -3*o - 2 = 1, q*o = -5*k + 201. Is k a multiple of 10?
False
Suppose 47 - 2599 = -4*c. Does 28 divide c?
False
Suppose 0 = -q - 0*q + 12. Suppose -18 = 3*z + q. Is 8 + z + 13/1 a multiple of 10?
False
Let z(f) = f**2 + 10*f + 13. Let l be z(-9). Suppose 2*s = -5*v + 40, -1 = l*v - 6*s + s. Suppose -7*j + 37 = -v*j. Is 7 a factor of j?
False
Does 24 divide (-4 - -2)*1738/(-4)?
False
Suppose -2*k = -4 - 12. Suppose -k*n + 4*n + 16 = 0. Suppose n*x - 75 - 165 = 0. Does 12 divide x?
True
Is 11 a factor of ((-35)/7 + -149)*-4?
True
Let b(v) = 6 + 9 + 2 - 11*v - 1. Is 18 a factor of b(-10)?
True
Let a(h) = 210*h - 2. Is 26 a factor of a(1)?
True
Let s be 2*43*66/(-4). Let y = s - -735. Does 13 divide y/(-15) + (-2)/(-5)?
False
Let x be ((-23)/(-46))/(2/20). Let a be 2/4*1*4. Suppose -3*q = -a*s + x*s - 78, -q + 4*s + 6 = 0. Does 11 divide q?
True
Let h be 15/4*(-7 + 4 + -5). Let a = h + 59. Does 2 divide a?
False
Let f(j) = -4*j + 5*j**3 + 3 - 6*j**3 + 5*j**2 - j**2. Let r be f(3). Let m(q) = q + 15. Is 15 a factor of m(r)?
True
Let d(r) = -5*r + 16. Let z(a) = -2*a**2 - 28*a - 32. Let u be z(-13). Is d(u) a multiple of 8?
False
Let r = 84 - -638. Is r a multiple of 9?
False
Suppose -n + 3*n - 608 = 0. Suppose 2*p + 80 = a - 3*p, -p - n = -5*a. Suppose -5*g + 3*c = -78, -3*c = 4*g - 24 - a. Does 9 divide g?
True
Does 20 divide (0 - (-1350)/12)/(6/32)?
True
Suppose 3*c + 258 = 3*r, -r + 2*c + 116 = 26. Does 28 divide r?
False
Suppose 37 - 149 = 8*j. Let r(f) = -f**2 - 12*f - 9. Let p(b) = -b**2 - 11*b - 9. Let y(h) = -4*p(h) + 5*r(h). Is 10 a factor of y(j)?
False
Let f(k) = k**3 - 7*k**2 + 7*k + 1. Let v be f(6). Suppose 3*x - 124 + v = 0. Is x a multiple of 13?
True
Let c(b) = -2*b + 247. Let x be c(0). Suppose 3*q = 6*q + 3. Is x/6 + q/6 a multiple of 32?
False
Suppose -w = 4*b + 4*w - 101, -47 = -2*b + w. Let y = 24 - b. Suppose y = 10*m - 6*m - 100. Does 5 divide m?
True
Suppose -1936 = -5*j + 399. Does 34 divide j?
False
Let h = -26 - -27. Is (h/1)/(3/201) a multiple of 16?
False
Let f = -396 - -794. Does 2 divide f?
True
Let a(n) = -n**2 - 17*n + 4. Let m be a(-17). Is 7/m*(49 - 9) a multiple of 35?
True
Let x be 0 + (8/4 - 2). Suppose 9*s - 236 - 547 = x. Does 25 divide s?
False
Let g(h) = 31*h**3 - h**2 + h + 2. Let n be g(-1). Suppose 0*x + x = -17. Let i = x - n. Does 6 divide i?
False
Let s = -917 + 3185. Is s a multiple of 27?
True
Let z be (-11 + 13)/((-2)/(-416)). Suppose -3*a - z = -44. Let i = a - -190. Is i a multiple of 17?
False
Let r(t) = -5*t**3 + 1 + 9*t + 2*t**2 + 3*t**3 - 2 + t**3. Let d be r(6). Let v = -28 - d. Is 21 a factor of v?
True
Is (2 - -1)/((-222)/(-194176)) a multiple of 41?
True
Let t = -1374 + 1613. Does 12 divide t?
False
Let b(o) be the first derivative of -o**4/4 - 10*o**3/3 + o**2/2 + 10*o + 4. Let i be b(-10). Suppose i = -n + 2 + 8. Is n a multiple of 10?
True
Suppose 44 = -5*r + g, 0 = -g + 1 + 3. Let t(n) = -4*n - 12. Is t(r) a multiple of 3?
False
Suppose 1483 - 79 = 3*g. Is g a multiple of 18?
True
Let w(c) = 5*c**2 + 76*c. Is 42 a factor of w(10)?
True
Suppose -16492 = -42*l + 18788. Is 40 a factor of l?
True
Let a be ((-6)/(-21))/((-1)/(-7)). Suppose -5*u + 0*h + 78 = -4*h, -h - a = 0. Is u a multiple of 14?
True
Let s(f) = 2*f**2 + 5*f - 10. Suppose -3*j = 4*o - 3, 35 = -9*j + 13*j - 5*o. Does 13 divide s(j)?
True
Suppose 23*s - 357 = 22*s + v, 4*s - 5*v - 1425 = 0. Is 36 a factor of s?
True
Let w(u) = u**2 - 9*u + 12. Let h be w(7). Let o be (h/6)/((-2)/18). Suppose o*q - 120 = 2*q. Is q a multiple of 30?
True
Let r(m) = m**3 - 16*m**2 + m - 12. Suppose 4 = 3*a - 44. Is r(a) a multiple of 2?
True
Let i(p) = -84*p - 196. Is i(-3) a multiple of 31?
False
Suppose -43*c + 46*c - 2376 = 0. Does 11 divide c?
True
Let j(y) = 2*y - 10 - 5*y + 4*y + 8*y - y**2. Suppose 15 = 2*u + 1. Is 4 a factor of j(u)?
True
Let r(x) = -x**3 + x**2 - 1. Let b(i) = 4*i**3 - 15*i**2 + 16*i + 25. Let m(s) = b(s) + 3*r(s). Is m(12) a multiple of 28?
False
Let h = -5 - -8. Suppose -2*p - p = -h. Suppose -k + 7 - p = 0. Is k a multiple of 3?
True
Let d(k) be the third derivative of k**6/120 + k**5/60 - 2*k**3 + 32*k**2. Is d(6) a multiple of 19?
False
Let b(r) = -5*r**2 + r + 4. Let o be b(-2). Let m = 22 - 32. Let s = m - o. Does 4 divide s?
True
Suppose 0 = 24*p - 22*p - 832. Does 16 divide p?
True
Let n(a) = 4*a**2 + 35*a + 9. Does 12 divide n(-15)?
True
Let q(n) = 2*n**2 + 25*n + 15. Let o be q(-12). Is 13 a factor of 2/(-2) - (o + (-101 - -6))?
True
Does 32 divide 26/247 + 130626/171?
False
Let r = 38 + 192. Does 10 divide r?
True
Let w(u) = 2*u**2 - 19*u + 57. Is 6 a factor of w(16)?
False
Suppose 9*j + 10 = 14*j. Suppose 2*x - 192 = 2*o + j*o, -4*x + 384 = -2*o. Is x a multiple of 16?
True
Let l be 44/(-33)*6/4. Let z = 31 - l. Does 3 divide z?
True
Let n(u) = 21*u + 8*u - 15*u. Let z be n(-1). Is 16 a factor of (-444)/z - (-20)/70?
True
Suppose 0 = -6*o + 2*o - x + 16, 0 = -4*x - 16. Is 938/(-70)*o/(-1) a multiple of 8?
False
Suppose 0 = -4*s - j + 7, -5*s + 3*j + 15 - 2 = 0. Suppose 5*m + 4*k = 519 + 270, -s*m + 310 = 3*k. Does 19 divide m?
False
Let u(d) = -d**2 + 7*d + 14. Let h be u(9). Let m = h + 28. Is m a multiple of 7?
False
Suppose -106*l = -102*l - 1104. Is l a multiple of 26?
False
Let r(b) = 5*b**2 - 2*b + 1. Suppose 4*p = 4*d - 1 - 11, -2*d - 5*p = 29. Is r(d) a multiple of 9?
False
Suppose 6*a - 5 = 3*a - 2*q, q = 5*a + 9. Is 17 a factor of (-4 - 16/(-4)) + (280 - a)?
False
Let t(r) = -10*r - 15. Is t(-8) a multiple of 10?
False
Suppose 3*f + 2*f = -h - 15, -4*h = -3*f - 9. Suppose h = 2*r - 1 + 7. Let t = 1 - r. Is t even?
True
Let s be 12/(-42) - (-2)/7. Suppose -u + 12 - 3 = s. Let z = u - 7. Is z a multiple of 2?
True
Suppose -5*v - 14 = 3*m + 9, -3*m - 13 = -5*v. Is 9 a factor of 4*12*(-8)/m?
False
Suppose 8709*w - 138 = 8708*w. Is w a multiple of 69?
True
Let u(k) = k**2 + 2*k - 13. Let g be u(-5). Suppose 2*d + 0*i - 134 = -2*i, -211 = -3*d + g*i. Let n = -42 + d. Is n a multiple of 9?
True
Suppose -15 = -10*r + 5*r. Suppose 4*a - r*a = 17. Is a a multiple of 2?
False
Is -2*(-1)/(-1 - (-748)/744) a multiple of 10?
False
Suppose 5 = 3*s - 1. Suppose 5 - 15 = -5*q + s*b, q - 10 = 2*b. Suppose -6 = -5*a + 2*o + 26, 3*a - 4*o - 22 = q. Does 5 divide a?
False
Let p = 14 + -10. Suppose -x - p*x = -60. Suppose -x*r + 13*r - 66 = 0. Is r a multiple of 22?
True
Is 53 a factor of (1 - -56) + (9 - (-8 - -21))?
True
Is 20 a factor of 140/(4/14*(-133)/(-76))?
True
Let u(p) = p + 19. Let t(h) = -5*h + 28. Let x be t(8). Let q be u(x). Suppose -155 = -3*b + c, 0 = c + q - 2. Does 15 divide b?
False
Let z = 14 + -11. Suppose 22 = z*b - 59. Suppose -3*f + 116 - b = y, -135 = -5*f + y. Does 19 divide f?
False
Let i = 2768 - 2348. Is i a multiple of 20?
True
Let y(w) = 3*w**2 - 9*w + 16. Let h be y(11). Suppose -t = -5*j + 364, 4*j - 2*t = -4*t + h. Is 6 a factor of j?
True
Let w be (1 + 0)*(22 + -4). Suppose 5*q - 19 = 3*u + 20, 3 = q. Let k = u + w. Is 9 a factor of k?
False
Let m(n) = 120*n**2 - 4*n + 9. Let l be m(2). Let x = l + -250. Is x a multiple of 21?
True
Let b(p) = p**3 + 4*p**2 - 5*p - 5. Let n be b(-5). Let m = -3 + n. Let z = 16 + m. Does 6 divide z?
False
Suppose 394 = 30*f - 986. Is 2 a factor of f?
True
Does 9 divide ((8/1)/(-8))/((-2)/1416)?
False
Let a(n) = n**3 - n**2 - n + 2. Let c be a(0). Suppose -4*b = c*j - 158, 2*j + j = 3*b - 132. Does 11 divide b?
False
Suppose 9*r - 50 = -14. Suppose r*d - 113 = 391. Does 18 divide d?
True
Let x = 97 - 163. Let w be 6/(-3) - 1 - x. Let d = w + -43. Is 5 a factor of d?
True
Does 8 divide (7 - 8)*(0 + -3) - -140?
False
Suppose 0 = 4*a - 0 - 8. Let s be 11 - (a/1 - 0). Let n(x) = x**3 - 8*x**2 - 8*x - 1. Does 8 divide n(s)?
True
Let h be (-32)/(-4) + -2 + (-1 - -3). Suppose -5*d = -2*y + 431, -5*d = -4*y - h*d + 823. Is y a multiple of 7?
False
Let f(i) = 2*i**2 - 3*i + 1. Suppose -3*h - 2 = -8. Let c be f(h). Does 3 divide 31/c - (-8)/(-6)?
True
Suppose f = -5*f + 108. Is 3 a factor of (6/(-27) - (-103)/f)*2?
False
Suppose 0 = -11*i + 625 + 299. Suppose 0*n - 102 = 3*n. Let f = i + n. Does 10 divide f?
True
Suppose 3*u = -9, -354 = -3*h + 2*u - 0*u. Let r = 197 - h. Is 8 a factor of (r/(-36))/(3/(-3