. Let d be b(-2). Let t be (2/(-1) + 4)/(-12). Which is smaller: t or d?
d
Suppose 0 = -4*x + 4*g - 12, 8 = -3*x + 2*g - 0*g. Which is smaller: -26/29 or x?
x
Let h = 29 + -29. Suppose 2*k - 1 = 2*m + 3, 2*m + 3*k - 21 = h. Suppose -m*l = 2*l. Which is bigger: -1/19 or l?
l
Let n be -9 + 4 + 3/(-3). Let d(s) = -4*s**2 + 6*s**2 + 6*s + 3*s**3 + 5*s**2 + 1 - 2*s**3. Let k be d(n). Is k less than -2/11?
False
Suppose -61 = -10*m - 11. Which is smaller: 15 or m?
m
Suppose 3*v + v - 38 = 3*c, 3*v + 3 = -3*c. Let p be (-8)/c*12/8. Suppose -w = 3 - p. Is 2 >= w?
True
Let q be (-15)/(-6) + 21/14. Suppose j + q = 5*y - 4, 4*y = -4*j + 16. Let h be j/(-24) + (-4)/(-16). Is -2/3 at most h?
True
Let s = -1152.4 + 1134. Which is smaller: s or -3?
s
Let r = -9486/665 - -100/7. Let p = r - 8/19. Which is bigger: 0.03 or p?
0.03
Let w = -33 - -32.02. Let j = -0.08 - w. Let q = -0.8 + j. Is -6 at least as big as q?
False
Let r = 20 + -25.72. Let x = -5.8 - r. Which is bigger: x or -0.2?
x
Suppose 0 = -4*d - d + 10. Let p be ((-1)/12)/(1/d). Let x = -34 - -103/3. Which is smaller: x or p?
p
Let h be (-10)/35 - 9/(-7). Let t = h + 28. Which is greater: 28 or t?
t
Suppose -y - 9*g - 17 = -6*g, -2*y - 2*g - 26 = 0. Which is smaller: y or -3?
y
Suppose x - 81 = -82. Let d = 2077 - 213929/103. Is d greater than or equal to x?
True
Let r = 1 - -2. Let y = 0 + r. Is y less than 8?
True
Suppose -8 = 11*f + 14. Let i be (-7 + 16)/((-3)/f). Are i and 7 equal?
False
Let d = 727 - 721. Suppose 0 = -g - 2*g + 15. Which is smaller: d or g?
g
Let n(z) = -16*z + 2. Let w be n(7). Let r = w + 80. Which is greater: r or -2/5?
-2/5
Let c = 0.14 - -0.06. Let f(m) = -m - 9. Suppose 4*z - 12 = -2*j - 0*z, z - 5 = 0. Let p be f(j). Is c at most p?
False
Let j be 2/3*(-15)/(-6). Suppose 5*x + 21 = -4*z, 3*z + 3 = -x + 1. Which is smaller: z or j?
z
Let l = 626 - 546. Which is smaller: l or 84?
l
Suppose 0 = -r + 100 - 106. Let z be (0/(-2))/(6 + -4). Suppose -3*q + 1 - 4 = z. Which is greater: r or q?
q
Let m be 245/10 - 2/(-4). Let j = m + -2. Let v be 6/(-12) + (-2 - 392/(-16)). Is v > j?
False
Let v = -503 - -502. Is v greater than -6/19?
False
Let h be -3*(-8)/(-96) - (-6237)/4. Which is greater: 1558 or h?
h
Suppose -2*g - 5*f = 11, -2*g - 2*g + 5*f + 23 = 0. Suppose -2*m - g*c = 4, -3*c - 2*c = 3*m + 14. Suppose 0 = -w - m*w. Is w >= 4/9?
False
Suppose -1350 = -120*s + 123*s. Is s > -1?
False
Let y(d) = 5*d + 2. Let g be y(6). Let h = 33 - g. Let u(f) = f**3 - 7*f**2 + 6*f - 3. Let a be u(6). Are h and a non-equal?
True
Let h = -27 - -259. Let q be 108/h + (-1)/2. Which is bigger: -1 or q?
q
Let d = -5/137 - -1568/46717. Which is greater: -1 or d?
d
Let x = -4 - -3. Let p = 1.6 + 7.4. Let n = p - 8.9. Which is greater: n or x?
n
Let w be 22340/(-42) - (-4)/(-42). Let j = w - -13302/25. Does j = 0?
False
Suppose 8*v = 3*v + 15. Let u = 58 + 44. Let c be (1/(-2))/((-17)/u). Is c smaller than v?
False
Let w = 1542 - 106388/69. Is 0 > w?
False
Let a = -35.24 - -35. Let j = a + 0.34. Which is bigger: j or 19?
19
Let t = -175/2 + 88. Let n(q) = 2*q - 7 + 7 - 1. Let i be n(1). Which is greater: t or i?
i
Suppose 0 = 3*a - g + 133, -3*a + 4*g = -5*a - 98. Is a at least as big as -45?
True
Let w(x) = -146*x - 896. Let u be w(-8). Which is smaller: u or -2?
-2
Suppose -2*r + 16 = -6. Suppose r*f - 8*f - 12 = 0. Suppose 3*m = -m - f. Which is smaller: m or -2/13?
m
Let i = 166 + -171. Which is greater: i or -4?
-4
Let s = 16.5 - 16.8. Which is smaller: s or -15?
-15
Suppose 8*f + 201 = -615. Let d be 98/f + 4 - 3. Which is smaller: d or 0?
0
Let p = 50 - 52. Let f = -10 + p. Is -11 smaller than f?
False
Let j be (-3)/(-4)*(-192)/(-2). Suppose 15*g - 12*g - j = 0. Is 24 less than g?
False
Let v = -3.21 - -0.85. Let g = -573 + 573.36. Let l = v + g. Are l and -1 unequal?
True
Let c = -5343/28 + 191. Let f = 81/140 - c. Which is smaller: 1 or f?
f
Let k = -0.11 - -0.1. Let p = k + -10.19. Let y = -10 - p. Which is bigger: -0.02 or y?
y
Let k(q) = -13*q**2 + q**3 + 10*q + 19*q**2 + 5 - 2. Let l be k(-4). Which is greater: -33/7 or l?
-33/7
Suppose 3*i - 2*i - n - 18 = 0, -3*i = 2*n - 39. Let a be i/(-6)*(-180)/25. Let g = a + -10. Is 9 >= g?
True
Let y(h) = h. Let m be y(2). Suppose -i + m*i = 0. Suppose i*a + 14 = 7*a. Which is smaller: 1 or a?
1
Suppose -8*j = 13357 - 13349. Let o = -4 + -2. Which is smaller: j or o?
o
Let v = -27139/27 + 1005. Let j be 2 + 20/(-14) + 33/77. Which is smaller: v or j?
v
Suppose -1 + 7 = 3*b. Let s be 5 + 18 - (b + -2). Which is smaller: s or -1?
-1
Suppose -2*u - j = j + 8, 2*u + 3*j = -12. Is u less than or equal to -1/284?
False
Suppose 3*d - 16 + 59 = -2*c, -2*d - c - 28 = 0. Let w = d - 5. Let a be ((-4)/w)/((-4)/6). Is a != -1?
True
Let g = 3.53 - 3.45. Let t = 3.03 + -0.03. Is t at least g?
True
Let h = 34 - 32. Let w = 21/46 - -1/23. Are w and h unequal?
True
Suppose 69*y = 70*y - 19. Let v = -19 + y. Let o = -148 - -1330/9. Is v smaller than o?
False
Suppose -2*o - 90 = -8*o. Let v be 5*o/50*(-2)/(-3). Which is smaller: v or 2/237?
2/237
Let z(w) = -w**2 - 3*w - 3. Let h be (-2 + 7)*(-4)/(-4). Suppose -4*n - 14 = -g, -g + h*n = 3*n - 6. Let v be z(g). Which is greater: v or 0.02?
0.02
Suppose 2*h = 72 + 4. Let w = 40 - h. Is 3 at least w?
True
Let j = 349129/175 - 1995. Are 0 and j non-equal?
True
Let h = -27 + 35. Let r = 21 - h. Which is smaller: r or 12?
12
Let i be 3/(-1) - 30/(-9)*3. Suppose -2*m + 5 - i = 0. Are m and -3/34 nonequal?
True
Let h = 410 + -409. Which is smaller: -5/11 or h?
-5/11
Suppose -35 - 23 = 2*o. Let x = o - 20. Is -47 greater than x?
True
Let g(r) = 4*r**2 + r. Let d(o) = -o**2 - o + 1. Let l be d(0). Suppose -l = -4*p + 3*p. Let w be g(p). Is w greater than 14/3?
True
Let l = 2 - -3. Let t = l + -6. Let g = t + -1. Is g bigger than -1?
False
Let w = 8076950/927 - 8713. Is w != 0?
True
Suppose -17*d - 30 = 531. Which is bigger: -63/2 or d?
-63/2
Let u(a) = -a**3 - 6*a**2 + a - 43. Let c be u(-7). Is c <= 1/256?
True
Let q = -55 - -74. Let n be (-42)/(-80) + q/(-152). Which is smaller: n or 54?
n
Suppose 5*a + 2*k + 3 = 6, -2*a + 4*k - 18 = 0. Let g(r) = -r**2 - 9*r - 8. Let b be g(-8). Suppose b = 7*t - 6*t + 9. Which is bigger: t or a?
a
Let n(p) = 13*p + 2. Let u be n(-4). Let j be (-10)/4*(3 + 145/u). Which is smaller: 5/3 or j?
j
Let h be 72/6*(-25 - 1). Is h at most -311?
True
Let n be 2/5 + 14/65. Let k = 1293 + -1293. Which is smaller: n or k?
k
Suppose -3*f + 2*l + l - 60 = 0, f + 18 = 3*l. Let x = f + 25. Let v be 112/24*x/(-42). Are v and 0 unequal?
True
Let q = -887/4 + 221. Is 0 greater than or equal to q?
True
Let m(q) = -4*q - 5. Let v be m(-1). Let f = 1.1 - -0.5. Are f and v equal?
False
Suppose 0 = j - 5*j + 4*t - 36, 0 = 4*j - 5*t + 41. Let s be j/(-3)*9/2. Are s and 7 equal?
False
Suppose -2*k + 4*u = -18, 3*k - 27 = 6*u - 11*u. Which is smaller: k or 93/11?
93/11
Let d = 1 - 0. Let h be -1 + 2 + (-4)/4. Suppose -5*q + 4*q = h. Is q <= d?
True
Let a(u) = 40*u - 679. Let k be a(17). Which is smaller: -3/178 or k?
-3/178
Let w = 0.03 - -16.37. Let k = w + 2.6. Are k and -2 nonequal?
True
Suppose -13 - 2 = -5*g. Let d be 4/(-7 + g) + 19. Let z be d/8 + (-2)/8. Are 2 and z nonequal?
False
Let g = -403.3 + 403. Which is bigger: -40/9 or g?
g
Let q(z) = z**3 + 2*z**2 + z. Let k(t) = -2*t**3 - 4*t**2 - 2*t. Let m(u) = -3*k(u) - 5*q(u). Let f be m(0). Is -2/25 bigger than f?
False
Let h be (-2 - -3)/((-105)/25 - -4). Let t(w) = 24*w**2 + 1. Let u be t(1). Let g = u - 57/2. Is h smaller than g?
True
Let a = 76 - 76. Which is smaller: -1/85 or a?
-1/85
Suppose -102 = -11*i - 14. Let d be 1585/175 + 3*3/63. Which is bigger: i or d?
d
Suppose 12*f - 28 = -2*f. Let z be (6/(-8))/(9/(-24)). Is f bigger than z?
False
Let k be 0 + -14 - (-24)/((-16)/(-2)). Are -29/3 and k non-equal?
True
Suppose 113*k = 126*k - 13. Do 1 and k have the same value?
True
Let f be (-26)/770 + ((-473)/121 - -4). Which is bigger: f or 0?
f
Let x be (888/21)/(12/(-42)). Is x equal to -9?
False
Let n = 27452/7305 - 12/487. Is -0.1 greater than or equal to n?
False
Let n = 0.224 - 0.4. Let g = 0.076 + n. Are g and 2.7 unequal?
True
Let y = -517706/8745 - -2/8745. Which is greater: -58 or y?
-58
Let j be 0 - (22/154 - 1984/13986). Is j bigger