oes 4 divide o(d)?
True
Suppose 5*i - 13 = -98. Suppose 2*g - 47 = -7. Let m = g - i. Does 14 divide m?
False
Let j be 162/5 - (-18)/30. Suppose 5*b + 392 = 3*c - 244, 0 = 3*c - 4*b - 639. Suppose 5*s = c + j. Does 25 divide s?
True
Suppose 7621 = 24*q + 1861. Is q a multiple of 8?
True
Suppose -1604 - 6712 = -9*y. Does 12 divide y?
True
Let h(l) = -l**2 - 18*l + 6. Let d(r) = r**2 + 13*r + 31. Let p be d(-5). Is 17 a factor of h(p)?
False
Suppose 222*l - 1554 = 216*l. Is l a multiple of 25?
False
Let o = 48 - 21. Suppose o*b - 28*b = -17. Is b a multiple of 11?
False
Suppose -1186 = -r - r. Suppose -3*s = 2*o - r - 227, -2*s = 3*o - 555. Is s a multiple of 30?
True
Let o(q) = 11*q - 8 + 7 - 6 - q**2. Let u be o(10). Suppose u*w + 16 = 196. Is w a multiple of 15?
True
Is ((-12)/(-2))/(26/936) a multiple of 6?
True
Suppose -6*u + 12 = -7*u. Let m be 8 + 4*(-9)/u. Is (-2)/m - 2505/(-165) a multiple of 15?
True
Let y = 5 - 20. Is y/(-5) + (7 - 1) a multiple of 3?
True
Suppose -3*k + 4*v + 204 = 0, -3*k = -2*k + v - 68. Is k a multiple of 5?
False
Let p = -11 - -14. Suppose -87 = -0*m - p*m. Suppose 5*i - 63 = 2*t, t = 5*i - m - 35. Does 4 divide i?
False
Let d = -127 + 19. Let x = -62 - d. Is 23 a factor of x?
True
Let f be (-3 + 0)*(64/(-12) + 4). Let o(r) = 3*r**2 - 11*r + 14. Is 3 a factor of o(f)?
True
Let q(v) = -3 + 14*v - 4 - 7*v - 12*v. Is 3 a factor of q(-3)?
False
Suppose -4*m = 2*q - 2478, 2*q = -3*q + 15. Is 9 a factor of m?
False
Let p(b) = -b - 13. Let a be p(-11). Let m be -7*(-1 - a - 8). Let q = m + -26. Is q a multiple of 12?
False
Let g(o) = 10*o - 92. Let f be g(6). Is (f/20)/(1/((-390)/4)) a multiple of 13?
True
Suppose 0 = 5*w - 3 + 13. Let d = 54 - 32. Is 7 a factor of -2 + 3 + w + d?
True
Suppose -178 = -3*c + p, -2*c + 48 + 54 = -4*p. Suppose r = -1, 4*z - 2*r + 7*r + c = 0. Does 6 divide 8/z + 636/84?
False
Let x(i) = -4*i - 3. Let a be x(-1). Let t be (1/2)/a*10. Suppose 5*y + 5 = 0, t*y = -j + 5*j - 101. Is 16 a factor of j?
False
Let q be ((-8)/(-20))/2 - 4/20. Let m(a) = -a**3 + a + 105. Is m(q) a multiple of 21?
True
Suppose -18 = -p + 6*t - 2*t, -2*p + 4*t + 20 = 0. Suppose 8*s - p*s - 432 = 0. Is 12 a factor of s?
True
Suppose l - 476 + 43 = 0. Does 23 divide l?
False
Let n be 12/(-42) - 60/(-14). Suppose 0*t = -n*t + 44. Is 31 a factor of 31/5*(-6 + t)?
True
Is 37 a factor of 226/4 - 10/20?
False
Does 4 divide 115/46 + (-14670)/(-12)?
False
Suppose -5*p - s = -1229, -4*p + p + 2*s + 740 = 0. Is p a multiple of 82?
True
Suppose -7*h = -10*h + 6. Suppose 3*w - 5*v + v - 20 = 0, h*v = -5*w + 16. Is 5 a factor of ((-70)/6)/(w/(-12))?
True
Let x be 4/(-14) + (-2012)/14. Let t = x - -207. Is t a multiple of 26?
False
Let v(u) = -256*u + 2. Let d be v(-3). Suppose d = 10*k - 3*k. Is k a multiple of 26?
False
Let y = -620 - -1130. Is y a multiple of 34?
True
Suppose -6*o + 2*o + 12 = 0. Let g(k) = 32*k**2 + 29*k + 7. Let f(b) = 11*b**2 + 10*b + 2. Let t(j) = o*g(j) - 8*f(j). Does 29 divide t(-4)?
False
Suppose 168 = 2*k + 2*i, 0 = -5*k + 4*i - 2*i + 441. Does 17 divide k?
False
Let b be (12/(-18))/(4/(-54)). Suppose 3*k + b = -0*c + c, 3*k + 27 = -5*c. Let i(v) = -8*v + 1. Is i(c) a multiple of 6?
False
Let x(o) = -o**3 + 13*o**2 - 3*o + 2. Is 3 a factor of x(11)?
False
Let j(g) = 8*g**2 + g + 2. Let r be j(-1). Let l = r - 6. Suppose -d + 36 = l*d. Is 8 a factor of d?
False
Suppose 0 = -3*y - 2*k - 4, 0 = -y + 3*y - 3*k - 6. Suppose 156 = 2*x - 2*z, y = -2*x + 6*x - 3*z - 307. Is 22 a factor of x?
False
Let u = 512 - -1264. Is 74 a factor of u?
True
Let m be 4 + 65/10*-6. Let v = m + 62. Is v a multiple of 14?
False
Suppose -3*g = -3*j + 150, -3*g - 240 = -0*j - 5*j. Is (55/j + 6/(-27))*90 a multiple of 13?
False
Let h(k) = 1 + k + 5 + 3*k + 0*k + k**2. Let d be h(-7). Does 21 divide (-4 + d)*1 - 2?
True
Let v(c) = -c**3 - 36*c**2 - 40*c - 176. Let f be v(-35). Let d(k) be the second derivative of 5*k**4/6 - k**2/2 - k. Is d(f) a multiple of 9?
True
Let o(g) = 3*g**3 - 64*g**2 - 53*g - 2. Does 12 divide o(23)?
False
Suppose 0*u - 3203 = -4*u + n, -788 = -u - 4*n. Does 16 divide u?
True
Let f be (35 - 2) + 2 + -5. Is 16 a factor of (4*-2)/((-5)/f)?
True
Is 17 a factor of 32/(-6)*(1 + (-2065)/10)?
False
Suppose d - 5*d + 500 = 5*o, -5*o + 3*d + 535 = 0. Suppose 5*r = n + 2*n - 260, 0 = 2*r + 5*n + o. Is (r/(-39))/((-1)/(-93)) a multiple of 33?
False
Suppose 133 = -10*x - 17. Does 9 divide (-295)/20*5/(x/12)?
False
Let q(i) = i - 13. Let h be q(15). Suppose 2*s + 5*u = -34, h*s - 4*u - 11 = -63. Is 7 a factor of 1812/44 + 4/s?
False
Suppose -27*d = -10*d - 6885. Is 15 a factor of d?
True
Let x(j) = 3*j**3 + 58*j**2 - 2*j + 17. Is x(-19) a multiple of 9?
False
Let u = 27 - 23. Suppose u*t + 0*v = 2*v + 108, -t = 2*v - 22. Is 5 a factor of t?
False
Is 7 a factor of ((-2848)/48)/((30/(-81))/5)?
False
Does 23 divide (4 - 5)/(6 + 11596/(-1932))?
True
Let x = -130 + 50. Let m = 116 + x. Does 18 divide m?
True
Let t(v) be the third derivative of -11*v**4/12 - 26*v**3/3 + 4*v**2. Is t(-5) a multiple of 37?
False
Suppose 0 = 2*w + 8*w - 160. Is 22 a factor of 12/(-9)*(-264)/w?
True
Let u(p) = -159*p + 1. Does 32 divide u(-1)?
True
Suppose f - 3 = -11. Is 2 a factor of (14/f)/((-3)/12)?
False
Let o(u) = -243*u + 54. Is 38 a factor of o(-3)?
False
Suppose -4*k - 177 = -3*b + 47, 3*b + 2*k - 248 = 0. Let z = -44 + b. Is 4 a factor of z?
True
Let l = 22 + 38. Is 4 a factor of l?
True
Let w = 12 + -6. Let r(f) = f**2 - 8*f + 8. Let x be r(w). Let t(k) = k**3 + 4*k**2 - k + 1. Is t(x) a multiple of 5?
True
Suppose -3*l - 30 + 193 = 2*g, -5*g - 60 = -l. Let f = 1 + l. Suppose -4*i = c - 25, -2*c + 12 = 2*i - f. Is c a multiple of 22?
False
Let v(c) be the first derivative of -c**2/2 - 23*c + 11. Let w be v(-19). Is (-3 - -3)/w - -26 a multiple of 12?
False
Suppose 9 = 6*x - 3. Is (x/4)/((-21)/(-5460)) a multiple of 22?
False
Let p = 34 - 24. Is 2 a factor of p?
True
Let o be ((-8)/10)/(1/(-5)). Suppose z + 14 = -2*n - 3*n, -3*z - o = -4*n. Is n/(-1 + (-12)/(-14)) a multiple of 7?
True
Let c be (-3)/(-6) - 9/(-2). Let a = 507 - 272. Suppose n = -4*h + 62, a = 4*n + n - c*h. Does 9 divide n?
False
Suppose -5*x = -2*n + 45 + 15, n = 5*x + 65. Is x/(-2*5/100) a multiple of 28?
True
Let l(x) be the first derivative of x**4/12 - 3*x**2 - 6*x - 4. Let n(f) be the first derivative of l(f). Does 6 divide n(-5)?
False
Let f be (-1)/(-3) + 2150/30. Let x(h) = 2*h. Let g be x(3). Does 30 divide f/(-21)*(-105)/g?
True
Let c = 800 + -564. Suppose 11*a + c = 2315. Does 35 divide a?
False
Suppose -2*k - l + 12 = 0, 4*k + l + 2*l = 24. Let c be 1*(-44 - (k + -3)). Let n = 87 + c. Does 14 divide n?
False
Suppose -4*k - 3*v = -3038, 9*k + v = 12*k - 2272. Is k a multiple of 85?
False
Suppose 0 = 3*d - 9 - 48. Let x = d - -6. Suppose 88 = 3*o - 0*a - 5*a, 5*a = -x. Is o a multiple of 7?
True
Let h(u) = -u - 5. Let b be 2/6*(12 + 3). Suppose -3*t = 2*r - b*r + 30, 0 = t + 4*r + 10. Is 5 a factor of h(t)?
True
Let v(d) be the third derivative of d**6/120 - d**5/30 - 5*d**4/24 - 4*d**3/3 + 4*d**2. Is 12 a factor of v(5)?
False
Is 1188/18*(0/(-1) + 3) a multiple of 33?
True
Let a be ((-4)/(-6))/(1/((-45)/(-10))). Let l(x) = 4*x**3 + x**2 - 14*x - 2. Is 10 a factor of l(a)?
False
Suppose -988 = 10*p - 6658. Does 46 divide p?
False
Let g = 100 + -64. Let n be 40*(g/(-16) - -3). Let m = n - 24. Is 3 a factor of m?
True
Suppose 10524 = 10*x + 1164. Is 24 a factor of x?
True
Let v = 12 - 16. Let z be 102/24 + 1/v. Suppose z*n - 62 = 18. Is n a multiple of 6?
False
Let f = 15 + -14. Let x be (0/(-3) - -1) + f. Suppose 99 = 3*l + 3*z - 0*z, 0 = -x*l + 5*z + 66. Does 15 divide l?
False
Let h = -160 - -254. Let k be ((-168)/(-10))/((-116)/(-290)). Let w = h - k. Is 13 a factor of w?
True
Suppose q = 6*q - 4*r - 57, 5*r = 2*q - 33. Suppose 249 = 4*y + q. Is y a multiple of 12?
True
Let f(t) = -6*t - 3. Let y(v) = -v + 1. Let b(h) = -f(h) + y(h). Does 9 divide b(1)?
True
Suppose -106 + 1186 = 3*t. Does 24 divide t?
True
Let v = -38 + 44. Suppose -3*x = -v*x + 459. Does 26 divide x?
False
Suppose j - 5*s - 491 = 0, -2*j + 5*j + 2*s = 1541. Suppose 4*y + 187 = j. Is 19 a factor of y?
False
Let c be -2 + -5 - 1*-3. Let j(l) = -l**2 - 7*l + 5. Is 11 a factor of j(c)?
Fals