/(8/108) a multiple of 15?
True
Let r(n) = 2*n**3 + n**2 - n + 590. Is r(0) a multiple of 50?
False
Suppose -p + 1 = -2. Let k(t) = 5 + p + 4 + 2*t. Is 19 a factor of k(13)?
True
Let t be 4/(-12)*(1 + -4). Suppose t = 6*i - 11. Suppose -3*c - 438 = -5*j - 2*c, -i*j - 4*c = -184. Is j a multiple of 11?
True
Suppose -21 + 2381 = 5*t + 5*q, -2*t = -2*q - 928. Does 29 divide t?
False
Suppose 64*r - 72286 = 17*r. Is r a multiple of 15?
False
Let r = -218 + 694. Is 68 a factor of r?
True
Suppose 2*r + 5*v = 4087, -10*v + 8189 = 4*r - 15*v. Does 62 divide r?
True
Suppose 0 = 2*j - 58. Let x = j + -104. Let l = 134 + x. Does 20 divide l?
False
Suppose -3*d = 2*v - 22, 2*d + 37 = 5*v - 56. Suppose 187 = 10*u + v. Is u even?
False
Suppose 0 = 5*t - 405 - 180. Let j be (-4)/(-26) + (-17685)/t. Let k = -97 - j. Does 13 divide k?
False
Let w be (54/(-18) - 1/2)*-30. Suppose -41*i - w = -42*i. Does 35 divide i?
True
Let c(t) = -2*t**2 - 5 - 3 + 5*t**2 + 7 + 2*t. Let p be c(1). Is 12 a factor of 8/(-32) + 193/p?
True
Let d(n) = n**3 + 9 - 2*n**3 - 29. Let a be d(0). Is 8 a factor of 55/a*(-2 + -2)?
False
Suppose -7*c + 3360 = -4*c. Does 32 divide c?
True
Suppose 0 = -2*h + o + 2077, -2*h - o + 2047 = 4*o. Is 9 a factor of h?
False
Let h be ((-6)/14 - 326/7) + -3. Let d = h - -54. Does 4 divide d?
True
Suppose 32*y + 845 = 37*y. Is y a multiple of 8?
False
Suppose 8*m - 57 = 39. Is 3/m + 1532/16 a multiple of 12?
True
Suppose -c = -3*t + 1391, -4*t + 2*c = -2056 + 202. Does 8 divide t?
True
Let q = -7330 - -10526. Is 66 a factor of q?
False
Suppose 7*m = 4*m - 27. Let j = -5 - m. Is 10 a factor of (2/(-4))/(j/(-344))?
False
Let q(y) = 28*y + 2 - 1 - 2. Let o be q(1). Suppose -2*z = -z - u - o, 3*z + 5*u - 121 = 0. Is z a multiple of 16?
True
Let h(l) = -4*l. Let w be h(1). Let t = w + 16. Suppose 128 = t*y - 8*y. Is y a multiple of 7?
False
Let j(l) = 102*l - 78. Is 15 a factor of j(14)?
True
Let n(d) = -d**3 - 42*d**2 - 46*d - 60. Is 7 a factor of n(-41)?
False
Let o(v) = 7*v**3 + 4*v + 1. Let l be o(-3). Let c = -90 - l. Suppose 4*g = 3*t + 95, 2*t + c = -0*g + 5*g. Does 5 divide g?
True
Let q be (-4)/(((-6)/(-9))/((-14)/3)). Suppose -35*d + 1722 = -q*d. Does 37 divide d?
False
Let h be (1*1/(-1))/1. Let m(f) = -151*f. Let a be m(h). Let s = a - 106. Is s a multiple of 9?
True
Suppose -p = -4*w - 1198, w + 4807 = 13*p - 9*p. Is 5 a factor of p?
False
Let t be 2 - ((4 - 7) + -34). Let w = 61 - t. Is w a multiple of 22?
True
Let l = 41 + -26. Let u be (32/20)/((-1)/l). Let d = u + 28. Is 4 a factor of d?
True
Let g(s) = -s**2 + 7*s - 7. Let j be g(5). Suppose -j*y + 87 = -15. Does 17 divide y?
True
Suppose -3122 = -6*h + 11242. Does 114 divide h?
True
Suppose -z + 2*z = -4. Let b(c) = 4*c**2 - 20*c + 5. Does 14 divide b(z)?
False
Suppose 0*f - 34680 = -20*f. Is f a multiple of 102?
True
Let z be 3/24*4*6. Suppose 1 = -o - z. Is 11 a factor of (o + 2 + 1)*-19?
False
Let t = -19 + 21. Suppose -60 = 2*u - t*m + 5*m, 3*u + 92 = -4*m. Let q = 56 + u. Is q a multiple of 7?
False
Let b(z) = -z**3 - 8*z**2 - 9*z - 11. Let o be b(-7). Suppose 2*j = 3 + o, -4*k + 4*j + 84 = 0. Is 7 a factor of k?
False
Let a = 577 + -279. Does 13 divide a?
False
Let m(g) = 2*g**2 + g**3 - 1 - 9*g**2 - 4 + 7*g. Let a be m(6). Is 27 a factor of 82 + (0/a - -3)?
False
Suppose -11*p + 1494 = -970. Is 16 a factor of p?
True
Let a(o) be the second derivative of o**5/20 - o**4/12 - o**3/6 - 2*o**2 - 4*o. Let f be a(0). Is (35/(-10))/(2/f) even?
False
Let h = 35 - 32. Let w be -3 - (36*-4 - h). Suppose -10 = 5*s, 5*g + s - 3*s - w = 0. Does 4 divide g?
True
Suppose 2*w + 3*w + 3*c - 46 = 0, -6 = -3*c. Suppose 0*q + w = 2*q. Is 2 a factor of (-1)/2*q + 11?
False
Suppose -j + 145 = 4*j. Let l = 123 - j. Let o = -65 + l. Does 11 divide o?
False
Suppose -4 = -0*b - 2*b. Suppose 3 = -u + b*u. Suppose 63 = 4*p - x, p + u*x = 6*p - 84. Is p a multiple of 5?
True
Suppose -h - 1755 = -5*y, -3*y + 4*h - 73 = -1143. Is y a multiple of 25?
True
Let w = 343 + -324. Does 3 divide w?
False
Is (-4)/(-4)*-6*222/(-4) a multiple of 6?
False
Suppose 25*i - 42*i + 17170 = 0. Is 54 a factor of i?
False
Suppose -14*k + 6428 = -5850. Is k a multiple of 24?
False
Suppose -4*a + 167 - 28 = 5*n, 0 = -4*a + 2*n + 146. Is 4 a factor of a?
True
Suppose 58 = 5*g - 17. Let t be (-310)/g - 2/6. Is 1/3 - 1946/t a multiple of 31?
True
Let m be 18 - ((-16)/2)/2. Let w = 4 + m. Is w a multiple of 16?
False
Does 13 divide 14467/46 + (0 - (-5)/(-2))?
True
Suppose 5*s - 566 = 369. Suppose s = 6*x + 19. Does 4 divide x?
True
Suppose -165920 = -21*b - 47*b. Is 40 a factor of b?
True
Suppose -3*s + c - 2 = 28, -4*s - 40 = 2*c. Let r = 12 - -8. Let f = r + s. Is 10 a factor of f?
True
Let r(q) = 17*q**2 - 9*q - 77. Does 73 divide r(12)?
True
Let d(q) = -8*q - 6 - 9*q + 6*q**2 - 2*q**3 + q**3 - 11*q**2. Is 9 a factor of d(-4)?
False
Is (-160)/(-24)*(-66)/(-5) a multiple of 8?
True
Suppose -5*w - 6*w = -5390. Is w a multiple of 5?
True
Suppose 65*k - 43116 - 138104 = 0. Is k a multiple of 9?
False
Let o(p) be the third derivative of p**6/120 - p**5/10 + p**4/24 - p**3 + 13*p**2. Let s be o(6). Suppose -d + 19 + 32 = s. Is 13 a factor of d?
False
Let a be 9 - (-20)/(-5) - -1. Let u be ((-4)/10)/(1/(-5)). Suppose s + 1 - a = 3*l, s - u*l - 4 = 0. Is s a multiple of 2?
True
Let i(f) = -12 + 0 + 10 + 17*f. Is i(4) a multiple of 33?
True
Suppose 683*i = 691*i - 21648. Is i a multiple of 66?
True
Suppose 0 = -z + 5 + 1. Suppose y = z*y. Suppose 0 = 6*j - y*j - 54. Is j a multiple of 3?
True
Suppose 0*x + 3453 = 3*x - c, 3*x - 3471 = -5*c. Suppose -x = -10*t + t. Is 8 a factor of t?
True
Let s(h) be the third derivative of h**6/120 - h**5/12 + h**4/6 + 2*h**3 + 6*h**2. Does 19 divide s(5)?
False
Let y(c) = c**2 - 12*c + 24. Let m be y(19). Let j = m - 90. Is 6 a factor of j?
False
Let w(l) = 9*l**2 - 12*l + 4. Let j be w(-6). Suppose 4*a + j = -x + 5*x, -5*a = -3*x + 304. Is x a multiple of 11?
False
Let x(r) = r**2 - 17*r + 6. Let f be x(16). Let t be (3/2)/((-1)/4). Is 15 a factor of ((-9)/t)/((-1)/f)?
True
Let b be (2/(-4))/(11/(-44)). Suppose b*n - 398 = 6*u - 10*u, -214 = -2*u + 4*n. Does 9 divide u?
False
Let l be 42/10 - (-4)/(-20). Suppose l*n + 5*r = 5, -n + 0*r + 14 = -3*r. Suppose 0*v - 240 = -5*a + 5*v, 3*a = -n*v + 112. Does 10 divide a?
False
Suppose -452*u + 13536 = -436*u. Is 6 a factor of u?
True
Let l = -2 + -1. Let s(f) = 2*f**3 + f**2 - 2*f + 6. Let c(t) = t**3 - t**2 - 2*t. Let i(d) = c(d) - s(d). Does 2 divide i(l)?
False
Suppose -4*u - 3*w - 29 = -6*u, -2*w = 5*u - 120. Is u even?
True
Let y(f) = 2*f - 1. Let x be y(2). Let z(t) = -x*t + 2*t**3 + t**2 + 3 - t**3 + 3*t**2 + 5*t**2. Is 22 a factor of z(-9)?
False
Is (-47638)/(-6) - 7/(462/(-88)) a multiple of 13?
False
Let v = -511 + 955. Is 74 a factor of v?
True
Let k be 1 + (1 - (-3 + 3)). Let f(l) = l**2 - 4*l - 1. Let o be f(k). Is (-2)/o + 258/5 a multiple of 26?
True
Let k = 774 - 493. Does 9 divide k?
False
Does 4 divide (-4704)/(-156) - (1 + (-11)/13)?
False
Is 9 a factor of (17934/60 - -6) + (-2)/(-20)?
False
Let a be -6*((-53)/3 + (-40)/30). Suppose a = 3*x + 2*j, -3*j = -4*x + j + 172. Is 9 a factor of x?
False
Let f = 33 + -33. Suppose f = 2*g - 3*g + 4. Is g even?
True
Suppose 3*h = j + 49, -3*j - j - 5*h - 196 = 0. Let d(a) = 2*a**2 - 24*a + 29. Let x be d(8). Let w = x - j. Is w a multiple of 14?
True
Let i = -643 + 991. Let z = i - 219. Is 41 a factor of z?
False
Suppose -4*m = 4*u + 1 + 3, -3*m + 5*u + 37 = 0. Is ((-2)/m)/(2/(-708)*3) a multiple of 35?
False
Suppose 2*p - 5*g - 35 = 0, 3*g = -3*p + 60 + 3. Suppose p = 3*h - 10. Is 5 a factor of h?
True
Let r(f) = -22*f**3 - 5*f**2 - 20*f - 32. Does 16 divide r(-2)?
False
Suppose 15 = 3*c, 2*x + 4*c - 3*c - 129 = 0. Suppose -5*z - x + 816 = f, z + f = 154. Is z a multiple of 30?
True
Suppose 4*a - 17 = 51. Let t = 31 + a. Is 6 a factor of t?
True
Let h = 37 - 125. Let x = 194 + h. Suppose 9*s = 11*s - x. Does 14 divide s?
False
Let d(i) = -i**2 - 43*i - 109. Does 48 divide d(-31)?
False
Let i be (-3)/((-2)/(-16)*-6). Suppose 0 = i*j - 0*j - 84. Does 21 divide j?
True
Let g = 5920 + -3432. Does 8 divide g?
True
Suppose 2*r - 496 = -3*g, 0 = 3*g - 2*r - 185 - 291. Is g a multiple of 6?
True
Let o = 507 - 