Suppose 55 = c + f*c. Is 7 a factor of c?
False
Suppose -6*y + 3*y = 15, 3*r + 5*y = 11. Suppose g = 3*g - r. Does 3 divide g?
True
Let x(q) = -q**3 - 8*q**2 - 15*q - 3. Does 5 divide x(-6)?
True
Is 20 a factor of (3 + (-42)/(-10))/((-6)/(-100))?
True
Suppose -2*u - 1 = -u. Let y(q) = 21*q**2 + q + 1. Is y(u) a multiple of 21?
True
Suppose 2*b = -3*b + 15. Suppose -5*v + 2 = r - 2, 0 = 3*r + b*v. Does 4 divide 27*r/(9/(-3))?
False
Let o(l) = 150*l. Let u be o(-1). Does 25 divide (-1)/((-447)/u + -3)?
True
Suppose 5*c - 28 = 3*c. Suppose r = w + 5*r + c, -4 = r. Does 17 divide w - 1/1 - -27?
False
Suppose -x - 4*z = x, -5*x + 18 = z. Suppose r - 10 - 36 = -3*w, 5*w = -x*r + 156. Is r a multiple of 17?
True
Let b(i) = -i**3 + 10*i**2 + 12*i - 12. Let m be b(11). Let s = m - -3. Suppose s = g - 16. Is 8 a factor of g?
False
Let p be 4/(-10) + 18/(-5). Let c = 18 + 42. Is 4 a factor of ((-4)/6)/(p/c)?
False
Suppose k + 3*k = 204. Suppose 0*x - 3*x = -k. Is 17 a factor of x?
True
Suppose -5*b + 6*b = 0. Suppose 3*k = 5*l - 358, l + b*l - 2*k = 66. Is 20 a factor of l?
False
Let d(m) = -m**3 + 7*m**2 - 2*m. Is 8 a factor of d(6)?
True
Suppose 8*v - 6*v - 14 = 0. Suppose -5*r + 4*z - 20 = 0, 0 = -2*r + 7*r + 2*z - 10. Let t = v + r. Is 7 a factor of t?
True
Suppose 0 = 5*i + 5*x - 45, -4*x + x + 11 = -i. Suppose p = -0 + i. Suppose -13 = p*z - 165. Is 13 a factor of z?
False
Suppose 67 = 4*r - 53. Is r a multiple of 6?
True
Let h = 10 + -5. Is h even?
False
Suppose 0 = -7*y + 2*y. Suppose y = 10*g - 5*g - 70. Does 14 divide g?
True
Let a = -80 + 128. Is a even?
True
Suppose 5*p - 4*b - 140 = 0, p = 2*p + 3*b - 9. Is p even?
True
Let l = -80 + 137. Does 11 divide -4*-2*l/8?
False
Let s = 16 - 8. Suppose s*r - 15 = 3*r. Suppose 5*b = r*z + 174, -3*b - 2*z + 104 = -4*z. Is b a multiple of 13?
False
Suppose f + 5 = 2*f. Suppose -24 = -3*n + 246. Suppose 0*p = -3*o - 4*p + 26, -f*o + n = -5*p. Is 6 a factor of o?
False
Let i be 1 - (-3)/((-6)/(-2)). Let q be (1 + 0 - 10)*-5. Suppose q = 3*y + i*y. Is y a multiple of 9?
True
Let c(d) = 3*d + 1. Suppose v = -2*v + 18. Let x be v/4*(-4)/(-3). Does 4 divide c(x)?
False
Suppose 2*s + 63 + 9 = 0. Let d be 4/18 - 388/s. Suppose h = 3*q + d, q + 2*q + 31 = 2*h. Is h a multiple of 9?
False
Let s = -5 - -3. Let u be ((-3)/2)/3*s. Is (-28)/(-6) + u/3 a multiple of 3?
False
Suppose 5*y + 3*k - 308 = -0*k, 2*y = 5*k + 148. Let b(j) = -3*j**2 - 13*j - 8. Let i be b(-6). Let d = i + y. Is 13 a factor of d?
True
Let a(u) = -2*u - 4. Let k be a(3). Let i = k + 4. Let b(t) = -4*t + 4. Is 15 a factor of b(i)?
False
Let i = -1 + 13. Let b = 15 - i. Is b even?
False
Let k(b) = b + 31. Does 26 divide k(0)?
False
Let o(w) = 3*w + 1. Let p be o(1). Let j be (-18)/p - 2/(-4). Is 10 a factor of 12 + 0 + 2 + j?
True
Let n be ((-5)/(-3))/((-1)/(-9)). Suppose 0 = 4*k + 3 - n. Does 2 divide k?
False
Let q = -366 + 211. Let g = q - -217. Is 20 a factor of g?
False
Let a(b) = -b + 5. Let f be a(5). Suppose x + f*x = 22. Is 7 a factor of x?
False
Does 10 divide (-37)/(-2) - 2/(-4)?
False
Let b = 43 + -29. Suppose -2*k - b = -4*k. Does 3 divide k?
False
Let x(z) = 32*z**3 + z**2 - 2*z + 1. Does 32 divide x(1)?
True
Suppose 17 = 3*m + 2*a, -m + 3*a - 15 = -2*m. Let v(f) = f. Let s be v(m). Suppose 0 = -2*o + s + 1. Is 2 a factor of o?
True
Is 38 a factor of (4*(-6)/12)/(1/(-29))?
False
Suppose 5 = -3*f + 4*f. Suppose -5*n = -3*a - 0*a - 6, 0 = -a - f*n + 18. Suppose z + 5*y - 13 + 6 = 0, -15 = -z + a*y. Does 12 divide z?
True
Let a be (-2)/(-4) - 11/(-2). Let n be 39/9 - (-4)/a. Let x = 11 - n. Is 3 a factor of x?
True
Let m(w) = 59*w - 3. Let n be m(-3). Does 13 divide (n/(-35))/((-3)/(-14))?
False
Let m(u) = -u**3 + 8*u**2 - u + 8. Let c be m(8). Suppose -3*i + c*i + 54 = -o, 0 = -2*o. Is i a multiple of 16?
False
Let h be 33/9 - 4/6. Suppose -h + 31 = 4*y. Does 3 divide y?
False
Let u = -7 - -7. Let i = u - -25. Does 25 divide i?
True
Suppose 0 = 5*g - 25, 3*t + 2*t = -g + 385. Suppose p + t = -p. Does 10 divide p/(-4) - 3/(-6)?
True
Suppose 3*p = -0*p + 12. Suppose -2*z + 5*z - j = 193, -4*z + p*j + 268 = 0. Suppose 5*n - z = 37. Does 20 divide n?
True
Suppose g - 5 = 2*o, 2*o = -5*g + 6*o + 7. Let q(i) = -23*i**3 + i**2 - i - 1. Is 8 a factor of q(g)?
True
Suppose -118 + 10 = 4*q. Is 16 a factor of q/(-3)*16/3?
True
Suppose -4*u = -u - 4*j - 323, 5*u - 2*j = 515. Does 37 divide u?
False
Let q(h) = -15*h - 3. Let w(g) = 2*g + 2. Let c(o) = -o**2 + 7*o - 8. Let v be c(6). Let j be w(v). Does 16 divide q(j)?
False
Suppose 2*k = 5*a - 5, -2*k + k + 17 = 4*a. Suppose 0 = b - 0*b + a*x - 6, -5*x = -25. Let t(h) = -6*h + 1. Is 14 a factor of t(b)?
False
Suppose -39 = -t - 5*y + 39, -58 = -t + 5*y. Is 3 a factor of t?
False
Suppose -2*x = -10*x + 152. Is x a multiple of 9?
False
Suppose -z = p, -8*z + 3*z + 3*p + 16 = 0. Let v(l) = -21*l**2 - 6*l - 10. Let q(u) = 4*u**2 + u + 2. Let j(t) = z*v(t) + 11*q(t). Does 10 divide j(-2)?
False
Let h be 5210/45 - (-4)/18. Suppose -4*g + 0*g - h = -3*x, -2*g = x - 52. Is x a multiple of 11?
True
Let x(t) = t**3 + 9*t**2 - t - 7. Let p be x(-9). Suppose -3*g - p*g + 110 = 0. Is g a multiple of 17?
False
Let k(v) = -v**2 + 7*v + 2. Is 3 a factor of k(5)?
True
Let i(p) = p**3 + 5*p**2 - p - 5. Let f be i(-5). Suppose 56 = 5*c - 2*s, -5*c = -3*s - f - 59. Is 5 a factor of c?
True
Let n be (-2)/6 + 70/(-6). Let l be 8/n - 514/(-6). Let t = l + -44. Is t a multiple of 15?
False
Let h = 20 + 12. Is h a multiple of 8?
True
Is 9 a factor of (84/21)/((-2)/(-9))?
True
Let x = 12 - 3. Let z be (-12)/x*(-45)/6. Is 8 a factor of ((-8)/z)/((-10)/275)?
False
Let c(b) = 3*b - 14*b**2 + b + 15*b**2 - 1 - 2*b. Let h be c(-3). Let v(r) = 6*r - 2. Is 5 a factor of v(h)?
True
Suppose 5*o - 10*o + 50 = 0. Is o a multiple of 9?
False
Suppose -k - 73 = -200. Is 5 a factor of k?
False
Suppose 42 + 13 = p. Is p a multiple of 14?
False
Let h = 28 - 13. Suppose -3*n = -0*n - 2*l - 24, 5*l - h = 0. Is n a multiple of 10?
True
Is 0/(4 + -3) + 24 a multiple of 18?
False
Let j = 65 + -27. Does 19 divide j?
True
Does 7 divide 18 - 6/(-3)*2?
False
Suppose -2*j = 316 - 846. Suppose -5*r + j = 5*i, 0*i = -4*i. Does 20 divide r?
False
Let z = -1 + 7. Suppose j - z*j + 85 = 0. Suppose m - j = 1. Does 9 divide m?
True
Let u be (-5 - -4)*(1 + 61). Let t = -34 - u. Does 6 divide t?
False
Suppose 4*m - 43 = 5*i, -2*i - 32 = 2*i - 2*m. Let b(w) = -w**3 - 6*w**2 + 8*w + 9. Let u be b(i). Suppose u*h - 7 = 23. Is h a multiple of 4?
False
Let d(o) = o**3 - 6*o**2 - 9*o + 14. Is 14 a factor of d(8)?
True
Let b = 81 + -40. Does 9 divide b?
False
Suppose 0 = 14*x - 17*x + 315. Is x a multiple of 21?
True
Let w = -11 + 22. Is 11 a factor of w?
True
Let l = 0 + 3. Does 10 divide ((-28)/10)/(l/(-15))?
False
Let r be (-16)/(-4)*-1 + 3. Is (-2 - -44) + 1 + r a multiple of 14?
True
Let l be (-42)/9*-3*2. Let u = l + 14. Does 12 divide u?
False
Let g = 2 - 0. Suppose k + 4*x - 21 = 0, 5*x + g + 3 = 0. Suppose z + 4*i = k, z - 54 = -2*z - 5*i. Is 13 a factor of z?
True
Let p(m) = -m**3 - m**2 - 3*m - 7. Suppose -3*k - 2 = o, -2*o = -0*o + k + 9. Is p(o) a multiple of 35?
False
Let j = 11 + -6. Suppose -j*x - 2*f + 35 = f, -5*x = f - 25. Is 3 a factor of x?
False
Let j(b) = -3*b**2 + 11*b - 17. Let q(k) = -2*k**2 + 6*k - 9. Suppose -5*p = -p + 20. Let g(v) = p*q(v) + 3*j(v). Is g(-6) a multiple of 12?
True
Let x = -206 + 288. Does 9 divide x?
False
Suppose 0 = -3*x - l - 34, -4*l = -2*x + l. Let z be (x/(-6) + -1)*-3. Let q(h) = -5*h**3 - 2*h**2 + 3*h + 2. Is q(z) a multiple of 14?
True
Let z = -10 - -2. Let v(g) = -g + 1. Let u be v(z). Does 10 divide 241/u - (-6)/27?
False
Let v = 160 - 115. Does 5 divide v?
True
Let w(p) = 53*p**3 + p**2. Suppose -x = 2*x + 2*y - 3, 4*x - 3*y - 4 = 0. Is 12 a factor of w(x)?
False
Let k(q) = -2*q - 6. Let o be k(-4). Let b(l) = 6*l**3. Does 12 divide b(o)?
True
Let o(i) be the first derivative of -20*i**2 + 2. Let q be o(-3). Suppose g + 2*g - 61 = -d, -5*g + 2*d + q = 0. Is 8 a factor of g?
False
Suppose -369 = -4*q + q. Is q a multiple of 18?
False
Suppose -749 = -5*q - 2*q. Does 26 divide q?
False
Suppose 4*m = -3*o + 174, 4*m + 135 - 19 = 2*o. Let d = o - 34. Does 12 divide d?
True
Let u be (27/(-15))/((-1)/(-5)). L