 factor of z?
False
Let g be 37/7 - (-8)/(-28). Let a(x) = -3*x**2 + 12*x - 9. Let v be a(g). Let w = v - -36. Is w a multiple of 4?
True
Suppose -20*l + 23*l - 15 = 0. Suppose 0 = i - l*k + k - 19, k + 25 = i. Is 4 a factor of i?
False
Suppose -y + 369 = -2*a, -9*y + 4*y - 3*a + 1858 = 0. Suppose -5*i = o - y, -5*i + 292 = -i + 2*o. Is i a multiple of 15?
True
Let f = -880 - -1672. Does 66 divide f?
True
Let f(k) = -k**2 + 8*k - 3. Suppose 5*u = 12 + 8. Suppose -9 = -u*v + 11. Is 9 a factor of f(v)?
False
Suppose -7859 = 51*f - 40958. Is f a multiple of 10?
False
Let u = -2197 + 4957. Is 12 a factor of u?
True
Let g(z) = -z**2 - 8*z + 28. Let r be g(-9). Let d(u) = u**3 - 19*u**2 + 6*u + 33. Is 7 a factor of d(r)?
True
Let s be 5674/14 + -2 + (-10)/35. Suppose 0 = -5*f - 8*f + s. Does 7 divide f?
False
Let d(m) = -m**2 - 9*m - 1. Let j be d(-7). Suppose -q - z + 4*z - 5 = 0, -3*q + 9 = -z. Suppose -x + p - j = -q*x, -3*x - 2*p = -14. Is x a multiple of 2?
True
Let h(j) = j**2 - 10*j - 1. Let w be h(10). Let b be (-1)/(1 - w)*-62. Let i = -4 + b. Is 27 a factor of i?
True
Let n(r) = -r + 142. Let u be n(0). Suppose -4*c - t + 388 = 0, 42 - u = -c - t. Is c a multiple of 24?
True
Suppose 0 = -20*j + 18*j + 340. Is j a multiple of 17?
True
Let b(h) = 25*h**2 - 24*h + 13. Does 9 divide b(4)?
False
Let u = -455 + 641. Is u a multiple of 28?
False
Suppose 2391 - 121 = 5*i - 5*k, 4*i + 2*k - 1810 = 0. Does 3 divide i?
True
Suppose 15*t = 2*t + 351. Does 4 divide t?
False
Suppose 0*t - 3*t = l - 330, -2*l = -t - 646. Let n = l + 2. Does 27 divide n/6 + 1/(-3)?
True
Let q(f) = -f**3 - 1. Let n be q(-1). Let m = -1053 - -1054. Does 3 divide -2 + 13 - (m - n)?
False
Suppose -1595 = -4*l + 897. Is 15 a factor of l?
False
Suppose 4075 = 5*h - 5*v, -5*v + 184 + 3031 = 4*h. Is 12 a factor of h?
False
Let n = 299 + -304. Let c = -6 + 10. Does 13 divide -4 + ((-170)/n - c)?
True
Let z = -224 - -310. Does 19 divide z?
False
Let q(h) = -h**3 - 10*h**2 - 14*h - 58. Does 49 divide q(-12)?
False
Let h(i) = 47*i**2 + 2*i - 31. Is h(6) a multiple of 40?
False
Suppose 0 = -0*u + u - 1, 2*k + u + 1 = 0. Let y be 4/1 + 0/k. Does 24 divide (-5 + 107)/(y + -2)?
False
Let d(r) = 7*r**2 + 18*r + 26. Is 5 a factor of d(-6)?
True
Let x = -194 - -277. Let r = x - 43. Is 4 a factor of r?
True
Suppose 6*s + 34*s = 45760. Does 104 divide s?
True
Let c(h) = -3*h + 1. Let q be c(-1). Suppose q*u - 16 = -3*s, -14 = 5*s - 4*u + 2. Suppose s = -3*p + 8*p - 30. Does 6 divide p?
True
Suppose -2*m = -5*q + 61, q = -0*m - 3*m + 19. Suppose -3*w + 6 = -5*l - q, 1 = 3*w + 4*l. Suppose 0*n = n - 5*k - 13, 0 = w*k - 12. Is n a multiple of 16?
False
Let d be 3*(-3 - (-21)/9). Is d/(-8) + 161/28 a multiple of 6?
True
Let o(d) = d**2 + 20*d + 37. Let m be o(-17). Is 20 a factor of (-1610)/m*(2 + -1)?
False
Suppose 5*t = -1720 + 6120. Is t a multiple of 22?
True
Let n = -57 + 62. Let d(r) = 2*r + 8. Is 3 a factor of d(n)?
True
Is 26 a factor of 28/49 + 1866/42?
False
Suppose -5*s = -2*m - 4430, -5*s - 5*m = -2466 - 1929. Does 17 divide s?
True
Is 14 a factor of 15390/25 - (-6)/15?
True
Let d(u) = -u**2 - 1. Let f(j) = j**3 - 8*j**2 - 2*j - 12. Let w(c) = -6*d(c) - f(c). Does 20 divide w(14)?
False
Let x(m) = m**3 - 5*m**2 + 1. Let o(p) = -p + 1. Let n be o(-5). Is x(n) a multiple of 6?
False
Suppose 0 = -4*g - 5*l - 24, 0 = -3*g - 4*l + 12 - 30. Let w be ((-45)/g)/(2/4). Suppose -3*m = -w, 0 = 2*b - 3*m - 20 + 1. Does 12 divide b?
False
Suppose 5*r - 27*i = -24*i + 8452, -3*r + 3*i = -5070. Is r a multiple of 19?
True
Let m = 3508 + -1644. Is 24/(-180) - m/(-30) a multiple of 31?
True
Suppose 0 = 4*u - 0*u - 4*x + 568, 0 = -3*u + x - 416. Let y = u + 206. Is y a multiple of 23?
True
Let x(b) = b**3 - 8*b**2 - b - 2. Let j be x(8). Let l(y) = 7*y**2 + 16*y - 25. Let u(w) = -3*w**2 - 8*w + 12. Let n(g) = -2*l(g) - 5*u(g). Does 5 divide n(j)?
True
Let c(b) = -6*b + 29*b**2 - 14*b**2 - 16*b**2. Let u be c(-6). Suppose u = 2*j + 9 - 29. Is 5 a factor of j?
True
Let c(p) = -p**2 - 20*p + 12. Let h = 70 + -87. Is c(h) a multiple of 21?
True
Suppose 3*t - 13 = -0*t - j, -4*j = -16. Suppose 5*v - 519 = f, 2*v + 3*v = -t*f + 503. Is 21 a factor of v?
False
Let p = 318 + -198. Does 12 divide p?
True
Let h(w) = 427*w + 7. Is h(4) a multiple of 52?
False
Let o = -435 + 477. Does 7 divide o?
True
Let z be (-2)/(-4) + -1 - (-125)/10. Suppose z = -4*t, -4*x - t = t - 358. Is 13 a factor of x?
True
Let l(g) = g**3 + 8*g**2 - g - 4. Let b be l(-8). Let t = 4 - 2. Suppose -t*j + 3*j = b*w + 22, 2*w + 96 = 3*j. Is 11 a factor of j?
False
Suppose 2*x - 84 = -5*u, 0*u - 4*u + 16 = 0. Suppose 0*b = 2*m + 4*b - x, -5*b = -25. Suppose m*z = -0 + 126. Does 10 divide z?
False
Let d(i) = 10*i**2 - 8*i + 4. Let h be d(3). Suppose 0 = -5*t + 5*w + h, -2*t + 5*w + 23 = -2. Does 3 divide t?
True
Suppose -2*g + 252 = 2*c, -c + 5*g - 2*g + 142 = 0. Is 13 a factor of c?
True
Let b(f) = -f**2 - 4*f + 5. Suppose 2*i + k = -k, -3*k + 16 = -i. Let q be b(i). Is (-1 + 5 - q) + 6 even?
False
Let d = -36 + 336. Is d a multiple of 12?
True
Suppose -19 + 3 = -5*f - 4*s, -s + 4 = -2*f. Suppose -3*a - 4*w + 21 = f, -5*w + 25 = 3*a + 1. Is 3 a factor of a/(-12) + (-13)/(-4)?
True
Suppose 0 = q + 46 - 12. Let r = q - -118. Does 39 divide r?
False
Let b be (-3 + 3 - -51)/1. Let j = 11 - 11. Suppose j = -2*o - o + b. Is o a multiple of 5?
False
Suppose -62*j = -70 - 3960. Is j a multiple of 26?
False
Suppose -21*j + 124718 = 34964. Is 26 a factor of j?
False
Let c be (52/(-65))/((-4)/(-770)). Let n = -94 - c. Is 10 a factor of n?
True
Is 22 a factor of (-36134)/(-8) - (-33)/132?
False
Let n = 6 + -1. Let a = 15 + n. Does 13 divide ((-92)/(-10))/(4/a)?
False
Let c(t) = -t + t + 4*t**2 + t**3 - 1. Let d = 32 + -35. Is 4 a factor of c(d)?
True
Let m(f) = 2*f**2 - 2*f - 8. Let b be m(10). Is ((-6)/(-4))/((3/b)/1) a multiple of 22?
False
Let a = -82 - 39. Let j = -17 - a. Does 9 divide j?
False
Let m(y) = -y**3 - 19*y**2 + 54*y + 104. Is 8 a factor of m(-22)?
True
Let z = 27 - 22. Suppose 3*w = -c + 17, -6*c + z*w + 78 = -4*c. Let p = 54 - c. Is p a multiple of 25?
True
Let k(l) = l**3 - 8*l**2 - 6*l - 13. Let c be k(9). Let b = c - 12. Suppose 125 = x + b*t, -5*x - 2*t + 119 = -506. Is 27 a factor of x?
False
Let u = -1179 + 2003. Is u a multiple of 37?
False
Let c(d) = d**3 - 3*d**2 + 8*d - 5. Let f be c(6). Suppose -4*s = -145 - f. Is 7 a factor of s?
False
Let f(s) = -4*s - 19. Let g be f(-8). Suppose 2*b - 3*x + g = -10, 0 = 5*b + 5*x + 95. Let t = 18 + b. Is t a multiple of 2?
True
Let y = 11 - 8. Let p(n) = -2*n**2 + 38*n - 39. Let s be p(17). Suppose 101 = y*r + s. Is 6 a factor of r?
True
Suppose 5*c + 24*b - 1785 = 29*b, -4*c + 1455 = 5*b. Is c a multiple of 18?
True
Let p(r) = 507*r - 51. Is p(3) a multiple of 10?
True
Let l = 951 + -761. Does 5 divide l?
True
Let t(l) = -17*l**3 - l**2 - 2*l - 1. Let z be t(-1). Suppose 5*i = z - 2. Suppose i*a = 146 - 44. Does 8 divide a?
False
Suppose -4*v - 164 = 7*w - 9*w, -5*v = 3*w - 257. Does 10 divide w?
False
Let f(q) = q**3 - 2*q**2 - 4*q + 9. Let m be f(3). Suppose -4*h + m + 178 = 0. Does 17 divide h?
False
Let g be (-65)/(-25) - 3/5. Let z be 7 + (2 - g)/4. Is 11 a factor of 3/(-9)*(z - 148)?
False
Let d = 741 + -431. Does 18 divide d?
False
Let z = 1279 - 895. Is 24 a factor of z?
True
Suppose 2*d = 3*l + 51, -4*d + 5*l + 105 = -0*l. Suppose 4*b - 5*v = 63, v = -3*b - v + d. Let c(y) = y**2 - 12*y + 7. Does 2 divide c(b)?
False
Suppose -3*p + 3*x + 324 = 0, -3*p + 330 = 2*x - 7*x. Is p a multiple of 13?
False
Is (-858)/(-99)*3348/6 a multiple of 26?
True
Suppose 3*m - 4*m + 25 = 0. Does 24 divide (-10)/(m/5) + 98?
True
Let v(n) = 4*n**2 - 17*n - 9. Suppose 9*j - 4*j - 60 = 0. Let m be v(j). Does 6 divide m/15 + (-2)/10?
True
Suppose -4*t = -308 - 524. Let w = 298 - t. Suppose -2*j + w = 3*j. Is 16 a factor of j?
False
Let r = -33 - -120. Let q = 173 - r. Is 10 a factor of q?
False
Let x(i) = 15 + 4*i + 8*i - 15*i + i**2 + 9*i. Is x(10) a multiple of 17?
False
Suppose 0 = -2*n + 7*n. Suppose n*k + k = -h + 141, -2*k + 284 = 3*h. Let d = -89 + k. Is d a multiple of 10?
True
Let k = 4332 + -76. Is k a multiple of 19?
True
Let n = 1736 - 1147. Does 55 divide n?
False
Suppose 0*d - 3*d - 12