= g + 9149. Let d = -102 - v. Which is greater: d or 0?
0
Let h = 45/44 + -3/11. Let b be (-4)/14 - 4/70*-5. Which is smaller: h or b?
b
Let n(p) = 7 - 4 - 6 - 2*p + 1. Let a be n(-2). Let w be 0/(-2) + 1/1. Which is bigger: a or w?
a
Let c = 47.8 + -45. Which is bigger: 0 or c?
c
Suppose 3*v = 6*v - 5*y + 4, 3*y + 4 = 5*v. Let w = 217/6 - 1483/42. Are v and w equal?
False
Let a = 3 + -11. Let n = -5 - a. Suppose n*b - 15 = 3*l - 8*l, -5 = 5*l - b. Is l equal to 1/5?
False
Let h = -6 - -7. Let z(g) = g**3 - 4*g**2 - 5*g - 1. Suppose -y + 9 = -4*o, -2*y - 5*o + 7 = 2. Let l be z(y). Which is smaller: h or l?
l
Let r = -3.8 - -10.9. Let f = 7 - r. Which is smaller: 3 or f?
f
Let c = 8 - 12. Let g be 657/(-135) + (-2)/15. Which is smaller: g or c?
g
Let j(h) = 2*h + 12. Let y be j(-10). Let k = y + 13. Suppose 3*i = -5*n + 4 + 2, -4*n - k*i = -10. Which is bigger: n or 3/5?
3/5
Suppose -3*x + 8*x - 5 = 0. Suppose -4*o - 18 = -3*i, 0*i + 4*o + 8 = -2*i. Let w = i - 1. Is w < x?
False
Suppose 7*b - 8 = 2*b + 3*p, 4*b - 5*p = 9. Which is bigger: b or 1/9?
b
Let g = -2.1 - -1.2. Let c = 0.9 + g. Is c at least 9?
False
Let w = -0.09 - -0.89. Let j = 1 - w. Let y = 0.1 - j. Is 1 smaller than y?
False
Suppose -5*b = 5*j + 20, b - 6*j = -2*j + 11. Suppose -3*p + 3*d = -5*p + 15, 4*p - 5*d = 19. Let w be b/((-3)/p - 0). Which is smaller: w or 3?
w
Let o = -34 - -53. Suppose 0 = 4*w - 4*l - 20, -o = -3*w - 3*l + 7*l. Is w less than or equal to 1/10?
False
Suppose -3*k = 29 - 11. Let c be (1 - 1)/(k - -4). Let a = -0.2 + 0.3. Is a less than or equal to c?
False
Let g = 0.069 - -0.031. Are 45 and g unequal?
True
Let a = 24 + -10. Let o = a - 16. Which is smaller: o or -1?
o
Let f be (1 - 2) + (5 - 3). Is f not equal to 3/19?
True
Let m(b) = -b + 4. Let o be m(3). Let t be 7/21*3*o. Let y = 29 + -57/2. Is y smaller than t?
True
Let i be (-8)/(-24)*(-6)/(-5). Is -11 greater than i?
False
Suppose -q + 11 = 2*q + z, -2*q + 4*z - 2 = 0. Suppose -q*j = j. Let v be ((j - -2) + 1)/(-1). Is 2/5 greater than or equal to v?
True
Suppose x = -2*u + 4, 3*u + 5 = 2*u + 3*x. Which is bigger: -2/33 or u?
u
Let v be (-2)/4*(-4)/82. Which is smaller: v or 1?
v
Let h(y) = -y**2 - 12*y + 13. Let a be h(-13). Is 1 greater than a?
True
Let z = -6 + 4. Let l be z/7 + (-111)/(-21). Suppose 3*p = -7*m + 4*m + 6, 0 = -l*p + 5. Is -1 less than or equal to m?
True
Let t(r) = r**3 - 6*r**2 - r + 3. Let w be t(6). Let k = -0.2 - -0.21. Let z = k + 0.09. Which is smaller: z or w?
w
Let i be (12/8)/1 - (-22)/28. Which is smaller: i or 3?
i
Let c = 7 - 5. Let g = 24 - 24. Is g greater than c?
False
Let a = 6/23 + -1/92. Let j = -0.2 - -0.3. Let s = j + -0.1. Which is smaller: a or s?
s
Suppose -5*r - 29 = 31. Let z(c) = -c - 11. Let t be z(r). Do t and 1 have the same value?
True
Let y = -30 + 91/3. Which is greater: -6 or y?
y
Let y = 18 - 9. Let d be (2/1)/(2 - y). Let w = -5 + 4. Which is smaller: w or d?
w
Let d(h) = 2*h**2 + 5*h - 18. Let n be d(-13). Let u be (-72)/n - 4/(-10). Let c = -16 - -15. Are u and c unequal?
True
Let l be 2/7 - 178/(-14). Suppose r - 7 = k, r = -3*k - 0*r - 29. Let h = l + k. Which is smaller: h or 5?
h
Let r be 1040/(-88) + 2/(-11). Let o = -11 - r. Which is greater: -1/4 or o?
o
Let l(i) = i**3 - 2*i**2 + i - 4. Let x be l(3). Suppose 0 = x*w - 3*w. Which is greater: w or -2/9?
w
Suppose 0*g = 3*g - 5*u, 2*g = 5*u. Which is smaller: g or 1?
g
Suppose 102*x + 12 = 100*x. Which is smaller: 2 or x?
x
Let y be (1 - (-4)/(-4))/(-2). Suppose y*z + 10 = -5*z. Which is smaller: z or -4/3?
z
Let q be 4/6 + 281/(-12). Suppose 4*z + 5*t + 82 = 0, 39 - 148 = 5*z + 3*t. Let c = q - z. Which is smaller: c or -1?
-1
Suppose 2*t = -2*t + 20, -w = 2*t - 13. Suppose -2*v = w*v. Is v smaller than 2?
True
Suppose -4*b - 8*j = -4*j - 4, 4*b = 5*j + 4. Which is smaller: b or 5/8?
5/8
Let l(g) = 2*g - 4. Let q be l(4). Let k = 4 - q. Suppose 2*w - 13 = -5*d - k, -3*w + 3 = 2*d. Which is bigger: w or 0.2?
0.2
Let j be ((-940)/(-313) - 3) + 0. Let w = j + -1569/1252. Which is greater: w or -1?
-1
Let v = -6 - -10. Which is smaller: v or 6?
v
Let d = 2062912/3137355 + -1148/1395. Let g = -2/173 - d. Which is bigger: 1 or g?
1
Let q(m) = -2*m**3 - 2*m**2 - 2. Let y be q(-2). Suppose -5*a + y*a + 1 = 0. Which is smaller: 1/9 or a?
a
Let a = 15.3 - 14. Let u = -0.3 + a. Let t(j) = -j**2 + 3*j - 2. Let s be t(2). Are s and u unequal?
True
Suppose 1 = q, -4 = -x - 0*q - 2*q. Suppose 6*p = x*p. Let d = 3 - 4. Do d and p have the same value?
False
Let o(l) = -l**3 - 7*l**2 - 7*l - 4. Let d be o(-6). Let c be (2/(-3))/(d/(-36)). Suppose a + c = 5*i + 4*a, -16 = -i - 4*a. Are i and -1/6 equal?
False
Let i be (-12)/(-56)*(-2)/(-48). Are i and 0 non-equal?
True
Let k(s) = -s**2 - 3*s + 4. Let u be k(3). Let o be -2 - (-2 - (-12)/u). Which is smaller: 0 or o?
0
Let f = 2.9 - -1.1. Let y = -4.06 + f. Let l = 0.04 - y. Which is bigger: 0 or l?
l
Suppose -2*a = -5*u, 5*u = 3*a + 8 - 3. Let g(l) be the first derivative of -l**2 + 3*l + 1. Let z be g(3). Is u >= z?
True
Let j(h) = h**2 + 5*h - 8. Let r be j(-7). Suppose -q + 15 = -r*q. Is q < -1?
True
Let s = 63/2 + -32. Suppose -n + 57 = 2*n. Suppose h + 2*l = 1 - 5, 2*h - n = 5*l. Which is smaller: h or s?
s
Let l = -1625672/1115 - -1458. Let i = l + -8239/6690. Let u = i - -9/10. Which is greater: 1 or u?
1
Suppose -8*t + c = -3*t - 47, 5*c + 37 = 3*t. Is 2 <= t?
True
Suppose 2*y - 3 = 2*r - r, -2*r + 4 = y. Is r <= -1/16?
False
Suppose i - 48 = -3*i. Let u be 8/i - (-10)/3. Suppose 0*x - 12 = -4*x. Is u less than x?
False
Let n = 12 - 27. Let m be 1*(-33)/n + -2. Suppose -5*c = 10 - 5. Is c greater than m?
False
Let c(b) = b**3 + 6*b**2 - 2*b - 9. Let j be c(-6). Is j greater than -4?
True
Let t = -0.2 - -0.19. Let u = -0.01 - t. Is u less than 0.1?
True
Let i be ((-68)/(-76) - -3) + -4. Which is bigger: i or 2?
2
Let k(j) = 2*j**2 + 48*j - 3. Let b be k(-26). Which is smaller: 102 or b?
b
Let d = -2.6 + -0.4. Let l = -6 - d. Let o = 0.04 - -0.06. Is l greater than or equal to o?
False
Suppose 5*s = -0*s - 5. Let r be 0 + 0/(-3) + 5. Suppose r*i = 4*i. Which is smaller: i or s?
s
Let p = -1.1 - -8.1. Let j = p - 3. Let h = -5 + j. Which is smaller: h or -2/9?
h
Let d = -251 + 149. Let f be d/(-14) - 12/42. Which is bigger: 8 or f?
8
Let x be 5 + -1 - (3 - 1). Let s = 157/106 + 1/53. Which is greater: s or x?
x
Let k = 127.1 - 133. Let m = -6 - k. Does -1 = m?
False
Let c = 1 + 19. Is 21 less than c?
False
Let l = 74 + -91. Which is bigger: 3 or l?
3
Let j = 2 - 5. Let x = j + 3.1. Which is greater: x or 0.3?
0.3
Let k = -18.04 + 18. Let u = 0.04 + k. Which is smaller: 2/15 or u?
u
Suppose 0 = -7*o + 26 - 96. Is -10 greater than o?
False
Let x = -0.6 + 0.8. Is x less than -0.7?
False
Let a = 3/20 + -41/140. Let n = a + -4/21. Let h be (-1 - (-2 + 2)) + 2. Do n and h have the same value?
False
Suppose 0 = -5*m + 9*m. Suppose m = -5*j - 5 - 40. Let p = 11 + -19. Which is smaller: j or p?
j
Let s = 107/20 + -28/5. Suppose 5*r - 5*p = 0, -5*r + p + 3*p + 1 = 0. Is s equal to r?
False
Suppose 4*f - 19 - 57 = 0. Is f at most 18?
False
Let f = 15 + -19. Suppose 1 = 2*g + 5. Which is smaller: g or f?
f
Let q be 16 + (-1 - -2)*2. Suppose -5*m - 4*k = -0*k - q, 3*k = -m - 3. Let l = m - 4. Are 1 and l nonequal?
True
Let j = 0.1 + 0.2. Let y = 1.4 - 16.4. Let t = y + 15.1. Which is greater: j or t?
j
Let l be 6/(-21) - 37/(-7). Suppose 12 = 3*o - l*d, 2*o - 5 = 2*d - 1. Is -1 less than o?
False
Suppose 4*r - 17 = t, -4*t + 4*r + 2 = 2*r. Suppose -16 = -5*l - u, l - t*u = -0*u. Let j = l + -4. Is 4 greater than or equal to j?
True
Let f = -5 + 9. Let r = 5 - f. Let z = 1/267 + -547/3471. Is z <= r?
True
Let o = -9.1 - -8. Let l = o - -1. Let z = -1.1 - l. Which is bigger: z or 0.2?
0.2
Let m = 1.022 + 0.018. Let w = -1.1 + m. Which is bigger: 0.2 or w?
0.2
Suppose m = 0, -4*z - 4*m + 1 + 3 = 0. Which is bigger: 2/9 or z?
z
Let j = 96 - 197/2. Which is smaller: -2 or j?
j
Let s = 0 - -1. Suppose 928 = -5*o + 933. Is o less than s?
False
Suppose 0 = -2*h - 5*h - 105. Which is bigger: -9 or h?
-9
Let m = -4.173 + -0.027. Let d = 4 + m. Is 1 greater than d?
True
Let q = 3 - 3.08. Let w = 0.08 + q. Which is smaller: w or -1?
-1
Let k be (9 + -11)*(-17)/2. Le