a factor of j?
True
Let j(f) = -22*f + 51. Let p(u) = 22*u - 50. Let g(o) = 7*j(o) + 6*p(o). Does 9 divide g(-6)?
True
Let d(m) = -17*m - 8. Let i be d(-6). Suppose 172 = 2*f - 19*y + 17*y, 0 = 2*f - 5*y - 178. Let t = i - f. Is t a multiple of 3?
False
Let b = -122 + 127. Suppose 5*q + 2*w - 81 = 0, -b*q + 10*q - 4*w = 63. Let h(d) = 9*d + 59. Is 18 a factor of h(q)?
False
Does 44 divide 1/6 + (-4061806)/(-588)?
True
Let c be -7 + 61 + (-2)/1. Let r(d) = -d**2 + 47*d - 88. Let z be r(45). Suppose z*x + c = 4*x. Is 6 a factor of x?
False
Suppose -28*t - 752851 = 34*t - 4119079. Is t a multiple of 28?
False
Let r be (-2 + 5 + -3)*(-8)/(-16). Suppose -y + 4*y - 1458 = r. Is 18 a factor of y?
True
Let d(f) = -f**2 + 38*f + 208. Let i be d(43). Let k be (-1 + 5)/(4/(-14)). Does 13 divide (-278)/i + k/(-49)?
False
Suppose -5*a + 1146 = 5*f - 179, 4*a - 1054 = 2*f. Suppose 465 = -6*x + 3105. Let r = x - a. Is 19 a factor of r?
False
Suppose -5484 = 34*m - 36*m + c, 2*c + 12 = 0. Is m a multiple of 58?
False
Suppose -1656*i + 1621*i + 17570 = 0. Is i a multiple of 2?
True
Let m(w) = -w - 13. Let t be m(-8). Let j be (2/t)/((-2)/(-320)). Let y = 2 - j. Is 12 a factor of y?
False
Let u = 69 - 75. Let v(o) = 2*o + 4. Let m be v(u). Is (m/10)/(6/(-810)) a multiple of 18?
True
Suppose -3*d - g + 6*g - 53 = 0, -5*g = 10. Let p = d + 68. Is p a multiple of 7?
False
Suppose -16*r + 145343 = -71121. Does 57 divide r?
False
Is ((201/6)/(57/114))/((-2)/(-6)) a multiple of 38?
False
Suppose 0 = 931*i - 930*i + 3*n - 346, 0 = -2*i + 4*n + 712. Is 22 a factor of i?
True
Let w(m) = 6*m + 69. Let k be w(-12). Let x(j) = 2*j**2 + 4*j. Let d be x(k). Suppose -12*f - d*f = -1260. Does 7 divide f?
True
Let w = 15294 - 437. Is 81 a factor of w?
False
Let j(x) = 11*x**2 + x + 2. Let p be 1/1*(2 + 1). Let u be (p + -2)*3*-1. Is 20 a factor of j(u)?
False
Suppose 0 = -15*m + 3215 + 20260. Let h = m - 919. Is h a multiple of 17?
True
Is (-86538)/(-18) - ((-26)/42 + (-12)/(-42)) a multiple of 15?
False
Let o be 115*3*(-14 - -15). Suppose 351 = j + 2*t, 0 = 2*j - 3*j - 5*t + o. Suppose -5*u = n - 798, -121 - j = -3*u - 2*n. Is 32 a factor of u?
True
Suppose -2*m + 5*r = -2949, 0 = 3*m - 11*r + 13*r - 4395. Suppose -m = -25*u + 7983. Is 42 a factor of u?
True
Suppose -5*a + 67 = -1253. Let i be 5*(-3)/(-15)*a. Does 36 divide (i/(-10))/(12/(-40))?
False
Suppose 268928 = 1704*l - 1682*l. Is l a multiple of 26?
False
Suppose -17*p = -20*p + 78. Let x = p + -28. Is 22 a factor of x/(24/9)*-80?
False
Let p(k) = -k**3 + 68*k**2 + 48*k. Does 51 divide p(68)?
True
Suppose -7466 + 36740 = 17*q. Suppose 2*o - 4*f - q = 0, -11*f + 13*f = -2*o + 1740. Is 40 a factor of o?
False
Let j be 4 + -4 + 6 + -10 + 4. Suppose j = t + 2*p - 667 + 281, p = -t + 388. Does 17 divide t?
False
Suppose 12*b = -2*b + 1582. Suppose 2*z + 258 = 4*c, -3*c - 3*z - b + 302 = 0. Is 8 a factor of c?
True
Let a(b) be the first derivative of 2*b**3/3 - 3*b**2 + 10*b - 33. Suppose -4*z = 3*o + 12, -2*z = 3*o + o - 4. Is a(z) a multiple of 39?
False
Suppose -2*p = 46 - 532. Suppose -5*t + p = f - 2*t, 3*f + 4*t - 744 = 0. Does 6 divide f?
True
Suppose 12*v = 16*v + 18*v. Suppose v = -35*t - 484 + 3599. Is t even?
False
Is 23 a factor of -5750*(12 + -8 + 44/(-10))?
True
Suppose -11*o + 0*o = 2*o - 92040. Is o a multiple of 59?
True
Suppose -4*t + 5*i = -1088 - 719, -t = 3*i - 439. Does 28 divide t?
True
Let p = 3732 + -3665. Is p a multiple of 13?
False
Let a = -378 + 377. Does 17 divide 26994/55 - a/((-20)/(-4))?
False
Suppose 0 = p - 7*p + 24. Suppose q + 5*s - 123 = 0, -p*q - 3*s + 408 = -4*s. Is 8 a factor of q?
False
Let o(z) = z**3 - 15*z**2 - 4*z - 31. Let x be o(15). Does 20 divide (-91 - x) + (0 + 1600)/2?
True
Suppose -2*s + 7*g + 1488 = 2*g, -744 = -s + 2*g. Suppose n + 5*v - s = -n, -n - 3*v + 373 = 0. Is n a multiple of 24?
False
Let d(v) = -162*v + 1496. Is d(4) a multiple of 72?
False
Let m = 48247 - 32823. Does 64 divide m?
True
Suppose 2*u - 224 = -7*c + 6*c, 5*c - 1135 = -5*u. Suppose -14*z + 19*z = 5*r + c, 0 = -4*z - 4*r + 224. Is 3 a factor of z?
True
Does 21 divide (26 + -10 - 17)/((-1)/8146)?
False
Suppose 2*y - 5 + 8 = -b, 4*y + 3 = -5*b. Is 958/2 + (5 - (b - -3)) a multiple of 12?
True
Let s be (-3)/(-21) + (-61737)/(-21). Suppose 0*d - 5*d + s = 0. Suppose 19*q - 16*q - d = 0. Is q a multiple of 28?
True
Let u(i) = 117*i**2 - 39*i - 6. Let r be u(5). Let a = -1712 + r. Is a a multiple of 95?
False
Let n(f) = 52*f + 82. Let r be n(6). Suppose d = r + 56. Is 18 a factor of d?
True
Suppose 11 = 5*p + 31. Let i be 6808/161 + p/14. Is 2198/i + 2/(-6) a multiple of 12?
False
Let j be 33465/552 + 3/8. Suppose o - 45 = -m, -m - 4*o + j = o. Is 25 a factor of m?
False
Let i(x) = 169*x - 602. Does 14 divide i(60)?
False
Let w(r) = 2*r**2 - 28*r - 7. Let d be w(-8). Suppose -d = -2*a + 25. Is 37 a factor of a?
True
Suppose 3*y - 1487 = -h, -1791 - 193 = -4*y - 2*h. Suppose -12*x - y = -15*x. Suppose -o + x = -3*n, 6 = -n + 3*n. Does 58 divide o?
True
Suppose 10838 = -221*a + 222*a. Is 25 a factor of a?
False
Is 52 a factor of (-5)/((-115)/55 - -2)?
False
Let w be 1 + 1 + (-3 - -9 - -47). Let v = 29 + w. Is v a multiple of 21?
True
Suppose 5*c - 20492 = 14878. Suppose 13*o + 14*o = c. Is 31 a factor of o?
False
Suppose -5*q = 107 - 117. Suppose -4*g - 5*m = -q*m - 1034, 0 = 3*g - 3*m - 786. Does 20 divide g?
True
Let v = -1867 + 3436. Is v a multiple of 22?
False
Let m(s) = s**3 - 7*s**2 - 13*s - 7. Let u be m(10). Let l = 199 - u. Does 9 divide l?
True
Let y be 6/8 - 1110/(-24). Let o = 51 - y. Suppose -3*h + 2*c + 2*c = -196, 224 = o*h + 4*c. Is h a multiple of 12?
True
Let k(t) = 53*t - 119. Let b(j) = -17*j + 26. Let m be b(1). Is 12 a factor of k(m)?
False
Suppose 4*w = -7*w + 366212. Is 40 a factor of w/32 + 21/(-56)?
True
Let g be (-10 + 1)*(-4 - 2/(-1)). Is -2 + 897 + 0/g a multiple of 30?
False
Let c = 3927 - 788. Is c a multiple of 43?
True
Let f(i) be the first derivative of 59*i**2 + 36*i - 40. Is 34 a factor of f(2)?
True
Let m(y) = -y + 5. Let t be m(17). Let v be 5 + -2*6/t. Suppose 0 = -v*f + 230 + 52. Does 14 divide f?
False
Is 15 a factor of 8 + -8 - 4650/(5 - 10)?
True
Suppose 0 = 2*r + 8, 0*r + 16 = 2*d - 2*r. Let y = 6 - d. Suppose 0 = 6*a + y*a - 520. Is a a multiple of 18?
False
Let h = -7475 - -15275. Does 20 divide h?
True
Suppose 0 = -3062*l + 3129*l - 431882. Is 5 a factor of l?
False
Suppose 2*t + 47 = -5*c + t, 0 = -4*c - 2*t - 40. Is (-2)/(18/(-6145)) - 2/c a multiple of 18?
False
Let v(b) = -218 + 13*b + 0*b - 4*b + 3*b. Is v(21) a multiple of 14?
False
Let x = -10384 - -17481. Is x a multiple of 36?
False
Suppose 3 = 2*k + k. Suppose -k = 3*d + p - 8, 2 = -d + 4*p. Suppose -2*z + d*i = -i - 36, -2*i = z - 11. Is 15 a factor of z?
True
Let w = -282 + 284. Is (2/w)/(14/1106) a multiple of 5?
False
Suppose -4*h = 20, 2*d - 4*d - 577 = -5*h. Let y = d - -523. Is y a multiple of 3?
True
Suppose 4340 = 34*j - 37650. Does 19 divide j?
True
Suppose 2*u - 1 = 3*g, 4*u + 5*g = -22 - 9. Let j be (-4)/(-2) + 2 - u. Is 13 a factor of 26/(3 - 20/j)?
True
Suppose -6 = 4*u + 5*o - 1, -o - 1 = -4*u. Suppose 4*l - 1643 - 37 = u. Is l a multiple of 12?
True
Suppose 11*v - 98757 - 28062 = -10*v. Is 53 a factor of v?
False
Let d(w) = 1279*w - 47. Does 4 divide d(5)?
True
Let g be (-2 - (-52)/(-8)) + (-6)/(-4). Let w(l) = -2*l - 24. Let p be w(g). Does 31 divide 300/p*9/(-2)?
False
Let n = -36573 - -58862. Is n a multiple of 107?
False
Suppose 3*b + 3*p + 171 = 6*p, -4*b = 3*p + 221. Let s be b/(-9) - (-14)/(-63). Suppose 7*k = s*k + 42. Is k a multiple of 14?
True
Let z = -163 + 183. Let t = z + -1. Is 2 a factor of t?
False
Let i = -6688 - -11349. Does 19 divide i?
False
Let w be (-10)/(-20) - 441/(-2) - 0. Let p = w - 210. Is 7 a factor of p?
False
Suppose 153788 = 4*c + 5*r, -92*c - 115341 = -95*c - 4*r. Does 36 divide c?
False
Let d = 52 + -38. Let m(a) = -3*a + d + 7 + 3 + 0*a. Is m(-15) a multiple of 29?
False
Let u(n) = n**2 - 3*n + 2. Let t(y) = 4*y**2 - 16*y + 10. Let h(q) = -2*t(q) + 11*u(q). Let s be h(5). Let m = s - 36. Is m a multiple of 9?
True
Let d(h) = 2*h**2 - 99*h - 393. Is d(72) a multiple of 20?
False
Suppose -15750 = -5*t - 14*z + 13*z, 0 = -5*t - 2*z + 15750. Is 15 