 Is u greater than or equal to 32/5?
False
Let u = -523/15 - -35. Suppose x = 2*f - f + 8, 4*x = -3*f + 39. Suppose 2*t + j = -2*j + 9, t + x = 3*j. Is t less than u?
True
Suppose 5*t - 19 + 4 = 0, -6 = x - 5*t. Is 7 bigger than x?
False
Let a be ((-19)/26)/1*424. Let g = 310 + a. Which is smaller: 1 or g?
g
Let v = 0.36 + -0.25. Is -1 greater than v?
False
Suppose -6*h = -2*h - 40. Suppose 0 = -4*i - i + h. Suppose -2 + 4 = i*k. Is -2/7 less than k?
True
Let m = 0.12 - -4.88. Let x = m + -5.6. Which is greater: -0.3 or x?
-0.3
Let v = -244 + 1206/5. Let c = v - -61/20. Suppose -20*h - 1 = -19*h. Is h at most c?
True
Let o(l) = l - 11. Let c be o(11). Suppose 5*p + t - 91 = c, 0 = 3*p - 5*p - t + 37. Let x be 3/6 + (-1)/p. Is x at most -1?
False
Let p = -1.97 - -2. Let i = -640.97 - -636. Let c = p - i. Is c >= -0.1?
True
Let o = -2 - -9. Which is greater: 72/11 or o?
o
Let d be 0 - -3 - 2 - 0. Suppose 5 - 13 = 2*i. Let w(a) = -2*a - 6. Let q be w(i). Which is smaller: q or d?
d
Let h(t) = -3*t + 16. Let j be h(7). Suppose 6*x + 15 = x. Is j less than or equal to x?
True
Suppose 2*v = -3*v. Let g be 272/(-160) - (6/(-4) - 0). Is g bigger than v?
False
Let g = 107/6 + -1061/60. Which is smaller: g or -1?
-1
Suppose 0 = -s - 4*s + 5. Let r be (1 + 21/(-26))*(-308)/(-385). Is r at most s?
True
Suppose -f - 19 = -3*p - 0*p, 3*f = 5*p - 37. Let j = -5 - 0. Which is greater: j or f?
f
Let u = 409/26 + -29/13. Is 14 != u?
True
Let r(b) = -2*b + 2. Let d be r(-1). Is 11 != d?
True
Let w(l) = -l - 4. Let c be w(-4). Suppose c*p = -p - 4. Let b(x) = -2*x**3 + 4*x**2 - x - 2. Let m be b(2). Do p and m have different values?
False
Let t(o) = -o**2 - o + 4. Let a be t(-3). Let z(w) = -w**3 - 2*w**2 + 3*w + 5. Let q be z(-2). Is q != a?
True
Let k = -39 - -35. Which is smaller: k or -3?
k
Let t = 165 - 991/6. Do t and 2 have the same value?
False
Suppose -3*h + 3 = -0. Let b(x) = x**3 - 12*x**2 + 11*x + 1. Let c be b(11). Let p be 20/(-8) + 3 + c. Which is greater: p or h?
p
Let t = -0.3 + -0.2. Let b = -0.8 + 1. Let i = t + b. Are 0.2 and i nonequal?
True
Let m = 0.05 + -0.35. Let y = -0.44 + 0.04. Let u = 0.3 + y. Which is smaller: u or m?
m
Suppose 0 = -5*z - 2*a, 0 = -2*z + z + 2*a. Let t be 1*(-1 - (-1)/1). Does t = z?
True
Suppose 0 = 2*x + 2. Let r be (((-8)/46)/(-2))/x. Do 0 and r have different values?
True
Let q = 5.7 - 6. Let f = -7.7 + q. Let l = -7.9 - f. Is l at most as big as -6?
False
Let z(y) = -y + 6. Let a be z(5). Let c(v) = v**3 + 2*v**2 + 2*v - 3. Let u be c(2). Suppose 2*j - u = -5*h - 5, j + 3*h = 7. Is a at least as big as j?
True
Suppose -2*u + 4 = x + 2*u, 4*u = 4*x - 76. Let n be 0 + x/(-2 - 2). Which is bigger: -6 or n?
n
Suppose -5*l + 3*v + 4 = -0*v, l + 2*v = 6. Suppose -2*y - l*u - 4 = y, -2 = u. Which is smaller: 2 or y?
y
Let b = 46 - 43. Is b >= -1?
True
Suppose 3 = 2*z + 3. Is z less than -1/18?
False
Let c be (-36)/(-45) - (-6)/(-45). Is c bigger than 12?
False
Suppose 0 = 3*s + 4 + 2. Which is smaller: -3/4 or s?
s
Let k(i) be the second derivative of i**5/20 - i**4/3 - 5*i**3/6 - 2*i. Let y be -2*(3/(-6) - 2). Let r be k(y). Is 2/11 <= r?
False
Let i be (-97)/216 + 21/56. Which is smaller: i or -2?
-2
Suppose 3 = 4*m - m. Let q be (2 - 3) + m + 1. Is q at most as big as 1?
True
Let x = 11039 + -77407/7. Let b = -19 - x. Are 0 and b non-equal?
True
Suppose -5*c + s + 3 = -2*s, -5*s - 5 = 0. Is c > -3/10?
True
Let n = 15 + -46/3. Let t be (-2)/15*(-6)/4. Is n smaller than t?
True
Suppose -88 = -3*s + 7*s. Let c be 46/28 + 11/s. Is 2 bigger than c?
True
Let c be ((-4)/(-46))/(1 - 2). Let o(q) = -q**2 + q + 1. Let i be o(-1). Does c = i?
False
Let h = -743/43 - -17/215. Let z = h - -359/20. Is z >= 1?
False
Suppose 3*v + y = 4*y - 93, 0 = 3*v - y + 99. Is v less than or equal to -34?
True
Let n = -211/18 + 23/2. Do -17 and n have different values?
True
Let r(z) = z + 1. Suppose 4*d + 4*a = 5*a + 1, 0 = d + 5*a + 26. Let g be r(d). Suppose x + 3*x = g. Is 2/9 at most x?
False
Suppose 4 = -3*c + 19, f - 4 = -3*c. Which is greater: -12 or f?
f
Let v be -1 - (33/(-15) + 2). Suppose y - 1 = -3. Which is smaller: v or y?
y
Let z = -22 + 23. Let b be (-2)/(-2)*(0 - -3). Which is smaller: b or z?
z
Let t(c) = -c**3 - 10*c**2 - 15*c + 9. Let f be t(-8). Is -2/61 smaller than f?
True
Suppose -w - 4 = -5*w, -2 = -5*k + 3*w. Let o(m) = 11*m**3 + m**2 - m + 1. Let x be o(1). Let a be (-18)/x - (-2)/1. Which is smaller: a or k?
a
Let a be -3 + (2 - -6) + (-6)/4. Does 2 = a?
False
Suppose -7*s - 3 = 4. Is -4/13 greater than s?
True
Let z = 18 + -19.4. Let a = 1.28 + z. Which is greater: a or -1?
a
Let u = 39968 - 3077484/77. Let z be 5*(-16)/28 - -2. Let s = u + z. Is 1 greater than s?
True
Let c = -4 - -4. Let a be (-2)/8 - c/8. Suppose 0 = -p - 3*z + 11, 0*z - 4 = -2*z. Which is smaller: p or a?
a
Suppose k + 7*f - 8 = 4*f, -2 = -k - f. Let y(c) = c + 3. Let o be y(-4). Is k less than o?
False
Let l = 0.07 - 1.17. Let q = -1 - l. Is q >= 1/4?
False
Let j be (6 + -2)*107/4. Let i = 1403/13 - j. Which is smaller: i or 1?
i
Let t = 217/3 + -73. Suppose 0 = 5*y + 5*v - 15, -2*y + 6 = v + 3*v. Suppose 0 = -2*s - y*s. Which is smaller: t or s?
t
Let z = -4 - -6. Suppose -z*w - 2 = -0. Which is greater: w or -2?
w
Let i be (-6 + 5)*(-2)/1. Which is smaller: 3 or i?
i
Suppose -n - 2*c + 9 = -0*c, 0 = -2*c + 8. Is 0 less than n?
True
Let q = 10 + -10. Which is smaller: 2 or q?
q
Let f be 3*(-3 - -4) - (1 + 2). Which is bigger: f or 3/16?
3/16
Suppose 17 + 13 = 5*d. Suppose d*l - 24 = 3*l. Is 8 bigger than l?
False
Suppose -h + 24 = 7*h. Which is smaller: 27 or h?
h
Suppose d - 7 = 4*n, -4*d + 19 = -4*n + 3. Suppose 3 = d*p - 3. Which is smaller: p or 2/3?
2/3
Let w = 3 - 2. Suppose -15 = -5*p + 3*r + r, 4*p + 3*r = 12. Which is greater: p or w?
p
Let f be (2 - -1) + -5 + 64. Is 63 greater than or equal to f?
True
Let m = -49/15 + 31/6. Let v = -151/90 + m. Let b = 15/2 - 7. Which is greater: v or b?
b
Let j(n) = n - 17. Let s be j(7). Let c be 303/(-180) + 4/s. Let b = 11/4 + c. Which is bigger: 2 or b?
2
Suppose 20 = -4*n + 2*n. Let w = n - -11. Which is smaller: -2/7 or w?
-2/7
Let l = -24.9 - -25. Which is smaller: l or 69?
l
Let c(d) = 3*d - 7. Let g be -4 - (-21)/(3/1). Let i be c(g). Which is smaller: i or 4?
i
Let i = 15 + -14.5. Is i > 0.1?
True
Suppose 4*f = a + 1, 0 = -f + 2*f + 2*a + 11. Are -2 and f equal?
False
Let m(f) = f**3 + 7*f**2 + 4*f - 8. Let b be m(-6). Suppose -3*s - 3 = -6*s - 3*a, -b = -4*s - 3*a. Which is smaller: s or 2/5?
2/5
Suppose 0 = 3*g + 3*k - 12, -4*g + g = -4*k - 26. Suppose -g*c + 4*c = 4. Let p be 1/c*(0 + 2). Which is bigger: p or -3/2?
p
Suppose 10 = -5*w - 0*w. Let j be w/4*(0 + -2). Let k be ((-4)/(-110))/(3/(-15)). Is k > j?
False
Let y = -12 - -22. Which is smaller: 8 or y?
8
Let g = 340 + -337. Let y = -1.2 - -1. Let v = y + 0.1. Is v bigger than g?
False
Let l = 9.3 - 9. Is 0 less than or equal to l?
True
Let l(q) = -2*q - 2. Let s be l(-4). Let w be s/4 + 2/4. Let k = 0.22 - 0.12. Is k > w?
False
Let c(u) = -2*u - 13. Let l(j) = j + 6. Let n(s) = -6*c(s) - 13*l(s). Suppose -5*a = 1 + 4. Let b be n(a). Is 2/9 bigger than b?
False
Let b = 11 - 11.2. Which is bigger: 0 or b?
0
Let u = 7 - 7.3. Let n = u - -0.2. Is 1/5 greater than or equal to n?
True
Suppose -d = -5*d + 20, -2*a - 13 = -3*d. Let i be 4/8*(-3)/(-6). Which is bigger: a or i?
a
Suppose -87*k + 91*k = -132. Which is smaller: k or -34?
-34
Let a be 14*4/(-16)*2. Let z be 87/(-12) + 6/8. Which is smaller: a or z?
a
Let v be 8/12 - (-32)/6. Let h be (-413)/(-42) + (-2)/v. Let f = h + -10. Is 0 greater than f?
True
Let u = -17/12 + 7/4. Let k be -1 - (62/(-22) + 2). Which is smaller: k or u?
k
Let g = 18 + -23. Is g greater than or equal to -4?
False
Let r = 18 - 17.8. Are r and -0.4 equal?
False
Let w = 6 - 4. Suppose -w*q - 4*y = -32, 2*y - 6 = 4. Suppose q*o = 2*o. Which is smaller: -6/13 or o?
-6/13
Let h = -0.42 + -0.58. Are -7 and h unequal?
True
Let b = -15 - -15. Suppose 5*g + 2*y - 15 = -b, -4*g + 12 = 3*y. Are 2 and g nonequal?
True
Let d(m) = m**2 - 4*m - 6. Let i be d(6). Let o be (i/(-2396))/(21/28). Let n = o + -1783/4193. Is 0 greater than or equal to n?
True
Let o = 15 + -15. Is o at least as big as 20?
False
Suppose 5*l