 = 9 - 10.06. Let f = -0.06 - j. Is -12 smaller than f?
True
Let u be 10/(-45) + 38/90. Which is greater: -2/17 or u?
u
Let u be (-6)/(-14) - 20/14. Which is bigger: -2/39 or u?
-2/39
Suppose -4*r + 2*z + 60 = -2*z, -z = -5. Is 19 > r?
False
Suppose 0 = -4*u + 2*g - 14, 2*u = 4*u + 4*g - 18. Let x be 49/(-20) + 1/5. Which is smaller: x or u?
x
Let r be 38/(-14) + (-4)/14. Let d be 1/4 + r/108. Let s(i) = -i**3 + i**2 + 2*i + 1. Let x be s(2). Which is bigger: x or d?
x
Let t = -123 - -98. Is t != -26?
True
Suppose 0 = 3*x - 2*j, -2*x = -3*j - j + 8. Suppose 4*h + x = 6. Are -2/5 and h non-equal?
True
Let j = -79 + 79.2. Are 0.01 and j non-equal?
True
Let u = -13 + 5. Let b be (12/u)/(42/8). Which is greater: b or -0.8?
b
Let i = 5 - 0. Suppose -2*t - 10 = i*u - 6*u, 3*t = -12. Let v be 0/(-1)*(-2)/(-2). Which is greater: v or u?
u
Let c = 5/16 + -3/16. Let q(o) = 2*o + 15. Let t be q(-7). Which is bigger: c or t?
t
Let u = -9/7 - -25/14. Let s(g) = -g**3 + 5*g**2 + 5*g + 4. Let b be s(6). Let h(c) = -2*c - 2. Let w be h(b). Is w bigger than u?
True
Let z = -0.01 - 1.99. Suppose 15 = -t + 4*n, -4*t + 3*n = -0*t + 60. Let b be (4/(-6))/((-10)/t). Which is smaller: z or b?
z
Let w(k) = -k**2 - 4*k - 4. Let l be w(-6). Let a be (-10)/(-40) - (-5)/l. Which is greater: 0 or a?
0
Suppose n + 3 = -0. Let g = -24.1 + 27.1. Which is smaller: n or g?
n
Let o be 86/154 + 2/(-7). Is -1 at least as big as o?
False
Let w = -11 - -18. Let z = -7.1 + w. Which is bigger: 8 or z?
8
Suppose 2*c + 106 = -a, -c = -4*a - 3*c - 394. Do a and -95 have the same value?
False
Let r = 5 - 10. Let x = r + 1. Let i = -2 - x. Is 2 at most i?
True
Let u = -8 - -7.3. Let n = u - -0.8. Let g = 6 - 3. Which is greater: n or g?
g
Suppose -9*v - 1 = -8*v. Let q be (-2)/(-4) - (-82)/(-180). Which is greater: q or v?
q
Let w be (2/3)/(24/18). Are w and -4 non-equal?
True
Suppose -2*r + 116 = 2*r. Let f = r - -118. Let h = f + -1032/7. Which is smaller: h or -1?
-1
Let l = 22 - 6. Is 0 < l?
True
Let g = -21 - -23. Let j(d) = -d + 1. Let n be j(-1). Is g >= n?
True
Suppose -4*y - 11 = -47. Which is smaller: 10 or y?
y
Let a = -4 + 12. Let v(d) = 3*d**2 + 13*d - 19. Let o(n) = 2*n**2 + 6*n - 10. Let m(u) = 5*o(u) - 3*v(u). Let g be m(a). Is g greater than -2/7?
False
Let g = 0.25 + -0.55. Is g less than or equal to -2?
False
Let n = 152/45 - 34/9. Let y(k) = k**2 + 2*k + 2. Let r be y(-3). Let c = r - 6. Is n less than or equal to c?
False
Let h(j) = -j**3 + 4*j**2 + 12*j + 5. Let n be h(6). Which is greater: n or 3?
n
Let q(w) = w**2 - 2. Let p be q(2). Suppose -s = -p*s - 4*x, -3*s + 3*x = -15. Let g be 9/(-8)*s/(-3). Which is greater: 2 or g?
2
Let b = 6 + -8. Let i be ((-12)/21)/(b/7). Which is bigger: 0 or i?
i
Suppose 5*k + 31 = 126. Is k greater than or equal to 19?
True
Let b = -40 - -119/3. Is b equal to -5?
False
Let j = 92 + -91. Let x = 5 + -8. Which is smaller: x or j?
x
Let f be 3/120*(-8)/6. Is f >= 1?
False
Let g = -6 - -13. Let u be 1 - (-3 + 34/g). Which is smaller: -1 or u?
-1
Suppose -3*q + 4*q - 5*j = 25, 0 = -2*j - 8. Suppose 4*a - 186 + 630 = -2*v, 2*v + 440 = -q*a. Let l = v - -2072/9. Which is greater: l or -2?
l
Let n = 48 - 113. Let b = -323/5 - n. Let p(f) = f - 1. Let l be p(2). Is l smaller than b?
False
Let a(r) = r - 4. Let q be a(6). Suppose -q*u + 10 = 3*x, -4 = -2*u - x - 2. Which is bigger: 2/7 or u?
2/7
Let g = 0.18 + -0.22. Is g at least as big as -5?
True
Suppose -5 + 1 = -2*j. Let k be (34 - j) + 2/2. Let m = k - 164/5. Is m at most as big as 0?
False
Suppose 5*o - t - 25 = 0, 5*o - 2*t - t = 35. Let f be ((-20)/50)/(o/15). Suppose 3*u + 4 = 1. Is u less than f?
False
Let b(x) = x**3 - 5*x**2 - 6*x + 2. Suppose o + 24 = 5*o. Let y be b(o). Suppose 0 = -2*u - y*u. Is u at most as big as 1/3?
True
Let d = 11.23 + -0.23. Let n = d + -11.1. Do n and 1/15 have different values?
True
Let c(o) = 30*o + 3. Let u be c(3). Suppose 3*y + u = 276. Let d = y + -611/10. Is d smaller than 1?
True
Let h = -0.8 + -5.2. Which is greater: 3 or h?
3
Let a = 0.312 + -0.012. Let p = -0.2 + 0.3. Which is greater: p or a?
a
Let h be (-28 - -2) + (2 - 6). Are -29 and h equal?
False
Let t = 7 + -2. Suppose 0 = k - t*k + 4. Are k and 8 equal?
False
Let b = 14 + -10. Let v = 98 - 102.1. Let g = v + b. Which is smaller: g or 0?
g
Let i = -87/154 + 7/11. Which is smaller: 1 or i?
i
Suppose 0 = -2*g + 2*w + 8, 3*g - 5*g - 5*w = -8. Suppose -g*m = -7 + 3. Which is bigger: 3/4 or m?
m
Let m = -144 + 141. Which is smaller: 10 or m?
m
Let i = -12 + 11. Let t = 3/35 - 74/455. Which is smaller: i or t?
i
Suppose -2*y + 12 + 34 = -2*x, -5*x - 2*y - 122 = 0. Which is greater: -23 or x?
-23
Suppose -6*j + 1 = b - 2*j, b - 10 = 5*j. Suppose 0*q = 3*s + q + 2, 4*s - 29 = b*q. Is s greater than -2/9?
True
Let x = 117 - 101. Let i = 0.3 + -0.4. Which is greater: i or x?
x
Let l be (-8)/6*(-13)/(-91). Which is greater: 1 or l?
1
Let v(i) = i - 6. Let s be v(7). Is 5/4 equal to s?
False
Suppose -16 = -2*s + k, 0 = 4*s + 5*k - 4 - 0. Suppose 5*n - s + 1 = 0. Which is bigger: -1/3 or n?
n
Let o be 2/4 - (-20)/8. Suppose -o*q - 25 = 20. Is -0.1 at most q?
False
Suppose n + 8 = -3*n, -v = 4*n - 2. Let l be v/(-200)*8/(-3). Which is bigger: 0 or l?
l
Suppose -5*g = -g + 36. Let w = g - -13. Which is bigger: 5 or w?
5
Suppose -2*s - 5*o - 25 = -10*o, 5*s - 4*o + 20 = 0. Let u be s*(3/3 - 0). Let l = 4/3 - 17/15. Which is smaller: l or u?
u
Let o(v) = -v**3 + 4*v**2 - 3*v + 1. Suppose 47 = 5*w - 4*a + 12, 0 = -5*w - 5*a - 10. Let t be o(w). Are -2/15 and t unequal?
True
Let i be (-4 - -7) + -5 + (2 - 1). Are i and 0.013 unequal?
True
Let b be (-3 + (-25)/(-10))*-2. Let s be 4 + -2 + (-62)/28. Which is smaller: s or b?
s
Suppose -8*z = -5*z + 72. Let u = 26 + z. Is 2/9 < u?
True
Let c be 6*(-4)/(-18) + 16/(-12). Is -4/21 greater than c?
False
Let y(k) = -k + 7 - k + 2 - 2. Let l be y(5). Which is smaller: -2 or l?
l
Suppose -18 = -15*r + 18*r. Suppose -8 = -x + 4*z, 0 = 4*z + z + 20. Which is greater: r or x?
r
Let t(a) = a + 2. Let f(q) = -q - 3. Let i(j) = 4*f(j) + 5*t(j). Let z be i(11). Which is bigger: z or 10?
10
Suppose 0 = -5*v + 5*z - 15, -v + 2*z + 1 = -6*v. Which is smaller: -0.3 or v?
v
Suppose -7 - 18 = 5*q, -4*q - 23 = -3*n. Let z(x) = -4*x**2 + x. Let c be z(n). Which is smaller: c or -4?
-4
Let t(i) = i**2 + 3*i + 2. Let y be t(-2). Is 1/9 smaller than y?
False
Suppose 7*t + 15 = 4*t. Let l = t + 8. Suppose l*m = -5 + 8. Is m at least 1?
True
Let q be 610/(-91) + 16/(-104). Let w = 130/21 + q. Is w > -3/2?
True
Let k be (2/(-220))/(21/786). Let h = 260/7 + -14279/385. Let p = h + k. Which is greater: p or 0?
0
Let u = 9 + -5. Suppose 0*n - 4*n + u = 0. Let x be 0*2/2*1. Which is smaller: x or n?
x
Suppose -5 = -2*m + b, 3*m + 5*b = 4*m - 25. Is 2/59 less than or equal to m?
False
Let k be -16 + (-1 - (-2 - -1)). Let t = k - -8. Is -7 less than t?
False
Suppose 4 = 5*m - 6. Is m <= 1?
False
Let h(g) = -g**3 - 3*g**2 + 3*g + 4. Let v be h(-3). Which is smaller: -8 or v?
-8
Let r = 4 - 1. Suppose 4*p + r = 11. Let i = 0 + 1. Which is bigger: i or p?
p
Let l = -4.5 - -0.5. Which is smaller: 1 or l?
l
Suppose 18 = -79*j + 82*j. Is 8 bigger than j?
True
Suppose 51 = -3*u - 0*u. Does u = -16?
False
Let v be (-2 - 2)/1 - 0. Let q = -2 - v. Suppose -x - 2*i = -6, -2 - 4 = -q*x - 2*i. Which is greater: -1 or x?
x
Let t = 7.003 + -0.103. Let o = -7 + t. Which is smaller: o or 2/15?
o
Let i = -1 + 4. Let p be 0 + (i - 1) + -4. Is 0 less than or equal to p?
False
Let i = 12 - 6. Let o(h) = h**3 - 6*h**2 - 2*h + 7. Let q be o(i). Is -5 < q?
False
Let x = 14 + -11. Let m(d) = -d**2 - 9*d - 9. Let z be m(-8). Are z and x equal?
False
Let k be (-1)/2*1*-8. Suppose -b - 22 = 5*i, 3*b - 18 = k*i + 11. Are 3 and b nonequal?
False
Suppose 10 = -2*r - 4*o, -5*r = -4*r - 3*o - 10. Is r > 2/19?
True
Suppose 21*c - 224 = 13*c. Is c smaller than 83/3?
False
Let g = 0.06 - 0.16. Let y = 16 - 11. Suppose -x - 4*x + y = p, 3*x + 2*p - 3 = 0. Is g bigger than x?
False
Suppose -3*k - 56 = 5*x - 16, -k - 3*x - 20 = 0. Let a = 0 - k. Suppose a + 15 = 2*g. Is g less than -1/3?
False
Suppose 7*g - 2*g + 40 = 0. Let f be (-2)/(-24) - 2/g. Which is greater: 1/8 or f?
f
Let v(w) = -w + 5. Let z be v(0). Let a be (12