er: w or -0.11?
-0.11
Let g = 14 + -17. Which is smaller: 3 or g?
g
Suppose -4*f - 4*s - 52 = 0, 22 + 37 = -5*f - 2*s. Let h = f + 7. Which is smaller: h or -5?
-5
Let p = 65 + 5. Is p >= 70?
True
Suppose -11 - 13 = -2*a. Let p be a*1*3/9. Suppose b + p = 2. Does -2 = b?
True
Suppose 5*w + 9 = -7*m + 3*m, 0 = -2*w + 3*m + 1. Let h = 109/3 + -36. Which is bigger: h or w?
h
Let x(r) = -r + 5. Let b be x(4). Let p be b/36 + (-1)/4. Let o = 0 + 0.1. Is p <= o?
True
Let s = -5.1 + 5. Let b = s - 0.9. Which is smaller: b or -0.03?
b
Suppose 3*g + 10 = -2*g. Let w be -7 + (g + 3)*2. Let o = 7 + w. Which is greater: 1/2 or o?
o
Let k(b) = b**2 - 8*b - 5. Let q(u) = -u + 3. Let g be q(-3). Let o be k(g). Which is bigger: -0.1 or o?
-0.1
Suppose 0 = y + 4*t + 17, -5*t = 3 + 17. Is -3 at most y?
True
Suppose 624 = -12*b - 0*b. Is b equal to -54?
False
Let m = 1188/5 - 236. Let q be (1/(-3))/((-15)/45). Which is smaller: q or m?
q
Let g(h) = -3*h - 28. Let v be g(-9). Which is smaller: -10/7 or v?
-10/7
Let t = 14 - -8. Let a = t - 23. Are a and 3 non-equal?
True
Let d(r) be the third derivative of r**5/60 + 5*r**4/12 + r**3/2 + 2*r**2. Let j be d(-10). Suppose j*t - 7*t - 4 = 0. Is -1/4 greater than or equal to t?
True
Let i = -200 + 139. Is 1 != i?
True
Let r = 471/4 - 117. Which is smaller: 29 or r?
r
Let h(m) = m + 4. Let q be h(-2). Is 2/3 at least as big as q?
False
Let k(n) = 2*n - 1. Let u be k(-7). Let b be (35/u)/((-1)/3). Is b less than 8?
True
Let i = 4 + -2. Let g = -2 + i. Is 2/9 >= g?
True
Let l be (-3)/((3 - 3) + -1). Suppose 5*y + 6 = l*m - 1, 2*m = 3*y + 6. Is 9 less than m?
False
Let c = -9 + 11. Is c > 0.13?
True
Let v = 3.6 + 15.4. Which is greater: -1 or v?
v
Suppose -5*s - 5*y = -s + 5, -28 = 5*s - y. Let f = 4/47 + -431/94. Which is smaller: s or f?
s
Let j = -256/133 + 42/19. Which is greater: j or -31?
j
Let i = 10 + -13. Which is bigger: i or -2?
-2
Let b be (-4)/(-6) - 39/(-9). Suppose 0 = 4*o - w, 2*o + 21 = b*w + 3. Is o greater than or equal to -0.03?
True
Suppose -456 = -f - 3*f. Suppose 2*w = -4*s + f, 5*w - w = -5*s + 144. Let v be ((-2)/s)/((-3)/(-18)). Is 0 > v?
True
Let p(d) = d + 1. Let u be p(-3). Let l be (-3)/u + (-51)/30. Does 1 = l?
False
Let q(n) = -n**2 - 5*n + 9. Let u be q(-7). Let w be 16/u - 6/(-30). Is -4 less than w?
True
Let j(v) be the third derivative of v**4/24 - v**3 - 4*v**2. Let a be (-20)/6*9/(-6). Let r be j(a). Does r = -2?
False
Let j be -10*(-1 + 2/4). Suppose j*y - 5 = 5. Let b be (y - 5/3)*-3. Is b greater than or equal to 2?
False
Let n be ((-4)/10)/((-4)/20). Let m(w) = w**3 - 2*w - 1. Let p be m(n). Suppose 0 = -o - p. Which is smaller: -4 or o?
-4
Let t = 45 + -134/3. Let d be (-2)/(-7) - (-26)/(-42). Which is bigger: t or d?
t
Let d be 33/(-77) + (-32)/7. Which is greater: d or -9/2?
-9/2
Let w be 3/6 + 5/(-2). Let x = -7.87 + -0.13. Let v = 5 + x. Is w greater than or equal to v?
True
Let t be 6/70*4/(-6). Is t less than 1?
True
Let b(x) = x**3 + 3*x**2 - 4*x - 1. Let t be b(-4). Which is bigger: t or -5/3?
t
Suppose -i + 4*q = -19, -4*i - 4*q - 23 = 1. Suppose -2*s - 1 - 7 = 0. Is s less than or equal to i?
True
Suppose 26 = -2*t + 4*q, -3*t + 8*t + 2*q + 17 = 0. Let i be (-6 - t)*5*2. Let f be ((-2)/(-5))/(14/i). Which is smaller: f or -1/4?
f
Let z = 0.928 + 0.072. Which is smaller: -16 or z?
-16
Suppose -5*r = -188 - 22. Let n be 8/12 - 40/r. Is n greater than or equal to 0.01?
False
Let l = -43/3 + 286/21. Which is bigger: l or -1?
l
Let j be 5*7/(35/12). Let h be ((-2)/3)/(j/(-90)). Which is bigger: h or 4?
h
Let w = 10.3 - 11. Let q = w - -0.6. Let a = 0.5 + -2.5. Is a less than q?
True
Suppose 3*k + 0*k = -3. Suppose 3*h - 4*m = -18, -14*h + m = -10*h + 11. Which is smaller: k or h?
h
Suppose h + 1 - 4 = 0. Suppose h*b - 2 = 1. Which is bigger: 2/25 or b?
b
Let x(s) = 5*s**2 + s + 1. Let b be x(-1). Suppose 4*m = 4*g - g - 20, -2*m = b*g - 16. Which is greater: m or 1?
1
Let l = 2/597 + -4810/10149. Let i be ((-236)/152)/(17/4). Let u = l - i. Which is smaller: -1 or u?
-1
Suppose -2*i + 72 = n - 99, -4*n = -i + 108. Let y = 784/9 - i. Is -2 at least y?
False
Let x be (-4 - 0) + 2/2. Suppose 6 = 5*v - 9. Let n = -5 + v. Which is smaller: n or x?
x
Suppose -4*z + 0 - 20 = -4*o, 4*z = 5*o - 24. Let h be 11/2 + (-6)/12. Suppose 0 = -h*j - o - 1. Is -4/3 less than j?
True
Let c be 144/(-130)*20/8 - -3. Is 2/15 bigger than c?
False
Let w = -6 + -1. Let c be (-40)/14 - (-1)/w. Which is smaller: c or -2?
c
Let i be 3/9*(-3)/(-1). Let l be (-2*i)/(-1) + 0. Suppose -l*a = -a - 1. Are a and 2/9 nonequal?
True
Suppose -4*x - 2*r - 158 = 0, -5*x - 5*r - 119 = 91. Are x and -38 unequal?
True
Suppose 0 = -0*a - a + 3. Suppose 0 = -0*r - r + 2*p - 1, a*r = -2*p - 11. Let s be (-1 - 0)*3/2. Is r != s?
True
Let b(j) = -j**2 - 4*j - 2. Let w be b(-2). Suppose 0 = -w*r + 3*r. Let k be (-22)/(-18) - 2/9. Which is smaller: r or k?
r
Let g be 2 + 1*(-21)/6. Is -2 > g?
False
Suppose 0 = -0*k + 5*k + 10. Let j be ((-4)/21)/(k/(-3)). Does j = 0?
False
Suppose 0 = 2*u, 0 = -3*w + 4*w + u + 204. Let m be (w/10)/((-3)/10). Let z = -341/5 + m. Which is greater: -1 or z?
z
Suppose 0 = 4*t - 3*t - 2. Let q be t/(-13) - (-11)/(-13). Is q at most 2/15?
True
Suppose 2*x - 3*f = -4, 5*x = -0*f + 2*f + 1. Let w = -17 + 19. Is w <= x?
False
Let z be (-123)/(-4) - (-1)/(-4). Let j = z - 31. Does 6 = j?
False
Let z = -4 - -1. Let v be (z/(-9))/((-3)/(-90)). Let i be (7/(-5))/((-8)/v). Is 2 greater than i?
True
Let n = -0.9 + 1.1. Is n < -1?
False
Let c(m) = m**3 - m**2 - 9*m - 1. Let l be c(-6). Let r = l - -282. Let d = r + -417/5. Which is bigger: d or 1?
1
Let f be (3/5)/((-33)/(-45)). Which is greater: f or 1?
1
Let r = -73.95 + 74. Which is greater: r or -0.2?
r
Let p(d) = 8 + 3*d + 3*d**3 + 8*d**2 - 4*d**3 + 5*d. Let m be p(9). Let k = -11/2 + 5. Which is smaller: k or m?
m
Let n = 188 + -1314/7. Are 15 and n non-equal?
True
Let x be (-16)/(-5) + 3/(-15). Let a(d) = d**2 + 5*d - 10. Let j be a(-7). Suppose 6 = -3*l, j*t + 0*l + x*l - 6 = 0. Is t at most as big as -2/3?
False
Suppose -5*m - 17 = -7. Let f be (-2 + 2)*1 - m. Suppose 0 = -f*u + 2. Is -4 smaller than u?
True
Suppose -2*z = -z + 1. Which is smaller: -1/10 or z?
z
Let b = -0.2 + 8.2. Let d = -10 + b. Is d >= 0?
False
Let h = 2 - -13. Let w = -22 + h. Which is smaller: -1 or w?
w
Let y = 2 + -1. Let p be 5/(-9)*18/45. Is p > y?
False
Suppose 60 = -5*n - 45. Is -21 bigger than n?
False
Suppose 3*t + 10 = -2*t. Is t greater than -3?
True
Let l(h) = -4*h**2 - h. Let s be l(-1). Let a(b) = -2*b**2 - 4*b + 1. Let j be a(s). Let m = -1 - j. Is 4 bigger than m?
False
Suppose 4*b - 432 = -2*b. Which is smaller: b or 73?
b
Let k(p) = p + 5. Suppose -4*t = -2*t, -3*n + 2*t - 12 = 0. Let u be k(n). Does -1 = u?
False
Let s be 2 + (0 - -3) + -1. Which is bigger: 5 or s?
5
Let x(n) = -2*n + 9. Let f be x(7). Let b = -1 + 4. Let j be (f + b)*(-2)/(-8). Is 0 smaller than j?
False
Let r = -2.9 - 0.1. Let p = 3.1 + r. Which is greater: -14/9 or p?
p
Let r = 2 + -6. Let c = -33.8 - -38. Let q = r + c. Which is greater: -1 or q?
q
Let r(z) = -z**2 - 5*z - 6. Let p be r(-4). Let j be ((-8)/(-30))/((-1)/3). Which is greater: j or p?
j
Suppose 3*j = 2*d - 38, 5*j - d = -22 - 32. Let v = j + 10. Which is bigger: v or 2/3?
2/3
Let c(m) = 4*m**3 - 2*m + 1. Let j be c(1). Suppose -13 = j*f + 2. Are -6 and f non-equal?
True
Let u be (1122/(-1161))/((-4)/(-6)). Let t = u - -5/43. Let q(g) = g**3 + 2*g**2 - g - 2. Let n be q(-2). Are t and n equal?
False
Let q(h) = -h**2 + 5*h - 2. Let v be q(3). Let y be v/(-3)*1/(-6). Is 1 >= y?
True
Let p(g) = -g**2 + 11*g - 28. Let u be p(7). Is 1/72 >= u?
True
Let m = 4 - 4. Let l be (2 + (0 - 2))/(-1). Let p be l + ((-5)/1 - -3). Is p not equal to m?
True
Let b(i) = -i + 8. Let u be b(4). Let h be (1 + -2)/((-14)/u). Let k(c) = -c + 1. Let m be k(0). Is h at most as big as m?
True
Let l = -1309/24 - -173/3. Is l less than 3?
False
Let v = -87 + 523/6. Let b be 4/(-22) + (-70)/(-22). Let i = 2 - b. Which is greater: v or i?
v
Let c = 1 + -2. Let n(q) = -12*q**2 + q - 2. Let y(k) = -6*k**2 + k - 1. Let p(x) = 3*n(x) - 5*y(x). Let v be p(c). Are -5 and v unequal?
False
Let z be 3/(-12) - 51/36. Which is greater: -3/5 or z?
-3/5
Let l be 