 (-3)/h)*248/(-6)?
False
Suppose -4*c + 4 = 0, 2*c + 1050 = -3*h + 7*h. Suppose 0 = -9*l - 3539 + h. Let d = -209 - l. Is 22 a factor of d?
False
Let w = -89 - -81. Let m(z) = 2*z**2 + 14*z - 10. Let g be m(w). Suppose -g - 153 = -3*n - 3*j, 202 = 4*n + 2*j. Does 12 divide n?
True
Let x(a) = -a + 12. Let i be x(9). Suppose i*d = 52 + 29. Suppose h = -0*h + d. Does 3 divide h?
True
Suppose d - 31559 = -8*d + 60781. Is d a multiple of 76?
True
Suppose -98*z - 20 = -102*z. Suppose z*j = -j - 18. Does 15 divide 60/j*15/(-4)?
True
Let p = -20 - -27. Suppose p*g = 76 - 20. Suppose 652 = g*u - 1268. Is 12 a factor of u?
True
Let s = -95 + 26. Let p = s - -74. Suppose 7*n - p*n = 22. Is n a multiple of 2?
False
Let z(t) = 26*t + 11 + t**2 + 6 - 2*t**2 - 50 + 3*t. Does 13 divide z(27)?
False
Suppose 4*d = -2*v + 4606, -3*d + 4*v + 1419 = -1997. Does 2 divide d?
True
Suppose 71*z = 70*z - 5*l + 3102, -3*z - 3*l = -9234. Is z a multiple of 24?
True
Suppose 3*j + 5 = 4*q + 12, -3*q = 2*j + 1. Let r(z) = -73*z - 1. Let p(o) = 73*o + 2. Let u(i) = 3*p(i) + 4*r(i). Is 15 a factor of u(q)?
True
Suppose 4*b - 6228 = -5*o, -18*o - 2487 = -20*o - 3*b. Does 13 divide o?
True
Let m = -251 + -8. Let c = -166 - m. Suppose -3*z = -c - 36. Is 8 a factor of z?
False
Suppose -3*b = q - 10, 0*q = 5*b + 3*q - 18. Let c be (((-15)/2)/1)/(b/(-6)). Suppose -17*m = -c*m - 128. Is m a multiple of 8?
True
Suppose 7*k = 6*k + 2. Suppose -2*x - 2*x - 2*c = -214, -158 = -3*x - k*c. Is x a multiple of 7?
True
Let q(n) = -390*n - 25. Is q(-1) a multiple of 28?
False
Let q(l) = -3*l - 6. Let j(c) = c**2 + 4. Let t be j(2). Suppose -x - t*x = 81. Is q(x) a multiple of 7?
True
Let z = 36 + 1. Suppose -4*t = 43 + z. Is (-486)/(-36)*t/(-6) a multiple of 9?
True
Let a(t) = t**3 + t**2 - t + 2. Let s be a(0). Let c(z) = z**2 + 10*z - 13*z**2 + s*z**3 + 4*z**2 - 3. Is c(4) a multiple of 37?
True
Let u(b) = -477*b + 6881. Is 16 a factor of u(-123)?
True
Let p(b) = -4092*b + 327. Is p(-3) a multiple of 24?
False
Let i(z) = -5*z**3 - 28*z**2 + 26*z + 16. Let p(r) = 9*r**3 + 56*r**2 - 52*r - 34. Let k(w) = 7*i(w) + 4*p(w). Is 64 a factor of k(-28)?
True
Let k be ((-35)/28)/((-2)/(-16)*1). Let s be 75/(-30)*8/k. Suppose 3*m - 820 = -5*c, -2*m + s*c + 770 = 234. Does 26 divide m?
False
Let d be (-11)/((-21)/28 + (-3)/(-3)). Is 52/d + 1 - (-2094)/22 a multiple of 12?
False
Let r(q) = -10*q**2 + 30*q + 33. Let d(w) = -2*w**2 + 6*w + 7. Let c(o) = -33*d(o) + 6*r(o). Is c(-2) a multiple of 4?
False
Let p(t) = t**3 - 9*t**2 - 8*t + 13. Let f be p(10). Let j = 36 - f. Suppose 2*d - 202 = -3*x, d - j*x - 2*x - 101 = 0. Does 14 divide d?
False
Let r(z) = 0*z + z**2 + 12*z + 2*z + 10*z - 1. Does 27 divide r(-29)?
False
Let i(m) = -6*m + 35. Let z be i(5). Suppose -z*b + 11*b + 144 = 0. Is 2/b*-58 + (-20)/(-120) a multiple of 5?
True
Suppose 0*j - 2*j + s = -451, 4*j = -4*s + 884. Suppose -220*m + j*m = 3536. Is 26 a factor of m?
True
Does 55 divide 206554/417 + 2/(-6)?
True
Let g = -6479 + 7046. Does 63 divide g?
True
Suppose 3*n + 6 = 0, 16*n + 52841 = 5*m + 18*n. Does 13 divide m?
True
Suppose 0 = 7*i - 3*i - 3*x - 33, -5*i = 3*x - 75. Let v be -3 - 33/i*(453 + -1). Is (-2)/11 + v/(-77) even?
True
Let r be 1/(1*3/33) + -3. Suppose -4*y + 2*c = -r - 0, -10 = -5*y + 5*c. Suppose 3*q + y*q - 270 = 2*g, -3*q + g = -163. Is 13 a factor of q?
False
Let w(t) = 2024*t - 2394. Is w(4) a multiple of 49?
False
Let a(x) = 7*x**2 + 3*x + 1. Let u be a(-1). Suppose -3*z + u + 1 = 0. Suppose 302 = 4*c + z*l, -3*l = -2*c + 2*l + 121. Does 13 divide c?
False
Let g be ((-10)/4 + 2)*24/(-4). Suppose 2*n + g*d - 612 = 5*d, 4*d = -16. Suppose 2*b - 3*t + 0*t = n, t = 2*b - 298. Is 14 a factor of b?
False
Let s be (7344/(-15))/(3/(-40)). Let x be (s/(-9))/(-8)*-3. Let j = 512 + x. Does 12 divide j?
True
Suppose 0 = 11*h + 204 - 6804. Let g = h - 193. Suppose -6*k + g = -673. Does 18 divide k?
True
Suppose -90 = 286*p - 288*p. Suppose -6*j = p - 681. Is 8 a factor of j?
False
Let f(y) = -3651*y**3 + 2*y**2 - 103*y - 211. Is 273 a factor of f(-2)?
True
Suppose -19*i + 43*i = -42*i + 397320. Is 7 a factor of i?
True
Suppose 0 = -v - 4*v + 35. Suppose 3*g - 712 = -p, -22*g + 23*g = 2*p + 249. Suppose -g - 111 = -v*a. Is a a multiple of 11?
False
Suppose -3*g - 3*a + 4986 = 0, 3*g + 1116*a = 1117*a + 4998. Does 37 divide g?
True
Suppose -7*w = 920 - 6485. Suppose a - 987 = -w. Does 24 divide a?
True
Suppose 152*h - 965775 = 906865. Does 88 divide h?
True
Suppose 158*f = -2*q + 159*f + 12504, q = f + 6255. Does 33 divide q?
False
Let d(j) = -2*j**3 - 7*j**2 + 2*j - 1. Suppose 0 = -784*l + 789*l + 35. Is d(l) a multiple of 23?
False
Does 11 divide 154/6*42 + 13?
False
Suppose 4*t - 79 + 271 = 0. Let f = t - -53. Is 31 a factor of 430/(-4)*(-8)/f?
False
Suppose -v = 7*v. Suppose v = 3*g - 4*g - 1, 2*h + g - 19 = 0. Is h/(-2)*-18*6/15 a multiple of 4?
True
Suppose 6*l + 3 + 9 = 0. Let d(s) = 8*s**2 + s - 7. Let u(a) = -2. Let f(o) = d(o) - 6*u(o). Is f(l) a multiple of 16?
False
Suppose -2*t - 992 - 3042 = -2*p, -2015 = -p - t. Suppose -3*c + p = -c. Is 14 a factor of c?
True
Suppose -8*a + 4561 = -6103. Suppose -g - 1066 = -5*g + 2*m, -5*g + 2*m = -a. Is 3 a factor of g?
True
Suppose 465 = 26*f - 31*f. Let g = 139 + f. Let s = g + 19. Is 27 a factor of s?
False
Let q = 1398 + -924. Suppose 0 = -i - 4*x + 97 + 405, 0 = i - 3*x - q. Does 54 divide i?
True
Is (-5 - -6)*239 - 2 - -6 a multiple of 9?
True
Let y(p) = 320*p**2 + 19*p - 40. Is y(7) a multiple of 54?
False
Let l = 11652 + 3869. Is 77 a factor of l?
False
Suppose -2*t = 10*t. Suppose 1443 = 4*a + g, t = -5*a - 4*g + 2*g + 1806. Does 72 divide a?
True
Let x = -6785 - -12411. Is 58 a factor of x?
True
Let n(m) = m**3 - 5*m**2 + m - 6. Let y be n(0). Let v be (-2)/7 + (-108)/14. Is 3 a factor of (-16 - v)*27/y?
True
Suppose 0 = -8*i + 4*i + 21304 + 9864. Is i a multiple of 85?
False
Let h be (1 + -2)/((-2)/1 - -3). Suppose 3*m - 2*m = 5*v + 189, m = -3*v + 165. Does 23 divide ((-1)/2)/(h - (-171)/m)?
False
Suppose 13*g - s = 8*g + 88914, 2*g + 3*s = 35586. Is g a multiple of 36?
True
Suppose -66541 + 21001 = -4*v. Does 69 divide v?
True
Let r(z) = 13*z - 254. Suppose 2*q - x = 49, 3*q - 8*x - 76 = -7*x. Is 11 a factor of r(q)?
False
Let c(t) = -117*t + 10311. Is 29 a factor of c(74)?
True
Let l be (-22 + -2)*(-2)/(-4). Let r be 81*(5 - (-28)/l). Suppose -z = 5*g - r, -3*z + 4*g = -111 - 537. Does 24 divide z?
True
Let i be (-12 - -11) + 15/3. Suppose -5*x - q - 483 + 2526 = 0, 2*q + 1626 = i*x. Is x a multiple of 11?
False
Suppose 6*s - 344 = -2*s. Let f = s + -38. Suppose -r - 3*m + 13 = -48, 5*r - 365 = f*m. Does 14 divide r?
True
Let s = -833 + 699. Does 21 divide s/(-4)*(-1 - -43)?
True
Suppose -2*c = 6, 3*w = 2*w + c + 18. Let v be (36/w - 0)/((-4)/20). Let y(u) = 2*u**2 + 23*u + 1. Does 8 divide y(v)?
False
Let l(t) = 6*t**3 + 4*t + 17. Let w(p) = 17*p**3 - p**2 + 11*p + 51. Let c(v) = 11*l(v) - 4*w(v). Let x be c(4). Let j = 114 + x. Is j a multiple of 5?
False
Suppose -o - 6 = -9. Suppose z + o = 4*z. Is 23 a factor of -3 - z*-164*(0 - -1)?
True
Let l = 226 - 41. Suppose -i + 44 = 2*t, -4*i - 144*t = -139*t - l. Does 25 divide i?
True
Suppose 5*o - 497 = 343. Suppose -4*z = -u - 8, 3*z - 21 = -5*u + 2*u. Suppose 2*d = -i + 124, -z*d + 0*i = -3*i - o. Is d a multiple of 10?
True
Let l = 43834 + -41408. Is 6 a factor of l?
False
Suppose 5*z - 420 = -4*c, 4*c + 4 = -3*z + 248. Let o = z + -83. Suppose v - 162 = -2*b + o*v, 3*v - 9 = 0. Does 7 divide b?
False
Let x(r) = 2*r**3 - 4*r - 3. Let p be x(-1). Let g be -2 - (p - -1) - 291/(-3). Suppose -61 - g = -3*f. Does 26 divide f?
True
Suppose 341*w - 4*w = 7253251. Does 42 divide w?
False
Is (-134730)/(-15) - ((-9)/9 - (1 - -3)) a multiple of 12?
False
Suppose 631026 = 425*u - 941899. Does 73 divide u?
False
Let g = 7173 + -6193. Is 21 a factor of g?
False
Let z(t) = 3*t**3 - 4*t**2 + 3*t - 2. Let f be ((-2)/(-6))/((153/162)/17). Is z(f) a multiple of 12?
False
Suppose 16*n + 3*n - 266 = 0. Suppose n*t - 2*r = 15*t - 415, -4*t + 1620 = -2*r. Is 47 a factor of t?
False
Suppose 0*z - 4*z + 5240 = 0. Let a be 2507/218 - (-13)/(-2). Suppose 2*n = u + 524, 0*n - a*n - 2*u = -z. Is n a multiple of 50?
False
Suppose -98342 = -5