of 22/4 - (-1)/t?
True
Let o(h) = 5*h**3 + 1. Let g be o(-1). Let x = -25 - g. Let c = x + 48. Is c a multiple of 21?
False
Let b be 1 + (2/1 - 0). Let o be 34/51*b/(-2). Is -3 + o - (19 - 89) a multiple of 22?
True
Suppose 0*i + 10 = -v - 2*i, 5*v - 3*i + 24 = 0. Let n be ((-2)/4)/(1/30). Is 1/(-2) + n/v a multiple of 2?
True
Suppose 13860 = 13*h + 8*h. Is 11 a factor of h?
True
Suppose -584 = -5*a - g, -2*g + 14 + 101 = a. Does 17 divide a?
False
Does 59 divide (3 - (5 - 3))/(36/33984)?
True
Let y(v) = 2*v - 4. Let i be y(2). Suppose i = u + d - 22, 5*d + 110 = 2*u + 3*u. Is u a multiple of 11?
True
Suppose w = 5 - 1. Suppose -4*h - w*h + 296 = 0. Is 5 a factor of h?
False
Let u(v) = v**2 - 29*v - 75. Does 3 divide u(32)?
True
Let d(a) = a**3 - 61*a**2 - 123*a + 210. Is d(63) a multiple of 9?
False
Is 31 a factor of (2*31)/((-57)/(-9) - 6)?
True
Suppose 2*t - 270 = -2*v, 4*v - 3*t = -4*t + 525. Is 26 a factor of v?
True
Let l be (4/6)/(32/48). Does 9 divide l/(3/(-18))*(-112)/6?
False
Let w = 1666 - -258. Does 34 divide w?
False
Let f(y) = -y**3 - 3*y**2 - 3*y - 3. Let a be f(3). Is ((-3)/2 + 1)*a a multiple of 11?
True
Suppose l = -3*c + 4*c, 2*l = 4*c - 6. Let t(s) = -s**3 + s - 15. Let i be t(0). Is (1*c)/(i/(-50)) a multiple of 3?
False
Let y(z) = 24*z**2. Let g(l) = -4*l + 26. Let w be g(7). Is 8 a factor of y(w)?
True
Let v(t) = 23*t**2 - 69*t + 204. Does 6 divide v(3)?
True
Let i = -968 + 1505. Is 22 a factor of i?
False
Suppose -28320 = -25*c - 7895. Is c a multiple of 43?
True
Let t(x) = -2*x**2 + 2*x - 1. Let v be t(2). Let y = 2 + -14. Is (-37)/v + y/30 a multiple of 3?
False
Let r be (-6)/(-2) - (25 - -5). Let o = 127 - r. Is o a multiple of 14?
True
Let l = 6 - -14. Suppose -l*p - 15 = -23*p. Suppose 56 = -t + p*t. Is t even?
True
Let m be (2 - 3)/(1/(-2)). Suppose -5*u - m*g = -252, -3*u + 60 = -2*u - 2*g. Is u a multiple of 26?
True
Suppose -27*z = -36*z + 1053. Does 9 divide z?
True
Is 25 a factor of (-2)/7 + 87*(-435)/(-35)?
False
Does 8 divide 4 - -28 - (3 - (-1 - -3))?
False
Suppose -4*u + 8 - 4 = 0. Let z be 1/((4/(-16))/u). Is 12 a factor of (9/(-15))/(z/80)?
True
Let w(f) = 10*f**2 + 31*f - 147. Does 12 divide w(-16)?
False
Suppose -12 = 16*c - 14*c. Does 16 divide 16/c*1*-42?
True
Suppose -1971 = 4*f + 5*f. Let u = f - -324. Is u a multiple of 15?
True
Suppose -15*n + 4*r - 964 = -19*n, -5*n + 5*r + 1195 = 0. Does 15 divide n?
True
Let z be (-14 - 2)*(-4 + (-327)/12). Suppose z = 7*n - 2*n. Is 10 a factor of n?
True
Let i = 123 - -75. Suppose -5*d = -3*p + 6*p - i, 20 = -5*p. Does 14 divide d?
True
Is (16/6 - 2)/((-153)/(-268974)) a multiple of 27?
False
Suppose 115 = 3*a - 2*b, a + 4*b - 82 = -a. Suppose 48 = 40*l - a*l. Is 8 a factor of l?
True
Let h = 8 + -6. Suppose -h*u + 28 = -4*a, 4*u - u - 22 = a. Suppose -2*p + u + 18 = 0. Does 6 divide p?
True
Suppose 1576 = 5*k + 5*n + 606, -n = 2*k - 386. Is k a multiple of 16?
True
Suppose 3*d + 33 = 6*d. Suppose -3*t + d + 505 = 0. Suppose -3*p - 2*f + 92 = 0, -27 = 5*p - 5*f - t. Does 15 divide p?
True
Let z(k) = k**2 + 10*k + 13. Let i be z(-9). Is (-3)/i - 227/(-4) a multiple of 14?
True
Let y(v) = -2*v + 4. Let c be y(2). Is 12 a factor of (c - 16)*(-6)/4?
True
Let d be (1 - -147)/1 + 0 - -4. Let r be ((-4)/(-4))/(2/4). Suppose r*n - h - d = 0, -2*h - 212 - 166 = -5*n. Is n a multiple of 27?
False
Suppose 0 = 6*s - 0*s - 1152. Suppose 0*f - 3*f + s = 0. Does 16 divide f?
True
Let g = -367 - -1339. Is g a multiple of 71?
False
Let l(b) be the second derivative of -b**3/6 + b**2 - 10*b. Let q be l(0). Is 22 a factor of ((-110)/25)/(q/(-10))?
True
Suppose -2188 = -2*n + 2*g + 20, 0 = -5*g - 20. Suppose 5*h + n = 9*h. Is h a multiple of 55?
True
Suppose -3*y - 308 - 832 = -4*m, -2*m = 4*y - 548. Suppose -4*r = 5*l - m, -5*r = -5*l + 3*l + 93. Is 15 a factor of l?
False
Let s(j) = 11*j**2 - 47*j - 44. Let p(v) = 4*v**2 - 16*v - 15. Let g be (-453)/(-27) + 4/18. Let w(n) = g*p(n) - 6*s(n). Is w(-8) a multiple of 19?
True
Suppose 2*x = 7*x + 5*m + 5, 3*m + 12 = 0. Does 6 divide 112 - x/((-9)/(-15))?
False
Let y = 10 + -8. Suppose -7*i + 165 = -2*i - y*m, -2*i + 3*m = -66. Is 17 a factor of i?
False
Let a be ((-4)/(-6))/(8/(-9) - -1). Suppose a*v = 7*v - 33. Is 3 a factor of v?
True
Let n be 10 + 0/(4/2). Let g be 1407/(-35) - (-2)/n. Does 18 divide (-2155)/g + (-2)/(-16)?
True
Suppose -u - 4*l = -2*u - 1, 2*u - 5*l = 1. Suppose -t + u*t = 414. Suppose -3*a + t = 3*o, o + a = -3*o + 276. Is o a multiple of 28?
False
Let v be (-2)/((-57)/21 + 3). Is 38 - v/((-7)/(-4)) a multiple of 6?
True
Let f = -1621 - -2602. Does 45 divide f?
False
Let z(c) = 14*c**3 - 6*c**2 + 6*c + 3. Let j be z(3). Suppose 2*g = -3*g + j. Is g a multiple of 22?
False
Let n = 1302 - 690. Is 109 a factor of n?
False
Suppose 2*w = 13 + 5. Let h = w + 56. Is h a multiple of 11?
False
Suppose 0 = 5*q - 3*a - 305, 2*a + 149 = 3*q + 7*a. Is 8 a factor of q?
False
Let j(v) = v. Let t(r) = 2*r - 2. Let h(b) = -5*j(b) + 5*t(b). Does 9 divide h(6)?
False
Suppose 0 = -6*r - 0*r + 2*r. Suppose 3*g = -3*q + 144, -3*g + r = 6. Does 5 divide q?
True
Let a = 14 - 7. Suppose a = 3*r - 2. Suppose -r*z - 21 = -3*l, z - 14 = -2*l - 2*z. Is 4 a factor of l?
False
Let a(u) = 2*u**2 + 20*u + 16. Is 23 a factor of a(-12)?
False
Is (4/5 + 2)/((-38)/(-475)) a multiple of 15?
False
Let l = -215 + 275. Is 9 a factor of l?
False
Let n be ((-18)/15)/(6/(-20)). Suppose l - 36 = -2*g - 3*l, -72 = -4*g - n*l. Is 9 a factor of 2/((-8)/g)*-6?
True
Let t be 4*(-4)/(-8)*44. Suppose b - 22 = -5*w + 11, -t = -3*b - 4*w. Is 4 a factor of b?
True
Let p(v) = -29*v**3 + 6*v**2 + 7*v - 3. Is p(-2) a multiple of 19?
False
Suppose 55 = b - 6*b. Let f = 13 + b. Does 14 divide f/((-4)/(-106)) - -3?
True
Let n be (-122)/(-14) - 16/(-56). Suppose 0 = 5*r - n*r + 76. Suppose 22*d = r*d + 36. Is d a multiple of 6?
True
Suppose -358*h + 352*h = -2364. Is h a multiple of 10?
False
Let q = 418 - 366. Is q a multiple of 13?
True
Let k(i) = -400*i - 17. Let y(q) = -100*q - 4. Let r(j) = -6*k(j) + 26*y(j). Is 18 a factor of r(-1)?
True
Let o(g) = -20*g**2 - 2*g + 9. Let x(a) = 13*a**2 + a - 6. Let p(q) = 5*o(q) + 8*x(q). Let j(z) = z**3 + z**2 + z - 3. Let w be j(0). Is p(w) a multiple of 11?
False
Let g = 307 + -198. Is g a multiple of 6?
False
Suppose -x + 286 = 76. Is 7 a factor of x?
True
Let u be (2/3)/(4/30). Suppose -u*k + 78 = 3. Is 8 a factor of k + -4 + 8 + -1?
False
Suppose -8279 = -2*i + 3*w, 3*w - 8*w + 16525 = 4*i. Does 21 divide i?
False
Let h(q) = -193*q**2 + 1. Let l be h(1). Does 7 divide (1 - l/15)*5?
False
Suppose -3*r - 2 = -32. Let u be ((-14)/(-35))/((-1)/r). Is u*3/(6/(-10)) a multiple of 4?
True
Let t(i) = -100*i - 130. Is t(-8) a multiple of 10?
True
Suppose 0 = -2*t + 8 - 2. Suppose -t*w + 4*w = 2. Suppose 0 = w*g - 7*v + 4*v - 65, 5*g = -2*v + 115. Does 9 divide g?
False
Suppose 6*l - 10587 = -1767. Is l a multiple of 15?
True
Let t = 31 + 620. Does 58 divide t?
False
Suppose 5*c = -5*r + 70, 4*c + 3*r = 7*c - 18. Is (c/4)/(3/258) a multiple of 49?
False
Let z(s) = 12*s**2 - 9*s - 5. Does 17 divide z(-5)?
True
Suppose -4*z + 21 = 3*z. Suppose 0 = z*c - 6*c + 2*p + 242, -4*p = -20. Is 21 a factor of c?
True
Does 5 divide 2816/132 - (4/3 + -1)?
False
Suppose 3*k + 5*d = 838, 4*k - 5*d - 1094 = -0*d. Suppose -4*o = -3*a + 6*a - 566, -5*a + k = 2*o. Is 13 a factor of o?
True
Let t(m) = -865*m**3 - 2*m**2 - 12*m - 9. Is t(-1) a multiple of 10?
False
Let p(d) = d**3 + 8*d**2 + 4*d + 8. Let t be 7/(-2)*6/3. Let f be p(t). Suppose n - 5 = 0, 5*y = -3*n + 144 - f. Is 5 a factor of y?
True
Let x be 1*(-3)/(-6)*14. Suppose 2*o = -x*b + 3*b + 74, 5*b + 215 = 5*o. Does 6 divide o*(-5 + 1)/(-4)?
False
Suppose 0 = -5*b - 4*i + 4, 8*b - 3*b + i = 16. Suppose -5*x - n = -x - 572, b*x = -4*n + 560. Is 9 a factor of x?
True
Let c(p) = 2 - 17 - 19*p + 37*p - 15*p. Let y be c(8). Is 15 a factor of (3 + (-42)/y)*-36?
True
Let r(v) = v**3 + 5*v**2 + 7*v. Let d = 10 - 15. Let p be r(d). Let a = p - -50. Does 5 divide a?
True
Is ((-1947)/(-22))/3*32 a multiple of 13?
False
Let o(v) = -11*v**3 - 2*v**2 + v + 4. Suppose -2*a - 4*h + 4 = -6*h, a + h = -6. Is o(a) a multiple of 9?
False
Let r = -11 + 13. Suppose -r*b - 10 + 14 = 0. Suppose -5*o + 14 = b*v -