et x = 482/465 - 28/31. Does a = x?
False
Let j = 7 - 2. Suppose -3*o - j*d + 2*d = 0, 0 = 3*o + 4*d - 1. Is o >= -2?
True
Let k be 339/(-384) - (-2)/4. Let u = 1/128 + k. Are -1 and u nonequal?
True
Suppose w + 4 = -3*t, -t - 34 = -5*w + 2*t. Suppose 0 = w*p - 36 - 129. Let u = p - 127/4. Which is smaller: u or 2?
u
Let f = 12 + -9. Suppose 2*y - 8 = -5*h + h, 0 = f*y - 2*h + 4. Which is smaller: y or 15?
y
Let y be (-6)/10*8/(-12). Let b = 0.4 - 0.2. Let x = b - 0. Which is bigger: y or x?
y
Let s(k) = 8*k**3 + k**2 + k - 1. Suppose 6*l - 3*l - 5 = -2*p, 5*p - 4*l - 1 = 0. Let d be s(p). Let a = d + -10. Is 0 < a?
False
Let j = 1.8 + -10.8. Let y = 9 + j. Is 2 at least as big as y?
True
Let y = 11 + -7. Suppose 3*k + 5*p = 2, p + 48 = y*k + 7. Is k at most 10?
True
Suppose 2*u - 18 = -2*w, -6*w + 21 = u - 2*w. Suppose -f + 14 + u = 2*d, 0 = -3*d + f + 21. Suppose -4*a + d = -12. Which is smaller: a or 4?
4
Let l be 2*1/(-2) - 3. Let u be -3 - (0 + -12) - 1. Suppose t + 4*v = -2*t - 5, -3*t - u = v. Which is smaller: t or l?
l
Let h = -7.5 - 2.5. Let m = 9.855 - -0.245. Let n = h + m. Which is smaller: -0.1 or n?
-0.1
Let b be 2/(-6)*9/12*-4. Let a be 2/60*26 + -1. Is b != a?
True
Let k = 3 - 2. Let j be (2/20)/(4/(-8)). Are j and k nonequal?
True
Let i(r) = 2*r + 2. Let l be i(4). Suppose 4*o - 3*m + 9 = -6, 4*o - 2*m + l = 0. Let y be (-8)/(-6) - (-4)/(-6). Which is bigger: y or o?
y
Let r = -6 + 6. Let y = -1 + r. Which is smaller: y or 0.1?
y
Let d = 51 + -50.9. Which is bigger: 53 or d?
53
Let v = 200 - 111. Let t = 44 - v. Let c be (2/8)/(t/20). Which is smaller: c or 0?
c
Let y be 7 - (-385)/(-56) - (-3)/4. Do y and 2 have different values?
True
Let d = -0.07 + -0.01. Let c = -1.92 + d. Which is smaller: c or -2/5?
c
Let k = 26 + -57/2. Which is bigger: k or 0.1?
0.1
Let n = 17.1 + -14.1. Is n less than or equal to -0.12?
False
Let l be 494/600 - 2/8. Let z = l - 6/25. Let q = 0.5 - 1.5. Is q at most as big as z?
True
Let z = 53 + -49. Which is smaller: 7 or z?
z
Let r be 4/16 - (-81)/12. Let o(y) = y**2 - 7*y - 7. Let p be o(r). Is p less than -8?
False
Let p = -35 + 34.6. Which is smaller: p or -0.02?
p
Let k = 0.04 - 0.34. Let p = 0.2 + k. Suppose 3*i = -3, -5*n + i + 22 = -2*n. Which is smaller: n or p?
p
Let c = 8 + -12. Is c greater than -3?
False
Let n = -0.97 + -112.03. Are 2/3 and n unequal?
True
Suppose -5*q - 5*d = -60, -2*q + 4*q - 18 = -4*d. Suppose 0 = u + 4*u - q. Is 0.1 less than u?
True
Let w = 7 + -6. Is -3/8 bigger than w?
False
Let a be (1/3)/(2 + -4). Let q(i) = i**2 + 5*i + 5. Let v(o) = -o**3 + o + 2. Let u be v(2). Let n be q(u). Do a and n have the same value?
False
Let i = 45 + -407/9. Let a = -6 + 10. Suppose -a*d = -9*d. Do i and d have different values?
True
Let q = -4.142 - -0.042. Let z = q + 4. Which is greater: z or 0.3?
0.3
Let v = 38.15 + -37. Let d = 0.25 - v. Which is greater: d or -2/5?
-2/5
Let l(h) = -h**2 + 14*h + 38. Let s be l(13). Which is smaller: s or 50?
50
Let h(s) = s**2 + 3*s + 3. Suppose 2*i + 1 = -3. Let p be h(i). Let m be (-1)/(-2)*2 + 1. Is m not equal to p?
True
Let w = 15 - 15. Which is greater: w or -1/20?
w
Let w = 2760/13 + -212. Is w at most 1?
True
Let p be (-1)/2 + (3 - 2). Suppose 30 = 2*i + 3*i. Let t be 10/i - (-3)/9. Is p at least t?
False
Let l(f) = f**3 + f**2 - 2. Let j be l(-2). Let a(o) = o**3 + 5*o**2 - 5*o + 3. Let z be a(j). Which is bigger: -2 or z?
-2
Suppose 13*a = 5*a + 208. Is 26 not equal to a?
False
Suppose 0 = 4*k - 1 - 3. Is k not equal to -6/23?
True
Let n be -4 + 1 + (-9)/(-3). Suppose 0*g + 5*g = n. Which is smaller: g or -0.01?
-0.01
Let z be ((-6)/(-20))/((-12)/10). Suppose 0*i - 5*y - 18 = 2*i, -i + 21 = -5*y. Which is smaller: i or z?
z
Let n = 6 - -11. Is n at least as big as 18?
False
Suppose -4*u = 9*w - 14*w - 20, 2*w + 8 = u. Suppose q - 8 = -3*q. Let f be 1 + -2 + -1 + q. Is u greater than or equal to f?
True
Let x = -1.7 - -1.68. Is x at least as big as 2?
False
Let x = 4 - 4.21. Let h = x + 0.14. Do h and 2/3 have different values?
True
Let m = 3.2 + -2.2. Is 14 > m?
True
Suppose -q + 3 = 1. Which is bigger: q or 0.31?
q
Let m(s) = s + 5. Let c be m(-9). Let l(w) = -w**3 - 4*w**2 + w + 2. Let q be l(c). Is -2 smaller than q?
False
Let x be ((-15)/12)/(2/(-8)). Suppose 52 = -3*g + 5*s - 48, -x*g - 2*s = 177. Let w be (-4)/14 - 20/g. Which is greater: w or 0.1?
w
Suppose 3*o = 4*z - 8, 3*o - 5*z + 16 - 3 = 0. Let s = o + -3. Is s greater than or equal to -2/5?
True
Suppose 4*v + 16 = -2*y, -5*v = 2*y + 6 + 14. Is y > 1/3?
False
Let n be (-36)/(-6)*2/6. Let l = -2 - n. Is -4 at most as big as l?
True
Let k(h) = -h**2 + 5*h. Let g be k(5). Suppose -5*z + 4*z - 2 = g. Let t be -2*(z - (-21)/11). Is t at least 0?
True
Suppose -n - 3*p = 17, 0 = 3*n - p + 3 - 2. Let b = n - 1. Is b < -3?
False
Let x = -17 - -16. Which is greater: x or 3/11?
3/11
Let s = 777/26 - 174/13. Let a = s + -17. Is 0.2 not equal to a?
True
Let q be 0 + -1 - 0 - -1. Let d = 136 + -678/5. Which is smaller: q or d?
q
Let w(u) = u**2 - 4*u - 7. Suppose 6 = 2*c - c. Let d be w(c). Which is greater: 4 or d?
d
Let c = -2/231 + -428/3927. Is -2 greater than or equal to c?
False
Suppose 3*g = -4 + 13. Suppose x - g = 4*x. Which is bigger: 1 or x?
1
Let l = -180 + 138. Are -43 and l nonequal?
True
Let o = -15.03 + 15. Let y = o - 0.07. Let r = -0.3 - -0.2. Does y = r?
True
Let s be (1/1)/(-5 - -6)*1. Let c(z) = z + 7. Let a be c(-6). Let v be (-21)/9 + 2*a. Which is smaller: s or v?
v
Suppose 8*i + 5 = 3*i. Let t = 1.8 - 2. Does i = t?
False
Let u(n) = n**2 - 5*n - 1. Let c be u(5). Is c at least as big as 1/7?
False
Suppose 2*x = 7*x - 2*r - 51, 6 = -2*r. Suppose 5*c - 56 = -4*t, -5*c - 7 = -t - 2*t. Is t smaller than x?
False
Let v = -28 - -42. Which is greater: -1 or v?
v
Suppose 2*t + j - 8 + 2 = 0, 0 = 5*t - 5*j - 30. Suppose -4 + 0 = t*x. Does -2/5 = x?
False
Let r be 1 - -1 - (-24 - -23). Let m(v) = v - 6. Let w be m(4). Let i be r - 6*(-1)/w. Is i < -1/6?
False
Suppose -8 = -4*d + 3*p + 2*p, 2*d = 3*p + 4. Is d < -2/15?
False
Suppose 0 = 3*t - 1 - 41. Is 15 <= t?
False
Let z = 7.88 - -0.12. Let o = 3 - z. Let p = 2 + o. Which is smaller: 0.1 or p?
p
Let y(v) = 10*v**3 + 2*v**2 - v - 3. Let n be y(-2). Let j be (-1083)/15 + (0 - 1). Let b = n - j. Which is smaller: 1 or b?
b
Let z(y) = 7*y**2 + 45*y + 20. Let p be z(-6). Suppose 4*w + 3*o + 16 = 0, w - 5*o = 3 + 16. Which is bigger: w or p?
p
Let u = -1 + 4. Suppose 4*r - 4 = -2*x, -r = u*r - x + 8. Is r >= -2?
True
Suppose -3*k + 17 = -4*b, -k + 2*b = -2*b + 5. Is k > 20?
False
Let j(i) = 3*i**2 + 0 + 4*i + 1 + 1 + 2*i**3 - 3*i**3. Let s be j(4). Let f = s + 1. Is f smaller than 2?
False
Let n = 33 + -68. Let x be (-2)/(-7)*n/(-40). Is -2 greater than or equal to x?
False
Suppose -2*a - 2*w + 56 = 0, w - 1 = 2*w. Suppose 28*s = a*s. Let c = -22 - -45/2. Is c at most as big as s?
False
Let g = -2/3866553 + -1415157128/2455261155. Let h = 3/127 - g. Let s = -235 - -703/3. Is h less than or equal to s?
False
Let r = -1507823/60 - -25131. Let l = r + 1/20. Is l equal to -0.2?
False
Suppose -45 - 1 = -5*i + 4*h, -i = -h - 10. Is i bigger than -7?
True
Let p = -2/3 - -4/15. Which is smaller: p or 0?
p
Suppose 2*t - 8 = 0, 3*r - 4*t = 2 - 45. Which is bigger: -7 or r?
-7
Let w be 2 + -1 + 1 + -1 + -2. Which is bigger: w or -6/17?
-6/17
Let v = -0.2 + 0. Which is greater: v or 0.03?
0.03
Suppose 3*p + 3 = -0*p. Let a(o) = o. Let b be a(-3). Let m = -3 - b. Which is smaller: p or m?
p
Let j = 4 - 0. Suppose -a + 0*a - j = -5*s, 3*s = -a + 4. Let i = 2/19 + 49/76. Is s less than or equal to i?
False
Let y = 34/39 + -20/13. Which is bigger: y or -1/3?
-1/3
Suppose 0 = 3*s - 3. Let o be 2/s*(0 - 3). Let m be o/40*(-8)/1. Which is bigger: m or 2?
2
Suppose -135 = r - 6*r. Which is greater: 26 or r?
r
Let a be 8/4*(1 - 0). Suppose -8 = -a*r - 4. Suppose y = 3 - 1. Is y smaller than r?
False
Let l(t) = t + 1. Let v be l(-1). Let b = -1 + v. Let g(s) = -s**2 - 2*s - 1. Let j be g(b). Which is smaller: -2/13 or j?
-2/13
Let c be (-8)/10*5/(-2). Suppose 0 = 2*u - 3 - 5, -4*t - 32 = c*u. Is t at most as big as -11?
False
Let g be (-2)/6 + (-26894)/147. Let o = g + 183. Which is smaller: o or 0?
o
Suppose 1 - 5 = 4*f. Let t be 0/(-7) - (