Does 13 divide f?
False
Let s = -47 + 134. Suppose h + 5 = 3*d, -2*d + 20 = -6*d - 4*h. Suppose s = -d*z + z. Is z a multiple of 12?
False
Let a(h) = h**2 + 26*h + 15. Let c be a(-25). Is c/((-4)/(-34) + 81/(-544)) a multiple of 40?
True
Let z = -39 + -23. Let p = -18 - z. Does 43 divide p?
False
Let v(x) = -41*x**3 + 6*x - 58. Is v(-4) a multiple of 45?
False
Is ((12/75)/(30/75))/((-18)/(-606420)) a multiple of 29?
False
Let v(s) = 4*s**2 - 68*s + 8. Let h be v(8). Let u = 1138 + h. Does 22 divide u?
True
Suppose 0 = 3*i - 5 - 13. Suppose 2 = -113*d + 114*d. Suppose d*x = -2*h - h + 2, 2*h = -2*x + i. Does 7 divide x?
True
Suppose 5*r + 37 = -3*b, 4*r + 24 = -5*b + 4*b. Let w(g) = g - 6. Let y be w(b). Let p(n) = -n**3 - 10*n**2 - 3*n - 10. Does 19 divide p(y)?
False
Suppose 2*u + 20 = 14. Let a be 40/(-24) - u/(-9). Is 76 + a - (-3 - -2) a multiple of 25?
True
Suppose 3*t = 4*u + 20, -13 - 3 = -5*t - 2*u. Suppose -t*c - r - 3*r + 276 = 0, 5*c + r = 329. Does 13 divide c?
True
Is 9 a factor of 66/(-440)*-20 + (-2 - (-1 - 3406))?
False
Suppose 4*f + 45440 = 4*z, 1046*z + 4*f = 1044*z + 22756. Is 15 a factor of z?
False
Let q be (6/10)/(3/15). Let u(g) = -g**3 - 49*g**2 + 37*g - 507. Let m be u(-50). Suppose m - 449 = -q*w. Is w a multiple of 17?
True
Let o = 1764 - 693. Does 119 divide o?
True
Let i(h) = 146*h**2 - 16*h - 48. Does 6 divide i(-3)?
True
Let h = -45 - -45. Suppose h*k + k - 2 = 0. Suppose 7*t - k - 243 = 0. Is 5 a factor of t?
True
Let u(f) = 43*f**2 + 7*f + 8. Let r be 12/(-2)*(-1)/(-2). Let v be u(r). Let y = v + -171. Does 13 divide y?
False
Let z = 23192 + -14600. Does 75 divide z?
False
Let x = 2479 + -859. Is x a multiple of 10?
True
Let h = -265 - -455. Suppose -198*b + 6256 = -h*b. Does 34 divide b?
True
Suppose 6*t - 9*t = -3*b - 2688, -2*t + b + 1793 = 0. Suppose a - 5*a - t = -p, 0 = -3*p + 3*a + 2736. Is p a multiple of 40?
False
Let z = 7432 + -4462. Is z a multiple of 55?
True
Suppose 5*d + 4*x + 29 = 0, 3*x + 6 = 3. Is 28 a factor of (520 - d)*16/10?
True
Let o(k) = -43*k + 17*k + k**2 + 73 + 51 - 43 - 2*k**2. Is 22 a factor of o(-16)?
False
Does 119 divide 6*((-250)/12)/25 - -17124?
False
Let q(o) = 2*o**3 - 52*o**2 + 58*o + 37. Let a be q(25). Let n = a + -131. Is 10 a factor of n?
False
Let h(g) = -169*g + 15. Let n be (4/(-8))/((-1)/(-2)). Does 6 divide h(n)?
False
Suppose -49063 + 343743 = 41*n + 65*n. Does 10 divide n?
True
Let k(c) = 203*c - 639. Is 13 a factor of k(32)?
False
Suppose 13*v - 87173 - 80889 = 405238. Does 90 divide v?
True
Let a be 930/10 + 2/((-2)/3). Does 7 divide (-6 + a + 5)*1?
False
Let s(j) = -j + 8. Let w be s(-7). Let t = 15 - w. Suppose 712 = 4*q + 2*i + 2*i, t = 2*q - 2*i - 376. Is q a multiple of 35?
False
Let p(r) = 5*r**2 - 9*r - 28 + 3*r + 36. Let o be p(3). Suppose -11*n = -10*n - o. Is 10 a factor of n?
False
Let y be (46/(-6))/((-11)/(-3762)*-6). Let g be 0*3/(-9) + -226. Let h = g + y. Is h a multiple of 29?
False
Let q(f) = -f**3 + 8*f**2 - 3*f - 8. Suppose 4*g + 35 = 9*g. Let x be q(g). Suppose 13*t + 21 = x*t. Does 3 divide t?
True
Let h(n) = -n**2 + 44*n + 145. Let w be h(-3). Suppose 0 = 7*s - 4*s - 3*o - 3330, w*o - 3295 = -3*s. Does 14 divide s?
False
Let j(r) = -r + 27. Let t(x) = x + 10. Let p be t(-9). Suppose p = 2*k + 27. Is 4 a factor of j(k)?
True
Let k(y) = 0*y**2 - 8*y**2 + 3*y + 5*y**2 - 2 + 4*y**2. Is k(-13) a multiple of 11?
False
Let b(a) = 116*a + 8376. Is b(37) a multiple of 45?
False
Let i be 4*2/4 + (-1 - -4). Suppose -203 = -i*o - 38. Let l = -17 + o. Does 4 divide l?
True
Let j be 6/108*12 - (-16)/3. Does 9 divide 17*(-2 + 104)/j?
False
Suppose -51*g + 56*g - 430 = 0. Let d = 109 - g. Is 7 a factor of 4*d - (15 - 10)?
False
Let n(l) = 2189*l**2 + 97*l + 356. Does 171 divide n(-4)?
False
Let j be (-16)/(-7) + (138/(-42) - -3). Suppose 2*z - 62 = -g, 148 = j*g - 4*z - 16. Let r = -52 + g. Does 4 divide r?
True
Let w(u) = -u**3 + 46*u**2 + 175*u - 314. Does 19 divide w(49)?
False
Is 10 a factor of ((7 - 4)*(-4052)/(-12))/((-2)/(-12))?
False
Let j(z) = 37*z**3 - z**2 + 2*z + 2. Let v be j(-1). Let u = v + 38. Suppose -2*o + 4*p + 280 = u, 3*o + 3*p + 280 = 5*o. Is 28 a factor of o?
True
Let j(a) = 8*a + 5. Let d be j(8). Let c = -32 + d. Let o = c + 47. Is 21 a factor of o?
True
Suppose 3*m - 741*c - 77718 = -736*c, -18 = -3*c. Is 62 a factor of m?
True
Let v(f) = -f**3 - 3*f**2 - 8*f - 12. Let k be (-6)/(-15) - (-17)/(-5)*1. Is v(k) a multiple of 4?
True
Let t = -12897 - -16155. Does 18 divide t?
True
Let f(m) = -m**3 + 7*m**2 - 7*m - 11. Let u be f(5). Suppose -n + 3*k + 34 = 0, 35 = 2*n - u*k - 27. Let t = n - 4. Is t a multiple of 7?
True
Suppose 35*c - 33000 = -65*c. Is 10 a factor of c?
True
Let u(h) = 3*h + 10. Let i be u(-3). Suppose l - i = 0, -3*n - 3*l = -4*l - 41. Is (0 - 40)*7/(n/(-4)) a multiple of 16?
True
Let g be ((-12)/(-10))/(4/80). Suppose -10588 = -g*z - 2668. Is 33 a factor of z?
True
Let y(i) = -i**3 + 8*i**2 + 7*i - 41. Let v be y(8). Does 10 divide (16 - v)/(2/(86*1))?
False
Let f = 189 - 277. Let q be (-1)/((4/f)/((-2)/4)). Let n = 89 + q. Is n a multiple of 13?
True
Let s be ((-22)/3 - 2) + 20/(-30). Let l = 160 - s. Is l a multiple of 17?
True
Suppose -3*h = 3*b - 6681, -10*h + 13*h - 6680 = -2*b. Is h a multiple of 3?
True
Let w(x) = 497*x**2 + 215*x + 1218. Does 21 divide w(-7)?
True
Let y(q) = -17*q + 7. Let b(z) = z - 1. Let a(n) = -4*b(n) - 4*y(n). Is 4 a factor of a(1)?
True
Let o(a) be the second derivative of a**4/12 + 4*a**3/3 + 17*a**2/2 + a. Suppose 131*f - 12*f + 2842 = -287*f. Is o(f) a multiple of 10?
True
Let y be (6 - 2)/(2/4). Let j(z) = 2*z**2 + 0 + 25*z - 16*z**2 + z**3 - y*z**2 + 21. Is 15 a factor of j(21)?
True
Does 147 divide 8805792/768 + (-3)/(-24)?
True
Let c be ((-126)/10)/((-8)/(-40)). Let h = c - -67. Suppose x - h*q - 22 = -q, 4*x + 4*q = 40. Is x a multiple of 8?
False
Let g(u) be the first derivative of 27*u**2 - 2*u - 30. Let s be g(-2). Let c = s + 126. Is c a multiple of 4?
True
Suppose 0 = 11*o - 3*o + 5*o - 30186. Does 43 divide o?
True
Suppose z + 4*v = 464, -5*v - 1254 = -5*z + 1166. Is 12 a factor of z?
True
Suppose 5*z - 31*t + 2319 = -33*t, 2*z = t - 933. Let j = -137 - z. Is 26 a factor of j?
False
Is -3*7/(-3)*18/(-441)*-138691 a multiple of 28?
False
Let a(x) = -2*x**3 + 10*x**2 - 25*x + 8. Let l be a(7). Let v = -290 - l. Is 28 a factor of v?
False
Let s(m) = -38*m + 42898. Does 241 divide s(0)?
True
Let r(d) = d**2 - 3*d + 1. Let n be r(4). Let h be 14/(-455)*n + (-108)/(-26). Suppose h*s - 5*m = -0*m + 165, -9 = -3*m. Is 8 a factor of s?
False
Suppose -4*j + 351 = 291. Does 45 divide 4/6 + 3 + 1505/j?
False
Let g(m) = 877*m**3 - m. Let a be g(1). Suppose 5137 = 7*u - a. Suppose 0 = -4*f + s + u, -4*f + 1079 = f + 4*s. Is 43 a factor of f?
True
Let g(m) = m**2 - 50*m - 230. Is g(-30) a multiple of 31?
True
Let h(z) = -3 + 0*z - 1 - z**2 + 3 - 14*z. Let l be h(-13). Suppose 435 = l*w - 393. Is w a multiple of 6?
False
Let t be ((-49)/3)/(38/3762). Let z = -1133 - t. Is z a multiple of 24?
False
Let c(p) = 4818*p + 1456. Is 265 a factor of c(4)?
False
Suppose -2*n + 1394 + 67340 = 4*c, -5*n = -5*c + 85985. Is c a multiple of 4?
True
Suppose d = 5*d + 16, 0 = 3*t - 5*d - 584. Suppose -839*v + 818*v - 2058 = 0. Let y = v + t. Is 11 a factor of y?
False
Let m(s) = -5*s**3 - 21*s**2 - s - 73. Let h(b) = -4*b**3 - 21*b**2 - 75. Let k(u) = -6*h(u) + 5*m(u). Is k(20) a multiple of 77?
True
Let f(t) = 992*t**2 - 212*t - 7. Is 52 a factor of f(-4)?
False
Suppose -a - 4*a + 10 = 0. Let q(j) = 187*j + 1. Let w be q(a). Suppose 0 = -k - 2*k + w. Is 25 a factor of k?
True
Let v(x) = -175*x + 1142. Is 13 a factor of v(-13)?
False
Let w(n) = n**2 - 19*n + 23. Let r be w(18). Let o = -156 - -160. Suppose -5*v = -3*a - 0*a + 430, -r*a - o*v = -766. Is 25 a factor of a?
True
Suppose 3*p - 3*r - 2280 = 0, -4*r + 1793 = 4*p - 1215. Suppose 0 = 3*l - 4*f - 756, -3*l + 3*f = -0*l - p. Is 21 a factor of l?
True
Let o = 4 - -272. Suppose 3*b + 1077 = 5*j, 1145 = 4*j + 5*b + o. Is 6 a factor of j?
True
Let l be 21224/(-21) - (-2)/3. Let w = 184 + l. Does 13 divide 1/(w/(-206) + -4)?
False
Suppose -8*u = -u - 1449. Let v = -184 + u. Is v a multiple of 2?
False
Suppose -550 = -5*g + 360. Let z = g - 149.