ue
Let y = 7952 + 2630. Does 37 divide y?
True
Let d = 44946 - -4165. Is d a multiple of 230?
False
Let r(c) = c**2 - 3*c + 4. Let z be r(3). Suppose -2*h - 4*n - 12 = 0, 4*h = -5*n - 28 + z. Is 1*(7 + h/2) a multiple of 3?
False
Let s = -29 - -54. Suppose -s - 527 = -4*a. Is 38 a factor of a?
False
Suppose 64 = 4*f - 916. Let u = -378 + 536. Let a = f - u. Is a a multiple of 29?
True
Let y = 8036 - 4901. Does 12 divide ((y/(-10))/(-3))/(1/2)?
False
Suppose 209*b + 59500 = 277*b. Does 35 divide b?
True
Let v be ((-8)/10)/((-12)/(-8640)). Let g = -395 - v. Is g a multiple of 13?
False
Let q be (6 + -26)/5*2/(-8). Suppose 0 = -4*i + 4*r + 12, 7*r = i + 2*r + q. Suppose 4 = -j + 6, 0 = i*p + j - 66. Is p a multiple of 11?
False
Is ((152/38)/(0 - -1))/((-6)/(-7209)) a multiple of 9?
True
Let w(o) be the first derivative of o**4/4 - 13*o**3/3 + 8*o**2 - 28*o + 30. Let a be w(12). Is 5*(83/a + 13/52) a multiple of 4?
False
Suppose 0 = -64*n + 66*n - 8984. Is n a multiple of 98?
False
Suppose 3042 = -32*v + 149794. Is v a multiple of 74?
False
Suppose -5*u + 7015 = -5*s, 2*s - 4596 - 1010 = -4*u. Is 38 a factor of u?
False
Let j(m) = -m + 54. Let p(t) = 53. Let f(d) = -2*j(d) + 3*p(d). Let z = 100 + -100. Is f(z) a multiple of 13?
False
Let u(t) = -10*t - 6. Let m = 38 - 103. Let z = m - -53. Does 27 divide u(z)?
False
Let d = 401 + -398. Suppose 0 = -4*a - 4*s + 200, 76 = -d*a - 2*s + 226. Does 37 divide a?
False
Suppose -40*r - 5*n + 23 = -41*r, 4*r - 18 = -2*n. Is 4 a factor of -20*(0 + -3)*r?
True
Let p be -5 - ((-20)/4 + -2). Suppose -4*d - z = d + 1, 0 = -4*d - p*z - 2. Suppose d = -19*v + 15*v + 952. Is v a multiple of 16?
False
Suppose 4*x + 3*o - 1609 = 5496, 8890 = 5*x - 5*o. Let u = x + -806. Is 26 a factor of u?
False
Is 17 a factor of ((-24)/(-32))/((-14)/112)*(-544 - 0)?
True
Suppose -6*b = 1445 - 4079. Suppose -2*h - 153 = -2*s + b, 0 = -3*s + 2*h + 889. Let x = s - 174. Is x a multiple of 20?
False
Suppose 6*b = -38*b - 24*b + 1547000. Is 26 a factor of b?
True
Let x be (-25)/10*5*-2. Suppose 2*f = -x*f + 5778. Is 5 a factor of f?
False
Is (-956718)/(-210) + -1*2/(-10) a multiple of 68?
True
Suppose -142 - 98 = -12*i. Let b(u) = -2*u**2 + 39*u + 57. Is 6 a factor of b(i)?
False
Let w = 27 - 25. Suppose 4*d = 5*f + 20 + 5, w*d - 15 = 3*f. Suppose 2*h - 6 = -d*h, -k + 2*h = -165. Does 20 divide k?
False
Suppose -o + 5072 = 5*z, -2*o + 14*z - 16*z = -10160. Is o a multiple of 11?
True
Is 21 a factor of ((-36)/(-10))/(-9) - 4421816/(-140)?
True
Let v(q) = 3*q + 68. Let w be v(-21). Suppose 0 = -0*y + w*y + 4*z - 2396, 2 = -2*z. Is 32 a factor of y?
True
Is 12 a factor of 5 - ((-591552)/(-12))/(-6)?
False
Let q(v) = v**2 - 4*v - 9. Let p be q(6). Suppose -p*j = -27 - 153. Let u = 112 - j. Is 26 a factor of u?
True
Let l(i) = -i + 3. Let n be l(-2). Suppose -n*k + 1714 = -5*m - 676, 1446 = 3*k + 3*m. Is k a multiple of 15?
True
Is 18 a factor of (26914 - -204) + (-2 + -2)*-2?
True
Let i = 1818 + 3721. Does 4 divide i?
False
Suppose 2*i - 22*z = -19*z + 29, -3*z - 22 = -i. Let v(c) = 3*c**2 + 4*c + 1. Is 44 a factor of v(i)?
True
Let i(v) = 29*v**3 + 2*v - 2. Let c = 495 + -494. Does 29 divide i(c)?
True
Suppose -7*v - 70 - 287 = 0. Is 78728/136 + -7 - 6/v a multiple of 22?
True
Let h(l) = -l**3 - 13*l**2 + 16*l + 46. Let f be (6 - 392/21) + 12/(-9). Is h(f) a multiple of 13?
False
Suppose 16*i = 22*i - 24. Suppose 0 = -v + 4, -13*v = i*s - 11*v - 536. Does 4 divide s?
True
Suppose -6 = 2*w - 2*d, -6*w + 4*w = 5*d + 20. Suppose -3*h = 2*h - 90. Let k = h - w. Does 8 divide k?
False
Let b(r) = -11*r**3 - 2*r**2 - 2*r + 9. Let x = 350 - 353. Is b(x) a multiple of 7?
True
Let r(k) be the first derivative of -7*k**4/24 - 10*k**3/3 - 17*k**2/2 + 2. Let h(v) be the second derivative of r(v). Is h(-9) a multiple of 43?
True
Suppose -20 = -x + 4*n, 3*x + 23 = 2*n + 33. Suppose -7*p + 3*p = -5*r - 141, 4*p + 3*r - 165 = 0. Let a = p - x. Is a a multiple of 5?
False
Let f(v) be the third derivative of 29*v**5/15 + v**4/3 + v**3 - 4*v**2. Is f(-1) a multiple of 14?
False
Suppose -251900 = -49*h - 33*h + 62*h. Does 55 divide h?
True
Is 6 a factor of 72/((-175)/(-140) - 198/152)*-4?
True
Let a(n) = -3*n + 9. Let q be a(3). Suppose q = 5*b + 4*s - 345, s = -4*b - 3*s + 280. Let x = -26 + b. Is x a multiple of 10?
False
Let d = 1023 - -4801. Does 79 divide d?
False
Let b = 22796 - 18754. Is 47 a factor of b?
True
Let g be (9/15)/((-1)/(-5)). Let s(n) = -n**2 + 10*n. Let j be s(10). Suppose -g*p + 3 = 3*o, 29 = 5*o - j*p - p. Is o a multiple of 4?
False
Suppose 0 = 5*g - 5*k + 40, 0 - 3 = 3*k. Let l be g/4*(-392)/3. Suppose 5*r - l = -2*u, 4*u - 4*r = -5*r + 624. Is u a multiple of 28?
False
Does 7 divide 1*2218 - (32 - 22)*-1?
False
Let r = 312 - 343. Is ((-12)/(-21) - r/7) + 690 a multiple of 75?
False
Is 44 a factor of (26 - 28)*(-346)/1?
False
Suppose 2*s = 7*s + 420. Let g be s/(-22) + 22/121. Suppose 2*i = -2*i + 5*y + 118, -8 = g*y. Does 11 divide i?
False
Suppose -3*i + 5*v = -i - 20, -i = 2*v - 1. Let w(y) = 115*y - 148. Is w(i) a multiple of 83?
False
Suppose 4*p - 73052 = -4*r, -p = -37*r + 39*r - 18266. Is 47 a factor of p?
False
Suppose 0 = 2*d - 2*l - 4826, 4*d = -6*l + 3*l + 9652. Suppose 43*j - 12637 = d. Does 10 divide j?
True
Let v(d) = 8*d**2 + 3*d**2 + 8*d - 608 + d**3 + 639. Is v(-10) a multiple of 2?
False
Let v(x) = -26*x - 43. Let q be v(-5). Let p be ((-29)/q)/((-1)/(-3)). Is 203 + p + (-5 - -4) a multiple of 19?
False
Let j be 3/9*18/3. Is 2/((-50)/26 + j) a multiple of 2?
True
Let g = -80 - -85. Suppose 5*o - 4*m = 1112, -3*o + 4*m = -g*o + 456. Is o a multiple of 10?
False
Is 6953 + -5*187/(-85) a multiple of 8?
False
Suppose 100*i - 4729674 = 4659554 - 2293628. Is 34 a factor of i?
False
Let n be 123 - (0 - 8/(-4)). Suppose -6*m = 5*a - m - 35, 0 = 4*a - 2*m - 16. Let u = n - a. Is u a multiple of 10?
False
Let j = 521 + 86. Let h be -1*40*(-44)/5. Let i = j - h. Is 17 a factor of i?
True
Let u(z) = -z**3 - 4*z**2 + 11*z - 4. Let v be u(-6). Suppose -v*a + a + 3 = 0. Suppose -q - q - a*j = -84, -2*j = -2*q + 74. Does 13 divide q?
True
Suppose 22610 = 3*d + 4*u, -37692 = -5*d + 163*u - 161*u. Is 44 a factor of d?
False
Suppose 2*c - 5*b - 395 = -0*c, -3*b = c - 181. Let f = c + -23. Is f a multiple of 8?
False
Suppose 2093 = -3*x - 5*r + 16549, -9633 = -2*x + r. Is 12 a factor of x?
False
Let f(r) = 0*r**3 + r**2 + 5*r**3 + 2*r**2 - 4 - r**2. Is f(3) a multiple of 18?
False
Let d(v) = 22*v**2 - 142*v + 27. Does 20 divide d(15)?
False
Let q(h) = 31*h**2 - 84*h + 1953. Is 30 a factor of q(21)?
True
Let p(j) = -190*j + 90. Is p(-4) a multiple of 34?
True
Let w = 544 + -541. Suppose -5*f - 4*x + 758 = 0, 293 = w*f + 5*x - 154. Is 11 a factor of f?
True
Let j = -20999 - -44391. Is 86 a factor of j?
True
Suppose -5*m - 25 = 0, 3*q + m - 56 = 2*m. Let n = 691 + -411. Suppose q*r - 10*r = n. Does 8 divide r?
True
Let x be 4 - 966/(-12 + 5). Let z = 180 - x. Is z a multiple of 19?
True
Let d be 4 + (-2 - -1) - (-68 - 708). Suppose 1231 + d = 3*t. Does 69 divide t?
False
Let s be 7*(3992/56 + 6). Suppose -2*d - p = -5*p - 278, -4*d = -5*p - s. Is 43 a factor of d?
True
Suppose -6*i - 209 - 367 = 0. Let u = 103 + i. Let x(h) = 4*h**2 - h + 9. Does 11 divide x(u)?
True
Let k(i) = i**3 - 12*i**2 + 9*i + 41. Let j be k(11). Let c(b) = -b**3 + 19*b**2 + 22*b + 25. Is 64 a factor of c(j)?
False
Suppose -5*o + 2*o + 33 = 0. Let b(m) = m + 8*m**2 + 5*m**2 - 5*m**2 + o + m**3. Is b(-6) a multiple of 9?
False
Suppose -2*k + 3871 = l, 5*l + 8*k = 2*k + 19343. Does 27 divide l?
False
Let o(u) = 19*u**3 - u - 12. Let k(g) = 54*g**3 + g**2 - 3*g - 35. Let c(y) = -6*k(y) + 17*o(y). Is c(-8) a multiple of 9?
True
Let x be (4 + -1)/(2/6). Let p(v) = -v**3 + 16*v**2 + 22*v + 23. Let t be p(17). Suppose 10*s = x*s + t. Does 41 divide s?
False
Let w(u) = 2*u**2 + 8*u - 21. Let l be 4 - ((-52)/(-4) + 1). Let k be w(l). Is (k/(-6) + 0)*14/(-3) a multiple of 16?
False
Suppose -117*l + 240*l = 40467. Is l a multiple of 24?
False
Let s be 9/((-130)/352 - 8/(-44)). Is 16 a factor of s/(-16)*(38 - 1)?
False
Let b(x) = -181*x**3 + x + 1. Let y be b(-1). Is y + 0 - (-2 - 0) a multiple of 22?
False
Suppose -t + 48 = -12. Is (465/t - 8) + 2858/8 a multiple of 6?
Fa