Suppose -h + 3*k + 2 = 5*k, h + k - x = 0. Which is bigger: 5 or h?
h
Let z(k) = -17*k**2 - 153*k - 13. Let s(m) = -19*m**2 - 155*m - 12. Let q(w) = 4*s(w) - 5*z(w). Let x be q(-17). Is x >= 154?
False
Let z be ((-4887)/(-2) + -12)/(27/126). Which is bigger: -0.1 or z?
z
Let y = -2525 - -4526. Let n be ((-21)/18)/(-7) - y/18. Is n >= -111?
True
Let n = 0.07088 - 0.07088. Is -1/19087 at most n?
True
Suppose -26367 = -87*m + 134*m. Is -1 >= m?
True
Let d(m) = -m - 5. Let z be d(-3). Let a(t) = 4*t**2 - 922230*t**3 + 922231*t**3 + 5 + 3*t - 5. Let n be a(z). Is n at most as big as 5/9?
False
Let b = -1.5 + 1.9. Let v be -22 + 17 - (1 - 7). Suppose -m - v = -3*o, 3*m - o + 4*o = -15. Which is greater: m or b?
b
Let x = 398 + -358. Let t = -82 + x. Which is smaller: t or -3?
t
Suppose 129*o + 152770 + 4467080 = -61*o. Is -24314 != o?
True
Let v be (-6 - 1725/6)*-1. Let j = v - 292. Which is smaller: 1/3 or j?
1/3
Suppose -3*b + 103 = -2*c, -2*b - 4*c + 71 = -19. Let a = b - 14. Suppose a = 3*g + 8. Are g and -2/21 unequal?
True
Let g = 513 - 549.4. Let x = 38.43 + g. Is 0 > x?
False
Let q be (-24)/64 + (-174)/48 + 1093. Which is smaller: 0 or q?
0
Let w = 16 - 23. Let a = 1 + 4. Suppose a*y - 7*f = -3*f - 28, 5*y + 55 = -5*f. Which is smaller: w or y?
y
Suppose k + 3 = -3*n, 10*n - 2*k - 5 = 15*n. Which is bigger: -2/3277 or n?
-2/3277
Suppose -521*a + 527*a + 12 = 0. Is -16 <= a?
True
Suppose 0 = 5*h, 0*n + 5*n - 4*h = -1 - 4. Which is smaller: -1/6872 or n?
n
Let n = 2.8 + 1.2. Let h = -34 + 39.2. Let w = 4.6 - h. Is w at most as big as n?
True
Let d = -54 + 59. Suppose 5*h = j + 12, -d*h + 10 = -3*j + 4. Suppose 9 = u - 4*u, -57 = -3*n + h*u. Which is greater: n or 15?
n
Suppose -z - 2*x = -7, -z + 10 = 3*z + 2*x. Let l be 10 - (-21498)/(-2688) - 2. Which is smaller: l or z?
l
Let m = -54270803/295 - -183969. Which is greater: -1 or m?
m
Let f be (9351/621 - 15)/((-1)/6). Which is greater: f or -4?
f
Let r(l) = 91*l**2 + 8*l + 8. Let x be r(-3). Let f = -567 + x. Which is smaller: f or 237?
f
Let a be (10/6)/((-1)/3) + 10. Let z be 2 + a*(-6)/6. Which is bigger: -6 or z?
z
Suppose -17*p + 14*p + 2*l + 18 = 0, 5 = p - l. Let u be 91/(-323) - p/(-76). Which is bigger: u or 0?
0
Suppose -42 = 2*b - 5*p, 46 = -2*b - 2*p + 4. Do -33 and b have the same value?
False
Let m(p) = -p**3 - 18. Let a be m(-4). Let n = a + -47. Which is smaller: -3/29 or n?
n
Let u(v) be the second derivative of -v**4/12 - 7*v**3/6 - 27*v**2/2 + 6*v - 1. Let o be u(0). Let b be 3/(-1) - -2 - 26. Is b greater than o?
False
Let d(c) = c**3 + 14*c**2 - 11*c - 34. Let t be d(-14). Suppose 0 = 381*p - 376*p + t. Which is smaller: p or -27?
-27
Let u = 3543/22 + -776/11. Let v(h) = 45*h. Let q be v(2). Is q >= u?
False
Let i be 7/(-28) - (-37)/20. Let o = 38.3 + -27. Let d = -11.1 + o. Is i < d?
False
Let w = -364 + 628. Let t be w/(-42)*(-3)/6. Which is bigger: 4 or t?
4
Let z = -58 + 58. Suppose -2*v + g = 6, 5*v + g + 16 = 4*g. Let d be v/(-7) + (-8)/14. Is z > d?
True
Let t(v) = 3*v**2 + 87*v + 5. Let s be t(-29). Suppose 2*x = -8, 0 = -3*w + s*x - 0*x + 17. Which is greater: -3/68 or w?
-3/68
Let r(b) = -b**3 + 14*b**2 - 9*b + 9. Let f be r(11). Suppose 37*q + 4095 = 105*q - 53*q. Are f and q unequal?
False
Let r = 0 - 2. Let g = 0.2561 - -0.0463. Let h = g + 0.0676. Which is smaller: h or r?
r
Let w(i) = 3*i + 7. Let p be w(7). Let m be 1989/63 + 6/14. Which is smaller: p or m?
p
Let a be 2/2 - ((-15)/(-3) + -7). Suppose 11 = a*w + 4*q + 4, 2 = 5*w - 3*q. Is -1/351 less than w?
True
Let q(u) = u + 2. Let n be q(-1). Let w be n/6*(-48)/36. Let s = -1709 + 1697. Which is smaller: s or w?
s
Let s = -56 + 52. Let f be ((-28)/21)/(s/30). Suppose -f*u = -76 + 366. Which is bigger: u or -30?
u
Let o = 1206 + -1154. Is o equal to 17?
False
Let n(t) = 4*t**3 + 18*t**2 - 29*t + 43. Let b be n(-6). Which is smaller: -7/101 or b?
-7/101
Let p = 2684512253739/7669863808 - 1/59920811. Let s = p - 350. Which is greater: s or 1?
1
Let k = -24 + -34. Let d = -138.3 - -80.2. Let w = k - d. Which is bigger: w or -1?
w
Let v = 122 + -112. Let r(d) = -d**2 + 6*d - 23. Let h be r(v). Which is smaller: -127/2 or h?
-127/2
Let r = -17.986 - -2.922. Let a = r + 0.064. Which is bigger: -11 or a?
-11
Let u = 286 - 283. Suppose 0 = 3*q + u*i + 18, 17*q + 4*i = 18*q - 19. Is q less than or equal to 2/353?
True
Let r be 2 - (0 - 1) - (-4 - -18). Let d be (-79)/r - 18/99. Let q be 2/d - (-16)/(-7). Which is bigger: -3 or q?
q
Let f be 3 + (-6)/12*1226. Is -4276/7 less than or equal to f?
True
Let f = -24/197 - -1454/15169. Do f and 0 have the same value?
False
Let b be (-11895)/1040 - -5*1. Is 0 <= b?
False
Let a = 3430 + -3434. Is 40 greater than a?
True
Suppose 8*r - 50 = 4*r + 5*o, r = -2*o + 6. Let m be -1 - 2*(-7)/r. Which is smaller: m or 0.052?
0.052
Let r be -1 + 65/91 + (-24986)/14. Let w be (-1)/(-7 + r/(-14)). Which is smaller: -1 or w?
-1
Let k be 8204*19/5320 + -27. Let u be (-2 - (0 + -2)) + 1. Let h be (2/(-6))/(u/(-3)). Is h at most as big as k?
True
Let s = -16961 + 78105403/4605. Which is smaller: s or 0?
s
Let a(q) = -3*q**2 + 27*q + 30. Let z be a(10). Let i be ((-3)/15)/(8/(-8)). Is z bigger than i?
False
Let a = -0.025 + -0.22. Let y = -1.965 + a. Which is bigger: y or 0?
0
Let c(o) = -11*o - 9. Let n be c(-1). Let s be -12*(-4 - -3) - 2. Suppose 0 = -s*m + 11*m - n. Do 2/13 and m have different values?
True
Let g = 200 + -201. Let o be (g + 1/3)/(95/(-570)). Is -10 not equal to o?
True
Suppose -15*v + v = 42. Let w be (-1)/(3/9*v). Let r be 1 + 1/(-108) + -1. Which is bigger: w or r?
w
Let x be (11 - (-22485)/(-2040))/(58/(-8)). Are 0 and x equal?
False
Let g be 10*-5*(-14)/(-175) - -6*17. Do g and 97 have the same value?
False
Let c = 184 - 25. Let t = -3.59 - -2.59. Does c = t?
False
Let f be 1 + 2 - 2*(-3 - 35). Let w = -39 + f. Suppose 4*y + w = -2*i, -y - 16 = 3*i + 24. Does -11 = i?
False
Suppose -38 + 33 = -5*f. Let i(g) = 3*g - f + 0*g - 4 - 4*g. Let z be i(8). Which is smaller: -12 or z?
z
Let v = 8627 - 8601. Is v at least -175?
True
Let l = -457687/477941828 + 14/15119. Which is smaller: -1 or l?
-1
Let p = -1297/11 - -118. Suppose 0 = 4*j - 5*l + 37, -900 + 905 = -j - 3*l. Which is smaller: j or p?
j
Let w = 1.03099 + -0.03099. Which is smaller: w or -109?
-109
Let w = 0.823 - -1.177. Which is bigger: w or 45?
45
Let o be ((256/(-56))/8)/(-3*4/42). Which is smaller: o or 176/95?
176/95
Let j = -70 + 69. Let s be (-79)/(-73) - -11*6/(-66). Is j less than or equal to s?
True
Let v(m) = m**2 - 21*m - 670. Let d be v(-14). Is d at least as big as -134?
False
Let d = 9.1 + -9.43. Let h = d - -74.33. Let j = h + -74.1. Which is smaller: -53 or j?
-53
Let c(y) = y**2 + 66*y - 215. Let k be c(-43). Which is smaller: -1203 or k?
k
Let g be (3/(-1 + 13) - 0) + (-4611)/18504. Do g and -1 have the same value?
False
Let r be 4/1 + (0 - 6/18). Let k = 737/5 - 148. Which is bigger: k or r?
r
Let x = -114.076 - -0.076. Let s = x - -20. Let y = s - -93.94. Which is greater: y or 2/3?
2/3
Let i = -15.88 + 13.88. Is i < -0.2991?
True
Suppose -4 = b - 3*b. Let g = 1.85567 + -2.02567. Which is bigger: g or b?
b
Let y be 11 - 8 - (27 + 0). Let s = -20 - y. Let o be 1/(52/s*1). Does 2 = o?
False
Let h be 188/(-6)*(26 + 16). Which is greater: h or -9222/7?
h
Let u = -29 + 25. Let f be (-332)/(-249)*3/u. Which is bigger: f or 2/75?
2/75
Let c = -0.1973 - -0.4958. Which is bigger: c or 2?
2
Let g be (5 - (0 + 3))*1. Let q be (g - 1) + 11/(-11). Let t = -135 + 125. Which is smaller: t or q?
t
Let o be 6*6/12 + 6. Let p be 14 + (6/o)/((-8)/(-12)). Which is greater: 4 or p?
p
Let p = -6034 + 10410. Is 4375 less than or equal to p?
True
Suppose 4*m - 5*i - 57 = 0, 0 = 5*m + 84*i - 79*i - 60. Which is smaller: m or 1/515?
1/515
Let r be (-218)/10 + (-1 - -3). Let g = -20 - r. Let x = -307543.5 - -307544. Is x > g?
True
Let c = 0.74 + -16.44. Let o = c + 39.7. Which is smaller: 1 or o?
1
Suppose 232 = 2*k + 3*l, 3*k - 345 = -4*l + 3. Suppose -9*a + 6*a + 345 = 0. Which is bigger: k or a?
k
Let b = -37.688 - 16240.312. Is b <= 0?
True
Suppose h + 73 = -5*x, -x = -3*h - 2*x - 191. Let v = h + 817/13. Let y = 1 + -1. Which is smaller: y or v?
v
Suppose -l - 619 - 890 = -3*k, -3*l - 4491 = 3*k. Does -