- 4*x. Let h be 6/(-4)*x*4. Is h less than or equal to c?
True
Suppose -55 = -5*m - 5*d, -3*d = 5*m - 2*d - 35. Suppose -h - 260 = 9*k - m*k, -5*h - 10 = 0. Which is greater: -85 or k?
-85
Let c be 20/(-90) - (-22)/18. Let d = 5/4 - c. Is 2 at least d?
True
Let y = 3/13 + -5/78. Let u(g) = -g**2 - 3*g + 4. Let t(f) = 2*f + 8. Let n be t(-6). Let k be u(n). Which is bigger: k or y?
y
Let w = 1310 + -1308. Let s = -11/18 - -307/90. Is s equal to w?
False
Let j be -4*2/56 + 68/(-14). Is j > -60/11?
True
Suppose -60*j = -25*j + 4025. Which is greater: j or -116?
j
Let p(j) = j**2 - 10*j + 20. Suppose 0 = y - 75 + 68. Let s be p(y). Which is greater: s or 5/11?
5/11
Let g be 16/(-5)*(-2)/4. Let y = -21 + 21. Let f be (0 + y)/2 - (-12 - -9). Which is bigger: f or g?
f
Let o = 46 - 58. Let k be (-8)/(-4) + (o/13 - 1). Which is smaller: 1 or k?
k
Let j be 204/272*(0 + 8/483). Is 0 at most as big as j?
True
Let q = -8867/13 - -683. Which is smaller: q or 2?
q
Suppose 2*u - 7*u = -10. Suppose 3*l + 0*y + 4 = 4*y, 3*l + u*y = 20. Is 13/4 equal to l?
False
Suppose -4*s + 3*v = -v + 16, -2*s = 2*v + 8. Which is bigger: s or -14?
s
Suppose 5*g + 386 = 581. Is 40 equal to g?
False
Let f(g) = -24*g + 99. Let t be f(2). Is 76 smaller than t?
False
Let j be (55/(-35) + 1)/((-4)/14). Let r be ((j/(-9))/1)/(2/3). Which is smaller: r or 1/43?
r
Let j be (1 - 3)*13/(-2). Suppose 7 = 4*c - j. Suppose -1 = -c*w + 4. Do 8/9 and w have the same value?
False
Suppose -1245*p = -1249*p. Let x = 4/63 - -334/693. Which is greater: p or x?
x
Let p be 2/(-8) + 7705/(-268). Which is greater: p or 5?
5
Suppose c - 249 + 22 = 4*z, z = 2*c - 461. Is c != 230?
True
Let u(r) = -r**3 - 14*r**2 + 34*r + 35. Let y be u(-16). Which is greater: -2/21 or y?
y
Let k = -0.362 + -6.638. Is -1/2 < k?
False
Let q be 9/8*((-845)/(-120) + -7). Which is bigger: q or -1?
q
Let c = -5626150/549 - -10248. Let i = -284/22509 - c. Which is greater: 1 or i?
1
Let u(n) = n**2 - 5*n + 3. Let g be u(5). Let j be 12/(-9)*g/2. Let p be (-2)/(-6) + (-4)/3. Are j and p unequal?
True
Suppose 0 = -4*q + 5*t - 14, -28*q + 27*q = t - 1. Let a be (5/2 - 1) + -2. Which is smaller: q or a?
q
Suppose -u + 6*u = -z + 28, -4*z + 5*u = -62. Suppose -o - 4 = -z. Which is smaller: o or 15?
o
Suppose 4*y = v - 2877, -6*v + 4*v = y + 717. Which is smaller: y or -718?
y
Let o = 3.8 + -2.8. Suppose -2*n = 2*n + 4*i + 12, 5*i = 5*n - 25. Let l be (n + 0 - 2)*-1. Is l bigger than o?
False
Suppose -107 = 5*g + 3*h, -3*g + 115 = -8*g + 5*h. Is g < 1?
True
Let x be ((-12)/(-10))/(672/(-320)). Which is bigger: x or -18?
x
Let m = 3 - 2. Let x = 5.5 - 18.5. Is m > x?
True
Let u = 2447/1265 + -93/55. Which is smaller: -1 or u?
-1
Suppose -3*x + 2*s + 601 = 0, -2*x = 4*s - 6*s - 404. Let p = x - 156. Which is smaller: p or 42?
p
Let q = -137 + 89. Suppose -4 = -3*u + 8. Let h be u + (244/q - -1). Is h != 0?
True
Suppose 5*y - 145 = 3*c, -y - 19 = -2*c - 125. Is 1/2 > c?
True
Let x(v) = -v**3 - 35*v**2 + 4 - 10*v + 45*v**2 + 0*v**3. Let d be x(9). Is -4 less than or equal to d?
False
Let k = 3.3 + -50.3. Let j = k - -47. Suppose 5*a = 2*r - 70, 2*a - 3 = -5*r - 2. Is j > a?
True
Let g = -6.6 + 6.46. Let h = g - -0.04. Let w = 3 - 2. Is w greater than or equal to h?
True
Suppose 14 + 16 = q. Suppose -7 + q = w. Is w greater than 22?
True
Let b be 2/3 - 11/(33/131). Let m be 0 - 3 - (39 - -3). Are b and m non-equal?
True
Let s be (1/18)/((-2)/(-3)). Let r = 76 - 46. Let t = r - 31. Which is smaller: t or s?
t
Let b(s) = -15*s + 309. Let w be b(20). Which is smaller: w or 15?
w
Suppose -3*y + 10*y - 140 = 0. Suppose 10*d - 5*d + y = 0. Which is greater: d or -2?
-2
Suppose -5*n + 135 = -q, -2*n + n + 16 = 2*q. Let x = 14 - n. Let y = -12 - x. Which is bigger: y or 1?
1
Let k = -29 - -117. Let t = 88 - k. Are t and 3/58 equal?
False
Suppose -k + 452 = 5*m + 154, -k + 5*m = -278. Let c be (k/40 - 7)/(36/10). Which is bigger: -1/3 or c?
c
Let u = -30 - -53. Let o be 8/24 + 246/(-9). Let r = -4 - o. Is u at least as big as r?
True
Let l be (-592)/26 - ((-32)/8 + -2). Is -17 at most l?
True
Let s be (-5)/(-2)*(1 - -1). Suppose s*c + 44 = -31. Let d be (1/(-6))/((-5)/c). Which is smaller: -2/11 or d?
d
Let k(h) = 9*h + 15. Let n be k(-9). Let w = -5 - n. Which is smaller: w or 60?
60
Let b = -10 + 6. Let l = 34 - 38. Let s = 0 + l. Is s < b?
False
Suppose -4*g + 5*g - 12 = 0. Let v = g + -12. Which is greater: v or 2?
2
Let f be (-8348)/(-72)*(-237)/1. Let v = f - -27565. Let n = v - 86. Is n at most as big as -1?
False
Let k be (-406)/(-693) - (-2)/(-9). Let b = k + -2/11. Suppose 0 = -4*a - 4 + 16. Is a greater than b?
True
Suppose 0 = 3*c - 2*c - n - 6, c + n - 4 = 0. Suppose 5*u + c = 3*g, -2*g - 4*u - 9 = 17. Is -5 bigger than g?
False
Let c be (-4)/8*(-4 - 80). Suppose 0 = 14*j - 16*j - c. Is j > -20?
False
Suppose 0 = -3*g + q - 40, -g + 5*g + 5*q + 28 = 0. Let j = 30 + -42. Is g less than or equal to j?
True
Let m(h) = -h**3 - h**2 + h - 2. Let f be m(-2). Suppose a + 3*a + 8 = f. Let z = 243/2 + -124. Which is bigger: a or z?
a
Suppose 4*j = -2*j. Suppose 0 = -2*w + 4*w - 6. Let i = w - 2. Which is bigger: j or i?
i
Suppose 2*q - 3*q = -4. Let r be q - -4 - (-3 + (2 - 0)). Which is smaller: 2 or r?
2
Suppose 2*p = 4*z - 66, z = -0*p + p + 18. Suppose 3*f = z + 21. Let v = -1.6 + 0.6. Are f and v equal?
False
Let i = -914 - -914. Which is smaller: 2/155 or i?
i
Suppose 4*u + 5*k - 6*k - 5 = 0, -5*k = -5*u + 25. Is -0.5 <= u?
True
Let q be 2/(-7)*242/(-96). Let c = q + -3/56. Let a be (-7)/14*(-1 + -1). Which is greater: c or a?
a
Let w = -45 - -6. Let i = -37 - w. Which is greater: i or -1.6?
i
Let r be (-12)/90 - 17/(-15). Suppose 0 = -5*c - 4*i + 14, -2*i - i - 30 = -3*c. Suppose -c*v = 7 - 1. Is v smaller than r?
True
Let f be (4/(-3))/(32/(-12) + 3). Let k be (32/(-12))/f*-45. Is k > -29?
False
Let o(p) = -p**3 + 17*p**2 - 28*p - 24. Let h be o(15). Let r = 4 + -3. Which is smaller: r or h?
r
Suppose 4 = g - 2. Suppose -4 = 2*x - g*x. Let j be (4/(-42))/(8/(-36)). Which is smaller: x or j?
j
Let s = -81.8 - 48.2. Is 0.2 greater than s?
True
Let n = 1461 + -1317. Which is smaller: n or 146?
n
Let a = -3470/7767 - -2/863. Which is smaller: a or -40?
-40
Let c = -10 - -3. Let i = c - -10. Suppose 5*k + 0 - 18 = g, -2 = -2*k + i*g. Is k greater than 1?
True
Let u(z) = z**2 - 2*z + 17. Let q be u(-7). Suppose 5*r - 4 = f, -4*f + 5*r - q = f. Which is bigger: -20 or f?
f
Suppose -4*z = 68 + 224. Is -71 not equal to z?
True
Let i = -7/38 + 2281/418. Is i < 0.1?
False
Let x be 6 - (302 + -1 + -3). Which is smaller: x or -291?
x
Let o(c) = -48*c**2 + 82*c + 20. Let q be o(2). Let i be (-40)/(-7)*(-6)/5. Is q bigger than i?
False
Let m = 34 + -31. Is m >= 4/5?
True
Let a = 18 + -15. Let x(f) = f + 6. Suppose 0 = 2*g, -5*z + 5*g - 3*g - 40 = 0. Let h be x(z). Which is smaller: h or a?
h
Let f = 172 + -169. Is f not equal to -1?
True
Let s be (2/(-5))/((-1)/3). Let l(w) = -6*w + 30. Let a be l(-4). Let x = a + -52. Is s <= x?
True
Let f = 25 - -4. Suppose -40*m - 116 = -44*m. Is f greater than m?
False
Suppose -52*z + 196 = -896. Which is smaller: 27 or z?
z
Let r = 10 + -6. Let t = 10281/7 - 1465. Is t less than r?
True
Suppose -180*o - 29*o = -3135. Let u(q) = -q**2 - 9*q - 5. Let l be u(-6). Is l at least as big as o?
False
Suppose -110 = -7*c - 3*c. Let l be (-1 + (-8)/(-5))*c/3. Which is smaller: l or 2?
2
Let h be 54/4*(-8)/(-21). Let k = h - 137/28. Let w = 88 - 88. Is k greater than or equal to w?
True
Let k be 1/(6/6)*0. Let s = 2192/7 + -312. Which is smaller: s or k?
k
Let x = -37 + 16. Let t be (-4 + (-87)/x)/4. Is 0 > t?
False
Suppose -2443 = -11*u + 395. Which is smaller: 259 or u?
u
Let v = -31/7 + 299/77. Let r = -348 + 4526/13. Which is bigger: r or v?
r
Let t = -192.557 - 0.443. Is t less than 1?
True
Let o be 30*(15/6 - 3). Let g = o + 22. Is 6 bigger than g?
False
Suppose 0*f = 5*f. Suppose 0 = 5*b - 70 - 10. Let m be b/(-28)*3 - f. Which is greater: m or -2?
m
Let f = -18503/276299 + 19/293. Is f < -1?
False
Let c be (11*(-1 - 0))/1. Let n = -40 + 28. Is n < c?
True
Suppose -4*t + 2 - 146 = 4*q, 8 = -2*t. Let a = q + 33. Is a > 18?
False
Let q(a) = -a**3 + 5*a**2 + 2*a - 4. Let d be q(5). Suppose 49 - 9 = -4*u. Let t 