t w be (-68)/(-17)*(-2)/12. Let v = 1 - 3. Is v greater than w?
False
Suppose -5*a + 28 + 17 = 0. Suppose n - 2*j + 0*j = -a, 4*n - 3*j + 11 = 0. Is n greater than -3/7?
True
Let s be (1/10)/(2/188). Let d be (2/6)/(30/866). Let q = s - d. Is q <= -2/9?
True
Let n = 13 + -19. Let w = -6 - n. Is -1 smaller than w?
True
Let p = 0.13 + -0.13. Let j = p + 1. Let x = 0.1 + -0.2. Is x less than or equal to j?
True
Suppose -8 = -v - 1. Let k be (-4 - -3)*2/v. Let i be -2 - (-4 + (1 - -1)). Which is smaller: i or k?
k
Let w be 18/(-24) - 33/(-12). Let y be 15/55*w/(-3). Which is greater: -0.3 or y?
y
Let b be (-197)/255 - 2/(-5). Let m = b + 2/51. Is -1/3 >= m?
True
Suppose 0*y - 9 = -3*y. Let j be (2/(-4))/(y/(-24)). Let s(p) = p**3 + 8*p**2 - 19*p + 13. Let n be s(-10). Which is smaller: n or j?
n
Suppose 0 = 4*u + 4*k, -2*k + 4 = -u - 7*k. Let x be ((-4)/(-8))/(u/6). Suppose -f = x*p + 14, -2 = 4*p + 18. Which is greater: f or 0?
f
Let h be (2/3)/((-14)/(-273)). Are h and 13 nonequal?
False
Let a = -0.3 + -0.1. Let l = a - -0.3. Which is smaller: l or -5?
-5
Suppose 2*k = 4*k + 2. Is -2 >= k?
False
Let p be (-21)/(-9) - 4/(-6). Let o = -3 + p. Let m = 0 - o. Which is greater: m or -2?
m
Suppose -3*n + 5*d - 35 = 2*n, -5*n - 27 = -d. Let o = -0.2 - -0.1. Which is smaller: o or n?
n
Let h = -1.4 + 1. Which is bigger: 0 or h?
0
Let r be ((-12)/45)/(2/3). Suppose -3*c + 6*c = -2*k + 15, -4*k - 20 = -4*c. Suppose p + p = k. Is r greater than or equal to p?
False
Let x be 1/(-2) - 6/(-4). Let w be 6/(-4)*(-130)/39. Suppose 2 = 2*o - 0*o, 2*g = w*o - 1. Which is smaller: g or x?
x
Let j be (-122)/5 - (-3 + 72/20). Which is greater: -1 or j?
-1
Let a be (-4)/(-6) - (-2 - -2). Let c = -173 - -172.4. Is a < c?
False
Let m = -22 + 17. Let t = m - -6. Suppose 3 = 2*d - q, 0 = 4*d - 4*q + 2 - 14. Which is greater: d or t?
t
Let o(z) = -5 + 7*z - 8*z + 0*z. Let f be o(-6). Is 3/11 less than or equal to f?
True
Suppose p = 4, 0*q - 5*p - 160 = -2*q. Is 0.1 bigger than q?
False
Suppose j - 440 = 6*j. Let n = -527/6 - j. Which is bigger: n or 2?
2
Suppose 3*y + f - 65 = -3*f, -f = -y + 17. Are y and 19 equal?
True
Suppose -o + 2 = -2*o. Which is smaller: o or 4?
o
Let f be 1 + ((-1)/9)/(7/119). Let t(a) = -a - 4. Let p be t(-4). Is f at most p?
True
Suppose 22 = 2*m + 4*y, -2*m + 0*y - 10 = -4*y. Suppose 4*n = -5*t + 23 - 8, 0 = m*t + 5*n - 9. Which is bigger: 1 or t?
t
Let w = -11 + 10.96. Let x = 0.5 - 0.4. Which is smaller: w or x?
w
Let v(x) = -x**3 + 13*x**2 + x - 13. Let i be v(13). Suppose r - 2*r - 1 = i. Which is smaller: r or -2/5?
r
Let j = -0.786 + 0.096. Let u = 0.01 - j. Is -2 bigger than u?
False
Let j(p) = -p**2 - 3*p + 2. Let q be j(-4). Suppose -8 = g + 3*g. Is g less than q?
False
Suppose -5*w = -o + 3*o - 41, 3*o + 5 = 2*w. Suppose 40 = 3*h - w*h. Let q be 8/25 - (-4)/h. Are q and -1 equal?
False
Suppose -4*l - 6 = -2*l. Which is smaller: l or -4?
-4
Suppose 19 = 4*l - 5. Suppose -2*q = -0*q - l. Which is greater: 2 or q?
q
Let m(h) = -h**3 + 6*h**2 + 8*h - 5. Suppose 5*q - 16 = x + 22, -x + 32 = 5*q. Let d be m(q). Suppose -d*n - 6 - 2 = 0. Which is bigger: -2 or n?
-2
Suppose 2*l - 10 + 2 = 0. Which is greater: l or 6?
6
Let p = 1 - 5. Let a = p + -1. Let q = -3 - a. Is q bigger than -0.1?
True
Let t(c) = 4*c**2 + 4*c - 4. Let s be t(2). Which is smaller: 19 or s?
19
Let m = 3.3 + -5.3. Which is smaller: m or 9/4?
m
Let a(u) = 6 + 2*u**2 - 4 - 3. Let m be a(1). Let q = -4/19 - -58/95. Which is greater: q or m?
m
Let k = 18/5 - 1196/335. Is -1 >= k?
False
Let r be -2 + 0*(2 - 1). Suppose 0 = 5*o - 0 - 5. Let x be 1/(-12)*(-3)/o. Is x less than r?
False
Suppose -1 = -w - 14. Is w <= -13?
True
Let p = -2 + 1.9. Let o = p - 0. Let j = 69 + -66. Which is smaller: o or j?
o
Let a be (-9)/30*(-85)/(-6). Is -5 greater than or equal to a?
False
Let w be (34/8)/(6/48). Does 31 = w?
False
Let v be ((-4)/6)/((-15)/(-9)). Suppose -b + 4*b + 3 = 0. Is b at least v?
False
Let t = -23 - -23.19. Which is greater: -1/2 or t?
t
Let i(f) = f - 3. Let r be i(4). Suppose -2*v - 13 = -r. Let y be (v/(-9))/(-2) - 0. Which is bigger: y or 0?
0
Let u = 32 - 13. Is -2/5 != u?
True
Suppose -k = 5*c + 4, -4*c = 4*k - k + 1. Let b be ((-3)/(-6) - k)*2. Let m = -139 - -2083/15. Do b and m have the same value?
False
Let a = -12 - -12.1. Is a not equal to -39?
True
Let n = 176 + -190.4. Let y = 23 + n. Let x = -9 + y. Which is bigger: x or 2/5?
2/5
Let v(o) = o**3 + 21*o**2 - 20*o + 46. Let t be v(-22). Are -36/5 and t nonequal?
True
Let g(x) = -14*x - 6. Let u be g(-4). Let m be 2/9 - u/306. Let v = -373 - -374. Which is smaller: m or v?
m
Let v be 3/((-9)/2) + 208/429. Let y = -7 + 5. Which is greater: y or v?
v
Suppose -8*q = -4*q. Let k be 5/10*2/(-38). Is q at most k?
False
Suppose 5*s - 8 = 52. Let x = s - 17. Does x = -5?
True
Let q be 4/6 + (-16)/6. Let f be (1 + 7)*1/2. Let l be (4/(f - 2))/(-2). Is l < q?
False
Let k = -9 - -14. Is 5 <= k?
True
Suppose y + 11 = a, 4*y + 5*a + 68 = a. Let u be (-4)/y - 44/7. Let b = -4 - 1. Is u >= b?
False
Suppose g = 4*f - 14, -2*g - g + 2*f = 2. Let r = -9 - -11. Are r and g equal?
True
Let u = -21 - -25. Let y be (-20)/27 - u/(-6). Is y <= 0?
True
Let h be (6/171)/((-4)/12). Let v be (-5)/(-15) - 4/(-6). Let z(y) = y**3 - 3*y**2 + 1. Let w be z(v). Is h <= w?
False
Let p = -19.1 + 20. Let d = p - 0.5. Let o = -2.1 + 2. Does d = o?
False
Let x = 6 - -14. Suppose 4*k = -16, x = 4*h + k - 4*k. Suppose h*j - 4*j - 2 = 0. Which is smaller: j or -3?
-3
Suppose 4*g = 20, -g - g + 25 = 5*x. Suppose 0 = x*a - 3 - 12. Suppose v - t = 1, v - 1 = -0*v - a*t. Is 4/7 bigger than v?
False
Let z be 1/(2*(-3)/6). Let j = z - -3/5. Is -1 at most as big as j?
True
Let i be 1/((-2)/2) + 4. Is 3 != i?
False
Let j(y) = 6*y - 53. Let z be j(6). Is -17 >= z?
True
Let m be -21 + 3/(-3) + 1. Is m <= -21?
True
Let w = -14 + 17. Suppose 3*y - y = w*k + 6, -5*y + 15 = -2*k. Suppose -4 = 2*x - 0*x. Which is greater: k or x?
k
Let a = 709583410072/1065 + -666275580. Let q = a + -16/1065. Let x = q - -78. Which is bigger: x or 0?
x
Let s(a) = 5*a**2 - 4*a + 4. Let y(b) = -6*b**2 + 4*b - 4. Let v(i) = -5*s(i) - 4*y(i). Let w be v(3). Is -1 at least w?
True
Let a(c) = -c**2 - 9*c - 9. Let i be a(-8). Let n be i/(-2)*6/(-11). Which is smaller: n or 1?
n
Suppose -4*w - 4 = -3*b, -3*b + 21 = 5*w - 1. Suppose 3*g - b*m = 1, -5*m = g - 4*m - 12. Suppose 0*o = -o - 2*f - 7, -3*f - g = 5*o. Does -1/3 = o?
False
Let d = -11 + 14. Suppose -24 = -5*r - 2*v, -6*r + d = -4*r + 3*v. Which is smaller: 2 or r?
2
Let o be 18*1 - 10/(-5). Let h be (-2)/(-8) - (-11)/o. Let r = -2 - -1. Are r and h non-equal?
True
Let i = -41 - -30. Which is bigger: i or -10?
-10
Suppose 0 = -5*m + 5 - 0. Let q = -2518/21 + 120. Is m less than or equal to q?
False
Let v(b) = -20*b. Let z be v(-7). Let c be 6/(-10) - 6/z. Let h = 31/70 + c. Is -0.2 smaller than h?
False
Let n be (5 + -8)*3*-1. Let h be n/12*(-2)/(-3). Which is smaller: 0.1 or h?
0.1
Let r(a) = -2*a**2 + a. Let i(f) = -f + 5. Let q be i(6). Let s be r(q). Let h = -3 + 2. Is h at most as big as s?
False
Let i = 19.2 - 19.1. Let z = 10 - 24. Which is smaller: z or i?
z
Let i = -2.8 + 2.8. Is 2.5 greater than i?
True
Suppose 3*n - 28 = 17*n. Is n at most -2?
True
Let f(b) = b**3 + 11*b**2 - 26*b + 1. Let u be f(-13). Which is smaller: -2/313 or u?
-2/313
Suppose 4*c = -0*c. Which is greater: -3/5 or c?
c
Let h = 15 + 21. Let j be 1/5 + h/(-80). Suppose 7 = 5*s - 2*o - 0, 2*o = -2. Does s = j?
False
Let k be (-12)/(-9)*(-2)/4. Let u be (1/2)/(4/(-16)). Which is greater: u or k?
k
Let z = -7 - -6.5. Let o = z + 0.3. Is -0.2 less than o?
False
Let q be (6/4)/((-12)/(-16)). Let u(b) = 9*b - 3. Let x be u(4). Let n = x - 65/2. Is q smaller than n?
False
Let v(o) = -3*o - 5. Let b be v(-14). Is b greater than or equal to -1?
True
Let y = 6.79 - 6.5. Let s = y - -0.01. Which is smaller: -1 or s?
-1
Let r(o) = -o**2 + 2*o - 2. Let c be r(3). Let n(g) = 2*g + 9. Let m be n(c). Which is smaller: m or 2/49?
m
Suppose 4*u + 5*j - 11 = 2*u, 4*u = -2*j + 14. Are u and -41 equal?
False
Let j = -23 + 41. Suppose 3*k = -2*t - j, -k = -2*k + 4*t + 8. Let o be 1*(-1*1 + -2). Which is smaller: k or o?
k
Suppose -8 = -4*x - 4. Let k be ((-3)/(-72))/((-