2 + 7*c - 18. Let m be f(-9). Let z = -141935/43 + 3301. Are z and m unequal?
True
Let d = 10 + -5. Let i(y) = -y - 20. Let w be i(-25). Is w not equal to d?
False
Suppose 0 = -4*n - 4069 + 4065. Which is smaller: n or -1/123?
n
Let p = -231 + 241. Which is smaller: p or 43/5?
43/5
Let v(l) = l**3 + 7*l**2 + l + 9. Let d be v(-7). Suppose 0 = 3*y - z, -3*y - 6 - 3 = d*z. Let u be (-4)/(-10) - (-6)/(-40). Which is greater: u or y?
u
Suppose -250 = -3*d + 5*m, 2*d - m = 5*d - 220. Is 72 at least as big as d?
False
Let z = -23 + 26. Let c be 0/(z/6*-2). Is c smaller than 0?
False
Suppose 2*n - 6 = 3*n. Let l be (-22)/n + (-36)/9. Is -1 less than l?
True
Let p = 0 + 6. Let x = 6 - p. Let j = 0 + 0.3. Is x at least as big as j?
False
Let i = 1593/2423993 + -21/2783. Which is greater: i or 0?
0
Let r(h) = -3*h + 6 + 9 - 7 + 4*h. Let g be r(-5). Is g greater than -1?
True
Suppose -3*g - 3*z = 15, -6*z + z - 5 = 0. Suppose -288*o - 380 - 196 = 0. Which is greater: g or o?
o
Suppose 0 = -w + i + 19, -2*w - i = -5*i - 46. Let o = 63 + -64.5. Let g = 1.4 + o. Is w at least as big as g?
True
Let s be (-3)/(-15) + (-5453)/(-1235). Which is smaller: 6 or s?
s
Suppose -6964 = 2*k - 5998. Is -483 smaller than k?
False
Let j(l) = -7*l**2 + l. Let t be j(-1). Which is bigger: 2 or t?
2
Suppose 7*p - 3*p = -2*v + 16, -5*p - 57 = -3*v. Which is smaller: v or 6?
6
Let a be (-9)/6*8/110. Let d = a - 1/11. Let z be (-1 - -2)*(0 + 2) + -3. Which is smaller: d or z?
z
Let p(b) = 2*b + 9. Let d be p(-1). Suppose 9*l + 18 = 11*l. Which is smaller: l or d?
d
Let i = -26/3 - -439/51. Which is smaller: i or 0.1?
i
Let h = 1770 - 2713. Which is smaller: 0.2 or h?
h
Let h = 5.155 + -0.055. Let c = h + -12.1. Is c equal to -4?
False
Let v(p) = p**3 + 28*p**2 + 29*p + 53. Let b be v(-27). Is b less than or equal to -1/443?
True
Suppose 6*b + 15 = -l + b, 5*l + 12 = -4*b. Suppose 13*h - 14*h + 24 = l. Which is greater: h or 27?
27
Let a be (546/65)/((-4)/(-30)). Which is smaller: 61 or a?
61
Suppose 0 = -t - 39 - 18. Let c be ((-9)/27)/((-11)/t). Let y = 199/77 + c. Which is greater: y or 2/3?
y
Suppose -240 = l + 2*l. Let w be l/24 - 4/6. Let b be w/(-10) - 4/10. Is 1 less than b?
False
Let i = 1543 - 1538. Let p(j) = -j**2 - j + 4. Let u be p(0). Which is smaller: i or u?
u
Let b = 271 + -248. Is 1 bigger than b?
False
Let h = 1640 + -1867. Are -227 and h non-equal?
False
Suppose -48 = -5*u - 8. Suppose -u - 6 = 2*b. Which is smaller: 0.1 or b?
b
Let f(t) = -36*t**2 + 38*t - 1. Let w be f(2). Is w not equal to -70?
True
Let g be (-1)/(-5) - (-1199)/55. Suppose -28 = -4*c - u + 3*u, 3*c - 2*u - g = 0. Is c > 6?
False
Let a be (5*4/(-70))/((-4)/14). Which is greater: 11/28 or a?
a
Let d(k) = 2*k + 29. Let c be d(-12). Suppose 0 = -2*l - c*i + 70, -i = -2*i + 4. Suppose -3*u - 2*r = 11, 0*r - 2*r = 5*u + l. Is u at least -7?
True
Suppose 0 = 2*f - 4*y - 26, -40 = -3*f - 3*y + 8*y. Let o be (-4)/10 - 84/f. Is o less than or equal to -0.02?
True
Let f(w) = w**2 + 63*w + 123. Let h be f(-61). Do -4/841 and h have different values?
True
Let m(x) = -6 - x**2 + x + 2*x - 9*x. Let c be m(-4). Let i(u) = u**3 - 5*u**2 - 6*u + 1. Let l be i(6). Is l smaller than c?
True
Suppose 2*x - v + 2 = -0, -3*x = 3*v - 6. Suppose x = n - 2*n + 11. Suppose -o - 10 = -n. Is -2/15 greater than or equal to o?
False
Let c(t) = -3*t**2 + 43*t - 9. Let p be c(13). Let a = p + -2495/58. Which is smaller: a or 1?
a
Let d = -3 - -4. Let s = -28315/2 + 1359059/96. Let x = -2/3 - s. Which is smaller: x or d?
x
Let p = 0.0102 + -24.0102. Does -1 = p?
False
Let j be 3/18 - 20/75. Let o = 6 + -8. Let k be (1/o)/((-3)/6). Which is greater: j or k?
k
Let g(p) = p + 9. Let w be g(-5). Suppose -26 = w*a - 178. Suppose -a = -r - 3*o - 2*o, -3*r + 3*o + 24 = 0. Is 14 >= r?
True
Let u = 47.948 + 0.052. Let c = u - 47.81. Let n = c + 0.11. Which is smaller: n or 3?
n
Let r = -733 + 730. Which is smaller: r or 99/5?
r
Suppose -234 = 6*j - 1170. Let o be 2/(-5) - j/(-65). Is o at most -8?
False
Let b = -12565 - -12565. Let c = -3 + 17. Is c equal to b?
False
Let b = -6 + 43. Let g = -36 + b. Which is smaller: g or 13?
g
Let f = 50177/29 - 1730. Are 0 and f non-equal?
True
Suppose -449 = -4*d + 415. Let x be d/280 + 6/14. Let s = 0 + 0. Is x != s?
True
Suppose -4*f + f + 954 = -2*w, -w + 4*f = 487. Let i be (-3)/(6/2) - w/477. Is -0.1 smaller than i?
True
Suppose -j = 5 - 15. Suppose -15 = -3*v, 4*v = -4*l + 6*v + j. Let c(h) = -h - 2. Let q be c(-5). Is l != q?
True
Let y = -86 - -79. Let a = -0.6 - -0.6. Which is smaller: y or a?
y
Let y(p) = 17*p + 205. Let h be y(-12). Which is smaller: h or 2/251?
2/251
Suppose 4*b - 1 = -4*x - 13, -4*b - 3 = -5*x. Is x less than or equal to -62/17?
False
Let w(l) = 11*l**2 - 9*l - 27. Let m(z) = -5*z**2 + 5*z + 13. Let h(a) = -13*m(a) - 6*w(a). Let d be h(-8). Which is bigger: 5 or d?
d
Let p = -360 - -359. Let q = -37 + 63. Which is smaller: q or p?
p
Let q = 69.322 + 1.683. Let z = q - 71. Which is smaller: -0.1 or z?
-0.1
Let b = -19 + 7. Let f(d) = -5*d**3 + 5*d**2 + 8*d + 14. Let h be f(-3). Let y be b/(-21)*35/h. Which is smaller: y or -1?
-1
Let s = -364 + 271. Is s less than -90?
True
Let x = -5733/2 - -2853. Which is greater: -0.03 or x?
-0.03
Let x = -46/635 - -1332/106045. Is -1 >= x?
False
Let q be (-108 + 108)*(0 - (0 + 1)). Is q greater than or equal to 4/27?
False
Suppose 0 = -3*j, 14*i + 2*j = 9*i - 70. Is 5 less than i?
False
Let u = 67 - 85. Let h be 48/u - (-2)/(-6). Which is smaller: -0.1 or h?
h
Suppose -3*v - 2*p = 13, 4*v - 10 - 1 = 3*p. Which is smaller: v or -14/9?
-14/9
Suppose 0 = 5*o + 14*y - 13*y - 11, 0 = -3*y + 3. Suppose 5*m + n = 14, -o*m - 2*n + 5 = 1. Are m and -1 equal?
False
Let z be 2/(-10) - (-25599)/(-105). Which is smaller: -243 or z?
z
Let r(z) be the third derivative of -z**4/24 + z**3/3 + 2*z**2. Let l be r(-8). Let y = 16 + -5. Is y != l?
True
Suppose -75*l + 94*l = 12939. Which is greater: l or 680?
l
Let d be 4/26 - 469/91. Let k be (-1)/(-2)*(d + 5). Let t = 85/872 - -3/109. Which is smaller: t or k?
k
Let l(a) = -79*a - 158. Let w be l(-2). Let j be (-9)/6*2/24. Which is greater: w or j?
w
Let x = 24 - 27. Let k(i) = -2*i**3 - 2*i**2 + 3*i + 2. Let n be k(-2). Let m = 2 - n. Are m and x unequal?
True
Let x(v) = 34*v**3 + v**2 - v - 1. Let s be x(-1). Let l be 16/(-14)*s/(-44). Is -1 bigger than l?
False
Suppose -2*n = 2*n - 12. Let t = -5 - n. Let j(v) = 2*v**3 + 3*v**2 + 3*v + 2. Let w be j(-2). Does t = w?
True
Let c be -3 - ((-80)/(-1) + -3 - -3). Let k = c + 78. Is k at least -0.2?
False
Suppose 0*v = 2*v - 56. Let o = v + -22. Let i be 42/9 + (-2)/(-6). Are i and o equal?
False
Suppose -14 = -b + 3*b + 4*n, -3*b + 5*n - 54 = 0. Let i = -108 + 538/5. Which is greater: b or i?
i
Let s be ((-1)/2)/(2/4). Let d be (-3 + (-515)/(-170))*(-516)/28. Let m = -8/17 - d. Are m and s non-equal?
True
Let f = 103/91 - 9/7. Let x = 140 + -80. Let w = -61 + x. Is w less than or equal to f?
True
Let b = -57/98 - -5127/980. Is b >= 5?
False
Let l be ((-16)/16)/(3/(-4)). Suppose 15 = -8*b + 13*b. Suppose g - b = 4*g. Is l bigger than g?
True
Let i(d) = d**3 + d**2 + d - 3. Let c be i(0). Let m = -3 + c. Let s be (-3*4/m)/2. Which is smaller: -2/13 or s?
-2/13
Let g = -16 - -2. Suppose -2*p = -5*n - 29, -5*n = 3 + 2. Let b = p + g. Which is smaller: -3 or b?
-3
Suppose -237 = 3*n + 2*o, 4*o = n + 7*o + 79. Let l = n + 110. Is l not equal to 1/2?
True
Suppose 0 = -2*u - r + 216, -5*r = u + 4*u - 550. Is 106 <= u?
True
Let k = -29 - -8. Suppose 4*s - 105 = 9*s. Is s at least k?
True
Let f = -15 + 14.98. Let t = f - -0.12. Which is smaller: t or 15?
t
Let k(l) = -l**3 - l**2 + 1. Let w be k(1). Let u(i) = i**2 + 4*i + 1. Let c be u(-2). Let x be 3 + -1 + 5/c. Is w != x?
True
Let z be 4 + (-1980)/204 + 1. Which is smaller: z or -6?
-6
Let m be 0 + 4/((-4)/(-9)). Let o = 9 - m. Suppose q + 0*q = -4*y + 9, o = 4*y - q + 1. Is -2/17 at most as big as y?
True
Suppose 5*h - 71 - 99 = 0. Let c(a) = 2*a + 65. Let w be c(-16). Is h at most as big as w?
False
Let w(v) = -5*v**3 - v**2 - v. Let u be w(-1). Let s = 15 + 3. Let q be (-14)/63 - (-112)/s. Which is bigger: q or u?
q
Suppose -2*i + 13 - 9 = 0. Let z be 1/(i/(-35)*(-70)/56). Which is smaller: z or 13