/65 - 386/455. Which is greater: h or -2?
h
Suppose 43 = 4*s - w, -3*s - 5*w - 5 + 66 = 0. Which is greater: s or -4?
s
Suppose -3*t - 3*a = -1 - 2, 0 = a. Let f be -1 + t*1/1. Let y be 2/9 + (-16)/(-36). Which is smaller: f or y?
f
Let q = 16/7 - 295/126. Which is smaller: -1 or q?
-1
Suppose 2 + 2 = 2*x. Suppose 5*r - 3*r = 4*z - x, -3*r - 2*z - 3 = 0. Let p be (2 + (-15)/6)/r. Which is smaller: 1 or p?
p
Let z = -11.8 - -8.1. Which is greater: z or 0.2?
0.2
Let r be 160/(-70) - (-2)/7. Which is greater: -1 or r?
-1
Suppose 50 = 5*s + 15. Let n(m) be the second derivative of -m**3/6 + 5*m**2 - 2*m. Let x be n(s). Is x at least as big as 2?
True
Suppose 0 = 2*c + 10 + 10. Is -6 greater than c?
True
Let l = 429/6715 - 2/395. Which is greater: -1 or l?
l
Let r = -2252/7 + 318. Is -4 greater than or equal to r?
False
Suppose -40 = -12*w + 17*w. Which is bigger: w or -33/5?
-33/5
Let h be 5 + -3 + 298/(-184). Let n = h - 3/23. Let y = -5 - -5.2. Is n less than y?
False
Let k = 2921/3 - 983. Which is bigger: -9 or k?
-9
Let u = -0.7 - -0.7. Let n = 96 + -673/7. Which is greater: n or u?
u
Let b be 3 + (-2 - -3 - 2). Suppose 0 = -4*l + b*y - 3*y + 13, -l = y - 1. Do l and 4 have different values?
False
Let y = 33 - 29. Is 7 less than or equal to y?
False
Let o = -0.4 + -4.6. Let w = 4 + o. Let n = 4 - 6. Is w greater than n?
True
Suppose -m = 2, 5*a - 3*m = 2*m + 80. Which is greater: 15 or a?
15
Let g be -3 - (1 - (-20)/4). Let b = g + 11. Is 2 greater than or equal to b?
True
Suppose -4*n = 2*c - 14, 6 = -2*n - 5*c + 33. Is 2 greater than n?
True
Let z be 7*(-2 - 34/(-14)). Is 2 != z?
True
Let i be (-5)/(-30)*-3 - 30/(-4). Let s(q) = q - 1. Let g be s(0). Is g bigger than i?
False
Let t = 0.34 - 0.34. Does t = 19?
False
Let d = -1 - -1.01. Let t = 0.39 + d. Let x = 18 + -19. Is x less than t?
True
Suppose 3*c = -l - 12, 5 = 2*l + 2*c + 13. Which is bigger: 8 or l?
8
Let d = 32 + 25. Which is greater: 0 or d?
d
Let q be 5/2 + 1 + -3. Let l(n) = -n - 1. Let i(u) = -u**3 - 5*u**2 + u - 8. Let z(p) = i(p) - 4*l(p). Let a be z(-6). Is q at least a?
False
Let j = -249/4 + 62. Which is greater: -8 or j?
j
Let u be ((-6)/20)/((-12)/(-10)). Is u less than or equal to -1?
False
Let g = -3 - -3.1. Let a = g + -0.1. Let s = 0.05 - -0.05. Are a and s equal?
False
Let t = 1125/7 - 161. Which is smaller: t or 2.4?
t
Let i be 1/(-5)*1875/18. Let c be (-4)/22 - 10017/(-462). Let v = i + c. Which is smaller: -0.4 or v?
-0.4
Let b(a) = -15*a - 2. Let s be b(-2). Which is smaller: 0.1 or s?
0.1
Let q = 1 + 2. Let z(j) = j - 2. Let t be z(q). Let b be (-14)/(-6) - t - -1. Is 2 smaller than b?
True
Let z = 0.18 - 0.08. Is z smaller than 1?
True
Suppose 6*d + 42 = 4*d. Is d smaller than -21?
False
Let k = -128 - -126. Which is bigger: -0.6 or k?
-0.6
Let g be 2/11 + 62/143. Let i = -45/52 + g. Is i at least as big as 1/4?
False
Suppose 5*r = -5*o - 90, o + 6 = -2*o. Which is smaller: r or -15?
r
Let b = 13 - 16. Which is smaller: b or 0?
b
Let u = 1 + 1. Let i(t) = -1 - 7*t - t - 8 + t**3 - 8*t**u. Let z be i(9). Is 0 greater than z?
False
Let p = -29/3 - -9. Let h(l) = l**3 + 5*l**2 - 7*l - 4. Let k be h(-6). Suppose 3*c - k = -8. Is p < c?
False
Let h be (-1)/((-2)/(-2))*-8. Let z = 0 + 6. Let y be -2 - (-2 + h/z). Which is smaller: -2 or y?
-2
Suppose -5*b + 10 = -0. Let d be 0/(b - 6)*-1. Is -1/20 at least as big as d?
False
Let d(k) = k + 3. Let x be d(-3). Suppose 3 = 4*q - 13. Suppose q*n - n = x. Is n != -2/19?
True
Let f(c) = c**2 - 5*c + 7. Let i be f(2). Does i = 1/13?
False
Let s(c) be the third derivative of c**5/60 - 3*c**4/8 + c**3/3 - 2*c**2. Let v be s(9). Suppose t + 3*l + 15 = -v*l, -4*t + 4*l + 12 = 0. Is 0 bigger than t?
False
Let y = -26 - -27.1. Let k = -0.1 + y. Let d = -1 - -1. Is d less than k?
True
Let o be ((-4)/5)/(-5 + 54/10). Is -7/13 > o?
True
Suppose -4*y = -2*y + 4. Let k = 0 - y. Is 3 > k?
True
Let o(v) = -v - 2. Let s be o(-4). Suppose 3*y + 3*j + 14 = -1, 3*y + s*j = -13. Suppose 11 = 4*w + 27. Is y greater than or equal to w?
True
Let d be ((-3)/(-9))/((-3)/(-2)). Which is smaller: 4 or d?
d
Suppose -u - 3*c = -2*c - 27, -5*u + 4*c + 180 = 0. Let n = -22 + u. Let d be 24/14 - n/(-35). Which is smaller: d or 1?
1
Let z = 1.19 + 0.01. Let b = 1 - z. Let f = -0.1 + 0. Is b at least as big as f?
False
Let u be (2/(-1) + 4)/(0 + -2). Is -3/11 less than u?
False
Let n = -4.35 + 3. Let y = n - -0.15. Let j = 1 + y. Which is smaller: 2 or j?
j
Suppose m + 0 = -2*t - 6, 12 = -5*m - 4*t. Suppose -4*z + 3 + m = -3*y, 0 = 4*y + 4. Suppose -2*v = -p - 0 - 5, z = -4*p + 3*v - 15. Which is smaller: -4 or p?
-4
Suppose 0*l - l = -s - 3, 4*s + 4*l - 12 = 0. Let v = s - 1/2. Let d = 2 + -2.1. Which is smaller: d or v?
v
Let p = -19863/2380 - -142/17. Is p less than 0?
False
Let x be (6/(-9))/((-8)/(-150)). Is -12 less than x?
False
Let t = 1 - -0.4. Which is smaller: t or 1/3?
1/3
Let d be 85/(-83) + 9 + -8. Is d at most -1?
False
Let u = -1 - -8. Is u greater than 1?
True
Let k(f) = f**3 - 5*f**2 + 2*f + 5. Let b be k(4). Let g = -96 + 93. Are g and b equal?
True
Suppose -68*x - 3 = -67*x. Which is smaller: x or 2/5?
x
Suppose -3 = -3*u - 0*u - 3*x, 0 = 3*u - 4*x + 11. Let y be -6 + (5 - 1)*1. Which is greater: u or y?
u
Let x = 1.04 + -2.04. Is -15 > x?
False
Suppose 2*z - 2*f - 3*f - 1 = 0, f = -2*z + 7. Suppose -z*v - v = 24. Let d be -2*v/(-4) - -3. Is -4 != d?
True
Suppose -2*a = a. Suppose -s + 6*s = a. Let x = -9/44 + 5/11. Are x and s unequal?
True
Suppose -3*d + 6 = -4*f - 22, 3*f + 2*d = -4. Let c be ((-28)/(-16))/((-1)/f). Let p = c - 19/3. Do p and 1 have the same value?
False
Let g = 31/5 - 6. Let z = -1.5 + 7.5. Let i = 6 - z. Which is smaller: i or g?
i
Let s be 0*1/(-6 + 3). Let u be (-2)/(-7) - 1138/(-112). Let v = u - 74/7. Which is smaller: s or v?
v
Suppose -3*f + a - 11 = -4, -3 = 3*f + 3*a. Let m = 6.8 - -0.2. Let x = m + -6. Which is bigger: x or f?
x
Let r(g) = -g**2 + 4*g. Let h(q) = q**2 - 4*q - 1. Let m be h(5). Let l be r(m). Suppose 0 = 2*s + 2 - 0. Which is greater: l or s?
l
Suppose -6*j + 2*t - 55 = -3*j, 3*j = -2*t - 71. Let a be ((-4)/(-14))/((-3)/j). Suppose -q - 5*y - 2 = 3, -q + a*y + 2 = 0. Which is smaller: 3/8 or q?
q
Suppose 45 = 5*q + 4*p, 2*p = q + p. Let i = 4 - q. Which is greater: i or 4/11?
4/11
Let y = 2/151 - 163/906. Which is bigger: y or 0?
0
Let f be ((-2)/(-4))/((-1)/(-12)). Let p(u) = -2*u + 8. Let h be p(f). Let t = 5 + h. Which is smaller: -2/7 or t?
-2/7
Let p = -0.1 + -0.7. Is -2/5 not equal to p?
True
Let n(k) = k**2 + k + 2. Let h be n(-2). Let t = h + -3. Let v = -1 + 2. Is t at least as big as v?
True
Let k(g) be the third derivative of -g**6/120 + g**5/30 - g**4/24 - 2*g**2. Let q be k(1). Is -1 less than or equal to q?
True
Let r(j) = -2*j**2 + 19*j - 97. Let z be r(8). Are z and 1 unequal?
True
Let y = 3 - 6. Let z = -4 - y. Let o = -0.31 + 0.11. Is z less than or equal to o?
True
Let y = -11 + 11. Let o = 0.03 - y. Are 0 and o unequal?
True
Let z = 3 + 6. Which is greater: -1 or z?
z
Let a = -10 + 5. Let l be 10/35 - (-38)/14. Let y = l + -5. Are y and a nonequal?
True
Let c = -23 + 15. Let n = c - -7.8. Is n >= -2?
True
Let o = 0 + -13. Which is bigger: -12 or o?
-12
Suppose 12 = -3*v + 5*v. Let m be 5 - v - (-1 - -1). Which is smaller: m or -2/15?
m
Suppose 5*g = -0*z - 2*z - 32, 3*g + 13 = 5*z. Let w = -10 - g. Which is greater: w or 0.1?
0.1
Suppose 3*d + 3 = 2*d - 2*i, -2*d = i + 3. Let y = -10 + -4. Let v = 14 + y. Is d at least as big as v?
False
Let u be 28/13 + -2 + 0. Let c = 0.058 - 0.358. Is u >= c?
True
Let f = 1489276/789 + -232/263. Let i = f + -1914. Let t = -28 - i. Is t <= -1?
False
Let a be (-368)/(-188) + (1 + -3)*1. Is a smaller than -1?
False
Let i be 12/(-105) - (2 + (-24)/14). Which is smaller: 0 or i?
i
Suppose 0*q + 5*z = -4*q - 8, 5*z + 1 = -3*q. Are q and -5 non-equal?
True
Let q(p) = -p**3 - p**2 - p - 1. Let a(v) = -v**2 + 2*v + 3. Let r be a(3). Let l be q(r). Which is smaller: l or -2?
-2
Let t = -29 + 13. Let f = t - -16. Is 4 equal to f?
False
Let w(a) = 2*a - 14. Let q be w(8). Let n be ((-1)/(-38))/(q/(-8)). Is n equal to 1?
False
Let m be (-2 + (-15)/(-9))/(58/4). Which is greater: m or -1?
m
Let v = 1 + -1. Let u be 32/3 - (-4)/12. Suppose 3