ich is greater: 92 or q?
92
Let g be (198/(-3465))/(25635/21). Is -1 smaller than g?
True
Let r = 5608 + -5607.4. Are r and 30 nonequal?
True
Let x = 21899 + -21902. Let m = -1252 - -21. Let o = m - -6136/5. Which is greater: x or o?
x
Let m be (-144)/(-10)*(4 + 12/(-18)). Let i = 51 - m. Suppose -3*q = i*z - 33, 0 = 2*q - 4*z + 2*z - 10. Which is bigger: -1 or q?
q
Let h(b) = 3*b - 63. Let v be 2/(-14) - 3108/(-147). Let d be h(v). Which is smaller: 4/365 or d?
d
Let f(s) = -s**2 + 3*s - 4. Let r be f(2). Let w be (7/r)/((-1)/2). Let n be (-2)/w - (642/(-189) - -3). Which is smaller: 0 or n?
0
Suppose -802*s = -797*s + 215. Which is greater: -41 or s?
-41
Suppose 6*c - 9*c + 12669 = 0. Let q = c - 426505/101. Is 1 > q?
True
Let r = 281.17 + -280. Let i = r + -0.97. Let j = -0.39 - -0.25. Is i smaller than j?
False
Suppose 0 = 74*h - 940 + 1236. Is h < -31?
False
Suppose 9*s + 150 = 4*s + 5*m, -4*m - 69 = 3*s. Let q = s - -24. Let r be 30/(-4) - 0/((-3)/q). Which is smaller: -8 or r?
-8
Suppose -45*p = -42*p + 39. Let d be ((-104)/24)/p*(1 - -308). Is d at most 102?
False
Suppose -50 = -b - 42. Let j be 0 + b + -2 + 4 + 33. Which is smaller: 40 or j?
40
Suppose -3*m + 4*i - 38 = -2*m, 4*m + 192 = -4*i. Let l = m - -60. Suppose -5*o = 2*b - 31, -b = b - 4*o + l. Which is smaller: 24/7 or b?
b
Let f be (-1)/(-21) - (-312970)/(-12495). Is f >= -920/37?
False
Let q(a) be the second derivative of -a**6/180 + a**4/24 - 5*a**3/2 + 5*a. Let f(p) be the second derivative of q(p). Let z be f(-1). Is 1/16 less than z?
False
Let s = -1157 + 1157.52. Let i = 3.5 - -4.02. Let b = i - s. Which is bigger: b or -0.1?
b
Let n be (-863)/5 + (-1008)/720. Which is smaller: n or -176?
-176
Let m be -1*1 + 18 + 13. Let f be (10/m - (-8)/(-6))*-5. Let k be 2/(-4) + (90/24)/f. Which is smaller: k or 3/19?
3/19
Let d be (0 - -26) + 7/(-1). Suppose 9*f - d = -82. Let o = -3.1 + 3. Is o >= f?
True
Suppose b - 68 = 3*t, 2*t + 2*b + 48 = -0*t. Let k be ((-30)/(-104))/(t/92). Which is smaller: k or -2?
-2
Let j be (20/50)/((-26)/65*4/6). Which is greater: j or -246?
j
Suppose 0 = -2*t + 2*a - 28, -4*t - 28 - 25 = -5*a. Let l = 123 + -142. Which is greater: l or t?
t
Let x(k) = k**2 + 11*k - 90. Suppose -262 = 11*u - 97. Let y be x(u). Is -32 greater than y?
False
Suppose 4*k = -5*v + 804, -8*v + 4*v + 672 = -4*k. Suppose -4*c + 299 + 357 = 0. Is v greater than c?
False
Suppose 6 + 6 = 4*r. Let m = 24127/5 - 4822. Which is bigger: r or m?
m
Let p = 11695/2 + -5911. Is -63 < p?
False
Suppose 20 = b + p, 24 = 5*b - 5*p - 86. Let n be (4/(-6))/((14/(-345))/7). Suppose 4*z - 54 = -3*l + 2*z, 5*l - n = 5*z. Is b greater than l?
True
Suppose 0 = 6*i - 18 - 108. Suppose -2*g + i = 15. Let p be (62/4 + 1 + g)/12. Is p at most as big as 1?
False
Let u be (126 - 3)/3 - (2 - 3). Let x be ((-3)/6)/((-7)/u). Suppose 0*i = 4*i + 4*d + 20, 15 = -x*d. Is 3 <= i?
False
Let f(d) = -14*d**2 + 23*d + 51. Let a be f(-2). Is 6 at most as big as a?
False
Let v be (-4*(-3)/12)/1. Suppose n + 18 - 19 = 0. Let i be 2/(-47)*(n + 1 + 3). Which is bigger: v or i?
v
Let f = 5523/20 - 1355/4. Is -5 < f?
False
Let a = 680.5 + -681.3. Which is bigger: -6 or a?
a
Let p be 2/(-8) + (-1022)/(-56). Let h = p + -20. Suppose -38 + 32 = -6*r. Which is bigger: r or h?
r
Let g = -17882 - -18913. Which is bigger: g or -0.04?
g
Let t be 2090/(-228)*(-4)/(-145). Is t smaller than -0.1?
True
Let p be (-176)/(-5)*(-75 + 65). Which is smaller: -1764/5 or p?
-1764/5
Let d(v) = 79*v + 2057. Let n be d(-69). Which is greater: n or -3395?
n
Let b = 213 - 148. Let s be 1176/39 + (-10)/b. Is s greater than or equal to 29?
True
Let c = 49009 + -49017. Let l = 5.6 - 6. Is c less than or equal to l?
True
Suppose -3*l + 5*l - 22 = -4*s, 5*l = -5*s + 20. Let m be -1 - (-11)/7 - (-199)/s. Do m and 32 have different values?
True
Let l be 5703*(-4 + 26/6) - -3. Let y = l - 327489/172. Which is bigger: -1 or y?
y
Let c = 2956 - 2957. Which is smaller: -1197 or c?
-1197
Let z = 97 - 97.47. Let s = z + 1.47. Let m be 2/84 - ((-55)/(-30))/11. Are s and m nonequal?
True
Suppose 17*b = 15*b - 2. Let n be 3/673*10/(-75)*5. Which is smaller: n or b?
b
Let h = -116 - -121. Let u be 10/15 + h/15. Does -3/88 = u?
False
Let z(n) = -6*n + 21. Let c(g) = -7*g + 21. Let u(k) = 2*c(k) - 3*z(k). Let s be u(5). Which is bigger: s or 1?
1
Let z(p) = -p**3 - 15*p**2 - 27*p - 13. Let l be z(-13). Suppose l = 5*i - 0*i - i. Let w = 1.04 + -1. Which is smaller: i or w?
i
Let c = -0.8995 + -0.1005. Which is smaller: -2513 or c?
-2513
Suppose k - 19 + 14 = 0, -k = 4*q - 9. Are q and -2/55 equal?
False
Let i = 3 - 4. Let b = -42 + -460. Let f = -559 - b. Which is bigger: f or i?
i
Suppose 14*g = 6*g + 48. Let s be 2 - 13/g - (-583)/(-66). Which is greater: s or -14?
s
Suppose -5*z = -z + 28, 0 = 2*l + z - 29. Which is smaller: 684/37 or l?
l
Let n = -0.2 + 0.1. Let b = -4.184 - -45.164. Let i = b + -41. Is i greater than or equal to n?
True
Suppose -160*u - 629589 + 33837 = -120552. Which is bigger: u or -2968?
-2968
Suppose -7893 = -3*g + 29*l - 33*l, 5266 = 2*g + 2*l. Are -0.1 and g unequal?
True
Let v be 102*(2 - (8 - 5)). Let a be (-8)/(17 + -1) + v/4. Let m be (-4)/10 + a/10 + 2. Which is smaller: 3/50 or m?
m
Let m = 29 + -9. Suppose -5*b = -3*a + 32, 3*b = 3*a - a - m. Suppose 2*c = a*c - 2. Is 13/9 >= c?
True
Let k = -276766/5 + 55920. Is 568 != k?
True
Let w = -708 - -718. Let o be (-6)/w - 114/12120*-63. Which is greater: o or 0?
0
Let h = -2330 + 3405. Let f be -6 + (-5 - (-11835)/h). Is -0.1 greater than f?
False
Let u(r) be the third derivative of -r**5/60 + r**4/12 + 23*r**3/6 + 5*r**2 - 25. Let z be u(6). Is -2/29 less than z?
False
Let z be 141260/(-9) - (-128)/(-288). Let j = -5163990/329 - z. Which is greater: j or 0?
0
Let z = 69053/3 + -40879193/1776. Is 0 less than z?
True
Let i(p) = 35 - 5*p - 51 + 34. Let y be i(6). Let v = -8 - 3. Which is smaller: v or y?
y
Let p = -232009 + 3976866265/17141. Which is smaller: 0 or p?
p
Suppose -4*x - 4*v = 520, 45*v - 44*v = -3*x - 382. Which is smaller: -130 or x?
-130
Let d = 854 + -852. Let l = -0.206 - -0.168. Which is bigger: l or d?
d
Let j(n) = -n**3 - 4*n**2 - 2*n + 3. Let c be j(-3). Let i = 300 - 290. Let x be 4 - (-2)/i*-16*1. Is x bigger than c?
True
Let i = -9081 - -9080. Are -1/32 and i unequal?
True
Let g = 41 + -25. Let l(n) = n**3 - 2*n**2 + 3*n + 6. Let d be l(-1). Suppose o - 5*o + g = d. Which is smaller: 1 or o?
1
Let x = 34 - 18. Let w be 16/28 + (-1)/(-14)*34. Suppose w + 5 = 8*o. Which is bigger: o or x?
x
Let o = -139761 - -695756/5. Which is smaller: -610 or o?
-610
Let s be (75/(-72))/(-1) - (-93)/(-248). Are 4343 and s nonequal?
True
Suppose 115*o = -254982 + 29352. Is o > -1962?
False
Let w = -159.7147 - -159.7. Is -1/4 >= w?
False
Let j = -37.19 - -37. Let b = j + -0.11. Let i = -46 - -181/4. Are i and b equal?
False
Suppose -88 = 4*s + 412. Which is greater: s or -127?
s
Let q(b) = -7*b**2 + 5*b**2 + 5 + 0*b**2 - 4*b - 7*b + 4*b**3. Let j be q(5). Let s be j/(-22) - ((-60)/(-33) + -2). Which is greater: 3 or s?
3
Let z = -3604 + 3631. Which is bigger: 590 or z?
590
Let m = 47 - 70. Let n = -21 - m. Let j = -1.08 - 1.92. Which is smaller: n or j?
j
Let t = -10710 + 10681. Is -1 bigger than t?
True
Let a = 3.24 - 1.54. Let u = -7731/7 + 1105. Which is smaller: a or u?
u
Let t be (-1469 - -7)*(-26)/(-532). Let u = t + 509/7. Do 2 and u have different values?
True
Let t be (2 - 5) + (-2 - -12 - 5). Let r be (-222)/(-4) + t + 7/(-14). Is 59 greater than or equal to r?
True
Let o be (-3 + 3)*(-1)/(0 - 1). Let q = 64 + -54. Suppose o = -13*m + 15*m - q. Which is smaller: m or 11?
m
Let h = 153.10153 - 0.10153. Is h < 2.8?
False
Let p = 266 - 261. Suppose -q = 2*c - 26, 8*c - 169 = -p*q + 11*c. Which is greater: 14 or q?
q
Let q = -149.8 + 149.742. Let t = 4.1 - 4. Is t < q?
False
Let f = 707 - 425. Suppose -f = 2*u - 114. Is u > -82?
False
Let m = -72 - -19. Let c = 51 + m. Let t = 403 + -402.6. Which is smaller: c or t?
c
Let x = -215.7 - -243. Let s = 84.2 - x. Which is smaller: -0.1 or s?
-0.1
Let i be ((-8)/24)/(2/(-76))*3. Let y = -40 + i. Are y and -2 equal?
True
Suppose -29*k + 30*k = 12. Suppose s + 192 = -3*s. Let x = s + 60. Is k not equal to x?
False
Let g be 950