 -20, o - 3549*l = -3553*l + 16. Is -132/181 != o?
True
Suppose 93*r = -8*r - 8*r + 12099. Is r equal to 121?
False
Let b = 196 + -279. Let t = b - -25. Does -57 = t?
False
Let v = -0.26 + 0.41. Let x = 1.05 + v. Let h = -0.8 - x. Is h < 3?
True
Let m = 38.036 - 0.036. Let o = 39 - 73. Let g = m + o. Which is bigger: g or 0.07?
g
Let k = 0.0558 - -0.0442. Let v = -20.32 + 0.32. Which is smaller: v or k?
v
Let g = -130 + 322. Let r(d) = -199*d**3 + d**2. Let t be r(-1). Suppose 2*q + g = t. Which is smaller: q or 26/5?
q
Let y be (-40)/(-10) + (3 - -392). Let c = -240 + y. Which is smaller: c or 158?
158
Let h = 60 - 50. Let t be (4/h)/((-9)/405). Let a be (t/24)/((-116)/64). Which is smaller: 1 or a?
a
Let n = -116.74 + -2.26. Let x = n + 157. Is -2/5 less than or equal to x?
True
Let t = 16 - 11. Suppose 5 = 2*m - t*n - 3, 8 = 2*m + n. Let s(u) = -10*u**2 - 72*u - 11. Let q be s(-7). Is m <= q?
False
Suppose 104*m = 39*m - 611195. Which is smaller: m or -1?
m
Suppose 3*r + 3 = 36. Suppose 0 = 18*p - r*p - 1694. Are p and 244 equal?
False
Let h be (-1)/((-9)/(-1113)) - 3. Let i = h - -135. Let z be ((-7)/(-14) + -1)*-14. Which is smaller: z or i?
z
Let j be ((-3 - -6) + 5)/(2/(-9)). Let x be 14/4 - 3/j*-6. Suppose 5*y - 55 = -3*b, -b = -x*y + 4*b + 33. Is 12 bigger than y?
True
Let o be (-21)/10*1016/(-889). Suppose -2*n - 2 = -3*n. Let g be n/(-3)*(-3)/2. Is g at most o?
True
Suppose 3*s + 3*m - 45 = 0, 4*s - 36 = -2*m + 30. Let j(u) = -22 - u + 29 - s. Let o be j(-11). Is -1/6 greater than or equal to o?
False
Let h be (-4)/(-9)*89/(-1068). Which is smaller: h or 5?
h
Let v be (209 - 209)/(-1*2). Which is smaller: 1/19343 or v?
v
Let j = 129 + -78. Let s be (-214)/(-8) + -8 - 1/(-4). Suppose -4*p - s + 3 = 0, 0 = -5*f + 3*p + 267. Is j less than or equal to f?
True
Let z(k) = -k**3 - 2*k**2 + 3*k - 32. Let y be z(0). Let f = 63 + y. Is 33 smaller than f?
False
Let v = 0.3 + -0.3. Let t = v - 40. Let n = -1251 - -1252. Are n and t non-equal?
True
Let g = 1.6 - -5.4. Let k = g + -11. Let i be -1 + (2 + ((-135)/20 - -5))*-2. Which is smaller: i or k?
k
Let z be 290/(-232)*24/(-31). Which is bigger: z or 2?
2
Let o = -992.6 + 987. Which is smaller: 20 or o?
o
Let y(d) = d**3 - 40*d**2 - d + 46. Let t be y(40). Suppose -4*r = 4*i - 4, r - 6 = t*i - 2*i. Which is smaller: r or 0?
0
Let p = -408 + -252. Let t = p + 656. Is 56 at least as big as t?
True
Let a = 24.86 + -25.35. Is 1 at least as big as a?
True
Let w = 38.57 + 0.43. Let h = 40.168 + -0.668. Let s = h - w. Which is greater: 0 or s?
s
Let s be (-9)/930*((-1845)/4482)/(-41). Is -1 less than or equal to s?
True
Suppose -464*h = -4*z - 461*h - 4393, -3*h - 1072 = z. Is -1105 < z?
True
Let d = 8213/1132704 - 3/437. Which is bigger: d or 0?
d
Suppose l = a + 264, 11*l - a = 15*l - 1051. Let m = 1361/5 - l. Is m at least as big as 9?
True
Suppose -4525*n = -4536*n - 120527. Is -10956 smaller than n?
False
Let h = 9059/4 - 2266. Which is greater: h or 2.6?
2.6
Let i be 3/(-2628)*2*-4. Suppose l - 4*f = 3, -3*f = -5*l - f + 51. Suppose -3*z + l = -2*h, 2*z - 1 = -5*h - 0*z. Is i > h?
True
Let l = 104 - -1167. Is l at most as big as -0.4?
False
Let i(g) be the second derivative of 23*g**3 + 74*g**2 + 183*g. Let p be i(-4). Which is bigger: p or -405?
p
Let v = -226 - -613. Let r be ((-96)/v)/8*1/8. Is 0 > r?
True
Let j be ((-2)/(-2705))/(368/(-230)). Which is greater: 1 or j?
1
Let d(t) be the third derivative of -t**6/40 - t**5/30 + t**4/8 + t**3/3 - t**2. Suppose 548*x + 52 + 209 = 461*x. Let z be d(x). Is z != 56?
False
Let n(b) = -b**3 + 34*b**2 + 69*b + 120. Let l be n(36). Which is bigger: l or -8?
l
Let c = -1906 - -2100. Which is smaller: -20 or c?
-20
Let m = 256 + 422. Let l = -653 + m. Which is greater: -5 or l?
l
Let z = -3941 + 3568.96. Let m = 372 + z. Let l = 0.1 - 0.3. Which is greater: l or m?
m
Let k = 0.01784 + 3.88216. Is 2/3 >= k?
False
Suppose -5*s - 18 = -4*t, 5*t = -30*s + 33*s + 3. Let b be (-1)/(-15)*s/(-14). Which is bigger: 1 or b?
1
Let i = 61 + -56. Suppose 4*v - 4*c - 125 = 3*v, -i*c + 211 = 2*v. Let k = -112 + v. Which is bigger: k or 2/307?
k
Suppose -40 = -6*i - 28. Suppose -i*r = -0 + 2. Which is greater: 2/499 or r?
2/499
Let o be (3/12)/(3/60). Suppose -5*q - 85 = -o*m, 2*q + 12 = -5*m - 1. Are q and -14 nonequal?
False
Let q = -1839753/11 + 167139. Is -112 >= q?
False
Let q = 655 - 659.6. Is q greater than or equal to -155?
True
Let c(h) = 43*h - 18. Let f be c(-2). Let g be (-1 + 0)*(f - -92). Is -3 greater than or equal to g?
False
Suppose -v - s + 10 + 8 = 0, -3*s + 68 = 4*v. Suppose z - 6 - v = 0. Are 8 and z nonequal?
True
Suppose w + 4*w = -4*o, -5*o = 5*w - 5. Suppose 0*a - 3*a = -5*n - o, 0 = a + n + 1. Let v = 2165/23 + -94. Which is smaller: v or a?
a
Let i be 24/(-20)*(-4 - 113). Is i greater than or equal to 141?
False
Let y(l) = -l**2 + 4*l + 59. Let r be y(-6). Let p be (r - -31)/(-5) + 5. Which is bigger: 3/23 or p?
3/23
Let g = 2.58 - 2.457. Is 0.6 greater than g?
True
Suppose -125*w - 15 - 5 = -105*w. Let m = 114 - 5583/49. Which is bigger: w or m?
m
Suppose 2*z + 832 = -2*k, 2*z - 652 = 2*k + 164. Let a = 413 + k. Which is smaller: 2/157 or a?
2/157
Let c = 0.05786 - 1.05786. Let v = 314067/46 + -6843. Let o = 31/2 + v. Which is bigger: o or c?
o
Let i be (-4)/(-18) + (-12288)/(-108). Let x = i - 188. Which is smaller: -73 or x?
x
Suppose 0*w + 3*w = m + 296, -4*w = 2*m + 622. Which is smaller: m or -297?
m
Let t = -54407 - -54407. Let d = 214 + -195.6. Which is bigger: t or d?
d
Let n be 10/(-30) - 4/(-3). Suppose -n + 16 = 5*a + 4*d, 0 = -5*a + 4*d + 15. Suppose q = 1, 55 = -i + 6*q - a*q. Which is smaller: i or -53?
-53
Let t be -10 + 8 + (-576)/(-286). Let q(y) = 2*y**3 + 2*y**2 - 5*y - 2. Let h be q(-2). Suppose -f + 0 + 1 = 2*u, f - 4*u - 1 = h. Which is bigger: f or t?
f
Let z = -299 + 283. Let v be 135/(-6)*z/10. Is 37 equal to v?
False
Suppose 34*c = 11*c + 10 + 13. Is -1389 >= c?
False
Let o = 2214.07569 - 0.07569. Which is bigger: -4 or o?
o
Let x(q) = -24*q - 124. Let k be x(-10). Let m = k - 97. Is m at most 25?
True
Let k = -6 - -10. Suppose 4*j + k + 4 = 0. Which is greater: j or -12/5?
j
Let c = 54.01 + -54.01. Which is greater: c or -48/23?
c
Let f = -0.11 + 9.11. Let g = 218.898 - -0.102. Let x = g - 219.1. Is x at least f?
False
Let k be (-11 - (-4 - 10)) + -299. Is -294 <= k?
False
Let j = 0.3467 - 23.3467. Let s = -20.51 - 0.49. Let w = s - j. Is w > 2?
False
Let o(l) = 260*l + 10964. Let b be o(-42). Are b and 49 nonequal?
True
Let c = -1.46 - 7.54. Let r = 61 - 60. Are r and c non-equal?
True
Let t be (3/((-5)/((-55)/(-11))))/(3*-1). Is t > 9/638?
True
Suppose 16 = -2*n + 90. Let r = n + -28. Let y be r + -6 + (-14)/8. Do y and 2 have the same value?
False
Let p = 3872 - 3151. Are 721 and p unequal?
False
Let i = 507458/112275 - -1/4491. Which is smaller: 4 or i?
4
Let i = -216.5 - -215.5. Suppose 3*p = -0*d - 4*d - 259, 4*p - 5*d = -304. Let n be p/(-144) - 2/4. Are n and i nonequal?
True
Suppose 78 = 2106*b - 2100*b. Let x(u) = -u**2 - u + 1. Let a(v) = 3*v + 1. Let p(c) = a(c) - x(c). Let l be p(-6). Which is smaller: l or b?
l
Let h be (5 - (-2 - 3) - 50) + 12/3. Let a be (0 - 271/7) + 3. Which is bigger: h or a?
a
Let o = -308 - -307.636. Let v = 0.244 + o. Which is bigger: v or -3?
v
Let j = 11680 - 11684. Is j less than -3.26?
True
Let r = 2011 + -2071. Is -9 < r?
False
Let t be (-13)/(-52) + 347/244. Let j = -6467/183 + t. Which is greater: j or -33?
-33
Let a be (15/2)/(302259/106). Which is greater: a or 1?
1
Let i(g) = 1663*g - 13304. Let q be i(8). Is q less than -22/241?
False
Let l(u) = -u + 1. Let i be l(0). Let s(y) = -2*y**2 + 128*y - 1747. Let z be s(19). Is i at least z?
True
Let d be (-172)/(-408) - ((-132)/9 + 15). Are d and 34/13 equal?
False
Suppose 7*n + 54 = 12. Let i(k) = -17*k - 62. Let c(r) = 9*r + 31. Let w(j) = 7*c(j) + 4*i(j). Let m be w(n). Which is greater: m or -2?
m
Let b(f) = -7*f - 843. Let y be b(30). Which is smaller: -1054 or y?
-1054
Let p be (-1371)/(-7) - 49/(-98). Let y = p - 196. Let x = -3 - -3. Which is smaller: x or y?
x
Let c = -450 + 462. Suppose c*r = -21*r + 6798. Which is smaller: r or 207?
r
Let p be (-20)/(-90)*-3 + (-14664)/(-21969). Which is bigger: 0 or p?
