d t have different values?
True
Let z = 2.7 - 2.9. Let f = 0.5 - 0. Which is greater: f or z?
f
Suppose -35 = -5*l - 205. Let j be l/(-9) + 8/36. Are 3 and j equal?
False
Let l = 0.2 + 1.8. Let q = -2.2 + l. Let g = 1190/9 - 132. Which is bigger: q or g?
g
Let t be (-368)/(-36) + 4/(-18). Suppose t = -3*u + k, -u - 1 = 3*k - k. Is u greater than -3?
False
Suppose -5*z + 1 = 11. Let i = 1 + z. Let w be (2 - 4) + 40/18. Is i > w?
False
Let k = 9 + -8. Suppose -u - k = 4*r, 5*u - 16 = 2*r - 43. Which is greater: 0 or r?
r
Let w = -44 - -67. Is 24 greater than w?
True
Let m be 1/2*(-2 - 0). Let z be ((-2)/(-6) - 0)/(21 + -23). Which is bigger: z or m?
z
Let v = -10/9 + 4/9. Suppose 0*f = -4*f - z + 29, -31 = -f - 5*z. Let w(p) = p**3 - 7*p**2 + 5*p + 5. Let g be w(f). Is v less than g?
False
Let c = -1 - -3. Is 5/2 > c?
True
Let t be 6/((-36)/(-30)) - (-4)/2. Which is bigger: 52/7 or t?
52/7
Let t be (8 + -4)*1/(-18). Which is smaller: t or -6?
-6
Let r be (-32)/12*3/9. Which is smaller: 4/9 or r?
r
Let b = 2949/4250 - -3/250. Let v = -19/51 + b. Suppose 7*x - 4*x - 6 = 3*t, 3*t + 4 = x. Are v and t equal?
False
Let x = 58 - 60. Let c = 13 + -9. Let a = c - 3.7. Is a greater than x?
True
Let j = -591 - -37232/63. Is j >= 1?
False
Suppose 3*s - 4*w - 3 = -25, -3*w = -3*s - 18. Let v be 2 + -1 - 232/s. Let a = v - 587/5. Is a smaller than -1?
False
Let p be 2962/70 - 4/(-14). Let f be 5*-9 + 1*2. Let j = p + f. Is 0 at least j?
True
Let h be ((-8)/(-1))/((-2)/(-1)). Suppose 5 + 3 = h*t. Suppose 2*q + 3*q = 0. Which is bigger: t or q?
t
Let q = 19.15 + -19. Does q = -2?
False
Let k(c) = -c**2 - c + 9. Let q be k(-3). Which is smaller: 12 or q?
q
Let c be 78/(-27)*1*(4 + -3). Which is smaller: -2 or c?
c
Let o = 8.14 + -8. Let n = -0.04 + o. Which is bigger: 3 or n?
3
Let p be 33/(-9) + (-8)/6 + 2. Suppose 2*o = o - 1. Which is smaller: p or o?
p
Suppose d + 30 = -4*s, 0 = 3*d + 2*s - 0*s + 60. Which is smaller: d or -19?
-19
Suppose -5*h = -2*v + 1, 5*v - 3*h + 0 = -7. Let x be (3/(-42))/(v/8). Let p = 2 + -3. Is x less than p?
False
Suppose 2*l = -5*c - 3*l + 45, -5*c = 2*l - 36. Let t be (-8)/c*36/(-8). Which is smaller: t or 4?
4
Let p = -14 + 14. Is -2/9 greater than p?
False
Suppose 4*d - d = 12. Suppose 0 = -2*a + 7*a. Let n(p) = -p + 5. Let k be n(a). Is d greater than k?
False
Let v = 0.1 + 0.4. Let o = -0.4 + v. Is o < -0.2?
False
Let n = 13 + 11. Let g = n - 73/3. Are g and 0 non-equal?
True
Let r be (-2)/(-13) + (-324)/78. Let o be (6/r)/(1/2). Are o and -3 equal?
True
Let x(v) = v. Let s be x(9). Let y be (7*-1)/(s + -5). Which is greater: -1 or y?
-1
Let x = -4 - -6. Suppose -x*b = -4*b + 2. Let o = -2 - b. Which is smaller: -2 or o?
o
Let g be 1 - (-4)/((-2)/(-1)). Suppose x - 2*z - 30 = 5*x, -4*x + g*z - 25 = 0. Do -6 and x have the same value?
False
Let d = 4 - 17. Let h(p) = p**3 + 14*p**2 + 12*p - 12. Let n be h(d). Is n >= 2/5?
True
Let y = 6 + 2. Is y >= 6?
True
Let o(k) = -k**3 + 10*k**2 + 10*k + 11. Let z be o(11). Which is bigger: 1/17 or z?
1/17
Let u = 9.7 - 9.7. Does -1.2 = u?
False
Suppose -4*g - 5*n + 21 = 0, -3*n = g - 0*n - 14. Which is smaller: -0.4 or g?
g
Let w(d) = d**3 - 9*d**2 + 11*d - 4. Let h be w(7). Is -25 at least h?
True
Let y(x) = -2*x**2 - 6*x + 21. Let f be y(-6). Is -13 smaller than f?
False
Let o(i) = -i**2 + i + 7. Let x be o(0). Suppose 3*r - 5*q - 5 = 0, 5*q + x = 2. Let n be 1 - (3 - (r - -1)). Which is smaller: 2/19 or n?
n
Let q = -1.9 + 1.1. Let x = -0.75 - q. Which is bigger: 1 or x?
1
Let y = -13.761 - 0.139. Let d = y - -14. Which is greater: 11 or d?
11
Let m = -7 + 10. Suppose 3*v = 3 + m. Let p be (-2)/26*4/v. Which is smaller: p or 1?
p
Let z = 129 - 203. Which is smaller: z or -73?
z
Let z be 2/(-3)*(-24)/16. Let v be 9/(-6) + z - -1. Let w = 0 + 1. Is w at most as big as v?
False
Let m(r) = -r**3 + 8*r**2 - 3*r - 3. Let c be m(7). Let k = c + -24. Is 1/16 >= k?
False
Suppose -h + 2*m + 36 = -2*m, 3*h - 4*m - 68 = 0. Suppose 2*b = -0*b + h. Let t be 2/(-2 + b)*-3. Which is smaller: t or -2?
-2
Let o = 23.05 - 23. Which is bigger: o or -1/3?
o
Let a = -104 - -518/5. Suppose 8*l = 4*t + 3*l - 27, 5*t = -3*l + 80. Suppose -10*i = -t*i. Which is greater: i or a?
i
Suppose -5 = 5*l - 0*l + 5*r, -15 = -5*l + 5*r. Let n = 100/3 - 33. Is l less than n?
False
Suppose 0 = -3*q + 7*q + 148. Let a = -125 - q. Let i be (-60)/a - (-4)/(-22). Is i greater than 2?
False
Let j = 0 + -2. Let x be 1/(0 + -4 + -3). Which is bigger: j or x?
x
Let f = -1 + -6. Let m = -11 - f. Let k be m/(-6) + (-2)/3. Is 5 > k?
True
Let u(w) = w**3 + w**2 - w + 7. Let m be u(0). Is 7 at least m?
True
Let h be 66/(-176) + 247/744. Which is greater: -1 or h?
h
Let m(q) = q**3 + 7*q**2 + 2*q + 9. Let u be m(-7). Let y be 8/28 + (-4)/(-14). Let r = y - 19/21. Which is smaller: r or u?
u
Let b(x) = -2*x**3 - x**2 + x. Let g be b(1). Let z(l) = -l + 3. Let j be z(6). Is g bigger than j?
True
Suppose -2*h + 25 = 3*h. Let k be h/25 + (-22)/10. Which is smaller: -8/5 or k?
k
Let a = -23 - -45. Which is smaller: -0.1 or a?
-0.1
Let g = 1261 - 6493/5. Let h = g + 1682/45. Let k = -2 + 3. Which is greater: k or h?
k
Let u = -4.7 + 4.4. Is u smaller than -0.4?
False
Let y = -3775861/14577 - -33686/113. Let g = y + -204/43. Let z = g + -35. Is z at most as big as 0.3?
True
Let o be 6*(1 + 4/8). Suppose -2*r + 28 = 2*r + 4*y, 3*r = y + o. Is 5 less than r?
False
Let u(j) = -j**3 + 6*j**2 + 4*j - 1. Let p(x) = x**3 - 7*x**2 - 4*x + 1. Let b(i) = 4*p(i) + 5*u(i). Let d be b(4). Are d and -17 equal?
True
Let b = -3.4 - -3. Let v = b - -0.3. Let m = v + 0.1. Is m greater than 0?
False
Let v = 8 + -28. Let x = 19 + v. Which is greater: -0.5 or x?
-0.5
Let f be 1 - (0/(-4) - 57). Let q = 287/5 - f. Which is smaller: -2 or q?
-2
Let y = 744099 - 14134421/19. Let i = 182 - y. Which is bigger: -1 or i?
i
Suppose 5*n + 3*q - 26 = 0, 5*n - 18 = -0*q + q. Suppose k = n*r - 2*r, 1 = 2*k - 3*r. Suppose -2*a + 3 + 3 = 0. Which is smaller: k or a?
k
Let j be -1 + 1 - 1/(-4). Suppose p = -3*p - 12. Let n be (-1)/(p - -2) + -2. Is j smaller than n?
False
Let a be (2/(-14))/(2/(-4)). Let z(l) = l**2 + 4*l - 1. Let c(o) = o**2 - 5*o. Let i be c(4). Let u be z(i). Are u and a nonequal?
True
Let w(t) be the first derivative of -t**3/3 + 3*t**2 + 4*t + 1. Let d be w(7). Let z be d*(24/(-9))/(-4). Is z > -2?
False
Let r be (-1 - -1) + 6/3. Suppose 3*l = 2*g - g - 14, 3*l + 16 = r*g. Suppose -j + g = j. Is j not equal to 1/5?
True
Let h = 3595/28 + -79847/623. Let s = h - -2/89. Is s greater than or equal to -1?
True
Suppose 5*i - 10 + 0 = 0. Let k be -2*(-2 + i - 1). Let l = -1.8 + 2. Is k >= l?
True
Let r = 24.004 + -0.004. Which is bigger: 1/2 or r?
r
Let b = -115 - -115. Is b < 2/193?
True
Let t be 5/(-25) + 16/(-70). Which is smaller: -1 or t?
-1
Let r be 2*15/14 + -2. Let n = -1 + 0.6. Let i = n + 0.3. Are r and i nonequal?
True
Suppose -18*z + 21*z - 3 = 0. Which is greater: -2/375 or z?
z
Suppose 0 = -5*c + 2*c + 3. Suppose 12 = -4*z, x + 6 = 4*x - 2*z. Let v = c - x. Is v smaller than 1?
False
Suppose -5*f + 3*k = 5*k - 30, 2*k - 10 = 0. Suppose 0 = -2*m + 2*c - c - 4, 20 = -4*m + 5*c. Suppose 4*s - 4*q - 36 = m, -5*s + 3*q = -0*q - 35. Does f = s?
True
Let o = 19 + -9. Is 10 less than o?
False
Suppose -4*p - 34 = -4*l + p, -2*l - 5*p = -2. Suppose l*d = d. Do d and 0 have different values?
False
Let w be (28/(-10) + 2)/6. Let n = 0.2 - 0.3. Let k = n + 0.1. Which is smaller: w or k?
w
Let c(a) = 2*a**3 + 13*a**2 - 8*a - 7. Let k be c(-7). Let n be (-16)/6*4/(-48). Which is smaller: n or k?
k
Let a(x) = x**2 + x + 1. Let c be a(-3). Suppose -c = 4*p + 1. Which is smaller: -4/7 or p?
p
Let d(b) = -2*b**2 - b. Let z be d(1). Let o be ((-1)/z)/(10/(-15)). Suppose -5*f = -5*y, y + f + 4 = -2*y. Which is smaller: y or o?
y
Let t = -4 + 5. Is t < -2/27?
False
Let w be 0 + (-92)/16 + 2. Which is bigger: w or -1/4?
-1/4
Suppose -3*j = 2*j. Which is smaller: -21/4 or j?
-21/4
Let j = -0.06 - -0.06. Let b = -0.2 + j. Which is bigger: 0 or b?
0
Let u = 15 - 38. Is u at most -2/7?
True
Suppose 4*a - 7*a + 36 = 0. Is 35/3 less than a?
True
Let a = 0.08 - -7.92. Let i = 0.087 - -8.013. Let j = a - i. Is j smaller than -2?
False
Let r be (-2433)/99 + (-2)/6. Let b = 