of 20?
True
Suppose 57*q - 1417623 = -221706. Is q a multiple of 95?
False
Is 9 a factor of 45 - (-44 - -44)/(0 - -5)?
True
Let s = 18425 - 5555. Is 90 a factor of s?
True
Suppose 108*h - 112*h = -3216. Let y = h - 749. Is 2 a factor of y?
False
Suppose 6*g = 7*g + 350. Is (-336)/(-10)*g/(-105) a multiple of 28?
True
Let g = 469 - -97. Let f = 918 - g. Is f a multiple of 22?
True
Suppose 2*a - 2 = -5*c - 6, -3*a - 3*c + 3 = 0. Suppose 4*r - r - 1857 = -a*b, r - b - 621 = 0. Does 31 divide r?
True
Let u be (30/(-35))/((-9)/14)*-3. Let g(y) = 15*y**2 + 8*y + 2. Is g(u) a multiple of 14?
True
Let r(w) = 8*w + 131*w**2 - 3*w - 72 - 126*w**2. Is 31 a factor of r(6)?
False
Suppose -23*a - 1008 = -9*a. Does 10 divide 653/6 - (300/a - -4)?
False
Let z(l) = 2*l**2 + 23*l - 10. Let i = -92 - -80. Let w be z(i). Suppose -67 = -5*g + w*g - c, 5*g + c = 109. Is g a multiple of 6?
False
Is (0 + 5)*129510/(-50)*10/(-45) a multiple of 9?
False
Suppose 5*d + 21 = q - 14, -5*q = d + 7. Let t be 896/(-49) - 2/d. Does 8 divide (-198)/4*t/27?
False
Let i(p) = 21*p**3 - 7*p**2 + 32*p - 12. Is i(3) a multiple of 4?
True
Let o(a) = -a**3 + 11*a**2 - 6*a + 19. Let q(h) = 4*h**3 - 43*h**2 + 25*h - 75. Let m(t) = 9*o(t) + 2*q(t). Let j be m(12). Let x = j + -82. Is 7 a factor of x?
True
Suppose -4*m + 24 = 0, -1248 = -3*l - 2*m + 528. Is 3 a factor of l?
True
Let o(c) = 7*c**2 + 14*c + 105. Let v be o(-5). Suppose -5*h - q + v = 0, 8*h - 3*q = 7*h + 26. Is h a multiple of 4?
False
Suppose -5*y = -5*p + 7020, -4*y - 1404 = -p - 0*y. Does 9 divide p?
True
Suppose 4*z + 3*k = 25, -2*k = -3*z + 2*k + 25. Suppose 0 = z*g - 9*g - 16. Is -4*4/g + 197 a multiple of 46?
False
Let l = -20116 + 28849. Does 108 divide l?
False
Suppose l + 16 = -l. Let w(t) be the first derivative of -t**3/3 - 6*t**2 - 26*t + 4. Does 2 divide w(l)?
True
Let s = 19574 + 12666. Is s a multiple of 10?
True
Let q(h) = -87*h - 5. Let v(g) = 9*g - 22. Let k be v(3). Suppose -4*l + 6*l + 7 = -3*r, k*l = -2*r - 12. Does 13 divide q(l)?
True
Suppose 0 = -19*q - 2592 + 11887 + 16431. Is 2 a factor of q?
True
Let x be -6 - (-7 + 14 - 215). Let b = 565 - x. Does 33 divide b?
True
Let i(j) = 370*j - 2378. Is 42 a factor of i(23)?
True
Suppose 2*f = 5*s - 21594, -8*s + 4*f + 17268 = -4*s. Is s a multiple of 48?
True
Let a = -10948 + 12836. Suppose -l - 10 = -2*y, -3 = 2*y + 5*l - 25. Suppose a = y*o + 10*o. Is o a multiple of 7?
False
Let x(m) = -117*m**3 + 3*m**2 - 1. Let k be x(-3). Suppose -k = 8*g - 15*g. Is g a multiple of 13?
True
Suppose 0 = -t + 782 - 253. Let k = t + -365. Is 9 a factor of k?
False
Suppose 0 = 59*c + 88295 - 249365. Is 42 a factor of c?
True
Let r(f) = -f - 5. Let q = -46 - -38. Let y be r(q). Suppose 92 = 5*j - 5*s - 113, -y*s - 15 = 0. Is 12 a factor of j?
True
Let a(l) = l**2 - 8*l - 30. Let q be a(-3). Let i be (q - -40) + 2/2. Let u = i - 6. Does 19 divide u?
True
Let d be 2/7 + -2 + 52/14. Let s(i) = -11*i**3 - i**2. Let c be s(d). Let j = c - -113. Is 3 a factor of j?
True
Let t(y) = -6*y + 372. Let n(b) = 4*b**2 + 2*b + 7. Let o be n(3). Does 26 divide t(o)?
True
Let x(r) = -r**2 - 18*r - 76. Let k be x(-10). Is -2 - -7 - (-84)/k a multiple of 10?
False
Let v(c) = c - 36. Let m be v(6). Is 24240/180*m/(-4) a multiple of 30?
False
Suppose -143*w - 66*w = 99*w - 8321852. Is w a multiple of 41?
True
Suppose -2*q - 6*d + 2988 = -37260, 40245 = 2*q + 5*d. Is q a multiple of 12?
False
Suppose -272*t - 5*b + 90750 = -267*t, 4*b - 36312 = -2*t. Does 8 divide t?
True
Let d(u) = 14 - 3*u + 41 + 20. Does 6 divide d(11)?
True
Suppose -z - 30 + 10 = -4*b, 4*z - 5*b = -69. Is 8 a factor of z/(-6)*(-600)/(-32)?
False
Suppose -4*y = 945 + 879. Let a = y + 684. Is 6 a factor of a?
True
Let k = 6072 - 600. Is 61 a factor of k?
False
Suppose 2*h + n + n = 6, 2*n + 2 = 2*h. Suppose h*p = 4*r - p - 663, 0 = -r - 3*p + 147. Does 3 divide r?
True
Let x be (2 - 11)*(240/(-18))/(-10). Let u(j) = j**2 + 11*j + 19. Is 12 a factor of u(x)?
False
Suppose -3*v + 2*n = -191, 0 = -4*v - 5*n + 228 + 42. Let o = 75 - 20. Let p = v - o. Is p a multiple of 10?
True
Is 50353*2/16 - (-4)/(-32) a multiple of 107?
False
Suppose 5*f + 3*x - 2 + 33 = 0, -35 = 5*x. Let d(j) be the second derivative of -j**5/10 + j**4/3 + 2*j**3/3 + j**2 + j. Is 13 a factor of d(f)?
True
Suppose -86 = 5*t + k - 31, -20 = 3*t - 2*k. Let z be (20/t)/(4/(-62)). Suppose 58 = q - z. Does 14 divide q?
False
Let y(l) = 5 + 2*l**2 - 4 + 2*l**3 - 5 + 6*l**3 + 10*l. Is 26 a factor of y(4)?
False
Let c(k) = 25*k + 748. Is c(-25) a multiple of 112?
False
Let v be -3*((-50)/15 + 3). Let l be v/(-5) + 240/75. Suppose -156 = -l*h - h. Does 7 divide h?
False
Suppose -155 = -3*h + 5*h - p, 3*p = -5*h - 404. Let x = h + 87. Suppose 10*l - x*l - 152 = 0. Does 14 divide l?
False
Let m = 31 - 26. Suppose -m*r + 3*r + 658 = 0. Let o = r + -119. Is 40 a factor of o?
False
Let r = 228 + -336. Let q(o) = o**3 + 7*o**2 + 2. Let p be q(-7). Is r*p*20/(-24)*1 a multiple of 26?
False
Suppose -63266 = -53*k + 18*k + 1486359. Does 175 divide k?
True
Let m be (-16)/128 + 1729/8. Suppose 3*r + 5*g = 632, r = -g - 2*g + m. Is r a multiple of 34?
True
Suppose 3995*m + 383670 = 4013*m. Is m a multiple of 35?
True
Suppose -25298 = -2*u - 2*d - 9928, 4*d = -2*u + 15368. Is 42 a factor of u?
True
Let k = 23290 - 11047. Is k a multiple of 14?
False
Let w be 1/(-6)*-15*12. Does 19 divide (1*57)/(108/w - 3)?
True
Let w = -932 - 615. Let i = 3342 + w. Is i a multiple of 12?
False
Let d = -5489 - -12713. Does 3 divide d?
True
Let f(b) = 3*b**2 - 21*b - 424. Is f(-17) a multiple of 8?
True
Suppose 5*p + 2*u = 3*p + 10, -5*p + u + 7 = 0. Suppose -10 = 2*i + 2*m, -4*m + p = 5*i - 8*m. Let t(c) = 5*c**2 + 5*c + 2. Is t(i) a multiple of 2?
True
Let d(b) = 5*b**2 - 15*b - 4. Let t be d(7). Does 42 divide (4 + t/(-28))*-98*6?
True
Suppose -14 = 5*t - 39. Suppose -t*o + 6 = -14. Suppose -o*q - 192 = -6*q. Is q a multiple of 16?
True
Suppose 9*o - 2 = 8*o. Suppose -415 = -i + v, 3*i + o*v + 2*v - 1280 = 0. Suppose -4*w + 3*p - 4*p + i = 0, 0 = 4*w + 3*p - 420. Is w a multiple of 21?
True
Let o be ((-18)/(-15))/(2/5). Suppose 9 = 3*q + 3*z, 2*q - 3 = 5*q - o*z. Does 17 divide q/(-5) - 3318/(-15)?
True
Let s = 14455 + -7626. Is 24 a factor of s?
False
Let a(m) = m**2 + m - 23. Suppose -90 = 5*l + v - 6*v, -2*v + 10 = 0. Is 19 a factor of a(l)?
True
Let o(p) = -22*p - 34. Let f be 1/((-150)/21 + 7). Does 20 divide o(f)?
True
Let z(a) = 2074*a**2 - 24*a - 24. Let q be z(-1). Let c = q - 878. Is 46 a factor of c?
True
Suppose x - 14074 = -3*a, 4*x - 7652 = -5*a + 15793. Does 8 divide a?
False
Suppose -5*j = -34*j - 8*j + 83472. Does 3 divide j?
True
Let t(f) = 3*f**2 + 7*f - 4. Let g = -132 - -135. Does 17 divide t(g)?
False
Let w(n) = -1071*n - 795. Does 12 divide w(-5)?
True
Let f(w) be the first derivative of w**6/180 + w**5/20 - 13*w**4/8 - 38*w**3/3 - 29. Let i(r) be the third derivative of f(r). Is i(-9) a multiple of 23?
True
Let q(t) = 7*t**3 + t**2 - t + 20. Is 12 a factor of q(8)?
True
Let w = -105046 + 161971. Is w a multiple of 165?
True
Let l be 54901/44 + 1/4. Suppose 4*k + l = 17*k. Is k a multiple of 5?
False
Suppose 36 + 94 = 2*l - 4*a, -a = 5*l - 369. Suppose 3*v = r - l + 743, -5*r + 925 = 4*v. Is v a multiple of 15?
True
Let z = -3121 + 3445. Does 4 divide z?
True
Suppose -26 = -2*k - 2*o - 2*o, -5*k = 5*o - 40. Let h(q) = 0*q**k - q**3 + 2*q**3 + 5*q + 16 + 3 - 5*q**2. Is 35 a factor of h(8)?
False
Does 154 divide 10/205 - (-6465504)/656?
True
Suppose 5*q - 7426 = -5*z + 8544, 12764 = 4*q + z. Is q a multiple of 145?
True
Let w = 50719 - 28669. Is 225 a factor of w?
True
Let s(u) = -91*u + 8. Let j be s(4). Let g = 220 - j. Is g a multiple of 36?
True
Let c(a) be the second derivative of 17*a**4/6 - 13*a**3/6 - 6*a**2 - 7*a - 15. Does 42 divide c(6)?
True
Let z(d) = -6*d - 895*d**2 - 8 - d + 894*d**2. Let m be z(-6). Let w(t) = 5*t**2 - 2*t - 3. Does 21 divide w(m)?
True
Let w(n) = 23*n**2 - 51*n - 7. Let c(x) = 24*x**2 - 52*x - 9. Let q(i) = -4*c(i) + 5*w(i). Is 31 a factor of q(6)?
True
Suppose -209*i + 120*i = -145960. Is i a multiple of 82?
True
Suppose 2*w + 3*w = -4*i + 690, -5*w - 5*i + 695 = 0. Let y = w - 230. Let u = 353 + y. Does 12 divide u?
False
Is -5 - 3 -