0)*(-48)/(-36)?
True
Suppose -n + 5*b - 6 = -3, 3*n = -2*b + 8. Suppose 0 = -n*a + 6*a + 200. Let c = -29 - a. Does 7 divide c?
True
Suppose c - 6 = 5. Let d(m) = m**2 - 12*m + 13. Let y be d(c). Suppose -y*h + 5*t = -31, -2*h - h = -t - 53. Is h a multiple of 6?
True
Suppose a + 3*h + 1061 = 5757, 3*a - 5*h - 13976 = 0. Is a a multiple of 16?
True
Let l = -85 + 181. Suppose 0 = 94*b - l*b + 160. Is b a multiple of 8?
True
Let z(p) = 5*p**2 - 6*p - 20. Let c be z(-7). Suppose -21*u - c = -24*u. Suppose 3*j = 15, 3*i - 3*j + 7*j = u. Does 5 divide i?
False
Let i(j) be the second derivative of 5*j**4/3 + 2*j**3 + 18*j**2 + 2*j + 10. Is i(6) a multiple of 18?
True
Let s = -1045 + 2085. Is s a multiple of 13?
True
Let a be ((-7240)/150 + 1/(-3))*-5. Is (-6)/(-1) + (a - -17) a multiple of 29?
False
Let d(m) = m**2 - 14*m + 33. Let c be d(11). Let q(n) = 0*n**3 + 7 + 7 + n**2 + n**3. Is q(c) a multiple of 7?
True
Let f(q) = q**3 + 4*q - 603. Let t be f(0). Let y = t - -1051. Does 15 divide y?
False
Let w = 37847 + -19496. Does 273 divide w?
False
Suppose 0*b - 4*l = -5*b - 100, -4*l = -4*b - 76. Is 16 a factor of (-30)/b - 1 - 1430/(-8)?
False
Let p = -218 - -288. Suppose p - 856 = -2*l. Is l a multiple of 10?
False
Does 124 divide (510/160 - 4/(-64))/(2/3608)?
False
Let s = 74 - 60. Suppose 0 = 10*b - s*b + 16. Suppose b*x + 4*y - 160 = 0, -x + 3*x = -y + 81. Is x a multiple of 3?
False
Let n = 3 - -3. Suppose -n*w - 15 = -9*w. Suppose w*a - 4*b = 687, -3*a + 3*b - 94 = -508. Is 30 a factor of a?
False
Let r(l) be the second derivative of -l**7/2520 - 17*l**6/720 + 29*l**5/120 - 5*l**4/12 + 16*l. Let v(w) be the third derivative of r(w). Does 4 divide v(-14)?
False
Let p(f) = -7*f + 8. Let i = 39 + -42. Let d(y) = -6*y + 8. Let j(l) = i*p(l) + 2*d(l). Is j(10) a multiple of 6?
False
Suppose -2691*m + 353830 = -2682*m - 29354. Is m a multiple of 15?
False
Let j be (3 + (6 - 190))/1. Let m = 233 + j. Does 5 divide m?
False
Let y = -73 - -4663. Is y a multiple of 9?
True
Suppose 5*g = n + 458, -2*g + 3*g + 1310 = -3*n. Is 36 a factor of -1 - (-2 - (n - -3))/(-1)?
True
Let c(q) = q - 2. Let s(x) = -22*x + 338. Let f(r) = -c(r) + s(r). Does 69 divide f(-33)?
False
Let v be (134/(-8))/((-6)/24). Let k = -65 + v. Suppose -4*i + 56 = 3*x, 95 + 9 = 4*x - k*i. Is 6 a factor of x?
True
Let t be 2 + (-303)/(-12)*(1 + 11). Let q(x) = 4*x**2 - 17*x - 6. Let s be q(14). Let b = s - t. Is b a multiple of 47?
True
Let o(t) = -15*t + 82. Let n be o(5). Suppose i - 149 = -2*v, -4*i = 3*v - n*v + 268. Is v a multiple of 9?
True
Let y(o) be the first derivative of -o**4/4 + 5*o**3 + 10*o**2 + 14*o + 74. Is y(16) a multiple of 4?
False
Let f(n) = 24*n. Does 3 divide f(11)?
True
Suppose -5*l - 207 = -3*a, -a + 67 = -0*a - l. Is 3 a factor of a - ((-11)/(-33))/((-3)/9)?
False
Let a be -130 - (-16)/6*(-3)/(-2). Is 6 a factor of ((-2)/(-4) + (-6)/4)*a?
True
Suppose -6 = -2*l + 8. Let o be ((-2166)/(-1596))/((-2)/(-28)). Suppose -l*f + 65 = -o. Is 3 a factor of f?
True
Let c(u) = -8*u**2 + 8*u + 4. Let p(j) = 7*j**2 - 7*j - 4. Let b(m) = 4*c(m) + 5*p(m). Let d be b(-1). Suppose -58 - 86 = -d*n. Is n a multiple of 18?
True
Let d(x) = -x**2 - 19*x + 2. Let h(r) = 18*r - 3. Let c(m) = -2*d(m) - 3*h(m). Let u be (2 + -3)/((-1)/13). Does 15 divide c(u)?
True
Suppose -43*p + 40*p + 18 = 0. Does 24 divide -292*(-3)/p - 2?
True
Is (-40319)/(-2) + 255/102 a multiple of 35?
False
Let r = -95 + 99. Let j be (-12)/4 + -1 + r. Suppose 3*m - 6*m + 198 = j. Is m a multiple of 24?
False
Is 55 a factor of (198660/172)/(((-63)/(-96))/7)?
True
Let d(k) = 6*k - 15. Let s be d(4). Suppose -5*n = 4*o - 328, 12 = -13*o + s*o. Does 34 divide n?
True
Let g(c) = -20*c + 102. Let h(m) = 4*m - 20. Let d(p) = 3*g(p) + 14*h(p). Let i be d(-5). Let v = i + 69. Does 23 divide v?
True
Let n(m) be the first derivative of m**2/2 + m - 19. Let x be n(4). Suppose -500 = -x*q + q. Does 25 divide q?
True
Let p(j) = -40*j**2 - 4*j + 27. Let r(b) = -40*b**2 - 5*b + 26. Let g(y) = 5*p(y) - 6*r(y). Is g(-4) a multiple of 15?
False
Let v = 10297 + -9176. Is 19 a factor of v?
True
Suppose 13*b + 11468 - 66659 = 132139. Is 131 a factor of b?
True
Let a = -28302 - -48927. Is a a multiple of 11?
True
Suppose -329784 = 350*x - 389*x. Is x a multiple of 14?
True
Suppose 23*o - 20*o = -5*m + 689, -2*m + 278 = 2*o. Is m*(0 + (-10)/(-4)) a multiple of 19?
False
Suppose -7*y = 9*y + 3*y - 602053. Is y a multiple of 69?
False
Suppose -11*d - 3336 + 562763 = 0. Is d a multiple of 349?
False
Let f be (-40)/22 + -3 + (-62)/(-22). Let t be (60/(-32) - f) + (-1749)/(-24). Let z = -57 + t. Is z a multiple of 16?
True
Let h be (8 - 8)/((-3)/1). Suppose -4*x + x + g = -382, x - 3*g - 138 = h. Let b = x - 70. Does 28 divide b?
True
Suppose 0*w - 2*w - 222 = 2*s, -3*w - 221 = 2*s. Is 24 a factor of (-108)/3*s/(-4 + 8)?
True
Let h(v) = -v**3 + 75*v**2 - 48*v + 3878. Is 14 a factor of h(65)?
True
Let w(r) = -159*r + 2697. Does 24 divide w(13)?
False
Is ((-3998)/(-3))/(1010/4545) a multiple of 6?
False
Let o = -247 - -435. Suppose 4*g - 4*j - 516 - o = 0, -5*g + 872 = -j. Is 58 a factor of g?
True
Suppose -3 = 9*o - 39. Suppose 3*i - 5*i + 3*j + 243 = 0, -o*i + 3*j = -495. Does 15 divide i?
False
Let n(r) = -42*r**3 + 2*r**2 - 1. Let i be n(2). Let p = 689 + i. Does 28 divide p?
False
Suppose 2*p + 3 - 3 = 0. Suppose p = -0*d - 4*d + 328. Let v = d - 51. Is 9 a factor of v?
False
Suppose -3*r - 20 = 4*t, 3*r + 2*t + 40 - 30 = 0. Suppose r = -8*j + 5*j + 3960. Is 88 a factor of j?
True
Suppose -4*r - 3*d + 1617 = 0, 5*d + 2030 = 6*r - r. Does 60 divide (-3)/(-2)*-3*(-86400)/r?
True
Let b(c) = -16*c + 5. Let n be b(5). Suppose 4*q - 16 = 3*h, -2*q + 10 = -h + 2. Let o = q - n. Is o a multiple of 10?
False
Let p = 37 - 35. Suppose -d - p*d = -183. Suppose -d = -7*b + 51. Is 8 a factor of b?
True
Is 11 a factor of (65/(-20))/(4/(-1232))?
True
Let t = 27 - 21. Suppose -3*u + t + 6 = 0. Suppose 0 = -n + 2*n + 4*y - 75, 0 = -u*n + 4*y + 320. Does 14 divide n?
False
Suppose -w = 2*h - 10978, 4*w - 227*h + 223*h - 43996 = 0. Does 114 divide w?
False
Suppose 4119 = 57*q - 48549. Does 12 divide q?
True
Let b = 372 + -436. Let u = 252 - b. Is u a multiple of 18?
False
Let q(j) = 50*j - 34. Let s(k) = -k**2 + 20*k - 46. Let t be s(17). Is q(t) a multiple of 12?
True
Let l be (60 - 12)*(-313)/2. Does 31 divide l/(-13) - 9/((-936)/16)?
False
Is 29 a factor of (-55434)/(-4) - -3 - -3*18/108?
True
Let u be 3/6 + 3/((-6)/239). Let j = u + 490. Is j a multiple of 22?
False
Let t(x) = x**3 - 16*x**2 - x + 21. Let o be t(16). Suppose -2*d + 4*j = -o*d + 11, 2 = 4*d - j. Is d*(52 - 0 - -4) a multiple of 7?
True
Suppose 19*h - 21*h = -10. Suppose -5*i + h*d = 4*d - 1368, -4*d = 3*i - 807. Is i a multiple of 21?
True
Let a = -544 - -14896. Does 138 divide a?
True
Suppose -2*k - 2*q - q - 126 = 0, 0 = -4*k + 4*q - 232. Is (144/10)/((-1)/k*4) a multiple of 12?
True
Let c be (62775/(-90))/((-1)/8). Suppose 5*n = -5*m + m + c, -5*m = 25. Does 16 divide n?
True
Let d(n) be the first derivative of 5*n**4/24 - 31*n**3/6 + n**2/2 - 14. Let l(g) be the second derivative of d(g). Is l(9) a multiple of 14?
True
Let a(l) = l**3 + 3*l**2 - l + 1. Let y be (-98)/(-8) - 5 - (-6)/8. Suppose 4*t - y*t + 12 = 0. Is 12 a factor of a(t)?
False
Suppose 28*u = 31*u + 3. Does 6 divide (5*u + (-8 - 9))*-6?
True
Is 18 a factor of 16209/5*(-32 + 35 - -7)?
True
Let c(k) = 2*k + 118. Let s = 276 + -288. Is 4 a factor of c(s)?
False
Let o = 181 + -44. Suppose 253 = 3*d - o. Is 39 a factor of d*((-18)/(-5))/6?
True
Let n = 32241 + -26489. Does 38 divide n?
False
Suppose 26*s = 186 - 576. Does 8 divide 25/s - 2724/(-9)?
False
Let n = -80 - -130. Let t = n + -74. Let u = t - -60. Is u a multiple of 13?
False
Let v be 357*(6 + 85/(-15)). Suppose 116*s = v*s - 252. Does 28 divide s?
True
Let b(h) = -h**2 + 18*h - 65. Let o be b(5). Suppose o*d + 3*d - 159 = 0. Is 16 a factor of d?
False
Let k(j) be the third derivative of j**5/60 + 7*j**4/24 + 2*j**3/3 + 11*j**2. Let o be k(-7). Suppose 0 = 5*x + 2*t - 73, 2*t + 2*t = -o. Is x a multiple of 9?
False
Is 7 a factor of ((-672324)/(-46))/3 - (5 - (-1170)/(-230))?
True
Let f(i) = -i**2 + 30*i - 11. Let z be f(9). Suppose -170*u - 608 = -z*u. Is 4 a