e 8*h - 7*h - 4 = 4*i, -5*h - d = i. Which is bigger: h or 2/197?
2/197
Let k = 390 + -387. Let u be 22/(-84) - ((-170)/70 + k). Is -1 < u?
True
Suppose 39*d + 65*d = 25*d - 44398. Which is greater: d or -570?
d
Let k = -818.935 + 2.935. Which is bigger: k or -4/9?
-4/9
Let n = 11370736/25924433 - 510/1163. Which is greater: -1 or n?
n
Let m be -2*(314/(-4) + (-6 - -9)). Let u be 4463/(-30) - 2/5. Let w = m + u. Is 1 >= w?
False
Let b = -8096 + 3909. Is -4187 not equal to b?
False
Suppose -43*b = -48*b + 105655. Let x be 826/b - -2 - 2. Let u = x - 4/187. Is 0 less than u?
True
Let v = -11.125 + 14.725. Is 27 greater than or equal to v?
True
Suppose -7*p - 4 = -32. Suppose -5*f - 6 = 2*i, p*f + 7*i + 15 = 2*i. Which is smaller: f or -3/41?
-3/41
Suppose 0 = 15*b - 31 - 59. Let j be (-7 + (-122)/(-20))*(-2)/b. Is 7 not equal to j?
True
Let m = -0.033524 + 3.033524. Let j = -8 + 14. Let i = -3 + j. Are m and i equal?
True
Let o = -34357/4 + 8587. Which is smaller: o or -0.046?
o
Let o be 23294/(-133) + -8 + -2*1/(-14). Is o at most as big as -149?
True
Suppose 0*k = k + 4, w - 212 = k. Let g = w - 256. Is -45 greater than g?
True
Let p = 33090/7 - 399173/84. Is p < -26?
False
Suppose 2502 = 59*b + 496. Let x(d) = -16*d**2 + 544*d. Let w be x(b). Let t be ((-1)/82)/((-2)/16). Which is smaller: w or t?
w
Let t = 81.16 - 91.66. Let s be (3/((-5)/(-5)))/(-1). Which is greater: t or s?
s
Let d = -624 + 638. Suppose -s - 6 = -0*s. Do s and d have the same value?
False
Let j(k) = k**2 - 5*k + 12. Let m be j(4). Suppose -m*z + 7*z + 77 = 5*u, -3*z - 89 = -5*u. Suppose 3*c - 64 = -c. Is c greater than u?
False
Let j = 1.64 - 0.51. Let p = 0.93 - j. Are p and -0.28 nonequal?
True
Let t(d) = 14*d**3 + 376*d**2 - 52*d + 59. Let z be t(-27). Let c = 39 + -27. Suppose 4*p = -5*u - 0*u + 40, 2*u + c = 4*p. Is z >= u?
True
Let z = -7150/3 - -286663/120. Which is smaller: 6 or z?
z
Suppose 0 = 2*m + 140 - 20. Let d be m/16*-4 - 2. Suppose -d = -r - 4*q - 0*q, 47 = 2*r + q. Are r and 26 equal?
False
Let z = -0.202 + 0.002. Let d = z - 8.8. Which is smaller: d or 0.15?
d
Let y be (-8 - 10/((-140)/651)) + 7. Which is smaller: y or 46?
y
Suppose -4*d = 134 - 22. Let w = 9.733 - 11.133. Which is greater: w or d?
w
Let c = 0.19 - 0.39. Let k(m) = -12*m**2 + 6. Let d be k(2). Let i be (-21)/d*(-1 + -35). Is c < i?
False
Let f = -0.4 - 0.01. Let j = 2.99 - f. Let t = j + 9.6. Is 1 greater than t?
False
Suppose -6*p - 15 = -3*p. Let z be 0 - (6 + 237/p). Which is smaller: 40 or z?
40
Suppose 12*b = 3490 - 814. Which is bigger: b or 224?
224
Let c(s) = -7*s**2 - 98*s. Let o be c(-14). Let y be (-20)/(-90) - (o + 1 + -1). Let t = -2.5 - 36.5. Which is greater: y or t?
y
Suppose -2*x - 14 = 2*a, -532*x - 4*a - 28 = -530*x. Is x at least 2/11359?
False
Suppose -r = -0*r. Let i = -1067/56 - -169/8. Let f = 631/308 - i. Which is greater: f or r?
r
Let h = -2.335 - -0.235. Let j = 34.9 - 33. Let l = h + j. Which is greater: -0.4 or l?
l
Let t be -5 + (0 - -15 - (-14 + 20)) + -3. Which is greater: t or -4/1897?
t
Let n be (-18490)/27240 - ((-225)/(-27) - 9). Is n equal to -1?
False
Let d(x) = 90*x - 2351. Let m be d(-33). Does m = -5320?
False
Let a be 2/29300*115/(-46). Is a bigger than 0?
False
Let a be (578/(-580) - -1)*(-500)/(-1250). Which is bigger: -1 or a?
a
Suppose -27*p + 4*p + 1055 = -4187 + 941. Let d(o) = -8*o**3 - 2*o**2 + 4*o + 3. Let x be d(-3). Which is bigger: x or p?
x
Let g = 1322732/5949 - -800/661. Is g bigger than 225?
False
Let w = 0.295 + -163.295. Let c = 165 + w. Which is greater: 1 or c?
c
Let h be ((-9)/2)/((264/32)/(-11)). Let q be (-3 + -4)*h/(-21). Which is smaller: q or 12/23?
12/23
Let u(g) be the second derivative of g**4/12 + 5*g**3/3 + 21*g**2/2 + 2*g + 13. Let a be u(-7). Which is bigger: a or -8/39?
a
Let j = 32 + -22. Let a be ((-8)/j)/((-1)/5). Let c be 18 - (-6924)/(-462) - (32/14 + -2). Which is bigger: a or c?
a
Let j = 3065/407337 - 2/2771. Let u = -157/1470 + j. Let n = u + -3/10. Which is bigger: n or 4?
4
Suppose 3*w - 244 = 2*y, 8*w - 5*w + y = 256. Suppose 16 = -w*t + 88*t. Does 7 = t?
False
Suppose -3*m + d = -78, -3*d = -d. Suppose -5*b - 3*v + m = -b, -5 = -3*b + 5*v. Let n be (-5 + b)/((-3)/1). Is 11/9 < n?
False
Let r = 49 + -109. Let w be -2 - -5 - 35/7. Let i be (w + 4)/(-2*(-2)/(-120)). Is r at least as big as i?
True
Let y = 0.765 + -0.58. Let o = -213 - -213.085. Let l = o - y. Is l greater than 4?
False
Let j be 69/18*627/(-247). Let v = 198/13 + j. Which is smaller: 7 or v?
v
Suppose -18 = -p - d, -42*d + 86 = 5*p - 38*d. Which is bigger: p or -415?
p
Let f = -5.3 + -211.7. Let u = f + 252.9. Let p = u + -36. Are p and 3.4 equal?
False
Let a(o) = o**2 - 152*o + 3380. Let t be a(126). Let g = -163 + 266. Is t less than or equal to g?
False
Let w(n) = -4*n**2 - 54*n - 10. Let q be w(-12). Let i = q - 126. Is i <= -64?
True
Let w(z) = 5*z - 6. Let y be w(-3). Let r = y - -42. Let i be (-14)/r + (-29)/(-3). Which is smaller: 3/5 or i?
3/5
Let c = -89 - -84. Let a be (0 - -3) + 2 + c. Suppose -23*s + 19*s - 132 = a. Which is greater: s or -32?
-32
Let f be (-3)/2*(-6)/(-16). Suppose 24 = -67*y + 42 - 18. Is f < y?
True
Let z be 608/208 - (-4)/52. Suppose -m = z*i - 22, -9 - 11 = 5*i. Which is smaller: m or -7?
-7
Let x = 478 + 33. Let r = x + -327. Which is greater: 186 or r?
186
Let n = -178 - 797. Let w = n + 974. Is w less than 127?
True
Let d be (48/2540)/((-100)/250). Let p be 3 + 0 + -3 - 1. Are p and d equal?
False
Suppose -4*f = 5*k, 2*f + 41 = 7*f - 4*k. Suppose -a + 3*a = 2*i - 224, -f*i = 3*a - 560. Suppose i = 3*s - 5*z, 5*s = -2*z - 0*z + 197. Is 40 at least s?
True
Let x(t) = -690*t + 364. Let f be x(-4). Is 3122 smaller than f?
True
Let w(h) = -h**2 + 21*h + 46. Let s be w(12). Let f = 138 - s. Which is smaller: f or 0.4?
f
Let c be 2*(-2)/((-5)/(20/(-16))). Let y be (12 - (-16)/(-4))*c. Let l be 14/y + (-5 - 2)/28. Are l and -2 non-equal?
False
Let u(m) = 3*m + 37. Suppose -11*k - 12 = -10*k. Let j be u(k). Let q be 2/(-6)*(j + 0)*-1. Which is smaller: -6 or q?
-6
Let k = 10833 + -10833. Is k at most -3/26638?
False
Suppose -7*s + 94 = -67. Let j be -12*(5 + s/(-3)). Let l be j/(2/(-1)) + -4. Is l at least as big as -21?
True
Suppose 2 = -31*i + 36*i + 2*s, 5*i + 2 = -3*s. Let h be 4615/(-845) + (-6)/(i + -3). Is h at least as big as -0.1?
True
Let k = -0.08 - -0.1. Suppose -3*b = 15, 5*d + 3*b + b - 40 = 0. Let q be d/2*(-2)/(-28). Is q equal to k?
False
Let h = 3.6 + -3.6. Let z = 0.1094 + -514.1094. Which is bigger: z or h?
h
Let r be ((-12)/(-8))/(24/80). Suppose -7 + 2 = -r*l. Let t be (1/5)/((-18)/15). Does t = l?
False
Let u be ((-8)/(-20) - -2)/((-102)/285). Which is smaller: u or -7?
-7
Let r = 24 - 27. Let x = 476 + -3298/7. Let a = x + -107/35. Do a and r have different values?
True
Let s(n) = n**3 - 2*n**2 - 2*n + 45. Let t be s(5). Let y = t + -111. Which is smaller: -3/142 or y?
y
Suppose 0 = 3*b + 3 + 6. Suppose -4*r = 4*z + 16, 0 = -2*r + z + 1 - 6. Let q be 6/b - r/31 - -2. Is q not equal to 0?
True
Suppose 4*g + 12*b + 213 - 101 = 0, -4 = 3*g + b. Let v = -312/7 + 47. Which is smaller: g or v?
g
Let i be ((-16)/(-40))/((-2)/(-60)). Suppose 144 = 4*k - 4*o, -k - 5*o = 1 - 13. Suppose 4*z - k = i*z. Does -3 = z?
False
Let f be -2*(-3)/(-3) + (-40 - -46). Suppose -3*q + 1247 = f*k, -5*q + 2*k = -1151 - 962. Is q not equal to 422?
True
Let s(o) = 2*o**2 - 11*o - 21. Let x be s(7). Let l(k) = -6*k + 132. Let n be l(x). Which is smaller: n or 133?
n
Let a(t) = -4*t**3 - 3*t**2 - 5*t - 10. Let o be a(-4). Which is smaller: o or 216?
216
Let c(y) = y**3 - 5*y**2 + y - 5. Let l be c(5). Suppose -16*m + 14*m + 1220 = l. Let s = m - 3011/5. Is 9 >= s?
True
Suppose -450*m + 10523 = -4*l - 453*m, 5*l + m = -13162. Do -2632 and l have the same value?
False
Let f(i) be the first derivative of -17/3*i**3 - 39 - 17/2*i**2 - 18*i + 1/4*i**4. Let g be f(18). Which is smaller: 1/4 or g?
g
Suppose 320 = -59*w - 860. Which is smaller: -69 or w?
-69
Suppose 0 = 4*x + 2*m - 18, -2*m - 2*m = -4*x + 12. Suppose 3*z - x*z = 2*o + 71, 5*z + 377 = o. Let t be ((-3)/9)/((-5)/z). Is t > -7?
True
Let l be 2 - (-2 + 1) - 0. Suppose -5*b - 36 = -61. Suppose n - 5*a = -3 - l, 4*a - b = n. Is 58 <= n?
False
Let c(k) = 4