gger: n or x?
x
Let g = -9 - 54. Suppose -203*x + 199*x = 0. Which is greater: x or g?
x
Suppose -2*r - 4*g - 48 = 0, -5*g = 10*r - 5*r + 110. Is -37 < r?
True
Suppose -6188 = 2539*b - 2553*b. Is b equal to 443?
False
Suppose 4 = 88*a - 90*a. Let g be 1/2*(2 + 84). Let x be 2/(-9) - g/9. Which is smaller: x or a?
x
Let b be (-2)/4 + 138/(-4). Let h be 10/35 - 39/b. Suppose -2*v - 3*x = 13, 8 = -v - 5*x - 16. Is v smaller than h?
True
Let y = -8719/4 + 2167. Which is smaller: -13 or y?
-13
Suppose 6*k - 4*k - 12*k = 0. Which is greater: 9/17 or k?
9/17
Let t be -1*(-7 + 4 + 6) - 538. Which is greater: -3 or t?
-3
Let h be (3/1)/(1 + 18). Let l be (-14)/18 - 32/144. Let m be l/(-5 - 16/(-4)). Is h greater than or equal to m?
False
Let o be (-12)/(-20) + (-23)/5. Let n be (-2 - o/4) + 2. Let a be n/4*1 + 0. Is -16 < a?
True
Let l(c) = -c - 3. Let q be l(-3). Let y = -1451936/21 + 69165. Let h = y - 73/3. Is q at least as big as h?
False
Suppose 3*f - 3*n = 264, 2*f + 73 - 263 = -5*n. Let x = 89 - f. Does x = -3/19?
False
Let g(c) be the third derivative of c**6/120 - c**5/60 - c**4/24 + 13*c**3/6 + 4*c**2. Let k be g(0). Let j be (-2)/k + 120/104. Is 1/25 smaller than j?
True
Suppose -4*o = -27*f + 28*f + 12, o = 5*f + 81. Which is bigger: -14 or f?
-14
Suppose -u - 4*s = s - 16, 2*u + 4 = -s. Let d = u - -17/4. Is d <= 1?
True
Let c = -30.3 - -27. Let s = 6.3 + c. Is 1 not equal to s?
True
Let f(t) = t**2 - 13*t + 36. Let m be f(9). Do -165/8 and m have different values?
True
Let p(z) = z + 6. Let l be (975/26)/(2/(-4)). Let u be 206/(-30) + 10/l. Let k be p(u). Which is bigger: -1/24 or k?
-1/24
Let u = 1 - -2. Let p be 82/36 - u/(-18). Let t = p + -2. Which is greater: 0 or t?
t
Let r = 2392 + -55025/23. Which is smaller: r or 1?
r
Let f = -10.04 - -0.04. Let q = f + 13. Is q >= -3/5?
True
Let u(n) be the second derivative of n**4/4 + n**3/6 - 6*n**2 - 5*n. Let b be u(-5). Let w be b/(-154) - 10/(-35). Which is smaller: -1 or w?
-1
Suppose 0 = -2*y + 308 + 88. Let x = y + -94. Let m be 16/x*(-3)/(-6). Which is greater: m or 1?
1
Let f be ((-6)/(-4))/((-3)/(-4)). Suppose -3*t = 5*y + 2, 3*y = -f*t - 2 + 1. Let m be 17*(-6)/(-340)*10. Is t != m?
True
Let w = 0.01 - 0.017. Let j = 2.907 + w. Let s = j + -3. Is s at least as big as 5?
False
Let s = -3 - -2.5. Let w = -20 + 19.6. Let a = s - w. Is a > 0?
False
Let r be (-9)/(-4) - (-19)/(-76). Let n(w) = w**2 + 10*w + 11. Let m be n(-8). Let a be 1 + -3 + (-16)/m. Which is greater: a or r?
r
Let r be 1555/(-8025) + (-9)/(-45). Is r at least as big as -1?
True
Suppose -7*y = -275 + 16. Let b = y - 701/19. Which is smaller: -1 or b?
-1
Let j(a) = -6*a**3 + a. Let u be j(-1). Suppose -3 = -u*z + 117. Suppose z*i - 6 = 21*i. Is i <= 3?
True
Let k be (-90)/(-7140)*(2 + (1 - 1)). Which is greater: -0.1 or k?
k
Let q = 593 - 594. Which is greater: -1/86 or q?
-1/86
Suppose 1284 = 58*j - 54*j. Is 320 greater than or equal to j?
False
Let v = -8.062 + 0.062. Let p = 20 + -22. Which is smaller: p or v?
v
Let l = -113/141 + -3/94. Let v = -53 - -55. Suppose 4*m = -v*d + 10, -7*d = m - 3*d - 13. Which is smaller: l or m?
l
Let o be (-2)/(4 - 0)*2208/2392. Is -1 greater than or equal to o?
False
Suppose -d = 2*k - 11, -4*k + 32 = 9*d - 5*d. Suppose -d*b - 19 - 16 = 0. Let t = 11 - 18. Is b greater than t?
False
Suppose -4*k = -2*h + 2, -3*h + 27 = 10*k - 8*k. Which is greater: h or 13?
13
Let k = 31 - 39.5. Let o = k - -9. Let i = 321/4 + -80. Is i < o?
True
Let y = -1828 - -1567. Which is smaller: y or 0.3?
y
Suppose -o - 5*o - 24 = 0. Let y be -1 + (1 - -2) + -2. Let c be y + (4 + 4)/(-2). Are o and c nonequal?
False
Suppose o - 2*t = 1, -2*o = t - 9 - 3. Suppose m = 2*s + 12, -o*m - 2*s + 2 = -34. Suppose -m = -3*f + f. Which is smaller: 3 or f?
3
Suppose 3*x + 17 = 3*j - 2*j, 5*j = 2*x + 20. Let o = -2 + j. Let q = 0.7 - 1.7. Is o at least q?
True
Let j(m) = -m**3 - 12*m**2 + 12*m - 12. Suppose -2*i + 5*o - 1 = -0, -5*o = 25. Let r be j(i). Are r and -4.5 unequal?
True
Let u be 3/6*(16 + -17)*6. Let q(y) = -2 + 5*y + 3*y**2 + 0 - 5. Let b be q(u). Is -3 >= b?
False
Let d = -9.289 + -2.711. Which is greater: d or -26?
d
Suppose -4*s = d - 32, s + 2*d = -s + 22. Suppose 3*l + 29 = -4*r, 4*r - 4*l + 43 = s. Are r and -7 unequal?
True
Let x be -3 + (-632)/(-76) - 5. Do 1 and x have the same value?
False
Let o(k) = 6*k**2 - 4*k - 1. Let a be o(-1). Suppose -2*v + 2*z - 5*z = a, -3*v = z + 17. Which is bigger: v or -4?
-4
Let h be 6*(-2)/(-48) - (-169)/(-116). Is h greater than or equal to 0?
False
Let k(g) = 8*g**2 + g - 2. Let u be k(-2). Suppose 0*a - 4*a + 5*b + 149 = 0, 4*b + 175 = 5*a. Let q = u - a. Which is bigger: -11/6 or q?
-11/6
Let x = -44 - -53. Suppose x*o - 4*o + 220 = 0. Which is bigger: o or -1?
-1
Let s(c) = 73*c**2 + 22*c + 11. Let r be s(4). Is r at least 1268?
False
Let b = -480 - -514. Which is greater: -0.1 or b?
b
Let b(s) = 3 - 11 - 2*s + 4*s. Let v be b(6). Suppose 0 = -t + 18 - 13. Do v and t have the same value?
False
Let r be (4000/35 - 4) + (-4)/14. Do 112 and r have the same value?
False
Suppose 51 = -7*h + 9. Let j(d) = -d**3 - 6*d**2 - 2*d + 2. Let f be j(h). Which is bigger: 11 or f?
f
Let p = -151 - -143.05. Let h = -3 - -11. Let s = p + h. Is s at most -1?
False
Suppose 0*q = -2*q - 10, -5*z + 3880 = -2*q. Let i be (1/(-4))/(z/(-216)). Is i less than -1?
False
Let q = -151/9 - -37/9. Do -0.1 and q have the same value?
False
Let y be (-3)/(-7) - (-6 - (-9 - -7)). Is y greater than or equal to 5?
False
Let n be 6/(-4)*-2 + (-631)/210. Is 1 at least as big as n?
True
Suppose 0 = -5*k + 24 - 4. Which is smaller: k or 0.9?
0.9
Let y = 837568210 + -15854328651936/18929. Let w = y - 4/823. Which is smaller: -1 or w?
-1
Let i(k) = -45*k - 6. Let h be i(6). Is -277 greater than or equal to h?
False
Suppose -20 = -3*b + 4. Let s = -56.068 - -56. Let o = s - 0.032. Which is bigger: o or b?
b
Suppose 5*i = -3861 + 571. Let n = 1630377/25 + -65873. Let y = i - n. Are y and 1 equal?
False
Suppose 61*x = 67*x + 126. Which is smaller: -0.1 or x?
x
Let g = 1/2055 - 543/177415. Let w = 1030/2331 - g. Are 0 and w equal?
False
Let m be 1/6 - 6567/39186. Which is smaller: m or 1?
m
Let c = 94 + -486. Let o be (-14)/63 + c/18. Is o greater than or equal to -21?
False
Let p be -3 + -2 + 6 + -1. Let r be -5 + 3 + 2 + -31 + p. Is r greater than -29?
False
Suppose 20 = -67*x + 66*x. Let p = -29 - -9. Is x at most p?
True
Let v(p) = 9*p + 15. Let b be v(-1). Is 53/8 <= b?
False
Let j(y) = y + 18. Let u be j(-13). Suppose f + 7 = -u. Which is bigger: -11 or f?
-11
Suppose 3*o = -2*o - 2*y + 3, -2*o + y - 6 = 0. Suppose -3*n + 1728 - 69 = 0. Let j = 10510/19 - n. Which is smaller: j or o?
o
Let i = 88 + -87.9. Is i bigger than -2/13?
True
Suppose 2*j - 3*g - 43 = 0, 5*j - 4*g + 7*g - 76 = 0. Suppose 7*i = 60 + j. Suppose 5 - i = -2*l. Is l at least 2?
True
Let g be -7 + 1 + ((-14905)/225)/(-11). Is -1 less than g?
True
Suppose 5*w = -0*f - 5*f - 5, -3*w - 3 = 5*f. Let h(i) = -i**3 + i**2 - 2. Let d be h(f). Let j be (-1)/((-1)/d + 0). Are -4 and j equal?
False
Suppose -4*z = 1 + 11. Let i = z + 13. Is 28/3 at most as big as i?
True
Let s be (((-40)/(-6))/1)/(35/210). Is 40 bigger than s?
False
Let l = -4 - 0. Let o = -46 + 46.06. Let f = o - -0.14. Which is greater: l or f?
f
Let r = -1 - -4. Let d be r*(0 + 12/171). Suppose 0 = -3*h - v, 7*h - 5*v = 2*h - 20. Which is bigger: d or h?
d
Let x(z) = -39*z**2 - 3*z - 3. Let n be x(-1). Let c(h) = -3*h**2 - 4*h + 1. Let i be c(3). Is n at most as big as i?
True
Let j be (-1)/((-4 - -6)/(-14)). Let s be (-4)/(-6)*6 - j. Let a be ((-272)/32)/(s/(-2)). Is -7 smaller than a?
True
Let c be 6 - -4*(-3)/4. Let m be (-6)/(-18)*c/2. Let r = 1 - 1. Is r <= m?
True
Suppose -21*s - 81 = 87. Let f = 2 + -2. Is f at most s?
False
Let q(j) be the first derivative of -j**3/3 + 4*j**2 - 14*j + 29. Let d be q(5). Which is smaller: d or -4/79?
-4/79
Let c = 10 - 5. Let x(p) = p**3 + 2*p**2 + p. Let b(y) = -4*y + 3. Let q be b(1). Let l be x(q). Which is smaller: l or c?
l
Let o = -3.2 - -3.58. Let x = o + -0.4. Let w = x - -0.12. Is 3 > w?
True
Let w(m) = m**2 - 7*m - 8. Let i = 38 - 30. Let d be w(i). Which is greater: d or -1/2?
d
Suppose 2503*d - 2515*d - 972 = 0. Which