. Let i be (-4)/5 - g/(-10). Is 20 a factor of 180/14*28/i?
True
Let r(x) = 2899*x - 5908. Is 64 a factor of r(6)?
False
Suppose 2 = -b + 3, 0 = w - 3*b + 1. Suppose -2*a - 4*v = w*a - 36, -2*v - 36 = -4*a. Is a a multiple of 8?
False
Is ((-524)/7)/(82/(-4592)) - 10 a multiple of 34?
True
Suppose -29469 - 27831 = -5*x. Does 60 divide x?
True
Let v(w) = 11*w**2 - 27*w - 2. Is v(-25) a multiple of 19?
False
Suppose -n = 5*t + 444, 0 = -3*t + 2*t - 2*n - 87. Let v = t - -244. Does 14 divide v?
False
Let b(s) = 5*s. Let z(x) = -5*x - 1. Let p(j) = 6*b(j) + 7*z(j). Let g be p(-4). Is 24 a factor of -3 - (-4 + g)*-11?
True
Let j(o) be the first derivative of o**4/4 + 4*o**3 + 5*o**2 - 21*o + 40. Let n be j(-9). Suppose -11*w = -9*w - n. Is w a multiple of 33?
True
Let i = 52198 - 34290. Is i a multiple of 74?
True
Suppose 0 = -16*s + 18*s - 468. Suppose -p = -4*p + s. Let n = -67 + p. Is 5 a factor of n?
False
Let n be 12/30 - 15948/(-30). Let f be 92/22 - 14/77. Suppose 0 = -4*p + 3*r - 2*r + 535, f*p = 4*r + n. Does 23 divide p?
False
Let s(u) = 43*u**3 + 8*u**2 + u - 5. Let h(f) = f**2 - 1. Let q(k) = 6*h(k) - s(k). Does 36 divide q(-2)?
False
Suppose 85*l - 80*l - 1595 = 0. Let d = l - 165. Does 11 divide d?
True
Suppose -44*j = -3*h - 40*j + 137655, 2*h - 3*j = 91772. Does 34 divide h?
False
Suppose z + 11 = -62. Let u = -44 - z. Suppose u + 40 = o. Is 20 a factor of o?
False
Let b = 64 - 63. Let a(p) = 176*p - 6. Let c be a(b). Let u = c + -22. Does 37 divide u?
True
Suppose 0 = -1247*n + 1232*n + 124560. Is n a multiple of 59?
False
Let y(l) = 133*l - 2730. Is y(40) a multiple of 14?
True
Is 34 a factor of 4*3/(-6)*3/((-48)/69224)?
False
Let r(d) = 625*d - 3971. Is r(18) a multiple of 9?
False
Let k = -4361 + 10514. Is 50 a factor of k?
False
Suppose -2*j - 3*j + 94 = -m, 5*j = 2*m + 168. Let t = -412 - -535. Let h = t + m. Is h a multiple of 7?
True
Suppose 2*m + 2*y - 12692 = 0, 8*y - 19030 = -3*m + 3*y. Does 93 divide m?
False
Let k = 295 - 268. Let x = 190 + k. Is 47 a factor of x?
False
Let m = -963 + 1847. Is 26 a factor of m?
True
Suppose -13*u = -2*j - 9*u + 15812, -5*j + 3*u = -39558. Does 180 divide j?
False
Let x be 2 + 0 + (-6)/15*-5. Does 16 divide 574 + 4 + -1 - (0 - x)?
False
Let p(f) = f**2 + 12*f - 28. Let w be p(12). Let x be 2120/w + (-2)/13. Suppose 17*u - 171 = x*u. Is u a multiple of 19?
True
Suppose 11*r + 16737 = 32*r. Let x = -614 + r. Does 23 divide x?
False
Suppose 312 = 626*l - 614*l. Is 13 a factor of l?
True
Let s be 1*(8/2 + 1). Suppose 6517 = 29*w + 6314. Suppose -2*d + r - 267 = -w*d, 0 = 4*d + s*r - 222. Is d a multiple of 21?
False
Let a be (-378 - -1) + (2 - 3). Suppose 5*y + 2*j = -2656, 0*y - 4*j = -4*y - 2136. Let s = a - y. Does 29 divide s?
False
Let q(c) = -c**2 - 11*c - 28. Let s be q(-5). Suppose 4*j + s*u = 106, 9*u - 4*u - 15 = 0. Does 2 divide j?
False
Let l = -10168 - -17644. Is 89 a factor of l?
True
Suppose 3*u = -4*k - 11, -3*k + 3*u - 22 = 2. Is 377/6 - k*(-4)/(-120) a multiple of 23?
False
Let c = -1289 - -6429. Is 10 a factor of c?
True
Let i(b) = -1485*b + 11317. Is i(-25) a multiple of 106?
True
Let v(k) = 13897*k**3 + k**2 + k. Is v(1) a multiple of 65?
False
Let l = -2764 + 8406. Let h be (l/(-21))/(-1*(-2)/(-3)). Let y = h - 196. Is y a multiple of 28?
False
Let a = 105101 + -72802. Is a a multiple of 77?
False
Suppose 10*p - 20 = 10. Let x = 4 - 6. Is 38 a factor of x*(1791/27)/((-2)/p)?
False
Let l be 1386/(-110)*20/(-6). Does 15 divide (l/(-24) + 4)/(6/704)?
False
Suppose 9*o - 14*o + 18869 = 3*h, -o + 18865 = 3*h. Is h a multiple of 12?
True
Let t(q) = q**3 + 22*q**2 - 2*q + 7. Let g be -2 - -3 - 25 - (40 + -43). Does 7 divide t(g)?
True
Suppose -2*l - 5*z = -15, 79*z + 4 = l + 78*z. Let m(o) = -30*o - 1. Let q(b) = 1. Let t(p) = -m(p) + 4*q(p). Is 31 a factor of t(l)?
True
Let d be (521 + 0 - -1)*(-26)/52. Let r = d + 345. Is r even?
True
Let v(x) be the second derivative of x**4/3 + x**3/2 - x**2 - 17*x. Let d be v(1). Suppose -4*q + 81 = d*n, -q - q - n = -33. Is 14 a factor of q?
True
Let b(o) = o + 5. Let s be b(-3). Suppose -5*m - 11 = -3*h + 9, 0 = s*h + 2*m - 8. Suppose l = 4*l + k - 29, -h*k - 15 = -l. Is l a multiple of 9?
False
Let k = -121 - -149. Suppose 0 = -32*u + k*u + 12. Let n(y) = 43*y - 36. Is 27 a factor of n(u)?
False
Suppose 10*x - 5*x - 375 = 0. Suppose -4*u = -u + 3*r - x, -5*r = -4*u + 82. Suppose u = c - 3*b, -c + 2*b + 9 = -10. Is 10 a factor of c?
False
Let d = -247 + 256. Let k = 325 - d. Does 79 divide k?
True
Is (-8)/28 - ((-29474240)/56)/20 a multiple of 102?
True
Let z = 9289 + -4056. Is z a multiple of 14?
False
Suppose 0 = -11758*n + 11755*n + 28938. Is 7 a factor of n?
True
Suppose -28 = -5*u + 32. Let w = 16 + u. Suppose 0 = -5*k - 4*r + 2*r + w, 4*r - 26 = -5*k. Is k a multiple of 4?
False
Suppose -3*m + 1 = -j, 23 = -0*m - m + 5*j. Suppose -2*f - q - 72 = 0, m*q + 104 + 6 = -3*f. Let w = f - -89. Is w a multiple of 5?
True
Let u(f) = 215*f - 4. Let l be u(2). Suppose 715 = -5*y + 4*v, 8*v + 715 = -5*y + 9*v. Let m = l + y. Is 15 a factor of m?
False
Suppose 8*f - 8 + 8 = 0. Let p(v) = v**3 + 4*v**2 + v + 420. Does 14 divide p(f)?
True
Let t = -26 + 31. Suppose v - 9 + t = 0. Is (8 + -10)*(-166)/v a multiple of 13?
False
Let x be (0 - -1)*-3 - (17 + -22). Suppose -b + x*t = -266, 0 = 5*b - t - 3*t - 1336. Is 46 a factor of b?
False
Let p(c) = -c**3 - 13*c**2 + 12*c - 24. Let q be p(-14). Does 72 divide (q + 26/(-4))*(-1572)/15?
False
Let q be -1 + -1 + (-22 - -20). Let p be ((-15)/6)/(2/q). Suppose -5*l + p*w + 90 = 2*w, -5*l - 5*w = -90. Does 6 divide l?
True
Let b(o) = 9*o**3 + 5*o**2 - 63*o + 961. Does 153 divide b(11)?
True
Let v(u) = -u**2 - 22*u + 18. Let k be v(-19). Suppose 5*j + m + 0*m - k = 0, 0 = 4*j - 2*m - 60. Suppose r - j = 17. Is r a multiple of 3?
False
Let j(n) = -4*n**2 + 10*n - 2. Let o be j(2). Suppose -5*y + m + 2*m + 1442 = 0, o*y + 5*m = 552. Does 13 divide y?
True
Suppose -75 = 5*s - 5*q - 10, 4*q = 3*s + 44. Suppose 0 = 39*p - 19*p - 120. Is 7 a factor of (-22 - -1)*s/p?
True
Suppose 35*l - 29455 - 44049 = -24994. Is 4 a factor of l?
False
Let x(f) = -6*f + 69. Let w be x(11). Suppose -119 = -4*u + o, w*u = -13*o + 12*o + 84. Does 12 divide u?
False
Let q(j) = -237*j + 24. Let t(u) = -u + 1. Let s(i) = q(i) - 4*t(i). Let b be s(-7). Suppose 3*w + b = 16*w. Is 20 a factor of w?
False
Suppose 182*m - 1185886 - 725954 = 70*m. Is m a multiple of 15?
True
Let s be (598/(-92))/(-1*1/4). Let z = 36 - s. Suppose 113 = 2*b - 3*a, z*a - 25 = 5*a. Does 40 divide b?
False
Let v(p) = 52*p - 24 + 27 - 46 + 0*p**2 - p**2. Does 16 divide v(21)?
True
Let j(u) = -u - 1. Let s(o) = 35*o + 15. Let t(q) = 6*j(q) - s(q). Is t(-5) a multiple of 19?
False
Let n(m) = 68*m**3 - 4*m**2 - 5*m - 5. Let q be n(-2). Let w = 1036 + q. Is w a multiple of 11?
False
Suppose -36 = -20*g + 17*g. Suppose -1924 = -s - g*s. Is s a multiple of 37?
True
Suppose 3*j - 16542 = -5*n, -j - n + 6147 - 637 = 0. Is 8 a factor of j?
True
Let n = 445 + -249. Suppose 3*k = -z + 3*z - n, 3*z + 5*k - 256 = 0. Is z a multiple of 3?
False
Let t(r) = 4*r**2 + 17*r - 215. Is 79 a factor of t(28)?
True
Let o be (12/(-3) + 4 + -2)*-2. Suppose -o*s + 216 = -360. Is s a multiple of 6?
True
Let h be (2/4)/((-9671)/1612 - -6). Let y = h - 524. Does 20 divide y?
False
Suppose -17*i + 3140 = -12*i. Suppose -i = 6*d - 1840. Does 14 divide d?
False
Let l(z) = 2038*z**3 - 3*z**2 - 3*z - 2. Let f be l(-2). Does 34 divide (-3 - (-282)/90) + f/(-60)?
True
Suppose -95*k = -91*k - 240. Suppose -2145 = -9*a + k. Does 35 divide a?
True
Let n = -155 - -244. Suppose -z + 4*k = 4*z + 246, 5*z = 3*k - 247. Let a = z + n. Does 13 divide a?
True
Does 15 divide (8/(-14) - 0) + (-51136)/56*-18?
False
Let m = 1583 + -1064. Is 25 a factor of m?
False
Suppose 0 = -10*i + 2211 + 5839. Does 14 divide i?
False
Let r(k) = k**3 + 11*k**2 - 13*k - 14. Let d be r(-12). Let a be d*(-3 - 5) - (0 + 0). Does 38 divide a/(-4) + 2 - -105?
False
Suppose 16*c + 12 = 17*c. Suppose -22*s + 150 = -c*s. Let a(d) = 9*d - 59. Is a(s) a multiple of 21?
False
Suppose 2*j - 4 = 4*d - 12, -2*j + 2*d = 4. Suppose -5*u + u + 8 = j. Suppose 362 = 3*g + r, -u*g - 23 + 281 = 4*r. Is 21 a factor of g?
False
Suppose -m + 10*c =