/i + (-32)/(-24)?
True
Let z(t) = 5*t**2 - 6*t - 2. Let x(s) be the first derivative of 2*s**3 - 3*s**2 - 2*s + 2. Let v(l) = -4*x(l) + 5*z(l). Is v(9) a multiple of 5?
True
Suppose -6*j + 7 + 5 = 0. Suppose -49 = j*q - 145. Does 8 divide q?
True
Let m be 1 + -2 + 2 + 6/6. Suppose -m*h - 5*i + 6 = -30, -5*h + 59 = -3*i. Is h even?
False
Let a = 551 + -371. Does 18 divide a?
True
Let b be 4*-7*(-3)/3. Let r = b - -8. Is 9 a factor of r?
True
Suppose 4*q - 3144 = -2*y, -q = 3*y + y - 800. Does 56 divide q?
True
Does 30 divide -1 + 2/(-8) + 53761/148?
False
Is ((-44)/10)/(4 - (-132)/(-30)) a multiple of 9?
False
Let j(z) = 22*z**2 + 4*z + 10. Let r be j(5). Does 20 divide (1 - (-15)/(-6))*r/(-6)?
False
Let c be 0 + 3 + -1 + 3. Let j(i) = 65*i + 10. Let n be j(c). Suppose -q = 5*d - 91, 0*q - n = -5*q - d. Is q a multiple of 11?
True
Let q = 32 + -14. Let p = 0 + q. Is 11 a factor of p?
False
Suppose -2*o + 3640 = 11*o. Does 4 divide o?
True
Let b = 23383 + -12836. Suppose b = 5*h - 4368. Is 35 a factor of (h/(-38))/(1/(-2))?
False
Let n be 588/(-15) - (-3)/15. Suppose 189 = s + 2*s + 3*q, 5*q = 4*s - 288. Let t = s + n. Is 7 a factor of t?
True
Let t = -4 - -6. Suppose 5 = 5*y, 3*s - t*y = -0 - 2. Suppose s*z = -z + 32. Is z a multiple of 8?
True
Suppose 0 = 2*z + 7 - 87. Is 8 a factor of z?
True
Let p(h) = -118*h + 2. Let b be p(-1). Suppose -v - b = -5*v. Is 12 a factor of v?
False
Suppose 0 = 10*i - 7*i. Suppose i = -2*p - 2*k - 4, -2*p + 3*p = 3*k - 6. Is 329/8 + p/24 a multiple of 6?
False
Let x = 23 + -19. Suppose -x*d - 68 = -8*d. Is d a multiple of 3?
False
Let w(q) = 26*q + 34. Is 14 a factor of w(10)?
True
Let m = 253 - -25. Is m a multiple of 59?
False
Suppose -5*s = -178 - 222. Let n = s - 61. Is n even?
False
Is ((8 - 6) + -701)*2/(-6) a multiple of 11?
False
Does 24 divide 216/6*7/(63/78)?
True
Let q be 48 - -2 - (3 + 1). Let t = q + -2. Let v = 34 + t. Does 13 divide v?
True
Suppose 0 = -4*x - 271 + 1315. Suppose -2*q = q - x. Is 11 a factor of q?
False
Let j = -9 - -11. Suppose 117 = j*p + p. Is p a multiple of 10?
False
Let c = 69 - -112. Suppose c = 2*k + 1. Suppose -a = -2*s - 25, -a + 6*a - k = 3*s. Is 5 a factor of a?
True
Let i be ((-8)/6)/(3/45). Let j be 4/10 - 632/i. Suppose 2*w + w - 100 = -4*v, -v = w - j. Is 7 a factor of w?
True
Let a be (54/(-8))/((-5)/140). Let k = -126 + a. Is 19 a factor of 1*(-4 - -8) + k?
False
Suppose 0 = -33*i - 2*i + 2380. Is i a multiple of 27?
False
Let b(a) = a**3 + 7*a**2 - 7*a + 5. Let z be b(-8). Let w(f) = 15*f**2 + 1. Let k be w(z). Suppose 0 = -n + 5*n - k. Is 16 a factor of n?
False
Suppose 0 = -l - 56 + 204. Suppose -57 = -17*o + 11. Suppose o*k = l - 52. Is k a multiple of 16?
False
Let n be 80/(-50)*(-115)/2. Suppose -2*d - y + 174 = 0, -d + 0*y + n = 3*y. Is d a multiple of 22?
False
Let j = -1018 + 1889. Does 67 divide j?
True
Is 15 a factor of 697*15/10 - 3/6?
False
Does 12 divide 12/(-30) - (-45084)/10?
False
Suppose -5*s = 5*b - 120, s = 2*s - b - 30. Let x = -15 + s. Let n = 15 - x. Is n even?
False
Let g = -8 + 14. Suppose g*t - 135 = 3*t. Is t a multiple of 23?
False
Let a be -1 + -3*(2 + -1). Let i(h) = -17*h + 13. Does 31 divide i(a)?
False
Suppose 6*u - 3*u = -5*d + 30, -5*d + 4*u - 5 = 0. Suppose 8*h = d*h - 105. Is 29 a factor of (-687)/h + (-2)/(-7)?
False
Let z(s) = 35*s**3 - 14*s**3 - 22*s**3 - 3*s + 1 - 3*s**2 - 2. Let f = 5 - 8. Is 3 a factor of z(f)?
False
Let g = 188 - -18. Suppose -5*i - 5*w = -255, 2*i - g = -2*i - 2*w. Is 13 a factor of i?
True
Suppose -4*p + 5*p - 222 = -2*q, -3*p + 3*q = -693. Does 12 divide p?
True
Let z be (-2 - (-3)/1) + (8 - 6). Suppose -5*r - 2*y = -294, 2*r + 5*y = -z*r + 285. Does 15 divide r?
True
Let q(s) = -21*s + 60. Is q(-13) a multiple of 20?
False
Suppose 5*m - 5*r - 2127 = 1993, -r = 5*m - 4144. Does 18 divide m?
True
Let l = -8 - -5. Let p be (-3)/(-1) - (l + -11). Let a = p - 9. Is 6 a factor of a?
False
Let d(r) = -1. Let x(h) = h + 1. Let n(l) = 4*d(l) + x(l). Let u be n(5). Suppose 5*t = -3*k + 47, -u*t - 106 = k - 5*k. Is k a multiple of 4?
True
Let p(i) = i**3 + 26*i**2 + i - 98. Is p(-25) a multiple of 23?
False
Let s = -14 + 13. Let m = s + 4. Suppose m*x = -2*x + 125. Is 6 a factor of x?
False
Let b = 3 + -3. Suppose b = 2*p - 73 - 233. Does 9 divide p?
True
Suppose -16*m + 1320 = -8*m. Is 25 a factor of m?
False
Let b(n) = -42*n**2 - n. Let j be b(1). Let l = 40 + j. Is 11 a factor of (5/(-3))/(l/99)?
True
Suppose 5*f + 1386 = 2*z, 13*z - 8*z - 3423 = 2*f. Is z a multiple of 25?
False
Let u = 447 - 13. Is 28 a factor of u?
False
Suppose -3*r + 33 = 3*v, 2*v = 4*r + 62 - 16. Suppose 0 = -19*n + v*n + 104. Is n a multiple of 13?
True
Let w = 36 - 31. Suppose 0 = 8*g - w*g. Suppose -2*x + 6*x - 236 = g. Does 17 divide x?
False
Suppose -176*x + 175*x + 80 = 0. Is x a multiple of 10?
True
Let j(o) = o**3 - 5*o**2 + 6*o - 6. Let v(n) = 2*n - 8. Let k be v(6). Let m be j(k). Is 5*m*9/2 a multiple of 12?
False
Suppose -13*z + 5*z - 88 = 0. Let p = 27 + z. Does 16 divide p?
True
Suppose 52 = 4*l - 32. Let z be 16/6 - (-7)/l. Suppose -z*a + a + 200 = 0. Does 16 divide a?
False
Let d = -686 - -691. Let o = 33 + 67. Suppose 10*r = d*r + o. Is r a multiple of 5?
True
Let s(x) = -x**3 - 4*x**2 - x - 1. Let g be s(-3). Let z = 15 + g. Suppose 0 = -z*w + 5*w + 18. Is w a multiple of 2?
True
Let p(s) = s**3 - 4*s**2 - 6*s - 40. Does 12 divide p(8)?
True
Let r(f) be the first derivative of f**4/4 - 4*f**3/3 + f**2 - 2*f + 4. Does 20 divide r(5)?
False
Let m be 3 - 2*3/3. Let w = m + -2. Let y = 8 + w. Does 2 divide y?
False
Let s(f) = f**3 + 2*f**2 - 3*f - 9. Let j(n) = -5*n - 6. Let m be j(-2). Does 5 divide s(m)?
True
Let f = 1 + 5. Let d(l) = 4*l - 16. Does 3 divide d(f)?
False
Suppose -4*s = -6*s - 3*q + 1944, -3*q = -12. Is 8 a factor of s?
False
Suppose -7*k + 6*k + 5 = 0. Suppose -166 = -3*t + b, -4*b + k + 3 = 0. Is 42 a factor of t?
False
Let a = -373 + 681. Does 12 divide a?
False
Suppose -24 = -7*r + r. Suppose 5*u + z - 25 = r*u, 3*u - 95 = z. Does 10 divide u?
True
Let r be ((-2)/(-4))/(2 - 213/106). Let u = -31 - r. Does 7 divide u?
False
Let z(y) = 4*y - 38. Let g(l) = -9*l + 76. Let t(p) = -3*g(p) - 5*z(p). Is 11 a factor of t(18)?
True
Let z(j) = 10*j + 5. Let m(o) = o. Let h(q) = q**3 - 13*q**2 + 12*q - 1. Let a be h(12). Let v(i) = a*z(i) + 6*m(i). Is v(-5) a multiple of 4?
False
Let w be ((-15)/6)/(4 + 1325/(-330)). Suppose w = -21*y + 22*y. Is y a multiple of 23?
False
Let x = 4854 - 3458. Does 16 divide x?
False
Let u = -12 + 12. Suppose 3*y - 2*i + 8 = 0, 5*i = -u*i + 20. Suppose 4*d + 4*f - 51 - 53 = y, -d + 18 = -f. Is d a multiple of 9?
False
Suppose -9*w + 1540 = -4*w. Does 22 divide w?
True
Let f(c) = -c**2 - 21*c. Let x be f(-21). Suppose x = 2*w - 25 - 7. Is w a multiple of 11?
False
Suppose 4*d = -31 + 807. Is 13 a factor of d?
False
Let b(a) = 3*a**2 + 3*a - 2. Suppose 2*x - 2*f = 3*f - 13, 0 = -2*f + 2. Let d be b(x). Let t = d - 13. Does 13 divide t?
False
Let s be (4 - -1) + -2 + -1. Suppose s = -5*p - 18. Does 19 divide 2044/36 + p/(-18)?
True
Let c = 64 + -65. Let d(v) = -33*v. Is 6 a factor of d(c)?
False
Is 136 a factor of (-76)/(-380) + 2 + (-4069)/(-5)?
True
Let w be 33/((-2)/((-32)/3)). Suppose 36 - w = -4*c. Is 13 a factor of c?
False
Let n = 46 - 43. Suppose 4*q - 4*k = 76, -q = n*q - 2*k - 80. Is q a multiple of 3?
True
Let c(k) = -2*k**2 - 18*k. Let p be c(-9). Suppose -3*v - 3 = p, 6*v = 4*i + 4*v - 58. Is i a multiple of 2?
True
Let w be 141*(-3)/(-27) - (-4)/(-6). Suppose 10*v - w*v + 990 = 0. Is 37 a factor of v?
False
Suppose -5*j = -389 - 421. Suppose 2*c = 300 + 76. Suppose j = 5*m - c. Is m a multiple of 23?
False
Let n = 370 - 306. Does 3 divide n?
False
Let k be 1*(-3)/3 - -1. Suppose 5*n - n - 8 = k. Suppose 2*z + n*z - 20 = 0, t + 3*z = 40. Is t a multiple of 8?
False
Let i(l) = -3*l + 0*l**3 - 8*l**3 + 5*l + 2 + l**2. Let a be i(-2). Suppose -4*y = -2*y - a. Is y a multiple of 11?
True
Let z(c) = -3*c**2 + 8*c - 14. Let v be z(6). Let w = 103 + v. Does 12 divide w?
False
Suppose -7 - 3 = -2*s, 2*q - 33 = -5*s. Suppose -3*y - 8 = -5*c, -6*y + 3*y = -4*c + q. Suppose c*l + 1 = n, 4*n = 6*l - 2*l + 16. Is n a multiple of 5?
True
Let g = -5 - -7. Let v = -4 + 7. Let n = g