pose 3*c = -5*o + 4*o - 2, -5*o + 2*c + 24 = 0. Suppose o*l - 1 = p. Is 6/13 at most l?
True
Let t be 168/(-45) + 3 + (-11)/(-33). Let b be 0/(-2 - 0/(-3)). Is t > b?
False
Let a = 82 + -132. Let z = a - -48. Let s = -12.1 - -12. Which is greater: z or s?
s
Let f(q) = -3*q - 21. Let r be f(-7). Suppose -4*l + l + 171 = r. Are 57 and l equal?
True
Suppose 0 = 12*u + 44 + 64. Let r = -20 + 14. Is r < u?
False
Let o = 1214/9 + -135. Let j = -156 + 153. Which is smaller: j or o?
j
Suppose -44*v = -46*v + 2. Let a be v*(-1)/((-3)/(-3)). Is a at least as big as -98?
True
Let s be (4 - 4)/((-2)/2) - -1. Suppose -5*u + 39 - 9 = 0. Suppose -u = 3*b, -7 = -5*g + 4*b + s. Which is greater: g or 2/15?
2/15
Suppose -58*v + 57*v = -5. Suppose -v*h - 2*t = 5, -2*h - t = t + 2. Let g be 2/(-6) + (-8)/(-18). Is g less than or equal to h?
False
Let g = -15037/27 + 557. Let v(s) = s**2 - 10*s + 10. Let h be v(9). Let b be -1 + (0 - -1 - h). Is b smaller than g?
True
Suppose -5*l - 2*g = g - 91, l - 35 = 5*g. Is l <= 19?
False
Suppose -7*h + 5*z = -5*h + 24, 4*h = -4*z + 8. Let p(y) = -4*y + 7. Let d(b) = -2*b**2 + 6*b + 2. Let a be d(3). Let g be p(a). Are h and g nonequal?
True
Let s be 10/(-8)*(-408)/510. Let x = -170/9 + 5431/288. Which is bigger: x or s?
s
Let p be 1586/(-2745) + (-7)/(-9) + -1. Let m = 127/490 - -2/49. Let b = p + m. Are b and 2 equal?
False
Let h be 2 - ((-5893)/5 + -1). Let a = h + -1176. Let n = 242/45 - a. Is 0 less than or equal to n?
False
Let f(v) = v + 7. Let a be f(0). Suppose 0 = 2*p + 2*y - 18, -13*y + 45 = 5*p - 15*y. Which is smaller: a or p?
a
Let k be (-4465)/(-38)*-2 + (-3 - 0). Which is bigger: -237 or k?
-237
Let z(p) = -p**2 - 11*p - 9. Let m be z(-8). Suppose 19*a = m*a + 40. Suppose 0 = -4*d + 18 + a. Which is smaller: d or 6?
6
Let n(y) = -6*y - 10. Let o(w) = 3*w + 5. Let u(k) = 3*n(k) + 5*o(k). Let q be u(2). Suppose 3*z - 7 = -37. Do q and z have the same value?
False
Let d be -238 - -1 - (-100)/10. Which is smaller: -909/4 or d?
-909/4
Let f be (0 - 1/(-1093))/((-607)/1821). Is 0 greater than f?
True
Let h(p) = p**2 + 5*p. Let k be h(-4). Suppose -2*b = z - 1 - 1, 0 = -5*z - 3*b + 3. Suppose 4*d + 24 = -z. Which is greater: k or d?
k
Let m = -73/27 - -17747/6534. Which is greater: 0 or m?
m
Let d be 40 + -42 - (-119)/52. Is 0.1 at least as big as d?
False
Suppose 4*g - 4*j = -244, -4*g + 0*j - 214 = 2*j. Let s be ((-6)/(-4) - 1) + 28/g. Suppose 3 + 4 = -3*c + 2*q, -3*c + 4*q = 5. Which is bigger: c or s?
s
Let y be 140/(-60) - 14/(-6). Let b(a) = -a**3 + 9*a**2 - 6*a - 7. Let c be b(8). Which is greater: c or y?
c
Let b = 9 - 11. Let c be (4/3)/(65/(-39)). Which is greater: c or b?
c
Let t = -10920 - -1343180/123. Which is smaller: -1 or t?
-1
Let n = -148 + 143. Which is bigger: 0 or n?
0
Let v be 2*(-2)/28 - (-2)/14. Suppose -x - 10 = -v. Is -9 equal to x?
False
Let w = -0.213 + 1.213. Which is greater: w or -0.08?
w
Suppose -11*j + 358 + 610 = 0. Which is bigger: 87 or j?
j
Suppose 6*b - 3 = 15. Suppose -3*u - c = 31, -2*u + 3*c + b = -u. Are u and -7 equal?
False
Let t = 137/6 - 679/30. Is t <= 4.4?
True
Let y = -219 - -219. Which is smaller: y or 0.188?
y
Let m = 87/52 + -3/4. Suppose 2*n - 19 = -9. Let w be n/(15/6) - 0. Do w and m have the same value?
False
Let f = -98/5 - -15. Which is smaller: f or 0.2?
f
Suppose 2*b = 3*u + 13, 2*b + 16 = 4*b - 4*u. Let h be ((-4)/b)/((-121)/(-77)). Let i(r) = r**3 - 2*r**2 - r + 1. Let j be i(2). Which is greater: h or j?
j
Suppose 2*f = -4*n - 220, -5*n - 2*f = 361 - 88. Is -46 greater than or equal to n?
True
Suppose 3*q + 3*j - 54 = 0, -17 = -2*q + j + 22. Let k be (-4086)/227*(0 - (-1)/(-1)). Are q and k non-equal?
True
Let x be 603/15 - (-7 + (-180)/(-25)). Which is greater: 276/7 or x?
x
Let g be (-175)/(-120) + (-2)/6. Let u = g + -29/40. Which is smaller: 0.3 or u?
0.3
Let p = 2147 - 1438. Is 0.1 at most as big as p?
True
Let i be ((-56)/(-42))/(2/(-9)). Let s be (-2 - i) + (3 - 3). Let x be 1 - s*2/(-20). Which is smaller: x or 1?
1
Let q = -15 + 20. Suppose x = -j + q*x + 148, 3*j + 2*x - 514 = 0. Let f be (-160)/j + (-2)/(-3). Are f and 6 equal?
False
Let j = -4 + -129. Does -131 = j?
False
Let q(a) = a**3 + 11*a**2 + 10*a. Let j be q(-10). Suppose j = 2*m - m + 5. Suppose 5*n + 21 = 3*h, -2 = -4*n - 3*h - 8. Which is bigger: m or n?
n
Suppose -3*b + r = -2, 4*b = 4*r - 3 - 5. Let m = -132 - -664/5. Are m and b unequal?
True
Let f(q) = -q**2 + 8*q + 12. Let d be f(9). Let n = 29 - d. Which is greater: n or 27?
27
Let z = -2144 + 6488/3. Let w = -16/3 + z. Is 12 at least as big as w?
False
Let x(p) = -4*p**3 - 2*p**2 - 2. Let y be x(-2). Let l be (y/55)/(6/(-5)). Let h = 0.3 + -0.2. Which is smaller: h or l?
l
Let s be 1/(-2)*4 - (-164)/15. Let a = s - 9. Let m = 2 - 3. Which is smaller: m or a?
m
Let l(c) = -9*c - 28. Let v be l(-8). Let n be v/276 + 4/(-12). Is n less than -1?
False
Let d = 1.01 - 1.1. Let h = -0.021 - 0.309. Let x = h + 0.03. Is x equal to d?
False
Suppose -3*l = -s - 1, l - 6 - 3 = -4*s. Let r = 65 + -95. Which is bigger: l or r?
l
Let v = 116 - 86. Which is greater: -0.1 or v?
v
Let y = 22 + -22.1. Let g be (-19)/3*(2 - 5). Which is smaller: y or g?
y
Suppose 0 = -2*u + 2, 4*o = -o + 2*u + 723. Let v be 3/(-5) + 116/o. Let g = -1.9 - -2. Which is bigger: g or v?
v
Suppose -4*l - 2*x + 6 = -3*l, -4*l + 3 = x. Suppose 3 = -0*j - j, l = f - 5*j - 13. Which is smaller: f or 1?
f
Let l(x) = -x**2 - 14*x - 32. Let q be 6/(-8) + 363/(-44). Let n be l(q). Which is smaller: n or 0.1?
0.1
Let s be 4 + -265 + 39/(-13). Is -264 greater than or equal to s?
True
Let l = 3116 - 3103.29. Is 2/7 smaller than l?
True
Let n(d) = -7*d**3 - 3*d**2 - 5. Let u be n(6). Let v = u - -76371/47. Is 1 < v?
False
Let z = -31.48 - -38.4. Let p = z - -0.08. Let h = -6.9 + p. Which is smaller: h or 1/3?
h
Suppose 0 = 328*q - 325*q - p + 3, 5*q - 3*p + 5 = 0. Is q at least 9/29?
False
Let c be 4 + -8 - -5 - -1. Let m = 2 + c. Which is smaller: -3 or m?
-3
Let a = -521 + 458. Is a <= -60?
True
Let w be (-16 - -19)*(-2)/(-6). Which is smaller: w or -1/889?
-1/889
Let n be (36/210)/(1/14). Let q = 8 - 5. Which is smaller: q or n?
n
Let m = -43 - 3. Which is greater: -0.2 or m?
-0.2
Let a = -74.92 + 13.7. Let s = a - -61. Which is bigger: 1 or s?
1
Suppose -8*y - c = -9*y + 13, 1 = 2*y + 3*c. Suppose -5*f + 26 = -4*h - 33, 3*h = 2*f - 39. Let p = -6 - h. Is p != y?
True
Let u(m) = -6*m**2 - 10*m - 17. Let p be u(-2). Is p greater than -21?
False
Suppose 42 = -5*g - 53. Let q = g - -20. Which is bigger: 4/11 or q?
q
Let u be (-2)/(-11) + 619/198*406. Let q = u - 1271. Suppose -5*k - 2 = 8. Which is bigger: k or q?
q
Suppose -3*g + 8*g - 5 = 0. Let s = g + -2. Is s bigger than -1?
False
Let d be -5 + 5 + (-6)/(-3). Suppose -3*a = -d*a. Suppose a*t + t = -8. Which is greater: t or -6?
-6
Let i be (((-91)/(-98))/(-13))/((-8)/(-240)). Is -1/21 at least i?
True
Let c = 8153 - 4503. Let s be c/(-4716) + (-4)/(-6). Let r = 1/262 - s. Which is smaller: -1 or r?
-1
Let k be 4/(-10) - 4/(-10). Suppose -3*y + 2*q + 19 = 0, 2*y - 4*q + k*q = 26. Let c be 0 + -1 - (-4)/y. Which is greater: c or -1?
c
Let m = 37.2 - 40. Let x = -2.6 - m. Is x not equal to 18?
True
Suppose 3*g - 56 = 43. Let z = g + -30. Is 3 < z?
False
Let x = 114 + -119. Is x not equal to -5?
False
Let f be (117/(-91) - -1)/(-5*(-12)/28). Let n(x) = x + 4. Let q = -10 + 5. Let k be n(q). Is f <= k?
False
Let l = -222717/5770 - 1/1154. Let z = -39 - l. Suppose 4*k = -g, 2*k + 9 = 2*g - 1. Which is smaller: z or k?
k
Let u = 81 + -42. Let q = 1.3 - -34.7. Let k = q - u. Which is greater: 5 or k?
5
Let d be (0 - (-4)/10)*15. Suppose 4*z + 28 = -4*s, -3*z + 5 = -d*z + s. Suppose -7 + 15 = -2*y. Is z less than or equal to y?
False
Let q = 227 - 226.72. Which is bigger: 0 or q?
q
Let c = 16185 + -145841/9. Is c at least as big as -19?
False
Let a = 0.61 - 0.55. Let o = a - -0.04. Which is greater: o or -0.08?
o
Let z = -283 - -260. Which is smaller: -17 or z?
z
Let s = -12.7 + -3.3. Let y = -0.01 - -0.21. Which is smaller: s or y?
s
Let d = 1/613 + 609/2452. Which is bigger: d or 70/11?
70/11
Let n be 86/7 + 4/(-14). Let d(t) = -t**2 + t. Let c(x) = -6*x**2 + 9*x + 8. Let v(m) = -c(m) + 5*d(m). Let f be v(7). Is n less than