ose 198323 = 52*h - 501233. Does 123 divide h?
False
Let q be 6/8 + 629/68. Let t = -10 + q. Is 0 + 0 + (t - (-65 + 1)) a multiple of 4?
True
Let v = -3559 - -7008. Is 44 a factor of v?
False
Let a(h) = 86*h + 2614. Is 29 a factor of a(9)?
False
Suppose l + 4*t - 14803 = 0, -2*t + 50171 + 9083 = 4*l. Is 26 a factor of l?
False
Let f = -7781 - -30505. Is f a multiple of 15?
False
Let r(w) = -5*w**3 - 2*w**2 - 2*w + 2. Let h(f) = 3*f + 7. Let y(b) = b**3 - 13*b**2 - 2*b + 23. Let s be y(13). Let n be h(s). Is r(n) a multiple of 10?
False
Does 12 divide ((5 - 8) + 4)/(53004/(-13252) - -4)?
False
Let j = 2255 + -150. Is j a multiple of 5?
True
Suppose -2*n + 45 = -5*o - 3*n, -3*o - 2*n = 27. Is 2 a factor of -1*(3/(-1) - (-54)/o)?
False
Suppose 3*u - 8 = -2*s + 5390, -5*u - 2*s + 8998 = 0. Does 21 divide u?
False
Suppose 6 + 11 = s + 2*w, 2*w = -3*s + 31. Suppose -4*h = -s*h + 201. Suppose g - 5*x - h = 0, -2*g + 3*x = 2*g - 268. Is 20 a factor of g?
False
Let v be -4*39 + (-27 - -20). Is 22 a factor of ((-156)/4)/13 - 1*v?
False
Suppose -w + 3595 = -3*x, 6*x = 4*w - 0*x - 14410. Is w a multiple of 19?
True
Let q(j) = 40*j**3 + 7*j**3 - 4 - 255*j + 261*j. Is q(2) a multiple of 12?
True
Suppose i - x = -2*x + 3, 0 = -2*i + x + 3. Suppose t - 2 = -2*y - i*t, 4*t = y - 12. Suppose 122 = y*o - 2*n, -o + 36 = n + 10. Is o even?
False
Suppose -51*b + 33*b - 350 = -28*b. Let c be (-4)/(-14) + 38/14. Suppose -2*a - b = -2*z - 5*a, -3*z = c*a - 60. Is z a multiple of 7?
False
Let g = 607 + -1219. Is 21 a factor of -5 + g/(-4) - 1/1?
True
Let h = -29 - -32. Suppose 2*a + 3*n - 9 = 0, -2*a + 5*n + h = 2. Suppose -a*x - 90 = -8*x. Is x a multiple of 18?
True
Let h(x) = 38*x - 63. Let a(t) = -20*t + 39. Let b(m) = 5*a(m) + 3*h(m). Let l be 11*1 - (1 - -1). Is 34 a factor of b(l)?
False
Let k be 1 - -4 - 5 - -4. Is (201*k/18)/((-4)/(-30)) a multiple of 18?
False
Let t = 10 + -6. Let a = 3494 - 3489. Suppose 5*g - a*p = 595, 151 - 20 = g - t*p. Does 5 divide g?
True
Let j(l) = 4*l**2 - 2*l + 16. Let t(v) = -3*v**2 + 2*v - 16. Let f(g) = 4*j(g) + 5*t(g). Let o be f(-5). Does 3 divide (64/56)/(o/(-14))?
False
Let z = 40 + -38. Suppose -z*y - 15 = -7*y. Let l(g) = 3*g**3 - g**2 - 2*g - 3. Is l(y) a multiple of 16?
False
Suppose -4*b = -3 + 7. Let s be b/((-3)/216*-2). Let u = s + 78. Is u a multiple of 6?
True
Let a(j) = -3*j - 2*j + 2*j - j + 7. Let m be (-280)/(-1680) - -37*1/(-6). Is 8 a factor of a(m)?
False
Let g(z) = z**3 - z - 1. Let d(t) = -3*t**3 + 15*t**2 + 34*t - 9. Let l(h) = d(h) + 2*g(h). Does 68 divide l(13)?
False
Let n = 386 + -373. Suppose -3*t - 8*f + n*f = -1458, -f = 3*t - 1458. Is t a multiple of 18?
True
Let p = -227 + 114. Let o = 473 - 304. Let m = p + o. Does 28 divide m?
True
Is (13/(390/(-2352)))/(12/(-210)) a multiple of 49?
True
Suppose -z - 3*z = 8. Let m be z/(-8) + (-1)/4. Suppose i - 2*k - 19 = -2*i, m = -i + 5*k + 28. Does 2 divide i?
False
Let d(k) = 12*k + 79. Let b be d(-7). Let i(m) = 4*m**2 + 16*m + 44. Is i(b) a multiple of 16?
True
Does 135 divide 8753 - (4 - 117/(-9))?
False
Suppose 3*v - b = -9 - 4, 27 = -5*v - b. Let p(i) be the third derivative of -3*i**4/8 - i**3/6 + 2*i**2. Does 21 divide p(v)?
False
Let d(o) = -1834*o + 80. Is d(-20) a multiple of 87?
False
Let d = 26783 + 10561. Is d a multiple of 32?
True
Suppose 0 = 3*v + 2*i - 2179, -4*v + 2*i + 2913 = -3*i. Suppose 132 = -5*x + v. Is 16 a factor of x?
False
Is (25164/(-135) + -12)*(1 - 41) a multiple of 64?
True
Let r(y) = 774*y**3 + y**2 - 10*y + 10. Let j = -744 - -745. Does 31 divide r(j)?
True
Let d(a) = 45*a + 858. Is 12 a factor of d(118)?
True
Let z(p) = -p**3 - 10*p**2 - 12*p - 5. Let a be z(-9). Suppose -19*y - 77 = -a*y - 2*r, -r = -1. Does 5 divide y?
True
Suppose 606*v - 650*v + 1227600 = 0. Is 100 a factor of v?
True
Let z = 1979 - -2646. Is z a multiple of 158?
False
Let o(c) = -5*c**2 + c**2 + 37*c - 13*c - 25 + 12*c**2. Is 7 a factor of o(7)?
False
Let a = 30 - 51. Let i be a/(-9) + -1*(-3)/(-9). Suppose -i*v = -5*k + 43, 5*v = -0*k - 2*k + 23. Is 3 a factor of k?
True
Suppose 2*l - 23 + 15 = 0. Suppose 0*y - 2*y + l*q + 216 = 0, 309 = 3*y - q. Is y a multiple of 20?
False
Let t(u) = -2*u + 417. Is 55 a factor of t(71)?
True
Suppose 5*f = 4*l - 11, -l + 5*l - 18 = -2*f. Is (f*2/(-8))/(34/(-9656)) a multiple of 31?
False
Suppose -7608 = -6*q + 18*q. Let k = q + 972. Does 13 divide k?
True
Suppose -9*f - 18*f = -135. Suppose 0 = 3*m + f*m - 3168. Does 42 divide m?
False
Let x(h) = -h**3 + 70*h**2 + 12*h + 551. Is x(66) a multiple of 49?
True
Suppose 1 = -26*c + 183. Suppose 5*k = 743 + c. Is k a multiple of 47?
False
Suppose -4*y + 292446 = 12*y - 2*y. Does 211 divide y?
True
Let s(w) = 2*w**2 - 4*w - 3. Let t be s(-1). Suppose -4*v + 0*u + 14 = -3*u, t*v = 3*u + 12. Suppose -v*r = c - 7, -3*r + 2 = -r. Is 4 a factor of c?
False
Suppose 62 = 8*v - 10*v + 2*g, 3*g + 99 = -3*v. Let z(t) = -3*t + 129. Does 23 divide z(v)?
False
Suppose 0 = 5*r + s - 9, r - 3*s - s = 6. Suppose -v + 2 = -r*v, 5*v + 2 = -2*a. Suppose 0 = -2*t - 2*t + x + 107, -a*t + 122 = 2*x. Does 14 divide t?
True
Let n(t) = 2006*t**2 + 598*t - 1201. Does 5 divide n(2)?
False
Let y = 3003 - -7748. Does 13 divide y?
True
Let a(x) = x + 4 + 0*x + 1. Let q be a(-14). Let z(o) = -o**2 - 11*o - 3. Is 15 a factor of z(q)?
True
Suppose 229 = 12*a - 263. Suppose 0 = -3*v + v - 8. Let o = a + v. Is o a multiple of 5?
False
Let g be ((-104)/(-39))/(4/6). Is (-8 - -17)*(-39)/(-9) + g a multiple of 2?
False
Let l(q) = 5*q**2 + 282. Is 71 a factor of l(21)?
False
Suppose 5*i + 3*o = -55, 20*i + o = 19*i - 13. Let z(w) = 26*w**2 - 5*w - 73. Is z(i) a multiple of 14?
False
Let s(a) = -14*a - 18. Let r be s(-2). Let p be (8/r - (-2168)/40) + 3. Suppose p*t + 6 = 59*t. Does 3 divide t?
True
Is 6 a factor of (-2 - (2 - (2 - 0)))/(2/(-24))?
True
Let a be (2/4)/((-12)/(-240)). Let g be 3/(-3 + 36/a). Suppose -4*x = -g*x + 72. Does 21 divide x?
False
Let s(o) = o**3 - 18*o**2 + 18*o - 13. Let a be s(17). Suppose -2*j - 306 = a*v - 0*v, 2*v = j - 143. Is (-13 - -11)/(1/v) a multiple of 37?
True
Suppose 91 = -13*o + 6*o. Let w = 2 + o. Does 14 divide -1*w/((-11)/(-14))?
True
Let r = 498 + -248. Suppose -94 = f - r. Is f a multiple of 26?
True
Let d(a) = -2. Let h(w) = -14*w + 6. Let q(z) = 14*z - 5. Let s(f) = -5*h(f) - 6*q(f). Let u(l) = -4*d(l) + 2*s(l). Is 6 a factor of u(-4)?
True
Let q(v) = -164*v**2 + 7*v - 10. Let t be q(2). Let r be (5/(20/t))/(-4)*-4. Let m = -91 - r. Is 4 a factor of m?
True
Let h(b) = -1038*b + 1. Let g be h(2). Suppose -9*p + 13*p = -20*p + 48. Is g/(-30) - p/12 a multiple of 5?
False
Let f = -205 + 196. Is 22 a factor of 47 - (2/f - (-203)/63)?
True
Let w be ((-60)/18)/((-5)/(1770/(-4))). Is 13 a factor of 2/(-14) + w/(-7)?
False
Let b be (-35)/(-3) - ((-56)/(-21) - 3). Is 7 a factor of 70/3*(b/10 + 0)?
True
Let b be (-2)/6*(3 + 0). Let y(f) = 66*f**3 + 15*f**2 + 4*f + 3. Let d(o) = -2*o**3 - 2*o**2 - o - 1. Let z(r) = -7*d(r) - y(r). Does 20 divide z(b)?
False
Let v(o) = -299*o - 13559. Is v(-133) a multiple of 72?
True
Let k(g) = -3*g**2 - 3*g + 1. Let o be k(2). Let l = o - -19. Does 12 divide 2*(216/6)/(3/l)?
True
Let q(u) = -33*u - 24. Let p be q(-18). Let t = p - 386. Is t a multiple of 23?
True
Let h be ((-4)/12)/1*-6. Suppose -13 = -h*l + r, 0 = -2*l + 4*l + 4*r - 8. Suppose 3*p - 121 = -2*s + l*p, 5*s - p = 283. Is 8 a factor of s?
True
Let b = 200 - 198. Suppose 0 = t - 2*l - 88, b*t - 41 = -5*l + 171. Is 16 a factor of t?
True
Suppose 3*s = -2*s + 5*z - 40, -3*z + 14 = -s. Does 34 divide s - (90/(-1) + -3)?
False
Let p(k) = 54*k - 65*k + 11 + k**2 + 0*k**2. Let v be p(8). Let w(d) = -d**2 - 12*d + 28. Does 3 divide w(v)?
True
Is 7 a factor of 7 + ((-379)/((-173)/(-29) - 6) - -5)?
False
Suppose 1711*j - 4 = 1712*j, -4342 = -2*m - j. Does 2 divide m?
False
Let o(r) = -27*r**3 - r**2 - r. Suppose 14 = -3*d + 2*g, 4*g + 3 = -4*d + 11. Let h be o(d). Suppose -38 = -3*v + h. Does 28 divide v?
True
Suppose -24*g - 5*p - 1526 = -25*g, -2*g - 3*p = -3039. Is g a multiple of 40?
False
Let z = -4742 + 7964. Does 10 divide z?
False
Let u = 288 - 770. Let g = 615 + u. Is 13 a factor of g?
False
Let l(s) = s**3 - 5*s**2 + 3*s + 3. Let n be l(4). Let z be 436*(n + (4 - 2)). Su