- -8)?
True
Let u(v) = 3*v**2 + 30*v + 164. Does 45 divide u(-30)?
False
Let p = 14 + 2. Let t = -4 + 6. Suppose 4*o = t*o + p. Does 8 divide o?
True
Let n be (-6)/(-27) + 6/(-27). Let z be (-1)/(3/54) + n. Let d = z - -69. Is 18 a factor of d?
False
Let h = 5291 + -3131. Is h a multiple of 22?
False
Suppose -2*h = 4*r - 102, -5*r + 139 = 2*h + 11. Does 26 divide r?
True
Does 86 divide -1 + 6 - (-22382)/19?
False
Let t = 57 + -279. Let u = 144 + t. Let x = u + 112. Is 6 a factor of x?
False
Suppose 4*k - 1178 - 638 = 0. Suppose 5*g = k + 1. Is g a multiple of 12?
False
Let c = -57 + 62. Let t(b) = b**3 + b**2 - 9*b + 10. Does 15 divide t(c)?
False
Suppose -5*t - 44 = -24. Is (2 + 102/(-15))/(t/70) a multiple of 13?
False
Suppose -r - 3*f - 7 = f, -5*r + 2*f = -31. Suppose 0 = -6*s - r + 89. Is s a multiple of 14?
True
Let z(q) = -8*q - 4. Let t(j) = 1. Let y(a) = -6*t(a) - 2*z(a). Let p be y(1). Let g = 126 - p. Is g a multiple of 36?
True
Suppose -3*j - 2*p + 1945 = 0, 0 = -5*j - 5*p + 1844 + 1406. Is 19 a factor of j?
False
Suppose 4*b + 3*i - 7 - 13 = 0, -2*i - 16 = -b. Suppose -2*s - 2*s - b = 0, -4*s + 472 = 5*o. Is 16 a factor of o?
True
Suppose 5*s + w - 1282 = 4*s, 2561 = 2*s + 5*w. Is s a multiple of 41?
False
Suppose a - 3 = -4*v, 5*v = 6 - 1. Let d = a + 51. Is d a multiple of 14?
False
Is 13 a factor of 15312/36 - (-4)/(-3)?
False
Let h(q) = -q**3 - 6*q**2 + 2*q + 12. Let v be h(-6). Is 31 a factor of v - (-31)/(1 - 0/2)?
True
Let l = 360 + -306. Is l even?
True
Let m(p) = p**3 - 15*p**2 + 4*p + 7. Let r be m(15). Suppose -3*u + 0*a + 215 = -a, u - 5*a = r. Does 18 divide u?
True
Let a be (2/4)/(8/48). Suppose -a*p + 6 = 4*y, -4*p + 4*y + 4 = -4. Is p even?
True
Suppose 15*l - 536 = 1024. Is 16 a factor of l?
False
Let c = -78 + 110. Suppose -5*r = -572 + c. Suppose 204 = 4*i - r. Does 23 divide i?
False
Let z = 23 - 20. Suppose -27*o + 28*o - z = 0. Suppose -o*y + y = -16. Does 8 divide y?
True
Suppose -2*x = -4*l - 14, 11 = -5*l - 3*x - x. Is (56/24)/((-1)/l) a multiple of 4?
False
Let x(p) = 5*p**2 + p. Let u be x(-1). Suppose 65 = 2*t - 3*d, -t + 171 = u*t + d. Is 19 a factor of t?
False
Let p(x) = x - 1. Let t be p(1). Suppose -3*n - 33 = 3*a - t*a, a = 4*n + 14. Does 20 divide 710/35 + a/21?
True
Let w be (3 - (3 + 0)) + 2. Suppose -2*u = -2 - 6, 0 = -w*s - 2*u + 240. Does 18 divide s?
False
Let l be 8/(-20) - 12/(-5). Suppose 3*g - 136 = 2*q, -2*g = 2*q - 37 - 67. Suppose -2*s - 2*s = -z + g, l*z = 5*s + 90. Is z a multiple of 7?
False
Suppose -b + 42253 = 28*b. Does 5 divide b?
False
Suppose 2*k - 3*k - 18 = -3*d, d + 46 = -4*k. Let v(b) = -10*b - 13. Is v(k) a multiple of 18?
False
Let m be (-2)/(-3)*(-42)/(-7). Let b be (6/m)/(3/(-4)). Is (-1269)/(-18)*b/(-3) a multiple of 15?
False
Let u(s) = -3*s - 26 - 35 + 44. Is 2 a factor of u(-7)?
True
Let b(l) = l + 10. Let j be b(-3). Let o(s) = -s - 1. Let m be o(0). Let h = j - m. Does 5 divide h?
False
Let g = 199 + -161. Is 3 a factor of g?
False
Suppose 5*v - 204 = 16. Let r = -10 + v. Is 9 a factor of r?
False
Suppose z + 2*z + 9 = 0. Does 6 divide (17/(-2))/(z/6)?
False
Let s = -39 + 108. Let k = s - 57. Is k a multiple of 12?
True
Let z(t) = 6 - 3 + 8 + 1 + t. Does 2 divide z(-7)?
False
Let m = 0 - -8. Suppose 455 = -4*u - 3969. Is u/(-30) + m/60 a multiple of 9?
False
Suppose c - 35 + 71 = 0. Does 3 divide -4 - (-11)/((-22)/c)?
False
Let r = 43 - 42. Does 5 divide r + (-1 + 4 - -6)?
True
Let n(m) = -m**3 + 2*m**2 - 25*m - 3. Is 11 a factor of n(-5)?
True
Suppose -4*i = 4*i - 6160. Suppose -4*c = -6*c + i. Does 35 divide c?
True
Let b(o) = 4*o - 8 + 2*o - o**2 + 3*o + 7*o. Let n be b(7). Suppose 0 = -16*t + 11*t + n. Does 5 divide t?
False
Suppose -2165 = -2*j + u, 20 = -8*u + 4*u. Is 24 a factor of j?
True
Suppose -8*f - 49333 + 18661 = 0. Does 32 divide f/(-24) + (-2)/(-8)?
True
Suppose 3*k + 4*p + 3 = 2*k, -k - 2*p + 1 = 0. Suppose v + 2*r - 46 = 0, -3*v - 2*v + 212 = 4*r. Suppose -k*g = -10*g + v. Is g a multiple of 5?
False
Suppose 0 = 2*s + 10*y - 13*y - 219, -3*y - 111 = -s. Is 9 a factor of s?
True
Let w be (-4)/10 + (-611)/(-65). Suppose c - w = -0*c. Does 4 divide (4 - 39/c)*-36?
True
Suppose 30*r = 13*r + 5916. Does 87 divide r?
True
Let p = -229 + 4459. Is p a multiple of 45?
True
Is 4 a factor of (6/(-5))/(36/(-240))?
True
Suppose -4*x + 57 + 11 = -3*f, 2*x - 34 = -4*f. Is x a multiple of 17?
True
Is 72 a factor of 9/(-6) - 76131/(-66)?
True
Let u(x) = -12*x. Let c be u(-1). Is 3 a factor of c - 13 - (-3)/((-3)/(-32))?
False
Let g(b) = -8*b**3 - 4*b**2 - 3*b - 1. Let a = -18 + 17. Is 4 a factor of g(a)?
False
Does 17 divide (-98)/21 + 5 + (-1630)/(-6)?
True
Let d(o) be the second derivative of 17/6*o**3 - 17/2*o**2 - 1/12*o**4 + 7*o + 0. Is d(15) a multiple of 4?
False
Is 95 a factor of 1992 - (8/8)/(2/(-6))?
True
Suppose -4*y = -0*u + u + 1, -u + 5*y + 44 = 0. Suppose -29 = -8*d + u. Is 6 a factor of d?
True
Let q be (-36)/12 + (0 - -6). Suppose 2*r = -3*f + 84, -q*r = -0*r. Is f a multiple of 14?
True
Suppose 2*n - 633 = 119. Does 47 divide n?
True
Let a = 3358 - 1877. Does 11 divide a?
False
Let f(r) = -r**3 + 7*r**2 - r + 9. Let y be f(7). Let o be (-78)/y*(-48)/(-36). Let j = o - -100. Does 8 divide j?
True
Suppose n = 2*n + 7. Suppose -z = -x - 27, -3*x - 40 = 3*z - 103. Let y = z + n. Is y a multiple of 8?
False
Let n(d) = 4*d**2 + 28*d - 36. Is 12 a factor of n(-13)?
True
Let b = -291 + 133. Let f = -74 - b. Is f a multiple of 14?
True
Suppose -19*a = -8037 - 2318. Does 89 divide a?
False
Is (20/(-25))/(-4) - (-39948)/60 even?
True
Let r(n) = 2*n + 17. Let i be r(-11). Let q(w) = -w + 13. Is q(i) a multiple of 3?
True
Let a(l) = -2*l**3 + 57*l**2 + 47*l + 72. Does 23 divide a(29)?
False
Is 3 a factor of 2976/192 + 2/(-4)?
True
Let s be (-8)/18*27/(-6). Suppose -s*l = -4*g + 12, 4*l - 6 = -g + 3*l. Is g a multiple of 4?
True
Let l(j) = -j - 3. Let u be l(-3). Suppose 82 = 2*o + 3*o - 2*q, -q - 1 = u. Is -2 + 4/(o/164) a multiple of 13?
True
Let k(y) = 12*y**2 + y - 59. Does 9 divide k(5)?
False
Does 11 divide (-1)/3*(9 + -603)?
True
Suppose 2*h - 5318 = w - 1375, -5*h + w + 9865 = 0. Is h a multiple of 11?
False
Let l(w) = 3*w**2 + 29*w + 29. Let u(g) = -2*g**2 - 15*g - 15. Let s(y) = 3*l(y) + 5*u(y). Let a be (-144)/(-15) + 2/5. Is 16 a factor of s(a)?
True
Let r(f) = -3*f - 3. Let n be r(11). Let z = 21 - 29. Does 4 divide 6/z - 531/n?
False
Let v(y) = y**2 + 11*y - 11. Let c be v(-15). Suppose -46*i + c*i - 45 = 0. Is 3 a factor of i?
True
Suppose 11 = 2*w - 1. Suppose w*g = 1157 - 161. Is 34 a factor of g?
False
Let n(h) = -410*h + 65. Is 37 a factor of n(-3)?
True
Let f(v) = 29*v + 21*v + 15*v - 2*v - 17. Is f(5) a multiple of 51?
False
Let u(v) = -71*v - 344. Does 29 divide u(-22)?
True
Let a(b) = b**3 - 4*b**2 + 4*b. Let d be a(3). Suppose 284 = d*w - 97. Is w a multiple of 40?
False
Let u = -39 - -33. Is ((-96)/(-9))/((16/u)/(-4)) a multiple of 8?
True
Let y = 24 - 9. Suppose -y = 3*i - 57. Is 7 a factor of i?
True
Suppose 0*m - m = 17. Let c be (-12)/(1 - (-3 + 3)). Let a = c - m. Does 5 divide a?
True
Let z(w) = -5*w - 25. Let t be z(-6). Let d be (30/(-25))/(t/25). Is 4/d*4*-9 a multiple of 8?
True
Suppose 28*r = 21*r + 16996. Is r a multiple of 67?
False
Let j be 1 + 2 + ((-114)/(-2) - -3). Suppose -287 = -2*o - j. Is o a multiple of 28?
True
Let s = 19 - 18. Let f be s/(-5) - (-5566)/55. Let z = -53 + f. Is z a multiple of 12?
True
Let l be ((-10)/6)/((-4)/12). Suppose 0 = -4*t - 4*r - 4, -r + 2 - l = 0. Suppose 3*n + t*n = 60. Is n a multiple of 10?
False
Let a be ((-2)/6)/(17/6 - 3). Let y = -10 - -12. Suppose a = x - y. Does 4 divide x?
True
Let p(j) = j**2 + 10*j - 9. Let o(a) = a**2 + a. Let h(m) = 2*o(m) - p(m). Is 4 a factor of h(8)?
False
Let c(r) = 65*r**2 - 2*r - 15. Let q be c(-3). Suppose -6*o + 0*o = -q. Is 12 a factor of o?
True
Suppose -y - 5 = 7. Does 13 divide y/9*(-975)/10?
True
Suppose 5*r + 1788 = 5*k + r, 0 = -4*r + 12. Suppose 2*a = 5*a - 2*u - 16, 12 = a + u. Suppose -2*x - k = -a*x. Is x a multiple of 12?
True
Suppose 0 = 40*p - 14790 - 1450. Does 7 divide p?
True
Let p(f) = f - 3. Let j be p(5). Suppose -13*v - 3*v + 320 = 0. Suppose 0*s + v = j*s. Is 3 a factor of s?
False
Let o(i) = i**3 - 3*i**2 - 2*i - 2. 