of 22?
True
Is 19/((-19)/2) + 2052 a multiple of 25?
True
Suppose -2*r + 454 = -4406. Is r a multiple of 30?
True
Let q = -486 - -844. Suppose q - 1534 = -7*p. Is 11 a factor of p?
False
Is -12 - 33570/(-12)*(-1064)/(-70) a multiple of 195?
True
Let t be ((-312)/10)/((135/(-50))/9). Let p = t - 0. Suppose -2*g + 4*n + p = 0, 0*g + 229 = 4*g - n. Is g a multiple of 19?
False
Suppose 2*x = 3*g - 11810, -3939 = 4*g - 5*g + 3*x. Is g a multiple of 48?
True
Let y = -1806 - -2156. Does 10 divide y?
True
Is 820625/78 + (-1)/((-6)/(-5)) a multiple of 23?
False
Let g(t) = -t**3 + 2*t**2 - 7*t - 6. Let i(s) = s**3 - 3*s**2 + 6*s + 7. Let o(z) = -3*g(z) - 4*i(z). Let y be o(5). Does 15 divide -30*(y - (2 - 0))?
True
Is 15 a factor of 1*-33*3*14420/(-618)?
True
Suppose 7*d - 10470 = -4*d + 73042. Is 146 a factor of d?
True
Let r = 26115 + -7460. Is r a multiple of 13?
True
Let d be 2*22/(-3)*(-1 - 8). Suppose 0 = -4*b - 2*r + d + 52, r = -4*b + 186. Let h = b + 16. Is h a multiple of 21?
True
Let k be (-286)/(-77) - 4/(-14). Suppose 0 = k*r - 313 - 63. Does 5 divide r - ((-1 - -3) + 1)?
False
Let v be (-150)/60 - 38/4. Is 38 a factor of -4*((-13338)/v)/(-9)?
True
Let i(o) = 44*o**2 + 164*o - 1396. Is 4 a factor of i(8)?
True
Suppose -2*v + d + 125 = 419, 3*v + 463 = -4*d. Let r = v + 51. Let s = 215 + r. Is 18 a factor of s?
False
Let y(w) = 24*w - 82 + w**2 - 16*w + 0*w**2 + 15*w + w. Is y(-30) a multiple of 10?
False
Suppose -4*v + 17 = 29. Does 8 divide (-4)/(-3 - v - (-3)/(-120))?
True
Let y = -543 + 546. Let w be ((-49)/2)/((-3)/6). Suppose y*i = w + 5. Does 3 divide i?
True
Let p be 2597/(-14) + (-2)/4. Let h = p + 263. Let c = h + -50. Is c a multiple of 3?
True
Let y(r) = 18*r + 9. Let l be y(-1). Does 9 divide (l/(-12))/((-3)/(-1224))?
True
Let m(u) = 2*u**2 - 80*u - 64. Let x be m(42). Suppose 2*p - 4*q = -8*q + 24, 5*p - q = x. Is p a multiple of 9?
False
Suppose 412*p - 38080 = 372*p. Does 14 divide p?
True
Let q be (-3)/30 + (-251589)/(-390). Let y = q - 523. Is y a multiple of 11?
False
Suppose -3*c = -w + 9, 3*w - 4*c = 7*w + 28. Is (-390 - -27)/(w/5) a multiple of 67?
False
Let c(i) = -159*i - 33. Let b(f) = -53*f - 11. Let j(z) = 7*b(z) - 2*c(z). Let g(a) = -52*a - 10. Let y(m) = 4*g(m) - 3*j(m). Does 55 divide y(-8)?
True
Let d = 3 - 1. Suppose 3*m = -v + 14 + 3, -2*m = -8. Suppose h - 207 = -3*b - 3*h, -v*h = -d*b + 115. Does 10 divide b?
False
Let n(i) = -i**3 + 6*i**2 - 7*i + 10. Let f be n(5). Let p be 7 - (-3 - f)*1. Suppose -p*k = -8*k - 30. Does 2 divide k?
False
Suppose 0*n + 147*n - 431862 = 24132. Is 2 a factor of n?
True
Suppose -178265 + 6893 + 23742 = -7*n. Is 30 a factor of n?
True
Is (-6269)/(3*4/(-36)) a multiple of 28?
False
Suppose 0 = -3*a - 5*h + 62, -a - 4*a + 2*h + 62 = 0. Let m be (-6027)/a - (-2)/(-4). Let j = -170 - m. Does 17 divide j?
False
Let n = -4 + 6. Let h be (-1*n + 1)/((-8)/512). Let z = h - 48. Is 10 a factor of z?
False
Suppose -498 = -3*v - 114. Let l = 149 - v. Does 16 divide l?
False
Suppose -24*r + 46*r = 17*r + 207120. Is r a multiple of 20?
False
Let d = 13475 - 7796. Is 35 a factor of d?
False
Let o(a) = 2*a - 14. Let g be o(7). Suppose 5*k - 16 - 9 = g. Suppose 1140 = 5*r + k*r. Is r a multiple of 19?
True
Suppose 91*f - 121*f + 368100 = 0. Does 93 divide f?
False
Let b(d) be the first derivative of -37*d**7/420 - d**6/360 - d**5/120 + d**3/3 + 8. Let i(j) be the third derivative of b(j). Does 21 divide i(-1)?
False
Let p(n) = n**3 + 42*n**2 + 39*n + 18. Is p(-33) a multiple of 79?
True
Let u(y) be the first derivative of 16*y - 3*y**2 + 2*y**3 + 1/4*y**4 - 9. Is 6 a factor of u(-7)?
False
Suppose 11*d + f + 24888 = 13*d, -2*f - 12444 = -d. Does 102 divide d?
True
Suppose 5*w - 16248 - 3542 = -4*g, 0 = -5*w + 4*g + 19830. Does 5 divide w?
False
Let y = -7406 + 7876. Is 3 a factor of y?
False
Suppose 10*b + v - 11611 = 8*b, -2*b + 11607 = 5*v. Does 15 divide b?
False
Let i(d) = -d**2 - 12*d - 7. Let y(q) = -q + 20. Let w be y(18). Suppose 7 = w*h + 19. Does 6 divide i(h)?
False
Suppose -12*r = 3*r - 45. Is 7 a factor of 89 + (12/2)/r?
True
Suppose -9*q = -11*q + 6. Suppose 0*w = -c + 3*w - q, -2*w = 3*c - 24. Let g(n) = 2*n + 6. Does 9 divide g(c)?
True
Let b be ((-20)/250*10)/((-2)/5). Suppose -16*v = -12*v + b*n - 144, -148 = -4*v - 4*n. Is 27 a factor of v?
False
Let f = -6327 + 9014. Is 11 a factor of f?
False
Suppose 6303 = -5*c - 25*c + 28953. Is c a multiple of 5?
True
Let j = -8883 - -12271. Does 22 divide j?
True
Suppose -23*l - 14*l + 609444 = l. Is l a multiple of 14?
False
Suppose -4*s - 2*n + 0*n + 280 = 0, 0 = -s - 5*n + 88. Suppose -90 = -m - s. Is m a multiple of 11?
True
Suppose 368*l - 59703 = 347*l. Does 80 divide l?
False
Let m = -232 + 269. Is ((-56)/280 - 52/(-10)) + m a multiple of 5?
False
Does 49 divide ((-70)/(-105))/((-4)/(-42630))?
True
Suppose -8*m + 558900 = 38*m - m. Is m a multiple of 20?
True
Let z(h) be the first derivative of 94*h**3/3 + 5*h - 2. Is z(-2) a multiple of 30?
False
Let t(l) = 33*l**2 - 132*l + 4. Does 39 divide t(7)?
False
Let b = -453 + 460. Suppose 46*d - 54288 = b*d. Is d a multiple of 29?
True
Let d(q) = 2*q - 35. Let p be d(19). Let u be (-6)/4*4/p. Is -1 + (u - -134) + -1 a multiple of 13?
True
Let u = 46 + -22. Suppose -32*g - u = -36*g. Is 4/g - 2296/(-21) a multiple of 22?
True
Suppose 5*z + 4*s = 33642, -85*s + 80*s - 33615 = -5*z. Does 59 divide z?
True
Let a(b) = 2416*b**2 + 493*b - 1475. Does 19 divide a(3)?
False
Let i(v) be the first derivative of -31*v**2/2 - 25*v - 34. Does 34 divide i(-3)?
True
Let j(q) be the second derivative of q**4/3 + q**3/3 - 34*q**2 - 3*q - 2. Is j(-10) a multiple of 52?
True
Let l(d) = d**2 + 2*d - 21. Let y be (-95)/15 + (-1)/(-3). Let b be l(y). Suppose 0*j = -j + 2*a + 64, 0 = -b*a + 6. Does 15 divide j?
False
Let p be 58/10 + (-11)/(-32 - 23). Suppose -5*j + 7 = -3. Suppose p*m = j*m + 168. Is m a multiple of 14?
True
Suppose 39*q - 36*q - 6 = 0. Suppose -3*y + 654 = -2*a - 0*a, -q*y - 4*a = -420. Does 12 divide y?
True
Suppose -32*f = -44*f + 36. Let n(q) = 14*q**3 + 8*q**2 - 6*q - 5. Is 56 a factor of n(f)?
False
Let m = 56 + -14. Let g = -46 + m. Is 9 a factor of ((-58)/4)/(g/16)?
False
Let k = 132 + -191. Let x = k - -64. Suppose 0 = x*f + 11 - 196. Does 11 divide f?
False
Let w = -579 - -1499. Is w a multiple of 14?
False
Let y be -22 + 28 - (-44)/1. Let x = y + 433. Is x a multiple of 14?
False
Let k = -1077 + 1082. Let u be ((-4)/(-3))/(2/186). Suppose j = k*j - u. Is 4 a factor of j?
False
Suppose 10*q = 88 - 358. Let y be (-36)/q*(4 - 1). Suppose y*u + 4*b - 461 = 87, -25 = 5*b. Is 14 a factor of u?
False
Suppose 0 = -2*s + 40 - 40. Suppose t - m - 33 = s, 5*m + 16 = 4*t - 111. Is 8 a factor of t?
False
Let a(j) = -65*j**3 - 2*j**2 - 2*j - 1. Let b be a(-1). Let v = -70 + b. Does 37 divide (4 + 27/v)*(2 + -76)?
True
Suppose 0 = 4*m, -n - m + 4180 = -4*m. Suppose 0 = -66*s + 62*s + n. Does 19 divide s?
True
Suppose 0 = -r - 0*r + 6. Let f = -4 + r. Suppose 4*i = -5*u + 6*i + 159, -f*i = 3*u - 105. Is 10 a factor of u?
False
Let l be ((-2)/3)/((-42)/315). Suppose y - l*w - 92 = 0, -17 - 75 = -y + 3*w. Does 5 divide y?
False
Suppose 0 = 4*m + 8, m + 0 + 2 = 4*r. Let p be (-132)/((-6)/(-12)*(r + -2)). Suppose 2*s + 3*u = 226, 3*s - 206 - p = -5*u. Does 20 divide s?
False
Suppose -4*a + 3*g = -20, -5*g - 15 = 3*a - 1. Suppose 5*w + 3 + a = 0. Is 19 a factor of ((-525)/4)/w - (-6)/8?
False
Suppose 0 = -95*w + 7471 - 1106. Suppose 0*h + 4*h = m - 174, 0 = -5*h - 2*m - 211. Let s = h + w. Is 23 a factor of s?
False
Let m = -89 + 74. Let y(g) = -40*g - 82. Is 14 a factor of y(m)?
True
Is 11 a factor of 6172 - 3 - (-99)/(10 + 1)?
False
Let x be ((-1)/(-4))/((-11)/(-11*340)). Let r = -110 + 39. Let f = x + r. Is 14 a factor of f?
True
Let m(x) = -2 + 356*x**2 - 165*x**2 - 175*x**2 + 0*x - 2*x. Let a = -6 - -8. Is m(a) a multiple of 15?
False
Is 13 a factor of ((-2043)/(-4))/(-9 + 6534/720)?
False
Does 9 divide (-40910)/(-20) + (-15)/6?
True
Let v(p) be the second derivative of 11*p**4/12 - p**3/6 - p**2 + 37*p. Does 3 divide v(-1)?
False
Let t = -86 + 80. Let n be (t - -5) + (5 - 1). Suppose -5*g = n*b + 21 - 260, -253 = -5*g + 4*b. Is g a multiple of 17?
False
Suppose -5*i - 1257 = 5*o - 12537, 0