-4*x + 4. Let k = 1/127 - 137/1270. Is k at most as big as x?
True
Let c = 971.76 + -923. Let j = c - 68.776. Let n = j - -0.016. Which is smaller: -1 or n?
n
Suppose 0 = -4*g - 5*g + 9. Which is smaller: -4/17 or g?
-4/17
Let p = 253 + -405. Let f = -758/5 - p. Does f = -3/4?
False
Let c = -8566/5 - -1674. Let p = -39 - c. Which is smaller: p or -6?
-6
Let c = -178 - -18. Is c < -159?
True
Let i(q) = q**3 + 6*q**2 + 4*q + 2. Let b be i(-5). Let p = -5 + b. Suppose p*o + 2*o = 0. Which is smaller: o or 2/7?
o
Let w = -17 + 5. Let a = 10 + w. Let g = 0 + -0.1. Which is smaller: a or g?
a
Let k = -243/5 - -48. Let u be 2/12 - ((-692)/(-120) + -6). Is k bigger than u?
False
Suppose 19 - 6 = -g. Let l be ((-1)/(-2))/((-2)/52). Is l > g?
False
Let t be (-2)/(4/6*(-3 - 0)). Let q be (-4 + -24)/(1/(-1)). Let o be t - 4/q*5. Which is bigger: 0 or o?
o
Let q be 4/22 + (-8)/(792/4473). Which is greater: q or -6?
-6
Let m = 45 + -44.9. Let a be (2/36)/((-4)/16*2). Which is smaller: a or m?
a
Let v(t) = 3*t**2 + 119*t - 151. Let c be v(-41). Which is smaller: 14 or c?
c
Let q be (-6)/(-39) + (-126)/(-26). Suppose q - 18 = f. Which is greater: -23/2 or f?
-23/2
Let f = 81 + -84. Which is smaller: f or -35/8?
-35/8
Suppose -5*p + 19*l + 21 = 12*l, 2*p + 2*l + 6 = 0. Is p equal to -2/403?
False
Let l = 186407003/368 - 506540. Let f = l + -13/16. Which is smaller: f or 0?
f
Let h = 141 + -95. Suppose 10 - h = 5*f - 3*r, 18 = -4*f - 3*r. Is f bigger than -3?
False
Let c be (-2)/((-9)/(36/16) + 27). Let d = -7 + 4. Is d <= c?
True
Suppose -67 = -5*d - 62. Is d less than or equal to -71?
False
Let n(m) = m + 18. Let j be n(0). Let v be (-4 + j/4)*2. Let k be (v/60)/((-10)/(-20)). Which is bigger: k or 0?
k
Let x(y) = -74*y + 462. Let c be x(6). Is 19 at least c?
True
Let h be (-18)/(-3*(-4)/(-104)). Suppose 2*y - 4 = 0, 0*y - h = 4*p - 4*y. Do p and -36 have the same value?
False
Let o be (6/170)/(6/(-4)). Let d = 38 + -37. Which is smaller: d or o?
o
Suppose -5*d + 7*f = 2*f - 335, -5*f = -2*d + 128. Let h be 3/4 + d/(-12). Let c be 0/(h - -2 - -4). Are 3 and c equal?
False
Suppose -3*a - 99 + 0 = 0. Which is smaller: -35 or a?
-35
Let m(b) = b + 22*b**2 - 15*b + b**3 + 5 - 9*b**2. Let q be m(-14). Suppose 2*v = -2*k - 10 - 2, q*k - 4*v + 30 = 0. Do k and -6 have different values?
False
Let x be (-1215)/(-25) - (-2)/20*-6. Suppose 11*w + x = 7*w. Is w less than -14?
False
Let c be -250*(25/(-10))/((-20)/32). Is c < -1000?
False
Let n be 14/(-35) + (-34)/(-10). Let k be -1 - n/(-6 + 3). Let d = -0.8 + 1.1. Which is bigger: d or k?
d
Let y = 41/3598043 - 3976208114003/50372602. Let g = -78884 - y. Let v = g + -52. Which is smaller: v or -1?
-1
Suppose 11*k - 312 = 40. Suppose 5*l - 3*x - 152 = -x, 0 = -2*l + 4*x + 64. Are l and k non-equal?
True
Let g = -106.539 + 107.8. Which is greater: g or -1/4?
g
Let i = -88 - -84. Let z be ((-2)/11)/((-2)/i). Which is bigger: z or -2?
z
Suppose -2*i - 22 = -4*s - 4*i, i = 3*s - 9. Suppose -4*n = 4*g - 48, 4 = g - n - 0*n. Which is bigger: s or g?
g
Let l be (-4)/6 - (-258)/414. Suppose -6 = 5*m - 8*m. Suppose -m = -o - 2*o + 2*c, -c - 1 = 4*o. Which is smaller: o or l?
l
Suppose -4*m + 3*v - 35 = 2*v, 0 = m + v + 5. Let k be 3/m + (-314)/(-752). Which is smaller: 1 or k?
k
Let a = 5/4 - 31/44. Let w(k) be the first derivative of -2*k**3/3 - 5*k**2/2 + 5*k + 27. Let q be w(-3). Is a > q?
False
Let y = 15 - 27. Let b be y/8*4/(-6). Which is bigger: b or 2/5?
b
Let w = -2/8995 - -2617553/35980. Let b = -73 + w. Which is smaller: -14 or b?
-14
Let o(l) = -l**3 - 19*l**2 + 18*l - 38. Let i be o(-20). Let q(p) = -9*p + 20. Let j be q(i). Do j and 5/4 have different values?
True
Let n = 965 + -977. Let z = -24 + 13. Is z equal to n?
False
Let p be 2/4 + 99843/(-138). Which is greater: p or -724?
p
Let q = 15.5 + -16. Let l = 0.484 + -0.074. Let k = q + l. Which is smaller: -0.3 or k?
-0.3
Let k = 76/15 + -8/3. Let l = -159 + 155. Which is smaller: k or l?
l
Suppose 5*z + 2*q = 7*q - 80, -z - 2*q = 16. Let u be z - (5 + -2 + 8/(-8)). Let v = 30 + -47. Are v and u unequal?
True
Let n be (-249)/(-30)*(0 - -2). Let v = n + -17. Is 1 at least as big as v?
True
Suppose 3*l + 0*l - 69 = -4*i, 0 = 3*l - 9. Let c = -6 + i. Which is bigger: c or 17/2?
c
Let i = -20 - -24. Suppose -i*y + 2*d + 68 - 16 = 0, -4*y = 5*d - 38. Suppose y*r = 16*r + 4. Which is greater: r or 2/51?
2/51
Let n be -26 - 205 - (1 - 0). Is n < -233?
False
Suppose 18 = -10*m + 28*m. Which is bigger: -6/211 or m?
m
Let h = -973 + 3925/4. Is h less than 8?
False
Let b = 182 - 176. Let d(v) = -v - 2. Let l be d(-5). Is l at most b?
True
Let n = -0.81 - -0.11. Let j = 0.8 + n. Suppose -4*z - 5*c = -0*c - 19, 5*z - 70 = 3*c. Which is bigger: z or j?
z
Let l = -1601/99 + 157/9. Which is smaller: l or -1?
-1
Suppose w + 4*q = 6 + 8, -2*w - 24 = -5*q. Let l = 25 - w. Is 27 at least as big as l?
True
Let z be 102/(-10) + 2/10. Let m be -7 + 8 + (2 - 1). Suppose 3*d + m*v + 23 = 0, -29 - 35 = 4*d - 4*v. Is d bigger than z?
False
Suppose -5*n = 2*v + 3*v - 670, 0 = -4*v - 20. Is 142 at most n?
False
Let j be 2/42 + 9/((-441)/(-14)). Do j and 5 have different values?
True
Suppose -6*s + 4*s = 3*l + 17, -3*s - 9 = -l. Let p be (4 + l)*20 + 1. Suppose 0*y + 5*o = -3*y - 5, -5*y - 2*o - p = 0. Is y smaller than -5?
False
Let l = -26.16 + 27. Let d = 0.44 - l. Is -0.01 <= d?
False
Let b(y) = y**3 - 8*y**2 + 21*y - 21. Let k be b(4). Is k < -19?
False
Let t(n) = -n**2 + 20*n + 129. Let f be t(25). Which is greater: 34/7 or f?
34/7
Suppose u = -p - 0*u - 10, -5*p - 2*u - 47 = 0. Let t(j) = j**2 + 14*j + 44. Let l be t(p). Which is greater: l or 8?
8
Let a = 2160 + -8479/4. Which is smaller: a or 39?
39
Let z = -7 + 2. Let y = z - -4.8. Is 0.6 < y?
False
Let z = 269 - 267. Is z smaller than 105/34?
True
Let q = 35 - 22. Let f be 1/6 + q/(-150). Which is smaller: f or 0?
0
Let a = 15.8 - 8.8. Which is greater: -1/4 or a?
a
Let q be -1 - -1*11/10. Suppose c = -4*a + 89, -6*a + 5*c = -4*a - 39. Let i = a - 23. Which is smaller: i or q?
i
Let s(c) be the third derivative of c**4/4 + c**3/3 + 11*c**2. Let g be s(2). Let i be 0 - -1*4/g. Which is greater: i or 6/7?
6/7
Let h be (1/(-26))/((-1)/4). Let p be 261/(1 - -2) + 4. Let d = 90 - p. Which is greater: h or d?
h
Let n = -3/4265 - -10243/2435315. Let g = -1176/9707 + n. Let z = 3.5 + -3.7. Which is bigger: z or g?
g
Suppose 2*b - 12*w = -7*w + 75, -3*w - 85 = -2*b. Are b and 53 unequal?
True
Let n = 0.96 - 0.62. Let p = -0.26 - n. Which is bigger: 1 or p?
1
Let g be (24/30)/((-4)/(-150)). Suppose 0 = 4*l + 10 - g. Is -4 smaller than l?
True
Let t(j) = 10*j + 70. Let u be t(-7). Which is bigger: 35 or u?
35
Suppose -4*n = n. Let q be n + (-1)/(24/2852). Let z = 118 + q. Is 0.1 less than or equal to z?
False
Suppose -d - 2*d = 0. Suppose -g + d*g = -2. Let a be 9/9*2/g. Are a and -5/3 nonequal?
True
Let z = 30 + -29. Let g = z + 3. Is 3 greater than g?
False
Let z be 47/92 + (-3)/12. Let r = 5/69 + z. Which is smaller: r or 0.044?
0.044
Let q = -145/584 - 1/584. Which is smaller: q or 2/3?
q
Let s = -2 - 5. Let h = s + 2. Let n = -3 - h. Do n and 3 have the same value?
False
Let j = 1 + -0.85. Let a = 7005 - 7005. Which is greater: j or a?
j
Suppose -f = 2*f + 144. Let a = 103 + -152. Which is smaller: f or a?
a
Let m be (2/(-52))/(8 + 7399/(-924)). Is m >= 6?
False
Let p = 24/77 + -6/7. Suppose -6 = 5*z - 6*z. Let k be (-11)/9 + z/27. Is p smaller than k?
False
Let g(b) = b**3 + 8*b**2 + 6*b + 3. Let m(i) = i**2 - 10*i + 9. Let j be m(8). Let w be g(j). Are w and 7 unequal?
True
Let o be ((-33)/(-5))/(4/(-30)). Let z = 48 + o. Which is bigger: z or -1?
-1
Let j be (5296/(-20))/(6/(-15)). Is j at least as big as 661?
True
Let o = -14 - -9. Let y(h) = 7*h**2 - 2*h - 1. Let r be y(3). Suppose -9*p = -p + r. Which is bigger: p or o?
o
Let a(l) = 7*l - 41. Let h be a(6). Let j = 65/4422 - 2/67. Which is smaller: h or j?
j
Let b be (143/(-26) - -5)*(1 + 1). Let o = 414 + -17801/43. Which is smaller: b or o?
b
Let k = 245.31 - -4.69. Is -2 greater than k?
False
Let y be (4 + -4 - 0)/(-1). Let z be (2 + (-15)/6)*(y + 0). Which is greater: -1/113 or z?
z
Suppose -3*j = k + 15, -2*j - 4 = k + 7. Let p be (-1)/(1/k*3). Which is smaller: -2/51 or p