t - 469. Does 13 divide t?
False
Let v(c) = -c**3 - 13*c**2 + 8*c - 14. Let p be v(-14). Suppose 63*r = p*r - 1568. Is 8 a factor of r?
True
Let f(y) = -40*y - 3. Let h be f(-2). Suppose -458 = 23*c + 1221. Let n = h + c. Does 2 divide n?
True
Let k be (-14 - (-48 + 11))/(0 + 1). Let p(b) = -b**3 + 8*b**2 - 7*b + 2. Let t be p(5). Let c = t - k. Is c a multiple of 19?
True
Let r(l) = 3*l + 7. Let v = 41 + -41. Is 7 a factor of r(v)?
True
Let r(a) = -2*a**3 + 10*a + 30. Let t be (-4)/(-3)*((-5)/10 + -4). Does 32 divide r(t)?
False
Let u(b) = -145*b - 633. Is u(-25) a multiple of 44?
True
Suppose 3*r - 56844 = -4*c, -827*r + 831*r = 5*c - 71024. Is c a multiple of 44?
False
Let r(x) = -17*x - 9. Let y be r(-4). Let q = -9 + y. Is q a multiple of 25?
True
Let k(g) be the third derivative of 257*g**5/60 + g**4/24 - g**3/3 - 4*g**2. Let j be k(1). Suppose q + h - 13 = 117, 2*q + h = j. Is q a multiple of 42?
True
Let k be (0 - 1)/((-2)/18). Let w = -1220 - -1690. Suppose -w = -b - k*b. Is b a multiple of 11?
False
Let x be ((0 - 0)/(-3))/2. Suppose -15*r + 10*r + 10 = x. Suppose -2*k + 320 = 2*k - 2*j, 8 = r*j. Is k a multiple of 18?
False
Let v = -839 - -841. Is 527*(v - -5*6/(-30)) a multiple of 37?
False
Does 5 divide 29*(73 - 126/14)?
False
Suppose -13*i - 2*i + 4800 = 0. Suppose x - 5*x = -i. Suppose -3*f = 4*o - 0*o - 212, -x = -f + o. Does 16 divide f?
False
Let s(c) = -41*c**3 - 6*c**2 - 7*c - 3. Is s(-3) a multiple of 21?
True
Let z = 49 + -49. Suppose z = 9*i - 5 - 13. Suppose 541 = 5*m - 4*f, -i*m + 2*f - 307 = -5*m. Is m a multiple of 14?
False
Let s = 282 - 271. Suppose -2432 = s*o - 8845. Does 22 divide o?
False
Let c be ((-8)/(-6))/(40/4740) + -3. Suppose 535 = 4*k + 5*u, k - 2*u - c = u. Is 7 a factor of k?
True
Let g(d) be the first derivative of -19*d**4/2 - d**2 - 8. Let i be g(-2). Suppose 2*b - i = -4*v, -v + 4*b + 220 = 2*v. Does 19 divide v?
True
Suppose 2*h - 11 = -5*p, -5*p = 3*h + 3 - 17. Suppose 0 = -3*u - h*k - 6, -3*u - 2*k - 3*k = 14. Is (6 - (1 - u))*7 a multiple of 13?
False
Let t be 4/2*(-13 + 493). Suppose -3*a = o - 936, o = -0*o + 3*a + t. Is o a multiple of 79?
True
Let b be 28/(-3)*(-7 - (-3 + -1)). Suppose 3*j + 3*p = 5*j - b, 3 = j + 4*p. Suppose -680 = -j*l + 904. Is 27 a factor of l?
False
Suppose 114 = -5*m + 684. Suppose -4*z + 5*h + 442 = -z, -z - 5*h = -m. Suppose 559 - z = 2*r. Is 35 a factor of r?
True
Let m = 32 - 12. Suppose -7*d + m = -2*d. Let y(i) = 7*i - 10. Does 3 divide y(d)?
True
Suppose 0 = -4*i + 4*r + 3176, -4*r + 160 - 966 = -i. Is 31 a factor of i?
False
Suppose 4*a + 12*g - 16*g = -4012, 3*a - 5*g + 3003 = 0. Let n = a + 1015. Is n a multiple of 2?
False
Suppose -2*m + 314 = 2*u, -4*u - 10 = u. Suppose -a + m = 3*a + 3*c, -3*a - 3*c + 120 = 0. Does 13 divide (a/2)/(-3)*-6?
True
Let a = -368 - -1015. Suppose 5*p = -2*m - a + 2229, -4*m = -4. Does 55 divide p?
False
Let q(w) = -w**3 - 42*w**2 + 9*w + 111. Let o be q(-45). Suppose -21*j + o = -10809. Does 98 divide j?
False
Suppose -c = 5*q - 846, -29*c + 33*c = -5*q + 3399. Does 3 divide c?
False
Suppose -h + 12578 + 8401 = 3*a, 5*h - 15 = 0. Is 23 a factor of a?
True
Let l be ((-148)/(-37))/((-1)/(-3) - -1). Suppose 3*d - 44 = 2*j + 21, l*d + 4*j - 41 = 0. Is d even?
False
Is 3 a factor of (-1)/(-4) + (22 - 171535/(-116))?
False
Let f = 66 + -72. Let t(p) = -p**3 + p**2 - 3*p + 12. Does 20 divide t(f)?
False
Suppose 5*y + 2*t - 220 = 0, 2*y = -5*t + 69 + 19. Is 21 a factor of -5 - y/(-8) - (-671)/2?
True
Let g be -47 + -1 + -2 + 3. Let x be 6*(3/15 + 66/20). Let m = x - g. Is m a multiple of 8?
False
Suppose 0 = o + 2*g - 47716, -5*g + 57 = 92. Is 30 a factor of o?
True
Let d = -135 + 118. Let o = d - -97. Does 20 divide o?
True
Suppose 164 = 4*l + 168. Is 4 a factor of 6 + (l - -3) + (303 - 7)?
True
Let p(c) = -c + 14. Let s be p(10). Suppose -22 = 20*j - 24*j - 5*h, h - 17 = -5*j. Suppose -j*t + s*r = -265 + 6, 0 = -3*r + 15. Is 12 a factor of t?
False
Suppose -g + 0*g - 620 = -4*p, 3*p - 465 = -5*g. Let y = 161 - p. Is y a multiple of 6?
True
Let p(l) = 70*l - 358. Let k be p(30). Suppose -k = -5*t - 262. Is t a multiple of 8?
True
Let r(t) = t**3 + 5*t**2 - 8*t - 7. Let j be r(-6). Suppose -10 = j*h + 5, 5*h = -g + 570. Is g a multiple of 39?
True
Let r = -53 - -112. Suppose -5*t - r = -3*v, -2*v = 3*v - 15. Is 14 a factor of 4/t + (-15780)/(-75)?
True
Let p(o) = 2*o + 10. Let q be p(22). Does 2 divide -4*(2 + q/(-4))?
True
Let x(f) = f**3 + 14*f**2 - 20*f - 20. Let s be x(-13). Let k = s - 257. Does 43 divide k?
False
Let p = -219 + 3398. Does 17 divide p?
True
Let g = 39 + 75. Let q be 8/(-1 - -34*3/g). Let z = q - -86. Does 4 divide z?
False
Suppose -254*h + 24*h = -1468320. Is 24 a factor of h?
True
Let t be 28/6*(-30)/(-20). Let h(f) = -19*f - 14 - t + 1 + 2 - f**2. Does 33 divide h(-14)?
False
Let l = 1 + 1. Suppose -14 = 3*v - q, 2*v + 5*q + 33 = 35. Is 13 a factor of (4 - (-744)/v)*(-1)/l?
True
Suppose -6*n - 609 = -12399. Let m = n - 1064. Does 56 divide m?
False
Let y = 346 - -525. Is 13 a factor of y?
True
Suppose 5*s - 4*q + 20 = -10, -5*s - 3*q = 30. Does 3 divide 0/1 - 1128/s?
False
Suppose 10*c - 8714 = -2524. Suppose -4*k - 5*a + c = -6*a, -3*k + 2*a = -458. Is 13 a factor of k?
True
Let l = 15 - 3. Suppose -l = -f - 3*f. Suppose 2*r - f*o + o - 246 = 0, -234 = -2*r + 5*o. Is 23 a factor of r?
False
Let k = 19358 - 18979. Is 3 a factor of k?
False
Let k(f) = f**3 + 108*f**2 + 196*f + 339. Is k(-106) a multiple of 42?
False
Let p(j) = -j**2 - j + 6. Suppose -4*l + 8 = 0, -4*k + 22 = l - 0*l. Let h be p(k). Let o = 47 + h. Is o a multiple of 23?
True
Suppose 16*k - k = -1245. Let q = 349 + k. Does 7 divide q?
True
Let k(z) = 20*z**2 + 116*z + 8. Let r be k(-6). Let o be 9*(1 + 2/(-6)). Is (o + r/(-3))/((-4)/66) a multiple of 7?
True
Let a be (-46)/207 - (-2416)/18. Suppose 6*n - a = 280. Is n a multiple of 19?
False
Let c(q) = q**2 + 7. Suppose 2*s + 4*x - 8 = -0*s, -5*x = 5*s - 25. Let b be c(s). Suppose k - b = 61. Is 8 a factor of k?
True
Suppose 220 = -4*a + q - 0*q, 5*a + 254 = -4*q. Let s = 89 + a. Let j = 101 - s. Does 11 divide j?
True
Let i = -133710 - -197432. Is i a multiple of 12?
False
Suppose -1944 = -11*d + 5294. Let w = -335 + d. Does 17 divide w?
True
Let g = 9781 - 4527. Suppose g = 19*o - 3866. Does 32 divide o?
True
Let b(i) = 6*i**3 + i**2 + 2*i + 2. Let h be b(-1). Is -4*h/(-70)*-42 a multiple of 4?
True
Let v = 443 - 112. Let n = v + -163. Does 28 divide n?
True
Let s(m) = -192*m + 3040. Is 8 a factor of s(8)?
True
Suppose 5*v = y - 33, y = -v + 5 + 22. Let w be (-244)/y - (6/21 + 0). Is 123/(-2)*(-4 - 30/w) a multiple of 9?
False
Suppose 4*w - 2*w = 62. Suppose w*i - 33*i + 8 = 0. Does 18 divide i - ((-12)/12 + (-410)/2)?
False
Suppose -59*x + 56*x = -72. Let c = x + 504. Is 88 a factor of c?
True
Let v(p) = -p**2 + 9*p - 11. Let s be v(9). Does 29 divide (0 - -1) + s/((-11)/280)?
False
Suppose 300 = 6*z - 2*z - 4*g, -115 = -2*z - 5*g. Let b = 92 + -88. Suppose -i + z = b*i. Does 2 divide i?
True
Let u(x) = 56 + 5*x + 7*x + 11*x + 4*x. Is u(12) a multiple of 12?
False
Suppose -19629 - 21321 = -91*l. Does 25 divide l?
True
Let j = -19838 - -45057. Is j a multiple of 68?
False
Let i(m) = 5*m + 1274. Is i(-63) a multiple of 3?
False
Suppose 37*f + 31578 - 108982 = 0. Is 8 a factor of f?
False
Let p be (-2 + -4 + 21)*11. Let y = p + -93. Does 12 divide y?
True
Let f(q) = -4*q - 21. Let a be f(-6). Let p(j) = -4*j**2 + 4*j + 5. Let k be p(a). Let x = k - -154. Does 26 divide x?
False
Suppose -5*t - 3*j + 18705 = -4*t, 5*t - 2*j = 93440. Is t a multiple of 267?
True
Let q(w) = 30*w - 28. Let k be q(6). Suppose -4*t + k = -4*i, -4*i + 22 = t - 1. Does 5 divide t?
True
Suppose 4*s = -877 + 3789. Suppose -3*z + 5*o = -s, -o + 2 = -0*o. Is z a multiple of 5?
False
Let i be (-2560)/(-6) + (-128)/(-96). Suppose 0 = b + 2*x - 141, -b - 2*b = x - i. Is 13 a factor of b?
True
Suppose -682033 - 1203695 = -56*z - 418136. Is 60 a factor of z?
False
Let m(u) = 3*u**3 - 6*u**2 + 23*u + 2. Is m(3) a multiple of 13?
False
Suppose 12 - 66 = -18*x. Does 18 divide (56/(-12))/7 - (-1331)/x?
False
Suppose 2671 = 3*y + l - 7936, 3*y - l - 10609 = 0. Is y a multiple of 68?
True
Suppose 0 = 2*y + 8*w - 13*w - 323, 3*w = 