 26 = 0. Is 4 a factor of t?
True
Suppose 17652 + 32431 = 11*m. Does 70 divide m?
False
Suppose 124*n - 346800 = 46*n + 61*n. Is 17 a factor of n?
True
Suppose -l - 4*y + 13002 - 5350 = 0, -2*l + 15316 = 5*y. Does 9 divide l?
True
Suppose 10820 = 3*q - 7*o, 2*q + 5*o - 5452 - 1684 = 0. Does 92 divide q?
True
Let v = -20119 + 35749. Is 19 a factor of v?
False
Let g(m) = -5*m - 10. Let p be g(-3). Suppose -339 = p*u + 41. Let i = u - -127. Does 4 divide i?
False
Let i(k) = 2*k + 6. Let s be i(6). Suppose -46 = 11*t - 167. Let m = s - t. Is m a multiple of 6?
False
Suppose -6 = 3*m - 5*m + 2*h, -m + 11 = 3*h. Suppose s + 5*k = 238, 8*k = m*s + 11*k - 1102. Does 35 divide s?
False
Let u(j) = j**2 - 7*j + 4. Let w be u(8). Let q(h) = h**2 - 5*h + 14. Does 23 divide q(w)?
False
Let g(p) = p**3 + 8*p**2 + 7*p - 31. Let y be g(-6). Let x(u) = -108*u**3 - 3*u**2 - 2*u. Is 30 a factor of x(y)?
False
Suppose 0 = -5*d - c + 271, -4*c + 274 = 3*d + 2*d. Suppose 218 + 166 = -12*y. Let z = d + y. Is z a multiple of 7?
False
Suppose 91*j - 5*k = 87*j + 51816, -2*j = -4*k - 25908. Is 17 a factor of j?
True
Let y(v) = -3*v + 11 + 2*v**2 + v + 12*v + 6*v. Let c(z) = 50*z - 13. Let g be c(0). Does 14 divide y(g)?
False
Does 33 divide (-13 - -15) + (-9)/(18/(-7784))?
True
Let k = -68 - -131. Suppose 0 = 11*q - 4*q - k. Does 9 divide q?
True
Suppose -8*a + 859170 = 124*a + 63*a. Is a a multiple of 9?
False
Let z = -12 - -18. Let m be (2/1 + -2)*(z + -7). Suppose m = 3*x + 2*w - 282, 5*x - 466 = 3*w - 5*w. Is x a multiple of 23?
True
Let w(r) = -3*r**3 + 25*r**2 + 39*r - 44. Let d(l) = -8*l**3 + 50*l**2 + 77*l - 87. Let z(t) = -2*d(t) + 5*w(t). Is 12 a factor of z(-22)?
True
Let y = 184 + -105. Does 14 divide y + 1 - -5*(-4)/4?
False
Suppose -p - 4*w = -25154 + 1078, -2*p - 5*w + 48140 = 0. Does 64 divide p?
False
Is 11 a factor of (-5062390)/(-2150)*1*10?
False
Suppose -i + 0 = -2*n - 5, 0 = 2*i - 3*n - 9. Suppose -3*d - q - 12 = 0, i*d + 2*d = 5*q. Let y = 13 - d. Does 6 divide y?
False
Let x(d) = 19*d**3 + 3*d - 3. Let c(i) = -i**3 - 9*i**2 - 8*i + 2. Let j be c(-8). Suppose 0 = j*q - 2*w, 0*q - 5*w = -4*q - 2. Is x(q) a multiple of 15?
False
Suppose 2*q - 53*q = -208080. Is q a multiple of 68?
True
Let c(j) be the second derivative of -j**5/20 + 4*j**4/3 + 55*j**3/6 + 24*j**2 - 230*j. Does 10 divide c(19)?
True
Let s(a) = 71*a**2 - 38*a - 3. Is s(-5) a multiple of 57?
False
Suppose -4 = -3*k + 2. Let v be (-3 - 1)/((3*k)/(-3)). Is 6*v/36 + 148/6 a multiple of 4?
False
Let c be (12/8)/(12/(-16)). Let m(p) = 320 + 7*p - 2*p - 314 + 15*p**2. Is 14 a factor of m(c)?
True
Suppose -11*z = -54*z + 5*z + 261402. Is z a multiple of 43?
False
Let j(l) = 632*l + 260. Is j(5) a multiple of 30?
True
Let j be 9/((-45)/1160) - (1 - 2). Let d = j - -411. Does 10 divide d?
True
Suppose 91*g - 96*g + 73269 = -4*u, -58584 = -4*g - 2*u. Does 19 divide g?
True
Let b(a) = 23*a + 37*a + 485 - 473. Is 11 a factor of b(2)?
True
Suppose -4*y = -8, u + y + 60 = -269. Let t = 583 + u. Does 9 divide t?
True
Let t(r) = 3*r**2 + 2*r - 5. Suppose 22 = -5*k + 4*a - 0, -3*a = -3*k - 15. Let p be t(k). Suppose -p*l + 99 = -3*x, -4*l - 3*x + 75 + 50 = 0. Does 21 divide l?
False
Suppose -r = -2*q - 678 - 1782, -q + r - 1231 = 0. Let i = -453 - q. Is i a multiple of 11?
False
Is 17 a factor of ((-204)/27)/(-34) + 276312/27?
True
Let d(i) = 2*i + 8. Let j be d(2). Suppose -7*r = -j*r + 15. Suppose -45 = 4*u + c - 240, -r*c - 15 = 0. Does 25 divide u?
True
Suppose 90*b + 737454 = 268*b. Is 12 a factor of b?
False
Suppose 4*d + r - 2112 = 0, 0 = d + 6*r - r - 528. Let x = -146 + d. Suppose 5*m - 3*l - x = 0, -2*l = -m + 32 + 43. Is m a multiple of 47?
False
Let f = 407 + 206. Suppose 4*q - 35 - f = 0. Is 12 a factor of q?
False
Let v = -35 + 40. Suppose v*q - 92 = t + 3*t, -2*t = -2*q + 44. Does 5 divide (t/5)/((-4)/30)?
False
Let m = -587 + 2315. Suppose m = 206*o - 200*o. Is 32 a factor of o?
True
Suppose -160 = -5*x + 210. Suppose 13 = -4*q - 59. Let m = x + q. Does 14 divide m?
True
Is 18 a factor of 2*-2 + 6/(-30)*-14055?
False
Let r = 1729 - 961. Is 10 a factor of r?
False
Suppose -21*w - 2*w = 2070. Is (-2)/36 - 76685/w a multiple of 12?
True
Let v(a) = a**3 - 47*a**2 + 145*a + 46. Is v(44) a multiple of 14?
False
Let j = -338 - -410. Does 29 divide 2925/j + 18/48?
False
Let z be ((-6)/(-4))/((-6)/(-8)). Suppose 100 = 3*t - z*s - 36, 4*t - 2*s = 180. Suppose t + 36 = 5*j + 3*x, -j = 5*x - 38. Is j a multiple of 3?
False
Let l(t) = -t**2 + 10*t + 12. Let i be ((6/(-9))/2)/(3/(-99)). Let z be l(i). Does 15 divide ((-2)/z)/((-624)/(-315) - 2)?
True
Suppose -5*t + 12 + 3 = -m, 4*m = -5*t + 15. Suppose m = p - 4*k - 21, k - 3*k - 15 = -p. Is p a multiple of 9?
True
Is 30 a factor of (-1173684)/(-21) + 12/147*126/36?
True
Suppose 34 = -2*j + 4*c, -7*j = -2*j - 4*c + 61. Let a be (j/(-2))/(27/126). Does 2 divide 605/35 - 6/a?
False
Let y be (-13 - 2)/(-2 - -1). Suppose -5*c + 3*u = -144, -3*u + 141 = 5*c - y. Suppose -6*o + c = -36. Is o a multiple of 10?
False
Let q(w) be the third derivative of 5*w**4/24 - w**3/3 - 6*w**2. Let p be q(1). Suppose p*t - j = -2*t + 84, 0 = -5*t + 3*j + 82. Does 17 divide t?
True
Let u(c) = c**2 - 128 - 99 + 332. Does 105 divide u(0)?
True
Let s(w) = w**2 + 9*w - 10. Let x be s(1). Suppose -3*z = -10 - 14. Suppose o = -4*q + z*q + 78, x = -4*q + 12. Does 15 divide o?
True
Suppose -7 - 21 = -2*d. Does 11 divide (36/28)/(-9) - (-4818)/d?
False
Let y = 16 + -9. Let v be 427*((4 - y) + 5 + -1). Suppose 79 - v = -3*s. Is s a multiple of 11?
False
Suppose 15*s - 111*s = -1506624. Is 90 a factor of s?
False
Let l(d) be the first derivative of 5*d**4/4 - 8*d**3/3 - 23*d**2/2 + 5*d - 115. Is 15 a factor of l(5)?
True
Suppose 0 = -o - 4*t - 2024 + 2151, 2*t = 3*o - 255. Is 8 a factor of o?
False
Let i be -10*8*(5 - 6/2). Let s = -32 - i. Is s a multiple of 32?
True
Suppose 4*r = -m - 4*m + 95, 2*r - 52 = 2*m. Suppose 5*w - 2*w - 6 = 0. Is (w - 4)*r/(-2) a multiple of 25?
True
Let f = 210 + -210. Suppose -1815 = -3*p + 5*d, f = -7*p + 8*p + 4*d - 588. Is p a multiple of 25?
True
Let b = -55 - -45. Is 25 a factor of (375/b)/(1/(-14))?
True
Let n be 5/(4/24*2). Let d(r) = r**3 - 13*r**2 - 30*r + 2. Let w be d(n). Is w/(-4) + (-333)/(-18) a multiple of 2?
True
Let m(z) = -z**3 - 25*z**2 - 27*z + 21. Let f(v) = 2*v**3 + 50*v**2 + 53*v - 42. Let r(b) = 6*f(b) + 13*m(b). Does 26 divide r(-24)?
False
Suppose 10*k + 926 - 2946 = 0. Suppose -k = -21*j + 302. Does 12 divide j?
True
Let m be -4 - -2 - (6 - (5 + 5)). Suppose -19 + 2 = l + 5*z, 3*l = 3*z + 21. Suppose -i + 94 = 2*s - 5*i, l*i = m*s - 98. Is s a multiple of 4?
False
Does 110 divide 13 + -23 - -1 - -3749?
True
Let l(h) = h**2 - 23*h - 36. Let v be l(25). Let j be (-158)/6 + (v/(-21) - 0). Is 6 a factor of (-576)/j*(-27)/(-6)?
True
Let a be 0 - 0 - (-7 - -2). Let c(b) = b**2 - 2. Let m(h) = 10*h**2 - 6*h - 15. Let w(u) = -5*c(u) + m(u). Is w(a) a multiple of 18?
True
Does 156 divide (-23)/(506/(-253462)) - 1*-5?
False
Suppose d - m - 9 = 0, 2*d - m - 10 = 3. Is 4 - (-22)/d*120 a multiple of 31?
False
Let p(q) = 74*q - 7 - 7*q + 26*q + 59*q. Is 9 a factor of p(3)?
False
Suppose -38*f = -14*f - 10584. Suppose 18*g + f = 19*g. Is 28 a factor of g?
False
Is (-37058)/(-12) - (53/(-6) + 8) a multiple of 29?
False
Let v(a) = -46*a**2 - 11*a - 18. Let r be v(6). Does 22 divide ((-3)/(-2))/((-5)/r*6)?
False
Suppose 0 = -27*n + 6*n + 31*n - 9950. Is 17 a factor of n?
False
Let y(x) be the first derivative of -15*x**2/2 + 59*x - 190. Is y(-35) a multiple of 73?
True
Let f = 180 - 188. Is 3 a factor of -4 - 51/(-12) - 694/f?
True
Suppose 160*i = 1266255 + 216945. Is i a multiple of 206?
True
Suppose -30*n + 6660 - 240 = 0. Suppose 3*o - 2*f = -13 + n, 2*o + 2*f = 124. Does 13 divide o?
True
Suppose 241*h + 169164 = 368*h. Is 23 a factor of h?
False
Let n be 1/(3 + (-48)/15) - -897. Let d = n - 533. Is 8 a factor of d?
False
Let x be 1 + -18 - 28/(-4). Let k(m) = -m**2. Let g(i) = -3*i**2 + 10*i - 6. Let w(a) = -g(a) + 4*k(a). Is 3 a factor of w(x)?
True
Let f(x) = 4*x**3 - x**2 + x + 4. Let u(p) = 5*p**3 - 2*p**2 + p + 5. Let g(d) = 6*f(d) - 5*u(d). Let n be g(3). Suppose -15*v + 488 = -n*v. Does 15 divide v?
False
Let i = -9200 + 15986.