 Is 32 at most h?
False
Let f = -1201 + 1201.1. Let n = -16/19 - -714/893. Which is greater: f or n?
f
Suppose 0 = -0*p - p + 22. Let o(u) = -u**3 - 14*u**2 + 3*u - 19. Let w be o(-14). Let c be 4/p + w/275. Which is greater: c or 1?
1
Let b = -159 - -186. Which is smaller: b or 29?
b
Let g = 245/116 + -9/4. Let b(r) = r**3 - 3*r**2 + 2*r - 1. Let w be b(2). Which is bigger: g or w?
g
Let o = 120 - -58. Let h be o/(-8) + (-6)/(-24). Do -23 and h have the same value?
False
Let y = -1.1 + 7.1. Let m = 8 - y. Let i = m - 2.1. Are -0.4 and i non-equal?
True
Suppose -2*t - 46*z + 59 = -43*z, 0 = -4*z - 20. Is t at least 57?
False
Suppose -3*k = 1 - 4. Suppose 5*x - 200 + 45 = 0. Suppose 3*i - x - 5 = 0. Which is bigger: k or i?
i
Suppose 3*j + 2*j + 5 = 0, -7 = 3*t + j. Let a be (9/6)/(t/(-12)). Which is bigger: 10 or a?
10
Let l = 9 + -9.1. Let u = -13 + 12.7. Let h = l + u. Is 1 <= h?
False
Let a = -48 - -29. Let m = a + 22. Suppose 0 = m*h - 2*c + 6, 5*h - 3*c + 2*c = -3. Is h bigger than 1/3?
False
Let x be (-292)/3066 + (-32)/105. Is 11.56 greater than or equal to x?
True
Suppose 8*z = -10*z + 13*z. Is z greater than or equal to -2?
True
Suppose -j = 13*j + 1274. Is j > -91?
False
Let x = -964049/4 + 239249. Let y = x - -1781. Are 19 and y equal?
False
Let x be ((-585)/(-60) - 8) + (-3)/4. Suppose -94 = -4*b + 70. Let j = 124/3 - b. Which is greater: j or x?
x
Suppose -30*t = -35*t - 5. Suppose -3*s = -2*f + 34, -s - 42 = -2*f - 0*s. Let y be f/(-10) - (6 + -8). Is t at most as big as y?
True
Suppose -5*s + 20*s + 300 = 0. Which is greater: s or -4?
-4
Let c(a) = -a**3 + 6*a**2 - 5*a - 5. Let h be c(5). Let i(d) = -d**2 - 7*d - 16. Let r be i(-3). Which is bigger: r or h?
r
Let u = -0.3 - -0.2. Let d = 221 + -230.98. Let k = d - -10. Which is smaller: u or k?
u
Let k = 248 + -247. Is -195 at most as big as k?
True
Let d be (-23)/(-18)*3 - 3. Let u(t) = -t + 1. Let v be u(-1). Is d greater than or equal to v?
False
Let c = 129 - 108. Let p be (1/9)/((-7)/21). Is c at least as big as p?
True
Suppose -m + 292 - 5 = -2*z, -m = 2*z + 281. Let a be (12/10)/(-1 - z/110). Which is bigger: a or 4?
a
Let a = -4.05 - -0.05. Let i = -3 - a. Let o = i + -3. Is -1 < o?
False
Suppose -2*w + 4*d + 188 = -60, 0 = d + 5. Let x = -141 + w. Which is smaller: x or 1?
x
Let h = 68687.05 + -70278. Let b = h - -1627. Let z = -36 + b. Which is bigger: 0.3 or z?
0.3
Suppose 3*u + 177 = -4*o, 4*u = o - 190 - 65. Is -65 greater than u?
False
Let t = -28 - -91. Is t bigger than 64?
False
Let v = 6 - 11. Suppose -28*t = 114 + 54. Is v at most t?
False
Suppose 126 = 91*s - 56. Let k be (-2)/((-2)/14 + -2). Is k at most s?
True
Let o = -8 - -7. Let j = 34 + -237/7. Is o > j?
False
Let f(i) = -i**2 + 7*i - 8. Let b be f(5). Let o be (-4)/24*b*6/4. Is o bigger than -0.03?
False
Suppose 0 = 248*a - 257*a - 9. Suppose 4*b - 2 = -2*x, -7*b + 2*b = 2*x - 1. Is b < a?
False
Let w be 53/2 + 4 + (-2)/(-4)*1. Suppose -2*y - 3*y - 15 = 0. Are w and y nonequal?
True
Let a = -1953/4 + 91855/188. Is a at least 5?
False
Let d = -6 + 4. Let l be 1/((-6)/(-4) + d). Let v(z) = z - 2. Let g be v(1). Which is bigger: l or g?
g
Suppose u - 18 = -u - 4*i, -4*u = 2*i - 30. Suppose -u*r - r = 216. Is -29 at least as big as r?
False
Suppose 0 = -5*s - 25, 0 = 5*i - 3*s - 25 - 0. Let c be (-45)/(-2)*-2*44/(-55). Let a be (-44)/c + 1 - 11/(-9). Is i at least as big as a?
True
Let o = -3 + 0.5. Let x = o - 5.5. Is x greater than or equal to 3?
False
Suppose -3*d + 271 + 521 = 0. Let u be -1 + d/68 + -3. Which is smaller: u or -1?
-1
Let p = 32150 - 6815739/212. Let b = 909/212 - 17/4. Let m = p - b. Is m not equal to 2.3?
True
Let q(b) = -2*b**2 + 45*b + 50. Let w be q(21). Which is smaller: w or 112?
112
Let g be 1/(-4) - (-90)/8. Let p be -2 - -19 - (5 + 2). Are g and p unequal?
True
Let q = 627 + 174. Which is bigger: 802 or q?
802
Let k = -2.917 + 3.017. Let w = -12/29 - -502/1073. Is w at least k?
False
Suppose 4*r - 9 = 3. Suppose -j = -r + 2. Let h = -1 + 1. Which is greater: h or j?
j
Let v be (-4)/(-14) - (-508)/(-14). Let l = -37 - v. Let o be (-6)/(-75)*l*1. Which is greater: o or -0.1?
o
Suppose 18 = 2*y + 3*t + 3, -3*t + 15 = 0. Suppose -5*v + 4*d + 12 = y, 2*v + 0*d = -2*d - 6. Let k be 5 - ((8 - 4) + v). Is k bigger than -4/15?
True
Let u be (-1*9/54)/(1/3). Let a(b) = b - 1. Suppose 0 = s + 4*z - z - 1, -2*z = -2*s + 2. Let h be a(s). Is h at most as big as u?
False
Let q = 317 - 8561/27. Let z = -151 + 146. Is q less than or equal to z?
False
Let t(z) = 4*z + 6. Let r be t(-3). Let y be (-8)/r - 1 - 1. Which is smaller: y or -1/16?
y
Let p(n) = n**2 - 5*n + 4. Let h be p(4). Let q(f) = -10*f**3 - 10*f**2 + 3*f + 16. Let d be q(8). Let k be 1738/d - 4/(-26). Which is smaller: k or h?
k
Suppose -3 = 4*r - 11. Suppose -7 = -r*z + 13. Suppose 5*p - 2*f = -10, 3*f - z = -4*p + 5. Is 1/12 >= p?
True
Let f(l) = l**2 + 43*l + 239. Let h be f(-41). Which is smaller: 155 or h?
155
Let d = -797 + 716. Which is bigger: d or -82?
d
Let i = -4041 - -5842. Let u be i/(-4)*(-12)/(-54). Let x = u - -100. Which is bigger: x or 1?
1
Let f be (-4)/102*(-5415)/(-130). Let x = -26074/13 + 2004. Let h = f - x. Which is smaller: h or -0.1?
-0.1
Let b = 0 + 1. Let o = -985 + 987. Is b greater than o?
False
Let l(i) = -34*i - 240. Let t be l(-7). Which is smaller: t or -23/14?
t
Let z = 37.2 - 37. Let p = 3.02 + -0.02. Let t = p + -2.5. Is z less than or equal to t?
True
Let z = 8846 - 61074/7. Is z equal to 120?
False
Suppose -3*m - 8 - 11 = -5*b, -29 = 4*m - 3*b. Which is bigger: -5 or m?
-5
Let g = -652 + 653. Let p be 6*(-2)/(-8) - 0. Let v = -7/4 + p. Which is bigger: v or g?
g
Let o be (1/(-3))/(1/(-30)). Is o <= 41/4?
True
Let y = 55 + -75. Let a be y/5*(-3)/102. Which is greater: -1 or a?
a
Let w = 104 - 56. Let g = 48.4 - w. Which is bigger: 1/4 or g?
g
Let m be ((-28)/294)/((-5)/52*2). Let d = 6/35 + m. Is -2/9 smaller than d?
True
Let d = 25.4 - 24.8. Which is bigger: d or 0.1?
d
Let m = 2 - 10. Suppose -27*s - 18 = -36*s. Suppose 2*i - 12 = s*j - 0*i, -5*j - 42 = -i. Which is greater: m or j?
m
Let z = -1861/3 + 610. Is z less than or equal to -9?
True
Let n = -113 - -133. Which is smaller: n or 22?
n
Let d(u) = 21*u - 41. Let c be d(2). Is c >= -2/1757?
True
Suppose 3*s = i + s + 20, 0 = 5*s - 5. Let m = -3 - 13. Which is smaller: m or i?
i
Let r = -19 - -33. Let t = 11 - r. Let b be (570/(-80))/(t/(-4)). Which is bigger: b or -10?
b
Let r(p) = -3 + p**3 - 10*p - 1 + 24*p**2 - 20*p**2. Let i be r(-6). Is i at least -8?
False
Let s = 20/63 - 16/21. Suppose 0 = -4*l - 3*u + 5, 4*l = 5*u + 36 + 9. Suppose 2*v + 3*v = -l. Are v and s nonequal?
True
Let g(z) = z**2 - 19*z - 40. Let s be g(-2). Is 16/27 at least s?
False
Let s(v) = 4*v + 28. Let c be s(-8). Let a = 0.1 + -0.1. Is a < c?
False
Let k = 41 - 30. Suppose 4*c = 12*c. Is k >= c?
True
Let b = -267/4 + 1877/28. Which is bigger: 2/251 or b?
b
Let n(t) be the second derivative of -2*t**3/3 + 8*t**2 + 8*t. Let w be n(5). Let i be (-1)/(w/(-18)) + 3. Does i = -4?
False
Suppose -4*u - 90 = -u. Let k be (-42)/315 - (-656)/u. Which is smaller: k or -20?
k
Suppose j + 11 = k + k, 0 = -3*j - 4*k + 7. Which is smaller: j or -5/2?
j
Let v = 24.4 + -25. Let h = -24.4 + v. Let x = 25.2 + h. Which is bigger: -1 or x?
x
Let r(m) = -5*m + 5. Let t = 1 + -8. Let h = 9 + t. Let y be r(h). Is -4 at least as big as y?
True
Let s(a) = -4*a - 25. Let u be s(-22). Is 65 less than or equal to u?
False
Let d be 3 + -1 + 11 + -6. Let f be 2/(-8) + d/(-4). Let n be f/8 - (-1)/(-12). Is 0 less than n?
False
Let z = -5/14 + 57/238. Suppose -k + 15 = -5*k + 5*v, 2*k - 4*v = -12. Is z > k?
False
Let o = 1 - -20. Let x = -21.19 + o. Is x at most 0.2?
True
Suppose -17*w = -5 + 5. Let a be (-45)/148 + 3/12. Let s = 25/222 - a. Is w at least as big as s?
False
Let b be ((-1)/8)/((-8)/(-16)). Which is greater: 2/37 or b?
2/37
Let x be 2/(15/6 + -3). Let g be 1 + x - (-2 - (-4)/(-2)). Which is greater: 2 or g?
2
Let s be ((-8)/1376)/(3*4/18). Is 1 <= s?
False
Let u = 65 - 71. Let z(t) = -t**2 + t + 4. Let c be z(3). Is c != u?
True
Let o = 1646 + -100402/61. Which is smaller: o or 0?
0
Suppose -4*t - 4*r - 64 = 0, r = -6*t + t - 84. Let s = -13 - t. Suppose -s*b - 3 = -19. Whi