 a factor of (447/5 - y) + 22/(-55)?
False
Let i be (2940/90)/((-1)/(-36)). Suppose 0 = -16*a + 1800 + i. Is 6 a factor of a?
True
Suppose 0 = g + 2*c - 12, 2*c - 4 = 3*g - 2*g. Suppose g*r - 684 - 2068 = 0. Is r a multiple of 29?
False
Let o = -207 - -209. Suppose h = 3 + 2. Suppose 4*c = -3*t + 48, h*t = -o*c + 56 + 24. Is 8 a factor of t?
True
Suppose -10336*d = -10342*d + 9192. Is 18 a factor of d?
False
Suppose 4*z + 32 = 104. Let i = -5 + z. Suppose -i*h + 121 = -2*h. Does 4 divide h?
False
Let n = -19 - -17. Let q be n/4*(-5)/((-20)/(-712)). Let a = q + -25. Is a a multiple of 8?
True
Let n be 0 + 223 + (-8 - -5). Suppose 2*f = 174 + n. Is f a multiple of 23?
False
Suppose -11*g + 332 = -823. Suppose g*w - 103*w - 5*q - 176 = 0, 0 = w - q - 85. Is 78 a factor of w?
False
Let a be -1*(-6)/(-18)*-18. Suppose 0 = -9*m + a*m + 150. Is m a multiple of 10?
True
Let r be (1/2 + 1)/(330/113080). Let t = -434 + r. Is t a multiple of 3?
False
Let b = 2626 - -7469. Does 28 divide b?
False
Let t = -116 - -118. Does 17 divide (4/t)/(507/(-255) - -2)?
True
Suppose -18*d = -4*l - 23*d + 63639, 0 = -4*l - 2*d + 63654. Is 173 a factor of l?
True
Is 291172/84 - 12/9 a multiple of 55?
True
Let k = -261 - -264. Suppose 5*h - 976 = k*d, -822 = -4*h - d - 31. Is h a multiple of 11?
False
Suppose 4*o - 15 = -o. Suppose -7 = -o*u + 2. Is 11 a factor of (11 - -1) + (-1 - u)/4?
True
Suppose 2*d = 5*c + 4*d - 34, 3*d + 1 = -c. Is (c/20)/(4/840) a multiple of 28?
True
Suppose -4*a + 3*a + 4*d + 354 = 0, 3*a - 1062 = -2*d. Let p = 456 + -451. Suppose a = w + p*w. Does 17 divide w?
False
Let c(d) = d**3 + 46*d**2 + 17*d + 678. Does 4 divide c(-40)?
False
Let p = 65088 - 45762. Is 34 a factor of p?
False
Let d = -52 + 43. Let o be ((-21)/(-6))/(d/(-432)). Suppose 0 = -11*q + 9*q + o. Is q a multiple of 21?
True
Let f(w) = 4845*w**2 + 34*w - 34. Does 49 divide f(1)?
False
Let z be 93/(-4)*(-192)/18. Suppose -5*g + 111 = a, 2*a - 2*g - g = z. Let x = a - 66. Is 11 a factor of x?
True
Let h be ((-18)/8)/(49/(-196)). Suppose -2*f - 4*l = -52, 6*l - h*l + 72 = 3*f. Does 20 divide f?
False
Suppose -s + 8597 = -x, -7*s + 42929 = -2*s + 2*x. Is 9 a factor of s?
False
Let j(d) be the third derivative of -d**6/60 - d**5/10 - 5*d**3/3 + 173*d**2. Is 40 a factor of j(-5)?
False
Suppose 2*z = 3*x - 1028, z = 4*x - 3*x - 344. Suppose 0 = j - 2*g - 76, -5*j + 4*g = 2*g - x. Suppose y = j + 14. Does 8 divide y?
True
Suppose -3*a - 2*i = -7*i - 31, 5*a = 3*i + 25. Let u = a + -22. Is u*(2 - 2 - 1) a multiple of 4?
True
Suppose 5*y = z - 15708, 3*y + 15696 = 19*z - 18*z. Is 9 a factor of z?
True
Let m = 8267 + 1723. Is 74 a factor of m?
True
Let f = -32292 - -67972. Does 160 divide f?
True
Let k = 109 - -915. Suppose 0 = g - 0*g - 2, n - 2*g = k. Does 31 divide n?
False
Suppose -64*b = 6*b - 19250. Is 4 a factor of b?
False
Let s(u) = -u**2 + 10*u + 8. Let f be s(11). Does 11 divide 2/6*(108 - f)?
False
Let l = 352 + -708. Let n = -302 - l. Is n a multiple of 27?
True
Suppose 0 = -50*b - 2 + 52. Let t(h) = 116*h + 14. Is t(b) a multiple of 26?
True
Suppose -31*o + 1021 - 6508 = 0. Let p = o + 219. Does 4 divide p?
False
Suppose -k + 5*l + 38791 = 0, 4*k + 48635 - 203769 = 5*l. Does 290 divide k?
False
Let w(l) = l**2 + 7*l - 2. Let c(d) = d**3 - 4*d**2 - 2*d - 18. Let f be c(5). Let j be w(f). Does 3 divide 2/((16/28)/((-12)/j))?
True
Let q(d) = 46*d + 14. Let m = 55 - 54. Let g(u) = 2*u**2 + 2*u - 2. Let t be g(m). Is 8 a factor of q(t)?
False
Let n(b) = 3*b + 44. Let g be n(18). Suppose 3*c + 0*r = 5*r + 294, g = c + 2*r. Does 12 divide c?
False
Let v = 272 + -235. Let f = v + 9. Does 4 divide f?
False
Let l be 83/(-2) + 13/(-26). Let p = 89 + l. Let f = 138 - p. Does 13 divide f?
True
Suppose 20958 = 5*x - o, -2 = -2*o - 8. Is x a multiple of 11?
True
Let i(b) = -b**2 + 6*b - 11. Suppose 0 = g - 5 + 3. Let v be i(g). Is (-3)/(v*(6/(-104))/(-3)) a multiple of 7?
False
Let t(g) = g - 14. Let d be t(20). Suppose -10 = -d*u + 11*u. Is 38 a factor of (-1824)/36*(u + -1)?
True
Suppose 0 = 3*s + z - 43, -7*s + z = -2*s - 69. Suppose -s*r + 1078 = -1932. Does 5 divide r?
True
Let q = -2180 - -3278. Suppose 10*a - 1702 = q. Is 4 a factor of a?
True
Let t = 277 - 279. Let n(x) be the first derivative of 40*x**3/3 + x**2/2 + x - 7. Does 34 divide n(t)?
False
Let s(l) = l**3 + 11*l**2 - 25*l + 17. Let t be s(-13). Suppose 2*f - 12 = -t*f. Is 6 a factor of (7 - 25)*(-2 + -1 + f)?
True
Let s(a) = -a**3 + 5*a**2 + 2*a - 11. Let c be 1*(4/(-10))/(16/(-200)). Let r be s(c). Is 544/(-24)*(r + 14/(-4)) a multiple of 14?
False
Suppose -6662 - 60212 - 63656 = -19*l. Is 17 a factor of l?
False
Let r = -2165 + 7369. Is 115 a factor of r?
False
Let s(j) = -j**3 + 8*j**2 - 7*j + 2. Let l be s(7). Is -2*l/4 + (140 - 16) a multiple of 11?
False
Is -2 + 1 + 9189 + -4 a multiple of 112?
True
Let j(k) = -122*k**3 - 3*k - 2. Suppose -4 = 4*o + 4*b, 3*o + 3 = -5*b - 0. Is 3 a factor of j(o)?
True
Let q = 525 + -339. Let l = 1 - -2. Suppose -l*n = -n - q. Is 16 a factor of n?
False
Suppose 0 = -27*g + 450376 + 255080. Is g a multiple of 101?
False
Suppose 0 = -4*u + 2 - 2. Suppose 3*n + 0*n = u. Let s(j) = -j**3 + j**2 - 2*j + 57. Is s(n) a multiple of 19?
True
Let q(a) = -344*a - 4620. Is q(-29) a multiple of 26?
True
Let c(x) = -59*x - 397. Let t be c(-12). Suppose t*j - 300*j - 13607 = 0. Is 54 a factor of j?
False
Suppose 1 = 15*h - 74. Suppose d + y - 515 = h*y, d - 2*y = 507. Does 26 divide d?
False
Suppose 1358 = -23*x + 10397. Does 11 divide x?
False
Suppose 4*l = -5*u + 61, 5*l - 3 = 8*l. Let q = u + -16. Let k(z) = -12*z - 23. Is 2 a factor of k(q)?
False
Let s(h) = -h**2 + 10*h - 6. Let x be s(10). Is 57 a factor of (2/x)/(8/(-4584))?
False
Let c(o) = -27*o**3 + 2*o - 1. Let v be c(-3). Suppose 3*j - v = 2*z, -94 = 4*j + z - 1053. Is j a multiple of 16?
True
Let a = 1447 + -1315. Does 11 divide a?
True
Suppose 15536 = 3*a - d, 4*a + 58*d = 63*d + 20700. Is 10 a factor of a?
True
Suppose 4*p = -4*j + 2628, -20*p + 3285 = 5*j - 25*p. Does 73 divide j?
True
Suppose 500*l - 465*l - 200515 = 0. Is 2 a factor of l?
False
Let l = 15 - -165. Suppose 4*g - 208 = 5*r, -g - 2*r = 3*g - l. Does 10 divide g?
False
Let l(f) = 107*f + 1999. Does 153 divide l(-17)?
False
Let y(p) = -2*p + 29. Suppose 68 = 4*x + 4*u, x - 6 = -4*u + 23. Let i be y(x). Suppose -h - 4*d + 228 = 2*h, i*d + 249 = 3*h. Is 10 a factor of h?
True
Suppose -7 = 4*y + 53. Let k = 14 + y. Is (6/8)/k - 406/(-8) a multiple of 25?
True
Let q(y) = -1255*y - 92. Does 93 divide q(-2)?
True
Let v = 355 - 189. Let n = -15 + 316. Let q = n - v. Is q a multiple of 15?
True
Does 90 divide 11283*((-7)/((-28)/(-12)) - -4)?
False
Let f(r) = 4*r**2 + 43*r - 24. Let c be f(14). Suppose 296 = -q + c. Is q a multiple of 26?
True
Suppose -12 = -12*f + 24. Suppose 0*p + f*q + 11 = -p, 0 = -3*p - 4*q - 8. Does 9 divide (-15)/(-10)*(p - -2)?
True
Let t = 1411 + -505. Let s = -506 + t. Is 54 a factor of s?
False
Let m be 9176/5 - 47/235. Suppose 0*c + 5*c + 2*s = 1842, -5*s - m = -5*c. Is 8 a factor of c?
True
Let y be 60 - (-10 + 6 + -1). Suppose 2*m + 111 = -3*m - 4*c, 0 = -4*m + 3*c - 64. Let j = m + y. Does 3 divide j?
False
Suppose -53*v + k = -51*v - 1752, 2*v - 5*k - 1776 = 0. Does 97 divide v?
True
Let l(o) = 2*o**3 + 78*o**2 - 72*o + 10. Is 152 a factor of l(-25)?
False
Suppose 3*l + 108*f - 107*f - 26 = 0, 12 = -3*f. Is 3 a factor of l/(-4)*(-29 - -13)?
False
Let v = -47 - -50. Suppose -17 = -5*c + a, 2*a = -v*c + 22 - 4. Suppose -d - 5*u = -156, -11 - c = 3*u. Is 17 a factor of d?
False
Let y be -12*5/180*6*-1. Suppose 0 = y*j - 5*v - 523, -7*j = -4*j - v - 817. Does 4 divide j?
False
Let n(l) = 11*l**3 - l**2 - 9*l + 34. Suppose -53*j + 57*j - 16 = 0. Is n(j) a multiple of 16?
False
Let w(y) = -47*y + 1413. Is w(12) a multiple of 7?
False
Suppose 3*v = 8*v - 30. Suppose -3*l + v*l = -21. Let c = 99 + l. Is c a multiple of 23?
True
Let o = 8218 + -7112. Is 7 a factor of o?
True
Suppose -2*n + 2*w = 120, w = -2*n + 5*n + 186. Is 6 a factor of (52/12 + 9)*n/(-5)?
True
Suppose -4*s - 8 = 0, -5*l - 360*s + 364*s = -423. Is l a multiple of 23?
False
Let p be (170/68)/(3/12). Let t(u) = u**2 - u - 10. Is 2 a factor of t(p)?
True
Let a be ((6 - 3 - -32)*-1)/(-1)