.3 + 0.4. Is u greater than or equal to f?
False
Suppose 0 = -22*t + 12*t - 2320. Let g = t + 233. Is g less than or equal to 1/178?
False
Suppose -16 = -8*n + 8. Let t = -3 - -12. Suppose -3*f - t = -n. Which is greater: f or -17/5?
f
Let x be 22/(-11) - -1*2. Let s be (21/4)/((-110)/(-16) - 2). Let i = s - -28/143. Which is bigger: i or x?
i
Suppose -4*f = 5*a + 83037, 6*a + 2*f + 33216 = 4*a. Is -16606 at most a?
True
Let s be 6/(-48)*2 + 17533/4. Do s and 4383 have the same value?
True
Let s be ((-1672)/114)/((-172)/(-54)). Which is bigger: s or -6?
s
Let n = 1771/71 - 6724629/269587. Which is bigger: -1 or n?
n
Let g be ((-224)/3)/(352/(-1056)). Is g less than or equal to 225?
True
Suppose -3 = m - 3*c, -m + 82*c - 83*c = -1. Which is smaller: -6/1253 or m?
-6/1253
Let j(r) = 18*r**2 + 131*r + 228. Let u be j(-3). Which is smaller: 2425 or u?
u
Let g be ((-595)/(-102) + 11)/(30/8). Which is bigger: g or 4?
g
Suppose 5*c - t + 27 = 0, 80*c - 84*c - 18 = -2*t. Which is greater: -2/29 or c?
-2/29
Suppose 0 = 2*n + 4*h + 1090, -5*n + 12*h = 7*h + 2785. Which is greater: -0.2 or n?
-0.2
Let i = 4/17793 + -21387206/88965. Let d = 3911/15 + i. Let a = -104574 - -104595. Is a at most as big as d?
False
Suppose -5*n + 18 = v, v + 18 = 3*n + n. Let x = -2682 + 2569. Which is bigger: v or x?
v
Suppose i + 4*i = -15. Let u be (20 - (1 - 3))*(-1032)/8772. Are u and i unequal?
True
Let c = -13736.72 - -13732. Do -1 and c have different values?
True
Let t be (-10)/(-148)*96/(-456). Is 2/7 smaller than t?
False
Let q = 113 + -113. Let a be (-2)/(24/(-9) - -2). Let u be -4 - (a - (-3 + 6)). Is q < u?
False
Let t(d) = -d**2 + 11*d - 21. Let j be t(8). Let i be (7/j + -1)*-9. Is 1/13 greater than or equal to i?
True
Let s(p) = 4*p - 33. Let u be s(12). Suppose n + u + 6 = 2*k, 3*k - 2*n = 31. Let v be (-2 - 52/(-8)) + 5. Which is bigger: k or v?
k
Let z = -795 - -806.971. Let w = 0.029 + z. Which is bigger: w or 0?
w
Suppose 5*a - 230 = 5*y, 2*y + 5*a + 496 = 404. Suppose 0*g = -4*g. Which is smaller: g or y?
y
Let n = -3748 + 3511. Does -231 = n?
False
Let p = 0.59 + -0.59. Suppose 0 = -5*k + o + 19, -5*o = 16 + 4. Suppose k*h + 0*h = 273. Is p > h?
False
Let w be 78/30 - 12954/4590. Let i = 3.028 - 3. Which is greater: i or w?
i
Let d be (-2958)/699 + 44/11. Let x = 53786/1165 - d. Is x greater than 46?
True
Suppose 3*w + 5*q + 0*q + 111 = 0, 159 = -4*w - 3*q. Suppose -6127 = 4*j - 4*n - n, -4*j - 6121 = -3*n. Let a = j - -2975/2. Is w greater than a?
False
Let b(j) = 26*j**2 - 8*j - 351. Let o be b(-11). Do 2883 and o have the same value?
True
Let i be 2294/(-1494) + 0 - (1 + 3). Let g = i + 17521309/11952. Let u = 1461 - g. Which is bigger: 1 or u?
1
Let h = 61 + -64. Suppose 0 = d + 4*d + 2*q - 44, -2*d + 3*q = -10. Let c = d - 10. Which is bigger: c or h?
c
Let d(n) = -n**2 + 15*n + 44. Let v be d(18). Which is smaller: v or -88?
-88
Let r(z) = -z**3 - 13*z**2 + 50*z + 19. Let t be r(-16). Let u be (-2)/t + 168/91 + -3. Let p(b) = 38*b**2. Let k be p(u). Which is smaller: 37 or k?
37
Suppose 2*z + 1104 = 2*a, -6*z = 4*a - 7*z - 2217. Let c = 501 - a. Is -54 less than c?
False
Let t be 377/(-117) + (-32)/18 + 2. Let v be (-13)/5 - (-6 - t). Is v greater than or equal to 52?
False
Let y = 93 + -56267/605. Let q = -489/35090 + y. Which is bigger: q or 1?
1
Suppose 0*x + 3*u = 4*x - 8, -2*x + 14 = u. Let b be (-2)/x - (-3289)/8385. Which is bigger: 1 or b?
1
Let n(q) = -q**3 - q**2 + 10*q + 57. Let x be n(-7). Is x at least as big as 279?
True
Let g = -0.06808 + -0.93192. Is g != 6.449?
True
Let p(y) = 12*y**3 + 52*y**2 + 16*y - 1. Let u be p(-4). Is 8/2897 < u?
False
Let b = -3008.71538 - -3008.7. Which is bigger: 3 or b?
3
Let b = -836/7 - -12778/105. Is b smaller than -35?
False
Let v be (-1785)/(-15) - (-1 - 1). Suppose -c = 545 - 451. Let i = c + v. Which is smaller: i or 0?
0
Let y = 7917.1 - 7917. Are -2/63 and y nonequal?
True
Let x = -14601/5 + 2861. Is -59 at most x?
False
Let f(q) = -q**3 + 4*q**2 - q + 4. Let z be f(4). Let m = 16642567/322 + -51685. Which is smaller: z or m?
m
Let g = -4596 - -4521. Which is smaller: g or -73?
g
Let s(l) = -170*l + 67. Let q be s(9). Let x be (0 - (-4)/22) + (-251370)/q. Is 172 smaller than x?
False
Let q be (-230)/((3/(-24))/(34/(-16))). Let k = -70435/18 - q. Do -2 and k have the same value?
False
Let t(g) = g**2 - 5*g + 4. Let b be t(6). Suppose 2*z + 49 = 3*n - 0*z, 0 = -3*n - z + 43. Suppose -j + 5*p = 4 + 7, -3*j = -3*p - n. Which is bigger: j or b?
b
Let o(k) be the second derivative of 31*k**3/3 - 76*k**2 + 11*k + 1. Let y be o(6). Do y and 220 have different values?
False
Suppose -5*r - 3*z + 35 = 2*z, 4*r - 18 = -2*z. Suppose -6*k + r*k = -8. Suppose -2*s + 10 = k. Is s >= 4?
True
Let n = -180823/1456 - 79/208. Which is bigger: -124 or n?
-124
Let l = -16022 + 15923. Is l at least as big as -98?
False
Let g = -56 + 110. Suppose 393*j - 6 = 391*j. Suppose 60 - g = -j*f. Which is smaller: f or -3?
-3
Let z = 39790 - 39081. Is z greater than 727?
False
Let n be ((-26)/65)/((-2)/(-30)). Let m be ((-10)/n)/(1*-99). Let k = 133/1485 + m. Which is bigger: k or 0?
k
Suppose s - 3*q - 6 = 0, -65*s - 4*q = -67*s + 8. Which is smaller: s or -1498?
-1498
Let t = -0.049 + -56.951. Let f = t - -37. Let v = f - -19. Is 20/13 less than v?
False
Suppose -5*s - 42 = -8*s - 3*x, -4*x = 2*s - 30. Let h(i) = -i**2 - 17*i - 34. Let q be h(-15). Let o be (-1 - -8) + (-12)/q. Is o >= s?
False
Let k = -21 - -85/4. Let c be 6/9*1428/8. Are c and k equal?
False
Let p = -8.4 - -19.4. Let y = p - 53. Let n = y + 59. Which is bigger: -2/9 or n?
n
Let u = 28.56 - 29. Let v = u - -0.34. Is -3.8 at most as big as v?
True
Let g = 3.57 + -0.35. Let j = g + -3.1. Is 0.01 equal to j?
False
Suppose 5*o - 3*w = -317, -2*o = -w - 27 + 154. Let s = 59 + o. Suppose -2*q = -115 + 119. Which is smaller: q or s?
s
Let v be (-16)/(54/(-66) + 1). Let c be 162/(-8) + v/32 + 3. Which is smaller: -21 or c?
-21
Let s = 2023.619 - -8.381. Is -1/4 at least as big as s?
False
Suppose 6*l - 5*t + 10 = l, -3*l + 4*t = 10. Let q(j) = -256*j**2 + 17667*j - 155. Let u be q(69). Does l = u?
False
Suppose -125*i - 3 = -122*i. Let x = -49 + 51. Suppose 5*g - x*g = a + 4, 3*a = -3. Is g >= i?
True
Let c be (1 - 2)/(2/(30/(-5))). Suppose h + 5*b = -4, -c*h - h - 4*b + 16 = 0. Is 7 less than or equal to h?
False
Suppose -3*d + 11 = -0*m - 5*m, 3*d - 9 = 3*m. Suppose 5 = d*k + 27. Is -5 less than or equal to k?
False
Let c = 427 - 360. Let t = c - 79. Which is smaller: t or -146/11?
-146/11
Let c = 424.4 + -421. Let k = 28 + 26. Let f = k - 55. Is c > f?
True
Suppose -1 = 3*b - 4. Suppose -4*w = 3*h + h - 140, w = 3*h - 121. Let p be ((-13)/h)/(46/18). Which is smaller: b or p?
p
Suppose -3*r + 2*t + 244 = 668, -4*r = 5*t + 550. Let s = 90 + r. Let q be 35/s*2 - (-4)/10. Is -2/69 greater than q?
True
Let j = 13460.83 - 13402. Let k = -59 + j. Let f = -195 - -196. Do k and f have different values?
True
Let s be 18/4*6/(-9). Let x be (-4)/(-3) + 1/s. Let w be 39/13*(6/171)/(-1). Is x != w?
True
Let y(j) = j**3 + 31*j**2 + 16*j - 54. Let c be y(-31). Let z = c - -286. Is z > -264?
False
Let x = -1504571/33 - -45589. Which is smaller: -3 or x?
x
Let z = -10525 + 10523.07. Which is smaller: z or 23?
z
Suppose -c - 15906 = -2*u, 27*u - 5*c - 7971 = 26*u. Is 7950 < u?
True
Suppose -5*r - 35 = 60. Let n = r - -13. Let l = -2 - n. Is 4 less than or equal to l?
True
Let j be ((-1628)/(-6105))/(1 + 10/6 - 2). Is 3/4321 <= j?
True
Let b = 0.357 + -0.467. Let r = 0.21 + b. Which is smaller: r or 229?
r
Let j = 4358.9 + -4359. Is -0.0491 >= j?
True
Suppose 5*o + 535 + 543 = 4*l, -5*o + 10 = 0. Let h be -2 - (2 - l/69). Which is greater: 0 or h?
0
Let r be ((-2)/(-4))/((-1)/6). Let j be (666/3456*12)/((-39)/(-12))*-4. Which is smaller: j or r?
r
Let k(c) = c**3 - 7*c**2 + 5*c - 35. Let m(y) = -y**3 - 5*y**2 - 13*y - 29. Let d be m(-4). Let r be k(d). Which is smaller: 1 or r?
r
Let p = -67.42 + 156.42. Is 21 less than p?
True
Let x = 4711 - 13576. Let p = -8924.89 - x. Let z = 60 + p. Is z <= 1/3?
True
Suppose -n + 186 = 5*g, -n - 11 = -12. Let x = -60 + 97. Are x and g equal?
True
Let u = -1093/2200 + 63/200. Let z = 23 + -4. Which is greater: z or u?
z
Let p = 0.0306 + -6