s greater: 3 or b?
b
Suppose -3*y = -0 + 6, 0 = -3*g + 3*y + 36. Which is greater: 9 or g?
g
Suppose 0 = -2*u - 0*u - 38. Let t = u - -59/3. Which is bigger: t or 1?
1
Let r be (-6)/(-4)*(-2)/17. Let m = r + 63/68. Which is greater: 0 or m?
m
Let i be (-4)/(-14) - ((-1881)/(-63))/(-11). Suppose 2*c = 6*c - 8. Which is smaller: i or c?
c
Let w be (-30)/20 - (-7)/(-2). Let h be (6/w)/(16/40). Is h < -5?
False
Suppose -2*w + 36 = w - 3*h, -5*w + 2*h = -45. Suppose -4 = 3*a - w. Is a equal to 1?
True
Let o = 2 - 3. Let q be (1/(-4))/((-9)/12). Let c = q - -1/6. Which is smaller: c or o?
o
Let u = 0.19 - -0.81. Which is smaller: 16 or u?
u
Let b be 80/24 + (-1)/3. Suppose b*j + 12 + 3 = -3*r, 0 = 5*j + 4*r + 22. Which is bigger: -3 or j?
j
Suppose -2*x + 2*m + 34 = 0, -5*m = 6*x - 2*x - 32. Is 1 equal to x?
False
Let j(x) = -4*x**2 - 13*x - 11. Let t be j(-2). Let m be (1/(-6) + 0)*5. Which is greater: t or m?
m
Let k = -127/455 - 1/35. Which is greater: -1 or k?
k
Suppose -4 = -5*r + 1, 5*c - 2*r - 8 = 0. Let y be c/(-4) + 3/(-2). Which is greater: y or -3?
y
Let t(d) = -d**3 + 7*d**2 - 5*d - 7. Let x be t(6). Suppose 6 = -3*a, 5*w + 5*a = 4*w - 12. Does w = x?
False
Suppose -21 = -x - 5*w, 4*x + 4*w - 32 = -12. Is x greater than or equal to 2/39?
True
Suppose 3*k = -6 - 0. Let j = 2 - 1. Let y be 0 + j - (-2 - k). Is 3 bigger than y?
True
Let g = 371/5 + -74. Let j(d) = -d**3 - 3*d**2 - 2*d - 1. Let q be j(-3). Suppose 0*o = -q*o + 5. Is o at most as big as g?
False
Let l = -30 + 29. Let t = 8 + -11. Let a be -1 + ((-6)/4)/t. Is a >= l?
True
Let a = -8.83 - -9. Let j = a - 0.13. Which is smaller: j or 1?
j
Let w = -21 + 21. Which is bigger: w or -5/7?
w
Let h = 2.99 + -3. Let v = h - -0.01. Is v not equal to -1/4?
True
Let f(g) = g**2 + 8*g - 10. Let h be f(-9). Are 4/35 and h unequal?
True
Let x = -16 + 18. Which is greater: x or 3?
3
Suppose -45 + 51 = -3*b. Suppose -6*x + x = -2*f - 3, 3 = -x + 4*f. Let c = x - 2. Which is smaller: c or b?
b
Let o be (-72)/(-32)*(-2)/(-6). Let l = 5/12 - o. Let v = 7 - 15. Which is greater: v or l?
l
Let g = -131 + 128. Is 0.4 at least g?
True
Let c = 422568/371 - 1139. Let y = 731/4081 - c. Which is greater: y or 0?
y
Suppose 0 = 3*p - 12 - 3, -2*s = -2*p + 8. Which is smaller: s or 1/48?
1/48
Let o = -130 + 131. Let u = 94853/81 - 1171. Let z = u + -20/81. Are z and o nonequal?
True
Let g(p) = -p**2 + 9*p + 2. Let f be g(9). Suppose -1 = -f*o + 1. Are o and 9 unequal?
True
Let c(t) = t**2 - t - 5. Let i be c(-2). Let v = 0 + 1. Is i at most v?
True
Let g = -147/4 + 37. Which is smaller: g or -47?
-47
Let w = 14 - 14.7. Which is smaller: w or -1/4?
w
Let q = 2 - 4. Let c = -3 + 7. Suppose -c*m - 2 = 2. Are q and m non-equal?
True
Let j = -17 + 16. Is -1/25 greater than j?
True
Let d = -68 - -1019/15. Let i(p) = -p + 1. Let b be i(2). Which is smaller: b or d?
b
Let t = 12.6 + -1.6. Let a = t - 8. Which is greater: 0.2 or a?
a
Let t be (2 - 8 - -2)/(-2). Let a(f) = 2*f**2 - 1 - f**2 + 0 + f. Let c be a(1). Is t < c?
False
Suppose -3*w + a - 24 = -0*w, 3*w = 3*a - 30. Let t(m) = -m**3 - 8*m**2 - 8*m - 7. Let i be t(w). Is -0.08 at least i?
False
Let s be (-1)/7*4*-1. Suppose -2*m + 4*g + 22 = 2, -5*m + 2*g + 18 = 0. Which is smaller: m or s?
s
Suppose 0 = -4*r + 5*r - 5. Let v(i) = -i**2 + 5. Let q = -18 - -18. Let y be v(q). Is y <= r?
True
Let d = 31 + -29. Is -0.2 != d?
True
Let t = -19/43 + 4653/215. Which is bigger: t or 20?
t
Let u(t) = -t**2 + 3*t + 7. Let q be u(6). Let a = 5 + q. Let i be 2/(-4)*a + -4. Which is smaller: 0.5 or i?
i
Suppose -3*s + 4*s - 5*c - 6 = 0, 0 = -3*s - 3*c. Which is bigger: s or -2/15?
s
Let w = 1 + -5. Let r = 3.8 + w. Is 0.1 smaller than r?
False
Let l = -4.25 + 0.25. Which is smaller: -3 or l?
l
Suppose -92 = 4*m - 4*p, 0 = -3*m - 0*p - 2*p - 44. Let g be (-32)/130 + m/(-45). Is g at least 1?
False
Let k = 9 + -7. Is k equal to 0?
False
Suppose f - 1 = -0. Which is greater: f or 6?
6
Let h(u) = u**2 - 5*u - 3. Let w be h(6). Is 3/2 >= w?
False
Let n = -40.9 - -22.8. Let z = n + 17. Let f = z + 0.1. Which is bigger: 2/3 or f?
2/3
Let h = 18.1 - 19. Let s = -0.4 + 0.3. Let n = s + h. Which is smaller: n or 1/4?
n
Let z(n) = n - 2. Let a be z(3). Let r = 38 - 151/4. Which is greater: a or r?
a
Let o = -0.1 + -0.9. Let t = 1.2 + o. Let w = -2.9 - -3. Which is greater: t or w?
t
Let k = 77 - 233/3. Let t(y) = -y**3 + y**2 + 2*y + 1. Let l be t(2). Let u be (2 + -3*l)*0. Do k and u have the same value?
False
Let b = -65.99 + 67. Let t = b - 0.01. Suppose 2*j = -2*k + j, -3*k = -2*j - 7. Is k >= t?
True
Let w(m) = 2*m**2 + m + 1. Let r(c) be the first derivative of c**4/4 - c**3/3 - c**2 - c + 2. Let y be r(2). Let g be w(y). Is -2/3 at most as big as g?
True
Let d(q) = 7*q**3 + q**2 + q - 1. Let n be d(1). Let j be (4/n)/((-1)/(-2)). Let s = 0.1 - 0.1. Is s at least j?
False
Let n = 0.1 + -2.2. Let b = 0.2 + -2.2. Let z = n - b. Which is greater: z or 2?
2
Let q = 22 - 25. Let o = -2 - q. Is -1/2 != o?
True
Let m = 17 + -11. Let s = 5.9 - m. Which is greater: -2 or s?
s
Let m = -3 - -7. Let w = 6 - -6. Let p = 11 - w. Are p and m non-equal?
True
Let k(t) = 5*t + 3. Let x be k(-2). Let b = 5 - 3. Let s = b + x. Which is bigger: -4 or s?
-4
Let i = -474 + 3787/8. Is 0 >= i?
True
Let c = -11.6 - -2.6. Let p = -11 - c. Is -0.1 smaller than p?
False
Let c be 21/6 - 1/2. Is c != 0?
True
Let u be 28/20 + 2/(-5). Let q = 3 + u. Suppose -3*t + 12 = i, -2*i - q*t = -3*t - 4. Which is bigger: i or -6?
i
Let x = -5224/319 + 728/29. Let u = x - 431/33. Which is greater: u or -4?
-4
Suppose 5*a + 40 - 130 = 0. Let c be (-1)/2 + a/12. Is 2/13 smaller than c?
True
Suppose -t = -4*t - 5*j - 29, 0 = 2*j + 8. Let i(k) = k**2 + 3*k - 1. Let c be i(t). Let q = -2 - c. Which is bigger: -3 or q?
q
Suppose -5*h = 10 + 45. Let x = h - -34/3. Which is bigger: x or -1?
x
Let b = -21/2 + 143/14. Suppose -3*m + 3*p = -24, -p + 1 = 2*m - 6. Which is bigger: b or m?
m
Suppose 0*h + 5*h - 2*k + 15 = 0, -2*h + 5*k = 6. Are h and -2/9 nonequal?
True
Let v(h) = 2*h - 23. Let u be v(11). Which is bigger: -2/21 or u?
-2/21
Let s = -9 + 9.5. Let f = -1.5 + s. Is f greater than or equal to -1?
True
Let g be (-6)/4*2/3. Let w = 326/3 - 2064/19. Which is bigger: g or w?
w
Let g be ((-24)/130*1)/((-2)/(-20)). Is g at least as big as -1?
False
Let v = 5 - 9. Let a be (0 - -2)/(v - -6). Let w be ((-4)/110)/(a/10). Which is smaller: w or 1?
w
Let b = 578/3 - 189. Which is smaller: b or 3?
3
Suppose 4*x - 18 = 6*x. Is -11 <= x?
True
Let t(x) = -1 + x + 0 - 7. Let p be (-1 - -3)*7/2. Let a be t(p). Is a less than -1?
False
Let v = 1006 + -23142/23. Which is smaller: v or 0?
v
Let t = -24 - -22. Is t at least -3/2?
False
Let s = -18 + 37/2. Which is smaller: 1 or s?
s
Suppose 0 = 27*w - 12*w - 585. Which is smaller: 40 or w?
w
Suppose -9 = 4*v - 3*q, -4*v + 3 = 4*q - 9. Suppose 4*x - 2*x - 58 = v. Let n = 57/2 - x. Which is smaller: n or -2?
-2
Let i = -12.189 - 0.271. Let l = i - -10.5. Let t = 0.04 - l. Which is smaller: t or 0.1?
0.1
Let j = 16 - 22. Let x be ((-6)/90)/(4/j). Which is greater: 1 or x?
1
Let k = -7/272 + 3/34. Is k bigger than -1?
True
Let t be (-14)/(-21) + 2/(-3). Let u = 0.02 + -0.02. Do t and u have different values?
False
Suppose 2*a + 16 + 5 = -d, 0 = 5*a - 2*d + 66. Let p be 3 + 1 + 56/a. Which is smaller: p or -0.3?
p
Let i be (-1)/2*(14 + -2). Let b be 2/((-16)/(-6))*i. Which is bigger: b or -5?
b
Let l = 6 - 6.7. Let t = 9.6 + l. Let m = t + -9. Which is smaller: m or -0.06?
m
Let r be 280/(-1422) - (5 - (-188)/(-36)). Which is bigger: 1 or r?
1
Let r = -3.9 - 1.1. Let l = r + 5.2. Let g = l - 0. Is g less than or equal to 0.2?
True
Let b = 380/7 - 99926/1841. Is -1 != b?
True
Let r be 1/14*(-30)/(-5). Which is smaller: -0.2 or r?
-0.2
Suppose 0 = 3*d - 3*o + 48, 0 = -0*o + 3*o + 6. Is d at least as big as 2?
False
Let w = 1/45 + 83/315. Suppose 4*i - 2 = 3*l, -l - 5*i + 12 = -0. Let o = l + -1. Which is smaller: o or w?
w
Suppose 0 = -6*z - 0*z - 72. Do z and -11 have different values?
True
Let y = -83/5 - -377/20. Let n(h) = -h**3 - 2*h**2 + h - 4. Let v be n(-3). Is v greater than y?
False
Let l be (-94)/18 - -4 - -1. Let g = -0.2 + 0. Is l bigger than g?
False
Let z be 2 + 4/7 - 2. Let r be