ue
Let d = 524 - 521. Is 2287 - 9/(d - 2) a multiple of 17?
True
Let v = 5455 - 5156. Is v a multiple of 19?
False
Let k = 35 - 35. Suppose 5*t - 23 = m, -5*t + k*t - 2*m = -29. Suppose -2*d + 7*d + t*n = 270, -5*n - 138 = -3*d. Is d a multiple of 3?
True
Let f = 13793 + -11855. Does 51 divide f?
True
Let p = 9823 - 6811. Suppose -2*y + 5*q + 2021 = 0, 0*q + p = 3*y - q. Is 42 a factor of y?
False
Let v(j) = 42*j - 3. Let n be v(6). Suppose -4*l + 5*i - 704 = 0, 0 = 2*l - 5*i + 445 - 93. Let r = n + l. Is r a multiple of 26?
False
Let y be (6 - 24/10) + 4/10. Suppose 3065 = 4*a - 14*v + 17*v, 4*v = y*a - 3100. Is a a multiple of 55?
True
Suppose 3*l - 2*j = 176, 44 = -4*l + 5*l + 3*j. Let o = -52 + l. Suppose -o*i + 7*q + 240 = 3*q, q - 160 = -3*i. Does 14 divide i?
False
Let h(v) = -v - 14. Let m be h(-14). Suppose -9*p + 1398 = 4*f - 11*p, 2*p = 3*f - 1046. Suppose m = -3*i - i + f. Is 12 a factor of i?
False
Suppose 0 = -3*s - 4 + 1. Let k = -113 - -89. Does 11 divide (s + -2 + -1)*198/k?
True
Let y(x) = -2*x**3 - 19*x**2 - 28*x - 25. Let f(k) = k**3 + 10*k**2 + 14*k + 12. Let i(w) = 7*f(w) + 3*y(w). Is i(-11) a multiple of 2?
False
Suppose 74*w + 99*w = -45*w + 2180872. Is w a multiple of 164?
True
Let z(y) = -250*y + 9698. Is 55 a factor of z(8)?
False
Is 184 a factor of 86 + -93 + 5/(5/5108)?
False
Let h(g) be the second derivative of -g**4/12 - 5*g**3/3 + 3*g**2/2 + 701*g. Let q be -1 + 1/(2/(-12)). Is h(q) a multiple of 8?
True
Let b(g) = 41*g**2 + 373*g + 30. Does 142 divide b(-17)?
True
Is 5 a factor of (7 + (615/(-20))/1)/((-2)/56)?
True
Suppose 0 = -3*j - 6*j + 4*j + 32160. Is j a multiple of 16?
True
Let d = -5056 - -7847. Is 12 a factor of d?
False
Let c be 5 + -2 + (1 - 0). Suppose c*d + 12 = -36. Let y = d - -80. Is y a multiple of 11?
False
Does 18 divide ((-129 + -6 - 6)/(-12))/(2/184)?
False
Let c be 128/288 - (-21048)/27. Let q = c - 582. Is 22 a factor of q?
True
Let y = 26 + -35. Let h be (-1713)/y + (-3)/9*1. Is 26 a factor of -3 + 3 + -1 - h/(-2)?
False
Is 15/(-3) - ((-70776)/9 - -3) a multiple of 21?
False
Let m(f) = 5 + 1009*f**2 - f - 3 - 1010*f**2. Let p be m(0). Suppose -4*u + 88 = -2*y, y - 2 = p. Is u a multiple of 22?
False
Suppose 2*r + 10 + 36 = 3*y, -r - 65 = -5*y. Suppose 6*c + 0 = -y. Is 5/(15/63) + c/1 a multiple of 9?
False
Suppose 31*x + 460 = 36*x. Let i = -15 + x. Is i a multiple of 31?
False
Suppose 78*p - 463*p - 86345 + 1018045 = 0. Is p a multiple of 11?
True
Let m = 275 + -169. Let b = -49 + m. Is 2 a factor of b?
False
Let z(o) = -o**2 - 6*o + 82. Let l be z(0). Suppose n = -6 - l. Let v = n - -118. Does 3 divide v?
True
Let j(w) = -11*w - 41. Let y be j(-4). Suppose -3*o = -y*g - 549, 2*o - g - 276 = 91. Is 5 a factor of o?
False
Let a(q) = 2*q**3 - 26*q**2 - 81*q + 242. Is a(26) a multiple of 32?
True
Let l(v) = v**3 + 9*v**2 - 54*v - 22. Let z be l(-13). Suppose 8 = z*g, -8 = -0*h - h + 2*g. Is h a multiple of 12?
True
Suppose -u + 5 = -15. Suppose -2*a - w = w - u, 2*w = 10. Suppose 78 = a*g - 337. Does 28 divide g?
False
Let p = 58 + -50. Suppose -3*w = -7*w + p. Suppose -129 = -w*a + 99. Is 23 a factor of a?
False
Let y be 242/6 - 100/(-60). Is ((-664)/(-6))/(-8 + 343/y) a multiple of 15?
False
Let z(t) = 3887*t - 15. Let v be z(2). Suppose 0 = -12*m - 2875 + v. Is m a multiple of 37?
True
Let v = 851 + -1389. Let j = v - -956. Is j a multiple of 11?
True
Let f be (-37)/(-7) - (-11)/(385/(-10)). Suppose 44 = -f*u + 184. Suppose 26*r = u*r - 14. Is r even?
False
Let x(d) = 252*d**2 + 119*d - 595. Is 20 a factor of x(5)?
True
Let v(s) = 12*s + 136. Let h be v(-11). Suppose 3*f + 690 = 3*u, -h*u - 3*f = -220 - 714. Is u a multiple of 40?
False
Let r(i) = 6*i + 191. Let w be r(-11). Suppose -3*a = -2*a - w. Is a a multiple of 8?
False
Suppose -5*t + 3*s + 88790 = -25269, -4*t - 4*s = -91292. Is t a multiple of 46?
True
Suppose -q = -59 + 17. Let n = 30 - q. Let b(v) = v**3 + 14*v**2 + 18*v + 38. Does 12 divide b(n)?
False
Suppose -18*y + 18 = -9*y. Suppose q = 4*k - 1932, 0 = y*k + 4*q - 932 - 34. Is 21 a factor of k?
True
Let d(m) = -1533*m + 507. Does 68 divide d(-1)?
True
Suppose -20*c + 96018 = -21502. Is c a multiple of 20?
False
Suppose -403*h + 287470 = -7495266. Does 47 divide h?
False
Let a be (0 + 1/2)*0. Suppose -4*j - j + 20 = a. Suppose 5*m + 508 = 2*h, -2*h - j*m = 2*h - 988. Does 40 divide h?
False
Let k(o) = 2*o**2 - 55*o + 6. Let d be k(27). Does 30 divide (-1259)/(-3) - (9 - (-196)/d)?
True
Let q(h) = -h**3 + 61*h**2 - 36*h + 123. Is 10 a factor of q(46)?
False
Suppose -5*n - 3*k = -4, 2*n + 4*k = -4 - 0. Is n/(-5) - 20925/(-125) a multiple of 6?
False
Let j = 27 - 58. Let v = j - -45. Suppose 0 = -16*b + v*b + 116. Does 11 divide b?
False
Suppose 0 = -31*d + 30*d + 4847. Does 131 divide d?
True
Suppose 5*u - 619887 = -2*v - 142747, 0 = 3*u - v - 286273. Is 136 a factor of u?
False
Suppose -5*v - q = -5650, -4*v - q + 1624 = -2896. Suppose -z + v = 5*h - 0*z, -4*z = 5*h - 1130. Is 11 a factor of h?
False
Suppose -813 = -3*a - 807. Suppose 44 + 37 = j. Suppose -j = -h - a*r, r - 274 = -4*h + 3*r. Is h a multiple of 11?
False
Let o = -6 - -12. Let j be 40/(-10*7/(-840)). Suppose 3*t = o*t - j. Is 10 a factor of t?
True
Let d be 1/(-3)*11/(66/(-36)). Suppose -a = 2*i, d*a = i + 2*i + 7. Does 4 divide (a + -4)/(21/(-18) - -1)?
True
Let h = -422 + 2008. Suppose 646 = 3*c - h. Does 26 divide c?
False
Suppose -4*n + 5*a + 124 = 0, -2*n - 2*a + 81 - 19 = 0. Let o be 12 - ((-7)/7 - 0). Let u = n - o. Is u a multiple of 5?
False
Suppose 28*q - o = 25*q + 33, -q - o = -7. Let k(b) = 57*b - 62. Does 4 divide k(q)?
True
Suppose 3*x - 30160 = -4*r - 9209, -r - 13938 = -2*x. Is 19 a factor of x?
True
Let m(d) = 4*d**2 + 18*d + 251. Is 15 a factor of m(-17)?
False
Let z be (-12)/((-147)/(-117) - 1)*-20. Suppose -5*j = z - 3096. Is j a multiple of 54?
True
Suppose -42801 = -135*a - 9861. Does 71 divide a?
False
Suppose 3*w - 3*v = 0, -2*w + 5*v - 15 = -0*v. Suppose 4*o = -4*p - o + 41, 9*o - 33 = 3*p. Is 3 a factor of ((1 + 1)/p)/(w/70)?
False
Let i(z) = z**3 - 29*z**2 + 32*z - 88. Let c be i(28). Suppose -c*t + 36*t - 7896 = 0. Is 34 a factor of t?
False
Let o = 21733 + -11792. Is 147 a factor of o?
False
Let t be (7 - 1)*(-58)/(-87). Suppose 3*x + 21 + 1 = -a, 0 = -t*a + 4*x - 24. Let b = 44 + a. Is b a multiple of 21?
False
Let y = 12659 - 10583. Is 4 a factor of y?
True
Let f = 91 + -91. Suppose 0 = p + 2*z + 6, 3*z = -9 - f. Suppose p = -0*a - 3*a + 273. Is a a multiple of 13?
True
Let n(u) = 8*u**2 + 19*u + 6. Let b be n(-11). Let w be (b/6)/(2/(24/9)). Suppose 3*t - w = 40. Is t a multiple of 14?
True
Let n(d) be the third derivative of 23*d**4/24 + 5*d**3 + 2*d**2 + 10*d. Does 9 divide n(3)?
True
Suppose 5*h + 4*l - 4 = -0*l, h - 1 = -l. Let j(a) = 17*a + 376. Is j(h) a multiple of 7?
False
Suppose 73*t - 43560 = -26*t. Is t a multiple of 4?
True
Let i(c) = 21*c - 1177. Let f be i(54). Suppose 0 = -0*d + 4*d - 3*g - 454, -2*g - 226 = -2*d. Let x = d + f. Is x a multiple of 14?
False
Let z(w) = -99*w - 28 + 1 - 21 + 30 - 45. Is 14 a factor of z(-7)?
True
Let o(f) = f**3 + 3*f**2 + 1. Let u be o(-3). Is 3423/(-28)*(u - 86/6) a multiple of 76?
False
Suppose 289*c = 304*c - 485475. Is c a multiple of 52?
False
Let a be (-6)/(-15) - 1 - 302/5. Let n = a - -76. Is 15 a factor of 3*(n/(-5) + 13)?
True
Let w = 213 + 149. Let g = w + -264. Is g a multiple of 14?
True
Let t(v) = -2*v + 1. Let c be t(-1). Let y(f) = 20*f**2 + 8*f + 15. Let n(u) = -7*u**2 - 3*u - 5. Let b(m) = 11*n(m) + 4*y(m). Is 19 a factor of b(c)?
False
Let f(y) = -2456*y + 9620. Does 15 divide f(3)?
False
Suppose -4*p - 24 = 0, 4*m - 4*p - 5344 = 2*m. Does 20 divide m?
True
Let m be ((-9)/(-15) + (-3)/(-20))*1796. Suppose 3*t - 2*b = m, -t - b = 3*t - 1807. Suppose 341 = 9*h - t. Does 11 divide h?
True
Let v(y) = 54*y**2 - 4*y - 2. Let u be v(-4). Let o be (18350/125)/((16/60)/2). Suppose 0 = 5*z - 0*f - f - o, 4*z = -2*f + u. Is z a multiple of 21?
False
Let d be 33/(-2)*11594/(-33). Suppose 42*a - 31*a = d. Is 17 a factor of a?
True
Let n(m) = 11605*m**2 - 75*m + 77. Is 167 a factor of n(1)?
False
Let b be (-865)/(-30) - 4*3/(-72). Suppose -16*l - 9802 = -b*l. Is l a multiple of 14?
False
Suppose -252 + 259 = -p, 0 = -