bigger: -141 or b?
b
Let w = 18 - 18. Let o = w - 12. Let h = o - -11.7. Is h not equal to 1?
True
Let z be (-12)/(2 - 14/4). Let x(w) = -w**2 + 7*w + 10. Let s be x(z). Suppose -s*n = -3*n + 7. Are 8 and n unequal?
True
Let b be ((-148)/(-6))/((-30)/45). Let x = b + 46. Is x at least 9?
True
Suppose -52 = -4*f + g - 8, 22 = 2*f - g. Suppose 4*x = 3*h - 1 - 13, -5*h + 54 = x. Which is bigger: h or f?
f
Suppose -4*i + 6 = -i. Let t = 11664/5 - 2331. Which is bigger: t or i?
i
Let n = -200 - -200. Is n less than or equal to -10/19?
False
Let a = -16 - -60. Let x = 33 - a. Is x less than or equal to -12?
False
Let a(g) = -g**2 - g + 1. Let t be a(1). Let b be t/4*(-8)/(-5). Let n = -72 - -1798/25. Is b less than n?
True
Let u(d) = -d**3 - 6*d**2 - 6*d + 7. Let p be u(-4). Let y be 8/(-28) + (p - 94/(-84)). Which is smaller: y or 0?
y
Let w be (10/(-25))/((-335)/(-425) - 1). Is w greater than 2?
False
Suppose 4*w + 92 = 7*w + 2*k, 0 = -5*k - 10. Let s be (2 + 1)*w/3. Suppose -4*l - l + 160 = 0. Is l at most as big as s?
True
Let a be -7 + 3 - 167 - -1. Let o be a/(-95) - 2 - 0. Is 1 > o?
True
Let g = -391067/109839 - -203/57. Which is smaller: g or -1?
-1
Let i(x) = 16*x**2 + 3*x - 4. Let j be i(0). Is j less than or equal to -17?
False
Let m = 529/5 + -105. Suppose -3*w + 36 = 9. Suppose -w*a = -12 + 3. Is a at most m?
False
Let l(d) = -4*d - 41. Suppose 108 = -24*a + 6*a. Let s be l(a). Let v be (34/4)/(3/(-6)). Is s bigger than v?
False
Let b be (-1618)/(-10) - (25 - 17). Is b less than 153?
False
Let k(r) = r**3 + 5*r**2 + 5*r + 2. Let s be k(-4). Suppose 3*v + 9 = m - 5, -3*m + 3 = 4*v. Let j be -9 + m + (-39)/(-15). Are j and s equal?
False
Let w = 3.7 - 1.5. Is 3 > w?
True
Let u(l) = l**2 + 6*l + 10. Let p be u(-4). Let s(o) = -p*o - o**2 - o + 5*o. Let i be s(7). Which is greater: i or -36?
i
Suppose 5*v + 94 = 3*v + 3*d, 4*v + 184 = 4*d. Let k = v - -91/2. Suppose -2*q = 3*q - 10. Which is bigger: q or k?
q
Suppose 5*x = 25 - 10. Let i be 11/(-6) + -1 + x. Does -2/5 = i?
False
Let n = -40 - -76. Let j be (-6)/(-24) - (-375)/n. Is 10 not equal to j?
True
Let p = 27 + -24. Let g(a) = 3*a**3 + 19*a**2 + 6*a - 1. Let h be g(-6). Is p at most h?
False
Suppose 5*a + 4*l - 8*l + 18 = 0, 4*l - 10 = a. Let x be ((-3)/9)/(29/261). Let i be 54/36 + x/a. Which is smaller: 4 or i?
i
Suppose -4*m + 2 - 26 = 0. Let r = 21 + m. Suppose 4*s - s = -r. Is -6 at least as big as s?
False
Let f be ((-2)/1 - 0) + 0. Let u = -3 + 7. Does f = u?
False
Suppose -939 = -11*c - 268. Let k = 64 - c. Which is smaller: k or 15?
k
Let b = 13 + -12. Let f be (5 - b) + 130/(-15). Which is smaller: -4 or f?
f
Let y = -158 - -153. Which is greater: -3.5 or y?
-3.5
Let o = -1.03 + -9.67. Let p = 10.57 + o. Do -1 and p have the same value?
False
Let g be 32/(-28)*(-7)/18. Suppose -2*y + 8 = 2*y. Let h be (y - 7)*1/(-5). Which is greater: h or g?
h
Let l = 1679 - 1723. Is -2 >= l?
True
Let m = -138.7 - -138. Which is smaller: m or -0.12?
m
Let g be (3 + 0)/((-27)/72). Which is smaller: g or -4?
g
Let d be (-280)/285*4 - -4. Which is smaller: 1 or d?
d
Let o = -40 - -42. Let p(r) = -3*r**2 + r - 1. Let y be p(o). Is -9 at most as big as y?
False
Let l be -1 + (1 - 30/21). Let j = -0.0143 - 0.9857. Which is smaller: l or j?
l
Suppose -p + 4*p - 12 = -2*z, 0 = 2*z - 6. Suppose 30 = -p*d + 2. Let h(o) = o - 1. Let t be h(d). Which is bigger: -16 or t?
t
Let v = 20 - 11. Let d = -120 + 129.1. Let k = v - d. Which is smaller: k or -0.04?
k
Let w(a) = -2*a**2 - 26*a + 33. Let z be w(-17). Which is smaller: z or -313/3?
-313/3
Let y be ((-10)/2)/((-5 - -8)/45). Which is bigger: y or -74?
-74
Let l be (-218 - -1) + (-12)/(-6). Let w = l + 132. Let b = -915/11 - w. Which is greater: b or -1?
b
Let c be (-4)/(-3)*60/(-2). Let u = -0.4864 - -0.5864. Are c and u equal?
False
Let d be (6/4)/(3/(-5)). Suppose 0 = -2*z - 2*m + 6, 0 = -15*z + 14*z - 5*m + 23. Is d at most z?
True
Suppose 3*k = -5*y + 4*k + 10, 0 = 5*k. Suppose 2*s + y*d = -28 - 256, 0 = d. Let w be (-3 + s/(-48))*-2. Which is smaller: 0 or w?
0
Let u = 1276 + -1275. Is 3/617 equal to u?
False
Let q = -0.3 + 4.3. Let o = q - 3.9. Let v = -0.9 - o. Which is smaller: -2/21 or v?
v
Let l(c) = -c**3 + 6*c**2 + 7*c. Let s be l(7). Let p(i) = i**2 - 13*i + 15. Let o be p(12). Suppose 2*m + o + 23 = s. Which is greater: -12 or m?
-12
Let n = 10 - -12. Let h = 28 - n. Let w be (-2)/h*(-1 + 0). Which is smaller: -1 or w?
-1
Suppose 0 = 2*m - 5*p - 17, 4*m - 4 = 9*m + 3*p. Let u be ((-21)/(-154))/(24/2). Which is smaller: u or m?
u
Let j = -0.04 + -0.86. Let b = -1 - j. Let v = 5/13 + 1/65. Which is greater: v or b?
v
Let u = 1044721/586160 + -733/431. Let q = 9/85 + u. Which is greater: q or 1?
1
Let v be (-38 + 4)*7/(-14). Are 17 and v non-equal?
False
Let w = 13125 - 13610628/1037. Are -1 and w nonequal?
True
Let i be 56/616*(-11)/(-4). Is i != 144?
True
Let g(c) = 2*c - 1. Let i(k) = -5*k - 4. Let t(l) = g(l) + i(l). Suppose 3*y - 16 = 5*o, 0*y + 22 = -5*o + y. Let j be t(o). Which is smaller: 1/4 or j?
1/4
Let y(k) = -3*k**3 - 31*k**2 - 13*k - 44. Let n be y(-10). Which is smaller: 9 or n?
n
Let m = -39 - -39. Let s = -6 + m. Which is greater: 2 or s?
2
Let y = 50 + -51. Let o be -1*(2 - y - 1). Is o smaller than -9/8?
True
Let x be -9 + 1 + 2 + -2. Let k be -3*(2 - 1 - -1). Let v be 12/x*(-4)/k. Are -1/2 and v equal?
False
Let n be (1 + -24)*(441/72 - 6). Is -2 at most as big as n?
False
Let a = 77 - 77.1. Let u be (-3)/6*(0 + -132). Which is smaller: u or a?
a
Let j(y) = y**3 - 3*y**2 - 24*y + 73. Let h be j(3). Let c = 11.82 + -12. Is h bigger than c?
True
Let f = -23 - -17. Let c = 3 + f. Does 12 = c?
False
Let u be 7/3 + 2/3. Suppose 0 = 4*w - 5*i - 0*i - 7, 0 = u*w + 4*i - 13. Suppose 2*g = -w*s + 2*s - 3, 0 = 2*g - s - 7. Do g and 2 have the same value?
False
Let h = -6 + 4. Let k be h*(-5)/((-5)/2). Suppose r - 7*r - 30 = 0. Is k > r?
True
Let m(l) = 2*l**3 - 131*l**2 + 69*l - 228. Let v be m(65). Is v greater than 228/7?
False
Suppose 0 = -j - g + 17, 0 = -2*j + 4*g - 9*g + 43. Let u = j - 13. Let z = 35 - 38. Which is smaller: u or z?
z
Let f(x) = -2*x**3 + x**2 - 5*x - 5. Let u be f(-2). Suppose -o + 17 + 13 = r, 0 = 2*r - 8. Which is smaller: o or u?
u
Let f be 1166/16 - 18*(-9)/(-432). Which is greater: 73 or f?
73
Let l be (147*(-2)/88)/3. Let x = 4/11 + l. Is -2 less than x?
True
Let u = -254 - -253.9. Is u less than 27.4?
True
Suppose 23*x - 8*x + 1770 = 0. Which is smaller: -121 or x?
-121
Let k = -78.5 + 77.5. Let m be ((-2)/8)/((-18)/4). Which is smaller: k or m?
k
Let o = -26335/12 - -2194. Which is smaller: o or 1?
o
Let v = 0.017 + -0.117. Let n = -1.71 + 0.11. Let j = 10.6 + n. Is j != v?
True
Let w be (15/666)/((-10)/(-30)). Which is bigger: w or 0?
w
Let m be -3 + (0 - 1) + 74 + -11. Let r = m + -293/5. Which is smaller: -7 or r?
-7
Let o = 6337 - 557647/88. Let r = -821/1144 + o. Is r less than -1?
False
Suppose 5*f = 2*h + 29, -3*f - 4*h + 9 = 2. Suppose -2*u - u - 17 = f*b, 25 = -5*b + 5*u. Let x be (14/(-84))/(13/b). Is x at most 0?
False
Suppose 3*t - 3 - 3 = 0. Let g(n) = n**2 + 6*n - 40. Let o be g(5). Let x be t/o*(-25)/(-15). Which is bigger: x or -2/9?
x
Let b be (30/(-9))/(20/(-48)). Which is greater: 9 or b?
9
Let i(u) = -u**2 + 16*u - 13. Let s be i(15). Suppose 5*g - 3*p = -2*p + 66, -2*g + s*p = -28. Is 13 greater than or equal to g?
True
Let w = 58 - 12. Let u = w + -28. Suppose -3*i - 5*t - 17 = 0, -3*i - u = 2*t + 5. Do -8 and i have the same value?
False
Let x = -21 - -23. Let d be (x/(-26))/((-8)/(-16)). Which is smaller: d or 1/5?
d
Let s = -79 + 84.3. Let g = -2 + s. Let w = 3.1 - g. Which is greater: -1/17 or w?
-1/17
Let d = 0.956 + -0.156. Let c = -12 + 10.2. Let p = d + c. Is -0.12 >= p?
True
Let q = -9.879 - 0.121. Let s = q + 11. Is -0.069 > s?
False
Let u = -0.0678 + 0.0168. Is u greater than or equal to 0.01?
False
Suppose 4*n = -1 - 3. Suppose 3*r - 32 = 34. Let c be r/77 + (-46)/112. Which is smaller: n or c?
n
Let r be -25*2/(-40) - (-2)/(-8). Which is smaller: r or 217?
r
Suppose -5*w + 7*w + 5*m + 13 = 0, 4*w - m + 37 = 0. Which is greater: w or -5?
-5
Suppose 0 = -5*q + 5*l + 20, -2*l = 2*l + 20. Which is bigger: -15/58 or q?
-15/58
Let z(t) = -5 + 3*t + t - 3*t. Let l