e the same value?
False
Let n = 0.2 - 0.2. Let o = -4573 + 4566. Is n less than o?
False
Suppose 0*h + 2*x = -2*h + 6, 5*h - x - 15 = 0. Suppose h*v = -4*c - 3 - 1, -2*c = v + 4. Let r be -2 + (c - -4 - -1). Which is smaller: r or -10/11?
r
Let a = 0.086 + -22.786. Is 2/7 greater than a?
True
Let b = 57 + -57. Suppose 4*h - 12 = 2*l, b = h - 3*h - 5*l - 18. Does h = -3/17?
False
Let i = -132 + 141. Is 1 not equal to i?
True
Let u = -13 - -26. Let h = u + -15. Which is smaller: -1 or h?
h
Let h be -6 + 4 + (7 - 3). Which is smaller: h or 20/23?
20/23
Let a = 7 - 11. Suppose -10 = 5*c, -g - 5*c - 6 = -c. Let s be g*-4*1/2. Is s < a?
False
Let m = -1256 + 1253.6. Let j = 19.8 - 8.4. Let a = m + j. Does 2 = a?
False
Let k = -19 - -21. Suppose -3*m - 14 = -2*h + 11, -k*m = 4*h - 10. Suppose 2*w - h*w - 30 = 0. Is w bigger than -10?
False
Let y = -22 - -23. Let q be (0/y)/(-1 - 0). Is q greater than or equal to -1/11?
True
Suppose -8 - 4 = -4*j. Let i = -134 + 140. Suppose -j*u + 0*a - 1 = 2*a, u = 5*a - i. Which is smaller: -2/21 or u?
u
Let o = 5.2 + -7.28. Let z = -2 - o. Are z and 2/5 unequal?
True
Suppose 70*q + 21594 = 11*q. Are q and -367 unequal?
True
Suppose k + 8 = -2*w, -8*k - 20 = -3*k + 5*w. Suppose -2*d + 12 = -s, -3*d = -3*s + s - 19. Suppose k = d*m + 3 - 8. Is -1 greater than m?
False
Let r(f) = -2*f**2 - 3*f + 4. Let t be r(-3). Let s be -4*t/(-90)*-6. Does s = 2?
False
Suppose -13*h + 224 + 621 = 0. Which is bigger: h or 64?
h
Suppose a = 5*o - 21, 5*a + o + 21 = a. Let c(w) = 3 + 4*w - 8 + 7 - 5*w. Let i be c(8). Are i and a nonequal?
False
Suppose 4*b - 2*p - 30 = 0, -4*b + 3*p = -2*p - 15. Let m = -11 + b. Let c = -519 + 4651/9. Which is smaller: c or m?
c
Let z = -2446 + 1501. Let h be (6/9)/((-10)/z). Suppose -5*f = h - 8. Which is smaller: -10 or f?
f
Let y(v) be the first derivative of 2*v**2 - 3*v - 1. Let m be y(-3). Let h = m - -13. Is -3 less than or equal to h?
True
Suppose -4*t = s - 34, -4*s - 6*t + 92 = -t. Let z(k) = -k**2 - 11*k + 18. Suppose -2*q - 3*b = 22, 55 = -7*q + 2*q + b. Let g be z(q). Is g at most s?
True
Let w(r) = 3*r + 43. Let b be w(-14). Let i(a) = -2*a**2 - a + 2. Let c be i(b). Is c bigger than -2/19?
False
Let r be ((-1)/(-1 - 4))/(-1). Let z be (-4)/(-10) - 144/10. Let u = z - -13. Which is bigger: u or r?
r
Let g = -324 - -338. Which is smaller: 16 or g?
g
Let h = 28 - 98. Let z = 113 + h. Is 43 != z?
False
Suppose 0 = -4*s + 20, -4*u + 41 = -2*s + 3*s. Suppose -3*h = -4*b + u, -h + b + 3 = 5. Which is greater: h or -0.25?
h
Let c = 57185/1034 - 608/11. Is c less than or equal to -1?
False
Let d = 77 - 52. Suppose -5 = 4*j - d. Let k be (j + -6)*0/(-2). Which is greater: 1/10 or k?
1/10
Let k be ((-6)/(-4))/(-13 + 26/39). Which is smaller: -1 or k?
-1
Let k be -198 + 192 - 337/(-55). Which is smaller: k or 1?
k
Let n = -3.41 - 0.59. Which is smaller: n or 0.17?
n
Let u = -42 + 36. Let m be (-4)/u - ((-370)/45 + 0). Is 10 bigger than m?
True
Suppose -4*g + 2 = -6. Suppose g*h = 2*n + 10, 18 + 2 = h - 4*n. Suppose -6 = 3*q - h. Do q and -7 have the same value?
False
Let h(m) = 2*m**3 + 7*m**2 + 15*m + 1. Let b be h(-3). Is b at least -28?
False
Let w = 28/919 + -178594/10109. Is w at most as big as -17?
True
Let h = 785 - 3141/4. Let t = -33 - 9. Which is bigger: h or t?
h
Let s = 0.114 - 0.027. Which is smaller: s or 2/3?
s
Let x be (-3)/(-7) + 5668/(-20020). Which is smaller: x or -1?
-1
Let y = 7 - 6.2. Let f = 0 + 1.8. Let m = f - y. Which is bigger: m or 0.3?
m
Suppose 5*p + 15 = 5*j + 5, 4*j - 14 = 2*p. Let b be ((-2)/(-2))/(3/p). Suppose 4*q + 5 = o, -o - 3 = 3*q - b. Which is greater: o or 3/4?
o
Let a = -39.7 + 39.3. Let d = -2.8 - 0.2. Which is greater: a or d?
a
Let h(b) = 5*b + 3*b + 8*b**2 - 9 - 6*b + b**3 + 0*b**3. Let u be h(-5). Is 56 > u?
False
Let x = -0.195 + 0.545. Is x greater than -6?
True
Let s = 1852/5885 - 22/107. Which is smaller: s or 0?
0
Let p = -3.1 + 3. Let z = -9218 - -9183. Is p equal to z?
False
Let a = 1 + 1. Suppose 2*t - 2*d = 82, -5*d = a*t - 5*t + 127. Let y = t - 31. Is y less than 6?
False
Let v = -8812/5 - -1762. Which is smaller: 221 or v?
v
Suppose v - 1 + 2 = 0. Let c be 0 + -2 + v + 1. Let t = 450/7 - 5006/77. Are c and t nonequal?
True
Let a = 82 + -11. Suppose 2*x + 0*x = -4, -3*j + 4*x + a = 0. Let s be (-2)/6 - (-70)/j. Is -0.3 != s?
True
Let s be ((-32)/(-10))/(1/5). Suppose -48 = 12*v - s*v. Which is smaller: 0 or v?
0
Suppose -5*d + 88 + 12 = 0. Let q(g) = g**2 - 19*g - 21. Let z be q(d). Is z at most -3?
False
Suppose -3*x - 8 = 5*t, -4*t + 22 + 16 = -5*x. Let n = 2 + x. Let o(w) = -4*w**2 + 5*w. Let v be o(2). Which is bigger: n or v?
n
Let a = 12 + -12.04. Let g = -3.96 + -0.04. Let o = g - -3. Which is smaller: o or a?
o
Let s = -2.1 - -2.09. Which is bigger: -0.02 or s?
s
Suppose -4*c - 3*o - 2*o = 30, -2*o = -c - 14. Let q be (-2 - -55) + (-6 - c/2). Which is smaller: q or 53?
q
Let l = 39084/11 + -3561. Which is greater: -7 or l?
-7
Let y be 14/3*(-54)/(-7) - -7. Which is smaller: y or 33?
33
Let t be ((-60)/(-10))/(-6)*-3 - 3. Let u = -1094 - -25171/23. Which is smaller: u or t?
t
Let k = -377/3 + 125. Is k at least as big as 0?
False
Let v = 167 + -227. Is -59 < v?
False
Let p(v) = 7*v + 1. Let s be p(-4). Let z be 2/(-9) + (-87)/s. Suppose 0 = a - z + 9. Are a and -6 equal?
True
Let g(m) = -2*m**2 + 10*m + 12. Let h be g(-1). Is h < 2/1119?
True
Suppose -2*q = -0*q - 6. Let x be -1*((0 - q) + 3). Let u be (30/(-9) - -3) + 1. Which is bigger: u or x?
u
Let l = 478188/5 + -96171. Is -534 >= l?
False
Let h(x) = x - 5. Let q be h(6). Let b = -20 + 14. Let k be b/(-9)*30/(-130). Which is smaller: q or k?
k
Let l = -13 - -18. Let n = l - 9. Suppose 0 = 3*k + 2*k + 25. Is k greater than or equal to n?
False
Let z be (6/4 - 1)*10. Suppose 18 = 5*y + 3*q - 6, 0 = 4*y - 3*q - 30. Let f be -3*(-2)/y - 1. Is f > z?
False
Let p be (20/(-6))/(44/1848). Are p and -141 unequal?
True
Let z(f) = 2*f. Let i be z(6). Suppose 5*n - 4*n = -6*n. Which is smaller: n or i?
n
Let o(q) = q**3 - 5*q**2 - 24*q + 18. Let c be o(9). Is 125 < c?
True
Suppose 0 = 6*t - 3*t + 1848. Which is bigger: -615 or t?
-615
Let b(w) = -59*w**3 - w**2 + w + 1. Let o be b(1). Let f = 217/4 + o. Is f <= -3?
True
Let x = -8 + 22. Suppose -4*g + x = j, -4*g + 2*j + 4 + 4 = 0. Suppose 6*y = 4*k + y - 27, -g*k - 4*y + 59 = 0. Is k smaller than 13?
False
Suppose 0 = 3*h + x + 374 - 64, 4*x = -2*h - 200. Is -102 > h?
True
Let r be 42*(720/(-14))/(-10). Which is bigger: 215 or r?
r
Let y(f) = f**2 - 62*f + 65. Let u be y(48). Are u and -607 unequal?
False
Let o = 22 + -24. Let g be o/(-5) + (-319)/660. Which is smaller: 0 or g?
g
Let x be 56657/901 + (-1 - 38/(-34)). Which is greater: 61 or x?
x
Let d = 1725/14 + -123. Let i = -1 - -5. Let x = -5 + i. Which is smaller: x or d?
x
Let x = -7 - -72. Suppose j - x + 64 = 0. Let f(i) = i**3 - 7*i**2 + 5*i - 1. Let p be f(6). Do j and p have the same value?
False
Let o = 661 + -9919/15. Which is greater: 0 or o?
0
Suppose 0 = -3*r + 5*m + 10, -7*r - 6 = -3*r + 3*m. Which is bigger: r or -21/58?
r
Let y(j) = j**3 + 4*j**2 + j - 4. Suppose 0 = -7*a + 10*a. Suppose 5*m - g + 20 = a, 2*m - 11 = -5*g + 8. Let r be y(m). Do r and 2/7 have different values?
True
Let t = 1463/31 - 13077/775. Let f = t - 152/5. Let u = f + -8/25. Is 1 at most as big as u?
False
Let h = 31.8 - 2.8. Let d = -29.1 + h. Which is bigger: 11 or d?
11
Suppose -5*d = 4*b + 10, -3*b - 2*d - 1 = 3. Let m = -15/8 - -173/88. Which is smaller: b or m?
b
Let t be 12/12 - (2 + 0). Let o(u) = 7*u**3 - 9*u - 2. Let z(k) = 8*k**3 - 10*k - 2. Let c(l) = -7*o(l) + 6*z(l). Let m be c(t). Which is smaller: m or -0.11?
-0.11
Suppose 5*d = -5*h + 140, -5*h + 3*d + 124 = 4*d. Let i(z) = z**3 + 4*z**2 + 7*z + 5. Let m be i(-4). Let b = m + h. Is 6/13 >= b?
False
Let u be (2*(-1)/8)/(4/(-28)). Let g = u - 3/2. Let r = -1 + 0.96. Do g and r have the same value?
False
Let c(k) = 2*k**2 - 3*k - 3. Let g be c(-6). Let t = g - 58. Suppose 5*i + 49 = -4*x, 2*i + 2*x + t = -i. Is i > -10?
True
Let b be 6/2 - (-61 - 14). Are 75 and b non-equal?
True
Let w be (2/1698)/((-62)/1488). Which is greater: 1 or w?
1
Let v be 1/(-7)*(-54 - -213). Are v and -22 nonequal?
True
Let d(a) = 27*a + 51. Let y be d