Let x be ((-2)/3)/(32/(-48)). Let b = 2/115 + 224/345. Is b less than or equal to x?
True
Let c = -20 + 24. Let q = c - 2. Are q and -1 unequal?
True
Let f(s) = s - 1. Let y be f(0). Let a = y + 0. Which is smaller: 1 or a?
a
Let d = -1/32 - -67/96. Is d > 1?
False
Let y be 4 + (-2)/(8/108). Is -23 < y?
False
Let l(r) = -2*r + 21. Let h be l(11). Let i = -0.1 - -0.3. Let q = 0.8 + i. Do q and h have the same value?
False
Let m(g) = -g - 7. Let y = 7 + -14. Let j be m(y). Let b = -43 + 216/5. Which is bigger: b or j?
b
Suppose 0 = i - 1 - 4. Suppose w + w - 8 = 0, -4*w + 86 = i*q. Suppose -4*r + q = -2. Which is bigger: r or 2?
r
Let b(a) = -a**2 - a + 1. Let t be b(0). Let v be (-1)/((0 - t)*1). Let u = -9137/21 - -435. Which is bigger: v or u?
v
Let z be (3/(-1))/(-3) + -2. Let s = -6 + 9. Suppose -2*b + 1 = g, -2*b - s*g - g + 10 = 0. Are b and z equal?
True
Let h be (-12)/(-162)*(-3 - -6). Which is greater: h or -1?
h
Let g be 1/4 - (-35)/20. Let c be 0/(-5 + g) - 1. Are c and -1 unequal?
False
Suppose 7*h - 2*h = -4*w + 53, -2*w = -3*h - 21. Is w > 14?
False
Let a(p) = 4*p - 2. Let i be a(2). Suppose i = -4*v - y, -7 = v + 5*y + 4. Let j = 5/18 + -61/90. Is j at most v?
False
Let o = 74 - 74. Is -1/7 equal to o?
False
Let a = -109 - -47. Let l = a - -52.7. Let h = -9 - l. Which is smaller: -2 or h?
-2
Suppose 4*r = -y + 13, 5*y + r + r = 11. Which is smaller: 0.08 or y?
0.08
Let b = 3 + 7. Let p = b + -13. Are 1/3 and p nonequal?
True
Suppose -8 = 4*y - 0. Which is smaller: y or -0.2?
y
Let k = -3 - -2. Let f = 54 + -55. Does k = f?
True
Let x = 0.66 - 0.26. Let o = 1 + -1. Is x < o?
False
Let m(r) = -2*r**2 - 3*r - 2. Let a be m(-2). Let v = -0.1 + 0.2. Which is smaller: v or a?
a
Let p = 1143/7 - 163. Let u = -0.03 - -0.23. Let y = u + -2.2. Which is smaller: y or p?
y
Let t be 3 + 1 - 64/16. Which is smaller: t or -4?
-4
Suppose 0*h + 2*h = -2. Let r = -1 + 1.5. Let v = 0.3 - r. Is h less than or equal to v?
True
Let r(t) = t**2 + 1. Let p be r(-1). Is 8 less than or equal to p?
False
Let a(h) = 3*h + 3. Let p be a(-3). Let i = p - -9. Suppose n - 2 = -0. Which is smaller: n or i?
n
Suppose 1 = -b - 1. Suppose u = 6*u + 5. Is u not equal to b?
True
Suppose -a + 3*i = -39, -a = a + 4*i - 48. Let j be 7/a - (-9)/54. Is j bigger than 0.1?
True
Let w(t) = -3*t - t - t**3 + 5*t - t**2. Let d(x) = 4*x**3 + 9*x**2 - 2*x + 4. Let b(c) = d(c) + 3*w(c). Let j be b(-6). Which is smaller: -0.1 or j?
j
Suppose 3*u + 14 = c, 0*c = -4*c + 2*u + 6. Is 3/40 > c?
True
Suppose -2*t - t - 168 = 0. Let z be (12/t)/(9/12). Is -1 at most as big as z?
True
Let s be (2020/36)/(-1)*1. Let h = 56 + s. Is h not equal to -1?
True
Let z = -45.2 - -46. Which is smaller: -0.1 or z?
-0.1
Let o(z) = z**3 + 7*z**2 - 9*z - 7. Let b be o(-8). Suppose -3*g + 2 + b = 0. Which is greater: 1/3 or g?
g
Let l = -0.75 + -0.05. Let v = l + 1. Is v greater than 1?
False
Let j = 258 - 472. Let z be 3 + j/30 - -4. Let x = -1 + 0. Is z at least as big as x?
True
Let t = 27 - 29. Let y = -32 + 21. Let v be (-1)/(-4) - y/(-12). Is t <= v?
True
Let c = 3.2 + -3. Is c <= -4?
False
Let m = -8.3 + 9. Let f = -6.7 + m. Let w = 3 + f. Which is greater: -2/3 or w?
-2/3
Let u be 2/12 - 176890/(-180). Let z = u - 984. Do z and 0 have the same value?
False
Let u = -16.938 + -0.062. Is -0.3 less than or equal to u?
False
Let n = -28 + 20. Let y = 8.05 + n. Let q = y + -0.35. Is 0 greater than or equal to q?
True
Let i be 50/(-14) - (10 + -13). Suppose 20 = t - 2*j - j, -t - 4*j = 15. Suppose 9 = -4*u + 5*m, u + t*m + 0 = 4. Which is smaller: i or u?
u
Let b = -101 + 77. Which is greater: b or -116/5?
-116/5
Let a = 60 + -95. Let d = -243/7 - a. Is 0 bigger than d?
False
Suppose 0 = 2*a + 3 - 7. Suppose 0*o + 4 = a*n - 2*o, 3*o = 4*n - 3. Is -4 >= n?
False
Suppose 7 - 1 = 3*k - 2*x, 5*x = 0. Let j = 1 - -7. Which is bigger: j or k?
j
Let v = -14 - -8. Let k be 0 + (0 - (-1)/v). Let b = -1.15 + 1.15. Which is smaller: k or b?
k
Let w = 2/139 - -538/1251. Let n be (36/(-14))/(1/7). Let l be (-4)/n + 2/(-9). Which is greater: w or l?
w
Suppose 2*c - 3*l = 5*c + 12, -c = -5*l - 20. Suppose -3*z = 5*y - 119 + 588, -5*y = z + 473. Let b be y/(-225) + (-2)/10. Is c at least b?
False
Let d be -5*(0 + 6/(-15)). Suppose 3*n + 3*p = -21, -d*p - 20 = 3*n - 0*n. Let z be ((-4)/n)/((-6)/18). Is z at least as big as -2?
True
Let n = 175 + -176. Is n <= 6?
True
Let y = 14 + -14. Which is greater: -2/29 or y?
y
Let d = 1367/10121 + 1/349. Is d at least as big as 0?
True
Let s = 2.8 - 3. Let j = 11 + -24. Let z = 16 + j. Which is greater: z or s?
z
Suppose -7*c = -3*c - 32. Let z be (c/(-16))/((-1)/(-6)). Which is smaller: z or -4?
-4
Let v = -0.09 - 0.01. Let l = 0.6 - 0.1. Which is smaller: v or l?
v
Suppose 5*s - 64 = -4*t, 4*t = 5*s + 67 + 37. Let x = 41/2 - t. Is 2/3 at most x?
False
Let o = -3 - -1. Which is greater: 1 or o?
1
Let q(o) = o + 9. Let b be q(-5). Let n be 14/(-30)*b/14. Which is smaller: n or 0.1?
n
Let j be 86/(-30) + (-4)/(-10). Let z = 509 - 2554/5. Let h = z - j. Which is bigger: 1 or h?
1
Suppose 3*o = -o + 8. Let w be -1 + (o - 2) + -1. Do 5 and w have different values?
True
Let b(w) = -w + 9. Let q be b(6). Suppose q*o = 13 - 4. Let p be -2 + (-1)/((-2)/10). Is o >= p?
True
Let r = -839 + 7589/9. Let v = -32/9 + r. Which is bigger: v or 0.2?
v
Let h(y) be the first derivative of y**4/4 - 5*y**3/3 - 5*y**2/2 - 3. Let f be h(6). Let d be 3/f*(-3 - -5). Which is smaller: 3/5 or d?
3/5
Suppose 0 = -2*i - i. Suppose 0*g + 4*z = 2*g - 22, -4*g - z = 1. Let h be (-15)/(-9)*g - 2. Which is smaller: h or i?
h
Let a = 0 - 0. Let i be (1 + 2)/(6/(-4)). Let l be (i/42)/(1/3). Does a = l?
False
Let p = -1/2 - 0. Is p equal to 3?
False
Let u = -8.8 - -8.77. Which is greater: -9 or u?
u
Let z be -3*3/(-18)*4. Let n = z - 6. Is -3 smaller than n?
False
Let f(p) = p - 5. Let u be f(4). Let y be ((-16)/90)/((-4)/10). Which is greater: y or u?
y
Let v = -61 - -62. Is v > 1/34?
True
Let m = -4 - -2. Let d = 17 - 17. Which is greater: m or d?
d
Suppose -5*p + 4*p = 0. Suppose 2*f = 5*c + 7*f - 35, p = 4*f - 12. Which is smaller: 3 or c?
3
Let n(g) = -9 + 0*g + 3*g - 4*g. Let z be n(-4). Let x = -10 - -5. Is x < z?
False
Suppose -w + 6*w = 30. Suppose w*k - 3*k = 0. Is -1 equal to k?
False
Suppose 2*b - 3*b + 5*u + 17 = 0, 2*u = -b - 4. Let n = -11 - -7. Let q = 6 + n. Do q and b have the same value?
True
Let h = -4.4 - -4.2. Let l = 0.02 + -0.05. Are h and l unequal?
True
Let u(o) = o**2 - 8*o - 16. Let d be u(11). Let m = -31/2 + d. Which is smaller: m or 2?
m
Suppose -2 - 10 = -4*z. Let p(a) = -a**3 + 5*a**2 - 3*a - 2. Let k be p(4). Suppose -4*q - k = -z*q. Which is smaller: -3/4 or q?
q
Let t = 4 - 7. Suppose -i + d - 4 = 0, -2*i - 1 - 8 = -3*d. Are t and i non-equal?
False
Let c(x) = -6 + 3 - x - 2 + 4. Let h be c(-3). Suppose -o + 2*f - 10 = 0, -7*o + 10 = -h*o + 2*f. Which is greater: -2/3 or o?
o
Let m(a) = -a + 19. Let h be m(19). Are h and 6/17 non-equal?
True
Suppose 4*j = 3*w - 4, -2*w + 2 = -j + 1. Are -4/21 and j unequal?
True
Let z be (-6)/(3/(-3)*1). Let y = z + -10. Is -5 not equal to y?
True
Let g(j) = 4*j - 24. Let l be g(6). Which is smaller: -9/7 or l?
-9/7
Let i(p) = p - 2. Let t be i(6). Is 13/4 bigger than t?
False
Suppose -b + 3*b - 2 = 0. Suppose 180 = -4*s + 1028. Let a = s - 629/3. Is a less than or equal to b?
False
Suppose 0 = -2*j + 1 + 1. Let n be (-2)/j + 24/14. Let w(o) = o**3 - 5*o**2 - o + 12. Let s be w(5). Which is greater: s or n?
s
Suppose u = x + 1, 12 = 17*u - 13*u + 4*x. Let w(n) = -n**2 - 6*n - 3. Let z be w(-5). Suppose -4*l = -5*l + z. Is l at least as big as u?
True
Let f = 23 + -22. Which is smaller: 1/9 or f?
1/9
Let g be (-30)/(-2*3/6). Let r be (-12)/16 + g/8. Is 2 smaller than r?
True
Suppose 2*u + p = u - 13, 5*u + 64 = -4*p. Let d be (-3)/(-21)*(-14)/u. Which is greater: -1 or d?
d
Let o be -4 - (4 - 5 - -10). Is o less than -13?
False
Suppose -3*b = b + 4. Let l be ((-2 - -3)*1)/b. Let i be l/(1/2 + 2). Is 6 less than i?
False
Suppose -3*v - 2*v + 2*b = 55, -5*v - 2*b = 35. Suppose -2*a - 26 = -2*q, 0 = 3*a + a + q + 42. Which is bigger: a or v?
v
Let c be (-1)/(-2) + 65/(-9). Let w = c + 13/2. Which is smaller: w or -1?
-1
Suppose -a - 22 = -4*b, -16