= q, 0 = 4*q - h - 292. Does 9 divide q?
True
Is 2 a factor of 73 + 0 + (13 - 17)?
False
Suppose 4*o + 0*y - 57 = -y, 3*o = y + 41. Is 14 a factor of (-8)/(-10)*245/o?
True
Let x(a) = 9*a + 22. Suppose -r - 70 = -8*r. Does 56 divide x(r)?
True
Let l be 5 - (-7 + 4 - 0). Let v be ((-10)/4 - 0)*-4. Suppose -v*t + 16 = -l*t. Is 8 a factor of t?
True
Suppose -k - 13 = 5. Let v(b) = -b**3 + 8*b**2 - 8*b - 5. Let u be v(5). Let r = k + u. Is 8 a factor of r?
False
Suppose -2*h - 34 = -2*w, -w - 4*h + 3 = 6. Suppose 0*j = j - i - w, -28 = -4*j - 2*i. Does 5 divide j?
False
Does 53 divide 132/(-220) - (-2 - (-12118)/(-5))?
False
Suppose 2*j = -3*v + 237, 139 + 35 = 2*v - 4*j. Does 27 divide v?
True
Let c = -500 + 526. Does 7 divide c?
False
Is 198/(-462) + 14129/7 a multiple of 11?
False
Let n(v) = v**2 + 17*v + 14. Let d be n(-11). Let g = 49 - d. Does 32 divide g?
False
Suppose 0 = -5*p - f - 39 + 306, -4*p = -3*f - 225. Suppose -l = -3*n - 2*l + 86, -2*n + l + p = 0. Does 14 divide n?
True
Suppose 2*g = -8, 2*g = -4*j + 550 - 150. Is j a multiple of 51?
True
Let c = -12 + 16. Suppose 0 = 4*r + 3*b - 1239, 6*b - c*b - 306 = -r. Is r a multiple of 39?
True
Let h = -21 + 26. Suppose -67 = -f - 3*g - 0*g, -h*f = 4*g - 280. Is f a multiple of 13?
True
Let q be 3 - 1*(-4 + 1 + -6). Suppose 0 = 11*c - q*c + 52. Is 18 a factor of c?
False
Let k be (-1)/5 - (-120)/(-25). Let n(y) = 2*y**2 - 15*y - 5. Is 30 a factor of n(k)?
True
Suppose 2*v = -3*a + 224, -3*v = -3*a + 2*v + 238. Let p be 3/(1/68*-6). Let w = a + p. Is w a multiple of 11?
False
Let i be 3/((36/(-16))/(-3)). Suppose -i*s = -3*s. Let z = s - -3. Does 3 divide z?
True
Let s(o) = -55*o - 4. Let g = -49 + 46. Is 17 a factor of s(g)?
False
Suppose 126 = -15*v + 22*v. Let r = v + 27. Is r a multiple of 41?
False
Let w = -419 + 1060. Is 11 a factor of w?
False
Suppose -3471 = -7*j + 2626. Does 13 divide j?
True
Let y = -31 - -30. Is (-1)/y + (20 - -19) a multiple of 10?
True
Suppose 9*s - 5 = 13. Suppose s*n - 40 = 16. Is n even?
True
Is ((-35)/10)/((-5)/510) a multiple of 35?
False
Let z = -201 - -1184. Is 11 a factor of z?
False
Suppose -8 = 2*s - p + 2, 4*s - 4*p = -28. Let r(h) = -54*h - 5. Is r(s) a multiple of 19?
False
Let f(x) = -x**2 - 23*x + 22. Let y be f(-24). Is 21 a factor of (-4324)/(-24) + y/12?
False
Suppose -3*m = -15, 2*d - 3*m + 44 + 189 = 0. Let y = -60 - d. Is y a multiple of 32?
False
Let z = 2762 - 1462. Is 52 a factor of z?
True
Let j = -261 + 307. Is 3 a factor of j?
False
Suppose -86*w + 107055 = -124113. Is 44 a factor of w?
False
Is 75 a factor of (9555/(-182))/(-1*(-1)/(-30))?
True
Let r(u) = 2*u**2 - 26. Is r(20) a multiple of 43?
True
Suppose 5 + 37 = 3*y. Let o = -9 + y. Suppose o*b - 3*j = 7*b + 3, -5*b - 3*j + 6 = 0. Is b even?
False
Let v(d) = -d**3 + 6*d**2 - 6*d + 3. Let h be v(3). Let s be (h/10)/((-9)/(-270)). Is 9 a factor of ((-27)/s)/(2/(-48))?
True
Let x = 3930 + -2786. Does 13 divide x?
True
Let t(b) = -b**2 - 32*b - 51. Is 33 a factor of t(-20)?
False
Suppose 2 = 3*b + 11. Let z = b + -20. Let g = 42 - z. Does 13 divide g?
True
Suppose 0 = 7*w - 3*w - 12. Suppose -75 = -w*m + 21. Is 8 a factor of m?
True
Let x(v) = 5*v**3 + v + 6*v**3 + v**3 + 6*v**3 - 1 + v**2. Let o = 15 + -14. Is x(o) a multiple of 7?
False
Suppose 643 + 341 = 8*j. Let p = -75 + j. Is 4 a factor of p?
True
Let r be ((-9)/6)/((-9)/(-84)). Let u(l) = l**3 + 13*l**2 - 13*l + 20. Does 3 divide u(r)?
True
Let y(p) = 6*p - 27. Let f be y(5). Suppose -5*b - 506 = -5*h - b, -4*h + f*b = -404. Does 49 divide h?
True
Let y be (1 - 0)/((-3)/285). Let v = 159 + y. Let c = v + -42. Is c a multiple of 22?
True
Let d(m) = 7*m**2 + m - 4. Let q be d(-4). Does 17 divide (114/q - 20/(-130))*68?
True
Suppose 0 = -3*w + 15, 0 = p + 10*w - 5*w - 639. Is p a multiple of 12?
False
Let f(r) = -22*r - 14. Is f(-4) a multiple of 37?
True
Let r be 3/6*-3 + (-3)/(-2). Suppose 0*g - 2*g + 6 = r, -c = -g - 205. Is c a multiple of 26?
True
Let u(z) = z + 1. Let y = 67 - 46. Let t(s) = -11*s - 8. Let h(f) = y*u(f) + 3*t(f). Is 21 a factor of h(-2)?
True
Let z = 3328 + -1719. Does 47 divide z?
False
Suppose -1 = 4*q + 5*v - 2, 2*q = 5*v + 23. Suppose 0*l - q*b - 115 = -3*l, 5*l - 2*b - 201 = 0. Is 12 a factor of l?
False
Let i = -202 + 316. Does 6 divide i?
True
Does 23 divide -7 + (6 - 13 - -1394)?
True
Let v(z) = 157*z - 93. Does 21 divide v(3)?
True
Let b(k) = 2*k**3 + 6*k**2 + 5*k + 2. Let t be b(-2). Suppose -336*x + 337*x - 14 = t. Is 6 a factor of x?
False
Let k = 286 + -255. Is k a multiple of 5?
False
Let b = 23 - 17. Suppose 4*m = 2*n + 300, -4*m - b*n + 294 = -11*n. Suppose -5*f + 2*g = -f - m, 0 = -f - g + 19. Is f a multiple of 19?
True
Let r be 1/(-1*(3 - 2)). Let m be (r/(-2))/((-3)/(-24)). Suppose -m*w + 32 = -40. Does 17 divide w?
False
Let i be ((-10)/(-25))/(3/60). Suppose -g + 2*f = -50, 5*f = f - i. Does 10 divide g?
False
Let i(k) = -22*k + 2. Suppose 5*j - 9 - 1 = 0. Let t be i(j). Let p = t + 93. Is 17 a factor of p?
True
Suppose -4*b + 8056 = -3340. Does 13 divide b?
False
Suppose 2*b = -0*b - 58. Let n = b + 31. Let a(f) = 3*f**2 + f + 1. Is a(n) a multiple of 8?
False
Let m = -6069 + 8937. Is 5 a factor of m?
False
Suppose -82*a + 126*a - 93192 = 0. Is 10 a factor of a?
False
Suppose 15*l = 992 - 122. Does 58 divide l?
True
Let s(z) = z**3 + 12*z**2 + 7*z - 4. Let a be s(-7). Let g be 5*(0 - a/(-15)). Suppose -3*j + 2*k = -37 - g, 2*j + 3*k = 63. Does 9 divide j?
False
Let y(b) be the second derivative of -179*b**5/20 + b**4/12 + b**3/3 + b**2/2 + 20*b. Is 18 a factor of y(-1)?
False
Let d = -71 + 74. Suppose -d*c - 5*l + 126 = 24, 5*c - 170 = -3*l. Is 3 a factor of c?
False
Let g = -29 + 51. Suppose -g*o + 18*o + 12 = 0. Does 3 divide o?
True
Suppose -5*b - 852 = -17*b. Is 18 a factor of b?
False
Suppose -8 = -4*i - 4*z, 2 = z - 3*z. Suppose i*t + 120 = 8*t. Is 2 a factor of t?
True
Suppose -9*k + 7*k = 0. Let x = -2 + k. Let j = x - -8. Is 3 a factor of j?
True
Suppose -f + 16*w + 1707 = 20*w, -2*f - w = -3449. Does 9 divide f?
False
Let v(u) = 16*u. Let o = -32 - -35. Does 16 divide v(o)?
True
Suppose 0 = 2*d - 9*x + 4*x + 21, -5*d + 30 = 4*x. Suppose -4*r = -r - 6. Suppose 2*m - d = 0, -b - 4*b + r*m + 38 = 0. Is b a multiple of 8?
True
Let r(b) = 5*b**3 + 86*b**2 + 5*b - 24. Is 3 a factor of r(-17)?
True
Let x be 3/(3/1)*154. Suppose -l + x = l. Is l a multiple of 15?
False
Suppose -280 = 5*u + 90. Let v(h) = -2*h + 18. Let i be v(10). Is 8 a factor of u/i + 2/(-2)?
False
Let t be (13944/(-66))/(-7) + (-2)/11. Suppose 4*b - t = 130. Is 10 a factor of b?
True
Does 79 divide 1530 + (146/22 - (-16)/44)?
False
Let g be 2*2/(-3)*-6. Suppose -85 = -3*d - 4*x + 2*x, -g = 2*x. Does 4 divide d?
False
Suppose 0 = 2*g + 14*g - 9920. Is 13 a factor of g?
False
Let p(c) = -5*c - 9. Let r be p(0). Let m(y) = 2*y**2 + 8*y + 14. Is 26 a factor of m(r)?
True
Suppose -3*j = 2*b + 9, -4*j - 9 = -5*b - j. Let q = 46 + 36. Suppose b = -2*d - 0*y + y + 67, -4*y = 2*d - q. Is 15 a factor of d?
False
Suppose -2*l + 28 = 4*b - 5*l, 0 = -3*l. Is (-30)/(-105) - (-362)/b a multiple of 11?
False
Does 63 divide (-8 - -3)*112*1/(-5)?
False
Does 8 divide ((-22)/(-8) - 0)/(45/1440)?
True
Suppose 3*v = -3*n + 294, 3*v - 171 = 5*n + 99. Is v a multiple of 19?
True
Does 3 divide 79 - (-2 - (-10 + 4))?
True
Let i = 2517 - -3. Does 21 divide i?
True
Suppose 0 = 2*m + 3*w + 8 - 1004, -w - 4 = 0. Is m a multiple of 36?
True
Let a(b) = -b + 1. Let u be a(4). Let h = 5 + u. Suppose 0 = h*v + 5*l - 114, -3*v + l + 149 + 22 = 0. Is 11 a factor of v?
False
Let c = 102 + -47. Let u be (-356)/(-10) + 22/c. Let r = u + -21. Is r a multiple of 9?
False
Let c = -897 + 1537. Is 64 a factor of c?
True
Let i(m) = 3*m**2 - 4*m + 2. Let d(u) = -7*u**2 + 7*u - 3. Let n(s) = -3*d(s) - 5*i(s). Is n(-2) a multiple of 8?
False
Let s be -13 + 24 - 4/1*1. Suppose -5*b - 3*x + 650 = 0, -3*b + 5*x = -s*b + 520. Does 10 divide b?
True
Let d = 37 + -35. Suppose -71 = -d*u + 139. Is 21 a factor of u?
True
Let t = -10 + 13. Suppose s - 4*g - 37 - 20 = 0, -163 = -4*s + t*g. Let a = 25 + s. Does 31 divide a?
True
Suppose 0 = 5*i + 10, 0 = 4*o + i + 5 - 19. Let d be (-466)/(-14) - 2/7. Suppose -o*t + d = -107. Does 10 divide t?
False
Let s = -21 + 38