5 + 3232/40. Let a = -79 + n. Let k be (8 - a) + ((-12)/4 - 0). Which is smaller: k or 16?
k
Let x be 24/(-14) + -3 + 5. Let h = -7182 + 7220. Which is greater: x or h?
h
Let j = 2979 + -41687/14. Let z = -6/7 + j. Which is smaller: 99 or z?
z
Let p be 670662/(-223776) + 7/(-3). Do p and -6 have the same value?
False
Let u(y) = 2*y**2 + 2*y. Let l be u(1). Let c be -30*7/(l - 81). Is c at most as big as 2?
False
Let z be ((-11215)/3)/((-15)/(-18)). Is z at most as big as -4486?
True
Suppose 0 = l + 4*v - 785, -l = 889*v - 890*v - 760. Which is bigger: l or 759?
l
Let u be 1/1*-3 + 33 + 3. Let h be u/(-198) + ((-3)/2 - -1). Let s = -8 - 0. Is s smaller than h?
True
Suppose 4*p + 53*c - 52*c - 39 = 0, -3*p + 4*c = -53. Suppose -p*v = -17*v - 1056. Which is bigger: v or -174?
-174
Let p = 5671 - 5671. Suppose -4*h + 4*n - 6 - 2 = 0, -n = -5*h - 2. Suppose h = -4*g + 48 - 112. Do g and p have different values?
True
Suppose -p - y = -4*y + 1, 4 = 3*p - 2*y. Suppose 3*v = 0, -5*v = -2*d - p*v. Which is greater: d or 102?
102
Suppose 20 = 4*a, 3*a - 23 = -3*j - a. Let v be -7 - j - (6 + -4). Let z be ((-2)/3)/((-12)/9). Which is smaller: z or v?
v
Suppose -349*i + 411*i - 185*i = 7257. Let a(p) = -30*p. Let q be a(2). Do q and i have different values?
True
Let m = 1 + 4. Suppose m*d + 8 = -2. Let z be 1*-3 + 2 + (0 - d). Which is greater: z or 2?
2
Suppose -2 = 2*w - 4. Suppose -284 = 78*j - 82*j. Let b = -69 + j. Which is greater: b or w?
b
Let v be (-2)/(-3) - -1*4/12. Let h = 16457/3818 - 99/23. Which is smaller: v or h?
h
Suppose -h + 656 = 3*w - 2*h, h - 1104 = -5*w. Suppose -8*n + w + 84 = 0. Suppose g - 3*g = -5*v - 91, 3*g + 3*v = 105. Do n and g have the same value?
True
Let z be ((-620)/(-316) + -2)/(120/16). Let c(s) = 3*s - 5. Let p be c(2). Is p less than z?
False
Suppose 0 = -5*g - 3*a - 3495, 8*a - 1993 = 2*g - 549. Do g and -709 have different values?
True
Let p = -21953 - -12278. Does p = -9674?
False
Let l(r) = -r**2 + 8*r + 2. Let n be l(6). Let d = -550 + 581. Suppose w + d = 2*a, 4*a - 40 = -4*w + 4. Is n < a?
False
Let g be (-7)/(-5) - ((-18)/10)/3. Suppose -716 = -4*b + 3*j, 3*b - 4*j - 536 = -g*j. Let o be b/(-10) + 6 + (-96)/15. Which is bigger: 2/5 or o?
2/5
Let g = 183010/61 + -3000. Is 0 less than g?
True
Let y be (124/((-1488)/18))/(((-141)/4)/1). Let l(a) be the third derivative of a**5/60 + a**4/24 - a**3/6 - a**2. Let f be l(0). Is y less than or equal to f?
False
Let p = -0.302 - -21.202. Let b = p - 20.9. Which is smaller: b or -0.05?
-0.05
Let b = -173.33 - 347.67. Is 1/2 at least as big as b?
True
Let x = -551 - -570. Suppose -7 + 47 = -2*t. Let b be (2/t)/(6/15). Is x bigger than b?
True
Let h be (-22)/(-8)*-10*(-39)/130. Let r = 161 + -160.8. Is r less than h?
True
Let d = -0.07 + 0.37. Let p = -0.3 + d. Let l = 2923 + -2951. Do l and p have different values?
True
Let h = -3017 - -3017. Are h and 14/43 unequal?
True
Let r = -1 - -2. Suppose -55*u - 107 = -50*u + d, 5*d = 4*u + 74. Let c be (-349)/(-39) + 12 + u. Is r at most c?
False
Let r be 44/38 + (-3 - -2). Suppose -4*f - 32 - 24 = 4*v, 4*v - 63 = 3*f. Let u = -17 - f. Is u bigger than r?
False
Suppose 0 = -2*z + 2*z + 6*z. Let b(i) = -i**2 - 4*i + 2. Let k be b(z). Suppose -4*r + 3*f + k = -0, -r + 3*f - 4 = 0. Is 6 != r?
True
Let c = -15 - -33. Let u = c - -40. Let p = u + -57.96. Is p at most -1/7?
False
Let d = -4861/17087 - 3/2441. Let k = -0.987 - -398.987. Which is smaller: d or k?
d
Let n = -2890.9 + 2891. Which is bigger: n or 154/31?
154/31
Let t be (873/4)/(((-26)/312)/1). Which is smaller: t or -2617?
t
Suppose 9*m = 12*m - 531. Suppose -x + d + d = 59, -3*x - m = -5*d. Let g = -18 + 128/7. Do g and x have the same value?
False
Suppose -4*w + 119 + 1193 = 0. Is w at most 333?
True
Let b = 42 - 33. Let h be 24/b - (-4)/(-6). Let l be (17 - 17)/(1*h). Which is greater: 0.1 or l?
0.1
Let o = 23115/11 + -2101. Is -57 >= o?
False
Let d = -3535 + -4922. Which is greater: -8458 or d?
d
Let f = 0.789 + 0.051. Let r = 1954 + -1946.16. Let k = f - r. Which is smaller: k or 0.1?
k
Let d be ((-84)/63)/((-2)/30*2). Let s(q) = q - 16. Let m be s(d). Is -4 greater than m?
True
Suppose -5*t - 2*o = -9, 0 = -4*o + 3 - 15. Suppose 2*k + 2*d - 7 = 1, 0 = -t*d + 12. Do -1/42 and k have the same value?
False
Let p = -211 + 198. Let t = 1.6 - 12.6. Let i = t - p. Which is bigger: -4/5 or i?
i
Let c = 1912 + -1911.9. Let t be (0 + 4/(-6))/4. Which is bigger: t or c?
c
Let x = 7314 + -7314.9. Which is smaller: x or -19/2?
-19/2
Suppose 2*p = -2*v - 438, -4*p - 266 = -5*v + 592. Let u = 34 - 250. Which is greater: p or u?
u
Let c(q) = -21*q + 1. Let j be c(-1). Suppose 0 = -239*l + 127*l + 2688. Is j less than l?
True
Let j(q) = -2*q + 10. Let u be j(9). Let y(d) = 5*d**2 - 21397 + 21408 - 4*d**2 + d**3 + 2*d**2 - 53*d. Let w be y(-9). Is w less than u?
False
Let t = -5852 - -10203. Is 4352 at least as big as t?
True
Let p = -641/30 + 197/10. Is p != 8/73?
True
Let y = -0.073 + 0.075. Let u = y + -43.002. Let c = u - -30. Which is greater: c or 1?
1
Let u = -1960 + 1967. Is 485 less than u?
False
Let h be (-496)/(-28) - (-2)/7. Suppose 140*n - 566 + 483 - 1737 = 0. Is h less than n?
False
Let n(i) = i**3 + 2*i**2 + 3*i + 3. Let f be n(0). Suppose -2 - 3 = 5*l, 0 = f*m - 2*l + 61. Which is bigger: m or -17?
-17
Let g = -0.2 + 0.3. Let c = -45 + 43. Which is smaller: c or g?
c
Let c = 598.21 + 12.79. Which is greater: c or -1?
c
Suppose 2*n - 5*z - 820 = 864, -5*z + 5804 = 7*n. Let y = n - 800. Which is greater: 35 or y?
35
Let g = -9789 + 1809. Which is smaller: -7979 or g?
g
Let g = -5 - -3. Let r(q) = 514*q + 5. Let b be r(g). Let i be 2/(-7) + b/21. Is -49 less than or equal to i?
True
Let w be (2 - (-6)/(-8))/(66/(-29304)). Let p = 554 + w. Which is greater: -12/19 or p?
-12/19
Let z be 7 + (-5 + 6)*-9 - 48. Are z and -40 equal?
False
Let j(w) = -w**3 + 16*w**2 - 20*w - 2. Suppose -t + o = -3*t + 31, -t = o - 16. Let a be j(t). Which is greater: -76 or a?
-76
Let m = 26 + -11. Let h = -0.2331 + -1.8929. Let q = h + 0.126. Which is greater: m or q?
m
Let j = -37023/1033 + -396610917/44419. Let y = -8964 - j. Is y < 2?
True
Let s = -29.76 - -29. Let x = 0.4 + s. Let f = 0.36 + x. Which is smaller: f or -0.2?
-0.2
Let c = 3255508/193 + -16868. Which is smaller: -1 or c?
-1
Let i = -0.5846 - 9.4154. Is i less than -0.08?
True
Let v be 880*((-6)/(-27) - (-130)/225). Suppose -9*w + 20*w = -v. Are -65 and w equal?
False
Let a = 2.1 - -9.9. Is -12 smaller than a?
True
Let s(k) = k + 4. Let h be s(-2). Suppose -3*c + 4*w = 29, -4*c + h*w = -3*c + 7. Let o be (-10)/(-25) + 131/c. Which is greater: o or -7?
-7
Suppose -4*z = -y - 2, -70*z + 6 = -66*z - 3*y. Which is smaller: 1/22146 or z?
z
Let p = -44/81 - -1309/4050. Is 3/2 at most p?
False
Let v = 8125 + -16645/2. Let h = 1947/10 + v. Suppose -4*g + 7 = -4*y + 23, -5 = -5*y. Is g <= h?
True
Let q be (42/8)/((-6)/(-16)). Let z be 15960/(-21413) - 4/(-23). Is z greater than or equal to q?
False
Let m = -3122 + 3119. Which is smaller: m or -35/22?
m
Let h = -12113 - -5366067/443. Is h equal to 0?
False
Let s = -852 + 51973/61. Suppose -29646*g + 29702*g + 56 = 0. Is s equal to g?
False
Suppose 4*w + 4*o = -696, -2*w + 3*o - 516 = -148. Let v be (5 - 3)/((-4)/w). Is v < 89?
False
Let r(q) = q**2 - 16*q + 38. Let k be r(13). Let z be k - (81/(-3) + -2). Suppose -25*x = -z*x. Which is bigger: x or -2/51?
x
Let c(i) = -6*i + 8. Let b = -37 - -33. Let p be 6/b + 40/(-16). Let v be c(p). Which is smaller: v or -0.1?
-0.1
Let h(j) = 7*j - 55 - 19 + 136 - j**2 + 7*j. Let c be h(18). Is c at most as big as -61/7?
True
Let v = 620 + -605. Suppose -v*l - 28*l = -645. Do l and 8 have different values?
True
Let p = 6/17 + -75/68. Let j be (-56)/42*3/(-2). Let l be ((-45)/45)/(5/j). Which is smaller: l or p?
p
Let p = 0.28 + 25.72. Let u = 3162 - 3166. Are u and p equal?
False
Let t = 178 + -90. Suppose 4*q + 4*z + t = -0*z, -2*z = -6. Suppose 0 = -5*w - r - 126, -2*w - 4*r - 22 - 14 = 0. Is w bigger than q?
False
Let m = 1007/2 + -505. Let u be (-8)/(-6) + -17 + 14. Which is greater: m or u?
m
Let g = 0.6 + 0.1. Let b = 0.72 - g. Let p = 0.3 - b. Is 0.2 bigger than p?
False
Let a be (5/(-20) - 3)/(5/(-20)). Suppose a*y + 391 = 1301. Whic