et l = -0.4 + k. Are 0.11 and l equal?
False
Let z = 9 + -1. Let t = z - 14. Let q = t - -6. Do q and -1/6 have the same value?
False
Let a = -10.93 - -11. Let k = a - 0.17. Which is bigger: 9 or k?
9
Let m be 2/4 - 51/(-6). Let t be (2/(-3))/(33/m). Which is greater: t or 0?
0
Let f be (1 + -2)/(1/3). Let g be 3/((-6)/4)*f. Is g smaller than 5?
False
Let x be ((-14)/(-10) + 8/(-20))*1. Is x less than or equal to 1?
True
Let f = 47 + -24. Let o be (-7)/21 + f/(-21). Do -1 and o have the same value?
False
Let r = -27 - -25. Let b = 3 + -2. Do b and r have the same value?
False
Let t(s) = s**3 + 6*s**2 - s + 5. Let p be t(-6). Let h be 219/(-66) - 2/p. Which is smaller: -4 or h?
-4
Let k(a) = a + 18. Let p be k(-13). Let l = 14 - p. Which is bigger: 8 or l?
l
Let d(n) = -n**3 - 8*n**2 + 9*n + 3. Let x be d(-9). Let s = 2 - x. Is 1/3 equal to s?
False
Let s(t) = -t**2 + 10*t + 1. Let p = 4 - -6. Let u be s(p). Are 1/3 and u nonequal?
True
Let s be 6*(12/(-9) - -1). Suppose -5*q = -3*q + 4. Let k = s - q. Is 0 not equal to k?
False
Suppose u + 46 = 3*r - u, 5*u = -10. Is r at least 14?
True
Let j = -0.3 - -1.3. Do j and 1/5 have different values?
True
Suppose 2*m + 7 = 5*o + 36, 2*m = o + 41. Is 22 < m?
False
Let x = 1 + -7. Let y be (x/9)/(7/3). Which is bigger: y or 0.1?
0.1
Let t(x) = -x**2 - 2*x + 1. Let z be t(1). Let r be (19/(-10) - z)*-2. Let u(c) = -c**3 - 8*c**2 - c - 9. Let i be u(-8). Which is smaller: r or i?
i
Let o = 0.1 + -0.1. Let i = -0.09 - -2.09. Is o less than i?
True
Suppose 0 = 3*q - 5*q + 6. Let c be ((-6)/2)/q*3. Which is smaller: 1 or c?
c
Let y = 662/253 + -519236/1771. Let w = -290 - y. Is w < 0?
False
Let b = 0 + -2. Let i = -198/445 - -4/89. Is b smaller than i?
True
Let h(l) = 7*l**3 + 3*l**2 + 5*l - 1. Let g(b) = 8*b**3 + 4*b**2 + 6*b - 1. Let q(z) = 4*g(z) - 5*h(z). Let p be q(1). Is -9/5 at most as big as p?
False
Suppose j + 2 = 1. Let h be ((-19)/(-3) - -2)/(-1). Let s = h + 8. Which is bigger: s or j?
s
Suppose 5*f = -5*c - 0*c + 30, -5*f = 4*c - 23. Let m(t) = t**3 + 3*t**2 - t. Let o be m(-2). Is o greater than or equal to c?
False
Suppose 2*r - 3*z = 6, 2*z + 0 = r - 3. Let t = 4 - r. Let n be 5/(-6) + 30/20. Are t and n non-equal?
True
Let a = 73 - 86. Is a less than -9?
True
Let n = -17 - -15. Is -3 at most as big as n?
True
Let w = 317/4 - 80. Which is bigger: w or -3?
w
Suppose 2*k - 2 = 36. Which is smaller: k or 0?
0
Let t = 5.11 + -0.11. Let s = 12.1 - 7. Let i = t - s. Which is smaller: i or -1?
-1
Let w = 2 - 1. Let q(c) = 12*c**3 - c**2 + 2*c - 1. Let k be q(w). Let o be 24/(-14) + k/6. Does o = 0?
False
Let v be (2 + 0)*(-42)/4. Is v at most -22?
False
Suppose -24 = 7*s + 200. Is s not equal to -32?
False
Suppose 0 = -5*s + 6*s - 3. Suppose 14 = 4*o - s*o + 4*x, 5*o + x = 13. Which is smaller: 3 or o?
o
Let g = -0.018 + 0.048. Is g != -0.3?
True
Let y = -21 - -26. Which is bigger: y or -1/2?
y
Let s = 57/77 - 5/11. Which is smaller: 0 or s?
0
Let s(o) = 5*o**3 + 3*o**2 + 3*o + 1. Let l be s(-2). Is -33 at least as big as l?
True
Let t = -13 + 27. Let f = 14 - t. Which is smaller: 9/7 or f?
f
Let n = 10 + -21. Let j = 8 + n. Which is greater: -2 or j?
-2
Let j = -315 - -3473/11. Is 2 at least as big as j?
True
Let r be (-7)/((-49)/(-6)) - (-8)/28. Which is smaller: -1 or r?
-1
Let f = -1412 + 1394.86. Let m = f - -17. Let k = m + -5.86. Is 0.1 at least k?
True
Let p(x) = -3*x**2 + x - 1. Let f be p(-3). Is f at least -30?
False
Let x = -61/2 + 31. Which is bigger: x or 3?
3
Let x = -3.3 - -4. Let h = -5.3 - x. Is 0.1 at least as big as h?
True
Let c = 85 - 36. Let l be 7/(-9)*14/c. Let v = 3 - 2.8. Is v greater than l?
True
Suppose h + 3 = -3*y + 10, -5*h + 25 = 5*y. Which is greater: y or -2/407?
y
Let c = -8791/119 - -517/7. Is 1 > c?
True
Suppose 4*l - 3*l = -1. Let r = 1/11 - 13/22. Does r = l?
False
Let x = 1815 - 219617/121. Which is smaller: x or 0.1?
x
Let j be (0 + 0/1)/1. Let l be (2 - j) + 48/(-21). Which is greater: l or 0?
0
Let d = 206 - 58. Let b = d - 1034/7. Which is smaller: b or -1?
-1
Let v = 7 - 5. Suppose j = -v*j - 84. Let m = 198/7 + j. Is 1 greater than m?
True
Let k(b) = 2*b + 3*b**3 + 1 + 0*b - 4*b**3. Let l(g) = g**2 + 3*g + 1. Let n be l(-2). Let u be k(n). Which is smaller: -3/4 or u?
-3/4
Let q(w) = w**3 + 8*w**2 - 9*w - 1. Suppose 3*n = 3*x + 4*n + 29, -3*x + n = 25. Let a be q(x). Which is smaller: -2/15 or a?
a
Let s = -32 + 37. Let c be 7/(-3) - 8/12. Let n be 0 - (4/c)/4. Are n and s nonequal?
True
Let c(r) = 2*r - 5. Let a be c(3). Let v be 36/(-120)*(1 + a). Which is bigger: -4 or v?
v
Let y = -26 + 15. Let u = y - -11.4. Is -1 less than or equal to u?
True
Let g = -31 + 47. Let i = g + -11. Let z = 11 + -7. Does i = z?
False
Let c = 7 + 0. Let a = 13 + -7. Which is smaller: c or a?
a
Let h = 2/431 - -2149/1293. Which is bigger: h or 1?
h
Let s = -4 + 3. Let n = s + 0. Let r = -0.51 + 0.21. Is n greater than or equal to r?
False
Let u = -3.91 - 0.09. Let w = 3.9 + u. Let t = -0.2 - -0.1. Do t and w have different values?
False
Let f = -2 + 1. Let i be (48/308)/(2/7). Let j = i + -52/55. Is f != j?
True
Suppose 5*w - 3*v - 790 = v, -5*v + 835 = 5*w. Suppose 0 = -j - 2*j + w. Let l be 39/j - (-2)/(-4). Is l at least -1?
True
Let w = -6 - -9. Is 0 < w?
True
Suppose -9 = -3*u + v - 4*v, 3 = -5*u + 4*v. Let q be (-45)/(-60) + 1/(-4). Which is bigger: u or q?
u
Let a be (1 - 1) + (-3214)/4. Let r = -776 - a. Let u = 28 - r. Which is greater: 1 or u?
1
Let j = -25/26 + 6/13. Suppose -14*n = -19*n + 10. Which is smaller: j or n?
j
Suppose 8*g - 3*g - 630 = 0. Let p be g/(-33) - (-4)/(-22). Is -3 < p?
False
Let h(g) = -1. Let a(r) = r - 7. Let c(v) = a(v) - 6*h(v). Let u be c(3). Let m(z) = z**3 - 2*z**2 - z - 4. Let w be m(3). Is u < w?
False
Let i be (-10)/(-24) + 6/(-24). Which is smaller: i or 0?
0
Let b be 6/21 - (-10)/14. Let h be 0/(2 + b + -2). Which is greater: -1 or h?
h
Suppose -6*t + 5*t - 4 = 0. Let x = -8 + 15. Let y be -10*3/(x + -1). Which is smaller: y or t?
y
Let m = -3 - -4. Let q be (8/4)/(0 - -3). Let l = q + -1. Which is smaller: l or m?
l
Let m(z) = -3*z - 8. Let y be m(6). Let u = y + 16. Do -10 and u have the same value?
True
Let f be (-2)/(-4)*(3 + -5). Let p = 0 + -2. Let h = p + 1.6. Which is smaller: f or h?
f
Let s = -6 + 3. Let r be 6/((-2 + -1)/s). Let y = -4 + r. Is 1 greater than or equal to y?
False
Let m(g) be the third derivative of -1/60*g**5 + 0 + 3/2*g**3 + g**2 + 0*g + 1/3*g**4. Let t be m(9). Which is greater: 1 or t?
1
Let h(a) = a**3 - 3*a**2 - 6*a + 5. Let g = 0 + 4. Let n be h(g). Let j = 2 - n. Is 6 < j?
False
Let h = -13.1 + 13.2. Let k = 21 - 35. Which is greater: k or h?
h
Let f(i) = -i**3 - 2*i**2 - 4. Let p be f(-3). Suppose 0 = p*y + 3 - 13. Which is smaller: 4/7 or y?
4/7
Let k = 4 + -3. Let w be 54/(-189) + 94/35. Which is bigger: k or w?
w
Let n = 0 - -0.1. Let k = -0.4 - -0.4. Let t = 1 + k. Is n > t?
False
Let m be 12/16 + -1 - 0. Which is smaller: 0 or m?
m
Let i = 57 + -56.7. Which is smaller: -0.07 or i?
-0.07
Suppose 0 = 2*z + 9 - 1. Let y be (-18)/(-8) - (-1)/z. Let g = 119 - 589/5. Which is smaller: g or y?
g
Let n = 0 + 2. Let r = 8 - n. Let f = 9 - r. Is f at least -1?
True
Let l be 7 - (0 - (1 - 1)). Is 8 > l?
True
Let m(k) = k**3 - 9*k**2 - 9*k - 9. Let u be m(10). Suppose -3 = -c - u. Is -0.04 at least as big as c?
False
Let p = 0.075 + 4.925. Is 5 >= p?
True
Suppose -14*k + 12 + 2 = 0. Which is smaller: 0.01 or k?
0.01
Let i = -272 - -4078/15. Which is greater: 2/7 or i?
2/7
Let h = 0.1 + -0.3. Let y = 0.163 + -0.363. Is h equal to y?
True
Let m be (-1)/(1*1/(-2)). Suppose -j + m*j = 0. Suppose 0*d - d = j. Which is bigger: d or -2/13?
d
Let m = 2.1 - 2. Suppose 15*j + 12 = 19*j. Which is smaller: j or m?
m
Let v be (1/(-3))/(1/33). Let y = v + 12. Are -3 and y nonequal?
True
Let x = 18 + -13. Suppose -3*s + q + 12 = -2*q, x*s - 3*q - 22 = 0. Let g = -8 + 14. Is s less than or equal to g?
True
Let w = -137/210 - 1/70. Suppose 4*d - 3 - 1 = 0. Which is smaller: d or w?
w
Let m = 10.7 + -10. Let u = m - 3.7. Which is smaller: u or -1?
u
Let d = -0.4 - -0.5. Let k = d - 0.3. Let h = -2.4 - -2.2. Do k and h have different values?
False
Let f be 38/20 - (-6)/(-3). Let z = -7 + 9. Suppose 4*q = -5*d + 