a = 96 - 90. Let l = a + -5. Is 1 at most l?
True
Let d = -0.122 - -34.122. Let v = d + -38. Let y = -1 + 3. Are v and y equal?
False
Let o be (-13)/(-65)*5*11/(-2). Let h be (-10)/(2 + (1 - 1)). Let x = h + -2. Is x less than o?
True
Suppose -5*g = -15, b = 2*g - 7 - 4. Suppose 1253 = 4*k + 1269. Which is bigger: b or k?
k
Let p be (-11 - -8 - -3)/(0 + 2). Let f = 5/77 + 23/77. Is f > p?
True
Let k = -63.35 - -67. Let m = 3.6 - k. Which is greater: -2 or m?
m
Let b(a) = a**3 - 9*a**2 + 9*a - 5. Let g be b(8). Suppose g*u + 5 = -1. Let h be (-36)/45 - (-6)/(-5). Are h and u equal?
True
Suppose -3*l + 9*c - 18 = 4*c, 4*l = c - 7. Let p be 3 + 0 + 92 - l. Suppose -f = -4*d + 17, -f - 2*d = -5*f - p. Which is smaller: f or -26?
-26
Suppose 0*v = -3*v - 5*a + 28, 5 = -5*a. Suppose 2*c - v = 3*k + 2*k, 3*k = c - 7. Let t = 3 - k. Is t > 6?
False
Let k = 155 + -155. Which is smaller: 10/23 or k?
k
Let t(n) = 3*n + n + 21 - n + 0*n. Let a be t(-8). Which is greater: a or -17?
a
Let i = 31.6 - 33. Let j = i + 1.2. Which is smaller: j or -10?
-10
Let q be (((-24)/(-236))/(-2))/1. Let y = q + -44/295. Is y less than 1?
True
Let o = -9841 + 1299019/132. Is o < 1?
True
Let g = 23 + -27. Let o = g + 9/2. Is 1 smaller than o?
False
Suppose -5*l + 517 = 27*i - 24*i, l + 651 = 4*i. Which is smaller: i or 163?
163
Let g = -6 - -8. Let c(f) = -2*f + 1. Let u be c(-2). Suppose v - u*v + 8 = -2*x, -4*v - 2*x = -8. Is v equal to g?
True
Let a be 2/12 - 2/3. Which is greater: a or -204?
a
Let q = -2539 + 2529. Which is bigger: q or -0.2?
-0.2
Let s = 5 + -2. Let q = -4 - -6. Is q less than or equal to s?
True
Let f be 1*-1 - (12 + -5). Let y(s) = -s**3 - 10*s**2 - 15*s + 9. Let r be y(f). Is r < 0?
False
Let k(s) = 20*s - 31. Let d be k(-17). Is d <= 0.1?
True
Let f(u) = u**2 - 11*u + 34. Let s be f(7). Let r be 16/(-6) + 4/6. Let d be -6*(r - (0 - 1)). Is d at most as big as s?
True
Suppose 4*j - 39 = -3*k, j + 4*k - 13 = -0*k. Let s = j - 10. Let x = -140 - -1961/14. Which is bigger: x or s?
x
Let u be 705/(-10)*(-22)/(-33). Is u at most as big as -47?
True
Suppose 14*q - 10*q + 32 = 0. Let k = -1 - -1. Suppose c - 30 = 5*c + w, k = -2*c + 3*w - 8. Is q bigger than c?
False
Let q = 17 + -19. Let u = -94 + 654/7. Is q bigger than u?
False
Suppose 5*g = 2*g. Suppose -5*i + 3*i - 56 = g. Let s be -3 - 0 - 76/i. Which is smaller: s or 0?
s
Let s = 554 + -553. Is s < 1.26?
True
Suppose 0 = 2*h - 2*k - 0*k - 10, -h = k + 5. Let d = 8 + h. Let r be (18/d)/((-9)/(-36)). Which is bigger: r or 8?
r
Let x = 0.01 + -0.01. Let k = 376.9 - 378. Which is bigger: k or x?
x
Suppose 28 = 2*h - 4*i, 4*h - 8 = -5*i + i. Let t be (h + -3 - 42/16)/3. Is t bigger than 0?
True
Suppose -y - 39 = -4*g - 14, 0 = -3*y - 2*g - 47. Which is bigger: -18 or y?
y
Let q(t) = t**3 - t**2 + 2. Let p be q(2). Suppose -8*k + 39 = -1. Is k bigger than p?
False
Let t = 290 + -290. Is t != 21/67?
True
Let s = 51 - 53. Let w be s/(-1 - -2)*8/7. Which is greater: w or -2?
-2
Suppose -38*m = -16034 + 49854. Are -889 and m equal?
False
Let u be (-9 + 5)/((-1)/(1 - 5)). Suppose q + 4*q = -75. Which is smaller: u or q?
u
Let t = -14.03 - -14. Let a = 3.97 - t. Let o = a + -3.1. Is o >= 2/7?
True
Let y = 3.2 + -2.2. Let z = 166 - 166.5. Which is bigger: y or z?
y
Let h = 54 + -68. Let t = h - -28. Is t at least as big as 11?
True
Let f = 9117/4 + -2296. Which is smaller: -18 or f?
-18
Let c be (18540/24)/(-1)*1/(-2). Which is bigger: c or 387?
387
Suppose 90*m - 97*m - 133 = 0. Is -92/5 < m?
False
Suppose 5*l - 24 - 51 = 0. Let i(o) = -6*o**2 - 3*o + 2. Let w be i(1). Let f = w + l. Which is greater: 9 or f?
9
Suppose -3*g - 95 = 82. Suppose a + 288 = -5*r, -5*a - 54 = -64. Is g at least r?
False
Let j = 33 + -27. Let p = -0.1 - 0.1. Is p less than or equal to j?
True
Let l = 441598717 + -22163839605077/50190. Let o = 1/1195 + l. Which is smaller: 0 or o?
0
Let l = -41.9 + 50. Let n = 7 - -1. Let w = n - l. Is w at least as big as -3?
True
Let n = 10 + 5. Let g(i) = -i**3 - 10*i**2 - 7*i + 26. Let v be g(-9). Suppose 13*h = -5 - v. Which is smaller: n or h?
h
Let g = 0.46 + -1.5. Let s = -1.47 - g. Let w = s - -0.13. Is 0.1 less than w?
False
Let s = -54 + 84. Let h be (-2 + 3)*(-5 + -26). Let j = h + s. Is -1 smaller than j?
False
Let z be -6 + 6 + -3 - (-16)/5. Let x(s) = -s**3 - 6*s**2 - 5*s + 6. Let u be x(-5). Let g be ((-3)/(-9))/(2/u). Is g at most as big as z?
False
Let v(o) = -o**3 + 6*o**2 - o + 1. Let h(m) = -2*m**2 + 11*m - 2. Let g be h(8). Let t = -36 - g. Let u be v(t). Which is bigger: 1 or u?
1
Let z(y) = -y**2 + 10*y - 4. Let q(f) = -2*f**2 + 21*f - 7. Let l(d) = 3*q(d) - 7*z(d). Let a be l(6). Suppose -6*x + 2 = -5*x. Which is greater: x or a?
x
Let x = 12270/29 - 423. Do x and 0.1 have different values?
True
Let b = 0.2 - 0. Let u = -77 - -89. Suppose 36 = 6*j - u*j. Is j at least b?
False
Let q be (1 - -67)*3*28/(-48). Let n = q - -121. Are n and 0 equal?
False
Suppose 6*d + 4 = 2*d. Let r be (3*42/(-9))/d. Let t be (6/7)/((-2)/r). Is t > -7?
True
Let y(k) = k**3 + 8*k**2 - 10*k - 8. Let d be y(-9). Let g(c) = c**3 - c**2 + 2*c - 2. Let j be g(d). Which is bigger: j or 5?
5
Let g be (28/10)/(8/20). Let m be g/15 - (-4)/(-30). Are 1 and m equal?
False
Let k = 100 - 154. Let m = k - -485/9. Suppose 3*q + n = 0, 0 = 4*q - 0*q - 3*n. Are q and m non-equal?
True
Let t = -32 - -55. Let y = 37 - t. Which is greater: y or 12?
y
Let s(z) = -z**3 + 5*z**2 - 8*z + 82. Let f be s(6). Do -81 and f have the same value?
False
Let i(g) = g**3 + 10*g**2 - 3. Let u be i(-10). Let b = u + -1. Let z = -3 - b. Is -1 bigger than z?
False
Let f = 613 + -608. Suppose -h + 4*y = h - 28, -y - 27 = -3*h. Which is greater: f or h?
h
Let r(j) = -j**3 + 17*j**2 + 12*j + 77. Let k be r(18). Is k less than or equal to -34?
False
Let f = 35 - 15. Let g = -20.15 + f. Let a = g + 0.25. Does a = -0.01?
False
Suppose 5*x = 2*a - 8, -x - 10 = -a + 3*x. Which is smaller: a or -7?
-7
Let r(c) = -3*c + 14. Let u be r(6). Let y be ((-2)/(-11))/(5 + u). Does y = -1?
False
Suppose 0 = 3*d - 7 + 1. Suppose d*s = -3*t + 2 - 3, 4*s + 4*t - 4 = 0. Suppose -y - 2*y - 23 = -s*l, -3*y = -2*l + 13. Which is smaller: l or 7?
l
Suppose 7*r - 3*r = 4*o + 12, -r = -2*o - 1. Is 5 equal to r?
True
Let f be (((-15)/(-16))/(-3)*66/11)/3. Let k = -5 - -13/3. Which is bigger: f or k?
f
Let t = -10 + 8. Let s be -3 - (-1 + 0) - t. Suppose y + 4 = -s*y, 2*m = -5*y - 10. Which is greater: 33/7 or m?
m
Suppose 3*y - 2 = 2*y. Let n be (-14 + y)*(-1)/3. Does 4 = n?
True
Suppose 220 = 5*o + 350. Which is smaller: o or -28?
-28
Let n be (2/40)/((-46)/8). Which is smaller: -2 or n?
-2
Let u = -24 + 6. Let p = 17.4 + u. Which is greater: p or -0.1?
-0.1
Let s = 212 + -1481/7. Suppose -5 = -5*b - 0. Which is bigger: b or s?
b
Let c(y) = -13*y + 22. Let d be c(0). Which is greater: d or 20?
d
Suppose -4*w - 5*k + 8 = -37, -2*k + 54 = 4*w. Suppose -5 = f - 3*q + 1, 0 = f - 2*q + 9. Let t = w + f. Which is smaller: -1/12 or t?
-1/12
Let o(h) = h**3 + 4*h**2 + 2*h + 14. Let q be o(-4). Which is bigger: q or 7?
7
Let x = 131 + -130.9. Is x != 0.1?
False
Let z be 2/(70/19) + 2. Let g = z + -12/5. Is -1 less than or equal to g?
True
Let t = 1087 - 3313/3. Which is greater: t or -17?
-17
Let h = 1083/47 + -23. Which is bigger: -1 or h?
h
Let t be (-1 - (-239)/(-7))/(20/140). Is -246 greater than t?
False
Let h = -774 + 592. Is h less than or equal to -181?
True
Let s = 155.3 + -155. Let q = -2 - -8. Is s greater than q?
False
Let v = -1242 - -1916. Which is greater: v or 675?
675
Let u(y) = -y. Let x(a) = -4*a - 14. Let f(o) = -2*u(o) + x(o). Let c be f(-8). Let v be (-1 + -2 + c)*0. Which is smaller: v or -3?
-3
Let m = 2.8 + -0.8. Let w = m - 2.1. Let y = 85 - 119. Which is greater: y or w?
w
Suppose -3*d - 3 = 0, -178 = -0*k - 3*k + d. Is 59 < k?
False
Let z = 3 - 0. Let b be z/6*2/(-4). Is b at most -0.3?
False
Suppose 41 = -9*u + 5. Let z be -2 + 5120/854 + u + 0. Is z less than -1?
False
Let j be 36/2*(-3)/(-9). Suppose 6*n = n + 15. Suppose -n*d = -j*d - 6. Does -1/2 = d?
False
Let f = -694.9 - -695. Which is bigger: -335 or f?
f
Let k(q) = q + 9. Let s be k(-5). Let o be 78/(-15) + s/(-5). Which is smaller: o or -4?
o
Let f = 8.6 - 9.56. Let n = 0.04 - f. 