e
Let i be 8 + -14 - 2*-3. Let s(y) = -11*y + 38. Let b(x) = 16*x - 57. Let g(q) = 5*b(q) + 8*s(q). Does 6 divide g(i)?
False
Let a = -257 - -122. Does 12 divide (-646)/(-9) + (-30)/a?
True
Suppose -8*z + 644028 = 2*z + 31*z. Does 44 divide z?
True
Does 18 divide (-6)/1 - 7236/(-18)?
True
Suppose 15*f - 12*f - 23410 = 2*x, 31220 = 4*f - 4*x. Is 39 a factor of f?
True
Suppose 0*y + 10 = 5*y. Suppose 14*d + 462 = -13*d + 181*d. Suppose y*q = d*q - 181. Does 18 divide q?
False
Suppose -f - s + 6988 = -5*s, -10 = -2*s. Does 16 divide f?
True
Let i(s) = -139*s**3 - 7*s**2 - 9*s + 149. Is 18 a factor of i(-5)?
False
Let r(h) = 48*h - 12. Suppose 0 = -2*y + 3*y - 6. Let f be r(y). Suppose -3*m = -7*m + f. Is m a multiple of 23?
True
Let d = 676 + 238. Suppose 0 = 15*r - d - 3241. Is 26 a factor of r?
False
Is (1208/(-3))/((1452/(-1287))/44) a multiple of 104?
True
Let z(a) = a**3 + 18*a**2 - 20*a - 13. Let h be z(-19). Suppose 5*c = h*c + 6. Is 19 a factor of (c + 4)*-65 + -3?
False
Let x = 563 - 551. Suppose -3*s = -x*s + 12204. Is 32 a factor of s?
False
Let d(c) = -227*c**3 - 170*c**2 + 9*c + 24. Does 12 divide d(-4)?
True
Let l(i) = -836*i**3 + 8*i**2 + 2*i - 28. Is 119 a factor of l(-3)?
True
Suppose 0 = 3*x - 287 - 1024. Suppose 0 = -5*d + x + 93. Does 13 divide d?
False
Let l = -414 - -417. Suppose 0 = -3*d + l*o + 393, 0 = d - 2*o - 27 - 103. Does 37 divide d?
False
Suppose -s - 37313 = -5*g, 187*s - 14921 = -2*g + 186*s. Is 82 a factor of g?
True
Suppose 1503*o - 1506*o + 2*k + 122494 = 0, 3*o = -k + 122497. Is 176 a factor of o?
True
Let l(x) = -1 + 6 + 4*x**2 - 7*x + 4*x**3 + 0*x**3 - 3*x**3. Let i be l(2). Suppose i = -3*u + 5*b + 81, u = -b + 14. Is 17 a factor of u?
True
Let i = -8345 + 9218. Is i a multiple of 4?
False
Let x(z) = -14*z**3 - 3*z**2 - 10*z - 5. Let r(m) = 29*m**3 + 6*m**2 + 22*m + 11. Let c(k) = 2*r(k) + 5*x(k). Suppose 5*w = -7 - 3. Is 32 a factor of c(w)?
False
Let q be 24/(-36)*(-7 + -2). Let l be (2 - 1)*(30/q + 30). Does 16 divide 1404/22 - (3 + l/(-11))?
True
Is (-212 + 1)*6*36/(-27) a multiple of 35?
False
Suppose 29*d - 9152 = 8219. Let h = d - 173. Is h a multiple of 32?
False
Let d = 2375 - 900. Is d a multiple of 7?
False
Suppose 0 = t + 4*z + 6 - 1, 0 = 5*t - 4*z - 23. Suppose 17 = 5*g - t. Suppose -g*v + 532 = 3*v. Is v a multiple of 19?
True
Let g(w) = -9*w - 60. Let x be g(-6). Does 34 divide -4 - (x + (1 - 75))?
False
Let r = 10582 + -4828. Is r a multiple of 14?
True
Let h be (1 - (-1)/(-2))*80/(-2). Is (23/(207/450))/((-1)/h) a multiple of 50?
True
Suppose -10*v - 279 = -7*v. Let x be -3 - (v + 1)/4. Is (-35)/(-3) + x/60 a multiple of 4?
True
Let a(h) = -h**2 + 249*h - 215. Is 21 a factor of a(186)?
False
Suppose -5*i - 5 = -5*b, -3*i + 12 = -0*i + 2*b. Suppose -2*c + 0*c - 12 = -2*m, 8 = -i*c. Is 6 a factor of (15 - 6) + m/2?
False
Let m(q) = q**3 + 29*q**2 + 53*q - 27. Let y be m(-27). Suppose -20 = -y*w - 4*w. Suppose w*g = 73 + 87. Is 16 a factor of g?
True
Suppose 21 = 3*i + 3*l, -2*i = 7*l - 8*l - 14. Let w(j) = -j**3 + 3*j**2 + 35*j + 20. Is 19 a factor of w(i)?
False
Suppose 3 = 4*h + 151. Let s = h + 138. Is 18 a factor of s?
False
Suppose -2*b - 7*p + 4*p + 27 = 0, 0 = 3*b + 3*p - 39. Does 42 divide 126*1*((-80)/b + 9)?
True
Suppose 3*s - 464630 = -94*s. Is s a multiple of 10?
True
Let t be ((-6)/(-12)*-49)/(3/(-282)). Suppose 5*o - t = -d, 255 = o + 2*d - 211. Does 10 divide o?
True
Let g(u) = -u**3 + 9*u**2 - 6*u - 10. Let c be 1*(2 - (-3)/1)*1. Suppose -3*i - 2*r = -r - 23, 0 = -c*i - 2*r + 39. Is 37 a factor of g(i)?
False
Let q be (-16678)/(-2) + 11 - (-3 - -1). Suppose -16*t + 34*t = q. Is t a multiple of 33?
False
Does 108 divide (-8)/(-108) - 554030/(-135)?
True
Suppose 60 = 19*k + k. Suppose -4*j + 1029 = k*c, 3*j - 3*c - 777 = -7*c. Does 51 divide j?
True
Is ((-13371)/(-9))/(407/33 - 12) a multiple of 39?
False
Suppose -5*j - 5*b - 35 = 0, 2*b = 3*j + 4 + 37. Let i = j - -521. Suppose 3*s = -2*l + 2*s + 511, 2*l - i = -2*s. Is l a multiple of 16?
True
Suppose -121*a = -98*a - 23598. Is a a multiple of 16?
False
Let q = 2996 - 1856. Is q a multiple of 4?
True
Suppose 3*f = 2*z + 25, -2*f + 7*f - 10 = -3*z. Suppose 0 = -y - 3, 4*u - f*y + 89 = -44. Let x = -21 - u. Is 16 a factor of x?
True
Let b be (0 + 3/(-2))/(558/(-1860)). Suppose 5*g - 110 = 3*g - 4*r, 4*r = 16. Suppose -g - 28 = -b*q. Is 3 a factor of q?
True
Let g = 446 + -478. Let q(p) = -p**3 - 31*p**2 + 25*p + 10. Is q(g) a multiple of 21?
False
Suppose -3931018 = -170*j + 1952852. Is j a multiple of 139?
True
Suppose 4*p = 4, -5*p = 17*i - 14*i - 4859. Is 3 a factor of i?
False
Does 16 divide (-18939642)/(-2461) - (-2 - (-88)/46)?
True
Let w be (-20)/(-4) + 28/2. Suppose 4*n + y + 4*y - 37 = 0, w = 3*n + 2*y. Suppose 5*d = 4*u - 120 - 194, 0 = n*u - 3*d - 237. Is u a multiple of 4?
False
Let x(b) = 5*b**2 - 86*b + 69. Let f(z) = -z**2 + 17*z - 14. Let m(a) = 11*f(a) + 2*x(a). Is 4 a factor of m(12)?
True
Let t = 1613 - 674. Is 78 a factor of 8/(-16) - t/(-6)?
True
Let o be 7/(-21)*-1149 - 8/(-2). Let v = o - 329. Is 4 a factor of v?
False
Suppose -h + 1383 = 2*i, 2*i = -0*i + 4*h + 1378. Let u = -294 + i. Is u a multiple of 13?
False
Let h = -496 + 501. Is 6/(h*(-7)/(-1365)) a multiple of 18?
True
Is 1*2 - (-6 + -558) a multiple of 21?
False
Suppose 0 = -o, 3*o = r + 2*o - 487. Let i = r - 207. Is 24 a factor of i?
False
Let a(r) be the first derivative of r**3/3 + 8*r**2 - 34*r + 12. Let o be a(-18). Suppose -5*t - 5*l = -450, -t + 0*l + 105 = -o*l. Is t a multiple of 19?
True
Let s(q) = -126*q - 65. Is 23 a factor of s(-5)?
False
Suppose 10*t = -2*g + 13*t + 4552, 4576 = 2*g + 3*t. Is 7 a factor of g?
True
Suppose 49 - 17 = -8*r, -2*x - 4*r + 5296 = 0. Is x a multiple of 12?
False
Let n = -218 + 221. Suppose 4*y - n*o = 632, 0*o = 2*y + 5*o - 342. Is y a multiple of 41?
False
Is 6/((72/(-41124))/(-2)) a multiple of 23?
True
Does 68 divide (34*(-7)/14)/((-14904)/(-7456) - 2)?
True
Let s = 229 - 224. Does 5 divide (-168)/s*(-9 + 4)?
False
Let b(d) = 2*d**2 + 22*d - 43. Let n be b(-19). Let m = n - 222. Does 2 divide m?
False
Suppose 3*z - 4*g + 113 = -0*z, 3*g + 3 = 0. Let a = z - -39. Suppose -4*y = -a*n + 4*n - 164, 0 = y - n - 43. Does 11 divide y?
False
Let w(y) = -6*y**3 + 89*y**2 - 104*y - 191. Let k(i) = i**3 - 18*i**2 + 21*i + 38. Let g(u) = -11*k(u) - 2*w(u). Is 3 a factor of g(-21)?
True
Suppose -3*o + 303 + 864 = 2*q, -5*o + 1929 = -2*q. Suppose -3*f + o = 1851. Is 7 a factor of (f/(-16))/(2/4)?
False
Let d(i) = -i**3 + 7*i**2 - 12*i + 30. Let p be d(6). Is 2 a factor of (1 + 57/(-9))*p?
True
Let y(k) = -134*k - 2555. Is y(-85) a multiple of 34?
False
Suppose -13*m + 455 = -0*m. Let t = 60 + m. Is 19 a factor of t?
True
Suppose 4*o + 2*r - 4 = -0, -o - 4*r = -1. Let c = 172 - o. Suppose -2*t = -c - 37. Is 52 a factor of t?
True
Suppose 0 = -2*u - s + 658, u - 670 = -u - 4*s. Suppose 2*r - 221 = i, -5*r + 2*r - 3*i + u = 0. Let f = r - 63. Does 4 divide f?
False
Suppose 5*r - 43 = 2*r - n, -r + 4*n + 23 = 0. Let p = -12 + r. Is 12 a factor of 0/p + 57/1?
False
Let b(j) = j**2 - 12*j - 11. Let a be b(13). Suppose 2*v - 2649 = -3*x, 7*v + 5258 = 11*v - a*x. Is 56 a factor of v?
False
Let c be -6 + 1 + (36 - 32). Let x(v) = -33*v - 3. Let o(w) = 67*w + 6. Let b(u) = -6*o(u) - 11*x(u). Is 16 a factor of b(c)?
False
Suppose 2*f = 2*o - 5*o + 5, -3*f = -3*o + 30. Suppose -4*a = -8, o*h - 3*a + a - 471 = 0. Suppose -17*c + 16*c + h = 0. Does 19 divide c?
True
Suppose -10 = 42*h - 44*h. Suppose 0 = d + 5*i - 130, -179 = -5*d + h*i + 621. Suppose 6*v = v + d. Is 6 a factor of v?
False
Let j be 12/(-16) - (2 - 900/(-16)). Let n be (-8)/18 - j/(-9). Is 9 a factor of (1/3)/(n/(-777))?
False
Let l(s) = 102*s**2 + 3*s + 12. Is 21 a factor of l(3)?
False
Let c = 34433 + -19808. Is 39 a factor of c?
True
Let c(l) = -l**2 + 57*l - 309. Let a be c(6). Let k(f) = 0 + 0*f - 3*f - 14*f + 5. Does 28 divide k(a)?
True
Let c(k) = -11*k**2 - 19*k - 2. Let l(o) = -35*o**2 - 57*o - 6. Let m(n) = 8*c(n) - 3*l(n). Does 88 divide m(6)?
False
Let c = -4746 + 13416. Suppose -13*o - 2*o + c = 0. Is o a multiple of 11?
False
Let q be (-16)/20*-10 - (-4 - 0). Let m = 227 + q. Does 13 divide m?
False
Suppose 6*j + 20 + 274 = 0. Is 39 a factor of