pose 2*r + 194 = 4*f, 3*r + 56 + 226 = -3*f. Let a = r - -136. Suppose 4*g = -13 + a. Is 7 equal to g?
True
Let o be (-14)/(-4)*2492/49 - -2. Is o at most as big as 182?
True
Let v = -45 - -31. Let j = v + 31. Let c = -16 + j. Which is greater: c or -1?
c
Let o = -1364 - -1318. Which is smaller: 0.4 or o?
o
Let g = 2.712 - 1.712. Is g at least as big as 12/23?
True
Let i be (-3)/((-81)/(-6) + 3 + -9). Do 4.17 and i have the same value?
False
Let u be (-246)/(-32) - -5 - 1/(-4). Is 14 != u?
True
Let b be (-5)/(-30)*201 + -1. Suppose -123 = -6*o + 69. Are o and b non-equal?
True
Let w(m) = -m**3 - 12*m**2 - m - 3. Let i be w(-12). Let t be 2/(-30)*(12 - i). Let b = -2.4 - -2.4. Is t greater than or equal to b?
False
Let i(f) = -2*f**3 + 5*f - 2. Let r be i(-5). Suppose -3*b - 2*j + 193 = 0, 3*b + 40 = 3*j + r. Suppose -x = -4*x - b. Which is greater: x or -22?
x
Suppose f - 4*t - 22 = 0, -f + 3*t = 4*t + 3. Is f > -1?
True
Let m = 1153/4 - 291. Let u(v) = v + 4. Let k be u(-6). Is k greater than or equal to m?
True
Let g = -80 + 79. Suppose 3*c + 0*f = -f - 115, c + 47 = 4*f. Let o be 3/c*19 + 1. Is g less than or equal to o?
True
Let p(v) = v**2 + 3*v - 27. Let o be p(-7). Let w be (-4)/(80/(-15)) - o. Are 2/3 and w unequal?
True
Suppose -9 = -4*a - 5*q + 6, 17 = 4*a + 3*q. Suppose a*w + 2 = 3*w. Does w = -22?
False
Let y = 27 + -21. Let o be 4/y*27/6. Is 10 less than o?
False
Let g = 487 + -670. Is g greater than -185?
True
Let c be ((-4)/3)/(6/(-27)). Suppose d - 4*d = c. Let q be (d/(-6))/(148/24). Is q > 1?
False
Let b = 12 - 32. Let s = b - -20.2. Let z = 2.98 - -0.02. Is z at least s?
True
Let y = -1254.02 - -1244. Let i = 10 + y. Let c = -223/756 - -1/108. Which is smaller: i or c?
c
Let u be -4*(-2 + 0 - (-6)/4). Which is smaller: 14/11 or u?
14/11
Let z(k) = -3*k**2 + 2*k + 2. Let n(r) = 2*r**2 - r - 1. Let c(m) = -5*n(m) - 3*z(m). Let u be c(-1). Which is smaller: -4 or u?
-4
Let v(b) = 19*b + 47. Let x be v(-4). Which is smaller: x or 0?
x
Let r(i) = 856*i + 6. Let m be r(3). Let d be m/645 - 2 - (3 + -1). Are -1 and d equal?
False
Let x be (-3 - -2)*1/(-5). Let y = 0.018 + -0.518. Is x at most as big as y?
False
Suppose -5*s = -2*c - 124, 76 + 26 = 4*s - 3*c. Suppose -w - 4 = -1, -m - 4*w - s = 0. Let n = -9 - m. Which is smaller: n or 11/5?
11/5
Let b = -10162 + 10142. Let f = 17/8 - 69/40. Which is bigger: b or f?
f
Let r be 3*(2/(-12))/(-1). Let z = 52 + -54. Is r greater than z?
True
Let q be 6 + 4/(-14) + (-12312)/2156. Is -1 less than q?
True
Suppose 4*b - 4 = -4*r - 20, -16 = 4*r. Are 4/129 and b non-equal?
True
Let p be 4/18 - (-3 + 145/45). Let l be 4 + (-4)/10 + 104/(-40). Which is greater: l or p?
l
Let k = 19616 - 1314310/67. Let g = k + -2/469. Suppose -2*h - 6 = -4. Which is greater: g or h?
g
Let d be ((-2)/(-16))/(13/1209). Is d equal to 11?
False
Let i(x) = x**3 - x**2 - 2*x + 13. Let g be i(0). Let r(d) = -5*d + 26. Let a be r(g). Are -38 and a unequal?
True
Let r = -11 - -15. Let z = 7 - r. Which is greater: 0 or z?
z
Let a = -356584/309 - -1154. Which is greater: a or 0?
a
Let t(q) = 11*q + 85. Let p be t(-8). Which is smaller: -0.02 or p?
p
Let b be -4 - 1904/(-126)*2/8. Do b and 110 have the same value?
False
Suppose -135 = -w - 4*h, -3*w + 3*h = 2*w - 652. Let m = 125 - w. Suppose 3 = -5*g - 7. Which is bigger: m or g?
g
Let q be 214/110 + 10/(-25). Let m = -671287/462 + 8729/6. Let w = m - q. Is 1 >= w?
True
Suppose 704 = 5*k + i, 19 - 11 = 2*i. Is k bigger than 141?
False
Let z(t) = t**2 + t + 1. Let d(f) = -3*f**2 - f - 5. Let x(y) = -d(y) - 4*z(y). Let v be x(-2). Suppose -v + 0 = 3*r. Is r at most -1?
True
Suppose 5*k = n + 109, -2*k + 4*n = 3*k - 121. Let y = 7 - k. Let f be (-2)/y - (10 - 9). Is -2 less than f?
True
Suppose -7*u + 431 = -521. Is u at least as big as 137?
False
Suppose -5*d = -5*w - 5, 5*w - 68 + 81 = d. Suppose 0*u + 309 = 3*u. Let a = u + -519/5. Which is greater: a or d?
a
Let f be ((-16)/5)/(3/(-195)). Let d be f/(-56) - (-4)/(-14). Is d greater than or equal to -4?
True
Suppose 3*a = -2*y + 36, 0 = a + 4*a. Let k(f) = -7*f - 66. Let u be k(-12). Is y not equal to u?
False
Let r = 0.924 + -0.024. Let f = r - 2.9. Which is greater: 2.2 or f?
2.2
Suppose 0 = 4*y + 183 - 167. Is -8 at most y?
True
Let a = -131.02 - -131. Is a less than 2?
True
Let q = 457 - 682. Is 1 <= q?
False
Let s = 0.03 + 0.01. Let l = -169 - -169. Which is bigger: l or s?
s
Suppose -180*a + 175*a - 130 = 0. Is -24 at most as big as a?
False
Let r = -2256/115 - -3938/23. Let a = r - 151. Let c = 3009 - 3007. Is a >= c?
False
Let b = 5/6 - 1/12. Let j be 0*(-1)/(-4)*2. Suppose -4*h = -4*i + h, j = 4*h. Which is smaller: b or i?
i
Let c = 2102 - 2162. Is c less than -0.08?
True
Suppose -4*i - 5 = -61. Let m = i + -17. Is m bigger than 1?
False
Suppose -i - 3 = -3*j - 7, 4*j + 5*i = 1. Which is greater: 0.001 or j?
0.001
Let j(f) = -f**2 - 8*f. Suppose -i - 4*s = 5, 4*i + 2*s = 5*s - 20. Let v be j(i). Is v less than or equal to 12?
False
Let z be 298/62 - (-12)/(-4) - 2. Which is bigger: z or -1?
z
Let g = -12707/6 + 2112. Suppose 11 = -3*y - l, 0 = 4*l - 9 - 7. Which is bigger: y or g?
y
Let j be (-4 - -3)*5 + 6. Which is smaller: -2/2693 or j?
-2/2693
Suppose 4*m = 4*h - 440, 30*h = 29*h + 5*m + 98. Which is smaller: h or 112?
112
Let h = 717 + -2159/3. Let i(z) = z**2 + 2*z + 0*z**2 - 1 - 2*z**2. Let d be i(3). Which is smaller: d or h?
d
Let x = 0.13 - 0.25. Let h = -0.08 + x. Which is smaller: h or 0?
h
Let o = 283252/37 - 7655. Are o and 0 unequal?
True
Let z = -10.91736 - 0.05464. Let t = z + -0.028. Which is bigger: 2 or t?
2
Let f be (27/45)/(-1 - (-11)/10). Suppose -f = 7*j - 3*j - z, 5*z + 16 = -3*j. Let i = -19/4 + 4. Which is greater: i or j?
i
Suppose -483*d + 489*d + 3492 = 0. Are d and -584 equal?
False
Let n(u) = -4*u**2 - 12*u + 7. Suppose 2*j - 1 = 9. Let h(z) = -z**2 - z. Let p(b) = j*h(b) - n(b). Let w be p(5). Are w and 3 unequal?
False
Suppose -2*r + 4*r + 6 = 0. Let v = -907/294 - -45/49. Which is smaller: r or v?
r
Let r(c) = -c**3 + 10*c**2 - 20*c + 176. Let m be r(9). Is m at least as big as 77?
True
Suppose a - 5*z = -2, 7*z - 4*z = a. Suppose 0 = 4*q + 2*t - 16, -5*q - 1 = -3*t - 10. Suppose 11*f - 30 - q = 0. Are a and f unequal?
False
Let g = 1272 - 1942. Let f = -304 - g. Let z be -2 + -3*(-248)/f. Is z at most as big as 1?
True
Let c = 771 + -770.99. Which is greater: 3 or c?
3
Suppose -3*d + 2*p + 194 = 0, -4*d + 3*d = -p - 64. Let g = 63 - d. Which is bigger: g or 5?
5
Suppose 4*l - 5*q - 17 + 57 = 0, -5*l - 2*q - 17 = 0. Suppose -5*y + 5*i - 20 = 3*i, 12 = -3*y + 4*i. Is l < y?
True
Suppose 57*x - 801 = 48*x. Let y = -96 + x. Suppose -40 = 3*g + 2*g. Are g and y equal?
False
Let w = 191 - 214. Is w at least -25?
True
Suppose 9*g - 5 = 8*g. Suppose 4*v - 51 = -g*h + 98, -112 = -3*v - 4*h. Suppose -y = 2*y + v. Is -13 less than or equal to y?
True
Let g(s) = 2*s**3 - 27*s**2 + 14*s - 37. Let o be g(13). Is o bigger than -71/3?
False
Let g = -3 - -5. Let d = 0.233 - 0.233. Let w = g + d. Is w at most as big as 0.1?
False
Let s = 3.136 + -2.133. Let x = -0.003 + s. Which is smaller: -0.19 or x?
-0.19
Let r = -86.94 - -87. Let z = -0.2 - 0.8. Is z less than or equal to r?
True
Let p be 18/27*-3 + 3/3. Let f = -5 - -1. Is f != p?
True
Suppose u = -8*u + 1071. Which is smaller: 120 or u?
u
Let n be (3/2)/(9/(-36)). Let z(x) = -9*x**2 - 2*x + 1. Let r be z(1). Let u = 6 + r. Are u and n equal?
False
Let q = 110 + -109.33. Let u = q + -0.5. Let z = 8/21 - 2/21. Which is bigger: z or u?
z
Suppose 0 + 12 = 4*p. Suppose -m - 19 = -p*y, -3*m = -2*y + 6 + 9. Let z be ((-14)/(-77))/((-4)/y). Is z at least as big as 1?
False
Let m(b) = b**3 - 12*b**2 + 9*b + 21. Let o = 12 + -1. Let p be m(o). Which is bigger: -15/7 or p?
p
Suppose -g - 417 = -4*x - 6*g, 4*x + 4*g - 420 = 0. Suppose -11*t - x = -5*t. Is -14 <= t?
False
Suppose 9*x + 16 - 7 = 0. Which is smaller: x or 13/73?
x
Let c = 485 - 473. Does 142/11 = c?
False
Let i(a) = -320*a**2 - a + 5. Let w be i(1). Which is smaller: w or -315?
w
Suppose 0 = -3*w + 2*o - 234 + 60, 243 = -4*w - o. Is -65 > w?
False
Suppose 19*d - 586 = -2524. Is -928/9 less than or equal to d?
True
Suppose -t + 3*d = 29, 0*t + 5*d = -3*t - 17. Suppose 0 = -3*q + 7*