 g = p + 477. Does 26 divide g?
False
Suppose 0 = 4*f + 4*m + 8, f - m + 6 = -4*m. Suppose 4*x + 4*x - 1944 = f. Is x a multiple of 27?
True
Suppose -9*l = -5802 - 5691. Suppose -l = -2*j - 137. Does 38 divide j?
True
Suppose -10*n + 47742 + 143528 = 0. Is n a multiple of 16?
False
Let l(m) = -84 + 140 - 50*m - 74. Does 30 divide l(-8)?
False
Let y be ((-2)/(-7) - (-555)/(-1036))*0. Let f = -31 - -133. Suppose 4*r + 3*i - 408 = 0, 0 = r - 2*i - f - y. Does 17 divide r?
True
Suppose 28*k = 363082 + 171830. Is k a multiple of 8?
True
Let d(u) = 4*u**2 + 7*u - 751. Is d(-80) a multiple of 24?
False
Let y = 38638 + -22818. Suppose -26*q + y = -92. Does 68 divide q?
True
Let s(v) = 324*v - 1184. Is 20 a factor of s(21)?
True
Let m(q) = 3*q**2 + q - 5. Let b be m(-12). Let d be (b/15)/(3/18). Suppose 5*p - 551 + d = 0. Is p a multiple of 17?
False
Let d(c) = 32*c + 39. Let n be d(6). Suppose y + r = 5*r + 87, 3*y - n = 2*r. Is 2 a factor of y?
False
Let c = -80 + 81. Let d be 2/c*1*2. Suppose -d*q - q = 2*l - 1176, q - 249 = -5*l. Does 9 divide q?
True
Suppose -3*q - 2172 = -4*l, -5*q = -q. Let a = l - 283. Suppose -9*d = -4*d - a. Does 12 divide d?
False
Suppose 2659752 = -72*n + 318*n. Is 53 a factor of n?
True
Suppose -210*m + 209*m + 2*x = -1733, 5*m = -4*x + 8623. Does 157 divide m?
True
Let v(r) = 797*r + 4068. Is v(45) a multiple of 17?
True
Let d be (-3)/9*0*1/4. Let p be (4 - d)/(-8 + 6). Is ((-30)/(-8) + -5)/(p/8) a multiple of 3?
False
Let v be 667595/35 - (-2)/(-14). Suppose -18*g = 16*g - v. Does 51 divide g?
True
Suppose 0 = 5*m + 2*s + 1462, 291 = m - 2*m + s. Let d = 522 + m. Is 5 a factor of d?
True
Suppose -389 = -5*a - 29. Suppose -6*b - 6 = 0, 5*c - 364 = -2*b + b. Let v = a + c. Is 30 a factor of v?
False
Let f = 1147 - 751. Suppose f = 270*l - 268*l. Does 22 divide l?
True
Suppose -f - 8973 = -4*g + 1485, 4*g + 3*f = 10450. Suppose 10*h - 8 = 14*h, -g = -3*t + 5*h. Is 14 a factor of t?
True
Let o = 109 + -286. Suppose -2*w + 3*w = 4. Is 15 a factor of (-42)/(-56) - o/w?
True
Let q = -3677 - -4197. Is q a multiple of 24?
False
Let s(n) = n**2 + 7*n + 350. Let t be s(0). Suppose -262 = -4*u + t. Does 21 divide u?
False
Let o = -494 + 497. Suppose -w + 48 = i - 10, 0 = -o*w - i + 178. Does 15 divide w?
True
Is 7 + (-6 - 117820/(-20)) a multiple of 20?
False
Suppose 0 = 3*p + v - 95 - 199, 3*p = -2*v + 291. Is p a multiple of 4?
False
Let w(a) = 5556*a**2 - 104*a + 111. Is 51 a factor of w(1)?
False
Let z(b) = -b**3 + 9*b**2 - 8*b + 13. Let u be z(7). Let q = 83 - u. Is 8 a factor of q?
False
Let k = -56 - -47. Let m(x) = 2*x**2 + 16*x - 11. Let t(h) = 2*h**2 + 17*h - 12. Let f(j) = 5*m(j) - 4*t(j). Does 18 divide f(k)?
False
Let w(u) = 4*u**2 - 3*u + 168. Let n be 0/(4/(-18) - (-60)/27). Is w(n) a multiple of 56?
True
Suppose -5*n = -3*p - 1 - 22, -2*n - 4 = p. Does 67 divide -3 + (p - (-541 - 4))?
True
Suppose 0 = 2*l + j + 8, -3*l = 2*j + 7 + 3. Let u be ((-7)/((-21)/10))/(l/(-9)). Suppose 3*t - 1043 = -5*z - 176, u*z = -5*t + 1435. Is t a multiple of 36?
False
Let d(y) = 8*y**2 - 5*y + 20. Let w(s) = s**2 - s + 2. Let o(m) = 5*d(m) - 35*w(m). Does 10 divide o(-8)?
True
Suppose 6*i + 4*a + 48285 = 9*i, -i - a = -16109. Does 48 divide i?
False
Let o be (8/(-2))/4 - (-5 - -2). Suppose -7*p - 91 = q - 5*p, o*p + 463 = -5*q. Is 4*4/(-24)*q a multiple of 16?
False
Does 41 divide 252/(-42)*1066/(-3)?
True
Suppose 0*k - 413316 = k - 55*k. Is k a multiple of 86?
True
Let x = 24 + 49. Suppose -k + x = -5*c, -c - 104 = -3*k + 171. Suppose -2*g + k = 17. Is 9 a factor of g?
False
Suppose 73*l = i + 77*l - 1196, 5*i = -l + 5904. Does 19 divide i?
False
Let n be 50/(-4)*(-7068)/95. Suppose 0 = -4*d - 2*m + n, 6*m = 5*m + 3. Is 33 a factor of d?
True
Suppose -944 = -5*o + 2*g, -5*g + 39 = 4*o - 736. Suppose 182 = 3*z + n, 2*z + 5*n - o = -z. Does 4 divide z?
True
Suppose 2*y = 5*b - 35 - 195, 5*y + 201 = 4*b. Suppose b*i = 39*i + 3125. Is 25 a factor of i?
True
Let q be (148/12)/1*-3. Suppose -89*p - 38 = -87*p. Let l = p - q. Does 17 divide l?
False
Suppose 0 = 339*k - 383*k + 190080. Does 40 divide k?
True
Let z(q) = -q - 149. Let o(d) = 3*d + 5*d - 10*d + d. Let j(h) = 5*o(h) - z(h). Is 47 a factor of j(0)?
False
Suppose -f = 13*x - 8*x - 58394, 3*x = -5*f + 35032. Is x a multiple of 36?
False
Suppose 0 = -2*j + 3*i + 3141, 0 = 3*j + 3*j - 3*i - 9453. Is j a multiple of 6?
True
Let p be -177 + 5*(-36)/30. Let b = p + 421. Is 13 a factor of b?
False
Let o(g) = 2*g**3 + 57*g**2 + 19*g + 38. Suppose 32*q = 31*q - 28. Does 5 divide o(q)?
True
Let g(u) = -u + 58. Let j be g(22). Suppose j*w - 256 = 32*w. Is 8 a factor of w?
True
Suppose 4*k = 4*z + 17 + 7, -k = z. Let g be -4 + (z + 37)*6. Suppose 5*t - 135 = g. Is t a multiple of 12?
False
Let i be -2336 - -21 - (-3)/(-1 + -2). Let h = 3254 + i. Is h a multiple of 45?
False
Suppose 4*i - 5*i + 6907 = -2*y, 6*y - 20697 = -3*i. Does 5 divide i?
False
Let k(g) = 106*g**2 + 102*g - 662. Is k(6) a multiple of 14?
True
Let s = 15927 + -10107. Is s a multiple of 20?
True
Let l(o) = -435*o - 60. Does 7 divide l(-4)?
True
Let k(y) = 10*y + 4. Let m be k(2). Is (m - 9)*3*5 a multiple of 9?
True
Suppose 8*c - 5*p + 6 = 12*c, 0 = c + 2*p. Is (1052/6 + c)*3 a multiple of 10?
False
Let s(t) = 2*t**2 + 9*t + 10. Let f be s(-1). Does 14 divide f/(-6) - (-2)/4*197?
True
Let i(d) = 11*d**3 - 4*d**2 - 7*d - 16. Let v be i(-3). Let u = 845 + v. Does 47 divide u?
True
Is 318 a factor of (26 - 715/26)*(-10390 + 2)?
True
Let f(l) = -4 + 51*l**2 - 22*l**2 + 3. Suppose -8*t = -7 - 1. Does 13 divide f(t)?
False
Suppose -15 + 3 = -6*x. Let c(f) = -8 + 73 + 7*f - 4*f + f**x + 40. Does 21 divide c(0)?
True
Let o = 22 - 16. Suppose -5*r + o = 16. Let q(k) = 5*k**2 - 5*k - 3. Does 5 divide q(r)?
False
Let g = 83 - 43. Suppose 8*i = 6*i - g. Let u = i - -107. Does 15 divide u?
False
Suppose -4*s = 4*x - 292, -2*s - 337 = -7*s + 2*x. Let n = s + 27. Does 3 divide n?
True
Let x be 707733/(-78)*-2*1. Is 1*2/(-18) + x/27 a multiple of 48?
True
Suppose 0 = -443*g + 401*g + 220248. Is g a multiple of 12?
True
Suppose 3851*i = 3858*i - 19838. Does 3 divide i?
False
Let f(r) = r**3 - r**2 - r - 19. Let w be f(0). Let a(q) = -13 - 11 - 2*q**3 - 17*q - q**2 + 19*q**2 + 3*q**3 - 4*q. Is 8 a factor of a(w)?
False
Suppose -9*v - 568 - 233 = 0. Let o = -21 - v. Let r = o - -155. Is r a multiple of 31?
False
Let b be (-2)/(-6) - 85/(-15). Let f = b - 4. Suppose 0*d = -f*d + 2, -2*d = 5*l - 182. Does 12 divide l?
True
Suppose 20 = -5*u + 2*r, 9 = -5*u + 4*r - 21. Let j(b) = -3*b - 10. Let x be j(u). Let z(d) = -12*d + 6. Is z(x) a multiple of 9?
True
Suppose -123495*p + 316550 = -123482*p. Does 217 divide p?
False
Does 29 divide 18/51 - (-3882249)/357?
True
Suppose -2*j - 18 = -5*j. Let r(m) = -229*m**3 - 4*m - 66 - 10*m**2 + 231*m**3 + 63 + 2*m**2. Does 13 divide r(j)?
True
Suppose 199383 = 44*d + 152353 - 394378. Does 132 divide d?
True
Let p be (2 - ((-8)/(-4))/1)/3. Suppose x + x - 116 = p. Let c = 38 + x. Does 16 divide c?
True
Suppose 141 = 2*b - 659. Let s = -1839 + 1843. Suppose b = o + s*o. Is 17 a factor of o?
False
Suppose 0 = 36*d - 100*d + 11264. Is 4 a factor of d?
True
Let r = -17 - -20. Suppose 0 = 4*v + 4*i - 52, -5*i + 19 = r*v - 7*i. Suppose -v = -3*p + 3*y, -5*p = y - 20 - 13. Does 5 divide p?
False
Let k = -1181 + 2441. Is 42 a factor of k?
True
Let m(o) = 14*o**2 - 34*o. Let v be m(-7). Suppose -194 + v = 5*f. Suppose -4*n + 14 = c, -4*c + 4*n = -f + 30. Is 14 a factor of c?
False
Let c = -9245 + 9350. Let z = -38 + 80. Suppose 7*i - c = z. Does 10 divide i?
False
Let g(y) = 36*y - 6. Let h(v) = -v**2 + 8*v - 5. Let i be h(4). Let w(z) = -z**3 + 10*z**2 + 10*z + 14. Let o be w(i). Is 23 a factor of g(o)?
False
Let f be 8730/(-48) + (-3)/24 + 0. Let q = f + 871. Is 13 a factor of q?
True
Let x = 51 - 9. Does 21 divide x/(-252) + (-883)/(-6)?
True
Suppose -7*o + 579 + 926 = 0. Let i = o + -87. Is i a multiple of 4?
True
Let w = -18639 - -20121. Does 39 divide w?
True
Suppose -6430 = -5*q + 3*o + 8126, 12 = 4*o. Is 3 a factor of q?
True
Let x(m) = -25*m - 35. Let k be x(-19). Suppose 4*q = 3*s + 912, 0 = 5*q + 3*s - 1553 + k. Does 15 divide q?
True
Suppose 3*a + 101 - 1106 = 0. Let j = a - 322. Is 13 a factor of j?
T