ich is smaller: j or x?
x
Let o = -16 - -23. Suppose -3*x + o + 2 = 0. Which is greater: 4 or x?
4
Let b = 36.1 + -38. Let q = 0.01 - 2.01. Let k = b - q. Is -0.4 >= k?
False
Let g = 742 - 57875/78. Is g at most as big as -1?
False
Let l = -7 - -20. Let y = l + -21. Which is smaller: y or -9?
-9
Let w be (1/11)/(-3 - -6). Which is smaller: w or 0?
0
Let t = -408/5 - -82. Suppose 3*g + 46 = -5*o, 0 = 3*g - g + 2*o + 28. Let d be 10/(-4)*g/(-75). Is t > d?
True
Let s(q) = q + 31. Let z be s(0). Let a be 2 + (z/55 - 0). Let h = a + -26/11. Which is smaller: -1 or h?
-1
Let g(n) = -n**3 + n**2 + n + 1. Let r be g(2). Let y = 31/7 + -141/35. Is r >= y?
False
Let u(x) = -2*x. Let h be u(-1). Let o be 0 + h + -4 + 0. Let k be (o/(-7))/((-3)/(-7)). Are k and 1 nonequal?
True
Suppose 0 = -6*b + b + 50. Suppose 4*n + 20 = 4*m, -4*m + m = -n - 25. Do b and m have the same value?
True
Let s be (-2)/6 - (-2)/6. Let j = 3 + -12. Let o be 10/21 + j/27. Which is greater: o or s?
o
Let v = -401/40 - -79/8. Which is bigger: v or 0?
0
Let r = 1 + 2. Suppose 5*x = 18 + 2, 2*x + 1 = r*d. Do -0.1 and d have different values?
True
Suppose -5*c + 14 = -11. Let h(o) = o**3 - 5*o**2 - o + 7. Let w be h(c). Let s be (-3)/w*4/(-30). Which is smaller: 0 or s?
0
Suppose 3*x + 3 = -3. Suppose -4*a + 6 = -6. Let b = a - 5. Is x <= b?
True
Let v(c) = c**3 + 5*c**2 - 6*c + 2. Suppose 7 = -2*g - 5. Let j be v(g). Suppose -j*a = 2*a + 4. Which is smaller: -1/10 or a?
a
Let k be 18/24 + 21/4. Suppose -y - 4*z = 2*y + 17, 0 = 4*y - 3*z + k. Let t be 3/(-9) - y/15. Which is smaller: t or 1?
t
Let v = -7 + -1. Are -10 and v equal?
False
Let x be 12/(-7) + 2 - (-576)/42. Which is bigger: 15 or x?
15
Let l be (-29)/(-20) - (-2)/(-8). Which is bigger: l or -1?
l
Let o = -6.2 + 5. Let m = 4.8 - o. Let n = m + -5.9. Which is bigger: n or 7?
7
Suppose -15*m = -11*m + 28. Let r be 11/(-231) - 1/m. Is r at least 0?
True
Let u = -453 + 50737/112. Is 1 bigger than u?
True
Let v = -94/3 + 32. Is 1/4 < v?
True
Let n be ((-9)/(-6))/((-54)/8). Suppose 4*s = -t + 9, 4*t - 5*s = -s + 16. Suppose t*i = i. Which is smaller: n or i?
n
Let q(r) = -4*r - 31. Let j be q(-11). Which is bigger: j or 15?
15
Let v = -3.12 - -0.02. Let q = -0.1 - v. Is q greater than 0.2?
True
Let v(x) = -x**3 - 3*x**2 + 3*x - 5. Let t be v(-4). Let c = 2942/17 + -173. Is c < t?
False
Let z = -0.04 - -0.94. Let k = -0.1 - z. Let m = 0.1 + -0.2. Which is greater: m or k?
m
Let a = 0.12 + 0.58. Let q = a - 5.5. Let p = -5 - q. Is p >= 2?
False
Let l = -7/2 - -37/10. Which is smaller: 1 or l?
l
Let x = 1.2 - 2.2. Which is smaller: 0.07 or x?
x
Let u be (-1*0/2)/(-3). Suppose -2*r + 5*g = 52 + 106, 4*r + 5*g + 346 = u. Let z = r - -755/9. Is 0 bigger than z?
True
Suppose a + 5*g - 9 = 4, 5*a + 55 = 5*g. Let d = 4 + a. Is -2 at least as big as d?
True
Let l = 0.9 - 1.5. Let n = -0.5 - l. Is n greater than 1?
False
Let c = -1/271 - -829/4336. Is 0 bigger than c?
False
Let w = 7 + -11. Let l be 2/8 - w/(-16). Let k be 1*(l - 0 - -5). Which is bigger: 4 or k?
k
Let k(n) = 3*n - 9. Let r be k(9). Suppose b - g = r, -2 = -b - 5*g + 2*g. Let d be (3/b)/(6/(-8)). Which is smaller: d or 1?
d
Let y(p) = -p**2 + 3*p + 10. Let v be y(5). Is -2/15 at most v?
True
Let p = 0.27 + -0.5. Is p not equal to 2/3?
True
Let f = -1/47 - -53/282. Which is smaller: 0 or f?
0
Let q(t) = -t**2 - 12*t - 7. Let u be q(-9). Suppose -h = -2*h + u. Let n = -258/13 + h. Is n greater than 0?
True
Let a(n) = n**2 + 5*n - 8. Let k be a(-7). Are 6 and k non-equal?
False
Suppose -3*i + 4 = 1. Which is greater: i or 2/21?
i
Let k = -2.1 - 1.9. Which is smaller: k or -3?
k
Let o(c) = -c**3 + c**2 + 3. Suppose -5*j = -0*j. Let g be o(j). Let v be (4/(-6))/((-2)/g). Is v less than 1?
False
Suppose -y + 0 = -1. Let i be -2*(0 - (-1)/21). Which is smaller: y or i?
i
Let z(j) = -j - 3. Suppose -9 = -5*u - 19. Let v be z(u). Which is greater: v or -2/29?
-2/29
Suppose -u + 2 = -0. Suppose 0*d = u*d - 2. Suppose -2*r = 4*y + 6, 3*y - 4*r = -5 + 17. Which is greater: y or d?
d
Let k be 2 - -1 - (-56 + 0). Let h = 587/10 - k. Let i = 3 + -4. Does i = h?
False
Let u(o) = -o**3 - 9*o**2 - 8*o - 2. Let j be u(-8). Let z be 1/((4 - 3) + j). Do z and 0 have different values?
True
Suppose 2*z = -6, -4*y - 3*z - 11 = -2*y. Suppose 0 = -0*x + 2*x - 5*k + 25, -5*k + 25 = 4*x. Let m = x - 0. Is y < m?
True
Let w(v) = 4*v**2 - 3*v + 2. Let n be w(2). Suppose n = 2*g + 4. Is g greater than 4?
False
Let w be (-132)/110*(-10)/8. Let p be 1/3 + 16/6. Which is greater: w or p?
p
Suppose -3*q + 10 = -2*o - 0*o, q = -2*o - 2. Let d = -1 - o. Let h be 0/2 + (d - -3). Is h != 2/7?
True
Let y = 10/7 + -1. Let k = -1 - -1. Let l = k - -0.1. Which is smaller: l or y?
l
Suppose -2*u = 6 + 18. Are u and -12 nonequal?
False
Let n = -16 - -31. Suppose 3*r + 2*r = -n. Let q = -5 + 2. Do r and q have the same value?
True
Suppose x + 5 = 10, -5*x + 11 = -2*c. Which is smaller: 5 or c?
5
Suppose d - 5*g = 27, -d - 1 - 2 = g. Suppose c + d = l - 3, 2*c = -4. Suppose 1 = l*o - 2. Which is smaller: 2/9 or o?
2/9
Suppose -41 = 5*u - 71. Is 9 at most as big as u?
False
Let w(b) = b**2 + b. Let p be w(-3). Suppose -5*j = -2*j + p. Is -2 at most j?
True
Let j be (2 - 1)*6/(-1). Let a(f) = -f**2 - 7*f - 1. Let h be a(j). Suppose -4*p = 3*c + 1, -h*c + 2*p = -6 - 1. Do 4/7 and c have the same value?
False
Let b = 841/40 + -21. Is 1 greater than or equal to b?
True
Let v = -141 + 65. Let u be v/18 - 4/(-18). Let o be u/4*1/4. Do 1 and o have the same value?
False
Let a be (-41)/(-3) - (-3)/3. Which is bigger: 14 or a?
a
Let i(y) = -y**3 + 7*y**2 + 9*y - 12. Suppose 4*z - 22 = -6*n + n, z + 4*n = 0. Let s be i(z). Let f be (6/9)/(s/6). Is f at most 0?
True
Let h(x) = -x - 3. Let m be h(-7). Let y(b) = b**3 - 7*b**2 + 6*b - 2. Let l be y(6). Let n = m + l. Is 2 at most n?
True
Suppose -f + 45 = 5*l, -4*l + 5*f = -6 - 1. Does l = 8?
True
Suppose 0 = o - 5*s - 11, 5*o + 2*s + 1 = 2. Which is bigger: o or -10/3?
o
Let j = -3.94 + 4. Let t = -0.26 + j. Which is bigger: t or 3?
3
Let s = -3.03 - -0.03. Let g = -2 - s. Which is smaller: -1 or g?
-1
Let n(f) = -f**3 + f**2 + f - 1. Let l be n(0). Is l at most -3?
False
Suppose -3*d + 2*m + 14 = 0, 0 = 3*m - m + 2. Suppose d*f - 1 = -5. Let g be (-1)/3 + 2/(-30). Which is greater: g or f?
g
Suppose 3 = -3*o, -5*a = 2*o - 0*o + 67. Which is smaller: a or -9?
a
Let n(h) = h**3 - 4*h**2 - 3*h + 11. Let t be n(4). Which is smaller: -2/15 or t?
t
Let y = 10026/23 + -436. Which is greater: 1 or y?
1
Let w = -0.7 + 0.78. Let o = w + 0.02. Is o greater than 0?
True
Let j(g) = 2*g - 21. Let f be j(6). Which is smaller: -6 or f?
f
Let o = 0.02 - -0.04. Let g = 0.46 - o. Let r = g + -0.3. Which is bigger: 1 or r?
1
Suppose o = -o + 4*p + 12, 0 = 5*o + 5*p - 45. Suppose -5*m - o = -m. Let k be (1 + m)*(-4)/(-4). Are -1/2 and k unequal?
True
Let y be -3 + ((-3408)/(-1078) - 2/11). Which is smaller: y or 1?
y
Let a = -88 + 30. Let h be ((-3)/a)/((-6)/8). Do h and 1 have the same value?
False
Suppose -b - 3*b = -3*c + 9, 10 = 2*c - 4*b. Is -4/3 less than or equal to c?
True
Suppose 8 = 4*d - 2*u, -2*d - 3*d - 16 = 4*u. Suppose 3*r + 1 - 4 = d. Let y = 1/88 - -39/440. Which is smaller: r or y?
y
Suppose -l = -2*r - 5, -3*l - 2*l = -4*r - 19. Is 19/5 != l?
True
Let y = -53 + 50. Let v be 2/(-6) + (-67)/(-516). Let q = v - 2/43. Is y != q?
True
Let j = 8/211 + -7003/1055. Do -7 and j have the same value?
False
Let f = 49 + -22. Let l be (-4)/(-6) + (-24)/f. Is l less than 1/4?
True
Let m be (0 - 0)/(2/(-2)). Let a be (2/(-8))/(-1 - m). Is a bigger than 0?
True
Suppose -3*m - 2 = 1. Let x be (-3)/(-2)*m/(-3). Let g = -4 + 2. Is x at most g?
False
Let s be -4 + 6*(-8)/(-12). Is s < 1/39?
True
Let y = -1 + 10. Which is smaller: 8 or y?
8
Let o be 6/9*(-15)/(-170). Are o and -1 non-equal?
True
Suppose -183 = 3*s + n, -s + 0*n = n + 61. Is -60 <= s?
False
Let k = 30 - 26. Is k at least 3?
True
Let d = 10.82 - -0.18. Let t = -10 + d. Which is greater: -1 or t?
t
Let u = 17 - 8. Is 10 less than u?
False
Let w = -127 + 127.001. Which is bigger: w or 0?
w
Let d = 387 - 18191/47. Is d < -1?
False
Suppose 5*h - 16 - 44 = 0. Suppose 2*s + 3*o + 0*o + 20 = 0, s - 4*o = h. Let m be (1/s*9)/(-3). Which is