+ 20. Let r be l(-6). Let c = r - -707. Let u be ((-6)/4)/((-39)/c). Is 20 < u?
False
Let y(d) = d**2 + 26*d - 127. Let j be y(-29). Let a = j - -41. Which is bigger: a or 3?
3
Let y = 38920 + -38657. Is 1.6 != y?
True
Let d be 9 + (-9 - -9 - -4). Which is bigger: 18 or d?
18
Let h be (-32)/(-336) + 374560/(-42) - 1*7. Which is smaller: -8924 or h?
h
Let d = -1629 + 1625. Which is smaller: -128/25 or d?
-128/25
Suppose -9*w = 4*w - 39. Let r(d) = -6*d**2 + 4*d - 8. Let p(u) = -5*u**2 + 3*u - 7. Let g(y) = 7*p(y) - 6*r(y). Let h be g(w). Is h > -6?
True
Let t = 9102 + -8785. Are 317 and t unequal?
False
Suppose 3*l = -2*m - 36, -3*m = -5*l + 3*l + 54. Let o be (309/(-99) + 3)*m. Let x(f) = -22*f + 2049. Let v be x(93). Is o less than or equal to v?
True
Let c = 9632 + -9608.078. Let y = c + -24. Let g = y + 59.078. Do g and -1/2 have different values?
True
Let g = 154.8 - 152. Let r = g + -3.4. Suppose -3*d + 5 = -3*i - 7, -2*i = -3*d + 8. Which is bigger: d or r?
d
Let n(a) = -a**3 + 11*a**2 + 43*a - 16. Let i be n(14). Let r be (-16)/120*(-51)/(-8). Which is smaller: i or r?
i
Let n be 2*8/(-6)*(-6)/(-4). Let d be -18 + (6/n)/(8/(-16)). Let b be (d/100)/(2/(-4)). Is 1 >= b?
True
Suppose 9*r + 1316 + 457 = 0. Let u = r + 205. Is u bigger than -11?
True
Suppose -2*u + 5*n - 2*n - 21 = 0, 0 = u + 4*n + 38. Let b = 30 + u. Suppose 0 = -6*g + b - 6. Which is smaller: g or 5/3?
g
Let d be (-1 - -5)*3/(-12). Let a = 3067345 - 52129406/17. Let x = 909 - a. Is x less than d?
False
Suppose -3*v + 897 = 3*w - 6*v, 3*v = -w + 315. Let t = w - 220. Which is smaller: 81 or t?
81
Let g(v) = 73*v - 9. Let u be g(1). Let i(f) = -7*f**3 + 3*f**2 + 2*f - 1. Let b be i(-2). Does u = b?
False
Let y be -3*((-12)/(-27))/4. Let b be (3/1)/((-1028)/(-146) - 7). Let i = -655/9 + b. Which is smaller: y or i?
y
Let m be 1/3*(-2 + 1). Let k = -525089/191120 + -36/2389. Let l = 1/80 + k. Is m smaller than l?
False
Let w be (427/35 - 5)/(104/(-180)). Is w <= -13?
False
Suppose 0 = -32*h + 26*h + 54. Suppose h*u = -14*u + 1219. Do 267/5 and u have the same value?
False
Let w be 1269/(-576)*14/204. Let a = w - -25/128. Suppose 4*t - 5*p + 3*p = -6, -1 = 3*t + 2*p. Which is smaller: t or a?
t
Suppose 12*r - 34 - 74 = 0. Let f be r/(-30)*2 + (-2)/5. Let s(u) = u**3 - 12*u**2 + 10*u + 9. Let b be s(11). Which is greater: f or b?
f
Let j = -10 + 14. Let x(l) = 15*l + 3. Let n be x(3). Suppose -3*g + j*c = n, -6*g + 2*g = -4*c + 60. Which is greater: g or 1?
1
Let h = 0.00037 - -2.41963. Is h greater than or equal to 1/2?
True
Let w be 68*((-1)/4 + (-123)/246). Which is greater: w or 32?
32
Let l = 41 + 2. Let k = l - 42. Let i = -509.4 + 506. Is k < i?
False
Suppose 28 = 4*d - 76. Suppose d = 2*q - 46. Which is smaller: q or -1?
-1
Let q = 90.05 + 0.95. Let u = 790 + -889. Let y = u + q. Is y <= 0.4?
True
Let h = -0.0959 + -1.0981. Let b = h + -0.036. Let u = b - -1.14. Which is greater: -1 or u?
u
Let n be (1 - 6) + 2 - 2262900/(-528). Let z = n - 4283. Is -1 at most as big as z?
True
Let q = -3897 + 3824. Let b be 2589/108*-3 - (-2)/12. Which is smaller: q or b?
q
Let t be (-9)/((-81)/(-45)) + 322/65. Which is smaller: t or 1?
t
Suppose -39*b - 92 = 337. Which is greater: b or 149?
149
Suppose -18*n = 23*n + 110*n + 151. Is n at most -98/43?
False
Let b = -16576 + 16659. Is b equal to -21?
False
Suppose -5*z = -20, -2*d - 5*z - 6 = 68. Let h be ((-7)/(42/216))/((-6)/(-8)). Which is smaller: h or d?
h
Suppose 0 = 2*x + 3*x + 5. Let p be 81/(-30) - 224/280 - (-20895)/5978. Which is bigger: p or x?
p
Suppose 5*h - 9 = 4*z, h - 2*z = -860 + 863. Which is greater: -2/7535 or h?
h
Let v = 21500 - 23213. Which is bigger: v or -1719?
v
Suppose 2*k + 2*k - 40 = 0. Let s be -2 - 1/k*-19. Let t = 4929 - 4928.9. Do s and t have the same value?
False
Let c be (-2 - -1)/(2/(-34)). Suppose -a = 77 - 95. Let t = a - c. Is 2/7 >= t?
False
Let t = 0.18 - 13.18. Let w = 19 + t. Let g be 6/8 - (-6)/(-5 - 1). Which is greater: w or g?
w
Let x(f) = f**2 - f - 10. Let l be x(4). Suppose l*v - 3 - 11 = 4*q, -2*v = 5*q - 14. Which is bigger: 5 or v?
v
Let y(t) = t**2 + 9*t + 8. Let d be y(-7). Let z be (5866/25)/(d/(-9)). Let x = 352 - z. Which is smaller: x or 0?
0
Let m be ((-24)/384)/((-4)/(-80)). Which is smaller: m or -0.41?
m
Suppose a - 32 = -a + 2*y, -3*a = -5*y - 58. Suppose 9*j = -11 - 16. Let f be (7 - (1 - 4)) + -1 + j. Which is smaller: a or f?
f
Let i(t) = 17*t + 179. Suppose -3*f - 1 + 12 = -2*k, 4*k = -5*f - 55. Let w be i(k). Does w = 8?
False
Suppose 0 = 11*a + 948 + 537. Let u = -850 - a. Are -715 and u equal?
True
Let r be 266/49 + -5 + 8/14. Suppose -v = 3*b - 7, v - b + r = -0*b. Suppose -5*z + 30 = 3*o, -4*o + 3*z - v = -12. Which is greater: o or 1/4?
o
Let u = -47.5 - -3.5. Let l be ((-302)/(-5))/((-72)/(-60)). Let c = -50 + l. Which is greater: c or u?
c
Let j be (-11)/(33/2) + (-5)/(-15). Which is smaller: 2/155 or j?
j
Let n = 0.195 + 1.005. Let a = 47 - 52. Which is smaller: a or n?
a
Let g be 1 + -4 - (-4 - (2 - 0)). Let p be (7/g)/(13/(-39)). Do -6 and p have the same value?
False
Suppose -575 + 144 = -3*i - x, 2*x - 427 = -3*i. Which is smaller: i or 0.16?
0.16
Let t = -644 - -645. Which is greater: 29/250 or t?
t
Suppose -21*b = -26*b + 25. Let p be -1*2/b*(-7810)/(-44). Is p < -70?
True
Let s be (-9)/((-315)/364) - 2/5. Suppose -4*c + s = -2*v, -c + 4 + 1 = 2*v. Which is bigger: -9/23 or v?
v
Let r be ((-3672)/288)/(2/8). Which is smaller: 0.2 or r?
r
Let c be (3246/(-7))/(36/63). Which is greater: c or -1/2?
-1/2
Let t be (-3)/12 - 119/4. Suppose -3*n + 1066 = -2*o, 5*o = -0*o + 20. Let z = n - 386. Which is smaller: z or t?
t
Let a(j) = j + 14. Let o be a(-5). Suppose 11 = -w + 5*l - 4, o = 5*w + 3*l. Is -1/13 at most w?
True
Suppose 103 = 4*p - 93. Let k = p + 22. Let v = -41 + k. Is v greater than or equal to 30?
True
Let j be ((-8)/(-740))/(0 + 6/(-30)). Suppose -5*f + 4*f + 20 = 0. Suppose 2*p + 4*r - f = 3*p, -3*r + 15 = -5*p. Is p at least j?
True
Let l be 322/8 + 3 + (-2)/8. Let o = l - 43. Which is bigger: o or -4/7?
o
Let h(r) = r - 17. Let p be 1/(-2) + 2 + 124/8. Let j be h(p). Let i be (-8)/32 - 114/(-520). Which is greater: j or i?
j
Let a = 49.94 - -0.06. Let f = a + -54. Let j = 681 - 663. Which is smaller: j or f?
f
Let i = -203.498 - 1.302. Let c = 180 + i. Let d = c - -25. Does 5 = d?
False
Let s(c) = -2*c**2 + 11*c - 28. Let t be s(13). Let q = -222 - t. Which is smaller: q or -13.8?
-13.8
Let h = 1.7 + 0.3. Let b = -0.3154 - -2.1464. Let z = -0.069 - b. Which is smaller: z or h?
z
Let w be ((-5794)/(-1))/(21/7 - -1). Which is smaller: 1449 or w?
w
Let f(j) = -j**2 - 13*j + 34. Let m be f(-15). Is -2/235 equal to m?
False
Let t = 439 + -67. Let r = 551/2 - t. Is r not equal to -97?
True
Let o be (92/4 + 5)/(-2). Let n be 498/168 + (-4)/o. Let z(q) = -q**2 - 14*q - 9. Let h be z(-13). Which is greater: n or h?
h
Let l(z) = 36*z**2 - 142*z**2 - 3008 + 3013 + 6*z. Let u be l(-1). Is -107 <= u?
True
Let v(k) = -302*k**2 + 174*k + 30. Let h be v(5). Which is greater: -6649 or h?
-6649
Suppose -5 = 4*v - 5*v + 5*s, -5*s - 5 = 0. Suppose 24 = g + 4*j, -5 = -v*j - j. Suppose 2*z = 4, -z - g*z = q - 46. Which is greater: 38 or q?
38
Let j be (-2)/(-12) + 2/(-4). Let h = -18300 + 18313. Which is greater: h or j?
h
Let l be (-52)/((-3)/4*(22/6 + -3)). Which is greater: 70 or l?
l
Let u be 41/(10/(-90)*-9). Is u smaller than -173?
False
Let i = 10211 - 10221. Which is bigger: i or -6.2?
-6.2
Let t be 20/6*12/8. Let i(c) = -c**3 - 4*c**2 + 17*c + 1. Let v be i(-7). Suppose 2*f - v = t*p + 29, 4*p - f = -47. Which is smaller: 1 or p?
p
Let q = -45.46 + 45. Let v = -41 - -43.4. Let u = 2.4 - v. Is u less than q?
False
Let g = 0.455 + -0.275. Let o = 3.18 - g. Let k = 0.2 - 2.2. Which is smaller: o or k?
k
Let u be (1/(-2))/((-2)/(-48)). Let l be ((-9)/u)/(9/8). Let z = 51889.6 - 51888. Is z at least l?
True
Let g = -13658 - -15043. Is -3/2 < g?
True
Let q = -614 - -594. Let y be 35/(-30) - 30/q. Let c = 169 - 1178/7. Which is bigger: y or c?
c
Let l be (4 + 25)/((-1)/1). Let r be (-3 - (-17)/3) + 25/(400/(-32)). Is l smaller than r?
True
Suppose 0 = -108*g + 103*g + 30. Suppose 0*q - 600 = -g*q. Is 101 less than or equal to q?
False
Let p(u) = -49*u + 250. 