-f + 2*f - 147 = z. Does 21 divide f?
True
Suppose -712 - 283 = -5*j + 3*p, 3*j + 3*p = 597. Suppose -3*d + j = -0*m - m, 331 = 5*d - m. Let s = -36 + d. Is 10 a factor of s?
True
Does 31 divide (2670/(-8))/(162/(-1944))?
False
Suppose -87*n + 7*n + 108160 = 0. Is 52 a factor of n?
True
Suppose -3*i = 204 - 66. Let m = -23 - i. Is 16 a factor of m?
False
Let k(g) = -g - 266. Let h be k(0). Is 29 a factor of (0 - 1)/(h/265 + 1)?
False
Suppose -36*x - 1136 = -44*x. Does 9 divide x?
False
Let y(k) = k**3 + 18*k**2 + 8*k - 38. Let h = 27 - 44. Is 23 a factor of y(h)?
True
Suppose 0 = 11*o - 13*o + 7262. Is 12 a factor of o?
False
Let d = -29 + 178. Suppose -5*c + 106 + d = 0. Does 8 divide c?
False
Does 10 divide ((-604)/(-10))/((-6)/(-30))?
False
Let i = 848 + 1532. Is 34 a factor of i?
True
Suppose 4*m - 9*m + h = -282, -4*h = -m + 45. Let u be 0/((-2 + -1)/3). Suppose u*d - m = -d. Is d a multiple of 19?
True
Suppose 129 = u - 3*k - 156, -1403 = -5*u + 4*k. Does 9 divide u?
True
Suppose 6 = -0*y + 2*y. Suppose -9 = -x + y*q, -4*x + 2*q + 80 = q. Does 4 divide x?
False
Let q(k) = k**3 + 5*k**2 - 8*k - 6. Let t be q(-6). Suppose -t*d + 2*d + 840 = 0. Is d a multiple of 42?
True
Let a = -36 - -43. Suppose -156 = -a*h + 299. Does 13 divide h?
True
Does 24 divide 2447 - (2/(-8))/((-7)/(-28))?
True
Let n be (-4)/(-1 + (-4)/(-8)). Let y(l) = 3*l - 4. Let v be y(n). Suppose -5*u + 60 = v. Is u even?
True
Suppose 3*q - 46*j + 48*j - 533 = 0, 0 = 5*q + 3*j - 889. Does 36 divide q?
False
Let a(g) = -7*g**2 + 5*g - 2. Let x be a(6). Let s = x - -407. Does 40 divide s?
False
Let z(o) = -6*o**2 + 6*o + 15. Let t(p) = 7*p**2 - 4*p - 16. Let r(m) = -5*t(m) - 6*z(m). Let h(s) = -5*s + 3. Let a be h(-3). Does 13 divide r(a)?
True
Suppose -11*n + 693 = 3124. Let a = n - -415. Is 38 a factor of a?
False
Is ((-448)/2)/((-6)/36) a multiple of 48?
True
Is 490 - (-3)/(9/6) a multiple of 12?
True
Suppose 8*r - 3*r = 4*c + 1873, -2*c = -6. Is r a multiple of 38?
False
Let a(s) = s**3 - 7*s + 11. Let d be a(2). Suppose 0*x - x = 5*o, -3*x = 3*o. Suppose -d*l + 344 - 34 = x. Does 22 divide l?
False
Let o be 5*(20/5)/4. Suppose -o*u + 183 = -102. Does 19 divide u?
True
Let y(j) be the third derivative of 5*j**4/12 + 10*j**3/3 + 34*j**2. Does 30 divide y(7)?
True
Let g(j) = j**3 + 28*j**2 + 28*j + 38. Let t be g(-27). Suppose -t*u + 14*u - 393 = 0. Is u a multiple of 22?
False
Let j(a) = a**3 - 2*a**2 - a. Let h be j(0). Let p be (5 - 3 - 1)*h. Suppose -2*y + 3*y - 26 = p. Is y a multiple of 6?
False
Let x = 302 + -235. Is 28 a factor of x?
False
Suppose -2243 = -3*d + 4*b, -3*b + 8*b = 3*d - 2242. Is 20 a factor of d?
False
Suppose 5*x - 10 = -0*x. Suppose -x*t - h - 5 = -17, -t = -h. Suppose z + 66 = 3*z + 2*l, -t*l + 4 = 0. Is 16 a factor of z?
True
Let k = 75 + -70. Suppose -k*o + 112 = -188. Is o a multiple of 10?
True
Suppose -5*h + 2 + 1 = -o, 2*o = -3*h + 7. Suppose 270 = 5*b - o*b. Is b a multiple of 9?
True
Let l = 95 - 74. Does 19 divide ((-304)/6)/((-14)/l)?
True
Let s = -809 + 1182. Is 15 a factor of s?
False
Let n(y) = 125*y + 9. Let g be n(-2). Let d = 428 + g. Does 11 divide d?
True
Let o be 1144/(-4) - (-2 - -5). Let d = o - -455. Let m = d + -97. Is m a multiple of 18?
False
Suppose 4*q + 4 = -u, 0*u + 20 = -5*u - 4*q. Is 34 a factor of 2/(-4) + 1650/4 + u?
True
Suppose 2*a - 41 = -g, -6*a + 2*a + 4 = 0. Let d = -29 + g. Does 2 divide d?
True
Let t(c) = -c**3 - 8*c**2 - 8*c + 6. Let f be t(-6). Let d be (-60)/f*(-12)/(-5). Suppose -2*y = 4*q - 208, 0 + d = -2*y. Is 27 a factor of q?
True
Let r = -18 + 15. Does 23 divide (-8)/(-6) - (593/r + -1)?
False
Suppose -28*f + 468 = -16*f. Is 16 a factor of f?
False
Let y = -148 + 1006. Does 36 divide y?
False
Let k = 950 - 299. Is 11 a factor of k?
False
Suppose -5*l + 5 = -2*y - 1, 0 = 2*l - y - 2. Let t(n) = -8*n + l*n - 4*n + 1 + 4. Does 35 divide t(-5)?
False
Suppose 4*k - 478 + 158 = 0. Does 16 divide k?
True
Suppose 4*w - 3*p + 15 = 0, -5*w - 5*p + 13 = -12. Suppose -k + 102 - 3 = w. Suppose 2*o - k = 37. Is o a multiple of 20?
False
Let s(q) = -15 + 31 - 10 - 16 - q. Let l be s(-10). Suppose l*y = 3*y - 90. Does 22 divide y?
False
Suppose -u = -2, 5*x = -18*u + 13*u + 15030. Is 42 a factor of x?
False
Let p = 2119 - 1310. Does 25 divide p?
False
Let y = -201 - -287. Let g = -31 + y. Is 19 a factor of g?
False
Is 11 a factor of ((-67)/(-4)*4)/(7/63)?
False
Let x be -2 - -3 - (5 + 1). Suppose 4*q + 19 - 91 = -4*t, -3*q + 89 = -4*t. Is (-9)/15 - q/x a multiple of 4?
True
Suppose -8*n + 2317 + 2331 = 0. Does 19 divide n?
False
Let u(h) = 26*h + 306. Does 75 divide u(7)?
False
Let j = 41 + -26. Is 6/j*(-2 + 22) a multiple of 5?
False
Let s = 46 - 47. Is 4 a factor of ((-21)/(-14))/(s/(-34)) - 3?
True
Let l be (9 - 9)/(1 - -1). Suppose l = -5*h - 2*i + 399, 2*h + 4*i = -h + 245. Does 14 divide h?
False
Is 10 a factor of ((-25)/(600/32))/(2/(-954))?
False
Let l = -14 - -12. Let v be -2*(-73 + (-8)/l). Let k = v + -82. Does 14 divide k?
True
Let a = -32 - -57. Let s = a + -13. Does 3 divide s/4*1*1?
True
Suppose -4*f + 3*u + 227 = -0*u, 3*f = 5*u + 173. Is 15 a factor of f?
False
Let j = 725 + -694. Does 6 divide j?
False
Let k = 12 - 14. Is 58 + k + (-12)/(-3) a multiple of 12?
True
Let d(u) = 1 + 6 - 11*u**2 + 2 + 10*u - u**3 - 3. Is 8 a factor of d(-12)?
False
Suppose 5*r + 13 + 8 = 3*p, 0 = -p - 4*r - 10. Is 4 a factor of (p - (-108)/(-21))*-7?
False
Is 21 a factor of 379/(-3)*(-33 + 11 + -11)?
False
Let t be 5 + -7 - -8*1. Suppose -r + t*r = 300. Is 7 a factor of r?
False
Is (-6)/(9 - 4215/468) a multiple of 13?
True
Let v(w) = 9*w**3 - 15. Is 17 a factor of v(4)?
True
Let j(x) = 122*x + 77. Is 77 a factor of j(20)?
False
Let f = 1564 + -1107. Suppose -179 = -2*n + 4*a + a, 3*a + f = 5*n. Is n a multiple of 23?
True
Let t = -1277 - -1821. Suppose -5*d + 16 = -t. Does 34 divide d?
False
Let t(b) = -b**2 - 9*b - 11. Let w be t(-7). Suppose -2*j = 5*c - 47, -j = -w*c + 4 - 11. Is j a multiple of 10?
False
Suppose 43*r = -30*r + 51100. Is 20 a factor of r?
True
Let i = 26 + 424. Does 18 divide i?
True
Suppose 3*f = h + 247, -4*h + 154 = 2*f - 2*h. Is 10 a factor of f?
False
Suppose 5*x - 794 = -f, -3*x = 2*f - 0*x - 1602. Is 69 a factor of f?
False
Let a = -29 - -28. Does 29 divide 8/(a + -3) - -142?
False
Suppose -2*b - 221 = -1313. Is 21 a factor of b?
True
Let q = 16608 - 10268. Does 14 divide q?
False
Let s = -32 - 16. Is (-204)/s - 2/8 a multiple of 4?
True
Is 294/(-1*3*(-8)/12) a multiple of 21?
True
Let g be (3*(-1)/(-12))/(7/56). Suppose -2*z = z - 2*y - 197, -307 = -5*z - g*y. Is 9 a factor of z?
True
Suppose -5*d - 111 = -0*q - q, -2*q - 108 = 5*d. Let j = -55 + 35. Let r = j - d. Is r even?
True
Suppose 0 = -5*j + c + 2493, 16*c + 1004 = 2*j + 19*c. Is 30 a factor of j?
False
Let w be 1680/(-200) - 6/10. Is 1/3 + (-105)/w a multiple of 5?
False
Suppose 0 = -3*z + 5*x + 5070, -3*z + 0*z + 5070 = -x. Is 65 a factor of z?
True
Let h(t) = 29*t**2 - 30*t + 177. Does 16 divide h(5)?
True
Let v(m) = m**3 - 5*m**2 + m - 5. Let u = 18 + -11. Is v(u) a multiple of 14?
False
Let m = -49 + 39. Let l(i) = i**3 - 4*i**2 + i - 3. Let d be l(4). Does 15 divide (-75)/m*2/d?
True
Suppose 17 = -4*y + 5. Let b = -1 - y. Is 7 a factor of ((-7)/b)/((-1)/6)?
True
Is 482 - (-13 + (-5 - -31)) a multiple of 24?
False
Let y = 400 - 160. Is 30 a factor of y?
True
Suppose 2*s - 5*i + 0*i - 21 = 0, s + 17 = -3*i. Let f be (0/(-3))/(-4 - s). Let u = f + 8. Is 8 a factor of u?
True
Suppose -3*i = h - 1495, 3023 = 2*h - 2*i - 3*i. Is 2/(-10) - h/(-20) a multiple of 25?
True
Is 8 - 7 - -42 - (-1 - -1) a multiple of 10?
False
Does 32 divide (-79 + 1)*-1*10?
False
Let f(b) = -b**3 - 6*b**2 + 3*b - 8. Suppose 0 = -4*q - 5*k - 23, -2*q - 10 = -0*q + 4*k. Is f(q) a multiple of 5?
True
Let q be 3/6 - 2/4. Suppose -3*r + 1 + 122 = 3*w, 2*r = 4*w + 76. Suppose -4*i = -t - r, -t - 2*t = q. Does 10 divide i?
True
Suppose 83 = -2*l + 3*g + 409, 4*l - 672 = -4*g. Is 35 a factor of l?
False
Let l = -15 + 28. Suppose -j - 3*p = -l, 4*p + 8 = -2*j + 7*j. Suppose 0 = -4*v - 0*v + j*s + 120, -2*s - 33 = -v. Is v a multiple of 22?
False
Does 11 divide (-1)/(-3) - (-464)/3?
False
Is 29 a factor of (4 - 11) + 498 + -9?
False
Suppose 8*z - 323 = 213. Is