+ 290*a - 92. Is -23 < a?
False
Let h = -83 + 61. Let n = h - 1. Let f = -16 - n. Which is smaller: f or 41/5?
f
Let q = 71/105 + -9/14. Let a(w) = -3*w - 4. Let h be a(-1). Which is greater: q or h?
q
Let x = -3538 - -3540. Which is bigger: -829 or x?
x
Let w = -65220348 + 69590102125/1067. Let j = -205/97 + w. Is -12 less than or equal to j?
True
Let z be 159755/(-2670) - 1/6. Is 6/5 at most as big as z?
False
Let z be (-47)/141*(-5)/((-5)/3306). Is z at most as big as -1106?
False
Let f = -14957 - -15486. Is 534 at least f?
True
Let x = 49 - 31. Suppose -x*w + 16 = -22*w. Let c = 25262/9 - 2810. Which is smaller: c or w?
w
Suppose 3*h + 1103 = n, 4472 = 4*n - 281*h + 284*h. Which is greater: n or 1114?
n
Let i = -14.9474 + -0.0526. Let p = i + -2. Is -15 < p?
False
Let m be (-44443)/637 + (-36)/156. Is m smaller than -62?
True
Suppose -t = -f - 5*t + 6, 0 = -2*f - t - 9. Let q be (-11*1/(-4))/(f/24). Suppose -2*i = 5*g + 32, -i - 4*g - 10 - 9 = 0. Is q < i?
False
Let z be -1*1 + 9/((-54)/(-12)). Let v be 1/(2 - ((-94)/(-48))/z). Suppose -2*g = -v + 8. Is g >= 8?
True
Let h = -22626 + 22649. Is -17.9 less than h?
True
Let j be (1/10*-3)/(414/(-968)). Let t = j + -4/115. Which is smaller: 1.5 or t?
t
Let m be (-5735 + 7)/(55 + -57). Is m not equal to 2866?
True
Let g = -79 - -35. Let p = -23305/7 - -3329. Which is smaller: g or p?
g
Let v = -399137/1540 + 9078/35. Let d = -1/44 - v. Is 0 != d?
True
Suppose -45 = -48*k + 57*k. Let s(u) = -63*u - 242. Let a be s(k). Which is bigger: a or 74?
74
Let t be (-24)/(-36) + (-85788)/128601. Which is greater: t or 0?
0
Let i = -75522 + 75506. Let q = -26298/7 - -3740. Which is smaller: q or i?
q
Let h be (3078 - 12)*(-3)/6 + -1. Which is greater: h or -1533?
-1533
Suppose 4*w = 10 + 70. Let m = w + -5. Let k be -1 + m/12 - (-2)/(-8). Is -12/11 equal to k?
False
Let m = 5707 + -5780. Which is smaller: -22 or m?
m
Let q be 4 + 0 - ((-8)/4 + 3). Suppose 14*s + q*s + 833 = 0. Which is bigger: -50 or s?
s
Suppose -t + 0*t = 0. Let o be (-8032)/(-144)*(-4)/(24272/(-6)). Let v = 2/111 + o. Does v = t?
False
Suppose -121*b = -106*b + 30. Suppose -4*g + 9 = -31. Let p be (4/g)/((-71)/35 - b). Which is greater: p or -13?
-13
Let x = 1 - -8. Let b be 10 + 3*6/x. Suppose 2*k = -3*w, 3*k - 141*w - 20 = -143*w. Is b smaller than k?
False
Let d = 273.239 - -4.861. Let k = d - 278. Is 7/29 <= k?
False
Let h = -30.02 + 28.82. Is h bigger than 168?
False
Let d = -0.3 + 0.29. Suppose 5*b = i - 370, -2*b + 3*b = -5*i + 1772. Let f = -1421/4 + i. Which is smaller: f or d?
f
Let z be (-2)/6 + 27/((-1701)/828978). Let y = -13202 - z. Is -43 != y?
True
Let q = 24.9 + -154.9. Let h = 129.959 + q. Let y = 0.059 - h. Which is bigger: y or -54?
y
Let m = -7220663/23 - -313942. Let a be 4/(-6) - (-20)/3. Let g be 10/a + 4/(-6). Is g less than or equal to m?
False
Suppose -4*p - 13 = f, 39*f - 45*f = p + 9. Which is greater: f or 3/9203?
3/9203
Let j be -17 - 0 - 35/(630/(-216)). Do j and -77/13 have the same value?
False
Let o = 17462.9045 - 17463. Which is bigger: -9 or o?
o
Let g = -30 + 36. Suppose -g*h + 21 = -h + 2*b, 0 = 3*b + 6. Which is bigger: h or 32/9?
h
Let m = 2640.2 - 2640. Which is bigger: 374 or m?
374
Let m = -4 - 9. Let n(v) = -v**2 + v + 1. Let g(d) = 3*d**2 - d + 12. Let z(o) = -g(o) - 2*n(o). Let f be z(0). Is f < m?
True
Let p(j) = j**3 + 150*j**2 + 149*j - 55. Let f be p(-149). Let o be (-2)/(-8) - 450/8. Which is smaller: f or o?
o
Let m = -4113/10 + 1814/5. Let w(v) = -v**2 + 21*v - 27. Let k be w(22). Let d = m - k. Is -4 < d?
True
Let p(z) = -2*z**2 - 84*z - 23. Let t be p(-42). Suppose 5*y = -108 - 7. Is t < y?
False
Let b(l) = l**2 - 7*l + 11. Suppose -4*j - 3*h = 18 + 30, 2*h + 67 = -5*j. Let f(y) = 2*y + 35. Let g be f(j). Let m be b(g). Which is smaller: -4/19 or m?
-4/19
Let u = 2339 + -2338. Is 25/326 >= u?
False
Let c be (1/1)/(1/2). Suppose -4 = -c*r - 0. Let f = 356 + -362. Is f >= r?
False
Let q be 4/(-26) + (-78)/(-507). Suppose 2*y - 2*v = -72, 0 = -q*v + v + 3. Which is greater: -38 or y?
-38
Suppose -5*k - 14 = 1, 0 = 5*u - 4*k + 48. Let z(v) = 4*v**2 - 3*v - 5. Let w be z(5). Let d be ((-57)/u + -1)*w/30. Which is smaller: d or 5?
5
Suppose 3*i = 9 - 9. Suppose 2*t + 1 - 5 = i, 0 = 2*r + 5*t - 34. Suppose -10*m + 112 = r. Are 3 and m non-equal?
True
Suppose 5*b = 6 + 4. Suppose -2*c + 24 = 2*z - 6*z, 0 = -b*c - z - 1. Suppose -v = 5*u - 5, 3*v + 2*u + 82 - 84 = 0. Which is bigger: v or c?
c
Suppose 8*p + f + 2 = 0, -6 = 21*p - 19*p + 3*f. Let g be -1 - ((-2)/1 - -5). Let n be (1/g)/((-18)/(-4)). Is n at most as big as p?
True
Suppose -20 = 5*s - 3*u, u + 26 = -s + 6*u. Which is greater: s or 1/1951?
1/1951
Let a be 60/30*1/2. Let h be a + 532/1068*-2. Is 0 > h?
False
Let y(o) = o**3 + 6*o**2 + 4*o - 1. Let m be y(-5). Suppose 0 = -19*r + 24*r - 2*h - 238, -4*h + 244 = 5*r. Which is smaller: r or m?
m
Let y = -23627/20 - -1181. Are -0.4 and y non-equal?
True
Let y be -1 + (8/8 - -171). Let g be (-1011)/y - 42/(-7). Which is smaller: -1 or g?
-1
Let b(o) = 6*o - 11. Let z be 3 - (-9)/(-18)*(1 - 3). Let n(a) = 11*a - 21. Let m(k) = z*n(k) - 7*b(k). Let w be m(3). Which is greater: w or -1/3?
-1/3
Let x be (72/(-36))/((-2)/(-3)). Let g(y) = -2*y**3 - 5*y**2 + 2*y - 3. Let q be g(x). Is q smaller than -2/19?
False
Suppose -36 + 36 = 4*a. Suppose -o - 23 + 0 = a. Let j be -26 + 1*(-2 + 4). Is o >= j?
True
Let t(z) = -z**3 + 7*z**2 + 2*z - 14. Let m be t(8). Let w = -58 - m. Let y be -4 + 2 - (w - 0). Which is smaller: y or -4?
y
Let o = 618 + -411. Is -0.2 less than o?
True
Let q be ((-385)/(-462) + (-4)/3)*(-56)/3191. Is 0 != q?
True
Suppose -348 = 10*u - 1598. Suppose 0 = 5*r - u + 120. Let k = 1186 + -77088/65. Is r smaller than k?
False
Let j(d) = -6*d + 2. Let a(y) = 5*y - 4. Let m(x) = 7*a(x) + 6*j(x). Let n be m(-14). Which is smaller: -18/35 or n?
n
Let l = -212 + 211. Is -71/182 smaller than l?
False
Let l = -127 + 181. Suppose 0 = 20*v + 7*v + l. Are -0.009 and v nonequal?
True
Let q(d) = -d + 2. Let z be q(2). Let o(n) = -34*n + 17*n - 2 - 6 + 9*n. Let s be o(z). Which is smaller: s or -15/2?
s
Let n be (2*1/(-2))/(-1). Let c be 6 + ((-46)/6)/(4 - (-1295)/(-315)). Do n and c have different values?
True
Suppose -577*n - 688 = -113 + 2. Let o be (8/18)/((-842)/(-3)). Is n less than or equal to o?
True
Let r = 0.15 + -0.2. Let b be (-3 + 30/(-18))*39/2. Let n = b + 92. Is r smaller than n?
True
Let m(n) = 24*n - 38. Let w be m(3). Suppose -38*b - w = 4. Which is smaller: b or -71?
-71
Let k(z) = 121*z + 1764. Let b be k(-21). Are b and -777 non-equal?
False
Let m be (6/8)/(-4 + 17/4). Suppose 3*u + 5 = -2*i, 8*u + m*i + 10 = 3*u. Let z be 3/(u/(0 + 5)). Is -3 at most z?
True
Let s = 0.0521 + 0.9479. Let o = 1.3 + -6.3. Let y = 10 + o. Is y bigger than s?
True
Let s = 16 - 22. Let b(v) be the second derivative of -v**4/12 + 2*v**3/3 + 11*v**2/2 - 2*v + 33. Let h be b(6). Which is smaller: s or h?
s
Let k(h) = -h**2 + 17*h - 55. Let u be k(13). Let n be (-24)/(-36)*(291 - u). Which is smaller: -1/3 or n?
-1/3
Let w(q) = 14*q - 2 - q - 4*q - q - 6*q. Let t be w(3). Which is smaller: 53/10 or t?
t
Let q(h) = -60*h - 3779. Let a be q(-63). Which is smaller: -1/2837 or a?
-1/2837
Let d be (14/(-192))/((-54)/504). Let w = d - 2/3. Do w and 1 have different values?
True
Let t = 0.273 + 142.727. Let p = 94 - t. Let c = -50 - p. Which is greater: c or 9?
9
Let q be (-11)/(77/42) + 5. Let j be -15 - -17 - ((-194)/103)/q. Which is smaller: j or 0?
0
Let g be ((2 - -8)/2)/(12/228). Let j be (-11)/(-6) + g/(-114). Does j = 7/16?
False
Suppose -17*q + 213 = -29*q + 21. Is -830/57 bigger than q?
True
Let g = 12 - 10. Suppose -4*o = -g*y - 4, 0*y - 2*y - 2*o + 2 = 0. Let r = 852 + -852. Do y and r have the same value?
True
Suppose -5*h + 2*o + 318 = 323, 4*h + 4 = -3*o. Which is bigger: -3/218 or h?
-3/218
Suppose 33*w = 31*w + 544. Let o = -260 + w. Is o < 7?
False
Let p be ((-4)/545)/((-279)/6975). Which is smaller: -1 or p?
-1
Suppose 4*f - 2*y = 12, 0*y + 23 = 3*f - 5*y. Suppose -22*z = -20*z + s + 16, 10 = -5*s. Which is greater: f or z?
f
Let v = -485397/57523 + 346/41. Is 0 equal to v?
False
Let i be 2*(4 - (0 + 87/(-6))). Suppose -9*p = -i + 10. Suppose p*o - 25 = 8*o. Is o != -5?
False
Let