e of 16?
False
Suppose 0 = 4*i - 2*u - 62, -3*i + 8*i = u + 76. Let c = i + -27. Does 16 divide c/16*36*-1?
False
Let k be -2 + (2 - 0) - (-943 - 1). Suppose -12*l - k = -28*l. Is l a multiple of 30?
False
Suppose 0 = 4*c - 4*o - 116, 2*o - 4 = 6*o. Suppose 3*d - 70 = 2*t, 2*d = -4*t + 80 - c. Is 6/16 + (663/d)/1 a multiple of 4?
True
Let d(x) = x**2 + 3*x - 3. Let l be d(2). Let w(z) = 7*z + 101. Let t be w(-14). Suppose -4*k - l = 9, -t*k + 2 = o. Is 7 a factor of o?
True
Let s(t) = -t**3 + 10*t**2 - 2*t + 2. Let l be s(4). Suppose 0 = -7*n + 12*n - l. Let r(f) = 2*f + 16. Does 23 divide r(n)?
False
Let x(c) = 3*c**3 - 3*c**2 - c - 2. Let n be x(2). Suppose -1694 = k - n*k. Does 22 divide k?
True
Let t = -6 - -10. Suppose 0 = -t*o - 4*x + 176, -2*o + 3*o - 3*x = 44. Is o a multiple of 3?
False
Suppose 0*m + 35 = 5*m. Let t = m - 2. Suppose -b + 380 = 3*v, 2*v + 0*v + t*b - 236 = 0. Is v a multiple of 16?
True
Let a = 1051 - 2245. Let g = -567 - a. Does 33 divide g?
True
Let k = -346 - -342. Is 210*5/(k - 145/(-30)) a multiple of 42?
True
Let h(w) = 18*w + 101. Let n be h(-6). Does 15 divide 2/(-70)*n - (-14908)/10?
False
Let u = -4218 + 4564. Does 9 divide u?
False
Is 10 a factor of (23 - 876/36)*(-2 - 2651/2)?
True
Let p be (170/(-1020))/((-1)/102). Suppose -2*g - 3*g + 220 = 0. Suppose j + 2*b - 5 = p, -2*j = -2*b - g. Does 11 divide j?
True
Let m be -6 + (9 - -2) + -3 + -1 - -19. Let f(v) = 12 + 17*v - v**2 - 11*v + 14*v. Is f(m) a multiple of 6?
True
Let f = 267 - 262. Suppose -f*x + 32760 = 30*x. Does 62 divide x?
False
Let h be (-225)/(-54) + (-2)/12. Suppose 2*a - d - 47 + 39 = 0, -13 = -5*a - d. Is (150/h)/((-15)/6 + a) a multiple of 8?
False
Let n be (0/(-30))/(0 - -3). Let c = 49 + -28. Suppose x - 34 - c = n. Is x a multiple of 20?
False
Suppose -p = -3*k - 2*k + 404, 0 = -5*k + 5*p + 420. Suppose 0 = -k*c + 83*c - 156. Is 10 a factor of (0 - c)*(-130)/40?
False
Let x(l) = -19 + 0*l - 3*l + l. Let v be x(-10). Is 18 a factor of 55 - (2 - 1/v)?
True
Let a(n) = 2*n**2 + 60*n + 6. Is 6 a factor of a(23)?
False
Suppose -q + 9515 = b, -q = -5*b + 1324 - 10869. Is 69 a factor of q?
False
Let y(g) = 8245*g**3 - 86*g**2 - g - 1. Is y(1) a multiple of 26?
False
Suppose -5*c + 25 = -205. Is (c/8)/((-7)/(-308)) + -1 a multiple of 36?
True
Let u(j) = 8*j + 2*j**2 - 7128*j**3 + 0*j**2 + 0*j**2 + 7127*j**3 + 12. Is u(-5) a multiple of 7?
True
Let m be (-549)/27 + 1/3. Let d(f) = -f**3 + 11*f**2 + 8*f - 13. Let r be d(11). Let h = r + m. Is h a multiple of 13?
False
Let y(o) = o**2 + 9*o + 13. Let u be y(-7). Let j be -6 + 3 + u - 2/2. Does 13 divide (892/(-12) - j)/(2/(-6))?
True
Suppose 28 = 4*o + 3*o. Suppose 7*x + o*x = 6*x. Suppose -5*m - 1090 = -5*p, 2*p + m - 433 = -x*p. Does 31 divide p?
True
Let x be ((-376)/32 + 8)/(6/(-16)). Let o(y) = -y**3 + 9*y**2 + 11*y + 6. Does 2 divide o(x)?
True
Is ((-629)/74)/(-1 - (-413)/414) a multiple of 25?
False
Let x = -4 + 12. Let b be 24*(-10)/4*(-112)/24. Suppose -x*t + 15*t = b. Does 8 divide t?
True
Let q(h) = 2*h + 36. Let l(r) = r**3 + 7*r**2 + 8*r + 6. Suppose -4*c + 5*c = -6. Let z be l(c). Is 4 a factor of q(z)?
True
Let x(j) = 92*j**2 - 19*j + 6. Is x(9) a multiple of 168?
False
Let q(x) = 10*x - 59. Let m be 3/(-6) + (-23)/(-2). Let o be q(m). Suppose 110 = i - o. Is i a multiple of 23?
True
Suppose -3*v - 2*h + 28 = 0, -7*v + h = -2*v - 64. Let b be 119/3 - (2 - 28/v). Suppose 3*x - 5*x = -b. Does 5 divide x?
True
Suppose -6*o + 47 + 7 = 0. Suppose -o*d + 5*d = -20. Suppose 0 = -2*g - 0*w - w + 331, d*g - w - 845 = 0. Does 13 divide g?
False
Suppose 0 = 9*g - 16422 - 1047. Is g a multiple of 4?
False
Suppose -2*f = 2*n - 1630, 0 = -3*n + 452*f - 451*f + 2437. Is n a multiple of 22?
False
Let d be ((-18)/(-54))/(1/204). Suppose -d*o + 50*o + 1404 = 0. Does 26 divide o?
True
Suppose w = 4, -401 = 4*b + 2*w - 121. Let i = -65 - b. Suppose -9*h + 26 = -i*h. Is 13 a factor of h?
True
Suppose -6*q + 122279 = 46*q - 38245. Is 10 a factor of q?
False
Let v(n) = 871*n + 6595. Is 169 a factor of v(5)?
False
Let u be 4*(-16 + -1)/(-8 + 4). Suppose -7*a = u*a - 5256. Is a a multiple of 3?
True
Suppose -2*t = 5*o - 9 - 7, -3*o = 3*t - 6. Let z be 92*(-150)/12*t/20. Is 23 a factor of -1*z/15*-6?
True
Suppose -2*q + 2 = -2. Let v be (94/(-470))/(3/(150/(-1))). Suppose q*z - v = 4. Is 5 a factor of z?
False
Let n(k) = -k**3 + 5*k**2 - 4*k + 14. Suppose 0 = 3*o + 5*c - 25, -3*o + 2*c + 8 + 3 = 0. Let g be n(o). Does 27 divide (3 - 2 - 2)*1458/g?
True
Let a(j) = 36*j**2 + 67*j + 142. Is 12 a factor of a(-10)?
True
Suppose -17760 = -4983*i + 4971*i. Does 20 divide i?
True
Let n = -195 - -195. Suppose -288 = -n*o - 4*o - 4*c, -16 = 4*c. Is 38 a factor of o?
True
Suppose -83*o + 107*o = 56544. Let z = -1384 + o. Is z a multiple of 81?
True
Let b = 30172 + -14002. Suppose 14*d = -0*d + b. Is d a multiple of 77?
True
Suppose -5*z - 3*i + 3653 = 0, 0 = 2*z - 6*i + 3*i - 1457. Is z a multiple of 46?
False
Let l(d) = 47*d**2 + 50*d + 134. Does 11 divide l(-21)?
True
Let d = 17 + 5. Let o = 594 + -294. Suppose -d*b + o = -17*b. Is 13 a factor of b?
False
Is (-5)/(-10)*14030 + (-4 - -11) a multiple of 68?
False
Let o = -12 + 52. Suppose 16 = -4*v, -v = -4*m + 4*v + o. Suppose -y = x - 5*x + 170, -116 = -3*x - m*y. Is x a multiple of 11?
False
Suppose 5*g = w - 16, -4*g = -3*w + 7*w + 8. Let f be 15/(-5) - (-2)/w. Does 3 divide (-2)/2*(-10 + f)*5?
False
Suppose -26*y + 76*y = 12*y + 1077528. Is 14 a factor of y?
False
Let g = -1659 + 2461. Is 2 a factor of g?
True
Let f be (-1 + 3)*(-9)/(-9) - -362. Suppose 592*x - 585*x = f. Does 3 divide x?
False
Suppose -c + 1520 + 1178 = -4*o, -5*o - 13460 = -5*c. Suppose 5*p = -3*x + 4438, -4*x = -3*p + x + c. Suppose 11*z - p = 6*z. Does 12 divide z?
False
Is 28 a factor of (-1)/(303245/(-12635) + 24)?
False
Suppose -k = 8 - 12. Let d(c) = c - 1. Let r be d(k). Suppose r*m = 2 + 31. Does 3 divide m?
False
Suppose -f + 5*l - 9 = 0, -l + 5 = 2. Suppose -f = -d - 2*d. Suppose -d*x = -167 - 187. Does 16 divide x?
False
Suppose 10*w - 5*w + 48780 = 20*w. Is w a multiple of 4?
True
Let u(d) = 251*d**2 + 139*d + 984. Is u(-7) a multiple of 10?
True
Suppose 6*a = -0*a + 24. Suppose -5*b - 6*q + 2*q - 662 = 0, a*q = b + 118. Let k = -16 - b. Is k a multiple of 20?
False
Suppose 336 = -4*z + 2440. Suppose -10*h = 11 - 31. Suppose -4*o - h*f + z = 0, -260 = -2*o - 0*f - 2*f. Is o a multiple of 45?
False
Let u = 197 + -192. Suppose -u*k = -1234 - 1571. Does 11 divide k?
True
Let h = -166 - -187. Is 22 a factor of ((-955)/(-2) + -2)/(h/14)?
False
Is (-2)/(856/280 + -3)*(-119)/1 a multiple of 7?
True
Let x(a) = -6*a**2 + a**3 + 2*a - 4 + 11 + a**2. Let v be x(6). Suppose 5*y = -0 + v. Does 2 divide y?
False
Suppose 2450*a = 2447*a - 111. Suppose 2*x + 128 = -0*x - 5*r, -238 = 4*x + r. Let b = a - x. Is 11 a factor of b?
True
Let m(j) = 58*j + 79. Let h be (30 - 31)/(2/(-6)). Is m(h) a multiple of 23?
True
Suppose -4*m + 5*u + 11 = -3*m, -m - 2*u + 4 = 0. Suppose -3*h - p = -m*h + 42, 5*h + 5*p = 70. Suppose -8*i - h = -54. Is i even?
False
Let a = -6172 - -8318. Is a a multiple of 58?
True
Suppose 0 = -w - 4*t + 8450, 159*t = 2*w + 157*t - 16880. Is 126 a factor of w?
True
Let t(r) = -r**3 + 19*r**2 - 40*r - 19. Let c be t(17). Let o = c + 130. Suppose 0*v + 774 = o*v. Is 43 a factor of v?
True
Let v(k) = -4*k + 5. Let w be v(2). Let c(i) = i**3 + 5*i**2 + 3*i + 1. Let n be c(w). Let b(j) = j**3 - 10*j**2 + 7*j - 13. Does 9 divide b(n)?
False
Suppose 0 = -11*f + 3*f - 48. Let a be 3/f*6 + -57. Let m = 115 + a. Is m a multiple of 5?
True
Does 13 divide 6680/(-90)*-3*15/10?
False
Let u be (-6)/(-24) - ((-3755)/4)/1. Suppose 4*d + g - u = 0, -3*d - 2*g + 468 = -d. Does 14 divide d?
False
Let c(m) = 54*m + 259. Let i(w) = 13*w + 65. Let v(j) = 6*c(j) - 26*i(j). Does 44 divide v(-16)?
True
Suppose 11*c = 7*c - 176. Let z = 48 + c. Suppose 4*r - 27 = -3*y - 2*y, z*y = -4*r + 28. Does 2 divide r?
True
Suppose 41*x - 218*x + 4743391 + 4777439 = 0. Does 33 divide x?
True
Let c(w) = 5379*w - 380. Is c(3) a multiple of 10?
False
Suppose 25*m = 5*m - 160. Does 29 divide (-1906)/(-8) + (-6)/m?
False
Does 17 divide (101 + 0)/((36/2376)/(4/6))?
False
Let n = 90 - 74. Suppose -h - 2*s - 3 = -5, -2*h + 2*