 Does 24 divide f?
False
Suppose 5*i = 2*i. Let f(b) = b**2 + 2. Let k be f(i). Suppose k*t - 2*g = 22 + 66, 5*t - g - 212 = 0. Is t a multiple of 16?
False
Let j = -15 - 85. Does 16 divide ((-2)/4)/(1/j)?
False
Let l be (3/(-1))/(1 + -4 + 2). Suppose b = -3*m + 2*b + 447, l*b = -m + 159. Is 30 a factor of m?
True
Suppose -3*x = 110 + 58. Let b = -29 - x. Does 9 divide b?
True
Let s = -8 + 11. Let h(a) = 3*a**2 + a + 2. Let n be h(s). Does 11 divide 4/(n/44)*2?
True
Does 55 divide (-8800)/64*(-2 - 102/15)?
True
Let o = -148 - -479. Is o a multiple of 4?
False
Let i(t) = -59*t - 559. Is i(-11) a multiple of 2?
True
Let d(f) = 10 + 1 + 12*f**2 - 3*f - 7*f**2 - 3*f**2. Is 11 a factor of d(-4)?
True
Let i(t) = 17*t**2 + 28*t - 124. Is i(7) a multiple of 57?
False
Let k(i) = i**2 + 2*i - 6. Let j be k(-12). Suppose -2 = 8*t - j. Is 2 a factor of t?
True
Let b(p) = -13*p - 1. Let g be b(-21). Suppose 0 = -3*u + 25 + g. Does 11 divide u?
True
Does 12 divide 1092/63*2*9?
True
Suppose 0 = 3*r + 5*m - 266, -2*r + m + 141 = -19. Suppose 7*q = 6*q + r. Is 5 a factor of q?
False
Suppose f + 1 - 3 = 0. Suppose 0*q + 43 = 3*q - f*k, 2*k + 10 = 0. Is 2 a factor of q?
False
Let p = 1395 + -567. Is p a multiple of 18?
True
Let h = -23 + 89. Does 6 divide h?
True
Suppose o - 3 = 4*g - 2*o, -2*o = -2*g - 4. Suppose -g*h + 135 = 4*z, 4*h - 180 = z - 0*z. Does 9 divide h?
True
Let v(u) = -u**2 - 4*u + 8. Let j be v(-5). Suppose 3*c + 21 = -j*h - c, 15 = -5*c. Let g = h - -15. Is g a multiple of 4?
True
Let n be -2 + (-3 + -13)*-1. Let i = n + -12. Is 29 + 0 - i - -1 a multiple of 10?
False
Let n = 1671 + -1167. Does 7 divide n?
True
Let g be ((-4)/8)/(1/6). Let l(m) = -7*m**3 + 6*m**2 + 3*m - 7. Is 18 a factor of l(g)?
False
Suppose 5*a + 87 = 3*x, 18 = -a + 3*x + 3. Is 12 a factor of (-5 - 670/a) + 4/(-18)?
False
Let g be (-6)/(3*(-3)/(-6)). Let m(t) = 2*t**2 + 4*t - 7. Let r be m(g). Is 5 a factor of 79/r - (-4)/18?
False
Does 24 divide 54/72 + (-17746)/(-8) + -4?
False
Let v be (-10)/(-35) - (-90)/(-21). Let q(d) = 3*d + 12. Let x be q(v). Suppose 63 = 3*o - x*o. Does 7 divide o?
True
Let n(z) = z**3 - z - 1. Let c be n(2). Suppose c*m = 26 - 6. Suppose m*x + 96 = 5*g, 42 = 2*g - 0*x + 2*x. Is g a multiple of 5?
True
Let l(q) = -9*q - 5. Let g(a) = 8*a - 5*a + 2 + 0. Let s(k) = -7*g(k) - 2*l(k). Is s(-4) a multiple of 6?
False
Let f(r) = r**2 + 10*r + 19. Let k be f(-8). Suppose -c - k*z + 888 = 4*c, -2*z = c - 172. Suppose -3*u = -c - 87. Does 20 divide u?
False
Let y(h) = h. Let j be y(4). Suppose j*p - 4*b = 128, p = -4*p + 3*b + 150. Is 22 a factor of p?
False
Let a(l) = -l**2 + 6*l - 2. Let c be a(3). Suppose -12*m - 20 = -c*m. Let r(t) = 3*t**2 - 6*t - 7. Does 11 divide r(m)?
False
Let n = 7 - 49. Let r = 57 + n. Is 5 a factor of r?
True
Suppose 2*k + q - 6 = 0, 2*q - 4 = 4*k - 0*q. Does 20 divide -10*(-3 + k/(1 + 0))?
True
Suppose 3*h + 34 = 583. Is 22 a factor of h?
False
Suppose 3*h = 5*c + 1170, -c - 1574 = -4*h + c. Is h a multiple of 11?
False
Let u be -4 - (-4 + 2 + -37) - 0. Suppose t - i = 55 + u, 3*i - 360 = -4*t. Does 15 divide t?
True
Let f = -11 + -4. Let l = 29 + f. Is 6 a factor of l?
False
Let m(d) = -100*d - 90. Is m(-3) a multiple of 22?
False
Suppose -4*k = -4, 2*w - 136 = 5*k - 3*k. Let q be (-20)/(-6) + (-2)/(-3). Suppose q*s - 3 = w. Does 10 divide s?
False
Let r = -97 - -38. Let w = r + 227. Is w a multiple of 24?
True
Let p be -3 + (-4 - (-4 - 46)). Suppose 0 = r - 3*y - 74 + 11, 2*y - p = -r. Does 3 divide r?
True
Is 41 a factor of 5*3/((-75)/10)*-423?
False
Let a = 290 - -195. Is 36 a factor of a?
False
Let x(d) = -d**2 - d + 15. Let t be x(-5). Is 6 a factor of t + -2 + 3 - (-47 - -1)?
True
Suppose -25*b + 6318 = 2*b. Does 18 divide b?
True
Suppose 4*b - 2*t = -0*b + 204, -5*b + 4*t + 258 = 0. Let y = b - 24. Is 4 a factor of y?
False
Let w = 123 - 85. Is 11 a factor of w?
False
Suppose -2*n - 1 = -n + 4*d, 0 = 5*n + 5*d - 10. Suppose s = -5*r + 13, -9 = -n*r - 2*s + s. Suppose 3*w = r*w + 19. Is w a multiple of 6?
False
Suppose -46*t + 72 = -44*t. Suppose t = z - 6. Does 3 divide z?
True
Let d(x) = 4*x - 3 - 2 - x**2 + 0*x**2. Let v be d(5). Is 92/v*(-10)/2 a multiple of 17?
False
Suppose -2*z = 3*c - 708 - 2953, -5*z - 2*c + 9136 = 0. Does 26 divide z?
False
Is 1738 + 3 + 5 + 2 a multiple of 92?
True
Suppose -45 = -n - 42. Suppose -j - 1 + 0 = 0, 0 = n*d - 4*j - 382. Does 18 divide d?
True
Let w be (-453)/18*-2*(0 + 6). Suppose 0 = -11*g - 16 + w. Is g a multiple of 12?
False
Suppose 4*b - 2*w - 204 = 0, -3*b + 0*w + 171 = 3*w. Is b a multiple of 7?
False
Suppose 4*c = -d + 10, 4*d = -0*d - 3*c + 14. Suppose 0*r + d*r - 60 = 2*n, 0 = -n - 3. Let s = -10 + r. Does 17 divide s?
True
Let g = 808 - 475. Is g a multiple of 5?
False
Suppose d + 6*b = 2*b + 6, -2*b = -3*d + 32. Suppose 5*g - 70 - d = 0. Suppose 0 + g = 4*q. Is q a multiple of 4?
True
Let x = 5 + -4. Let a(q) = 25*q**2 - q + 1. Let p be a(x). Suppose 8*c - 3*c = p. Is 5 a factor of c?
True
Let i be (0 - 49) + (-16)/(-4). Let v be (-1205)/i + 4/18. Is 11 a factor of (v + 4 - 4) + 4?
False
Suppose -f + l + 4*l + 6 = 0, -5*l + 49 = 4*f. Suppose -f = -3*o + 7. Suppose 316 = -2*w + o*w. Is w a multiple of 25?
False
Let x = 2063 - 1862. Is 3 a factor of x?
True
Let z = 199 + 2. Does 8 divide z?
False
Let t = 17 - -86. Suppose -4*p = u - t, p - u - 4*u - 10 = 0. Suppose -l + p - 7 = 0. Is l a multiple of 4?
False
Suppose 0 = -i + 3*u + 10 + 4, 5*i - 5*u = 20. Let s be 5/(i + (-2)/(-1)). Suppose s*k + 22 = 2*c + 161, 5*k - c - 137 = 0. Is k a multiple of 19?
False
Let q = 55 - 40. Let h(k) = -k**3 + 15*k**2 + 11*k + 15. Is 10 a factor of h(q)?
True
Let i(v) be the second derivative of -5*v**3/3 + 7*v**2/2 - 2*v. Let w = -1 + -2. Is i(w) a multiple of 20?
False
Let h(n) = -3*n + 2. Let t be h(-3). Suppose -t*r = -15*r + 248. Is r a multiple of 15?
False
Let p(h) = -2*h - 2. Let r be p(-2). Suppose 4*g - k + 3*k + 172 = 0, r*g - 2*k + 86 = 0. Let s = -25 - g. Is s a multiple of 9?
True
Does 28 divide (2*6/(-24))/((-3)/1512)?
True
Let c(r) be the second derivative of r**6/360 + r**5/12 + 7*r**4/8 + r**3/6 + 9*r. Let i(z) be the second derivative of c(z). Is i(-12) a multiple of 29?
False
Suppose 2*t = -3*t + 10. Let p(d) = d**3 - d**2 + d - 1. Let o be p(t). Suppose 205 = o*n - 3*h, -3*n + 12 = h - 97. Is 11 a factor of n?
False
Suppose -2*a + 889 = 5*w, -21*w - a - 719 = -25*w. Does 20 divide w?
False
Let p(f) = f**2 - 25*f + 44. Let n be p(25). Suppose -n*h + 46*h - 100 = 0. Is h a multiple of 12?
False
Is 9 a factor of ((-1506)/15)/(-7 + 198/30)?
False
Let w(j) = -j**3 - 9*j**2 - 18*j - 21. Let r be w(-9). Let y = r + -45. Is y a multiple of 12?
True
Let q(w) = -w**2 - 8*w + 4. Let y be q(-4). Suppose 0 = -5*j + y. Is 422/j - (-6)/(-4) a multiple of 27?
False
Let z = -15 + 19. Suppose 19 + 9 = z*m. Let v(b) = b**3 - 5*b**2 - 9*b - 2. Does 11 divide v(m)?
True
Does 13 divide 2175 - 38 - (-3*5)/(-3)?
True
Suppose -3*y + y + 5 = -5*q, y + 3*q = -3. Suppose 5*s + 120 = 5*g, s + y*s - 28 = -g. Is 26 a factor of g?
True
Let i(p) = -p**3 - 7*p**2 - 7*p - 1. Let c be i(-6). Suppose 4*m = c*m + 4. Is ((-120)/(-18))/(m/(-6)) a multiple of 5?
True
Let p = 908 + 1476. Is p a multiple of 31?
False
Does 7 divide (102 + (-2 - -4))*34/34?
False
Let s(l) = l**3 - 4*l**2 + 2*l + 8. Let a be s(3). Suppose -6*g + 7*g = -p + 13, 15 = a*p - 5*g. Is 8 a factor of p?
True
Suppose -1722 + 1266 = -4*l. Does 9 divide l?
False
Suppose 18*z = 15*z + 240. Let p = z - 24. Is p a multiple of 13?
False
Let u(i) = 22*i**3 + i - 1. Let x be u(2). Suppose 5*m - l - x = 0, 2*m + 3*l - 76 = 5. Does 9 divide m?
True
Suppose 4*q = -2*h + 8*q + 350, -503 = -3*h - 5*q. Is 15 a factor of h?
False
Let d = 2631 - 471. Does 30 divide d?
True
Suppose 0 = -17*b + 21*b - 36. Let c(j) = -j**2 + 19*j - 31. Is c(b) a multiple of 9?
False
Suppose 3*f + 3*c + 368 = 5300, -f = 3*c - 1648. Is 19 a factor of f?
False
Let s = -102 + 202. Suppose -s = 5*k - 2*n - 527, -4*k = 3*n - 337. Suppose 3*r + 4*a = 51, 2*a + k = -0*r + 5*r. Is 4 a factor of r?
False
Let k be ((-4)/(-3) - 1)/(19/(-171)). Is ((-35)/(-30)*k)/((-1)/14) a multiple of 7?
True
Let m(h) = h**3 + h + 11. Suppose -5 = 4*a - 1. Let j be 0/(-4 + a + 3). Is m(j) a mult