, 5*j - 122 = -3*d + 164. Is d a multiple of 23?
True
Suppose 8*m + 40 = 4*m + 3*j, 0 = m - 2*j + 10. Let y = 12 + m. Suppose y*l - 80 = 82. Does 17 divide l?
False
Let r(c) = c**2 - 2*c + 4. Let p be r(-6). Suppose 24 = -54*t + p*t. Let y = 52 + t. Is 20 a factor of y?
True
Let y(i) = 3*i**2 - 11*i - 34. Is y(-17) a multiple of 51?
True
Suppose 4*s + 302 + 430 = 0. Let a = -55 - s. Is a a multiple of 9?
False
Suppose -15*f + 420 = -0*f. Does 28 divide f?
True
Let w(j) = 144*j**2 + j + 46. Is 52 a factor of w(-5)?
False
Suppose -9 = -0*y + 3*y. Let h be (-4760)/(-42) + 4/y. Suppose 48 = 4*x - h. Is x a multiple of 40?
True
Let k(u) = -u**2 - 7*u + 8. Let v be k(3). Suppose 4*c = -h - 176, -h = -2*h. Let x = v - c. Is 7 a factor of x?
False
Let n = -614 - -754. Is n a multiple of 20?
True
Let a(b) = 93*b - 2. Let d be a(-4). Is d/(-18) + 6/27 a multiple of 7?
True
Suppose -w - 4*f + 18 = 0, -f = -w - 6*f + 19. Suppose -2*n - 4 = x + 7, 2*x - w = 5*n. Is -82*(n/(-8))/(-1) a multiple of 12?
False
Let z be -1*21/7 + 91*1. Let m = 104 - z. Does 3 divide m?
False
Suppose 0 = 4*q - h - 17, 5*q = -2*h + h + 28. Suppose 0 = -5*w - v + 14, 5*w - 17 = q*v - 3*v. Is (w/(-6))/(2/(-100)) a multiple of 12?
False
Let p = 48 + 638. Let r = -472 + p. Is r a multiple of 48?
False
Let p = -607 + 617. Let z be (-52)/(-14) + (-4)/(-14). Suppose l = -4*l + z*a + 10, 5*a - p = -5*l. Does 2 divide l?
True
Let n be (-4)/10 - (3591/(-35))/9. Does 3 divide 36 - (10 - n)/((-2)/6)?
True
Let o be ((-6)/4)/(24/(-80)). Suppose 0 = 2*n - 3*n + o*s + 18, 0 = n - 4*s - 15. Suppose -7*y = -n*y - 52. Does 6 divide y?
False
Let z(q) = -5*q**2 + 34*q + 31. Let n(x) = x**2 + x + 1. Let c(l) = 4*n(l) + z(l). Is 18 a factor of c(24)?
False
Let t(k) = 92*k**2 + 20*k - 80. Is t(4) a multiple of 46?
True
Let b(y) = 14*y**3 - y**2 - 2*y - 5. Is 24 a factor of b(3)?
False
Let o(c) = 5*c**2 - 3*c - 7. Let j(a) = -2*a - 8. Let g be j(-7). Does 14 divide o(g)?
False
Let t be 7 - (-306)/(-42) - (-10000)/14. Suppose -647 = -4*x - c, 0 = 3*x + 2*c - t + 225. Is x a multiple of 23?
True
Let y = -202 + 291. Is 3 a factor of y?
False
Let f(x) = 9*x**2 + 2. Suppose 45 - 20 = 5*q. Does 37 divide f(q)?
False
Suppose 33 = 5*t - 7. Suppose 0 = -t*m - 5 + 205. Does 25 divide m?
True
Let b(l) = 189*l - 91. Is 5 a factor of b(3)?
False
Let a(h) = 9*h + 42. Let y be a(-4). Is 24 a factor of 1407/6 + 0 + 9/y?
False
Let j = -218 + 367. Is j a multiple of 74?
False
Let n = 162 + -52. Suppose -2*c = 40 + 108. Let b = c + n. Does 11 divide b?
False
Let o(y) = -218*y + 5. Is o(-11) a multiple of 29?
False
Does 48 divide ((-40)/15)/((-14)/18543)?
False
Suppose 5*a - 9*a = 12. Is 20 a factor of (-4)/(-10) - (1188/10)/a?
True
Let f(l) = 5*l**2 + 51*l - 90. Is 18 a factor of f(-24)?
True
Let w = -31 - -51. Suppose -1147 = 14*m - 51*m. Let r = w + m. Is r a multiple of 17?
True
Suppose -3*h + 16 = 2*j + h, 0 = -2*h + 4. Suppose 0 = j*o + 28 + 36. Let i = 72 + o. Is i a multiple of 8?
True
Let k = -10 - 8. Does 17 divide ((-34)/(-3))/2*(k + 33)?
True
Is (6/18 + 4/6)*84 a multiple of 11?
False
Suppose -v + 0*v + 2 = 0. Let f be v/(-4)*(4 + -2). Is 10 a factor of (f - -4)*(16 - 3)?
False
Let g(h) = h**3 + 2*h**2 - h + 6. Let t be g(-6). Let q be t*3/9*-3. Let c = q + -68. Is 13 a factor of c?
False
Let p = 12 - 0. Suppose -6*l - p = -10*l. Suppose l*f + f = 40. Does 5 divide f?
True
Let w(i) = -i**2 + i + 2. Let t = -11 + 13. Let a be w(t). Suppose -4*v + 0*p - 3*p + 228 = a, -212 = -4*v + p. Is 19 a factor of v?
False
Let v = -130 - -131. Is 7 a factor of (-11 + v)*(3 + -7)?
False
Suppose 3*x + 2*p - 100 = 0, x - 40 = p - 0. Suppose 0*k = -4*k + 4*n + x, -5*n = -4*k + 34. Is 3 a factor of (-2)/(-4)*(1 + k)?
True
Let p(h) = -6*h - 3*h**2 - 14 + 5*h**2 - 10. Is 21 a factor of p(-6)?
True
Let v = 72 - 66. Is 36 a factor of ((-48)/(-8))/(v/80)?
False
Let i(c) = c**2 + 2*c - 24. Let f be i(-6). Suppose -4*n + 2*n + 5*z = -57, 2*n + z - 27 = f. Is 7 a factor of n?
False
Suppose 3*x = -3*n - 0 + 15, 5*n - 13 = -x. Suppose -215 = -3*w + 2*j, 0*w - n*w + 4*j = -130. Is 15 a factor of w?
True
Suppose -12*n + 15288 = 9*n. Is 9 a factor of n?
False
Suppose 5*z = -5*l + 20, 3*z = 2*l - 2 - 1. Suppose -p + z = -2*k + 148, -2*k = -3*p - 141. Is k/27 + (-4)/(-18) a multiple of 2?
False
Suppose -x + 2*q = -471, x - 11*q = -8*q + 468. Is x a multiple of 9?
True
Let v = 303 + -237. Does 11 divide v?
True
Let r = 655 + -381. Suppose 4*w = x + 277, -4*w + x + x + r = 0. Is 14 a factor of w?
True
Suppose n = l - 297, -752 = -5*l - 4*n + 688. Is l a multiple of 6?
False
Suppose 0 = -7*y + 14*y - 1827. Suppose 465 = 4*c + l - 565, 2*l = -c + y. Is 53 a factor of c?
False
Suppose t - 5*z - 74 = 0, -25 = -t + 2*z + 43. Let l = t - 22. Suppose 0 = 5*k + 2*j - 47, -2*k + 8*j = 3*j - l. Is k a multiple of 11?
True
Let p(h) be the first derivative of -3*h**2/2 + h - 4. Let t be p(1). Is 13 + t/(2/1) a multiple of 12?
True
Suppose -2*c = -y - 4*c + 3, 7 = y + 4*c. Is -15*4/(-12) - y even?
True
Let d be ((24/(-5))/(-2))/((-6)/30). Let b(i) = i**2 + 8*i - 24. Is b(d) a multiple of 8?
True
Let x = -109 + 733. Is 15 a factor of x?
False
Suppose -3*y - 6 - 9 = 0. Let k(p) = -p - 5. Let g be k(y). Suppose m - 4*b - 15 = 0, -3*m + 2*b = -g*m - 45. Does 5 divide m?
True
Let z(a) = -a**2 + 10*a - 16. Let g be z(7). Suppose -v - g = -4*i, -5*i + 7 + 9 = 2*v. Let k = 1 + v. Is 4 a factor of k?
True
Let k(d) = 3*d + 3. Suppose -36 = -8*n + 5*n. Is k(n) a multiple of 8?
False
Let u = 6082 + -4241. Is 62 a factor of u?
False
Suppose -6*u + 12 = -78. Does 11 divide 357/9 - (-5)/u?
False
Suppose -2*g + 14 = -0*g. Suppose 0 = -5*d + 9*d. Let j = g - d. Is 6 a factor of j?
False
Let f(i) = i**3 - 1. Let h(a) = 5*a**3 - 14*a**2 - 28*a + 3. Let p(w) = -6*f(w) + h(w). Does 19 divide p(-12)?
True
Let f(i) = i**2 - 6*i - 7. Let r be f(7). Suppose -5*d = -r*d - 15. Suppose 24 = d*m - 108. Does 5 divide m?
False
Let m = 1737 + 908. Does 60 divide m?
False
Suppose -4*w + 40 = -2*s, -4*w + 35 = -w - 4*s. Suppose -w = -5*x + 2*x. Suppose -n + 21 = -4*r, 0 = x*n - 2*r + 14 - 67. Is n a multiple of 7?
False
Let o(g) = -234*g + 27. Is 22 a factor of o(-2)?
False
Let j = 161 - -322. Does 23 divide j?
True
Suppose 0 = -2*o + 5 - 29. Does 4 divide o/(-20) - 74/(-10)?
True
Let f(p) = -3*p**2 + 5*p - 17. Let k(o) = -2*o**2 + 6*o - 16. Let h(g) = -4*f(g) + 5*k(g). Is h(-8) even?
True
Suppose 2*d + 2*d - 5*f = 32, -32 = -4*d + 4*f. Let r be (-6)/(-2)*105/63. Suppose r*v - 43 = -d. Is v a multiple of 7?
True
Let i = 496 + -556. Let f be (2*5)/1 - 1. Is 4 a factor of (i/f)/(2/(-6))?
True
Let v(j) = 756*j**2 - 11*j - 11. Is 12 a factor of v(-1)?
True
Suppose 0*w - 2*w = -4*p - 40, 0 = w - p - 17. Suppose -333 = -w*l + 11*l. Is 19 a factor of l?
False
Let l be (4/3)/((-4)/12). Let x be -3 - (-2)/l*-2. Is 3 a factor of 52/8 - x/(-4)?
True
Let c = -3821 - -6569. Is c a multiple of 12?
True
Let c(l) = 7*l**2 - 33*l + 33. Is 13 a factor of c(10)?
True
Is 2 a factor of (3 - 122/4)*20/(-25)?
True
Let m(k) = 2*k**3 + 114*k**2 + 107*k - 95. Is 5 a factor of m(-56)?
True
Let d(u) = -3*u + 27. Does 2 divide d(-30)?
False
Suppose 5*v + 36 = 5*m - 1104, -684 = -3*m + v. Does 12 divide m?
True
Suppose -7 = 2*s - 3, 3*n + 2*s - 188 = 0. Suppose n = y - 4*x, 17 = 5*y - 4*x - 223. Does 11 divide y?
True
Suppose d - 2 = 12. Is (-162)/36*d/(-3) a multiple of 7?
True
Suppose 0 = 5*d - 43 - 122. Let h = -26 + d. Does 3 divide h?
False
Suppose -6*l + 5*l + b = 58, 4*l + 222 = 2*b. Suppose -t + 5 = 5*h + 110, -5*h = -20. Let i = l - t. Is i a multiple of 18?
True
Let d = -40 - -61. Let o = d - -99. Is o a multiple of 12?
True
Let c = 2565 + -1913. Is 22 a factor of c?
False
Let y(r) = r**3 - 5*r**2 - 9*r - 5. Let m be y(8). Suppose -3*u = 4*t - m, 3*t + 78 = 2*u - 27. Does 15 divide u?
True
Let j be (-544)/8 - (0 - -3). Let a = j + 77. Does 6 divide a?
True
Let c(k) = 5*k + 146. Does 18 divide c(-22)?
True
Suppose -5*h = t + 2*t + 660, 4*t = 20. Let b = -65 - h. Is 9 a factor of b?
False
Let x be 4/(-14) - 120/21. Let o(w) = -w**2 + 24*w - 13. Let l(v) = v - 1. Let m(a) = x*l(a) + o(a). Does 12 divide m(7)?
False
Let d(g) = 46*g**2 + g. Let p be d(-1). Suppose 3*u = 2*t - 30 - 50, t = -u + p. Is 17 a factor o