True
Is 43 a factor of (36/2394)/(1/7) + (-1173032)/(-266)?
False
Suppose y = -2*y. Let m(w) = -2*w**3 - 19*w**2 - 7*w + 21. Let j be m(-9). Suppose 4*o = -0*v - j*v + 207, y = -2*v - 6. Is 9 a factor of o?
True
Suppose 0 = -8*q + 32145 + 3295. Is q a multiple of 26?
False
Let z(l) = 134*l + 2394. Is 23 a factor of z(12)?
True
Let w(h) = 25*h + 181. Let x be w(-7). Suppose -x*g + 317 - 71 = 0. Does 15 divide g?
False
Let k(j) = -244*j**2 + 2*j + 3. Let d be k(2). Let r = -689 - d. Does 21 divide r?
False
Suppose 161*n - 3627271 = -1277315. Is 215 a factor of n?
False
Let a = -21556 + 34057. Is 45 a factor of a?
False
Let o(a) = 5*a - 30. Suppose 17 = 32*q - 31*q. Let k be (-2 - (0 - q)) + -3. Is o(k) a multiple of 15?
True
Let k = -712 + 6327. Is k a multiple of 15?
False
Suppose 0 = -4*s + 158 + 166. Let x = s + -79. Is 4 a factor of 20 - (1*(-1 + 1) + x)?
False
Let n be ((-474)/9 - -4)*-114. Suppose -255*c = -259*c + n. Does 73 divide c?
True
Let l(h) = 4*h**2 + 5*h + 26. Let v be l(7). Let d = v - -28. Is d a multiple of 19?
True
Let h be 1 + 99/(-121) + 97/11. Suppose 6*n - h*n + p = -1183, -5*p = -3*n + 1187. Does 5 divide n?
False
Let n(i) = -40 + 0*i - 19 + 3*i**2 - 4*i + 19. Is n(8) a multiple of 12?
True
Let u be (4 + 2)*1*6/(-18). Does 9 divide 4/(-7) - u*5139/126?
True
Let k be ((-759)/(-77) - 13)*(-7)/2. Is 6 a factor of (-64)/(-3 + k) - -301?
False
Let w(f) = -3*f + 53. Let c be w(14). Suppose c*d - 8*d = 447. Does 21 divide d?
False
Let k = -54 + 154. Suppose -2*s - 2*d = 3*d - 35, -3*s + 2*d = -k. Suppose s*b - 26*b - 680 = 0. Is b a multiple of 12?
False
Suppose g + 316 = w, -1562 = -5*g + 10*g + w. Is 7 a factor of -6 + -1 - (g + 5)?
True
Let z be (24/(-20))/(2/(-510)). Is (z/(-10))/(36/(-240)) a multiple of 34?
True
Let c be -2 + (-3)/(-1) + (-40)/(-2). Let k = c - 21. Suppose -l + 96 + 78 = k. Does 29 divide l?
True
Let b(u) = -54*u - 33 + 19*u + 15*u. Let a be b(11). Let x = -141 - a. Does 8 divide x?
True
Let p(f) = 414*f + 1115. Is p(6) a multiple of 12?
False
Let r(k) = -52*k**3 - 7*k**2 + 20*k + 281. Does 13 divide r(-7)?
False
Suppose -80 = -33*x + 29*x. Suppose -r - 1199 = -3*f - 2*f, -x = 5*r. Let d = f + -119. Is 24 a factor of d?
True
Suppose 998*c = 979*c + 641630. Is c a multiple of 10?
True
Let a(t) = 3*t - 2. Let n be a(2). Does 31 divide -1 + 1946/n + 6/4?
False
Let c = 12 + -17. Let p be (c - 5)/(-2) + -3. Is 40/(-140) - ((-1488)/14 - p) a multiple of 18?
True
Let k = 855 - 975. Is 12*36/k*640/(-6) a multiple of 6?
True
Suppose -17*l + 925 = -42*l. Does 12 divide (-82 - l)*(-16)/5?
True
Let n(f) = 6 + 0*f**3 + 12 - 5*f**3 - 14*f + 10*f**2 + 6*f**3. Is 12 a factor of n(-11)?
False
Suppose -4*x + 6*p + 156394 = 4*p, -5*x + 195512 = 4*p. Is 253 a factor of x?
False
Suppose 2*j - 13 = -5*r, -9*j + 4*r + 16 = -4*j. Let g(u) be the third derivative of u**6/60 - u**5/10 + 5*u**4/12 - 5*u**3/6 - 2*u**2. Is 18 a factor of g(j)?
False
Suppose -8*x - 290 = -2522. Suppose 2*n + 4*y = 1042, n - 4*y = 218 + x. Is 57 a factor of n?
True
Let t = -1963 + 2791. Does 2 divide t?
True
Is 14 a factor of 233848/48 - ((-161)/(-42) - 4)?
True
Let h = 404 - -649. Is h a multiple of 13?
True
Let y be 8 + 659*(1 - 0). Let l be (-25712)/(-10) + 3/(-15). Suppose -y = 7*h - l. Is h a multiple of 13?
False
Suppose 197*l - 5*r = 193*l + 24114, -2*l = 2*r - 12066. Is 5 a factor of l?
False
Suppose 0 = 2*p + z - 5*z - 874, 5*p + 5*z - 2125 = 0. Does 15 divide p?
False
Let f be (-4)/10*11/(44/(-240)). Let u = -44 + f. Let t = u + 124. Is 13 a factor of t?
True
Suppose -37126 = -4*l - 2*v, 517*v - 18569 = -2*l + 514*v. Does 16 divide l?
True
Let a = 47 - 49. Let t be a + (2*-41)/(-1). Suppose -13*u + t = -12*u. Is 10 a factor of u?
True
Let y(r) = -r**3 + 11*r**2 - 19*r - 4. Let a be y(8). Suppose 3*m = -2*i + m + a, 50 = 5*i - 5*m. Is i a multiple of 2?
True
Suppose f - 13 = 4*u, 3*u - 24 = -4*f + f. Is (56/(-10))/(f/(-810)) a multiple of 28?
True
Suppose 3299 - 15269 = -7*r. Let i be (4/(-6))/(20/r). Let u = 73 + i. Does 3 divide u?
False
Let x be (2 - (2 - 8)) + -4. Suppose -154 = -x*h + 34. Suppose -9 + h = z. Is 26 a factor of z?
False
Let t = 93 + -90. Suppose -t*g = -4*g + 43. Does 13 divide g?
False
Is 90 a factor of 6316 - (12*(-2)/3 - -8)?
False
Let f(h) = 5885*h**2 - 475*h - 944. Is f(-2) a multiple of 15?
False
Suppose -134013*p = -134009*p - 51844. Does 186 divide p?
False
Let b(i) be the first derivative of -3*i**5/40 + i**4/3 + 2*i**3/3 - 12. Let s(v) be the third derivative of b(v). Does 7 divide s(-4)?
False
Suppose g - 5*c - 4259 = 0, 0*c = -4*g + 3*c + 17121. Does 119 divide g?
True
Let h(c) = -236*c - 19 + 462*c + 4*c**2 - 206*c. Is h(-12) a multiple of 31?
False
Let u = 94 - 484. Let l = u - -1272. Is l a multiple of 49?
True
Suppose 2454*a - 2088 = -3*f + 2456*a, -a = 6. Is 5 a factor of f?
False
Suppose 233*w - 127*w - 115*w + 324 = 0. Let c = 7 - 5. Let x = w + c. Does 19 divide x?
True
Let h(g) = g**3 + 17*g**2 + 15*g + 240. Is 13 a factor of h(15)?
False
Let i(w) = -w**3 - 111*w**2 + 28*w - 518. Is i(-112) a multiple of 70?
True
Let r = -2837 - -4142. Is 14 a factor of r?
False
Let w(a) = a**3 + 5*a**2 + 6*a. Let i be w(-3). Suppose i = y - 5, -3*q - 4*y + 144 = -530. Is 55 a factor of q?
False
Suppose 64*m + 38*m - 130*m + 19264 = 0. Does 8 divide m?
True
Let v be (-7)/(-3) - (-86)/129. Suppose -4*r + 2*j + 1121 = -v*j, 0 = -2*j - 10. Is r a multiple of 21?
False
Suppose -191*x + 120*x = -97*x + 695760. Is 120 a factor of x?
True
Let q = 5880 + 6709. Does 44 divide q?
False
Suppose 4*a - 4*z = 0, 0 = 2*z - 5 + 1. Let c be 1 - -1 - (a + 38). Let j = c + 87. Is j a multiple of 7?
True
Let f be (-70)/4*(-4)/5. Let j = 98 + -89. Let k = j + f. Does 23 divide k?
True
Is 18 a factor of 42/24 + (-1 - (-60726)/24)?
False
Suppose -m + 0*m + 818 - 242 = 0. Is 37 a factor of m?
False
Let x be 3/((56/1169)/(-8)). Let v = 541 + x. Is v even?
True
Let t = -55 + 59. Suppose -o + 4 = -2*n, 3*n - n = -t*o + 26. Is (137 + o)*(2 + -1) a multiple of 15?
False
Let b = 2870 + -1190. Suppose -23*t = -17*t - b. Is t a multiple of 35?
True
Suppose -l - 2*s + 12 = 0, s + 3*s = 20. Suppose l*f = 13 - 7. Let k(o) = 5*o**3 - 2*o**2 + 4*o - 2. Does 16 divide k(f)?
False
Is 16 a factor of (-96 + 44)/((129/(-64))/1 + 2)?
True
Suppose 5*k - 234 - 34 = 2*a, 5*k - a = 264. Let x = -71 - k. Let m = x - -227. Does 26 divide m?
True
Suppose 0 = -4*r + 3*h - 10, 3 + 1 = -2*h. Let b be (0/(r/(-2)))/4. Suppose 0 = -5*m - j + 483, 0*j + 2*j - 6 = b. Is 21 a factor of m?
False
Let i be (-2)/(-8)*5 + 4/(-16). Let r(x) = -6*x. Let o be r(i). Does 10 divide ((-30)/o)/(1/8)?
True
Suppose o + 2*t + 20 = -2*t, -5 = t. Suppose -3*a - 2195 = -h - 4*h, o = -2*h + a + 878. Is 12 a factor of h?
False
Let r = 194 - -8. Let a be 3/(-1) + (r - 0). Suppose 5*k - a - 66 = -4*x, 0 = -4*x - 4*k + 260. Is 10 a factor of x?
True
Suppose 0 = -2*n + 3*q + 2648, -n - 3*q = -7*q - 1334. Is 11 a factor of n?
False
Let d = 4495 + -3928. Does 14 divide d?
False
Suppose -2 = -c, 3*k + 11*c - 18 = 14*c. Suppose 0 = -7*h + 9*h - k, -3*i = -4*h - 227. Does 5 divide i?
False
Let q = 5276 - 3991. Is q a multiple of 28?
False
Let w(s) = -s**2 - 2*s + 41. Let y(v) = -v + 1. Let k(g) = -w(g) + 5*y(g). Suppose -q = -3*h + 32, -3*q + 48 = 3*h - 0. Is k(h) a multiple of 13?
False
Let b = -164 + 253. Let x = -117 - -72. Let o = b + x. Does 17 divide o?
False
Let i = 1747 + 593. Is i a multiple of 22?
False
Let c(o) = o**2 - 264*o + 246. Is c(-98) a multiple of 106?
True
Suppose 0 = 3*v - 4*w + 6*w - 583, 10 = 2*w. Suppose -2311 = -8*i - v. Is i a multiple of 13?
False
Suppose -5*a - 5*r + 54405 = 0, 7*a = 6*a + 4*r + 10856. Does 13 divide a?
False
Is 15 a factor of 278002/(-679)*(-86 - -2)?
False
Suppose -3*m = 2*z - 3, -50 = -5*z - m + 2*m. Let h(n) = -8 - z - 10*n - 9 + 2*n. Is h(-12) a multiple of 14?
True
Let w(v) = v**3 + 6*v**2 - 16*v + 2. Let r = -88 - -80. Let p be w(r). Is 15 a factor of (p - 26)/(-6) + 71?
True
Suppose -8*q - 5 = -9*q. Let r(b) = 18*b - 7. Let k be r(q). Let w = k - 37. Is 26 a factor of w?
False
Suppose 5*o + 4*b = 177, -15*o - 76 = -17*o + b. Suppose -33*s = -o*s + 788. Is 27 a factor of s?
False
Let a be (8/(-6))/(8/(-36)). Suppose c = 10 - a. Suppose -c*l + 190 + 