-2*u + 8*u - 30 = 0. Suppose u*p - 7 - 53 = 0. Is p a multiple of 10?
False
Let v(f) = -3*f**2 - 169*f - 98. Is v(-43) a multiple of 18?
False
Is ((-2)/4 + 2)/((-6)/(-7124)) a multiple of 13?
True
Let w(g) = -g**2 - 13*g + 5. Let j be w(-14). Let z = j - -20. Suppose -z - 49 = -2*l. Is 18 a factor of l?
False
Suppose 3*c = 5*x - 73, -3*c - 2*x - 6 = -2*c. Let g = 16 - c. Is g a multiple of 32?
True
Let b = 37 - -183. Suppose -b = -15*a + 10*a. Is 11 a factor of a?
True
Let x(l) = 5*l**2 + 13*l + 8. Suppose 5*d = -30 - 0. Is x(d) a multiple of 22?
True
Let u(o) = -262*o + 7. Is u(-1) a multiple of 13?
False
Let k = 2769 + -2634. Is k a multiple of 15?
True
Let i = 26 - -252. Is i a multiple of 27?
False
Suppose -5*s + 351 = 5*x + 21, -124 = -2*s - 4*x. Does 3 divide (-4)/(-14) - (-680)/s?
False
Let s be -1 - (2 - -1) - -6. Suppose -s*t = -6 - 2. Suppose -d = 2*o - 59, -2*d - 143 = -t*o + d. Is o a multiple of 8?
True
Suppose -2*d = 3*f + 3389, 0*f + 10 = 2*f. Let v be 3/7 + d/(-161). Is (-1 - v)/((-6)/56) a multiple of 23?
False
Let d be -3*(1 - (-28)/(-12)). Suppose d*v + a = -30 + 180, -152 = -4*v - 2*a. Is 17 a factor of v?
False
Let c be 1 - ((-4 - -4) + -566). Suppose -c = -4*p - 5*p. Does 21 divide p?
True
Let r(a) = 9*a**2 - a + 6. Let f be r(-3). Suppose 4*w = 2*c + 636 - f, -2*w + 267 = c. Is w a multiple of 27?
True
Let x(v) = v**3 + 12*v**2 - 14*v - 10. Let k be x(-13). Let l be 2/(-8) - k/4. Is (1*-1*10)/l a multiple of 9?
False
Suppose 105*z - 101*z - 12 = 0. Suppose 0*g + 650 = z*t + g, -4*t + 864 = 4*g. Is 31 a factor of t?
True
Let t = -12 - -10. Let m(a) = -4*a - 6. Let y(z) = 5*z + 7. Let v(d) = t*y(d) - 3*m(d). Is 11 a factor of v(6)?
False
Let x(p) = -p**2 + 7*p + 6. Let h(z) = 2*z**2 - 14*z - 11. Let v(l) = -4*h(l) - 9*x(l). Let t be v(12). Let n = t + -29. Is n a multiple of 21?
True
Let u(k) = 18*k - 147. Does 5 divide u(9)?
True
Suppose l + 3*l = 28. Let r(c) = c**3 - 8*c**2 + 8*c - 4. Let f be r(l). Suppose -2*n - 68 = -3*u - 0*u, -4*u - f*n = -68. Is 10 a factor of u?
True
Suppose 4*s - 3*s = 9. Suppose 3*y = -s + 3. Let z(d) = -8*d**3 + d**2 + d + 2. Is z(y) a multiple of 14?
False
Suppose -22*p + 1483 + 1135 = 0. Is 3 a factor of p?
False
Suppose 2*p = 2, u + 5 = -u + p. Does 24 divide (-5)/(5/u*1/35)?
False
Suppose -6 = 2*v, 5*q - q - 11 = -3*v. Suppose 5*c + 3*r - 512 = 0, -58 - 162 = -2*c - q*r. Does 10 divide c?
True
Let y(a) = -15*a - 5. Let r be y(-7). Suppose z - 3*z + r = 0. Let n = z - 36. Is 7 a factor of n?
True
Suppose 0 = -3*u - 22 - 5. Let h = -5 - u. Suppose 5*o + 2*a = 144, -h*o + a + 3*a + 104 = 0. Is 15 a factor of o?
False
Suppose 368 = u - 4*q, 6*u - 5*u - 368 = q. Is 16 a factor of u?
True
Let x be (-1 - -1)*3/3. Suppose -5*g = 5*p - 30, 0 = -x*p - p - 1. Is g a multiple of 5?
False
Let r(g) = -g**2 - 12*g - 11. Let w be r(-11). Suppose -3*l + 4 = l, 4*t - 2*l - 18 = w. Suppose -t*h = -9*h + 96. Is h a multiple of 8?
True
Let h(w) = -295*w**3 + w**2 + 3*w + 2. Let c be h(-1). Suppose l - o + 54 = o, 0 = 5*l - 5*o + c. Let i = 11 - l. Does 10 divide i?
False
Let q(s) be the third derivative of -7*s**4/24 - 11*s**3/6 - 9*s**2. Does 15 divide q(-4)?
False
Let t = -32 + 36. Suppose -2*m + 108 = 4*v - 4, t*m = v - 46. Is v a multiple of 15?
True
Let a(u) = 2*u**2 - 17*u + 7. Does 7 divide a(12)?
True
Let h(f) = 113*f - 14. Let g be h(13). Suppose -14*b + g - 321 = 0. Is b a multiple of 27?
True
Let f(n) = -3*n**3 - 4*n + 17. Does 16 divide f(-6)?
False
Suppose 20*m - 9 = 17*m. Suppose -7*j + m*j + 584 = 0. Is 9 a factor of j?
False
Let c be (-6)/((-54)/(-21))*-258. Suppose -4*k + 3*h + 86 = -407, 5*k + h = c. Does 11 divide k?
True
Let z = 83 - 83. Suppose 3*w + w - 8 = z. Is w even?
True
Does 74 divide (-4 + (6 - -16))*(25 + -2)?
False
Is 11 a factor of (1 - 5) + 1 + 1 + 167?
True
Suppose 10*m = -16*m + 468. Is m a multiple of 18?
True
Is 3 a factor of -5 + (8/(-14))/(21/(-294))?
True
Suppose b = -5*h + 2762, 8*b - 3*b = -2*h + 13879. Does 24 divide b?
False
Is 220*-2*(-2)/1 a multiple of 13?
False
Let c(q) = q**2 + 8*q + 6. Let v be c(-6). Is -3 + (-334)/(-10) - v/(-15) a multiple of 5?
True
Let j(g) = -g**3 - 9*g**2 - 9*g - 16. Let n be j(-8). Does 20 divide (-538)/n + 27/(-108)?
False
Suppose 0 = -5*j + 4860 + 740. Does 42 divide j?
False
Suppose 9*c + 490 = 14*c. Does 14 divide c?
True
Let h = 160 + -158. Suppose -16 = 4*g, 86 + 164 = h*f + 5*g. Is f a multiple of 20?
False
Suppose -2*k - 2*n + n - 49 = 0, 3*n = 4*k + 103. Let b = 6 - k. Let y = b - 12. Does 8 divide y?
False
Suppose 11*o = 24*o - 5304. Does 27 divide o?
False
Suppose 4*f - 32 = 2*p, p = 5*f + 6*p - 70. Let z = -6 + f. Is z a multiple of 3?
False
Let o = 310 - -88. Is o a multiple of 31?
False
Is 38 a factor of 1/(1/1) - -189?
True
Suppose 0 = -4*t - 2*t + 18. Suppose 0 = -t*c + n + 1425, 3*c + 5*n - 1135 = 290. Suppose 0 = -23*o + 18*o + c. Is 19 a factor of o?
True
Let g(i) = 70*i**2 - 27*i. Is g(4) a multiple of 23?
True
Suppose 35010 + 99894 = 33*n. Is n a multiple of 53?
False
Does 8 divide (138/10)/(63/70)*30?
False
Let t be ((-22)/(-4))/((-1)/(-2)). Suppose 5*a - 15 = 0, 2*x + 4*a = 26 - 6. Let d = t + x. Is d a multiple of 5?
True
Suppose 4*n = -2*j - 29 - 3, 0 = j + n + 20. Let g be j/8*10/(-6). Suppose -30 = -l - g*x + x, 0 = -2*l - 5*x + 48. Is l a multiple of 6?
False
Let z = 4705 - 3107. Does 77 divide z?
False
Let v be (-84 + 0)*(-2)/4. Suppose 0*z = 3*z - v. Is 6 a factor of 468/42 + (-2)/z?
False
Suppose -3*n - 15 = -5*b + 3*b, -2*n = 4*b - 70. Suppose 71 = 2*u + b. Is u a multiple of 8?
False
Let y(a) = a**3 + 23*a**2 - 19*a + 47. Does 44 divide y(-23)?
True
Suppose 9*n - 5*n = 380. Suppose 3*y = 5*g + n, 6*y - 111 = 3*y - 3*g. Does 11 divide y?
False
Let l(a) = -a + 12. Let z be l(10). Suppose -j - z*j = 2*i - 114, -8 = 4*j. Is i a multiple of 12?
True
Let p(u) = 15*u + 6. Let r be p(2). Suppose 0 = -3*h + r - 27. Suppose h*n + 48 = 9*n. Is n even?
True
Suppose 107*u = 136*u - 46342. Is u a multiple of 47?
True
Let n = 27 + -43. Let z = n - -27. Let h = 91 - z. Is h a multiple of 22?
False
Let v be -1 - (-4 - -2 - 3). Suppose -5*b = -3*t + 13, 13 = 3*t - 4*b - v. Let c = 27 - t. Is c a multiple of 4?
True
Let a(h) = -105*h**3 + h**2 + 22*h + 37. Is 31 a factor of a(-2)?
True
Let f = 1 - -1. Suppose 5*q = -f*z + 6*z + 11, 0 = 3*q + 3*z - 12. Suppose -44 = -w - q*w. Does 5 divide w?
False
Let z(m) be the first derivative of -29*m**2/2 + m - 1. Is 4 a factor of z(-1)?
False
Suppose 77220 = 22*f + 14*f. Is 33 a factor of f?
True
Let v = 24 + -21. Let x(p) = -p**2 + 6*p - 6. Let c be x(4). Suppose -50 = -c*i - v*i. Does 4 divide i?
False
Suppose 121 = -14*f + 3*f. Does 2 divide f/((-33)/12) + 9 + -1?
True
Suppose 11 = 5*d - q, -d - q - 1 = -2*q. Suppose -d*t - t + 1280 = 0. Is -2 - 3/((-15)/t) a multiple of 19?
False
Let g(x) be the first derivative of x**2 - 9*x + 9. Let h be g(9). Is 19 a factor of (228/h)/4*9?
True
Let r(v) = v + 1. Let c(p) = -5*p + 10. Let x(w) = -c(w) + 2*r(w). Let t(l) = -8*l + 9. Let z(g) = 2*t(g) + 3*x(g). Is 12 a factor of z(7)?
False
Let k(n) = -181*n - 227. Does 114 divide k(-17)?
True
Suppose -5*y = -5*o, 3*o - 1 = 5. Let u(n) = y*n - 2 + n - 6*n. Is 3 a factor of u(-3)?
False
Suppose 1632*k = 1640*k - 11784. Is k a multiple of 16?
False
Let h(w) = 2*w**2 + w. Let q be h(1). Suppose 0 = -23*r + 6*r + 119. Suppose -2*u = -q*j - 88, -r*j + 94 = 3*u - 2*j. Does 13 divide u?
False
Let f(q) = -39*q**2 - 7*q + 2. Let s be f(3). Let h = 590 + s. Is h a multiple of 22?
True
Suppose -8 - 7 = -5*c. Suppose 577 + 252 = 5*q - 4*a, 0 = q - c*a - 168. Suppose n = -4*n + q. Is 13 a factor of n?
False
Suppose 5030 = 3*h - 2149. Is h a multiple of 48?
False
Suppose -2*u - 3*u + 30 = 0. Let y be (0 + 2/4)*u. Let k(n) = 4*n**2 - 2*n - 3. Is k(y) a multiple of 9?
True
Suppose -2*w = -3*q - 2, -5*q + 4*w + 14 = 5*w. Is 34 a factor of 6*q/(-6)*-51?
True
Suppose -3*s - 29 - 34 = 0. Let p be 35/s*(-5 + -1). Is 14 a factor of ((-56)/p)/(1/(-5))?
True
Suppose 5*q - 2320 = -5*c, 1 = 5*q + 11. Let w = c + -246. Does 38 divide w?
False
Let x(g) = -28*g**2 + 3*g - 2 + 9*g + 37*g**2 - 5*g - g**3. Does 11 divide x(9)?
False
Suppose -11*y = 5*y - 32. Suppose 4*s - 143 = -3*n, -n + y*s + 33 = -8. Does 15 divide n?
T