s = 2884 + -9041/3. Let o = 131 + s. Which is smaller: o or 3?
o
Suppose -5*o + n + 5 = 0, 0 = 4*o - n + 5*n + 20. Is 5/8 bigger than o?
True
Let g(s) = 843*s**3 + 1. Let k be g(1). Which is bigger: k or -1/4?
k
Suppose 25*v + 1625 = -0*v. Is v equal to -65?
True
Let o be ((-80)/(-28))/((-2)/(-7)). Let y = -9 + o. Let b be ((-84)/(-20) + -2)*y. Is b > 3?
False
Let w = 4 + -4. Suppose -4*a = -w*a + 20. Suppose 3*u + 120 = 99. Does a = u?
False
Let r = -0.023 - 20.977. Let c = 17.87 + 3.03. Let h = r + c. Is h at least as big as -2?
True
Let c = 0.4 + 0.68. Let n = -0.12 - c. Let x = -0.9 - n. Is x <= 1?
True
Suppose -l - 15 = -5*q, -3*q = 2*q + 3*l + 5. Suppose 2*i + 2*i = -4*u - 68, 5 = -i - 4*u. Let j = i + 25. Which is smaller: j or q?
q
Suppose 0 = -p - 0 + 4. Suppose 15 = -5*l, p*t - l - 15 = t. Which is bigger: 5 or t?
5
Let l = -273 - -292. Which is smaller: 0.2 or l?
0.2
Suppose 4*f - 22 = -2*k, 0 = -f - 0*f + 5*k + 22. Is 76/9 not equal to f?
True
Let u = 1 + 1. Let t(f) = f**2 + 17*f + 3. Let c be t(-17). Suppose -c*z + 4*q = z + 12, 30 = -u*z - 4*q. Which is greater: z or -5?
-5
Let h = -5 + 4. Let g be -2 + h + (-36060)/(-10422). Let p = g - 3/193. Which is smaller: p or 0?
0
Let s = 0.11 - 0.11. Let g = -6 - s. Let z = g + 5. Is -1 > z?
False
Let c = -37/4 + 9. Suppose -22 = t - 27. Is t <= c?
False
Let i = 276 + -276. Which is smaller: i or -61?
-61
Suppose 5*d = -3*t + 37, 3*t - 5*t - 4*d + 26 = 0. Suppose -h + 4*h - 2*z + 1 = 0, 5*h + 4*z - 35 = 0. Let l be (50/15)/(1/h). Which is smaller: t or l?
t
Let v be 2061/63 + (-5)/70*-4. Which is bigger: v or 10?
v
Let j(y) = -44*y**3 - 3*y - 2. Let w be j(-2). Let l be -3 + 122643/342 + (-1)/(-2). Let o = l - w. Is 0 at most o?
True
Suppose -102*j = -76*j - 2132. Is 408/5 less than j?
True
Suppose -26 = -4*k + 6. Suppose -37 = 6*q - 67. Suppose q*y = y - k. Is y smaller than -1?
True
Let d(f) = 18*f + 1078. Let y be d(-60). Which is greater: -6.1 or y?
y
Suppose -3*d + 6 = -0. Let o be 12/(-8)*((4 - d) + 30). Are -49 and o non-equal?
True
Let b be (-11 + 6)/(-15)*456. Which is bigger: 153 or b?
153
Let d be (244/(-174) + 1)*(-542)/1897. Which is smaller: 1 or d?
d
Let g be 0 - (4 - (-75)/(-55)). Do g and 1 have different values?
True
Suppose 5*h = 7*h - 40. Suppose 3*k + h = -2*k. Which is greater: -5/2 or k?
-5/2
Let l = 370/9 - 377/9. Let q = -8 - -8. Is l greater than q?
False
Suppose -25 = -3*a + 35. Suppose 3*j - 563 = -509. Do j and a have the same value?
False
Let k(x) = 2*x**2 + 2*x + 2. Let c be k(-2). Let j = c + -2. Let a be 2/(((-8)/(-5))/j). Which is smaller: 1 or a?
1
Let u = 573 - 573.22. Which is smaller: u or 0.2?
u
Let h(f) = -f**3 - f**2 + 13. Let k be h(0). Let o = k - 107/8. Suppose 7*m = 21*m. Which is smaller: m or o?
o
Let p be 20/(-3) - (-52 + 45). Which is greater: p or -0.359?
p
Let t be (5 - (-5 - -11)) + 6. Let w = 25 + t. Which is bigger: 29 or w?
w
Suppose 3*p - 3*j = -27, -31 + 6 = 5*p - j. Is 2 less than or equal to p?
False
Let p = 50 + -42. Let m be (-2)/p - 2/24. Which is smaller: 1 or m?
m
Let g = 8 - -5. Suppose 18*x = g*x + 5. Let k = 4 + x. Is k at most 4?
False
Suppose 118*p = 119*p. Do 5/42 and p have the same value?
False
Suppose -5*f = 3*o - 4 - 38, 0 = -f + 2*o + 11. Suppose 5*b - 32 = -r + f, 3*b - 19 = -2*r. Suppose b*p = k + 4*p - 12, p = -k. Which is smaller: k or -4?
-4
Suppose -2*q = 5*i + 3*q - 130, 0 = -2*i + 5*q + 31. Suppose -3*c + 27 = -3*h, -4*h + 3*c = i + 12. Suppose 2*n = -17 + 5. Are n and h non-equal?
True
Let f = 23 + 22. Suppose 5*b - v = -5*v - f, 4*b = -v - 36. Which is greater: 1 or b?
1
Let y = 69.916 - 70. Which is greater: -0.1 or y?
y
Let u be (10/6)/(4/12). Suppose 4*n + 0*a - u*a = 1, -a = -2*n + 5. Suppose 0 = -4*x - 4, s + n*x + 10 = -4. Is s equal to -10?
True
Let f(p) = p**2 + 30*p + 85. Let b be f(-3). Let k = 2/59 - -1229/295. Is b > k?
False
Suppose 0 = 2*d - 24 + 84. Let g be (-8)/(-28) + 194/7. Let w be 4/12 + g/d. Which is smaller: w or -3?
-3
Suppose -8 = -3*x + 5*x. Let k be 98/56 - 1/4*-1. Suppose k*l - o + 7 = l, -2*l = 4*o - 10. Is l > x?
True
Let p = -0.465 + 0.045. Let v = -0.36 - p. Which is smaller: -1 or v?
-1
Suppose 4*a + 4*u = 12, -a - 2*a - 6 = -2*u. Let v = 5 - a. Suppose 0 = -v*z + 5 + 10. Which is greater: z or 2?
z
Let k(d) = -29*d + 34*d + 15*d**2 + 4*d**2 + 9. Let l be k(-2). Which is smaller: 74 or l?
74
Let k be 837/156 - 6 - (-2)/8. Which is greater: k or 0?
0
Suppose -2*p - 4*o = -18, 4*o - 11 = 4*p + 13. Which is smaller: 13/29 or p?
p
Let g = -27 - -31. Suppose 87 = -g*u - t, -5*u - t = -6*t + 140. Which is smaller: -22 or u?
u
Let d = 250 + -256. Which is greater: 1 or d?
1
Suppose -5*c - 25 = 0, 2*c - c + 2 = -3*o. Let x be o*(1 + 0) + 0. Are x and 2 unequal?
True
Let y = 3/41 + 1742/287. Which is smaller: y or 5?
5
Let s = 33025 - 231709/7. Let u = s + 76. Is u greater than -7?
True
Suppose 4*o - 8*o = -192. Suppose y = -2*y - 3*x + o, 0 = 3*x - 9. Let z = 16 - y. Which is greater: 9/4 or z?
z
Let s be (-29)/4 + 3/12. Let g be (-13)/2*(-14)/s. Is g less than or equal to -12?
True
Let k = 0.51 - 0.11. Let u = -1.6 - k. Which is smaller: 0.14 or u?
u
Suppose 5*m - 4*g = -123, 5*g = 117*m - 116*m + 33. Do m and -12 have the same value?
False
Let x = -74 + -50. Is -124 less than x?
False
Suppose 11*b = 536 + 14. Which is smaller: 46 or b?
46
Let y = 160 + -162. Let u = -52 - -56.6. Let b = -5 + u. Is b greater than y?
True
Let y be 3282/39 - (-2)/(-13). Let d be (-24)/y - 471/(-105). Which is smaller: d or 3?
3
Let a be (6 + 114/(-21))/((-10)/7). Let c = -6.85 + -0.15. Let s = c - -7.05. Which is smaller: a or s?
a
Suppose 0 = -2*x + 4*l + 10, 0*l - 10 = -5*x + 5*l. Let b = -0.9 - -0.7. Let p = b + -2.8. Is p not equal to x?
True
Let m be (0 - 2)/((252/(-1))/(-14)). Let t = -0.2 - -0.3. Let a = -0.1 - t. Is a less than m?
True
Suppose -2*i - 12 = -5*y + y, 0 = i. Let n be (-1)/(-6) - 5/30. Is n < y?
True
Suppose 69 = 8*a + 325. Let v be (a/(-12))/1*1/(-6). Which is bigger: v or -7?
v
Suppose 3*f = 5*f - 20. Let g be (-6)/f - 532/(-95). Is 3 at least g?
False
Let c be -7*((-12)/(-7))/2. Let f(o) = -o**3 - 6*o**2 + 2*o - 2. Let s be f(c). Is -12 at most s?
False
Let o = 1907/20 + -478/5. Is -0.08 smaller than o?
False
Let s(a) = 5*a**2 + 2*a + 2. Let z be s(-1). Suppose -z*x - 320 = 5*t, 1 = 2*x - x. Is -64 smaller than t?
False
Let n = -48.39 - -48. Let b = 0.39 + n. Let q = b - 0. Which is smaller: -0.7 or q?
-0.7
Let k = 0 - 0. Suppose 2*u = -k*u - 2. Let j = -3/5 + -1. Is j at least as big as u?
False
Let d be (60/630)/(2/7). Is d greater than -1155?
True
Let k be 21/(-3) + 31 + -25. Is k greater than or equal to 1/1722?
False
Suppose 13*g - 14*g + 10 = 0. Let r = -4 + 16. Let b = r - g. Which is bigger: -3/2 or b?
b
Let w(p) = -24*p - 15. Let v be w(-5). Let j = v + -96. Is 0 at most as big as j?
True
Let w be 48/(-114) + (-3)/(-6). Let b(k) = -k**2 + 7*k + 5. Let g be b(7). Let p be (-1)/((4 - g)*-1). Which is smaller: p or w?
p
Suppose 0 = -4*p + 1 - 13. Let y be -2*p/(-24)*6. Let w = 26 + -26.1. Are w and y nonequal?
True
Let r(y) = y**3 + 7*y**2 - 9*y - 7. Let o be r(-8). Let k = -2 - -1.8. Let j = -0.8 + k. Is j at most as big as o?
True
Let j = 130.8 - 131. Is 1/26 at least j?
True
Let i = -48/11 - -328/55. Which is greater: -1 or i?
i
Let q(r) = -24*r**2 - 4*r + 1. Let z be q(2). Let u = z + 103. Is u less than or equal to -4/19?
False
Let c = -14 - -4. Let l(f) = f**3 + 34*f**2 - 32*f + 94. Let o be l(-35). Is o greater than or equal to c?
False
Suppose -f + d = -5*f + 24, 3*d + 12 = 0. Suppose -f*z - 552 - 85 = 0. Does z = -2/3?
False
Suppose -5*a + 3*r + 11 = -r, 2*r - 5 = -a. Let v = a - 4. Are 4/21 and v non-equal?
True
Suppose 0 = m + 5, -5*j - m = -j + 5. Suppose j = 57*x - 60*x - 3. Which is smaller: -8/17 or x?
x
Let v be 2/(-3) - (-586)/9. Let u = v - 1271/18. Is -7 bigger than u?
False
Suppose -5*h + h = 264. Let i be (-12)/h - (-9)/11. Let o be (i - 2)/((-3)/(-12)). Which is greater: -5 or o?
o
Let x(v) = v**2 - 8*v + 8. Let h be x(7). Suppose 4*y = s + 22, -5*s + s = -5*y + 55. Let a be 16/24 - s/(-18). Which is smaller: h or a?
a
Suppose 0 = -20*v + 3*v - 340. Let k be (-15)/50*v/(-24). Is -1/58 equal to k?
False
Let j = 0.028 + -0.728. Are j and 2/21