- 161*i + 162. Is 28 a factor of i?
False
Let t = -5 - -10. Suppose -23*y = 27*y - 200. Suppose -3 = -t*x + y*x. Does 3 divide x?
True
Let x be (-3 - (-51)/21) + 16/28. Let t(g) be the second derivative of g**5/20 + g**4/12 + 89*g**2 + 16*g. Is 46 a factor of t(x)?
False
Let q be 3/3*(1888 - -1). Let k = q + -1229. Does 12 divide k?
True
Suppose 38*a = 42*a. Let t(c) = -6*c**3 - 3 + a*c**2 - c**2 + 8*c**3 + 2*c. Is t(5) a multiple of 29?
True
Let c be 7/(35*7/105). Suppose 4*f + 441 + 591 = c*p, -2*p + 4*f = -684. Does 29 divide p?
True
Let k = -19 - -30. Let z(b) = -b**3 + 10*b**2 + 11*b + 4. Let d be z(k). Suppose m + i = d, 0*i + 16 = 4*m + i. Does 3 divide m?
False
Suppose 114*y - 6259132 - 2526392 = 0. Does 341 divide y?
True
Suppose -9947 = -y - 2*g, -4*y - 4*g - 8302 + 48086 = 0. Suppose -y = -18*x + 441. Is 23 a factor of x?
False
Suppose -5 = -2*h - 5. Suppose -5*t + h*t = -t. Suppose 6*f - 9*f + 99 = t. Does 4 divide f?
False
Suppose -1148*b - 29040 = -2*x - 1153*b, 0 = -2*x - 3*b + 29056. Does 10 divide x?
True
Suppose 84*s - 96720 = 53*s. Is 80 a factor of s?
True
Let o = -4515 + 6649. Is o a multiple of 70?
False
Suppose 4*m - 2*l = 141838, 0 = 3*m - 3*l - 10993 - 95393. Is m a multiple of 53?
True
Let t(u) = 9*u**2 + 120*u + 1005. Does 14 divide t(-61)?
True
Let a = 10698 + -2030. Is 44 a factor of a?
True
Suppose 0 = -0*j + 17*j - 986. Suppose 4*x + 27 = 3*o, 5*o - 13 = -5*x + x. Let g = j - o. Is 15 a factor of g?
False
Suppose -23 + 19 = y. Let q be (-2)/4 + (-4 - 90/y). Is (-2 + -2)*(q/(-8) - 2) a multiple of 17?
True
Suppose h + 2*z - 4 = 0, 5*h + 1 = 4*h - z. Let u be h/27 + 904/18. Suppose 4*p = 14 + u. Does 16 divide p?
True
Suppose 3*a - 117 = -12. Let k = a + -24. Suppose -312 = -24*q + k*q. Is 5 a factor of q?
False
Let l(m) = -2*m**2 + 2*m - 37. Let a be l(-15). Let q = a - -713. Does 8 divide q?
False
Let j(f) = 4*f**2 + 4*f - 6. Let k be j(2). Let v = -17 + k. Is -8 - -39 - 3*v a multiple of 4?
True
Suppose u = -5*i + 19081, -5*i + u + 9155 = -9914. Is 4 a factor of i?
False
Let s be 12/(-2) + (-18 - -18). Let c = s + 9. Suppose c*y = -5*z + 220, 4*y - 354 = -y - 2*z. Is y a multiple of 10?
True
Suppose -3*z + 8*z + 5*d = -120, -4*d - 4 = 0. Let t(u) be the first derivative of -3*u**2/2 + 75*u + 4. Is t(z) a multiple of 24?
True
Let b(y) = -35*y + 2741. Is b(-45) a multiple of 79?
False
Suppose 23*i = 4*i - 4*i + 167256. Does 72 divide i?
True
Suppose 2032098 - 9873207 = -311*k + 1300425. Is k a multiple of 9?
True
Let y be (-1 + 0)*(-272)/(-8) - 0. Let m = y - -31. Is 23 a factor of (31/(-4))/(((-6)/m)/(-8))?
False
Let l(x) = 1903*x + 3869. Is l(29) a multiple of 16?
True
Suppose -6*q = 2*m - 9*q - 65537, 2*q = 8*m - 262118. Is 20 a factor of m?
False
Let q = 7043 - 3737. Does 74 divide q?
False
Let w(p) = p**3 + p - 1. Let t(z) = -3*z**3 - 5*z**2 - 3*z + 7. Let a be (6/(-18))/(2/12). Let j(l) = a*w(l) - t(l). Does 7 divide j(-4)?
True
Let i be 7221 + 8*3/6. Is (-1 + 2)/(i/(-1205) - -6) a multiple of 2?
False
Let a be (2/(-6))/(-2*(-6)/(-72)). Suppose -a*v - 2*s - 1615 = 3*v, 0 = 3*v - 2*s + 953. Let t = -191 - v. Does 8 divide t?
False
Let w(n) = -179*n**3 + 5*n**2 - 12. Let z be w(-2). Let r = -825 + z. Is 15 a factor of r?
True
Let g = 40 + -23. Suppose 0 = g*s - 22*s + 280. Suppose s - 173 = -3*h. Is h a multiple of 13?
True
Suppose 0 = 4*s + 2*w - 126, -55 = -3*s - 4*w + 42. Suppose -s*l + 38*l - 448 = 0. Suppose l*p + 238 = 65*p. Is p a multiple of 14?
True
Let v(p) = -661*p - 66. Let x be v(-3). Let g = x - 1334. Is 11 a factor of g?
True
Suppose 359*y = 356*y + 6, 5*x + y - 3782 = 0. Does 12 divide x?
True
Let i be 10 + (-12)/15 + (-20)/(-25). Is -2*(7 - i) - -472 a multiple of 20?
False
Suppose 9874 = m + 314*q - 309*q, q - 19784 = -2*m. Is m a multiple of 51?
True
Let y(s) be the first derivative of -s**3/3 - 19*s**2/2 + 23*s - 7. Let a be y(-20). Suppose 3*q = a*m + 165, q = -q - 4*m + 98. Is 20 a factor of q?
False
Let c be (-3)/1 + (14 - 11). Suppose -2*b = l + 7, c*b = -5*l + b + 20. Is 11 a factor of 2/l - (220/(-12) + 5)?
False
Suppose 0 = 4*u - 4*a - 3620, 13*u - 8*u = -2*a + 4518. Let l = 1367 - u. Does 8 divide l?
False
Let v(z) = -13*z + 87. Let o be v(-19). Suppose 2 = -4*d + o. Is d a multiple of 6?
False
Let u be (30/(-5))/(963/965 + -1). Is -1 + 3 - (-1)/(5/u) a multiple of 41?
False
Let u be 1/((-5)/(142 - 2)). Let o = -31 - u. Let f(i) = -8*i - 6. Is 6 a factor of f(o)?
True
Suppose 5*u = -0*o - 4*o + 17, 0 = -2*u + 2. Suppose l - x = o + 8, x = -l + 1. Let w(q) = q**2 + 6. Is w(l) a multiple of 8?
False
Suppose 333*n - 7179480 = -255*n. Is n a multiple of 30?
True
Let q(g) = -1537*g + 940. Does 13 divide q(-3)?
True
Is 15 a factor of -24 + -11*(-236934)/66?
True
Suppose 2601 = 3*i - 7*j + 3*j, 3*i = j + 2592. Let l = i - 486. Is l a multiple of 23?
False
Let k be 2*(3 + 2 + -6). Let s be -2 + 2 + (k + 4 - 0). Suppose 4*p = s*o - 188, -5*o + 3*p = 2*p - 479. Does 16 divide o?
True
Let f(c) = 4 + 199*c + 98*c - 129*c + 289*c. Let l be f(2). Is 12 a factor of 20/(-6)*l/(-85)?
True
Let m(s) = 154*s + 3624. Does 6 divide m(-19)?
False
Suppose -38 = -3*z + 4*t, 2*z + 3*t - 32 = 4*t. Suppose -z*q + 880 = -7*q. Is 20 a factor of q?
True
Let p(t) = -t**3 + 6*t**2 - 5*t - 6. Let v be p(3). Suppose 147 = v*n - 291. Suppose 557 - n = 11*w. Is 6 a factor of w?
False
Let l(p) = -15 + 43 - 18*p + 54 + 41 - 21. Is 4 a factor of l(-13)?
True
Let u = -26 - 33. Let o = -99 - u. Let f = 47 + o. Is f a multiple of 3?
False
Let u be 4/(-26) + 77055/195. Let r = u + 241. Is r a multiple of 35?
False
Let m be 4330/14 + 3 + (-184)/56. Suppose -q + 191 = -m. Is q a multiple of 39?
False
Suppose -189*r = -173*r - 15808. Does 76 divide r?
True
Is 257232/(-32)*(-208)/39 a multiple of 183?
False
Is 9798 - 9/3*(-21)/21 a multiple of 11?
True
Does 44 divide (-1133312)/128*3/(-2)?
False
Suppose 4*b - 2*b - 17211 = -o, -2*o + 25818 = 3*b. Does 24 divide b?
False
Is (3/18 - (-23019)/18)/((-3)/(-15)) a multiple of 16?
False
Suppose -31*t + 35*t = -524. Let n = 49 - t. Does 10 divide n?
True
Suppose 211*r - 227220 = 191*r. Is 21 a factor of r?
True
Let u(d) = 326*d - 6. Let x(h) = h**2 - 6*h - 25. Let c be x(9). Let a be u(c). Suppose -8*w + 6*w = -a. Is w a multiple of 37?
False
Let q be ((-51)/15 - -7)/(4/(-10)). Does 37 divide 25*-7*(q + 7)?
False
Let g(t) = -t + 8. Let u be g(8). Suppose u = -5*z - 5*b + 505, 203 = 2*z - 0*b + 3*b. Is 25 a factor of (-20)/z + (-1252)/(-10)?
True
Let u = 17040 + -15280. Is 16 a factor of u?
True
Let u = -188 - -417. Let t = -148 + u. Is t a multiple of 13?
False
Let l(o) = -o**3 + 7*o**2 + 11*o - 19. Let y be l(8). Suppose 4*k + 5 = n, -y*n + 3*k = -k - 57. Suppose -826 = -n*a - 72. Does 10 divide a?
False
Let n(l) = -l**2 - 181*l - 944. Does 9 divide n(-104)?
False
Suppose -2*b = 3*y - 34974, y - 4*b + 2057 = 13743. Is y a multiple of 210?
False
Suppose -16125 + 56775 = 10*b. Does 34 divide b?
False
Suppose 0 = -4*q - b + 15908, 2*q + 3*b = 12168 - 4224. Is 9 a factor of q?
True
Suppose -241*q = -235*q + 36. Does 9 divide (-2478)/28*4/q?
False
Is 8 a factor of ((-44304)/416)/((-6)/28)?
False
Let f(d) = -2*d + 2. Let r(n) = 23*n + 49. Let y(v) = -3*f(v) + r(v). Is y(16) a multiple of 32?
False
Let v = 10492 + -4037. Is v a multiple of 44?
False
Is (4 - 15/(-6))/((-11)/(-68031 + 7)) a multiple of 13?
True
Let t(l) = 3*l**3 - 3*l**2 + l + 4. Let k(r) = 4*r + 13. Let g be k(-7). Let b be (-25)/g + 16/12. Is t(b) a multiple of 9?
False
Suppose 2*f + k + 5 = 0, -2*f - 3*k - 5 = 2. Let h = f - -121. Is h a multiple of 12?
False
Suppose -3*p - 2*p = -t - 8950, -3*p + 5*t + 5392 = 0. Suppose 7*w - 143 = p. Is 33 a factor of w?
False
Let a = 97 - 100. Is 50 a factor of (2 + 8)*(a - -23)?
True
Let d = 33 + -17. Suppose -d*m - 698 + 2746 = 0. Is m a multiple of 11?
False
Let k be 35 + 1 + (-9 - -3 - -3). Let a = k + -37. Is a/(-30)*3 - (-12274)/190 a multiple of 6?
False
Is 91 a factor of 99 + 23889 + (1 - -3) + -3?
False
Let l(v) = -v**3 + 36*v**2 - 94*v - 27. Does 53 divide l(32)?
False
Let m be 6 + (16/4 - -333). Let d = m + -257. Is d a multiple of 6?
False
Let i be (-48)/10*(-20)/(-3). Is 3093*(i/12)/(-8) a multiple of 26?
False
Let d(s) = 118*s - 372. Let r be d(4). Suppose 0 = x - 0*x - 