 u*c - 126 = -30. Is c a multiple of 8?
True
Suppose -9*n = -3046 - 4298. Is n a multiple of 51?
True
Let m be 13/(-39) - (-469)/3. Is 7 a factor of (m/(-182))/((-2)/70)?
False
Suppose 5*h - 34 = 4*h. Let a = -18 + h. Is 7 a factor of a?
False
Let s = -799 + 1501. Is s a multiple of 18?
True
Suppose 10 - 34 = -2*k. Let b be (-8)/k*3*-2. Suppose -m = b*z - 21, -2*m = 3*m - 4*z - 33. Is m a multiple of 2?
False
Suppose l - 3*v - 13 = 0, 3*l + 4*v = -0*v. Suppose 0 = 5*c - c - 12. Suppose -2*n = c*j - 50 - 0, 5*j + l*n - 80 = 0. Is j a multiple of 4?
True
Let b(r) = 2*r**2 + 4*r - 64. Does 23 divide b(14)?
False
Let w = -1 - -7. Let u be 68/(-7) - w/21. Let c(y) = y**3 + 9*y**2 - 11*y - 5. Does 2 divide c(u)?
False
Let c be (0 - -3)/(4/(-16)). Let b = c + 15. Suppose -b*g + 2*p + 176 = 0, -p - 178 = g - 4*g. Does 15 divide g?
True
Suppose 5*i = 4*j + 101 + 17, -3*j + 113 = 4*i. Suppose 0 = c + i. Let w = 38 + c. Does 6 divide w?
True
Let s(w) = -w**2 - 3*w + 4. Let l be s(-4). Suppose -3*n = 2*b - n - 118, 4*b - 2*n - 206 = l. Let z = b - 33. Is z a multiple of 21?
True
Let p be (-1*(-16)/(-4))/(-4). Let l be -12*p*156/16. Let c = -57 - l. Is c a multiple of 15?
True
Suppose -3108 + 712 = -4*q. Does 24 divide q?
False
Suppose -12 = 3*g, -1 + 2 = w + g. Does 2 divide 73/w + 4 - (-3)/(-5)?
True
Suppose 0 = -0*p + 3*p - 81. Suppose 120 = -3*l - p. Let n = -17 - l. Is 13 a factor of n?
False
Suppose -4*k = -3*i - 271, -2*i + 148 = 3*k - 34. Is k a multiple of 8?
True
Let z(i) = i**2 + 7*i - 2. Let y be z(-8). Let b be ((-9)/y)/(3/(-8)). Suppose b*n = n + 24. Does 8 divide n?
True
Let v(w) = -14*w. Let q be v(1). Is 21 a factor of q/(-28) + (-167)/(-2)?
True
Suppose 2*y - s - 455 = 378, 1661 = 4*y - s. Is 9 a factor of y?
True
Let w = 16 + -7. Suppose 3*h - 5 = 5*q, 5*h = -q + w + 18. Suppose 0 = 4*p + 2*d - 268, -4*d - 283 = -h*p + 65. Is 34 a factor of p?
True
Suppose -95 = 5*q - 1400. Does 29 divide q?
True
Let n = 4 + -4. Let d = n + 14. Is 2 a factor of d?
True
Suppose 0 = 8*a - 6*a - 6. Suppose -9 = -u + 3*w, 4*u - 37 = -a*w + 14. Is (-3)/(-9) - (-152)/u a multiple of 13?
True
Let b(u) = -u**3 - 15*u**2 + 4. Let a be b(-15). Suppose -4*r - 5*h + 0*h = -a, 4*h = 5*r - 46. Is 2 a factor of r?
True
Does 9 divide (495/35 - 3)*21?
True
Let g(v) = -2*v**2 - 21*v - 127. Let p be g(-8). Let x be (2/(-2))/((-1)/(-5)). Is (p/x)/((-5)/(-25)) a multiple of 26?
False
Let o = 259 + 4. Does 34 divide o?
False
Let l = 34 - 38. Does 15 divide l/(-10) - 448/(-5)?
True
Suppose -2*o + 4 = 0, 347 = h - 0*h - 2*o. Is h a multiple of 27?
True
Let w = 2331 + -1197. Does 12 divide w?
False
Suppose -3*y = -5*c + 49, 48 - 12 = 4*c - 4*y. Suppose c*z + 160 = 16*z. Does 3 divide z?
False
Does 6 divide 0 - (-238 - (4 + -1))?
False
Does 9 divide 163 + (4 - 15/3)*1?
True
Let j = -109 + 125. Is 43 a factor of j*(-23)/(-2)*(1 - 0)?
False
Let q(p) = 2*p - 31. Let d be q(16). Let j(w) = 76*w. Is j(d) a multiple of 38?
True
Suppose -11*l = -5*l - 714. Suppose 0 = -3*w + 5*r - 63, -2*w - 4*r = -5*r + 42. Is 8 a factor of (-7)/w + l/3?
True
Let k(t) be the second derivative of 13*t**3/6 - 3*t**2 - 5*t. Does 6 divide k(1)?
False
Let t be 111/15 + 4/(-10). Suppose -2*u = -u - 1. Is u + 76 - (6 - t) a multiple of 17?
False
Let h = -51 - -107. Does 7 divide h?
True
Let l = 47 - -611. Is l a multiple of 71?
False
Let k = -4 + -1. Let y be 1 - -7 - (-7 - k). Suppose y*i = 4*i + 36. Is 4 a factor of i?
False
Let y = -23 - -67. Let n = y + -24. Suppose -3*t + j = -85, 0 = 4*t + 3*j - 155 + n. Is 13 a factor of t?
False
Is 1108/48*3 - (-5)/(-20) a multiple of 2?
False
Suppose -14*n + 3647 + 2037 = 0. Does 58 divide n?
True
Suppose -3*y + 93 = -5*u, 4 = 3*u - 5. Is 22 a factor of 430/8 + 9/y?
False
Is 35 a factor of (-1 - 719/(-9)) + 9/81?
False
Let f = 861 - 393. Does 18 divide f?
True
Let z(i) = 10*i**3 - 3*i**2 - 6*i + 7. Is 7 a factor of z(2)?
True
Suppose -w - 4*h = h + 20, 30 = w - 5*h. Suppose -w*v - a = -81, -5*v + 2*a + 78 = -0*v. Is v a multiple of 3?
False
Is 4/(-20) + (5 - 5111/(-5)) a multiple of 26?
False
Let b = 0 + 1. Let s be 424*(b + (-2)/4). Suppose 0 = -4*q + 5*o + 180, 3*o + s = -0*q + 5*q. Is 8 a factor of q?
True
Suppose 2*o = 413 + 963. Is o a multiple of 44?
False
Suppose 0 = 4*l - 8 - 4. Does 8 divide (l/12*4)/(2/22)?
False
Suppose -6*t = -2*t + 16, 0 = 4*m - 5*t - 1148. Does 47 divide m?
True
Suppose -10*v - 132 = -4*v. Let r = v + 77. Does 5 divide r?
True
Suppose 6*t - 987 - 2481 = 0. Does 45 divide t?
False
Let g(u) = -u**3 - 13*u**2 + 8*u + 17. Is g(-16) a multiple of 40?
False
Is (-53)/(4*3/(-108)) a multiple of 14?
False
Suppose 468 = 5*x + 4*i - 2382, 0 = -x + 3*i + 589. Suppose -12*z + 5*z = -x. Is z a multiple of 12?
False
Suppose 19*l = -7*l + 6786. Does 87 divide l?
True
Is (-56)/16*(-52 + 4) a multiple of 28?
True
Suppose 701 + 5833 = 22*y. Is y a multiple of 18?
False
Suppose -3 + 213 = 2*p. Does 15 divide p?
True
Let d(w) = 7*w**2 - 7*w. Let j be -1 + (-88)/(-16) + (-1)/(-2). Is 14 a factor of d(j)?
True
Let t(o) = -4*o**3 - 8*o**2 + 8*o + 12. Is 30 a factor of t(-6)?
True
Let n(b) = -24*b + 4. Let m be n(-1). Is 37 a factor of 6044/m - -1 - 1/(-7)?
False
Suppose -k + 1045 = 3*s, -4*s - k + 1404 = -5*k. Let w = s + -152. Is 46 a factor of w?
False
Let s be (14/35)/(1/5). Suppose 3*i - 125 = -s*i. Is i a multiple of 6?
False
Let h(a) = -2*a**3 - 27*a**2 - 20*a - 63. Does 4 divide h(-15)?
True
Is (-15 + 103)*316/16 + -3 a multiple of 9?
False
Let z = -752 + 1910. Is 30 a factor of z?
False
Suppose 5*j = 88*j - 106904. Does 28 divide j?
True
Let w(i) be the second derivative of i**4/3 + i**3/3 - 7*i**2/2 + 10*i. Suppose -2 = 2*d, 3*p - 3*d + 5 - 17 = 0. Is w(p) a multiple of 27?
False
Let x = -168 + 209. Is 7 a factor of x?
False
Is 46 a factor of (-16)/56 - (-15462)/21?
True
Let s = -439 + 811. Does 12 divide s?
True
Suppose -95*y + 87*y + 7920 = 0. Is y a multiple of 41?
False
Suppose -30 = 9*a - 12*a. Suppose -7*y - 360 = -a*y. Is 20 a factor of y?
True
Let z(t) = -7*t - 32. Let x be (-5)/(20/56) - -1. Does 27 divide z(x)?
False
Let s(i) = 6*i**3 - i**2 - i + 1. Let j be (-4 + 19)/3 + -3. Does 19 divide s(j)?
False
Does 69 divide (5733/14 + 6)*2?
False
Let f(h) = 10*h - 6. Let t be f(-6). Suppose 2*g - 100 = 3*q, 4*g + 10 = -5*q + 4*q. Let s = q - t. Is s a multiple of 12?
True
Suppose -z + 2*v + 1391 = 0, -2*z + 82*v = 86*v - 2766. Is 39 a factor of z?
False
Let w(s) = -8*s + 157. Is w(-9) a multiple of 40?
False
Let g = 28 - 31. Is -8*g/(-18)*-24 a multiple of 13?
False
Suppose 4*v - 451 - 489 = 0. Suppose d + 81 - v = -i, -i = -d + 152. Does 17 divide d?
True
Let y(s) = -s**3 + 8*s**2 - 5*s + 2. Let u be y(7). Suppose 4*j = -0*j + u. Suppose -2*i + j*i - w - 23 = 0, -i + 3*w + 9 = 0. Is 4 a factor of i?
True
Let p = -45 + 52. Suppose p*q = 4*q - 4*g + 393, 4*g - 266 = -2*q. Is q a multiple of 43?
False
Suppose -k - 2*k + 3 = 3*d, 0 = 5*k + d - 1. Let i(a) = a**2 + a + 256. Let m be i(k). Suppose 8*g - 4*g = 16, -5*u - 4*g = -m. Is u a multiple of 16?
True
Suppose 3*v - 374 = -3*f + 1189, 3*v - f = 1579. Does 15 divide v?
True
Suppose -6*a = -5*a - 10. Let t(p) = -1 + 4 + 4 + a*p. Is 29 a factor of t(8)?
True
Let h = 271 - -191. Is 13 a factor of h?
False
Suppose 6*n - 45 = -15. Suppose 7 = n*d + 3*k, -2*d + 2 = -0*k + 2*k. Suppose 5*c - 321 = -3*z - 0*z, -z - 124 = -d*c. Does 21 divide c?
True
Let n = -1 + 6. Suppose 0 = q + n*q - 36. Suppose q*y = y + 40. Is 2 a factor of y?
True
Let f(l) = l**2 - 12*l - 11. Let p be f(14). Let y(g) = -g**3 + 16*g**2 + 20*g - 8. Let v be y(p). Suppose 17 - v = -2*i. Is 3 a factor of i?
False
Let r = 245 - 17. Is 76 a factor of r?
True
Let x = 44 - 64. Is 28 a factor of (x/3 + 2)*-12?
True
Suppose -430 = -p - 4*i, -250 - 995 = -3*p + 3*i. Is p a multiple of 9?
False
Suppose 18*b - 65*b = -66082. Does 37 divide b?
True
Suppose -3*d + 806 + 1523 = -4*b, -4*d = -4*b - 3108. Is d a multiple of 13?
False
Let r = 28 - 34. Let l = 48 + r. Is l a multiple of 21?
True
Suppose 3*p + 29 = 5*g - 9, 0 = 4*g - 3*p - 31. Suppose 2*o = -g - 3. Let w(t) = -3*t - 1. Is w(o) a multiple of 4?
False
Let y = 23 - 20. Suppose 2*h - 3*j = 352, j + y*j = 2*h - 354. Is 9 a factor of h?
False
Let r(v) = -2*v**3 - 6*v**2 - 4*v - 8. Let c b