Which is smaller: 4 or s?
s
Let j(b) = b + 66. Let s be j(-9). Is 56 at most as big as s?
True
Let l(h) = 4*h - 21. Let o be l(5). Let n = -2 + 6. Let f be (n - 4) + 4/(-10). Which is bigger: o or f?
f
Let z be (-4)/(-11 - -3)*0. Suppose 3*w - 2*o + 1 = 0, z = -2*o + 4. Is 2 greater than w?
True
Suppose -42*t = -55*t - 897. Are -7 and t nonequal?
True
Let m(x) = 6*x**3 - x**2 + 1. Let h be m(1). Let v(t) = t**2 - 4*t - 14. Let n be v(h). Is n <= 1/2?
True
Let i be -69 - (-3 + -3 + 5). Let p = i - -100. Let d be -2*(p/(-28) + 1). Which is smaller: d or 0.1?
0.1
Suppose 15 = -2*s - 3*s. Suppose n + 1 = -5*w, 0 = -2*w - 0*n - 4*n + 14. Let v be (-1 - -1)/(w + 2). Which is bigger: v or s?
v
Suppose 2*f - 2*x - 89 = 69, -x - 304 = -4*f. Which is bigger: 374/5 or f?
f
Let g = 0.707 + -0.297. Do -2/9 and g have different values?
True
Suppose 0 = -6*b + b + 35. Suppose b*q = 8*q + 1. Let p be (75/(-4))/5 - q. Are -2 and p equal?
False
Let x(z) = 62*z**3 + 2*z**2 - z - 2. Let q be x(-1). Let n = 62 + q. Which is smaller: n or -6?
-6
Suppose 46 - 40 = -3*c. Let y be ((-2)/4)/((-7)/c). Suppose -1 + 6 = -5*w. Do w and y have different values?
True
Let s be 5 + (-4 - (3 - 23))/(-3). Which is bigger: s or 13/16?
13/16
Let n be 121/(-329) + (-14)/98. Let s = n - -266/705. Which is bigger: -1 or s?
s
Let r be 5 + -2 - ((0 - 2) + 37). Suppose -4*g - 105 = -9*g. Let q = g + r. Do q and -12 have the same value?
False
Suppose 83*u + 413 = 24*u. Which is greater: 57 or u?
57
Let j be -14*(-2 - 12/8). Let c be 4/7*j/(-21). Do c and 2/7 have the same value?
False
Suppose i = 58*k - 59*k - 1, -2*i - 2 = 4*k. Let y be (-1212)/(-1845) - 4/6. Which is greater: y or k?
k
Let r = 0.77 + 0.03. Let j = -3 - -2. Let i = j + r. Is 0.02 > i?
True
Let c = 85.6 + -86. Which is bigger: c or 3.3?
3.3
Let h = -77.8 - -79.5. Let y be ((-3)/(-9))/(2/(-6)). Let i = y + 2. Is i at least as big as h?
False
Let t = 31 - 17. Let u = 16 - t. Suppose -1 = -3*i + u*i. Which is bigger: 2 or i?
2
Let j be (-2)/(-2)*44/88. Does -28 = j?
False
Let o(n) = -n + 1. Let d be o(1). Let t = -18.7 - -64.6. Let f = t + -46. Is f bigger than d?
False
Let h = -335 - -320. Which is smaller: h or 0.12?
h
Let a(l) = -4*l - 31. Let o be a(-9). Let p = 5 + 0. Suppose 3*v - p*u - 3 = -2*u, -2*u = o*v - 26. Is v not equal to 1?
True
Suppose 319 = -5*s + 2*v, v = -2*v + 6. Let t be s/180*(-6)/14. Which is bigger: 0 or t?
t
Let b(t) = t**3 + 4*t**2 - 6*t. Let c be b(-5). Suppose c*y = 13 - 3. Which is smaller: y or 4?
y
Let v be 6126/(-24) + 6/(-8). Let r = 3330/13 + v. Is -1 greater than r?
False
Let o = 0.56 - -25.44. Let s = 0.022 - 20.022. Let k = o + s. Is 0 at least as big as k?
False
Let n(b) = b**3 + b**2 - 1. Let j be n(1). Let x = -569/1167 + 60/389. Are j and x equal?
False
Let x(k) = -k**3 - 24*k**2 + 22*k - 29. Let d be x(-25). Are 46 and d equal?
True
Let k(b) = b**3 + 7*b**2 - 12*b - 27. Let u be k(-8). Suppose 16 = -2*r + 4*m, 7*r + u*m = 4*r + 9. Which is smaller: r or 24?
r
Suppose m = -4*m - j - 79, 4*j = -3*m - 61. Let x be (3/8)/(m/1330). Let a = x - -33. Is 1 smaller than a?
False
Let m be (-218)/(-10) - 1/5. Let u = -21 + m. Let v(o) = -o + 3. Let j be v(3). Is u bigger than j?
True
Let z = -2902 - -2829. Let c(y) = 37*y + 1. Let g be c(-2). Is z bigger than g?
False
Let v(p) = 2*p + 38. Let a be v(0). Suppose -3*w + 0*w + 84 = 0. Let m be a/35 - 8/w. Which is greater: m or -1/2?
m
Let f be 1/15*12/8. Let u = 35 - 33. Let a be (u/(-4))/((-6)/(-12)). Is a less than or equal to f?
True
Let r = 1176 - 1176.45. Is -0.01 != r?
True
Let p be ((-21)/12)/(4/48). Let n = p + 19. Is n greater than or equal to 0.1?
False
Let l be 2/(-7) + (-1968)/(-28) + 1. Do l and -1 have different values?
True
Let p = -755/2 - -380. Which is greater: -2 or p?
p
Let p = -210388/15 - -14044. Are 17 and p unequal?
True
Let s = -21 + 23. Suppose 5*f - 9 = -4*h, 0 = s*h - 4*f + 2. Which is smaller: h or -5/11?
-5/11
Suppose -3*x - 2*u + 1 = 0, 3*x - 7*u + 3*u - 7 = 0. Let f be x/3 + (-640)/(-24). Let g be (63/f)/((-1)/3). Which is smaller: g or -8?
-8
Let k = -3.1 - -5.1. Let v be (-60)/21*(-7)/2. Suppose 2*i - i + 4*u + v = 0, 3*i = -u + 3. Is k < i?
False
Suppose 237*x - 247*x + 3130 = 0. Is 313 greater than x?
False
Let m be 6/6 + 2 - 1452/489. Is 1 greater than m?
True
Let s = 7 + -11. Let a be 3 + (0 - 1) + 2. Suppose 0 = 3*v + a*f + 28, 32 = -4*v - 3*f - f. Is s at least as big as v?
True
Let v(m) = -m**3 + 15*m**2 + 16*m + 24. Suppose -4*j + 5*o + 69 = -15, 0 = 2*j - 4*o - 48. Let z be v(j). Is -0.2 less than z?
True
Let d = 68 - 25. Let k = d - 23. Let f = -2.7151 - -3.7151. Which is greater: k or f?
k
Suppose l - 7 = h - 5*l, -5*l = 3*h - 71. Which is smaller: h or 27?
h
Let r be 4 + 1/(-2)*46. Let i = -5 + r. Is i equal to -23?
False
Let b be (-36)/(-27) - (-40)/6. Suppose 0 = -5*i + b*i + 120. Is -40 >= i?
True
Suppose 1 + 2 = 3*u. Let z(w) = w**2. Let b be z(u). Suppose -24*g + 28*g = -8, -h + 6 = -3*g. Which is bigger: h or b?
b
Let d(p) = -p**3 - 24*p**2 - 135*p - 5. Let s be d(-9). Let l be 14/(-8) - (-2)/(-8). Which is smaller: l or s?
s
Let x(y) = 6*y + 29. Let m(v) = -2*v - 1. Let i(r) = 2*m(r) + x(r). Let w be i(-13). Suppose -2*h = 5*k + 4, 2 = 5*h - 5*k - 23. Which is greater: w or h?
h
Let g = -8 - -10. Which is bigger: 33 or g?
33
Suppose -165 = -6*b + 87. Which is smaller: b or 43?
b
Let n(a) = 8*a + 11. Let x be n(7). Let l = -240 - -241. Which is bigger: x or l?
x
Let p = -0.15 + 0.05. Let o = -0.022 + -23.978. Let z = 7 + o. Is p not equal to z?
True
Let m be 5/(-25) - 147/15. Let h be -9*m/(-35) + 3. Which is greater: h or 0?
h
Suppose 0*z + 4 = -z. Let u be (-32)/z + 0 + 2. Let y = u - 10. Does y = -4/5?
False
Let t = -18.8118 + -0.0582. Let l = -0.13 + t. Which is greater: l or 1?
1
Let o = 25 + 1. Let t = o + -13. Suppose 3*g + 5 = 2*g, 3*s + t = -5*g. Is s equal to 5?
False
Suppose 843 = 3*p - 4*k + 236, k = 2*p - 413. Suppose p = 9*u + 20. Do u and -1 have the same value?
False
Let u = 9 - -18. Suppose -5*i = -6*i - u. Does -25 = i?
False
Let j be (2 - -1)*(4/(-6) - -1). Is j less than 3/148?
False
Let t = 458.2 + -461. Is t greater than -0.2?
False
Let r(q) be the first derivative of -2*q**2 + 25*q - 23. Let y be r(6). Do -2/73 and y have different values?
True
Let w = 198 + -192. Which is greater: 32 or w?
32
Let u = 11.5 - 15. Let j = -1.5 + u. Let y = 109/260 + -1/52. Do j and y have the same value?
False
Let w = -10989 - -10988. Let i be (8/12)/(-1 + 135). Is i at most w?
False
Let x(u) = 2*u**3 - u**3 + 2 + 3*u - 3*u**2 - 3*u**2. Let m be x(5). Let j be (12/m)/((-10)/(-4)). Which is smaller: -2 or j?
-2
Let v be (-118)/(-4) + 65/130. Are v and 25 nonequal?
True
Let l = -5486 + 828389/151. Which is bigger: l or 2?
2
Let l = 0.0112 + -12.1312. Let t = 0.12 + l. Which is smaller: 1/4 or t?
t
Let j be (-35 + 19)*6/(-8). Let s = j + -61. Which is greater: -48 or s?
-48
Let v = 1784 - 1782.034. Let l = v + 0.034. Let a(k) = -k**2 + 11*k + 10. Let o be a(12). Which is bigger: o or l?
l
Suppose 211 = -12*b + 187. Which is smaller: 36 or b?
b
Let q(o) = o - 12. Let f be (20/7)/(2/7). Let w be q(f). Let l be (-4)/(-80)*-2*w. Which is greater: -0.1 or l?
l
Let d = -18.11 + 18. Let n = 19 + 9. Let z be (-16)/n + 2/7. Is z smaller than d?
True
Let a be (-2)/((-4)/12*1). Let o(y) = 4*y - 9. Let j be o(a). Is 13 bigger than j?
False
Let y = -30 + 29.66. Let a = -30.34 - y. Let k = a - -27. Which is bigger: -0.2 or k?
-0.2
Let g be (30/24)/(12/80) - 6. Let q be -1 - -1*8/2. Which is smaller: q or g?
g
Let z = 69 + -45. Is z greater than or equal to -0.03?
True
Let u(l) = 4*l**2 - 3*l - 1. Let r be u(-1). Let h be (3/2)/(r/12). Suppose -3*v + 2*v = -h. Which is smaller: 5 or v?
v
Let h = 7 - 2.5. Let s = 5.5 - h. Is s >= 0.4?
True
Let o = -8 - 22. Suppose -6*s + 2*s - 5 = -3*v, -5*v + 2*s = 1. Which is bigger: o or v?
v
Let y(l) = l**3 - 16*l**2 - 16*l - 12. Let u be y(17). Suppose -2 - u = 7*i. Which is smaller: i or 2/71?
i
Let k be 2/5 - (-24)/90. Let v = 5983/12 + -499. Is v greater than k?
False
Let z be ((-1)/(-17))/((-5)/30). Let n(w) = 14*w - 14. Let x be n(1). Is x smaller than z?
False
Let r(t) = t**3 + 5*t**2 + 6*t + 4. Let z be (-4)/2 + -3 + 1. Let l be r(z). Let u = 22.2 + -20.2. W