igger than -4?
False
Let b be (2/6)/(6/72). Suppose 5*x + 7 = b*r - 2*r, 4*x - 5*r = -9. Which is bigger: x or -2/3?
-2/3
Let n(q) = q**2 + 2*q - 14. Let z be n(-6). Suppose -d = 4*f - z, -5*d + 20 = -f - 9. Is 5 bigger than d?
False
Let d(g) = -g - 2. Let w be d(3). Let s be w/5 + 2/3. Does -1 = s?
False
Let x(l) = -l**2 - 6*l - 4. Let t be x(-3). Suppose -2*h + 39 = 3*w, -5*w + t*h + 8 = -82. Let r be w/(-6)*(-8)/70. Are 1 and r nonequal?
True
Let k = 5 - 13. Is k equal to -8?
True
Let a be -2 - (-2 + 0 - -1). Let h = a - -3. Is 3 bigger than h?
True
Let l(s) = s**3 - s**2 + s + 1. Let a(n) = n**3 + 2*n**2 + 3*n - 1. Let h(u) = a(u) - 2*l(u). Let r be h(4). Let w be 0/((-1 - -3)*r). Is -2/5 smaller than w?
True
Let o be (2 - 4/2)/(-5). Which is smaller: o or -3?
-3
Let f = -4 + 6. Let l be (1 + f)/(6/16). Let q be (-4)/8 - (-6)/l. Are q and -0.3 nonequal?
True
Let m be (-1 - (-20)/5) + -2. Is m != 5/28?
True
Let c be 2/(-4)*16/(-4). Suppose 0 = c*v - 4*o + 5*o - 2, -3*o - 14 = -4*v. Is v bigger than 4/7?
True
Let d = -13633/6 - -2282. Does d = 11?
False
Let x = 55 - 71. Which is greater: -19 or x?
x
Let z(x) = 8 - 6 + x + 2. Let w be z(5). Suppose 7*n - 3*y - 5 = 3*n, 0 = -3*y - w. Is n at most as big as -1?
True
Let g(x) = -x - 1. Let u be g(-1). Let b = 0 - u. Let l be 1 + -1 + 2/11. Which is smaller: l or b?
b
Let h be 0 + 0 - (-4)/6. Let d be (-2)/((-2)/(-4)*2). Let v be (-3)/(22/(-4) + d). Which is bigger: v or h?
h
Let o = -3403/1516 + -2/379. Is -1 > o?
True
Let s = 0.13 + 4.87. Let t = -4.9 + s. Let c = 0.4 + t. Is 0 greater than c?
False
Let m = -13246 - -19786. Let s = 78409/12 - m. Let t = s - -17/3. Is t bigger than 2/3?
False
Let d = 0.2 + -0.2. Let u = -0.1 - 0.9. Let f = d + u. Is f at most -3?
False
Let l = 1 - -1. Let p = 6 - l. Suppose -p*j = j. Does j = -1?
False
Suppose 0 = -3*y - 3*n - 2 - 1, -5*y + 3*n = -11. Suppose 2*r = -3*s - 1, 0 = r + 1 + y. Let q = -17/20 - -3/5. Do s and q have different values?
True
Let s(l) = l**3 + 5*l**2 - l - 5. Let y be s(-5). Suppose -3*x + 0 - 3 = y. Is x at least as big as -2/5?
False
Let a = 17 - 19. Suppose -3*b = -5*b. Suppose -2*v + 4*v = b. Which is bigger: a or v?
v
Suppose -3 = -4*n - 23, -f - 4*n + 17 = 0. Is 37 at most as big as f?
True
Let x = 1 - 1. Let h(p) = -2*p**2 - p - 10. Let q(z) = z**2 + z + 9. Let m(t) = -2*h(t) - 3*q(t). Let y be m(x). Is -6 not equal to y?
True
Let c be (6/56)/((-87)/290). Are c and 0 equal?
False
Let u = -5 + 2. Let k be (-2)/4*u*1. Let g(j) = -5*j + 1. Let t be g(0). Which is smaller: k or t?
t
Suppose 0 = 2*s - s. Suppose 0*g - 3 = 3*g. Is g greater than or equal to s?
False
Let v(p) = 6*p**2 - 2*p**2 + 7*p + 6 + p**3 + p**2. Let a be v(-4). Which is bigger: -5 or a?
-5
Suppose -2*c + 4*c + 4*c = 0. Are c and 1/6 non-equal?
True
Let k = 25 - 27.2. Let v = -0.8 + k. Let d = v + 2. Is d less than 0?
True
Let y = -44 - -46. Which is bigger: y or 14/5?
14/5
Suppose 3*w + 26 = -3*m - m, -2*w - 5*m = 29. Let s = w - -4. Let k(x) = -x**3 + 3*x**2 + 5*x - 2. Let p be k(4). Is s at least as big as p?
True
Let z = 106 + -104. Let w be 135/(-278) - 2/(-4). Let s = -296/1251 + w. Do z and s have different values?
True
Suppose 0 = -5*p - i + 34, 4*i = 21 - 5. Let z = 8 - p. Let f = z - 2. Is 1 smaller than f?
False
Let o = 0.12 - -0.08. Let q = -19 + 15. Which is smaller: q or o?
q
Let i = -27/4 - -127/20. Let c be 8/(-150)*6/4. Which is smaller: c or i?
i
Let j(p) = p**3 + 3*p**2 - 4*p + 2. Let b be j(-4). Suppose b = -2*z + 34. Let a be (z/(-60))/(12/10). Do -1 and a have different values?
True
Let f = 4880 - 9676. Let j be (-4)/16 + (-1207)/f. Let l = 4770/15587 + j. Do -1 and l have the same value?
False
Let b = -11139/85 + 131. Do b and 0 have different values?
True
Let m = -111 + 97. Is -1/3 <= m?
False
Suppose -x - 5*f + 99 = x, 0 = 4*x - 5*f - 153. Let l be 6/(-10)*(-30)/x. Is l greater than or equal to -1?
True
Suppose -4*f = -3*f. Suppose 0 = -2*t - f*t. Suppose 0 = -5*k + 57 - 62. Which is smaller: k or t?
k
Let z be 410/(-2134) - 24/(-132). Which is smaller: 1 or z?
z
Suppose -5*x + 21 = -2*s - 8, 15 = x - 5*s. Suppose p - 37 = -p - x*c, -3*c - 9 = -4*p. Suppose 0 = -p*b + 2*b - 4. Is -2/5 less than or equal to b?
False
Let x = -240/791 + 2/113. Let t = -4 - -1. Let c be 2/(-44)*(-1 + t). Which is greater: c or x?
c
Let w = -341 - -340. Let n be (-16)/(-10)*(-1)/(-2). Which is smaller: n or w?
w
Let g be 8/4 - (-2 + 2). Suppose -2*a - 24 = g*a. Which is smaller: a or -5?
a
Let n = -17 - -15. Which is smaller: -7/6 or n?
n
Let w = 2.9 - 3.9. Let t be (2/16)/((-2)/4). Is t at most as big as w?
False
Let r = 5 - 4. Let y = 0 - -0.1. Let i = y + -0.2. Which is smaller: r or i?
i
Let j be (-3098)/22 - 4/2. Let t be 2/(-7) + 3009/21. Let z = j + t. Which is bigger: z or -1?
z
Let w(m) = 5*m**2. Suppose 0 = -3*o - 4*c - 0 - 17, -2*c = -5*o + 15. Let q be w(o). Let b = 5 - q. Which is smaller: b or 1/15?
b
Let y = 2 + -20. Let t = 2 - y. Suppose 0*f + t = 4*f. Do 4 and f have the same value?
False
Let h(t) = t**3 + 7*t**2 - 3*t. Let r be h(-7). Which is greater: 0 or r?
r
Suppose 0 = 4*q - q - 6. Let g be ((-3)/3 - q) + -1. Is g less than -1?
True
Suppose 2*n = 5*s - 10, 3*n - 4*s - 35 = -9*s. Suppose n*a + 14 = -16. Which is smaller: a or -8?
-8
Suppose -3*m = -f - 0*m - 6, -4*f - 24 = -4*m. Suppose 5*x = k - 9, x = -0*x - 5*k - 7. Let a be (f/x)/((-18)/4). Is -0.1 greater than a?
True
Let n be 3/3*(-10)/(-25). Let l(o) = o + 2. Let q be l(-3). Let a be (q - 1)*(-10)/4. Which is bigger: a or n?
a
Let i = 29 + -28.87. Let t = i - 0.03. Which is greater: 0.4 or t?
0.4
Let l be (-87)/(-90) + 8/(-12). Is 1 bigger than l?
True
Let f = 5151/10 - 514. Is f at least 2?
False
Let i(d) = d**3 + 4*d**2 + 2*d - 1. Let u be i(-2). Let f be u - (-3)/(-9)*13. Which is bigger: -1 or f?
-1
Suppose -3*i - i - 24 = 0. Let n be (-4)/(-6)*i/(-4). Let l be (1/(-3))/(n/3). Is l smaller than 0?
True
Let b = 4 - -31. Which is smaller: 34 or b?
34
Let l = -112.7 + 120. Let o = -8 + l. Let g = 0.4 + o. Which is greater: g or 1?
1
Let m = 8 + -8. Let c(r) = -r**3 - 8*r**2 + r + 7. Let n be c(-8). Let b = n - m. Which is greater: 1/4 or b?
1/4
Let l = -0.2 + -0.3. Suppose 6*n - 12 = 18*n. Is l smaller than n?
False
Let j = -15/16 - -269/304. Is j > -1?
True
Let p = 26 + 2. Suppose -p = -4*b + 5*a + 25, -4*a - 34 = -2*b. Which is smaller: b or 8?
b
Suppose 5*d = -4*f + 21, 3*f - f - 3*d + 17 = 0. Let p be 4/26 - ((-470)/(-182) - 2). Is f greater than or equal to p?
False
Let m(k) = 21*k + 1. Let q be m(1). Let v be (0 - -2)*(-3)/q. Which is bigger: v or 1?
1
Suppose 4*a + 59 = 5*p, p - 21 = 5*a - 5. Suppose 9*j = p*j - 2. Is 0 less than j?
True
Let x(j) = j - 18. Let r be x(14). Which is bigger: -32/9 or r?
-32/9
Let t be (-2)/10 + (-194)/(-950). Let l = 287/475 - t. Let c = -2 - -3. Which is greater: c or l?
c
Let x = 85 + -74. Which is greater: 15 or x?
15
Suppose 3*p - 16 = -1. Suppose -5*x - 42 = -p*g - x, -4*g + 12 = 4*x. Suppose f + g + 0 = 4*u, 0 = u - f. Does 1 = u?
False
Let i = 31 + -144. Are -114 and i equal?
False
Let w = 66 + -105. Let r be w/26 - 1/(-2). Is r at most -4/21?
True
Suppose 20 = -3*l - 7*l. Which is smaller: -0.18 or l?
l
Suppose -11 = 5*g + 9. Let d(t) = 3*t - 9 - 6 + t - 5*t. Let q be d(-11). Is q bigger than g?
False
Let l = -14 - -24. Let h be (l/15)/(1/(-6)). Is h at most as big as -3?
True
Let y = -0.045 + 1.045. Let u = 6.98 - -0.02. Which is smaller: u or y?
y
Let t be (-3 + 0)/((-6)/4). Let f(y) = -2*y + 4. Let r be f(5). Let i = r - -8. Is t smaller than i?
False
Suppose 3*c + s - 2*s = 0, 5*s = -15. Let n(p) = -p + 2. Let d be n(-3). Suppose 14 = 3*v + d. Which is smaller: c or v?
c
Suppose -1 + 7 = 3*d, 5*t - 5*d = -10. Which is greater: t or 1/11?
1/11
Let n = -77/8 + 459/56. Is n <= -2?
False
Let k = -11 + 13. Suppose k*w + 25 = 7*w. Do 6 and w have the same value?
False
Let i(v) = v**2 + 8*v + 2. Let y be i(-6). Let r = -10 - y. Suppose 0 = 5*q - 5*b + 15, 4*q - 18 = 2*q - 4*b. Is q equal to r?
False
Let v(a) = 2*a - 1 + 0 - 3*a. Let w(o) = -o**3 + 5*o**2 - 4*o. Let q be w(4). Let f be v(q). Is f < -2/3?
True
Let q be (-15)/(-30) - (-2)/(-4). Let d = q - -4. Is d at most as big as 0?
False
Let w = 23.9 - 24. Let o = -2 + 1.8. Which is b