ose -2*v + 4*n = 0, -2*v = -3*n + n - 4. Suppose -3*o - v*c - 157 = -9*c, -2*c - 8 = 0. Is -60 at most as big as o?
True
Let u = -269057 - -269060.6. Let a = 16 + -27. Is u greater than or equal to a?
True
Suppose 3*k + 15415 = 5*p, 0 = -5*p + 21*k - 19*k + 15420. Let z = -21484/7 + p. Is z < 16?
False
Let g = 1 - 0. Let r = 24567 + -24676.67. Let a = r + 0.67. Which is bigger: a or g?
g
Let m be (-159343)/(-53115) - (-49 + 52). Let i = m + 3898643/53115. Is 74 at most as big as i?
False
Let z be ((16 + (-273)/18)*-6)/((-2)/(-6)). Which is greater: z or -152/11?
-152/11
Let g = 1.59 - -43.41. Let i = g + -55.4. Which is greater: i or 1?
1
Suppose 121*j + 1512 = 58*j - 153*j. Which is smaller: 431 or j?
j
Let c = -5376 + 3155713/587. Which is smaller: 1 or c?
c
Let p be 4 - 10/6 - 1/3. Let g(b) = 1357*b**2 - 1365*b**2 + b**3 - p + 18. Let n be g(7). Is n bigger than -33?
False
Let m = -778.152 - -779. Let d = m + 5.052. Which is greater: 1/2 or d?
d
Suppose -7*h - 5*d = -3*h + 477, -h + 2*d = 103. Which is greater: h or -105?
-105
Let i(z) = z**3 - 4*z**2 + 17 - 13*z**2 - 23*z + 14 - 3*z**2. Let l be i(21). Let v = -19 + l. Which is greater: -29 or v?
-29
Let c be (-4)/12*3/(-4). Let s(o) = -o**3 + 16*o**2 - 12*o - 13. Let b be s(15). Let n be 150/(-8) - 8/b. Which is bigger: c or n?
c
Let t(j) = 12*j**2 + 18*j - 1. Let w be t(1). Do 7 and w have the same value?
False
Let w = -3600 + 3604. Which is smaller: w or 104?
w
Let a(p) = p**2 - 10*p + 4. Let d be a(10). Let q be (-2)/4*(-2 + d). Let z = -49 + 1619/33. Which is smaller: q or z?
q
Let x = 134 + -210. Let b = 110 - -13. Let m = b + x. Is 47 smaller than m?
False
Let u = -1675 + 1675. Is 5/1388 smaller than u?
False
Let d be (-531720)/2899050 - (1 + -13*(-3)/(-33)). Is 1 not equal to d?
True
Suppose 11*h + 12 = 12*h. Let w be (5/(-165))/((-2)/h). Let a = w - 17/33. Which is bigger: a or -27?
a
Let o be (-1)/(-6) - (-55665)/(-334800). Which is smaller: o or 1?
o
Let k be (-4)/(-12) + (-1)/3. Suppose -4*r - 119 - 97 = k. Let l = 0.1285 - 1.1285. Is r greater than l?
False
Suppose -5*i - 3*q - 128 = 0, 5*i - 19 + 151 = -2*q. Let h be ((-2)/(-12))/(128/i + 4). Is h < 1?
True
Let x(w) = -w**3 - 4*w**2 - 2*w - 6. Let h = -41 + 37. Let d be x(h). Suppose 6*k - 2*k + 4 = 3*s, 3*k + d = 2*s. Which is bigger: k or -5?
k
Let k be ((-2)/235)/(6 - (-155)/(-25)). Let l(o) = -o**2 - 4*o + 4. Let v be l(-4). Suppose -v*y + 21 = 17. Which is greater: k or y?
y
Let z(d) = -d**2 - 4*d. Let t be z(-4). Suppose -2*w + t*w + 2*h - 198 = 0, -4*w - 2*h = 402. Let p = -39350 - -39251. Is w at least p?
False
Let l = 481 + -477. Suppose -2*o + 4 = l*r, 37*r - 5 = 32*r - 3*o. Is r less than or equal to -3/172?
False
Let i be (-9316)/16704 + 7/(-63). Let q = i - -1/464. Which is bigger: q or -18?
q
Let p = 310.166 - 0.166. Let x = -310 + p. Which is smaller: 0.1 or x?
x
Let w be 88/132*(-43209)/6. Is w at least -4801?
True
Suppose -122*c - 117 = -119*c. Let f = c + 33. Let n = -15 + 7. Is n at least as big as f?
False
Suppose -137 = -144*q + 76*q + 203. Is 27 greater than or equal to q?
True
Suppose 12 = 5*c + c. Let o be (-1)/c*(-936)/13. Does 37 = o?
False
Suppose -4*o = -4*h - 252, 2*h + 137 = -2*o + 7. Let s be 892/(-14) + 12/(-42). Are s and h equal?
True
Let j = 3.2 - 3. Let o = 21.063 - 0.063. Let h = o - 22. Which is smaller: h or j?
h
Let i = 11162.7 - 11164. Does i = 6?
False
Let c(k) = -3*k - 20. Suppose -2*g = -j - 5, -3*j - 2*g - 10 = -j. Let z be c(j). Let w be (16/(-24))/(12/99). Which is greater: z or w?
z
Let w = -0.2 + -64.8. Let n(d) = -d**2 - 21*d - 39. Let f be n(-19). Let g be (-5)/3*(f/5)/1. Are w and g equal?
False
Suppose 2*p - 22 = 4*v + 8, -4*v = 5*p - 145. Let j(c) = c**3 - 18*c**2 - c + 10. Let d be j(18). Let o be (46/d)/((-14)/56). Is o bigger than p?
False
Let u = 1254 - 1233. Which is greater: 238/11 or u?
238/11
Let n = -244 - -253. Let l be (-9)/(-8) - (n - 355/40). Which is smaller: l or -2/49?
-2/49
Let m = 41667 - 1041951/25. Do -12 and m have the same value?
False
Let w = -403 + 405. Suppose -5*h + 29 = 3*a - 10, -w*a + 26 = -h. Which is bigger: a or -0.5?
a
Let z(y) = -y**2 + 232*y + 3706. Let a be z(-15). Let w = 0 - -0.7. Let k = w + 14.3. Is k at most a?
False
Suppose 22*u + 4198 = -5086. Let h = -411 - u. Is 154/15 less than or equal to h?
True
Let b = -11435 + 11435. Which is greater: b or 2/23563?
2/23563
Let m(o) = -o**3 + 14*o**2 + o + 190. Let z be m(11). Do z and 564 have the same value?
True
Let u = -4580 + 4504. Which is smaller: u or -1?
u
Let n = 4284962/162955 - 3024/115. Which is bigger: n or -1?
n
Suppose 46*n = -147*n + 113*n - 221*n. Is -3/9473 bigger than n?
False
Let m = -6 + 20. Suppose -3*s + 417 = -234. Let b = s + -201. Is b bigger than m?
True
Let t(w) = 176*w - 975. Let a be t(15). Is 1665 greater than or equal to a?
True
Let r(w) = 4*w - 8. Let q be r(3). Suppose 20*d - 32 = q*d. Suppose n = 2*g + 3, 2*g - 1 = 3*n + d. Which is greater: -4 or n?
n
Let d = -262 + 299. Which is greater: d or 7?
d
Let n = 3000 + -2913. Is n less than 83?
False
Let u be 7 + 48/(60/15). Does 1.14 = u?
False
Let q = -1057594/7 + 151367. Is 283 less than or equal to q?
False
Let a(g) = 4*g**2 - 48*g - 167. Let q be a(-3). Is q greater than 378/31?
True
Let v be (-6)/(-685)*(-445)/(-7) - (-124)/(-217). Is 2/137 greater than or equal to v?
True
Let j be (-9 + 84/8)*(-2)/3. Let v(a) = a**2 - 4*a + 2. Let y be 50/18 + (-6)/(-27). Let q be v(y). Is j != q?
False
Let y(a) = -1109*a + 195. Let r be y(-2). Which is smaller: r or 2412?
2412
Let o = 32951 + -33017.914. Let z = o + 67. Let i = z - -0.014. Which is smaller: -0.25 or i?
-0.25
Let n be (-30 + 172)/(2 + -1). Let g = 149 - n. Suppose 3*i = 4*i - 9. Is i >= g?
True
Let b(g) = 3*g**2 + 10*g - 6. Let q be b(-8). Let d be 21/(46/5 - (33 - 24)). Do q and d have the same value?
False
Let t(i) = 2*i + 5. Let v be t(0). Suppose -4*r = v*r + 36. Let o be r/18 - (-148)/180. Is 1 less than o?
False
Suppose -s + 362 + 71 = -3*y, 899 = 2*s + 5*y. Is 3098/7 != s?
True
Suppose 0 = -5*c - 2*a + 2386, 5*a + 2365 = -36*c + 41*c. Is 476 smaller than c?
False
Suppose -14 - 10 = -3*t - 4*s, 4*t = 5*s + 32. Suppose 7*o = -t*o + 975. Let w = -35 + 34. Is o greater than or equal to w?
True
Let j = -10010 - -10011. Is 0.671 != j?
True
Suppose 5*u + 4*q = 6*u - 19, -6 = 2*q. Suppose -17*y = u*y - 840. Let z = 102 + -67. Do y and z have the same value?
True
Suppose 4*c = 2*v + 4 - 0, -2*v - 19 = c. Let d be (-18)/v*(-140)/(-21). Let x be d*-6*(-3)/6. Is 43 not equal to x?
True
Let j = 179 + -167. Let c = -26 + 13. Let f = j + c. Which is bigger: f or 34?
34
Let y be 11520/200 + 2/1. Let d = -60 + y. Is -94 equal to d?
False
Let v(g) = 10*g - 61. Let i be v(6). Let o be 431/5 - i - 132/(-165). Let y be (56/36)/7 + o/(-378). Is 0 smaller than y?
False
Suppose 76*u = 77*u - m - 1612, -3*m + 1612 = u. Which is greater: u or 1613?
1613
Let x = 2846 + -2839. Which is smaller: x or -47?
-47
Let w = -5913/70 - -1191/14. Which is smaller: w or -47?
-47
Let s be (26/(-91))/(2/(-154)). Suppose l = 5*z + 39, 4 = -z - 0. Which is bigger: l or s?
s
Let i = 260 - 128. Let j = i - 131.8. Is j bigger than -53?
True
Let c = 54324824232 + -14747668684082737/271472. Let d = c + -1/5776. Which is smaller: 0.1 or d?
d
Let n = -2003 - -2002. Let y = 121.35 + -121. Is y <= n?
False
Let t = 24 + -426.1. Let g = -402 - t. Which is smaller: -194 or g?
-194
Let a(i) = 2*i**3 + 15*i**2 - 50*i - 1. Let n be a(-10). Is n equal to -3/2221?
False
Let w be 2 + 35/(-19) - (-2581696)/52858. Suppose -s = -0*s + 6. Which is greater: s or w?
w
Suppose 1 = i - t, -5*i + 2*t = 5*t + 3. Which is smaller: 3/1691 or i?
i
Let b be (-8 + 1308/18)/(22/(-18)). Which is smaller: b or -52?
b
Suppose 0 = -3*h + 2*o + 2, -4*o + 6 = 2*h - 3*h. Suppose t = 9 - h. Suppose 417 = 5*r + 427. Which is bigger: t or r?
t
Let r = 22 + -20. Let k be 10 + -13 - -7*(r + 3). Are k and -1 non-equal?
True
Suppose 15*v + 27*v - 32 = 10*v. Is -1/3440 at most v?
True
Let m = 1028 - 1019. Let v = 6 - 1. Suppose 0 = v*q + 2*f + 24, q + 0*f + m = f. Is -2 at most as big as q?
False
Suppose 3*l - 3*n + 581 = -13, 5*l - 2*n + 990 = 0. Is l bigger than -4?
False
Let v(w) = 2*w**3 + 24*w**2 + 21*w - 9. Let i be v(-11). Su