 r = 2.2 + -1.3. Let o = r + -0.9. Let p = -2 - o. Is 0.4 > p?
True
Suppose -49*l + 300 = -45*l. Let c be 16/((l/(-6))/5). Is c != -6?
True
Let f be 164 - (-11)/(22/4). Is 166 greater than or equal to f?
True
Let r be (4720/(-1947))/((-2)/(-102)). Which is bigger: r or -123?
-123
Let d be (-500)/(-35) + (-2)/7. Suppose 3*w = 4*a + 99 + d, a + 47 = -3*w. Is 0.1 less than or equal to a?
False
Let u = 1118 - 1131. Is -9 greater than u?
True
Let z(d) = -d + 0 + 3*d + 2. Suppose 3*c + 26 = -4*r, -3*c + 4*c - r - 3 = 0. Let h be z(c). Which is greater: -0.1 or h?
-0.1
Let w be (3/(-14))/((-70)/49). Does w = 0?
False
Suppose -2*w + 150 = 8*w. Let g(i) = 3*i - 4. Let c be g(6). Which is smaller: c or w?
c
Suppose -173 + 741 = -y. Let s be y/8 + 10/(-2). Is s less than -76?
False
Let v = -0.169 + 0.269. Which is smaller: v or -27?
-27
Let g = 346 - 332. Which is smaller: g or 19?
g
Let d(w) = -w**3 + 2*w**2 + 2*w - 1. Let s be d(2). Let h be s/(0 - 15/(-10)). Which is smaller: 0.5 or h?
0.5
Let u = -174 - -167. Let o = 3 + 1. Let g = o - 5. Are u and g non-equal?
True
Let s be 4/22*((-24)/(-20))/(-2). Are s and 1 nonequal?
True
Let q(m) be the first derivative of -m**3/3 + 5*m**2 + 5*m + 15. Let n be q(9). Is n < 16?
True
Let d = -4.22 - -3.22. Which is smaller: -4.5 or d?
-4.5
Let o be (1/2)/(5/(-80)). Let s = 11 + o. Suppose 8 = -s*i - 4*d, -i + 2*i = 5*d + 10. Which is smaller: i or -2/19?
-2/19
Suppose 59*c = 36*c - 4761. Is c equal to -208?
False
Let h = 26 + -28. Let j be ((-6)/h)/(12/20). Suppose 16 + j = -2*t - 3*f, t + 5*f + 28 = 0. Which is greater: -2 or t?
-2
Let l be (0 - (-1)/1)*-1. Let s = -5346 + 465100/87. Is s > l?
True
Let u be 1/(16 + 377/(-26)). Let s = -196/3 + 66. Is s at least u?
True
Suppose 3*f - 3*c = 5*f - 10, -f + 2*c = 2. Let q be (-2 + 4 - f)/1. Suppose 12 = -3*z + 7*z. Which is smaller: q or z?
q
Let o(x) = 2*x + 9. Let y be o(-6). Let l be (-3)/9*(3 - y). Let w(p) = 3*p**2 - 2. Let c be w(l). Are c and 10 equal?
True
Let h(j) = -2*j**2 + 2*j - 3. Let r be h(-1). Which is smaller: r or -33/4?
-33/4
Suppose k + 4*p = 3 + 2, -2*p - 5 = 3*k. Which is smaller: k or -8?
-8
Let p(a) = a**3 + 8*a**2 - 33*a - 134. Let t be p(-10). Do -102/29 and t have the same value?
False
Let n(u) = u - 25. Let r be n(17). Is 12 at most r?
False
Suppose -2*i = 4*g - 46, -25 = -g + i - 9. Suppose g*p + 1 = 12*p. Let m be (-7)/10 - p - 0. Which is smaller: m or 0?
0
Let x(h) = -3*h - 63. Let t be x(-24). Suppose -3*v + 2 = 11. Let w = t + v. Which is smaller: 7 or w?
w
Suppose 0 = -4*f - 16, 2*f + 136 = -3*p + 4*f. Let t be 0 - (p/28 - -2). Which is smaller: -1/7 or t?
t
Let s = -229 - -336. Let d = -106.96 + s. Which is bigger: d or -0.04?
d
Suppose -n + 2 = -4*z + 3, 5 = -5*n + 5*z. Let u = n - 2. Let w = 28/23 - 171/46. Which is smaller: w or u?
u
Let g(j) = -j**2 - 14*j + 22. Let b be g(-11). Suppose -26 = p - 0*d + 4*d, 0 = -5*p - 5*d - b. Are p and -4 equal?
False
Suppose 3*p - 9 = -c, -1 = -p - c - 0*c. Suppose 13*r - 9*r = -p. Is 4/13 != r?
True
Let s(j) = j**3 - 13*j**2 - 13*j + 6. Let r be s(14). Suppose 0*z + 2*z - r = 0. Suppose z*y = 5*y. Is y less than -1?
False
Let t = -49 + 49. Let z = 146 + -152. Are z and t nonequal?
True
Suppose -3*u + 16 = 4. Suppose 4*b = -3*o - 5, -o + u*b + 4 = 11. Let k be o + 4*(-30)/(-8). Which is smaller: 13 or k?
k
Let x = 10428/35 + -298. Is x greater than or equal to -5/9?
True
Suppose -3*h + 0*w - w = -4, -4*w = -h - 3. Let r be h - (33/(-24) - -2). Let a be -1 + 0/2 + 0. Do r and a have the same value?
False
Suppose -4*i - 2 = -0*g - 2*g, -3*i = 5*g - 44. Let t = -6 + 15. Is t greater than or equal to g?
True
Let q(u) = -17 + 13*u - 4*u - 7*u. Let b be q(9). Which is smaller: b or -2/9?
-2/9
Let g = -136 + 135.9. Which is bigger: -2/91 or g?
-2/91
Let x = -74 - -151/2. Let g be 1 + (-2 - 3) - -3. Let t be (-4)/(-12)*(-3)/g. Which is bigger: t or x?
x
Suppose 4*k - 156 = -228. Is -6 bigger than k?
True
Let b = -161/3 - -53. Let y(d) = -d**2 - 10*d - 12. Let m be y(-8). Is m at least as big as b?
True
Let c(h) = -h - 4. Let f be c(-8). Let k be -3 + (2 - -8 - 1). Let y be (k/(-10))/(57/(-190)). Is y at least as big as f?
False
Let w(a) = 6*a**3 + 2*a**2 - 1. Let u be w(-1). Suppose 85*m + 92 + 163 = 0. Is u at most m?
True
Suppose -3*z - 3313 = -n, -n - 3031 = 3*z + 280. Is -1103 > z?
True
Suppose -u - 207 = -d - 20, -2*d + 562 = -3*u. Is u at least -190?
True
Suppose 4*k - 2*m - 18 = 0, -5*k - 3*m = -2*m - 33. Suppose -k - 6 = 6*x. Which is greater: x or 0?
0
Suppose -230 = -2*y + 7*y + d, 3*y + 3*d + 126 = 0. Let w be 3 + y/15 - 184/(-30). Are 9 and w equal?
False
Suppose -3*r = -8*r. Suppose -2*d - 5*c - 30 = r, -2*d + 14 = -4*d - c. Which is smaller: d or -17/3?
-17/3
Suppose -292 = -4*w - 2*k, 45*w + 4*k = 42*w + 229. Which is bigger: 82 or w?
82
Let n(l) = l**2 - 13*l - 2. Let q be n(8). Let p = -40 - q. Suppose -p*a = a. Is 3 equal to a?
False
Let u = -1184.1 - -1184. Which is smaller: u or -1/15?
u
Let q = -1.2 - -1.1. Suppose -s - 38 = -13. Let o be 5*(-2)/s*-5. Which is bigger: o or q?
q
Let n be 7 - (1/((-3)/12) + 0). Suppose -3*d = 8 - n. Is 6/41 at most as big as d?
True
Let u = 1756/9 + -195. Which is smaller: -12 or u?
-12
Let b = 2587 - 2610. Is b > -45/2?
False
Let w(x) = -2*x**2 - 4*x - 4. Let v = 17 - 15. Let t be w(v). Is t > -17?
False
Let j = -163 + 154. Is j smaller than -11/5?
True
Let i(f) = -f + 8. Let h be i(-11). Let d = 23 - h. Let r be 318/(-81) + d - 0. Is r < 1?
True
Let d = -23.2 + 23.4. Which is smaller: d or 83?
d
Let z(i) = i + 1. Let s(l) = -2*l - 16. Let b(o) = s(o) + z(o). Let k be b(-10). Is k <= -4?
True
Suppose -x = 3*x. Let t be (30 - 9)*-2*2/(-4). Let k be (6/t)/(202/14). Is x smaller than k?
True
Let g = 0.7 - 0.7. Let d = g - 0.2. Let r = -0.1 - d. Are r and 0.8 unequal?
True
Let g = -25 - -15. Let h = -8 + 9. Let c be (-38)/(-10) - (5 - h). Is g < c?
True
Let b = 485 + -1953/4. Let q(i) = -i + 3. Let n be q(5). Let m be (n - 1/(-2))*2. Are m and b equal?
False
Let r = 28.7 + -39.4. Which is greater: r or 0?
0
Let k = 2.08 - -1.92. Let q = 2 + -3. Which is smaller: q or k?
q
Let o(t) = t**3 + 10*t**2 - 10*t + 12. Let a be o(-11). Is a at least -15/199?
True
Let b = -242.9 + 243. Which is greater: 0.83 or b?
0.83
Let p be ((-6705)/27)/(-5)*-9. Do -448 and p have different values?
True
Let u(f) = -375 + 387 - 2*f + f. Let s be u(12). Is s less than or equal to 13/9?
True
Let a be (10/15)/(8/123). Let p = -512 + 523. Which is bigger: a or p?
p
Suppose -3*k + 3*x - 10 = -k, 5*x = -k + 21. Let h = 201 + -213. Let m be ((-16)/h)/2 + 0/6. Which is smaller: k or m?
m
Let w(c) = -29*c**2 + c + 2. Let v be w(2). Let m = -57 - v. Is 56 greater than m?
True
Let t be (-6)/16 - (-921)/24. Let v = t - 32. Is v smaller than -0.1?
False
Let i = -204 - -232. Is i smaller than 82/3?
False
Let j = -21 - -24. Let k be -1*(j - 5)*2. Is 5 bigger than k?
True
Suppose -3*v - 418 + 328 = 0. Does -24 = v?
False
Let k be (-1 + (-1 - -1))*6/(-5700). Is k != -1?
True
Suppose 2*y = -4*y + 6. Which is smaller: y or 31/4?
y
Let x = 1175 + -1326. Is -151 greater than x?
False
Suppose -5*t - 75 = 5*y, 2 = -2*t + 13*y - 8*y. Which is greater: -182/17 or t?
-182/17
Let h = 471571/151 - 3123. Is 0 less than h?
False
Let m = -724 + 721. Do -1 and m have the same value?
False
Let u = 0.5 + -0.2. Let v = -131 + 172. Suppose 0 = -13*j + v + 24. Is j smaller than u?
False
Let q(b) = 6*b - 20. Let w be q(10). Let o be 1/(-3) - w/(-12). Is o bigger than 5?
False
Let y be 5/(-1)*(-6 + 1). Let o be -1*18/(-3) + -6. Suppose -3*q + 5*i = -y, -15 = -o*q - q + 3*i. Which is greater: 2/45 or q?
2/45
Let p be (-15 - 2)*4/(-44). Is -2/7 > p?
False
Suppose -27*i = -20*i + 7. Let v = 0 - 14. Let o be v/30 - (-1)/3. Which is greater: i or o?
o
Suppose -5*h - 6 = 2*m - 0, -4*m + 6 = h. Let c be 52/24 + m - 4. Which is smaller: c or 1?
c
Let s = -3/55 + 36/55. Which is smaller: s or 0?
0
Let w = 0.38 + 70.62. Let j = w + -71.06. Is j at least as big as -2?
True
Let q = 2105 - 1977. Are q and 126 non-equal?
True
Suppose -15*m = 22*m - 37. Is m bigger than 4/97?
True
Let j(b) = -b**2 + 5*b + 1. Let y be j(5). Let m be (2/(-4))/(y/2). Let s be ((-3)/((-84)/(-2)))/(1/2). Which is smaller: m or s?
m
Let g = -135