**3 + 3*y**2 - 4*y - 10. Let t be x(o). Suppose 2*v - 5*f = 428, 201 + 687 = 4*v - t*f. Is 28 a factor of v?
True
Suppose 10*q - 20874 = 4416. Let u = -1058 + q. Does 74 divide u?
False
Let l(v) = -v**3 + 34*v**2 - 21*v + 1164. Is l(28) a multiple of 32?
True
Let j(s) = 3*s**3 - 163*s**2 - 109*s - 131. Does 30 divide j(56)?
False
Let o = -89 + 95. Suppose o*j - 40 = 2*j. Suppose -s - j + 40 = 0. Is s a multiple of 10?
True
Does 11 divide (-71)/(((-12)/(-2004))/(3*2/(-6)))?
False
Suppose -16*h - 2*u = -12*h - 14, 0 = -4*u - 12. Suppose h*w - 285 - 1395 = 0. Is w a multiple of 12?
True
Does 4 divide ((-6944)/(-2170))/(1/210)?
True
Let k(h) = -170*h - 85. Suppose 2*g = g - 3. Is k(g) a multiple of 25?
True
Let l(a) = 6*a**2 + 3*a - 4. Let v be l(1). Suppose 1575 = 5*o - v*k, 2*o = 3*o + 5*k - 315. Suppose s + o = 2*y + 4*s, -y - s = -159. Does 15 divide y?
False
Let g(v) = -11*v**3 + 11*v - 9 + 17*v**3 - 5*v**2 - 4*v**3. Let j be g(8). Suppose -z = -4*f + 4*z + j, -2*z = 4*f - 762. Is f a multiple of 32?
True
Suppose 153847*z = 153867*z - 51660. Does 99 divide z?
False
Let d(n) = n + 1075. Does 4 divide d(21)?
True
Let q(d) = -1044*d - 196. Is q(-1) a multiple of 106?
True
Let h(k) = -k**3 + 26*k**2 + 21*k - 153. Does 61 divide h(20)?
False
Let s(r) = 16*r - 8. Let x = -2 + -2. Let f be 10/x*(-5 + 3). Is 12 a factor of s(f)?
True
Let n = -8614 + 42000. Is n a multiple of 32?
False
Suppose -22*r + 21*r - 2*g = -566, 2*r - 2*g - 1168 = 0. Does 17 divide r?
True
Let z(x) = -x**3 + 10*x**2 - 19*x + 7. Let v be z(7). Suppose v = -5*i + 1. Does 14 divide (-5)/(-35)*(-14)/i*136?
False
Let w(r) = 6*r**2 + 4*r - 6. Let s be w(7). Suppose s*f = 314*f + 140. Is f a multiple of 12?
False
Suppose -4*p + b + 6360 = 2282, 0 = 5*p + 3*b - 5106. Is p a multiple of 20?
True
Suppose -5*u + 9*j - 8*j = 856, 0 = -4*j + 4. Let n = 267 + u. Is n a multiple of 4?
True
Let f(q) = -680*q - 3477. Is 128 a factor of f(-22)?
False
Suppose 0 = 3*n - 5*c + 8*c - 3747, -4*n + 5036 = -4*c. Suppose 2*h = 2, -2*v - h + n + 827 = 0. Is v a multiple of 13?
True
Let m(f) = 15*f + 93. Let n be m(-6). Suppose 0 = -n*o + 15, -3*h - 2*h + 1175 = 3*o. Does 13 divide h?
False
Suppose -37*j + 139560 = -32*j. Does 13 divide j/17 + (-190)/(-1615)?
False
Let q(d) = d**2 + 4*d + 5. Let p be q(-3). Suppose 0 = p*c - 9*c - 21. Does 22 divide (-1 - -78 - c) + 4?
False
Suppose 0 = -5*f + 2*v + 144, 4*f + 4*v - 42 = 3*f. Does 6 divide 1/(-5) + 3606/f?
True
Suppose 0 = 2*x - w + 7, x - 2*w + 2 + 3 = 0. Let l(n) = n**3 + 4*n**2 + 2*n + 2. Let u be l(x). Let g = 20 - u. Is g a multiple of 8?
False
Suppose -2642 = -3*x + 5*p, -4*p + 298 = x - 611. Is 5 a factor of x?
False
Does 12 divide (-5 + 18/4)*1205/1*-22?
False
Suppose 0 = 7*q + 21749 - 62160. Is q a multiple of 63?
False
Suppose 2376 = -8*m + 12*m. Suppose 2*c + 3*w = m, -4*c + 54*w - 55*w = -1198. Does 15 divide c?
True
Let r(x) = -6*x + 21. Let j be r(6). Let f be (-50)/j + (-4)/(-6). Does 13 divide (78/(-4))/(f/(-24))?
True
Let n = -179 - -187. Is 36 a factor of 4/(n*8/4032)?
True
Let f be (-4)/(-3)*(-54)/(-36). Suppose 0 = 4*t - 3*s - 138, 3*t = f*t + 3*s + 39. Is 11 a factor of t?
True
Let u = 20173 + -10911. Is u a multiple of 24?
False
Suppose 1574*h - 1534*h = 106360. Does 178 divide h?
False
Let z = 2 - -5. Let c(q) = 9*q**3 - 2*q**2 - 4*q + 15. Let s(f) = 11*f**3 - f**2 - 5*f + 15. Let m(g) = 5*c(g) - 4*s(g). Is m(z) a multiple of 16?
True
Let n = 9801 + -27. Is n a multiple of 18?
True
Let j = -3 - 6. Let p be (42/(-27))/7 - 47/j. Suppose -3*m + 290 = -3*q + p*q, 3*m = 5*q + 283. Is m a multiple of 6?
True
Let c = 278 + -191. Let f = 11 - c. Let u = f - -160. Is 14 a factor of u?
True
Let b(w) be the first derivative of w**3/3 - 7*w**2/2 - 10*w - 1. Let i = -146 + 156. Is 20 a factor of b(i)?
True
Suppose z - 5 + 1 = 0. Suppose k + 18 = -z*n - 41, 4*n + 39 = -5*k. Is 36 a factor of 1*(n - 0)*-13?
False
Is 14/2 + (6 + 3264 - (-30)/(-3)) a multiple of 3?
True
Let r(n) = 469*n**2 - 9*n - 2. Is r(-1) a multiple of 12?
False
Suppose 80335 + 1075490 = 40*o + 59*o. Is o a multiple of 31?
False
Let w = -75 - -83. Suppose 0*l - w*l = -67800. Does 26 divide l/45 - (-8)/(-6)?
False
Let u = 931 + 4244. Is 45 a factor of u?
True
Let f(i) = 2*i - 5*i + 5 + 3*i - i. Let y be f(8). Is 10 a factor of (-92)/y + (-5)/(-15)?
False
Suppose -186 - 453 = -y - q, -y + 3*q + 619 = 0. Is y/4 - (-53)/(-106) a multiple of 42?
False
Let w = -1137 - 441. Let i = -837 - w. Is 63 a factor of i?
False
Suppose 7*t - 17*t = -t - 75762. Does 47 divide t?
False
Let i(m) = 2*m**2 + 67*m + 86. Suppose -17*n - 41 = 537. Is 40 a factor of i(n)?
True
Suppose -7 - 163 = -34*j. Let t(c) = -c - c**2 + 1 - c**3 + 8*c**2 - 2. Is t(j) a multiple of 21?
False
Suppose 11*t - 13*t = -2*q - 10, 4*q - 10 = -2*t. Suppose -29*j + 13*j + 1552 = q. Is 4 a factor of j?
False
Let h = -16784 + 23714. Is h a multiple of 33?
True
Let o be ((-8)/3)/(-6 + 245/42). Suppose -3*m - o*m = -3648. Is 21 a factor of m?
False
Suppose -4*b - m = -29040, 4*m = 57*b - 57*b. Is b a multiple of 132?
True
Is 8830 + (-4)/12 + 946/129 a multiple of 31?
False
Let s(j) = -10*j + 731. Is 30 a factor of s(14)?
False
Suppose 25*h + 20*h - 34*h - 2739 = 0. Does 3 divide h?
True
Suppose l - 2 = s, 5 = 3*l - 4*s + 3. Let b be 1 + -5 - 4*3/l. Let i = b - -83. Does 31 divide i?
False
Suppose 0 = 3*l - 3*b - 18453, 0 = -2*l + 5*b + 2616 + 9671. Is 162 a factor of l?
True
Let p(k) = 3*k**2 - 52*k - 22. Let h be p(18). Is 27 a factor of 147250/133 - 2/h?
True
Suppose -22 - 2 = -6*y. Suppose -y*c + 2 = 2. Suppose -3*h - 3*a = -16 - 68, -3*h - 2*a + 84 = c. Does 14 divide h?
True
Let g(a) = 2*a - 6. Let m(z) = z + 10. Suppose 27 = -6*c + 3. Let q be m(c). Is 4 a factor of g(q)?
False
Let p(c) = 7*c**2 - 3*c - 72. Let b(m) = -36*m**2 + 17*m + 360. Let r(f) = 2*b(f) + 11*p(f). Is r(8) a multiple of 21?
False
Suppose 3*a = -4*f + 3, -4*a = -5*f - 3*a + 18. Suppose -3*m - 2*i = -100, f*i - 94 = -5*m + 72. Is m a multiple of 16?
True
Let x be (-8)/(-5) + 30/75. Suppose -a + x*d + 26 = 0, 0 = 4*a + d - 98 - 33. Is a a multiple of 32?
True
Does 23 divide (-14 + 1131)*6/(2 + 0/6)?
False
Let u be (-4)/38 - (-54)/513. Suppose 3*i - 885 = -0*g - 5*g, -4*g + 5*i + 745 = u. Is 30 a factor of g?
True
Let o = 2823 + -2338. Is 27 a factor of o?
False
Let y(i) = 10*i**2 + 7*i + 4. Let s be y(-4). Let g(v) = 3*v - 98. Let n be g(6). Let t = n + s. Does 6 divide t?
False
Let b = 45257 - 19605. Does 162 divide b?
False
Suppose -2*b + 312 = 320. Let z be 0*(0 - (-2 + 1)). Does 25 divide z/b + -4 - -141?
False
Suppose 0 = -15*x + 8*x. Suppose 4*a + x*a = q - 20, 4*q + 10 = -2*a. Suppose 6*y - 729 - 867 = q. Is 38 a factor of y?
True
Let r = 69 - 65. Suppose r*g = 14*g. Suppose 3*p + 0*i + 3*i - 324 = 0, -3*p + i + 324 = g. Does 12 divide p?
True
Suppose 5*u + 5563 = 4*f + 6*u, 0 = 2*u - 14. Is f a multiple of 20?
False
Suppose 0 = -44*f + 763556 + 305776. Is 55 a factor of f?
False
Let a = -31 + 31. Suppose 2*i + 1 - 7 = a. Suppose k + 4*f = f + 71, -5*k = i*f - 331. Does 13 divide k?
True
Let f be 66*2/(42/(-7))*3. Let a be -3 - (-2 - -1)*1. Is 11 a factor of a*f*-6*(-3)/24?
True
Let p = -32 + 53. Suppose 23*s - 6 = p*s. Let x = -1 + s. Is x a multiple of 2?
True
Suppose 1518860 = 114*d - 33*d - 285172. Is d a multiple of 16?
True
Is (-31320)/(3 + 144/(-32)) a multiple of 15?
True
Let s = 1602 + 2144. Does 115 divide s?
False
Suppose 0 = 5*q - 9867 + 3727. Let k(j) = 3*j**2 + 159*j + 161. Let c be k(-52). Suppose 0 = c*d - q + 153. Is d a multiple of 28?
False
Let x(l) = l**2 + 1. Let o(h) = -3*h**2 + 9*h - 7. Let d(y) = -o(y) - 2*x(y). Let z be d(15). Suppose -2*f - 11 + z = 0. Is 12 a factor of f?
False
Let v = -2292 - -3210. Suppose -2*q + 924 = 5*i, -i - 4*i = 4*q - v. Is i a multiple of 14?
False
Let b = -35 + 31. Let j be (-16)/(-6)*102/b. Let v = -1 - j. Is v a multiple of 18?
False
Let w(c) = -c**3 + 5*c**2 - 52*c - 219. Is 4 a factor of w(-6)?
False
Let c(i) = -4*i**3 - 20*i - 34*i**2 - 29 - 48 + 5*i**3 + 48*i**2. Is c(-12) a multiple of 41?
True
Let j(l) = l**3 - 13*l**2 + 16*l. Suppose h - 10 = -15. Let y(s) = -s**2 - 8*s - 3. Let k be y(h). Is j(k) a multiple of 8?
True
Let f be ((-30)/(-3) - 4) + 2. Suppose 0 = -2*d - n + 220, 3*n 