et u = n - -43. Is u a multiple of 14?
True
Suppose -1004 = 13*f - 19633. Is 16 a factor of f?
False
Suppose 4*r - 596 = -2*a, 24*a - 1485 = 19*a - 5*r. Is 5 a factor of a?
False
Suppose -2*s + 46 = 3*j, -26 = s - 28. Is j even?
True
Suppose -22*j + 1469 = -1303. Does 14 divide j?
True
Let q(a) = -3*a**3 - 19*a**2 + 17*a + 11. Let l(r) = -r**3 - 6*r**2 + 6*r + 4. Let v = -9 - -7. Let j(n) = v*q(n) + 7*l(n). Does 15 divide j(-6)?
True
Let q(j) = 59*j + 50. Is q(6) a multiple of 22?
False
Let v(x) = x**3 - 5*x**2 + x - 4. Let m be v(5). Is (18/45)/(m/215) a multiple of 14?
False
Suppose -4*m = 5*s - 33, -5*s = -3*m - 0*m + 51. Suppose -2*z + z + 6 = t, z = -3*t + 22. Suppose 320 = m*c - t*c. Is 40 a factor of c?
True
Let s = -15 - -17. Is 772/16 + 3/(-24)*s a multiple of 20?
False
Let o(z) = 8*z + 11. Let l be o(-9). Let u = 85 + l. Is u a multiple of 16?
False
Let v be (-20 + 3)*(0/(-2) - 3). Let b = v - -47. Is b a multiple of 14?
True
Suppose 3*i + 2 = 4*i. Suppose -3*y + 45 = 4*c, i*c + 28 = y - c. Is y a multiple of 7?
False
Let i(k) = -k**3 + 9*k**2 + 4*k - 12. Let v(c) = 2*c**3 - 3*c**2 + 3*c - 1. Suppose 0 = 4*a - 2*y, 3 = -2*a - 3*y + 19. Let o be v(a). Is 9 a factor of i(o)?
False
Let a = 23 - 41. Let u be 93/a + (-2)/(-12). Let z(v) = v**2 - 3*v - 7. Does 12 divide z(u)?
False
Let b = 49 - 59. Let v(w) = -9*w - 20. Is v(b) a multiple of 14?
True
Let w(f) = 9*f + 3. Let z be w(1). Let r(u) = 5*u - 2. Let q be r(4). Let n = q - z. Is 4 a factor of n?
False
Does 30 divide 146 - -1208 - (-2)/(-2)*-2?
False
Is 2 a factor of (-374556)/(-784) - (-3)/(-4)?
False
Does 15 divide (66/42 - 1) + 6926/7?
True
Suppose 3*y - 6 - 42 = 0. Let j be 4/3*24/y. Suppose -5*z - 155 = -3*i - 6*z, -3*i + j*z + 140 = 0. Is i a multiple of 26?
False
Suppose 23*a + 5*a - 13496 = 0. Is a a multiple of 4?
False
Let p be -2 - (-4 + 4 + -32). Suppose -11*h + p = -9*h. Is h a multiple of 4?
False
Let g be (-2)/((-9)/(-7) - 12/42). Is 11 a factor of ((-318)/(-8) - 4) + g/(-8)?
False
Let t(g) = -2*g**3 + 25*g**2 + 13*g + 2. Let h be t(13). Suppose h*s + 100 = 3*m, 55 = 3*m - m + s. Is m a multiple of 15?
True
Suppose 18*o - 95 - 1165 = 0. Does 14 divide o?
True
Suppose -6*l = -9070 - 5006. Is 102 a factor of l?
True
Let u = 32 + -32. Suppose u*l - 3*l = 9, 2*h - 4*l - 8 = 0. Let q = 18 + h. Is 6 a factor of q?
False
Is (-10971)/(-92) - ((-1)/(-4) - 0) a multiple of 4?
False
Let t(g) = -52*g + 284. Is 61 a factor of t(-18)?
True
Let g = -15 + 205. Does 8 divide g?
False
Suppose 24*j + 2631 = 10695. Does 3 divide j?
True
Let l(v) = -v**3 - 16*v**2 - 45*v + 51. Is l(-14) a multiple of 13?
False
Let k be 1/2 - (-18)/12. Suppose 0 = -k*n - 2*n + 108. Is 15 a factor of n?
False
Let j = 1340 + -731. Is j a multiple of 22?
False
Let g be 24/(-132) - (-2)/11. Suppose -z - 1 = g, -3*s + 3*z + 63 = -s. Is 5 a factor of s?
True
Suppose -2*z = 4*s - 84, 0*z - 112 = -4*s + 5*z. Is s a multiple of 5?
False
Let y(d) = -24*d - 7 - 3 + 19*d + 4*d**2. Let l be y(-3). Let m = 62 - l. Does 8 divide m?
False
Suppose -1887 = -5*f - 4*y, 2*f - 744 = -0*f + 2*y. Suppose -9*z - f = -14*z. Is 25 a factor of z?
True
Suppose v + 23 = m + 64, 3*v - 5*m - 127 = 0. Let c = v - 17. Is 22 a factor of c?
True
Let v = 8 - 3. Let p(f) = 5*f**2 - 2*f + 10*f**2 + v*f + 7 + 3*f. Is p(-3) a multiple of 31?
True
Is 10 a factor of 12/(-10)*5 - -52?
False
Let h(w) = -w**3 + 6*w**2 + 4*w + 4. Let u be h(-5). Suppose 156 + u = 5*j. Let y = 154 - j. Does 25 divide y?
False
Suppose -2*r + 68 = 3*k, -2*k + 96 = 3*r + k. Let c = -14 + r. Does 4 divide c?
False
Suppose 0 = -5*p + m + 3*m + 204, p - 2*m - 36 = 0. Let z = p + -39. Is z a multiple of 2?
False
Suppose b - 7*b = -3174. Does 24 divide b?
False
Does 68 divide (28/(-56))/(1 - (-20403)/(-20400))?
True
Let p = 597 + -107. Is 10 a factor of p?
True
Does 104 divide 4580/2 - 4*2/4?
True
Is 80/12*(-936)/(-30)*5 a multiple of 20?
True
Suppose 0 = 3*w - 34 - 11. Let d be ((-264)/(-15))/(3/w). Suppose 3*j - j = d. Is 13 a factor of j?
False
Suppose s - 17 = a, 2*s + 5*a - 35 = -3*s. Suppose -3*g + 502 = 5*o, -o = 2*o + s. Does 29 divide g?
True
Let h(i) = 3*i**2 - 21*i + 4. Let o be h(7). Suppose -d = o*d - 40. Is 4 a factor of d?
True
Let z(g) = -7*g + 46. Is z(-12) a multiple of 25?
False
Let l be (2 + 0)*(-12)/8. Does 9 divide (-2 - ((-22)/(-4) + l))*-12?
True
Let k = -2446 + 3848. Does 17 divide k?
False
Let g(z) = 806*z - 24. Is g(1) a multiple of 17?
True
Does 33 divide (8 - 6)/(5 + (-35465)/7095)?
True
Let m = 14 - 18. Does 3 divide (3/m)/(1/(-20))?
True
Is 4 a factor of (29 + -14)*(-192)/(-5)?
True
Suppose 518*c - 522*c + 6180 = 0. Is c a multiple of 55?
False
Let p = -156 - -231. Suppose 2*k + p = 5*k. Is k a multiple of 5?
True
Let c(u) = -4*u**3 - 3*u - 1. Let a be 14/35*(-5)/1. Let l be c(a). Let j = l - 11. Does 11 divide j?
False
Is 21 a factor of (-6)/((-8)/52 - (-58)/546)?
True
Let c = 22 + -26. Is 9 a factor of 216/6 + (-16)/c?
False
Let m(o) = -25*o**3 - 2*o**2 - o - 1. Let d(h) = -h**3 - h**2. Let w(u) = -3*d(u) + m(u). Does 12 divide w(-1)?
False
Let t(g) = g**2 - 6*g - 2. Let j(q) = 4*q**2 - 17*q - 7. Let y(d) = 2*j(d) - 7*t(d). Let p be y(-8). Suppose p = -6*v + v + 220. Does 28 divide v?
False
Let y = -141 - -1173. Is 12 a factor of y?
True
Let u(d) = 2*d**2 - 23*d - 28. Let v(j) = -3*j**2 + 47*j + 56. Let w(g) = -5*u(g) - 3*v(g). Is w(-24) a multiple of 2?
True
Suppose 11*w + 514 - 5882 = 0. Is 59 a factor of w?
False
Let r be (2 - 1) + (7 - 3). Suppose 170 = 5*i - 2*n, 5*i + 0*i + r*n = 135. Is i a multiple of 4?
True
Let g(l) = l**2. Let y be g(-2). Let u(r) = -r**3 + 4*r**2 + 4*r - 5. Does 2 divide u(y)?
False
Let x be -2*((-5)/2)/1. Suppose -3 = -4*p - 3*q + 12, x*p + 15 = 3*q. Suppose p*n = -4*n + 436. Is n a multiple of 28?
False
Let m(d) = 6*d**2 - 2*d + 4. Let p be m(3). Let v be 0 + 0 + p/4. Let u = 2 + v. Is 13 a factor of u?
False
Let i(m) = 7*m. Let b be i(2). Let h(y) = -y**2 + 20*y - 21. Does 8 divide h(b)?
False
Let q(g) = -19*g - 27*g**2 + 24*g**2 - g + g**3 + 4 + 4. Is q(8) a multiple of 24?
True
Let u(o) = o**3 + 21*o**2 - 30*o - 44. Is u(-22) a multiple of 11?
True
Let i(m) = -2*m - 9. Let k be i(-3). Let f = 13 + k. Suppose 6*g - f - 62 = 0. Does 12 divide g?
True
Suppose 392 - 2382 = -5*a. Is a a multiple of 15?
False
Suppose -22 + 8 = 2*j. Is j*42/(-24)*12 a multiple of 30?
False
Let q(w) = 9*w**2 - 3*w + 16. Is q(-4) a multiple of 52?
False
Let v be 4 + 980/(-3 + 7). Suppose -c - 2*q = -3*c + 112, -q + v = 4*c. Is 8 a factor of c?
False
Suppose 4*b = b + 54. Suppose 0 = 3*q + 9, -2*x - q = -15 - b. Is 18 a factor of x?
True
Suppose -16 = -j - a - 2*a, -j = 4*a - 18. Suppose -4*v - 18 = -j*v. Let w(p) = p**2 + p. Is 12 a factor of w(v)?
True
Suppose -3*g - 3*j = -24, -8 = 2*g - 6*j + 2*j. Suppose 430 = -6*o + 8*o + g*a, -o = -5*a - 180. Does 41 divide o?
True
Let d(p) = p**3 + 8*p**2 + 6*p - 8. Let r be d(-7). Is 24 a factor of ((-8)/8)/(r/96)?
True
Let c = -1165 + 2473. Does 6 divide c?
True
Let v = 1510 + -1264. Does 123 divide v?
True
Let o = -7 + 26. Suppose -3*j - o = -d, 0*j = -5*j - 25. Suppose -30 = 2*m - d*m. Is 3 a factor of m?
True
Let s(g) = g**3 - 6*g**2 + 3. Let x be s(-6). Let t = 298 + x. Let a = -58 - t. Is a a multiple of 26?
False
Suppose -25*g + 24*g = 1. Let w = 15 + g. Is 3 a factor of w?
False
Suppose -3*l = b - 55, -b + 3*l + 329 = 4*b. Suppose -17*k + b = -13*k. Does 8 divide k?
True
Let w be (-1)/3*-3 + 9. Let b(k) = k**3 - 9*k**2 - 10*k + 4. Let y be b(w). Suppose 0 = y*r - 55 - 73. Is 8 a factor of r?
True
Let r be ((-6)/(-4))/(3/(-16)). Does 11 divide (666/15)/(r/(-20))?
False
Suppose b - 2*n = -4*n - 11, 4*n - 4 = 0. Let p(l) = l**3 + 14*l**2 - 4*l - 29. Is 32 a factor of p(b)?
True
Suppose 8*h - 7254 = -31*h. Does 13 divide h?
False
Let x(d) = -d**2 - 16*d - 14. Let y be x(-14). Suppose 0*v = v - 3*g + y, 0 = v + 5*g - 18. Let z(n) = 12*n**2 + 4*n + 1. Is z(v) a multiple of 23?
False
Does 10 divide (-125528)/(-102) + (-33)/9?
False
Let g be 5001/(-27) - 2/(-9). Let p = g + 320. Suppose 465 + p = 5*a - 4*v, 5*v + 471 = 4*a. Does 37 divide a?
False
Let b = -136 - -264. Suppose 0*m - b = 4*m. Let x = -11 - m. Does 6 divide x?
False
Suppose 4*a + 3*m - 104 = 0, -5*m + 94 = 4*a - 10. Is a even?