e
Let t(r) = -r**3 - 2*r**2 - 2*r - 1. Let m be t(-1). Let f = 22.8 - 23. Which is bigger: f or m?
m
Let h = 57 + -56.99. Is h less than or equal to -1?
False
Let z = -89 + -20. Do -0.1 and z have the same value?
False
Let l = -0.09 - -1.09. Is l greater than or equal to -39?
True
Let n(t) = t - 2. Let h be n(2). Suppose 0 = -4*a - h*a. Let o be a + 1 + (-2)/4. Which is bigger: -1 or o?
o
Let v = -53 + 49.1. Let r = -4 - v. Is 2 > r?
True
Let s = -25 - -23. Is 0.3 != s?
True
Let f = -0.044 - 0.156. Which is bigger: f or 22?
22
Let y be 2/5 + 26/10. Suppose -y*c = 2*s - 1 - 6, 3*c - 5*s = 14. Is c greater than 7/2?
False
Let w = 0.12 + -0.1. Let z = w - -0.98. Is 0.2 greater than or equal to z?
False
Let i = -0.6 + 0.49. Let w = 0.03 + i. Is -1 less than w?
True
Let k be (12/(-3) + 4)/(-2) + -2. Is k not equal to -0.018?
True
Suppose 0 = 12*p - 13*p - 3. Are p and -3 equal?
True
Let k = -2.8 + 0.8. Let m = 0.2 - -0.8. Does k = m?
False
Let k = -0.6 - -0.4. Let b = k - -0.1. Let h = -0.1 + b. Is h smaller than -2/5?
False
Suppose -5*c = -u - 21, -3*c - 2*u = -3*u - 13. Suppose 3*q = 3*v + 23 + 19, q = -5*v - 52. Let l(n) = n**3 + 11*n**2 + 4. Let k be l(v). Is c not equal to k?
False
Suppose 0 = -3*c + 18. Let v(w) = w - 7. Let g be v(c). Which is greater: 1/4 or g?
1/4
Let t = 5/147 - 293/12936. Let i = 179/264 - t. Suppose 0 = -3*g + g + 2. Is g greater than or equal to i?
True
Let x = 2.05 - 0.05. Suppose -l + 4 = -3*v, l = -2*l + 4*v + 7. Which is smaller: x or l?
l
Suppose h - 4*h + 5*f = -39, -3*h + f = -27. Is h less than 27/4?
False
Suppose -40 = -2*q - 2*q. Is 11 > q?
True
Let v(k) = 5*k + 21. Let r be v(-4). Which is smaller: r or -2/13?
-2/13
Let g = -607369/645 + 2825/3. Let o = g + 412/1935. Let s(q) = -q + 1. Let k be s(1). Which is bigger: o or k?
o
Let k = 10 + -3. Suppose -4*h = -5*h - k. Is h greater than -7?
False
Let i = 131 - 305. Let k = i + 2260/13. Let r = k - -17/26. Is 1 at least r?
True
Let q be 4/18 + -2 + 2. Let j = -45 - -40. Is q > j?
True
Let i(g) = -g - 1. Let r be i(0). Which is bigger: 8 or r?
8
Suppose 3*k = k - 4. Let g be 153/(-33) + 9*1/3. Which is smaller: k or g?
k
Suppose -5*m = -4*x, -4*m + 5*m = x. Which is bigger: m or -5/13?
m
Suppose -4*g = g - 4*i, -i = -2*g. Suppose g = l - 5*l. Which is bigger: l or 1?
1
Let k be 8/(-10) - (-2)/(-10). Let z = 4 + k. Suppose d = z - 0. Is d at most 2?
False
Let i = 3081/7 - 439. Let o = i - 25/28. Is -4 at least as big as o?
False
Let l(n) = -n**3 + n**2 - 1. Let w be l(0). Let m be (-324)/1419 + (-2)/(-11). Let k = m - -61/387. Which is smaller: k or w?
w
Let h = 118 - 117.2. Let x be ((-3)/(-4))/((-6)/(-4)). Which is bigger: h or x?
h
Let f = 45 - 29. Let o = -7 + f. Let j = 8 - o. Which is smaller: j or 0.1?
j
Let h(b) = b**2 + 5 - 1 - 7 - 1 - 3*b. Let y be h(4). Is 6/13 > y?
True
Let n be (1 - 0) + 3/1. Suppose y - 1 - 2 = 0, 0 = -n*u - 4*y + 28. Suppose -u*t = 8 + 20. Is t at least as big as -7?
True
Let l(z) = 2*z - 5. Let n be l(6). Is 3 != n?
True
Let g(l) = l**3 - 4*l**2 - 5*l + 3. Let y be g(5). Suppose 2 = 3*r - 7. Is y greater than or equal to r?
True
Let h = -27 - -31.2. Let q = h + -4. Which is greater: q or -2?
q
Suppose 0 = -b + 4*b - 30. Suppose -3*i + 14 = -b. Let w = i - 6. Is w greater than 1?
True
Let x = 0 + -1. Let b = -10 + 14. Suppose -b = -k + 3*k. Which is smaller: x or k?
k
Let v be (12/18)/((-25)/(-1)). Is 1 greater than v?
True
Let b(k) = -2*k**2 + 4. Let d be b(0). Let z be ((-6)/d)/(9/(-12)). Which is smaller: z or 4/3?
4/3
Let v(u) = u**2 - 9*u - 9. Let n be v(9). Which is smaller: -10 or n?
-10
Let a = -18 - -91/5. Let o = 1/5 + a. Which is smaller: 1 or o?
o
Let n = -171/10246 - 1/218. Which is greater: 0 or n?
0
Let n be 0 - 3/4*2. Let d(h) = h**2 - 8*h - 49. Let v be d(12). Is v != n?
True
Let o = 4 + -15. Let y = o + 11. Does y = -2/15?
False
Let z be (-4)/14 - 321/84. Let x = z - -17/4. Are x and -1 nonequal?
True
Let r be -1 - (1 - 0 - -2). Let d = -4 - r. Suppose 3 = 3*g + 5*u, 2*g - 5*g + u + 3 = d. Do 1 and g have different values?
False
Let z = 8/77 - 1/55. Are 1 and z unequal?
True
Suppose -3*m + m + 11 = 5*y, 0 = 4*m + 8. Suppose -y*a - 5*i = 6, -2*i = a + 2*i + 9. Let f be -1 + (-2 - -5)/a. Which is bigger: f or -1?
f
Let v = -37/22 - 20/11. Is -4 greater than v?
False
Let q = -0.057 - 57.943. Which is smaller: q or -1?
q
Let j = 52 + -36. Suppose 3*r + r = j. Are r and 4 nonequal?
False
Suppose 4*k + 4*k = -16. Is k < -5/3?
True
Let s be 5/(-9)*(6 + -4). Is s equal to -1?
False
Let q be -4 + -4 + (-1230)/(-125) + -2. Which is smaller: 0 or q?
q
Let g(f) = -f**2 + 11*f + 15. Let a be g(12). Suppose 5*h = -y - a, y - 3*y - 6 = -2*h. Which is greater: -0.13 or h?
h
Let x(b) = -b**3 + b**2 - 32. Let s be x(0). Let h be 2/12*s/(-12). Is 1 bigger than h?
True
Let q be 5 + (-2 + 2 - 3). Suppose -5*o = -h - 14, 3*o = -h - q*o + 6. Which is smaller: -3 or h?
h
Let m(y) = -2*y - 5. Let u be m(-4). Suppose 2*r + 16 = u*r + 5*s, -5*r = 3*s - 14. Is r equal to 4/7?
False
Let g be 3 + (-5)/(20/8). Is -1/9 smaller than g?
True
Let t = 66.95 - 63. Let q = -4 + t. Is q < -1?
False
Let h = -7/30 + -4/15. Let y be (-1)/((0 + 1)/2). Is h not equal to y?
True
Let k = 32 - 97/3. Which is smaller: -2/7 or k?
k
Let q be 4/(-6) - 22/(-6). Suppose -3*b + 12 = -q*s, -2*b - 4 = -14. Suppose -g = -5*c + 6, -2*c + 2*g - 3*g = -s. Which is smaller: c or 2/19?
2/19
Let b be 6/((63/(-12))/(-7)). Let h = 6 - b. Let d be h/(4 - 4/2). Is -3/7 less than d?
False
Suppose -2*j = 2*d + 16, d + 13 = -0*d - 2*j. Let v = -137 + 81. Let t be 3/(7/(v/12)). Which is smaller: t or d?
d
Let x be ((-278)/42)/(3/(-243)). Let z = -535 + x. Which is smaller: z or 0?
0
Let a(u) = -u**2 + 11*u + 17. Let d be a(12). Suppose w = -3 + d. Is 3 less than w?
False
Suppose 1 = b, -w - 4*w - 2*b + 2 = 0. Which is bigger: w or -5/8?
w
Let i = -507/5 + 102. Let d be ((-4)/(-10))/((-6)/10). Which is smaller: d or i?
d
Let n(k) = -18*k + 20. Let s be n(4). Which is smaller: -53 or s?
-53
Let b be (-2)/(-11) + 26/(-22). Which is smaller: 2/17 or b?
b
Let u = -7 + 7.1. Which is greater: u or 6?
6
Let m(d) = d - 16. Let a be m(4). Let x be 0 + 3 + -1 - 14. Is a > x?
False
Let y = 4483306/17 - 263851. Let q = y + 127. Is q smaller than 0?
True
Suppose 0 = -3*r + 3*q + 12, 7*q = -2*r + 3*q - 10. Which is greater: 2/17 or r?
r
Suppose -4*y - 2*l - l + 31 = 0, 4*y - 41 = -5*l. Let t be (-68)/12 + y/6. Let p = -5 - t. Is p at most 0?
True
Let w be (-2)/10 + 330/(-225). Which is smaller: -3 or w?
-3
Let b = -21 - -21. Do 0.1 and b have different values?
True
Let y = 4 - 2. Let z = 2 - 8. Let a = z + y. Do a and -4 have different values?
False
Let x be 146/142 + (2 - 3). Which is smaller: x or 1?
x
Let z(x) = -x**3 + 5*x**2 + 2*x - 4. Let g be z(4). Is 21 not equal to g?
True
Let f = -191/3 - -943/15. Are 0 and f nonequal?
True
Let j = -7 + 1. Let c be 1 + 2 + j + 1. Let d be (-6)/15 - (-3)/(-5). Are d and c equal?
False
Let q = 219.1 + -216. Which is smaller: -0.1 or q?
-0.1
Let f = -5/4 + 1. Which is greater: 5 or f?
5
Let k be (-2)/29*3/2. Let v = k + -11/174. Which is greater: v or -1?
v
Let h = 95 + -89. Which is bigger: h or 46/7?
46/7
Let h = -15 + 14. Let d be 50/18 - 6/(-27). Let a = 4 - d. Is a <= h?
False
Let v be 2/8 - (-15)/(-92). Suppose -2*z = -7*z. Which is smaller: z or v?
z
Let b be -1 - (-140)/65 - 1. Suppose 0*r - 4*r = 4. Which is bigger: r or b?
b
Suppose 0 = -3*x + 16 + 32. Is x < 17?
True
Let q = 40 + -119/3. Suppose 3*h = -2*h. Is h at most as big as q?
True
Let n be (22/(-6))/((-9)/(-27)). Which is greater: n or -8?
-8
Let x(c) = -6*c**2 + 3*c + 7. Let t be x(-2). Which is smaller: -25 or t?
-25
Suppose g = 4*t + 13, 5*g + 5*t - 17 = t. Suppose -4*z + g*z = 30. Let b = z - 91/3. Which is bigger: b or -1?
b
Suppose -7*z = -3*z. Suppose 40 = 2*i - z*i. Let k be i/(-12)*2/(-15). Is k > 2?
False
Suppose 0 = 5*n + 10 + 5. Is n equal to -2?
False
Let g be 1/(-4) + 1/4. Suppose -5*p + 12 + 3 = g. Is p less than or equal to 4?
True
Let u be 6/(-15) - (448/30 - 0). Is u >= -16?
True
Let m be 12/9*6/2. Let u be m + 5*3/(-6). Is -0.1 >= u?
False
Suppose 0 = 4*p - 18 + 2. Suppose 5*f = -p*h - 16, 0 = -4*h - 2*f + 2 - 18. Let y = h - -3. Is -2/9 at most y?
False
Let r = -4 