 Is v not equal to -44?
True
Suppose y = -0*y + 5. Let o(i) = 0*i**2 + 3 - 2*i**3 - y*i**2 + 1 - i**2 + i. Let f be o(-3). Which is bigger: 3/13 or f?
f
Let w(y) = y**3 + 8*y**2 - 16*y - 105. Let c be w(-4). Let x(l) = 6*l + 4. Let p be x(3). Is c at most as big as p?
False
Suppose -375 = n - r, -4*n + 3*r - 1097 - 409 = 0. Is -383 greater than or equal to n?
False
Let y = 0.861 + -0.031. Let i = 0.89 - y. Which is bigger: -2/11 or i?
i
Let u = 73 + -93. Let i(c) = 3*c**2 - 8*c + 4 - 4*c**2 - 9*c. Let t be i(u). Is t at most -55?
True
Let r be 226/14 - 11/77. Suppose g - r = -3*g. Let s be (8/6)/(g/58). Which is smaller: s or 18?
18
Let s = -0.81 - -1.83. Let l = 2.68 + s. Which is bigger: l or 2?
l
Let y = -1844 + 1850. Let p = -0.8 + 0.76. Is p less than y?
True
Suppose 0 = -29*z + 31 + 404. Suppose -z*r + 5*r = 0. Let w = 434/5 + -51207/590. Is w less than r?
False
Let v(h) = -100*h**2 + 4*h. Let u be v(-1). Let c = 201 + u. Let t = c + -169. Is -71 at least t?
True
Let w be ((-2)/(-6))/(14/882). Suppose 0 = w*l + 3*l. Let f(o) = 5*o. Let c be f(-2). Which is bigger: l or c?
l
Let h = 31/27 - -2191/702. Which is bigger: 4 or h?
h
Let w be (-11)/(-2)*(12 + 100/(-10)). Suppose -4*y + 3*y = -p - 2, -2*y = 5*p - w. Does p = 4/149?
False
Suppose -5*t - 16 = 11*t. Let y be (19/(-95))/(0 - t). Are y and -1 unequal?
True
Suppose -5*t = l - 967, t - 874 + 703 = 3*l. Is t smaller than 206?
True
Let x = 12 + -22. Let u = -6 - x. Let f be 28/(-8) - (-6 + 2). Which is smaller: f or u?
f
Suppose 9*k - 10 = 11*k. Let f(c) = -2*c**3 - c**2 - c - 4. Let g(t) = t**3 + 2. Let m(l) = -6*f(l) - 11*g(l). Let v be m(k). Which is greater: -6 or v?
v
Let d(f) = -f**2 - 271*f + 546. Let b be d(2). Is 787 less than or equal to b?
False
Let c be 200/60*6/5. Suppose -c*q + 4*t - 28 = 0, -5*t = 9 - 4. Are -6 and q equal?
False
Suppose 51*b + 19*b = 233 + 537. Which is smaller: b or -2.23?
-2.23
Let n be 3/6 + (-43)/(-14). Suppose -2*j = -j - 35. Suppose 42*c - j*c - 21 = 0. Do c and n have the same value?
False
Let y(b) = b**3 + 79*b**2 - 160*b + 193. Let n be y(-81). Is 18 > n?
False
Let c = 33/164 + -13661/67076. Let l(h) = -2*h**2 - 16*h - 30. Let n be l(-5). Which is bigger: n or c?
n
Let w(g) = -2*g - 10. Let a be w(-12). Let v(i) = i**2 - 8*i + 14. Let y be v(a). Let p = 29 + y. Is 0 bigger than p?
False
Let t be (-4)/4 - (-18)/(-8). Suppose -37*k = -32*k - 25. Suppose 5*i = x - k, 2*i + i = 3*x + 9. Which is greater: i or t?
i
Let k be ((-17)/(-4))/(12/1008). Which is greater: 359 or k?
359
Let h = 105714 + -105731. Let c(v) = -v**3 + 6*v**2 - 3*v - 3. Let n be c(6). Which is bigger: h or n?
h
Suppose -5*q - 50 = 0, -25*q + 40 = 5*h - 29*q. Let v = -6 + 7. Let k be ((-2)/1 - v) + 0. Is h != k?
True
Let r = -4032 + 3975.2. Let a = 0.63 - 57.63. Let x = r - a. Which is greater: -1.9 or x?
x
Let y = -0.107 - 0.433. Which is smaller: -14/5 or y?
-14/5
Let d be 4/(-18) + 4/18. Let v = -28757/23183 - -294/239. Are d and v non-equal?
True
Let z = 397.32 + -394. Let w = z - 0.32. Are w and 65 equal?
False
Let y = -11.04 + 10.84. Let o = 74 + -43. Let r = 31.13 - o. Which is smaller: y or r?
y
Suppose 5*b - 13 = 4*h, 3*h + 2*b + 0*b = 19. Suppose 4*o - 268 = -4*y, -15*o + 321 = 5*y - 17*o. Suppose -62*k + y*k - 18 = 0. Is h < k?
True
Let g(m) = 2*m + m - 19 - m. Let d be g(11). Suppose -3*w + 0*s - d*s = 0, -4*s = -w - 5. Which is greater: 5 or w?
5
Let m(l) = l**2 + 6*l. Suppose 5*j + 4*s = -51, 2*s - s = -2*j - 18. Let v be m(j). Which is greater: 31/4 or v?
31/4
Suppose 3*j + 804 = -34*d + 32*d, 0 = 3*d + 4*j + 1203. Is -0.05 less than d?
False
Let h be 5 - (7 + -3) - 1. Suppose h = 2*y - 2*d - 10, -2*d - 2 = -y + 7. Suppose -4 = 2*m + 2. Which is greater: m or y?
y
Let f = -7196 - -64691/9. Let j = 283/36 + f. Is j at most -90?
False
Let l be (26/6 - 4)*0. Let w = 14.87 + -15. Let n = 0.23 + w. Which is smaller: l or n?
l
Suppose -15*u - 5344 = -634. Let b = u + 281. Which is smaller: 3 or b?
b
Let m = 2260 + -268936/119. Which is bigger: -1 or m?
m
Suppose 0 = -5*i - 3*n - 127, -306*n + 58 = -2*i - 309*n. Are i and -465/19 unequal?
True
Suppose -2*t + 3*z - 26 = 0, -310*z + 309*z - 24 = 4*t. Suppose 3*h + 43 = 16. Which is smaller: t or h?
h
Let h = 0.7 - 0.85. Let r = 185 - 86. Let a = r - 100. Which is smaller: a or h?
a
Let x be (-6)/2 + (5 - 403) + -1. Let g be 18/(-4)*(x/126 + 3). Which is bigger: g or -5?
g
Let r be 14544/(-4338) + 2/(-3)*-6. Let h = 192518/296671 - r. Is h <= 1?
True
Let q = -4617 - -4617. Is -6/631 at least q?
False
Suppose 2*a + 2*i = -144, -4*a = 2*i - 7*i + 324. Let c be (-86)/(-473) + 1 + a/55. Do 1/27 and c have the same value?
False
Let j(f) = f**3 - 7*f**2 + 10*f - 6. Let z be j(6). Suppose -3*c - 27 = z. Let s = -15 - c. Which is greater: s or 2/7?
2/7
Let i = -793.3 - -799. Let u = 25.9 - 43.6. Let l = u + i. Which is greater: 1/3 or l?
1/3
Suppose 6 = -3*y, y + 49 = 3*x - 46. Suppose x = z + 62. Is z at least -0.1?
False
Let n be (-2)/9*45252/180. Does -56 = n?
False
Suppose -89 = -d + 171. Suppose 21*u - 11*u + d = 0. Let g = -56 - -30. Is g <= u?
True
Let g(l) = -l**3 + 8*l**2 + 10*l + 13. Let b be g(9). Let i = b + -15. Let h(u) = -u**3 - 2*u**2 - 3*u - 12. Let r be h(-3). Which is smaller: i or r?
r
Let n = 120.74 - -2.26. Let l = 0.04671 - 0.24671. Which is smaller: l or n?
l
Let z = -2093 + 4334. Is -1/3 greater than z?
False
Let n be 576/300 + (-2)/(-25). Suppose -l - 5*i + n*i + 18 = 0, 0 = -5*i + 25. Is l != 2?
True
Let f be (-2)/4 - (-3)/2. Let b = -97 - -181. Let o be 2/55*(-14)/b*-3. Do o and f have different values?
True
Suppose 5*t = -0*t - 5, 4*n + 2*t - 18 = 0. Suppose -2*y + 2 = -3*y, -335 = -b - y. Suppose 5*s - 115 = 2*d, n*d - 65 = -3*s - b. Is d bigger than -55?
False
Let n be 19039/79 + (-1)/((-1)/3). Let a = n - 234. Is 14 < a?
False
Let t = -69 - -19. Let q = 4296 + -4294. Which is bigger: q or t?
q
Let m(h) = -h**3 - 149*h**2 - 498*h + 112. Let f be m(-146). Is 8872 < f?
False
Let d = 351 - 197. Let w be ((-2)/4)/(7/d). Suppose 0 = 5*r + 15, -3*o - 18 = -6*r + 2*r. Which is greater: w or o?
o
Let k = -48.071 + 0.071. Let n = 48.21 + k. Which is smaller: n or -0.1?
-0.1
Let k = 23 + -26. Let j = 4 + k. Suppose 2*d + 2 = 2*l + 4, 3*l = -3*d + 9. Is l >= j?
True
Let s be 8/14 - (-1100)/(-308). Let b be s/(-7) + 6876/(-21). Which is smaller: b or -328?
-328
Let n(w) = -w**3 - 7*w**2 - 6*w - 1. Let k be n(-6). Let h = -5210 + 5154. Are h and k non-equal?
True
Suppose -2*o = -5*b - 40, 0 = -2*b - b - 12. Let g = 36 - 35. Let v be (g - 12)*(4 - 5). Which is smaller: v or o?
o
Let i be (-4)/(2 - -14) - (4 + (-68)/16). Is i less than or equal to -2/1005?
False
Let i be (-4)/(-7)*(-621544)/(-704). Do 505 and i have different values?
True
Let g = 2831 + -2832. Which is greater: g or -40/827?
-40/827
Let i = -16 + 19. Let x be (11 - 5)*(-111)/18. Which is smaller: x or i?
x
Suppose 0 = -4*y - 6*y - 20794 - 66. Which is greater: y or -2081?
-2081
Let n(j) = j + 44. Let s be n(-19). Suppose 25 = 5*f, 2*f = -4*y + f + s. Let m be (-4)/(-20) + 89/y. Which is smaller: 17 or m?
17
Let x = -4.1855 + 0.1055. Is x > 4?
False
Let n = -239446645/752 + 318413. Which is bigger: 1 or n?
1
Let m = -97 + 109. Let i be (m/(-2))/(-3) - 17. Do i and -13 have the same value?
False
Let j = 8/3 + -7/3. Let c = 23.667 + 0.333. Is c at least j?
True
Suppose -4*p + 0*t = 2*t + 62, -2*p + 3*t = 11. Let i = 42213 + -42227. Which is smaller: p or i?
i
Let v = 173 + -175. Let s be ((5 - (1 + v)) + -5)/(-1). Is -8/21 at least as big as s?
True
Let u = 281 - 235. Suppose 6 = 5*c + u. Which is bigger: c or -4?
-4
Suppose 0 = -3*n + 4*p + 21001, -52 + 72 = 4*p. Which is smaller: 7008 or n?
n
Let o = 0.747 + 546.253. Let u = o - 547.57. Which is bigger: -0.3 or u?
-0.3
Let p = -73 - -137. Let m = 55 + 8. Let k = m - p. Is 1/11 at most as big as k?
False
Suppose -132*p + 130*p = -8, -2*m + 222 = 5*p. Is m bigger than 59?
True
Let p be 15 + (44505/(-150))/23. Is p not equal to 22?
True
Let u = 0.12776 + 2368.87224. Which is bigger: 2/5 or u?
u
Suppose -18*x + 20 = -16. Suppose -x*c = -179 + 177. Let h = 53061/47 + -1129. Is c at least h?
True
Let k(b) = -4*b - 6. Let c be k(-4). Let z be -2 - (2/(-1) + c). Let w(i) = i**3 + 12*i**2 + 31*i + 212. Let 