ose -81*g + 85*g = 8. Suppose j - 15 = 5*j - o, 9 = -g*j + o. Which is bigger: j or -58?
j
Let o = -1.178 + 0.058. Let r = o + 7.42. Let t = r - 6.4. Are 4/9 and t equal?
False
Let k be (-1874)/(-1870) - (-2 + 3). Suppose 20*q + 14*q + 885 - 919 = 0. Which is smaller: q or k?
k
Let d be 440/25*(-8 - 273/(-26)). Let x = 160 + -114. Which is smaller: x or d?
d
Let r(m) = 21*m + 14. Let w be r(-8). Let o = w + -41. Do -196 and o have the same value?
False
Let g be -14*(-9)/(-21)*-2. Let h = -14 + g. Let z be (h + 3 + 0)*1. Is z greater than 3/17?
True
Let j = 1/2 + 0. Let p = 176.22 + -175.16. Which is smaller: j or p?
j
Let w = 41.8 - -80.6. Let k = w + -119. Let i = -717/5 - -143. Is i < k?
True
Let g = 0.19 + 0.01. Suppose -2*i - 3*v = i - 42, -2*v - 35 = -5*i. Let k be i/(-3) - 125/(-41). Which is greater: k or g?
g
Let z = -2362 + 3669. Is 1307 >= z?
True
Let k = -2528 - -3044. Does 522 = k?
False
Let b = -4 + 2. Let j = -46 - -47. Let n be (-225)/(-30)*j/(-10). Which is smaller: b or n?
b
Let s = 322 - -14. Let w = -200318 + 200318. Which is smaller: s or w?
w
Let m = 8935 - 9063. Is m at most -103?
True
Let x = 17010 + -4303512/253. Is 1 >= x?
True
Let s = 3975 - 4080. Let u = 197 - 317. Let b = u - s. Which is greater: b or 1/5?
1/5
Let z(f) = 3*f - 11. Let i be z(-7). Let g be 8/i + 37/4. Suppose 10*o = 72 + 38. Is g not equal to o?
True
Suppose 14052 = 4*a + 5*m, -6*a = -a - 3*m - 17602. Let o = -868944/247 + a. Which is smaller: -1 or o?
-1
Let c(m) = 56*m - 49. Let o be c(-8). Let n = -493 - o. Is n greater than 4?
False
Suppose 0 = -2*p - 3*z - 171 - 66, 11*p + 1290 = -3*z. Which is bigger: -10/7 or p?
-10/7
Let a be (48/105920*-10)/(6/8). Which is bigger: 27 or a?
27
Let s be (114/21 + -6)/(((-18)/21)/(-3)). Suppose 13 - 5 = -2*b. Which is greater: s or b?
s
Let u be 5 + 1 - (11 + -7 + 987) - 0. Are u and -985 nonequal?
False
Suppose 0 = -2*z + 4*n - 170, -8*z + 11*z + 253 = 4*n. Let t be -83 - z - 3/((-3)/77). Which is bigger: t or 80?
80
Let b = -5 + 3.4. Let r = -32.4 + b. Let p = 32.9 + r. Which is smaller: 0.2 or p?
p
Let i = 4256 + -1775. Is 2481 smaller than i?
False
Suppose -4*o - 5*p = 19, -o + 3*p = -0*o + 9. Let u = 5 - o. Let x be ((-9)/12)/(-1 + u/12). Is 9 < x?
False
Let p(q) = -40*q - 6277. Let o be p(-95). Which is smaller: -2478 or o?
-2478
Let h = -8788 + 8781. Let b(u) = u + 4. Let g be b(-4). Suppose g = 5*k - 1 + 16. Is k != h?
True
Let v(p) be the first derivative of -p**4/4 - 6*p**3 - 10*p**2 - 14*p - 4. Let b be v(-17). Suppose 0 = 2*l + 5*h - 59, -5*l + 101 + 87 = -h. Is b < l?
False
Let l = 150 - 271. Let m = 4103.98 - 4225. Let o = m - l. Are o and -2/9 nonequal?
True
Let u be 0*5*1/10. Let z = -2018.87 + 2019. Which is bigger: z or u?
z
Let r be (2 - 1)*-22*(-2)/2. Suppose r + 70 = 2*z. Suppose -5*s + z = 196. Is -30 smaller than s?
False
Let o(w) = -10*w**3 + 24*w**2 + 85*w + 8. Let t be o(-6). Is t less than or equal to 2521?
False
Let f(o) = -6*o + 8. Let a be f(-2). Let d be ((-10)/a)/((-210)/172). Let k = d + 4/21. Which is smaller: k or -11?
-11
Let z = -31467/196825 - -4/25. Is z at least 0?
True
Let v be 740/365 + (-2)/1. Let n = 768202 - 504708878/657. Let z = v + n. Which is smaller: 1 or z?
z
Let d = 1.2882 + -1.3272. Which is smaller: -34 or d?
-34
Let i = -5484.775 - 10.225. Is i >= 1?
False
Let b be (-38)/(-152) + 921/888*2. Which is bigger: 1 or b?
b
Let j = 14488 + -15739. Is -1253 at most j?
True
Suppose f + 76 = 149. Suppose 3*u + 3*r + 2*r - 194 = 0, 2*u = 4*r + 166. Is u <= f?
True
Let r be (119/14 + -9)/(2/228). Let a be (-693)/12 - 2/8. Let z = a - r. Is 4/43 greater than or equal to z?
True
Let a = 66 + -65.825. Let p = 151.825 + a. Which is bigger: p or -1?
p
Let m = -138311 - -138321. Suppose -8 = -3*y + 16. Is m less than or equal to y?
False
Let b(z) = z**3 + 22*z**2 + 78*z - 8. Let t be b(-13). Suppose 2*q - 5*a - t = 565, 0 = q - 2*a - 533. Is 537 >= q?
True
Let b(l) = -22*l + 7650. Let j be b(0). Is 7650 at least as big as j?
True
Let h = 203/10 - 181/10. Is 3 >= h?
True
Suppose -62 = -5*c + h, -13*h = -18*h - 10. Suppose 15 = n + 7*w - c*w, 2*w = -n - 6. Is n at most 13/51?
True
Let t = 51.45 - 50. Let u = -1.61 + t. Let n = 0.1 + -0.2. Is n > u?
True
Suppose 0 = -3*s - 2*s - d + 6, -4*s - 1 = -5*d. Let z be (9 - (s + 2))/1. Let j be (-8)/(-20) + z*18/105. Which is smaller: j or 0.1?
0.1
Let p(l) = -l**2 - 5*l - 7. Let o be p(-6). Suppose -10*j = -196 + 156. Suppose 0 = 4*g + c + 56, j*g + c + 32 = 6*c. Does o = g?
True
Suppose -251*h - 193*h = 0. Do 0.3745 and h have the same value?
False
Suppose 0*k - 7*k + 1547 = 0. Suppose 38*u = k - 2767. Are -341/5 and u unequal?
True
Let j(b) = -b**3 + 6*b**2 - 2*b + 16. Let p be j(5). Let c(w) = -w**2 + 32*w - 31. Let t be c(p). Let x = 66 - 857/13. Which is greater: x or t?
x
Let x be 0/(-10) + (-114)/(-2). Suppose 5*b = 97 - x. Suppose -b + 3 = p. Is p at most -4?
True
Let b = -1097/458761 - -18/2377. Which is smaller: b or 2.5?
b
Let t be (-3 - -7)/(6/49). Let l = t - 915/28. Suppose r + 3*n - 3 = 0, -145*r - 4 = -148*r - 4*n. Is r <= l?
False
Let g = 1420 - 1421. Which is smaller: 0.10795 or g?
g
Let b be (12/54)/(((-1624)/21)/(-8)). Is b bigger than -0.6?
True
Let c = -3799059/10 + 380292. Let v = 387 - c. Which is smaller: 2/3 or v?
2/3
Let p = -23197703/2782 - -16677/2. Which is smaller: p or 0?
0
Let p(r) = -r**3 - 4*r**2 + 19*r + 75. Let z be p(-5). Let h be (-4)/(-20) + ((-100)/105)/z. Which is smaller: h or -1?
-1
Let l be 3/(-6)*(-20 + 10 - -8). Let p be (8/(-4))/(73/(-2)). Is p less than l?
True
Let k be 38*-3*1 + -2. Let l = -117 - k. Is 5/32 <= l?
False
Let h = 261.6 + -262. Is h <= -3/137?
True
Let a(z) = 2*z**2 - 31*z - 30. Let t be a(-1). Let s be ((4 - (-2 - -6))/(-2))/t. Let i = -954 - -76319/80. Which is smaller: s or i?
i
Let t(u) = u**2 - 22*u - 233. Let z be t(30). Suppose -5*j = -3*s + 10, j + 3*s - z*s + 19 = 0. Which is smaller: 8/117 or j?
8/117
Let a = 344.6 + -464. Let v = 119 + a. Which is smaller: 0.12 or v?
v
Let c(s) = 42*s - 124. Let m be c(3). Is m at least as big as 48.5?
False
Let j = 228351 - 110922. Let n = j - 117335.951. Let r = -93 + n. Which is smaller: r or -1/3?
-1/3
Let s = 6107 + -12215/2. Is s at most 133.2?
True
Let g(v) = v**3 + 4*v**2 + v - 4. Let n be g(-4). Let i be (-1 - n/2)/50. Suppose -7*f + 5*f + 2*w = -2, 3*f + 3*w = 3. Does i = f?
False
Suppose -4*u + 0 = 24. Let h be 2 - 4 - u - 6. Let i be 6/27 - 4 - -2. Is h less than or equal to i?
True
Let o be (-2222)/10 + (-21)/(-105). Let p = o - -217. Which is greater: p or 7?
7
Suppose -2*q - j = -6910, 0 = -5*q - 9*j + 10*j + 17275. Which is greater: q or -2/3?
q
Let p be (-39)/8*(-6 - 5152/(-1332)). Let k = -252/37 + p. Let d = k + -107/60. Which is bigger: d or 2?
2
Suppose -7*q = -3*q. Suppose q*w + 5*w - 2*d - 35 = 0, 2*w - 3*d - 25 = 0. Suppose -w*g - 81 = 4*g. Is g at most -8?
True
Let d be ((-6)/8)/(11/4). Let r be (-8)/(-42) - 324/378. Which is bigger: d or r?
d
Let t(r) = 35*r - 1628. Let w be t(47). Let a(m) = -m**3 - 2*m**2 - 3*m. Let f be a(-3). Which is smaller: f or w?
w
Let u be -2 + 0 + (-861)/(-63). Let m = -67/6 + u. Is 26.5 != m?
True
Let x = -37 - -34.7. Let r = x + -55.7. Let l = r - -57.9. Which is smaller: -17 or l?
-17
Suppose 2*m + 13 = g, m = -0*m - 4*g - 29. Let s be (m - 2)/(2/(-34)*-1). Let q = s - -1307/7. Which is smaller: q or -1?
-1
Let u = 0.07 + -0.09. Let t be -5 + 4*(-9)/(-12). Let n be (-50)/(-60)*t/(-5). Is n > u?
True
Suppose -5*w - 65 = -t, -2*t + 162 = -5*w + 12. Let f = -82 + t. Let y be (2 - 1)/(6/f - 1). Which is greater: y or 12/7?
12/7
Let k be 10*1/8 + 4231252/(-3384208). Which is smaller: -1 or k?
-1
Suppose 62 = 3*i + i - 5*b, 10 = 5*b. Let l(c) be the first derivative of -5*c**2/2 - 12*c - 86. Let v be l(-6). Is v >= i?
True
Let a = 115 - 117.52. Let b = a - -35.52. Which is smaller: 1 or b?
1
Let m = 2 - 2.3. Let g be (9/(-738))/(13 - 314/24). Which is smaller: m or g?
m
Let w(m) = -3*m**2 - 95*m - 41. Let a be w(-30). Suppose 2*k = -a + 197. Which is greater: k or 223/5?
223/5
Let m = -0.436 - -0.226. Let n = -0.18 - m. Are n and -2 non-equal?
True
Let l(c) = 8*c**3 - 3*c**2. Let i be 9/(-3)*2/3. Let v(a) = a**3 + a. Let s(h) = i*v(h) - l(h). Let x be s(1). Which is smalle