) a multiple of 7?
False
Suppose 5*u - 2*d + 304 = u, 2*u + 148 = 2*d. Let y = -38 - u. Does 10 divide y?
True
Let g(y) = y**2 + 4*y - 8. Let n be (-1)/(4/(-28)) + 1. Is g(n) a multiple of 12?
False
Suppose 9 = 5*u - 16. Suppose u*q - 679 = -2*q. Is q a multiple of 7?
False
Suppose -112*k = 64157 - 260269. Does 80 divide k?
False
Suppose -3*t = 2*r - 172, -t - 4*r = t - 112. Does 5 divide t?
False
Suppose 3*q - 6 = q. Suppose 0*z = -q*z - 4*b - 273, 5*b + 276 = -3*z. Let c = -45 - z. Is 14 a factor of c?
True
Let v = 238 - 160. Is v a multiple of 20?
False
Suppose -3*m + 2*d = 94 - 324, -5*m + 4*d = -382. Is m a multiple of 3?
True
Suppose -5*a + z - 397 - 59 = 0, a - 5*z = -72. Let t = -45 - a. Is t a multiple of 39?
False
Let s = 132 + 44. Does 7 divide s?
False
Let u be (12/15)/((-4)/(-10)). Suppose -2*t + b + 267 = -2*b, b + 277 = u*t. Let z = t + -48. Is z a multiple of 16?
False
Let m = -19 + 21. Suppose 2*c - 5*c + 78 = 0. Does 12 divide m - -1*(c - 4)?
True
Let g(r) = 4*r - 33. Let t be g(10). Suppose -4*i + 3*f - 93 = -t*i, 0 = 4*i + f - 124. Is 2 a factor of i?
False
Let m(g) = -7*g + 31. Let c be m(-20). Suppose -9*y + 1179 + c = 0. Does 15 divide y?
True
Is 13 a factor of (11492/(-78))/(2/(-3))?
True
Let v = -279 + 281. Is v even?
True
Is -3*((-8)/(-32) + 1588/(-16)) a multiple of 21?
False
Suppose n - 71 = 3*w, 3*n = 6*n + w - 223. Is 16 a factor of n?
False
Suppose -r + 0*r + 7 = 0. Suppose 5*x = 4*a + 50, 3*a - r*a - 8 = 2*x. Is 6 a factor of -3 + x/3 + 24?
False
Does 8 divide (0/4 + 1)*(1190 - -2)?
True
Let m(g) = -g**3 - g**2 + g + 5. Let j be m(0). Suppose 29 = i - 4*p, j*p = 4*i - i - 115. Is 9 a factor of i?
True
Let g(r) be the third derivative of r**5/30 - 5*r**4/24 - r**3/6 + 3*r**2. Let n be g(5). Let c = 43 - n. Is 19 a factor of c?
True
Suppose -3*s - 3*j = 15, 0 = s - 5*j - 11 - 2. Is (0 + 606/(-6))/(2/s) a multiple of 15?
False
Suppose 41 + 34 = 3*d + 3*a, 4*d - 5*a - 145 = 0. Is 10 a factor of d?
True
Suppose v - 6 = -20. Let j = v + 42. Is j a multiple of 14?
True
Let r = -264 - -288. Is r a multiple of 4?
True
Suppose 12*x - 132500 = -38*x. Is x a multiple of 47?
False
Suppose -3*r - 159 = -561. Suppose 19 = -5*q + r. Is 3 a factor of q?
False
Suppose -3*g - 1 = -361. Suppose n - 6*n = -g. Let o = n - 15. Is o a multiple of 3?
True
Suppose -24 = 4*f - 8. Let m be f - (-4)/2 - -7. Suppose -m*k + 124 + 56 = 0. Does 12 divide k?
True
Let m be (0 - -1)*(-4 - -4). Let p(s) = 2*s + 93. Does 31 divide p(m)?
True
Let k be 1*4*(-74)/8. Let t be -6*2*k/4. Suppose -t - 37 = -5*f - 3*b, 4*f + 5*b = 121. Does 19 divide f?
False
Suppose -194 = -3*h + 4*z, z + 80 - 326 = -4*h. Suppose 9*u = 8*u + h. Is u a multiple of 18?
False
Let b(h) = 106*h**2 + h - 1. Let q be b(1). Let a = 272 + -14. Let c = a - q. Is 38 a factor of c?
True
Suppose 2*k - k = -4. Let o(t) = -t**2 - 3*t + 8. Let g be o(k). Suppose -4*l = -2*y + g*y - 10, 2*y = -2*l. Is 5 a factor of l?
True
Let p(b) = 17*b**2 + 2*b + 3. Let y be p(-1). Let w = -3 + 6. Is 4 a factor of 38*w/y*3?
False
Suppose -5*n + 0*l - 4325 = 5*l, 2585 = -3*n - 5*l. Let b be (2 - 0)/((-20)/n). Suppose 0 = 5*r + 2*v + 50 - 446, 0 = -r - 3*v + b. Is r a multiple of 26?
True
Let l(g) = g**3 - 10*g**2 + 14*g - 27. Does 13 divide l(12)?
True
Is 1/(-4) - 38202*(-22)/176 a multiple of 62?
False
Suppose 4 = 2*u - 24. Let h = 18 - u. Suppose 9*f - h*f = 90. Is f a multiple of 6?
True
Suppose 0*b - 2*b - 244 = -2*y, 2 = b. Let q = y + -75. Is q a multiple of 19?
False
Let g = 53 + -56. Is 17 a factor of (-4)/6 - 53/g?
True
Suppose -36*p = 42*p - 39312. Is p a multiple of 12?
True
Let v(o) = -o**2 - 6*o - 11. Let d be v(-8). Let a be (d/6)/((-2)/4). Let c = 3 + a. Is 4 a factor of c?
True
Let h = -1146 + 2154. Does 63 divide h?
True
Let h = -97 - -97. Let z(l) = l**2 - l + 44. Does 15 divide z(h)?
False
Let q be ((-2)/(-3))/(4/18). Suppose -2*k = q*k - 20. Let y = 19 + k. Does 6 divide y?
False
Suppose t - 3*l - 5151 = 0, 5*t - 5*l = 7*l + 25752. Is t a multiple of 66?
True
Let r(w) = w**3 - 5*w**2 + 8*w + 16. Is 5 a factor of r(6)?
True
Suppose -5*f = 40 + 20. Let i be (-18)/f*448/6. Suppose 5*n + 196 = 4*z - 0*n, 2*z - i = -n. Is z a multiple of 27?
True
Let p = 6 + -6. Does 9 divide (-4)/(-10) - ((-123)/5 + p)?
False
Let t(w) = -w**3 + 8*w**2 + 7*w + 9. Let r(u) = -u**3 + 7*u**2 + 6*u + 9. Let n(j) = -2*r(j) + 3*t(j). Does 11 divide n(10)?
True
Is 11/3 + -4 + (-74)/(-6) a multiple of 5?
False
Does 117 divide 4/30 + (-7)/420*-242932?
False
Let r = 249 - -8. Is 9 a factor of r?
False
Suppose 6298 = -38*z + 27236. Does 20 divide z?
False
Let h(l) = -l**2 - 14*l + 22. Let x be h(-15). Let f = x - -17. Does 6 divide f?
True
Let r(l) = 2*l**2 + 3*l + 4. Let y be r(-3). Suppose -315 = -18*p + y*p. Is p a multiple of 16?
False
Let c(q) = q - 1. Let x be c(12). Let l = x - 8. Suppose 4*i - l*i - 18 = 0. Is i a multiple of 18?
True
Let d(v) = -v**2 + 11*v - 2. Let l be d(12). Let z be ((-52)/6)/(4/(-12)). Let y = l + z. Is y a multiple of 3?
True
Let k = 1341 - 483. Is 13 a factor of k?
True
Let a(s) = -2*s - 10. Let y be a(-8). Let v(w) = 25*w + 6. Let m be v(y). Suppose 4*c + m = 6*c. Does 23 divide c?
False
Suppose 8*u - 27 = 7*u. Is 9 a factor of u/(-45) - 543/(-5)?
True
Let r = -308 - -334. Does 2 divide r?
True
Is ((6 - -4)/(-2))/(3/(-114)) a multiple of 5?
True
Suppose -7*x - 2720 = -17*x. Is x a multiple of 17?
True
Suppose 0 = -82*o + 34*o + 209952. Does 14 divide o?
False
Suppose 0 = -4*y + 5*c - 2, 0 = 3*y - 0*y + 5*c - 16. Is 5 a factor of (120/48)/(y/12)?
True
Let u(l) = l**3 - 14*l**2 + 5*l + 10. Let d be u(14). Let p = -8 + d. Is p a multiple of 15?
False
Is 9 a factor of -72*(1 - 4)*(-2)/(-3)?
True
Does 22 divide 23720/22 + (-8)/44?
True
Let q(l) = -2*l**2 - 26*l + 1. Does 2 divide q(-5)?
False
Suppose k - 4 = -2, -2*k = -t + 103. Does 16 divide (t/2 + 1)*2?
False
Suppose 5*f = 3*f + 138. Let b = 160 - f. Is b a multiple of 16?
False
Suppose -2*m - 12 = 2*u, -3*u = -9*m + 4*m - 38. Does 7 divide m/21*(29 + -1)*-3?
True
Let m(z) be the first derivative of z**4/6 - z**3/6 - 4*z**2 + z - 4. Let k(r) be the first derivative of m(r). Does 20 divide k(4)?
True
Let s = 7 - 2. Let z = 0 + s. Suppose -z*i = 16 - 376. Is i a multiple of 19?
False
Let a(b) = 13*b**2 - b - 2. Let g(k) = k - 7. Let h be g(5). Is a(h) a multiple of 14?
False
Let i = -167 - -299. Let q = i - 87. Does 26 divide ((-6)/(-2))/(5/q)?
False
Let k(g) = 11*g**3 + 17*g**2 - 17*g + 3. Does 18 divide k(3)?
False
Does 13 divide -2 - -2 - 156*(1 - 2)?
True
Let m(i) = i**3 + 7*i**2 + 6*i + 2. Let o be m(-6). Suppose -o*j = j + 3. Is 6 a factor of j/(3/(-36)*2)?
True
Suppose -5*b + 2*b = -9. Suppose -b*g = -6*g + 3. Is 32 a factor of (128/(-10))/(g/(-5))?
True
Let r(c) = c + 4. Let d be r(6). Let y(x) = -x**3 + 10*x**2. Let u be y(d). Suppose 5*b - 90 = -u*b. Is b a multiple of 6?
True
Let t be -1 - (-1 + 3) - -3. Suppose t = 4*b + 82 + 6. Is (-3894)/(-121) - (-4)/b a multiple of 8?
True
Let o be 3 - (-1 + 2 + -2). Suppose -4*v = -4*p + o, -v - 3 = 2*v + 3*p. Let s(a) = -23*a. Is 5 a factor of s(v)?
False
Suppose -11 + 1 = -v. Suppose 6*g = 4*g + v. Suppose -98 = 2*d - 5*d + 5*p, -5*p + 110 = g*d. Does 12 divide d?
False
Let i be 18/((0 - -2)/(-2)). Suppose -p + 56 = 3*d, 65*p - 3*d + 215 = 69*p. Let m = p + i. Is 6 a factor of m?
False
Suppose -30*x = -14834 - 60496. Is 50 a factor of x?
False
Let t be (11 + -14)*(3/(-9) - 1). Suppose 41 = t*v - 959. Is v a multiple of 37?
False
Suppose -11 = -7*l + 94. Let b be 932/l - 6/45. Suppose 0 = -2*y + b - 8. Does 9 divide y?
True
Let j(y) = 23*y + 284. Is j(-9) a multiple of 2?
False
Let t(d) = 2*d**2 - 40*d - 6. Let s be t(20). Is 12 a factor of -2 - (-80)/6 - 4/s?
True
Let n = 121 - 119. Is ((-1053)/(-65))/((4/10)/n) a multiple of 9?
True
Let v(p) = 14*p - 1 + 3*p - 3*p. Let u be v(2). Suppose 0 = 2*m + m - u. Is m a multiple of 4?
False
Is ((-6)/4 - -2)*(2 + 818) a multiple of 5?
True
Let b be 326 + (-1 + -1 - -6). Suppose -i = 2*i - b. Is i a multiple of 22?
True
Let p(t) = -t**3 + 17*t**2 - 14*t - 14. Let c be p(7). Suppose 9*n - c = 2*n. Is 27 a factor of n?
True
Is (2018/(-6))/(7/(-21)) a multiple of 14?
False
Let a(l) be the first derivative of 13*l**4/24 - l**3 + 3*l**2/2 + 4. L