z = g - 19. Is z a multiple of 30?
False
Is (73 + -30)/(1/7) a multiple of 25?
False
Suppose -20 = 4*q, 0 = -g - q - 2*q + 117. Does 4 divide g?
True
Let p = 514 - 309. Does 3 divide p?
False
Let f(c) = c**2 - 16*c + 64. Is f(20) a multiple of 18?
True
Let r = -44 - -52. Is (r/3)/((-4)/(-180)*3) a multiple of 20?
True
Suppose d - 5*j - 189 = 178, j = d - 355. Does 88 divide d?
True
Let m(s) = 18*s - 20. Let l be m(15). Let k = -178 + l. Does 12 divide k?
True
Let d(c) = c**3 + 2*c**2 - c. Let q be d(-2). Suppose -q*l + 2*y + 14 = -0*y, 3*l - 2*y - 18 = 0. Suppose r + l*r = 125. Is r a multiple of 20?
False
Let k be 6 - (98/35 - 2/(-10)). Suppose -3*n = -k*i - 51, -n + 2*i + 14 + 2 = 0. Is n a multiple of 6?
True
Let f(n) = -n**2 + 12*n - 28. Let a be f(8). Suppose 90 + 446 = a*g. Is g a multiple of 9?
False
Let f be (-5)/(-15)*3 - -2. Suppose -f*y + 4*d = -73 - 221, 111 = y + 3*d. Is y a multiple of 23?
False
Suppose -2*s - 5*x + 401 = 0, -403 = -2*s - 2*x - x. Suppose 9 = 2*a - s. Is 38 a factor of a?
False
Let t(c) = 13*c + 32. Does 15 divide t(3)?
False
Let o(b) be the second derivative of b**5/20 - 7*b**4/12 - b**3/2 - 11*b**2/2 - 11*b. Let q(n) = 4*n - 4. Let s be q(3). Does 10 divide o(s)?
False
Let u(z) be the second derivative of -z**4/12 + 5*z**3/6 - 3*z**2 - 3*z. Let w be u(4). Is (-1)/((3 + w)/(-9)) a multiple of 7?
False
Suppose -7426 - 5916 = -7*p. Is 34 a factor of p?
False
Is 3/18*8*(225 + 15) a multiple of 3?
False
Let t(h) = h**3 - h**2 - 6*h - 4. Let m be t(5). Let u = m + -32. Is 8 a factor of u?
False
Let d(f) = -52*f + 271. Does 21 divide d(-17)?
True
Let k(t) = t**3 + 25*t**2 - 9*t - 14. Is k(-8) a multiple of 20?
False
Suppose 0 = -11*f + 37 - 26. Let j(y) = 2 + 6*y**2 + 20*y**2 - 4*y**2 - 3*y. Is 21 a factor of j(f)?
True
Let j(y) = -y**2 + 7*y - 2. Let n be j(6). Suppose f = 5*f - n*q - 64, 2*q - 64 = -4*f. Is f a multiple of 4?
True
Let m(v) = -7 - 2*v**2 + 16 - 3*v**2 - 2*v + v**3 - 3*v. Let f be m(6). Does 6 divide (-2)/5 + 276/f?
True
Let d(n) = -48*n + 84. Is d(-17) a multiple of 119?
False
Let a be -16 + -4 - (-3 + 1). Is (-440)/(-3) + ((-240)/a)/10 a multiple of 17?
False
Suppose -13 = -3*x + 296. Let n = -58 + x. Is 33 a factor of n?
False
Suppose 4*v - 12 = 2*v + 3*n, -3*v + 4*n + 17 = 0. Suppose 0 = -v*f + 6*f - 174. Is 29 a factor of f?
True
Suppose 0*g - 3*g + 5*s - 19 = 0, 2*g - 2*s = -6. Suppose -g*j - 4*a + 585 = 179, a = 0. Is 29 a factor of j?
True
Let a = 112 + -64. Suppose -4*o = 2*o - a. Is o a multiple of 8?
True
Is 8 a factor of -8 + (-12)/12*-212?
False
Let s = 181 + -167. Does 2 divide s?
True
Suppose 9*w = 2*w + 756. Does 9 divide w?
True
Is 16 a factor of (-1)/3 + 6380/33 + -2?
False
Let r(a) be the first derivative of 0*a**3 - 1 - a + 13/4*a**4 + a**2. Is 13 a factor of r(1)?
False
Let o = -145 - -249. Suppose o = 5*g + 2*w, g = 2*g + w - 22. Is g a multiple of 10?
True
Suppose 60*x - 40*x = 23280. Is 6 a factor of x?
True
Let y(a) = -a**3 + 16*a**2 - 9*a + 9. Let h be y(7). Let c = h + -250. Let s = c - 65. Is 18 a factor of s?
True
Let i(z) be the second derivative of -z**3/2 - 3*z**2 + 17*z - 1. Let h(l) = -l**3 - 5*l**2 + 3*l + 6. Let w be h(-5). Is i(w) a multiple of 6?
False
Suppose 4 = -4*i - 0*i. Let z be -78 - i/((-3)/9). Let y = 140 + z. Is y a multiple of 14?
False
Let r be (3 - (-1)/((-2)/12))/(-1). Is 107 + -5 + r/1 a multiple of 21?
True
Let i(v) = v**2 + 5*v + 2. Let r be i(-4). Is 14 a factor of (-63)/r*16/6?
True
Suppose 0 = -v + 5*v - 464. Suppose d - v + 44 = 0. Is d a multiple of 12?
True
Let k be (15/50*5)/(6/20). Suppose 0 = k*n + z - 495 - 88, 5*n - 3*z - 591 = 0. Is 31 a factor of n?
False
Let u = -79 + 751. Does 42 divide u?
True
Suppose 15 = 5*s - 6*c + c, -2*s + 2 = -4*c. Let l be -3 + 4 - (0 - 39). Suppose 0 = -s*n + 10 + l. Is n a multiple of 3?
False
Does 66 divide 577*-6*(-16)/24 - -2?
True
Let n be 15/10 - (-1)/2. Suppose 5*d = n*d + 18. Is 25/3 - 2/d a multiple of 3?
False
Let c be 349/(-6) - (-3)/18. Suppose 3 = -2*p - 25. Let n = p - c. Is n a multiple of 11?
True
Suppose -2*x = -x - 4. Suppose -6*h + 372 = 2*a - x*h, -a + 5*h + 186 = 0. Does 31 divide a?
True
Let h(w) = w**3 + 8*w**2 + 7*w + 5. Let m be h(-7). Suppose m*j + 20 = 125. Is j a multiple of 7?
True
Let t(l) = l**2 - 3*l - 8. Let n be t(5). Suppose 4*u - 303 + 43 = -3*z, -140 = -n*z + 4*u. Does 18 divide z?
False
Suppose 2 = t + h, 4*t - 5*h + 4 = 12. Is 14 a factor of (3 - t) + 1 + (-308)/(-4)?
False
Suppose 7 + 5 = 4*g. Suppose -3*f + 81 = -2*h, -f = -4*f - 5*h + 81. Suppose -12 = 4*r, -g*n + 6*n + 4*r = f. Is n a multiple of 11?
False
Let m(h) = 6*h**2 + 2*h + 0*h**2 - 13 + 22 - h**3. Let o be m(6). Suppose o = -5*y + 181. Is y a multiple of 7?
False
Suppose -3*q - 20 = -8*q. Suppose -h + 36 = 4*m, -h - 2*m = q*h - 108. Is 20 a factor of h?
True
Let v(d) = -11*d - 11. Let i(z) = -12*z - 11. Let g(q) = -4*i(q) + 5*v(q). Suppose -4*c + 9*c + 40 = 0. Is 13 a factor of g(c)?
False
Let r(t) be the second derivative of 6*t - 1/20*t**5 + 2/3*t**4 + 9/2*t**2 - 3/2*t**3 + 0. Is 27 a factor of r(6)?
True
Does 11 divide 222*32/24 + 1?
True
Let b be (10/(-50))/((-1)/10). Suppose -d + 93 = 5*k + 5, 0 = d + b. Is 3 a factor of k?
True
Let m(h) = -33*h + 454. Is m(-30) a multiple of 11?
False
Suppose 5*j - 39 = -14, 5*v = -3*j + 30. Suppose v*l + 0*a - 372 = 3*a, 0 = 3*l + 5*a - 340. Does 26 divide l?
False
Let t(s) = -32*s + 4. Let f be t(4). Is 5 a factor of 0 - 2/(8/f)?
False
Suppose 4*j + 18*i - 14*i = 2160, 5*j + 4*i - 2696 = 0. Is 22 a factor of j?
False
Let p(w) = -w**3 - 17*w**2 + 19*w + 22. Let t be p(-18). Suppose -5*q = -t - 11. Let d(z) = 4*z**2 + z - 3. Is d(q) a multiple of 9?
True
Is 1/(-3)*(-927)/(-9)*-3 a multiple of 3?
False
Suppose -9*h = -2*h - 7553. Is h a multiple of 61?
False
Let i(x) = -x + 24. Let m be i(21). Let a(u) = -u**2 + 2*u. Let w be a(2). Suppose 5*h = -6*j + m*j + 98, w = 2*h + 10. Does 9 divide j?
False
Suppose -4*h + 12*h - 3344 = 0. Does 22 divide h?
True
Suppose -5*j + 372 + 498 = 0. Let t(r) = 4*r**3 - 2*r**2 - 3*r + 1. Let a be t(-3). Let q = a + j. Does 19 divide q?
False
Let k be (4 - 18/4)*0. Suppose -5*x + 3*r + 32 = k, 4*r = -0*r - 16. Is x even?
True
Let i(t) = -4*t**2 - 12*t - 14. Suppose 2*z + 2*z - 2 = -2*o, 15 = 5*o + 5*z. Let n(c) = 3*c**2 + 12*c + 13. Let h(r) = o*n(r) + 4*i(r). Does 8 divide h(10)?
False
Let j = 144 - -27. Is j a multiple of 30?
False
Let c = 1342 - 924. Does 25 divide c?
False
Suppose -3 = -0*d + 3*d. Let b = d + 6. Suppose -b + 3 = 2*f, -3*f = -4*q + 107. Does 8 divide q?
False
Let k(j) = -j**2 + 4*j + 14. Let r be k(6). Let n = r - -12. Let x = -5 + n. Is 9 a factor of x?
True
Let w(r) = r**3 - r**2 + 17. Is w(0) a multiple of 4?
False
Let d(q) = 2*q + 74. Let y(g) = g + 25. Let s(w) = 3*d(w) - 8*y(w). Is s(-13) a multiple of 12?
True
Let y = -50 - -105. Let k = -13 + y. Is k a multiple of 4?
False
Suppose -12 = q - 5*q, -3*f - 2*q = -555. Is 11 a factor of f?
False
Suppose 4*b = 2*b + 4. Let t be 3*(5 + 4)/(-1). Is (t/(-6) + -2)*b a multiple of 5?
True
Let i(v) = v**2 - 12*v + 15. Is i(23) a multiple of 4?
True
Suppose 14*u - 3 = 13*u. Suppose 113 = 2*z - u*g, 0 = 4*z - 5*g - 213 - 12. Is z a multiple of 11?
True
Let a(k) = -67*k - 1. Is 5 a factor of a(-3)?
True
Suppose 0 = 4*l - h - 1089, 0 = -5*h + 14 - 19. Is 34 a factor of l?
True
Let n = -1 + 3. Suppose -n*f = 5*y - 25, -5*y = -4*y + 3*f - 5. Suppose 0 = -3*b + 4*q + 256, b - 59 = -y*q + 1. Is b a multiple of 20?
True
Let o = 711 + 39. Suppose 0 = -6*l + 3*l, 5*z = -l + o. Does 25 divide z?
True
Suppose h = 3 + 7. Suppose -v - 20 = 3*a, 5*v = -0*v + 2*a - 15. Is 36 - 6*v/h a multiple of 34?
False
Suppose -7 = 10*n - 9*n. Let s = 16 + n. Is s a multiple of 9?
True
Suppose -6*p + p + 173 = 2*b, 3*b + 87 = 3*p. Suppose 8*w = 5*w + p. Is 4 a factor of w?
False
Suppose 1053 = 18*f - 4203. Is 35 a factor of f?
False
Let b(n) = 19*n + 4. Let x(j) = j + 2. Let a be x(2). Is b(a) a multiple of 16?
True
Let v(s) = -s**2 - 43*s - 54. Is v(-29) a multiple of 32?
True
Suppose -36 = -p + 5*t + 66, 530 = 5*p - 5*t. Suppose 4*k = 5*f + 344, -k + 2*f - 6*f = -p. Does 13 divide k?
True
Let g(x) = -16*x**2 + 2*x - 1. Let z(f) = f**2 + 1. Let n(i) = -g(i) - z(i). Let c be n(2). Is (21/6 - 3)*c