*s. Suppose u - s = -4*u - t, -4*t - 4880 = -5*u. Is u a multiple of 14?
True
Let k(s) = -2*s**3 + 216*s**2 + 5*s + 846. Is 42 a factor of k(108)?
True
Suppose -q - 3*u + 7540 = 0, 136*q - 37700 = 131*q + u. Does 20 divide q?
True
Let w(u) = -18*u**2 - 33*u - 127. Let v(x) = -27*x**2 - 50*x - 191. Let h(p) = -5*v(p) + 7*w(p). Is h(-5) a multiple of 28?
True
Let l(z) = -2*z**2 + 49*z + 222. Is l(22) a multiple of 83?
True
Does 64 divide 464/(((-174)/24)/(-29))?
True
Let l = 1387 + 503. Is l a multiple of 70?
True
Let u(y) = -8*y**2 - 10*y + 2. Let d(t) = -25*t**2 - 29*t + 6. Let q(i) = 2*d(i) - 7*u(i). Let v be q(-4). Suppose 0 = 20*o + v - 326. Is o a multiple of 4?
False
Let y(m) = m**3 - 42*m**2 - 32*m - 31. Is y(43) a multiple of 19?
False
Is 14 a factor of (-20)/36*-57*(385 - -5)?
False
Suppose 463*x - 441*x - 76780 = 0. Is x a multiple of 34?
False
Let v(i) = 4*i + 47. Let n be v(-11). Suppose 4*l = -n*d + 576, -10*d + 15*d - 288 = -2*l. Is l a multiple of 6?
True
Let u(k) = 2*k**2 - 3*k + 95. Let j(h) = h**3 + 19*h**2 + 17*h - 3. Let v be j(-18). Is u(v) a multiple of 32?
False
Let x be ((-3)/(-2))/(-3) + 358/4. Suppose -2*u + x + 87 = 3*q, -4 = 2*u. Let y = q + 66. Is y a multiple of 18?
True
Suppose 0 = 19*x - 15*x - 3*d - 31603, -5*x - 3*d = -39551. Is x a multiple of 145?
False
Suppose 6*r - 5*r - 4 = 5*l, r - l = 0. Let p be (-2)/2 - (r + 1). Is (p + (-30)/(-2))*(-34 - -35) a multiple of 12?
False
Let w(x) be the third derivative of 23*x**4/24 - 27*x**3 + 43*x**2. Does 36 divide w(24)?
False
Suppose 0 = -164*f + 904541 + 854186 - 607447. Is 10 a factor of f?
True
Suppose 3*s + q - 17 = 6*q, 13 = 2*s - 5*q. Let j(b) = 32 + 0*b - s*b + 0*b + 5*b. Is j(13) a multiple of 15?
True
Let w(n) = n**3 - 5*n**2 - 4*n - 9. Let a be w(6). Suppose -7*u - 214 = a. Is 48 a factor of (-82)/4*(19 + u)?
False
Let c be 10 + -5 - (2 - -2). Suppose 2*u = c + 7. Suppose -u*v - 98 + 578 = 0. Is v a multiple of 30?
True
Suppose -6*p = p - 77460 - 37501. Does 19 divide p?
False
Is (-396)/(-15)*(-382900)/(-420) a multiple of 144?
False
Let t be -1536 + (-1 - -2)*2. Is (t/65)/(-1*(-1)/(-5)) a multiple of 5?
False
Let v(y) = y**3 + 14*y**2 + 26*y + 41. Let c(t) = -t - 30. Let l be c(-19). Is v(l) even?
True
Let b = 235 - 147. Suppose 3*q = -m + 89, -5*q - 137 = -3*m + b. Is 11 a factor of m?
False
Suppose 498 = -37*f + 43*f. Suppose 2*i = 37 + f. Does 4 divide i?
True
Suppose 69*m + 6 = 68*m, 12373 = 5*p + 2*m. Is 4 a factor of p?
False
Is 17 + 8347 + 10*(-24)/(-30) a multiple of 23?
True
Suppose -249318 - 149573 + 49451 = -64*t. Is 70 a factor of t?
True
Suppose 18*u - 6604 + 2230 = 0. Does 22 divide ((-952)/(-24))/(9/u)?
False
Let p(q) = 9*q**2 + 2*q - 28. Let l(b) = -30*b**2 - 5*b + 86. Let z(i) = 2*l(i) + 7*p(i). Does 57 divide z(-19)?
False
Suppose -21*v = -4*v. Suppose v = -23*t + 18*t + 1440. Suppose 6 = 3*p - t. Is 9 a factor of p?
False
Let y = -29 + 24. Let r be 5*y/(125/105). Let v = 39 + r. Does 17 divide v?
False
Suppose 300*y = 259*y + 4223. Does 17 divide y?
False
Let o be (2 - 5/1) + 827. Suppose -5*a + 4*i + 1158 = 0, -4*i + 124 = 4*a - o. Is 48 a factor of a?
False
Let g be 2*(-12)/(-14)*(-21)/2. Is 12 a factor of (9/g)/(1 + 674/(-672))?
True
Let j be 4 + 150/(-35) + (-1440)/(-42). Suppose j*m + 560 = 41*m. Is 6 a factor of m?
False
Suppose 756*w - 24324 = 744*w + 6756. Does 9 divide w?
False
Let s(a) = 2*a**2 + 27*a - 57. Suppose 16 = -y - 3*y, -5*y = -5*u + 105. Is 13 a factor of s(u)?
False
Suppose 1 = 2*l - 1. Let o be l - (2 - -2)*-1. Suppose o*x = -6 + 86. Does 4 divide x?
True
Suppose 34 = 22*y - 54. Suppose 2*s = 3*s - 16. Suppose y*r - 160 = -s. Does 27 divide r?
False
Let y(f) be the second derivative of 1/12*f**4 + 4/3*f**3 + 29*f - 3/2*f**2 + 0. Does 25 divide y(9)?
True
Is 40 a factor of (-6000)/(-1 + (102/12 - 5) - 4)?
True
Let l(v) = -28*v + 10. Suppose 0 = -5*u + 9*u + 132. Let p = -35 - u. Is 7 a factor of l(p)?
False
Suppose -27 + 36 = f. Let h(k) = 6*k**2 - 28*k + 28. Is 81 a factor of h(f)?
False
Let s(p) = -34*p + 153. Does 7 divide s(-12)?
False
Let u(i) = 3*i + 30 - 27 - 4*i. Let n be u(3). Suppose y - r - 57 = n, 4*y - 5*r = 2*y + 123. Is y a multiple of 18?
True
Suppose -2 = -3*c + 4. Suppose 4*z - 222 = p, 0*z + c*z + 4*p = 102. Suppose z = 2*t + w, t - 4*w + 7 = 39. Is 13 a factor of t?
False
Suppose f - 4*t - 6021 = 0, -5*t - 493 = -3*f + 17591. Does 4 divide f?
False
Let v = 275 - 275. Suppose -2*j + 125 + 79 = v. Does 17 divide j?
True
Suppose -14289 = 18*m - 44943. Is m a multiple of 3?
False
Let n(y) = -37 + 123*y + y**2 + 114*y - 228*y. Is n(20) a multiple of 13?
False
Let u(a) be the first derivative of 69*a**2/2 - 6. Let m be u(1). Let z = m + -47. Is z a multiple of 5?
False
Let g be (2 + -4)*-1*-1. Let h(a) be the second derivative of -3*a**5/20 + a**4/12 + 2*a**3/3 + 5*a**2/2 - 7*a. Is 7 a factor of h(g)?
False
Let s = -1471 + 2164. Suppose 1225 = 264*n - 95. Suppose -n*m = -16*m + s. Does 13 divide m?
False
Let m = 56869 - 24749. Is m a multiple of 77?
False
Suppose -3*h = 2*b - 14 - 8, 3*h = b - 2. Suppose -6*c = -b*c - 6. Let l = 71 + c. Does 13 divide l?
False
Suppose 2*f + 4*g = 7*f - 32, 4*g - 40 = -4*f. Suppose f*r - 232 = 10*r. Does 18 divide (r/(-6))/((-11)/3 + 4)?
False
Let n(k) = -2*k - 27. Let v be n(-13). Let f be ((-48)/(-14))/(v/(-7)). Suppose 0 = r - f + 9. Does 15 divide r?
True
Suppose 0 = 4*q - 7*q + 15. Suppose -m + 0*m + 5*j - 4 = 0, 2*j - 88 = -q*m. Is 2/(m/220)*4 a multiple of 22?
True
Let d(x) = 13*x + 111. Let m be d(-9). Is ((-5918)/55)/(m/15) a multiple of 24?
False
Suppose 4*s = -39*b + 33*b + 5676, s + b - 1419 = 0. Does 37 divide s?
False
Suppose -43877 = -102*t + 45271. Does 19 divide t?
True
Suppose 0*t = t - 68. Does 5 divide 1/(-2) - (-17850)/t?
False
Let r(l) be the third derivative of -1/60*l**5 + 1/4*l**4 + 0*l - 21*l**2 - 1/120*l**6 + 107/3*l**3 + 0. Is 13 a factor of r(0)?
False
Let f(l) = -407*l + 1463. Is f(-8) a multiple of 121?
True
Let b(m) = 43750*m - 1032. Does 33 divide b(1)?
False
Let y(t) be the third derivative of t**5/60 - t**4/2 - 181*t**3/6 - 6*t**2 - 6. Is y(-9) a multiple of 4?
True
Suppose -15*j = 2520 - 600. Let a = j - -323. Is a a multiple of 6?
False
Let o = 214 - 216. Does 7 divide (-4)/1 + (1 - o) + 57?
True
Let o be ((-32 + 4)/4*-2)/1. Let b = 16 - o. Suppose 5*m = -b*k + 805, m = -0*k + 4*k + 161. Is 18 a factor of m?
False
Suppose -5*f + 99 + 496 = 0. Suppose 5 = r + 1. Suppose -f = 3*h - r*h. Is h a multiple of 38?
False
Let l(a) = -2*a**3 - 4*a**2 + 4*a - 7. Let r be l(-5). Suppose s = 5*n + 2*s - 10, 0 = 3*n + 2*s + 1. Suppose -n*j = -549 + r. Is 47 a factor of j?
False
Let u(z) be the second derivative of 0 - 15*z + 17/20*z**5 - 1/3*z**3 + 1/3*z**4 - 3/2*z**2. Does 11 divide u(2)?
False
Is -11 - (13 + 10)*-289 a multiple of 21?
True
Let a(c) = c**2 + 12*c - 71. Let d be a(-16). Does 38 divide (-4)/(-10)*d/(77/(-6270))?
True
Let r = -447 + 449. Is 73 a factor of r*(7 + (-390)/(-4))?
False
Let r(i) = 11*i**2 + 11*i - 4. Suppose -x + 14 = 20. Is 30 a factor of r(x)?
False
Let j(m) = -17*m**3 - 4*m**2 - 6*m + 3. Let a(t) = -2*t**3 - 8*t**2 + 10*t - 2. Let f be a(-5). Is j(f) a multiple of 43?
False
Suppose 2*v = -4*p + 67714, -18820 = -3*p - 4*v + 31968. Is 23 a factor of p?
True
Let u be (124/(-5))/(4/20). Let m be -4*u/28 - (-8)/28. Suppose -380 = -m*b + 14*b. Does 14 divide b?
False
Let i(a) = 26*a + 51. Suppose 0 = -2*v - 5*q - 82, -5*q = 3*v + 79 + 34. Let t = -22 - v. Is i(t) a multiple of 15?
True
Is 9 a factor of 3897 + 171 + 0/(1 - 2 - 0)?
True
Let w(q) = -2*q**3 - 31*q**2 + 186*q + 120. Is w(-24) a multiple of 24?
True
Suppose 3*m + 5 = 4*t, t + 0*t + 5 = 2*m. Suppose 6 - 7 = -o, -3*x = -m*o - 31. Suppose 343 + 89 = x*v. Is v a multiple of 3?
True
Suppose 0 = 3*w - 2*h - 61120, 13891 - 75003 = -3*w - 2*h. Is w a multiple of 11?
True
Let z(x) = -84*x - 167. Does 136 divide z(-23)?
False
Suppose -11564 - 48286 = -5*d - 2*n, 3*n - 35919 = -3*d. Does 34 divide d?
True
Let i(y) = -1355*y + 412. Is 11 a factor of i(-8)?
False
Let c = 67 - -8. Let a be (-100)/c*(-93)/2. Suppose -3*m + 5*h = -275 - a, h - 307 = -3*m. Does 13 divide m?
True
Let p(h) be the second derivative of h**4/12 - h**3/6 - h**2/2 - 11*h. Let x(z) = 7*z**2 - 7*z - 