se 5 = 5*g - 5. Suppose -390 = -g*l - 368. Is l a multiple of 4?
False
Let i(r) = -28*r + 88*r - 32*r - 24. Let z be i(9). Let g = -152 + z. Does 19 divide g?
True
Let q = 610 + -610. Let m(p) = -p**2 + 6*p + 955. Does 18 divide m(q)?
False
Let o(t) = -6*t + 7*t - 3*t + 23 + 3*t. Let c be o(-13). Is 16 a factor of 24/c*120/9?
True
Let w be 313/9 - ((-50)/(-18) + -3). Suppose 27 = -2*u + w. Suppose 3*i + f - 441 = -2*f, -u*i + 633 = -5*f. Is i a multiple of 19?
True
Let p = 50706 - 28722. Is 229 a factor of p?
True
Let t = -22172 - -22281. Is t a multiple of 109?
True
Let j be (4/6)/(((-12)/(-18))/(-2)). Let m be (5/(-4 - -5))/(j/6). Let l = 55 + m. Is l a multiple of 11?
False
Suppose 29800 = 101*p - 76*p. Is 8 a factor of p?
True
Let m(d) = d**3 - d**2 - 12*d + 1. Let q be m(5). Let n = q + -36. Suppose 5*i - 323 = -n*g + 302, -5*i + 629 = g. Is i a multiple of 18?
True
Suppose -8*i = -4*q + 2592, -q = -3*i + 58 - 698. Is q a multiple of 3?
False
Let q(o) = o**2 - o - 88. Let u be q(-9). Suppose 0 = -u*b - 261 + 733. Is b a multiple of 59?
True
Suppose -70624 - 40256 = -11*m - 4*m. Is 168 a factor of m?
True
Suppose -2*c = -5*n - 15189, -3*c - 9*n + 22777 = -10*n. Is 43 a factor of c?
False
Suppose -p + 206 = 2*w - 797, 12 = 4*p. Suppose 9*l + w = -823. Is (20/(-6))/(7/l) a multiple of 17?
False
Let q(b) = 2*b**3 + 111*b**2 - 152*b + 94. Is 19 a factor of q(-56)?
False
Let v be (-2)/(-2) - -1 - 0. Suppose 3*g + 0*g + 113 = 491. Suppose v*c - g = 138. Is 22 a factor of c?
True
Suppose -4*w = -54 - 22. Suppose 2*u + 5*n = 2*n + w, -5*u - 5*n + 35 = 0. Does 10 divide (-3 + 5)/(u/(-20)*-1)?
True
Suppose 0 = -3*o - 24, a + 618 - 8324 = -3*o. Is 11 a factor of a?
False
Suppose 9571 - 1875 = 16*d. Is 37 a factor of d?
True
Let y(s) = s**3 - 5*s**2 - 8*s - 17. Let g be y(8). Suppose 1275 = 11*i - g. Does 9 divide i?
True
Let z(i) = 2*i**2 - 11*i + 7. Let n be z(0). Does 23 divide n*(-1)/2*34424/(-182)?
False
Suppose 3*g + 9*g = 1548. Let o = -153 + g. Let h(p) = 2*p + 74. Is h(o) even?
True
Suppose -3*j = 2*k - 9616, -k + 5*j + 3145 + 1663 = 0. Is k a multiple of 40?
False
Let n = 1259 + 1972. Suppose -n = -6*v - 3*v. Let h = v + -64. Is h a multiple of 25?
False
Let y(v) = 323*v - 975. Is y(9) a multiple of 21?
True
Suppose -21*v = -19*v + 2*l - 6674, 3*v = 2*l + 10006. Does 25 divide v?
False
Let j(b) = -b**2 - 15*b**3 + 3 + 28*b**3 - 4*b + 0*b**2 + 3*b**2. Does 4 divide j(2)?
False
Let c(x) = -23*x + 82. Let m be c(3). Is 2/m + 22062/78 a multiple of 29?
False
Suppose -19 - 3 = -2*c - 4*o, 2*c - 7 = -o. Let j be (c + 1)/((-4)/(-6)). Suppose 4*q - 2*x - 71 = -q, 74 = 5*q - j*x. Does 6 divide q?
False
Let h = -24697 - -45877. Does 20 divide h?
True
Suppose 12 = -3*i, 12*i - 18204 = -4*n + 15*i. Suppose 4*t = -2*v + 2692, -3*t + n = 3*v + 513. Does 56 divide v?
True
Suppose 37*n + 5*j - 4330 = 35*n, -5*j - 2150 = -n. Does 60 divide n?
True
Let v(g) = g - 7. Let k be v(7). Suppose k = 107*u - 112*u + 15. Suppose -4*j + 3*z + 248 = -392, -3*z = -u*j + 480. Does 32 divide j?
True
Suppose 21*m - 6388 = 11863 - 4748. Is 47 a factor of m?
False
Suppose -3*n - 1487 = -4*v, -5*n + 5*v - 1984 = -n. Let f = n + 718. Does 22 divide f?
False
Is 10 a factor of (45/36)/(0 + 4/576)?
True
Does 15 divide (11/3 - (-4)/12)*40755/44?
True
Let f = 13056 - 284. Does 124 divide f?
True
Let c = 2127 + -1466. Suppose -3*l + c = 2*h - 174, -l = 4*h - 1665. Does 32 divide h?
True
Let j(r) = r**3 + 15*r**2 - 5*r - 3. Let i = -17 + 24. Suppose 4*q = -v - i, 0 = v - 4*v + 5*q - 55. Does 36 divide j(v)?
True
Is 32402/12 - ((-441)/(-54) + -8) a multiple of 27?
True
Let b = 99 + 29. Suppose 2*q = 332 - b. Does 3 divide q?
True
Let f be 13/(52/40) + 1. Let o = 88 + f. Is o a multiple of 42?
False
Let q(x) = x**3 - 4*x**2 - 8*x - 4. Let i be q(-2). Is 9 a factor of 6/4*(-16)/i - -101?
False
Suppose -4*u + 130008 = 3*g, 1572*g = 1575*g - u - 130038. Is g a multiple of 336?
True
Let g(d) = 1548*d + 352. Does 10 divide g(6)?
True
Let m(f) be the third derivative of -f**5/20 - 13*f**4/8 + f**3/3 - 3*f**2. Suppose 0 = -45*y + 43*y - 14. Is m(y) a multiple of 13?
False
Let n(j) be the second derivative of -j**5/20 + 5*j**4/2 - 13*j**3/3 - 13*j**2/2 + 2*j + 23. Does 6 divide n(29)?
False
Suppose j = 5*j, 948 = x - j. Suppose 1264 = 5*y - 2*u, 184 = -3*y + 4*u + x. Does 14 divide y?
True
Let n be -12*5/(50/(-5)). Let m(j) = 5*j**3 - 3*j**2 - j**3 - n*j - 4*j**3 - 8 - j**3. Is 3 a factor of m(-3)?
False
Let s = 2112 + -2129. Suppose 4*b - 104 = 172. Let h = s + b. Does 5 divide h?
False
Let v be (60/84 + 4/14)/1. Is (1406/76)/(v*1/2) a multiple of 5?
False
Suppose z - 2*l - 53991 + 20817 = 0, -3*z - 5*l + 99533 = 0. Is z a multiple of 19?
False
Let b(v) = 17*v + 104. Let r be b(-6). Suppose -587 = -3*q + 5*x, r*q + 5*x = 223 + 185. Does 4 divide q?
False
Let z = -2201 - -4144. Suppose 18*y - 127 = z. Is y a multiple of 23?
True
Let c(q) be the third derivative of -13*q**6/120 - q**5/60 - 7*q**4/24 - 5*q**3/2 - 55*q**2. Is 58 a factor of c(-3)?
True
Let h be (-1932)/460 + (1/1)/5. Let w(d) = d**2 - 4*d - 13. Let l be w(h). Let j = l - 6. Is 2 a factor of j?
False
Suppose -222*g + 185*g + 192474 = 0. Does 3 divide g?
True
Let q be 0/((-18)/3) - 162*4. Suppose -901 = 2*l + 3*j, l - 2*l = 2*j + 450. Let c = l - q. Is 12 a factor of c?
False
Let r(d) = 2*d - 18. Let f be r(8). Let o(s) = 73*s**2 - 11*s + 1. Is o(f) a multiple of 45?
True
Let s = 1586 + -1098. Is 4 a factor of s?
True
Suppose -4787 - 66 = -13*p + 1725. Is p a multiple of 11?
True
Suppose -2*s = 9 - 17. Let t be (-2)/(-4) + 138/s + -1. Let z = t - -91. Does 25 divide z?
True
Suppose -5*s - 2*r + 37 = 2*r, 5*r = 3*s. Let g(x) = 2*x - 7. Let v be g(s). Is 6 a factor of (-9)/v + 0 + 82?
False
Let s = -80 + 140. Suppose 13*v - 9*v - s = 0. Let z = 78 - v. Is z a multiple of 42?
False
Suppose 278*t = 101*t + 1396353. Is 11 a factor of t?
False
Let g(v) = v**3 - 11*v**2 - 3*v + 36. Let j be g(11). Is j*(-8)/(-84)*2527 a multiple of 46?
False
Suppose -d - 6 = 0, 2*t = -2*d - 2095 + 5633. Does 5 divide t?
True
Let f = 37 - 36. Let p be (f/(-2))/(5*1/(-80)). Suppose 380 = 5*w - 4*q, -w + p = q - 68. Is 38 a factor of w?
True
Let d = 7966 + -7918. Is 48 a factor of d?
True
Is 1*8/(-36) - (-299528)/36 a multiple of 32?
True
Suppose -4*n - 924 = 2*z, -3*z - 1156 = 2*n + 3*n. Let m = -128 - n. Is 6 a factor of m?
True
Let t(h) = -26*h + 55. Let a be t(2). Suppose 5*n - 7*b - 927 = -4*b, 0 = a*b - 3. Is 2 a factor of n?
True
Suppose 5*o - 3*n - 3382 = -4*n, 0 = 2*o + n - 1354. Suppose 2*w = -y + 666, -w - 4*y - o = -3*w. Is w a multiple of 27?
False
Suppose -a = -0*a + 2, 2*t - 50 = 5*a. Is 4 a factor of -3*t/75 + 8352/40?
True
Let h(a) = -10*a - 11. Let u be h(-6). Let g = u + 51. Suppose -g*p + 160 = -95*p. Is 8 a factor of p?
True
Suppose 0 = 42*t - 7*t - 54075. Is 5 a factor of t?
True
Suppose -29 = -3*l + 5*g - 10*g, -5*g + 26 = 2*l. Suppose 4*s + v = -3*v + 116, -l*v = -4*s + 81. Is s a multiple of 12?
True
Suppose -990381 = 235*i - 3775131. Is i a multiple of 30?
True
Let j be (10/8)/(7/36064*8). Is (-7)/((-98)/24)*j/10 a multiple of 29?
False
Let x = 216 + -671. Let i = -301 - x. Suppose -22 = 6*w - i. Is w a multiple of 10?
False
Let o be (-1 - (-8 - -2)) + (1 - 0). Let u be ((-2852)/52)/(-1) - o/(-39). Suppose -12 = -4*y, -m + 2*y = -157 - u. Does 26 divide m?
False
Suppose -k - 4014 = -t, 2*t - 8007 = 334*k - 339*k. Does 191 divide t?
True
Let s(j) be the third derivative of j**6/120 - j**5/30 - j**4/8 - j**3 + 8*j**2. Let g be s(5). Let w = g - 10. Is w a multiple of 4?
True
Suppose -k - 4*h + 0*h = -94, -2*k + 3*h = -221. Suppose -k = -4*t + 94. Is 6 a factor of t?
False
Is 58 a factor of 1*1313/(-39)*-45?
False
Let b(j) = 19*j + 4. Let u be b(-8). Let h = -10 - u. Let i = h - 54. Does 14 divide i?
True
Suppose -55*r = -78*r + 69. Let v(j) be the first derivative of j**3 + j**2/2 + 12*j - 1. Does 6 divide v(r)?
True
Let g(l) = 3*l + l**3 + 97*l**2 + 4 - l - 95*l**2. Let t be g(4). Is (-1 - t/(-8))/(1/8) a multiple of 5?
True
Let x(a) = -4*a + 48. Let l(v) = -1. Let r(k) = -16*l(k) - x(k). Let t be r(8). Suppose t = h - 11 - 119. Does 13 divide h?
True
Suppose 74*d - 12870 = 63*d. Is 5 a factor of d?
True
Suppose -2*f - 33*z = -37