r. Does 12 divide x?
True
Suppose -5*b + 10 = -0*b. Suppose 3*w + 15 = 0, 5*t + b*w - 50 = 7*w. Suppose 0 = -0*p - t*p + 180. Is 12 a factor of p?
True
Let t(j) = -2*j**3 - 12*j**2 - j + 1. Is 3 a factor of t(-6)?
False
Suppose -1144 = -2*c + x, -c - 550 = -2*c - 5*x. Is c a multiple of 19?
True
Suppose 0 = 5*t - 0*m - 2*m - 47, -3*t + m + 28 = 0. Suppose -t*a = -6*a - 81. Is a a multiple of 11?
False
Suppose -4*i - 204 = 2*m + 2*m, -3*m - 161 = i. Let y = m - -73. Does 4 divide y?
False
Let a be (-9 + 6)*606/(-9). Suppose 0 = -8*d + a + 518. Is d a multiple of 18?
True
Suppose -7*v + 17*v - 30 = 0. Suppose -v*k + t + 26 + 53 = 0, -3*k - 5*t = -73. Is k a multiple of 13?
True
Let d be (-3)/(-2) + 1375/10. Suppose 5*c = -3*g + d, -3*c + 6*g - g = -97. Is 29 a factor of c?
True
Let f = -34 - -38. Suppose -3*v + 46 = f. Is v a multiple of 6?
False
Suppose 2*v = -d - 770 + 3840, -4*v + 5*d = -6154. Does 12 divide v?
True
Suppose -4*r - 7 + 63 = 0. Let n = 64 - r. Is n a multiple of 17?
False
Let u(s) = -215*s - 19. Let w be u(-8). Suppose -w + 531 = -10*j. Does 39 divide j?
True
Let m = 293 - 594. Let d = -192 - m. Is d a multiple of 17?
False
Let i = -2460 + 4280. Does 13 divide i?
True
Let i(b) = b - 16. Let j be i(14). Let h be (-164)/2*6/(-12). Is 8 a factor of j/10 - h/(-5)?
True
Is -7 + 56 + (-6)/1 a multiple of 43?
True
Suppose 2548 + 3432 = 26*x. Is 10 a factor of x?
True
Does 56 divide 29 + -34 + (0 - -341)?
True
Is 24 a factor of -2 - (-30272)/10 - (-30)/(-25)?
True
Suppose 0 = -4*m - 47 - 69. Let i be 4 + m + -1 + 0. Let u = -4 - i. Is u a multiple of 13?
False
Let x = -34 + 13. Let v = -2 - x. Let d = v - -4. Is d a multiple of 23?
True
Suppose 5*n = d - 9, -7*d - 4*n + 16 = -2*d. Suppose -x + 6 = -4*x, 3*x - 862 = -d*b. Is b a multiple of 30?
False
Suppose -3*m = 5*i - 2825, 0 = -m + 4*m + 2*i - 2822. Is 25 a factor of m?
False
Suppose -3*f - 5*h + 1 = -10, 0 = -2*f - 5*h + 9. Suppose -f*w = -5 + 3. Is 19 a factor of (-1)/w + 608/16?
False
Does 6 divide 3 - (12 + -9)*-71?
True
Let p(w) = -415*w + 151. Does 139 divide p(-6)?
True
Let p = 309 + 403. Suppose -168 = 4*x - p. Is 14 a factor of x?
False
Let q be -1 + 0/(2 + 3). Let n(s) = -11*s**3 - 2*s**2 + s + 2. Does 7 divide n(q)?
False
Let g be ((-24)/(-15))/((-2)/10). Let t = 10 + g. Does 3 divide 243/36 + t/8?
False
Let v(p) = 25*p**3 - 2*p**2 + 4*p - 3. Let u be v(2). Let b = u + -44. Does 17 divide b?
True
Let c(n) = -11*n**2 + 4*n**2 + 12 + 6*n**2 + 7*n. Let d be c(-5). Let t = -33 - d. Is 6 a factor of t?
False
Let q(k) = 19*k + 64. Is q(17) a multiple of 12?
False
Let a(n) = -2*n**3 + 4*n**2 + 4*n + 3. Let c be a(-2). Let d = -1575 + 1624. Let j = d - c. Is 4 a factor of j?
False
Let g(x) = -5*x - 98. Let m be g(-23). Let n(c) = 4*c - 5. Let p be n(5). Suppose -p*f - 160 = -m*f. Is 20 a factor of f?
True
Suppose -32*z = -1335 - 2889. Is 6 a factor of z?
True
Suppose 0 = 2*i - 5*m - 236, -5*m + 10*m + 359 = 3*i. Is i a multiple of 3?
True
Suppose 0 = -3*w + 3*c + 111, 3*w + 4*c = -w + 132. Suppose w*s - 72 = 32*s. Suppose 0 = 2*i - s - 24. Does 9 divide i?
False
Let b be 2/6 + (-520)/30. Let w = 20 + b. Suppose g - 61 = -w*g - 3*y, -3*g - 2*y = -45. Is g a multiple of 4?
False
Suppose 1 = 4*l - 7. Let m(k) = -11*k - 72*k**2 - 11*k - 8 + 71*k**l. Is 25 a factor of m(-9)?
False
Suppose -3*q = -q - 14. Suppose -q*f + 2*f = 205. Let y = 66 + f. Is y a multiple of 7?
False
Let o(a) = 33*a**2 - a + 1. Let p = -20 + 21. Is o(p) a multiple of 25?
False
Let y be ((-30)/(-24))/(1/4). Suppose y*z + 15 = 5, -5*z - 18 = -4*m. Suppose 4*s - 26 = m. Is 4 a factor of s?
False
Let n be (-1020)/(-44) + (-4)/22. Let u = -13 + n. Does 20 divide (-5)/(u/(-4))*30?
True
Let o be 5/(-3)*(-1 - 2). Suppose 11 = p + o*n - 2*n, -5*p - 3*n + 31 = 0. Is p a multiple of 2?
False
Suppose -4*y - 1 - 11 = -2*o, 2*o + 3 = -y. Suppose 0 = 5*t + 8 + 7, o = -l + 4*t + 275. Does 9 divide l?
False
Let z = -4 - -7. Suppose z*g - 65 + 5 = 0. Suppose g + 100 = 4*x. Does 15 divide x?
True
Let y = -13 - -17. Suppose -6*b + 30 = -y*b. Let g = -8 + b. Does 4 divide g?
False
Let w = 193 + -165. Does 14 divide w?
True
Suppose -42*k = -57*k + 4785. Does 35 divide k?
False
Let j(f) = -4*f**2 + 74*f - 10. Is 7 a factor of j(7)?
False
Suppose 0 = -2*n + 2, 3*a - 2*a = -2*n + 167. Does 5 divide a?
True
Let o(j) = 13*j + 621. Is 7 a factor of o(-47)?
False
Let m be -4*(-4)/8 + 21. Let d = -53 + 30. Let u = m - d. Is 17 a factor of u?
False
Let m be (-11 + 1)*138/(-12). Let l = 220 - m. Does 4 divide (-1)/((-318)/l - -3)?
False
Let b = 62 + -37. Suppose 2*s - 75 + b = 0. Does 3 divide s?
False
Suppose -2*k + 144 = -24. Suppose -4*d + k + 48 = 0. Suppose -2*t = -c + 17, c - 2*t - d = -4*t. Is 5 a factor of c?
True
Is 50 a factor of -146*(-2*4/16 + -3)?
False
Let w(z) = -z**3 + 6*z**2 + 8*z - 2. Let t be w(7). Suppose 5*y - 5*g = -25, y = -6*g + 3*g - t. Is 20 a factor of 306/15 - (-2)/y?
True
Suppose 10 = 9*n - 4*n. Is 11 a factor of (169 - 5) + n/(0 + 2)?
True
Suppose -2*q = -5 - 7. Suppose -o + q - 3 = 0. Suppose 0 = -o*k + 4*k - 24. Is k a multiple of 10?
False
Let z(l) = -l**3 - 5*l**2 - 3*l + 4. Let y be z(-5). Suppose y = -3*f + 94. Suppose 4*t + 2*c = 17 + 13, 5*c = -f. Is t a multiple of 10?
True
Let l(n) = -2*n**3 - n**2 - 3*n. Let y be (9 + -6)/((-6)/4). Let k be l(y). Suppose -k = -0*a - a - 4*w, 0 = -4*a + 3*w + 110. Is 9 a factor of a?
False
Let h = 10 + -5. Suppose 507 = 4*u - b + 4*b, -5*b + h = 0. Is 14 a factor of u?
True
Let p(g) be the second derivative of 19*g**6/360 + g**5/40 - g**4/12 - 2*g**3/3 - 4*g. Let b(q) be the second derivative of p(q). Does 20 divide b(1)?
True
Let b = 25 - 25. Does 26 divide (b + 2)/(44/3278)?
False
Let a = 0 - 6. Let y(k) = k**3 + 6*k + 3*k**2 + 9 - 3*k**2 + 8*k**2. Does 15 divide y(a)?
True
Let g(s) = s**3 - 9*s**2 - 16*s + 13. Let r be g(10). Let o = r - -120. Is 27 a factor of o?
False
Let s(f) = f**2 + 21*f + 22. Is 14 a factor of s(-38)?
False
Let d(b) = b**3 + 25*b**2 - 9*b - 176. Does 4 divide d(-24)?
True
Suppose 103*j - 85*j - 7524 = 0. Is 38 a factor of j?
True
Let n = -41 - -41. Suppose 2*b = 3*b + q - 23, n = -q + 5. Does 2 divide b?
True
Let b(r) = -r**2 + 2*r - 1. Let u be b(2). Let h = 2 - u. Is -3 - (-4 + h - 12) a multiple of 3?
False
Suppose 6*n = 8*n - 2*u - 5266, n + 5*u = 2621. Does 17 divide n?
False
Let s(y) = -2*y**3 + 4*y**2 - 10. Let r be s(-3). Suppose -3*o + r = -o. Does 4 divide o?
True
Let b(i) = i**2 + 2*i + 3. Let c be b(-8). Suppose f = -2*f + c. Does 7 divide f?
False
Suppose d = 2*d. Suppose -90 = -d*u - 5*u. Suppose 2*l = -l + u. Is l even?
True
Is 1464/21 - 12/(-42) even?
True
Suppose -2 = -7*l + 5*l. Is 96/l + (1 - -2) a multiple of 33?
True
Suppose -4*n + 7*n = 0. Suppose 2*g - 270 = 2*y, 3*y + n*y - 123 = -g. Does 44 divide g?
True
Suppose 14 = 3*z - 1, 0 = -2*j - 3*z + 1145. Suppose 41 = 3*i - j. Suppose 0 = 5*c + 3*n - 333, -4*c + 4*n = -7*c + i. Is c a multiple of 22?
True
Let w(i) = -60*i + 378. Is 47 a factor of w(-36)?
True
Let f be (-3)/(-9) + (-1)/3. Let d be (-44)/(-8) - (-2)/(-4). Suppose -5*p = -6*t + 2*t - 53, f = -d*p - 3*t + 39. Is 3 a factor of p?
True
Suppose 4*r - c + 0*c = -13, r + 17 = 3*c. Let a(y) be the first derivative of 7*y**3/3 + 3*y**2/2 - 121. Is 11 a factor of a(r)?
True
Suppose i - 5 = 5*t + 19, -i + 8 = -t. Suppose 720 = 4*g + i*g. Is 18 a factor of g?
True
Suppose 0 = q + 19*q. Suppose -k + 23 + 29 = q. Does 29 divide k?
False
Suppose -2*p = 6, -4*o - 3*p = 2*p + 7. Suppose o*f - 13 - 43 = -3*r, -5*f + 4*r + 117 = 0. Suppose 5*k = -3*q + 25, f = -k + 6*k - 5*q. Is k a multiple of 3?
False
Let n be (18/(-8))/3*4. Suppose 0*k - 4*k - 52 = 2*f, -3*k + 1 = -f. Let c = n - f. Does 9 divide c?
False
Let d(i) = i**2 - 6*i - 3. Let a be d(7). Suppose a*z - 15 = -147. Is 3 a factor of 4/22 - 159/z?
False
Suppose -2*a = 163 - 203. Is a a multiple of 4?
True
Suppose -t + 1818 = 5*v, 317 = 2*v - 3*t - 417. Suppose 5*o = f + 361, -5*o - 2*f = -6*f - v. Does 36 divide o?
True
Let h = -40 - -45. Let p(d) = 27*d - 35. Does 25 divide p(h)?
True
Let y(c) = 84*c - 78. Does 62 divide y(12)?
True
Suppose -10*u = -9*u - 256. Does 97 divide u?
False
Let x(b) = -5*b + 36. Is 13 a factor of x(-36)?
False
Suppose 0 = 3*v - 3*f - 6858, -