-2)/(-6). Suppose n = -f + 5*n - 232, n = -g*f - 428. Let y = 358 + f. Is y a multiple of 31?
False
Let p(b) = -5*b**2 + 2*b + 1. Let z be p(-3). Suppose -8 = -4*n, 3*r - 17 + 20 = 3*n. Does 11 divide r/((-10)/8) - 12140/z?
True
Suppose -2*s - 2*s + 136510 = 2*y, 20 = 4*y. Is 21 a factor of s?
True
Let n = -29 - -32. Suppose -r + 18 = o + o, n*r - 14 = 2*o. Is 3 a factor of r?
False
Let j = 29828 - 20460. Is j a multiple of 69?
False
Let q = 87 - 84. Suppose 8*p + 4 = 3*p - q*d, d - 6 = 2*p. Does 3 divide (7/((-105)/24))/(p/15)?
True
Is (112820/(-60) + 22)/((-1)/(-1 - -13)) a multiple of 20?
True
Let z(t) = -34*t + 65. Let h = -139 + 140. Suppose -4*c - 38 = 5*y, -3*c = -2*c - 4*y - h. Is 14 a factor of z(c)?
False
Suppose -148*v + 145*v + 16065 = 0. Is v a multiple of 49?
False
Suppose w - 7*x - 811 = -4*x, 3*w - 2411 = -2*x. Suppose -w = -6*c + 167. Is c a multiple of 10?
False
Let u = 8263 - 3401. Does 34 divide u?
True
Let t be 1 - (-4 + -4 + 6). Suppose t = -a - 5*c + 24, -5*c = -25. Is (-21)/(-1 + a + 2) a multiple of 7?
True
Let z be (-22 + 36)*10/8*-34. Let b = -228 - z. Is 32 a factor of b?
False
Suppose 0 = -6*d - 2021 + 5885. Suppose 21*l - 1813 = d. Does 2 divide l?
False
Let r(f) = -f - 6. Let c be r(-4). Let x be 2 - (-4 + c/(-3 - -4)). Suppose 0 = x*z + 312 - 1528. Is z a multiple of 16?
False
Suppose -m + 86 = 2*m - 5*s, -3*m + 116 = s. Let r = m + 54. Suppose -119 = -10*n + r. Does 4 divide n?
False
Suppose -5*c - 3*z + 12 = 0, 0 = 4*c + c - 2*z - 17. Suppose -113 = -c*m + 274. Does 3 divide m?
True
Suppose 40 = -3*q + 61. Suppose -13*h + 396 = -q*h. Is 13 a factor of 27/6*7/(63/h)?
False
Let r(w) = -15*w**3 + 14*w**2 + 75*w + 304. Is 45 a factor of r(-8)?
True
Is (9/(-5))/3 - 233*306/(-30) a multiple of 22?
True
Let a(u) = -7*u**3 - 2*u - 2. Let n be a(-2). Let o = 70 - n. Suppose 16*b - 512 = o*b. Does 16 divide b?
True
Is 13 a factor of (143/91)/(-11) + 806632/56?
True
Let l(m) = -2232*m + 88. Does 20 divide l(-1)?
True
Let c(u) = -86*u + 101 + 254*u - 84*u - 85*u. Is 10 a factor of c(-23)?
False
Suppose 0 = 3*n + 5*l - 8*l - 5964, 2*l + 9949 = 5*n. Does 10 divide n?
False
Suppose 0 = 19*k - 23*k + 8. Suppose 0 = 3*z - k*j - 212, -5*z + 0*z = 4*j - 390. Is 8 a factor of z?
False
Suppose -t + 1370 + 3547 = -4*z, -4*t - 4*z + 19768 = 0. Is t a multiple of 11?
False
Let z be 1/3 + 4*18/27. Suppose -3*d + 492 = z*s + 108, d + 5*s = 112. Is d a multiple of 6?
True
Is 43 a factor of 0 + (-3)/24 + 921283/88 + -23?
False
Let c be -22 - (-2 + 3 + 2). Let d = c - -31. Is (-5 + d)*19/1 a multiple of 19?
True
Is 191 a factor of -5 - 701305/(-45) - 4/(-9)?
False
Let c = 252 - 248. Does 3 divide ((-66)/c)/(9/(-12))?
False
Let l = -28 + 40. Suppose l = 9*s - 6*s. Does 44 divide 290 - (3 + -5 + s)?
False
Suppose -14 = -3*z - 2*h + 79, 4*z - 101 = 5*h. Let x = 28 - z. Is 19 a factor of (-5)/((-10)/x)*-228?
True
Let p(g) = -7*g**2 - 17*g - 7. Let a be p(-5). Let b = 315 - 489. Let t = a - b. Is 20 a factor of t?
False
Let g = -28 + 23. Suppose 8*p + 61 - 317 = 0. Does 8 divide p/g*-3*20/6?
True
Let x(n) be the second derivative of n**4/12 - 7*n**3/6 + 25*n**2/2 + 24*n. Let j be x(16). Suppose 3 = -o + j. Does 24 divide o?
False
Let s(r) = -6*r**2 - r + 8. Let h be s(4). Let a = 162 + h. Is a a multiple of 37?
False
Suppose -3*k = -4*w + 7*w + 1923, -k = 5*w + 3201. Let q = w - -1253. Does 46 divide q?
False
Let c = -2221 - -3352. Suppose 0 = -6*n + 1065 + c. Does 61 divide n?
True
Let v(c) = 4*c + 25. Let r be v(-5). Suppose 7*z = r*z + 1442. Is 10 a factor of z?
False
Suppose 3*j - j - 5*o - 25 = 0, 0 = -4*j - 5*o + 5. Suppose -q = j*d + 11, -3*q + 4*d - 3 + 8 = 0. Is 4/14 - (-165)/(-35)*q even?
False
Suppose -107*d - 38*d = -56550. Is d a multiple of 78?
True
Let j = -4 - -13. Suppose f - 18 = -4*q, 45 = 3*f + 2*q - j. Suppose -y = -3*a - 2*a + 19, 2*y = -4*a + f. Is 4 a factor of a?
True
Suppose 63*b + 648893 = -171*b + 1561727. Is b a multiple of 9?
False
Let d be (-18)/(-90) + 19*1/5. Suppose -5*o + h = -15, -7 = -d*o - 5*h + 5. Let s(g) = g**2 - g - 1. Does 4 divide s(o)?
False
Let i(z) = -31*z - 65. Let t = 429 + -451. Is 28 a factor of i(t)?
False
Let r be -1 + (-12)/(-20) - (-118804)/10. Is 32 a factor of r/32 + 10/(-8)?
False
Suppose -3*w + h + 479 = 0, -3*w = 3*h - 368 - 103. Is 2 a factor of w?
False
Suppose -6*u - 2698 + 5230 = 0. Does 2 divide u?
True
Let z(x) = 19*x + 268. Is 10 a factor of z(10)?
False
Let r(w) = -8*w - 3283*w**3 + 3281*w**3 - 5*w**2 - 3*w**2. Let v be -1 + 1/(22/8 + -3). Does 15 divide r(v)?
True
Suppose -3*r = 20*m - 22*m, r - 3*m = 0. Suppose g - 33*g + 18848 = r. Is g a multiple of 19?
True
Let w = 41932 + -27075. Is w a multiple of 113?
False
Let z be (-4 + 9)/5*-3. Does 4 divide (-98 - 5)*z/3?
False
Let j = -178 - -172. Is 1 + j + 7 + 363 a multiple of 4?
False
Let o = 14923 + -4963. Is 20 a factor of o?
True
Let r(c) = c**3 - 4*c**2 - 2*c. Let j be r(-3). Let k = j - -55. Is 426/9 - k/3 a multiple of 16?
True
Is 750*(6/7)/((-45)/(-70)) a multiple of 11?
False
Let q be ((-340)/6)/(-5*12/(-270)). Let y = 150 + q. Let c = y - -330. Does 45 divide c?
True
Let h(c) = 30*c - 3. Suppose y + 202 = -3*y + 2*d, 3*y + d + 159 = 0. Let x = 56 + y. Does 13 divide h(x)?
True
Suppose -44*c + 47*c = r - 9091, -5*r + 45482 = -6*c. Is 91 a factor of r?
True
Let b = 23 + -51. Suppose 10*d = 3*d - 875. Does 10 divide (d/1)/(b/56)?
True
Let l(i) = 2*i**2. Let u be l(2). Suppose -u*j + 6*j = -10. Suppose j*b + 155 - 45 = t, 0 = t - 3*b - 102. Is 8 a factor of t?
False
Suppose -y + 83 = -k + 4*k, -5*y = 2*k - 38. Let b(m) = -4 - k - 6*m - 13*m. Is 10 a factor of b(-7)?
True
Let m(x) = x + 48. Let h be m(-15). Let r(s) = 7*s - 1. Let l be r(9). Suppose h = -w + l. Is 29 a factor of w?
True
Suppose 0 = 4*m - 22 - 6. Let v = m + -11. Is (118 - 4/1)/(v/(-6)) a multiple of 19?
True
Let h be (-1)/(2 - (-1114)/(-558)). Let o = 486 - 665. Let q = o - h. Is q a multiple of 25?
True
Suppose 7*m - 57 + 36 = 0. Let n be 1/m - (-7)/(-21). Suppose -3*c + 371 + 330 = 2*s, -5*c - s + 1166 = n. Is 35 a factor of c?
False
Suppose -2*y = 5*b - 2072 - 328, 1198 = y + 3*b. Suppose h - 6*h + y = 0. Does 36 divide h?
False
Let z(k) = -k**2 - 9. Let v(f) = 4*f**2 + 10*f - 6. Let w(x) = v(x) + 2*z(x). Suppose -m - 24 = -4*m. Is 15 a factor of w(m)?
False
Let t be (-143)/5 + (-154)/35 + 4. Suppose -7*n = -2*n + 245. Let v = t - n. Is 10 a factor of v?
True
Suppose 0 = 5*o, 3*o + 45 = 5*y - 0*o. Let b = 61 - y. Let l = 134 + b. Is l a multiple of 22?
False
Let j = -77 - -79. Suppose -6 = -4*c + j, -2*c = 2*u - 68. Is u a multiple of 4?
True
Suppose -5*y + 5*v = 2*v + 130, -3*y + 2*v = 78. Let l = y + 28. Suppose -3*a = -l*a + 5*m - 49, a - 2*m = 42. Is a a multiple of 9?
False
Suppose -w = 2*w - 6. Suppose -o + 10 = -3*o, w*o = 5*d - 25. Suppose -d*b + 0*b = 3*t - 177, -292 = -5*t - 4*b. Is 25 a factor of t?
False
Let m = 740 - 655. Suppose 7*o = 335 + m. Does 20 divide o?
True
Let q be (-6)/(-78)*106 - 10/65. Suppose 0 = -3*b + 4*f + 1284, 11*b = q*b - 2*f + 1302. Does 36 divide b?
True
Let l = 3794 - 3038. Does 84 divide l?
True
Suppose -33*k + 1170 = -18*k. Suppose k*r - 74*r - 208 = 0. Does 4 divide r?
True
Let s be ((-2)/(-3))/(2*3/171). Suppose t = -s + 25. Suppose -2*x = -t*x + 88. Is 7 a factor of x?
False
Let n be (1/1*-1)/(-2)*14. Suppose 18*d = n*d + 8327. Does 13 divide d?
False
Suppose -3*x - 3323 = 2*u - 14157, 0 = -3*u + 6. Is x a multiple of 19?
True
Does 18 divide 2/11 + (-2434100)/(-1100)?
False
Let u be 6/2 - (-6 + 9). Suppose -4*r - 5*q = -0*q + 18, -r - q - 5 = u. Let b = 24 + r. Is b a multiple of 17?
True
Suppose -3*t + 287 = -199. Let c = 93 - t. Let g = c + 85. Is 5 a factor of g?
False
Let f(h) = -10 + 14*h**2 - 2 - 19*h**3 - h - 18*h**2. Does 18 divide f(-3)?
True
Let f = 61372 + -94228. Is f/(-64) - 9/24 a multiple of 19?
True
Suppose -66*d + 61*d = -10. Suppose j + 5*l = -j + 90, -164 = -4*j - 2*l. Does 54 divide j*(d - (-1 + -2))?
False
Let l(q) = 1 + 21*q - 5 + 7. Suppose n + 0 - 11 = -4*p, -2*n - p = -8. Is l(n) a multiple of 22?
True
Let i(m) = m + 4. Let c be i(1). Let y be 2/(-4)*(5 - c). Suppose -3*h + 564 + 195 = -3*w, y = -3*h - 2*w + 739. Is h a multiple of 12?
False
Suppose 2*v - 3*d - 2663 = 0, -3*v + 3*d 