. Let q = 1134 - r. Is q a multiple of 30?
True
Suppose 0 = v + 29 - 41. Suppose -11*z = -v*z + 48. Let m = z + -30. Is m a multiple of 6?
True
Let n(z) = 4*z + 9 + 10*z + 9*z**2 - 11*z. Is 17 a factor of n(-3)?
False
Suppose 0 = -5*h - 113 + 163. Suppose 2937 + 9423 = h*g. Does 17 divide g?
False
Let m be ((-1)/((-1)/49))/(-166 + 167). Let n = 295 - m. Does 42 divide n?
False
Let u(v) = -v**3 + 16*v - 19 + 4*v**2 - 5*v - 13 - 6*v. Does 19 divide u(-6)?
False
Let y be (-448)/15 + (-8)/60. Let a be (-1408)/(-5) + (-12)/y. Suppose 5*v - a = -3*r, -165 - 147 = -3*r + 5*v. Is r a multiple of 33?
True
Suppose -4*z + 59 = 5*w - 36, -2*w + 2*z + 56 = 0. Suppose -w*q - 10 = -28*q. Suppose c = q*r - 729 + 136, -r + c + 299 = 0. Is r a multiple of 14?
True
Suppose -d = 4*c + 116 + 48, d + 158 = -2*c. Let k = d + 254. Is k a multiple of 14?
False
Let b be (50/4)/((-2)/(-40)). Suppose 2*k = 3*t - 78, 79*k - 69 = -3*t + 84*k. Suppose b - t = 3*n. Does 16 divide n?
False
Let t be (-608)/(-3) + 74/(-111). Let g = t - -368. Is 6 a factor of g?
True
Let g = 10150 + -4865. Does 222 divide g?
False
Suppose -3*l = -5*m + 1310, 2*m - l = -40 + 565. Does 4 divide m?
False
Suppose 0 = -70*z - 82*z + 65968. Is 62 a factor of z?
True
Let d be (1 + -7 + 5)*(-1 + -2). Suppose -d*j = -243 + 195. Does 16 divide j?
True
Let m be (372/155)/(6/(-45)*-3). Suppose 174 = 5*b + 4*q, 0 = m*b - 7*b + 5*q + 58. Does 19 divide b?
True
Suppose 4*j - 17096 = -2*q, -j - 910 = -908. Is q a multiple of 8?
True
Let x(h) = 14*h - 240. Let l(k) = 14*k - 237. Let a(v) = 3*l(v) - 2*x(v). Is 11 a factor of a(21)?
False
Suppose f + f - 17 = -t, f = -4. Suppose -7 - t = 8*v. Is 3 a factor of (v + 0)/(2/(-15))?
True
Suppose -18 = -h - 2*b, -10 - 4 = -3*h + 2*b. Suppose u - 11*q = -15*q + 859, -4*q - h = 0. Does 7 divide u?
False
Let j(v) = -v**3 - 7*v**2 - 11*v - 18. Let n = 25 - 31. Is 6 a factor of j(n)?
True
Let g be 12/(-6) - (-1043 + 7). Let p = -196 + g. Is p a multiple of 8?
False
Let z(r) = -1764*r + 175. Let n be z(-14). Does 19 divide 7/(-14) + n/14?
False
Let f(j) = -3*j**2 - 10*j + 71. Let r(q) = 8*q**2 + 30*q - 211. Let g(h) = -11*f(h) - 4*r(h). Is 38 a factor of g(26)?
False
Suppose -17*v + 4494 = -8661 - 11325. Is v a multiple of 32?
True
Suppose -141*s = -157*s + 17504. Does 2 divide s?
True
Let r = 171 - 170. Does 6 divide 307*r/5 - (-180)/300?
False
Let k(n) = -n - 37. Let j be k(11). Let v = 40 + j. Does 36 divide ((-22)/v)/((-10)/(-680))?
False
Let w(q) = -239*q - 20 + 4 + 240*q. Let i be w(18). Is 29 a factor of ((-1)/i)/((-6)/1740)?
True
Suppose 19*i + 71815 = 240687. Does 8 divide i?
True
Suppose 5*p - 7 = 4*p - 2*m, -4*p + m + 19 = 0. Suppose -5*f = p - 5. Suppose f = -2*l + 17 + 123. Is l a multiple of 14?
True
Let g = 940 + -540. Does 25 divide (-3 + (-133)/(-28))*g?
True
Let w be (-10)/(-4)*(-84)/(-30)*7. Suppose w*h = 4*h + 48690. Is h a multiple of 20?
False
Is (16 + -26)*(-1)/2 - 4777*-2 a multiple of 11?
True
Let p be (12/(-8))/(106/(-100) - -1). Let i(s) = 12*s + 48. Is i(p) a multiple of 29?
True
Suppose -171*p + 169*p = -h + 28587, 4*h = p + 114411. Is 44 a factor of h?
False
Let l = -691 + 675. Is 9 a factor of (-4)/l - (-535)/4?
False
Let a = -407 + 412. Suppose 0*n - n + a*f + 720 = 0, 1448 = 2*n - 2*f. Is n a multiple of 7?
False
Suppose 21*s - 22*s = -d + 761, -2*d - 2*s = -1542. Let x = 1486 - d. Is x a multiple of 12?
True
Let n(f) = 290*f**2 + 38*f + 216. Does 21 divide n(-4)?
True
Let j = -143 + -312. Let i = -241 - j. Is 7 a factor of i?
False
Let a = 55 + -27. Let m = a + 339. Suppose 4 = 7*o - m. Is o a multiple of 11?
False
Let r(f) = 458*f**2 + 108*f - 2. Is r(4) a multiple of 47?
False
Let v(y) = -2*y**2 + 10*y**2 - 4*y + 6 + 0. Suppose 20*q - 147 = -47. Is v(q) a multiple of 14?
False
Suppose 3*p - 53 = -44. Is 6 a factor of ((-34)/(-3))/(-1)*(p - 12)?
True
Suppose 28 = 2*c + 2*w, -16*c + 11*c - 3*w + 66 = 0. Let v(b) be the first derivative of b**2 - 14*b + 1. Does 2 divide v(c)?
True
Let b(y) = 11*y**2 + 15*y + 61. Let i(a) = -a**2 + a + 3. Let k(d) = b(d) - 6*i(d). Is 9 a factor of k(-5)?
True
Let r = -13030 - -19537. Does 27 divide r?
True
Let q = 671 + -766. Let z = q - -163. Does 8 divide z?
False
Does 3 divide (-27895)/(-49) - (-132)/(-462)?
False
Suppose 4*i - 16 = 0, 2*i = 2*r - 2913 - 1183. Is 9 a factor of r?
True
Suppose -2*x = 5*h - 73568, -72*h - 44137 = -75*h - 5*x. Is 102 a factor of h?
False
Let l(c) = -5*c**2 - 98*c + 18. Let n(y) = -2*y**2 - 7*y - 17. Let h be n(-3). Is l(h) a multiple of 41?
True
Let f(c) = c**3 + 65*c**2 - 2544*c + 105. Is f(-92) a multiple of 15?
True
Let g(j) = j**2 - j + 2. Let t(s) = -9*s**2 + 3*s + 71. Let q(z) = 3*g(z) - t(z). Is 5 a factor of q(-5)?
True
Is 195 a factor of (-8*(-7)/2 - 2)/((-40)/(-50700))?
True
Let c be 49*(-23)/(483/(-234)). Let x = c - 384. Is 10 a factor of x?
False
Suppose 0 = -52*z + 234214 + 338491 - 11729. Is 58 a factor of z?
True
Let j(k) = 2*k**2 + 63*k + 480. Does 86 divide j(-48)?
True
Let k = 1133 + 28. Is k a multiple of 30?
False
Let k = 1951 - -1066. Is k a multiple of 17?
False
Suppose 2*z - 1671 = -21*y + 18*y, -4*z - 5*y = -3345. Does 56 divide z?
True
Let n be 4*-2 + (-54 - -1863). Suppose 2*s + w = n, 17*s - 5*w = 16*s + 895. Is s a multiple of 45?
True
Let b = 10459 + -5457. Does 61 divide b?
True
Suppose p + 21 - 41 = -4*c, 0 = 3*c + 2*p - 20. Suppose -916 + 340 = -k + 4*a, c*k - a - 2379 = 0. Is 40 a factor of k?
False
Let m(a) = a**3 + 4*a**2 - 67*a + 137. Let z be m(3). Let s = 24 + -554. Is ((-18)/(-45))/(z/s) a multiple of 19?
False
Suppose 80*s + 284127 - 1241967 = 0. Is 5 a factor of s?
False
Suppose 113*g = 118*g + 325. Let v = g - -158. Suppose 206 = p - v. Is 45 a factor of p?
False
Suppose 17*d = 9412 + 24197. Is d a multiple of 20?
False
Let k(u) = u**2 + 7*u + 3. Let a be k(-7). Does 20 divide (412/(-6))/(-2)*a?
False
Suppose 0 = -3*t - 6 - 3, -2*u + 13785 = -5*t. Does 51 divide u?
True
Let v = 11 - 2. Suppose q + 7*m + 268 = 11*m, -2*q - 4*m = 548. Does 15 divide q/(-9) + (-2)/v?
True
Is 38 a factor of 30/8*(3 + (427 - -2))?
False
Suppose 81*n = 24*n + 977550. Does 49 divide n?
True
Let h = -1215 - -2159. Is 59 a factor of h?
True
Let d = -79 - 9. Let l be d/110 + 442/(-10). Is (712/(-14))/(-2) + l/105 a multiple of 4?
False
Suppose 5*p - 5*y = 1740, -13*p = -10*p + y - 1036. Let w = 1338 - p. Is w a multiple of 62?
True
Suppose -r - 956 = -h, 0 = -3*h + 5*h + 5*r - 1926. Let m = h - 590. Does 8 divide m?
True
Let r = -388 + 813. Suppose -4*i - 3*p = -r, 2*i = -3*p + 52 + 159. Is 3 a factor of i?
False
Suppose 4*i + 35466 = 143034. Does 12 divide i?
True
Let v(m) = -m**2 + 34*m - 158. Let c be v(6). Suppose -2*s - i + 7 = 0, -s + 3 = 2*i - 2. Suppose c*x - s*x - 259 = 0. Does 21 divide x?
False
Let o(z) = 2*z - 30. Let l be o(20). Let n be l*2/15*3. Suppose -n*b = -3*q + 693, 2*q - 7*q = -b - 1138. Is 33 a factor of q?
False
Let s(c) = 4*c + 203. Suppose -h - 17 = 23. Is s(h) a multiple of 43?
True
Let h = -270 - -272. Suppose 2*o - 964 = -2*t, -5*t = -h*o + 1395 - 424. Does 14 divide o?
False
Suppose 0 = 3*j + 5*i - 14, 5*j + i - 43 = -5. Is 64/11 + j/44 + 608 a multiple of 9?
False
Let t = 3327 + 903. Is 114 a factor of t?
False
Suppose -2*p + 36586 = w, -4*w - 3658*p + 146393 = -3657*p. Is 120 a factor of w?
True
Is (116/(-3))/((-11)/(7425/6)) a multiple of 64?
False
Suppose -2*k - 9*k = 23*k. Suppose k = -43*s + 2316 + 2586. Is 36 a factor of s?
False
Suppose u + 42 = 3*c - 2*c, -116 = 3*u - 5*c. Is 37 - 34 - (u - 0) a multiple of 18?
False
Suppose 5*r = 3*v + 3*r - 12, 0 = -4*v + 4*r + 20. Suppose 3*i - 35 = -2*h, 3*h + 2*i = -v*h + 104. Is h a multiple of 22?
True
Suppose 7*p - 16*p = -243. Suppose -2*k + p = -5*k. Is 7 a factor of (-12)/k - 1 - (-208)/6?
True
Suppose 2*u + 2*u + 840 = g, -3*g + 2469 = 5*u. Suppose -1128 = -5*w - 4*n, -2*n + g = 3*w + 152. Does 14 divide w?
True
Let q = -111 + 128. Let s = -12 + q. Suppose 882 = -2*r + s*r. Is 23 a factor of r?
False
Suppose 3*f = 5*y + 1666, -11 = 3*y + 4. Let j = f - 157. Is 16 a factor of j?
False
Let l(b) = -8*b - 30. Let o be (-24)/3 - (-16)/(6 + -2). Let d be l(o). Suppose d*t - 4*c = 40, 2*c = 3*t - c - 66. Does 12 divide t?
True
Let s be (1 + (0 - 3))/(8/(-124)). Let o = s - 32. Do