. Suppose 350 = -p*a + 7*a. Does 10 divide a?
True
Let m(v) = 61*v - 6*v**2 - 38 + 5 - 70*v. Let u be m(-5). Let i = 268 + u. Does 26 divide i?
True
Let f be (9 - (1 + -2)) + -7. Does 16 divide f/(((15/(-3))/45)/(-1))?
False
Suppose 126*a - 189758 - 166892 = -224*a. Does 17 divide a?
False
Suppose -3*c - 30 = -3*f + 5*f, -65 = 5*f + 5*c. Let w(x) = 4*x**2 + 27*x - 13. Is 13 a factor of w(f)?
False
Let x = 92 + -88. Suppose m - 4*j - 17 = 5, x*j = 5*m - 30. Is 10 a factor of ((-90)/(-12))/(1/m)?
False
Let b = 71 - 67. Is 20 a factor of (2/b)/(((-1)/(-1))/946)?
False
Suppose 39*h = 2*h + 296. Suppose 4241 - 1121 = h*l. Is l a multiple of 10?
True
Suppose 0 = 3*y - 5*s + 2102, 2*y - 76 + 1492 = -4*s. Let z = y - -1024. Does 16 divide z?
True
Let l(g) = 140*g + 28. Let c be l(19). Does 6 divide 15/3*c/21?
False
Suppose 0*u - 2*h = -u - 70, 0 = -2*u + 2*h - 132. Let r = u - -230. Suppose -11*p + 4*p + r = 0. Does 4 divide p?
True
Let i(r) = r. Let v(j) = -44*j - 45. Let g(w) = 4*i(w) - v(w). Is 15 a factor of g(5)?
True
Does 3 divide ((-67816)/(-294))/((-1)/(-3))?
False
Let d be (10/(-4))/((-9)/18). Let l(x) = x**3 - x**2 - 4*x - 2. Let c be l(d). Does 13 divide (c/(-15))/(1/(-10))?
True
Suppose -7*u = -5*w - 4*u + 407, -w + 2*u = -87. Suppose -w*a + 2304 = -73*a. Is 14 a factor of a?
False
Suppose 0 = 7*s - 244 + 62. Suppose 18*k = s*k - 2048. Does 64 divide k?
True
Does 27 divide 8/10 - 32746*126/(-180)?
True
Let w(p) = 2*p**2 + 32*p + 42. Let f be (17/((-153)/(-18)))/(2/(-22)). Is w(f) a multiple of 34?
True
Suppose 2*p + 134 = 2*k, p = 4 + 1. Does 18 divide k?
True
Let r(v) = -6 + 6*v + 12 - v**2 - 1 - 2. Let y be r(7). Does 13 divide 155/4 + (-1)/y?
True
Suppose 0 = i + 6 - 9. Suppose -2*p + 17 = i*a - 3*p, 4*a - 20 = 4*p. Suppose a*z - 11*z = 5*v - 130, -79 = -4*z + v. Does 8 divide z?
False
Suppose 29*p + 2007 - 6386 = 0. Let i = -92 + p. Is i even?
False
Let x = 0 - -9. Suppose 4*i + 3 = -x. Let h(a) = a**2 + 2*a + 3. Is 5 a factor of h(i)?
False
Let t be 7 - (0 + (3 - -1)). Suppose t*h + 0*h - 300 = 3*d, 2*h - 215 = 5*d. Let q = h + 19. Is q a multiple of 18?
False
Let h be 1/(-8) + (-4 - (-2742)/48). Suppose 6 = 2*m - 680. Suppose -2*i + m - h = 0. Is 29 a factor of i?
True
Suppose 0 = 2*v - 108 - 30. Let s be (v/(-6))/((-3)/(-6)). Let d = s - -65. Is 13 a factor of d?
False
Suppose 4*o - 9*o = -1375. Suppose 3*s - 6*s = 5*y - 1481, 1195 = 4*y - s. Suppose -5*q = 5*j - o, 2*j + 35 = -5*q + y. Does 33 divide q?
False
Let s = -12528 - -23586. Is 57 a factor of s?
True
Suppose -10392 = -j + b, -277*b = -2*j - 272*b + 20787. Is 11 a factor of j?
False
Suppose h = -0*o - 2*o + 43, -o + 17 = -h. Suppose -4*q + 248 = -4*a - o, -4*q + 263 = -5*a. Is q even?
True
Suppose -246*g + 242*g = 18*t - 79796, -4*t = -8. Is g a multiple of 4?
True
Let l = -4 + -1. Suppose 0 = 10*c - 0*c - 460. Is (c - l) + (-3 - -6) a multiple of 6?
True
Let l = 27 - 25. Suppose -l*p - 72 - 281 = -3*r, -4*r - p = -478. Suppose 0 = -16*w + 15*w + r. Is w a multiple of 29?
False
Suppose -3*c = g - 220 - 240, 5*g + 4*c = 2300. Is g a multiple of 10?
True
Let z(m) = 6475*m**2 - 84*m + 83. Is z(1) a multiple of 12?
False
Let g = -159 + 330. Suppose -i - 2*i = -m + 136, -m = 4*i - g. Suppose 0 = 6*h - m - 317. Is h a multiple of 6?
True
Let b = 51 - 45. Let f = b + -39. Let g = f + 88. Is g a multiple of 12?
False
Suppose -5*m + 1347 = 3*x - 1552, 0 = -2*x + 2*m + 1938. Does 22 divide x?
True
Let a(g) = 9*g - 31. Let x(t) = -t**2 + 6*t + 16. Let u be x(-3). Let v be a(u). Does 22 divide (-20)/v - 2284/(-26)?
True
Let t = 1283 - -2023. Does 19 divide t?
True
Suppose 12*x - 364 - 524 = 0. Suppose c - 27 = x. Is 17 a factor of c?
False
Let m be (2 - (-4 - -2))/2. Let l = 639 - 639. Suppose l*i = m*q - i - 196, 3*q + 3*i = 312. Does 15 divide q?
False
Let u(b) = 18*b**3 + b**2 + 32*b - 177. Is 110 a factor of u(7)?
True
Let q(y) = y**3 - 11*y**2 - 8*y + 28. Let u be q(10). Let t = u - -682. Does 43 divide t?
False
Let q(y) = -234*y**3 + 3*y**2 + y - 1. Does 5 divide q(-2)?
False
Let g = -2 + 7. Suppose -g*m + 33 = -4*c + 78, 5*c = 2*m + 35. Does 20 divide (79 + -1)*m/35*-7?
False
Let y(k) = k**3 - k**2 + k + 40. Let a be (-8)/(-16) + 78/4. Let o be (-4)/a + (-2)/(-10). Does 5 divide y(o)?
True
Suppose -68 + 18 = -5*c. Suppose 5*z - c = q + q, 5*z - 3*q = 15. Suppose -t + z*t + 15 = 0. Does 3 divide t?
True
Let q(t) = 3*t**2 + 2*t + 2. Let h be q(9). Suppose -8*w + 10*w - 266 = 0. Let i = h - w. Does 22 divide i?
False
Let r = -1872 + 4054. Does 3 divide r?
False
Is 104 a factor of (-4*(4 + 205) + 4)/(-1)?
True
Let b(x) = 6*x**2 + 2*x - 8. Let m be b(-4). Suppose -3*c = -p + m, 4*c + 0*c = p - 79. Suppose -6*r + p = -7. Is r a multiple of 3?
True
Let w be (-448)/(-10) + 16/80. Suppose 0 = -w*c + 37*c + 416. Is 19 a factor of c?
False
Suppose -3*n = -0*n + 2*l - 10, -2*n = 5*l - 14. Let g be (-18)/n - (-2)/(-2)*-3. Is 5 a factor of 33*(-8)/g - 2?
False
Let k = 71281 - 49775. Does 15 divide k?
False
Let u = -447 + 169. Let b = -87 - u. Let t = -124 + b. Is 10 a factor of t?
False
Suppose b = -3*m + 3909, 479*m = 478*m - 4*b + 1292. Does 5 divide m?
False
Suppose 41*a - 55*a + 168 = 0. Suppose -a*z + 149 = -115. Is z a multiple of 4?
False
Let g be (-5)/(10/6)*-1*-23. Let s = 71 + g. Suppose -2*x + 256 = s*x. Is 17 a factor of x?
False
Let t = -8221 + 10522. Does 16 divide t?
False
Suppose 12*j + 10*j - 2001 = -j. Is j a multiple of 3?
True
Suppose 3*i - 3532 = -5*a - 0*i, 2*i - 3533 = -5*a. Let c = a + -579. Does 19 divide c?
False
Let g(o) be the first derivative of o**2/2 + 48*o + 45. Does 16 divide g(0)?
True
Let g(m) = m + 12. Let l(b) = -2*b - 12. Let x(a) = 5*g(a) + 4*l(a). Is 3 a factor of x(-5)?
True
Let t = -97 - -99. Suppose 2*l - t*a + 5*a = 15, -25 = -l - 5*a. Suppose l = -3*c + c + 4*k + 20, -5*k = 2*c - 56. Is 2 a factor of c?
True
Let s = -20 - -24. Suppose 3*l = y + 19, 5*l + s*y - 17 = -8. Let q = l - -91. Does 12 divide q?
True
Let u(g) = g**3 + 19*g**2 - 20*g + 17. Let n be u(-17). Suppose -3*a = 5*z - n, 34 = 5*z + a - 911. Is 19 a factor of z?
True
Let p be 3 + (-9531)/9 + 1 + -3. Is 46 a factor of (18 + (-34 - -17))/((-1)/p)?
True
Suppose 0 = 6*g + 22 - 16. Does 63 divide 11/(55/1260)*(g + 2)?
True
Let h = -5287 - -5573. Is 58 a factor of h?
False
Does 18 divide 2/(4/30*(-110)/(-2398))?
False
Suppose 8*i - 19*i + 3872 = 0. Suppose 5*o + i = 10*o + 4*f, 2*f = o - 62. Is o a multiple of 13?
False
Suppose -4*t = 5*x - 3311, 5*x - 2*t + t = 3291. Suppose -3*b = -763 - x. Is 40 a factor of b?
False
Suppose -318*g = -316*g - 390. Is 25 a factor of (2080/g)/(2/150)?
True
Suppose 18762 = 5*f + g, f + 2933*g - 3754 = 2932*g. Is 7 a factor of f?
True
Let w = -597 + 600. Suppose f = -w*i - 9, -3*f = -0*f + 5*i + 11. Is 3 a factor of f?
True
Suppose -2*c = -5 - 5. Suppose 164 = u - c*u. Let y = u + 128. Is 23 a factor of y?
False
Suppose 0*x = 12*x - 52*x + 31400. Is x a multiple of 24?
False
Let f(j) be the second derivative of 41*j**3/6 - 8*j**2 + 13*j. Let w be f(4). Suppose -3*a + 32 = -w. Does 11 divide a?
False
Let b = 8 + 12. Let a be ((-2)/(-8))/(1/b). Suppose -a*d + 4 + 11 = 0, -2*w - 5*d + 249 = 0. Is 13 a factor of w?
True
Let f be (-10)/2*(-6 + 5). Suppose -5*m - f*m = 17620. Is 7 a factor of 52/(-28) + 2 + m/(-14)?
True
Let f(b) = 4*b**2 + 15*b + 48. Suppose 13*l = -45 - 7. Does 3 divide f(l)?
False
Let r = 157192 - 112070. Does 7 divide r?
True
Let l(q) = -q**3 - 10*q**2 + 14*q - 8. Let m be l(-13). Suppose 14*a - m = 1097. Is 19 a factor of a?
False
Let l(x) = -13*x**2 - 15*x + 18. Let s(f) = -6*f**2 - 7*f + 9. Let v(a) = -2*l(a) + 5*s(a). Let y be v(-5). Let p = -40 - y. Does 13 divide p?
True
Let p be (-1)/((-7)/586)*(14 + -7). Suppose -10*y - 6 + p = 0. Is y a multiple of 14?
False
Let f(a) = -46*a**3 + 7*a**2 - 30*a - 3. Is 25 a factor of f(-8)?
False
Suppose -944592 = 57*z - 2930529. Does 29 divide z?
False
Let f be (-38)/(2 + 3 - 4). Let z = -54 - f. Let l(u) = -u**2 - 19*u + 3. Does 27 divide l(z)?
False
Suppose -z + 2648 = -17505. Let o be 1/5 - z/(-35). Suppose -8*c = -6*c - o. Is c a multiple of 48?
True
Let a = 231 + -229. Suppose -5*j - 10 = -0*j, a*z - j = 70. Is z a multiple of 2?
True
Is (-50319)/(-7) + 3*12/63 a multiple of 29?
False
Let y 