. Suppose 0 = -5*f + h*j - 10, -f + 0*f - 2*j = -11. Is -1/11 smaller than f?
True
Let g = -0.1 - -0.03. Let i = 3.07 + g. Let w = -3.2 + i. Which is smaller: 8 or w?
w
Let r = 0.5 + -0.7. Let g = 5 + -4.8. Let d = r + g. Is -1 less than d?
True
Let c be 4/(4/(-3)) - (7 - 2). Let j = -7 - c. Is j bigger than 3/2?
False
Let o = -68310139/173420 + 1/173420. Let a = 393 + o. Which is greater: a or 0?
0
Suppose -84*z - 41 = 3*c - 79*z, -c - 13 = 2*z. Which is greater: c or -0.1?
-0.1
Suppose -6*f + 2*f - g + 80 = 0, -4*f + 64 = -3*g. Let h = f - 17. Suppose -i - 9 = l, -l - 27 + 3 = -h*i. Is -14 bigger than l?
False
Let l = -7 + -13. Let f = l + 14. Is f greater than 2?
False
Let p be 3 + 2 + -6 + 1. Let m be (12/438)/(-2) + 0. Which is greater: m or p?
p
Let j(k) = -2*k**2 - 56*k + 46. Let y be j(-29). Is y equal to -21?
False
Let r be ((-2)/4)/((-5)/(-390)). Let d = 48 + r. Is d at most 8?
False
Suppose -8*f + 0 + 16 = 0. Let a be 4/(-60) - 2/(-3). Is f equal to a?
False
Let x = -5 - -3. Let r(u) = u**3 - 2*u**2 - 3*u + 4. Let s be r(3). Suppose 5*l = s*d + 3, -l - 2*d + 4 = 9. Which is smaller: x or l?
x
Let u be ((-1)/3)/(1/(-6)). Suppose u*k = 7*k - 15. Suppose -3 - 3 = -k*b. Which is smaller: 4 or b?
b
Let h = 1781638/161 - 11066. Which is smaller: h or 1?
h
Suppose 6 = 3*n + 33. Let f be -4*5/(-45)*n/6. Which is smaller: 21 or f?
f
Let z(y) = y**3 + 8*y**2 - y - 5. Let t be z(-8). Suppose r - 4*u = u - t, -5*u = 0. Which is bigger: -20/7 or r?
-20/7
Let r = -10 - -4. Is r less than or equal to -1/4?
True
Let m = -853 - -669. Does m = -184?
True
Let p be ((-33)/(-836))/(2/(-6)). Is p < 0?
True
Suppose 0 = -731*i + 739*i + 32. Is i greater than 18?
False
Let d = -1187489/5716 - 5/2858. Which is greater: -207 or d?
-207
Let d be ((-2)/6)/(6/8). Let y be 26/(-65) - ((-14)/10 - -1). Are y and d nonequal?
True
Let x(j) = -79*j + 869. Let a be x(11). Which is smaller: 14/153 or a?
a
Let k = 23802/541 + -44. Which is smaller: -1 or k?
-1
Let t = 5 + -4.6. Let f be (-48)/264 - (-84)/99. Which is greater: t or f?
f
Suppose -3*d - 2*d + 20 = 0. Let u be (d - (-33)/(-9))*3. Let r be 4/(-14) - 55/(-154). Is r smaller than u?
True
Let b be ((-74)/15207)/((-5)/3). Is -1 > b?
False
Let i(y) = -y - 8. Let o be i(6). Let k = o - -13. Let p be 1/(-3)*6/8. Which is smaller: k or p?
k
Let a be (0 - 4)*(-44)/(-176). Let c be (-2)/3 - 21/(-99). Which is greater: c or a?
c
Let l = -791 - -899. Which is bigger: 110 or l?
110
Let o = -87 + 61. Suppose -3*i + 4 - 39 = 4*l, -i - 1 = 0. Let v be (-156)/9*(-12)/l. Do o and v have the same value?
True
Suppose 20 = -0*a - 10*a. Let g be (a + (-6)/(-4))*484/33. Is g != -7?
True
Suppose 944 = -11*x - 2664. Let a be -4 + x/(-102) - (-2)/3. Let n = -7 - -8. Which is smaller: n or a?
a
Suppose 2*a + 259 - 1123 = 0. Let t be 1/(-6) - 1272/a. Is t less than -2?
True
Let x(j) = j. Let h be x(1). Let s be 118/(-20)*(-19)/((-95)/(-60)). Let c = s + -71. Are c and h equal?
False
Let j(z) = 2*z**3 + 6*z**2 - 2*z - 4. Let u be j(-9). Are u and -957 nonequal?
True
Let c = 330 - 331. Which is greater: -9/74 or c?
-9/74
Let n = 964 - 831. Is n < -4?
False
Let z be (-18)/28*(-4600)/(-30). Let f = -99 - z. Is f > -1/4?
False
Let d = 0.4 - 0.55. Let s = 0.09 + d. Let l = s - 0.04. Which is greater: 0 or l?
0
Let y(m) = 6*m**3 + 2*m**2 + 2*m + 1. Let a(o) = -o**3 - 1. Let p be a(0). Let w be y(p). Is w at least as big as -5?
True
Let p = -22 - 487. Are -1019/2 and p equal?
False
Let j = -0.525 + 0.325. Is -207 < j?
True
Suppose 0 = -r + 4*j + 28, 5*r = 3*j + 89 + 68. Let v be -4*(-26)/r + (2 - 4). Does v = 2?
False
Let w = -11.6 - -11. Let s = w + 0.63. Let k = -0.07 - s. Is k smaller than -3?
False
Let y = 81 + -162. Which is greater: y or -82?
y
Let d = -1.3 + 2.3. Let y = 0.05 + 7.95. Let s = y + -11. Is d >= s?
True
Let c(t) = -t**2 - 222*t + 221. Let n be c(1). Which is smaller: -16 or n?
-16
Let d be (1/1)/(2/(-2)). Suppose 3*k + 409 = -206. Let i be k/(-220) + 6/(-8). Is i < d?
False
Let j be (-190)/(-28)*21*(-26)/455. Is -9 <= j?
True
Let i = -10120 - -50096/5. Which is greater: -101 or i?
i
Let t = -9 + 13. Suppose w + 480 = -t*w. Let g = -862/9 - w. Is g bigger than 1?
False
Suppose 2*f + 2*f - 4 = 0. Suppose 3*j - 14 = 1. Let g be (j/(-70))/((-1)/4). Are g and f non-equal?
True
Let n = 3 - -13. Suppose 21*c - 59 = 298. Which is greater: c or n?
c
Let i(b) = b - 5. Let o be 2 + 4/(4/3). Let a be i(o). Suppose 2*g + 6 = 4*q, q - 4*q - 15 = 5*g. Is a less than or equal to q?
True
Let t be (-80)/(-25)*(-5)/(-2). Let d be (13/(-26))/((-7)/t). Is -1 <= d?
True
Let j(k) be the second derivative of k**5/20 - k**4/2 + 2*k**3/3 + 3*k**2 - 6*k. Let v be j(5). Let x be v/(-2*(0 - -1)). Which is greater: -2/3 or x?
x
Suppose 2*v = -2*b - 150, 3*v + 5*b + 83 = -136. Let y = v - -61. Which is smaller: -4 or y?
y
Let b = 14 + -10. Suppose -5*f = b*g - 52, 2*f - 5*g - 25 = -3*f. Which is smaller: f or 9?
f
Let h = -2.05 - 178.95. Is h smaller than -1?
True
Suppose 0 = 3*q + q. Suppose 0 = -4*r - q*r + 4. Suppose -5*w + 6*w - r = 0. Is w at most as big as 4/7?
False
Let r = 21 + -11. Suppose 0 = -4*b + 5 + 3. Let y be (-136)/(-14) + b/7. Does y = r?
True
Let v = -0.36 + -0.87. Let z = -0.23 - v. Suppose -4*a + 8 = -2*a. Which is smaller: a or z?
z
Let m = 140 - 138. Let c = -3.1 + 3. Is m != c?
True
Let o = -393.8 - -45.8. Does -0.1 = o?
False
Let z = -1 - -0.2. Let o = z + 5.8. Let w = 78 + -80. Is w less than o?
True
Let o = 451 - 433. Which is greater: 17 or o?
o
Suppose -5*a - 422 = -457. Do 23 and a have different values?
True
Let f = -7955/23 - -346. Let l(g) = g**3 + 18*g**2 + 31*g - 15. Let x be l(-16). Which is greater: x or f?
x
Let c = 45 + -31. Let d = -1.656 - 12.244. Let y = d + c. Which is greater: -0.1 or y?
y
Suppose -133*m + 131*m = -6, 0 = b - 4*m + 26. Let n be (-20)/(-6) - (-4)/6. Suppose -n*k - 3*v - 52 = -2*v, 3*k + 5*v = -39. Is k smaller than b?
False
Suppose 2*j = -r - 664, j + 31 = r - 301. Let d = 13281/40 + j. Is d at least -1?
True
Let m(l) = l**3 + 6*l**2 - l - 13. Let y be m(-6). Does -9 = y?
False
Let y be 374/17 - (4 + 2 + -2). Is y > 18?
False
Let b(p) = p**3 - 9*p**2 + 10*p - 8. Let x be b(7). Let s be (-32)/x*(-3)/(-6). Let o = -2 + 3. Which is bigger: o or s?
o
Let o = 849.8 + 35.2. Which is greater: o or 0.1?
o
Let x(g) = g**3 - 8*g**2 + 3. Suppose 0 = 5*p - 3*n - 43, 7*p - 4*p = -5*n + 19. Let j be x(p). Suppose -y + 5 = 4*y - a, 3*y = -5*a + j. Is y less than -1/39?
False
Suppose 0 = 5*s - 3 + 13. Let w be s/(-8) - 33/44. Which is smaller: w or 14?
w
Let d(v) = v**3 - 2*v**2 - 22*v + 56. Let b be d(4). Which is bigger: 271 or b?
271
Let q be (616/(-224))/(4/18). Which is smaller: q or -13?
-13
Let y(h) = -2*h + 15. Let g be (-520)/(-56) + (-2)/7. Let j be ((-80)/15)/((-6)/g). Let o be y(j). Is -4/15 equal to o?
False
Suppose -18 = -q - 5*q. Let b = -20 + 45. Suppose b = 2*t + 3*t. Is q > t?
False
Suppose 8*m - 3*m = 4*a + 155, -3*m = -2*a - 95. Let i be 6/15 + 91/m. Suppose 3*f - 4*q - 9 = 0, -2*f - 4*q - 17 = -i. Which is smaller: f or -3?
-3
Let o(g) = g**3 + 7*g**2 + 5*g - 2. Let j be o(-6). Suppose -j*l - 4*p = 13 - 5, -6 = -4*l + 3*p. Let y be (l + -1)*(9 - 8). Is y less than -12/7?
False
Let s be ((-13)/((-78)/(-684)))/(-5). Which is smaller: 22 or s?
22
Let s(t) = 2*t + 2. Let w be s(-2). Let b(d) = d. Let h be b(w). Let o be 2 + 1 + h - -2. Is 4 < o?
False
Let d = -5.78 + 5.48. Is d greater than 43?
False
Let n(r) = -r**2 - 6*r. Let l be n(-6). Suppose 4*j = 3*j + 2. Suppose 5*s + j*o = o, 3*o - 15 = 0. Is s smaller than l?
True
Let h be 75/(-16) + 4/(-8)*-4. Let c = h - -3/16. Which is bigger: -3/4 or c?
-3/4
Let w = 12 + -12. Suppose 5*n - 202 = 4*l, l + w*n = 2*n - 52. Which is smaller: l or -47?
l
Suppose -7*l + 447 = 440. Is -112.2 greater than l?
False
Let x be -42 + 49 + (-10 - -2). Is 2/1169 at most x?
False
Let o = -7.8 - 0.2. Let s = o - -3. Let d = 9.4 + -8.4. Does d = s?
False
Let v be ((-10)/(-5))/((-16)/(-248)). Which is greater: 209/7 or v?
v
Let r = -838 + 838.965. Do 1/3 and r have different values?
True
Let r be 0*((-6)/(-10))/((-36)/(-30)). Are r and -2/619 non-equal?
True
Let c be (49/42)/7*-44 - 7. Let n(b) = -b**3 - 7*b**2 - 8*b - 4. Let d be n(-5). Which is smaller: d or c