= -2*x. Is x greater than or equal to w?
False
Let j = -578/5 + 116. Is j less than -0.33?
False
Let v = 331/3 - 3307/30. Let h(p) = -p - 3. Let f be h(-3). Is v != f?
True
Suppose -4*n + 294 = -2*h, 612 = -h - 3*h + 2*n. Which is bigger: h or -154?
-154
Let j = -199 - -767. Does j = 569?
False
Let d = -42 + -69. Do -111 and d have the same value?
True
Let s = -620 - -621. Which is smaller: s or -107?
-107
Suppose -17*t + 195 - 994 = 0. Is -234/5 at least as big as t?
True
Suppose 4*n + 12 + 4 = 4*j, 4*j - 3*n - 13 = 0. Let z be ((-90)/(-98) - j)/((-126)/(-147)). Which is bigger: -1 or z?
z
Let b(q) = q**2 - q - 1. Let y be b(2). Let a = 1/325 + -1311/3575. Is a at most as big as y?
True
Let j = 2.43 - 4.14. Let m = j + 1.63. Which is greater: m or 1?
1
Let s = -29 + 28. Which is smaller: 7/58 or s?
s
Let l = -3029458/5 + 53522461/85. Let d = 23777 - l. Let g = d + 855/136. Which is smaller: g or 0?
g
Let l = 2663427/512 + -5202. Is l != -1?
True
Let l = 8 - 4. Suppose 0 = -4*t + 3*u - 0 - 6, l*u = t + 8. Which is greater: t or -10?
t
Let w be (9 + -12)*3/(-45). Let l = 25 + -24.89. Is l <= w?
True
Let a(w) = -w**3 - 10*w**2 - 33*w - 41. Let f be a(-5). Are f and -3/7 non-equal?
True
Let a = -494/63 + 68/9. Let y = -2 + 2. Which is smaller: y or a?
a
Let f be 21/(-14)*4*2/(-6). Let x be 1/(-3) + 2910/(-72). Let d = -779/20 - x. Which is smaller: d or f?
d
Let l = 60 - 36. Let t = 20 - l. Let j = 5 - 2. Is j smaller than t?
False
Let c = 12 + -4. Suppose 5 = c*z - 3*z. Which is greater: z or 1/63?
z
Let y = -271 - -2443/9. Is 3 at most y?
False
Let h = -16.7 - -23.6. Let b = -7 + h. Is b at most as big as -22?
False
Let z = 33 + -34.09. Let d = 3.91 - z. Is -4 greater than d?
False
Let f = -33 + 4. Let u = f + 29.2. Let r be -2 - (-1 - (-10)/(-8)). Which is smaller: r or u?
u
Let z = 1.259 + -46.259. Is z at least 2/5?
False
Let s(z) = -13*z**2 - 14*z + 8*z**2 + 26 - 4*z + 6*z**2. Let v be s(18). Is 26 != v?
False
Suppose 0 = -42*m + 46*m - 424. Let v be -1*1/m*-2. Which is smaller: 1 or v?
v
Suppose -4*m - 3*h + 521 = 0, 4*m - 18*h = -13*h + 529. Is 131 != m?
False
Let m be ((0/3)/(-2))/2. Suppose m = -5*d + 4*d + 2. Suppose 0 = -s - d*s. Which is greater: -1/26 or s?
s
Let l = -0.1 + 1.1. Suppose 11 - 26 = -3*m, 4*a - 3*m = -127. Is a > l?
False
Let z(g) = g**3 - 4*g**2 + g - 5. Let s be z(4). Let r be (-3 - -8)*-11*s. Suppose 5*l - r = -5*b, b - 5 - 6 = -2*l. Is b less than 11?
False
Suppose 2*n = 2*o + 18, -3*n = -2*o + 3*o - 19. Which is smaller: -0.096 or n?
-0.096
Let b = -14 - -42. Let j be b/(-6)*90/(-35). Suppose -7*q + 3*q - j = 0. Are q and -1 nonequal?
True
Let w(x) = x**2 - x + 1. Let y be w(1). Suppose -z + 42 = -3*z. Let m be -7 - -8 - (-22)/z. Are y and m unequal?
True
Let h be (-13)/(-130) - 178/(-20). Which is smaller: 88/9 or h?
h
Suppose 48 = -5*p + 3*m, -5*p - m - 4*m - 80 = 0. Let y = -12 - p. Are y and 1/19 nonequal?
True
Let n(i) = i**3 - 2*i**2 - 4*i + 4. Let q be n(3). Let j(a) = -9*a - 53. Let t be j(-6). Is q at least as big as t?
True
Let j = -2991/7028 - 3/1004. Which is smaller: j or 0.04?
j
Let t be 15/25 + 816/15. Are t and 55 equal?
True
Let o(v) = v**3 - 40*v**2 - 85*v + 44. Let b be o(42). Which is greater: -7 or b?
b
Suppose 7 - 2 = 3*f + 2*n, -4*f = -5*n - 22. Suppose -c = -f*c - 66. Let g = c + 29. Which is greater: -2 or g?
-2
Let x be -2*2 + (-15290)/(-3820). Let r = 14129/1910 + x. Which is smaller: r or 7?
7
Let u = 65/36 + -3287/36. Which is greater: -91 or u?
u
Let q(p) = -p**2 - 41*p - 116. Let s be q(-3). Which is greater: s or -16/41?
-16/41
Suppose -4 = -2*p - 0*p. Let v be (9/39)/(p/(-4)). Which is greater: 1 or v?
1
Let f = -2.34 - -1.34. Which is smaller: f or -1/2?
f
Suppose -50 = 3*h - 71. Let p be (-1 + (-22)/(-6))/h. Which is smaller: 1 or p?
p
Let q(a) = 10*a + 21. Let g be q(10). Suppose -4*i = -5*o - g, 15 = -5*o + 2*o. Let w be (3/i)/(-4 + 2). Is 0 < w?
False
Let k be (-3)/2 + 50/4. Let g be (9 - k) + (-16)/(-7). Which is smaller: g or -1?
-1
Let l = -13903/20 - -695. Let u(b) = 46*b - 6 - 92*b + 51*b. Let g be u(1). Is g < l?
True
Let w = -4 + 4. Let c = w - 5. Let i be ((-2)/c)/((-27)/(-15)). Is i greater than -1?
True
Suppose -5*z - 3*g + 39 = 0, -3*z + 0*z + 12 = -2*g. Let s = -30 + 29.4. Let l = s + 0.8. Are l and z unequal?
True
Let z = 0.177 - -6.103. Let j = z + -0.28. Which is greater: j or 2?
j
Let u = 14682/5 - 2951. Is u greater than or equal to 3?
False
Let o(q) be the second derivative of q**5/20 - q**4/2 - 13*q**3/6 - 17*q**2/2 - 6*q. Let t be o(8). Is 4 smaller than t?
True
Suppose 14*n = 17*n + 54. Which is bigger: -14 or n?
-14
Suppose -3*f = -5*r + 30, -2 = 3*r - 4*f - 31. Suppose -r*o + 8*o = -z - 38, -2*o + 2*z - 8 = 0. Let k(j) = -j**2 - 4*j + 5. Let v be k(-6). Is v bigger than o?
False
Let p(u) = -3*u + 25. Let s be p(8). Let t be 3 - (27/(-4))/(s/(-4)). Is t at least -25?
True
Let m = -349166/101105 + 252/73. Is 1 at most m?
False
Let f = -0.08 - 0.22. Let h = -32.76 - -38.76. Are f and h non-equal?
True
Let f = -19 - -26. Let z(d) = 3*d + 2*d**2 + 0*d**2 + 8 - d**2 + f*d. Let q be z(-9). Which is greater: q or 1?
1
Let n(h) = 2*h**3 + 16*h**2. Let m be n(-8). Suppose 5*q - 52 = 13. Suppose 0*z + 3*p = 2*z + q, m = 3*z + 4*p + 11. Which is bigger: z or 1?
1
Let g be -28 - (1 - (3 + 3)). Which is smaller: g or -16?
g
Let b(h) = -h**3 - h**2 - h + 46. Let q be (-2)/(-13) - (-6)/(-39). Let d be b(q). Let k = -601/13 + d. Is 0 bigger than k?
True
Suppose 0*c = -2*c + 8. Suppose -b + 27 = 2*r + r, 4*b = -2*r + 18. Suppose r = 9*s - 6*s. Is s <= c?
True
Let u = 6258783309/46939060 + 55/191588. Let t = u + -667/5. Which is smaller: t or 0?
t
Let r be (0 + -1)/(2/(-44)). Let n = r + -14. Suppose 0 = n*b - 13*b + 70. Is b not equal to -1?
True
Let j = 13.1 - 13.36. Let z = j - 0.74. Is -2/35 < z?
False
Let s = -2.21 + 0.59. Let f = 0.32 + s. Let x = f + 1.3. Is x >= -1/6?
True
Let x = 0.061 - -0.087. Let m = x - -0.052. Which is greater: 0.02 or m?
m
Let u be (1330/(-40))/(-7) + -7. Is u at least as big as 15?
False
Let z be 3*2*-2 + 1. Let h = z + 6. Let c = -114 - -111. Is h at least as big as c?
False
Suppose -3*u = -8*u + 70. Which is smaller: 8 or u?
8
Let x = -85 - -89. Let y(z) = -z**2 - 11*z + 8. Let m be y(x). Is m greater than or equal to -52?
True
Let p be 5/(-15) - (-46)/(-6). Let c(g) = g + 11. Let r be c(p). Suppose 0 = r*w + 3*j + 15, -4 = 4*w - 5*j - 20. Which is smaller: w or -10/9?
-10/9
Let j = -14407/34 - -424. Which is smaller: 0 or j?
0
Let x(j) = j**3 + 14*j**2 - 13*j + 31. Let f be x(-15). Which is smaller: f or 1/116?
1/116
Suppose -2*s - s = 5*x - 37, 20 = 4*x. Let l be ((-5)/15)/((-7)/189). Which is smaller: l or s?
s
Let w(d) = -d**3 + 25*d**2 + 47*d - 73. Let o be w(25). Are 1102 and o nonequal?
False
Suppose -45 = 3*h - 2*w - 13, 4*w - 40 = 3*h. Let b(g) = g**2 + 8*g + 3. Let j be b(h). Suppose -j*q - 2*q - 50 = 0. Which is greater: -12 or q?
q
Let z = 4 + -7. Let y = -0.18 + 7.18. Let t = z + y. Do 0 and t have the same value?
False
Suppose 0 = -4*g + 15*g - 429. Suppose -40*r + 1 = -g*r. Is 11/5 at least as big as r?
True
Let n = -248579/19 + 13080. Is n at least -3?
False
Let r = -762 - -1196. Let m = r + -14320/33. Suppose 2*c = 5*g - 2, 4 = -4*c - 67*g + 65*g. Is c at least as big as m?
False
Let u = 0 - 0. Suppose -27 = -5*d + 73. Let a be (-85)/d + 0 + 2 + 1. Which is smaller: a or u?
a
Let g = -786/5 + 156. Let r(i) = i**3 + 11*i**2 + i + 5. Let f be r(-11). Let k be f*(2 - 20/12). Is k <= g?
True
Let o = -3261/30400 - -7/64. Is o at least as big as 1?
False
Let f = 114 - 155. Which is smaller: f or -40?
f
Let y = 0.44 - 0.34. Let s = -1.9 + 2.08. Is s less than y?
False
Let d(u) = 3*u**2 + 4*u + 3. Let x be d(-4). Suppose 5*c = 3*l + 73, -4*c - 6 - 24 = l. Let m = x + l. Do m and 9 have different values?
False
Let p be ((-6)/(-4))/(4 + (-547)/136). Let r = 38 + p. Is r smaller than -29?
True
Let b = -0.044 + 1.044. Let s = 4.8 + -5. Let a = s - -0.4. Which is bigger: b or a?
b
Let q be 25*4/(1 + 3). Let n be ((-10)/q)/(112/30). Which is smaller: 0 or n?
n
Let o(a) = -a**2 + 7*a - 8. Let q be o(5). Suppose -2*g = -s - 65, -q*g + 71 - 12 = -3*s. Is 33 >= g?
False
Let o be (6 - 20/8)*1092/1715. Which is bigger: o or 1?
o
Let l =