b(-9). Let o = -121 - t. Let z = -172 - o. Is 26 a factor of z?
False
Let q = -3016 - -4672. Does 12 divide q?
True
Let k = 23928 + 25185. Is k a multiple of 22?
False
Suppose 0*a - 154 = 14*a. Does 38 divide 468 - (7 + a - -9)?
False
Suppose -480 + 153 = -3*b. Is 42 a factor of (-15 + 13)/((-1)/b)?
False
Is ((-32045)/13*-1)/(-1 + 2/1) a multiple of 29?
True
Let x = -2128 + 2910. Does 37 divide x?
False
Let y = 19674 + -17261. Is y a multiple of 2?
False
Let w be 3*(6 + -1 + -2 + 0). Suppose 8 = 13*b - w*b. Suppose -14 = -2*u - 2*i + 82, b*u + 3*i = 100. Is 11 a factor of u?
True
Let r = 15021 + -11658. Does 8 divide r?
False
Let s be -1*(2 - 1)*71. Let y be (-6)/18*-5*-51. Let a = s - y. Does 14 divide a?
True
Is 4 a factor of (7344/(-10) + 6 + 6)/((-2)/10)?
True
Suppose 3*x + 9 = 0, 0 = 5*g - g - 4*x - 6032. Is g a multiple of 17?
False
Suppose -18*j - 5 = -19*j, 0 = -2*c - 5*j + 655. Is 3 a factor of c?
True
Let a = 713 - 677. Suppose 2*j + 4*t = 20, -j + 6*t - 2*t = 8. Suppose -8*y - j = -a. Is y even?
True
Let n = -453 - -457. Suppose 9*o - 11*o = 8, 5*i = n*o + 5566. Does 37 divide i?
True
Suppose 0 = -3*w - 2 + 8. Let z = w + -33. Let f = 67 + z. Is f a multiple of 5?
False
Suppose -7*n + 155 = -45*n + 419523. Is 62 a factor of n?
True
Let k = -52169 - -73959. Is k a multiple of 15?
False
Let c = -6672 - -9272. Is c a multiple of 29?
False
Let n(g) = 22*g**2 - 152*g + 1130. Does 26 divide n(7)?
True
Let z(q) = 2*q**3 + 5*q**2 + 3*q + 1. Suppose -d + 4*i = -1, -3*i - 3 = -0*i. Let f be z(d). Let b = f - -41. Is b a multiple of 4?
True
Let k = -49500 + 72348. Does 204 divide k?
True
Suppose 5*o + 5*v - v + 1964 = 0, 0 = -4*o + 4*v - 1564. Let j = -80 - o. Is j a multiple of 13?
True
Suppose -n + 87 = -j, -n + 85 = -0*j + j. Let i = 88 - n. Suppose 0*z = 4*z + 5*o - 412, 0 = -i*z - 3*o + 208. Does 10 divide z?
False
Let j = 63 + -45. Let p = j - 15. Suppose -p*n - n = -440. Is n a multiple of 11?
True
Suppose 0*l - 5*l - 25 = 0. Let s be (-157)/((5/1)/l). Is 13 a factor of (s - 1)*(-22)/(-66)?
True
Let a = -29 + 381. Let x = 1738 - a. Does 44 divide x?
False
Suppose 52*k - 90613 = -27*k. Is 77 a factor of k?
False
Suppose -4*k = 3*o - 26, 4*o - 13 - 27 = -4*k. Suppose 4*v - 2924 = 3*m, 0 = -v + o*m - 12*m + 736. Is 13 a factor of v?
True
Is 133 a factor of (-4 - 1) + -1 + 40075/7?
True
Let u = 2650 - 1430. Does 2 divide u?
True
Let r = -10 - -15. Suppose r*u - 1870 = -5*i, -4*i + 3 = -3*u + 1153. Let h = -249 + u. Is 35 a factor of h?
False
Suppose 9783*i - 9766*i - 39253 = 0. Is 12 a factor of i?
False
Let w = -49 + 53. Suppose -4*b + 104 = 2*z, 0*z - z = w*b - 54. Let x = z - 12. Does 19 divide x?
True
Let w(l) = 4*l**3 - 4*l + 9. Let x be w(3). Suppose -923 = -4*b - m, 803 + x = 4*b + 4*m. Is 5*(b/30 + (-4)/12) a multiple of 4?
False
Suppose 0 = -11*x + 18602 - 6733. Let i = -275 + x. Is i a multiple of 13?
False
Let f(c) = -50*c**2 + 27*c**2 + 127*c + 10 + 26*c**2 + 2. Is f(-44) a multiple of 21?
False
Does 64 divide 8768/(-40)*(1496/(-16) - 14)?
False
Suppose 4*z = 2 + 6. Suppose -3*y + 2*y = d - 6, 0 = z*d + 4. Suppose 4*v + 192 = y*v. Is v a multiple of 10?
False
Let g be -12*27*4/(-16). Let f = 151 - g. Suppose -6*l + 116 = -f. Does 5 divide l?
False
Is 17 a factor of -13 + 21 + -23 + 8430?
True
Let o(g) = -g**3 - 6*g**2 + 13*g - 8. Let i be o(-8). Suppose 9*f - 1425 = -i*f. Does 2 divide f?
False
Suppose 5*y - 6 = j, -4*j + y - 4*y - 93 = 0. Let u be 119/833 + (144/21 - 0) - -38. Let z = j + u. Does 7 divide z?
False
Let f = 136 + -174. Suppose 2*k + 316 = 4*k. Let a = f + k. Does 20 divide a?
True
Suppose -b - 40 - 45 = -3*y, 5*y - 139 = 3*b. Let n(s) = s**2 - 34*s + 197. Is n(y) a multiple of 21?
False
Let i(a) = -a + 5. Let m be i(0). Let j(f) = f**2 - 42*f + 428. Let k be j(44). Suppose -c + k = m*c. Is 16 a factor of c?
False
Let v be 446/1*64/64. Let k = v - -366. Does 7 divide k?
True
Let h = -4381 + 7457. Is h a multiple of 14?
False
Let j(b) = 5*b**2 + 9*b - 51. Let p be j(-16). Suppose -4*v + 3*h + p = v, -4*v = -3*h - 865. Does 11 divide v?
True
Suppose 2*j + 2 = -0*j, 0 = 3*m + 5*j + 14. Let y(d) = d**2 + 3*d + 5. Let u be y(m). Is 41 a factor of 0/u + 4*41?
True
Suppose -2*s - 5724 = -5728, -3*a - s + 22085 = 0. Does 17 divide a?
True
Suppose 6*v = -4 + 16. Suppose 0 = 4*p - 2*o + 1 - 5, -v*o + 11 = p. Suppose k - p*m - 21 + 4 = 0, -k = 2*m - 37. Is k a multiple of 3?
False
Let k be (-6)/(-2)*-1*(1 + -2). Let w = 17 - 6. Suppose -k*i - 5*u + 40 = 0, -3*i + 5*u + 39 = -w. Is i a multiple of 8?
False
Suppose q - 2*q + 5*f = -20, 3*q - 6 = -3*f. Suppose 1 = -g + 3*g + j, -5*g + 4*j = -35. Suppose q*w = -z + g*w + 154, 726 = 5*z - w. Is 27 a factor of z?
False
Let g be 9/(-45) + (-183)/(-15). Let w be (2/1 - -15)*(-11 + g). Let q = w + 99. Does 29 divide q?
True
Let f = -160 - -93. Let o = -15 + -45. Let n = o - f. Is n a multiple of 2?
False
Let v = 38388 - 10976. Does 7 divide v?
True
Let g(u) = -147*u - 2120. Is 95 a factor of g(-66)?
False
Let j(f) = 11290*f - 3341. Is 11 a factor of j(2)?
True
Let j(t) = t**2 - 7*t + 6. Let h be j(7). Suppose -h*v - 3 = 3. Let l(o) = 34*o**2 + o + 2. Is 5 a factor of l(v)?
True
Let z(s) = -4*s + 8. Let u be 2/3 + (-44)/(-33). Let g be z(u). Suppose n - 1 - 44 = g. Is n a multiple of 15?
True
Let b be 56/3*(18 + (3 - -3)). Let l = b + -372. Is l a multiple of 2?
True
Let b be 3*(-3)/(-63) - 2907/357. Let k(v) = -v**2 - 12*v + 9. Let h(g) = 1. Let o(t) = 5*h(t) + k(t). Is o(b) a multiple of 9?
False
Let t = -18 + 20. Let l(n) = -7 + 0 - 17*n + t + n**2. Is l(18) a multiple of 13?
True
Suppose 9*r - 5*r - 1271 = o, 0 = 2*r - 5*o - 649. Suppose 0 = -6*t + r + 1681. Does 36 divide t?
False
Let q(z) = -24*z + 95. Suppose 3*t = 4*l - 47, 30*l = 28*l + 4. Is q(t) a multiple of 8?
False
Is 21 a factor of -1 - (-3 - 65*(44 + -3))?
True
Suppose -8106 = -a - 628 + 711. Is a a multiple of 19?
True
Suppose 5*d + 210 = 2*q + 3*q, 5*d + 20 = 0. Let s = 6 + q. Suppose 0*y - 3*b + s = y, 92 = 3*y + b. Is 5 a factor of y?
False
Is (-28991)/(-5) + 83/(-415) a multiple of 43?
False
Suppose 273*c - 996988 = -149869. Is c a multiple of 5?
False
Suppose 0 = 2*u + 5*w - 16990, -u + 946 + 7567 = -2*w. Is 9 a factor of u?
True
Let b(k) = -2*k**2 - k - 46. Let p be b(-22). Let i = p - -1542. Does 13 divide i?
False
Suppose 3259 = -4*w + 75. Let s = -489 - w. Does 11 divide s?
False
Let b = -55 + 55. Let o be 0 + 2 + 1 + (b - -2). Suppose 16 = k - o. Is 6 a factor of k?
False
Let c(l) = -4 + 16404*l - 8199*l + l**2 - 8199*l. Let z be (1 - 2) + 5*1. Does 4 divide c(z)?
True
Let y(a) = 4*a**3 + 4*a**2 - 59*a + 52. Is y(10) a multiple of 53?
False
Let h be 4/(-24) - (0 - (-2086)/12). Let t = h - -389. Is t a multiple of 3?
False
Suppose -21*o - 4*f = -18*o - 124, -5*o = -f - 199. Suppose -7*g - 4257 = -o*g. Is g a multiple of 2?
False
Let x(s) = -2*s + 10. Let b(p) = 7*p + p**3 - 6*p - 1 - 9 - 6 - 11*p**2. Let v be b(11). Does 8 divide x(v)?
False
Let d = 2976 + -1877. Suppose 0*t + t = -3*x + d, -x + t = -365. Does 28 divide x?
False
Suppose 72*u = 76*u - b - 2596, -2*b = -u + 642. Does 10 divide u?
True
Let u(n) be the second derivative of n**3/6 + 32*n**2 + n + 81. Is 23 a factor of u(-11)?
False
Let h(k) = 10003*k - 821. Is h(1) a multiple of 19?
False
Let v be (-2 + 6/4)*(-324)/3. Let l = v + 61. Suppose 3*j = 2*y - 2*j - 135, 2*y - l = j. Is 11 a factor of y?
True
Suppose 4*f + 8992 = 5*r - r, 0 = -6*r - 4*f + 13548. Is r a multiple of 23?
True
Let p(n) = n - 3. Let b be p(-5). Let k be 24/(-32) - 38/b. Suppose k*o + 0*a + 2*a = 226, -5*a = 4*o - 223. Is o a multiple of 14?
False
Let b = -403 - -458. Suppose -s + b + 629 = 0. Does 36 divide s?
True
Let i = -4 + -10. Let y = 18 + i. Suppose -3*n = -g + 87, 0*g - 4*n = -y*g + 356. Does 33 divide g?
False
Suppose 4*r - 130 = -0*r - 2*z, r - 2*z - 45 = 0. Suppose r*h - 2184 = 27*h. Is h a multiple of 37?
False
Let z(p) = -p**3 + 19*p**2 - 24*p - 64. Let c be z(20). Let m = -1 - c. Does 19 divide m?
False
Is 21 a factor of (-3)/(-10) - 20879883/(-690)?
True
Let d(j) = -34*j**3 - 12*j**2 - 17*j - 7. Does 15 divide d(-8)?
False
Let p be 6/27 + (-2535)/(-135). Suppose -63*s + p*s + 5412 = 0. Is 41 a factor of s?
True
Suppose 0 = -20*t + 15*t + 3*u + 61625, -t + 