 o be 6/90*-33*10. Is 36 a factor of s(o)?
False
Let l be (-15)/(-4) - 2/(-8). Let q(b) = -135*b + 2435. Let v be q(18). Suppose d + 372 = v*k, -15 = -9*d + l*d. Does 15 divide k?
True
Let u(b) = 385*b - 1360. Is u(10) a multiple of 235?
False
Suppose -4*d - 3*d = -294. Let h = d - 35. Let r = 32 - h. Is 15 a factor of r?
False
Let b be 4/32*-2 - (-27)/12. Suppose 4*x - 4 = -b*c, -4 = -3*x - c - c. Suppose 3*a + 3*s = -7 + 43, x = a - 3*s - 4. Is a a multiple of 2?
True
Is (32721/(-2))/(-3) - (-30)/(-60) a multiple of 36?
False
Let y = -2522 + 5038. Is 37 a factor of y?
True
Let h = 396 + -784. Let k = -251 - h. Is 38 a factor of k?
False
Let x be 3/(90/(-4)) - (-23454)/(-270). Let c = 98 + x. Suppose -13*l + c*l = -18. Does 5 divide l?
False
Let y(f) = 6*f**2 - 25*f - 23. Let j(d) = -2*d**2 + 8*d + 8. Let a(o) = -8*j(o) - 3*y(o). Let k be a(9). Is 13 a factor of 2 + (-1 - k/1)?
False
Let v = 15691 - 15706. Let l(m) be the third derivative of -m**6/120 - 4*m**5/15 - 11*m**4/12 - 5*m**3/2 - m**2. Is l(v) a multiple of 10?
True
Suppose 0 = 3*y + 3*u + 168, 2*y + 2*y + 5*u + 226 = 0. Is 23 a factor of y + 691 - (-6 + -1)?
True
Let x be (-16)/(-9) - 0 - 70/(-315). Let d(z) = -2*z**2 + 4. Let f be d(3). Is (f/(-35))/(x/340) a multiple of 17?
True
Suppose -4*c = -128 + 124. Is 6 a factor of (-168)/(-12)*54/21*c?
True
Suppose 224 = -3*n - 2*q + 2512, 3*q - 2292 = -3*n. Suppose -4*b - 4*w = -n + 280, -5*b + 598 = 4*w. Does 12 divide b?
False
Let p(m) = 8*m**2 - 6*m + 4. Let g = -34 + 47. Let h(n) = 16*n**2 - 13*n + 9. Let s(i) = g*p(i) - 6*h(i). Does 9 divide s(-4)?
True
Suppose -8*a + 15*a = 28. Suppose a*o + 0*o - 4 = 0. Suppose -47 = -t + w, -2*t + 3*w + 89 = -o. Is 26 a factor of t?
False
Let v = -252 - -288. Suppose -198 = -37*c + v*c. Is c a multiple of 11?
True
Suppose 19*w - 15*w = 8, 2*y - 36152 = 2*w. Suppose -22*x = 6066 - y. Does 26 divide x?
True
Let a(f) = -2*f**2 - 10*f - 5. Let m be a(-4). Suppose m*z + 4 = 5*z. Suppose -2*o = -0*o, 0 = -z*y + 3*o + 70. Is y a multiple of 5?
True
Let a = -14512 - -21808. Does 76 divide a?
True
Let j(h) = -22*h**2 + 322*h - 7. Does 38 divide j(12)?
False
Suppose w = -3*b + 96, -4*w - 2*b + 434 = -0*b. Suppose -13*d + 16*d = m + 1153, 4*m = 32. Suppose -4*x = n - d, 0 = x + 6*n - n - w. Is 16 a factor of x?
True
Let x(q) = 500*q**2 - 177*q - 704. Does 12 divide x(-4)?
True
Let m(u) = 12*u**2 - 10*u - 79. Does 2 divide m(-6)?
False
Let o(n) = -2*n**3 + 6*n**2 + 5*n + 3. Let y be o(4). Let f be (-2522)/y - (-14)/(-63). Suppose 9*x = 4*x + f. Does 28 divide x?
True
Suppose 0*v - 1 = v + 3*j, -5*j = -3*v + 39. Suppose 0 = -12*g + v*g. Suppose -2*a - 41 + 465 = g. Is 47 a factor of a?
False
Let w = -7121 - -10017. Is 8 a factor of w?
True
Suppose -536*j + 993390 = -252*j - 254*j. Is j a multiple of 137?
False
Let l(i) = -116*i + 4243. Is 8 a factor of l(35)?
False
Suppose -g + 64 = 4*i, -2*g = -g. Suppose 3*h + 1079 = i*h. Let p = h + 25. Is 9 a factor of p?
True
Let i = -9323 + 17519. Is 6 a factor of i?
True
Suppose -45*a + 53*a = 920. Suppose 0 = -10*r + a + 2185. Does 23 divide r?
True
Suppose 33*p + 3*p - 504630 = 6*p. Is 5 a factor of p?
False
Let f(v) = v**3 - 23*v**2 + 21*v + 27. Let j be f(22). Suppose -514 = -4*n - 3*k, -3*n = j*k - 529 + 138. Let m = n + -46. Is 25 a factor of m?
False
Let f = 85 + 68. Let o = -70 + f. Is 18 a factor of o?
False
Let o = -6150 - -18396. Is 59 a factor of o?
False
Is (-132)/726 - ((-16)/(-24) - (-2424302)/(-66)) a multiple of 23?
True
Suppose -4*d + 14700 = 8*f, 4*d + 2*f - 11695 = 2975. Is d a multiple of 147?
False
Let g = -14154 - -26695. Is 10 a factor of g?
False
Suppose 4*m - 3*d - 16 = -8*d, 3*d = -m + 4. Suppose -m*c = 3 - 19. Suppose -c*r - 5*i + 380 = 0, 4*r + 2*i = 162 + 218. Does 19 divide r?
True
Let g(v) = -5*v**3 + 5*v**2 + 11*v - 11. Let a(b) = 25*b**3 - 26*b**2 - 57*b + 56. Let s(u) = -2*a(u) - 11*g(u). Is 13 a factor of s(4)?
False
Suppose -3*f + 12 = -3*b, 0 = 3*f + 3*b + 20 - 32. Suppose -f*t + 4992 = 8*t. Does 52 divide t?
True
Suppose -18*s = -11*s - 8575 - 50267. Does 9 divide s?
True
Suppose -2*c + 3*l - 1156 = -7*c, -2*c - 5*l = -470. Is c - (4/(-14) - (-192)/(-112)) a multiple of 29?
True
Let j(t) = 6*t - 61. Let p be j(11). Suppose -p*h = 2*h - 196. Does 14 divide h?
True
Suppose 0*h = -3*h - 4*y + 29064, -38752 = -4*h - 5*y. Does 14 divide h?
True
Suppose 65998 = 26*v + 22890. Is v a multiple of 3?
False
Let z = 3543 + -1003. Is z a multiple of 9?
False
Let m(s) = 82*s**2 + 2*s + 5. Let v(p) = -14*p - 109. Let t be v(-8). Is 19 a factor of m(t)?
False
Suppose -27*d - 3*a + 11120 = -23*d, 3*a = 0. Is 47 a factor of d?
False
Let w be (-3 - -18)*30/((-6)/(-1)). Let x = 6 - 31. Let s = w - x. Is 25 a factor of s?
True
Let r(i) = i**3 + 11*i**2 + 27*i + 67. Let m be r(-7). Suppose -m*f = -69*f - 1225. Is 37 a factor of f?
False
Let a(c) = -4*c + 27*c - 7*c + 20 - 2*c - 12*c. Does 6 divide a(24)?
False
Let c(p) = 17*p**2 - 14*p + 1152. Does 30 divide c(-24)?
True
Let n(k) = -1724*k + 3. Let d(m) = -1725*m + 4. Let b(s) = -5*d(s) + 6*n(s). Let a be b(-1). Suppose -a = -23*i + 6*i. Is 40 a factor of i?
False
Let l(o) = o**3 - 46*o**2 - 396*o + 83. Does 25 divide l(57)?
True
Suppose 12 = -10*t + 5802. Does 24 divide (2 - t/(-3)) + -13 + 10?
True
Let q(a) = -4*a + 179. Let u(l) = -6*l + 175. Let b(x) = -3*q(x) + 4*u(x). Is 18 a factor of b(-7)?
False
Let n = -5095 - -5963. Does 6 divide n?
False
Let b(x) = x**2 - 30*x + 3. Let m be b(30). Suppose 0 = m*q + n - 0*n + 914, 4*q + n = -1218. Is (q/(-6))/(3*(-2)/(-9)) a multiple of 27?
False
Suppose 3*z + 3*q - 459 = 0, 2*q - 128 = -z + 6*q. Let r be z/8 - 1/2. Does 19 divide 1*79 - (r + -17)?
False
Let t = 4200 + -675. Is t a multiple of 62?
False
Let h(u) = 70*u - 342. Is h(12) a multiple of 35?
False
Let d = 16514 - 9416. Does 21 divide d?
True
Let r = 60570 + -38862. Does 108 divide r?
True
Let w = -312 + 140. Is 6 a factor of 4*w/(-16) + 1?
False
Let o(q) = 2*q**2 - 51*q + 3. Let r be o(27). Does 15 divide r/112 - (-1 - (-637)/(-4))?
False
Let o(u) = 58*u - 2. Let d be o(-4). Let i = -143 - d. Does 2 divide i?
False
Let w = -493 - -7539. Is 10 a factor of w?
False
Suppose 5*v = -m + 11187, m - 40*v = -42*v + 11169. Does 59 divide m?
False
Let t(l) = 10*l + 26. Let o be t(24). Suppose 269*m = o*m + 492. Does 21 divide m?
False
Suppose -23*b = 50*b + 17626 - 43906. Is b a multiple of 5?
True
Let t be (-1 + 47)/((-3)/(-6)). Let k = t - 83. Does 8 divide (-16)/24 + 366/k?
True
Let d(h) = 2*h + 8. Let v be d(-3). Let j = 0 + v. Suppose 4*z = -2*o + 152, 4 = 3*z - j. Is o a multiple of 8?
True
Let h be -2 + (7 + -4 - (-5 - -4)). Suppose -1471 = -4*y - z, -z + 5 = h. Is 67 a factor of y?
False
Let k = 34 - 31. Suppose 0 = -k*i + 211 + 149. Suppose -2*u - 3*l + 7*l = -i, 0 = 3*u + l - 215. Is u a multiple of 7?
True
Suppose -4*t = 2*i - 110, 2*i = -5*t + 78 + 62. Let c be 4/t - 232/(-60). Suppose 4*f - 376 = -c*d, 2*d - 5*f - 165 = 23. Is d a multiple of 34?
False
Let y(n) = -n**3 - n**2 + 7*n - 1199. Let c be y(0). Let m = c - -2013. Is 22 a factor of m?
True
Suppose t - 3*c = 7, 6 = -2*t + c + 25. Let n be (-4)/t - 56/(-40). Does 10 divide n + 2 + 57 + 0?
True
Let b = 77 - 210. Let l = -44 - b. Is 15 a factor of l + 2 + (0 - 1)?
True
Suppose -45*p + 47*p = 9651 - 417. Is 57 a factor of p?
True
Suppose -59 = -32*m + 5. Suppose 3*n = -j - 2*j + 2124, m = -n. Does 11 divide j?
False
Suppose 5 = -g + 7. Suppose 3*v + g*v + 16 = -2*c, -v - 2 = c. Suppose -5*k = 10, 5*k + 13 + 19 = c*z. Does 5 divide z?
False
Let k be -4 - (-1 - -1) - (-24 - -3). Suppose 2086 = k*j + 675. Does 21 divide j?
False
Let w(r) = -7*r - 267. Let h be w(-39). Suppose 14*b - 860 = -h*b. Is b a multiple of 2?
False
Let o(h) = 15*h**3 - 18*h**2 + 24*h + 50. Is o(10) a multiple of 34?
False
Let w be (-3)/(-1)*394/3. Suppose w = 9*o - 74. Is o a multiple of 4?
True
Suppose 0 = -4*f - n + 46628, 4*n + 4882 = -2*f + 28182. Is f a multiple of 147?
False
Suppose 30*g = 26*g, -2*g + 7892 = 4*f. Is 9 a factor of f?
False
Let r be 21/42 + (-14)/(-4)*1. Suppose -r*t - 11*t + 2955 = 0. Does 18 divide t?
False
Let v(j) = -j**3 + 11*j**2 + 17*j - 7. Suppose -3*i = -2*t + i + 28, -2*i - 50 = -4*t. Let u be v(t). Suppose -4*c + u = 5. Does 10 divid