smaller: l or p?
p
Let q = -124839/127 - -983. Is -1 < q?
True
Let y = 88 + -266/3. Is y smaller than 0?
True
Let w be 8/((-10)/(-14)*(-2)/5). Is w > -29?
True
Let y = -14 + 10. Let j = 0 + -2. Let w be ((-6)/(-4)*j)/1. Which is smaller: y or w?
y
Let z = -118 - -119. Which is smaller: z or 10?
z
Let q(p) = -3*p**2 + 6*p - 1. Let g be q(4). Let o = g - -124/5. Do 0 and o have the same value?
False
Let o be 18/21*42/9. Is o at least as big as 4?
True
Suppose 0 = d - 4*d + 48. Suppose 3*x = b - 16 - 7, x + d = 2*b. Which is greater: x or -4?
-4
Let a = -0.2 - -0.3. Suppose 4*r - 25 = -125. Let o = r - -77/3. Which is greater: a or o?
o
Let v be (-2)/6 + (-7)/(-3). Let g(d) = 0*d - v + 6*d - 3*d. Let i be g(2). Which is smaller: 3 or i?
3
Let n be 72/15 - 5 - (-18)/15. Is -5/22 greater than or equal to n?
False
Let q = 1 - 15. Let z be (-4)/q + 222/252. Which is smaller: z or 0?
0
Let m(j) = 14*j + 51. Let z be m(-4). Let l be 6/21 + 312/(-14). Let t = l + 16. Which is smaller: t or z?
t
Let o be 12/(-3)*-1 - 5. Do 1/10 and o have different values?
True
Let d be (-6)/(-10) - (-3 - 2). Which is greater: 6 or d?
6
Suppose -r + 27 = 4*r - 3*v, -5*v = r - 11. Let q(k) = -k + 9. Let y be q(4). Is y greater than or equal to r?
False
Suppose g = -2*t - 24, -3*g - 82 = 4*t - 16. Let q be (-15)/g*12/(-45). Let a(w) = w - 1. Let p be a(0). Which is smaller: q or p?
p
Let o be 12/(-140)*21/6. Are 0 and o equal?
False
Suppose -2*a + 4 = -2. Let u = 1 + a. Let f = u + -1. Which is smaller: 2 or f?
2
Let n be (-3)/(-2)*(-2)/(-3). Let p be ((-2)/3)/((-4)/n). Are p and 1 unequal?
True
Let w = -106.8 - -107. Which is smaller: 0.5 or w?
w
Let k be ((-6)/(-3) + 1)*23. Is k < 69?
False
Let c be (-2)/5 + (-2)/(-5). Suppose -2*x + x + 27 = c. Let z = -83/3 + x. Which is smaller: -1 or z?
-1
Let i(j) = j**3 - 5*j**2 + 3*j + 4. Let l be i(4). Suppose l = -2*b + 12 - 2. Let r = -1 + b. Does 3 = r?
False
Let s(v) = -2*v**3 - v**2 - 2*v - 1. Let b be s(-1). Are 1/2 and b equal?
False
Let l = 32 + -31.9. Is 2/7 smaller than l?
False
Let u(w) = w**2 + w - 2. Let r be u(-3). Suppose 5 = -5*i - 5*g - 5, 4*i + 2*g = 2. Is i < r?
True
Let k be -1*(-2)/(-10)*910/364. Suppose -g = 4*g. Let f = g - 0. Is k greater than or equal to f?
False
Let x be (-3)/3 - (5 - -1). Let c = 12 + -24. Let g = x - c. Is g at least as big as 5?
True
Let r = 286 + -842/3. Is 4 at least as big as r?
False
Let q = -31 - -19. Are 1 and q unequal?
True
Let b be (-6)/(-70) + (-4)/14. Let z(m) = 4*m**2 + 2*m + 1. Let v be z(2). Suppose -3*n = 5*s - 0*s - 17, 5*s - v = n. Is b < n?
False
Let x be (-2)/5 - (-14)/10. Let u = 6 - 4. Suppose -2*k = 4*v - u - 2, -2*v + 6 = 3*k. Is k < x?
False
Let z = 16 + -17. Which is greater: z or 1/6?
1/6
Suppose 0 = z - 5*w - 22, 5*z - 2*w - 24 + 6 = 0. Is z < 0?
False
Suppose w - a + 5*a = -1, 4 = 3*w + 5*a. Let i be 0/(((-28)/(-70))/(1/(-5))). Which is greater: i or w?
w
Let p(b) = b**3 - 3*b**2 - 4*b + 4. Let r be p(3). Let h = r + 3. Which is greater: h or -6?
h
Let k = -33/56 + 3/14. Let t be (-3)/(-6) + (-2)/12. Which is bigger: k or t?
t
Let w(g) = -g**2 + 9*g - 13. Let a be w(7). Which is bigger: -10 or a?
a
Let o = -4 - -8. Suppose o*t + 3 = -1. Which is bigger: t or 3?
3
Let j be (1 - 2)/(4/(-8)). Let q be 2/j*(3 + -1). Suppose 2*i + 12 = g - i, i = -q*g + 17. Is g at most as big as 10?
True
Suppose 3*h = -2*h + 5. Suppose -3*s - 3 = -g, -2*g - 5*s - 5 = -0. Suppose g = -5*x - 0*x - 10. Which is smaller: h or x?
x
Suppose 4*x + 10 = -10. Which is smaller: -3 or x?
x
Let f = -0.36 - -0.76. Let s = -2/71 + -67/142. Which is smaller: f or s?
s
Let h be (0*1/(-3))/1. Which is smaller: -1/3 or h?
-1/3
Let k be 1 + -1 - 2/37. Suppose 0 = 3*l - 7*l. Which is greater: k or l?
l
Let m = -4 - -10. Let q be (-48 + 0)*m/(-27). Let p = -65/6 + q. Which is smaller: p or -1?
-1
Let l = -0.2 + 0. Let r = l + -0.8. Let d = -2/313 - 616/1565. Which is smaller: d or r?
r
Suppose 0*u = -5*u - 5. Is u less than -6/13?
True
Let w = -0.18 - -0.202. Is w > 1/2?
False
Let g be (-4)/(-1*8/36). Is g >= 16?
True
Suppose 0 = y - 2 + 7. Suppose 2*w = k + 4, -3*w = k - 2*w + 7. Which is greater: k or y?
y
Let d = -0.11 - 0.89. Which is greater: 1 or d?
1
Let i = -11 - -7. Is -5 less than i?
True
Let u = -0.3 - -0.2. Let r = 18 - 16. Let d be (r/15)/(1/(-5)). Is d >= u?
False
Let z be ((-34)/(-18) - 2)*(-2 + 5). Which is smaller: z or -0.6?
-0.6
Let o be (-712)/(-40) - (-1)/5. Let h be (-1)/(-6) + (-3)/o. Is h less than 1/4?
True
Suppose -40 = -5*r + 5. Which is greater: 4 or r?
r
Let y(b) = 11*b - 5. Let n be y(4). Suppose 5*f = 4*t + 17 + n, 2*f - 44 = 4*t. Does -10 = t?
False
Let r be (2/(-30))/(7/(-42)). Is -0.12 greater than or equal to r?
False
Let s = 14 - 9. Suppose f - 5 = -g, s*f - 20 = -2*g - 7. Let z = 0.08 - 0.08. Is f > z?
True
Let z = 0 + -8. Is z <= -9?
False
Let q(b) = -b**3 - 24*b**2 - 24*b - 22. Let o be q(-23). Let f be 2*42/40 - 2. Which is smaller: o or f?
f
Let s = -10 - -12. Which is greater: s or 11?
11
Let m = 77 + -75. Let q = -4/57 + -26/171. Which is bigger: q or m?
m
Let z = 334 + -2667/8. Which is smaller: -2/5 or z?
-2/5
Let u be (-12)/(-16)*-1*-8. Which is smaller: 4 or u?
4
Let c(z) = 2*z**3 + z**2 - 1. Let i be c(1). Let w be (-1)/4 - (-3 + 2). Are w and i nonequal?
True
Let s be (22/(-8) - -2)*12. Do -1 and s have the same value?
False
Suppose -14 = -2*a + 5*j, -4*a - j + 6*j = -18. Let l(f) = f**2 + 9*f - 6. Let t be l(-10). Suppose a*w - 2 = t*w. Which is bigger: -4/3 or w?
w
Let u = 6/437 + -2688/4807. Which is greater: -1 or u?
u
Let h(j) = -3*j**3 - j**2 + 2*j - 2. Let r be h(1). Which is smaller: r or -7/2?
r
Let v = -166 + 165.8. Let a = -2 - -1.7. Let j = 0.1 + a. Is v greater than j?
False
Let d = 1.9 + -2.2. Are -2 and d nonequal?
True
Let k be (3 - 6)*(-2)/(-46). Which is greater: 0 or k?
0
Let w = 8 + -4. Suppose -2*g = 2*t, g = 4*g + w*t - 2. Is -2 != g?
False
Let m(y) = -2*y**3 + 2*y**2 - y + 2. Let k be m(2). Which is bigger: k or -9?
k
Let l = -17 - -18. Is l < 62?
True
Let m(i) = -i + 26. Let l be m(-17). Which is smaller: l or 44?
l
Suppose -15*u + 10*u = 5. Which is smaller: -2/7 or u?
u
Let q = -3 + 47/15. Let p = -8 + 7. Let o = 0 - p. Is o smaller than q?
False
Let d(t) = -5*t**3 + 3*t**2 - t + 2. Let m be d(2). Let s = 19 + m. Which is smaller: -10 or s?
-10
Let b = 0 - 0. Let f = -1441/15 + 96. Which is smaller: f or b?
f
Let r = 4.5 - 4.2. Is r bigger than -5?
True
Let h(t) = -6*t - 1. Let k be h(-6). Let x be 10/k + 18/(-14). Let r be ((-3)/12)/(1*6/(-8)). Which is bigger: r or x?
r
Let n = -6 + 4. Let r = 0 + n. Let q(h) = -h**2 + h. Let g be q(2). Is r not equal to g?
False
Let h = -14 - -15. Is h <= 7?
True
Suppose 5*i - 15 = o + 4*o, 3*i + 5*o + 15 = 0. Suppose i = 2*h + h. Is h not equal to -4/5?
True
Let z(v) be the first derivative of -v**3/3 + 3*v**2 - 4*v - 1. Let n be z(4). Suppose 9 = n*s + l, 0 = 5*s - 3*l - 4 + 14. Does s = 2?
False
Let c be 40/6*(186/24 - 7). Is 3 bigger than c?
False
Let d(r) = -6*r**3 - 2*r**2 + 2*r + 3. Let s be d(-1). Suppose x - 5*t = 14, 4*x - 5*x - 2 = 3*t. Which is smaller: x or s?
x
Let v be (4/(-6))/(-4 - -3). Let n = 0.1 - 0. Let k = 0.5 - n. Which is smaller: v or k?
k
Let m(j) = 11*j**3 + 9*j**2 - 5*j + 5. Let v(z) = -5*z**3 - 4*z**2 + 2*z - 2. Let g(k) = 3*m(k) + 7*v(k). Let f be g(1). Let w = f - -3. Is w smaller than -2?
False
Let k(r) = -r**3 + 2*r**2 + 8*r. Let a be k(4). Is a < 5/6?
True
Let k(l) = 15*l + 2. Let s be k(7). Let o = s - 209/2. Is 4 at least as big as o?
True
Let t = 22/21 + -332/357. Suppose 0 = 6*l + 2*l - l. Which is smaller: t or l?
l
Suppose -2*i + 6 = -2*u - 0*i, -4*u - 5*i + 6 = 0. Let f be ((-8)/(-24))/(0 + u). Is -4 less than f?
True
Let b be (-1)/(-6) + (-1)/2. Let h = -685/2 - -355. Let j = 13 - h. Is b bigger than j?
False
Let k = -179 + 299. Let b be 6*4/k*-4. Let a be 8/(-5) + (-4)/10. Which is bigger: a or b?
b
Suppose -3*r + 4*r = 8. Let k be r/28 + (-4)/14. Which is smaller: 1/2 or k?
k
Let n(b) = b + 11. Let p be n(-11). Is 23 != p?
True
Let z = -113/357 - 2/119. Which is smaller: z or 2?
z
Suppose -2*b + 12 = -6*b. Let q(v) = v + 4. Let s be q(b). Which is bigger: s or 3?
3
Let o = 3 - 7. Let r = 5 + o. Is 1/3 less than r?
True
Suppose 0 = -2*t - 4*