
Let o = -3.77 + -114.23. Let a = o - -118.34. Suppose -4*u = 3*s - 1, -3*s + 2 - 3 = 2*u. Which is smaller: a or u?
a
Let y = 3308.887 - 3307. Let h = y - -0.113. Which is smaller: -4/7 or h?
-4/7
Suppose 2*j - 46 = 4*r - 32, 4*j = 4*r + 16. Which is greater: 26/93 or j?
j
Let m be (-211)/(-844) - 161313/(-12). Which is bigger: 13442 or m?
m
Let s be 145/(-45) + -3 + 2 + 4. Let b(p) = p**2 + 2*p - 32. Suppose 2*y - 5*d = -2*y - 34, -4*d = -3*y - 26. Let q be b(y). Which is smaller: s or q?
q
Let w = 19937/2 + -79668251/7992. Is 0 < w?
True
Let b be 57/(-5) - (-18)/45. Let h be b/(-11)*2/5. Let x = -0.19 + -12.81. Is x greater than or equal to h?
False
Let c = 1425 + -1274.6. Let o = -140 + c. Is o at most 1?
False
Suppose 12 = 3*x, 97 = -40*f + 39*f - 4*x. Which is bigger: f or -792/7?
f
Let m be (-28905)/(-6) - 0 - (155 + -146). Is 4810 >= m?
True
Let v be (4/(-2))/(1122/(-16) + 141/1128). Which is bigger: v or -1?
v
Let h = 4.93638 + -5.43638. Let x be (-19)/(-7) + 4/14. Suppose x*w - 11 = 4. Is h < w?
True
Suppose 90*f - 62*f + 169650 = 53*f. Is f > 6785?
True
Let s(l) = 76*l + 1903. Let f be s(-26). Which is smaller: -0.1 or f?
f
Let c = -19917 + 20465.76. Let o = 545 - c. Which is smaller: -1 or o?
o
Let b = 32.36 + -32.26. Does b = 1/113?
False
Let s be (-1)/6 + 142674/(-224676). Is s at most as big as 0?
True
Let q be (-14*2*4)/(324/8586). Which is bigger: -2966 or q?
-2966
Let b be (-25)/(-15)*(-18)/(-1005) - (-1 - -1). Which is smaller: b or -0.1?
-0.1
Let x = 1/25325 + -1139774/3773425. Which is smaller: 0 or x?
x
Suppose -5*p = -4*g - 7, -g + 0*g + 1 = -4*p. Let c(i) = 30949*i**2 - 30947*i**2 + 0 + 14 + i. Let r be c(g). Is 28 bigger than r?
False
Let m = -991 - -1495. Let d be ((m/(-150))/(-3))/(4/110). Are 32 and d equal?
False
Let r be (0 - 0 - 141)/(165/(-429)). Which is smaller: r or 368?
r
Let y = -24 - 11. Let v = 61 + y. Suppose v*k + 18 = 27*k. Is k at most 19?
True
Let y be 17/(-3) - (-2414)/426. Let c = 62 - 44. Let p be 4/c - (-1)/(-45). Which is bigger: y or p?
p
Suppose -88 = -2*o - 4*f + 5*f, -2*o - f + 84 = 0. Suppose 20*i = -3 + o. Let z be 3/(-9)*-3 - -1. Is z < i?
False
Suppose -38 = 63*y + 88. Which is bigger: y or -105?
y
Let v = 44 + 75. Let m = v + -97. Suppose 27*b + 38 = 29*b. Is m at least b?
True
Let x = 3 + -2. Let h = 9 + 14. Let g = h + -42. Which is greater: g or x?
x
Let m(z) = -224*z**2. Let k be m(1). Let g = k - -259. Is 67/2 less than g?
True
Let h(q) = -q - 3. Let b(g) = 2*g + 10. Let i(c) = -3*b(c) - 8*h(c). Let z = -16 - -16. Let x be i(z). Which is smaller: x or -4?
x
Let w be 3/(2 + -5)*-5. Let m be ((-10)/105)/(3/(-196)). Is m smaller than w?
False
Let o = -82314 - -82349. Let b = 3 + -3. Which is smaller: b or o?
b
Suppose 3*s - 2*s - 6 = 0. Let v be (-2 + 0)/s*-2. Let b = -29.1 - -13.1. Is b at most as big as v?
True
Let h = 5083 - 2578. Is h <= 2504?
False
Let z = -125 - -180. Let t = -54 + z. Let m = -138.38 + 139. Which is smaller: m or t?
m
Suppose -3*w - 10 - 8 = 0. Let t = 60 + -49. Suppose 18 = -a + t. Is w equal to a?
False
Let i(n) = -n**3 - 140*n**2 + 1659*n + 22. Let z be i(11). Is z greater than -2/44645?
True
Let k(u) = 111*u + 439. Let t be k(-4). Is -2/5 less than t?
False
Let c = 3 - -1. Suppose -c*b = -2*b - 30. Let l = -42066 - -42066. Which is smaller: l or b?
l
Let h = -8756339/25193 + 2433/7. Is 1 greater than h?
True
Let f be (2/2)/(15/(-2955)). Let z be (8*(-4)/(-32))/((-392)/(-394) + -1). Is f at most as big as z?
True
Suppose -7*c = -c - 450. Let z = c - 85. Which is smaller: -15 or z?
-15
Let z(h) = -h**2 - 3. Let l be z(0). Let v be (-7 - -4)/(-21)*l. Suppose 0 = -3*d - 6*d - 9. Which is greater: v or d?
v
Suppose 6*d - 26 = -7*d. Suppose 3*m = -h - 2, -2*m - 8 + 12 = d*h. Which is smaller: 26 or h?
h
Let l(r) = -1779*r - 5338. Let a be l(-3). Which is smaller: 7/297 or a?
a
Let l(u) = -u**3 - 14*u**2 - 5. Let j be l(-14). Let h be ((-451)/j - -3)/((-4)/(-10)). Is 2/3 at least h?
False
Let m = -4510 - -15275. Which is smaller: -2/5 or m?
-2/5
Suppose 0 = 21*r - 39 - 591. Suppose -15*n + 20*n - 5*k + r = 0, 0 = -n - 3*k + 14. Suppose x - s = -5, 5*x - 13 + 6 = -3*s. Is n > x?
False
Let f be -2*1468/8 - 6. Which is smaller: f or -377?
-377
Let x(v) = -2*v**2 + 10*v. Let t be x(4). Let d(b) = -t - 30 + 60 - b. Let q be d(23). Do -4/7 and q have the same value?
False
Let p be (-66864)/112*(-2 - 8/(-3)). Is -395 greater than p?
True
Let z = -6653 + 6739. Is z less than or equal to 63?
False
Suppose 67*s = 62*s - 685. Let z = s + 137. Is z greater than -3/5?
True
Suppose -16994*f - 953410 = -16927*f. Which is bigger: -14231 or f?
f
Let z = -163 + -59. Let u = -198 - z. Is u equal to 4?
False
Let i be ((-14 - -11) + 5)*3/((-12)/3352). Which is bigger: i or -1677?
i
Let g = 1447584/445 - 3253. Let k = 6241/4895 + g. Let w be 4 + 15/(-7 + 2). Which is bigger: k or w?
k
Let y = -54 - -71. Let i = y - 17.006. Let w = i + -0.042. Is w > 0?
False
Let v = 2.287 + -0.687. Is v greater than or equal to -8/39?
True
Let a = 2683 + -2683.1. Is -2289/5 greater than a?
False
Suppose 0 = 3*u - 114 + 102. Suppose 13 = -u*p - 63. Which is smaller: 2 or p?
p
Let w = -170.9 + 188.9. Does 318 = w?
False
Let h be (-1 - -3)/((-1)/12). Let n = 2033 - 2057. Is h < n?
False
Let o be 6/(-36)*-6 - (-136)/(-126). Let w = o - -241/126. Suppose 0 = -3*c + 5*c + 4*a + 10, -5*c + a = -19. Which is smaller: c or w?
w
Let o = 1457/5860 + 2/1465. Is o greater than or equal to -1.678?
True
Suppose 0 = 4*f - 2*c - 44, -f = -4*f + 3*c + 36. Let x be 48/f*(-720)/(-192). Are 186/11 and x equal?
False
Let y(a) = 46*a**3 + 2*a**2 - 2*a - 2. Let z be y(-1). Let o be (-11)/z - (-291)/4. Which is smaller: 74 or o?
o
Suppose r + 66 - 72 = 0. Let p be (-45)/(-6)*(-8)/r. Let y be -1 - 716/260 - p/(-25). Are -3 and y non-equal?
True
Let b(t) = 39*t**2 - 71*t - 30. Let m be b(14). Is 6620 >= m?
True
Suppose z + 4*w - 4 = 0, 3*z + z + w - 91 = 0. Let k be 1/2*1*z. Let o = 15846.1 + -15846. Which is smaller: o or k?
o
Let y be (-228)/(-95)*(-2)/(8/(-130)). Suppose 399 = 4*o + 91. Is y > o?
True
Suppose -2*v + 4*z - 12 = 0, -4*v + 2*z = -3*z + 21. Let r be (0/(-2) - 1) + (-24)/v. Does r = 1?
False
Let c be (3/(-2))/((-12)/7800). Let g be (1*-2)/4 - c/(-1963). Which is greater: -1 or g?
g
Let z = -3.2 - -3. Let h = -13110.7 + 13100. Is h bigger than z?
False
Let w be 9945/(-8619) - (4/130)/(1/(-5)). Is w less than or equal to -64/97?
True
Suppose -21*n = -30*n + 72. Let v be (29/n + -4)/(15/20). Which is smaller: -56 or v?
-56
Suppose -161 = 11*w - 502. Let k(t) = 5*t - 15. Let x be k(6). Let p(a) = a + 16. Let i be p(x). Is i at least as big as w?
True
Let u be (1 + 0 + 0)*0. Suppose u*r = -5*r. Let i be 146/1320 - (-256)/(-4224). Is r at most i?
True
Suppose -z = 5*m - 829 - 821, 0 = 5*m - 10. Let w = -1134 + z. Are w and 506 equal?
True
Let q = 2/86485 - 148462/8734985. Which is smaller: 1 or q?
q
Let m(w) be the third derivative of w**4/12 - 37*w**3/6 + w**2 - 117*w. Let s be m(18). Which is bigger: 3/104 or s?
3/104
Let j(l) = -l**2 - 18*l - 40. Let c be j(-18). Let d = c - -41. Which is bigger: -2/31 or d?
d
Suppose -j = 5*u + 636 - 114, 3*u + 4*j = -320. Let n = u - -110. Suppose -n*d + 16*d = 80. Does 0.06 = d?
False
Let p be 1/(-3)*42/2. Let s be (-7 - 69/6)/(p/18). Let t = s - 48. Does 0.1 = t?
False
Let t = 23 - 15. Let m = t - 11. Let g be ((-30)/(-27) + -2)*m/(-4). Which is smaller: -1 or g?
-1
Let p be (-31812)/(-79505) + 12/(-12) + (-18)/(-30). Are p and -1 nonequal?
True
Let a = 84 + -80. Suppose 0 = o + g + 11, -2*o - 4*g = -o - a. Which is smaller: -15 or o?
o
Let o = -1797 + 1797.1. Is 0.09022 equal to o?
False
Let d(t) = t. Let z(i) = -1. Let g be (-8)/12*(6 - 15). Let l(u) = g*z(u) + 2*d(u). Let v be l(-6). Is -4 less than v?
False
Let l = -242.2 + 727.8. Which is smaller: l or 1/2?
1/2
Let z = 281 + 399. Let i = 21 + z. Is -1 smaller than i?
True
Suppose 6*m = 2*m - 612. Let b = 632 - 785. Is m at least b?
True
Let y = 153 - 89. Let g = y + -74. Let s be (-10)/(-155)*(-15)/g. Which is greater: s or 0?
s
Suppose 0 = 5*y - 3*y - h - 8, 3*h - h = -8. Let k = -3 - -2. Let d = 6 + k. Is d > y?
True
Let h = 3043 - 3679. Which is greater: -634 or h?
-634
Let z = 0 - 5. Let s = -113 + 153. Suppose 5*p -