 -3. Suppose 3*a - 6 = 5*i, 4 = 2*a + y*i - 0. Does 11 divide a - (-29 + -3 + 1)?
True
Suppose 4*f + 3 = 4*a - 5, -f + 16 = 5*a. Suppose -r - 15 = a*j, 0 = 5*r - 0*j + 5*j + 25. Let s(n) = -n + 10. Is 3 a factor of s(r)?
False
Let b(m) = -71*m - 3. Suppose -5*x - 5 = 5. Is b(x) a multiple of 17?
False
Let g(f) = 3*f**2 - 7*f + 18. Is g(15) a multiple of 49?
True
Is 19 a factor of 0 + ((-2)/(-10) - 5448/(-60))?
False
Suppose 4*t = 3*f - 2080, -21*t + 22*t = 5. Is f a multiple of 40?
False
Let y = 134 + 66. Is y a multiple of 25?
True
Let t(v) = -17*v + 15. Let w(h) = -4*h + 4. Let n(f) = 6*t(f) - 22*w(f). Let r be n(-5). Suppose -r - 112 = -4*p. Does 18 divide p?
False
Let z = 136 - -4. Is 7 a factor of z?
True
Let n = -2 - -4. Suppose 2*m - 14 = -2*c, -n*m + m + 4*c + 2 = 0. Is m a multiple of 6?
True
Suppose -4*i = -18 - 98. Suppose -i*k = -27*k - 28. Does 3 divide k?
False
Suppose 0 = 3*m + 2801 - 39971. Is (-6)/(-39) + m/78 a multiple of 53?
True
Let j(z) = -z**3 - 5*z**2 - 8*z - 14. Let x be j(-4). Suppose -10 = -x*b + 12. Is b a multiple of 7?
False
Let r(o) be the second derivative of 68*o**3/3 + o**2/2 - 12*o. Is 20 a factor of r(1)?
False
Let a(m) = -2*m**2 - 23*m + 8. Let q(o) = -3*o**2 - 24*o + 8. Let z(i) = -4*a(i) + 3*q(i). Is z(19) a multiple of 5?
False
Let p = 2422 + 1013. Does 75 divide p?
False
Is (-12)/(-6) - (-6855)/15 a multiple of 11?
False
Let l(m) = -m + 0*m + 30 + 4*m**2 + 3*m**2 - 6*m**2. Let s be l(0). Suppose -2*b + 3*b = s. Does 10 divide b?
True
Suppose -o = -4*o + 222. Suppose 0*j + 6 = g + 3*j, -5*g + o = 4*j. Does 6 divide g?
True
Let n be (2/(-12) + (-63)/27)*-2. Suppose -5*f + 170 = 4*o, 160 = n*f + 6*o - 4*o. Is f a multiple of 8?
False
Suppose s - 7 = -5*g - 0*s, -4*s = -3*g + 18. Suppose 4 = 4*m, -g*u + 3*m + 0 = -29. Is u a multiple of 6?
False
Suppose 4*t - 52 = -3*z + 2*z, 2*z - 116 = -4*t. Is z a multiple of 8?
True
Suppose -5*d = 5*f + 25, -2*d - 7 = -3*d + 3*f. Let n be -2 + d*(-4)/(-1). Is (90/n)/((-6)/16) a multiple of 12?
True
Let w(x) = -1 - 2*x + 8*x + x**2 - 3. Let h be w(-10). Suppose p - h = -p. Is p a multiple of 9?
True
Let x = 25 - 28. Let z(s) be the second derivative of 5*s**4/12 - 2*s**3/3 - 2*s**2 + 2*s. Does 14 divide z(x)?
False
Does 17 divide (3 - -3) + -7 + 188?
True
Does 28 divide (-24)/(-16)*-6 - -317?
True
Let a(m) = m**2 + 11*m - 224. Does 11 divide a(-24)?
True
Let z be 4/(-10) + 174/(-15). Let i(c) = c - 9. Let p be i(4). Does 16 divide z/p*(-160)/(-12)?
True
Suppose 2*g - 345 = -g. Suppose 0 = -3*r - 12, -3*p - r - r + g = 0. Is p a multiple of 18?
False
Let d(b) = -b**3 + b**2 - 2*b + 1. Let a be d(-2). Suppose 5*n - 1 = -2*c + c, -5*n + a = -3*c. Is c/6 + 620/30 a multiple of 20?
True
Is (2192/(-24))/((-2)/12) a multiple of 17?
False
Let o(j) = j**3 - 2*j**2 - 6*j + 6. Suppose -2 = -5*h - 27. Let r be o(h). Let g = -71 - r. Is 14 a factor of g?
False
Let i = 7 + 149. Let s = -91 + i. Does 17 divide s?
False
Let q(n) = n**2 - 3*n - 8. Let o be q(5). Suppose 5*k - 45 = o*k. Suppose 3*i - i - 54 = -2*v, -3*i + k = 0. Does 11 divide v?
True
Let j be 10/(-3)*(-9)/6. Suppose -14 + j = -3*h. Suppose -h*p - 131 = -6*p - g, 25 = 5*g. Is 14 a factor of p?
True
Suppose 2*a + f - 1345 = 0, -4 + 9 = 5*f. Does 24 divide a?
True
Is 124 a factor of ((-255)/30)/(-17) - (-10894)/4?
False
Suppose 2*o = 3*p + 4010 + 796, -5*o + 11990 = 5*p. Does 60 divide o?
True
Suppose -14*z + 5*z + 108 = 0. Is (40/z - -3)*12 a multiple of 5?
False
Suppose 79*y - 30976 + 6091 = 0. Is y a multiple of 15?
True
Let t be 20/((-5 + 4)*1). Does 18 divide -2*726/t + 3/(-5)?
True
Let b be 2 - 8/(3 + 1). Let u be b*(2/4)/1. Does 7 divide 14 + -5 + (u - -4)?
False
Suppose -252 = -2*o - 2*o - f, -3*o = -5*f - 189. Let y = 31 + o. Is 16 a factor of y?
False
Does 17 divide 1232/24*1/(2/15)?
False
Suppose 0 = -3*l - 15*l + 5832. Suppose 0 = -g - 3*g + l. Is 27 a factor of g?
True
Let w = 28 + -23. Suppose 2*k - 4*k = -w*x - 19, 5*k + 2*x = 91. Is 17 a factor of k?
True
Let w(a) = -11*a**2 - 2*a - 4. Let b(f) = f**3 + f**2 + 1. Suppose -3*p - 4*o = 1, 5*p - 6 = o - 0. Let z(i) = p*w(i) + b(i). Is 21 a factor of z(11)?
False
Suppose 14*y + 152 = 4268. Does 3 divide y?
True
Suppose -1 = l - 6. Suppose -2*z - 2*x + 76 = -l*x, 4*x + 152 = 4*z. Let g = z + -22. Is 16 a factor of g?
True
Let o be (-3)/4 + (-180)/16. Let q(g) = -g**3 - 12*g**2 - g - 11. Let v be q(o). Suppose j - v = 31. Is j a multiple of 8?
True
Let b(w) = -w**2 + 19*w - 22. Let a be b(17). Let m be a/9*27/12. Suppose -m*o = -o - 18. Is o a multiple of 4?
False
Let p(f) = 3*f**3 + f**2 + 4*f + 6. Is p(3) a multiple of 3?
True
Suppose 431*n - 1377 = 434*n. Is 1*(n/(-15) - (-6)/15) a multiple of 5?
False
Suppose -48*k = -50*k - 3*f + 1801, 2*k + 5*f - 1803 = 0. Is 14 a factor of k?
False
Let g(w) = 439*w**2 + 8*w - 6. Is g(1) a multiple of 13?
False
Suppose -5*x + 3335 = 5*d, -23*x + 2013 = -20*x - 3*d. Is 27 a factor of x?
False
Let b(y) be the third derivative of 47*y**6/40 + y**3/6 - 6*y**2. Let r be b(-1). Is (r/(-8))/(3/6) a multiple of 7?
True
Let h = -9 + -4. Is 8 a factor of 4/6*(-624)/h?
True
Suppose -6*x = -7*x + 129. Suppose -4*p + 92 = -z - x, 79 = p - 5*z. Does 6 divide p?
True
Suppose -43 = -d + 2*p, 5*d - 7*d + 86 = 5*p. Let f = d + -31. Does 6 divide f?
True
Is (-48700)/(-225) + (-8)/18 a multiple of 72?
True
Does 35 divide (2519 - -3) + 46 + -48?
True
Let v be (10 - (3 - 2)) + (6 - 8). Suppose v*i - 10*i = -144. Is i a multiple of 9?
False
Let i(g) = -20 - 25 - 5*g + 42. Is 6 a factor of i(-2)?
False
Let t(f) = -166 + 85 + 77 + 18*f. Suppose 3*k + 2 = 4*k. Is t(k) a multiple of 7?
False
Let c(m) = -2*m**2 + 3*m + 1114. Let t be c(0). Suppose 5*h - 2*w = t, -11*h - w = -10*h - 227. Does 14 divide h?
True
Let x(k) = -345*k + 8. Is x(-4) a multiple of 52?
False
Is 24 a factor of (-3554)/(-4) + (-1)/2?
True
Let s = 24 + 19. Suppose 0 = -2*i - 3*r + 95 + s, -4*i + 280 = 5*r. Is i a multiple of 10?
False
Let w be ((-14)/(-5))/((-18)/(-1350)). Suppose -w = 5*b - 8*b. Is b a multiple of 10?
True
Suppose 0 = -27*h + 3*h + 1488. Suppose 0 = -5*o - 219 + 64. Let f = h + o. Is 13 a factor of f?
False
Suppose -75*h = -8802 - 4398. Does 11 divide h?
True
Let d = 24 + -24. Is 25 a factor of (d - (-500)/5)*1?
True
Suppose -33 = j - 0*j. Suppose -5*s + 0*y = 2*y + 222, 5*y = 3*s + 158. Let u = j - s. Is 13 a factor of u?
True
Suppose 4*z = -1 + 9. Suppose -z*q + k + 56 = -2*k, 2*k = -q + 42. Is q a multiple of 17?
True
Suppose 0 = -l - i + 536, -505 = 3*l + i - 2105. Is 14 a factor of l?
True
Suppose 0 = 3*u - 12, -a + 6*a + 7 = -2*u. Is (216/(-21))/(-4)*(-14)/a a multiple of 12?
True
Let w be (15/(-9))/(3/(-36)). Suppose -b + 75 = -w. Suppose -5*g - 5 = -b. Does 18 divide g?
True
Suppose 2*t + 12 = -2*t, f - 2*t + 81 = 0. Let h = f - -129. Let g = h - -28. Does 24 divide g?
False
Let d(n) = n**3 + 17*n**2 - 42*n - 33. Let v be d(-19). Let l = -17 + v. Is 5 a factor of l?
False
Suppose 0 = i - 5*i. Suppose i = 2*u - 5*v - 10, 0 = -0*u + 2*u - 4*v - 10. Suppose 150 = u*s - 35. Is s a multiple of 8?
False
Let f be (-6)/27 - 356/18. Let r = -8 - f. Is r a multiple of 6?
True
Let b(j) = j**3 - 5*j**2 + 6*j - 2. Let d be b(6). Let c = -119 + d. Let h = -1 - c. Is 16 a factor of h?
True
Let q = -78 - -74. Does 9 divide 1767/12 + q/16?
False
Suppose s + 4*q - 241 = -4*s, 3*q = 12. Does 9 divide s?
True
Let q(n) = 8*n + 26. Let i be q(-13). Let u be (1*-4)/((-3)/(-36)). Let c = u - i. Is c a multiple of 17?
False
Let u = -24 - -21. Let z = u + 6. Suppose -z*p + 47 + 43 = 0. Is p a multiple of 10?
True
Let s be (-6)/((-6 - -3) + 1). Let d be 56/21*s/2. Suppose 0*g - 5*g = -3*h + 51, -4*h + d*g + 76 = 0. Does 3 divide h?
False
Let b be (297 - 0)/3 - 3. Suppose -3*g = -78 - b. Let n = g + -38. Is n a multiple of 9?
False
Let t = 7 - 3. Suppose 0 = t*h - 2*d - 50, -5*d - 20 = -d. Suppose -145 = -h*u + 5*u - 5*a, -5*a + 46 = 2*u. Is u a multiple of 11?
True
Let s = -1955 - -2747. Does 44 divide s?
True
Does 7 divide (378/(-8))/((-30)/120)?
True
Suppose -2*h + 23 + 9 = 0. Suppose h*x - 80 = 11*x. Is x a multiple of 6?
False
Let q be 45*3 - (8 - 7). Suppose q = 3*k - 106. Is k a multiple of 24?
False
Let n(f) = 11*f**3 - 11*f**2 - 2*f - 16. Let c(y) = -5*y**3 + 5*y**2 + y 