*d = -3*t + 14. Suppose -17*m = -7*m - 50. Suppose m*l = -b - 4*b - 35, 3*b + 16 = -2*l. Which is greater: t or b?
t
Let w = -2.876 + 0.876. Let u = -11 + -13. Which is smaller: u or w?
u
Suppose 0 = -4*j - 53*p + 56*p - 5148, 0 = 4*j + p + 5132. Are -1285 and j unequal?
True
Suppose 82*i + 3926 = 176*i - 68*i. Which is greater: i or 1054/7?
i
Let y = -148 - -158. Let b be (-7 - (-8 - -3) - -3)*y. Which is bigger: b or -2?
b
Let s = 6864 + -7549. Are -2743/4 and s equal?
False
Suppose 0 = -6*t + 134*t + 140 + 244. Which is bigger: t or 59/13?
59/13
Suppose l + 8 = 5*l, -2*l + 859 = 3*y. Let t be y/(-801) + 10/30. Let n = t + 192/623. Is 0 > n?
False
Let b be (-126)/(-27)*(-9531)/(-18). Which is greater: b or 2470?
b
Let y = 4.9 + 15.1. Let u = y - 6. Let w = u + -16. Which is smaller: -1 or w?
w
Suppose -h + 1390 = w, -5*w + h + h = -6964. Let c = -8317/6 + w. Let p = -841 + 847. Are p and c unequal?
True
Let i be (0/(1*-2))/(-19 - -18). Suppose 24 = 3*w + 2*f + 254, -2*w - 3*f - 150 = i. Let c be (1/(-3))/((-8)/w) + 3. Is 18 != c?
True
Let b = 1126/6729898599 + 74508664006597857103/1931480897913. Let l = 38575887 - b. Let g = -272/7 - l. Which is greater: g or -1?
g
Let z = -6621 + 26001/4. Let o = z - -66163/548. Is 0 < o?
False
Let j = 9911 - 9932. Which is greater: -4/17 or j?
-4/17
Let h(t) = -5*t**3 - 12*t**2 - t - 5. Let d(w) = w**3 + w**2 + 1. Let r(p) = 6*d(p) + h(p). Let u be r(6). Let a be (2 - (-7)/u)/(48/176). Is 1 at least a?
False
Let a = 5/2 - 2. Let q = -74505 + 74505.1. Is q smaller than a?
True
Let u = 5507 - 4674. Is 0.3 less than or equal to u?
True
Let i(f) = 2*f**2 + 125*f + 599. Let z be i(-5). Is z greater than 8?
True
Let y be (483/70 + -12)/(245/25). Which is smaller: y or -1?
-1
Let s be 1*10/((-1)/6*-15). Suppose 0 = -2*u - s*j - 18, 2*u + 0*j - 12 = 2*j. Which is greater: 1/98 or u?
u
Let f be (((-48)/(-9))/(-1))/(14/21). Let m be ((-6)/215)/(f/((-40)/1)). Is 0 at most as big as m?
False
Let n = -763 + 745. Suppose 11*u = 13*u + 36. Is n bigger than u?
False
Let x be 5 + 1 + (-20 + 3 - -9 - -10). Suppose 0*m = -4*m + 12. Suppose 5*i + 0*i = -m*z + 40, -3*i + 3*z = 0. Which is smaller: i or x?
i
Let r be 40/740 - (2628/(-111))/6. Let n = -175/19 - -2609/209. Which is greater: r or n?
r
Let y(c) = 2*c**3 - 9*c**2 + 3. Let t be y(8). Let b = -309 + t. Is b at most 141?
False
Let p be 6/(-10) + 10 + (-457)/5. Let v = 166 - p. Which is greater: v or -1?
v
Let l(f) = -36*f**2 - 1 + 22*f**2 + 24*f**2. Let k be l(1). Let z = 70 - 306/5. Is k less than or equal to z?
False
Suppose 9*c - 11*c + b = 377, 0 = -10*c + 2*b - 1870. Which is bigger: c or -195?
c
Let x(s) = s**3 + 2*s**2 - 2*s + 1. Let m be x(1). Suppose -2 = -m*f + 4. Suppose 0 = f*b + 4*z - 21, 3 = 3*z + 12. Is 0.2 less than b?
True
Suppose 3*r - 3*w = 4*r + 13, 13 = 3*r - 4*w. Let k = -155 - -159. Suppose -4*u + 3*m + 7 = 0, 0 = k*u - 4*m - 11 - 1. Which is greater: u or r?
r
Let m = 13559 - 14013. Which is smaller: m or -2/21?
m
Let a be (-1)/(2*3/(-1896)). Suppose -j + a = -5*j. Let f = j + 83. Which is greater: f or 0.1?
f
Let i = 15317 - 17447. Which is smaller: -2125 or i?
i
Let v = -339/5 + 68. Let f(j) = 3*j - 7. Let q(m) = m**2 - 10*m + 11. Let r be q(9). Let h be f(r). Which is smaller: v or h?
h
Let k be 50323*(-2)/250190 + (-2)/(-5). Let m = 1/127 - k. Which is smaller: m or 1?
m
Let b = 78.58 + -77.474. Which is smaller: 0 or b?
0
Suppose o + 5*z - 3*z = 0, 4*z + 2 = -3*o. Which is greater: o or -1/4?
-1/4
Let l = -0.097 + -2.313. Let z = 0.41 + l. Is z greater than -32?
True
Suppose -5*l = 5*q - 45, 3*l = 6*l + 2*q - 32. Suppose 48*u = 46*u - l. Let t = 7 - 13. Is t smaller than u?
False
Let b = 2220 + -2422.8. Let f = b - -203. Do f and -94 have the same value?
False
Suppose -3*d = -0*d. Let l be 56/2*12/(-42) - (-397)/50. Is l < d?
True
Let n(x) = x - 3*x**2 + 9 - 2*x + 2*x**2. Suppose -647*w + 645*w = -6. Let s be n(w). Which is smaller: s or -2?
s
Suppose -3*v - 64 = 2*o - 50, 0 = -3*v + 2*o - 10. Let g be 60*(v - 177/(-42)). Let y be -1 + (-2)/((-4)/26). Which is smaller: g or y?
y
Let b be (1 + (-52)/60)*-5*(-114)/76. Let t = 2132 - 737671/346. Is t equal to b?
False
Let i = 36682 - 1283419/35. Let t = -93/7 + i. Which is bigger: -28 or t?
t
Suppose 5*y - 32 = -4*c, -5*y - 3*c = -0*c - 29. Let b be y + (-1 - (-5 + 9)). Which is smaller: b or -0.017?
b
Suppose -5*o + 4*z = 31238, 314*o - 312*o + 4*z = -12456. Which is greater: -6241 or o?
-6241
Let a be -13 + -33265*(-48)/122820. Which is greater: 1 or a?
1
Suppose -9*u = 10*u - 1615. Let v = u + -96. Is v equal to -22?
False
Let q = 280/87 - 26137/8004. Which is bigger: q or 0.1?
0.1
Let i = -0.25754 + 0.05554. Is i less than -5?
False
Suppose -37779 = 122*g + 62383. Which is smaller: g or -2?
g
Let i = -17 + 4. Let y = i + 9. Let l be 188/95 + 1/2*y. Which is smaller: 1 or l?
l
Suppose 3*k + 15 = -5*g, -4*g + 2*k + 5 + 5 = 0. Suppose -m + g - 5 = 0. Let n = 15 + -19. Which is greater: m or n?
n
Let a(d) = -d**3 + 12*d**2 + 12*d + 10. Let t be a(13). Let m = t - -47. Suppose 0*j = -2*j - m. Is -20 less than or equal to j?
False
Let d = -13820 + 16339. Is d less than 1/2?
False
Let t be 2118/18*(2 - (-33)/(-12)). Let s = -88 - t. Let x = -4.88 + 5. Is s not equal to x?
True
Let f = -847084/1599 - -6343/41. Let p = 1292 + -917. Let y = f + p. Which is greater: y or 1?
1
Suppose 32*s - 4*s = 16*s. Let l = 11 - -1. Let a be 9/l*(3 - -1). Which is smaller: s or a?
s
Let c be ((-30)/86)/(338/481). Let l = -3/86 - c. Is 0 at least as big as l?
False
Let l = -11.35 + 18.16. Let v = 6.51 - l. Is v > 107?
False
Let h = 140 - 142. Let p = 335/3 - 1693/15. Is p at most as big as h?
False
Let k = 112 + -72. Let o = -90.8 + 130.7. Let t = o - k. Which is smaller: 2 or t?
t
Let c be 44/(-187)*(-7)/(-28). Which is smaller: c or -9.4?
-9.4
Suppose -12*o = -550 + 2062. Let f be (o/28 - -5) + 121/(-2). Is -62 greater than or equal to f?
False
Suppose 0*p - 20 = -5*p. Suppose 0 = 4*g + 4*t, 5*g + 0*g = p*t. Let z = 64742 + -6150489/95. Which is bigger: z or g?
z
Suppose 0 = 5*o - 4*c - 4, 0*c - 3 = -5*o + 3*c. Let p(k) = -12*k - 119. Let h be p(-12). Suppose 0 = h*s - 14*s - 132. Which is bigger: s or o?
s
Let g(l) = -16*l + 8. Let s be g(8). Let q be (-3)/(-7) + s/84. Is 2/21 at least q?
True
Suppose -2*h + 7*h + 120 = 0. Let p be -1 + 6*(2 + 17) + -4. Let t = p + -132. Is h < t?
True
Suppose 7*q = 42*q + 22680. Let l = q + 647. Let f = 29 + -16. Which is greater: l or f?
f
Suppose -5*y + 4*g = 21, -446*g - 1 = -3*y - 447*g. Is y greater than -3/83?
False
Suppose 9*a - 3*a = 2850. Let v be (-6)/10 - ((-5485)/a - -10). Are 2 and v unequal?
True
Let t = -0.064 - -0.074. Let s = -0.61 + 0.67. Which is bigger: s or t?
s
Let k = 368 - 534. Let s = 144 + k. Let i = 2 + -4. Which is bigger: s or i?
i
Let j be ((-15)/44)/((7/584)/(-7)). Let v = j - 199. Which is greater: 2 or v?
2
Let c(u) = -15*u - 10. Let g be c(-4). Let t = 41 - g. Let x be ((-2)/t - (-940)/(-180))/(-1). Is 32/7 at most x?
True
Suppose -2*u = 2*g - 38, 5*g + 4*u = 7*u + 63. Let h be (-20)/g*(-4)/(-40). Is h <= 2/21?
True
Let c(z) = 14*z + 102. Let g be c(-6). Let u = 19 - g. Which is greater: u or 3/89?
u
Let g = 726 + -724. Suppose -y - 4*h - 7 = -21, 5*h - 24 = g*y. Which is smaller: 11 or y?
y
Let c be (90/(-2))/5 - (0 - 10). Which is greater: c or 3/3043?
c
Suppose 5*g - 2*f = 126, -8 = -696*f + 692*f. Is 26 bigger than g?
False
Let z(h) = h**2 + 3*h + 24. Let c be z(0). Suppose c*w = 22*w - 4. Let d be (-43)/(-9) - ((-175)/(-63) + -3). Which is greater: w or d?
d
Let y = -148/16029 + -226697/587730. Let x = y + -1/198. Which is smaller: x or -249?
-249
Let c(m) = 16*m - 90. Let z be c(5). Suppose 0 = 4*v - 12, d - v - 2*v = -5. Suppose 0*u + 54 = -d*f - 2*u, f + 6 = u. Which is smaller: f or z?
f
Let c be 4/((-16)/(-6))*(-200)/(-60). Suppose -c*s + 33 - 8 = -4*t, 0 = -2*s + 10. Are -2/11 and t unequal?
True
Let h be (-31)/(-2) + ((-7015)/46)/61. Which is smaller: h or 43?
h
Let b = -164.25 + 523. Let t = b + -358. Which is smaller: t or -0.1?
-0.1
Let w be (-40)/(-15)*(4 + -1). Suppose -5*k - 1243 = 347. Let i be (20/60)/((-10)/k) + -3. Which is smaller: w or i?
i
Let q = -139 + 78. Let t = -993 + 1524. Suppose -22*g + t = -31*g. Which is 