s 68 a factor of v?
False
Let l(s) = 2*s**3 - 26*s**2 + 75*s - 93. Is l(29) a multiple of 134?
False
Let m(l) be the first derivative of -l**3/3 + 6*l**2 - 18*l - 14. Let c be m(9). Is 5 a factor of 84/9 + 6/c?
True
Suppose 30*x = 140*x - 175998 - 135522. Is x a multiple of 16?
True
Let d = -2354 - -5334. Is 27 a factor of d?
False
Let y(g) = 494*g - 167. Let h be y(4). Suppose -23*o + 4171 + h = 0. Is o a multiple of 26?
True
Let c(i) = i**3 - 7*i**2 - 82*i + 560. Does 21 divide c(33)?
False
Suppose -3*h - 2*h = 5*k + 460, -3*h + 12 = 0. Let r = k - -100. Let y(n) = 4*n**3 - 6*n**2 + 6*n - 16. Is y(r) a multiple of 28?
True
Is 32 a factor of (1 + (-46948)/(-12))*(-96)/80*-12?
True
Let g = 79304 - 36469. Is g a multiple of 78?
False
Suppose 113*f + 51570 - 186904 = 834206. Does 132 divide f?
True
Let v(i) = 14*i**2 + 7*i - 5. Let w be v(4). Suppose 5*y - 365 = -5*u, w = 4*y - 0*u - 5*u. Is y a multiple of 14?
False
Let u be 6/((-100)/55 - -2). Let o(h) = -2*h + 214. Does 16 divide o(u)?
False
Let l(s) = 43*s**2 - 23*s - 6. Let g be l(-8). Suppose -16*p - 1138 + g = 0. Does 14 divide p?
True
Let x(m) = 0*m**2 + 10 - 42*m + 50*m + m**2. Let z be x(-7). Suppose l + 3 = -y + 97, -l - 266 = -z*y. Is 15 a factor of y?
True
Let g be ((-64)/(-40))/(2/40). Let p = g - 38. Let v = 8 + p. Is v even?
True
Suppose 59*l - 1470891 + 318621 = 0. Does 21 divide l?
True
Let p(z) = 5*z**2 - 164*z + 2364. Does 13 divide p(55)?
False
Suppose o = q - 84, -3*q + q = 3*o + 227. Let z = 79 + o. Suppose -k - 45 + 276 = z. Is k a multiple of 21?
True
Suppose r - 221 = 273. Suppose k = -c + 4*k + r, 4*c - 2*k = 1936. Is c a multiple of 4?
False
Let q = -29915 - -30740. Is q a multiple of 3?
True
Let q(t) = 3*t**3 - 36*t**2 - 23*t + 12. Let f be q(23). Suppose -196*n = -210*n + f. Does 110 divide n?
True
Let a(g) be the third derivative of -g**6/40 + 5*g**4/24 + g**3/2 - 19*g**2. Let s be a(-3). Is 6 a factor of 3 + (s - -3) + -3?
True
Let a(h) = 4*h**3 - 6*h**2 - 128*h + 635. Is a(5) a multiple of 5?
True
Let k = 75 + -71. Suppose 4*q + 2*n - 70 = 0, k*q - 126 = -5*n - 41. Does 5 divide q?
True
Suppose 3*w = 2*b + 16, 26 = 5*w - 2*b + 2. Suppose 7 - w = -d. Is (-50)/d - 2/3 a multiple of 8?
True
Let l(m) = 6 + m**3 - 3*m + 1 - 5*m**2 - 11 + 9*m. Let b be l(4). Let x = 28 - b. Is x a multiple of 8?
True
Let q(w) = w**2 - 17*w - 18. Let i be q(18). Suppose -5*v + 55 = -i*v. Suppose v*f - 2*f = 135. Is 4 a factor of f?
False
Let p = 6303 + -387. Is p a multiple of 37?
False
Let h(q) be the second derivative of q**4/2 - 2*q**3/3 + 2*q. Let a be h(-3). Let u = a - -34. Does 20 divide u?
True
Is 45 a factor of 270/((-140)/756*(-6)/20)?
True
Is 93/155 - (-31274)/10 a multiple of 34?
True
Suppose 103*q - 34 = 86*q. Suppose 5*k - 2*h - 1010 = 0, 4*k + q*h + 10 - 818 = 0. Is k a multiple of 25?
False
Let u(c) = 2119*c**3 - 2*c - 2120*c**3 + 96 + 0*c. Let t be u(0). Suppose -t = -4*k + 4*y, -2*k - 5*y + 30 + 53 = 0. Is k a multiple of 3?
False
Let f(x) = 28*x**2 + 3*x - 4. Let r be f(-2). Suppose 2*b - 2*a = 3*b + 2, 0 = 2*a + 4. Suppose 5*t - b*t = r. Is 7 a factor of t?
False
Suppose -12 + 84 = 6*t. Is 12 a factor of 0 + t/(-10)*-6*10?
True
Suppose 13*k - 16016 = -6*k - 7*k. Does 88 divide k?
True
Suppose 4*q + 4*z = -3 + 7, -2*q - 5*z + 2 = 0. Let d be (q/((-1)/(-3)))/(12/(-592)). Let w = d + 268. Is 15 a factor of w?
True
Let d(g) = 1755*g - 855. Is d(10) a multiple of 45?
True
Suppose 5*h = 5*i + 96005, 0 = 10*h - 8*h - 3*i - 38397. Is h a multiple of 264?
False
Is 9 a factor of (4*1 + 154/(-70))/((-21)/(-840))?
True
Does 8 divide (-442272)/(-306)*(-3)/(-2)?
True
Let j(k) = k**2 + 40*k + 41. Let y be j(-39). Suppose -2*a = -2*c + 316, -4*c = y*a + 2*a - 608. Is c a multiple of 44?
False
Suppose -5*m = -0*z + 2*z - 1, 0 = -3*z + m + 27. Let k(g) = 11*g + 11 - z - 5 - 2. Does 14 divide k(8)?
True
Let v be -1 + -2 - (-1582)/2. Let n = v + -458. Is 11 a factor of n?
True
Let s = 14315 - 9175. Does 10 divide s?
True
Let q be -1968*(24/(-18) + 1). Let z = 1200 - q. Is z a multiple of 32?
True
Let f(b) be the third derivative of b**5/60 + 7*b**4/24 - 9*b**2. Let n be f(6). Suppose -2*g + n = -g. Is 15 a factor of g?
False
Suppose -u = -2*u + 3692 + 928. Is u a multiple of 28?
True
Is (35/(-105))/((-3)/(-27)) + 23073 a multiple of 102?
False
Suppose -362*i + 1141015 + 4442111 = 0. Is 53 a factor of i?
True
Suppose -5 = l + 5*h - 87, -l + 3*h + 58 = 0. Let c = l + 101. Is c a multiple of 12?
True
Let p = -159 - -155. Let z(n) be the second derivative of -n**5/10 - n**4/3 + n**3/3 + 2*n**2 - 4*n. Is z(p) a multiple of 12?
True
Suppose -692*m = -687*m - 183795. Is m a multiple of 272?
False
Let w = -81 + 86. Does 11 divide 1952/w - 16/40?
False
Suppose -2*m + 4*m = 36. Let v be ((-4294)/(-4))/19 - 6/4. Is 23 a factor of (v/(-2))/(-1 + m/24)?
False
Let j(o) = 16*o**2 - 16*o + 20. Let v(n) = -15*n**2 + 17*n - 20. Let a(y) = 3*j(y) + 2*v(y). Does 25 divide a(3)?
False
Let l = 281 + -267. Suppose l*t = -17*t + 4309. Does 12 divide t?
False
Let y(i) = 61*i - 199. Suppose 11*o - 163 = -64. Is 14 a factor of y(o)?
True
Let a be 6250/(-65) + (-4)/(-26) + 0. Let i = 72 - a. Is 4 a factor of i?
True
Let w(y) be the second derivative of -y**5/5 + 19*y**4/3 + y**3/6 - 9*y**2/2 - 2*y + 6. Is w(19) a multiple of 2?
True
Let r = -33224 - -60794. Does 17 divide r?
False
Let r = -1617 - -15742. Is r a multiple of 5?
True
Suppose 193076 - 52586 = 9*d. Does 5 divide d?
True
Suppose 10*l = 4*b + 6*l - 552, 0 = -b - 4*l + 118. Let k = b + -38. Is k a multiple of 12?
True
Let d(f) = f**3 - 2*f**2 + 5*f + 54. Let g be d(0). Is 23 a factor of (-1 - 42/4)/((-3)/g)?
True
Let p = 36 + 2. Let d = p - -14. Let o = d + -20. Is o a multiple of 8?
True
Suppose 0*n - 5*n - 5 = 4*r, -2 = 2*n. Suppose i - 3*i = r. Suppose -5*h + 42 + 23 = i. Is h a multiple of 13?
True
Suppose -8*t + 20*t = 0. Let h(f) = -2*f + 0*f - 2*f**3 + 180 + f**3 + f**2. Is 45 a factor of h(t)?
True
Let s(h) = -8*h**3 - 3*h**2 - 5*h - 4. Suppose 0 = 5*m - 4*t + 3*t + 18, 0 = -m - t. Let l be s(m). Suppose 7*v - l = 17. Is 31 a factor of v?
True
Suppose -w + 2729 = 851. Suppose 7*o + n - w = 2*o, 0 = -5*o + 5*n + 1860. Is 22 a factor of o?
False
Suppose 40 - 154 = -6*o. Suppose -o*c = -3707 - 3418. Is c a multiple of 15?
True
Does 6 divide (1389/(-5))/((-174)/290)?
False
Let g(a) be the third derivative of 6*a**2 - 7/24*a**4 + 0 - 17/6*a**3 + 0*a. Is g(-7) a multiple of 12?
False
Let w(q) = -4*q + 3 + 8*q**2 - 6*q + 6*q - q**3. Let k = -1 + 5. Does 6 divide w(k)?
False
Let j(y) = 83*y**2 - 14*y - 52. Suppose 36 = -12*x - 0*x. Does 9 divide j(x)?
False
Suppose 2*r + 2756 = 3*b, -3*b - 12*r + 7*r + 2770 = 0. Is b a multiple of 46?
True
Suppose 8*p + 620 = 4*p. Let u = 185 + p. Is 15 a factor of u?
True
Let g(d) = -175*d + 74. Let l be g(-9). Let c = l + -1055. Is c a multiple of 18?
True
Suppose 5*t = -25, -65*u + 60*u + 2*t + 44730 = 0. Does 13 divide u?
True
Suppose 6 - 24 = 6*i. Let n be i + (4 + -2)*1. Does 14 divide 220/8 + n/(-2)?
True
Let q(s) = 884*s - 849. Is 30 a factor of q(12)?
False
Is (-466776)/(-5184) + 2/(-48) a multiple of 30?
True
Suppose -1467998 = 1437*z - 1460*z. Does 94 divide z?
True
Let h = 21226 - 11254. Is h a multiple of 36?
True
Is 116 a factor of 2916612/70 - 16/56 - 70/(-175)?
False
Suppose 2*m - 7*v + 933 = -6*v, 4*m = -2*v - 1878. Let g = 740 + m. Is g a multiple of 16?
True
Let x(p) = 31*p - 80. Suppose 0 = -7*r + 76 + 1. Does 13 divide x(r)?
False
Let d(y) = -y**3 + 7*y**2 + 3*y - 23. Let j = -23 + 25. Suppose -4*o = 5*i - 45, -3*i + 30 = o + j*o. Is 6 a factor of d(o)?
True
Let x(k) = -3*k**3 - 40*k**2 - 21*k + 11. Let h be x(-12). Let t = 442 + h. Does 32 divide t?
False
Let t = 26432 + -12034. Does 12 divide t?
False
Suppose 0 = 5*g - 13*p + 16*p - 1881, 1879 = 5*g + 2*p. Is 125 a factor of g?
True
Let f(d) = 4*d**2 + 4*d + 1. Let g be f(-7). Suppose -6*r + r + g = 4*a, 39 = a - 2*r. Is 11 a factor of a?
False
Let x = 34596 - 8641. Is x a multiple of 32?
False
Let c(g) = -13*g + 1105. Is 4 a factor of c(49)?
True
Let b be -1*(6/(-24) - 503/4). Let o = 67 - 137. Let d = o + b. Does 8 divide d?
True
Let m = -9238 + 32220. Does 20 divide m?
False
Does 97 divide 858/(-9)*(1 - 2)*57?
False
Let s(v) be the first der