-126. Is -5925/8 at most v?
False
Let c = -3761.2231 - -0.2231. Are c and -0.2 equal?
False
Suppose 358*f = 361*f - 15, -5*g + 4*f = -440. Is 22 at most g?
True
Let j(u) = 55*u. Let b be j(4). Suppose -6*o + 5*o = -b. Is 219 smaller than o?
True
Let v(p) = p**3 + 26*p**2 + 26*p + 46. Let o be v(-25). Suppose -16*q = -o*q - i - 9, 0 = -5*q + 3*i + 7. Are q and 4/81 non-equal?
True
Let t = -2881 - -2867. Let k be (-16)/(((-2)/2)/(-1)). Is k > t?
False
Let d = -35 + 65. Let i = d - 31. Let v = 1 - 3. Is i <= v?
False
Let y = 156 - 154. Suppose 0 = -5*t - 4*q - 5, 4*t + 5*q = -y - 2. Which is smaller: t or -2/49?
t
Let c = -9 + 29. Let g = c - 9. Let r be (-8 + g)/(15 + -2). Is r less than -1?
False
Let o = 64.369 + 0.731. Let s = -65 + o. Let f = -9 + 23. Is f > s?
True
Suppose -p = -66 + 46. Let l be -5*((-42)/p - -2 - 0). Which is greater: -11/5 or l?
l
Let g be (6/414)/(3/9). Let z = -187 - -199. Suppose -z*n - 18 + 6 = 0. Which is bigger: g or n?
g
Let d = -918.0542 + 918. Let z = d - -4.0542. Which is bigger: z or -0.24?
z
Let x = -165 - -88. Let q = x - -78. Let u = -3564 - -60608/17. Is u greater than q?
True
Let z(g) = -15*g**2 - 37*g + 33. Let s be z(2). Is -109 < s?
True
Let f = -1819/21 - -814/7. Let o = 79/6 - f. Are o and -1 unequal?
True
Let w be (-1271)/4510*(0 + (-3)/6). Let t = w - 1/20. Suppose -2*c - 3 = -5. Is c at least t?
True
Let s = -1129 - -1128.9. Is s smaller than -2984?
False
Suppose -w - 208 = k + 3*w, 600 = -3*k - 4*w. Let q be (-10)/35 - 497/k. Suppose -5*v - 3*p + 24 + 1 = 0, -4*v - 4*p + 28 = 0. Is v <= q?
True
Let k be 13 + (-9)/(38205/55425). Which is smaller: k or 1?
k
Let y(b) = 3*b**3 - 5*b**2 - 59*b - 1. Let f be y(-5). Suppose -3*h + 5*d - d - 613 = 0, -1025 = 5*h - 5*d. Is f not equal to h?
True
Suppose 97*v - 18 = -38 + 20. Is v at least 2/3667?
False
Let p(d) = -d**3 + d**2 + d - 1. Let q(o) = -4*o**2 + o + 1. Let n(c) = p(c) - q(c). Let a be n(5). Is a less than 1?
True
Let p = -191 + -110. Let k = -300.3 - p. Do k and 0.1 have different values?
True
Let k be (10/3)/(1/(-6)). Suppose 870*t - 430*t + 204 = 428*t. Are t and k nonequal?
True
Let n = 2.781 - 2.581. Let y = 10.72 + -0.72. Which is bigger: n or y?
y
Let q be 2156/((-697)/34*-4). Which is smaller: q or 26?
26
Suppose -2*g = -3*g + 3. Suppose -4*f = b + 9, 0 = -0*b + 3*b - 5*f - 7. Is b bigger than g?
False
Suppose -44*s + 40480 - 1892 = 0. Is s at least 884?
False
Let r be -1 + -4 + (-23)/(-6) + (-80)/(-480). Which is greater: -2/24881 or r?
-2/24881
Let p be (2/87)/(((-7)/3)/7). Let o = -27 + 33. Suppose -o*v + 7 = -4*v - 3*t, -6 = 2*t. Does v = p?
False
Suppose 3*o + 4*i + 3 = -i, 2*o = 2*i - 2. Does o = -2/117?
False
Let h = 231/2171 + -2864/6513. Let d = -425 + 468.8. Which is smaller: d or h?
h
Suppose 3*g - 5*v = -7 - 12, -5 = -v. Suppose -z - y = 26, g*y = 12 - 10. Which is smaller: -25 or z?
z
Let i be 0 + 1 - (-1 - 0). Let k(f) = -23*f - 58. Let b be k(-3). Let v(g) = 3*g**2 - 35*g + 23. Let w be v(b). Which is smaller: i or w?
w
Let f(q) = -q**3 - 56*q**2 - 52*q + 441. Let j be f(-55). Which is bigger: j or 3?
j
Let a = 5344 - 4197. Which is bigger: 1146 or a?
a
Let z be 26/(-3) + 8/12. Let x(a) = 9 - 44*a**2 + 1 + 40*a**2 - 26*a. Let c be x(-7). Do z and c have different values?
True
Suppose 6*h = 88 + 1046. Let u = h - 190. Which is smaller: -2/37 or u?
u
Suppose -p + 5 = -6*p - g, -5*g = 2*p + 25. Suppose p = -3*m + 4*h + 23, 3*h - 4 = -4*m + 10. Do m and 10 have the same value?
False
Let t = -1311.5 + 1306.15. Is t bigger than -0.08?
False
Suppose 5*u = 5*d - 129 + 124, 0 = -5*d - 5*u - 15. Is -3/233 at most as big as d?
False
Suppose 319 = -7*w - 4*w. Let g = w + 24. Let a(m) = m**2 + 5*m - 1. Let q be a(g). Which is smaller: q or -9/14?
q
Let b = 15250.5 - 15257. Which is greater: -2/19 or b?
-2/19
Let n = 12 + -17. Suppose -5*s + 24 = 3*s. Suppose -s*j = 265 - 223. Which is bigger: j or n?
n
Let w = 1.8 - 2. Suppose 45*n - 12010 - 33350 = 0. Let v be 34/544 + 33/n. Which is greater: w or v?
v
Let r be (-56)/90 + ((-387)/81 - -5). Let k = 27.22 - 0.22. Let w = k + 20. Is w less than or equal to r?
False
Let t be 1/((-108)/(-106) - 1). Let u(g) = -g**3 + 43*g**2 + 40*g + 234. Let n be u(44). Which is greater: n or t?
n
Let x be ((-39)/10)/3 + 1452/4840. Is x greater than -12/1051?
False
Let i = -20773 + 145413/7. Is -0.8625 != i?
True
Let c(g) = 2*g**2 - 10*g + 26. Let m be c(4). Suppose -15*q - d = -m*q + 1936, 3222 = 5*q - 4*d. Which is smaller: q or 645?
645
Suppose 883 = -2*t - 319. Which is bigger: -602 or t?
t
Let h be (1*40/(-15))/(2/123). Let z = h - -126. Which is greater: z or -34?
-34
Let t = -765 + 778. Suppose -45*g + 212 = -t. Let n = -89/6 + 1231/66. Is g >= n?
True
Let v = -136 + 150. Suppose 5*n = 19 - v. Are n and -3/143 unequal?
True
Let i = -0.52831 + -0.07169. Which is smaller: -783 or i?
-783
Let z(h) = -3*h**2 - 16*h + 277. Let c be z(0). Is c at least as big as 273?
True
Suppose -50*q + 60*q = 170 - 0. Which is bigger: q or -29?
q
Let y = -4998 + 4998. Which is smaller: 20/7 or y?
y
Let r = 12/3425 + 34392/1914575. Which is smaller: 1 or r?
r
Suppose 0 = k + 5*l, -2*l - l + 18 = -3*k. Let t be (-78)/((-15)/k)*45/10. Which is smaller: -118 or t?
-118
Let a = 2090.1519 + -1.1519. Is a at most 0.2?
False
Let n = 0.0434 - -1.6566. Let c = 24.7 + 4.3. Let k = 32 - c. Which is bigger: n or k?
k
Let f(z) = 166*z - 1166. Let g be f(7). Let b be -1*(-1 + 0 - 17). Is b at most as big as g?
False
Let y = -3/671 - 1141/44957. Let o be 3/12 - 3/(-4). Which is smaller: y or o?
y
Suppose 7 = 2*j - 5. Let c be 16/j*15/2. Let f be (-96)/c - (5 + -3). Is f equal to -6?
False
Suppose -2*l = 3 + 21. Suppose a = -5*c + 41, 0*c = c - a - 13. Let r = l + c. Is r != 1?
True
Suppose 165*m - 166*m + 4 = 0. Suppose m*g + 136 = -160. Is g at most as big as -74?
True
Let k = 487 + -285. Let w = 208 - k. Which is smaller: -1 or w?
-1
Let m = 0.92 + 4.58. Let k = -21.5 + m. Which is smaller: -0.04 or k?
k
Let v = 643 - 616.8. Let u = v + -27.2. Is u greater than or equal to -64?
True
Let z(i) = -i**3 + 14*i**2 + 16. Let p be z(14). Let m be 15/(-35) + 30/21. Suppose 3*n - t - m + 0 = 0, 4*n - p = 5*t. Which is greater: n or -2/79?
-2/79
Let i = 801 - 490. Suppose i*r = 322*r + 957. Is -88 bigger than r?
False
Let g(j) = -j**2 + 23*j + 911. Let o be g(43). Which is smaller: o or 47?
47
Let j = -15 - 60. Let k = j - -79. Let z(p) = p**3 - 3*p**2 - 3*p - 5. Let l be z(k). Which is greater: 2/41 or l?
2/41
Let n(o) = -18 + 44 - 37*o + 85 - 10. Let a be n(3). Which is smaller: 1.6 or a?
a
Let p(s) = 3*s**2 - 6*s - 62. Let m be p(-5). Suppose -m*c + 6396 = -4*c. Are 162 and c equal?
False
Let s be 3477/9 + (-52)/39. Suppose 0 = 38*q - 3*q - s. Is 34/3 at most as big as q?
False
Let u(i) = 4*i + 34. Let q be u(-5). Suppose l = q*l + 286. Which is smaller: l or -30?
-30
Let f be (-38)/(-19)*61/(-2). Let x = f + 50. Is -26 <= x?
True
Let y be 7/(-1632)*96/(-336). Is 1 at most as big as y?
False
Suppose -d - 471 = -2*c - 0*c, 4*d + 1188 = 5*c. Which is bigger: 230 or c?
c
Let a = 441.6 + -493. Let y = a + 62.4. Which is greater: y or -4?
y
Suppose -18*x + 26 = -5*x. Let n be (6/9)/(x/(-27)). Is n equal to -9?
True
Let b = -6346 + 5652.9. Let u = b + 693. Which is bigger: u or 0.17?
0.17
Let t be (162/(-72))/(6/28). Let p = 4423/2 - 2211. Is t less than p?
True
Suppose 3*v - 26 + 17 = 0. Let k(q) = -2*q**3 + 4*q**2 - 5*q + 20. Let u be k(v). Is u <= 6?
True
Let n = -434 + 451. Suppose -n*h + i = -16*h - 44, 2*i = 5*h - 223. Let g(w) = 10*w + 3. Let d be g(4). Is h less than or equal to d?
False
Let a = -197 + 223. Suppose 21*l - a*l = 25. Which is smaller: -9 or l?
-9
Let j = -14338 - -14260. Which is greater: j or -1587/20?
j
Let c(g) = g**3 - 20*g**2 + 18*g + 14. Let n be c(19). Let r be ((-12)/9)/(n/(-495)). Which is smaller: r or -133?
-133
Let a = 124 - 120.57. Let x = -3.57 + a. Is 1/2 greater than x?
True
Let n = 12522 + -12522. Which is smaller: n or 96/185?
n
Let n be ((-100)/(-16) - 6)/10. Let g = 2510821/40 + -62767. Let s = g - n. Is 4 greater than or equal to s?
True
Let a be (115/12765)/(4/(-1072)). Is -3 at most a?
True
Suppose -386*m + 9 = -385*m. Is m less than or equal to -44?
False
Let y = 0.369 - 2.341. Let c = -0.028 + y