-1.9 + 2. Let x = -0.08 + -5.92. Let d = -5.9 - x. Is t at least d?
True
Suppose 3*a + 3 = 0, 4*p = -3*a - 0*a + 5. Suppose 29 = 3*u - 4*s, -3*s - 35 = -5*u + s. Let y = u - p. Which is smaller: y or -2/9?
-2/9
Let j = -1738219/77445 - -1/8605. Let b = j - -2258/99. Is -1 greater than b?
False
Let h be (2/8)/((-8)/(-432)). Let z(o) = 3*o. Let m be z(5). Let j = m - h. Which is smaller: 3 or j?
j
Suppose p - 1 = 5*v, 4*v + 26 = 5*p - 21. Suppose 2 - p = 3*a. Suppose 9 = -5*n - 1. Is a greater than n?
False
Let g = -10 - -17. Let b = 5 - g. Let j(f) = 3*f. Let v be j(-1). Is v at most as big as b?
True
Let f(i) = i**3 - 22*i**2 - 48*i + 1. Let b be f(24). Is 10 < b?
False
Let l be (6/4 + -2)*-1*8. Which is smaller: l or -2?
-2
Let w be (-20)/13 - (3 + -5). Let a(l) = l**3 - 7*l**2 - 8*l - 1. Let b be a(8). Is w > b?
True
Suppose 0 = -o + 1. Which is smaller: 0.4 or o?
0.4
Let j = -14 + 14.02. Do -1/3 and j have the same value?
False
Let m(p) = p**2 - 4*p - 5. Let v be m(-6). Suppose 7*f = 2*f - v. Let k(o) = o + 8. Let a be k(f). Do -3 and a have different values?
False
Let t(p) = -p**2 + p + 7. Let s be t(3). Which is smaller: s or 8?
s
Let f = 517 - 359. Is 157 smaller than f?
True
Suppose 6*a - 9*a = -21. Suppose -2*p - 2*p = -28. Does p = a?
True
Let h(c) = 8*c + 7. Let a be h(-6). Let f be 3 + 2*a/28. Are 0 and f nonequal?
True
Let u = -0.328 - -0.028. Which is bigger: u or -4?
u
Suppose -5*i + y = 32 + 1, 0 = 3*i - 3*y + 27. Let c = -2 - i. Let f be (-18)/(-4) + (-2)/c. Is f equal to 2?
False
Suppose -3*a = -6*a + 255. Is 86 at least a?
True
Suppose 0 = p + 4*p - 3*v - 12, -2*p + 16 = -4*v. Suppose 4 + p = -4*y. Is 1/14 > y?
True
Let p = -1.98 + 2. Let f = p - 5.02. Let b = -4 - f. Is 2 bigger than b?
True
Let a = -2 + 7. Which is smaller: 4 or a?
4
Let c be 1 - (1 - 2)*-1. Let p be (-12)/9*3/(-34). Is p smaller than c?
False
Let h be (1/2)/((-6)/(-4)). Which is smaller: -1 or h?
-1
Let s = -0.4 + -0.4. Let m = -0.95 - -0.05. Let r = s - m. Is r >= 0.1?
True
Suppose 14 = -5*o + 2*b - 51, 0 = -5*b. Let z = 21 + o. Suppose 2*l - z = 4. Which is smaller: 5 or l?
5
Suppose -c = -4 + 14. Is c at least -10?
True
Suppose -c = -3 - 0, 3*a = c + 45. Which is greater: 14 or a?
a
Let k = 28 - 29.1. Let w = -3 + 2.9. Let h = w - k. Which is greater: h or -0.2?
h
Let p = 3 + -2. Suppose y = x, -4*y + x = -y - 2. Is y != p?
False
Let h(u) = u - 6. Let l be h(7). Which is smaller: l or -1/34?
-1/34
Suppose 2*r - 6 = -0*r. Suppose b = -r + 4. Is 1/2 less than or equal to b?
True
Let t(c) = c**3 + 11*c**2 + 11*c + 6. Let o be t(-10). Is o smaller than -4?
False
Let o = -19 + 37. Let g be 176/o + (-10)/(-45). Which is smaller: 9 or g?
9
Let d be (-6)/(-8) + (-26)/(-8). Suppose 0*t + 3*t = -3*m, t + 3*m = d. Let n be t*((-21)/11 + 2). Which is greater: n or 1?
1
Let i(y) = y**3 + y**2 + y. Let o be i(-1). Let a be o/(2 + 22/(-10)). Suppose -5*d - l + 1 = -4*d, -a*d = 4*l - 5. Are d and 1/6 unequal?
True
Let h = -1 + 1.1. Which is smaller: -2 or h?
-2
Let n(c) = c - 5. Suppose 2*d - 20 = -4*w, 0 = 3*w - 10 + 4. Let z be n(d). Let p be 0*(-2)/6 + z. Is 0 equal to p?
False
Let y = -16 + 33. Suppose -5 = 5*i, 2*f = 5*f + 3*i - 12. Suppose y - f = -4*a. Which is bigger: -4 or a?
a
Let b(v) = -2*v + 5. Let n be b(4). Suppose -21 + 11 = -5*x. Which is bigger: n or x?
x
Let p be (0 + 3)*(-10)/(-6). Let k(w) = 2*w**2 + 1. Let d be k(-1). Is d at least as big as p?
False
Let p(t) = t**3 - 5*t**2 + t + 4. Let f be p(5). Let n = f + -8. Which is bigger: 4/9 or n?
n
Let m = -49 - -49.36. Is m greater than -2?
True
Let b be (-66)/(-8)*-1*(-4 - -8). Are -34 and b equal?
False
Let d be -2 - 7/((-14)/4). Is 2/73 at least as big as d?
True
Suppose -j - 7*t + 2*t - 3 = 0, -2*t = 0. Let h(f) = 14*f + 2. Let l(i) = -i - 1. Let n(o) = h(o) + 12*l(o). Let r be n(4). Which is greater: r or j?
r
Let d be 1*(4 - (-10)/(-2)). Let w = -1 + 0.3. Is w equal to d?
False
Let c = 69 - 69. Which is bigger: -28 or c?
c
Suppose -4*l - 3*p + 88 = -2*l, -l = -p - 39. Which is smaller: l or 39?
39
Let w be 161/(-120) - -2 - 0. Let v = -123479/120 - -1029. Let x = v + w. Which is smaller: x or -1?
-1
Let c(o) = -35*o. Let r be c(-4). Let p be (-1)/((-7)/(r/(-12))). Suppose 0*t + t - 1 = f, 0 = 3*t + 5*f + 13. Is t at least p?
True
Let b(p) = -5*p**3 + 2*p + 1. Let r be b(-2). Let u = 147/4 - r. Is u at most 1?
True
Let u = 1.3 + 0.7. Is 1 at most as big as u?
True
Let z = 2 + -2. Let g be (-1)/(-1*(-3)/129). Let d be 6/(-10) + g/(-55). Which is smaller: d or z?
z
Let y be 6/(-9) - (-3 - (-258)/(-9)). Is 30 bigger than y?
False
Let c be ((-4)/(-8) - 0)*-16. Let o be ((-2)/c)/((-9)/(-24)). Suppose -b + 2 = -3*b. Which is greater: o or b?
o
Let t be (-2 + (-6)/(-2))*(-1)/(-1). Which is smaller: t or 11/5?
t
Let q(b) = 2*b**2 + 17*b + 10. Let h be q(-8). Which is greater: -3 or h?
h
Let h = -6 - -5. Let t = 4.3 + -10.3. Is t less than or equal to h?
True
Suppose 0 = 3*r - 12. Suppose 3*k = -3*s - 3, 2*s + 3*s + r*k = -4. Let j = -1039/7 + 148. Do s and j have different values?
True
Let q = 0.04 + 0.36. Let i = 2.9 - 2.9. Is i >= q?
False
Let s be (-2 + (0 - 0))/1. Let f be 1 - (-2 - (-9)/(-1)). Suppose 3*z - 4*i + 9 = 0, f + 0 = -4*z + 3*i. Which is bigger: s or z?
s
Let f = 3/440 - -3463/8360. Is 0 at most as big as f?
True
Suppose 3*q = -5*c - 9, 2*c + 2*c = -3*q - 6. Let l be (0 - 58/(-18)) + c. Which is greater: l or -4/7?
l
Suppose 0 = -4*i + 13*i - 225. Is 26 smaller than i?
False
Let w be (-2)/14 - (-3050)/427. Let i = 0.1 + -0.1. Let x = 0 - i. Which is bigger: x or w?
w
Let o = -0.024 - 0.038. Are o and 1 non-equal?
True
Let b = -14 - -13.87. Is b at least as big as 1?
False
Let u = 83 - 70. Do u and 1/2 have the same value?
False
Let k = 65 + -56. Are 11 and k non-equal?
True
Let b = 51/2 - 26. Let v = 15.1 + -16. Let d = -0.1 + v. Is d at least b?
False
Let n = 195 + -195.93. Let x = -0.9 - n. Let z = -2.9 + 3. Is z > x?
True
Suppose -2*o = 2*k - 6, 11 = 3*o - 0*o + 4*k. Let j = 122/3 + -41. Is j greater than or equal to o?
False
Suppose b - 15 = 3*j, 2*j = -5*b - 3*j + 15. Suppose -3*q + b*q = 0. Is -2/17 != q?
True
Let u be (35/(-1) - -3 - 1)/1. Is -34 < u?
True
Suppose -o + 4 = o. Suppose 0 = 3*g - 4*i + 14, o*i = -2*g - 3*g - 6. Let w be (-1 + g + 4)*-6. Is w at most as big as -6?
True
Suppose 6*b = 4*b + 2. Let c(j) = 2*j - 1. Let z be c(b). Let o(u) = u**2 + u - 1. Let m be o(-1). Which is bigger: m or z?
z
Let o(d) = -d - 7. Let j be o(-7). Suppose -3 = q - 4*q. Which is smaller: q or j?
j
Suppose -76 = -4*u - 2*h - 0*h, -h = -5*u + 88. Suppose a + a = -u. Let s be -1*(0 + 3/a). Which is bigger: 2 or s?
2
Let p be 1/(-3)*(-396)/(-14). Is -10 at least p?
False
Let d be 2 + (-1)/9*20. Let i be 8/20 + (-39)/(-15). Suppose i*y = 8*y + 5. Does y = d?
False
Let v(l) = -2*l + 2. Let i be v(1). Let d = -0.3 - -0.3. Do d and i have the same value?
True
Let r be 9/(-7) + 3 - 2. Which is greater: 2 or r?
2
Let v = -28/2323 + 10/101. Let u be (-1*(1 - 0))/(-1). Are u and v nonequal?
True
Suppose 5*y + 33 = 8. Let z(k) = k**2 + 2*k. Let u be z(y). Let h be (-27)/(-30) + (-6)/u. Is -2/7 at least as big as h?
False
Suppose 3*l + 2 = -10. Let a = 439/3 - 149. Is l bigger than a?
False
Let f(k) = 3*k + 31. Let g be f(-10). Is 3/70 >= g?
False
Suppose 6*n = 2*n - 3*u + 85, 0 = -3*n + 2*u + 51. Let f = 17 - n. Do 3 and f have the same value?
False
Let r be -4 - (-4 - 2/(-6)*0). Which is smaller: r or 1/11?
r
Let v(r) = 5*r - 30. Let s be v(6). Let x = -93/91 - -4/13. Which is smaller: x or s?
x
Let s be (-3)/(-6)*4/59. Let c = s - 124/177. Let b = -1 - -1. Is c less than b?
True
Let w = -1 - -0.9. Let y(o) = o**2 - 5*o - 6. Let k be y(9). Let c be 2*(-21)/k + 1. Is w less than c?
False
Let x = 1 - 3. Let v be x/1*(-5)/50. Is -0.06 < v?
True
Let u = -13 - -9. Is -3 at most u?
False
Let f(d) = d**2 + 3*d + 3. Let a be f(-3). Suppose -13*u + 8*u + 20 = 0. Which is bigger: u or a?
u
Suppose -2*b + 7 = -5*u, u + 6 = 5*b - 0. Let a = 0 + b. Which is smaller: 4/11 or a?
4/11
Suppose -57*j + 61*j - 8 = 0. Are j and 9/8 unequal?
True
Let b be 6/16*(-4)/(-6). Is 0.05 < b?
True
Let g = 3 - 6. Let h = g - -5. Let n be 48/(-40) + (-1)/(-5). Is n greater than or equal to h?
False
Let j be (-10)/18 + 8/24. Which