 50*y + 250 = -46*y. Does 43 divide i?
True
Let d = 6 + -4. Suppose d*n + 246 = 5*n. Does 41 divide n?
True
Suppose 2*x - 7*x = -15. Is 4*(4 - x)/(1/12) a multiple of 12?
True
Is 11/2*37236/319 a multiple of 16?
False
Suppose v = 6*v - 25. Let y = -952 - -1082. Suppose 4*j + y = 5*p, v*j + 65 = -3*p + 6*p. Does 10 divide p?
True
Let o(i) be the first derivative of i**3/3 - 7*i**2/2 + i - 5. Let l be o(6). Does 26 divide (-388)/l + (-2)/(-5)?
True
Let s be 33/7 + (8/(-7))/(-4). Suppose c = -2*h + 46 + 162, 0 = 2*c - s*h - 416. Is c a multiple of 13?
True
Suppose 8*g - 420 = 6*g. Is g a multiple of 7?
True
Suppose -1530 = 3*r - 6*r - 2*p, -2*r + 1020 = 4*p. Is r a multiple of 7?
False
Let g(j) = 54*j**3 + 2*j**2 - 3*j + 1. Let u be 35/15 + 1/(-3). Let i(a) = a**3 - 2*a**2 + a - 1. Let l be i(u). Is 10 a factor of g(l)?
False
Suppose 0 = -2*p - 3*k + 786, -4*p - 231 + 1819 = 2*k. Does 19 divide p?
True
Is 2952/21 - (18/7 - 2) a multiple of 34?
False
Let q(r) = -2*r + 47. Is q(-11) a multiple of 69?
True
Suppose 0 = -6*t + 4*t + 18. Suppose t*y + 45 = 14*y. Is y a multiple of 2?
False
Let k(v) = -v**2 + 7*v + 2. Let r be k(8). Let y be (64/(-24))/(r/(-117)). Let g = -24 - y. Does 7 divide g?
True
Suppose -3*o = -5*o + 16. Let g be (o/(-28))/(4/(-84)). Let r(w) = w**2. Is 13 a factor of r(g)?
False
Let a be 2 + 23*(0 + 2). Let x = -13 + a. Is x a multiple of 35?
True
Suppose -3*b - 5*b + 48 = 0. Does 20 divide -24*(-40)/b*(1 - 0)?
True
Let x be (-3 - -3) + 0 + 7. Suppose 0 = -6*v - x*v + 403. Is 10 a factor of v?
False
Let h(d) = 16*d**3 + 3. Let b be h(2). Let m = b + -67. Is m a multiple of 16?
True
Let u = 10 - 2. Let h = -5 + u. Suppose -5*w + 2*o = -122, 3*w - 42 - 27 = -h*o. Does 24 divide w?
True
Let u(w) = -w**3 + w - 9. Let n be u(-4). Suppose -50*y = -n*y + 39. Is 13 a factor of y?
True
Suppose -180 = -3*n - 4*a, -4*a = -5*n - 2*a + 274. Let q = n + 37. Is q a multiple of 21?
False
Let o(g) = 3 - 4 + 0 - g**2 + 5*g. Let f(h) = -h**3 + h**2 - h + 3. Let b be f(0). Does 2 divide o(b)?
False
Let y(m) = 4*m - 48. Let x be y(13). Suppose -3*i = -x*a + 193, -2*i + 12 = -6*i. Does 7 divide a?
False
Let h be ((-1)/(-3))/((-4)/(-24)). Suppose 13 = h*z + 5. Let w(i) = 2*i**2 - 5*i - 2. Is w(z) a multiple of 10?
True
Is 82 a factor of 2/8 + 118422/136?
False
Suppose -1320 = -5*o - 0*o. Let m = -88 + o. Does 26 divide m?
False
Let u(w) = -w**3 - 13*w**2 + 8*w - 21. Let m be u(-14). Is 10 a factor of ((-666)/m)/((-2)/14)?
False
Let q be 258/24 - 3/4. Let n be ((-8)/q)/((-9)/45). Suppose 4*r = n*p + p - 198, 5*p = -3*r + 219. Is p a multiple of 34?
False
Let w(n) = -n**3 + 10*n**2 - 15*n + 2. Let d be w(10). Let r = d + 248. Is 24 a factor of r?
False
Let v = 19 + -8. Is v*(24/(-4))/(-3) a multiple of 4?
False
Suppose 4*x = 6*x - 108. Is 28 a factor of (92/3)/(12/x)?
False
Let w(l) be the second derivative of l**5/20 + 7*l**4/12 - l**3/3 + 7*l**2/2 - 4*l. Does 21 divide w(-7)?
True
Suppose -2*g = g. Suppose -2*c + 4*n + 4 = 2*n, g = -3*n + 9. Suppose -2*l + 51 = 2*l + p, c*p = -l - 11. Is l a multiple of 7?
True
Is 19 a factor of ((-413)/7 - 8)/(-1)?
False
Suppose 0 = -5*y + 11 - 1. Suppose -y*d - d = 5*i - 99, 2*d = -5*i + 66. Does 15 divide d?
False
Let b(o) = -13*o + 3. Let s be b(2). Let v = 3 - s. Does 4 divide v?
False
Suppose 3*h = -h + 12. Let w = 5 - h. Is 24 a factor of 3*(w - 3) - -75?
True
Let y = 56 - -108. Suppose -2*p - y = -4*p. Does 9 divide p?
False
Suppose 3*k - 3 = 0, 3*c - 4*k = k + 16. Suppose -2*g - 3 + c = 0. Does 31 divide g/5 + (-632)/(-20)?
False
Let b(g) = g**3 + 2*g**2 - 16*g + 39. Is 8 a factor of b(7)?
True
Let s = 43 + 17. Suppose -f + 4*k = 1 + s, -k - 261 = 4*f. Let c = f + 91. Is 5 a factor of c?
False
Let j(x) = 7*x + 16. Let p = 1 - -5. Does 9 divide j(p)?
False
Suppose 0 = 11*f - 6*f - 125. Let w = 81 - f. Is 7 a factor of w?
True
Let y(q) = -26*q**3 - q**2 - 3*q - 2. Let n be y(-1). Let g = -21 + n. Is g a multiple of 5?
True
Let i(u) = u**3 - 10*u**2 + 5. Let t be i(10). Suppose -2*g + g + 146 = 5*r, -5*r = -t*g - 170. Is r a multiple of 3?
True
Suppose -36*r - 186 = -42*r. Does 4 divide r?
False
Let n = -21 - -48. Let b = 29 - n. Is 4 a factor of ((-10)/6)/(b/(-36))?
False
Let y(c) = 4*c - 4. Let k be y(2). Suppose k*x - 2*d - 578 = 0, 1030 = 5*x - 3*d + 306. Is 10 a factor of x?
False
Suppose 0 = 4*i + z - 2*z, 5*z = 2*i. Suppose 5*u - 3*c + 119 = i, 0*u + 2*u = -c - 41. Let q = -15 - u. Is 2 a factor of q?
False
Let h(p) = -2*p**2 - 4*p + 4. Let b be h(-4). Let o = b + 17. Is 4 a factor of o?
False
Let g(h) = 66*h**2 - 6*h - 34. Does 34 divide g(-3)?
True
Let z = 229 + -181. Is 8 a factor of z?
True
Suppose -4*j - 30 = 30. Let z(v) = -v**3 - 15*v**2 - 2*v + 18. Is 6 a factor of z(j)?
True
Suppose 5*s - 2*w = 4000, -s + 6*s + 4*w = 3970. Is 42 a factor of s?
True
Let h be 63/(-1)*((-24)/3 - -1). Suppose -3*p + h = 117. Is p a multiple of 36?
True
Suppose 4*w + 5*w - 1026 = 0. Is w a multiple of 19?
True
Let q be (1 - (-2)/(-5))*5. Suppose -t = q*t - 124. Let a = t - 23. Does 8 divide a?
True
Suppose -30*b = -34*b + 1936. Is 41 a factor of b?
False
Suppose 1 - 3 = -3*g + 2*c, g - 12 = -5*c. Let u be 4/(-16) - 461/(-4). Suppose k = -4*s + 1, g*k - 2*s = -3*k + u. Is k a multiple of 11?
False
Let s = 57 + -80. Let x be ((-24)/18)/(4/(-99)). Let d = x + s. Is d a multiple of 9?
False
Let m(h) = 9*h + 5. Let q(a) = -a**2 - 8*a - 5. Let l be q(-6). Let r be m(l). Let x = -21 + r. Is 16 a factor of x?
False
Let n(i) = -3*i - 8. Suppose -5*g + k = -4*g + 3, 0 = -3*g - k - 13. Let y be n(g). Does 15 divide 51 - y - (-6)/2?
False
Let g(l) = -l - 1. Let v be g(-7). Suppose 3*t + t = 20. Suppose -i + 2*i = 4*q - v, t*i = -q + 75. Is 4 a factor of i?
False
Suppose 160 = 32*r - 28*r. Suppose -2*n + 6 = -18. Let c = r - n. Is 5 a factor of c?
False
Let l = -63 - -106. Suppose 5*x - 3*o + 18 - 63 = 0, -3*x + 5*o + l = 0. Is x even?
True
Suppose 4*d = d - 33. Let a be (6/(-4))/(d/506). Let k = 123 - a. Does 9 divide k?
True
Does 5 divide 8/(-2)*(3 - 29)?
False
Suppose 35*f + 360 = 41*f. Is f a multiple of 5?
True
Let r = -875 + 1384. Is r a multiple of 17?
False
Let t(n) = -n**3 + 13*n**2 + 3*n - 15. Suppose -60 = -4*k + 4*w, -3*k = -0*w + 4*w - 31. Is t(k) a multiple of 12?
True
Is 86 a factor of (1738*(-3)/4)/((-9)/12)?
False
Suppose -758 - 339 = -5*c + t, 5*c = 4*t + 1088. Does 2 divide c?
True
Let v(y) = 417*y**2 - 7*y - 13. Is v(-2) a multiple of 62?
False
Does 56 divide (-338520)/(-224) + (-9)/(-12)?
True
Let t = -28 + 40. Suppose 2*y + 0*n - 2*n - 24 = 0, 0 = y + 4*n - t. Let s = y - -2. Does 3 divide s?
False
Let m(d) be the first derivative of d**3/3 + 9*d**2/2 + 4*d - 12. Is m(5) a multiple of 23?
False
Let s(z) = z**2 - 1. Let g(w) = -60*w**2 + 4. Let c(k) = -g(k) - 3*s(k). Suppose -5*j = -r - 4, 0 = 4*j + 2*r + 10 - 16. Is 15 a factor of c(j)?
False
Suppose -3*t = -3*h - 9741, 5781 = 3*t - 5*h - 3958. Is 116 a factor of t?
True
Suppose 0 = 5*f, 1072 + 1512 = 4*x + f. Is x a multiple of 34?
True
Suppose 8*m = 4*m - 112. Let z be ((-10)/3)/(m/42). Is (z*6)/((-24)/(-16)) a multiple of 10?
True
Let m(x) = -x - 5. Let p(d) = -8*d - 34. Let y(s) = 44*m(s) - 6*p(s). Is y(9) a multiple of 10?
True
Suppose 4*y - y = -t + 158, -6 = -3*y. Does 19 divide t?
True
Let x = 5 - 5. Suppose -d - d + 104 = 2*l, -2*l - 5*d + 98 = x. Is 18 a factor of l?
True
Let g(l) = -2*l**3 - 10*l**2 + 6*l - 14. Is 23 a factor of g(-8)?
True
Does 13 divide (40 - 1 - 0)/((-96)/(-1664))?
True
Suppose 4*w + 11 - 27 = 0. Suppose -20 = -w*v, -2*v = 3*b - 15 - 7. Does 2 divide b?
True
Let l(t) = t**3 + 45*t**2 + 41*t - 70. Does 15 divide l(-44)?
False
Suppose 5*o - 10 = -5*a, 4*a = -2*o + 7*o + 8. Let u be 16/(-6)*9/(-6). Let k = u + a. Does 4 divide k?
False
Let c(t) = -24*t - 22. Let q be c(-5). Suppose -5*n + 23 + 2 = 0. Is q + -4 + n + -3 a multiple of 32?
True
Let p = 1420 + 1478. Is p a multiple of 46?
True
Suppose 872 - 614 = 3*t. Let o be 52/14 + 4/14. Suppose 14 = o*g - t. Is 25 a factor of g?
True
Let f = 1127 + -902. Is f a multiple of 29?
False
Let i = 2928 + -1712. Does 19 divide i?
True
Let t be ((-20)/(-35))/(-2) + 74/14. Let r(g) = -g**2 + 7*g - 1. Is r(t) a multiple of 3?
True
Suppose -5*a = -4*l - 4, -l - 40 = -5*a - 6*l. Suppose a*