 - 4*z - 10, 3*a - z = f. Which is smaller: n or a?
a
Let p be -2 - 2/(-4 + 2). Let y = p + -4. Suppose -3 = -0*k + k + d, 21 = -3*k + 3*d. Is k at least as big as y?
True
Let r = 0.02 + -10.52. Let a = r - -7.5. Is -9 != a?
True
Suppose 802 = -15*c + 1507. Is c greater than or equal to 49?
False
Let t = 436/93095 - -2/433. Which is smaller: 1 or t?
t
Let d be (3/(-5) + -5)*15/6. Which is bigger: -9 or d?
-9
Let o = 29 - 41. Let h = -10 - o. Let n(j) = -2*j + 4. Let l be n(h). Which is greater: l or 1/15?
1/15
Let n = -19 + 41. Let l be (5/(195/(-598)))/(2/(-3)). Is n at most as big as l?
True
Let l = -728 - -649. Which is smaller: 4 or l?
l
Let z = 0.06 - -0.05. Let h = z - -0.19. Suppose 2*p = -2*p - 4. Which is smaller: p or h?
p
Let d(w) = -w + 11. Suppose 0 = -4*u + 6*g - 4*g + 28, 16 = 4*g. Let n be d(u). Suppose 4 = -2*k + n. Which is greater: -2/13 or k?
-2/13
Suppose h = -3*h + 3*d - 568, -d = -4*h - 560. Which is bigger: -138 or h?
-138
Let i = -31 + 13. Let m = i - -21. Which is smaller: 2/17 or m?
2/17
Let n = -177 + 1067/6. Let g = 53 + -62. Let o be 2/g + (-1)/((-45)/10). Are o and n nonequal?
True
Let j = -6/871 + 3176/208169. Let a = j + 468/1195. Let k(m) = -m**2 - 8*m - 1. Let c be k(-8). Which is smaller: c or a?
c
Let f(i) = -16*i - 1. Let a be f(-1). Let u be (32/(-10))/((-9)/a). Let k(x) = -x**2 - 23*x - 96. Let y be k(-6). Which is smaller: u or y?
u
Let x be (-8)/(-18)*6/(-20). Are -0.14 and x unequal?
True
Let f = 14.143 - 0.243. Let y = -108 + 94. Let r = y + f. Which is smaller: r or 6?
r
Let f be (-10)/(-35) + 1922/(-14). Is f != -137?
False
Let p be -73 - (3 - (1 + (-3)/3)). Let n = -71 - p. Which is smaller: 7 or n?
n
Let n = 7.68 - 6.8. Let u = n + -1.18. Is -22 bigger than u?
False
Let w(v) = v**3 - 5*v**2 + 3*v + 5. Let x be w(4). Is x < -0.35?
False
Let l = 56 - 42. Let d be (16/28 + -1)/((-20)/l). Which is smaller: 0 or d?
0
Let d(h) = 23*h - 240. Let o be d(6). Which is smaller: o or -105?
-105
Suppose p - t - 2 = 4*t, 3*t = -4*p + 31. Let q be 2*(-4 + (-2 - -4)). Let f(z) = -2*z**2 - 9*z + 1. Let s be f(q). Which is smaller: s or p?
s
Let q = -21 - -123. Suppose -2*s + q = 4*s. Is -1/3 != s?
True
Let l = 1026 - 1008. Let u be (-3 - -2)/(1/(-17)). Which is bigger: l or u?
l
Let f be (8/6)/(-2 + 5). Is 0 less than or equal to f?
True
Let o(p) = -9 + 8*p + 10*p - 3*p. Let x be o(-7). Let f be (-4)/12 - 26/x. Do f and 0 have different values?
True
Let p(u) = -u + 11. Let f be (0 - -1)/(10/70). Let l be p(f). Suppose 0 = l*y + 14 + 6. Is -3 greater than y?
True
Suppose 13*l - 14 = 6*l. Let a(z) = z**3 - 3*z**2 + 2*z - 1. Let u be a(l). Which is smaller: u or 0.1?
u
Let z(i) = 23*i**3 + 3*i**2 - 20*i + 24. Let d be z(3). Which is smaller: d or 614?
d
Let h = 229 - -18. Let b = -5/253233 + 2189705926/8863155. Let y = b - h. Which is bigger: 0 or y?
y
Let p be (-6)/27 - (-168)/513. Let d = -27 - -31. Suppose 5*a = d*a. Which is greater: a or p?
p
Let z(k) = 7*k - 26. Let p(u) = -4*u + 13. Let h(v) = -5*p(v) - 3*z(v). Let c be h(12). Is c less than or equal to 1/3?
False
Let j(y) = 2*y**2 + 46*y - 1. Let b be j(-23). Let m be (b + 32/10)*(20 + -15). Which is greater: m or 13?
13
Let t = -4/439 - -898/2195. Is -56 bigger than t?
False
Let k = -19 - -24. Suppose 13 = -k*x + 3. Which is greater: 1 or x?
1
Let v be 2/(-5) + (-232)/(-630). Let c = 34189/12 - 2847. Let s = c - 7/4. Which is smaller: v or s?
v
Let z = -9 + 13.1. Let u = z + -1.1. Let k = 2.8 + -2.7. Which is bigger: u or k?
u
Suppose 5*k = -4*o + 4*k - 40, -2*k = 4*o + 44. Is o smaller than -69/8?
True
Let c = 39 - 39.046. Let w = c - 19.954. Is 2 greater than or equal to w?
True
Let b(n) = -n**3 - 5*n**2 - 5*n + 3. Let z be b(-4). Let w be (7/28)/(z/(-8)). Which is bigger: 1 or w?
1
Suppose 4*x + 16 = 0, 2*q = 3*q - x - 3. Let s(y) = y**2 + 12*y + 15. Let j be s(-11). Let u = j - 6. Which is smaller: q or u?
u
Let r = -19 + 18. Is 2/67 equal to r?
False
Let p(d) = d**2 + 2. Let l be p(0). Let t = -1.6 + 2.6. Let i = 0.9 - t. Which is greater: l or i?
l
Let c = -2/2017 - -6133/82697. Is 0 > c?
False
Let m(x) = -2*x**3 - 39*x**2 + 63*x - 2. Let f be m(-21). Is -11/15 not equal to f?
True
Suppose 0 = -3*o - 2 - 13, 1695 = 5*v + o. Is 342 at most v?
False
Let z = 23 - 11. Suppose -t - 4 = -0, z = -3*u - 3*t. Suppose k - 2 = -0*k. Is u greater than k?
False
Let r = -1669.8 + 1672. Is r smaller than 19?
True
Let i be (147/(-630)*-24)/((-44)/(-30)). Suppose 2*p + 0*p - 8 = 0. Which is smaller: p or i?
i
Let a(y) = y**3 + 2*y**2 - 9*y - 7. Let t be a(-3). Which is smaller: 10 or t?
10
Suppose -5*i + 155 = 2*y, -3*y + 6*i + 267 = 2*i. Suppose -p = -y + 86. Which is smaller: p or -3/58?
p
Let j = -0.18 - -111.18. Let g = j - 112. Is g <= -0.2?
True
Let r(y) = -y**3 + 19*y**2 - 19*y + 10. Let o be r(18). Let t(u) = -u**2 - 9*u - 9. Let p be t(-8). Is p less than or equal to o?
False
Suppose 0 = d - 4*d + 9, -5*d - 5 = -5*v. Let q be 3*v/14*7/33. Which is greater: 2 or q?
2
Suppose -57 - 75 = 6*d. Is d greater than or equal to -22?
True
Let s = -23.34 + 22. Let o = 2.63 + s. Let u = o - 0.29. Is u <= 1/4?
False
Suppose i = 5*h - 22, -3*h + 14 = -h - 3*i. Let x be -7*(-1)/((-4)/h). Which is greater: x or -6?
-6
Suppose d - 7 = 2*u, -2*d - 17*u + 14*u = 7. Which is greater: 1238 or d?
1238
Let z = 1/244235 - 363665931/3907760. Let g = 93 + z. Let q(s) = s + 5. Let l be q(-5). Is g <= l?
True
Let l = 256.9 - 269. Let i = l - -5.2. Let x = -0.1 + i. Are x and -0.1 nonequal?
True
Let q(f) = -f**3 - 8*f**2 - 13*f - 44. Let n be q(-7). Let m(v) = v + 6. Let a be m(-6). Do a and n have the same value?
False
Let r = 8 + -6. Let l be (-24)/18*(-3)/r. Suppose 4*s - l - 10 = 0. Which is greater: s or 2?
s
Suppose 5*m - 10*m = -4*s - 1600, -4*m + 5*s + 1280 = 0. Which is smaller: 4 or m?
4
Let o be ((-15)/2)/(4/(-24)). Is 43 greater than or equal to o?
False
Suppose r + 4*z + 1 = 34, 0 = 3*r + 3*z - 54. Is -1/97 less than r?
True
Suppose 3*r + r = -3*f + 753, -5*f = r - 201. Let v be ((-1)/2)/(9/r). Let u = v + 10. Which is bigger: -5 or u?
u
Let w(v) = 2*v + 20. Let r be w(-10). Let j be (1 - r)/(-11 + 10). Let p be ((-2)/(-15))/((-12)/27). Is p < j?
False
Let w = 6 + -11. Let g = -96 - -91. Is g at least as big as w?
True
Let p be 3*4/(-14 + 2). Let v be 15/(-9) - (-3 + 5). Is p < v?
False
Let q(c) be the third derivative of -c**5/60 + c**4/3 + c**3/3 + 17*c**2. Let w be q(8). Which is smaller: 3 or w?
w
Let n(t) = 103*t + 4752. Let c be n(-46). Suppose 4*m = x - 29, 4*m - 38 = -5*x + 11. Which is smaller: x or c?
x
Let g be ((-19)/(-4))/((-55)/(-40)). Which is greater: g or 0?
g
Let r = -61023185/51 + 1196226. Let z be 307 - 2/(-14)*0. Let c = r + z. Which is greater: c or 0?
0
Let m = 1.1 - 0.1. Let s = 9143/44 - 829/4. Is s at least m?
False
Let p = -16 - -7. Suppose 4*v - 40 = 2*i, 4*i + 5*v + 10 + 5 = 0. Which is smaller: i or p?
i
Let k = 10.55 - 10.5. Let l = -16.05 + 17. Let n = k + l. Is n <= -2/9?
False
Let a = 4 - 5.1. Let p = 195 + -193.99. Let m = p + a. Which is smaller: 0.1 or m?
m
Let o be -3 + (-33)/9 + (-36)/(-6). Let u = 1 + 0. Let a be (u - 0) + 6/10. Is o != a?
True
Let s be (-3*2)/(3 - 1). Let x = s - -1. Let a be ((-42)/18)/(x/6). Are a and 6 equal?
False
Let g = 6 + -7. Suppose 3*u + 4*f = 17, 0 = u - 4*f + 3 + 2. Let p = 5 - u. Which is smaller: g or p?
g
Let m(w) = w - 1. Let g(y) = -y**2 + y + 1. Let v be g(0). Let s be m(v). Is -12/11 <= s?
True
Suppose -54 + 56 = 2*n. Is -2/4365 less than n?
True
Let u = 473 + -444. Is 309/11 != u?
True
Let n = 16 + 36. Let p = -51.9 + n. Is p smaller than -1/77?
False
Let b be (-1)/4*(-18)/3 - 5. Which is greater: b or -4?
b
Let j = -10 - -20. Let c(y) = -20 + 34 - j*y - 13. Let k be c(1). Is k at least -10?
True
Let s be (120/52)/(-5) + (-1880)/(-1144). Suppose -3*w = 2*w. Which is bigger: w or s?
s
Suppose 6*t - t = -4*w + 35, 4*t + 4*w - 32 = 0. Let l(y) = 0*y - t*y - 2 + 14 - 1. Let p be l(5). Is p >= -3?
False
Let c = -992 - -925. Is -67 less than c?
False
Suppose -3*c - 5*g = -6*c + 2954, -4*c - g + 3977 = 0. Let o = 6966/7 - c. Which is bigger: o or 3?
3
Suppose 0 = -3*l - 3*c, -3*l = c - 9 + 3. Suppose l*z = -0*z. Suppose 2 = -z*r - r. Is r less than or equal to 0.2?
True
Let l be ((-84)/(-56))/((-2)/4