= -4*r - t. Is r a multiple of 18?
True
Suppose -k + 2162 = 6*n - 3*n, -5*n - 21725 = -10*k. Is k a multiple of 37?
False
Let b(t) = t**3 + 3*t**2 + 2*t - 6. Let p(r) = r**3 - 18*r**2 - 18*r - 16. Let g be p(19). Is 27 a factor of b(g)?
True
Let a(n) = n**3 + 5*n**2 - n - 2. Let q be a(-5). Suppose q*b - b - 240 = 0. Is b a multiple of 40?
True
Let l(o) = -o**2 + 11*o - 6. Let n be l(10). Is 2 a factor of (-11)/(-44) + 59/n?
False
Let q = -1590 - -3388. Does 15 divide q?
False
Suppose 691 = 5*i + 3*x, -i + 155 = -0*i - 5*x. Is 10 a factor of 6/(704/i - 5)?
True
Let j be 4 + (178 - (0 - -1)). Is (-2 - j)*2/(-3) a multiple of 17?
False
Let m(i) = i**2 - 6*i. Let z(q) = -1. Let r(d) = -m(d) + 5*z(d). Let u be r(5). Let l(c) = -c**3 + c**2 + c + 5. Is 4 a factor of l(u)?
False
Suppose -5*l = -3*q - 649, 3*q = l - 3*l + 247. Does 7 divide l?
False
Let p = -59 + 44. Does 17 divide (-2610)/(-25) + -2 + 6/p?
True
Suppose -y - s - 4*s = 4, 0 = -3*y - 4*s + 10. Let x(d) = -d**2 + 8*d - 10. Let w be x(6). Suppose -64 = w*c - y*c. Does 9 divide c?
False
Let w(n) = -n**3 + 14*n**2 - 13*n + 6. Let f be w(13). Let i be (f/4)/(3/2). Is ((-60)/35)/(i/(-14)) a multiple of 24?
True
Suppose k + 366 = 5*a, -2*k - 14 - 61 = -a. Does 8 divide a?
False
Let r be (-8 - -6) + 6/(-2). Let g(s) = -2*s - 6. Let v be g(r). Let q(c) = 2*c**2 + 7*c - 8. Does 13 divide q(v)?
True
Let j(k) = 2*k**2 + 19*k + 25. Suppose -i = -3 + 13. Does 5 divide j(i)?
True
Does 35 divide (92/24)/((-7)/(-14))*105?
True
Let p(j) = -3*j**2 - 24. Let t(n) = 4*n**2 + 23. Let s(y) = -5*p(y) - 4*t(y). Is 9 a factor of s(0)?
False
Let f(w) = 2*w**2 + 101*w - 444. Is f(-57) a multiple of 33?
True
Is 8 a factor of 6 + -1 - (-62 + -10 + 4)?
False
Let n = 122 + -126. Let h(m) = -44*m. Let p be h(-1). Let s = p - n. Does 14 divide s?
False
Let h(r) = -r**3 - 13*r**2 - 12*r + 16. Let a(c) = -20*c. Let z be a(1). Let t = z + 8. Is h(t) a multiple of 4?
True
Let h = 7 + -7. Let b(z) = z**2 - 6*z + 10. Let x be b(6). Let c = x + h. Is c a multiple of 4?
False
Suppose 7*h - 6019 = -818. Is 10 a factor of h?
False
Let f(a) = -a**3 + 15*a**2 - 13*a - 5. Let l be f(14). Let z(d) = -d**3 + 9*d**2 + 5*d + 17. Does 10 divide z(l)?
False
Suppose -j = 22*r - 18*r - 766, 5*j + 3*r = 3847. Does 22 divide j?
True
Let v(u) = -222*u + 1193. Does 6 divide v(5)?
False
Let n = -30 - -33. Let f(l) = 7*l**3 - l**2 - 3*l - 3. Let u be f(n). Suppose 6*b = 9*b - u. Does 14 divide b?
True
Let a(r) = 11*r**2 + 2*r + 3*r**2 - 11 - 13*r**2. Let f be a(-5). Suppose 0 = -f*n + 30 + 6. Is n a multiple of 9?
True
Is 36 a factor of (-2 + -2)*(-21889)/236?
False
Let y be (2/(-5))/((-2)/(-50)). Let f(t) = 7*t + 3*t + 7*t - 22*t. Is 20 a factor of f(y)?
False
Suppose 18*j = 17*j - 48. Is 43 a factor of (-2)/(-16) + (-9114)/j?
False
Let r(x) = 2*x + 20. Let v be r(-7). Suppose -v*s = -5*s - 29. Is 18 a factor of s?
False
Suppose -3*l = 2*i - l - 30, -5*l + 53 = 3*i. Suppose 3*n = 3*x - 15, x + i = 5*x - n. Is 5 a factor of x/(-5) + 107/5?
False
Let x(t) = -t**2 + 0*t + 6*t - 3 + 6. Let a = 18 - 15. Does 6 divide x(a)?
True
Let f = -102 + 90. Suppose -4*n - 20 = 3*j, 5*n = -2*j + 4*j - 25. Let w = j - f. Is 10 a factor of w?
False
Suppose -g - 2023 = -0*m + 2*m, -4*m + g - 4061 = 0. Does 16 divide m/(-9) + (-4)/(-12)?
False
Let g(i) = -i**2 - 82. Let a be g(0). Let y = a + 166. Is 42 a factor of y?
True
Let l = -416 - -624. Is 16 a factor of l*(5 + 0 - 4)?
True
Let l(x) = 4*x + 300. Let u be l(0). Suppose -5*j - u = -11*j. Is j a multiple of 50?
True
Suppose 0*x = -x - 5, -5*q + x = -65. Does 10 divide (-2436)/(-24)*q/7?
False
Is 116/29 + 0 + 6 a multiple of 5?
True
Suppose -d + 1445 = 4*h, -2*h + 4*d = -655 - 63. Suppose g + b = 236, -b + h = 4*g - 592. Is g a multiple of 34?
False
Let d = -34 + 38. Suppose d*w + 25 + 306 = 5*x, -4*x + 4*w = -268. Is 9 a factor of x?
True
Suppose -4*o + 3 + 77 = 0. Let w be (-1 - -7) + (-4 - (-2 - 2)). Does 30 divide o/w*(-33)/(-2)?
False
Let c be 3/(-2 - 236/(-112)). Does 34 divide 4832/14 + (1 - 32/c)?
False
Let o = -104 - -157. Suppose 2*m - o = 139. Does 24 divide m?
True
Let u(i) = 14*i**2 - 4*i - 4*i + 4*i - 6 + 3*i. Is 28 a factor of u(-3)?
False
Suppose -5*z - 595 = -0*z - 2*t, -3*z = -3*t + 348. Let j = 177 + z. Is 8 a factor of j?
True
Let z = -25 + 22. Is 1 - (4 + z)*-47 a multiple of 12?
True
Suppose 0 = n + 3*n + 1740. Is 29 a factor of (16/(-10))/(6/n)?
True
Let o = -2275 - -2741. Is 17 a factor of o?
False
Suppose -621 = -2*p + 1371. Does 46 divide p?
False
Suppose 5*b + 69 = o - 81, o - 4*b - 152 = 0. Let q = 212 - o. Is q a multiple of 26?
True
Let j = 552 - 386. Is j a multiple of 22?
False
Let f be 130/6 + 8/24. Suppose 0 = -5*v + f + 58. Is 11 a factor of 47 + 4/(v/(-12))?
True
Let m = -260 - -350. Is 19 a factor of m?
False
Let r(h) = -4*h**2 + 25*h. Let j(d) = -7*d**2 + 49*d. Let l(u) = 3*j(u) - 5*r(u). Is l(16) a multiple of 16?
True
Suppose 4*b = -7 + 167. Suppose -5*m - v + 64 = 0, 2*m - 5*m = -v - b. Let x = m + 46. Is 19 a factor of x?
False
Let v(k) = -373*k - 344. Is v(-6) a multiple of 30?
False
Suppose -11 = 21*i - 200. Suppose p = 4*z - 123, -3*z - p = 17 - 111. Suppose -i = -q + z. Is q a multiple of 10?
True
Let n = 4158 + -1038. Does 24 divide n?
True
Let i(b) = 38*b - 33. Does 16 divide i(4)?
False
Suppose -x - 2 = 2, 0 = 3*c - 5*x - 113. Let y = 45 + c. Is y a multiple of 13?
False
Suppose 12*w - 1763 - 15193 = 0. Does 19 divide w?
False
Suppose -3*n - 4 - 14 = 0. Let d(t) = t**2 + 3*t - 4. Is d(n) a multiple of 14?
True
Let v = 468 - 343. Is v even?
False
Let x(n) = 574*n**2 - 468*n**2 + 4 - 4 - n. Is 37 a factor of x(-1)?
False
Is (((-2961)/12)/7)/(5/(-60)) a multiple of 33?
False
Let k(r) = r**3 + 13*r**2 - 8*r - 7. Is 11 a factor of k(-10)?
False
Suppose 3 = 5*o - 7. Suppose -5*u - 116 = -o*y - 2*u, -u + 58 = y. Suppose l + 25 = -3*f + y, -l - 2*f = -32. Does 10 divide l?
True
Suppose -4*y = -7*y + 3*u - 1224, -819 = 2*y - 5*u. Let i = -281 - y. Is i a multiple of 14?
True
Let q be -9 + (0/(-6) - -3). Let g(r) = r**3 + r**2 + r - 3. Let s be g(4). Does 17 divide 32/(-24)*s/q?
False
Let y(w) = 20*w**2 - 52*w - 31. Is y(8) a multiple of 49?
True
Let u(c) = c**3 - 15*c**2 + 16*c + 4. Let j be u(14). Let b be (1 + 1)*(-16)/j. Is 19 a factor of -3 - (-24 - (b + -1))?
True
Let g = 16 - 14. Suppose -104 - 98 = -g*a. Let v = a - 56. Is v a multiple of 9?
True
Let q = 99 - 157. Let i = q + 194. Is 17 a factor of i?
True
Let l(n) = n**2 + 7*n + 6. Let m be l(-7). Suppose 5*b - m = 2*b. Suppose b*q = 4*x + 5*q - 247, -15 = 5*q. Is x a multiple of 11?
False
Let y(p) = 25*p - 11*p**2 + 12*p**2 + 3 - 7 + 2*p. Let d be y(-16). Does 16 divide (4/(-10))/(2/d)?
False
Suppose -i + 2450 = -n, 10*n - 5*n = 4*i - 9802. Does 36 divide i?
True
Let j(r) = 8*r**2 - 12*r - 140. Does 42 divide j(-7)?
True
Let y be (-2*(-25)/20)/(2/4). Let t(w) = 6*w**2 - 15*w - 3. Does 21 divide t(y)?
False
Let w = 3 - -14. Suppose -145 = -2*x + w. Is x a multiple of 27?
True
Let k = 1853 - 1742. Is 3 a factor of k?
True
Let r = -1 + -32. Let g = r - -50. Does 17 divide g?
True
Let t = 386 + -904. Let c = -266 - t. Is 11 a factor of c?
False
Suppose 4*p - 4*k + 28 = 0, 2*k = 5*p + 7*k - 15. Let i(f) = -11*f**3 - f**2. Is i(p) a multiple of 42?
True
Let u = -32 + 842. Does 18 divide u?
True
Let f(p) = -135*p**3 - p**2 + 3*p + 3. Is 28 a factor of f(-1)?
False
Suppose 5*m = -2*h - h + 15, 4 = -m - 2*h. Is 2 a factor of (4 - 35/15)*m*1?
True
Suppose 0 = 6*y - 930 - 666. Does 38 divide y?
True
Suppose 12*u - 48 = 8*u. Suppose 0 = u*d - 15*d + 36. Is 2 a factor of d?
True
Let l = 0 - -20. Suppose -5*s = -l - 5, -25 = -d - 4*s. Suppose 4*h - 2*t - 30 - 100 = 0, -3*h + d*t = -115. Is 10 a factor of h?
True
Suppose 3*s - 1 = 2*s - l, -2 = 5*s - 2*l. Suppose -r + 3*r + 5*w = -7, s = -4*r + 3*w + 51. Is r a multiple of 9?
True
Let q = 739 + -123. Is 44 a factor of q?
True
Let p be 2/10 + 1*(-11364)/20. Let u = -399 - p. Is 19 a factor of u?
False
Let c(b) = 76*b + 78. Does 29 divide c(2)?
False
Suppose -9*d = -10*d - 4. Is 13 a factor of -2*(d/(-18) - (-15785)/(-198))?
False
Suppose -2*l + 2*k - k = -739, -3*k + 15 = 0. Is l a multiple of 22?
False
Let p = -33 - -7. Let b = 13 + p. Let k = b + 19. Does 4 divide k?
False