 = -65 + s. Which is smaller: f or -10?
-10
Suppose 73*s = 77*s + 220. Let i = 55 + s. Does 5/18 = i?
False
Suppose 4*z + 37 = o, 2*z - o + 21 = -0*z. Let s(v) = -7 + 3*v**2 + v**3 + 5*v + 2*v + 6*v**2. Let g be s(z). Is -9 at least as big as g?
False
Let y = 22913/253578 - 2/3251. Is 1 at most as big as y?
False
Suppose -3*n - 59 = 5*x - 29, 4*n = -4*x - 32. Suppose -2*v - 2 = 2. Which is smaller: v or x?
x
Let g(v) = -v**2 + 5*v - 1. Let c be g(3). Suppose 3*w - h - 20 = 0, 7*w - c*w = -2*h + 8. Is w smaller than 3?
False
Let i be 4/18 + (-17)/117. Suppose 1128 = -3*l + 1131. Which is bigger: l or i?
l
Let c = 182.5 - 183. Let l = 2 + -1.8. Let q = c + l. Which is smaller: -1 or q?
-1
Let c = -15 + 15. Let u be ((-1)/(-10))/((-4)/(-8)). Is u greater than c?
True
Let a = 74 - 72. Suppose 7*w - 5*w = a. Let y = -18253/36 + 507. Does w = y?
False
Let u(c) = -c**3 + 5*c**2 - 9*c + 13. Let m(v) = 2*v - 17. Let k be m(10). Let p be u(k). Which is bigger: p or 3?
p
Suppose -5*r = -2*i - 3 - 8, -r + 1 = -i. Which is greater: i or 20?
20
Suppose -20 = k + 5*i - 48, 5*i - 25 = 0. Let a be (26/(-52))/(k/2 - 1). Which is smaller: a or -9/5?
-9/5
Let i = -1541/30 + 103/2. Let u(k) = -k**3 - 2*k**2 + 4*k + 1. Let a be u(-3). Let l be 0*(-2)/(-4)*a. Which is greater: i or l?
i
Let h = 719/12 + -188/3. Is -0.1 at most as big as h?
False
Let y = -30 - -16. Let q be y/(-6) + 1/(-3). Let v be (q - 0) + (3 - 7). Is 0.1 less than or equal to v?
False
Let p = 0.09 + -4.09. Let v be 11/44*(-16)/(-26). Let g = v + 7/39. Is g at least p?
True
Let b(j) = -j**3 + 9*j**2 + 8*j + 32. Let a be b(8). Suppose -10*x + a = 6*x. Are 8 and x nonequal?
True
Let d = 236 + 156. Suppose d - 95 = 9*s. Are s and 33 unequal?
False
Let h be (6/16)/3 - 12/(-96). Is 18 smaller than h?
False
Let u be ((-448)/(-63))/(34/(-18)*-6). Which is smaller: u or 1?
u
Let s = 3 - 4. Let m be s/3 + 2 + -1. Let y = -167 - -170. Which is smaller: m or y?
m
Let v(k) = k - 1. Suppose -i = 5*u - 26, 3*u - 4*i - 11 = -0*u. Let r be v(u). Let d = r - 7. Is -3 equal to d?
True
Let o = -10356/7429 + 10/391. Is o less than -1?
True
Let z be (-1)/(-4) - 31/(-4). Let d = 9 - z. Suppose -3*b + d = -2. Is -1 at least as big as b?
False
Let n(f) = -15*f + 119. Let o be n(6). Is 0.2 at most o?
True
Let i be 28/(-98)*(1 + 0). Suppose -22 = 3*y + 2*k, -3*k = -0*y + 3*y + 24. Which is smaller: i or y?
y
Let m be 21/15 + 4/(-10). Let n be 10/15 - (-52)/3. Let b be n/15*(-3)/(-6). Is b < m?
True
Suppose 0 = -3*d - 3*p + 3, -4*d + 4 = -6*d - 4*p. Suppose 0*l - l = -2*r + 7, 4*r = d*l + 12. Is -2/129 at most as big as l?
True
Let f = -0.55 + 0.29. Let m = -0.1 - f. Are 1 and m non-equal?
True
Let h = -4022.009 + 4020. Let y = h + 0.009. Which is greater: 0.8 or y?
0.8
Let b = -13203/260 + -63/65. Which is greater: 1 or b?
1
Let s = -2.12 - -2. Let j = s - -3.82. Let w = 4 - j. Is -3/2 at most w?
True
Let j be (((-15)/411)/((-7)/(-14)))/(-2). Which is bigger: j or 0?
j
Suppose 5*a = 143 + 337. Is a at least -2?
True
Let k be (41/(-287))/(4/7*(-25)/10). Suppose -q + 7 = -3*j + 4*j, 3*q = j + 9. Suppose -j*g + g = 0. Is g at least k?
False
Suppose 65*q - 72*q + 11382 = 0. Are q and 1627 unequal?
True
Let i = -66 + 68. Suppose -4*d + 4*n = 16, 7 = -d - 0*n + i*n. Does 13 = d?
False
Let p = 22.9 + -2.9. Let c = p - 22. Is c equal to 1/9?
False
Let v be 5 - 1 - (3 - (-3 + 1)). Is v equal to 8/53?
False
Let r = -143 - -134. Which is smaller: -19 or r?
-19
Let k(g) = -9*g + 28. Let j be k(10). Let o = 57 + j. Suppose 0 = 3*f - l + 20, 5*f - 1 = -3*l - 39. Which is bigger: o or f?
o
Let t = -7.32 - -28.32. Is t greater than 0.08?
True
Let k = -24 - -15. Let a = 10 + k. Which is greater: 4 or a?
4
Let l = 4.24 - 0.24. Let j = -4 + l. Let t = 14 + -12.8. Which is greater: t or j?
t
Let q be (-52)/17 + (-4)/34. Which is bigger: -3 or q?
-3
Let z be 1 - (-75)/(-65) - (-28834428)/(-5330). Let c = z + 5410. Which is greater: 1 or c?
1
Let h = -7137 + 1527321/214. Is h <= -1?
False
Let m = -7.993 + 8. Let w = 3.807 - m. Do w and -1 have the same value?
False
Let m(b) = 3*b - 85. Let i be m(7). Let t be -1*(196/i + 3)*-54. Does t = -3?
False
Let g be 4 + (-2 + -3 - -27). Let p = 35 + -9. Is g equal to p?
True
Let x be -2*((-17)/(-2) - 2). Let b = -36 - -34. Let r be (-21)/((-28)/(-8) + b). Is r less than or equal to x?
True
Suppose 2*h - 43 = 5*b, 2*h = 3*h - 2*b - 20. Which is greater: h or 7?
h
Let d be 3*(-1 - (-3 - -3)). Let s be (16/(-6))/(2/d). Let i = -4 - -8. Is s smaller than i?
False
Let l = 8879 + -62204/7. Suppose 3*q - 4*r - 30 = 6*q, 0 = -4*q + r - 21. Which is smaller: l or q?
l
Let t = 405.9 + -390. Let r = t + -16. Let u = -0.7 + 0.3. Which is smaller: u or r?
u
Let i be 12*(2 + (-7)/4). Suppose -i*p = -4*p + 140. Let t be p/(-192) + (-2)/(-3). Is -1 bigger than t?
False
Suppose -2*x + 3*x = -20. Suppose 5*q + c - 66 = 0, 2*q = 3*c + 17 + 6. Suppose 108 + 139 = -q*a. Which is greater: x or a?
a
Let v(u) = u - 15. Let m be v(19). Suppose 4*q = -4*b - 76, 0 = m*b + b - 5*q + 105. Which is bigger: -19 or b?
-19
Let b(t) = -2*t**3 - 5*t**2 - 9*t - 4. Let n be b(-4). Let f = 65 - n. Which is smaller: -17 or f?
-17
Let l = 0.036 - 0.06. Let s = 0.206 - l. Let k = s - 0.13. Which is greater: k or -22?
k
Suppose 2*d = -2*s + 4, 2*s + 1 + 0 = 3*d. Let v be -5 + (s - -2) + 1. Are -2/23 and v equal?
False
Let z(p) be the second derivative of p**3/6 - p**2/2 - 3*p. Let x be z(3). Suppose 0 = -x*h + 7*h + 20. Is h smaller than -4?
False
Let g = 877 - 862. Do 6 and g have the same value?
False
Let u = -19 - -6. Let f be 3*(-2 - u/2). Let r = 15 - f. Which is greater: r or -3?
r
Let m be 7/21*4/98. Which is smaller: m or 0?
0
Suppose -40*h + 16 = -36*h. Which is bigger: h or 50/11?
50/11
Let s be (-653)/93 + (-105)/(-15). Which is smaller: s or -1?
-1
Suppose -4*r = -7*r + 4*h - 1, -26 = 3*r + h. Which is smaller: -17/3 or r?
r
Let a be (-2)/3*(-69)/(-9752). Which is smaller: 1 or a?
a
Suppose 5*q = 4*q - 3*d + 28, -5*q + 4*d + 121 = 0. Let o = q - 21. Suppose 2*g = 3*i + g - 63, 0 = o*i - 5*g - 73. Is i less than or equal to 1/2?
False
Suppose m - 4*m - 606 = -4*f, -4*m + 3*f - 815 = 0. Which is smaller: m or -203?
m
Let o be (-12)/6016*(-2)/3. Let n = 3753/5264 + o. Is 0 at most as big as n?
True
Let q = 0.05 + -0.15. Suppose 0 = -11*x - 3 + 113. Is x at most q?
False
Let q = 70 - 74. Let n be (q/48*4)/((-2)/6). Which is smaller: 2/155 or n?
2/155
Let b(f) = f**3 + 14*f**2 + 4*f - 24. Let t be b(7). Which is bigger: 1032 or t?
t
Let v = -545 + 527. Which is greater: -160/9 or v?
-160/9
Let a = 0.0982 + -2.0982. Is 23.6 not equal to a?
True
Let q = 3 - -7. Let l be (-21856)/(-140) + (-4)/q. Let c = 156 - l. Which is smaller: 3 or c?
c
Let q = -34 - -34.09. Let p = q - 0.19. Let h = -3 - -5. Which is bigger: h or p?
h
Let o be (-3 + 24/12)/(-1). Let v = -1/20 - 3/20. Which is smaller: v or o?
v
Let n = -62 - -62. Suppose 0*p + p = n. Let t = 19/2 - 59/6. Which is greater: p or t?
p
Let k be 80/96*441/15. Is 26 smaller than k?
False
Let h be (-3988)/(-20724)*-1 + 60/330. Which is smaller: h or 0?
h
Suppose 23*y - 2000 = -2*y. Let d(z) = 39*z + 3. Let b be d(2). Is b greater than or equal to y?
True
Let w be (-6)/15 - 42/20. Let s(x) = -2*x**2 + 16*x - 21. Let j be s(6). Let d = j + w. Is d smaller than 2?
True
Suppose 0 = -4*d + 14*d - 290. Is d at most 29?
True
Suppose -8*c = 29 - 21. Which is bigger: c or -9/275?
-9/275
Let a = 0.43 + 0.25. Let j = a - 0.9. Let g = j + 0.02. Is -2 bigger than g?
False
Suppose -60 - 40 = -m + 2*z, -2*m = -5*z - 204. Suppose 4*h - m = 8. Suppose -h + 4 = -3*q. Do q and 7 have the same value?
True
Suppose 0 = -4*k + 5*k + 2. Let v be (1/k)/((-1)/(-2)). Let n be (-4 - v)/(0 + -3). Which is smaller: n or 1/14?
1/14
Suppose -m + 17 = 3*g - 5*m, -5 = g + 4*m. Suppose -8*r + g*r = 0. Suppose 6 = 3*k, r = -x - 0*k - k + 13. Does 11 = x?
True
Let f(g) = g**3 - 7*g**2 + 19*g - 46. Let k be f(5). Is -4/9 at least as big as k?
True
Suppose 4*p + 0*p = m + 488, 2*p - 3*m - 234 = 0. Are -2/3 and p equal?
False
Suppose -4 = d, 0 = -57*z + 61*z - 2*d + 140. Is -181/5 < z?
False
Let k = 22 + -16. Let s be 318/(-12) - (k/4 - 1). Are -25 and s nonequal?
True
Let c be 2 - 10/14*3. Suppose -3*s + 4*s = -1. Are c and s 