5 = -713. Does 34 divide j?
False
Suppose 0 = 4*n + 8 - 208. Let f = -45 + n. Suppose f*j = 6*j - 48. Is 6 a factor of j?
True
Let c = -14823 - -18223. Is c a multiple of 55?
False
Suppose 21*f - 25 = 16*f. Suppose z + y + 3*y - f = 0, -4*z + 4*y = -20. Suppose -620 = -4*r + i, r + z*i + 0*i - 134 = 0. Does 17 divide r?
False
Let m = 216 + -91. Let o = m - 45. Is 8 a factor of o?
True
Suppose -2*s = 3*s - 25. Suppose 4*t + 10 = 3*d + 4, -4*t - 10 = -s*d. Suppose -i = -4 - t. Is 4 a factor of i?
True
Let o = -48 + 53. Suppose 10*i - o*i - 499 = -4*l, -i + 97 = -2*l. Is 16 a factor of i?
False
Suppose -20*o + 17*o + 18 = 0. Let v(b) = 2 + 6*b + o*b - b + 0. Is v(5) a multiple of 19?
True
Suppose -5*k = -10, 502*i - 2074 = 500*i - 5*k. Is 12 a factor of i?
True
Let y(d) = d**2 + 2*d + 7. Let v = 101 + -97. Let w be v/12 + 13/(-3). Is 6 a factor of y(w)?
False
Let o be 3 - (-4 + -2 + 11). Let i(d) = 23*d**2 + 2*d + 9. Is 4 a factor of i(o)?
False
Let j(q) = -q**2 - 9*q - 12. Let o be j(-7). Suppose 2*s = -3*r + 908, -4*r - 4*s = -o*r - 592. Does 34 divide r?
True
Let l = 136 + -87. Suppose 5*y + l = 234. Is 37 a factor of y?
True
Let y(a) = -32*a + 20. Let f be y(-14). Let s be -1 + -244 + -9 + (9 - 3). Let r = s + f. Is 20 a factor of r?
True
Let n(k) = 4*k**2 - 37*k - 118. Is n(-14) a multiple of 74?
True
Let u be 8/3*(-90)/4. Let o(p) = -5*p**3 + 28*p**2 - 64*p - 30. Let t be o(3). Let n = u - t. Is 9 a factor of n?
True
Suppose 574 = b - 202. Suppose 6*h - b = -26. Suppose -4*x + 87 = -h. Does 12 divide x?
False
Suppose y - 4695 - 8295 = -5*t, 4*y - 3*t - 51868 = 0. Does 23 divide y?
False
Suppose z + 2*r - r = 61, -2*r - 268 = -4*z. Is 4 a factor of 273/z*(17 - 2)?
False
Let c(r) = -13*r + 241. Suppose 1729*u - 184 = 1737*u. Is 10 a factor of c(u)?
True
Let p be (-4)/18 + (-644)/(-63). Suppose -p = -f + 4*c, -3*f + 3*c + 4 = 4*c. Suppose -f*h + 7*h = b + 71, -3*b - 33 = -3*h. Does 2 divide h?
False
Suppose 116*p - 298*p + 252434 = 0. Does 6 divide p?
False
Let k = -20177 - -26615. Does 37 divide k?
True
Suppose -18*j + 22*j = 24. Is 14 a factor of (17 + -3)/(3/j)?
True
Suppose -4*l - 2*o = -622 - 190, -5*l + 3*o + 1037 = 0. Suppose 2340 = 211*k - l*k. Is 6 a factor of k?
True
Let c(z) = z**2 - 10*z + 15. Let f be c(0). Does 10 divide 20/f*(-180)/(-2 + -1)?
True
Suppose 5*m + 7 = -i + 20, -4*m = -i - 14. Is 50 a factor of (1156 - m) + (-15)/5?
True
Let c = -63 - -149. Suppose -291 = 4*m - j - 4*j, -m = -4*j + 59. Let v = c - m. Is 17 a factor of v?
False
Let n(q) = -q + 40. Suppose 4*i - 6 = u + 9, -u - 9 = -2*i. Is 22 a factor of n(i)?
False
Let x(a) be the third derivative of a**5/20 - a**4 - 43*a**3/6 + 92*a**2. Is 14 a factor of x(-17)?
True
Suppose -24*w = -29*w + 700. Suppose w = 5*f + 3*b, 2*b + 113 = 3*f + 10. Let p = f - 4. Does 9 divide p?
True
Suppose -87*i + 89*i = 0. Suppose i = 7*a - 625 - 1762. Does 21 divide a?
False
Let h(t) = -t**3 - t**2 + 115*t + 16. Does 6 divide h(-22)?
True
Suppose 16 = -w + 76. Let p = 56 - w. Is 28 a factor of 1102/14 + p/(-14)?
False
Let b = -123 + 119. Let m be b/(-12)*-3*(-7892 - 1). Is 21 a factor of (-2)/7 + m/63?
False
Is -1533*12*7/(-196) a multiple of 9?
True
Suppose 18*b - 22430 = 61378. Does 7 divide b?
False
Let s(c) = -171*c + 595. Is s(-30) a multiple of 10?
False
Suppose 4*v = 2*v + 18. Is 45 a factor of (7 - 13 - -762) + v?
True
Suppose 5*v = 733 + 1782. Let t = -87 + v. Is 13 a factor of t?
True
Let t(p) be the first derivative of p**2/2 + 274*p - 88. Is 11 a factor of t(-19)?
False
Suppose 3335*q = 3427*q - 3823980. Does 14 divide q?
False
Let b(i) = -42 + 5*i - 4*i + 11*i + 15. Let d be b(6). Suppose -5*l = -d - 75. Is 7 a factor of l?
False
Suppose -2*y = 5*d - 11 - 16, 4*d - 4*y - 16 = 0. Let v(h) = -20*h**2 + 5*h + 5. Let x be v(d). Does 22 divide (x/(-4) - -2) + (-3)/(-2)?
False
Let c(b) = -10*b + 6. Let r(g) = 9*g - 7. Let f(i) = -3*c(i) - 4*r(i). Let z(m) = 1. Let x(w) = f(w) - 3*z(w). Does 6 divide x(-5)?
False
Suppose -9*l + 14724 = 10*l - 7*l. Does 8 divide l?
False
Let l be 9/(-6) + -1*(-9)/(-6). Let c be 231/3 + -2 - l. Let i = 140 - c. Is i a multiple of 28?
False
Suppose 4*s - 2*v = -v + 23, -10 = s + 5*v. Does 8 divide (4/2)/(s - 3509/704)?
True
Let f be 9/(-6)*(-2)/(-3). Does 2 divide 1/f*(2 + -34)?
True
Suppose -5*x + 2860 = 520. Suppose -4*g + x = -4*y, -7*g + 4*y - 132 = -8*g. Is 15 a factor of g?
True
Let w(r) = 28*r - 370. Suppose -73 = -10*j + 207. Is w(j) a multiple of 9?
True
Suppose 15485 = 5*y - 5*u, 5*y - 15024 = -3*u + 469. Is y a multiple of 91?
False
Let i(o) = 14*o**2 - 8*o - 99. Let w be i(-6). Let l = w + -440. Is l a multiple of 5?
False
Let s(m) = 3*m - 38. Let z be s(22). Suppose -z = 2*q + 266. Does 27 divide (-4)/(24/q)*(-2 - -4)?
False
Let x be (-5)/15 + 4/12. Suppose 3*u + 97 - 682 = x. Does 39 divide u?
True
Suppose -3*t - f + 0 + 5 = 0, 3*f - 15 = -3*t. Suppose 2*g + l + 22 + 22 = t, 36 = -g - 4*l. Is 47 a factor of g/(-5) + 2*45?
True
Suppose 0*d = 2*d - 5*q + 385, -4*q = -4*d - 752. Let a = -140 - d. Is 6 a factor of a?
False
Let n be 1/((-2)/(-2)) - (-4 + -4). Suppose c - 10 = n. Let q(l) = -l**2 + 18*l + 38. Does 13 divide q(c)?
False
Suppose -108815 = -5*x - 0*g - g, -4*x - g = -87053. Is 78 a factor of x?
True
Let u = -498 + 502. Is 26 a factor of u/(-3) - (1276/(-12) + 1)?
True
Suppose -4*f + 2*h = 4*h - 862, 0 = 4*h + 12. Is ((-124)/f)/((-2)/175) a multiple of 5?
True
Let x(d) = -91*d - 2504. Is 21 a factor of x(-57)?
False
Let k(h) = -1320*h - 4722. Is k(-19) a multiple of 26?
True
Let y(d) = 12*d**3 - 26*d**2 - 39*d + 192. Does 14 divide y(12)?
True
Let v(c) = -362*c - 59. Let m be v(-7). Suppose -12*j = -23*j + m. Is j a multiple of 15?
True
Suppose -y = -l + 302, -l = -6*l - 4*y + 1483. Let z = l + -173. Does 4 divide z?
False
Let u(h) = h**2 + 13*h + 40. Let q be u(-9). Suppose 2*k + 2 = q. Is ((-450)/(-9))/((k*-3)/(-6)) a multiple of 10?
True
Suppose -4 = -5*j + 3*g, 2*j - 4*g - 1 = -5. Suppose 7*l - 2*l + j*f = 144, 2*l - 57 = -f. Is 17 a factor of l*((-84)/(-15))/1?
False
Let x = 1319 - 701. Suppose 53*j - x = 56*j. Let r = 294 + j. Does 11 divide r?
True
Let u = 2694 + -1290. Is 26 a factor of u?
True
Let c(r) = -39*r - 19. Let y be c(-1). Suppose 0 = y*o - 8211 + 291. Does 22 divide o?
True
Suppose -1038986 = -7748*q + 7722*q. Is 154 a factor of q?
False
Let s = 3771 - 3712. Is 15 a factor of s?
False
Let m(p) = 5*p**2 + 26*p + 70. Let x(v) = v**2 + 4*v - 28. Let a be x(-7). Is m(a) a multiple of 6?
False
Let s = 415 - 1031. Let d = s + 691. Is 5 a factor of d?
True
Is (-11 - (-63)/3)*-1*81*-12 a multiple of 162?
True
Let n = 150 + -147. Suppose 2*f - 3*g - 1575 = 0, n*f - 3*g + 3159 = 7*f. Is 70 a factor of f?
False
Suppose 0 = -2*q + 6*p - 9*p + 20, 0 = 4*q - 2*p - 8. Suppose -x - 513 = -q*t, 8*t + 126 = 9*t + 2*x. Does 8 divide t?
True
Let l be (-43)/(-4) + (-451)/(-44) + -10. Suppose 9843 = l*f - 189. Is f a multiple of 12?
True
Suppose 15*n + 4626 - 18096 = 0. Suppose k - 897 = -4*v, 0*v + 4*v = -2*k + n. Is v a multiple of 5?
False
Suppose -3*a + 15 = -4*j, a = 2*j - j + 6. Suppose -2*s = 2*s + i - 27, -3*s + 3*i + a = 0. Let f(x) = 10*x - 33. Does 9 divide f(s)?
True
Let s(j) = -j**3 + 17*j**2 - 3*j + 30. Let o be s(14). Suppose -1937*r + o = -1935*r. Is 36 a factor of r?
True
Let g(x) = x**3 - 63 + 49 - 5*x**2 + 12*x + 31. Is 20 a factor of g(6)?
False
Let s(x) = -x**2 + 14*x + 9. Suppose 5*n - 2*n = 30. Suppose n = 4*d - 2*d. Is 36 a factor of s(d)?
False
Let q(s) = -s - 6. Let l(x) = -x - 7. Let c(u) = -5*l(u) + 4*q(u). Let a be c(-9). Suppose -b = y - 18, 5*y + a*b = 85 + 5. Is 9 a factor of y?
True
Let v(k) = 13*k**2 + 8*k + 25. Let z be v(-5). Suppose -5*p + z = -240. Is 10 a factor of p?
True
Let o(n) = -n**2 - 21*n + 79. Let g(a) = 2*a**2 + 28*a - 23. Let h be g(-14). Is o(h) a multiple of 2?
False
Suppose -130*a = -164*a + 374680. Is 15 a factor of a?
False
Suppose 52*q + 20*q + 19*q - 316043 = 0. Is q a multiple of 7?
False
Let a = -333 + -66. Let s = a - -501. Does 25 divide s?
False
Let k = -17481 - -18081. Does 60 divide k?
True
Let j(a) = 24*a + 2. Let v be ((0/(-2))/2)/(-11 - -8). Suppose v*m - 1 = -m. Is j(m) a multiple of 7?
False
Suppose 3*a + 52*h - 51*h = 9413, 0 = -2*a + 5*h + 6247. Is a a mult