+ 31353. Which is greater: o or x?
o
Let i(n) = -57*n + 12. Let g be i(-10). Let x = g - 11055/19. Let v be 1/((-1)/(-1 + 2)). Which is smaller: v or x?
v
Suppose -3*w - 2*d = -6*d - 10, 0 = 4*w - 4*d - 8. Let k = 4.9976 - -0.0024. Which is smaller: k or w?
w
Let k be 3/12*4 - 1. Let f be (-1 + k)*(8 - 9). Let g be (-2 + f)/(1/6). Is -1/2 at least as big as g?
True
Let b = 16 - 15. Let u(j) = -9*j - 2. Let h be u(b). Which is bigger: h or -9?
-9
Suppose -9*v - 74 = -11*v. Let i = v - 35. Is i bigger than 5/6?
True
Suppose 1290 - 310 = -7*j. Let i be (-2)/10 + 2/j. Is -1 smaller than i?
True
Let v = -0.015 + -0.085. Let i be 2/2 + 3 + -6. Which is smaller: i or v?
i
Suppose -8*p = -45 + 5. Suppose -13*b = -p*b + 344. Are b and -42 non-equal?
True
Let f = -1028/9 + 114. Let g(y) = -y**2 + 10. Let j = -140 + 137. Let p be g(j). Which is bigger: p or f?
p
Let r = -774 + 773.9. Which is greater: r or 835?
835
Let i be -5 + 1 + 68/6. Suppose -5*n = 2*z - 28 - 10, -16 = -4*z. Which is smaller: i or n?
n
Suppose -4*t + 381 = -5*c, 3*t - 257 = -0*c - 2*c. Suppose -5*o + 6*z - t = 3*z, -3*z = 4*o + 82. Let v = o + -3. Is -22 < v?
False
Suppose 2 = 6*r - 22. Let n be -3 + 6 + 10 + -2. Let k = n - 8. Is k bigger than r?
False
Let c be (-458)/4 + (-3)/6. Let q be 2/7 - c/(-35). Let u be 2/8 - q/(-12). Is u > 0.4?
False
Suppose 2*a - 251 = -a - 4*l, 2*a = l + 149. Let t = -78 + a. Which is smaller: t or -1/73?
t
Suppose -5*n + 4*l = 22 + 24, 3*n + 6 = -3*l. Suppose 0 = -3*y + 5*v + 5, 3*v - 7*v + 9 = -5*y. Is n less than or equal to y?
True
Let x = -0.018 + 12.018. Which is bigger: x or -1?
x
Let n be -3 + 15/25*(-472)/(-77). Let v = 4081 - 314231/77. Let w = v - n. Is 0 <= w?
False
Let s = -69 + 80. Is s != 13?
True
Let x = 3/7 + 5/21. Suppose 0 - 2 = u - b, 2*u + 7 = 5*b. Let l = u - -1. Is l < x?
True
Suppose 2*l + 10 = -4*x, 4*l - 25 = 5*x - 6. Is 12/71 smaller than l?
True
Suppose -14*m + 9*m - 20 = b, -2*b - 5*m = 20. Let a be 2 + (120/26)/(-3). Is b greater than or equal to a?
False
Let f = 852 - 852. Is f at least 7?
False
Let x(l) = -4*l - 1. Let s be x(4). Let n = -607 - -1820/3. Do s and n have the same value?
False
Let g(c) = c + 63. Let s be g(-9). Is s greater than or equal to 55?
False
Let y be (0 + (-5)/(-4))/((-42)/168). Is -0.065 greater than or equal to y?
True
Suppose -420 = 7*x - 2863. Is x greater than 349?
False
Let k(m) = -m**2 + 6*m - 5. Let v(f) = f**2 + 2*f - 10. Let c be v(-5). Let a be k(c). Is a less than -3/25?
False
Let i(g) = g**3 - 19*g**2 + 17*g + 12. Let w be i(18). Let d = 140/219 - -2/73. Is d not equal to w?
True
Suppose 2*z + z + 453 = 0. Let s = -149 - z. Is s less than 4?
True
Suppose -13 - 3 = -4*n, -3*y = -3*n + 6. Suppose -3*r - q = -5 + 2, -2*r + y = -q. Let w = -12/31 + 232/279. Is w equal to r?
False
Suppose -26*y = -12*y + 70. Do y and 5 have the same value?
False
Suppose -31*i = -29*i + 2, 56 = -5*u + 4*i. Suppose -3*l = d + 34, -l + 3*d = -0*d + 18. Are u and l non-equal?
False
Suppose 3*x = 5*a - 11, -2*x - 3*a - 19 = -18. Which is smaller: -5 or x?
-5
Let v = 46 - 139/3. Let p be 42/4*(10/(-7) - -1). Does v = p?
False
Let l = 704 + -696. Which is greater: l or 3/79?
l
Suppose 4*d + 9 = -5*q + 31, 0 = 4*d - q - 10. Suppose -4*h = -d*y - 9, 9 = -3*y - 0*y. Is h > 0?
False
Suppose -3*p = -5*d + 13, -3 = 5*p - d + 4. Is -105/47 less than p?
True
Let x = -1.3 + 1.3. Let l = x - -1. Let z = -34 + 23. Which is smaller: z or l?
z
Let l(o) = 3*o**3 + 9*o**2 - 10*o. Let j(c) = -7*c**3 - 19*c**2 + 21*c - 1. Let m(z) = -2*j(z) - 5*l(z). Let a be m(-8). Is a less than or equal to 7/12?
False
Let l = -124 - -98. Let t be (13/l)/((-1)/(-130)). Is t at least -65?
True
Let s = 847 - 837. Are 28 and s nonequal?
True
Let f = -120 - -123. Suppose -4*o = 6*p - f*p + 13, 3*p + o + 19 = 0. Is p < -52/9?
True
Let w = -12.5 + 111.5. Let h = w - 99.1. Which is smaller: -41 or h?
-41
Let f(t) = -11*t**3 + 2*t + 1. Let p be f(-1). Suppose 5*q + 5*m = 11 + 9, 0 = 5*q - 5*m - p. Suppose 10 = -2*z, q*z = -v + 3*v + 5. Is v < -10?
False
Let x be 18/(-27)*474/4. Let b = x - -75. Which is greater: b or -10/3?
-10/3
Let g = -127 + 274. Which is smaller: 143 or g?
143
Let h = -9 - -15. Suppose 5*b - 2*b - h = 0. Suppose b = 4*c - 6*c. Which is greater: -5/6 or c?
-5/6
Let h = 906 - 909. Suppose 28 = -3*n + 7*n - 4*p, -3*p = -15. Let u be (4/(-9))/(2/n). Is h greater than u?
False
Let z(b) = b + 2. Let a be 10/4*(-12)/(-10). Let m be z(a). Let p be (-9)/4*m/(-15). Is 2 at most as big as p?
False
Let i = -156 - -1096/7. Is -3/7 less than i?
True
Suppose -144 = -12*r + 8*r. Which is smaller: 35 or r?
35
Let d be ((-18)/4)/((-4)/(-8)). Let l be d/1*(-4)/12. Suppose l*b + 20 - 2 = 0. Which is smaller: -5 or b?
b
Let b be (30/18)/(-1 + 12/9). Suppose -b*m - 40 = 80. Which is smaller: -22 or m?
m
Let l be 12/9*(-3)/2. Does l = 4/3?
False
Let l = -0.852 - 0.348. Is l at least as big as -2?
True
Let b = -1/1267 - -252142/11403. Let a = -36797/1665 + b. Which is smaller: -1 or a?
-1
Let j(r) = 4*r**3 - 8*r**2 - 2*r + 3. Let w be j(2). Which is bigger: -21/10 or w?
w
Let l be (1/(-77))/(1/(-137)). Let s = l - 18/11. Let a = -199 + 198. Which is greater: s or a?
s
Let k be (-14)/(-63) - 173/819. Is k not equal to -1?
True
Let m = 47 - 42. Let k be (2 + 5 - m) + 2/3. Let p = 3 - 4. Which is smaller: p or k?
p
Let x = 7 + -4. Suppose -o + 0*o = k, 0 = 3*k - x*o - 6. Let b be -1 - (k - 1)/3. Which is smaller: 1 or b?
b
Let n = 3972/106069 + -4/4359. Let o = -4550/657 + n. Which is smaller: -8 or o?
-8
Let n = 242 - 55. Is n smaller than -0.2?
False
Let m(g) = -179*g - 41. Let i be m(2). Is i at least -399?
True
Suppose 3*p = -v - 44, p = 2*v + 4*p + 97. Does -53 = v?
True
Let f = -24 + 24. Suppose f = -2*c + 5*c - 6. Which is smaller: -2 or c?
-2
Suppose -w + 5*w + 1 = 5*s, 5*s = -4*w + 9. Suppose 4*m + s + 3 = 0. Let k(l) = l**2 + 12*l + 39. Let b be k(-6). Is m smaller than b?
True
Let u = 272 + -269. Which is smaller: -15 or u?
-15
Let i = -40.29 - -42. Which is smaller: i or -0.1?
-0.1
Let m = -122/3 - -41. Let u = -369 - -368.851. Let c = u - -0.049. Which is greater: m or c?
m
Let n be 1/1 + 6/(-4). Let a(q) = q - 8. Let j be a(14). Let g be 20/(-30) + -1 + 22/j. Are g and n unequal?
True
Let m be (-1 + 1)/(6*9/27). Is m at least -1?
True
Let u be (7/((-70)/12))/((-96)/(-2240)). Is -5 < u?
False
Let q = -36 - -36.29. Let h = 0.29 - q. Suppose -4*c - 5*t = 35, -2*t - 1 + 13 = -c. Is h at most c?
False
Suppose 0 = -6*x + 3*x - q - 52, 0 = 2*q + 8. Is x less than -25?
False
Suppose -5*q = -4*q + 2. Let z be ((-4)/4 + 3)/q. Is -1/13 at most as big as z?
False
Let a = -56 - -48. Let f be a/6 - -2 - (-160)/(-105). Which is greater: 0 or f?
0
Suppose 35 = -10*y + 5*y. Let s = y - -7. Let o = -2.71 + 0.71. Is s less than o?
False
Let h = -661/11815 + -2/695. Is -3 != h?
True
Let b be 6 + -4 + 48 + 0. Is b less than or equal to 51?
True
Let q be 165/(-4 - (-6)/2). Is -162 > q?
True
Suppose -12*s - 538 = -514. Suppose -3*l + l = d + 1, -5*d + 31 = -2*l. Let p = -3 - l. Which is smaller: p or s?
s
Suppose 0 = -3*q + 4*w - 22, -3*q + w - 2 = 2*w. Which is smaller: q or -19/12?
q
Let q(m) be the second derivative of -m**3/6 - 9*m**2 - 27*m. Let y be q(-5). Is y less than -15?
False
Let g = -1879 + 3254. Which is smaller: 1 or g?
1
Let i be (5 + -12 + 9)/2. Which is greater: i or 2/21?
i
Let u be 1/(-3 - (-62)/21). Let g be 9/(-112) + ((-6)/u)/2. Which is greater: 0 or g?
g
Let g = -13 - -17. Let q = 13 - 13. Let z = q + 0. Which is smaller: z or g?
z
Suppose -2*l = -5*x - 33, 2*l + 5*x = -0*x - 17. Suppose 0 = -0*v - 3*v. Suppose 0 = 2*o - 4*q - 20, v = -o + 5*o - l*q - 24. Which is greater: 16/7 or o?
16/7
Suppose -2*v + 4 = 2*v. Let n(s) = 2*s**2 - s + 2. Let q be n(v). Suppose 0 = q*a + 10 - 4. Is -11/4 less than a?
True
Let m(q) = q - 8. Let u be m(8). Let a = -20.83 - -21. Let x = a - -6.83. Which is bigger: u or x?
x
Let j be ((-4)/8)/((-1)/(-18)). Let l(g) = g**3 + g**2 - 17. Let p be l(0). Let n = j - p. Is n at least 7?
True
Let g = -15 - -12. Let m be 4/g*(-18)/(-6). Let j be 0*(-2)/m*-1. Is j smaller than -1/10?
False
Suppose 3*o = 4 + 2. Suppose 0 = -o*j + 5*i - 21, -5*j - 2 - 3 = -3*i. Suppose 5*z - 32 = -m, 5*z = 4*m - j - 1. Is m at most as b