= 49194/5 + -9839. Is x less than f?
True
Let g be (8/20)/((-2)/10). Suppose 0 = -3*u - 3. Let i be ((-3)/(-6))/(u/g). Which is smaller: 2/11 or i?
2/11
Let i = -2030 - -105557/52. Is i not equal to 1?
True
Suppose c - 13 = m, 3*m - m = c - 17. Let x be 33/(-30) + c/15. Is x less than or equal to -1/3?
True
Suppose 0 = -2*g - 219 + 183. Are -18 and g non-equal?
False
Let y = -7447 + 37397/5. Let d = -556/15 + y. Is d greater than -6?
True
Let j be (3 - 12)*(-5)/(-310). Let v = j + -2/93. Is v less than -5?
False
Let v = 56 + -12. Let j be 11/v + 34/(-8). Let l be 18/(-24) - (-1)/j. Which is smaller: l or -3/5?
l
Let j(c) = -38*c + 349. Let r be j(32). Which is greater: -866 or r?
-866
Suppose 3 - 1 = 4*a - 2*s, 3*s = 5*a - 4. Let p(j) = j**2 + 15*j + 56. Let v be p(-9). Which is smaller: v or a?
a
Let d be 2/(-12) - 69/18. Let u(o) = 11*o - 3. Let h be u(d). Let y be h/80 + (-18)/(-45). Does y = 1?
False
Suppose -3*j + 15 = 0, 0 = 3*d - j + 3 + 11. Let t be 5/d*165/(1 + -6). Is 56 > t?
True
Let a = -589 + 2944/5. Suppose 5*x + 16 = 3*b, 3*b + b + 4*x = 0. Let i be b/2 - 20/12. Which is bigger: a or i?
a
Let w = 16 - 12. Let p = -21 + w. Which is greater: p or -16?
-16
Let a be (-8442)/(-72) + (-1)/4 - 6. Is a smaller than 335/3?
True
Let u(m) = -m**2 + 7*m - 7. Let c be u(6). Which is smaller: c or -6/13?
c
Let q(c) = c**3 + 5*c**2 + 3*c + 16. Suppose 5*z - 51 = 2*z. Suppose -o + 12 = z. Let p be q(o). Which is greater: 1/9 or p?
p
Let b be ((4 + -5)*3)/(-3). Which is smaller: 12 or b?
b
Let h = -926.2 + 997.63. Let s = 71 - h. Let m = s + 0.23. Is -3 < m?
True
Let w be -3 + (10 + 1 - (-3 - -3)). Let f = w - 8. Which is smaller: 1 or f?
f
Let r = -74.9 - -36.9. Let d = 0.24 - 0.44. Which is smaller: d or r?
r
Let w = -12.9669 + -0.0331. Which is greater: -2/11 or w?
-2/11
Let o = 1.025 + -1.195. Which is smaller: 30 or o?
o
Suppose -5*f + 207 = 192. Which is greater: 253 or f?
253
Let z = 7/51 + 257/357. Let p = z - 79/84. Let a be (-4 - -1)*(-1)/3. Is a less than p?
False
Let w be (-259)/(-14) - (0 - 3/2). Is w equal to 16?
False
Let k be (132/16)/((-5)/20). Let m = -26 - k. Suppose -c = m*c - 8. Are c and 5/12 nonequal?
True
Let o = 24 - 14. Suppose 4*i - l - 205 = 0, -140 = -3*i - 4*l + 2*l. Suppose 3*y = -2*y + i. Is o != y?
False
Let k be (-31 - -35) + -2*(-1)/1. Is 6 less than or equal to k?
True
Let a(i) = -i - 1. Let g be a(0). Let s(o) = 35*o + 2. Let u be s(g). Is -33 greater than or equal to u?
True
Let l = 13897/4 + -3446. Is 27 >= l?
False
Let v = -0.93 - -53.93. Let p = v - 68. Let r = -0.09 + -0.11. Is r <= p?
False
Let m be (-12)/(-2394) + (0 - 0). Is m at least as big as 1?
False
Let g = 476271/13 - 36712. Let i = g - -76. Is i bigger than 1?
False
Let y = -0.2 + 1. Let i = 6 + -6.9. Let r = i + y. Which is greater: r or 2?
2
Let b = -1 - 0. Let x = b - -1. Suppose 7*c = -830 + 956. Is x > c?
False
Let z = -8225/69 + 358/3. Let f be (7 - 207/30)*(2 - 8). Is z at least f?
True
Let d = 147 + -146.631. Let y = d + -0.069. Is y <= -3?
False
Let n = 658 + -426. Let v = n + -231.9. Let q = -40 + 26. Which is bigger: v or q?
v
Let y = 69/2 + -35. Let g(b) = -b**2 + 4*b - 1. Let d be g(0). Do y and d have the same value?
False
Let u = 4.4 + 2. Let n = 36.4 - u. Is 1 < n?
True
Suppose 9*f - 13*f = -8. Suppose 2*d - 2*z = 4, -f*z + 2 = -3*d + 6. Let j = 43 - 302/7. Which is bigger: d or j?
d
Suppose -3*r - 10 = 4*s, -4*r + 3*s = 9 + 21. Let q(i) = -i**3 - 9*i**2 - 2*i - 1. Let z be q(-8). Let h = -54 - z. Which is greater: r or h?
h
Let l = 0.1 - -2.6. Let m = 0.23 + 0.07. Let p = m + l. Which is greater: p or 4?
4
Let z = -1619 + 11408/7. Which is bigger: 12 or z?
12
Suppose 716 = -5*j - 3*y, -3*j - 2*y + 133 - 562 = 0. Which is smaller: j or -137?
j
Let u = -16/213 + -907/213. Is u < -5?
False
Let u(b) = b**3 - 6*b**2 + 7*b - 4. Let p be u(5). Let k = -29 + 40. Suppose k*o - 6*o = 25. Which is smaller: o or p?
o
Let s = -0.0866 + -31.9134. Which is smaller: s or -2/5?
s
Let w = -80.994 - -81. Let t = w - -3.994. Which is bigger: -3/7 or t?
t
Let s be (-8)/12 + 2 + -3. Let r = 5 - -1. Suppose 0 = 2*w + r - 2. Which is bigger: w or s?
s
Let g = -2317 + 1923. Which is bigger: g or -398?
g
Let n be 475/(-125) - -2*(-2)/(-10). Let y = n - -16/5. Let q = 8 + -9. Which is bigger: q or y?
y
Let g = -2.1 - -2.22. Suppose 3*v + 2*m = 2 + 12, 0 = -m + 4. Let d be ((-3)/v)/(-3 + 6). Which is greater: d or g?
g
Let o(r) = r**2 + 18*r - 12. Let h be o(-17). Let d = -24 - h. Which is greater: d or 7?
7
Let a(w) = 3*w**2 + 2*w**3 - 2*w**3 + 2 - 3*w - 2*w**3. Suppose -2*y - 8 + 0 = -3*v, -2*y = 2. Let j be a(v). Is j smaller than -1?
True
Let c = -5.455 - 1.235. Let f = c - -6.6. Which is greater: 7 or f?
7
Let j = -1087 - -1019. Is j smaller than -70?
False
Let i = 2734 + -112100/41. Is i equal to -1?
False
Let d = -581 - -6397/11. Let v = 21 - 21. Suppose v = -2*l - 3*l. Which is smaller: l or d?
l
Let g = -1117 + 2721. Is g less than or equal to 1605?
True
Let k = -21.6 - -22. Let l = 0.3 - k. Which is smaller: 16 or l?
l
Let m(k) be the third derivative of -k**6/120 + 4*k**5/15 + 17*k**4/24 + k**3/2 - 7*k**2. Let g be m(17). Are g and 0.3 non-equal?
True
Suppose a - 15 = -4*d - 1, -5*a + 5*d = 5. Let h = 0.3 - 1.3. Let w = h + 0. Is w greater than a?
False
Let y = 6 + -3. Let u = -98 - -88. Does y = u?
False
Let b(l) = l**2 - 5*l - 15. Let j be b(8). Let u = j - 9. Which is bigger: -9 or u?
u
Let x(b) = 7*b**2 - 49*b + 1. Let c be x(7). Which is smaller: 0.889 or c?
0.889
Suppose -18*g = -5*g - 52. Is 37/11 at least g?
False
Let z be 150/(-8) - 1/4. Suppose 5*n + 3*j - 25 = 4*j, 0 = 2*n + j - 10. Suppose -6*i - 3*a = -i + 112, 0 = -n*i - 2*a - 108. Do i and z have different values?
True
Let i be (-5)/3 + (-4)/12. Let t be (1/2)/(i/12). Let y be (0 + -1)*(-5 - -7). Is t greater than or equal to y?
False
Suppose -n = o - 1, 5*o - 5 = -n - 0. Which is bigger: n or -12/25?
n
Let r = -73.58 + 73.6. Which is bigger: 18 or r?
18
Let u be 2/((-128)/244) + (-12)/(-3). Is u at least -0.3?
True
Suppose -10*k + 6 = -7*k + 2*l, 3*k - 2*l = -6. Let h = -11/5 - -17/7. Are h and k nonequal?
True
Suppose 11*u - 117 = -28*u. Is -36 less than or equal to u?
True
Let o = -1650 + 1653. Is o bigger than 11?
False
Let k = -3.18 - -3.2. Let h = 0.28 - -0.72. Which is bigger: h or k?
h
Let n = -1/40594828 + 990676191997/385041943580. Let z = n - 2/1355. Are z and 2 non-equal?
True
Suppose -260*z = -255*z + 150. Which is smaller: -61/2 or z?
-61/2
Let g = 205 + -202.81. Let y = 1.99 - g. Let a = -0.6 - -1. Which is greater: y or a?
a
Let s be (4 - 3) + 3 + -2. Let l be (s/(-6))/((-5)/(-30)). Let a = l - -1. Are -1/4 and a nonequal?
True
Let d be (3/6)/(2/8). Let q be -9 - 1 - (d - 0). Are -13 and q unequal?
True
Let t(g) = -4*g + 0*g**2 - 9 - g**2 + 11*g. Let b be t(6). Suppose -13 = o - 4*y - 21, -2*y = -2*o - 2. Is o greater than b?
False
Let r be ((-2)/3)/((-16)/(-72)) - -2. Which is bigger: r or 1/552?
1/552
Let k = -2 + -5. Let z = 716 + -708.94. Let n = k + z. Which is smaller: n or -1?
-1
Let a = 0.16 - 12.16. Let j = -2858 - -2853. Which is smaller: a or j?
a
Let i = 0 + 0. Let d be 4/170*(-70)/21. Let c = d + -23/357. Is c less than or equal to i?
True
Let f = 12 + -9. Let r be (-2)/2 + f/3. Let z be r - 4 - -3 - 0. Do 1/6 and z have different values?
True
Suppose 0 = -3*o - 3*o - 60. Let z be 872/(-40) - (-2)/o. Do -23 and z have the same value?
False
Suppose -6*k + 60 + 408 = 0. Let r be 147/k + (2 - 4). Is -1 > r?
False
Let w = -24.968 - 0.032. Let h = -357 - -381. Let u = h + w. Is 6 at most as big as u?
False
Let g = -21 + 21. Let x = g - 1. Is x greater than 4/9?
False
Suppose -7*p = -4*p - 21. Suppose -r + 55 - p = 0. Which is smaller: 49 or r?
r
Let p be (6/(-8))/(2/72). Let k = 7 + p. Let m = -11 - k. Which is smaller: m or 7?
7
Let z(y) = y**2 + 9*y - 4. Suppose 0 = -26*g + 29*g + 24. Let j be z(g). Which is smaller: j or -13?
-13
Let h = -51 - -72. Let u = h + -12. Do u and 9 have different values?
False
Let t = -47 + 56. Let q = 9 - t. Is -4/43 equal to q?
False
Suppose -569*j + 566*j - 6 = 0. Suppose 5*c + 0*c + 47 = -3*y, -5*c = 4*y + 51. Is j smaller than c?
False
Let d = 653 - 654. Which is smaller: d or -10/209?
d
Let g be ((-61632)/980)/9 + 