*h. Which is bigger: d or -5?
d
Let w = -5498/117 + 684188/16965. Let b = w - 2/435. Suppose 2*v = 5*u + 30, v - 7 = u - 1. Is u at least as big as b?
True
Let r(a) = a**3 - 47*a**2 + 49*a + 15. Let q be r(46). Suppose l - 156 = -q. Which is greater: 7 or l?
7
Suppose 3*w - 59 = 76. Let z be -6*((-764)/15 + (-14)/35). Suppose -19*c - z = -26*c. Is w != c?
True
Let o be ((-4)/2)/(1 - -8). Let c be (10 - 46)/(4/56). Let r = c + 503. Which is smaller: o or r?
r
Suppose 0 = 5*s + 62*s - s + 18282. Which is greater: s or -1109/4?
s
Let f = -723 - -1253. Let k = f - 531. Which is bigger: 8/69 or k?
8/69
Let w be ((94/(-29939))/((-6)/(-9)))/((-9)/(-6)). Let c(n) = n**2 - 5*n + 4. Let h be c(4). Is h >= w?
True
Let a(s) = -3*s + 1. Let f be a(1). Suppose -2*j - 355 = -4*k + 351, 0 = -5*k - 3*j + 855. Suppose 2*q + k = 182. Is f smaller than q?
True
Let d be 26/72 - (-3)/4. Suppose 0 = y - 5, -4*y = 4*s + y - 77. Let v = 13 - s. Which is greater: v or d?
d
Let m be ((-122)/(-4))/(2/4). Let v = 5318 - 37224/7. Which is smaller: m or v?
v
Let s(d) = -d. Let b(i) = 60 + 11*i + 8 - 9*i. Let j(x) = -b(x) + s(x). Let o be j(-22). Which is smaller: 12 or o?
o
Let l = -11.98284 - 0.01716. Is l at most 8?
True
Let f = -1935 + 1896. Which is smaller: f or -46?
-46
Suppose 2*p = z - 10968, 2412 + 14026 = -3*p + 5*z. Is p greater than or equal to -5486?
True
Let m = 1241 + -1320. Is -49 > m?
True
Let g(h) = -4*h**2 - 514*h - 256. Let k be g(-128). Do k and 2/873 have the same value?
False
Let g be (2282/(-210) - -12) + -4*1/4. Suppose c - 2*p = -c, 5*p = -4*c - 9. Which is smaller: g or c?
c
Let z(h) = 18*h + 2. Let t be z(0). Suppose t*f - 7 = 5*g, 0 + 10 = 2*f - 2*g. Let a = -5 - -5. Which is greater: f or a?
f
Let l(k) be the second derivative of -k**4/12 + 5*k**3/2 - 12*k**2 - 14*k. Let f be l(12). Let b be (2 - 1)/((-6)/f). Which is bigger: b or -7/11?
-7/11
Let u be (-9)/(-6)*24180/(-858). Which is smaller: u or -43?
-43
Suppose 22585 + 40271 = -24*b. Are b and -2617 equal?
False
Let w = 0.9838 - 770.0838. Let i = w - -769. Which is smaller: 12/11 or i?
i
Let t be (145/(-25) - -5)*10/(-4). Suppose -17 + t = 5*y. Is y <= -5/3?
True
Suppose 6 = 3*y - 3. Let f be -157*3/6*-4. Let c be ((-44)/(-33))/(f/y). Is c smaller than -1?
False
Suppose 2*k + 3*k - 9 = -3*u, -5*u + k = -15. Suppose -7*l = -u*l. Let p be 7/(-28) - 1/(-4). Is p less than or equal to l?
True
Let t be (16200 + -8)/8 - (1 + 2). Is t equal to 2022?
False
Let t be 4 + 25/(-4)*((-144)/40)/(-6). Which is smaller: t or -3180?
-3180
Suppose 0 = -2*m + 2*i + 2*i + 18, 5*i = 4*m - 21. Let w(k) = k**2 - 8*k + 8. Let o be w(7). Let f be o/(-3) - 179/(-519). Which is bigger: f or m?
f
Let r be 16/6*24/32. Suppose -2*a = 4*n - 16, r*n + 2*a - 6 = -0*a. Let x be 1 + n + (-1 - -3). Are -0.2 and x unequal?
True
Let p = 4559 - 4785. Is -0.1 smaller than p?
False
Let s = 1004153/13485 + -1117/15. Let d = 1.53 + -1.63. Which is greater: s or d?
s
Suppose -n + 5*p = 1957, -4*n - 9811 = n + p. Which is bigger: n or 2?
2
Let t(d) be the third derivative of d**8/6720 + d**7/504 + d**6/144 - 19*d**5/60 + 23*d**2. Let n(o) be the third derivative of t(o). Let w be n(-4). Is 10 > w?
False
Let m = -42.94 - -2.34. Let f = m - -38.6. Which is smaller: -32 or f?
-32
Let k be 7/((-245)/150) + 2/7. Let c be 0 + ((-118)/80 - 6/k). Suppose 22*w - 27*w = -5. Is c greater than w?
False
Let y = -602 + 322. Let z = -278 - y. Let u = -1.1 - -1. Is z less than or equal to u?
False
Let v = 562.09 + -562. Which is greater: 5 or v?
5
Suppose -3*r + 2*f = -6050, 2*r + 2*f - 4726 = -696. Which is smaller: 10074/5 or r?
10074/5
Suppose 2*n = -4*z + z + 1938, 4*n + 4*z - 3880 = 0. Suppose 8*l = -l - n. Let h = -162 - l. Does h = -54?
True
Suppose -5 = 4*h + 3*y - 6, -18*h - 2*y = -16. Is -57/272 at most h?
True
Suppose 40 = 2*k - 4*h, 89*k - h - 37 = 84*k. Which is smaller: 157/32 or k?
157/32
Let x = 111 + 43.9. Let v = -155 + x. Is v at least 21/5?
False
Let f(r) = 27*r**2 + 841*r. Let n be f(-33). Which is smaller: 1646 or n?
1646
Suppose 1699*d = 1704*d + 3*c + 13, 5*c + 35 = 5*d. Is d less than or equal to -1/50?
False
Suppose -r - 131 - 77 = 5*t, 2*r - 5*t + 356 = 0. Is r less than 3?
True
Suppose -2008 = -4*d - 2*h, 0 = -14*d + 18*d - 2*h - 2024. Let f = 608 - d. Which is smaller: 105 or f?
f
Let n = -212.864 + -1.736. Let g = n - -214. Is 1/52 <= g?
False
Let s = -5827 + 9256. Suppose 31*m + s = 4*m. Which is smaller: -629/5 or m?
m
Let s = -1300 + 7805/6. Which is bigger: -8/59 or s?
s
Let h = 16 + -17. Let u = h + 2. Let w = -33/4 + 1225/148. Which is smaller: w or u?
w
Let i(w) = -w**3 + 4*w**2 - 6. Let r be i(3). Let u be (-6)/(-2)*2/r. Suppose 0*o = -u*o + 6. Which is greater: o or 20/9?
o
Let h be ((-138)/56)/((-27)/(-24)). Let q = h + -2521/105. Let o = q + 1177/45. Is -1 at least o?
False
Let w be (-12)/(-18) - (-70)/(-6). Let n = w - -16. Suppose 0 = -a - h - 1 - n, 5*h - 10 = 3*a. Which is greater: a or -6?
a
Let r be 4/(-3) - (-2)/6. Let t be 10 + (-8)/171*203997/954. Which is bigger: r or t?
t
Let q = 3865/7084 + -11/161. Let g be 1*322/(-231) + (-4)/(-6). Let w = q + g. Is -1.8 not equal to w?
True
Let s be 25 + 2455*6/15. Is 1002 equal to s?
False
Suppose 158*a - 15 = 153*a. Suppose -90*b + 87*b = -a. Which is bigger: b or 25/37?
b
Let a = -57229/43 + 1331. Let w(s) = -s - 16. Let p be w(-16). Which is smaller: p or a?
p
Suppose -2 = -8*f + 14. Suppose 5*i + 5*b - 65 = 0, -2*i + 4*b = f*i - 60. Let w be (-8 + 0)/((-6)/12). Which is smaller: w or i?
i
Let z(j) = 70*j - 1354. Let a be z(20). Are -36 and a unequal?
True
Let q be (-4 - -3) + 6482/(-6). Let t = q + 1139. Let m = -13664/237 + t. Which is smaller: -1 or m?
-1
Let q be ((-3*10/(-75))/1)/(7 + -9). Is 690/7 < q?
False
Let b = 86.9375 - 0.0375. Let j = 87 - b. Which is greater: j or 127?
127
Let p = 2 + -2. Let w = 9042114/91 - 692338/7. Let r = 458 - w. Do p and r have the same value?
False
Let m = 1567 + -1567. Which is greater: m or -984?
m
Suppose 68*c = -667 - 172 - 45. Which is smaller: -178 or c?
-178
Suppose 16*c = 57*c + 39*c + 940560. Is -1/3 at least c?
True
Let i = -331 + 246. Let s = -230 + 146. Is i less than s?
True
Let t = -17 - -19. Suppose -5*a - 68 = 4*q, -7*q + t*q - a = 64. Let p be (2/q)/(-3*49/63). Which is smaller: p or 0?
0
Let s be 30/(-20) + (((-26190)/(-4))/(-5) - -2). Which is bigger: s or -1306?
-1306
Suppose -5*a - 6 = 2*y, 682*a = 684*a + 4*y - 4. Let n(z) = z**3 - 3*z**2 - 6*z + 4. Let v be n(4). Let i = v + 6. Which is bigger: a or i?
i
Let p be 749/(-214)*20/(-14). Let x be (3*p/(-1605))/((-3)/6). Suppose 4*w = -4*c - 12, -1 = 2*w - 2*c - 7. Is x at most as big as w?
False
Suppose 0 = 2*j + 43*j - 3420. Let v be (-1)/(36/(-8) - 0). Which is smaller: v or j?
v
Let h = -981 - -11791/12. Are h and 3 equal?
False
Suppose -5*c - 3*o - o = -15008, -4*c - o = -12002. Suppose c = 25*u - u. Which is smaller: 124 or u?
124
Let g = -922 - -932. Let n(u) = -2*u**3 + 20*u**2 - 3*u - 18. Let q be n(g). Is q at least -148/3?
True
Let t = 66497.942 + -66721. Let f = -0.058 - t. Is 2 smaller than f?
True
Let d = -46.969 + -0.031. Let c = -47.42 - d. Let n = c + 0.42. Are n and 27 nonequal?
True
Let c = 2263/11 - 206. Let y = -81/55 - c. Is y at most as big as -2?
False
Let d be (-4 + -5 - 2) + 4. Let k be d*((-2)/(-5))/(28/(-20)). Suppose 5 = k*q - 13. Which is smaller: 5 or q?
5
Let y = 5443/8 + -683. Let t = -53 + 53.5. Let z = 0.7 - t. Is z != y?
True
Let k(c) = c**2 + 12*c + 31. Let i be k(-8). Let l be (2/3)/((-234)/729). Are i and l equal?
False
Let c(p) = -p**3 - 14*p**2 - 43*p + 11. Let a be c(-5). Suppose 55 = -4*w - 41. Let n be w/64*3/30. Which is greater: a or n?
a
Let p = -1481 - -3089. Which is bigger: 0.2 or p?
p
Let t = -27859 + 250730/9. Which is greater: 137 or t?
137
Let h(t) = -2*t**3 + 7*t**2 - 40*t + 240. Let a be h(5). Which is greater: a or -32?
-32
Let t = -18.44 + 0.44. Suppose 51 = -54*a + 969. Which is bigger: a or t?
a
Let h(o) = o**3 + 24*o**2 + 49*o - 58. Let a be h(-22). Let c = -168 - a. Is 9/8 not equal to c?
True
Let y = 0 + 1. Let p = 333 - 324. Let l be p/(-12)*(-1 + (-5)/3). Which is smaller: y or l?
y
Let m be 40/5 + (-72)/9. Let l be (m - 3)*(-126)/(-2). Which is bigger: -566/3 or l?
-566/3
Let m be 2