l. Is d at most v?
False
Let v = 0.21 + -0.24. Let g(u) = u**3 + 7*u**2 - 2. Let j be -7 - 0*2/(-8). Let w be g(j). Is w < v?
True
Let x = -2923/8 + 365. Which is smaller: x or 23?
x
Let x be ((-11)/(-33))/(2/12*8). Is x bigger than 202?
False
Let v be 1*(-835)/75 + (-12)/(-90). Is v < -14?
False
Let w(t) = -t**2 + 4*t + 1. Let g = -7 - -10. Let b be w(g). Suppose 3 = -b*h - 1. Is h less than or equal to -1?
True
Let m be 140/(-6)*108/(-24). Let k = -106 + m. Which is smaller: 1/20 or k?
k
Let j = 28 + -48. Let p(t) = 2*t**2 - 14*t - 15. Let w be p(7). Let b be (18/(-4))/(w/j). Are -6 and b nonequal?
False
Let x(c) = -c. Let k be x(-11). Suppose 4*b - b - 93 = 0. Suppose k = 3*w - b. Which is smaller: w or 13?
13
Let h be (-278)/(-3)*6/4 - 0. Suppose -5 = 4*n + h. Is n smaller than -34?
True
Let y = -22.1 - -22.2. Are -0.014 and y non-equal?
True
Let m = -1.501 - -1.331. Which is smaller: m or 0.02?
m
Suppose -5*x + 4*y - 6 = 0, y - 10 = -x - y. Suppose x = 2*b - 2*a + 10, -b - 4*a + 21 = 0. Which is smaller: -7/19 or b?
-7/19
Suppose 4*a - a - 33 = 0. Suppose -a = -v + 1. Is v at most 12?
True
Suppose -649 - 1067 = 39*t. Is t != -43?
True
Let m = 66 + -61. Which is smaller: 13 or m?
m
Suppose -14*z + 299 = -37*z. Which is greater: 3/5 or z?
3/5
Let v = -1223 - -1790. Is -1 smaller than v?
True
Let v = 188 + -129. Which is bigger: -2 or v?
v
Let t = -707 - -806. Is t at least as big as 101?
False
Let c = 201 - 1401/7. Let q = -1 + c. Which is smaller: q or 1?
q
Let u be (-2)/(-6) - 294/(-9). Suppose 2*b + b = -u. Let d = b - -6. Is d <= -1?
True
Let g = 1697/56852 - 6/233. Is g < -1?
False
Let j = -10 - -19. Let h be 3/27 - 142/(-18). Which is smaller: h or j?
h
Let r = -2.21 - 0.79. Let v = 2 + 0. Let t = v - 2.1. Is r greater than t?
False
Let n(h) = -h**2 + 53*h - 343. Let l be n(46). Which is smaller: -185/9 or l?
l
Let x = 1/263 + 44965/2104. Is 21 at most as big as x?
True
Let d = -21 - 76. Let l = d - -96. Is l >= -100?
True
Let a be (-9)/24 - (13 - 117/(-72)). Suppose -5 = -2*z - 33. Is a at most z?
True
Let t = -37/92799 - 5/491. Suppose 36*w = -84*w. Are t and w equal?
False
Suppose 5*r = -v + 3, -4*r = -v - 2*v - 10. Let u be 0 + (-4)/(-3)*3/v. Are u and -24/7 non-equal?
True
Let v = -95 - -56. Let d = 44 + v. Which is greater: d or 6?
6
Let p be 8/(-2) + ((-520)/(-12))/5. Let j = 104/21 - p. Which is smaller: j or -4.2?
-4.2
Let j be (-333777)/(-217) + (-3)/21. Is 1538 greater than or equal to j?
True
Let u be ((-166)/(-897))/(30/261). Let o = 5293 + -1582610/299. Let v = u + o. Does v = 3?
False
Let k = 2 + 0. Let x be (4 - 2)/k + 5. Let y = 4 - x. Which is greater: y or -3/2?
-3/2
Let n = -137 + 137. Let v = 4 + -5. Are n and v equal?
False
Let l(n) = -n**2 + 5*n + 6. Let x be l(6). Let a be (57/(-855))/(x + 2/(-5)). Let v = -1 - 0. Which is smaller: a or v?
v
Let p(k) = -4*k**3 - k**2 + k - 1. Let u be p(-2). Let b = -186 - -433. Let v = b + -223. Which is smaller: v or u?
v
Let i be (2/6)/((-1)/(-12)). Suppose r = i*n + 10, 2*r - 38 = 3*n - n. Suppose -2*w + 2*p - 4*p = r, -w = -3*p + 11. Which is bigger: -13 or w?
w
Let n = 410 + -408. Is n >= 1.83?
True
Let d = -1 + 1. Suppose 0 = 6*j - 5*j + 12. Let n be (3/j)/((-15)/(-10)). Are n and d non-equal?
True
Suppose 11*o - 4*o = 189. Let a = o - 25. Suppose a*i = 6*i. Does i = -1/4?
False
Let u(j) be the first derivative of j**2/2 - 3*j + 16. Let a be u(0). Which is smaller: -15 or a?
-15
Let x = 233 - 234. Is -49 at least x?
False
Suppose 49*k = 3864 + 203. Which is bigger: k or 78?
k
Suppose -5*b - 55 - 45 = 0. Let g = -35 - b. Let y be (-2)/5 - 36/g. Is 2 bigger than y?
False
Let w = -2 - -1.6. Let k = w - -0.6. Suppose -1 = 3*z - y, -4*z - 4*y - 8 = 4. Which is greater: z or k?
k
Let z be ((-43)/559)/(6/(-4)). Is 1 less than z?
False
Let p be 4*(-2)/(8/(-630)). Let s be (58/p)/((-2)/6). Let d = s + -2/35. Is -0.3 less than or equal to d?
False
Suppose 5*q - 2 = 3*q. Let n be 2*(-1)/3*96. Let u = n - -129/2. Which is bigger: q or u?
q
Let v = 14313/22325 + -1/893. Which is smaller: v or 1?
v
Let r = 5.7 + -28.7. Let l = r + 23.29. Let x = -0.25 + l. Which is smaller: 2 or x?
x
Let r be (-4)/((-14798)/1841 + 8). Do 104 and r have different values?
True
Let o = 1 + -1.5. Let n = -4 - -3.5. Let a = n - o. Is 2/7 != a?
True
Let f = 9.97 + 0.03. Let h = f + -11.7. Let b = 0.7 + h. Does -2 = b?
False
Let y(r) = 5 + 1 - r + 2. Let q be y(9). Let k = 31.03 - 31. Which is smaller: q or k?
q
Let x = 658 - 657.2. Is x equal to 20?
False
Let y(k) = -88*k - 533. Let r be y(-9). Is r less than 262?
True
Let s be 3 + 43600/(-7270) + 3. Is 1 greater than or equal to s?
True
Let n be 15/2 - 4/8. Let a be 11/44 - n/12. Let t = 7/39 + a. Do -1 and t have different values?
True
Let f = 68 - 68. Suppose -2*a = 2*a. Is f greater than a?
False
Let w be 2*((-4)/(-2) + -1). Suppose 1 - 3 = -w*y. Suppose -5*n = 2*i - y, 0 = -4*i + 19 - 7. Are -2/45 and n non-equal?
True
Let a(z) = -3*z**3 - 2*z**2 - 3*z - 7. Let m be a(-4). Is m < 165?
False
Let r be 42/140 - -1*4/20. Let a = 372 - 365.84. Let f = 0.16 - a. Which is smaller: r or f?
f
Let x = 4.3 + -9. Let k = x + 4.6. Are -2/11 and k nonequal?
True
Suppose -3*n + 2 - 5 = 0, -2*o - n = 13. Let i be 4/10 + 256/(-40). Is i > o?
False
Let a = -457 + 461. Which is greater: a or 16?
16
Suppose -2*y = 2*x, 4*x - 2*y - y = 0. Let t be 2 + x/2 + -2 + 1. Are 1/26 and t equal?
False
Let h = -272 + 189. Let x = h - -72. Which is greater: x or 0.07?
0.07
Let z be 386/18 + 126/(-54). Do z and 19 have the same value?
False
Let n = -2 - -3. Let k = -0.8 - 2.2. Let l = k + 3. Which is smaller: l or n?
l
Let c be (1/(-292)*2)/(83/(-332)). Which is bigger: c or -3/11?
c
Let r = 465 - 436. Let l = -12 + 11.9. Are l and r non-equal?
True
Let w be (-1*(-3 - -2))/((-1)/(-36)). Let x be (-2)/(-9) - 44/w. Is x less than or equal to -0.24?
True
Suppose -20*a + 15*a + 25 = 0. Let g = -2 + -2. Let h be 10/g*(-4)/(-20). Which is smaller: a or h?
h
Let i = 18 + -14. Suppose -13 = -3*z + d, i*z + 3*d = 6 + 7. Is 21/8 smaller than z?
True
Let b = -1989/28 - -299/4. Let f = 748 - 744. Which is smaller: f or b?
b
Let z = 72.86 - -7.14. Which is smaller: z or 1?
1
Let f(p) = -84*p - 593. Let w be f(-7). Suppose -5*b = 5*j + 20, -3*b = b - j + 6. Which is smaller: b or w?
w
Let j(k) = 2*k**2 + 6*k - 2. Let p be j(2). Is p < 17?
False
Let j(n) = n**2 + 18*n + 14. Let t be j(-10). Let m be 10/(-80)*t/1. Let b = 157/20 - m. Which is smaller: -7 or b?
-7
Let t = -94/21 + 36/7. Let d = 53.75 + -54. Let h = -0.75 + d. Which is smaller: h or t?
h
Suppose -2*p - 3*p + 620 = 0. Let z be 6/4 - 178/p. Is 1 >= z?
True
Let g be 144/(-210) + 14/35. Is 0 equal to g?
False
Suppose -4*g + 4*z - 273 = g, 10 = 5*z. Which is smaller: g or -50?
g
Let l = 0.6 + -0.4. Suppose -6*j = 13 + 59. Let y be 4/(-162)*j/4. Is l greater than y?
True
Let r be (-1)/3 - 5627/(-51). Suppose 5*p + 6*a - 4*a + r = 0, -2*a - 86 = 4*p. Which is bigger: p or -25?
p
Suppose -8*d - 6 = -78. Which is bigger: d or 5?
d
Let f = 131 + -131. Which is bigger: f or -2?
f
Let v be (3/10)/(117/(-12)). Let t(b) = b**2 - 17*b + 17. Suppose 0 = 22*r - 17*r - 80. Let c be t(r). Which is smaller: v or c?
v
Suppose -6*z + 190 = -z. Let g be z/414 + (-24)/108. Which is smaller: g or 0?
g
Suppose -5*u + 7 = -5*v - 8, 4*v + 12 = 0. Suppose 4*k = -u*k. Suppose 13 = -3*x - 4*t, k = -4*x + t + 2*t + 16. Which is bigger: x or -1?
x
Suppose 3*m - 3 = -5*z, -z = -5*m - 6*z + 5. Which is smaller: m or 14/61?
14/61
Let v = 109/4 + -28011/1028. Which is smaller: 1 or v?
v
Let m(v) = v**2 - 10*v + 1. Let w be (-18)/(-2) - (-1 + 4). Suppose w = 3*a - 24. Let h be m(a). Is h greater than 1?
False
Let y = 6/8377 + 48252/2806295. Is y less than 0?
False
Let a be -1 + 1 + (-8)/(-10). Suppose 2*w + 34 + 0 = 0. Let t = -17 - w. Which is smaller: t or a?
t
Let y = 2 - 2. Let j = -0.07 + 2.47. Let k = j + -2.43. Which is smaller: k or y?
k
Let c = 54169/5962 + -208/271. Let r = 2/11 + c. Which is greater: 10 or r?
10
Let b = -420.8 - -420.768. Let q be ((-4)/6)/2 + 1. Is b bigger than q?
False
Let i = 0 - 1/4. Let v = -97 - -94. Is v equal to i?
False
Let v = 4 + 65. Let y = v + -50. Which is bigger: y or 0.2?
y
Let a(k) = 2*k + 1. Let g be 0/2 - (4 + (1 - 4)). 