u be 2/(-8) + (-695)/(-2460). Let x = u + 202/1353. Let k be 6/27 - 11/9. Are x and k non-equal?
True
Let b be 2/(-3) + ((-14)/(-21))/(-2). Which is smaller: b or 3/98?
b
Let y = -97 - -94. Is y at least -28/9?
True
Let r = -447 + 451.11. Let d = 0.11 - r. Let i = d + 3.8. Is 1 at most i?
False
Let m = -0.03 - 0.07. Let g = 3.1 + m. Which is bigger: g or 0.3?
g
Let r be ((-1)/6)/((-3)/(-6)). Let p = -0.2 + 0.4. Let f = p + -0.3. Which is smaller: f or r?
r
Let d be (-4)/18 - 40/(-18). Suppose 5*s + 27 = a, 4*a - 8*a = 2*s + d. Suppose 5*o + a*y - 3*y = 13, o - 17 = 5*y. Is 1 less than o?
True
Suppose 4*g + 60 = 5*y, 4*g - 2*y + 52 = y. Which is bigger: g or -12?
g
Let f(b) = b**3 - 8*b**2 + 6*b + 9. Let k be f(7). Suppose -6 = -2*n - j, n + 14 = -n + 4*j. Is k not equal to n?
True
Let n = 3 - 1. Suppose 3*s + 35 = -n*s. Is -7 > s?
False
Let v be ((-1)/(-2))/(2/(-20)). Which is greater: v or -2/3?
-2/3
Let d be ((-8)/(-9)*-1)/(-2). Is d bigger than -1?
True
Let k be 4/(-14) + 15360/(-42). Let y = -3298/9 - k. Which is smaller: y or -1?
-1
Let j = -7 - -7.1. Let l = 2.9 + j. Which is bigger: l or 2?
l
Let q be 2*(4 + -5)*-2. Suppose -1 = j - q. Which is bigger: 4 or j?
4
Let d = -12 - -27/2. Which is smaller: d or -1?
-1
Let j be (-1 + 0)*(3 + -1). Suppose 2*z + 6*d - d = 28, 5*d - 12 = 2*z. Let t be 9/(-2) - (-2)/z. Is t smaller than j?
True
Let r = -0.26 + 0.16. Which is smaller: r or 0.5?
r
Let c = -22101/65 - -340. Is 0 less than or equal to c?
False
Let b = 0.2 - 0.1. Let c be (39/(-12) + 3)/(20/32). Which is bigger: b or c?
b
Suppose 2 + 10 = -3*r. Let p be ((-40)/(-12))/((-4)/6). Are r and p nonequal?
True
Let z be (-1)/5 + 77/35. Let u be (-1)/(-4) + (-22)/(-8). Suppose m = u*m - 2. Are m and z unequal?
True
Let r = -16/55 - -23/11. Is 1 greater than r?
False
Let g = 140 + -982/7. Are g and -2/7 unequal?
False
Let a = 140 + -139.4. Is a smaller than -2?
False
Let a = 36 + -36.1. Which is greater: -9/4 or a?
a
Let k(d) = 3 + d + 2*d + 0*d + 2*d + 7*d**2 + d**3. Let c be k(-6). Suppose -2*w + c = 3. Is 1 bigger than w?
False
Let r = 12 + -13. Do -9/4 and r have different values?
True
Let h = -173/117 - -14/9. Suppose q + 3 = -2*q. Are q and h non-equal?
True
Let c(k) = -2*k - 5. Let d be c(4). Is -14 at least as big as d?
False
Let j = -6.08 - -6. Let g = -2 + 2.08. Let u = g + j. Is u greater than or equal to -1?
True
Let g(z) = -4*z**2 + z + 1 - 7*z + 4 + z**3. Let i be g(5). Suppose 2*j + j - 3 = i. Which is smaller: 2 or j?
j
Let p(x) = -x**2 + x. Let t(k) = 3*k**2 + 1. Suppose -2*o + 0*j = -5*j + 19, 5*j - 11 = -2*o. Let v(u) = o*p(u) - t(u). Let w be v(-1). Which is bigger: w or 1?
1
Let g be 2/8 + 0 + 14/72. Is g greater than -2/5?
True
Let f = 2 + 5. Let c = f + -7.1. Is -0.1 != c?
False
Let n = 0 + -2. Suppose -4*f - 11 = 5*m, f - 4 = -3*m + 4*m. Is n bigger than f?
False
Let p = 34 + 39. Which is bigger: p or 75?
75
Suppose -4*y = -55 + 271. Let p be y/(-10) + (-6)/(-10). Suppose -3*q = -3 + p, 3*q = 5*c - 13. Is c less than 0?
False
Let g be (-182)/(-70) + 1*-3. Suppose 2*d + 0 = 2. Are g and d non-equal?
True
Let l = 6 - 40/7. Let d = -2 + 2.1. Let v = d + 0.1. Is l bigger than v?
True
Suppose -10*i - 43 = -9*i - 4*y, 3*i = -y - 103. Is i at most -35?
True
Suppose 3*z = -4*k - 6, 2*k + 4*z + 4 = -4. Suppose k*n = -5*r - 5*n - 15, -5*n - 15 = -3*r. Are 0 and r nonequal?
False
Suppose -5*z = 5*p + 30, -2*p - 2*p = 0. Let c = -5 - z. Which is smaller: -3 or c?
-3
Let k = -30 + -3. Is k < 2?
True
Let b(c) = c**3 - 8*c**2 + 2*c - 4. Let u be b(8). Is 13 at least u?
True
Let j = 6 - 5.7. Let p = j + -0.4. Which is greater: p or -2/7?
p
Let a = -145481/15 - -9705. Let m = 20/3 - a. Let h(l) = l - 6. Let v be h(5). Are v and m equal?
False
Let d = 0 + 33. Are 33 and d non-equal?
False
Let g = 2.2 + -4.6. Let y = g + -0.6. Do -1 and y have the same value?
False
Let v(x) = -x**3 + 2*x**2 - 4 + 0*x**3 - 6*x**2 - x. Let l be v(-4). Let c be 1/(-4) - 2/(-8). Is c greater than l?
False
Suppose -2*f - 3*f = -5. Do -0.4 and f have different values?
True
Let h = -2 - -6. Suppose 0 = -2*o - 5*r + 3*r - 10, -3*r + 9 = -3*o. Let w = h + o. Which is greater: w or 2?
2
Let i = 0.04 + 1.96. Let n = i - 2. Which is greater: -2 or n?
n
Let x = -106 - -528/5. Suppose 20 = -4*k, -2*k = -5*s + 13 + 17. Suppose s*c + 3 = c. Is x >= c?
True
Let o be -2 + 7/2 + -1. Let l = -1/89 + 185/623. Are l and o nonequal?
True
Suppose -3*s = x - 3, -3*x + s - 11 = -0*s. Let a = -229 + -101. Let z be 2/11 + (-72)/a. Which is smaller: z or x?
x
Suppose -4*p = 2 - 26. Suppose -s = 3*i - 8, 2*s = 3*i - p + 13. Is 0 at most as big as i?
True
Let s = -15 - -21. Let h = s - 5. Let v = h + -1.2. Do -2/3 and v have the same value?
False
Let d = -55 + 85. Which is greater: 29 or d?
d
Let n = 61.1 - 61. Which is greater: n or -0.02?
n
Let u(z) = z**2 - 5*z - 7. Let q be u(6). Suppose 0 = -2*t + 6*t + 20. Let h(g) = -g**3 - 6*g**2 - 5*g. Let n be h(t). Which is bigger: q or n?
n
Let c be (-24)/32 - (-26)/56. Let r(u) = 3*u - 3. Let t be r(3). Let p be (2/t)/(2/6). Are p and c unequal?
True
Let f be (1 - 152)*1/(-365). Let n = 1/73 - f. Is n at least 1/3?
False
Let j(h) = h**3 - 4*h + 4*h**2 + 10 + 3*h + 5*h**2. Let g be j(-9). Let l = g + -173/9. Which is bigger: l or -1?
l
Suppose -f + 3*m + 16 = 0, 2*f - 2*m = -3*m + 53. Let j = f - 18. Do j and 7 have the same value?
True
Let r = -0.49 + 0.3. Let x = -0.09 - r. Which is bigger: 3 or x?
3
Let w = -143/60 - -23/10. Which is smaller: 1 or w?
w
Let r = -11870/43 - -276. Let u be (-2 - (-934)/258) + -1. Let j = r - u. Is -1 > j?
False
Let w(l) = 3*l - 4. Let f be w(0). Which is smaller: f or -1?
f
Suppose -2*w = 3*s - 74, 3*w + 106 = 5*s + 2*w. Suppose -2*f - 7*g = -2*g + s, 15 = -3*f - 3*g. Let u = -4/15 + -1/3. Do f and u have the same value?
False
Let r be -3 + 30*3/6. Let u be ((-3)/(-6))/((-57)/r). Is u less than or equal to -1?
False
Let v(t) = t**2 + 8*t + 15. Let u be v(-6). Let c = 4 - -1. Which is bigger: u or c?
c
Suppose 3*d + 6 = d. Let v be 4/(-5) + d/(-5). Is v less than or equal to -1?
False
Let v be (-48)/(-56)*28/9. Which is smaller: v or 2?
2
Let a be (7/2 + -3)*-2 + 5. Which is smaller: a or 5?
a
Let g = 16 - 11. Suppose -7 - 3 = -g*u. Suppose 3*c = -u - 7. Which is smaller: c or 2/7?
c
Let j = -24.2 - -20. Let p = j - -1.2. Is -2/11 at most p?
False
Let f = 349/285 - 22/19. Is f less than -1?
False
Suppose 0 = 3*p - 9 + 12. Which is bigger: p or -1/45?
-1/45
Suppose -5*f + l = -11, -2 - 1 = -4*f - 5*l. Let k(q) = 2*q**3 - 3*q**2 + q - 2. Let h be k(f). Suppose -v + 3 = h. Which is greater: 1 or v?
1
Let b = -0.5 - -2.5. Let m = b - 1.6. Let z be 2/(-3)*(-1)/2. Which is greater: z or m?
m
Let d be 321*2/9 - -1. Let m = d + -73. Let q = 3 - 2. Which is greater: q or m?
q
Let k be (16/(-10))/(8/(-20)). Suppose -3*r = -3*u + u, -k*r = 3*u. Which is smaller: r or 6/7?
r
Let w = -4/13 - -81/52. Are 0 and w unequal?
True
Let l(m) = 2*m - 1. Let j be l(3). Suppose j*s = 3*t - 10, -s - 2 = -5*t + t. Let q = 1 - 2. Which is bigger: q or s?
q
Suppose 2*t + 5 = -k + 11, t - 5*k = -8. Let f be ((-2)/t + 2)/1. Suppose -j + 5 - f = 0. Is 3 != j?
True
Let t be 3/6*(0 - 0). Let v be (-1 - -1) + t + 4. Which is greater: 3 or v?
v
Suppose -4*n - 22 = -6. Let k be n/(-6)*(-45)/(-6). Suppose 3*v = k*v + 8. Are -2 and v nonequal?
True
Let s = -8 + 8. Suppose 0*y + 5*y = s. Let l = 0.8 - -0.2. Which is bigger: y or l?
l
Let n = -48.1 - -52. Is n at least -1?
True
Let j(v) = 3*v**2 + 2*v - 3. Let s be j(-3). Let k be (-38)/s - 1 - 0. Let d = 122/45 + k. Which is smaller: 0 or d?
d
Let w = 1 + 3. Suppose 7*p = 4*p + w*o - 6, -o + 7 = 2*p. Let c = -2 + 1. Are c and p equal?
False
Suppose 3 = m - 2. Let z = m - 5. Are -1/11 and z non-equal?
True
Let g = 0.86 + -0.76. Let d = -20 + 7. Is d greater than g?
False
Let o be (16 - 19)*(-4)/(-882). Which is smaller: 0 or o?
o
Let x = 196 - 198. Let i be (2/3)/(1/3). Let f be (i/2*-3)/1. Is x equal to f?
False
Let v be (9426/(-8))/((-6)/(-48)). Let p be 4/(-10) + v/(-44715). Let y = p + 2/271. Is y at most 1?
True
Let w(z) = 6*z**2 - 2*z + 4. Let d(n) = -5*n**2 + n - 3. Let g(j) = -5*d(j) - 4*w(j). Let q be g(-4). Is q > 3?
False
Let q = -0.01 - -0.01. Does q = -31/2?
False
Suppose -56 = -4*