18, -3*h = a - 5*a + 3. Is h < t?
False
Suppose -2*r + 2*a = -24, 4*r - 3*a + 4*a - 73 = 0. Let y = -46 + 30. Let f = r + y. Is -22 greater than f?
False
Suppose 0 = 3*a + h - 156, 2*a - 2*h + 100 = 4*a. Are 54 and a unequal?
True
Suppose 9*r + 3036 = -13*r. Let s = -134 - r. Let y = 0.06 - -1.94. Does y = s?
False
Let t = -17 - -21. Let h = -8 + 12. Suppose 0 = t*m + d + d - 10, 5*d - 13 = -h*m. Is 2/3 less than or equal to m?
True
Let o be (-4)/9*54/(-12). Let f = -4 - -4. Suppose f = -o*k + 5*q - 6, 0 = -0*k - 2*k + 2*q. Which is bigger: 3 or k?
3
Let u = 1563.37 + -1571. Let p = u + -2.27. Let m = p + 10. Is m greater than -1/9?
True
Let c = 0.87 + 30.13. Let o = 8 - c. Let t be (-2)/3*(-2)/(-4). Which is bigger: o or t?
t
Let q be (((-3)/18)/(2/51))/2. Is -1 bigger than q?
True
Let j(a) = -8*a - 2. Let y = -17 + 15. Let s be j(y). Let p(i) = i**2 + 13*i + 15. Let g be p(-13). Is s bigger than g?
False
Let k = -10/41 - -88/697. Is 1 less than k?
False
Let c(m) = -m**2 + 10*m - 20. Let w be c(6). Suppose -3 + 2 = f. Which is bigger: w or f?
w
Let y = 8.95 + -8.85. Is y less than or equal to -285?
False
Let k(i) = -26*i + 158. Let v be k(10). Which is smaller: -305/3 or v?
v
Suppose 0 = -10*c - 8*c - 1656. Which is smaller: c or -78?
c
Let c = 46 + -46. Let m = -60 - 4. Which is smaller: c or m?
m
Let n = -419/3 - -140. Is -22 at most n?
True
Let t = 1150 + -1149. Is t at least 12/355?
True
Let f be -60 + (-4 - -4) + 4. Let g be (-2)/6 - f/96. Are g and -2 equal?
False
Suppose -3*r + 330 = 120. Let c = r + -76. Is -9 greater than or equal to c?
False
Let c = 594323/170 + -3496. Let g = c + 1691/510. Does g = 3?
False
Let r = 20 + -20.09. Let o = -1.62 - 80.38. Let l = o - -81.9. Which is greater: r or l?
r
Let x = 2400/13 - 119999/650. Is -1 at most as big as x?
True
Let s = 1 + -1. Let q be -2 - (3 + -2 - s). Let l be -3 + (-23)/21*-3. Which is smaller: l or q?
q
Let y be (-1)/(-4) + (-78)/280. Let b = -1558 + 1557. Is b equal to y?
False
Let t be 327/4*4*(-3)/36. Let s be (-4)/10 - (-548)/20. Let k = t + s. Which is bigger: 2/3 or k?
2/3
Let u = 918 + -1019. Is u >= -99?
False
Let l be -5*((-2)/5)/(-1). Let d(m) = -4*m**3 - m**2 + 6*m - 4. Let b be d(1). Let u be l/b + (-22)/6. Which is smaller: -5 or u?
-5
Suppose a - 5*c = 61, -a - 4*c + 25 + 18 = 0. Which is smaller: a or 53?
a
Let u = 18 + 7. Which is greater: u or 14?
u
Let v = 48 - 140/3. Let c = 11 + -6. Suppose 4*b = -3*u + 3, 4*u - 4 = -c*b + b. Is v greater than or equal to b?
True
Let j = -24.54 - -24.58. Let c = -31 + 125/4. Is c at least as big as j?
True
Let t = -11802/5 - -2360. Do -0.069 and t have the same value?
False
Let h be 8/(-52)*(-1)/(-2). Suppose -10*j + 110 = -5*j. Let d = j + -23. Which is smaller: d or h?
d
Let y be (-1)/(35 - (-3 - -4)). Let w = 80 + -79.9. Which is bigger: w or y?
w
Suppose i + 4 = 5*c + 23, 2*c + 7 = i. Is i at least 1/38?
False
Let n(k) = -8*k + 8 + 0 + 2*k**2 + 17*k - 2. Let p be n(-3). Is -15/4 greater than or equal to p?
False
Let h = -0.338 - -145.338. Is h <= -1/6?
False
Let c be 4/(-3)*36/(-40). Is 1/6 at least c?
False
Let h be 6/21 + 78/21. Suppose b + 5*b = 12. Suppose a - b*k = 5, -5*a = -3*k + k - 17. Which is bigger: h or a?
h
Suppose -a = -5*m + 19, a + 2*m = -0*a + 16. Suppose a*z + 7 = 1. Are 2 and z nonequal?
True
Let g(h) = -h**3 - 3*h**2 - 2*h - 1. Let j be g(-2). Let b be ((-8)/28)/(j/4). Which is bigger: 0 or b?
b
Let n be (-3 - -15)*(-1)/1. Let d be -2 + n + (0 - -1). Which is greater: -14 or d?
d
Let y be ((-30)/(-56))/(6/(-48)*3). Let p = y - -23/21. Is 1/3 bigger than p?
True
Let u be 2 + (9/36 - 45/4). Which is bigger: u or -74/9?
-74/9
Let q = 220 - 227. Let y = -6 - 0. Is y at most as big as q?
False
Suppose -5*d + g + 17 = 0, 5*d + 144 = 5*g + 169. Let n(y) = -y. Let c(v) = v. Let a(u) = 2*c(u) + n(u). Let b be a(5). Does b = d?
False
Let i = -0.56 + 26.56. Let d = i - 20.2. Which is smaller: -0.1 or d?
-0.1
Suppose -6*m + 2*m = -4. Let v(j) = m + 6*j**2 - 2*j + 3 - 3. Let y be v(1). Is 3 greater than y?
False
Let g = 11.56 - -0.34. Let a = -12 + g. Which is smaller: a or 46?
a
Let a be (-14)/28*530384/154. Let o = a + 1722. Is -0.1 at most o?
True
Let a = 18619/22 + -1699/2. Is -2 > a?
True
Let u(y) = -131*y**3 + 3*y**2 - 8. Let w(t) = -44*t**3 + t**2 - 3. Let b(o) = -3*u(o) + 8*w(o). Let q be b(-1). Which is smaller: q or -43?
-43
Let x = 39/304 - 6629/51376. Is 0 at least as big as x?
True
Let o = -82 + 77. Let y = 14 + o. Which is greater: y or 11?
11
Let q be 2/(-6) + (-318)/18. Let s = -15 - q. Suppose 23 = -s*p - 4*g, -p = 2*p - 4*g - 17. Is -2 at most as big as p?
True
Let d be (4 + 84/(-15))/(6/75). Which is smaller: d or -19?
d
Suppose 0 = 122*g - 169*g + 14288. Which is greater: g or 301?
g
Suppose 4*u = 12*u - 8. Which is smaller: -2/439 or u?
-2/439
Let q(p) = -4*p + 3 - 4*p + 4*p + 10. Let m be q(4). Suppose -4*n = 20, -5*x = -5*n + 3 - 8. Are x and m equal?
False
Let p = -894.951 + 895. Which is smaller: p or -2/17?
-2/17
Let p(a) be the second derivative of -a**4/12 + 4*a**3/3 - a**2 - a. Suppose 65 = 22*u - 133. Let h be p(u). Which is smaller: -10 or h?
h
Let d = -9/1070 - 5019/13910. Which is bigger: 1 or d?
1
Suppose 0 = 25*r + 1007 + 343. Which is smaller: -49 or r?
r
Suppose 0 = -v + 3*f + 474, 5*f - 981 = -3*v + 427. Suppose 6*g - v + 141 = 0. Which is greater: 54 or g?
g
Suppose -30*d + 185 = 1415. Is -28 greater than d?
True
Let s = -3.2 + 5. Let j = s + -1. Let o = 0.7 - j. Is o >= 0.12?
False
Let f be -1 + 6 + (-10)/5. Suppose 3*q + f*o = -o + 5, 5*q = 4*o + 19. Suppose -4*k = 2*c - 4*c - 14, -9 = q*c - 3*k. Is c equal to -1/8?
False
Suppose d - 3*o = -2*o + 18, 3*d - 82 = -4*o. Suppose 4*l + 2 - d = 4*w, 4*w + l = 0. Which is smaller: 0.11 or w?
w
Let t = -162 - -161.9. Is -87 != t?
True
Let g(i) = i**2 + 8*i + 2. Let a be g(-6). Let w = -849 + 840. Which is greater: a or w?
w
Let j = 17 + -17. Suppose -g + 10 = -4*w, j = -5*w - g - 2*g - 4. Let p = -1969/9 - -219. Which is bigger: p or w?
p
Let g = 579.06 - 579. Do g and 6 have the same value?
False
Suppose -6*a = 17*a + 230. Which is smaller: a or -12?
-12
Suppose 4 = -3*j + 46. Let s = j - 13. Suppose 3*z - 9 = -5*x, 4*z + s = -3*x - z. Which is bigger: x or 14/9?
x
Let x = 0.12 + -0.32. Which is bigger: 0.188 or x?
0.188
Let y = 12 + -9. Suppose 2 = 3*z - y*t - 10, -2*t - 2 = -z. Let s(o) = o - 11. Let n be s(z). Are n and -5 equal?
True
Suppose -2 + 22 = 4*p. Which is greater: p or -2?
p
Let y be ((-210)/49)/((-6)/28). Is y smaller than 20?
False
Suppose -2 = -g - k, 2 = -5*k + 7. Let o = -92.1 - -105.1. Which is greater: o or g?
o
Suppose -185*w = -67 - 118. Suppose 5*j - 4*j - 528 = -3*i, i = 2*j + 183. Let k be 2/3 - 112/i. Are k and w non-equal?
True
Suppose 0 = -6*i + 81 + 237. Let x = i + -103/2. Is 1 at least as big as x?
False
Let n(l) = -20*l - 2. Let x be n(-6). Let i be (1 + 10/(-8))/(x/(-16)). Let g be (-1)/(1*(2 - 1)). Which is bigger: i or g?
i
Let z(u) = -15*u + 5. Let g be z(-20). Is 303 at most g?
True
Let t = 0 - 2. Let r be (t/6)/((-1)/3). Let a be 0*(2 - 1/r). Which is smaller: a or -2/5?
-2/5
Let y(a) = -5*a**2 - a - 1. Let r be y(-2). Let n be (-8 - (-444)/27 - 8)*9/(-2). Which is smaller: n or r?
r
Let o be ((3 - 3)/1)/2. Let g(d) = -d**2 + 19*d + 5. Let f be g(19). Let m be 2/f + (-312)/(-420). Which is bigger: m or o?
m
Let p = 0.05 + 2.95. Let a = 1 - p. Let f = -1739/9 + 193. Is a at least as big as f?
False
Let z be (1/(-3))/((-15)/135). Suppose 4*g + y = -z*y + 592, 3*g = -4*y + 440. Let a be 16/g*1/2. Is a equal to -1/2?
False
Suppose 0 = j - 3*p - 1700, 5*p - 3453 - 1577 = -3*j. Is j greater than 1685?
False
Let g be 8 - -1 - 2/2. Let w(t) = 4*t**3 - 2*t**2 + 4*t - 2. Let u be w(2). Suppose -3*a - u = -5*s, 2*a - 42 = -3*s - a. Is s < g?
False
Let q(p) = 10*p**2 + 3*p - 3. Let d be q(1). Suppose 0 = 5*c + d, -5 = -0*u + 3*u + c. Is -15 at most u?
True
Let l = 149 - 2683/18. Suppose 3*j - 5*v = 8 - 33, -4*v + 20 = 0. Which is smaller: j or l?
l
Let d = 145/8 - 21. Is d greater than or equal to -4?
True
Let d = -1.37 - 0.63. Is 446 > d?
True
Let k(b) = -b**2 - 75*b + 209. Let c be k(-78). Is 0.6 >= c?
True
Suppose -4*u - 73 = 2*k + u, -3*u + 65 = -2*k. Let t = 34 + k. Is t at least -1/4?
True
Suppo