 21 a factor of r(5)?
True
Let b be ((-24)/16)/(6/104). Does 8 divide b*(-93)/6 + -3?
True
Let t(u) = -3*u. Let n be t(-2). Let x = -1384 + 1663. Suppose -n*o + x = -135. Is 13 a factor of o?
False
Let s = -126 + 175. Suppose -41*l + s*l - 3024 = 0. Is 54 a factor of l?
True
Suppose 339*a - 7235 = -5*n + 344*a, -3*n + 4339 = -2*a. Is n a multiple of 25?
False
Let r = -36 + 41. Suppose r*z + 34 = 2*v, -z + 51 = 3*v - 3*z. Suppose -5 = -2*m + 5, t - 2*m - v = 0. Does 2 divide t?
False
Let z be ((-4)/(-6))/(7 + 2256/(-324)). Let h(w) = 9*w - 59. Does 14 divide h(z)?
False
Suppose 4*l - 16767 - 2223 = 3450. Is l a multiple of 170?
True
Suppose -5*z = -2*z. Suppose 0 = -2*v - z*v + 312. Suppose v + 10 = 2*d. Does 10 divide d?
False
Let j be 21*(-24)/16*4/6. Does 5 divide j/28*-156 + (-2 - -5)?
True
Let y be -3*2 - (-12447)/27. Let l = y + 605. Is 10 a factor of l?
True
Let o(d) = 121*d**2 + d - 6. Let w(x) = 6*x**2 - 26*x + 10. Let b be w(4). Is 15 a factor of o(b)?
True
Let o(b) = -b**2 + 7*b + 269. Let u be o(18). Suppose x = -2*j - 3*x + 46, -3*x = -2*j + 74. Let y = u - j. Is y a multiple of 12?
False
Let m(l) = 3*l**2 - 39*l - 30. Is m(-20) a multiple of 7?
False
Let w be (2/(-2))/(1/(-7)). Suppose w*j = -3*j + 2050. Is 18 a factor of j?
False
Suppose 5*d - 135*v = -137*v + 1688, d - 316 = 5*v. Does 8 divide d?
True
Let w = -32 - -37. Suppose -4*a = h - 443, -h + 5*a = -w*h + 1750. Is 15 a factor of h?
True
Let l = 219664 + -145760. Is 28 a factor of l?
False
Let x be (10/(-4))/(26/208). Let i(z) = -29*z - 72. Is i(x) a multiple of 9?
False
Suppose -82*a + 77*a = -60. Suppose -a - 114 = -3*g. Is g a multiple of 14?
True
Suppose 10*m = 45*m + 3115. Let j = m + 112. Does 10 divide j?
False
Let y be (-3)/2 + (-11934)/(-12). Suppose 4*m + 5*v = 4*v + y, 0 = 4*m - v - 983. Does 8 divide (m/26)/((-2)/(-12))?
False
Does 4 divide -195*21/((-819)/52)?
True
Suppose -265304 + 34229 = -75*j. Is j a multiple of 69?
False
Let y be (129*2)/((27/12)/9). Suppose -10*a + y = -1128. Does 36 divide a?
True
Suppose 4602 = 27*h - 29*h + 4*w, -h + 3*w = 2302. Does 24 divide 7/(-42) - h/6?
False
Let v(x) = -8*x - 38. Let m be v(-6). Suppose m*y - 3406 = -3*y. Is 8 a factor of y?
False
Let p(d) = 4*d**2 - 4*d - 6. Suppose -7*j = -12*j - 15. Let a be p(j). Let z = -39 + a. Is z a multiple of 3?
True
Let v(i) = 240*i + 4848. Does 3 divide v(19)?
True
Is 6 a factor of (-42)/70 - 349083/(-105)?
True
Suppose 4*a = -a + 1130. Let m = -95 + a. Is 56 a factor of m?
False
Let a(q) be the first derivative of q**7/840 + q**6/30 + q**5/10 + 11*q**4/12 - 4*q**3 - 15. Let c(u) be the third derivative of a(u). Does 17 divide c(-10)?
True
Let j(r) = r**2 + 10*r + 32. Suppose 72 = 4*h + 5*l, 4*h = -l + 8 + 48. Let n(d) = d**3 - 14*d**2 + 12*d + 5. Let o be n(h). Is 8 a factor of j(o)?
True
Suppose 5*n = 4*v - 92605, 23149 = 13*v - 12*v - 2*n. Is v a multiple of 118?
False
Let m = -6577 - -8268. Is 4 a factor of m?
False
Let p = 8478 - 1697. Is p a multiple of 20?
False
Suppose -11*o + 45 = 1. Suppose -3*w - 101 = -1085. Suppose -4*c + w = -0*c - 4*r, -446 = -5*c - o*r. Is 7 a factor of c?
False
Let v(l) = 62*l + 323. Is 18 a factor of v(12)?
False
Suppose -8*l + 3*h + 9344 = -4*l, 4*h + 11680 = 5*l. Is 4 a factor of l?
True
Let z(f) = 6*f + 9. Let b be z(-9). Let j be ((-16)/(-10))/(18/b). Let l = j + 49. Is 7 a factor of l?
False
Suppose 0 = -5*j + 5*n + 35, -3*j + 2*n + 7 = -9. Suppose q = j*q - 71. Is 9 a factor of q?
False
Is 8827 - (165/(-15) - 1) a multiple of 152?
False
Let l(t) be the first derivative of t**4/4 - t**3/3 - t**2/2 - t + 14. Let i = -83 + 86. Does 14 divide l(i)?
True
Suppose 59*a - 45*a - 140 = 0. Does 9 divide ((-6)/(-10))/((a/(-1650))/(-1))?
True
Suppose -19*r + 23*r - 464 = -5*a, 5*r + 5*a - 580 = 0. Suppose -2*m = 3*m + 360. Let w = m + r. Is w a multiple of 5?
False
Let k = -3 - -5. Suppose -1 = 2*p - k*r + 7, 20 = p + 5*r. Suppose -a - 19 = -5*l, p = -2*l - 3*l + 5*a + 35. Does 2 divide l?
False
Suppose -31*f + 74058 = 2820. Is f a multiple of 61?
False
Let q(d) = -925*d - 3631. Is 83 a factor of q(-19)?
True
Let l(d) = 3*d**2 + 2*d - 5. Let a be l(-4). Is (-1490)/4*(-14)/a a multiple of 26?
False
Let c be 3789/18*-1*(-1 - 1). Suppose 5*i - 159 = c. Let g = i + -4. Is g a multiple of 16?
True
Let n be 6/2 - (2 + -1). Suppose n*z - 6*z + 5*d = -23, -5*z + 4*d + 22 = 0. Suppose 0 = p - 5*j - 74, -z*p + 84 = 3*j - 25. Does 25 divide p?
False
Let z be ((-42)/12)/7 + 37/2. Suppose 0 = 5*h + 4*b - 2*b - z, 3*h + 6 = 3*b. Is 14 a factor of (-236)/(-2) + h - -1?
False
Let a be 1/((-1)/(-5)) - (-24)/(-8). Suppose x = a*u + 107, -4*x - 4*u + 9*u + 425 = 0. Suppose -2*q + 6*q - 4*d = 100, -5*q - 5*d = -x. Does 5 divide q?
False
Let w = -99 - -98. Let h be (-8)/w - (12 - 10). Suppose -3*c = -3*y - 138, c + h*y - 34 = y. Is 7 a factor of c?
False
Suppose 167*o - 171*o = 3*n - 26037, -5*n = -o - 43441. Is 73 a factor of n?
True
Let i(r) = r - 108. Let y(d) be the second derivative of -d**3/6 + 34*d. Let p(a) = -i(a) + y(a). Is p(0) a multiple of 18?
True
Suppose 2 = k, -4*i + 10118 = -k + 4*k. Is i a multiple of 16?
True
Let g be (25/3)/(7/21) - -1. Suppose -5*z - 20 = 0, -w - 2*z + 7*z + g = 0. Suppose 3*h + 453 = 3*s, -w*h - 147 = -s - h. Is s a multiple of 38?
True
Let f(r) be the third derivative of -r**4/8 + 103*r**3/6 + 20*r**2 - 1. Does 41 divide f(-34)?
True
Let b(p) = 44*p - 2003. Is 17 a factor of b(66)?
True
Let p(s) = -156*s + 24. Let b(o) = -5*o**2 - 42*o - 18. Let r be b(-8). Is p(r) a multiple of 7?
True
Let k be (-49)/(-35) - 6/(-10). Is -1 + 5/k + 10792/16 a multiple of 13?
True
Let o = -4857 - -5181. Is o a multiple of 42?
False
Let j be (-5)/((-20)/4)*-1*79. Let p = j - -137. Is p a multiple of 10?
False
Let l(y) = y**2 + 18*y + 69. Let s be l(-7). Is 7 a factor of (s/(-32)*-4)/(1/(-349))?
False
Suppose 4*d + 5 = 3*c, -3*c - 2*d + 7 = -7*d. Let z be c*(5 - (5 - -327)). Suppose -21 = 3*k - z. Does 6 divide k?
True
Suppose 5*y - 63 - 72 = 0. Let j be (0*((-99)/18 - -5))/1. Suppose j = 10*t - y*t + 1666. Is t a multiple of 32?
False
Let s be -1350*(4 - 18/3). Suppose -6*n = -n - s. Does 27 divide n?
True
Let x be ((-12)/10)/((-10)/(-25)). Is 58 a factor of (x/(-6))/(-7 + 81483/11640)?
False
Let b = 59 + -32. Let o = b - 23. Suppose o*m + 558 = 10*m. Does 39 divide m?
False
Suppose -390 = -118*c + 105*c. Let d = 0 + -10. Is 54/d*c/(-2) a multiple of 15?
False
Let y = 8 + -6. Suppose y*c + 2*c = -5*i + 572, -3*i + 333 = -c. Is 12 a factor of i?
False
Let q be 50/(-18) + 3 - 12140/(-45). Suppose 16*s - s = q. Is 15 a factor of s?
False
Let k(x) = -x**2 - 21*x - 106. Let y be k(-11). Suppose y*m - 158 = 1342. Does 25 divide m?
True
Suppose 3*c = 4*u - 23, -2*c - 3*u = -3*c - 16. Let b = c + 28. Is 27 a factor of b?
True
Let m(w) = -3*w**3 + w**2 + 70*w - 24. Is m(-10) a multiple of 99?
True
Let p(j) = j + 6. Let w be p(-2). Let t(k) = -k**2 + 3*k + 6. Let n be t(w). Suppose -n*d + 140 = 2*s, 3*d + 60 = 4*s + 284. Does 4 divide d?
True
Let q(v) be the second derivative of v**3/6 - 19*v**2/2 - 21*v. Let l be q(23). Suppose 0*s - s = l*r - 431, 0 = 5*s - 15. Is 9 a factor of r?
False
Let t(p) = 2*p**3 + 17*p**2 - 9*p + 32. Let f = 556 - 565. Is t(f) a multiple of 16?
True
Suppose 9*x - 6 = -60. Let y(l) = l**2 + 4*l + 4. Let j be y(x). Suppose c + 2*r - 67 = -2*c, 0 = 4*r + j. Is c a multiple of 25?
True
Let x(i) = i**3 + i + 9. Let r be x(0). Suppose -2*j - 1021 = -5*p, 4*j - r*j + 797 = 4*p. Does 8 divide p?
False
Suppose h + 46 = 2*g - 69, -5*h - 215 = -4*g. Let i(t) = 8*t**3 - 6*t**2 + 4*t + 1. Let b be i(1). Suppose -b*r = -g - 73. Is 6 a factor of r?
False
Let s(u) = -6*u**2 - 13*u + 162. Let q be s(7). Let r = 350 + q. Is r a multiple of 2?
False
Let n(o) = -41*o**2 - 115*o - 70. Let q = 83 - 81. Let m(c) = -8*c**2 - 23*c - 14. Let x(b) = q*n(b) - 11*m(b). Is 24 a factor of x(-6)?
False
Suppose 5*v - 5*s + 9*s - 24 = 0, -v + 3*s = -1. Suppose 0*w = 4*t - 5*w - 1178, -5*t + 1452 = v*w. Is 6 a factor of t?
False
Is (780/18)/(2/27) a multiple of 117?
True
Suppose 78*w + 50 = 88*w. Suppose w*z - 3*u = 2990, z + 9*u = 10*u + 600. Does 17 divide z?
True
Let c = -45 - -106. Suppose -c = -4*p + 55. Suppose p*q + 106 = 31*q. Is q a multiple of 12?
False
Supp