5 - -6*(2 - a/6)?
True
Let s be 16/(-40) + (-2385)/(-25). Is 13 a factor of (432/60)/(2/s)?
False
Let x(y) = 21*y + 15. Let z(u) = -19*u - 15. Let k(r) = -2*x(r) - 3*z(r). Suppose -3*b + 3 + 30 = 0. Does 20 divide k(b)?
True
Suppose 0 = -2*v - 4, -3*a - 4*v + 277 + 234 = 0. Suppose 5*b - 2*j = 61 + a, -j = -b + 45. Is b even?
True
Let y(f) = -56*f**3 + f**2 + 5*f + 3. Let q be y(-1). Suppose 0*g + 2*l + 24 = 2*g, -5*g + 4*l = -q. Suppose -20 - 43 = -g*d. Is 2 a factor of d?
False
Is (229/3)/((-632)/(-312) - (5 + -3)) a multiple of 13?
True
Suppose 16*q = 9*q - 14. Is (11 - 13)/(q/576) a multiple of 6?
True
Suppose -f = -1422 - 175. Is f a multiple of 5?
False
Suppose 43*a + 6426 = 60*a. Is a a multiple of 34?
False
Is 5 a factor of -3 - 61434/(-8) - (5 + (-165)/44)?
True
Let g be (10 - (-8 - -8))*(-4)/8. Is (-8814 - 6)/g - -4 a multiple of 14?
False
Suppose 28*v + 6*v = 10*v + 227256. Does 171 divide v?
False
Suppose 4 = -14*y + 15*y. Suppose -3*i = y*i - 812. Suppose 3*h - 176 = -b + 3*b, 2*h - 2*b = i. Does 21 divide h?
False
Suppose r = -5*s + 45, -s - 36 = -r - 3*s. Let d = 33 - r. Suppose 0*q - 2*a = q - 120, 340 = d*q + a. Is 20 a factor of q?
False
Suppose -47*n + 41*n + 1380 = 0. Suppose 7*h - 6*h - n = 0. Does 65 divide h?
False
Let c(z) = 332*z**2 - 3*z - 3. Let t be c(-1). Does 22 divide t - 1*(5 - 3)?
True
Let s(o) = -36*o**2 - 6*o - 5. Let q(h) = h**2 - h. Let c(w) = q(w) - s(w). Is 10 a factor of c(-4)?
False
Suppose 0 = j + 2*n - 33, 6*n - 141 = -5*j + 4*n. Suppose 5*u = 3*r, 4 + 3 = 4*u - r. Suppose -4*t - 28 = -3*l, -j = -u*l + 4*t - t. Is l a multiple of 3?
False
Let y be ((-56)/(-5))/(14/35). Let k(f) = -10*f - 16*f + 4 + 18*f**2 + y*f. Is 10 a factor of k(2)?
True
Let b be -33*4/(-4) - -1. Let f(p) = 15*p - 132. Is f(b) a multiple of 21?
True
Let f = 24570 + -22716. Does 9 divide f?
True
Let f(o) = 183*o - 1600. Does 84 divide f(52)?
False
Is 18 a factor of (-26 + (-25864)/48)*-18?
False
Let i(o) = 16*o + 1036. Is i(26) a multiple of 62?
False
Suppose -151 = -2*k - 27. Let h = -28 + k. Suppose -h = g - 44. Is 2 a factor of g?
True
Does 43 divide 449*(-543)/(-21) + (-41 - 7776/(-189))?
True
Suppose -3*k + 3*y - 6*y = 255, -250 = 3*k - 2*y. Is (-16996)/k + 14/(-6) a multiple of 25?
True
Let n(z) = z**3 - 10*z**2 + 7*z - 7. Let c be n(12). Suppose -171 = -l + 26. Let g = c - l. Does 16 divide g?
False
Let p(z) be the first derivative of -11*z - 17 - 3/2*z**2. Is p(-10) a multiple of 19?
True
Suppose 28*n - 3760 = 8*n. Let z = n - -97. Is z a multiple of 36?
False
Let b be 1 + ((-101)/11 - 34/(-187)). Is (b - -6)*-22*(-106)/(-4) a multiple of 53?
True
Let z(j) = 5*j + 50. Let h be z(-13). Does 28 divide 1051/2 - h/10?
False
Let j(t) = 6*t - 11 + 0 - 2*t + 3*t. Let p be j(3). Suppose 2*g + 3*g + p = 0, -377 = -3*k + g. Does 25 divide k?
True
Let z be ((-732)/(-10))/(7/35). Suppose 594 = -6*q - z. Is 25 a factor of q/15*(-9)/4 - -1?
True
Suppose -1418868 = -94*p + 1824132. Does 20 divide p?
True
Let o = -11 - -17. Suppose -9 = -o*n + 735. Let x = n - 67. Is x a multiple of 19?
True
Suppose 5*c = 7*c - 4. Suppose 0 = -z + 2*r - 3, c*z + 7 = 5*r - 3. Suppose -3*u = -z*x - 110, -5*u + 4*x + 192 = -0*u. Does 10 divide u?
True
Suppose 38 = -0*w - 2*w. Let s(d) = -d. Let c(t) = 15*t + 46. Let z(n) = -c(n) - 5*s(n). Does 36 divide z(w)?
True
Let g = -391 - -510. Suppose 4023 = 32*b + g. Does 11 divide b?
False
Let p be (-6)/4*(-1590)/45. Suppose 42*z = p*z - 2574. Is z a multiple of 26?
True
Let m(o) = -48 - 36*o**3 - 38*o**2 - 16 - 40*o + 34*o**3 + 5. Is m(-18) a multiple of 11?
False
Let u = -75 + 76. Let f be 589 + (7 - u)*(-1)/(-2). Suppose -3*i + f = -59. Is i a multiple of 43?
False
Suppose 2*v + 0*v + 10 = 0, -5*x - 3*v - 5 = 0. Suppose x*y + 4*j = -12, -j + 4*j + 9 = 3*y. Suppose y*q - q = -14. Does 5 divide q?
False
Suppose 0 = 2*o + 3*t + 12 - 35, 44 = 3*o - 5*t. Suppose -f - 5*u = -1466, 7206 = o*f - 8*f - 6*u. Is f a multiple of 78?
False
Suppose 2*t = -5*g + 7611 - 2449, 3*t + 2*g - 7699 = 0. Is t a multiple of 13?
True
Is 52 a factor of (243360/1300)/((-2)/(-15))?
True
Let b = 2852 - 1966. Let h = -511 + b. Does 25 divide h?
True
Suppose 0 = -10*j - 2*f + 350084, -5*j + 129340 = -5*f - 45690. Does 192 divide j?
False
Suppose -80*d + 284400 = -0*d. Is d a multiple of 95?
False
Let g(b) be the second derivative of -11*b**3/2 - 71*b**2 - 5*b + 8. Does 14 divide g(-16)?
False
Suppose -91 = -5*a - 51. Suppose 2*x - a = -5*m - 0*x, m = x + 3. Is 16 a factor of 64*m*(-4)/(-16)?
True
Let j(z) = -2*z - z**2 - 3 + 1 - 6. Let x be j(-3). Let u(q) = -2*q + 44. Is u(x) a multiple of 11?
True
Let j(x) = 2464*x**2 + 4*x + 17. Is j(-2) a multiple of 55?
False
Suppose 0*z = 5*r + 5*z - 40, -2*r + z = -28. Suppose -2*u = o - 7*u - 22, 2*o = 2*u + r. Does 12 divide o*((-595)/(-10) + 4)?
False
Suppose -22208 = 13*p - 212671. Does 91 divide p?
True
Let u = 494 - 490. Suppose 3*q = 2*i - 13 + 3, -2*q - 20 = -u*i. Does 2 divide i?
False
Let h be (-1)/((-139)/35 + (-29 - -33)). Let r = h - -113. Is r a multiple of 39?
True
Let t(b) = b**3 + 23*b**2 - 27*b + 51. Suppose 3*k + 84 = -4*r, -k - 4*r - 8 = 28. Does 20 divide t(k)?
False
Is 82 a factor of 34594/2 + -1 + (-66)/(-11)?
True
Is 115 a factor of 14806 - (25 - (32 - 10))?
False
Let m = 24 + -20. Suppose 3*j - 2*g - 17 = -4*g, -m*g + 13 = -j. Suppose 0*f = -j*f, 0 = z - f - 16. Is z a multiple of 8?
True
Suppose 808 = -9*s + 5*s. Let h = s + 125. Let m = 94 + h. Is 2 a factor of m?
False
Let o be 3 + (3 - (3 + 1)). Let t(v) = -25*v**2 + 6*v + 4. Let m be t(-4). Does 8 divide (9/o)/(-5*6/m)?
False
Let c be 8 + -10 + 1 + 5 + -2. Is c + (-2 - 0) + (-17 - -301) a multiple of 5?
False
Let y(b) = 5*b**3 - 14*b**2 - 8*b - 16. Let d(u) = 14*u**3 - 43*u**2 - 25*u - 48. Let p(f) = -6*d(f) + 17*y(f). Does 20 divide p(-12)?
True
Let c(o) = o**2 + 29*o - 30. Let r be c(-30). Suppose r = -6*a + 4412 + 268. Does 65 divide a?
True
Let q be 3/((-335)/80 + 4). Is 1054/(-8)*(q + 12) a multiple of 11?
False
Let b(a) = 89*a - 6. Let l be b(4). Let w = l - 182. Let m = w + -88. Is 17 a factor of m?
False
Suppose -4*o - 384 = -3*n, -6*n - 5*o + 279 = -4*n. Suppose -21*q - n = -24*q. Is 11 a factor of q?
True
Let q(r) = r**2 + 27*r + 267. Is 10 a factor of q(-8)?
False
Suppose 6 = -3*f + 12. Suppose -4*v + 6 = -f. Is v/4 + (-376)/(-16) a multiple of 4?
True
Let m(j) = -j**3 - 7*j**2 + 5*j - 19. Let u be m(-8). Suppose 5*f = -t + u + 3, -2*f + 14 = -5*t. Suppose 167 + 13 = f*i. Does 9 divide i?
True
Let w = 14028 - 1158. Is w a multiple of 33?
True
Suppose -527 - 1788 = -40*b + 7445. Is b a multiple of 7?
False
Let r(i) = 24484*i + 892. Does 20 divide r(2)?
True
Let v be 5 + 1 + 1 + 8/(-4). Let p(u) = -2*u + 12. Let o be p(v). Suppose o*r - 167 = -3*g, 2*g - 4*r + 13 = 119. Is 5 a factor of g?
True
Let d = 96 + -80. Let w = d + -16. Suppose -i - 172 = -3*a - w*a, 0 = -i + 2. Does 29 divide a?
True
Suppose 4*u - 8 - 2 = -2*a, -4*a = 2*u - 2. Does 41 divide 95/57 + 496/u?
False
Is 8/14 - ((-134586)/42 - -2) a multiple of 128?
False
Let k(z) = -13*z + 102. Let n be k(-24). Suppose 5*h = -4*d + 557, 0 = 3*d + 8*h - 3*h - n. Is d a multiple of 13?
True
Let q be (-3)/(6/3 + -3). Suppose q*z + 4*o - 366 = 230, 0 = -4*o - 16. Suppose 3*k - w - z - 196 = 0, 3*w - 662 = -5*k. Does 19 divide k?
True
Suppose -2*z + 2*c + 0*c = -1388, 0 = -2*z + 5*c + 1391. Let n be (6/4)/((-57)/(-380)). Suppose -17*i + n*i = -z. Is i a multiple of 33?
True
Let r = 58 - 52. Let d be -150 + (-3)/(r/(-4)). Does 7 divide (4/(-10))/1 + d/(-20)?
True
Let y = 11281 + -2731. Does 75 divide y?
True
Let y = 310 - 141. Suppose y + 55 = 8*l. Is 5 a factor of 12*1*(0 + 231/l)?
False
Suppose a + 5*z - 18 = 7*z, -3*z + 3 = 0. Suppose 42*t - 37*t + a = 0, t + 1029 = 5*k. Does 17 divide k?
False
Suppose 2*y = -w - 316 + 13020, -3*y = -4*w + 50871. Does 15 divide w?
False
Suppose -5 - 7 = -3*k. Suppose 5*x + 5*q - 3*q = 5581, -k*x + 4463 = q. Suppose -9*u = 323 - x. Is 27 a factor of u?
False
Let n = -7 - -4. Does 10 divide ((-2)/n*-6)/(-1) + 16?
True
Let o be (40/25)/(20/25). Suppose -a = -3*q + o*q - 457, -3*q = a - 441. Does 35 divide a?
False
Let r(i) be the second derivative of -19*i**3/2 + 133*i**2/2 - 11*i - 3. Is 35 a factor of r(-17)?
False
Let g(u) =