is smaller: 1 or j?
j
Let g = -116 + 811/7. Which is smaller: 6 or g?
g
Let q be (-11)/(-2) + (-3)/(-6). Suppose 0 = -2*m + q*m - 32. Is m less than 8?
False
Let d = -165 - -151. Is -0.3 bigger than d?
True
Let b = -0.9 - 1.1. Let k be (3 + 1)*1/2. Which is smaller: b or k?
b
Let w = 3 + -1. Let g = 0.9 + 0.1. Which is smaller: w or g?
g
Let x = 3 - 1. Let m = 0 + x. Suppose 4*t + m*o - 6 = 0, 7 = 5*t - 5*o - 8. Is t smaller than 3?
True
Let f = 11/14 + -9/7. Let y = 0.43 + -0.03. Let r = 0.5 - y. Which is bigger: r or f?
r
Let m = 2862/11 + -260. Suppose -4*d - d + 35 = 0. Suppose 0 = 4*f + 3*k + 2 + d, -2*f - k - 3 = 0. Is m less than f?
False
Let x = -17/4 + 6. Suppose 4*s = 3 + 5. Is x < s?
True
Let g = -41 + 72. Is 97/3 >= g?
True
Suppose 3*w + r = 16 - 1, -5*r = -3*w - 3. Let q be (-40)/261 - w/(-18). Which is bigger: -1 or q?
q
Suppose 4*i - 8 = 8*i. Let l(n) = n**3 + 2*n**2 - n - 1. Let a be l(i). Which is greater: a or 1/13?
a
Let w = 2/2273 - 15937/29549. Is w less than or equal to -1?
False
Let j = -191.45 + 4.45. Let g = 178.1 + j. Let u = -9 - g. Which is smaller: 4 or u?
u
Let j = 0.2 - 0.1. Let v = -0.3 + j. Let l = v + 0. Which is bigger: 1 or l?
1
Let m be (-2 - 4)/(-3 - -1). Let z = 707/180 + -8/45. Are z and m unequal?
True
Let l = -10 + 17. Suppose 11*k - 4 = l*k. Is k > 1/18?
True
Let c(x) = x**3 - 11*x**2 - x + 10. Let y be ((-11)/4)/(12/(-48)). Let p be c(y). Does p = 0?
False
Suppose -4*r = r. Suppose 3*q + 2 + 4 = r. Let o be ((-3)/(-14))/(q/4). Is o < 0?
True
Let w = 12928 + -1680671/130. Let c = -1/26 - w. Does 0 = c?
False
Let l = 2.9 - 3. Let r = l + 0. Let v = 0 + -0.1. Is v >= r?
True
Let r(y) = y**3 - 8*y**2 - 10*y + 9. Let h be r(9). Let v = -66/203 + -3/29. Is v less than h?
True
Let x be (-182)/49 + 4 - 108/231. Let g = 0 + 0. Which is smaller: x or g?
x
Let t = -161 - -1447/9. Is t less than 1?
True
Let u = -76498/125 + 612. Let s = u + 107/1125. Which is smaller: s or 1?
s
Let t be 1 + (-7 + 8)*(-4 - -2). Let b = 243/253 + -20/23. Which is greater: t or b?
b
Suppose -5*w - 14 = -4*s, -2*w = -4*s + w + 10. Let l be 8/(-12) + -1 + s. Which is greater: -0.1 or l?
-0.1
Suppose 6*c + 12 + 36 = 0. Is 1 < c?
False
Let o = 14 - 10. Which is smaller: o or 2?
2
Suppose 5*w + 75 = -g, -3*w + 3*g = 4*g + 47. Let i be (-38)/w - 9/3. Suppose -3*c = 2*c - 5. Which is smaller: i or c?
i
Let b = -105 - -51. Let m be (b/24)/(5/(-4)). Which is smaller: m or 3?
m
Let j = -2918/915 - 2/183. Are j and -3 nonequal?
True
Let z = 3 - 4. Suppose 7*p = 2*p + 20, -3*p - 6 = -t. Let h be 15/t*2/10. Which is bigger: z or h?
h
Let w be -1 - -2 - (-21)/(-21). Which is bigger: w or 7/8?
7/8
Let g = -27 - -30. Suppose o - 6 + 2 = g*x, -3*o - 40 = 4*x. Which is bigger: o or -6?
-6
Let i be ((-20)/(-40))/(7/(-130)). Is -8 smaller than i?
False
Let h be ((-1836)/(-93))/4 - (-75)/(-15). Let c be -1 - -1*1 - 1. Are c and h equal?
False
Let k = -12 + 8. Suppose -g = 4*p - 9 - 5, -2*p = -g + 8. Let i be g/(-14)*k/(-10). Is i less than -0.2?
True
Let b be 1 + (115/(-30) - -3). Are 1 and b non-equal?
True
Let x = -7 + 7. Suppose -8*o + 3*o = x. Which is smaller: o or 4?
o
Let t = -0.2 - -0.1. Let m = 0 - t. Let f = -0.88 + -0.12. Which is smaller: m or f?
f
Suppose 14 = -b - 5*u, 2*u + 22 = -5*b - 25. Let s = -3 - b. Suppose -2*o + 4 = -8. Do o and s have the same value?
True
Let w = 1/73 + -157/803. Which is bigger: -2 or w?
w
Suppose f + 9 = 3*r + 4*f, 5*f + 15 = r. Suppose -5*g + r*o + 10 = 0, 3*g = 4*o + 7 - 0. Let h = g - 2. Which is smaller: h or 0?
h
Suppose 0 = -3*q + 13 - 1. Let w be (-3)/q*6/(-27). Suppose -g - g - 4*k = 14, -5 = -g + k. Is g greater than w?
True
Let b(q) = 2*q**2 + 3*q + 1. Let n be b(-2). Let d = -0.4 + -0.6. Let w = 0.9 + d. Which is bigger: n or w?
n
Suppose 6*b + 168 = 2*b. Is b greater than -42?
False
Let y = -11 + 7. Let m be (-6)/y*(-1 + -13). Let u be m/6 + 1 - 0. Which is smaller: u or -2?
u
Suppose d - 3*d - 40 = 0. Let m = d + 28. Which is smaller: m or 7?
7
Suppose -13 = -5*o - t, 10 = 2*o - 2*t + 4*t. Which is smaller: -1 or o?
-1
Suppose -2*m + 0*m + 2 = 0. Let y = -1 + m. Which is greater: -1 or y?
y
Let m = -59 - -58. Which is smaller: m or 10?
m
Let r(b) = -2*b - 9. Let o be r(-7). Suppose -o*v - 3 = 17. Let k(w) = w**3 + 4*w**2 + w + 3. Let l be k(v). Is l greater than or equal to 0?
False
Let n be (13/12)/(2/(128/24)). Is 2 smaller than n?
True
Let w be ((-2 - -2)/(-1))/2. Suppose 0 = -4*b + 4, 0*x - 3*x - 2*b = -2. Is w < x?
False
Suppose 0 = 2*c + 40 - 220. Let i be (-3)/1 - (-266)/c. Is 0 less than or equal to i?
False
Let t(s) = s**2 - 6*s + 1. Suppose 2*d = -2*d - 4, 0 = -5*y + 4*d + 34. Let q be t(y). Is 0 greater than q?
False
Suppose -4*w + 3*w = -7. Let m = -2063/9 - -229. Which is smaller: w or m?
m
Let k be 3 - (-4 + 326/46). Do 1 and k have the same value?
False
Let b = 42 - 18. Let p = -24.05 + b. Which is greater: 1 or p?
1
Let j be 3 + (-13)/(-10)*-2. Let g be (-58)/6 + (-4)/(-6). Let u be (6/g)/((-4)/6). Which is smaller: u or j?
j
Suppose -32 = -2*u + 18. Suppose 0 = 3*d - 8*d + u. Suppose d*r = r. Are r and 1 equal?
False
Let o = -1/90 + 19/90. Which is greater: o or 10?
10
Let f be 1/(-3) - 14/(-6). Let n be f*1*(-1 + 2). Let h be (0 + n)*(-6)/(-18). Is h != 0?
True
Suppose -q = 4, 2*y + 4*q = 333 - 1091. Let d be 3/(-5) - y/35. Suppose -2*r - 5*a = -d - 7, -4*r + 19 = 5*a. Does 1 = r?
True
Let j = -23.9 + 24. Which is greater: j or -0.4?
j
Let y(j) be the third derivative of 5/6*j**3 - 5/12*j**4 + 4*j**2 + 1/60*j**5 + 0*j + 0. Let l be y(9). Is l at most as big as -5?
False
Let m(j) = -j**3 - 10*j**2 - 9*j. Let i be m(-9). Is -2/19 less than or equal to i?
True
Suppose -2*g = 4*m - 8, 5*m = 1 + 4. Suppose -2*n + 2 = n - g*q, q = n - 2. Which is smaller: 1 or n?
n
Let p = -4 + 3. Let g = 10 + 10. Let t be ((-4)/g)/(2/4). Are p and t equal?
False
Let b = -11 + 27. Suppose -3*x - 4 = o + 2, 0 = 5*o + x + b. Is -3/2 equal to o?
False
Let s = -59 + 58.7. Is 5 equal to s?
False
Let n = -0.035 - 0.065. Is -1/6 less than n?
True
Let w = -45 - -47. Which is smaller: w or 3/5?
3/5
Let g = -12 - -26. Let z = g - 18. Which is smaller: z or 0.1?
z
Suppose 3*i - 7*i - h = -23, 0 = 3*h + 3. Let m(p) = p**2 + 8*p + 4. Let o be m(-7). Let g be -8*(o/(-6) - 1). Which is greater: g or i?
i
Let a = -2602/4529 - -2/647. Which is smaller: 0 or a?
a
Let a = -1 + -6. Let v = -2 - a. Which is smaller: -0.1 or v?
-0.1
Let o(m) = m**2 + 6*m + 7. Let g be o(-5). Let s(v) = 3*v**2 - v**3 + 0*v - 4*v + 6*v - g. Let j be s(3). Is 2 > j?
False
Let i(j) = -j + 5. Let v be i(5). Suppose -3*w + 6*w - 4*l - 35 = v, -w + 4*l + 25 = 0. Which is greater: w or 6?
6
Let g = 4.8 + -5. Let m = g + 0.2. Let z = 0.04 - 0.54. Which is greater: m or z?
m
Let p = 42 + -41.7. Suppose -5*g + 175 = -135. Let s = -312/5 + g. Is s less than or equal to p?
True
Let z be 3 - 4 - (-28)/22. Let y be 18/6 - 9/3. Does y = z?
False
Suppose -2 = -4*w + 3*w. Let p be (w - 0) + (-36)/15. Let u be (2/5)/(12/15). Which is bigger: p or u?
u
Let z be 24/(-18)*3/2. Let n(f) = -2*f**2 - 1 - 5*f - 2 + f**2. Let i be n(z). Does 3 = i?
True
Let y(j) = j + 3. Let b be y(-5). Which is greater: 0 or b?
0
Let r = 3.3 + -3.7. Let h be 2/4*8/6. Is h greater than r?
True
Let r = 18.4 + -16.34. Let a = r + -2. Which is bigger: -1 or a?
a
Let j = -10 + 11. Is 2/187 at least as big as j?
False
Let b be 82/(-7) + 2/(-7). Is -12 at most b?
True
Let y be 14*(-2 + 15/6). Let d = -4 + y. Does 0.1 = d?
False
Let t = -8 - -23/3. Are 0.2 and t nonequal?
True
Let t = 14.9 + -15. Suppose -5 = 3*x - 8*x. Let u be 1 + x + (-7)/3. Which is smaller: t or u?
u
Suppose -4*n + 4 = -5*n. Let x be -2 + (-1)/(2/n). Which is smaller: x or 1?
x
Let k = 1 + 0. Suppose -1 - k = -2*x. Let g = x - 0. Is 1/3 less than g?
True
Let r = 0.64 - 0.41. Which is smaller: -0.2 or r?
-0.2
Let l = -152 + 158.1. Let h = l - 6. Is h > -7?
True
Suppose 4*n + 9 = -f, 2*n - n + 12 = 3*f. Which is bigger: 2 or f?
f
Suppose -278 = 3*l + 4*n, 14*l + 3*n + 185 = 12*l. Which is smaller: l or -95?
-95
Let l = 22 - 10. Let t = -11 + l. Does t = -1?
False
Let u be (-6)/4*(-2)/3. Let d(i) = 3*i**2 + i - 1. Let v be d(u). Suppose -3*m + 3*t = -3, 0 = 3*m + 3*t + t - v. Which is bigger: m or 2?
2
Suppose -8*o +