*u = 4*m - t, -3*u = -4*m + 164 + 15. Which is smaller: -1/3 or m?
-1/3
Let v be ((-12888)/(-1071) - 12)/((-2)/(-7)). Let z = 6 - 11. Let n(a) = -a - 5. Let h be n(z). Is h greater than or equal to v?
False
Let h be (-24)/2*132/24. Which is greater: -69 or h?
h
Let u(i) = 2*i**3 - 24*i**2 + 22*i + 2. Let s be u(11). Let z = -4 + 3. Is s > z?
True
Let r = -5.35 - -5.2. Let k = r + 0.45. Is 9 smaller than k?
False
Let r(y) = -y**3 - 7*y**2 - 5*y + 6. Suppose 0*s + 2*s + 12 = 0. Let c be r(s). Let u = -91/48 + 11/6. Is u at most as big as c?
True
Let c be (-30)/(-4)*24/15. Let m be (-18)/c + (-12)/(-10). Is m less than 0?
True
Let m = -15.74 - -0.14. Let d = -16.6 - m. Is d greater than 0.05?
False
Let c = 1492 + -891. Which is bigger: c or -1?
c
Suppose 4*q + 76 = -2*m, 4*q + 85 = -m + 13. Let r = -6 - q. Let i = r - 12. Is i != 2/17?
True
Let g = -1047 - -1173. Which is smaller: -6/7 or g?
-6/7
Suppose -9*s + 12*s + 54 = 0. Is -28 less than s?
True
Suppose -3*k = 12, -4*g + k - 6*k - 24 = 0. Is -48/49 <= g?
False
Let h be (-3)/15 + (17752/595)/8. Is h less than 5?
True
Suppose 3*r = -2*j - 0 - 1, -j - r + 1 = 0. Suppose j*q + 6 + 2 = 5*o, 0 = -3*o + 2*q + 4. Do o and 3/4 have the same value?
False
Let w = -15010805/791 + 18977. Is 1 less than w?
False
Let j be (6/132)/(2/(-16)). Let b = 7 - 7. Let q be b*((-10)/3 + 3). Which is greater: j or q?
q
Suppose 101 = 5*p + 3*s, -6 - 4 = -5*s. Suppose 0*i = p*i + 19. Which is smaller: 1/100 or i?
i
Let x(p) = 2*p**3 + 7*p**2 + 67*p - 12. Let y be x(-6). Does y = -594?
True
Let i be 0 + (1 - -2) - 2. Let b(u) = 19*u**2 + u. Let j be b(i). Let f be -1*(-5)/(j/(-3)). Which is smaller: f or 0?
f
Let q be ((-34)/3)/(8/12). Are -2 and q non-equal?
True
Let s = 2405.8 - 2402. Let u = -0.2 - 0.8. Is u > s?
False
Let o(s) = s**3 + 6*s**2 - 8*s - 5. Let b be o(-7). Suppose -5*g + 14 = -6. Is b greater than g?
False
Let z = 0.01 + 0.03. Let c = -0.06 - z. Let h = 5/8 - 7/24. Which is bigger: c or h?
h
Let h = 40 + -39.2. Let y = h + -0.79. Which is greater: -0.2 or y?
y
Let v be (6/4)/(15/140). Let t(u) = 16*u - v*u - 13 - 2. Let m be t(8). Is m not equal to -2/15?
True
Let l be -24*((-4)/(-3))/(-1). Let v = -17 + l. Let c = 7258 - 7242. Which is greater: c or v?
c
Let d = -1491 + 138661/93. Which is bigger: -1 or d?
d
Let j = -1.9 - -2. Let u = 0.9 - j. Let y = u + -0.7. Which is smaller: -1/2 or y?
-1/2
Let p be 6/(-15)*(-10)/(-4). Suppose -c = 5*l - 16, 0*l + 3*l - 32 = 5*c. Let b be 5/35*l/3. Do b and p have the same value?
False
Let n(o) = -363*o - 77. Let t(v) = 14*v + 3. Let k(r) = 3*n(r) + 77*t(r). Let s be k(1). Which is bigger: -4 or s?
-4
Let q = 33 - 34. Let s = 4 + -7. Let r be (-33)/(-176)*(-2)/s. Which is smaller: q or r?
q
Let q(n) = n**2 + 7*n - 6. Let j be q(-8). Suppose o + 15 = -3*g - j*o, 3*o = 3*g + 15. Let h = g - -2. Is -18/11 less than h?
False
Suppose -6*s + 6088 = -14*s. Which is smaller: -760 or s?
s
Let f = 83 + -82.88. Let h = f - 1.12. Which is bigger: -1.9 or h?
h
Let c be 16/(1296/(-261)) + (-2)/(-9). Is -7 > c?
False
Let u = -1043 + 1042. Which is smaller: -6/301 or u?
u
Let k = -1706 - -1706. Is k equal to 2/693?
False
Suppose -v - 5 = 0, 2*h - 2*v + 200 = 4*h. Which is greater: 104 or h?
h
Suppose 4*x + 355 = m - 155, 2*x = 4. Is 517 at most m?
True
Let v(c) = 4*c**2 - 4*c + 2. Let b(a) = -3*a**2 + 3*a - 3. Let m(q) = -3*b(q) - 2*v(q). Let g be m(0). Suppose -3*d - 2 = -g. Which is smaller: d or -3/13?
-3/13
Let j(x) = 20*x**2 - 16*x + 9. Let f be j(2). Which is bigger: 400/7 or f?
400/7
Suppose 5*g - 293 = -2*m + m, m = 3. Let r(q) = q**3 + 6*q**2 - 11*q - 9. Let o be r(-6). Do g and o have the same value?
False
Let m = 5 - 1. Suppose 0 = -2*x + 5*o + 29, m*x + 2*o = -9 + 79. Suppose -8 - x = 5*b. Do -6 and b have the same value?
False
Let y be 63/42 + (-211)/(-2). Is 107 < y?
False
Let q = -24.67 + -0.33. Is q != 5?
True
Let m = 129.46 - 131. Let z = m - -0.14. Let s = z + 1.5. Which is smaller: -2 or s?
-2
Suppose 2*o + 2*o = 0. Suppose -1 = k + 12. Let b(t) = t**2 + 14*t + 8. Let g be b(k). Is g at most o?
True
Let o = -1763 + 1764. Which is smaller: o or -2/617?
-2/617
Let v = -62 - -799/13. Let f be ((-2)/(-5))/((-72)/180). Is f < v?
True
Let h be 0 - ((-16)/10)/(34/170). Is h at least 7?
True
Suppose -n - 250 = 3*u, 2*u + 98 = u - 4*n. Is u not equal to -80?
True
Let z = 5 + -7. Let j = -29 - -27. Is j greater than z?
False
Let d be 1*(-1 - -2) - (1 + -2). Let a be 3/9 + (-1)/3. Is d greater than or equal to a?
True
Suppose -3*c = f + 4, 0 = -3*c + f - 4*f - 6. Let w be (-1 + -1)*(-1 + 2/(-1)). Suppose 2*p + w = 4*q + 2, -p + 3*q = 2. Which is greater: p or c?
c
Let v(s) = -s**2 + 14*s - 30. Let j be v(3). Is j equal to 7?
False
Let o = 105 + -121. Let w(r) = -12*r**2. Let l be w(1). Is l >= o?
True
Suppose 30 + 195 = 3*i. Let v be (i/(-30))/(2/(-12)). Are 16 and v nonequal?
True
Let m = 42 + -42. Suppose m*y - 6 = 6*y. Is y smaller than -1?
False
Let y = -132 + 140. Let l be ((-2)/y)/((-23)/23). Which is smaller: -12 or l?
-12
Let w be (2 - 2 - 1) + 3. Let h be (-14)/4 - w - -1. Let u be 5 - 13/(130/90). Which is greater: u or h?
u
Let q = -242.9 - -232. Let j = q - 0.1. Which is smaller: j or 0.1?
j
Let u = -274 + 274. Which is greater: u or -109?
u
Let d = 0.1 - 0.1. Suppose -10*r - 2*j = -5*r - 17, -3*r + 14 = 5*j. Is d < r?
True
Let l be (-2 + (3 - 3) + 2)/2. Suppose l = -84*c + 83*c + 6. Is 1/5 at most as big as c?
True
Let f be (66/12 + -5)*4. Is f equal to 26/23?
False
Suppose 3*c - 6 + 3 = 0, -4*h + 2*c = -2. Is 60/79 less than h?
True
Suppose 0 = -3*b - 6, -v + b - 2 = -4. Which is smaller: -4/9 or v?
-4/9
Let y = -73.96 - -74. Which is smaller: y or 2?
y
Let x(j) = -j**3 + 12*j**2 - 3*j + 36. Let t be x(12). Are t and 1/56 non-equal?
True
Let w = -542 + 3809/7. Let l be 6*(-1)/(6/(-3)*3/3). Which is smaller: l or w?
w
Suppose 0 = -k + 3*k - 4. Suppose 2*w = -m + 15, -4*m = -k*m - w - 45. Let n be (14/m)/(8/(-9)). Is n greater than or equal to -2?
True
Let m be (-1)/((9/(-6))/1). Let z = -204 + 815/4. Is m equal to z?
False
Let t = -13 + 18. Let g(r) = -r**2 + 2*r + 1. Let x be g(t). Let v = -244 - -230. Are x and v equal?
True
Let l be 2340/(-104)*(-3 + 2 - -3). Is l <= -46?
False
Let s = 84 + -135/2. Which is bigger: s or 0.3?
s
Let s(p) = p**3 - p**2 - 10*p - 13. Let h be s(6). Which is bigger: h or 108?
108
Suppose 0 = -2*d - b + 38, 5*b - 14 = -2*d + 8. Suppose 5*q - 25 = 0, f + q - d = -0*f. Is 15 != f?
True
Let a be (16/3)/((-1)/(9/75)). Which is bigger: 0 or a?
0
Let s = 5013/7 - 716. Is 0 at most s?
True
Let m(a) = a**3 + 12*a**2 + 10*a - 11. Suppose -v + 0*v - 11 = 0. Let p be m(v). Suppose p = -5*b + 7*b + 4. Is b at most -1?
True
Let b = 13 + -11. Suppose -4*k = -v + 4, b*k + 2 = 3*v - 0*k. Which is greater: -2 or v?
v
Suppose 3 = -b + 7. Suppose -5 = -d - b. Which is smaller: d or -1/31?
-1/31
Let o = -750 + 188249/251. Is 1 at least as big as o?
True
Let p(y) = 3*y**2 + y - 6. Let r be p(-3). Suppose -8 = 4*i, 0*u - u - 5*i = r. Which is bigger: u or -14?
u
Let s be (-1248)/(-18) + -9 + 1/(-3). Which is greater: 53 or s?
s
Suppose 849*v - 540 = 854*v. Which is bigger: -109 or v?
v
Let f(v) = -3*v + 30. Let z be f(10). Suppose z = -2*p + 9 + 15. Is p smaller than 11?
False
Let p = 18/615493 + -124983041/1298074737. Let k = p - -2/19. Let c = 335/222 - k. Is -2/7 <= c?
True
Suppose 102*a + 106445 = -36049. Is a < -1396?
True
Suppose -c - 11*c = 0. Which is smaller: c or -11?
-11
Suppose 2*z + 4*o - 1 = -29, -4*z = -3*o + 1. Let r be ((-20)/z + -3)*34/(-4). Which is smaller: -15 or r?
r
Let s be -1 - 9/3 - (-745)/(-15). Which is bigger: -54 or s?
s
Let g be (-1)/(-15)*(4 - 2). Suppose 0 = 3*k + 4*z - 24, -k + 2*z - 2 = -0*z. Suppose 0*f + k*f = -4. Which is smaller: g or f?
f
Let d(n) = 20*n - 15. Let g(l) = -10*l + 7. Let y(m) = 6*d(m) + 13*g(m). Let h be y(-1). Does h = 7?
False
Suppose 14*p - 246 = 8*p. Let w be -2 - p - 3/3. Which is bigger: w or 0?
0
Let v = -8.33 - 0.37. Let d = -6.7 - v. Is -19 at most d?
True
Let h be 1/((-2)/4) + -92. Let d be (-10)/(-35) - h/14. Let p = 105 - 98. Is d less than p?
False
Suppose 5*g - 3*v - 64 = 0, 0*g + 3*v = -4*g + 35. Suppose 9*j = g*j - 4. Is j less than 13/6?
True
Let b(s) = -2*s + 1 - 4 - s**2 - s