de r(y)?
False
Let v be (10/(-15) + 0)/((-4)/(-1338)). Let q = -195 - v. Is q a multiple of 28?
True
Let d = 92 - 88. Suppose d*c + 41 = 69. Does 12 divide 105/c*(1 + (-3)/(-5))?
True
Let z = -181 - -201. Is (-3)/((-4)/z*1) a multiple of 7?
False
Does 5 divide (17 - (-15795)/(-45))*(-63)/2?
False
Let h = -154330 - -216180. Is h a multiple of 25?
True
Let h = -9783 + 20925. Is h a multiple of 8?
False
Let n be 498*-3*(-1)/3 - 1. Let h = n - 267. Does 8 divide h?
False
Suppose -4*m + 4 = -36. Let k(g) = 2*g + 130. Let p(y) = 3*y + 214. Let d(i) = -8*k(i) + 5*p(i). Is d(m) even?
True
Suppose 0 = -3*o + 10 + 2. Let f(m) = 19 - 8*m - o - 2*m**2 + 36*m. Does 6 divide f(14)?
False
Let u = -54 - -59. Suppose 0*p - 15 = -u*p. Does 12 divide (48/9)/4*12*p?
True
Let q = -862 + 759. Let n = q - -528. Is 17 a factor of n?
True
Let x(v) = v**2 + 5*v - 2. Let w(d) = -d**2 - 6*d + 2. Let m(g) = -5*w(g) - 4*x(g). Let q be m(-10). Is 14 a factor of q/11 + 1854/33?
True
Let q be (-6)/10 + (8/5 - -4). Suppose q*k - 153 = -i + 259, -k - 5*i = -68. Let z = k + -50. Is z a multiple of 14?
False
Suppose 26 - 20 = 2*l. Suppose l*u + 2*u + 30 = 0. Let y(f) = -8*f - 35. Is y(u) a multiple of 8?
False
Let u(q) = 5*q**2 - 60*q - 28. Let g(f) = f**2 - 3*f - 1. Let a(p) = 4*g(p) - u(p). Is a(44) a multiple of 5?
True
Let z = 13229 + -5849. Is z a multiple of 90?
True
Let q(w) = -7682*w + 364. Is 15 a factor of q(-1)?
False
Suppose 2*j - 8*v = -9*v + 1285, 5*v + 25 = 0. Does 18 divide j?
False
Is 13 - 3707/(-33)*33 a multiple of 6?
True
Suppose -50 + 290 = -30*g. Is g/12*-309 + (-3)/(-1) a multiple of 29?
False
Let z(d) = 27*d + 16. Let l be z(3). Suppose -30 = 96*a - l*a. Is a a multiple of 10?
True
Let s = 10219 - 6196. Is 14 a factor of s?
False
Suppose 76*m - 88731 = 71*m - 3*v, 35484 = 2*m - 3*v. Does 21 divide m?
True
Suppose 3*m = -4*b + 524, 0 = 6*m - 2*m + 19*b - 726. Is 86 a factor of m?
True
Let l = 18746 + -10976. Does 35 divide l?
True
Let l(q) = 193*q - 1749. Does 6 divide l(50)?
False
Let r = -286 + 158. Suppose -794 = -4*z - 2*o, -2*z + 44*o = 43*o - 399. Let q = z + r. Is 15 a factor of q?
False
Let w be (8 + 4 - 7)*(-9)/(-15). Suppose 4*d + p = w*p + 2776, -2080 = -3*d + p. Is 70 a factor of d?
False
Let d(q) = -7*q - 5. Let h be d(0). Is ((-1)/3)/(1/1050*h) a multiple of 7?
True
Suppose 4*q + 5*q = 0. Suppose q = -4*o + 271 + 877. Suppose -5*d = -2*t + 203, 0 = -3*t + 3*d + d + o. Does 22 divide t?
False
Let r(t) = 29*t - 19. Let p(h) = 15*h - 10. Let c(l) = -9*p(l) + 4*r(l). Does 42 divide c(-9)?
False
Let q = 31203 - 7499. Is q a multiple of 67?
False
Let l(j) = 14*j + 28. Let t be l(31). Let d = t - 105. Does 60 divide d?
False
Let i(y) = 7*y**2 - 300*y + 69. Does 2 divide i(43)?
True
Suppose -69*i = 89492 - 1150022. Does 53 divide i?
True
Suppose 9*g = 6*g + 609. Let y = g - -49. Is 18 a factor of y?
True
Suppose 0 = -3*f - 5*z + 9840, 5*z = -2*f - 0*z + 6550. Does 14 divide f?
True
Let d = -14969 + 21076. Is 5 a factor of d?
False
Suppose 4*r + 352758 = 12*r + 6*r. Is r a multiple of 18?
False
Suppose 22248 = 2*l + 2*w, 1948 = 3*l - 4*w - 31452. Is l a multiple of 26?
True
Let i be (-3)/(-18) + 49/(-6). Suppose -201 + 137 = z. Does 10 divide -1 + 3 + z/i?
True
Let p(a) = 43*a**2 + 18 + 61*a**2 - 26*a + 35 - 3. Let h(r) = 69*r**2 - 17*r + 33. Let o(z) = 8*h(z) - 5*p(z). Is o(3) a multiple of 20?
False
Let n(a) = -a**2 - 7*a - 9. Let b be n(-3). Let m be (-3 + (-3)/(-2)*b)*2. Suppose 2*p = m*l - 7*l + 44, 3*p - 2*l - 82 = 0. Does 13 divide p?
True
Suppose 841860 = 78*g - 126432. Does 13 divide g?
False
Let t = -3147 + 3345. Is 9 a factor of t?
True
Let c(u) = 17*u**2 + 9*u - 57. Does 29 divide c(-14)?
False
Let w be -12*(0 - 4/12). Suppose 8*t = w*t + 4*m - 220, -3*m = -t - 53. Is 19 a factor of t/42*(-29 + -1)?
False
Suppose -2*z + j + 58 = 0, 2041*z - 2043*z - 4*j = -68. Is 3 a factor of z?
True
Suppose -3070*t + 14184 = -3061*t. Is 53 a factor of t?
False
Let w(s) = -s**2 - 78*s + 298. Is w(-54) a multiple of 90?
False
Suppose 2*w = i + 58588, 185*w - 186*w = 4*i - 29330. Is 79 a factor of w?
False
Suppose -3*b - 2*b + 422 = 2*j, -b - 4*j = -88. Suppose -4*y + 7*y = b. Suppose 4*a - 97 = u, 0 = 4*a - 3*a + u - y. Is a a multiple of 25?
True
Let m be (-112)/(-70) + 6/15. Is 2 a factor of (m/10)/((-4068)/1020 + 4)?
False
Let l(d) = -d**2 - 21*d - 24. Let w be l(-18). Suppose n = 6*n + w. Does 9 divide (n - -3)/(12/(-332))?
False
Suppose 7*c - 112354 = i - 2391, 4*c + 4*i = 62804. Is c a multiple of 51?
True
Suppose 2*j - 5101 = -3*b, 0 = 2*j - 3*j + 2*b + 2540. Does 5 divide j?
False
Let w = 60 + 2220. Does 9 divide w/25 + 12/(-10)?
True
Suppose 2*z = -1 - 149. Does 16 divide z/(-25) - 41*-11?
False
Suppose 0 = 3*x + 2*y + 122, 3*x = x + 3*y - 64. Let s = x + 223. Is s a multiple of 24?
False
Let o(g) = 4*g**2 + 20*g + 9. Let q(v) be the third derivative of v**4/12 - 7*v**3/2 - 11*v**2. Let j be q(6). Does 34 divide o(j)?
False
Suppose -67*r - 24 = -70*r. Let k be (-4)/8 - (-28)/r. Suppose -25 = -k*p - 13. Is p a multiple of 4?
True
Let v(g) = -15*g + 3. Let j be v(-32). Let k = j + -216. Is 19 a factor of k?
False
Let t be 0/4 - (-64 - 3). Let p = -122 + t. Is (-2 + 4)*p/(-2) a multiple of 5?
True
Let p = 23 + -66. Let h = 48 + p. Let x(a) = 4*a**2 - 4*a + 12. Does 32 divide x(h)?
False
Let w(c) = c + 9. Let k(o) = o + 8. Let a(y) = 3*k(y) - 2*w(y). Let r be a(9). Does 7 divide (-52)/6*r/(-2)?
False
Let o(s) = -11*s**3 + 8*s**2 - 65*s - 369. Is 19 a factor of o(-10)?
False
Let j = 4380 - 3504. Is j a multiple of 73?
True
Suppose 9 = -13*g + 51619. Is 15 a factor of g?
False
Does 28 divide -10 + (20 - -88060 - 26)?
False
Let d = -43 - -57. Suppose -193 - 101 = -d*s. Does 4 divide s?
False
Let b be (-9)/(-2*(2 + (-690)/348)). Let n = b - 214. Does 8 divide n?
False
Let o(l) = 27847*l**3 - l**2 - 33*l + 33. Is 153 a factor of o(1)?
True
Suppose 36*h = 60*h - 228096. Suppose 0 = -28*c + 39*c - h. Is 23 a factor of c?
False
Let u(d) = d**2 - 5*d + 8. Suppose 0 = -2*g - 4*w + 42, 3*g + 4*w - 3 - 50 = 0. Let m = g - 2. Does 11 divide u(m)?
True
Let l(f) = f**2 - 23*f + 76. Let w be l(19). Suppose w = -20*c + 28*c - 2400. Is 11 a factor of c?
False
Suppose 50*x + 2569440 = 23*x + 80*x. Does 202 divide x?
True
Let z = -3194 + 4517. Does 49 divide z?
True
Let l(b) = 2*b + 26. Let o be l(-11). Suppose r - o*g - 184 = -0*r, 1 = -g. Does 5 divide r?
True
Let a(c) = c**3 + 10*c**2 - 2*c + 12. Suppose 8*f - 33 - 47 = 0. Suppose 3*g - 2*g = -f. Is a(g) a multiple of 32?
True
Let k be 4/(-10) - 3415590/(-225). Suppose 190*l = 205*l - k. Is 44 a factor of l?
True
Suppose -p - 2323 = -o, 0 = -23*p + 22*p - 4. Is o a multiple of 27?
False
Let m(p) = p**2 - 3*p - 6. Let q be m(5). Suppose -4 = -2*t, -o = -0*o + q*t - 18. Is 1024/o + (144/40 - 4) a multiple of 18?
False
Let l be 7*((-2)/(-2))/(6/(-12)). Let p be -1*((-32)/l + 2/(-7)). Does 37 divide 1*(p/6)/(1/(-543))?
False
Let f = 149 - 170. Let q(j) = -2*j**3 - 43*j**2 - 22*j - 2. Let o be q(f). Suppose o*g = 12*g + 91. Does 13 divide g?
True
Let p = -8073 - -17914. Does 59 divide p?
False
Let f be (-15)/(-20) + (-518)/(-56). Let i(t) = 3*t**2 - t - 2. Let g be i(-2). Suppose -g*x = -f*x - 34. Is 4 a factor of x?
False
Let s = 68 + 1. Let x(p) = -30*p - 99. Let b be x(-3). Let i = s + b. Is 13 a factor of i?
False
Suppose 40 = 5*b - 5*z, 4*z + 4 = -4*b - 4. Suppose g - 575 = b*d, 4*g + 339 = -4*d + 2623. Is 13 a factor of g?
True
Suppose -b - 17 = -83. Let d = -65 + b. Is 4 a factor of (-120)/(-1 - 5) - 1/d?
False
Let s = 2476 - 2344. Is s a multiple of 10?
False
Let r = -21107 - -7145. Does 37 divide (r/104)/((-6)/16)?
False
Suppose 243*r - 205716 = -78*r + 908475. Is r a multiple of 39?
True
Suppose 3 = -a - 5*t - 22, 5*a + 2*t + 10 = 0. Let i(g) = 0 + 3329*g - 6647*g + 3319*g + g**2 + g**3 + 238. Is 14 a factor of i(a)?
True
Suppose -177*h = 29*h - 1407598. Is 4 a factor of h?
False
Let k(a) = a**3 + 40*a**2 - 20*a + 123. Does 6 divide k(22)?
False
Let h be ((-1713)/6)/(10/(-20)). Suppose 0 = -11*t + 4927 - h. Is 66 a factor of t?
True
Let h = -278 + 273. Is 8 a factor of (h - 249)/(-4 + 3)?
False
Let u(p) = p - 4. Let x be u(9). Suppose x*v - 2*v - 12 = 0. Suppose -4*a - v*w = -120, a + 2*w - 30 = -0*a. Does 15