. Let t = -7 - v. Is t <= 3/8?
False
Let u = -71 + 70.7. Which is smaller: u or -1?
-1
Let b = -3 - -5. Suppose -5 = -b*g + 19. Suppose 4*c - c + g = 0. Are c and -4 nonequal?
False
Let y be 10/(-20)*6/39. Which is smaller: y or 1?
y
Let z = 0.9 - 1.1. Let r = z + -0.8. Does r = -0.7?
False
Let w = 59/5 - 639/55. Let o(k) = k**2 + 8*k - 9. Let d be o(-9). Let n be -2 - d - (-9)/9. Is w bigger than n?
True
Suppose w - 3 = -3*a, -2*a + w - 3 = a. Suppose -4*l - c + 6 + 7 = a, l + 5 = -3*c. Let r be (l*(-3)/(-6))/(-2). Is r bigger than -2?
True
Let m be 25/1*10/(-25). Let w = 75/8 + m. Let k = w - -7/8. Is k greater than -2?
True
Let g be ((-54)/(-147))/(-3)*18/27. Is g not equal to 1?
True
Suppose 3*z + 7*b = 2*b - 16, 2*z - b = -2. Let w be z/(-8) - 185/20. Which is bigger: -10 or w?
w
Let k be ((-1)/(-2) + -2)*10. Is k less than or equal to -16?
False
Let j = 1 + 0. Let c(p) = p**3 - 6*p**2 + 4*p - 8. Let f be c(6). Let w be 3 - 42/f - 0. Which is bigger: j or w?
j
Let v = 155 - 478/3. Which is smaller: -4 or v?
v
Let o = 1460/143 - 114/11. Are 1 and o equal?
False
Let x be ((-2)/3)/((-15)/(-360)). Let o be (x/(-100))/((-10)/(-25)). Let j be 4/2*2/(-4). Which is bigger: j or o?
o
Let f be (-30)/(-10)*8/6. Suppose -m - 19 = -2*m + 5*t, -3*m = f*t. Let j be 0/(1*2) + 3. Is m >= j?
True
Let s = 17 - -27. Let z be 8/(-18)*603/(-6). Let x = s - z. Is x != -1?
True
Let l = 1 - -5. Suppose 0 = -4*h - l + 2. Is -2 <= h?
True
Let y be 6/(-4) + (-3407)/(-255). Let c = y + -119/10. Which is bigger: -1 or c?
c
Let z = 0.145 - -5.955. Let m = z - 6. Which is smaller: m or 5?
m
Let y = -7 - -6. Which is smaller: y or 3/4?
y
Let w = 9 + -7. Suppose -3*n - 8 = -w. Let g = 0 + n. Is g at most as big as 1?
True
Let q be (-1)/(240/957) + 4. Is 0 greater than q?
False
Suppose 4*s - 115 = j, -j = 2*s - s - 35. Let o be (3/6)/(3/s). Which is greater: o or 7?
7
Let n = 27 + -53/2. Suppose -15*x = -12*x. Are x and n non-equal?
True
Suppose 5*d = w + w + 82, 3*d + 4*w = 44. Suppose -d = 3*c + c. Which is bigger: c or -11/4?
-11/4
Let u be ((-4)/(-18))/((-1)/3). Let m = 19/30 - 2/15. Which is bigger: u or m?
m
Let p be -2*((2 - 2) + 1). Let v be (-27)/(-78) - (-1)/p. Which is smaller: v or 0?
v
Let h = -3/5 + 23/30. Which is bigger: h or -3/7?
h
Suppose 3*i = v + 66, -v - 44 = -2*i + v. Is i less than or equal to 21?
False
Suppose -2*g - 110 - 7 = 3*x, -4*x - 296 = 5*g. Is g less than or equal to -59?
True
Suppose -3*s - 15 = -15. Which is greater: s or -2/363?
s
Let i(o) = -o**3 - 3*o**2 + 6*o + 9. Let u be i(-4). Which is bigger: u or -2/17?
u
Let b be 6/14 - 12/(-21). Let v = -1 - -1. Which is greater: v or b?
b
Let p = 3.3 + -3. Let d = -0.04 + 11.14. Let u = 11 - d. Is u greater than or equal to p?
False
Let f be (5/15)/((-1)/(-9)). Let v = -5 + 9. Suppose -f - 1 = -v*y. Is 5/6 not equal to y?
True
Let r = 6 - 4. Let c be -2 + 37 + 12/(-4). Let t be (0 - -1)*c/56. Which is greater: r or t?
r
Let r be 2/(-5) + (-72)/70. Suppose 2*h - 2*p = -4, -3*p + 4 = 5*h - 2. Is h greater than or equal to r?
True
Let p = -0.3 - -9.3. Let g = p + -6. Let t = 0.7 + 0.3. Is t less than g?
True
Let l = 11 - 19. Let c(z) = z**3 + 7*z**2 - 10*z - 8. Let n be c(l). Do 9 and n have the same value?
False
Suppose n - 39 = -3*v, 3*v = -5*n - 0*n + 27. Let u be 7/9*4/v. Let g = u + -31/18. Is g < -1?
True
Let h = 177 - 178. Which is smaller: h or -3?
-3
Let i = 42 + -116. Do i and 0 have the same value?
False
Let w be (5/3 - 1)/23. Which is smaller: w or -1?
-1
Let l = 59 + -69.1. Let w = l - -10. Which is smaller: w or -6?
-6
Let y = 20 - -5. Is y smaller than 23?
False
Suppose -34 = -t - 9. Let w be ((-2)/t)/(1/(-5)). Are w and 0.3 equal?
False
Suppose 2*w - 4*z - 8 = 0, z + 10 = 6*z. Is w greater than 7?
True
Suppose 0 = -n - 3*o + 15, 3*n + 2*o - 36 + 12 = 0. Let m = 12 - 7. Which is greater: n or m?
n
Let i(j) = j**3 - 8*j**2 + 2*j - 15. Let h be i(8). Is h at most as big as 1?
True
Let g = 9 + 4. Suppose -64 = -3*i - g. Which is bigger: i or 18?
18
Let z = -0.04 - -0.1. Let x = 1/146 + -75/292. Which is greater: z or x?
z
Suppose -1 = -c, 0*u - 4*c = 4*u - 80. Which is smaller: u or 20?
u
Suppose y = 4*y - 27. Does 17/2 = y?
False
Let g be (-4 + (-1908)/(-474))/(1/(-1)). Which is smaller: g or 1?
g
Let d = -20 + 21. Which is bigger: -2/13 or d?
d
Let t(j) = j**2 - 2*j - 6. Let o be t(9). Is o not equal to 57?
False
Suppose 0 = 2*v, 0 = -3*b - 3*v - 17 - 16. Which is greater: -12 or b?
b
Let z = -4.1 - -6.1. Which is greater: 3/4 or z?
z
Let v be ((-1)/(-4))/(-2*(-33)/60). Which is greater: 0 or v?
v
Let m be (-6)/27 + (-303)/(-27). Let o = m + -10. Which is greater: o or 0?
o
Let c(p) = p**2 + 8*p + 1. Let t be c(-7). Is t at most as big as -6?
True
Let a(u) = 191*u. Let t be a(-1). Let g be 5 - 4 - t/3. Let v = g - 64. Which is smaller: 2 or v?
v
Suppose 0 = -11*x + 7*x + 16. Let a = -2 + 5. Is x greater than a?
True
Let c be 1 + 4/10 + (-176)/40. Which is greater: c or 2/15?
2/15
Let r = -24.6 - -25. Which is bigger: 0.5 or r?
0.5
Let u be (420/16)/((-3)/(-2)). Is 17 at least as big as u?
False
Let y(p) = p**2 + 4*p - 3. Let w be y(-5). Suppose -2*z + 4*z = 4. Let d = 0 + z. Is d bigger than w?
False
Suppose d - 2 = -1. Let m be -1*1 - (-165)/225. Are m and d equal?
False
Let r = 432/5 - 86. Suppose 0 = x + s - 1, 5*x + 0*x - 15 = 5*s. Let m be 1 + x + (-5)/2. Which is greater: m or r?
m
Let y be (562/18)/(88/(-33)). Let s = -87/8 - y. Which is smaller: 0 or s?
0
Let t = 27 - 27. Let n be ((-2)/(-44))/((-3)/30). Let x = n + 9/44. Is x equal to t?
False
Let u be -3*5/15 + (-19)/(-18). Suppose -5*r = -4*a + 16, -a + r = 2*a - 1. Is u at most a?
False
Let c be (-110)/22*(-1)/6. Which is smaller: c or 2?
c
Let b = 0 - -3. Suppose 0 = b*d - 0*d - 48. Let g be -1 - (-4)/(d/3). Is -1/5 at least as big as g?
True
Let f = 1067/19 - 56. Is -1 less than f?
True
Let u = -0.74 + 0.9. Let m = u + -0.86. Let a = m + 0.8. Which is smaller: -3/2 or a?
-3/2
Let x = 501/481 - 30/37. Is 1 smaller than x?
False
Let g = -1.7 - -1.8. Is g less than or equal to -0.1?
False
Suppose -2*m - 4 = 2*m. Let z be -8*(0 - m)/1. Which is smaller: -2/7 or z?
z
Let o = 10032/5 - 38883/20. Let j = 61 - o. Which is bigger: j or 0?
0
Suppose -2*l + 584 = -6*l. Let v be (l/3)/(85/(-3)). Let b = v + -36/17. Is b at most 1/4?
True
Let o(u) = 6*u**2 - 9 - 6*u - u**2 - 4*u**2. Let a be o(8). Is 7 > a?
False
Let z(r) = 4*r - 4. Let a be z(-4). Let c be -2 + 0 + 89/4. Let w = c + a. Is w equal to 1?
False
Let i(b) = -8*b**2 + 4*b - 2. Let x be i(1). Is x not equal to -5?
True
Suppose -3*o - 6 = -0*c - 4*c, -5*o + 3*c + 1 = 0. Is -1 >= o?
False
Let v be (-48)/56 - (-6)/21. Is -1 equal to v?
False
Let s = -10 - -9. Let m = s - 3. Let u be ((-4)/(-5))/m*6. Is -2 less than u?
True
Let j = 62 + -497/8. Which is smaller: 0 or j?
j
Let i be 120/18*42/(-4). Let v be (-30)/i - 20/14. Let n be (-8)/126 + 6/(-27). Are v and n equal?
False
Suppose 2*t = 4*q - 5*q + 13, 4*t - 15 = -q. Let v = q - 16. Which is bigger: v or -4?
-4
Let m = 23 + -14. Is m equal to -2?
False
Suppose -10 = -4*z - 2. Let g be ((-4)/12)/(z/(-30)). Are g and 5 equal?
True
Let c = 10/27 + -23/135. Are 2.8 and c equal?
False
Let y be (-102)/(-25) - (3 + 1). Which is greater: -0.1 or y?
y
Let a = -41/42 - -5/6. Let m(c) = -c**3 - 3*c**2 + c. Let b be m(0). Is a less than or equal to b?
True
Suppose 2*w = 3*z - 7*z - 22, -2*w - 5*z - 26 = 0. Let a be -1*(-2)/(-1 - w). Do a and 0 have the same value?
False
Let y(q) = -2*q**2 - 9*q - 13. Let z be y(-4). Is z >= -9?
True
Let v = -66 - -60. Which is smaller: -7 or v?
-7
Let b = 28836 + -4412033/153. Let f = -12/17 - b. Let o = 45 + -44. Which is greater: o or f?
o
Let t be (2/3)/(-1)*-3. Suppose 2*c = -2*a + 6, 0 = -t*a - 3*c + 11 - 1. Is a at most -2?
False
Let d = 6 - 6.6. Let v = d - -0.6. Is 0 smaller than v?
False
Let v be (-13)/20 + (-2)/(-8). Suppose 3*b - 42 = -11*b. Is b smaller than v?
False
Let f = -9 - 13. Let z = -22 - f. Are -1/21 and z equal?
False
Let d = 0.111 + -0.161. Are d and -4 nonequal?
True
Let z = 85 - 84. Is -3/20 >= z?
False
Suppose -25*n + 37*n = -132. Let b = 0 + -1. Which is smaller: n or b?
n
Suppose -4*t = -t - 6. Suppose -5*i = -4*i + 2*v + 10, -3*i - 10 = t*v. Suppose 4*p = -i*p - 4. 