 -1)/(-2 + 4). Let a = f - l. Is -2/19 smaller than a?
True
Let n = 11 - 13. Which is greater: n or 21/32?
21/32
Suppose 2*w = 4*j - 0 + 2, 2*j = -4*w + 4. Suppose 3*b - 5 - 1 = j. Suppose 7 = -c - i - 2, 5*c + i = -17. Which is smaller: b or c?
c
Let m = 7956.74 + -7950. Which is bigger: -0.5 or m?
m
Let v = -88 - -92. Suppose v*k + 4*p = -2172, -24*k + p - 2685 = -19*k. Do -538 and k have the same value?
True
Let z = -96.84825 - 0.15175. Which is smaller: 28 or z?
z
Let b = 0.93 - 0.43. Let o = -14.3 + 13.3. Is b at most as big as o?
False
Suppose 4 = -f, -2*x - f + 1 + 5 = 0. Let n(q) = -2*q - 8. Let b be n(-13). Suppose 25 = -13*l + b*l. Is l greater than x?
False
Let r = -88/23 - -1913/506. Does 13/2 = r?
False
Let s = -171495876/8299 - -868283/43. Let q = 472 + s. Are 2 and q nonequal?
True
Let h be (-765)/(-436) - (3/84 - (-3288)/1918). Let j = -1 - -1. Is j smaller than h?
True
Let x = -2797 + 1614. Which is smaller: x or -1184?
-1184
Let b = 3.4 - 1.6. Let n = 0.8 - b. Let a = 0.3 + -0.7. Is n greater than a?
False
Let s be (-1 + -1)/2 + (-452)/4. Let i be (88 + s)*(-2)/((-8)/6). Which is bigger: i or -38?
-38
Let k = -8276 - -8229. Which is greater: -0.067 or k?
-0.067
Let d be (118/295)/((-683)/(-15)). Is -1 greater than or equal to d?
False
Let l = -67 + 64. Let u be 0 + 3 - (l - (1 + -3)). Suppose -u = -6*w + 2*w. Is w at least 2?
False
Let m(w) = 550*w - 1654. Let u be m(11). Which is bigger: u or 4398?
4398
Let b be 6/2 - (-286077)/(-429). Let p = b - -664. Let v = 1 - 0.8. Do p and v have the same value?
False
Let t = -881 - -552. Let k = t - -329.4. Which is smaller: 0.09 or k?
0.09
Suppose -k - s + 64 = 0, -5*s = -4*s + 2. Suppose 14 = -4*t + 4*p + k, -2*t = 3*p - 51. Which is greater: 128/7 or t?
128/7
Let s = -25.63 - -27.4. Let w = -1.97 + s. Is w > -118?
True
Let b = 5.1339 + -0.1339. Is b > -11/9?
True
Let a = 3831.6 + -3842. Is a at most 25?
True
Let c(j) = 142*j - 5552. Let x be c(27). Which is bigger: x or -1715?
-1715
Let f = 24761582120/36621 + -676158. Which is smaller: -1 or f?
-1
Let s(a) = -2*a**2 - 20*a + 573. Let c be s(35). Is -2577 greater than or equal to c?
True
Suppose 2*x = f + 43, 0*x - 104 = -5*x - f. Let b(o) = 335*o - 296. Let m be b(1). Suppose -24*h = -x*h + m. Is h bigger than -8?
False
Let q(a) = -5*a - 15. Let y = -97 - -93. Let t be q(y). Which is greater: t or 4?
t
Let x = 4719 + -4719. Which is smaller: x or -6/5?
-6/5
Let y = -297 + 290. Let v be 12/16*y/(1365/(-10)). Is v at least 0?
True
Let d = 4.1 + -4. Let a(i) = -i**3 + 6*i**2 + 28*i - 7. Let c be a(9). Let o be (-30)/42*c/5. Which is smaller: o or d?
o
Suppose -3445 = 77*z - 33*z + 1087. Is 97 at most as big as z?
False
Let z = 0.0282 + -1.1582. Let f = z - 18.87. Is 5 > f?
True
Let j be (1720/15 + (4 - 0))*3. Let m = j + -376. Is m bigger than -20?
False
Let o be 1/((24/36)/(4/6)). Suppose -i = v + 2 - o, -4*i = 2*v. Is -2/523 less than i?
True
Let q(y) = y**3 - 15*y**2 - 9*y + 138. Let t be q(15). Suppose a = -3*a - 4*p, 0 = -4*a - t*p. Is a < -3/104?
False
Let l be 13 - 91/(2366/520). Let k be 61/(-2)*4/22. Are l and k equal?
False
Let u = -1531901/38 - -40317. Which is greater: u or 4?
4
Suppose u + 5*z - 3*z - 428 = 0, -3*u = 5*z - 1282. Let k be 1*(-2 - u/(-184)). Which is smaller: -1/2 or k?
-1/2
Let h be (-665)/266*(-12)/10. Let n = 2.1 + -51.1. Do h and n have the same value?
False
Suppose -25*p - 32*p = -50*p - 7973. Is p bigger than 1141?
False
Let n be 792/90*6/(-12). Does -10 = n?
False
Let h = -0.66 + 1.19. Let n = -30.53 + h. Let o = n + 30. Are 31 and o unequal?
True
Let n be ((-896944)/14945 + 60)*(-915)/(-2). Is n > -8?
True
Suppose -80 = 115*l - 111*l. Let y = -74/3 - l. Suppose -3*d = 3*a + 32 - 2, -3*a - 12 = 0. Is y < d?
False
Let q = 116 - 111. Let g = 26 + q. Let b = 153/5 - g. Is 1 greater than or equal to b?
True
Let c = 115 + -115. Suppose c = 4*m + 3*f - 5*f - 8, 9 = 5*m - 2*f. Let i = 837/7960 - 6/199. Are i and m equal?
False
Let f(h) be the second derivative of -h**3/6 - 10*h**2 + 17*h. Let y be f(0). Let p be (3 + y)*(-1)/1. Is p <= 18?
True
Let k = 41027 + -127634999/3111. Are k and -1 unequal?
True
Let v(d) = d**2 - 8*d + 16. Let g(p) = p**2 + 3*p - 24. Let k be g(-7). Let u be v(k). Which is greater: u or -1/73?
u
Suppose 16*p - 32 = -0. Let x be 8/p - (-2 + 5 - 4). Is 5 less than or equal to x?
True
Let y(m) = -8*m + 1. Let n be y(-5). Suppose -4*x + 9*x + 303 = -3*o, 0 = -5*o - 3*x - 505. Let l = o + 142. Is l != n?
False
Let u be (28/(-12) - -2)/(-1 + 51/(-9)). Which is greater: 2/17 or u?
2/17
Suppose 2*u + 12*h - 9 = 11*h, -19 = -5*u + h. Let x(g) = -g**2 + 5*g - 2. Let s be x(8). Let w be (-2)/10 - s/5. Is u less than w?
True
Let a be 5 - 2 - 17*-13. Let j(q) = 27*q**3 + 5*q**2 - 496*q + 982. Let r be j(2). Is r at most a?
False
Let i = 110 - 67. Let z = i + -8. Let u = z - 33. Which is bigger: u or -0.7?
u
Let u(l) = 9*l**2 - 16*l - 14. Suppose 4 = n - 3. Let p(w) = -4*w**2 + 8*w + 7. Let z(k) = n*p(k) + 3*u(k). Let t be z(10). Is -13 less than or equal to t?
True
Let g = 57767 + -12824303/222. Is g bigger than 0?
False
Let k(c) = 3*c**2. Let q be k(-1). Suppose -j = -q*j. Let n = 31882 - 1339045/42. Which is greater: n or j?
j
Suppose -460*n + 433*n - 13797 = 0. Which is greater: 2/5 or n?
2/5
Let n = 10237 + -10238. Which is bigger: -3/649 or n?
-3/649
Let k be 78/(-5) + 16 + (-676)/190. Let c(a) = a**2 - 4*a + 1. Let j be c(2). Which is smaller: j or k?
k
Let c(r) = r**2 - 3. Let q = -44 + 44. Let v be c(q). Is v not equal to -19?
True
Let t = -235.1 + 71.6. Let w = t + 164. Let a = -0.34 + 0.4. Which is smaller: a or w?
a
Suppose 13 = 6*r + 7*r. Suppose -8*x + 13*x + 5*b = -55, -r = x - b. Do x and -27/4 have the same value?
False
Suppose -2*v + 111 = -v - g, -3*g - 9 = 0. Let n = v + -107. Is n less than -1/134?
False
Let a = 28.8 - 1.2. Let l = 28 - a. Let i = 37 - 33. Is i smaller than l?
False
Let j(k) = -7*k - 1. Let o = -11 + 12. Let q be j(o). Let m be ((-34)/q)/(7/(-56)). Is m at least -33?
False
Let x(a) = -72*a + 3240. Let n be x(45). Which is smaller: 2/8199 or n?
n
Let d = 609 - 555. Let r = d - 53. Which is smaller: r or -1/28?
-1/28
Suppose -3 = -2*r + 15. Let f be 9762/(-12)*2/r. Let l = f + 181. Which is bigger: l or -1?
l
Let l = 500 + -505. Let h be 0/l*(-7 - -6). Let i(u) = u**2 - 5*u - 8. Let t be i(6). Which is smaller: h or t?
t
Let m(a) = a**3 - 28*a**2 - 135*a - 4. Let f be m(32). Which is smaller: f or -1146/5?
-1146/5
Let u be ((-3)/9)/((-2)/(-30)). Suppose -13*g + 8*g = -4*c + 12, -2*g - 12 = -4*c. Suppose 65 = -10*t - c*t. Are t and u unequal?
False
Let d = -25/218 + 41589/366458. Which is greater: d or 0?
0
Let b = -34.82 - -32.82. Do -2/15 and b have the same value?
False
Let u = 1/699 + -239/4194. Are -5/17 and u unequal?
True
Let l = -82340672 - -85387269218/1037. Let f = -122/17 - l. Which is smaller: 0 or f?
0
Suppose -2978 = 4*a + 5*t, 14*t - 12*t = -5*a - 3697. Is -742 equal to a?
False
Let q = 221 - 243. Let s be (-2 - 3736/(-2310)) + q/(-55). Is 1 less than s?
False
Suppose -151*m + 153*m - 4 = 0. Let z be 8/(-16)*(2 - m). Which is bigger: z or 2/101?
2/101
Let p = -52 + 61. Let q = 14 - p. Suppose -5*s - q*s = -60. Which is smaller: s or 1?
1
Suppose -32*k + 22 - 22 = 45*k. Is -3/6647 bigger than k?
False
Let h(q) = q**2 + 60*q + 879. Let o be h(-25). Suppose -3*m + 2*y = 2*m + 56, -2*m + y - 23 = 0. Let p be (5/m)/(2/16). Is p greater than or equal to o?
False
Suppose 0 = -2*v + 10, -s + 5*v - 11 - 12 = 0. Let m be (-167)/((-2 + 3)/s). Which is smaller: -333 or m?
m
Let q be (-49 - -17)*(-318)/(-15). Which is greater: -679 or q?
q
Let v = -124839/37 + 3374. Is -1/99 less than v?
False
Let w be (6/(-9))/(-2 + (-25007)/(-12495)). Are 6 and w equal?
False
Let u = -0.46 - -0.4. Let f = 7.04 + -7. Let d = f - u. Which is smaller: 0 or d?
0
Let b = -1.702 + 93.802. Let u = -92 + b. Let d = 17 + -18. Which is smaller: u or d?
d
Suppose 157*y = -27*y - 41584. Which is bigger: y or -128?
-128
Let r be 9 + -2 + 3355254/854. Let l = r - 3936. Which is bigger: -1 or l?
l
Suppose -5708 = 3*q - 4*z + 12637, 4*q - z = -24473. Which is bigger: -6121 or q?
q
Let m = -96 - -197. Let j = m - 100.6. Let s = j - 0.2. Which is bigger: s or -0.12?
s
Let p = 50.4 - 47.