a. Is h not equal to 1?
True
Let g = -2/2259 + -94868/11295. Is g greater than or equal to -9?
True
Let y(o) = o + 3. Let b be y(-2). Let j be b/1 + -1 + 3. Suppose k = j*v - 11, -2*v = 2 - 10. Are k and -25 nonequal?
True
Suppose 2*u = 4*z - 3*u + 1, -27 = -2*z - 3*u. Let q(s) = -s**3 + 6*s**2 - s + 7. Let n be q(z). Let y = -438 + 437.9. Is n less than y?
False
Let w = -9 - -14. Suppose 3*o = w*o. Let h = 8/21 - -2/7. Which is greater: o or h?
h
Let o be (38 - -2)*6/(-12). Let x be ((-15)/50)/((-48)/o). Let j be (5/2 - 2)*2. Which is smaller: j or x?
x
Let j be 87/(-45) + 2 - 1443/12870. Is j at most as big as -32?
False
Suppose 535 = 2*u + 2*d - 7*d, 3*u = 3*d + 798. Suppose -3*n + u = 2*n. Suppose -47 - n = 5*k. Which is greater: -21 or k?
k
Let a(f) = -f**2 - 11*f + 1. Let d be a(-11). Let b be (-3)/(d - 28/16). Suppose l - b*l + 12 = 0. Which is bigger: l or 5?
5
Let x = 0.961 + 0.039. Is -421/4 at most as big as x?
True
Let k = -364 + 363.71. Which is smaller: k or 8?
k
Suppose -15 + 20 = f. Suppose 0*k + 265 = f*k. Is k not equal to 52?
True
Suppose 2*a + 48 = -4*k, 3*k - 2*a + 5*a = -36. Let c be (k/56)/((-4)/7). Let l(x) = x**3 - 2*x**2 + x - 1. Let w be l(2). Which is smaller: w or c?
c
Suppose 10*n - 6 = 13*n. Let g be (-1 - n)/(8/(-920)*-5). Which is smaller: g or 26?
g
Suppose 0 = s + 12*s + 3367. Is s greater than or equal to -259?
True
Suppose -8*q + 5*q = 0. Suppose 0 = -3*a + 3*l + 2*l + 110, -5*l + 65 = 2*a. Let z be (-2)/5*a/21. Which is smaller: q or z?
z
Let g = 27 + -18. Which is greater: -49 or g?
g
Let x be -5 - (0 - ((-59)/(-9) - 2)). Which is smaller: 1 or x?
x
Let j be (-22)/33 + 2/93*32. Is 1 > j?
True
Let c be (-2)/(-2) - 76/222. Let y = c + 1/111. Which is smaller: y or 1?
y
Let v(c) = c**2 + 16*c + 22. Let l be v(-15). Suppose -l*j = -0*j - 21. Which is greater: 10 or j?
10
Let z(s) = -s**3 + 5*s**2 - 4*s + 5. Let a be z(5). Let c be 6/a*(-6)/(-4). Suppose -13 = -26*g - 39. Which is greater: g or c?
c
Suppose 40 = 3*o + 10. Suppose -5*h - 5*t - o = -2*h, -3*t - 6 = -h. Are h and -1/20 non-equal?
True
Suppose 0 = -3*j + 2*u + 2*u - 11, 3*j - 14 = -u. Let v be (-8)/(-3)*j/36. Let y be 7 + (2/4)/((-3)/36). Which is bigger: y or v?
y
Let t = 0.04 + -0.14. Let j be (10 - (4 + 8))*(-10)/36. Is j less than t?
False
Let p = -1208 + 1209. Which is smaller: 128 or p?
p
Let f = 8 + -27. Suppose 568 - 208 = -20*v. Which is smaller: v or f?
f
Let q be -4 + -2 - (0 + 1). Let y(w) = -5*w - 7. Let m(l) = -l - 1. Let s(h) = -6*m(h) + y(h). Let t be s(q). Which is smaller: t or -7?
t
Let g = 1816 - 1786. Is 22 >= g?
False
Suppose 5*d - t - 3*t = -7, t - 1 = 2*d. Let r(f) = 3 - 3 - 1 + f. Let p be r(d). Which is smaller: -2/31 or p?
-2/31
Let c be 1*147*(-2 - (-9)/3). Is c <= 443/3?
True
Let y be (-7)/(-34)*(-80)/(-140). Is y equal to 0?
False
Let w be (0/(-3))/(-2 - -1). Let u = 3779/5 + -765. Let t = u - -48/5. Is w equal to t?
False
Suppose 2*w + 0*w = 5*q + 85, -q = 5*w + 44. Which is bigger: -29 or q?
q
Let o = -1 - -16. Let t be (168/o)/(4/(-30)). Let z be ((-2)/(-4))/(6/t). Which is greater: z or -6?
-6
Let s be 3130/(-410) + 1 + 6. Which is bigger: s or 0?
0
Let b be (-14)/(-2*(-1 - (-4)/8)). Is b > -20?
True
Let b be -2 + ((-11)/(-33) - (-368)/(-15)). Is b <= -27?
False
Let b be -2 + 1/(70/128). Let a = -187/70 - b. Let v(m) = 10*m**2 + 33*m + 7. Let f be v(-3). Is f <= a?
False
Suppose -242*n - 726 = -248*n. Is n equal to 0.1?
False
Let p = 15.926 + 0.074. Which is smaller: p or -1?
-1
Let j be ((-2)/4)/((-4)/496). Let s = j - 63. Is s at least 0?
False
Let q = 2 - 0. Suppose -10 = 3*k + x, 2*k - q*x + 13 = 1. Let v = -279/2 - -135. Is k bigger than v?
True
Let s be 26/208 - (73/(-8))/(-1). Let w(k) = -2*k**2 - 3*k. Let c be w(-2). Let z(x) = -x**2 + 2*x - 1. Let t be z(c). Is t at least s?
True
Let r = 121 + -127. Suppose 3*i = -i + 20, -4*l + 3*i = 47. Are r and l equal?
False
Let o = 89 - 122. Which is greater: o or 0.8?
0.8
Let z(k) = k**3 - 16*k**2 - 16*k - 12. Let n be z(17). Suppose 0 = -2*q + 11*q - 63. Which is smaller: n or q?
n
Suppose 2*d + 18 = -5*a - 82, 0 = 5*a - 4*d + 70. Is a greater than -19?
True
Let d(k) = 4*k. Let a be d(-6). Suppose 0 = w + 4*j + 9, 5*j + 0*j = 4*w + 120. Which is bigger: w or a?
a
Suppose 4*t = 5*j + 5, 4*j - 5*j = 4*t + 1. Do -2/933 and t have the same value?
False
Let p(d) = -d - 10. Let w(n) = 2*n + 11. Let v(x) = 6*p(x) + 5*w(x). Let u be v(2). Suppose 5 = -u*a + 2. Which is smaller: 4/9 or a?
a
Let h = 7 + -7.03. Let w = 13.7 + 57.3. Let t = w + -71.3. Is h smaller than t?
False
Let s be (-42)/(-4)*(-336)/(-147). Is s at least as big as 49/2?
False
Suppose 0 = w + 4*w. Suppose w = -k - 4 - 6. Let v(y) = -y - 15. Let n be v(k). Which is greater: -7 or n?
n
Suppose 4*y - 26 - 30 = 2*v, -5*v + y - 158 = 0. Let g be (-28)/(-210) + v/330. Is 1 greater than g?
True
Let l = -73138 + 11775262/161. Let s = l + -3/23. Which is bigger: s or -1?
s
Let m = 109/8 - 14. Let y(s) = -s**3 + 7*s**2 - s + 8. Let k be y(7). Suppose 5*t = -3*o + 2 + k, 5*t - 4 = -4*o. Which is smaller: o or m?
m
Let i = -111.918 - -112. Let v = i + 0.618. Which is smaller: v or -2?
-2
Let f = 727 + -421. Let a = 1544/5 - f. Let j(g) = 2*g**3 - 4*g**2 + g + 2. Let q be j(2). Does q = a?
False
Suppose 200 + 166 = 2*j. Is 183 equal to j?
True
Let o be 3 - -1 - (-7 + (-46)/(-4)). Is 80.7 > o?
True
Suppose 0 = 6*n - 5*n. Let l be (-14)/(-4)*2 + 1. Suppose 4*h = 8*h + l. Is h less than or equal to n?
True
Suppose 0*h - 12 = 3*h. Suppose 0 = -3*u - 3*z - 12, -4*z + 0*z - 4 = 2*u. Which is greater: h or u?
h
Let t(x) = -x**3 + 8*x**2 - x + 8. Let a(y) = y**3 - 12*y**2 - 13*y - 10. Let p be a(13). Let i be 3/(-15) - 82/p. Let z be t(i). Which is greater: z or -5/4?
z
Let l = -2/619 + 1248/3095. Is l > 0.2?
True
Suppose a - 21 = -2*l, 4*l - 15 = 3*l - 2*a. Suppose -4*h - 15 = l. Suppose -k - 6 = m, 3*k + m + 14 = -0*k. Is k greater than h?
True
Let b be (-303)/(-4)*(-648)/(-243). Is 201 <= b?
True
Let h = -12 - -8. Is h > -130?
True
Let g(h) = 31*h + 294. Let w be g(-8). Which is greater: w or 47?
47
Suppose -2*b - 6 = -z - 0*b, 20 = -2*z - 4*b. Let d = 243 + -210. Is z at least as big as d?
False
Let l = -2227 - -2230. Let z = -3 - -3.09. Is z less than l?
True
Suppose 4*g = -2*n + 18, -5*n + 2*g + 9 = -0*g. Let h be ((-42)/15)/(n/15). Let l be (h/21)/(4/18). Which is smaller: l or -5/2?
l
Suppose 7*k - 21 = 91. Which is smaller: 13 or k?
13
Suppose 56 - 209 = 3*f. Suppose -252 = 5*u - w, 5*u + 4*w + 71 = -171. Which is bigger: f or u?
u
Let v be (301/10)/(0 - 1). Let q = v - -1359/40. Let b = q + -17/4. Which is greater: 1 or b?
1
Suppose -a - 2*y = 4*a - 18, -14 = -4*a - 2*y. Let z be 2/4*(a - 16/4). Which is greater: -2/13 or z?
z
Let n(m) = -4*m + 13. Let y be n(3). Is 8/5 >= y?
True
Let m = -94 + 134. Suppose -3*l - m = -3*c + 2, 5*c = 3*l + 66. Do c and 13 have the same value?
False
Let o = -4 - -1. Suppose 6 = 3*v + c - 0, -5*v + 10 = -3*c. Suppose v*l + 3*k = 0, -4*k = 2*l - 8 + 4. Which is smaller: o or l?
l
Suppose 4 = 3*k + 4*n, 5*k = -n - 0*n - 16. Which is greater: k or -38/11?
-38/11
Let h = -39 - -39.2. Let c = -0.05 + 4.55. Let z = -5 + c. Is h != z?
True
Let o = 400.1966 - 0.1966. Is 0 <= o?
True
Let g be 1 + 0 + (-45)/5. Let k be -3*g/12 + 7. Suppose -4*o - 2 = -b - 9, -b - k = -5*o. Which is smaller: b or 5/3?
b
Suppose -3*o = 46 - 166. Let t = 44 - o. Let v be (-2 + 45/12)*4. Which is bigger: v or t?
v
Let o(g) = -g**3 - 9*g**2 + 10*g - 4. Let v be 25*(2 - (-12)/(-5)). Let x be o(v). Let i = 67 - 72. Which is bigger: x or i?
x
Let o = -17 - -5. Let n = o + 24. Let j = 5 - n. Which is smaller: j or -2/5?
j
Let o(y) = 137*y**2 + y - 1. Let q(a) = -3*a + 8. Let p be q(3). Let v be o(p). Which is greater: v or 134?
v
Let n = -16 + 12. Suppose 0 = -z - 5*v + 12, -5*v = -z + 4 - 12. Let i = z + -4. Which is greater: n or i?
i
Let o = -0.2 + 11.2. Let q = -9.6 + o. Is 2/5 bigger than q?
False
Let s be (3/6)/((-22)/8). Let p = -56037/7 - -8018. Let d = 13 - p. Is s bigger than d?
False
Let i(l) = 2*l**3 + 57*l**2 + 72*l - 199. Let n be i(-27). Suppose -3*f = -f - 88. Is f >= n?
True
Suppose -5067*q - 3 = -5064*q. Which is greater: q or 57?
57
Let a = 141 - -317. Let z be a*(-5)/((-50)/(-3)). Let r = -137 -