+ 6. Is 1 > t?
True
Suppose 2*q + 4*m + 14 = 3*q, q = m + 26. Suppose 3*j = -9 - q. Which is bigger: j or 1?
1
Let g = 1950/7 + -278. Let h = 64/87 - 2/29. Which is greater: g or h?
h
Suppose 0 = -0*s + 2*s + 2*w, w + 2 = 0. Suppose 0 = -g - f + 7, 3*f - 4*f + 13 = 3*g. Is g at least as big as s?
True
Let b = 12 - 36. Let t = 24.1 + b. Are 0.07 and t non-equal?
True
Suppose -q - 2*t = -5, -1 = 2*q - 4*t + 5. Let n be (4/(-205))/((-8)/20). Let w = n - 133/205. Is q less than w?
False
Let q be 8/(8/2) - -20. Let p be q/33 - 11/3. Which is greater: -4 or p?
p
Suppose -6*m + 2*m = -4. Suppose 3*u - 11 = 19. Let s be u/(-6)*14/(-105). Which is greater: m or s?
m
Suppose x = -n - 29, -5*x - 6*n + 2*n = 141. Let b = 21 + x. Which is bigger: b or -3?
-3
Let c = -7598 + 5645313/743. Let x = c + 1505/14117. Which is smaller: -1 or x?
-1
Let j = -22 - -34. Let t = j - 6. Suppose -3*s = -s + t. Do s and -2 have the same value?
False
Let h be 2/3 + 22/(-6). Let n = -4 - h. Let c be (n + 2)*(0 - 1). Which is greater: -3/2 or c?
c
Let l be 1510/3488 + 2/(-4). Let h = l - -1/218. Which is bigger: 1/2 or h?
1/2
Let a be (-32)/(-14) + (2 - 4). Let n(m) = -m**3 - m**2 + 3*m + 1. Let t be n(-2). Which is smaller: t or a?
t
Let d be ((-8)/(-24))/((-1)/(-6)). Let p = d - 5. Which is smaller: -4 or p?
-4
Suppose 2*i - 15 = i. Suppose -3*b + x - 22 = -4*x, -5*b + i = 2*x. Let n = b + -1. Do n and 2 have the same value?
False
Let h(k) = -k**3 + 5*k**2 - 5*k - 1. Let s be -2*2/4 + 5. Let l be h(s). Let g be 7/l + 2/5. Are g and -2/7 non-equal?
True
Let k = -32 - -98/3. Let t = 14 - 10. Suppose 3*m + 2*f + 8 = 4*f, -t*f + 16 = 2*m. Which is greater: m or k?
k
Let h(r) = -r**2 - 7*r + 4. Let c(u) = u - 1. Let q(z) = -2*c(z) - h(z). Let i be q(-6). Suppose 0*a + 16 = i*a. Which is bigger: a or 5?
5
Suppose -2*i + 2*f + 3*f = 5, 4*i - 5*f + 5 = 0. Which is smaller: i or -2?
-2
Let f be (-24)/(-80)*(-16)/(-30). Which is smaller: -1 or f?
-1
Let h = -243/440 + -4/55. Which is smaller: h or -1?
-1
Let w(o) = -o**3 - 4*o**2 - 3*o + 2*o + 6 + 3*o. Let f be w(-4). Is -8/9 != f?
True
Let h(q) = -q + 5. Suppose -2*k = -1 - 5. Suppose k*w - 4 = 8. Let i be h(w). Which is smaller: -1/4 or i?
-1/4
Let w = -5.94 + -1. Let x = w + 7. Let m = 0.04 + x. Is m at most -2?
False
Let o be (0 - -1)/(2/4). Suppose -n + 0*n = -o. Is 2 less than or equal to n?
True
Let d = -37/8 + 33/8. Is d greater than 52?
False
Suppose 2*j + 15 = -j, -3*r + 5*j + 4 = 0. Which is greater: r or -4?
-4
Suppose 0 = -3*s - 3 + 12. Let p(k) = -k**3 + 6*k**2 + 7*k + 5. Let m be p(7). Suppose s*b = 5*l - 10, -l - m*b + b = 21. Do -0.1 and l have the same value?
False
Let q be 432/(-45) + (-6)/(-10). Let g = -0.1 - 0. Which is bigger: q or g?
g
Let r be (-369)/774 + (-1)/(-2). Which is smaller: -1 or r?
-1
Let u = -3 - -6. Let h(x) = -x**2. Let l be h(u). Is -8 < l?
False
Let b = -21.6 + 22.49. Let c = -0.11 - b. Which is bigger: c or -8?
c
Suppose 0*y + 3*y = 6, y = -2*t + 14. Are t and 4 nonequal?
True
Suppose -r + 0*r = 1. Let y = r - -4. Suppose y*j - 6 = j + 2*l, -3*j = -l - 9. Is 4 equal to j?
False
Suppose -o = -2 - 2. Let u(j) = j**2 + 8*j - 1. Let a be u(-8). Let f be a + o/((-48)/(-22)). Does 0 = f?
False
Let r = 6.1 - 4.1. Do 2 and r have the same value?
True
Let k be 2/(-5) - (-52)/5. Suppose -3*o = -5*c + 56, 4*o + 34 = 4*c - 14. Is c smaller than k?
False
Let i = 5 + -8. Let x be (2/(-17) - -3) + i. Which is greater: x or 0?
0
Let g be -9*(6/(-9))/(-2). Let h be (g + -8)/(-1) + -2. Is 8 > h?
False
Let l be (-1 - (-7 + 3)) + -13. Which is greater: -11 or l?
l
Let n = 1.7 - 2.08. Let k = n + 0.18. Is k at least 2?
False
Let i(b) = -2*b + 2. Let p be i(5). Let u be (-3 - 2 - -4)*9. Which is smaller: u or p?
u
Suppose -4*g = -q + 18 + 19, -g = 4*q - 63. Let l be (-3 - -1) + q/7. Which is smaller: l or 1?
l
Let k be 2/(-4) - 0/(-3). Let b = -2 + 2. Let t be (b + 0)*2/(-4). Do t and k have different values?
True
Let y be (2 - 14/8) + 138/(-600). Let n = -24877/100 - -989/4. Let s = n + y. Which is smaller: -1 or s?
s
Let f = -29 + 57/2. Which is bigger: 2.2 or f?
2.2
Let x be (-4)/16 - (-1)/(-4). Which is bigger: x or -8?
x
Let y be 3 - (-20)/(20/(-5)). Let p = -2 + 1. Which is smaller: p or y?
y
Let y = 0.07 + 0. Which is smaller: 4 or y?
y
Suppose 2 = -5*x - 4*y, 4*y = -x - 1 + 7. Let q(j) = -j + 1. Let r be q(2). Is r at least as big as x?
True
Suppose 0 = -4*r + 3*r + 4. Suppose 0 = 2*u - 3*u - 2*y - 15, -r*u - 24 = -y. Which is smaller: u or -6?
u
Let t = 66 + -67. Which is smaller: -3 or t?
-3
Suppose -3*u + 9*o = 4*o + 185, 2*u = 5*o - 125. Is -2/3 at most as big as u?
False
Let i(w) = -w**3 - 6*w**2 + w + 6. Let t be i(-6). Let m(a) = -a + 181. Let b be m(t). Let q = -902/5 + b. Is q bigger than -0.1?
True
Let x be (3 + -15)/(-1 - 0). Suppose 0*y + x = y. Let h be 3/1 - y/1. Are h and -8 equal?
False
Suppose 2*y = -3*s - 0*s + 13, 0 = y + 3*s - 11. Let z = -3 - -4. Let q = 2 - z. Which is greater: q or y?
y
Suppose 94 = 7*v + 101. Which is smaller: -4/15 or v?
v
Suppose 9*u - 6 = 12*u. Let r be u/(-24) - (-5)/(-15). Which is bigger: r or -13?
r
Suppose 4*b - 20 = 3*a, 2*b - 4*a + 15 = 5*b. Suppose -9 + 3 = -z. Which is bigger: z or b?
z
Let z(r) = -r**3 + 29*r**2 - 26*r - 55. Let o be z(28). Suppose 0 = j - 32 - 24. Let g be (-2)/(-8) - 6/j. Is o bigger than g?
True
Suppose -130*i + 125*i = -15. Is 4 < i?
False
Suppose -q - 110 = -6*q. Let g = 16 - q. Is -7 at least g?
False
Let p(x) = x**2 - 16*x - 19. Let d be p(11). Which is bigger: -75 or d?
d
Let j = -5 - -9. Let s = j - 9. Let b(l) = -l**3 - 6*l**2 - 4*l + 5. Let x be b(s). Is 1 equal to x?
False
Let o = 6/23 + 28/69. Which is greater: o or -0.6?
o
Suppose -f - 9 = -4*f. Let i be 0 - (f + -3 + 0). Which is smaller: i or -2/21?
-2/21
Let w = 12 - 6. Suppose w*d = 3*d - 18. Let r = -11 - d. Which is bigger: -6 or r?
r
Let d = 360 + -189. Is 170 at least d?
False
Suppose -5*t = -15 - 75. Which is bigger: 19 or t?
19
Let z = 17/21 + -2/3. Is -1 at least z?
False
Let m = -32 - -26. Which is bigger: m or -5?
-5
Let c(j) = -j - 2. Let d be 12/4 - (6 - 1). Let f be c(d). Let y = -6 - -10. Which is bigger: y or f?
y
Let w be (-104)/(-8346)*(-6)/(-4). Which is bigger: 0 or w?
w
Let s = 0.061 + -0.061. Which is bigger: -6/5 or s?
s
Let v = 2 - 2. Let m = -7 - -7.3. Let q = m - 0.1. Which is smaller: v or q?
v
Suppose 6 = -5*b - 4. Let j be 3*1/(3 + -2). Let n = j - 4. Is n >= b?
True
Suppose 3*u = 4*w - 111, 5*u - 5*w = -10*w - 150. Let y be ((-3)/u)/(-3 - -2). Which is smaller: 1 or y?
y
Let x = 42339022 - 379863146/9. Let y = -131807 + x. Let r = y + -199. Which is smaller: 0 or r?
r
Let q(u) = -u**3 - 2*u**2 - 2*u + 1. Let s be q(-2). Suppose -k = 2*j - s, 0 = 4*j - k - 8 - 5. Let m be j + (34/(-8) - -1). Which is greater: 0 or m?
0
Let s = -4 + 4.1. Let z = s - -0.4. Let l = 1.5 - z. Is 0 greater than l?
False
Let q be (-121)/(-5) - (-5)/(-25). Suppose 5*d + 2*a = 3*a, 0 = -d + 5*a + q. Let h = -77 - -386/5. Is h greater than d?
True
Suppose 2*d = 5*d - 18. Let w be 12/8*((-10)/(-3) + 0). Which is bigger: d or w?
d
Let a be 198/7 - 6/21. Let q be (102/a)/(12/(-16)). Let l = -47/14 - q. Is l less than 3?
True
Let b = 11 + -13. Is b smaller than 1?
True
Let y be 100/(-15) - (6/(-9) - 0). Are -10 and y equal?
False
Let m be (-1 - 2)*(-4)/3. Suppose -34 = -m*g + 18. Suppose 2*b + 15 = 5*t, -28 = -4*t + b - g. Which is greater: 4 or t?
t
Let o(n) = n**2 + 13*n. Let x be o(-13). Which is bigger: -1 or x?
x
Let f(c) = c - 5. Let z be f(6). Suppose -z = -w + 2. Suppose w*s - 2 = 1. Which is smaller: 4 or s?
s
Suppose 3 = s + 2. Let c be (4/(-8))/(s/20). Let d be -1 - -2 - (-22)/c. Which is greater: d or 0?
0
Let f = 1.25 + -0.25. Suppose 2 + 0 = 2*w. Is f >= w?
True
Suppose 12 = -2*x - 16. Suppose -5*f + 3*c - 45 = -2*f, 2*c = -4*f - 48. Is x at least f?
False
Let p = 13 - 9. Let d = p - 3.98. Let z = d - 0.02. Which is smaller: 1 or z?
z
Suppose -x - 2*b = 8, 4*x + 0*b + 10 = 3*b. Let j = 3 + x. Let k be (j - -1)*(1 - 0). Is k greater than 2?
False
Let s(u) = u + 4. Let d(v) = -v**3 - v**2 + v. Let j be d(0). Let r be s(j). Which is greater: 0 or r?
r
Suppose 0 = 3*d + d - 12. Let n be 4 - (6 + -4)*1. Are d and n unequal?
True
Let b be -1*(3 + -2)*-9. Let