f 20?
False
Let f be (-1)/5 + (-954)/30. Is (-30)/(-5)*(-1)/(-2) - f a multiple of 2?
False
Suppose -6*x + 7648 + 620 = 0. Is x a multiple of 53?
True
Let h = 32 + -30. Suppose 109 - 19 = h*j. Does 24 divide j?
False
Let q = 76 + -84. Is 21 a factor of (84/10)/(q + (-123)/(-15))?
True
Let f be (-26)/13 + 0/2. Let b be (-12)/(-8) + (-5)/f. Suppose -b*t + 17 - 1 = 0. Is t a multiple of 4?
True
Let v(h) = h**2 + 2*h - 25. Let s be v(-6). Let r(n) = 97*n**2 + 3*n + 3. Does 9 divide r(s)?
False
Suppose -7*u = -21 - 14. Suppose u*x = 546 + 9. Is x a multiple of 8?
False
Let f be ((-9)/(-2))/(12/16). Let w(i) = -i**3 + 6*i**2 + i - 6. Let y be w(f). Suppose 0*t - 2*t + 6 = y, 2*u + t = 33. Is u a multiple of 15?
True
Let a(x) = 5*x + 97. Let h be a(-17). Let l be 3/(-2*(-3)/52). Let k = l - h. Is k a multiple of 14?
True
Is (-3)/(24/(-16)) - 1904/(-2) a multiple of 18?
True
Suppose -68630 - 73585 = -95*t. Does 13 divide t?
False
Suppose 0 = 7*u - 6008 + 4160. Is 18 a factor of u?
False
Let t(p) = -p**3 + 10*p**2 + 20*p + 22. Is 68 a factor of t(9)?
False
Suppose -3*l = -4*c + 7636, -6*c + 9*c - 5727 = 2*l. Does 23 divide c?
True
Suppose 5*k = -119 + 24. Let f = k + 32. Suppose 5*m + 0 - 31 = 3*n, -n = -2*m + f. Is 8 a factor of m?
True
Suppose -b + 17 = -5. Suppose o = 24 - b. Suppose -2*w + 4*y - 5*y + 29 = 0, -o*w + 14 = -2*y. Does 4 divide w?
True
Let m(f) = -f**3 - 6*f**2 - 5*f + 6. Let x be (-3)/((2 - 1)/1). Let t be (4 - -2)/(3/x). Is m(t) a multiple of 12?
True
Is ((-654)/(-10))/(1/((-60)/(-3))) a multiple of 14?
False
Suppose -5*z - 30 = 4*u, 3*z + 26 = -3*u - u. Let c = 9 + u. Suppose 4*f = -w + 11, -c*f - 14 - 8 = -2*w. Is 11 a factor of w?
True
Suppose 273*s + 24276 = 280*s. Does 68 divide s?
True
Let z(b) = 42*b - 18. Does 9 divide z(6)?
True
Suppose c = 174 + 16. Does 21 divide c?
False
Suppose -i = 5*l - 345, 12*l - 1068 = -3*i + 8*l. Is i a multiple of 9?
True
Suppose -m - 3*h + 32 = -8*h, 3*h - 220 = -4*m. Is m a multiple of 2?
True
Let f = 2 + 1. Suppose 4*s - 5*w = -0*w - 34, -f*s - 24 = -3*w. Let c(t) = -2*t. Is 4 a factor of c(s)?
True
Let j(m) = 8*m - 59. Let k be j(7). Is 0 - -115 - 0/(2 + k) a multiple of 4?
False
Suppose -370 = -18*w + 4418. Is 14 a factor of w?
True
Let c = -12 - -17. Suppose -r - 2*k = 4*r + 1, -15 = 5*r - c*k. Does 14 divide 2/(r + (-58)/(-56))?
True
Is 4 a factor of (-3)/(-6)*-1 + 1364/8?
False
Is (103/(-6) + 4/(-24))*-3 a multiple of 4?
True
Let n = 26 + -42. Let k = 15 - 11. Is (n/k + 3)*-14 a multiple of 9?
False
Is (5140/35)/(3/21) a multiple of 29?
False
Let r(l) = 7 + 26 - 10*l - 3*l. Is r(-7) a multiple of 27?
False
Let o(h) = h**3 + 3*h**2 - 9*h + 13. Let y be o(7). Suppose -y = -4*q + 4*p, 2*p = 3*q + p - 326. Is q a multiple of 18?
True
Suppose 6*y + 2 - 20 = 0. Suppose -56 = -y*n + 37. Is n a multiple of 3?
False
Let y(t) = 762*t - 32. Is y(1) a multiple of 26?
False
Let m(s) = -3*s**3 - 13*s**2 - 21*s - 17. Is m(-7) a multiple of 19?
False
Let f be ((-4)/(-3)*-1)/(2/(-594)). Let n = f + -236. Does 16 divide n?
True
Let a(f) = 10*f**2 - 42*f + 12. Does 11 divide a(11)?
False
Is 14 a factor of (-13)/(-2)*(16 + 114 + 2)?
False
Suppose 0 = 27*a - 18392 + 4595. Does 7 divide a?
True
Let w(m) = -m**3 - 3*m**2 + 2*m - 5. Let h(q) = q**2 + 8*q + 10. Let c be h(-5). Does 30 divide w(c)?
False
Let s be ((-2)/3)/((-8)/(-12)). Let k = 95 + s. Is 11 a factor of k?
False
Let k = 78 + -2. Let h = -53 + k. Is 22 a factor of h?
False
Let t(q) = -q + 3*q**2 - q**2 - 2*q**2 + q**2 - 4. Let a be t(-8). Suppose 4*o + 12 = 0, 4*o = 5*y - 3*y - a. Does 14 divide y?
True
Suppose 4*u + 5*i = -703, -2*i = 2*u - 5*i + 379. Let r = -62 - u. Does 30 divide r?
True
Let l = 22 - 20. Suppose 108 = l*j + 2*a, 0*j = 3*j - 3*a - 138. Is 4 a factor of j?
False
Let h = -78 - -138. Suppose t - h = 25. Is t a multiple of 18?
False
Suppose 120 = c + d, -4*d = 7 - 19. Is c a multiple of 54?
False
Let u = 1059 + -897. Is u a multiple of 9?
True
Let c = -174 + 382. Does 9 divide c?
False
Suppose 0 = -3*u - 3*o + 42, -3*u + 3*o = u - 77. Is 2 a factor of u?
False
Let d(c) = 2*c**2 + 6*c + 15. Let h be d(7). Suppose 3*j - 8*j = -h. Is j a multiple of 21?
False
Does 35 divide (5/((-35)/(-231)))/(1/35)?
True
Let p(d) = -2*d - 5. Let h be p(-4). Let c = h - -7. Suppose -4*r + c = -6. Is r even?
True
Suppose -73*w + 60*w = -2041. Does 13 divide w?
False
Suppose 5*h - 2*k = 945 + 143, h - 2*k - 216 = 0. Is h a multiple of 4?
False
Suppose 288 = 4*h - 2*q - 3*q, -360 = -5*h + q. Is 18 a factor of h?
True
Does 51 divide (-35 - -1)/(((-2)/(-3))/(-2))?
True
Suppose 5*a + 2*r + 0*r - 221 = 0, -4*r = -3*a + 143. Let n be (-27)/a + (-4)/10. Is 12 a factor of -1 - n*(-4 - -69)?
False
Let d(g) = -4*g - 197 + 204 - g**2 + 5*g**2. Is 35 a factor of d(-6)?
True
Suppose 5*u - 2*h = 638, -287 = -3*u + 3*h + 103. Is 51 a factor of u?
False
Is (255/4)/(13 + (-4136)/320) a multiple of 78?
False
Let b = 36 - -43. Suppose 2*a - a = -2*o - 19, 3*a = 5*o - b. Let i = a + 47. Is 18 a factor of i?
False
Let x be ((-174)/(-9))/(2/12). Suppose -k - k + x = 0. Let o = k + -24. Does 17 divide o?
True
Let u = -32 - -35. Suppose -1 = 2*p + u, 4*z - 24 = 2*p. Is z even?
False
Let o be 57/4 - 12/(-16). Suppose 3*w - 8*w + o = 0. Suppose -71 - 88 = -w*u. Is 9 a factor of u?
False
Suppose -588 = 4*c - 0*c. Let n = c - -277. Does 31 divide n?
False
Let k be (0 - -3)/((-12)/(-8)). Suppose 0 = -3*n + 3, k*n + 62 = 5*v - n. Does 7 divide v?
False
Suppose -17*h - 53580 = -36*h. Does 12 divide h?
True
Is 39 a factor of -5 + (1 - 2) + 182?
False
Is (-2120)/(-6) + 63/(-27) + 3 a multiple of 32?
False
Let r(h) = -3 + 7*h + 15 - h**2 - 1. Let x be r(9). Let c = -4 - x. Is 3 a factor of c?
True
Suppose -10 = -5*r + 6*r. Let j = 31 + r. Is 7 a factor of j?
True
Is 4 a factor of (-13 + 168)/(4/2 + -1)?
False
Let h(v) = -5*v + 3. Let c be h(-4). Let f be 8 - (-4)/8*-4. Suppose f = j - c. Is 16 a factor of j?
False
Let g(y) = 4*y - 145. Let f be g(28). Let c be 2/4 + (-29)/(-2). Let z = c - f. Does 12 divide z?
True
Let a = 71 - 102. Let i = 50 + a. Does 3 divide i?
False
Suppose -4*f = -3*f. Let b(y) = -y**3 + 7*y**2 + 8*y + 7. Let i be b(8). Suppose -x = -f*x - i. Is x a multiple of 3?
False
Let u(p) be the first derivative of 2*p**3/3 + 5*p**2/2 + 10*p + 11. Is u(5) a multiple of 11?
False
Let a = -8 + 12. Suppose -2*b - 180 = -5*y, y - b - a = 29. Let u = y + -13. Is u a multiple of 25?
True
Suppose 0 = -4*i + 3 + 17. Let t = -5 + i. Is 10 a factor of t + 0 - -3 - -17?
True
Suppose -2*c = -8, -1118 = -0*p - p - 4*c. Is p a multiple of 78?
False
Suppose 0 = 3*i - 3, -2*r - 2*i = 2*i + 74. Is 15/(-20) + r/(-4) even?
False
Let w = 2684 - 1585. Is w a multiple of 33?
False
Let r(j) = 22*j**2 + 114*j + 4. Is 40 a factor of r(6)?
True
Let t(o) be the first derivative of 2*o**3/3 + 3*o**2 - 3*o + 2. Let d be t(-4). Suppose 0 = 6*a - d*a - 53. Does 11 divide a?
False
Suppose 4*s - 382 = 402. Is 16 a factor of s?
False
Let k = -99 - -139. Let o be 19/19*k/(-1). Let t = 48 + o. Is t even?
True
Let u = -23 + 25. Let n(y) = y**2 - 5 - y**3 - 4*y + 2 - 6*y**2 + y**u. Is 13 a factor of n(-4)?
True
Suppose 4*h = -3*a + 5, 7*a = 2*a - 2*h + 13. Let i(l) = 2*l + 6 - 2*l**2 + l + 2*l - l**a + 5*l. Is i(-5) a multiple of 19?
False
Suppose 2989 = 10*f - 1911. Is 49 a factor of f?
True
Suppose -5*b + 4*a + 14395 = 0, -9*a + 11547 = 4*b - 6*a. Does 135 divide b?
False
Let b(a) = 3*a - 21. Let l be b(8). Suppose m = -4*m + 4*t + 208, -2*m + 97 = l*t. Is m a multiple of 17?
False
Let d(x) = x. Let a be d(4). Suppose -a*v - 3*b + 19 = 6, 4*v - 18 = 2*b. Suppose v*o - 95 = -l - 0*l, 4*l = -2*o + 30. Is 9 a factor of o?
False
Suppose -100 = 4*z - 2*f, 0 = 3*z - 4*f + 3 + 62. Is 3 a factor of (z/5)/(-1) + (-9)/(-15)?
True
Let i(n) = -6250*n - 70. Is i(-1) a multiple of 20?
True
Suppose 5*f - 5 = -0*f, -2*p - 3*f = -7. Does 7 divide p - (-7)/(28/48)?
True
Let t be ((-16)/24)/(1/(-135)). Suppose -h = -10*h + t. Is 2 a factor of h?
True
Let s = -167 - -493. Suppose 3*u - w - 208 = -12, -5*u = -2*w - s. Is 12 a factor of u?
False
Let x(w) = -w**3 + w**2 - 3*w - 3. Let g be x(-2). Suppose 15 = -4*n - 21. Let r = g + n. Is r a multiple of 6?
True
Let a(q) = 16*q - 13. Let z be a(5). Suppose -n + 15 = 5*i - z, 2*n -