False
Suppose -20*i - 51*i = -33441. Suppose -124 = -z + f, z + f = -3*z + i. Is 17 a factor of z?
True
Let y(p) = -25886*p - 5815. Is 19 a factor of y(-2)?
False
Let d = -15514 - -16636. Is d even?
True
Let p(r) = 33*r + 1081. Is 4 a factor of p(-9)?
True
Suppose 42*v - 21*v = 8379. Does 57 divide v?
True
Let c(z) be the first derivative of z**4 - 2*z**3/3 + z**2/2 + 5*z + 2. Suppose 0 = 2*j - j - 3. Is c(j) a multiple of 16?
False
Suppose -c - 4 = 4. Is 14 a factor of (-1)/((-446)/(-149) + (-11 - c))?
False
Suppose -35*v + 38*v - 60 = 0. Suppose 12*o = v*o - 3512. Suppose -5*x = -41 - o. Is 16 a factor of x?
True
Let a(l) = 13*l**2 + 13*l + 117. Is 22 a factor of a(20)?
False
Let v(d) = 21*d**3 + 3*d**2 - d - 1. Let q be v(1). Is 6 a factor of 33/q*184/6?
False
Does 38 divide (-144662)/(-2 + 0)*3/21?
False
Let o(d) = 1062*d - 979. Is 13 a factor of o(11)?
False
Let r(v) = -14*v**2 + 31*v + 6. Let z be r(-6). Let j = z - -963. Is 36 a factor of j?
False
Suppose -24388 = -5*d + 512*c - 511*c, -4*d = -5*c - 19544. Is d a multiple of 25?
False
Suppose 0 = -h - 8, 14*h - 18*h - 33898 = -2*n. Does 59 divide n?
True
Let l(n) = 2*n**3 - 2*n**2 - 7*n + 8. Let b be l(3). Let d = 4 + 0. Suppose 5*u - b = d*r, u - 3*r = -0*r - 2. Does 5 divide u?
False
Let s = 659 + 1241. Does 25 divide s?
True
Let f be (-2)/(-6) - (-165)/(-9). Let l = -16 + f. Let j = l - -115. Does 27 divide j?
True
Suppose 0 = 4*v - 7*v + 30. Let j be (-20)/8*(-24)/v. Suppose j*d - 3*d - 3*o = 24, 0 = 2*o - 10. Is 5 a factor of d?
False
Suppose 5 = -2*w + 3*x, w - 3*x + 1 - 6 = 0. Let q be (-5272)/(-24) + w/6 + 1. Suppose 126 + q = 3*f. Is 26 a factor of f?
False
Let j = 2974 - 1214. Is 34 a factor of j?
False
Suppose 29*l = 25*l + 1036. Let f = 423 - l. Does 6 divide f?
False
Let q(p) = p**2 + 10*p - 15. Let o be q(-16). Suppose 2*w + o + 11 = 0. Let g = -7 - w. Is g a multiple of 5?
False
Let v(x) = 25*x**2 + 3*x - 8. Let p(l) = -24*l**2 - 3*l + 6. Let o(q) = -5*p(q) - 4*v(q). Is o(-3) a multiple of 48?
False
Suppose 32347 = 31*d - 16075. Let u = d - 886. Does 52 divide u?
True
Let u = 37640 - 22944. Is 22 a factor of u?
True
Suppose -2*m - 3*i = -337, 859 = 5*m - 0*m + 2*i. Suppose -171*x = -m*x + 1008. Is x a multiple of 12?
True
Let x be (1 + -9)*(11/2)/(-11). Let j be (8/(-3))/(x/96). Is 1/(-2) + (-25184)/j a multiple of 57?
False
Suppose 1061 = 5*m - 3*t, -3*m + 47 = 3*t - 580. Suppose m = -5*v - 1054. Let s = -180 - v. Is s a multiple of 17?
False
Does 23 divide (-76)/18 + ((-64)/36 - -2) + 5133?
True
Let p = -39 + 43. Suppose 6*f - p = 14. Suppose -f*w + w + 200 = 0. Does 25 divide w?
True
Let m = 74 - 72. Suppose 0 = m*j + 2*p - 158, 5*j + 2*p - 170 = 225. Does 5 divide j?
False
Let y(u) = -14*u - 112. Let m be y(-9). Let p(a) = -a**3 + 14*a**2 + 5*a - 14. Is 56 a factor of p(m)?
True
Is 52734/85 - 4/10 a multiple of 54?
False
Is (-120)/(-72) - -12967*3/9 a multiple of 141?
False
Let n(k) = -7*k - 2*k**2 + 4*k**2 - 6 + 8*k + 9*k - k**3. Let a be n(4). Suppose 5*f = -5*y + 365, -y + 16 - 147 = -a*f. Is f a multiple of 17?
True
Let d = 857 + -849. Suppose -116 = -4*n - 4*f, 2*n = -f + d + 49. Does 7 divide n?
True
Let g(j) = -8*j**2 - j**2 + 18 - 79*j**3 - 6*j + 2*j**2 + 85*j**3. Let k be g(8). Suppose 554 = -8*m + k. Does 17 divide m?
True
Let x(p) = 36*p + 1304. Is x(-29) a multiple of 52?
True
Let z(p) = 12*p + 18. Let b be z(21). Suppose 0 = -10*o + 5*o + b. Does 6 divide o?
True
Is 1/(-11 - (-984950)/89540) a multiple of 11?
True
Suppose -17*l + 15781 = -11436. Does 4 divide l?
False
Suppose r - 62 = -10. Let f = r - 61. Let k = 32 + f. Does 22 divide k?
False
Suppose 3*k - b - 131 = 5*k, -k = 4*b + 83. Let i = 483 - k. Is i a multiple of 39?
True
Suppose -143*s = -3867711 - 556280. Is s a multiple of 73?
False
Suppose 4*o + 24 + 8 = 0. Let s(b) = -b**2 - 9*b - 19. Let y be s(o). Let r = 37 + y. Is r a multiple of 13?
True
Suppose 4*u + 400 = 3*m, 400 = -5*u + u + m. Suppose -165 = -3*t + 285. Let s = u + t. Does 25 divide s?
True
Let b = 299 + -399. Is 8 a factor of b/(-15)*(-9204)/(-65)?
True
Suppose 4*x - 3694 = -1510. Does 39 divide x?
True
Let k = 314 + -551. Let t = -74 - k. Is 25 a factor of t?
False
Is (567750/1500)/(2/(-4) - -1) a multiple of 12?
False
Is (6/4)/(89/337310) a multiple of 15?
True
Let i = -366 - -309. Let t(n) = -n**2 + 2*n + 5. Let a be t(4). Let c = a - i. Is 18 a factor of c?
True
Let x(h) be the third derivative of 0*h - 13*h**2 + 1/6*h**5 - 7/8*h**4 + 0 + 1/120*h**6 - 5/2*h**3. Does 15 divide x(-10)?
True
Suppose -57*l + 58916 = 40*l - 58260. Is l a multiple of 33?
False
Suppose -20*d - 4 = -16*d. Is 6 a factor of (-1539)/(-12) - 2 - d/(-4)?
True
Let f(j) = -15*j + 147. Let v(o) = 46*o - 441. Let u(t) = -7*f(t) - 2*v(t). Is 57 a factor of u(42)?
True
Let n be -3 + (24/5 - 9/(-45)). Suppose n*p - t = 117, -2*p - 4*t + 34 + 68 = 0. Is p a multiple of 2?
False
Suppose 45*h - 222045 - 26355 = 0. Is 10 a factor of h?
True
Let w be -1 - (-4 + -2) - -385. Let r = w - 216. Is r a multiple of 35?
False
Suppose 86*h = -90*h + 242176. Is 32 a factor of h?
True
Is 83 a factor of ((-24)/(-32))/(42/750736)?
False
Let k(n) = 1033*n**2 + 8*n - 8. Let u be k(1). Suppose -13*m - u = -8443. Does 57 divide m?
True
Suppose -4*i - 2*k = -8*i - 10172, -3*i - k - 7619 = 0. Let j = -1722 - i. Does 21 divide j?
True
Let b(m) = m**2 - 23*m + 19. Let g be b(22). Let j be 8*2*g/(-6). Let l = 76 + j. Does 18 divide l?
False
Let q be (75/6)/(((-77)/(-1582))/11). Let a = -2015 + q. Is a a multiple of 16?
False
Let q = -39994 + 63082. Is 24 a factor of q?
True
Suppose 0 = -208*s + 113*s + 893475. Is s a multiple of 95?
True
Let i(r) = 3*r + 25*r + 0*r + 34*r - 118 + 0*r. Does 83 divide i(26)?
True
Let n(t) = 2*t**3 - 5*t**2 + 2*t + 4. Let q be n(2). Suppose -q*w - 222 = -r, w = -0*r - r + 232. Is 23 a factor of r?
True
Suppose 0 = 6*y - 4*y + 2*s - 3446, -1715 = -y + s. Suppose 3*g - 3*a = y, g + 2*a - 561 = 18. Does 25 divide g?
True
Let r = 27919 - 25275. Is r a multiple of 18?
False
Let l = 377 - 222. Let f = -124 + l. Does 31 divide f?
True
Let u be ((-2)/(-6))/(2/24). Suppose -5*k - a = -381, -u*k - a + 305 = -0*a. Suppose -12*z + 16*z - k = 0. Does 4 divide z?
False
Suppose -5*m - 380 = 3*f, 3*f - m = -0*f - 392. Let d = f - -350. Is 11 a factor of d?
True
Let z(x) = -x**3 + 14*x**2 + 5. Let c be z(14). Suppose 348 = c*l - 3*q, 0 = 3*l - 6*l - 3*q + 228. Is 17 a factor of l?
False
Let k = -39 + 48. Suppose r = k*r - 2112. Suppose 744 = 2*w + r. Is 47 a factor of w?
False
Suppose -2*u + u + 194 = 0. Suppose 2*x = -4*a + u, -x = a - 0*a - 49. Let o = a + -40. Is o a multiple of 2?
True
Let x(a) = 5*a**2 - 33*a + 6. Let d be x(7). Suppose -2*i = -b - 2*b + 370, -d = -5*i. Does 18 divide b?
True
Let a = -4110 - -5846. Is a a multiple of 5?
False
Suppose 13*c - 2*j - 6 = 11*c, 0 = 4*c - 5*j - 14. Does 19 divide c*67 - (3 - (-15)/(-3))?
False
Suppose -65*n = -5*a - 61*n + 27149, 0 = 3*a - 6*n - 16257. Is a a multiple of 130?
False
Let y(a) = 18969*a**2 + 66*a + 70. Does 15 divide y(-1)?
False
Let z(d) = -7*d - 59. Let n be z(-8). Let o(m) = -187*m - 36. Is o(n) a multiple of 26?
False
Let u(s) = s + s**2 + 1 - 2 + 14*s**2 + 2 - s**3. Suppose 5*q - 4*n = 63, 6*q = 2*q - 2*n + 66. Does 16 divide u(q)?
True
Does 52 divide 553584/342*(1 + 26/4)?
False
Suppose -5*l + 30 = 2*i - 3*i, -4*l - 4*i = 0. Suppose 4*t = -k + 1637 - 233, -l*t + 3*k = -1772. Is 11 a factor of t?
True
Let o be (-2)/(-3) - (-56)/24. Suppose 4*h + 3 = -o*r, 8*r = -3*h + 5*r - 6. Suppose 3*z = 3, -h*z + z + 570 = 4*l. Is 8 a factor of l?
False
Suppose 0 = -610*u + 608*u + 77860. Does 19 divide u?
False
Let o(q) = -2*q**2 + 9*q - 14. Let k be o(4). Let d(i) = 2*i**2 + 19*i - 5. Let v be d(k). Suppose r + v*a - 324 = -0*r, -2*r - 4*a + 618 = 0. Does 23 divide r?
True
Suppose -c = -7*i + 4*i - 8028, 0 = -4*c - 3*i + 32097. Suppose 21*z = 6192 + c. Is 30 a factor of z?
False
Suppose 3*q - 4*d = 5082, 578*d = 5*q + 582*d - 8502. Is 4 a factor of q?
False
Suppose -50*f + 83*f + 59*f - 521272 = 0. Does 18 divide f?
False
Is 10 a factor of -2*(8 + (-102575)/10) - -1?
True
Suppose 19*z + 374400 = 253*z. Is 8 a factor of z?
True
Suppose 6*u - 4*f = 4*u + 7900, -u + f = -3951. Does 16 divide u?
True
Let x(l) = 2*l**