+ -591. Is w <= j?
True
Let b = -28999 - -29000. Is 0.1089 smaller than b?
True
Let r = -3745 - -3751.5. Let k = -0.17 - 6.83. Let g = r + k. Is g > 10?
False
Let x = -101 - -103. Suppose c = -k + x*c - 5, -13 = -k - 5*c. Let b be (-3)/(-9)*k/16*-3. Which is smaller: b or -1?
-1
Let m = -3032.1 - -2762. Let z = m - -267. Which is smaller: z or 2?
z
Let w = -0.2 + 0.2. Suppose 0 = 6*i - 10*i + 8, 2*i = 4*l - 704. Is l at most w?
False
Suppose 15*g - 10*g - 2*w = -1634, 4*w = -4*g - 1324. Let f = g + 297. Which is smaller: f or -26?
f
Let l be -1*14190/225 + 2/3. Is l equal to 2/7?
False
Let n = -27 - -66. Suppose -i + 36 = m, -m - 7 = 2*i - 78. Let l = i + 4. Is n less than or equal to l?
True
Let r = -34467/38 - -907. Which is smaller: r or -0.48?
-0.48
Suppose 9*k = -7 + 223. Let s = -771 - -795. Is s >= k?
True
Let d = 211 + -91. Suppose 8*w + d = 12*w. Let z be w/20*10/3. Which is smaller: z or 1?
1
Let h = 161076697/2050 - 78574. Which is bigger: 0 or h?
0
Suppose -2 = -2*o + 12. Suppose -31*p = 52 - 300. Let i = p - o. Is 4/23 > i?
False
Let m = 1908/527 + 7474660/4743. Let r = -1583 + m. Is 1 less than r?
False
Let j = 1.8611 + -0.7211. Which is greater: 0 or j?
j
Suppose 6*s - 2 = -152. Let q = s + -8. Suppose w = -2*v - 44, -3*v = w - 2*v + 39. Are w and q equal?
False
Let q = 49346197/1413 - 34923. Let x be 7 + ((-126)/14 - (-3 + 2)). Which is bigger: x or q?
q
Suppose 242 = -4*u - h, -62*h = 3*u - 60*h + 179. Which is smaller: -54 or u?
u
Let c = 0.59 + -0.65. Let g = c - 1.64. Let y = g + 1.8. Which is bigger: y or 45?
45
Suppose -354*t - 488 = -293*t. Does -77/9 = t?
False
Let j(p) = -3*p**2 - 238*p + 472. Let c be j(-81). Is c greater than or equal to 273/4?
False
Suppose 4*c - 5*u = 108, -4*c + 108 = 3*u + u. Let x(a) = -a**2 - 8*a + 50. Let g be x(-11). Suppose g*k = 322 + 171. Which is smaller: k or c?
c
Let k be (1 + (-1)/2)*-160. Suppose -13*n = 9*n - 20328. Let y = 843 - n. Is k equal to y?
False
Let g = -8 + 7.3. Let o = 153823/6 - 25708. Let d = -71 - o. Which is smaller: g or d?
g
Let r = -148 + 156. Let p be r/64 - 66/208. Do 0 and p have the same value?
False
Suppose -3*x - 1485 = 4*q, -250 + 1260 = -2*x + 4*q. Let k = x - -875. Let h = k + -12410/33. Is 1 at most h?
False
Suppose -2*a + 16*n - 17*n + 895 = 0, -5*a = 5*n - 2255. Which is bigger: 4878/11 or a?
a
Let q(w) = 2*w**3 - 12*w**2 - 25*w + 53. Let z be q(8). Does 30 = z?
False
Let l(j) = -j**2 + 16. Let b be l(4). Suppose 4*n - 17 + 1 = b. Suppose 4*m = -8, 5*i - 4*m = 4 + n. Is 3/13 at most as big as i?
False
Let r = -0.043 - -0.143. Let s be (2*(3 + -4))/((-16)/(-52)). Is s equal to r?
False
Let y = -72.6 - -12.6. Let c = -97 - y. Let m = -42 - c. Which is smaller: 0 or m?
m
Let u = -16281 - -28510. Suppose -t - u = 337. Let g be (-1 + 1/2)/((-61)/t). Are g and -103 nonequal?
False
Let o be ((-52)/20046)/(10/(-6)). Let w = 1583 - 1583. Is o greater than w?
True
Let j = 160 + -159.817. Let t = 0.817 + j. Is 123 != t?
True
Let w = -4163 - -4174. Which is smaller: -147 or w?
-147
Let g be ((-86)/172)/((-1)/2). Is g at least 14/27?
True
Let c(r) = -r**3 + 18*r**2 - 26*r - 109. Let a be c(16). Let m be ((-54)/2)/((-3)/2). Let p = a + m. Is p >= 5?
True
Suppose 0 = 4*k + 33 - 5. Suppose -7*j + 18*j = 1144. Let d be 759/(-117) + 16/j. Which is greater: k or d?
d
Let g be -6*1*220/25*-5. Suppose -18*m + 16*m = -l - 522, g = m + l. Is m bigger than 260?
True
Let z = 1598 + -2289. Let y = z - -697. Which is smaller: y or -2/27?
-2/27
Let r = 30316 + -30315.87. Is r equal to -2.65?
False
Suppose -10 = 7*f - 9*f. Suppose -2*x + 5*c = -72 + 24, -f*x - 2*c = -62. Suppose -58 - x = 3*t. Is t <= -24?
True
Suppose -13152 = 44*b + 9200. Which is smaller: b or -507?
b
Let l = 51 + -34. Let u = l - 16. Suppose -4*g - g - 2*d = 12, -d - u = 0. Which is bigger: g or -9/5?
-9/5
Let u be -8*(-3)/(24/(-322)). Let f = 244 + u. Which is smaller: f or -76?
f
Let d(b) = b**3 - 28*b**2 - 94*b + 31. Let p be d(31). Let c be 1 - (1388/288 + -1). Let j = c - -22/9. Which is smaller: p or j?
j
Let y = 8.61 + -3.33. Let r = y + -4.98. Which is greater: -1/98 or r?
r
Let u(x) = -x**3 + 4*x**2 + 1. Let j be u(2). Let b be 1/3 - 30/j. Which is smaller: b or -6?
-6
Let z be ((-4)/(-5))/((-9)/(1260/(-14))). Do z and 7 have different values?
True
Suppose 3*t - 3178 = 1650 + 2318. Do 2383 and t have the same value?
False
Let y be 27/6*8/12. Suppose -3 + 11 = 2*t, y*t = 3*a + 9. Suppose 2*f + 4 = f, 2*f = 3*v - 17. Which is smaller: v or a?
a
Let x = -200.51 - -192.7. Let s = x + 0.01. Is s at least -1/2?
False
Suppose -6*b + 13*b - 21 = 0. Let i be 6/9 - (-1)/b. Let n = -2235 + 297253/133. Is i greater than n?
True
Let o be (-3)/(3/2*-1). Suppose o*n = -2*n + 4. Let z be -79 + (-550886)/(-6802) + -2. Is z < n?
True
Let b = 9400 + -9285. Is 100 at least as big as b?
False
Suppose 3*o = -2*m - 98 + 22, -5*m = 2*o + 69. Let q = o - -25. Suppose q*r - 6*r = -9. Is r equal to 1?
False
Let u(s) = 273*s**2 - 439*s - 2679. Let p be u(-6). Which is greater: p or 9781?
p
Let y(v) = -v**3 + 24*v**2 + 56*v - 103. Let t be y(26). Which is smaller: t or 34/303?
34/303
Let l = -34616/7 - -795055/161. Which is bigger: l or -7?
l
Let x be (-6)/(-16) - (36/(-270) + 373934/736080). Which is smaller: 0 or x?
0
Let r(d) be the first derivative of 7*d**3/3 - d**2 - 8. Let g be r(1). Which is smaller: g or -1?
-1
Let d = 7328 - 7419. Which is bigger: d or 0.3?
0.3
Let g be (119/2)/(2 + (-9)/6). Let b be (g - -1)*((-15)/25 - -1). Let q = 28 - b. Which is bigger: -37/2 or q?
-37/2
Let j = -11967 + 47867/4. Which is smaller: -85/61 or j?
-85/61
Let v be ((-1)/(-9))/((-26)/(-42)). Let l = 227 + -2953/13. Let a = v - l. Are a and -2 equal?
False
Let c(g) = -2*g**2 + 18*g - 4. Let t be (-15)/(-3) - (-8 - -4). Let r be c(t). Let q be (-1)/(-2 + (-3 - r)). Which is greater: 5/13 or q?
q
Let h = -25 - -27. Suppose u - h = -3, -84 = 4*l - 4*u. Let w = 1473 - 1473. Is l < w?
True
Let i(h) = 2*h**2 - 11*h - 20. Let x(r) = 3*r**2 - 12*r - 24. Let n(s) = -4*i(s) + 3*x(s). Let j be n(-7). Let q be 29/73*-5 + 2. Are j and q equal?
False
Let p = 641/49770 - -1/711. Let x = 242 + -237. Suppose -2*s = 3*a, -x*a = -0*a - 4*s. Is p equal to a?
False
Let n(q) = -20*q + 12. Let r be n(-9). Let v = -146 + r. Is 1 smaller than v?
True
Let k be (-226)/5763 - 761/(-25908). Which is greater: 0 or k?
0
Let b(u) = u**3 - 11*u**2 - 11*u - 9. Let z be b(12). Let x = -18 + z. Let m = 43/3 + x. Does m = -25?
False
Let r = 65.84 + 9.26. Let g = -65.1 + r. Which is smaller: g or 0.16?
0.16
Suppose -140*i - 723 = -12623. Suppose -5*z = 319 + 101. Let o = z + i. Which is smaller: o or -1/51?
-1/51
Let p(g) = 40*g**2 + 58*g + 53. Let j be p(-8). Is 2150 <= j?
False
Let f = 1/106 + -82/265. Which is greater: f or -1/529?
-1/529
Let u = -7.73 - -3.2. Let j = -5.53 - u. Is j greater than -250/9?
True
Let a = 712/15 + -17119/105. Is -115 equal to a?
False
Let m be (21/(-6))/((-1)/(-14)). Let q(k) = k - 76. Let d be q(26). Let z be (d/(-6))/((-19)/114). Which is smaller: z or m?
z
Let m = 7841 - 7840. Let k = 0.27 - 0.3. Let s = k + 0.04. Which is greater: m or s?
m
Let i(h) = -419*h + 4213. Let x be i(10). Let u be -9*(-3)/(18/14). Let m = u - -1. Is m bigger than x?
False
Suppose 5*o + 2*y = -7, 65 = 2*o + 2*y + 75. Which is smaller: o or 29/124?
29/124
Let k(f) = -4*f - 107. Let r be k(0). Let n = r - -109. Let i be (-2044)/(-8631) + 2*n/(-18). Is i less than or equal to 0?
False
Suppose 2*y - 431 + 443 = -2*z, z = -3*y - 6. Which is smaller: -14/257 or y?
-14/257
Let c = 1.99 - 2. Let n = -172.9 - 527.1. Let u = -702 - n. Which is greater: c or u?
c
Suppose -4*g + 35 + 85 = 0. Let u(f) = 3*f - 2*f + g - 16. Let h be u(-20). Is h at least 4/7?
False
Let b = -1467 + 1429. Suppose -5 = -2*o - 25. Is o <= b?
False
Suppose -4*x + 10*x + 30881 = -28477. Is -9893 greater than or equal to x?
True
Let j(d) = -148*d + 1201. Let n be j(16). Does n = -1172?
False
Suppose 42 = 77*r - 76*r. Let b(y) = -39*y**3 - 1. Let l be b(1). Let w = l + r. Which is greater: w or 1/18?
w
Let k(j) = 116*j + 768. Let b be k(-15). Is b != -969?
True
Suppose 36 = u - 5*f + 10, 2*u + f = 19. Suppose -3*w - u = 5*c, -4*w = -7*c + 12*c + 13. Is -13/15 at least c?
True
Let i = -4988 - -4599. 