uppose 0*w = 4*w - x*w. Which is greater: w or 3/7?
3/7
Let x(k) = 2*k**2 - 4*k. Let u be x(4). Let p = 1147 - 1130. Is u < p?
True
Let f = -212.016 + 212. Is 0.1 at most as big as f?
False
Let i be 8/(-12)*117/(-6). Suppose -3*r - 13 = -j - 2*r, i = j - 4*r. Let h = j + -14. Are h and 1/31 equal?
False
Suppose -13 = -4*p - 45. Let q be (-2)/11 + p/(-44). Which is bigger: -3/10 or q?
q
Let h(u) = 9*u + 6*u + 16*u**2 - 2 - 17*u**2. Let n be h(12). Which is greater: n or 33?
n
Let x = -1/814 - 145/47619. Which is bigger: 1 or x?
1
Suppose 66*z - 47*z = -456. Is z less than -24?
False
Let d = 33730781/1832 + -18412. Which is smaller: d or 1?
d
Let p(n) = -70 + 4*n**2 - 79*n**3 + 38*n**3 - 3*n**2 + 3*n + 40*n**3. Let b be p(0). Is -71 > b?
False
Let i = -9 - -14. Suppose -2*g = -2*r - 14, 0 = -2*g + 4*r + 11 + 5. Which is bigger: g or i?
g
Suppose -283*j = -289*j. Which is bigger: -13 or j?
j
Let p = -58/35 + 71/91. Let b = p - -4/5. Let h(x) = -x**3 + 3*x**2 - x - 1. Let c be h(2). Is c less than b?
False
Let n(g) = 3*g - 7*g + 2*g. Let a be n(-1). Suppose 0 = -5*t - 5*c - 10, a*t - 6*t + 6 = -3*c. Which is smaller: t or 1?
t
Let t be 2*1/(-4) + 20/(-8). Let n be t - 1*9/(-3). Which is smaller: n or 2/27?
n
Let a = -756 - -701. Which is smaller: -53 or a?
a
Let n be -3 - -5 - 165/35. Which is smaller: -3 or n?
-3
Suppose -3*f = -2*k, -2*f = -5*f + k. Is f >= 1/20?
False
Let x = -1142.924 - -1143. Is -2/5 < x?
True
Let p be (-22)/(-28) + 4/(-14). Let b be 22 - (-2 + 2 - 1). Let l = b - 21. Do p and l have different values?
True
Let v = -1101 + 1097. Let k = 2.9 - 3. Which is greater: k or v?
k
Let w = 172 - 705/4. Which is smaller: -5 or w?
-5
Suppose 4*s = 5*c + 40, 2*c = -5*s + c + 21. Suppose -4*p - 4*m + 4 = 0, s*p - 2*m - 3 - 2 = 0. Let l be -2 + 4 - (-1)/(-1). Does l = p?
True
Let i(p) be the third derivative of 0*p + 7/6*p**3 + 4*p**2 + 0 - 1/24*p**4. Let d be i(5). Which is smaller: d or -4?
-4
Let z = -416 - -443. Which is smaller: 192/7 or z?
z
Let q = -155.068 + 155. Let m = -0.032 + q. Suppose 4*k = 2*o + 56, -4*k + 58 = -2*o + o. Is k != m?
True
Let r = -46 + 45.74. Let w = 0.36 + r. Which is smaller: -0.1 or w?
-0.1
Let i(q) = 4*q**2. Let n be i(-1). Suppose -n*p + 1 = -2*z + 7, 7 = -3*z - 2*p. Is 4/25 at least z?
True
Let d = 230 + -235. Let f = 0 - -1. Do f and d have different values?
True
Let n be 8/6 + ((-46)/(-24) - 3). Let m(a) = -a - 2. Let j be m(-3). Which is bigger: j or n?
j
Let y = 13 + -8. Let n be 49/147*(0 - -12). Suppose y*o + 4*v - 2 = 2*o, n = -o + v. Is -12 less than or equal to o?
True
Suppose -25 = -9*l + 4*l. Suppose -4*y + c + 11 = -0*y, -2*y + l*c + 1 = 0. Let o be y/6*4/16. Is o not equal to -1?
True
Suppose g - 3 = -0*h + 2*h, 4*g - 12 = 3*h. Suppose h*x = -2*x + 6. Suppose x*s + 16 = -5*q + 37, 0 = -5*q + 2*s + 36. Which is bigger: q or 7?
7
Let a(c) = -20*c - 215. Let t be a(-15). Let b be 1 - (2 + -88) - 2. Is t bigger than b?
False
Let s be -2 + 0/5 + -2. Let w = -7 - s. Which is smaller: 0 or w?
w
Let l = 7.84 - -0.16. Let i = l - 11. Let j = 3.2 + i. Is 0 greater than j?
False
Suppose -17*p + 46*p = -29. Is -3/317 smaller than p?
False
Let s = -5.2 - -5.06. Let x = -0.14 - s. Are -16 and x unequal?
True
Let k be (-1 - 76) + (-24)/(-6). Let a = -73 - k. Let s be 96/(-45) - 2/10. Which is smaller: a or s?
s
Suppose -3*r = -0 + 3. Let y be 2/(r*(-1)/2). Suppose -n = -4*v - 1 - 11, 16 = 5*n + 2*v. Is n bigger than y?
False
Let y(p) = -148*p - 7. Let w be y(-8). Let u = -1687 + w. Let z be 174/u + 2/5. Which is smaller: z or -1?
-1
Let p = -55.95 + 5.95. Let x = -1.9 + 2. Which is smaller: x or p?
p
Let a = -296 - -14506/49. Let p be 3 - (-1)/(-1)*-2. Let t be p/(-10)*(-4)/(-2). Is t bigger than a?
False
Let w = -0.164 + -2.796. Let k = w - 0.04. Which is greater: -0.1 or k?
-0.1
Let t(y) = 2*y - 4. Let i be t(5). Suppose 4*b + 6 = i*b. Suppose 4*k + 4*m - 6*m = -4, 0 = 2*k + 2*m - 4. Which is smaller: b or k?
k
Let d = 218.2 + -211.2. Is d != 0.44?
True
Suppose -2*w + 2 = 5*c, 5*c - 10 - 10 = -5*w. Is w >= 22?
False
Let n = -0.4 - -0.2. Let t = -187 - -188. Which is greater: t or n?
t
Let r = -19.1 + 15.1. Is r at most 25?
True
Suppose -3*i = 5*q + 4, -3*i + 4*q + 8 = -6. Suppose -v = 4*v - 5*a + 185, -90 = i*v + 2*a. Which is smaller: 0.1 or v?
v
Let r be (-15)/(-1*(-2)/6). Let d be (-20)/4*(-48)/r. Let p be -6*(-1 + 0)/(-1). Is d at least as big as p?
True
Let k(q) = -3*q. Let v be k(-2). Let t be 1/(-2)*v - 2. Let g(c) = c**2 + 4*c - 3. Let o be g(t). Which is smaller: 6 or o?
o
Let p = 5.6 - 5.7. Is p bigger than 8.8?
False
Let g = 189 - 3211/17. Let w = -73673/187 - -394. Let s = w - g. Is s smaller than 0?
True
Let h(w) = w**3 - 12*w**2 + 13*w - 7. Let d be h(11). Suppose 2*r + d = 5*r. Suppose 4*m - 5*m - 16 = -5*b, -20 = -r*m + 5*b. Which is bigger: m or 8?
m
Let b be 94/(-4) + 3/2. Let h be ((-3)/(36/b) - 2)/1. Are -1/6 and h unequal?
False
Suppose -o + 5 = 0, 0 = 2*k - 2*o + 113 + 671. Is -387 <= k?
True
Let n = -3073/12 + 257. Is n != 2?
True
Suppose 33*o - 15 = 32*o. Is 19 smaller than o?
False
Let z = -2.9 - -3. Let w = -69.13 - -69. Let v = z + w. Is 0 > v?
True
Let l = 0.109 - 0.137. Let y = l - -0.058. Which is smaller: y or 2?
y
Let h be ((-1)/98)/((-4)/164). Let i = 1/98 + h. Is i less than or equal to 0?
False
Suppose -10*i = -i - 45. Is 37/10 bigger than i?
False
Let o be (5/(-10))/(3/234). Let b(x) = -8*x**2 - 6*x + 6. Let h be b(2). Which is greater: o or h?
h
Let a = -12974835 - -687604883/53. Let m = -1158 - a. Which is smaller: 0 or m?
m
Let z(x) = -10*x - 37. Let i be z(8). Let q be ((-471)/104)/1 + (-18)/i. Is q at most as big as -3?
True
Let n(b) = -b**2 - 10*b - 18. Let z be n(-11). Which is greater: z or -30?
z
Let f(y) = y**3 + 4*y**2 - y + 3. Let q(n) = -n**3 - 3*n**2 + n - 2. Let t(i) = 2*f(i) + 3*q(i). Let o be t(1). Is 3/8 bigger than o?
True
Let a be ((-1551)/(-194) + -8)*2. Let i = 1 - 0. Is a less than i?
True
Let o(p) = -p**2 + 8*p + 1. Let i be o(6). Let g(u) = u**3 - 12*u**2 - 15*u + 1. Let x be g(i). Is x bigger than -26?
True
Suppose 4*x = 0, 7*u - 4*x + 678 = 4*u. Let r = u + 14467/64. Is r > 1?
False
Suppose 4*q + 36 = 2*u, 5*q = 4*u - u - 52. Let o be (-22 + 23)/(2 - 31/15). Let l = o + u. Do 1 and l have different values?
True
Suppose -t - n - 5 = -3*n, 0 = 4*t - n - 1. Which is bigger: t or 1/194?
t
Let a = 42 + -46.9. Let b = 5 + a. Let f = -1092/6127 + -2/557. Is f >= b?
False
Let n = 0.159 - -0.041. Which is smaller: n or -51?
-51
Let t be (-5)/10 + (-60)/(-8). Suppose 3*f = 8 + t. Suppose q = -4*z + f*q + 16, -3*z - 16 = 4*q. Which is smaller: 4/21 or z?
z
Let d(q) = 20*q - 357. Let x be d(26). Is x at most 164?
True
Suppose 0 = 8*y - 7*y, 0 = 3*r + y. Which is greater: -3/10 or r?
r
Suppose -24*t = 10*t + 272. Is t at least -18?
True
Let b = 1634087643/44 + -37132241. Let v = b - 6114. Let q = v + -1/44. Do -0.5 and q have different values?
True
Let a = 439/2697 - 13/93. Let z = 908/31929 - a. Is z at least as big as 1?
False
Let a = -30 - -20.2. Let g = 10 + a. Which is bigger: -8 or g?
g
Suppose 2*p + 2*p - 12 = 0, 4*p = -3*c + 27. Suppose -c*t = 3*w + 26, 4*w + 2*t + 3 = -13. Which is smaller: w or 0?
w
Let g(b) = 2*b + 13. Let o be g(-4). Suppose -2*l + 3*m + 32 = -18, -o*m = l - 12. Suppose -w = w + l. Is -12 bigger than w?
False
Let o = 132 - 96. Are o and 31 non-equal?
True
Suppose o + 20 = -5*u, -o + 5*u + 29 = -1. Let n = 3065/22 + -279/2. Which is bigger: o or n?
o
Let m = 3.48 - 3.39. Which is greater: m or -12?
m
Suppose -6*t = -3*t - 15. Suppose -3*j + t*r = 20, -9 = -4*j - 5*r + 11. Suppose -2*q = 5*h - j*h + 23, -5*h - 4*q - 21 = 0. Is -2 >= h?
True
Let o(f) = -7*f + 8. Let b be o(-3). Let x be ((-10)/6)/(b/957). Which is smaller: x or -56?
-56
Suppose -43 = 3*y + 14. Let u = -4 + y. Are -23 and u equal?
True
Let v be 2/(-1) - 2298/(-18). Let z = -124 + v. Let i = -0.1 + -0.9. Which is smaller: i or z?
i
Let h = 0.05 + -7.55. Let k = 7.4 + h. Which is bigger: -21 or k?
k
Let g = -48.9 + 37.6. Which is greater: 2 or g?
2
Let r be ((-217)/(-21) - 9)*-438. Do r and -583 have the same value?
False
Let p = 2 + 1. Let s be ((27/24)/p)/3. Suppose 2*r = r. Is s < r?
False
Let n(x) = x**3 + x**2 - x - 14. Let t be n(0). Let d = t + 20. Let w 