+ 2*v + 55 = 5*x, 2*x = -5*v - 34. Suppose 4 - 12 = -4*l + 3*t, t = -2*l + 14. Suppose 2*h = -l*a - 28, 2*a = -a - 6. Which is smaller: h or v?
h
Let a be (-154)/(-35) + 32/(-80). Is a bigger than -9?
True
Suppose 22*k + 126 = 16*k. Suppose 12 = 4*v, 0 = 5*c - 3*c + 2*v + 38. Is k != c?
True
Let c be (0 - (-7)/63)*-12. Which is smaller: -17 or c?
-17
Let u be (-14)/12 + (-9)/(-54). Let x be (1 + (-26)/18)*u. Suppose h = -i, 4*i = 2*i + 3*h. Are x and i nonequal?
True
Let i be (-3)/(2760/16 + 6). Is 1/2 bigger than i?
True
Let c = -1790 - -1875. Is c at least -1/3?
True
Let s be 27 + -23 - (-3 + -1). Is s <= -1?
False
Let f be (-18)/5*10/2. Let g = f + 37/2. Let j(d) = d + 21. Let v be j(-19). Is g at most v?
True
Let q be ((-156)/40 - -4) + 1/2. Let o = -11 - -15. Let f be (o/(-8))/(6/4). Which is smaller: q or f?
f
Let s be (-2154)/(-4)*(-48)/36. Is s at most as big as -720?
False
Let b be (-4 + 2932/918)*6/(-4). Let w = 47060/17 - 2769. Let c = w + b. Are 0 and c unequal?
True
Let m(a) = -a**3 + 9*a**2 - 12*a - 14. Let o be m(7). Suppose o*h + 28 = -2*h. Is -63/5 at least as big as h?
True
Let d be ((-213)/(-2118))/(6/(-3)). Let j = d + -125461/481492. Let n = j + 4/31. Is n greater than or equal to -1?
True
Let c(f) = -f + 6. Let n be c(5). Let r be -3 - (7/(-1))/n. Suppose v - 15 = -r*v. Is v <= -1?
False
Let q = 36 + -21. Let n be (-4)/(-20) + (-153)/q. Let i = n - -11. Which is greater: i or -2/33?
i
Suppose -4*q - i + 31 = 0, 6*q - 5*i = 5*q - 8. Let h = 6 - q. Which is smaller: 1/3 or h?
h
Let v be (-2 - 3)/(0 + -1). Suppose x + 0 = -v. Let s be (-140)/(-25) - 2/x. Which is smaller: s or 5?
5
Let h be 1 + -2 + -2 + 6. Suppose -5*b = -h*b. Which is smaller: -6/17 or b?
-6/17
Let f be (-4 - 0) + 18/5. Let u be (-6)/21 - 48/(-21). Suppose 14 = -u*p - 4*o, -5*p + 2*o = 6*o + 17. Is p > f?
False
Let k be (-1)/(-2)*1*0. Let j be (648/(-63) + 10)/((-32)/14). Is k greater than or equal to j?
False
Let r be (-3999)/(-473) + (-12)/(-22). Let c be (0 - 9/1)*-1. Do r and c have the same value?
True
Let s(o) = 6*o + 38. Let l be s(-6). Let c be (2/(-10))/(l/15*-3). Is c > -16?
True
Let m = -12 - -14. Let j(i) = 10*i**2 - 10*i - 5*i**m - 7 + 7*i**2 - i**3 - 4. Let o be j(11). Does o = 0?
True
Let k = -2164 + 2163. Which is greater: 60/121 or k?
60/121
Let u = -14.5 - -14.46. Suppose 4*v + 8 - 32 = 5*l, -5*l - 21 = -v. Which is smaller: u or v?
u
Let d = -873 + 878. Which is bigger: -29 or d?
d
Let t = 1675 + -1983. Is -310 bigger than t?
False
Let i(d) be the third derivative of d**4/24 + 17*d**3/6 - 3*d**2. Let n be i(-14). Is n smaller than 2/3?
False
Let r = 1.196 + -1.096. Is r != -693?
True
Suppose -7*u + 20 = -3*u. Let l = 66 - 66.1. Is l at most as big as u?
True
Let p be (21/(-35)*-10)/(4/(-10)). Let y = 85 - 131. Let h = y + 31. Is p at least as big as h?
True
Let i be 8/12*3 + -2. Suppose -2*f + 2*h + 6 = i, -5*f - 3*h = -0*f - 47. Suppose -3*m - 4 = -f*m. Which is smaller: 0 or m?
0
Let l be ((-10)/(-12))/((-3)/(-18)). Suppose l*h - 1 = 4. Let v(n) = 8*n**2 - n + 2. Let r be v(h). Which is smaller: 8 or r?
8
Let h = 44 - 133/3. Suppose -b + 4 = 0, 2*s = 5*s + 4*b - 136. Let t be ((-8)/s)/(4/5). Which is bigger: t or h?
t
Let l be 5*4*2/4. Let h be l/15*(-69)/35. Let z = -8/5 - h. Is 1 <= z?
False
Let s = 25252 - 6742262/267. Let z = -38809/5340 - s. Let q = z - -31/4. Which is bigger: -1 or q?
q
Let g = -1670 - -1820. Which is smaller: g or 146?
146
Suppose -34*f = -183 - 191. Is 124/13 < f?
True
Let f = -15831/2 - -1045073/132. Let g = -7/4 + f. Do g and -1 have the same value?
False
Suppose -9*d = d - 540. Which is greater: d or -0.2?
d
Let g(m) = m**3 - 5*m**2 + 2*m + 8. Let y = 1 - -3. Let a be g(y). Let u be (-1)/((-10)/6)*-1. Is u at least a?
False
Let r(x) = -7*x**3 - x**2 + 3*x + 3. Let h be r(3). Let v be (5/15)/((-2)/h). Do 31 and v have different values?
False
Let y = 1099 - 1277. Is -174 at most y?
False
Suppose 4*b + 0 = 24. Suppose b = -6*n + 42. Which is greater: n or 5?
n
Suppose 3*t - 63 = -3*a - 24, 2*t - 23 = -3*a. Is t greater than or equal to 61/4?
True
Let y = -14 + 12. Suppose -3*d = 1 + 2. Which is greater: y or d?
d
Let k = -16 + 16.11. Let t = 21.11 - k. Are t and -1 nonequal?
True
Let k = -716647/20 - -35858. Let q = k - 132/5. Is q less than or equal to 12/11?
True
Let n = 13.73 + -14.63. Which is smaller: -0.16 or n?
n
Let j = -0.27 - -11.27. Let o = j - 11.13. Let n = -0.23 - o. Which is bigger: n or -2/21?
-2/21
Let c(h) = 5*h - 2*h - 5 - 3*h + h. Let g be c(7). Let z = -2 + g. Which is greater: z or 1/5?
1/5
Suppose 25 + 9 = j. Let y be (-6)/10 - j/10. Let p(b) = -b - 1. Let z be p(2). Is z >= y?
True
Suppose 4*b = 20, 4*s - 5*s + 2*b = 80. Let k be (4/6 - 1)/(s/14). Suppose -i = -2*y - 9, 3*i = -4*y - 16 + 3. Which is smaller: k or i?
k
Suppose -44 + 5012 = -54*b. Let l be 4/(-14) + 635/(-7). Is l at most as big as b?
False
Let j be (12/9)/((-1)/3). Let v be 2/((-18)/(-30)*-1). Which is smaller: j or v?
j
Let d be (-1*(-1)/(-1))/((-3)/120). Are d and 46 equal?
False
Let u be 5 + 27/(-6) - 1. Which is smaller: 256 or u?
u
Let i(s) = 15*s - 3. Let b(a) = -30*a + 5. Let f(v) = -3*b(v) - 7*i(v). Let c be f(4). Which is smaller: -53 or c?
c
Let s = 157.5 - 158. Is 10 at most s?
False
Let d = 1970 - 2292. Which is bigger: -319 or d?
-319
Let p(s) = s**2 - 7*s - 18. Let d be p(9). Let r = 52 + 28. Let n be ((-24)/r)/((-3)/8). Is d at least as big as n?
False
Let o be -1 + (1 - (-21 + 5)). Let g be 1 + (-516)/o + (-2)/(-8). Is g greater than -31?
False
Suppose 2*j = 3*c - 1188 + 205, 3*c + 5*j - 955 = 0. Suppose 2*u - 452 = 4*o, -6*o + 3*o = 2*u + c. Is o greater than or equal to -112?
True
Suppose -16*x + 17*x - p + 4 = 0, -20 = 4*x - 5*p. Which is bigger: x or -1/2544?
x
Suppose 166 = -4*g - 98. Let a be g/4 + (-3)/6. Let d = a + 33/2. Which is smaller: d or -2?
-2
Let k = 0.1 + -0.2. Let q = -1986 + 2012. Is q equal to k?
False
Let k(l) be the second derivative of 9*l**3/2 - l**2/2 + 11*l. Let z be k(1). Let j = -27 + z. Which is smaller: -1/28 or j?
j
Suppose 114 = 11*z - 62. Which is bigger: z or 1/3?
z
Let c(w) = 21*w**3 + 2*w**2 - 3*w - 3. Let a be c(-3). Let n = a - -9227/17. Is 1 less than n?
False
Let w be (4/1 - 0) + -1. Suppose 5*m + 3*g = 7*g - 8, 5*m - w*g + 6 = 0. Suppose m*l = -5*l + 30. Are 6 and l equal?
True
Suppose 2*q = -2*q + 12. Suppose 3*y + 40 = -4*d, -4*d + q*y + y = 68. Let o = -5 - d. Which is greater: 5 or o?
o
Let x = -0.037 - -19.537. Let f = -18 + x. Let a = f + -1.6. Is -7 > a?
False
Suppose -r = -4*o - 282, 2*o + 0 = -5*r - 152. Is -289/4 greater than o?
False
Suppose 0 = -3*t - 10 + 7. Let j be -12*6/(-24)*(-2)/(-30). Is t equal to j?
False
Let m = -149 - -85. Which is greater: -62 or m?
-62
Suppose -4*p - 12 - 18 = -5*u, -22 = -u + 4*p. Let a be 10 + (0 - 2) - -1. Suppose 5*w = 0, 3*o - u*w = -w - a. Which is smaller: -2/7 or o?
o
Let y(a) = a**2 - 3*a + 9. Let d be y(4). Let b = -70.1 - -70. Is b > d?
False
Let r(s) = s**2 + 9*s + 4. Let u be r(-7). Suppose -5*p = -4*v - 54, -v - 5*p + 4*p = 9. Which is smaller: v or u?
v
Let a be (6/(-26) + 5)/(-2). Let p = a + 12343/5187. Is -1 less than p?
True
Suppose -3*x + x = -4. Suppose 2*m - 16 = -4*h, 3*h + 2*m - 4*m = -x. Suppose t = h*t. Is 15 smaller than t?
False
Let z = 15 - 14. Let n = 4 - z. Is n <= 8/5?
False
Let z(q) = q**3 + 5*q**2 + 4*q + 10. Let h be z(-4). Suppose -h*j + 35 = -5*j. Which is bigger: 5 or j?
j
Suppose 0 = y - 4*w, -2*y + 11 = 2*y - 5*w. Suppose 5*j = -0*p + y*p + 7, -p - 5*j = -17. Which is smaller: p or 11/5?
p
Let u be (9 + (-258)/18)*(-6)/4. Let j be ((-3)/(-4) - 0) + 273/52. Is j smaller than u?
True
Suppose x = 2*p - 12, 0 = -x - 3*p + 2 + 1. Let n be (430/(-15))/((-4)/x). Which is bigger: -42 or n?
-42
Let d be 7/(-1) - (-64170)/9176. Are -1 and d equal?
False
Let t be ((-6)/2)/(16/(-800) + 0). Which is greater: 146 or t?
t
Let o = 45.902 - -0.098. Let d = o - 45.8. Is -17/4 equal to d?
False
Let f be (10/(-3))/((-34)/(-47)). Let h = f - 18/17. Let n = 19/6 + h. Which is greater: n or -3?
n
Let o be 2 + -3*1/3. Suppose -5*u + 19 = 4. Suppose u = -d + o. Is d at most 3?
True
Let f = 3 + 24. Let g be (6/16)/(f/36). Which is bigger: g or 2?
2
Let r be (-51)/(-12) - (-1)/(-4). Suppose 5*o - 67 = -0*o