 Is 5 a factor of j?
True
Does 3 divide (-4511)/(-1) + -2 - 49/(-28)*-4?
False
Let l = 3276 + -2844. Is 6 a factor of l?
True
Let a = 6912 - 5652. Is a a multiple of 60?
True
Let x(f) = -4*f - 18. Let c be x(-6). Does 21 divide c/24 - (3340/(-16) + -1)?
True
Suppose 43120 = -68*u + 108*u. Does 22 divide u?
True
Let s(r) = 11 + 20*r + 12 - 3. Let o be s(13). Suppose 4*a + 8 = o. Is 10 a factor of a?
False
Suppose -8 = 2*t, -4*v + v + t = -154. Suppose -2*f + 3*i + 0*i + 27 = 0, 4*f - 2*i - v = 0. Does 7 divide f?
False
Suppose 0 = -5*d, 789 = 3*g - 4*d - 5259. Suppose 8*l - l = g. Is l a multiple of 12?
True
Let h be (2094/(-4))/(5 - 138/24). Suppose 1610 = 700*w - h*w. Is 35 a factor of w?
True
Let p be ((-4)/(-5))/(-1 - 99/(-90)). Suppose -6*t + 44 = p. Does 5 divide t?
False
Suppose -426761 = -29*c - 84967. Is c a multiple of 83?
True
Suppose 4*r = 5*z - 113674 + 21999, 0 = -4*z - 3*r + 73309. Does 47 divide z?
False
Let c be 2/((-4)/(-1214) + 0). Suppose -c + 2401 = 6*z. Is z a multiple of 13?
True
Let u = 9180 + -6716. Is 8 a factor of u?
True
Let a(v) = 288*v**3 + v**2 + v - 2. Let s = -19 - -20. Does 24 divide a(s)?
True
Suppose 21*v = -8 - 34. Let d(y) = 3*y - 46. Let s(m) = -4*m + 47. Let b(q) = v*s(q) - 3*d(q). Is b(20) a multiple of 3?
True
Let b = -11412 - -47365. Is 17 a factor of b?
False
Let w(d) be the first derivative of d**4/4 - 5*d**3 - 2*d**2 + 33*d - 110. Does 15 divide w(16)?
True
Suppose 8*k = 17235 + 378794 + 54211. Does 20 divide k?
True
Let v(i) = 1908*i - 588. Is 24 a factor of v(9)?
True
Let h be (6/(-9))/((-1)/9). Suppose h*r + 395 = 11*r. Suppose 5*t = 4*j - 282, -3*t = -3*j + 4*j - r. Is 20 a factor of j?
False
Suppose -921 = 2*g + 3*p, -g - 2*p - p = 459. Let c be (2/(-9) - g/(-108))*-2. Suppose j = c*j - 488. Does 5 divide j?
False
Suppose 0 = 5*y + 30 - 15. Let z be y/(-2 + (-606)/(-312)). Suppose -171 + z = -i. Is i a multiple of 17?
True
Is 14/(13737/(-97090) + 1/7) a multiple of 214?
False
Let a = 26 + -24. Let m be ((-1)/(-6))/((-3)/(-27))*a. Suppose w - 53 = -4*v + v, m*v = w - 83. Is w a multiple of 34?
True
Let h(o) = 389*o**2 - 20*o - 12. Is 68 a factor of h(6)?
True
Suppose 2*n = 4*s + 20, 2*s + 2 = -3*n - 8. Suppose n = 3*t - 41 - 79. Suppose -d - t = -5*f, 0*f = 4*f - 5*d - 53. Does 3 divide f?
False
Suppose 0 = -12*l + 13*l - 201. Suppose n + 4*t - l - 15 = 0, 0 = 4*t - 16. Let u = -136 + n. Is 21 a factor of u?
False
Let z = 74 + -201. Let t = -17 + -62. Let d = t - z. Is d a multiple of 16?
True
Let x(d) = d + 12. Let p be x(-9). Let m(r) = -r**2 - 24*r - 41. Let f be m(-2). Suppose 5*o - 4*o = -p*t + 149, 5*o = -f*t + 757. Is 51 a factor of o?
False
Suppose 3335 = 9*l - 661. Suppose 9*o - 20 = 4*o, -4*o = -v + l. Is 4 a factor of v?
True
Suppose 4*y + 4*o = 1152, 0 = -2*y - o + 257 + 316. Suppose -2*d - 3*n = -513, -2*d = -4*n - 207 - y. Is 14 a factor of d?
True
Let d(n) = 7 + 8*n**3 - 18*n**2 + 38*n**2 + 5*n + 4*n**3 - 18*n**2. Is 14 a factor of d(3)?
True
Let g = -921 + 1674. Is 11 a factor of (-290)/58 + g + 0?
True
Let j(k) = 25*k**3 + 11*k**2 + 8*k - 1. Let m(s) = 21*s**3 + 11*s**2 + 8*s - 2. Let w(p) = -5*j(p) + 6*m(p). Is 3 a factor of w(-9)?
False
Let w(t) = -t**2 + 17*t + 10. Let o be w(17). Let f be 9/((-135)/o) - (-582)/9. Suppose u - 5*v = f, 0*v = -5*u + v + 368. Is 37 a factor of u?
True
Let p be (-37)/481 + 2988/(-26). Let n = 218 - p. Is 16 a factor of n?
False
Suppose -9*j + 5*j - 8 = 0. Let y be (-2)/(-7)*(8 + 1 + j). Suppose y*c + 116 = 364. Is 31 a factor of c?
True
Let h(x) = -47*x + 31. Let a be h(-8). Suppose -3*o + a = -5*d, 2*o = d + 424 - 141. Suppose z = -z + o. Is z a multiple of 15?
False
Let f = 6823 - -21891. Is f a multiple of 330?
False
Suppose 0 = -2*v - 2*i + 41 + 15, -50 = -2*v + i. Let t(q) = 18*q - 230. Is t(v) a multiple of 17?
True
Suppose 14*d + 16 = 30. Let m(t) = 77*t**3 + t**2 - 11*t + 10. Does 3 divide m(d)?
False
Let c(x) = -77*x**3 - 7*x**2 + x - 18. Is c(-4) a multiple of 27?
False
Suppose -550837 - 136712 = -93*k. Is k a multiple of 7?
False
Suppose -c = -5*y - 566, -74*y + 79*y = -5. Does 56 divide c?
False
Let q(f) = -f**3 + 13*f**2 - 16*f - 15. Suppose 8 = 5*r + 88. Let v = r - -25. Is 25 a factor of q(v)?
False
Suppose 2*n + 4*q = 41932, q - 83899 = n - 5*n. Is n a multiple of 23?
True
Let d(f) = -638 - 3*f - 13*f + 718. Is d(-19) a multiple of 29?
False
Let o(i) = -2106*i - 86. Is 10 a factor of o(-2)?
False
Let z be (0 + -10)*3/((-15)/(-2)). Is z/38 - 7754/(-19) a multiple of 68?
True
Let o be (-1)/5 - 26/(-5). Let y be 4*11 + o + -8. Let u = 61 - y. Does 5 divide u?
True
Let s(a) = 11*a**2 - a**3 - 310*a + 3 + 310*a. Let f be s(11). Let w = f - -18. Is 7 a factor of w?
True
Let b(g) = 167*g**2 - 4*g - 38. Is 4 a factor of b(6)?
False
Let f(l) = -4*l**3 + 96*l**2 + 204*l - 76. Is 11 a factor of f(24)?
False
Let b = -680 + 681. Let q(i) be the second derivative of 11*i**4/4 + 5*i**3/6 - 5*i**2/2 - i. Is q(b) a multiple of 11?
True
Let t = 23491 + -9268. Is t a multiple of 12?
False
Let g = -24379 + 46673. Does 77 divide g?
False
Suppose -15*o + 38 + 7 = 0. Suppose l - 1296 = -3*v, v = o*v + l - 864. Is v a multiple of 54?
True
Suppose x - 82897 = -5*o + 72985, -4*o + 2*x + 124728 = 0. Does 119 divide o?
True
Let t = -1150 + 2993. Is 19 a factor of t?
True
Let d = 38060 - 31146. Does 16 divide d?
False
Let r be (1 + 0)*(3 - 1)*2. Suppose -48 = -0*y - r*y. Suppose 4*i - h - 391 + 20 = 0, 0 = 4*h + y. Is i a multiple of 23?
True
Let x(t) be the second derivative of 7*t**4/2 + t**3/3 - 12*t. Let v be x(1). Let f = v - -12. Does 14 divide f?
True
Let h = -70 - -60. Let l be 5*(-8)/(-100) + 14/h. Is l/(-3 - 998/(-250) - 1) a multiple of 25?
True
Let p(q) be the second derivative of 4*q**3/3 + 31*q**2 + 164*q. Is 5 a factor of p(16)?
True
Suppose 3*r - 4*p - 457 = 0, -4*r - 5*p + 631 = -6*p. Suppose 4*v = f - v - r, -5*f + 743 = v. Is 2 a factor of f?
False
Let j = -227 - -301. Let c = 9 + -8. Let a = j - c. Is a a multiple of 9?
False
Let p = -90 + 65. Let n(j) = j**3 + 25*j**2 - 6*j - 90. Is n(p) a multiple of 6?
True
Let q(t) = 65*t**2 + 27*t - 126*t**2 + 64*t**2 - 7. Let d(j) = -11*j**3 + j**2 - j. Let k be d(1). Is q(k) a multiple of 12?
False
Let v be -4 + (-3 + -1 - -33). Suppose 0*t + 5*a - v = 3*t, 0 = 3*a + 12. Does 12 divide (t/(-1) - (0 - 3))/1?
False
Let f(x) = 30*x + 248. Let q(u) = 17*u + 139. Let r(c) = 9*f(c) - 16*q(c). Let y = -3 - 4. Is r(y) a multiple of 9?
False
Let j = -752 + 770. Suppose -25184 = 2*w - j*w. Does 16 divide w?
False
Suppose 3*s + 57*z - 17292 = 53*z, -s + z + 5771 = 0. Is s a multiple of 7?
True
Let c(p) = p**2 + 16*p + 44. Let z be c(-13). Suppose 3*m - z*w - 1182 = 2335, -w + 4 = 0. Is m a multiple of 17?
False
Is 130 a factor of 60*(-57)/(-42)*(-4914)/(-81)?
True
Suppose 71313 = 46*c - 512838 - 1892443. Is 52 a factor of c?
False
Let q(z) = -z**3 + 38*z**2 + 67*z + 79. Does 10 divide q(38)?
False
Let u(n) = 24108*n**2 - 5*n. Does 79 divide u(-1)?
False
Let j(c) = 59*c + 1721. Is j(11) a multiple of 30?
True
Let k(z) = -z**2 + 24*z - 9. Let x be 5*(6 - (-168)/(-40)). Does 7 divide k(x)?
True
Suppose o = -5*d + 1884, -9576 = -5*o - 1823*d + 1824*d. Is o a multiple of 29?
True
Let w(l) = 233*l - 1. Let q be w(2). Let k(t) = -56*t - 39. Let g be k(-3). Let j = q - g. Does 24 divide j?
True
Suppose 0 = -4*q + y + 57448, 24*q - 21*q + 2*y - 43064 = 0. Does 10 divide q?
True
Let f(u) = 16*u - 46 + 20*u - 3757*u**2 + 3759*u**2. Is f(-20) even?
True
Suppose -2*t + 194 + 149 = -5*b, -b = 4*t - 697. Is t even?
True
Suppose -i + 7*g = 11*g - 11450, -3*i + 34372 = g. Is i a multiple of 34?
True
Suppose 13*b - 17*b = 4. Let m be (0 + -2)/(-1)*(0 + b). Is 27 a factor of m*(-994)/44 + 2/(-11)?
False
Let r(i) = i**3 - 3*i**2 + 5*i - 2. Suppose 3*q - 10 = 8. Let m be r(q). Suppose m = -f + 5*f. Is f a multiple of 17?
True
Let g(c) = -2*c**2 + 39*c**3 - 7*c - 10*c**3 + 7 + 37*c**3. Is g(1) a multiple of 9?
False
Suppose 4*u - 28 = 0, -v - 10*u + 11098 = -6*u. Is 14 a factor of v?
False
Let k = 53168 - 36983. Is 22 a factor of k?
False
Let q(w) = -w**3 + 5*w**2 + 8*w - 8. Let y be q(6). Suppose y*v - o = 798, 5*o + 806 = 4*v - 0*v. Let z = -49 + v. Does 33 divide z?
False
Let x(t) = 6*t**2 + 6*t - 3. Let u be x(-2). Let q b