 2*t - 7. Let j be d(6). Suppose -5*i = -7*i + 4*l + 14, 5*i - 4*l - 47 = 0. Suppose i*n - 18*n = -364. Which is smaller: j or n?
n
Let v = -271889196/1229 - -221228. Which is bigger: 0 or v?
v
Suppose 5*u + 284 = -1. Suppose 0 = -2*q + 115 + 463. Suppose 163 = -3*m - 4*i, 2*i - q = m + 4*m. Are m and u non-equal?
False
Let u be 4/(-64)*202 - (-55)/(-22). Are u and -16 equal?
False
Let v = 175 + -317. Let i = v - -141.9. Which is bigger: -183 or i?
i
Let m = 21.81 + -21.7839. Which is bigger: 2/3 or m?
2/3
Suppose 44 = 22*h - 132. Suppose -h*r = 714 + 534. Is -156 at most as big as r?
True
Let a(t) = t**2 + 7*t + 6. Let l be a(-10). Let x be (1 - (-73)/(-65))/(l/(-90)). Which is smaller: 4 or x?
x
Let q be 27/(189/(-245)) + 0. Suppose -2*k - 108 = k. Are k and q unequal?
True
Suppose 5*n + 40 = 0, o + 19*n - 18*n = -11464. Is -11457 at least as big as o?
False
Suppose 3*s - 6 = 9*s. Let p be (10 - s)*(-34)/(-17). Suppose k = -p + 63. Is 41 less than or equal to k?
True
Suppose 491 = -4*y - 5*a + 113, -y - 2*a = 96. Which is smaller: -463/5 or y?
-463/5
Let r(w) = 10*w**3 + 13*w**2 + 7*w + 163. Let v(p) = 3*p**3 + 4*p**2 + 2*p + 54. Let g(j) = -4*r(j) + 13*v(j). Let x be g(0). Is 52 greater than or equal to x?
True
Let b = -2902.8 + 2906. Which is smaller: 22/3 or b?
b
Let t = 34 + -59. Suppose -3*s - 3*k - 84 = 0, 2*s = -k - 0*k - 52. Let m be s - ((-2)/(-7))/(5/35). Which is smaller: m or t?
m
Let i = -71.55 + 149.737. Let q = 0.187 - i. Let m = -73 - q. Which is smaller: -0.4 or m?
-0.4
Suppose 79 + 31 = 2*n. Suppose -160 = -5*r + 2*s + s, 0 = r + 4*s - n. Suppose 0 = -r*h + 31*h + 20. Which is smaller: h or 1/2?
1/2
Suppose -y - 18 = -4*x, 0 = 2*x - 7*x + y + 23. Suppose -3*k = 3*u - 132, -6*k - 252 = -x*u - 3*k. Let n = u - 1298/27. Which is bigger: n or 3?
3
Let f be 25/5 + 552/3. Let v = f + -379/2. Which is greater: 573 or v?
573
Let k = -8448 + 8311.08. Let x = k - -137. Is 6 greater than x?
True
Suppose 4*f - f + 21 = 0. Suppose 35*m - 39*m - 1560 = 0. Let u = -396 - m. Is f >= u?
False
Let z = -41 + 9. Let a = z + 30. Let w be (-1)/18 - 45/(-90). Which is smaller: a or w?
a
Let m be 1728/91 - 4/(-156)*6. Is 18 > m?
False
Let q(h) = -1293*h + 4895. Let x be q(10). Are -8035 and x non-equal?
False
Let x = -78.1 + 257.1. Let u = -172 + x. Let b = 19/4 - 4. Which is bigger: u or b?
u
Suppose -5*v - 50 = -4*a - a, -3*v + 5 = 2*a. Let t be -1 + (4*-1)/((-35)/70). Is t less than or equal to a?
True
Let v = -414 + 133. Let q = 284 + v. Is 4 <= q?
False
Let m be (0 - -3)/(36/(-36)). Suppose 54 = -x + 4*x. Let z = m + x. Which is smaller: -0.1 or z?
-0.1
Let p be ((-18)/24)/(2/(-2952)). Suppose 3*r - p = 12*r. Which is smaller: r or -122?
r
Let c be (-283 - -292) + (-3)/((-6)/(-20)). Let h be (-6)/1246*8/(-12). Is c > h?
False
Let p be (14/(-28) - (-22)/(-4))*-1. Let g be (-2 + -1)/((-1631)/(-273) - p). Which is smaller: g or 119?
g
Let m = 0.3086 + -0.3257. Is m <= 3?
True
Let x(m) = -399*m - 294. Let z be x(-2). Is 504 < z?
False
Let s(i) = i**3 + 17*i**2 + 31*i + 37. Suppose 107 = -8*y - 13. Let g be s(y). Suppose 4*o = -3*w + 104, -3*o - 2*o + 2*w + 107 = 0. Which is bigger: o or g?
o
Let p = 3464 - 3464. Which is greater: -2/1453 or p?
p
Let u(r) = -r**2 + 8*r + 4. Let y be u(-4). Let t(s) = 16 + 3*s**2 - 14*s - 5*s**2 - 43. Let d be t(-8). Is y not equal to d?
True
Let s = -17759.3 - -17780. Does -27 = s?
False
Let v(n) = 142*n + 1312. Let d be v(-6). Are 460 and d nonequal?
False
Let n(r) = -r**2 - 11*r - 39. Let f be n(-6). Let u(y) = 2*y**2 + 18*y + 11. Let d be u(f). Let i be -3 + d + -3 + -4. Which is smaller: -1/17 or i?
-1/17
Suppose -y - 456 = -3*b, 0 = b + 25*y - 22*y - 142. Let q = 1055/7 - b. Which is greater: q or -10.2?
q
Let h = -2033 + 2071. Let x = -33 + 71. Are x and h equal?
True
Let o(u) = 21 - 61 - 21 - 44 + 8*u. Let z be o(13). Which is bigger: -5/7 or z?
-5/7
Suppose 45 = 4*q + 5. Let l be (2 - 7)/25 + 322/q. Is l greater than 162/5?
False
Let b = 0.871 + -0.911. Which is greater: b or 265?
265
Let c be 4*(-42)/(-3038)*(-14)/8. Let w be (6/9)/(2/(-3)). Is c greater than w?
True
Suppose -5*u = 2*h + 2*h - 3100, 0 = 2*u + 5*h - 1240. Let q be (-3)/(15/u) - 5. Let v = -128 - q. Which is bigger: v or 6/43?
v
Let y = 523 + -523.2. Let i = 380 + -212. Let b be i/82 - (-3 + 5). Which is greater: y or b?
b
Suppose 0*c + 4*z - 98 = -2*c, -z + 203 = 4*c. Which is smaller: 301/6 or c?
301/6
Suppose -525 = -3*o - 90. Let x = o - 116. Is x greater than 29?
False
Let s be (-4193)/26663 - 12/(-78). Let t = s - -334/12013. Which is smaller: 1 or t?
t
Let u(k) = k**2 + 1155*k. Let l be u(0). Which is smaller: 3/212 or l?
l
Let k = -8102 + 8082. Suppose 4*q = b + 24, -3*q = 4*b + 30 + 9. Are k and b unequal?
True
Suppose -n + 5*n = 0. Let r = -107667 + 4737101/44. Let s = 21/4 + r. Which is smaller: s or n?
s
Let d be ((-9)/(-2)*6)/(2 - 1). Let z = d + 60. Suppose 13*x = 12*x + z. Is x equal to 87?
True
Let b(s) = 21*s - 115. Let i be b(6). Suppose -d - 4*g = -20 - 2, 0 = d + 3*g - 22. Suppose 0 = -2*z - 0*z + d. Is z smaller than i?
False
Let o = -449.4 - -415. Let r = 6.4 + o. Let u = -27.6 - r. Which is greater: 2 or u?
2
Let y = 16297/1397 - -4/4191. Let o be (-1)/(0 - -1) + 14. Is o < y?
False
Let r = -290 + 36. Let j = 254.11 + r. Are 0.4 and j equal?
False
Let m = 6421.1 + -6421. Is 514 less than m?
False
Let x(a) = 2*a**3 + 4*a**2 + 2*a. Let n be x(-2). Let f(s) = s**3 + 4*s**2 - 4*s + 5. Let g be f(n). Let c be (-33)/(1 + 5/(-2)). Is g greater than c?
False
Let d be 1/53*((-140378)/278684 - 2/(-4)). Is d less than -1?
False
Let q be 3 + 3 + 6 + -755. Which is smaller: q or -745?
-745
Let p = -9 - 0. Suppose 3*l = 4*l + 57. Let w = l + 47. Which is greater: w or p?
p
Let p = 1623 - 1657. Which is greater: -590/17 or p?
p
Let s be (-312)/52*(-698)/54. Let w = 141703/1827 - s. Is w at most as big as -1?
False
Let w = 30.869 + -31.869. Which is smaller: -3948 or w?
-3948
Let l = 13/3 - 31/12. Let f(s) = 4*s**3 - 2*s**2 + s. Let o be f(1). Suppose -o = -n - 0. Is n > l?
True
Let r be (8 - 16104/2010)/(-1 + 1383/5). Which is bigger: r or 1?
1
Let a = -38300 - -421606/11. Which is greater: 29 or a?
29
Let w(p) = -43*p - 197. Let t be w(-5). Suppose -t = 23*m + 28. Which is greater: -0.88 or m?
-0.88
Let f = 7.52 - 7. Let w = -0.38 - f. Let o = -1.1 - w. Which is bigger: 0.1 or o?
0.1
Let w = 972 + -5544. Is w smaller than -4573?
False
Suppose -3*s = -w + 3061, 0 = 4*w + 5*s - 10*s - 12272. Which is smaller: 3074 or w?
w
Let f be 1/3 + 1/(-12). Let m = 568 + -856. Let r = m - -287.81. Which is smaller: f or r?
r
Let s be 1520/(-3420) - 5624/(-18). Which is smaller: s or 307?
307
Suppose -205 = -4*o + 3*f, -3*f - f + 233 = 5*o. Let i = -147832 - -147883. Which is greater: o or i?
i
Let u(d) = -44*d + 321. Let f be u(20). Are f and -559 unequal?
False
Let v(y) = 93*y**3 - 10*y**2 - 34*y - 61. Let x be v(-2). Do -772 and x have different values?
True
Let r = 26.25 - 26.95. Is r bigger than -1.873?
True
Let a = -11/259 - -14435/437451. Which is smaller: 1 or a?
a
Suppose 4*d - 30 = -d. Let h be 1*56/(-64)*92/(-14). Which is greater: d or h?
d
Suppose -3*d = 3*q + 30, q - d = -3*q - 30. Let v be (((-14553)/(-90))/(-7))/((-6)/q). Is -30 < v?
False
Let o = -6 + 11. Let p = -38 - -36.2. Let z = 2.8 + p. Is o greater than z?
True
Let s = -137 - -139. Let a be (18730/1770)/(s/(-258)). Let i = a + 1365. Is 1 <= i?
False
Let v(i) = i**2 + 49*i + 48. Let y be v(-48). Is -1/1349 smaller than y?
True
Let y = 0.79 - 36.79. Let j = -2.2 + -32.8. Let g = y - j. Is g < 0.33?
True
Let q be (10127/(-117) + -6)/(((-2)/(-3))/(-1)). Which is smaller: q or 138?
138
Let j = 498 - 498. Let p(f) = -3*f**3 + f**2 + 4*f + 4. Let n be p(-2). Suppose 5*h - 17 - 7 = -3*y, 3*y = -3*h + n. Which is bigger: y or j?
y
Let q(b) = -2*b**3 + 20*b**2 - 69*b - 28. Let f be q(11). Which is smaller: -1026 or f?
f
Let x = -2.8 + 0.7. Let d = -5.1 - x. Let g = -1 + d. Are g and 0.4 unequal?
True
Suppose 3*y - 7*t + 6*t = -23, 0 = -4*y + 5*t - 38. Let k be 72/(-90) - y/(210/68). Which is smaller: k or -2?
-2
Let d(b) be the first derivative of -b**3/3 + 2*b**2 + 12*b + 17. Let i be d(5). Let r be (-19)/(-7) + 2/i + 0. Which is bigger: -2/5 or r?
r
Let h be (-56*16/(-2072))/