 is smaller: -5064 or h?
-5064
Let c be ((-9)/15)/((936/(-325))/(-24)). Which is greater: c or -167/45?
-167/45
Let x be (-3)/(-5) + 6/11 + 13973323/(-30030). Which is smaller: x or -463?
x
Let r(x) = 212*x - 4549. Let a be r(16). Is -1157 smaller than a?
False
Let v = 6263 - 6036. Which is bigger: v or 4?
v
Let y = -41 + 29. Let d be -1 + (-1 - -2)*y. Let u(m) = 76*m**2 + 2130*m + 43. Let q be u(-28). Is d equal to q?
True
Suppose -k + 9 = -5*h - 6, 0 = 5*k - 2*h + 63. Let c = -3 - -5. Let f be 36/(-40)*k/c. Is -2/3 greater than f?
False
Let o be 9/24*(-187712)/96. Which is bigger: o or -732?
-732
Let l = -3 - -4. Suppose -4*c = -13*h + 11*h + 956, 0 = -5*h + 5*c + 2370. Let i be 3 + 0 + (-1363)/h. Which is smaller: i or l?
i
Let l = 3.1 + -3. Let t = -668 + 668.297. Let v = -5.297 + t. Is v less than l?
True
Let w = -0.0702 + -384.9298. Let n = 383 + w. Which is smaller: n or -89?
-89
Let d be ((-72)/(-2))/(-27 + (-3492)/(-144)). Which is smaller: -0.16 or d?
d
Let a(d) = d**2 - 67*d + 1244. Let x be a(25). Is x not equal to 184?
True
Let g = -18 + 71. Suppose -5*d + 608*m - 606*m + 294 = 0, -2*d + 4*m = -140. Is d < g?
False
Let o(t) = -6*t - 44. Let n be o(-4). Let b be ((-7)/56)/(5/n). Let v = 16/33 + -274/429. Is b at most as big as v?
False
Suppose 4*k = -5*s + 94, -5*s + s + 84 = k. Suppose 0 = -s*v + 24*v. Let o be (v - 21/(-30)) + 4/(-8). Is 3/5 < o?
False
Let x = 275 + -487. Let y = -4643/14 - -2332/7. Is x > y?
False
Let o = 19.9 - 19. Let z = 1.31 + -0.61. Let n = o + z. Which is smaller: -1/5 or n?
-1/5
Let i(b) be the first derivative of -b**3/3 - 12*b**2 - 44*b + 17. Let g be i(-23). Which is bigger: g or -22?
g
Let x = -4026544/5 - -802182. Which is bigger: x or -3126?
-3126
Let t = -878806780/63 - -13949863. Suppose 3*r - 1451 = 196. Let i = r - t. Is 0 smaller than i?
False
Let f = 13 + -39. Let n be ((-1738)/154 + 13)*70/(-4). Is f <= n?
False
Let h = -106.5 - -104. Let a = h - 49.5. Let q = a + 52.17. Is q at least as big as -1/3?
True
Let m = -236.9 + 240.6. Let r = -0.068 + -3.232. Let s = r + m. Do -1 and s have different values?
True
Let a = 43147 - 42967. Let y be -2 - -4 - (1 - 179). Is a at most y?
True
Let t(q) = 17*q**3 + 2*q**2 - 4*q + 2. Let m be t(1). Which is greater: 9 or m?
m
Let z be (-42)/(-45) - 21/(-315). Is -1/8 < z?
True
Let k(n) = 5*n - 15. Let f be (15/25)/(2/10). Let h(z) = -6*z + 16. Let w(d) = f*h(d) + 4*k(d). Let i be w(7). Is 2 at least i?
True
Suppose -230*i + 21960 = -291*i. Is -361 <= i?
True
Let h = 4634 - 4809. Is 13 > h?
True
Suppose 5*n = -l - 144, -3*n + 5*l = 45 + 19. Let g be 2*3/2 - 0. Let a be 0 - g - (-2 - -26). Which is smaller: n or a?
n
Let z be 62/(-510) - (-3)/9. Let h = 8/85 - z. Let r = -309 - -308.99. Which is smaller: r or h?
h
Let n be -5*(-3 - -2) + 0. Suppose 3*u + 2*k - 43 = 2*u, 4*k + 201 = n*u. Suppose -y = 5*q - 37, 3*y - 31 = -2*q + u. Do y and 21 have different values?
True
Let h(y) = 2*y**2 - 46*y - 49. Suppose -3*k + 60 = -0*k + 4*z, 0 = 2*k - 2*z - 54. Let f be h(k). Which is greater: -1/229 or f?
-1/229
Let l(s) = 3*s - 23. Let f(c) = -c + 1. Let x(w) = -2*w**2 - 9*w - 2. Let q be x(-4). Let o(d) = q*f(d) - 2*l(d). Let h be o(6). Is 10/19 bigger than h?
True
Suppose s = -7 + 2, -s + 7 = 3*p. Let t be (5/2 + -2)/(p/(-8)). Let a = 58 + -298/5. Do a and t have different values?
True
Suppose 3 + 3 = 2*w. Suppose 4*j = -w*z - 116, 5 = 2*j + 15. Let r(v) = 4*v**3 + 34*v**2 + 15*v - 40. Let d be r(-8). Are d and z equal?
True
Let r be 0/(3 + 0 + -5). Suppose -3*p - 5*x + 60 - 428 = r, -5*x = -p - 96. Let b = 165 + p. Are b and 50 non-equal?
True
Let m(q) = 2*q**3 + 6*q**2 + 61*q - 19. Let c be m(9). Are c and 2474 equal?
True
Let q(v) = v**3 + 10*v**2 + 6*v - 26. Suppose m = 3*w + 2*w + 44, -2*w = 5*m + 23. Let i be q(w). Are i and 24 unequal?
True
Let a be ((-3)/2)/(12/(-32)). Let u(w) = -15*w + 2. Let x be u(-1). Suppose -a*o - x = -3*l + 8, 3*o = -l + 17. Is 13 greater than or equal to l?
True
Let v(g) = 294*g + 1485. Let u be v(-8). Does u = -875?
False
Let i be (-9)/(-6)*(-44)/(-6). Suppose 5*s + 15 = 0, -x - 4*s - 10 = i. Let d = -175 - -166. Is x <= d?
True
Suppose 4*w - 35 = -15. Suppose -2*r = -w*y - 200, -2*r = 2*r + 5*y - 460. Let j be (18/r)/((105/(-10))/7). Which is greater: -1 or j?
j
Suppose -6*x + 7*x - 13 = 0. Let y(w) = 39 + 37 + w**2 - 13*w - 72. Let n be y(x). Is 11/3 bigger than n?
False
Let a = -0.51 - -0.31. Let w = a - 7.6. Let o = w - -8.1. Is -0.2 bigger than o?
False
Let i = 2094 + -2069. Is -45 at most as big as i?
True
Suppose -4*q = -5*g - 5687, 5671 = 68*g - 73*g + 2*q. Is g <= -1130?
True
Suppose 6*q - 5*q = 0. Suppose -2*k + 0 - 2 = q. Let d be (-10)/(-2) - (-7820)/(-1288). Is d not equal to k?
True
Let q = -6.41 + 6.4. Let g be -4 - (-3 - 2) - (112 - 1). Let f = 445/4 + g. Which is greater: q or f?
f
Let k(z) = -3*z**3 - 2*z**2 - 2*z + 4. Let y be k(3). Let v = -486 + 1102. Suppose 1505 = -21*d - v. Is d != y?
False
Suppose 3*t = -j - 899, 4*t - 81*j + 1188 = -77*j. Is t bigger than -295?
False
Let h(k) = -37*k**2 + k + 1. Let x be h(-1). Suppose 0 = 12*d + 2*d - 532. Let v = d + x. Which is smaller: v or 6/29?
6/29
Let v be 21/(2 - -1) - 3. Let u be (9/(-42))/(((-81)/v)/3). Suppose 0*d + 7 = -3*f + 4*d, 0 = 4*d - 4. Is u greater than f?
True
Suppose 0 = 8*z - 17 + 1. Suppose r - 8 = -3*o, -2*o + 10 = z*r + o. Suppose 14 + 94 = 4*s. Is s not equal to r?
True
Let c = 4/51747 + -316918/83260923. Which is bigger: c or 1?
1
Suppose -q - 3 = -4*w + 3, -4*q = 4*w - 16. Suppose -4*p = -2*o - w*o - 188, -4*p - 5*o = -152. Which is smaller: 41 or p?
41
Let v = -6900 + 6905. Is v > 2.7?
True
Let q(p) = -p - 1. Let m(i) = -2*i**2 - i - 1. Let r(k) = 2*m(k) - 2*q(k). Let h be r(-1). Suppose -60*g = -93*g - 264. Which is greater: h or g?
h
Let f = 8365 + -8364. Which is bigger: f or 892?
892
Let a be ((-365)/3)/((-9)/(-27)). Let s = -363 - a. Is 14 smaller than s?
False
Suppose 3*w - o - o - 127 = 0, -w = 2*o - 45. Suppose 17 = -4*v - w. Let m = v - -30. Which is bigger: m or 14?
m
Let i = -1136.26 + -25.74. Which is greater: 0 or i?
0
Let w = 5 + -20. Let q(x) = x**3 + 13*x**2 - 2*x - 41. Let b(m) = -2*m**2 - 5. Let n be b(-2). Let a be q(n). Is w > a?
False
Let n(o) = -o**3 + 6*o**2 + 2*o + 8. Let q be n(4). Suppose -3*l - 5 = -5*u - q, -l + 5*u = -31. Suppose -2*m + 10 = l. Is 20/9 <= m?
False
Let a = -18425 + 18425.04. Is a equal to -2491?
False
Let v = -7.1 - 4.9. Which is bigger: 35 or v?
35
Suppose 47151 = -3*g + 9*g + 3*g. Which is smaller: g or -0.1?
-0.1
Suppose -g = 5*o - 5*g - 25, 2*o - 10 = g. Let a(y) = y**3 + 3*y**2 - 7*y - 3. Let s be a(o). Is 161 <= s?
True
Let u = -258213/37 + 6979. Is 1 > u?
True
Let d(a) = -3*a**2 - 158*a - 180. Let f be d(-55). Is f <= -564?
True
Let g be -20*(-15)/1800*-2. Let z = 1.21 + -75.21. Which is greater: g or z?
g
Let r be 15 + 1631*17/119. Which is smaller: 249 or r?
r
Suppose 4*k + 955 = -129. Let l = k + 348. Which is greater: 78 or l?
78
Let b = -84/541 + -61963/1623. Which is smaller: -39 or b?
-39
Let p = 55053 - 2917489/53. Is 7 at most as big as p?
False
Let g = -10.2434 - -10.5434. Let f = 6.9 - -45.1. Which is bigger: f or g?
f
Let f = -4/141823 + -15598342/77577181. Is f less than 1?
True
Suppose -296*a + 288*a = -2072. Suppose 6*d = -731 - a. Is -166 <= d?
True
Suppose 4*r + 0 - 8 = 0, -r = k + 4. Let y be ((-3)/k - 0)/(-2). Let l = 133 + -134. Is y bigger than l?
True
Let t(n) = n**3 + 20*n**2 + 98*n - 14. Let r be t(-11). Let c be ((-78)/18)/((-12)/189). Let g = c - 69. Is g less than r?
False
Let l = -8 + 9. Let w be l/((-4)/20) - -1. Let k(i) = -2*i - 4. Let g be k(0). Is w <= g?
True
Suppose 9 = 6*w - 9*w. Let b be 61 - 14 - (w + 0). Suppose -2*s + 20 = -c - 73, -4*c = 2*s - 118. Is b > s?
True
Let n be ((-26)/(-15870))/((-12 - -4)/(-313496)). Let k = 4/7935 - n. Is k greater than or equal to -64?
False
Let u be -7 - -6 - (7565/(-40) + 4). Which is bigger: 184 or u?
u
Let x be 80/86 + (-2)/2. Let j(k) = 370*k - 8140. Let n be j(22). Is n greater than or equal to x?
True
Let o(b) = b**3 + 10*b**2 + 11*b + 23. Let k = 152 + -161. Let j be o(k). Which is bigger: 21/4 or j?
21/4
Let s be 36/2048*32/(-40). Let u = s - -74943/4480. Which is smaller: u or 18?
u
Let d(l) = l**3 + 18*l**