d be (-1)/((0 + -1)*-1). Is d smaller than f?
True
Let p(r) = -r**2 - 7. Let q be p(6). Let f = -132 - -163. Let v = f + q. Which is smaller: v or -11?
v
Let i(x) = x**2 + 28*x + 8. Let l be i(-22). Let u = l + 1363/11. Is 0 at least as big as u?
True
Let c = -8 - -8. Suppose c*m = -5*m. Let b(z) = z**2 - 14*z - 74. Let f be b(18). Which is greater: f or m?
m
Suppose -6*j - 325 = -19*j. Which is bigger: 24 or j?
j
Let m be ((-18)/21*2)/((-150)/42). Is m less than or equal to 0?
False
Let f = 7 + 102. Let p = f - 543/5. Let s be 2/(-5) + (-8)/(-20). Is s at most as big as p?
True
Let x = 4 + -4. Let g = 1.8 + -4.8. Let y = g - x. Which is smaller: 2/9 or y?
y
Let j(x) = x**3 - x**2 + x - 1. Let p be j(0). Let a = -1233/7 + 175. Is p equal to a?
False
Let r = 32/259 - -6/37. Let c = 2 + -2. Suppose c*j = j. Which is bigger: r or j?
r
Let d = -16/3 - -221/42. Do -1 and d have the same value?
False
Let w(i) = -3 - i + 7*i + 8 + 2. Let p be w(-2). Which is smaller: p or -6?
-6
Let g be -4 + 2222/360 - 2. Let z = g + -1/180. Is z less than 0?
False
Let w(l) = 2*l**2 + 29*l + 67. Let a be w(-12). Which is smaller: 13/2 or a?
13/2
Suppose 0 = -6*s + 47 - 53. Which is smaller: -2/625 or s?
s
Let d(q) = q**2 - 5*q. Let h be d(5). Let s be -4 + 21*9/45. Is s != h?
True
Let i = -1737/4186 + -15/322. Suppose -2*g + 2 = -0*g + 4*f, g - 4*f = 1. Is i less than or equal to g?
True
Let p be (1 + 4/(-8))*34. Let s = p - 11. Which is smaller: s or 27/5?
27/5
Let t(j) = j - 9. Let c be 5 + (2/(-9) - 35/45). Let u be t(c). Are 0 and u unequal?
True
Let i = -3 - 2. Let y = i + -3. Let l = 6 + -14. Is y bigger than l?
False
Let k = 997 + -19. Which is bigger: k or 977?
k
Let f = -2/11307 - -192229/56535. Let h = -5 - -8. Which is bigger: f or h?
f
Suppose -19*j + 22*j = 0. Suppose -3*i - 12 = i. Is i <= j?
True
Let f = -0.1 + 0.2. Let o = -3530 + 3556. Is o less than or equal to f?
False
Let f = -60.4 - -60. Let u = -12 - -13.4. Let s = u + f. Which is smaller: s or 0.01?
0.01
Suppose 10*g + 26 = 36. Do -48 and g have different values?
True
Let b(c) = c**3 - c**2 - 2*c - 1. Let q be b(-1). Let r be 177/(-90) - (-3)/(-15). Let s = 205/78 + r. Is q at least as big as s?
False
Let f = 466 - 494. Is -30 < f?
True
Suppose 4*j - p - 7 = 0, -5*j - 3*p - 3 = 1. Let u be 3 + 2 + j + 1. Suppose 1 = -4*c - u. Which is smaller: c or -6?
-6
Let o(y) = -y**3 + 2*y**2. Let w be o(3). Suppose 2*x + 121 = 13*x. Let v = w + x. Is -9 at most v?
True
Let p = -170/537 + -3/179. Is 117 less than p?
False
Let z = 404349/59 + -6853. Is 0 < z?
True
Let l = -1675/59 + 1105313/38763. Let t = l + -1/73. Which is smaller: t or 1?
t
Let u(b) = b**3 - 4*b**2 - 3*b - 3. Let y be u(4). Let i be (21/14)/(y/(-8)). Let h be 2 - (-1 - (-11)/4). Is i at most as big as h?
False
Suppose -258 = -8*j - 34. Let g be (3/2)/(14/j). Let b(p) = p + 5. Let h be b(0). Which is bigger: h or g?
h
Let o = -6189/8 + 771. Let h = 533/200 + o. Is h equal to -1?
False
Let o be 63/12 + 2/(-8). Suppose -o*t = t. Are t and 19 non-equal?
True
Let o = 4/3879 - 1297/3879. Suppose -2*q = -0*q + 40. Let f be 2/q + 3/6. Is o greater than f?
False
Let m = 20 - 32. Let j be 10*-2*(-3)/m. Let c be (j/(-7))/5*-3. Which is bigger: -1 or c?
c
Suppose 19*q - 29*q - 810 = 0. Let d = -822541/10170 - 11/1130. Let s = q - d. Which is bigger: -1 or s?
s
Let x = -20.955 + -0.045. Let b = 19.1 + x. Is -2/3 >= b?
True
Let k(f) = -f**2 + 6*f + 3. Let p be k(5). Let b(o) = o**2 - 8*o + 2. Let w be b(p). Suppose 0 = 2*a - w*v, -3 = a + 3*v + 1. Is -2/15 smaller than a?
False
Let a(y) = y**3 + 5*y**2. Let m be a(-5). Let w(k) = -7*k - 3. Let s be w(-8). Suppose -4*i + 6*d - d - s = 0, 2*d = 4*i + 38. Which is bigger: i or m?
m
Let r(u) = -4*u - 27. Let v = 60 - 67. Let t be r(v). Let h = -2352/47 - -50. Which is greater: h or t?
t
Let s = -15.2 - -15. Let m = s - 0.7. Let c = 1 + -0.9. Which is smaller: c or m?
m
Let n(y) = y**3 + y**2 - 1. Let v(x) = -7*x**3 - 10*x**2 - 4*x + 2. Let j(p) = 6*n(p) + v(p). Let z be j(-3). Is -3/17 bigger than z?
True
Let l = 7 + -5. Let j = 0.0129 - 14.9729. Let r = -0.96 - j. Which is smaller: l or r?
l
Let b be (30 - 33) + 2 + 22/36. Which is smaller: b or 0?
b
Let r = 3237/45787 - 12/211. Is -1 < r?
True
Suppose 4*d = 2*u - 7*u - 15, d = 4*u - 9. Which is bigger: 12 or u?
12
Let v(u) = -2*u - 3. Let t be v(-4). Let m be ((-3 - -4)*1)/(-4 + t). Is m at most as big as 2/5?
False
Let t = 340/13 - 2435/26. Let u = t - -9049/134. Which is bigger: u or -1?
u
Let n = -0.2115 + 1.6815. Is n >= -3/4?
True
Let s = 77 + -97. Let c = s - -20.01. Are -1/2 and c equal?
False
Let r = 462 - 277. Suppose -r - 155 = 4*a - 4*m, 12 = 3*m. Is -81 at least as big as a?
True
Suppose 0 = -2*i - 2*i + 8. Let a be i/4 + 123/(-270). Suppose -h = l - 5, 0 = 3*h + 4*l - 27 + 8. Is a <= h?
True
Let q be (18/1593)/(-2)*3/(-6). Is q bigger than -1?
True
Let s = -23 + 58. Let j = s - 24. Suppose 6*c + c - 70 = 0. Is c equal to j?
False
Let n(v) = v**3 - 24*v**2 - 24*v - 37. Let a be n(25). Suppose 4*b + 21 = b. Is b greater than a?
True
Let o = -247938 - -1235576/5. Let r be (-2)/(-3) - (-4924)/(-6). Let l = r - o. Which is bigger: l or 4?
4
Let d = 8081/372 - 490/31. Which is smaller: 6 or d?
d
Suppose -3*k - 3431 = -5*r - 283, 0 = -5*k - 5. Which is smaller: r or 0.1?
0.1
Let p(x) = -x**2 - 11*x + 27. Let i be p(-12). Suppose -4*s = -6*s + 3*z + i, 2*s - 10 = -2*z. Which is smaller: 5 or s?
5
Let j be (8 - (-3 + 7)) + -34. Let s = -33 - j. Which is smaller: -10/3 or s?
-10/3
Let a be 14/1*5/(5 + 0). Let q = a + -16. Is q at least 2?
False
Suppose -4*l - 5 = -37. Suppose -t - t = -l. Let w(p) = -p**3 - 3*p**2 - p + 1. Let q be w(-3). Is t greater than q?
False
Let p(j) = 6*j + 9. Let k be p(6). Let w = 69 - k. Let t be 27/w*(-12)/9. Is t smaller than -3?
False
Suppose 3*z + 21 = w - 3*w, 3*z - 3 = 2*w. Let x(g) = g**2 + 6*g + 8. Let r be x(w). Suppose -2*l + 7 = 5*y - 5, -3*l + r = 5*y. Which is smaller: l or -5?
-5
Let k = 4 + -2. Let o = 11 + -8. Let a = o - k. Do a and -4/5 have different values?
True
Let k = -38 + 37.21. Let w = k + 0.69. Which is smaller: w or -0.07?
w
Let p be (-15 - -10)*(-2 - -1). Let r = p + 7. Let s be (-2)/15 + (-8)/r. Is s at least 3?
False
Suppose 3*z + d - 3 = 0, 4*z - 4*d + 1 = 21. Suppose -4*i + 30 = -z. Which is smaller: 7 or i?
7
Let u be (-7 + 1)*7586/(-4). Let n = -79802/7 + u. Let l = -21 - n. Which is greater: 0.26 or l?
l
Suppose -4*d - 2*f = -350, -f = 2*d + 2*f - 185. Let m = -63 + d. Is m <= 20?
False
Let v(n) = -n**3 + 3*n**2 - n - 3. Let i(z) = z**3 - 5*z**2 + 6*z - 5. Let w be i(4). Let b be v(w). Let g(t) = -7*t**2 + 1. Let x be g(1). Is x >= b?
True
Let a = 3991/300 + 3/100. Let i = -18 - -31. Which is smaller: a or i?
i
Let s = -150 - -2695/18. Is 1 > s?
True
Let w be (-1)/4 + 0 + (-22 - 6). Which is bigger: -28 or w?
-28
Suppose -84*s = -78*s - 18. Suppose -3*h = -4*x + 6, 5*h = 5*x + 2*h - 6. Suppose x = -j + 3*j - 4. Is j less than s?
True
Let c = 1954/3 + -651. Is 7/87 > c?
False
Suppose 0 = 5*d - 4*c + 21, 6*d - 11*d - 4*c + 11 = 0. Is d greater than -371?
True
Let f be (-51 - 1)*(-21)/84. Which is bigger: f or 14?
14
Let b = -21.6 + 20.49. Let i = b - -12.11. Is i bigger than -1?
True
Let f be ((-81)/(-36))/(((-36)/(-16))/(-9)). Which is smaller: f or -28/3?
-28/3
Suppose 7 = -4*j + j - 2*i, 0 = -3*j - i - 2. Suppose -12 = -4*x + 5*w, -4 = -2*x + 3*w - 0. Suppose -l = -x*l + 14. Do j and l have the same value?
False
Let i = 29938257/1814 - 16504. Are 0 and i non-equal?
True
Let w = -213 - -212.496. Is w less than 0?
True
Suppose 3*d + 2 = -2*k, 7*d + k = 2*d + 6. Suppose -a = m - d*a, 3*m + 2 = 4*a. Let v be 6*(-2)/(-8) - 0. Is m smaller than v?
False
Let p be (-729)/324*(-1)/6*12. Let c(x) = x + 5. Suppose -m = 4*m. Let i be c(m). Which is smaller: i or p?
p
Let a be 52*(-1)/(4/2 - 4). Let t = 9 - 4. Suppose 5*n + 3*y = -30 + 2, -t*n - y = a. Is -2 < n?
False
Let m = 40 - -8. Let h = 62 - m. Which is smaller: h or 66/5?
66/5
Let g(y) be the third derivative of 5*y**4/12 - y**3/2 + 16*y**2. Let p be g(1). Which is smaller: 3 or p?
3
Let m(t) = t**3 + 4*t**2 - 13. Let r be (-11)/4 + ((-42)/24)/7. Let l be m(r). Let b = 5 + -10. Are b and l equal?
False
Let d be ((-9)/(-3))/(816/162 + -5