4. Let i = 2 + -7. Let u be o(i). Is j at most u?
False
Let h be (-4)/(-22) - (-788)/264. Are h and 3 equal?
False
Let l = 80 - 79. Is -22 < l?
True
Let s be (-3)/9 - 4/(-3). Let n = 1 - -1. Let p be n/20 - 2/(-5). Is p greater than s?
False
Suppose -2*r + 0 + 6 = 0. Suppose 0 = a + m, 2*m = 2*a + 1 + r. Let j = a - 0. Which is smaller: 0 or j?
j
Let z(c) = -c**3 + 13*c**2 + 1. Let h be z(13). Let v(k) = k - 2. Let j be v(4). Are j and h equal?
False
Let l = 23 - 29. Which is smaller: -10 or l?
-10
Let w = -0.04 + -0.76. Let n = 1.8 + w. Let b = -0.7 + n. Are -1 and b non-equal?
True
Let n = -23 + 40. Which is bigger: 16 or n?
n
Let h be 7/5 - (9 + -4 + -4). Let z = 30.4 + -28. Let y = z - -0.6. Which is greater: y or h?
y
Suppose -2 = -j - j. Suppose 0 = -4*i + 5*m + 10, j - 7 = -3*i + 3*m. Suppose l + 3 + 0 = i. Are -2 and l equal?
False
Suppose 2*w - 4*x - 15 = x, -3*w - 3*x = 30. Let z(r) = -r - 5. Let h be z(w). Let q be h*(2/(-4) + 0). Is 2 equal to q?
False
Let q = -44 + 43. Suppose 6 = 2*a - 22. Let k be (-4)/a + 5/14. Which is greater: q or k?
k
Let h = 28 - 194/7. Let j = -4.9 - -5. Which is bigger: j or h?
h
Let j = 84 - 54. Let b be 8/j*(-3)/(-6). Let w = 29 - 29. Which is smaller: w or b?
w
Suppose 14 = 7*m + 7. Let p = 5.85 + 0.15. Is p bigger than m?
True
Let x(f) = -5 - 4*f + 4*f + f. Let m be x(4). Let y be (3/18)/((-25)/45). Is m at least y?
False
Suppose l - 7 + 4 = -c, 4*l - 7 = c. Which is bigger: c or -1/29?
c
Suppose 0 = -2*a + 4*a - 10. Let j(s) = s**2 - 4*s + 2. Let n be j(a). Do 6 and n have the same value?
False
Let j(p) = 8*p - 1. Let c be j(2). Let u = c + -13. Which is bigger: 0 or u?
u
Let l = 2.3 - 0.3. Let y = -0.5 + 0.4. Let m = y + 0.1. Which is greater: l or m?
l
Suppose -20 = 5*o - 2*h, -3*h + 18 = o + h. Let c be (3/5)/(6/(-16)). Which is smaller: o or c?
o
Let i = -72 + 142. Suppose r - i = 5*k + 5*r, 0 = -5*k - 3*r - 65. Which is greater: k or -11?
k
Let q = -66 + 66. Which is smaller: -0.07 or q?
-0.07
Let a = 17 - 7. Is 11 greater than or equal to a?
True
Let p = -5 + 5.1. Let i(g) = g**2 + 5*g + 4. Let k(h) = -h + 1. Let f be k(5). Let z be i(f). Is p equal to z?
False
Let n(z) = z**2 + 5*z + 6. Let o be n(-5). Is 8 <= o?
False
Suppose 3*f = 5*g + 32, f - 3*g - 2*g - 24 = 0. Suppose -5*u = -16 + 1. Suppose -u*l - 4*s - 6 = -s, -f*l = 2*s + 2. Which is greater: l or 0?
l
Let g = -0.21 - -1.81. Let v = g + 1.4. Is v != -2/5?
True
Let f be (-4)/(-40)*118/(-7). Let y = f + 9/7. Which is smaller: 0.6 or y?
y
Let k = -14 - -17. Which is greater: 0 or k?
k
Let l = 26 - 23. Is l at most as big as 0?
False
Let m be -2 + (102/(-16))/(-3). Suppose 0 = 2*y + 3 - 1. Which is smaller: y or m?
y
Let q(v) = v**3 - 10*v**2 + 21*v - 1. Let m be q(7). Let t = -1/129 + -899/516. Is t smaller than m?
True
Let l = -0.2 - -0.22. Let d = l + 1.98. Let g = 2.2 - d. Is 0.2 smaller than g?
False
Let x = -145 - -143. Which is smaller: 0.4 or x?
x
Let c be 1*(-10)/(-15) + 141/(-9). Which is bigger: -19 or c?
c
Let y = -239 + 150. Let r = 129 + y. Suppose 4*a + 16 = 0, -5*b + r = -b - 5*a. Is 4 equal to b?
False
Suppose 3*p = 3*s, 5*s + 1 = -0*p + 4*p. Let f be p*(-2)/2*-1. Is f less than or equal to 1/6?
True
Suppose 0 = k, f - 1 - 2 = -3*k. Is 13 > f?
True
Let c be (52/(-12) + 4)*-10. Let g = c + -64/21. Let j = -6.94 + 7. Which is greater: g or j?
g
Let q be 4/6*-8*3/(-36). Is -1 > q?
False
Let h = 41 + -17. Let m be (-15)/h - (-2)/4. Let b(c) = -c**3 + 9*c**2 - 8*c + 1. Let a be b(8). Are a and m unequal?
True
Let b be (-5)/(-20) - 42/8. Let v be 2/4*(-3 - b). Let j(y) = -y**2 + 6*y - 3. Let d be j(5). Is v equal to d?
False
Suppose -5*a + 9 = 84. Let t be 5*3/a*-1. Is t < 1?
False
Let y = 4 + -3. Let t be 0 - (1 + y) - -1. Let a be (-2 - -3 - 0) + t. Is 1 bigger than a?
True
Let o = -0.5 - -0.5. Let h = 14 - 41/3. Is o >= h?
False
Let s = 182 + -183. Is 1/8 not equal to s?
True
Let s(b) = -b**3 - 6*b**2 - b - 4. Let l be s(-6). Suppose 2*w + 3*c = -4, -l*w + w - 4*c = 7. Which is bigger: w or 1/2?
w
Let p = -9 - -6. Let k be 6/(-4)*(-16)/(-24). Is p at least as big as k?
False
Let l = 152 - 120. Which is smaller: 31 or l?
31
Let t(z) = 4*z**2 + z - 1. Suppose 12 = -4*b, -4*b - 14 = 5*s - 4*s. Let c be ((-2)/(-2))/(s/(-2)). Let v be t(c). Is v smaller than 1?
False
Suppose 0 = -4*g + 72 + 12. Let d be (-6)/(-21) + 78/g. Is d at most 2/3?
False
Let d be 17/(-3)*(-9)/(-87) - -1. Which is greater: d or -1?
d
Let l(m) = m**2 + 4*m + 2. Let d be l(-4). Let n be (0 + -4)*(-1)/d. Suppose -3*w - 22 = 4*a, 0*w + n*a + 16 = -4*w. Which is greater: -1 or w?
-1
Let d = -28 - -11. Let i = -12 - d. Is i > 1?
True
Let s = 0.3 - 0.1. Let o = 13.2 - 13. Let a = o - s. Is 0 at least as big as a?
True
Suppose 4*o - 12 = 4*z, 2*z = 6*z - 2*o + 22. Do -8 and z have different values?
False
Suppose -3*v + 17 - 23 = 0. Let q = 4 + -6. Is v greater than or equal to q?
True
Let h = -6 + 16. Let i be 2/(-9) + 380/36. Let v = i - h. Which is smaller: -1 or v?
-1
Let o = -1.4 + 0.4. Let a = -2 + o. Let q be 6/72 - (-1)/(-3). Do a and q have the same value?
False
Let u be -10*(9/(-6))/(-3). Is -2/7 at most u?
False
Suppose 5*v = 5*m + 300, -134 = 5*v - m - 422. Let z = -286/5 + v. Which is smaller: z or -1?
-1
Let j = -27 + 26.95. Is 0 != j?
True
Let q = -8 + 10. Suppose -13*c + q = -12*c. Do c and 2 have the same value?
True
Suppose 2*i - 5 = 3. Suppose 0 = -4*v + i + 8. Is v less than or equal to 2?
False
Let g = 1 + -0.9. Let s = 4 + -8. Which is bigger: s or g?
g
Suppose 0 = 2*o - o - 2. Let q(i) = 2*i**3 - 2*i**2 + 3*i. Let h be q(o). Let c be (-8)/28 - (-60)/h. Which is bigger: 3 or c?
c
Let n be (-6)/15 - 32/(-30). Suppose 5*j - 4*u + 0*u + 4 = 0, -u + 8 = -3*j. Let k be -3 + 0 - 15/j. Which is greater: n or k?
k
Let t = 0.022 + 0.078. Which is greater: t or 1/5?
1/5
Let a(n) = -n**3 - 8*n**2 - 5*n - 16. Let w be a(-8). Does 26 = w?
False
Let q = 13 + -8. Let x = 0.01 - 5.01. Let n = q + x. Which is smaller: n or 1/3?
n
Let f = 7 + -2. Let m = -6 + f. Which is greater: 2/3 or m?
2/3
Suppose 2*m - 20 = -5*f + 4*m, 0 = 5*f - 4*m - 20. Let r(o) = o**3 + 5*o**2 - 5*o + 8. Let g be r(-6). Is g less than f?
True
Let v(j) = 6*j**3 - j**2 - 2*j + 2. Let x be v(1). Are 0.4 and x equal?
False
Let q = -76.96 - -77. Is 0.5 at most as big as q?
False
Suppose -4*z - 4*h = -2*h + 26, 0 = -z - 2*h + 1. Which is smaller: z or -10?
-10
Let c = 1/17 + -37/51. Suppose v + 1 = 5*s - 6, 2*s = -v. Is c less than v?
False
Let s(d) = -2*d**2 + 9*d + 3. Let m be s(-2). Which is smaller: m or -22?
m
Let h = -7 + 7. Is h greater than 0?
False
Let r = -2/101 + 216/707. Which is bigger: r or 16?
16
Suppose -2*k + 4 = 3*k - 2*z, 5*z = k - 10. Which is greater: 5/8 or k?
5/8
Let q = -1093/2 - -570. Does q = 24?
False
Let w be 30/(-8) - 8/32. Let p be w/8 + 2 + -2. Is 0.2 smaller than p?
False
Let z = 12.9 - 12. Let l = 0.6 - -0.4. Let u = z - l. Which is smaller: u or -1?
-1
Let x(v) = v**2 - v - 1. Let i be x(0). Let d be (3 + i)/(4/(-8)). Which is smaller: d or -5?
-5
Let w be 2 - 4 - 37/(-19). Let j = 35/57 - w. Is 1 < j?
False
Let j(t) = t - 15. Let w be j(16). Is w less than 1?
False
Suppose 0 = 3*p + 2*p - 10. Is p smaller than 2?
False
Suppose 5*k - 2 = 3*k. Let s(n) = n**3 + n**2 - n. Let p be s(k). Let y be 3/(-1) - (-11)/4. Which is smaller: y or p?
y
Let j = -0.47 + 0.74. Let z = j + -11.27. Which is smaller: 1 or z?
z
Suppose -i - 4*i - 55 = 0. Let z be (i - -3)/((-2)/4). Let n = z + -31/2. Which is smaller: n or 0.2?
0.2
Let n = -0.05 - 0.15. Let u = -0.31 + 0.11. Is n <= u?
True
Suppose 0 = -4*h + 2*x - 3 - 7, h = 2*x + 5. Which is bigger: -17/4 or h?
-17/4
Let n(u) = -4 + 0 - 2 - 2*u. Let a be n(-4). Is a less than 3/4?
False
Let w be -7 + 3/2*(5 + -3). Let h = -358/5 + 72. Which is bigger: w or h?
h
Let w = -60719 - -1214641/20. Let p = 13 - w. Does p = -1?
False
Let j = 10 + -6. Let v = -362 - -367. Is j bigger than v?
False
Let x = -8/51 - -2/51. Suppose 3*q - 5*h - 13 = 0, 0 = q - 3*h - h - 9. Which is bigger: q or x?
q
Let x = -23 - -20. Which is bigger: x or 1/4?
1/4
Let f be 1*(-3 + -1 + 4). Suppose -42 = -5*n + 2*n. Suppose -5*p = -4*k - f*p - 12, -3*k = 2*p - n. Which is greater: 1 or k?
k
Let a(k) = -3*k + 1. Let c(p) = 2*p - 13. Let y be c(6). Let u 