 1 = a, -4*x = 2*q - 16. Which is smaller: t or q?
t
Suppose 24*l - 25*l = -3. Is 4 bigger than l?
True
Let x = -1203.1 + 1257. Let o = x - 54. Is o > -47?
True
Let q(h) = -h**2 + 34*h - 227. Let f be q(25). Are f and -44/35 equal?
False
Let o be (1122/(-85))/(0 - 4/(-10)). Is o at least -31?
False
Let u(d) = -d - 8. Let f be u(-11). Suppose -3*l + 2*g = -24, 41*g = 2*l + 40*g - 17. Which is bigger: l or f?
l
Let s = 0.1 + -0.1. Let h be (-19)/((-2)/(-4) + (-649)/550). Let t = -28 + h. Which is bigger: t or s?
s
Let p = 3 - 2.84. Let j = p + -0.27. Let a = j - 4.89. Which is bigger: a or 0?
0
Let q = 1 + -5. Let c be (6/72)/((-2)/q*-1). Is -0.1 smaller than c?
False
Let d = 8.7 - 8.712. Let k = 0.088 - d. Is -5.4 greater than or equal to k?
False
Let h be ((-3868)/(-5940))/(((-50)/24)/5). Let n = h + 2/275. Suppose 5 = -2*u - 3*u. Is u > n?
True
Let a(i) = i**3 - i**2 - i + 15. Let v be a(0). Suppose -2*d + 64 = 2*d. Which is smaller: d or v?
v
Let f = 84 - 81. Let a be 6/(-4) - 62*f/(-6). Which is smaller: a or 29?
29
Suppose 5*a - 852 = h, a - 2*h - 180 = -5*h. Is 170 > a?
False
Suppose 5*y - 4*b + 41 = 0, 2*y - 2*b = -7*b - 23. Let j = -8.6 + -1.4. Let x = -9 - j. Is x greater than or equal to y?
True
Let r(i) = i**3 - 3*i**2 + i + 2. Let h be r(3). Suppose v + 60 = 6*v - 3*q, -5*v + 60 = h*q. Suppose -m = m - v. Which is smaller: m or -1?
-1
Let r = 2.4 + -2.6. Let c = r + 0.6. Is 0.1 greater than c?
False
Let h = 0.438 - 0.018. Let c = 19.42 - h. Which is bigger: -1 or c?
c
Let h = 229/120 - 38/15. Suppose 5*b - y - y = -10, 3*b + y = -6. Which is smaller: h or b?
b
Let j = 21.9 + -23.9. Let i = -49/2 - -26. Is j greater than i?
False
Let k be (-2)/((-5588)/1318 + 2). Let t be 739/246 + -4 + 1. Let i = t - k. Which is smaller: 0 or i?
i
Let l = 13.46 - 13.39. Which is smaller: l or -29?
-29
Suppose -4*u = -1094 - 1134. Which is greater: 558 or u?
558
Let g be 72/220 - 24/60. Let y(k) = -k**3 + k**2 + k. Let h be y(0). Which is bigger: h or g?
h
Let v = -0.5 + -0.5. Suppose 13*k = 18*k - 900. Let a be 4/(-5)*(-50)/k. Which is smaller: a or v?
v
Let i = 12.236 + -0.136. Let o = i + -12. Is 0.2 greater than o?
True
Let y be (-1)/(-2) + (-5)/8. Let a = 39571/5 - 7915. Which is bigger: y or a?
y
Let z = -0.08 - -3.08. Suppose 4*b + 52 + 12 = 3*q, 0 = 3*q. Let s(i) = i + 14. Let y be s(b). Which is bigger: z or y?
z
Suppose -v = -1, 2*c - 7*v + 2 = -9*v. Which is smaller: -3 or c?
-3
Let x be ((-9)/(-6))/((-15)/320). Suppose -5*p - 167 = 2*o, 2*p - 3*o + 129 = -2*p. Which is bigger: x or p?
x
Let n = -70 - -4. Let b = 4270 + -4271. Which is bigger: n or b?
b
Let p(s) = -s**2 + 3*s + 2. Suppose 8 = 2*o + j, j - 20 = -5*o - 4*j. Let x be p(o). Let f be 12/8 - (3 + x). Are -7 and f equal?
False
Suppose -2*k - 3*s + 17 = 0, 0 = -4*k + 2*s - 3 - 3. Which is smaller: 9/77 or k?
9/77
Suppose -71*h = 6219 + 14442. Is -291 less than h?
False
Let m be (-34)/136 - (-25)/(-4)*-1. Do m and 6 have the same value?
True
Let x = -1.67 - 5.33. Are x and -16 non-equal?
True
Let u = 56 + -54. Suppose -2*f + 50 = 4*j, 3*f = 2*j + 3*j - 57. Suppose 0 = -2*n + 6*n - j. Is u smaller than n?
True
Let p = 3.4 - 3.6. Which is greater: p or -14?
p
Suppose 3*w + 4*x - x - 102 = 0, -31 = -w + 2*x. Suppose -4*v + 3*v - w = -4*f, -2*f = -v - 17. Suppose -f*d + 42 = -5*d. Is d bigger than 13?
True
Let f be (4 + 0)/(2/9). Suppose -p = p - f. Let j = p + -9. Does j = -2/37?
False
Let r = 30.5 + -42.5. Let c = -6.8 + 7. Which is greater: r or c?
c
Suppose -70 = 3*c + 2*c. Let b = 16 + c. Let i be 1*(b + (-12)/9). Is 7 less than or equal to i?
False
Let w be (12 - 0) + -2 - -158. Does 167 = w?
False
Let f(w) = -w**3 + 5*w**2 + 6. Let j be f(5). Let m = 20 - 20. Suppose -3*d + 8 = -4*o - 5, 4*d - 5*o - 18 = m. Is d at least j?
True
Suppose 2*n + 55 + 23 = -3*m, 0 = -5*n. Let v = 232/9 + m. Let o be ((24/20)/(-6))/(2/(-10)). Which is greater: o or v?
o
Let w be (-98)/10 + 24/30. Let r be (-8)/28 - (-564)/(-84). Which is bigger: r or w?
r
Let s be 215715/(-150) - ((-164)/40 - -4). Do s and -1438 have different values?
False
Let m(k) = k**3 - 8*k**2 + 11*k - 8. Let d = -17 + 24. Let t be m(d). Suppose -t + 56 = -4*a. Is -9 less than a?
False
Suppose 0 = 3*y - 2*y. Let f be y/(-2) - (3 + 9)/3. Which is smaller: f or -8?
-8
Let z(v) = -v**2 + v + 2. Let o be z(-3). Let h be (7 + -11)*o/(-8). Suppose 13*b + 32 = 9*b. Which is smaller: h or b?
b
Suppose 346*r - 359*r - 858 = 0. Is r smaller than -68?
False
Suppose 8 = j - 1. Let n = -1308 + 1312. Are n and j equal?
False
Let y = -4336 - -2584. Which is bigger: y or -1753?
y
Let c = 194/315 + -22/63. Suppose 15 = -4*n + m, -n + m - 5*m = -9. Let a = -2 - n. Is c < a?
True
Let m = -261 - -7571/29. Suppose -3*t = -5*t. Which is smaller: t or m?
t
Let h be 0/(8/(-16)*(4 - 6)). Is 6/433 at least h?
True
Let f = -3.4 + 16.4. Let n = f - 13.2. Which is bigger: -12 or n?
n
Let k be -15*(22/(-6) - -3). Let p = k - 6. Suppose 3*c - p*c = 0. Which is smaller: c or 1?
c
Let m = 206.063 - 0.063. Is -0.1 > m?
False
Suppose -15 = 2*s + s. Is -1 >= s?
True
Let a be 14/18*84/(-28)*3. Do -7 and a have different values?
False
Suppose -3*v - 2*l + 108 = l, -3*l = 2*v - 68. Let c = -43 - v. Is c greater than -83?
False
Let v = -50.0389 + 0.0389. Is v greater than 0.04?
False
Let i = 171 - 160.1. Let b = 54.9 - i. Is b not equal to 1?
True
Let g = 32.922 + 0.078. Let p = 32 - g. Is -2/29 > p?
True
Let k be (-120)/(-110)*(-1)/(-2). Let h be (-48)/(-32) + (-25)/14. Are h and k nonequal?
True
Let s(a) = -2*a**3 - a**2 + 28*a + 1. Let q be s(-4). Let c be (-3 - -1) + (-2254)/(-804). Let t = c + 2/67. Are q and t unequal?
True
Let n = 1541 - 1975. Is n less than or equal to 0?
True
Let k = -16 - 4. Let j = k + 25. Let y be (2/35)/((-1)/j). Which is bigger: y or -1?
y
Let t(u) = -3*u**2 - 13*u + 5. Let m be t(-4). Let v(b) = -2*b - 6. Let x be v(-8). Which is greater: m or x?
x
Let v(u) = u**2 - 9*u - 5. Let b be v(-4). Let d = -73 + b. Is -25 less than d?
False
Let h = 0.35 - 0.41. Let c = h - 0.02. Which is greater: 1 or c?
1
Let p be (-5)/((-10)/(-8)) + 4. Let u be -1 + (-5)/25*p. Is -34 > u?
False
Let l = 103715562 - 155884499207/1503. Let s = -2/1503 - l. Suppose 0*o + 35 = 5*o. Is o greater than s?
True
Let i = 1581801/440 - 3595. Which is smaller: 0 or i?
0
Let o = 11 - 5. Let q = 16 - o. Let r be ((-25)/q - -3)*6. Which is bigger: r or 7/2?
7/2
Let m be (3/(-2))/((-39)/52). Suppose -3*w + 18 = 3*n, m*n - 12 = -4*w + 2. Let g(k) = -k**3 + 5*k**2 - 2*k - 6. Let i be g(n). Is -17 > i?
False
Suppose 4*s = -9*s. Let i be 2/(-6)*9/(-42). Do s and i have the same value?
False
Let c = -248 - -613. Which is smaller: 367 or c?
c
Let v = 2/237 + 571/16590. Let k be (-1 + 3/(-3))*2/4. Is v bigger than k?
True
Suppose 4*o = 12, 4*p + 26*o + 1617 = 21*o. Which is smaller: 1 or p?
p
Let g = 8.3 - 7.665. Let y = g - -0.065. Which is smaller: 0 or y?
0
Let a = 2.123 - -56.877. Which is greater: -6 or a?
a
Suppose 0*t - 4*t - o + 147 = 0, -t + 45 = 3*o. Let v = t - 40. Is -5 greater than v?
False
Let c = -1.9 + 2. Let j = -8.73 - 0.27. Let d = j + 9.07. Is d <= c?
True
Let i = 74.6 - 63.2. Is -1/4 smaller than i?
True
Let t be 1*6 - 5372/918. Are t and -1 non-equal?
True
Let z(l) = -l**2 - 4*l - 3. Let v be z(-2). Let r = 177 - 186. Let s be (5 - 77/7)*6/r. Which is smaller: v or s?
v
Let d = -1798 + 1544. Are -254 and d equal?
True
Let y = 1 + -1. Let x be ((-21)/(-224))/(108/(-180)). Is y >= x?
True
Suppose 127 - 50 = 7*p. Suppose -p*y + 6*y - 100 = 0. Let u = 19 + y. Is 1/25 greater than u?
True
Suppose 18*p - 135 = 9*p. Let t be (p + -16)/(2/2). Is t != -4/7?
True
Let h be -7 - (-1 - 62/12). Which is greater: 2 or h?
2
Let f be -4*4*(-2)/(-4). Suppose 3*j + 15 = -c + 9, -7 = 3*c - 2*j. Is c at most f?
False
Let c = 13.83 - 13.83. Do c and -505 have the same value?
False
Let d = -37 + 35. Let k be 2/(4 + d) - 25. Let o = -57 - -34. Is k bigger than o?
False
Let s = -218 + 217. Is s > -177?
True
Let t(c) = -19*c - 3. Let j(f) = -f - 4. Let x be j(-2). Let o be t(x). Let g = o + -737/21. Are g and 0 equal?
False
Suppose -5*x = -5, 29 = -8*c + 3*c + 4*x. Is c bigger than -71/19?
False
Let x(u) = u**2 - 13*u + 35. Let o be x(4). Is -1/155 > o?
True
Let o = -83 - -84. Let 