 of 14?
True
Suppose 38*a - 45*a = -21. Suppose -d + 9 + a = 0. Does 11 divide d?
False
Suppose 7*o - 15*o + 6200 = -2968. Does 7 divide o?
False
Let g = 13045 + 295. Is g a multiple of 116?
True
Suppose 9*p - 52 = -88. Let u be (1 + 2)/((-9)/6). Is 5 a factor of (5 + 33)/(p/u)*1?
False
Suppose 0 = 2*z + 4*d - 260, -3*z + 551 = -d + 126. Let w be z/20*31/1. Suppose 0 = -5*y + 7 + 13, 0 = -5*u + 2*y + w. Is u a multiple of 15?
True
Let j(o) = -14*o - 1. Let h(m) = -m**2 - 29*m - 2. Let d(i) = -2*h(i) + 5*j(i). Let q be d(6). Does 49 divide (-22*3)/(q + 0)?
False
Suppose -2*h = -3*r + 1484 + 1277, -4627 = -5*r - 3*h. Let n = -183 + r. Does 10 divide n?
True
Suppose 13*k = 16*k - 30. Let w(d) = d**3 - 7*d**2 - 12*d + 43. Is w(k) a multiple of 21?
False
Let u = 163 - 1507. Let t = -915 - u. Does 39 divide t?
True
Suppose 0 = 19*f + 17*f + 936. Let s(h) = -45*h - 162. Does 14 divide s(f)?
True
Let b(i) be the first derivative of i**3/3 - 3*i**2 - 4*i + 6. Let z be b(7). Suppose 2*q - 4*t + 28 = z*q, 10 = 2*t. Is 4 a factor of q?
True
Suppose 219*p + 4*j - 25529 = 214*p, 0 = 2*p + 4*j - 10214. Does 236 divide p?
False
Suppose 43*l - 39*l = -3*v + 6938, -v = -3*l - 2304. Is v a multiple of 5?
True
Let c = -133 - -142. Let o be ((-822)/54)/1 + 2/c. Let j(s) = s**2 + 11*s - 25. Is 5 a factor of j(o)?
True
Let g = 624 + -323. Suppose -c - 3*u - 81 = 0, -46 + g = -3*c - 5*u. Is 38 a factor of (16/12)/(1 + 88/c)?
False
Suppose 28754 = 5*f - d, -13*f + 17*f + d = 22996. Does 25 divide f?
True
Let v(m) = 86*m**2 - 72*m - 54. Is 66 a factor of v(15)?
True
Let p = -1299 - -2150. Suppose -2*i - 81 = -p. Does 35 divide i?
True
Let p(d) = 19*d + 19. Let c be p(-14). Let q be -2 + -2 + 2 - c. Suppose -2*s = 5 - q. Does 20 divide s?
True
Suppose -40 = -d - s, d - 3*s = -3*d + 174. Suppose -2*p + d = p. Suppose 0*r + 3*r - 2*z = 20, -4*z = 3*r - p. Is r a multiple of 2?
True
Suppose -5*f = 20, -3233*f + 9644 = j - 3231*f. Is j a multiple of 56?
False
Let y(x) = -1438*x**3 + 5*x**2 + 29*x + 54. Is y(-2) a multiple of 64?
True
Let l(m) = m**2 + 9*m - 1. Let n be l(-4). Suppose 22*s - 204 = 28*s. Let x = n - s. Is 2 a factor of x?
False
Is (-427 + 59)*18/(-3) a multiple of 24?
True
Let w = 13242 - 8536. Is 63 a factor of w?
False
Let d be (2 + 3)*(88/10 - -2). Let k = d - -3. Is k a multiple of 19?
True
Suppose -3*b = -q + 4, -b - 6*q = -q - 20. Is 26 a factor of (-2 + b)/(3/852*-4)?
False
Let f(a) = 5955*a + 3000. Is 15 a factor of f(3)?
True
Let w(t) be the first derivative of -4*t**2 + 51*t + 25. Does 33 divide w(-6)?
True
Suppose -22 = -2*i - 2*r, -3*i + 3*r + 28 + 29 = 0. Is i + 12*(-2)/(-4) a multiple of 7?
True
Suppose 5*v - 32 = f, 5*v + f = 5*f + 38. Let w be (52/v)/(2/(-9)). Let j = 87 + w. Is j a multiple of 12?
True
Suppose 24*w - 19*w - 125 = 0. Suppose v - 1042 = -5*c, -21*v + w*v - 1048 = -5*c. Does 16 divide c?
True
Is 99/((-1)/40*(595/(-34) - -16)) a multiple of 20?
True
Suppose 3342 = -6*a + 11*a + 2*g, 2*a = 4*g + 1308. Is 9 a factor of a?
True
Let s be (-3)/((-4)/((-16)/(-4))). Let y(a) = 0*a**s - 16 - 29*a - 2*a**3 + 6*a**3 - 10*a**2 - 3*a**3. Is y(13) a multiple of 20?
False
Suppose 0 = -4*d - 4*i - 2316, 16*d - 13*d + i = -1731. Let l = d - -618. Is l a multiple of 3?
True
Suppose -17*k - 369 - 430 = 0. Let r = k + 346. Is 44 a factor of r?
False
Suppose -19*t + 60 = -14*t. Let n be 47/3 + t/(-18). Is (6/n)/((-6)/(-1380)) a multiple of 8?
False
Suppose -35*b = 4*o - 40*b - 131049, 0 = 3*o + b - 98301. Is o a multiple of 129?
True
Let c = -123 + 125. Let w(p) = -7*p**2 + 7*p + 5*p**3 + 2 - 10*p**c - 3*p**3 + 15*p**2. Is w(5) a multiple of 10?
False
Let g(o) = 2*o**2 - 18*o + 28. Let r be (-70)/(-6) + 2/6. Let u be g(r). Let b = 148 - u. Does 24 divide b?
True
Let f(i) = 10*i**2 - 22*i + 8. Let a(r) = 9*r**2 - 21*r + 7. Let k(q) = 6*a(q) - 5*f(q). Is 6 a factor of k(8)?
False
Let i(b) = b + 7. Let v be i(-11). Is (305 - (-4)/v) + -3 a multiple of 7?
True
Let s = -666 + 1118. Suppose 0 = s*m - 457*m + 2160. Is 15 a factor of m?
False
Let p(s) = -s**2 - 8*s - 5. Let o be p(-7). Suppose -o*k + 22 = 4*w, w - 2*k = 4*w - 17. Is 1*w/(10/296) a multiple of 37?
True
Is 46 a factor of (187/17 - (5685 - 3))*6/(-2)?
False
Does 44 divide (11 - (-150)/5)*(49 + -2)?
False
Suppose -4*w - 56 = -3*g, 5*g - 3*g - 14 = -2*w. Let p be (-22)/(-6) + 4/g. Suppose 528 = p*n - 5*j, n - 17 = -j + 124. Does 17 divide n?
False
Let j(u) = -u**3 + 19*u**2 - 32*u - 18. Let d be j(17). Let i be (-140)/(-21) + -6 - d/(-3). Does 12 divide 339*1/i*2?
False
Suppose 2*s = 10, 4*j + 3*s - 2138 = -147. Is j a multiple of 77?
False
Let q = -2643 - -3265. Is q a multiple of 11?
False
Let q(u) = 3*u**3 - 9*u**2 - 7*u + 12. Let t be q(8). Let a = -534 + t. Is a a multiple of 14?
False
Let j be ((-6)/(-5)*-1)/(6/(-15)). Suppose 4*o - 2 = 3*m, j*o + 1 = 2*m - 2*o. Is (-2)/((-40)/126 + m/(-9)) a multiple of 8?
False
Suppose -30 = -0*g - 2*g. Suppose b - 3*t - g = -0*b, -4*b - 3*t + 75 = 0. Let n = b - 14. Is n a multiple of 2?
True
Let i(j) = -15*j**2 - 4*j - 26. Let m be i(6). Let a = -314 - m. Is 23 a factor of a?
True
Let a(d) = 2*d**3 - 14*d**2 - 31*d - 225. Does 15 divide a(23)?
True
Suppose 59578 + 33630 = 8*p. Suppose 0 = -22*a + p - 3511. Is 46 a factor of a?
False
Suppose 0 = -b + 4, -u - 3*u = -2*b - 540. Let c = u - 87. Is c a multiple of 7?
False
Suppose -2*d - j = -2*j + 222, -238 = 2*d + 3*j. Let b(i) = 27*i**3 - 5*i**2 + i + 6. Let w be b(2). Let z = w + d. Does 5 divide z?
False
Suppose -2678*r - 105080 = -2683*r. Is r a multiple of 148?
True
Suppose -15340 = 1089*p - 1099*p. Is 118 a factor of p?
True
Suppose -2*x + 0*g + 37 = 5*g, 2*x = 4*g + 64. Suppose x*p - 1110 = 21*p. Is 37 a factor of p?
True
Is ((-64)/(-6))/(2/180) a multiple of 10?
True
Is 21 a factor of (181/(-2))/(-31 - (-356454)/11500)?
False
Let v = -56 - -62. Let m be (4/v)/((-1)/((-117)/(-6))). Is 42 a factor of (-2182)/m + (-10)/325*-5?
True
Let r(q) = 34*q**2 - 153*q + 1811. Does 7 divide r(11)?
True
Let t = -3717 - -48620. Is 252 a factor of t?
False
Let c(n) = n**2 - 307*n + 264. Is 96 a factor of c(-72)?
True
Let z = 18 - 15. Suppose 922 = z*l + 283. Suppose 18*b = 15*b + l. Is b a multiple of 30?
False
Let u(g) = g - 3. Let v be u(7). Suppose v*j - 6*j = -4*x + 646, 4*x - 642 = -2*j. Is x a multiple of 32?
False
Let v = -406 + 550. Suppose 6*h - v - 300 = 0. Is h a multiple of 2?
True
Does 152 divide 8056 - (-29 - -9)/4?
False
Suppose -95*u + 43*u + 180180 = 0. Does 33 divide u?
True
Suppose 2*p - 4*b - 994 = 0, 2*p - 2*b - 828 = 152. Does 9 divide p?
False
Let f(b) = b**2 + 8*b - 31. Let h be f(4). Is (18 - h)/((-2)/(-204)) a multiple of 34?
True
Let o = 345 - 321. Is 3 a factor of 82/14 + o/168 - -1?
False
Suppose 150*g - 166*g = -103*g + 2603997. Does 37 divide g?
False
Suppose -x + 7 = -3*i, -2*i + 10 = x + 2*x. Suppose -347 = -x*r - 5*j, -5*r - j = -690 + 272. Is 36 a factor of (-2)/(165/r - 2)?
False
Suppose -3*o - 71460 = -5*v - 20135, 5*v - 51330 = 2*o. Does 43 divide v?
False
Let k(b) = -b + 12. Let g be k(1). Suppose -s - i = -g - 10, 0 = -3*s + 4*i + 49. Does 12 divide s?
False
Let w = -15 + 0. Let j(g) = g**2 + 19*g + 21. Let u be j(w). Does 12 divide 4/26 + (-462)/u?
True
Let m(n) = -11*n - 41. Let s be m(14). Is (3241/3 - 2) + (-130)/s a multiple of 13?
True
Let x(o) = 57*o**2 + 28*o + 20. Is 25 a factor of x(10)?
True
Suppose -7*g + 2*k + 3100 = -12*g, 0 = g + 4*k + 638. Let n = g + 1397. Is n a multiple of 41?
True
Does 26 divide 5 + (-4 + 2)*(-15230)/4?
False
Let p be (-80)/(-36) - (-6)/(-27) - 3. Let n be (-4 + 1 - 16)/p. Suppose -21*g = -n*g - 182. Does 13 divide g?
True
Let k(p) = p**3 + 61*p**2 + 490*p + 11. Is 102 a factor of k(-44)?
False
Let k = 1185 + 4530. Is 117 a factor of k?
False
Suppose 15*b - 10*b = -4*x + 24330, 2*x = -2*b + 12162. Is x a multiple of 104?
False
Let g be 3 + -9 + (173 - -8). Let t = g + -129. Is 2 a factor of t?
True
Let l(f) = -6*f**2 - 11*f + 13. Let s(q) = -14*q**2 - 24*q + 27. Let w(g) = 9*l(g) - 4*s(g). Does 9 divide w(4)?
False
Suppose -6*w + 5*w + 869 = 3*c, -5*c = 3*w - 2595. Is 10 a factor of w?
True
Let u(d) = -6*d + 1. Let k be u(0). Let y be (k - -4) + -6 + 157. Suppose -5*m = -y + 31. Is 25 a factor of m?
True
Let h = 7770 - 3088. Is h a m