
True
Let n be ((-1152)/1680)/((-2)/5). Suppose 9 + 21 = 3*x. Let s = -31/3 + x. Which is bigger: s or n?
n
Let n = -291/10 + 29. Suppose -2*r - 6 - 4 = 0. Let l = r + 4. Is l < n?
True
Let g = -0.0491 - 0.0509. Which is smaller: 0.446 or g?
g
Suppose -g = -2*z + 8, 2*z - 3*z - g + 4 = 0. Let o = -3 + z. Let q = -324/565 - 3/113. Which is greater: o or q?
o
Suppose 5*c - 66 = -4*u, -5*c + 3*c - 4*u + 36 = 0. Let g = c - 4. Suppose 0 = o - g*o. Which is smaller: o or 3?
o
Let r = -168.09 + 168. Which is greater: r or -2/7?
r
Let g = 881 + -925. Do -8 and g have the same value?
False
Let h(k) = -k**3 + 5*k**2 - 3*k + 1. Let t be h(3). Let j be 10/25*10*2. Is j at least t?
False
Let k(d) = -6*d + 1. Let r be k(2). Let v = -8 - r. Let u be 10/20 - 11/(-6). Which is greater: u or v?
v
Let n(i) = i**2 + 19*i - 21. Let m be n(-18). Let k = -62 - m. Is k > -24?
True
Let c(b) = 2*b - 5. Let g be c(4). Suppose -3*w = -2*w - 4. Suppose -z + 3 = 0, 5 = -w*s - 2*z + 19. Which is greater: g or s?
g
Let r = -50 - 44. Let f = -87 - r. Which is smaller: f or 13/2?
13/2
Let p be (-1612)/(-8)*(-2)/120. Let t = -1/40 - p. Is t bigger than 3?
True
Let h = -137 + 137. Which is greater: h or 16/11?
16/11
Let a be (-24)/176*(-4)/87. Let d = a - -313/957. Let z = 1 + 17. Which is greater: d or z?
z
Let b be ((-2)/(-12)*3)/((-16)/1248). Are -159/4 and b non-equal?
True
Let u = -9 + 9.034. Let w = u - -0.066. Is -12/19 at least w?
False
Suppose 4*d - 58 = 3*q + 248, -q = -d + 76. Let r be ((-3)/(-2))/((-13)/d). Let k(s) = -s**3 - 10*s**2 - 9*s + 1. Let x be k(r). Is -2 less than or equal to x?
True
Let c be 418/(-33) + (-4)/(-6). Let s(a) = a**3 - 3*a**2 + a - 5. Let x be s(4). Let y = c + x. Which is greater: y or 2?
y
Let n = 11.15 - 11. Let v = n - -6.85. Let b = 6.9 - v. Do -7/4 and b have the same value?
False
Let m(g) = 37*g**2 + 20*g + 123. Let w be m(-5). Which is smaller: 949 or w?
w
Suppose -2*t = -4*t. Let v = 0.81 + 4.19. Let m = 5 + v. Is t > m?
False
Suppose -74 = -q - 214. Let w be 2/((-72)/(-4820)) + 5. Let k = w + q. Does 0 = k?
False
Let h = -187.1 - -187. Which is smaller: -5 or h?
-5
Let v = 1589.258 - 1588. Is 1 <= v?
True
Let t = -58 + 58. Suppose -5*d = -3*u + 1 - t, d + 4*u = 9. Are d and 11/6 equal?
False
Suppose -w + 18 - 13 = 0, 5*t + 2*w + 205 = 0. Which is smaller: t or -42?
t
Let s = -19.3 - -3.3. Let a = s + 17. Which is bigger: 0.05 or a?
a
Let v(j) = 2*j**3 - 2*j**2 + 1. Let k be v(-1). Are -17/5 and k equal?
False
Let g be (80/14)/((-4)/(-14)). Let c = 7 - -12. Which is smaller: c or g?
c
Let b = -2 - 2. Let u be b + 2 + 40/21. Let l be 6/4*10/15. Is l at most as big as u?
False
Suppose 4*t = -2*x + 234, 5*x - 2*t = -6*t + 597. Suppose 0 = -2*f - j - 2*j - x, -3*f + 3*j = 204. Let a be (-1)/((-3)/(f + -4)). Which is bigger: a or -22?
-22
Let x = -66 + 127. Is 60 at least x?
False
Let g = 11.2 - 10. Let b be (-4)/(-14)*(-597)/2. Let w = b + 85. Is g at least as big as w?
True
Suppose 3*p + 225 = -5*r, -p - 4*p = 4*r + 180. Let s be (-4)/10*r/18. Let c be ((-4)/12)/(2/(-2)). Which is bigger: s or c?
s
Let m = 31 + -30. Let d(v) = v**2 - 2*v. Let w be d(m). Which is smaller: w or -1/26?
w
Let o = 0.2 - 0. Let f = -0.2 + o. Let v = 33 + -33.1. Which is smaller: v or f?
v
Suppose 10*t - 54 = t. Let s be (-36)/t*-1*5/(-14). Which is greater: -3 or s?
s
Let u be 34/(-510) + 38/(-330). Is u not equal to -6?
True
Let j = -2.1 + 1.96. Let k = j + 21.14. Which is smaller: -1 or k?
-1
Let h = 1.81 + 1.19. Let j be -7*(-1)/((-21)/(-6)). Suppose 2*u = -j*u - 4. Is u less than h?
True
Let n = 18.6 - 18.5. Is n < 42?
True
Let f be -1 - (-23)/((-728893)/(-31680)). Which is smaller: 0 or f?
f
Let f(h) = -8*h**3 - 2*h**2 - 2*h - 1. Let z be f(-1). Suppose z*n = 8*n - 45. Is n less than 46?
True
Let r = -404 - -402. Which is smaller: r or 20?
r
Suppose -2*t = t - z - 154, -2*t - 5*z = -80. Let s = t - 452/9. Let w be 16/(-70)*40/(-16). Does w = s?
False
Suppose 0*c = 2*c. Let o = 1/63 + 23/21. Let k = -13/36 + o. Is c at most as big as k?
True
Let z(j) = j**3 - 26*j**2 + 25*j + 3. Let k be z(25). Let f = -1 - -6. Let s = -2 + f. Is s less than or equal to k?
True
Let r be (1542/518 + -3)*313/10. Let a = r + 2/185. Which is smaller: a or 2/7?
a
Let o = -9 - -14. Let z be 1 + o + (-8)/4. Suppose 0 = -z*g + 11 + 9. Is 5 at most g?
True
Suppose -2*k + 2*l - l - 15 = 0, 0 = -k - 2*l - 5. Is k <= -3?
True
Let h(s) = s**3 + 15*s**2 + 15*s + 21. Let q be h(-14). Suppose -3*r + q*r = 8. Is 1/2 greater than or equal to r?
False
Let f = 76.5 - 81. Let u = -9 + 8. Which is greater: f or u?
u
Let x = 22 + 31. Suppose 3*r + 10 + x = 0. Let b be 2/(-1) + r/(-14). Is b equal to -1?
False
Let c = -0.05 + 8.05. Let w = c + -7.97. Let x = 205.9 - 206. Is x less than w?
True
Suppose 28*y + 138 = 34*y. Let h be (-1 - 43/(-7))*28/6. Which is smaller: y or h?
y
Let l = -936.9 - -988. Let d = 51 - l. Let z be (-1)/4 - (-5)/(-44). Does z = d?
False
Suppose 2 - 6 = -d. Suppose -r + d*m + 22 = 2*r, 0 = 4*r - 3*m - 20. Is 16/13 at least as big as r?
False
Let j = 5/11 + 47/66. Suppose -2 + 5 = 3*c. Is j at least as big as c?
True
Suppose -7*y = -5*y + 2. Which is greater: y or 2/129?
2/129
Let k(q) = 2*q**2 + 4*q - 7. Let s be k(3). Let w = s - 95/4. Is 1/2 > w?
True
Suppose -7*b + 634 = -535. Which is bigger: 166 or b?
b
Let z = -0.167 - -0.017. Let k = 0.35 + z. Let i(r) = 2*r - 5. Let x be i(5). Is k > x?
False
Let a = -13 - -16. Let g be 3 + -2 + a + 0. Which is smaller: g or 3?
3
Suppose l + 4*t = 24, 4*l - 4*t = -0*l + 36. Let k be (4/l)/((-2)/(-18)). Let p = 7 - k. Is p less than or equal to 4?
True
Suppose -14*n = n + 1800. Which is greater: n or -121?
n
Suppose -35*y = -37*y - 364. Let w = 154 + y. Let f(k) = -14*k + 1. Let i be f(2). Is i < w?
False
Let q(g) = g + 6. Let m be q(8). Let y = -29 + 58. Suppose 5*x - 41 = y. Do x and m have different values?
False
Suppose -p + 60 - 15 = 0. Let j = p + -42. Is j at most as big as 0?
False
Let m be 3*(3/(-3) + -10). Let v = m - -20. Let f = -24 - v. Is f smaller than -11?
False
Suppose 0 = -309*q + 307*q + 14. Is 49/8 at least as big as q?
False
Let p(w) = -25*w**3 - 3*w**2 - 18*w + 15. Let b be p(4). Is -1704 not equal to b?
True
Let n = 0 + 0. Let v = 2177 - 2175.9. Which is smaller: v or n?
n
Let q(i) = 4*i**3 - 8. Let x(w) = 4*w**3 - w**2 - 7. Let h(b) = 2*q(b) - 3*x(b). Let t be h(4). Let y be t/63 + (0 - -3). Which is bigger: 2/29 or y?
2/29
Let m = -6 - -6. Suppose w - 150 = -w. Let c be (-3)/(-1) + (-255)/w. Which is smaller: m or c?
c
Let y be (-4)/(140/195) - -5. Which is smaller: 5/3 or y?
y
Let z be 5/10 + 9/2. Let j be 6/z + (-12)/30. Let o(u) = -u**3 + 5*u**2 + u - 3. Let k be o(5). Do j and k have different values?
True
Suppose 2*w - 3*a - 47 = 0, -5*w + 21 = 4*a - 39. Suppose -5*g + 3*g - w = 0. Which is smaller: g or -1?
g
Let j(i) = -i**2 - 20*i + 91. Let r be j(-26). Is r smaller than -65?
False
Let q be 142 + -149 + -4 + -1. Is q less than or equal to -46?
False
Let p be (-6)/14 - (-161)/(-196). Suppose 4*i + 0*i = 0. Is i < p?
False
Suppose 59 + 75 = -2*t. Let c = 2136923/31788 - 7/3532. Let s = t + c. Which is smaller: 0 or s?
0
Let f = 633 + -632.98. Suppose x = 4*x. Which is smaller: x or f?
x
Let c be 180/(-12) - (5 - 1). Let s = -16 - c. Let b(v) = -v**2 + 2*v + 2. Let z be b(s). Which is smaller: -2 or z?
-2
Let l = -734 - -724. Which is bigger: l or 18?
18
Let d = -6.9 + 7.2. Let u = -2 - -3. Let y be (u/4)/(36/48). Which is greater: d or y?
y
Let c = 37/10 - -18/5. Let h = 93/2 - 39. Let a = c - h. Which is smaller: a or 1?
a
Let x be 1 + (-4)/(-20) + 88/10. Let m(d) = d**2 - 11*d + 10. Let n be m(x). Which is bigger: n or -3/7?
n
Let i be (-21)/28 + 201*7/(-252). Which is smaller: i or 2/3?
i
Let v = 3/149 + -927/1639. Let b = -6 - -4. Are v and b equal?
False
Let a = -109 + 111. Let r be a/(-6) - ((-772)/(-294) - 3). Is -1 greater than r?
False
Let t be -34 - -44 - 5771/577. Are t and 0 equal?
False
Suppose 1 = 4*i - 11. Suppose 5*g + 12 = -3*h, -i*g + 4 = -2*h + h. Is 2/27 greater than g?
True
Suppose -q + 3379 = 5*h, 2*h + 691 = 3*h + 4*q. Let u be h/(-18)*4/6. Which is smaller: u or -24?
u
Suppose 0 = 2*z - 3*z - 3. Let k be z*7/((-252)/(-8)). Is k > -73?
True
Suppose 4*q + 0*q + 30 = -5*y, 