 (-285)/(-90)*226/(-5). Suppose 4*j + 438 = j + 3*z, 3*z - 9 = 0. Let s = j - r. Is s smaller than 0?
False
Let k(a) = a + 2. Let z be 7/14 + (-1)/(-2). Let j be (2/(3 - z))/(-1). Let g be k(j). Which is bigger: g or -2/11?
g
Suppose 3*h = -5*b + 8, -b - 2*h = -7*h - 24. Suppose -20 = -5*o + f, 4*o + 2*f - 4*f - 16 = 0. Is o smaller than b?
False
Let j(c) = c. Let z be j(-2). Suppose -y - 2*o = -6, -o = 2*y + y + 2. Is z less than y?
False
Let d be (24/154)/((-2)/(-7)). Is 2 bigger than d?
True
Let r = 2 + -2. Let n = 7 - 5. Let y be (-6)/10 + n/(-5). Are y and r equal?
False
Let m = -67 + 62. Which is greater: -7 or m?
m
Let g be (-4)/21*(-6)/4. Let d(k) = k**3 - 7*k**2 - 3. Let n be d(7). Let u be 1 + -1 - 0/n. Which is bigger: g or u?
g
Let v(x) = x**2 + x - 1. Let p be v(1). Which is bigger: p or -1/7?
p
Let p = -8 - -6. Let y be (-1 - 0) + (-55)/p. Let l = 27 - y. Which is smaller: l or -2/5?
-2/5
Let i = -8 + 5. Let m(t) = t**2 + 2*t - 2. Let r be m(i). Which is smaller: 3/11 or r?
3/11
Let f = -550 - -980. Suppose 4*v = z + f, -3*v - z - 85 = -411. Let w be (3/(-4))/(v/(-32)). Which is greater: -1 or w?
w
Let n = -13 + -8. Which is bigger: -20 or n?
-20
Suppose -5*o - 3*y + 3 = -4, 5*o = 2*y - 13. Suppose -f - f + 4 = 0. Suppose 4*p - 1 = -13, f*p = v - 6. Which is bigger: o or v?
v
Let h(w) be the second derivative of w**3/6 + 3*w**2/2 - w. Let j be h(-3). Is -2 < j?
True
Let s = -0.36 - -2.26. Let w = s + -2. Let d = 23 - 22. Is d < w?
False
Suppose -b - 25 = -4*b + 4*c, b + 5 = -2*c. Let t = -2.2 + 0.2. Which is bigger: b or t?
b
Let g = 2 + -5. Let c be (-10)/3 - (-2)/g. Is c bigger than -5?
True
Let k = 63528/19 + -529040/171. Let b = k + -250. Which is smaller: 1 or b?
b
Let x be (3/(-4))/(57/(-8)). Let d = -10 + 9. Is x not equal to d?
True
Suppose 2*n = 7*n. Suppose 0 = 4*t - 3*t - 4, 4*w + 2*t + 16 = n. Which is bigger: -7 or w?
w
Let j = -241 + 242. Let u be ((-2)/(-52))/(1/12). Which is bigger: j or u?
j
Let g = -2/89 - 168/445. Which is bigger: g or -10?
g
Let q = -13 - -9. Let s = q + 4. Which is bigger: s or -4?
s
Let a be 92/24 + -2 - 2. Which is bigger: a or -1?
a
Suppose -3*f + 6 = -0*f. Let s(i) = 15*i - 14*i - 7*i**2 - f + 2*i**2 + i**3 + i**2. Let a be s(4). Which is bigger: a or 0.3?
a
Let l = -19 + 14. Is -5 < l?
False
Let z = 0.01 + -2.01. Let d be (-651)/90 - 2/(-5). Let m = -13/2 - d. Which is smaller: z or m?
z
Let u = -2.052 - 0.048. Let r = 0 + -2. Let h = r - u. Are 2/9 and h equal?
False
Let n be 168/(2*(-3)/12). Let h = 2348/7 + n. Are -1 and h equal?
False
Suppose -w - 4 = -2*h, -h = -5*h - 4. Let p be (-1)/((-1)/7)*-1. Which is smaller: w or p?
p
Suppose 23 = -2*l - 3*k, k = 2*l + 2*k + 21. Let w = -10 - l. Let i = -9.87 - 0.13. Which is smaller: i or w?
i
Let g = -715/4 - -188. Let w = 9 - g. Which is greater: -2/5 or w?
w
Let h = 334/3333 - 4/101. Is 0 at least h?
False
Let x be 4*(44/(-8) + 3). Is x > -10?
False
Let c = 4.7 - -0.3. Let a = 4 - c. Which is smaller: 2/7 or a?
a
Let d be (-11)/18 - 1/2. Which is smaller: d or -1?
d
Suppose 4*m + 24 = -0. Let z be (-5)/(-3) + (-2)/m. Let y = -2 - -3. Which is smaller: y or z?
y
Let g = 116/11 - 120/11. Let x = 3/22 - g. Is x equal to 2?
False
Let c(d) = 2*d**3 + d**2 - d. Let z be c(1). Which is smaller: 5/6 or z?
5/6
Let l be 190/16 + 2/16. Which is smaller: -2/3 or l?
-2/3
Let f be (-17)/34*5/2. Is f at most -1?
True
Let c(j) = -j - 4. Let n be c(-7). Suppose -n*l + 4*l + 3 = 0. Suppose 5*a + 0 + 10 = 0. Which is smaller: a or l?
l
Let u = 1/144 - 313/144. Is u bigger than -2?
False
Let z be 3 + 1/2*2. Suppose 2*l + z*v - 3 = 3*v, -l = -2*v + 11. Let o = -2 + 0. Which is smaller: l or o?
o
Let r = 0.33 - 0.23. Let g = -235 - -236.03. Let m = 1 - g. Which is bigger: m or r?
r
Let o be -2 - (-2)/4*46. Let q = o - 24. Which is greater: q or -10/3?
q
Let a = -0.003 - 2.697. Let i = -0.3 + a. Let o = -1 - i. Which is greater: o or 0?
o
Let b be 5 + 2*(-3)/3. Let q(s) = 2*s + 3. Let d be q(b). Suppose -3*u = 3*t - d, -5*t = -u - 2*u - 47. Do 8 and t have the same value?
False
Suppose 3*p - 223 = -25. Suppose -16 = 5*q - p. Suppose -4*o = o + q. Are o and -1 non-equal?
True
Let u = 424/5 + -83. Which is smaller: 2 or u?
u
Let a(j) = -j. Let w be a(-4). Let m be 3 + w + (4 - 3). Which is smaller: m or 7?
7
Let i(a) = -a**3 + 9*a**2 - 9*a + 8. Let w be i(8). Let u = 192/455 + -2/91. Which is smaller: u or w?
w
Let m(p) = p**2 + 2*p - 1. Let c be m(2). Let o = -5 + c. Let z be 3/15 + o/(-10). Does z = 4/11?
False
Suppose 3*c + 2*c = 4*k - 61, -k - 2*c - 1 = 0. Suppose 0 = 2*f + f + k. Let z be ((-2)/f)/((-4)/(-6)). Which is smaller: z or 1/3?
1/3
Let g(r) = -r**2 + 9*r - 9. Let w be g(7). Suppose w*c = 2*c + 3. Which is smaller: c or 4?
c
Let s = 898/3 + -289. Which is smaller: -1 or s?
-1
Let j(o) = o + 2. Let x be j(-6). Suppose u - 5 - 1 = 5*a, 2*a + 5*u + 24 = 0. Let w be (-2 - a) + -3 + 0. Which is greater: x or w?
w
Let j = 3.1 + -3. Let n(k) = k + 5. Let f be n(-5). Is f greater than j?
False
Let n = 5 + -7. Let l(y) = 2*y**2 + 3*y + 3. Let o be l(n). Suppose -t + o*t = -8. Is -2 at least as big as t?
True
Suppose -6 + 3 = 3*h. Let l = 2.4 + -2. Do l and h have the same value?
False
Suppose -1 = -q - 7. Let x(v) = v + 1. Let f be x(q). Which is bigger: -4 or f?
-4
Suppose 4*m + 2*h - 28 = 3*h, 2*m = 4*h + 28. Suppose -5*a = -c + 1, -2*c = -2*a + m - 0. Which is smaller: -3/5 or a?
a
Let q(r) = r**3 + 9*r**2 + 7*r - 7. Suppose -5*o + 2*o - 24 = 0. Let d be q(o). Which is smaller: d or -1/9?
-1/9
Suppose 9*j + 16695 = 4*j. Let f = 16631/5 + j. Let n = 62/5 + f. Which is bigger: n or -0.1?
-0.1
Let k be 18/((-2 + 1)*2). Let n be -2 + (-3)/k*3. Which is bigger: -1/19 or n?
-1/19
Let k = -0.01 + 2.01. Let y = 2.2 - k. Let h = y - 1.2. Is 0.2 less than or equal to h?
False
Let t be 0 - 12/(-8)*2. Which is greater: t or 5/2?
t
Let w be 1/(-2)*(8 - 10). Is w greater than -2/17?
True
Let x = -43 - -21. Let j = x + 12. Let o = -7 - j. Is 2 less than or equal to o?
True
Let r = -67/2 - -36. Let q(o) = -o**2 + 14*o + 18. Let h be q(15). Do r and h have different values?
True
Let x = 17 - 17. Which is smaller: x or 3?
x
Let p = -0.049 - -0.019. Let d = 3.649 + -0.679. Let b = d - p. Which is greater: b or 0?
b
Let i = 7 + -4. Suppose i*a + a + 4 = 0. Which is smaller: -2 or a?
-2
Suppose 15 = 9*q + 51. Suppose 4*p + 9 = p. Are q and p unequal?
True
Let j = -9 - -9. Let l = 445/13 + -34. Which is bigger: l or j?
l
Let w be -196 - (2 - 16/7). Let r = w - -196. Are r and 0 nonequal?
True
Let z(a) = a**2 - 3. Let o be z(3). Let u(b) = b**3 - 5*b**2 + 4*b + 3. Let k be u(4). Let s = k - o. Is -4 <= s?
True
Let t(v) = v**3 - 3*v**2 + 3*v - 3. Suppose -4 - 5 = -3*l. Let r be t(l). Let b(c) = c**2 - 5*c - 5. Let p be b(r). Is -2/5 less than or equal to p?
True
Let l = -227369 - -12732215/56. Let b = -63/8 - l. Which is smaller: b or 1?
b
Let t = 0.6 - 1.6. Let c = -0.0429 - -5.0629. Let v = 0.02 - c. Do t and v have the same value?
False
Let o = -0.014 - 9.986. Let f be 2*(-1 - 6/(-4)). Which is smaller: f or o?
o
Let o be (2/(-6))/(2/(-16)). Let m = -5.4 - -0.4. Let c = m - -6. Is c less than o?
True
Let s = 3 - 3.5. Let n = -398 + 397.9. Is n at least as big as s?
True
Let n = 0.11 - 4.11. Let k = -25 - -26. Which is smaller: n or k?
n
Let i be (0/(2 - -1))/3. Let x(m) = -2*m + 7 - 7. Let f be x(-1). Which is smaller: i or f?
i
Let c be (30/33)/(-1) - 0. Which is smaller: c or -2?
-2
Suppose -5 - 10 = -g + 4*w, -3*w = 3*g. Is 5 less than g?
False
Let h = -43 - -40. Suppose t = 4*u + 2*t + 4, 3*t = 0. Is u < h?
False
Suppose -x + 2*u = 4 + 8, -4*u = 5*x - 10. Suppose 4*j - 8 = -4. Let t = x - j. Is t less than 0?
True
Let b = 7 - 3. Suppose -3*q = -8*q + 2*x + 8, 0 = b*q + x + 4. Is 1/8 less than or equal to q?
False
Let k = 0.73 - -0.07. Let c = 1 - k. Let f = 0 - 0. Is f at most as big as c?
True
Let n(w) = -5*w + 57. Let x be n(13). Which is bigger: x or -7?
-7
Let v be 4/(-18) + 13/(117/(-106)). Which is smaller: -10 or v?
v
Let g = -0.4 + -3.6. Let x = 4.4 + g. Let t = 0.2 - x. Which is greater: t or -2?
t
Let l = -33 + 20. Let f = 13 + l. Let a = 6/29 - 47/87. Do f and a have different values?
True
Let h = -725403/26620 - -2/6655. Let a = -41 + 68. Let j = h + a. W