2 - 5 + h**3 - h**2. Let i be u(8). Which is bigger: i or f?
i
Let c(r) = 195*r + 1954. Let n be c(-10). Let q(b) = b + 1. Let s be q(6). Which is greater: s or n?
s
Let c(a) = 6*a + 88. Suppose 5*m + 90 = -5*n, -5*m - 6*n + 4*n - 99 = 0. Let b be c(m). Let d = -27 + 26. Is d less than or equal to b?
False
Suppose -5*i + 22 = z, 0 = -i - 96 + 99. Suppose 3*f = -19 + z. Is f less than or equal to 16/7?
True
Let u be -4041*(0 + (-3)/(-9)). Which is smaller: -1348 or u?
-1348
Let u = -707.41 + 708.2. Is u at most 1/8?
False
Suppose -4*x - 3*b = 9, -7 = 2*x + 4*b + 5. Suppose 5*k - 15 - 20 = x. Let p = 23 + -22. Which is greater: k or p?
k
Let c = -22.61 + 4.41. Let h = 175 - 174.8. Which is greater: c or h?
h
Let y(p) = 3*p**2 - 9*p + 8. Let l be y(1). Suppose l*a = -4*a. Is -16 less than or equal to a?
True
Let v = -0.8656 - -0.8526. Are v and -62 equal?
False
Suppose 27*m + 1080 = 7*m. Which is bigger: -46 or m?
-46
Suppose 54 = 25*i - 52*i. Which is bigger: -81/47 or i?
-81/47
Let y = -0.025 + -1.055. Let a be 2/15 - (-52)/(-65). Is a less than y?
False
Let v = 281/22 - 135/11. Let q = -763 - -986. Which is bigger: q or v?
q
Let h = -3202 + 3158. Which is smaller: h or 9/4?
h
Suppose 843 = -47*b + 796. Suppose 2*g + 5*r + 18 = 0, -5*g - 9 = -4*g + r. Which is bigger: g or b?
b
Let f be (0/(-4) + 5 + -2)/(26 - 25). Is 0.119 <= f?
True
Let f = 423.5 - 423.4. Which is greater: -28.17 or f?
f
Suppose -426 = -f + 3*f. Let w = 1692 + -1904. Are w and f unequal?
True
Let b(v) = -13*v + 7. Let x(t) = -t - 1. Let m(w) = b(w) - 6*x(w). Let k be m(14). Let a = 85 + k. Do a and 2/179 have the same value?
False
Let a = -20514/7 + 2913. Let j(d) = 37*d + 1389. Let h be j(-38). Are a and h equal?
False
Let u = -54299 + 166426433/3065. Do u and 1 have different values?
True
Suppose -1 + 16 = 3*k. Suppose 2*r = k*x - r + 106, -4*r = 2*x + 32. Let a(b) = b**2 + 21*b + 19. Let n be a(x). Is -2/3 at most as big as n?
False
Let w = 0.495 + 212.505. Let p = -128 + w. Let s = -84 + p. Is 9 >= s?
True
Let z be ((-4)/3160)/((-76)/12070). Let l = 3/316 + z. Let s = l - -26/57. Which is smaller: 1 or s?
s
Suppose -16*t = -21*t - 235. Let x be (-14 - -12)/(2/(-46)*-1). Which is bigger: t or x?
x
Let x = -1.1 - -0.1. Let l = 232.573 - 0.573. Let f = 257 - l. Which is smaller: f or x?
x
Let l = 2 + -2. Let i = 47.7 - 6.88. Let a = i + 0.18. Do l and a have the same value?
False
Let y(i) = 155*i + 930. Let k be y(-6). Which is bigger: 4/137 or k?
4/137
Let w = -14043 - -7478. Is w equal to -6564?
False
Suppose 0 = -4*k + 4*j + 1548, -31 = -k - 4*j + 376. Is k bigger than -2/5?
True
Let w = -0.3007 - -682.3007. Which is bigger: 0 or w?
w
Suppose -6*h = 7*h - 531 - 1068. Is 177 <= h?
False
Let n = -15000/33743191 - -4/4229. Is 1 bigger than n?
True
Suppose -5*w - 1227 = 3*n, -739 = 3*w + 17*n - 18*n. Let h = -235 - w. Which is bigger: 12 or h?
12
Let z = -2 + 1. Let b = -37/13478 - -189253/417818. Let a = b + -18/31. Which is greater: a or z?
a
Let u = 0.9553 - 8.8553. Are u and -0.6 nonequal?
True
Let h be 56/77 - (-12)/44. Let u be (1 - 4)*9/117. Which is greater: h or u?
h
Let r = 1 - -4. Let f be (6/45)/(r/(-3)). Let o be 27/(-6) - 147/(-42). Are f and o equal?
False
Let k = 7045 - 7035. Let n(c) = -3*c - 4. Suppose -5*h + o - 24 = 0, 5*o - 1 = 19. Let s be n(h). Which is greater: k or s?
k
Let k = 34379 - 34119. Is 126 at most k?
True
Suppose -1 = 4*u - y, -21 = 5*u - 4*y - 17. Which is bigger: -1/9056 or u?
u
Let k = -5 - 11. Suppose -r = -4*h + 24 + 103, h = r + 28. Let s be 390/1320 + (-18)/h. Which is greater: s or k?
s
Suppose 58*g + 213*g = 332246. Which is smaller: g or 1223?
1223
Let k(o) be the first derivative of o**2 + 2*o + 36 + 11/4*o**4 - 1/3*o**3. Let c be k(-1). Is c greater than -11?
False
Let q(f) = f**2 - 842*f + 5017. Let j be q(6). Do j and -5/4593 have the same value?
False
Suppose -5*v = 5*s + 15 + 30, 21 = -2*v - 3*s. Let n be (-8)/v*(-9)/(-6). Are n and -2 non-equal?
True
Suppose -15*s + 24*s + 540 = 0. Let u = -676 - -613. Which is smaller: s or u?
u
Let q be ((-4)/(-5))/((-8)/(-40)). Suppose 0*g - 2 = -5*y - 3*g, q*g = -5*y + 1. Let t = 93/11 - 1211/143. Is t at most y?
True
Let r be (-5)/(-110) + 101895/(-12870). Which is greater: -9 or r?
r
Let b be 378/(-63) - (-3 + (-2 + -1)*1). Which is greater: b or 3/1103?
3/1103
Suppose 418*u - 958 = 50*u + 514. Let q(g) = 6*g**3 - 2*g + 1. Let p be q(1). Do p and u have the same value?
False
Let v = 0.77347 + -0.27347. Let n be 6/3*6/(-4). Is n bigger than v?
False
Let g(c) = -3*c + 22. Let j be g(5). Suppose j*i - 2*i = -275. Let t be (-2 + (-100)/i)/(-1). Is t not equal to -4/7?
True
Let p = -2137.2 - -2158. Does 10 = p?
False
Let t(a) = 19*a + 8. Let u(g) = -g**3 + 2*g**2 + 27*g + 6. Let d be u(-4). Let b be t(d). Are b and -104 unequal?
True
Suppose 2*k = 8, 2 - 7 = 5*a - 5*k. Let h be (14 + -1)*(a - 2). Let y = -3999/2 + 2012. Is h != y?
True
Suppose 119*v - 2*j - 10 = 114*v, 0 = 5*v - 3*j - 15. Is -2/1915 <= v?
True
Let p = 1097/7 + -2549/21. Let i be (-2)/(-6) - (-3 - 285/9). Which is greater: p or i?
p
Let q = -352.8 - -352.7. Which is smaller: -3/26 or q?
-3/26
Let d = -13127 + 13182. Suppose 275 = 2*v + 3*v. Is d < v?
False
Let g(t) = -11 - 5 + 97*t + 12*t**2 - 25*t + 33 - 10. Let c be g(-6). Let b = 24 - 16. Are c and b equal?
False
Let s = 0.08 - 0.38. Let o = 27 + -183. Let u = o + 155.9. Which is smaller: s or u?
s
Suppose -60*i + 63*i + 30 = 3*m, m + 4*i + 5 = 0. Which is smaller: m or 194/31?
194/31
Let q = 74/202005 - -184304108/14342355. Let n be ((-60)/(-639))/((-2)/(-33)). Let w = n + q. Is 14 less than or equal to w?
True
Let t be (-4)/(-2) - 5 - 15/(-3). Let n be (t/24)/((-26410)/(-304)). Which is bigger: -1 or n?
n
Suppose 0*w + 4 = 2*w. Let b = 8495 - 127514/15. Let t = b - -103/15. Which is smaller: t or w?
t
Let y(z) = -102*z - 362. Let o be y(-14). Is -2 < o?
True
Let c = 489 - 180. Do -1 and c have the same value?
False
Let c be -830*((-44)/(-8) + (4050/27)/(-25)). Let w = -687 + 1102. Does c = w?
True
Let u be (26 + (-867)/34)/(12/8). Let i = 9.97 - -0.03. Let n = i - 18. Is n greater than or equal to u?
False
Let q(t) = -7*t**3 - 18*t**2 + 23*t - 122. Let z(p) = -10*p**3 - 28*p**2 + 34*p - 183. Let b(o) = 7*q(o) - 5*z(o). Let k be b(-15). Which is bigger: -28 or k?
-28
Let u = -493.7 + 8.7. Let i = u + 485.222. Is 0.1 <= i?
True
Let v = 282 - 241.6. Let d = v + 1.6. Let y = 41.8 - d. Is -5/7 != y?
True
Suppose 3*b - 8 = 5*p, -5*b + 5*p = -0*p - 30. Let c(i) = 2*i**2 - 2*i - 18. Let o be c(b). Which is smaller: 203 or o?
o
Let o(n) = n**3 - 2*n - 2. Let y be o(-1). Let c = y + 1. Is -1/85 <= c?
True
Let j = 276 + -206. Let b be 29/2*(-300)/j. Which is greater: -61 or b?
-61
Let u = -625.8 - -593.8. Is -3.36 greater than u?
True
Suppose 39*z = 27*z + 96. Let h(r) = r**2 - 9*r + 19. Suppose 2*g - 12 - 4 = 0. Let k be h(g). Which is greater: z or k?
k
Let w = 0.17 + -0.27. Let t be ((-112)/(-35))/(4/(-50)). Let u be 3*t/(-6)*-4. Is u at least as big as w?
False
Let h = -5548 + 7689. Is 2140 at most h?
True
Let f = -136.00593 + 0.00593. Which is smaller: f or 7/5?
f
Let m be (-4)/(-12) + -2 + (-309)/9. Are -15 and m unequal?
True
Let t be ((-4)/10)/((-533573)/(-133384) - 4). Let v = t + 1442. Let c be 1*2 + 3 + -6. Are v and c non-equal?
True
Let f = 17.595 + 0.205. Let j = f - 20.11. Let w = j - -0.91. Is w greater than -1/5?
False
Let m = -1273 + 2043. Suppose -m = 3*n - 773. Let i = 0 + 2. Which is bigger: i or n?
i
Let x = -51 - -73. Let z be x/4*(-5 - (-8)/2). Is z greater than -7?
True
Suppose 1 = -7*d + 2*d + 2*v, -2*v + 5 = -1. Let l = 407/4 - 100. Which is greater: l or d?
l
Let t = 490 + -485. Let d(g) = -g**2 - 8*g - 3. Let h be d(-7). Suppose -t*w - 212 = 4*j, -5*w + 73 = -h*j - 179. Which is greater: j or -59?
j
Suppose 2*u + 0*l + 30 = -2*l, 0 = -2*u - l - 31. Let c = u + 6. Let w = -41 - -30. Which is smaller: w or c?
w
Let f = -2379566/117 - -20338. Which is smaller: 0 or f?
f
Let t(r) = -r**3 + 24*r**2 - 14*r - 6. Let a be t(8). Let s be a/(-4563) - 6*10/(-270). Is s greater than or equal to 0?
True
Suppose 23*b + 2 - 163 = 0. Let a be (-3)/(-10) - (35/b + -5). Which is greater: a or -24?
a
Let c = 11/4 - 13/4. Let y = -122 + 149. Let w = y - 63. Which is 