 g be 35 + (2 - 2)/1. Suppose 0 = -o, -6*x + x + g = o. Suppose 313 = x*u - 3*u + 5*n, -5*u + n = -355. Is u a multiple of 8?
True
Let w = -51 - -55. Let s be (-15795)/63 - w/14. Let b = -115 - s. Does 34 divide b?
True
Let r(n) = -3*n**2 + 5*n - 6. Let i(f) = -4*f**2 + 4*f - 7. Let v(z) = 4*i(z) - 5*r(z). Let y be v(-8). Is 1146/10 + 4/y a multiple of 23?
True
Suppose 0*v = 28*v - 420. Is (-14)/(-10)*v*(-7)/(-21) even?
False
Let x be ((-3)/6)/(2 - 572/288). Let l = 500 + x. Is 8 a factor of l?
True
Suppose -3*c + r + 9 = -19, -4*c - 2*r = -34. Let q(v) = 10*v**2 - 6*v + 20. Let o be q(-5). Is 12 a factor of 3/(-9) + 3 + o/c?
True
Suppose 3*g + 0*p + 1 = -p, 2*g = 5*p + 5. Suppose 0 = -615*h + 623*h - 656. Suppose g = l + l - h. Is l a multiple of 20?
False
Let s = 11004 + -10312. Does 4 divide s?
True
Is (-7 + 11022/42)*56/12 a multiple of 61?
False
Let j(a) = 24*a - 70. Let s be j(3). Suppose 281 = 3*x - s*n, -5 = 5*n + 15. Does 11 divide x?
False
Suppose 2*t = -5*x - 20, 2*x + 0*t - 5*t = -8. Is 35 a factor of ((-15)/(-10)*-556)/(-6 - x)?
False
Let g be (-90)/(-11) - (5 + 371/(-77)). Let m(f) = f + 13. Let i be m(g). Suppose -n + 2 = -1, n = 3*b - i. Is 3 a factor of b?
False
Let a(d) = -1812*d - 141. Let t(v) = -259*v - 21. Let q(s) = -4*a(s) + 27*t(s). Is 9 a factor of q(4)?
True
Suppose 15*m = -5*q + 17*m + 189832, 0 = -5*q + 5*m + 189805. Is 10 a factor of q?
True
Let y(w) = -90 + 80 - 235*w - 90. Is y(-4) a multiple of 30?
True
Let p(o) = o**2 - 395 + 2*o**2 + 396. Is 10 a factor of p(-3)?
False
Suppose -8*n - 2544 = -13*n + g, 0 = -5*n - 3*g + 2548. Suppose n = 5*y + h, 4*y + 2*h - 157 = 255. Is 30 a factor of y?
False
Suppose 103*v = -122*v + 1248750. Is v a multiple of 37?
True
Suppose 0 = -5*o - h + 9, -19*o = -16*o - 3*h - 9. Suppose 2*k = -4*s - o*k + 2748, s + 5*k - 699 = 0. Is s a multiple of 19?
True
Let z(d) = 50*d + 15. Let q be z(-8). Let i = -176 + q. Is 2/7 + (i/(-21) - 0) a multiple of 4?
False
Let s(p) = -1543 + 4*p**2 - 3*p**2 - 2*p + 1609 + p**2. Is 9 a factor of s(15)?
True
Let s = -59862 + 98463. Is s a multiple of 14?
False
Let x(d) = 6*d + 55. Let a be x(-8). Suppose 162 = a*h - 1504. Does 9 divide h?
False
Let b(a) = 19*a**2 + 13*a + 59. Suppose 0 = -190*o + 186*o - 28. Does 11 divide b(o)?
False
Suppose 0 = 181*a + 171*a - 1425285 - 2188347. Does 56 divide a?
False
Suppose -3*l + 133 = -5*j, 30*l - 44 = 29*l + 2*j. Suppose 16980 + 15818 = l*x. Is x a multiple of 23?
True
Let n be 6/5*90/27. Suppose 13*d + 1685 = 18*d + n*u, 0 = -d - 2*u + 331. Is 11 a factor of d?
True
Suppose g = -32 + 147. Suppose -109 = -4*s - w, -4*s + 3*w + g = s. Let n = s - 6. Is 15 a factor of n?
False
Let c = 4283 + 5239. Does 23 divide c?
True
Let q = 56 + -51. Suppose 0 = -q*x + 836 - 56. Suppose 3*j - i = x, -j + 52 = -2*i - 0*i. Is 21 a factor of j?
False
Let f be -1*((-6)/(-3) - 6). Suppose -3*c - 10 = -16. Suppose 0 = -j + f*h + 20 - c, -15 = -3*h. Does 7 divide j?
False
Let i(s) = s**3 - 59*s**2 + 45*s - 2616. Is i(59) a multiple of 3?
True
Suppose 2*u - 5*q + 22 - 2 = 0, 0 = 2*q - 8. Suppose -8*a + 6*a = -2*y + 674, 4*y + a - 1343 = 0. Suppose -y = -4*o - u*o. Is o a multiple of 27?
False
Suppose -12 = 4*p - 3*j - 1, 0 = -p - 2*j. Let s(y) = -51*y + 11. Let q(h) = 128*h - 28. Let k(l) = -5*q(l) - 12*s(l). Is 32 a factor of k(p)?
True
Let i(q) be the first derivative of q**4/4 - 2*q**3/3 + 23*q**2/2 - 4*q - 136. Does 27 divide i(10)?
True
Let u = -21041 - -34826. Is 231 a factor of u?
False
Is ((-3444)/112)/(2/(4128/(-9))) a multiple of 172?
True
Suppose m - 77 = -m - r, 0 = -4*m + 5*r + 119. Suppose m*a = 30*a + 270. Is a a multiple of 3?
True
Let u(p) = 3846*p + 5840. Is 208 a factor of u(8)?
True
Let a = -93 - -105. Suppose 522 + 282 = a*c. Suppose c + 113 = 3*t + h, -5*t + 3*h = -300. Is 10 a factor of t?
True
Suppose 0 = -158*n - 175*n - 1366184 + 6033512. Does 64 divide n?
True
Suppose -182 + 10397 = 5*r. Is r a multiple of 12?
False
Let y(r) = 66*r + 31. Let x(w) = 13*w + 6. Let u(z) = 11*x(z) - 2*y(z). Suppose -2*b - 4*p = -16, 278 - 286 = -2*b + 4*p. Is u(b) a multiple of 11?
False
Let j(x) = -4*x + 9. Suppose m - 40 = -2*g - 65, 3*m + 5 = -g. Does 5 divide j(g)?
True
Let t be 60 + -60 + (-1 - -1700). Let v = t + -976. Is 36 a factor of v?
False
Suppose 5*x = d + 74, 4*x + 0*x - 5*d = 76. Suppose -8*g + x*g - 4836 = 0. Is g a multiple of 16?
False
Let h = -2873 + 13177. Is 16 a factor of h?
True
Let k(v) = 2*v**3 - 15*v**2 + 3*v + 30. Let u be k(7). Suppose -s - 264 = -5*j + 694, -u*j + 386 = s. Is j a multiple of 48?
True
Let m = 153 + -148. Suppose -3*x - 5*u + 573 = -9*u, -m*u = -5*x + 950. Is 11 a factor of x?
True
Is (-11)/99 + 247233/189 a multiple of 7?
False
Let v(u) = 4*u**2 - 6. Let l be v(2). Suppose -270 = -5*a - 4*i + 315, 2*i = l. Is 4 a factor of a?
False
Let s = 1867 - 1317. Suppose 9*h = -2*h + s. Does 10 divide h?
True
Suppose -54*b + 752 = -58*b. Let g = b - -206. Is g a multiple of 9?
True
Suppose -13*n = g - 469330 + 74358, -2*n + 2*g + 60752 = 0. Is n a multiple of 12?
False
Let c = -3438 - -3533. Is c a multiple of 21?
False
Let h(u) = -2*u**3 + 82*u**2 + 19*u - 320. Is h(41) a multiple of 12?
False
Is (-3)/6 - (2/3)/((-16)/320196) a multiple of 15?
False
Let i = 77 - 71. Let n(h) = 3*h**2 - 3*h. Let r be n(i). Suppose -s - r = -7*s. Does 5 divide s?
True
Let p(g) = g**2 - g - 8. Let h be p(4). Let o(l) = 31*l**2 - 12*l - 4. Does 37 divide o(h)?
True
Suppose 5*n + 1995 = 2*g, 0 = 3*g - 27*n + 32*n - 2955. Is 15 a factor of g?
True
Let j = 15893 + -5047. Is 17 a factor of j?
True
Suppose -i = 1181 - 2130. Does 8 divide i?
False
Let l = 10797 + -9201. Is l a multiple of 54?
False
Let v(c) = 470*c + 280. Let g(m) = -67*m - 40. Let s(r) = 15*g(r) + 2*v(r). Does 52 divide s(-7)?
False
Let q be 1*(-6)/(-2)*(-168)/126. Is 23 a factor of 3/18*-2*(-548 + q)?
True
Suppose 2*x + x = -4*r - 608, 3*r + 451 = -x. Let q = 245 + r. Does 24 divide q?
True
Suppose -k + 5*a - 3*a = -1044, -5*k + 5227 = -3*a. Let p = k + -398. Does 18 divide p?
True
Is (-110)/(-1)*((-2790)/(-20))/9 a multiple of 155?
True
Suppose -8*g - 3*g = -11440. Is ((-39)/12)/((-26)/g) a multiple of 10?
True
Let t(r) = 48*r**3 - 3*r**2 + 2*r. Let g be 7 - (-3)/(-1) - 2. Does 9 divide t(g)?
False
Suppose 5*d + 1512 = 3*l, -3*l - 314*d + 312*d = -1512. Does 21 divide l?
True
Suppose -3*t - 143 = a, 0 = 3*a + 5*t - 7*t + 473. Let b = a + 288. Does 7 divide b?
True
Suppose 444*b = 27*b + 20403810. Is 105 a factor of b?
True
Suppose -62 = -18*t + 46. Is (-4 - -219) + (6 + 3 - t) a multiple of 44?
False
Suppose 14*y - 12 = 72. Suppose 1142 - 134 = y*n. Does 14 divide n?
True
Suppose r - 25 = -r + 223. Is r a multiple of 4?
True
Let l = 56 + -17. Suppose 21 + l = 12*c. Suppose -c*t + 65 + 66 = z, 2 = 2*z. Does 14 divide t?
False
Suppose 6*k - 33 = 3*k. Suppose 3*m - 4 - k = 0. Suppose -3*p = m*g - 72 - 116, 0 = -4*g - 5*p + 140. Is 8 a factor of g?
True
Suppose 41*g - 34*g + 9*g - 790560 = 0. Does 274 divide g?
False
Let j be (7*-1)/(2/18). Let b = j + 101. Does 6 divide b?
False
Suppose 0 = 860*o - 804*o - 842240. Is 64 a factor of o?
True
Let h(p) = 17*p**2 + 11*p + 70. Let c be h(12). Let w = c - 1883. Is 46 a factor of w?
False
Let y(u) = 2*u**3 + u**2 - 12*u + 30. Let v be y(4). Is 6 a factor of ((-1827)/v)/(1 - (-38)/(-36))?
False
Let o(a) be the second derivative of 191*a**4/6 + a**3/6 - a**2/2 + 78*a. Does 38 divide o(-1)?
True
Let g be 5074/4 + -6 + 55/10. Let u = g - 848. Does 12 divide u?
True
Let g(o) = 22*o**3 - 3*o**2 + 5*o - 63. Is g(7) a multiple of 27?
True
Let q be (-531)/(-63) - ((-20)/(-14) - 2). Let z(b) be the second derivative of b**4/12 - b**3 - 4*b**2 + b. Is z(q) a multiple of 15?
False
Suppose -65 = -5*v + 3*c, 2*v + 3*c = 6*v - 49. Suppose -3*p + 286 = -v*p. Let x = p + 218. Does 11 divide x?
False
Let n = -355 - -355. Suppose 19*k - 10*k - 1449 = n. Is k a multiple of 15?
False
Suppose 2*u = -3*m + m - 10, -3*u - 15 = 0. Suppose -16*q = 461 - 541. Suppose 2*h + 835 = 2*o + o, m = o + q*h - 250. Is o a multiple of 11?
True
Let w = -16 - -11. Let o(l) be the third derivative of l**6/120 + 11*l**5/60 + l**4/3 + 5*l**3/6 - 40*l**2. Is o(w) a multiple of 21?
False
Let m(f) = f**2 + 74*f + 1966. Is m(-25) a multiple of 3?
Tru