(-48). Which is greater: -1 or g?
-1
Let s be (-10 - (-14)/2) + (2 - -1). Does 2/269 = s?
False
Let h = -291/580 + 9/20. Suppose 10*o = -5*o - o - 7*o. Is h less than or equal to o?
True
Let q be 42/196*7*(-8)/38. Which is greater: q or 1?
1
Let w be (-4)/(-14) - (200/(-35) + 7). Let z be -7 - -2 - (w - 4). Is -3/26 equal to z?
False
Let a be (2 + 9/(-6))/((-1)/(-16)). Is a < 6?
False
Let a be (-35)/(-26)*432/252. Is a >= 2/3?
True
Suppose -4*m = 4, 0*q + 18 = 2*q - 2*m. Let y be ((-2)/q)/((-3)/(-12)). Which is smaller: -50 or y?
-50
Let x = 1083 + -24910/23. Which is smaller: 1 or x?
x
Let r be (22332/306)/((-1)/3). Let x = -219 - r. Let o be 4/(-6) - (-12)/18. Which is greater: x or o?
o
Suppose -5*t + 3*y + 133 = 0, -4*t + 0*y - 5*y + 136 = 0. Let m = t + -118. Is m < -89?
False
Let l be (-93)/(-6)*(-2 + 4). Let g(d) = 3*d + 30. Let v be g(0). Which is smaller: l or v?
v
Let t be -4*2/(-24)*6. Let d(u) = -2 + 2 - 6*u + t - u**2. Let g be d(-5). Which is greater: -1 or g?
g
Suppose 162 = 6*k - 198. Let s = k + -56. Suppose -3*t - 3*u + 2*u = -8, 4*t = 4*u + 16. Which is smaller: t or s?
t
Let k be (-8 + (-18564)/(-2322))/2. Is -1 >= k?
False
Let n = -49 - -35. Let a be (-3)/(-4)*40/(-45). Which is smaller: n or a?
n
Let m(z) = -z**2 - 12*z - 33. Suppose -q + 8 = -2*q. Let f be m(q). Which is bigger: 0 or f?
0
Let i = 2 + -1. Suppose -4*s + i = -59. Suppose 4*v = 3*v + 3*o - s, 0 = 5*o - 20. Which is smaller: v or -2?
v
Suppose 145 = -4*c - c. Let h = -31 - c. Is -4/5 > h?
True
Let k be (-138)/370 + 6/15. Let j = -36 + 39. Let z be 0*(2 - j)/(-2). Which is smaller: z or k?
z
Suppose p + 30*n - 25*n + 479 = 0, 0 = -5*p - 5*n - 2335. Which is smaller: -467 or p?
-467
Let d = -48 + 31. Let a be 1*(35*-1)/(-1). Let w = a - 52. Is d smaller than w?
False
Let a = -1/1411 + 2827/7055. Which is greater: 15 or a?
15
Let l = 0.2128 - 0.0108. Are l and 0 nonequal?
True
Suppose 2*p + 3*p - 80 = 0. Let n be 10*(-12)/p*2. Is -15 >= n?
True
Let g(o) = -5*o**2 - o + 2. Let b be g(-3). Let c be 4/b*12*(0 + -25). Is c < 30?
False
Let c = -9.5 + 10.5. Is 7/13 >= c?
False
Suppose -5*x + 3*x = j + 30, -2*x - 26 = 2*j. Suppose 28*w - 124 = -628. Is w smaller than x?
True
Suppose 2*y = -37 + 181. Let m be y/(-39) + 2/(-13). Let u be (8/(-12))/(m/3). Which is greater: -1 or u?
u
Let k = 14491/6910 - -2/691. Let w(r) = -3*r - 29. Let m be w(-10). Which is bigger: m or k?
k
Let u be (1/(-159))/(165/(-594)). Is u less than 0?
False
Let k = 80.61 - -0.39. Let i = -83 + k. Is -2 at least as big as i?
True
Let l = -971.074 + 971. Is 1/6 bigger than l?
True
Let o = -3 + 7. Let q(c) = -3*c + 13. Let n be q(o). Let m be 1 + n + 16/(-6). Which is smaller: m or -2?
-2
Suppose 5*x + 6 = 4*c + 3*x, -3*x = -5*c + 9. Which is bigger: c or 2/5583?
2/5583
Suppose 36*j - 34*j - o = -206, 0 = -4*o + 16. Do j and -101 have the same value?
True
Let q(z) = z**2 + 54*z - 295. Let f be q(5). Is f smaller than 20/33?
True
Suppose 0 = p + 5 - 1. Let n be (p/(-21))/((-22)/33). Are -1/7 and n unequal?
True
Let n = 0.233 + -5.233. Which is greater: -0.6 or n?
-0.6
Let o be (-1 - (-106)/116)*24/(-20). Which is bigger: -1 or o?
o
Let o = 372 - 319. Is -2/5 not equal to o?
True
Let d(j) = -11*j**3 + 2*j**2 + j. Let v be d(-1). Let u(p) = -2*p - 10. Let c be u(-6). Suppose -c*l - v = l. Which is bigger: -2 or l?
-2
Let b = -172 - -271. Let w = 106 - b. Which is smaller: w or -2/7?
-2/7
Let o be 0/(((-2)/(-3))/((-3)/(-9))). Suppose 3*n + 5*d + 13 = -n, o = -3*n - 3*d - 9. Are -1 and n nonequal?
True
Let f(z) = -7*z - 105. Let g be f(-15). Which is bigger: g or -10?
g
Let z = -294 - -451. Is -0.1 at least z?
False
Let v be ((-4)/24)/((-4)/(-8)). Which is smaller: v or 0.01?
v
Suppose 224 = 5*d - 336. Suppose o = 5*o - d. Which is bigger: o or 29?
29
Suppose 2*l + g + 3*g + 66 = 0, -5*g = -5*l - 165. Let y = 197/6 + l. Let x = -67 - -67. Which is smaller: y or x?
y
Let y(h) = -2*h**2 - 2*h + 15. Suppose 0*z = -5*z + 15. Let p be y(z). Is -13 less than p?
True
Let y = -0.27 + 0.02. Let x = 66 + -66.35. Let p = x - y. Is p not equal to 0.9?
True
Let t be (-65)/(-52) + 1/(-4). Suppose 9 = -4*n + 3*v, 4*v = 2*v - 2. Let m be ((-8)/n - 3)/1. Which is smaller: t or m?
m
Suppose 1023 + 2877 = -10*c. Which is greater: -392 or c?
c
Let p = 927 - 924. Let l(k) = -k - 3. Let o be l(-6). Let f = 3 - o. Which is bigger: f or p?
p
Let n(h) = -h**3 + 5*h**2 + 3*h + 25. Let y be n(6). Suppose j = -2*a + y*a - 12, 4*j = -4*a. Which is smaller: a or 1/4?
1/4
Let m(c) = c**2 - 6*c + 48. Let f be m(8). Is f < 64?
False
Let u = 842/9 - 93. Is 2 equal to u?
False
Let y be 63/2*(-1)/12. Let v be 30/20*4/(-3). Do v and y have the same value?
False
Let c = -33 + -1. Let n(t) = 6*t - 11. Let y be n(5). Let k = c + y. Is -1 != k?
True
Suppose 8*t - 7 = 11*t + 5*w, 5*w + 10 = 0. Is t greater than -15/83?
True
Let o be (-6)/(-4)*6/(-4). Let v(p) = p**2 + 16*p + 2. Let q be v(-16). Suppose -2*y + 3*u = 10, 4*y + q*u = 3*u - 10. Is o > y?
False
Suppose -5*m - 4*w - 17 + 50 = 0, -5*w = -10. Is m bigger than 11/3?
True
Let y = -6 + 4. Let o = 4 + y. Suppose 0 = 2*u - 5*m + 1, -4*u + 11 = -u + 5*m. Are u and o equal?
True
Suppose -2*m = -4*b - 0*b + 48, -3*b = 2*m - 29. Let v be (6/b)/((-9)/12). Is 0.1 less than v?
False
Let m(d) be the second derivative of d**3/3 - 9*d**2/2 - 14*d. Let r be m(5). Let x be (-102)/(-188) - (-2)/(-4). Which is greater: x or r?
r
Let p(l) = l**3 - 15*l**2 - 8*l + 1. Let c be p(12). Let w = -267 - c. Let a be 4/(-18) + w/90. Are 3 and a equal?
False
Let s(j) = j - 8. Let x be s(11). Let v = 178 - 179. Which is smaller: x or v?
v
Let g be ((-3561)/(-714) - 3) + 1 + -3. Do g and 1 have different values?
True
Let c = 98 + -100. Is c less than or equal to -3?
False
Let b = 1.1 - 0.8. Let l = 125.9 - 117. Let i = 9 - l. Which is bigger: i or b?
b
Suppose 5*k = k + 8. Suppose -k*u = 2*u + 288. Let l be ((-2)/4)/(u/32). Which is smaller: 0 or l?
0
Let s be 110/77*1*7. Suppose s - 60 = 5*a. Let d = a - -11. Which is greater: d or -7?
d
Let d(b) = 53*b + 2. Let u(y) = -105*y - 4. Let t(m) = -5*d(m) - 2*u(m). Let c be t(-2). Suppose 7*j - c = 3*j. Are 26 and j equal?
False
Suppose 2*h = -5*p + 506 - 99, -2*p = 5*h - 1070. Is 3 greater than h?
False
Suppose 2*i = -3*h, 0 = -2*h + i + 4*i. Which is greater: h or 20/29?
20/29
Let q = -33 + 60. Which is greater: 0.2 or q?
q
Let x = 955 + -1109. Is x less than -156?
False
Suppose 5346 = -35*v + 621. Which is smaller: -133 or v?
v
Let o = 109 + -83. Which is smaller: 28 or o?
o
Let l = 1711 - 1434. Is 275 less than l?
True
Suppose 2*r - 4 = -0*r. Suppose 19 = 5*s - 2*q + 5*q, -r*s - 3*q + 13 = 0. Suppose 0 = 5*l - 4*x + 46, 10 = -s*l - x + 2. Which is smaller: -7 or l?
-7
Let t be (-1)/((-3)/(-63))*-1. Suppose 0*r + r = t. Let d = 62/3 - r. Is 0.1 at most d?
False
Let h(x) be the third derivative of x**4/3 - x**3/2 - 4*x**2. Let o be h(2). Let m(j) = j**2 + j - 8. Let l be m(4). Are o and l equal?
False
Let q be 22/(7 - (-204)/(-18) - -5). Is 360/11 greater than or equal to q?
False
Suppose 4*t = -3*t - 2*t. Suppose 3*z = -t*z - 3. Which is bigger: z or 3/20?
3/20
Let w = -432 + -34. Let n = w + 449.05. Let z = n + 17. Is 0 bigger than z?
False
Let b = -508/9 + 3268/63. Which is bigger: -4 or b?
-4
Let d = 0.07 - 0.14. Let o = 87 + -86.9. Is o greater than or equal to d?
True
Let u = -4.5 + 4. Suppose 0 = 2*j + 4*l - 2*l, -3*j + 5*l - 8 = 0. Is j bigger than u?
False
Suppose 3 = q + 2. Let v(m) = 163*m + 4 - q - 164*m. Let z be v(2). Is 9/4 equal to z?
False
Suppose 3*x - 13 = 20. Suppose 3*d + 10 = -x. Which is smaller: d or -5?
d
Suppose 13*u - 3*p = 11*u + 10, -2*p = 2*u + 10. Is -1/409 > u?
True
Suppose -47*c + 64*c = -3094. Is c smaller than -1282/7?
False
Let c be 93 + -84 + (-17)/2. Is c bigger than -333?
True
Let a = 9 - -9. Let m be -1 + ((-2)/a - -1). Let k = 1227 + -1226. Are m and k equal?
False
Let g = 538 + -554. Which is greater: 16 or g?
16
Let p = 54 - -20. Suppose 8*l + p - 2 = 0. Is -9 at most as big as l?
True
Let v = -0.0178 + -0.9822. Is 25 > v?
True
Suppose 2*q = 8, l - q - 3 = 2*q. Let o(s) = -s - 13. Let n be o(l). Which is bigger: -27 or n?
-27
Let j be 5/25 + (-6)/50. Let c = j - -494/75. Which is smaller: 8 or c?
c
Let l(h) = -h**3 + 2*h*