-114))/(-1). Suppose 0 = x*l - 415 - 585. Which is bigger: l or 127?
127
Let y be (0 - 2) + (-284)/4. Let v = -79863 + 79788. Is v > y?
False
Suppose 4 = -3*o + 5*t, 5*o + 4*t + 63 = 7. Are 0.016 and o equal?
False
Let f(v) = -3*v**2 + 16*v + 17. Let z be f(6). Let g(k) = 13*k - 28. Let u be g(z). Which is greater: 36 or u?
u
Suppose -9*r = 3*g - 13*r - 2066, 2 = 2*r. Suppose g = 3*d + 90. Which is smaller: 0.1 or d?
0.1
Let d = 11328 - 11327. Are d and -1/167 unequal?
True
Suppose -9*r = 3*r + 1824. Let b = r + 175. Which is bigger: 20 or b?
b
Suppose 6*c = b + c + 18, 4*b - 4*c = -24. Let p be (b - -1)*(-3)/2. Suppose h - 3 + p = 0. Which is smaller: h or -1/29?
-1/29
Let l = 71370.9 + -71371. Let k = 6.94 + 0.06. Let i = -6.9 + k. Is l bigger than i?
False
Suppose 4*x + 32 = 2*j, 4 = j - 23*x + 24*x. Let o be j + -8 + (2 - 1). Is 15/44 greater than o?
False
Let h = -0.22 + 1.22. Let f = 7.5 - 11. Which is smaller: h or f?
f
Suppose 548*c - 554*c = 228. Is -197 <= c?
True
Let w be 122/(-1281) + ((-10481)/(-21) - 3). Which is smaller: w or 2481/5?
w
Let m = 427 + -429.69. Is -8 bigger than m?
False
Let m = -222/5 + 44. Suppose -94 = w - 90. Let n be (w/(-6))/(8/48) - 5. Is n equal to m?
False
Let m(f) = -3*f**2 - 12*f + 309. Let o be m(10). Which is bigger: -117 or o?
o
Let l = -12248 + 12246.6. Is -0.17 bigger than l?
True
Let i = 11 - 15. Let t be 0 + i/(-6) + 96/72. Let s be ((-2)/(-3))/(t/(-1)). Is s greater than 0.17?
False
Let z = 146 + -152.9. Let b = -8.1 - -8.1. Which is greater: b or z?
b
Let w be -4 + (-1)/(2/60). Let r = w + 34. Suppose -x - 5*x - 18 = r. Are x and 1/8 unequal?
True
Let q = 1520492 - 1520568.4607. Let w = q - -76.5. Is w greater than or equal to -2/3?
True
Let w(a) = -a**3 + 44*a**2 + 51*a + 92. Let p be w(45). Is p greater than or equal to 366?
False
Let r be 240552/(-312)*(-2)/36*2. Is 87 greater than or equal to r?
True
Let h(r) = r**2 + r + 2. Let c be 10 - (-7 - -4 - -4). Let b = c + -14. Let n be h(b). Is 22 >= n?
True
Let c be ((-3)/(-3))/((-2)/46). Let g(k) = k**2 - 29*k + 5. Let o be g(29). Let v = o + c. Is v >= -18?
True
Suppose -2*p - 5*x - 13 = -p, 4*x + 37 = 3*p. Suppose -1192 = -d - p*d. Let i be (-8)/27*(-2 + d/76). Is i at most 0?
False
Let q(p) = 229*p - 8199. Let w be q(38). Which is greater: w or 508?
508
Let o(h) = -13*h**3 - 9*h**2 + 2*h - 2. Let p(c) = -14*c**3 - 10*c**2 + 2*c - 3. Let s(n) = -6*o(n) + 5*p(n). Let t be s(2). Which is smaller: t or 74?
t
Suppose 4*z - 6 = -3*c, -c = -3*z - 3 + 1. Suppose z*r - r - 76 = 0. Let g = r - -76. Which is smaller: g or 1/107?
g
Let n = 0.0621 + -0.0046. Let j = -0.0195 + n. Let q = -2 + 2. Are j and q equal?
False
Suppose -16*q + 19*q - 60 = 0. Let n be ((-7)/105*-6)/(1/55). Let u(b) = b**3 - 23*b**2 + 23*b - 1. Let a be u(n). Which is bigger: a or q?
a
Let w be 348/(-27)*(-2 - -13). Let a = -142 - w. Suppose 35*s - 43*s = 0. Is a <= s?
True
Let a(u) = 3*u**2 + 14*u - 8. Let o be a(5). Suppose 13*c + o = -97. Which is smaller: -20 or c?
-20
Let m be (((-12)/(-7))/(-3))/(-26). Let b(w) = -3*w**2 + 2*w**2 - 18*w + 3 + 2 + 15*w - 6. Let f be b(-3). Is m bigger than f?
True
Let q be 20/(-25)*(-1 - 34/(-4)). Let b be (-132524)/(-17440) - (-3 + 1 + 3). Let p = -1/872 - b. Is p at most q?
True
Let m be (-3)/((9/(-15))/1). Suppose -40 = -m*b + 3*b. Suppose -b = 10*i - 8*i. Is -12 < i?
True
Suppose -8 = 26*l - 8. Let r be 18/(-27) - (-2)/(-6). Let a be r/3*(-54)/2682. Is l bigger than a?
False
Let d(q) = -10*q + 42. Let f be d(5). Let a be (-1)/(-3) + 82/(-12). Let l = f - a. Which is bigger: -1 or l?
-1
Let w = 0.031 - 0.097. Let r = w - -0.032. Let n = r - -1.134. Which is smaller: n or -1?
-1
Suppose 16 = 31*p + 16. Suppose p*w + 13 = 13*w. Is -9/52 at most w?
True
Suppose -2*o + 3*o = 86. Suppose 7*a + 5*s - 665 = 0, -8*s = 2*a - 5*s - 212. Which is smaller: o or a?
a
Suppose 8*j - 17 - 15 = 0. Suppose -4*r = -6*r + p - 63, j*p = -2*r - 38. Suppose 2*g = -0*g - 58. Does g = r?
True
Let t = 5236373/117 - 44755. Which is bigger: 0 or t?
t
Let j be (-4 - (-1 + -2))*(5 + -9). Suppose -3*n = 3, -j*n + 68 = 3*g - 375. Is 149 <= g?
True
Let h = -733525621/2196 - -1336137/4. Let g = h - 56/9. Suppose s - 11 = -2*a, 0 = 2*s - 4*a + 6 + 12. Is s not equal to g?
True
Suppose 0*d + 5*c + 1 = 2*d, -5*d = 2*c + 12. Let i be d/((3/(-4))/(414/(-48))). Are -22 and i equal?
False
Let m = -73/252 - 5/36. Is -103 < m?
True
Let h be (0 - (2 + -6)) + -2. Suppose 81 = h*j + j. Suppose 5*m - 141 = 3*d, -5*d + 22 = m + 5. Is m >= j?
True
Let b = 149 - 133. Let i be (b + -15)/(-1*(-1 + 2)). Which is bigger: i or 2/747?
2/747
Suppose g = s - 11, -10 - 5 = g + s. Let y be (3 + g)*3*(-3)/6. Suppose 0*f + f - 13 = 0. Is y at least as big as f?
True
Let q(o) = -10*o + 251. Let r be q(23). Let s be (6/r)/(1098/(-6)). Which is bigger: s or -1?
s
Let a = 5 - 75/2. Let h(m) = 3*m**2 + 7*m - 54. Let j be h(-11). Suppose 2*t = j - 296. Is a less than or equal to t?
True
Let j = 195.3 + -204. Let x = j + 8.6. Which is greater: x or -11.3?
x
Let l be (-23 - 1) + 9/3. Let h(f) = -f**2 + 76*f + 471. Let k be h(-6). Is l equal to k?
True
Let z(l) = l**2 + 6*l + 16. Let x be z(-6). Suppose -2*g + 26 = -x. Let w be (-12)/g - 1216/28. Is w smaller than -45?
False
Let l(z) = 16*z**2 + 22*z - 445. Let w be l(17). Is w smaller than 4551?
False
Let n = 0.352 + -6.222. Let m = n - -0.87. Is m > -2?
False
Suppose 21*d - 1 = 20*d. Suppose -5 - d = -5*c + 3*w, 2*c - 5*w - 10 = 0. Is 8/11 < c?
False
Let u = 192.473 - 0.473. Let h = 192.2 - u. Which is bigger: -0.38 or h?
h
Let y be ((8/(-6))/(-4))/((-7)/(-546)). Suppose f + y = 3*f. Let j = 30 - f. Which is greater: 14 or j?
j
Suppose 3*m = 5*l - 39 + 46, 4*m = -l - 6. Do m and 1/813 have the same value?
False
Let c = -2119894/9 - -235235. Are c and -308 non-equal?
True
Let n be 2*215/150 - 4/(-30). Suppose -n*c - 55 = 59. Let y = 25 + c. Is y greater than -13?
False
Let j = 0.07624 - -1.92376. Is -87.7 equal to j?
False
Let j = -16904/3259815 + 10/2977. Which is smaller: 1 or j?
j
Let n = 209.0211 - 0.0211. Let f = n - 209.03. Is -18 at least f?
False
Suppose 17849*i - 17847*i - 676 = 0. Suppose 2*a - 15*a = -4381. Which is smaller: i or a?
a
Let b(q) = -q**2 - 10*q + 42. Suppose 4*g - 28 = -2*u + u, 3*g - 21 = u. Let x be b(g). Which is greater: x or -2?
-2
Let j = -24 - -23. Let c = 2676 + -575341/215. Which is smaller: c or j?
j
Let o = 1512 - -261. Let z = -439701/248 + o. Is z at most -1?
False
Let g = 33 + 147. Suppose 6*p + 17 = 41. Suppose t + p*t = -g. Is -37 equal to t?
False
Let x be 12*4/(-208) - 4*8/(-416). Suppose 4*v = n - 0*v + 119, -5*v = n + 119. Is n >= x?
False
Let f(s) = s**3 + 86*s**2 - 177*s - 171. Let j be f(-88). Is j >= -83?
True
Let z = 1 + -1.07. Let b = -457 + 459. Suppose 8 = 3*v + i, 0 = v - b*i + 14 - 5. Is v smaller than z?
False
Let h = 127497/106 - -196/53. Is 1207 less than h?
False
Let v = -45 - -76. Let c = 37 - v. Suppose b = c*b + 25. Which is greater: b or -4?
-4
Let c = 18 + -25. Suppose 5*u - 2*w + w = 403, 0 = -u - 4*w + 68. Suppose 2*m - 22*m - u = 0. Which is smaller: c or m?
c
Suppose 5*a - s + 9 = -0*s, -2*a - 4*s = 8. Let v = -1035 + 1044. Let j be -14 + v + (-66)/(-15). Is j greater than or equal to a?
True
Suppose 0 = 5*a - 2*a - 3. Let i be (0/(-2 + 3))/a. Suppose -4*z + 66 = 5*t, 2*z - 6*t + 2*t - 46 = i. Which is smaller: z or 17?
17
Let c = 9 + -6. Let i be -1 - c/(18/8). Let y be ((-6)/20*-10 + -6)*1/3. Is y greater than i?
True
Let p = 35.2 + -15. Let x = p - 20.17. Is x less than or equal to -3?
False
Suppose 0 = -2*z + 2, 2*z - 188 = 2*r - 966. Is r <= 395?
True
Let n(b) = -b**2 - 2*b + 8. Let u be n(-6). Let p = -48601 + 48607. Which is smaller: u or p?
u
Let j(h) = h**3 - 4*h**2 - 2*h + 10. Let n be j(4). Let r be ((3 - (2 + 16)) + n)*2. Which is bigger: -24 or r?
-24
Suppose 14*l = 13*l + 8. Suppose -9*y = -1 - l. Which is smaller: -3/20 or y?
-3/20
Let u(k) = 9*k - 169. Let q be u(19). Suppose -21*z + 17*z = q*p + 46, -51 = 2*p + 3*z. Let i be 126/(-4) + 1/(-2). Is i smaller than p?
False
Suppose -j + 5*o + 8 = 0, -5*j + j + 16 = -4*o. Suppose 2*k = 4*z + 330, -j*k + 171 = -5*z + 3*z. Let d = z - -46. Is d at least -36?
True
Let c = -1610 + 1804.4. Let q = 194 - c. Which is smaller: q or 2/