34. Which is greater: -2 or o?
-2
Let m be 114/399 + 6/(-28). Let n(z) = z**2 - 6*z - 7. Let t be n(7). Is m less than t?
False
Let w be (-9)/(36/176) + 0. Let n = w - -53. Which is greater: 0 or n?
n
Let u = -0.4 + 0.1. Let h = -710 - -708. Is h at most as big as u?
True
Suppose v = -4*m + 128, 0*v + 171 = 5*m + 4*v. Let j = 16 - m. Which is smaller: j or -1?
j
Let t be (-168)/(-15)*10/2. Is 56 bigger than t?
False
Suppose 5*u = -p + 183, -2*u = -19*p + 24*p - 87. Is 34 at most as big as u?
True
Let d be 189/18*(-16)/12. Let x(w) = -2*w - 2. Let p be x(5). Is p at most as big as d?
False
Let n = 5.7 - 7.7. Let z = 10.93 - 11. Which is smaller: n or z?
n
Suppose 2*c + 3 = -3*q, 2*q = -c - 0*q - 2. Are 13/12 and c nonequal?
True
Let d(t) = -7*t**2 - t + 7. Let z be d(-3). Which is bigger: -54 or z?
z
Let k be -12 + 15 + 3/((-6)/(-266)). Let m = -117 + k. Is m at most as big as -2?
False
Let j = 2/355 + -286/355. Let m = 429 - 431. Which is greater: m or j?
j
Suppose -2*s - 1 + 7 = 0. Let t = -1/263 + 2897/1052. Which is smaller: s or t?
t
Suppose 4*d - 3*c = -50, -34*d + 29*d - 59 = -2*c. Are -13 and d nonequal?
True
Suppose -2*n - 408 = -2*i, 3*i + 1402 = -5*n + 366. Are -206 and n equal?
True
Let w(n) = 21*n - 15. Let r(v) = 7*v - 5. Let m(l) = 7*r(l) - 2*w(l). Let c be m(2). Do c and 9 have different values?
False
Let l = 12.9 - 14. Let f = -0.01 - -1.01. Is f != l?
True
Let k be (0/2)/(-3 + 6/6). Is -2/253 > k?
False
Let s = 0.13 - -3.07. Let z = -1088/5 + 218. Is s at most z?
False
Let b be (-59)/(-5) + 5/25. Suppose 2*m = -0*m - b. Suppose 2*r + 18 = -r. Is r >= m?
True
Let m be (-78)/264 + -1 + (-21)/(-12). Let v be (-4)/(-5) + 2/10. Is m at most v?
True
Let i = -116 - -1034/9. Which is smaller: i or -2?
-2
Let x(v) = -v**3 + 12*v**2 - 39*v + 25. Let d be x(4). Are d and -56/19 non-equal?
True
Let k = 83 + -79. Suppose -5*f = 4*h - 24, -5*h + k*f - 15 = -f. Which is smaller: h or -2/11?
-2/11
Let a(k) = k**3 + 22*k**2 + 21*k + 30. Let y be a(-21). Let x be 10/y*(-3)/1. Which is greater: -1/24 or x?
-1/24
Let x = 5/237 - 401/22752. Which is bigger: x or 2?
2
Let n(v) = v - 14. Let i be n(-7). Let m be (-2160)/(-70) - 3/i. Is 31 at least m?
True
Let z = -1444 + 7198/5. Let v(r) = r**3 - 9*r**2 - 16*r + 141. Let n be v(9). Which is bigger: z or n?
n
Let l(s) = s**3 + 5*s**2 + 4*s + 6. Let p be l(-3). Suppose 2*j - 2 = 5*x, -5*x - p = -3*x + 2*j. Let u be 21/(-14) - (-6)/20. Which is greater: u or x?
u
Suppose -2*i = -7*i. Let m be (1238/(-14) - 4)*1. Let x = m - -91. Which is smaller: i or x?
x
Let c = -0.025 - -0.025. Let j = -34 + 18. Let g = j + 10. Which is greater: g or c?
c
Let o be (-32)/80*(20/(-24))/(-1). Is o > -3?
True
Let z(r) = -r**2 + 8*r - 17. Let q be z(7). Let u(p) = 2*p + 7. Let g be u(q). Is -14 less than or equal to g?
True
Let z = 0.1017 - 0.056. Is z not equal to -1?
True
Suppose 3*w = -3*m - 3, 2*m = 3*w + w + 10. Let t be 3 - 2 - (1 + 1). Let l be t/w - (-12)/8. Which is smaller: 1 or l?
1
Let w be (-4)/((-12)/(-9)) - -3. Let l be w - ((-2 - 27) + 1). Let k be (-48)/l + (-2)/7. Which is greater: k or 0?
0
Suppose 2*b - 10*o - 5 = -11*o, -3*b - 5 = -o. Are b and 2/313 unequal?
True
Let c = -620 + 611. Are c and -11 non-equal?
True
Suppose 3*q + 3 = 0, 2*j + 19 = 4*q + 5. Are -166/19 and j equal?
False
Let u = -15 + 11. Let s be 2*(-1)/u - -7. Let d = -63/8 + s. Which is smaller: d or -1?
-1
Let s(l) = l**3 - 12*l**2 - 98*l + 125. Let z be s(17). Which is smaller: z or -663/7?
z
Let f(x) = -2*x**2 + 19*x - 7. Let i be f(8). Let p(q) = -3*q - 15. Let k be p(-10). Is i at least k?
True
Suppose 0 = 4*g - 1 + 5. Is g > -1/491?
False
Let a(v) = -v**3 - 6*v**2 + 7*v + 12. Let m(w) = -2*w**3 - 13*w**2 + 14*w + 25. Let u(l) = -7*a(l) + 3*m(l). Let j be u(-3). Which is smaller: j or 13?
j
Let w = -1956 + 21534/11. Let x(n) = -3*n + 36. Let q be x(11). Which is smaller: w or q?
w
Let i(q) = 2*q**3 - 35*q**2 + 14*q + 54. Let x be i(17). Which is smaller: 15/7 or x?
15/7
Suppose 3*t + 59 = r - 3*r, 0 = 4*r - 5*t + 63. Let w = 337 - 315. Let m = w + r. Do m and 2/7 have different values?
True
Let b = 503 - 483. Which is greater: 17 or b?
b
Let a = -7 + -126. Is -133 > a?
False
Let o = -10 + 9. Which is smaller: o or -1/111?
o
Suppose 0*g = -2*n + 2*g, 3*n = -4*g. Is -23.73 != n?
True
Let h(z) = -106*z - 159. Let s be h(7). Is s at most -902?
False
Let o be (-2)/(-1)*45/10290. Which is bigger: 1 or o?
1
Let f = 14 - 10. Suppose 2*a + 12 = f*a. Suppose 0*k - k = -2*p - 1, 0 = 4*p + 2*k + a. Which is bigger: -3 or p?
p
Let t be (-1)/(-1 + 0/(-1)). Let x be ((-5)/3)/((-5)/15). Suppose -3*j + 5*j - x*g = 33, -3*j = 2*g - 2. Is t less than j?
True
Let z(t) = -t**3 - 5*t**2 - 22*t - 28. Let w be z(-3). Which is smaller: 33 or w?
w
Let a be (20/(-6))/(2/(-3)). Let y(n) = -13*n + 31. Let i(c) = -15*c + 32. Let d(x) = -6*i(x) + 7*y(x). Let r be d(21). Which is smaller: a or r?
r
Suppose -574 = 20*v + 1226. Which is greater: -0.06 or v?
-0.06
Suppose 4*h = -3*k + 306, -5*k = -12*h + 7*h - 475. Is 95 less than k?
True
Let m(i) = -28*i + 39. Let o be m(1). Suppose 0 = -4*u - 10 + 42. Are u and o non-equal?
True
Suppose 0 = -3*z + m + 4, 4 + 1 = -5*m. Is z <= 9/23?
False
Let m(p) = 6*p - 21. Let j be m(5). Suppose 2*r + j*r + 66 = 0. Let u(d) = -d**3 + 7*d**2 - 2*d + 7. Let s be u(7). Which is smaller: r or s?
s
Let l be (-900)/(-76) - 8 - 5. Is -2 smaller than l?
True
Let x(u) = -2*u - 6. Let c be x(-6). Suppose -c - 8 = 2*m. Let o(k) = -k**3 + k**2 + 5*k - 3. Let s be o(3). Which is greater: m or s?
s
Suppose 7*l + 19 = -51. Let f be (2/(-4) - (l + 6))*-2. Is -7 less than or equal to f?
True
Let t be 123/90 + 2/(-10). Let i = 2133 - 2133. Is t bigger than i?
True
Let m = 222 + -394. Which is smaller: m or -170?
m
Let m be -3 - (-2 - 66/62). Suppose 3*h - 2*o + 4 = 3*o, 0 = 5*h - o - 8. Is h > m?
True
Let n(k) = -k**3 + 37*k**2 - 6. Let w be n(37). Is w <= -7?
False
Let r be (3 - 0) + 0 + 3 + -1. Suppose -h - 15 = 4*h - 2*s, -r*h - 2*s = -5. Which is greater: -1/20 or h?
-1/20
Let h be (-1*(-2)/(-2))/(-1). Let p = -20913/4 - -5261. Let j = -33 + p. Is h <= j?
False
Let d be (-1)/(-6) - (-68)/(-376). Which is greater: 1 or d?
1
Let n(t) = -t + 8. Let l be n(7). Let b = -35152/81 - -434. Let f = -104/2349 - b. Is l bigger than f?
True
Let s be 2/5 + 98/(-70). Let p = s + -11. Let y = p + 12. Is y > -0.02?
True
Let m = 375 + -3377/9. Is -0.99 equal to m?
False
Let j(z) = z**3 - 4*z**2 + 4*z - 1. Let w be j(3). Let m be (w*-4 - -3)*1. Let q = m - -6. Is q > 2/9?
True
Let o = -23389/69 - -339. Which is greater: o or -1?
o
Let p be -4*2/(-4)*-1. Let x(v) = -v**3 - 9*v**2 + v + 13. Let m be x(-9). Let f be m/p + (-8)/(-6). Is f <= -2?
False
Let y be (1832/229)/((-470)/(-3)). Which is smaller: 1 or y?
y
Let c(f) = f**3 + 2*f**2 - f - 2. Let d be c(2). Suppose 0 = -35*b + 244 + 106. Is d >= b?
True
Let k = 20.1 + -21.5. Which is smaller: 9/4 or k?
k
Let h be (-2)/(-13) + (-10419)/(-299). Which is smaller: 32 or h?
32
Suppose -7*b + 5*b - 4 = 0. Let t be -1 + b + 45/3. Let y = 12 - t. Which is smaller: y or 2/13?
y
Let y = -574.8 - -577. Let u = -3.5 - -3. Let j = u + y. Which is bigger: j or 1?
j
Let s be 56/12 + 48/36. Which is bigger: 11/2 or s?
s
Let m(v) = v**2 + 11*v - 19. Let l be m(-13). Let y be 242/30 + 2/(-3). Which is smaller: l or y?
l
Suppose 0 = -45*y + 41*y + 668. Are 166 and y unequal?
True
Let p = 7479/650 + -2/325. Let i = 0 + 11. Is p at least i?
True
Suppose 0 = -w + 6*w - 340. Suppose 0 = -5*l + i + w, 2*l = l - 4*i + 1. Let x be (l/26)/((-2)/4). Which is bigger: x or -2/7?
-2/7
Let s be -4 - 10/((-40)/(-756)). Which is bigger: s or -192?
-192
Suppose -1 = 3*i - 5*k, -3 = 5*k - 2*k. Let n be (-8)/48*(-3)/i. Do 2/5 and n have the same value?
False
Let f = 669 - 681.1. Let y = 3.1 - 15.1. Let t = f - y. Is t less than 1/5?
True
Let u be (2*5/10)/((-5)/(-2)). Let y = 2 - -5. Let g = 7 - y. Is g at least as big as u?
False
Let b = 3.519 - 0.519. Which is smaller: b or -38/7?
-38/7
Let l(k) = 11*k - 5 - 32 - 18*k + 3. Let z be l(-5). Is 46 at least z?
True
Suppose 0 = -3*p - 5*j - 1 + 5, 5*p - 17 = 2*j. Let f(m) = -m**2 + 10*m - 2. Let b be f(p). Is b at most as big as 19?
True
Let r be (3/2)/((-3)/(-2)). Suppose 0 = -5*q + 2*n + 35