ual?
False
Let o be (2/6)/(57/36). Which is smaller: o or -1?
-1
Suppose 3*b - 7 + 4 = 0. Are b and -2/57 non-equal?
True
Let x be (9/(-27))/(1/(-21)). Let b(w) = -w**3 - 5*w**2 - 5*w + 2. Let o be b(-4). Is o bigger than x?
False
Let b = -31 + 38. Which is smaller: b or 8?
b
Let p be 2*2/(-3 - -47). Which is smaller: 1 or p?
p
Let q be (-2)/(-2)*(1 + 4). Suppose -5*n = -s + 3*s + 50, -3*n + q*s - 61 = 0. Let r be ((-2)/(-4))/((-27)/n). Which is bigger: 0 or r?
r
Let c be (-2)/4 + 621/(-12). Let w = 52 + c. Which is smaller: w or -1?
-1
Let p = 27579/70 - 394. Is -1 < p?
True
Suppose c - r + 4*r = -22, -5*r - 39 = 2*c. Are -7 and c equal?
True
Let r be (-2)/7 - (-174)/21. Suppose 0 = -5*x - 3 + r. Which is smaller: -2 or x?
-2
Let l(o) = -3*o**3 + 3*o**2 + 3*o + 3. Let k be l(-2). Let s = k - 21. Let a be (2/20)/((-2)/s). Which is smaller: a or -1?
-1
Suppose 0 = -2*u - 4*g + 10, 2*u - g - 3 = -18. Are u and -5 nonequal?
False
Let b = 67/2 - 33. Let d(o) = -o + 15. Let z be d(11). Suppose 5*t - 2*w - 13 = -0*w, 5*t - z*w - 21 = 0. Is t less than or equal to b?
False
Let d = -10 + 10. Which is bigger: d or -1/5?
d
Suppose 5*f + 5*g = 17 + 8, 0 = -5*f + 2*g + 25. Which is greater: f or 36/7?
36/7
Let l be (36/154)/((-9)/(-42)). Suppose y + 0 - 2 = 0. Is y at most l?
False
Let g = -0.07 - 4.93. Let s = g + 5. Let w = 0.1 - s. Is w at most as big as -1?
False
Let n(l) = -l**2 - l + 9. Let p be n(0). Let y be 1 + (24/p - 3). Which is smaller: 2/5 or y?
2/5
Let h = 0 - -1. Suppose -s = h - 0. Which is greater: 0 or s?
0
Suppose -8 + 3 = -2*r + l, 0 = -3*r + 5*l + 18. Let q(j) = -j**2 + 5*j - 3. Let n be q(4). Let y = n + r. Is y bigger than 0?
True
Suppose -3*x + 0*x = 0. Let a = 118/63 - 13/9. Is x at least a?
False
Let l be (2/(-12))/(2/4). Let x = -11 + 12. Let g = x + -0.8. Is l less than or equal to g?
True
Let g = -24 + 24. Let m = 32/225 + 2/25. Which is greater: m or g?
m
Suppose 0 = k - 3 + 2. Suppose 4*b - 2 = 2*b. Let u = k - b. Which is bigger: -0.2 or u?
u
Let y = 2.95 - -0.05. Let n = 120 - 128.3. Let t = n + 8. Which is smaller: y or t?
t
Let h = -3 + 5/2. Which is bigger: h or 0?
0
Suppose 3*l + 4*i = -19, 4*i - 6 = l + 5*i. Let h = -3 - l. Which is smaller: 4 or h?
h
Suppose 0 = 4*i + 4*p - 0*p, -2*p - 1 = i. Let g be (8/7)/(2/i). Which is bigger: 2 or g?
2
Let m = 22/69 - -8/23. Is m > 2?
False
Let n be (-1)/((-36)/978) - (-2)/(-12). Is 27 smaller than n?
False
Let o be 2/2*(-15)/3. Let x(q) = 6*q**2 + 20*q + 17. Let s(m) = -4*m**2 - 13*m - 11. Let y(l) = o*x(l) - 8*s(l). Let v be y(-2). Is 3 less than v?
False
Let y = 12 - 20. Let r = 10 + y. Is r at least 0.2?
True
Let c be (-215)/(-25) - 6/10. Let r = c + -6. Let n(k) = -k - 1. Let g be n(-3). Is g bigger than r?
False
Let o be 0 - (2*399)/3. Let u = o + 805/3. Which is smaller: 1/4 or u?
1/4
Let t be ((-2)/3)/(-3 + 7/42). Which is smaller: t or -1?
-1
Suppose 0 = 5*h + 5*x, 2*h - 20 = -h + 2*x. Suppose -21 = 4*m - 5. Let f = m + h. Are f and 2/3 nonequal?
True
Suppose -2*m = -5 - 19. Let c = m + -18. Are -2 and c unequal?
True
Let o be ((-5)/10)/(13/12). Which is smaller: o or -2?
-2
Suppose -2*n - 4 = -2*k - 0, 4*n + 5*k = 19. Which is greater: -6/17 or n?
n
Suppose -9*i = -14*i. Suppose i = 2*p + p. Is p >= 2/43?
False
Let g(y) = -y**3 + 7*y**2 - 2*y - 6. Let s be g(7). Let u be 3/(-18)*s*-3. Is -9 < u?
False
Let t = 105 - 109. Is -2/63 at least t?
True
Suppose -r = -2*f + 21, -r - 4*r - 3*f = 53. Is -13 greater than r?
False
Let w = -2 - 0. Let z = 2.28 - 0.38. Let r = z + w. Is -1 at most as big as r?
True
Suppose 3*l - 27 = -4*f, 22 = -0*f + 4*f - 2*l. Let m be (f/(-45))/((-2)/6). Let g = -0.1 - 0. Which is bigger: g or m?
m
Let h = -0.057 + 2.117. Let i = h - 0.06. Is i at least as big as -1?
True
Let a(k) be the first derivative of k**6/360 + k**5/24 - 7*k**4/24 - 2*k**3/3 - 4. Let u(o) be the third derivative of a(o). Let t be u(-6). Is t at most 0?
True
Let s(p) = p + 12. Let g be s(5). Is -3/5 < g?
True
Let n = 19666/537 + 8/179. Suppose -5*z + 5*i - 170 = 0, -3*z - 110 = -0*z + i. Let g = z + n. Is g at most as big as 2?
True
Suppose -5*d = -24 + 9. Suppose -4*g - 3*i - d = 4, -2*i - 6 = 4*g. Is g at most 3?
True
Let a = 6 - 3. Suppose h + h = 4*u - 6, -5*h + a*u = 8. Which is greater: h or 2/7?
2/7
Let r = 3 - 7. Let s = r + -2. Is -6 bigger than s?
False
Let h(m) = -7*m**3 + m**2 - m. Let c be h(1). Let p = -15/2 - c. Let t = -16 - -16. Which is bigger: t or p?
t
Let g be 6/((-2)/((-4)/15)). Let z be (-1)/(((-20)/8)/5). Is g at least as big as z?
False
Suppose -8 = -11*o + 15*o. Which is smaller: o or 0?
o
Let g be (-1)/(-3) - (-3)/(-9). Suppose -i = -g*i. Is 0 at least i?
True
Let y(j) = -j**2 + 7*j + 24. Let k be y(10). Is k > -9?
True
Let i = -154.33 + 161.3. Let l = -7 + i. Let o = l + -0.07. Is 1/5 greater than o?
True
Suppose 540 = -6*w + 11*w. Let p be (w/336)/(6/7). Suppose 6 = -5*i + 1. Is p at least i?
True
Let l be -2 + 1 + (-57408)/(-1485). Let z = -4/495 - l. Let j = 38 + z. Which is bigger: -1 or j?
j
Let v = 5 - 5. Let h = -464/7 - -66. Which is bigger: v or h?
v
Suppose -i - 3*i = -s + 25, -5*i - 20 = 0. Is s smaller than 4?
False
Let u = 92 + -86. Which is smaller: u or 2/13?
2/13
Let n be (-18)/4*(-10)/(-15). Is -6 less than n?
True
Let r be (3/18)/(1/(-62)). Let g = r - -83/6. Is 4 less than or equal to g?
False
Let f = 10 + -2. Let s(y) = -4 - 4*y**3 + 7*y**3 - 8*y**2 + y - 2*y**3. Let x be s(f). Is x less than or equal to 4?
True
Suppose 5*x - 26 = k, 16 = -k - 2*x + 5*x. Which is greater: -2 or k?
k
Let j be 0 - (-75)/(9/(-3)). Let y = j - -13. Are y and -12 non-equal?
False
Let a be ((-4)/32)/((-18)/44). Let f = 5/12 - a. Which is smaller: 1 or f?
f
Suppose 23*x - 22*x = 8. Let l be 60/x*(-1 + -1). Which is smaller: -14 or l?
l
Let n be (-32)/108 + (-2)/(-9). Do 0 and n have the same value?
False
Suppose k = -3*k. Let m = -390 + 23012/59. Let x = m - 65/177. Which is smaller: x or k?
x
Let o be (1/21)/(7/(-14)). Is o bigger than -1?
True
Let o = -2 + 2.5. Let b = o + 0.5. Which is smaller: -1/5 or b?
-1/5
Let g be (-12)/(-24)*(-1 - 1). Let x = -4 - g. Which is bigger: x or -2?
-2
Let m be 2/(-5) + 1540/(-400). Which is bigger: m or -5?
m
Let j be -10 + (1 - 1) - -3. Let u be 10/70 + (-27)/j. Which is greater: u or 10/3?
u
Let a be (-10)/35 + (-81)/35. Which is bigger: -4 or a?
a
Suppose 9*d - 8*d - 1 = 0. Is 5/8 less than d?
True
Let d = -17 + 16.2. Let q = 2 + -1. Let s = d + q. Does s = 3?
False
Let l be (-356)/16 + (5 - 2). Let i = -19 - l. Do -1 and i have the same value?
False
Let t be (-46)/(7/(21/(-6))). Suppose -4*c + 9 = -t. Which is greater: c or 6?
c
Let f = -0.7 + 0.6. Let u = -0.5 - f. Is -0.1 >= u?
True
Let v be ((-12)/(-10))/((-21)/(-70)). Suppose -4*q - v = -0. Which is greater: q or -1/3?
-1/3
Let j(h) = 3*h - h - 8*h + 2 + h**2. Let g be j(6). Let c = 3 - g. Which is greater: -3 or c?
c
Let q be (7 + -6)*(-1)/3*-28. Which is smaller: q or 9?
9
Let d = 4 + -1. Suppose 0 = 5*z - d*b + 15, -z + 3*b = 2*b + 3. Let j be -3 + 5 + z/2. Is j at most as big as 2?
True
Let r be ((-2)/(-3))/((-9)/(-27)). Is r not equal to 2?
False
Let k(a) = a**2 - 3*a + 6. Let i be k(5). Let h be 2/i*-2 + -4. Which is smaller: h or -3?
h
Let s = 14 - 10. Let v = s + -5. Which is greater: v or -2/13?
-2/13
Let p(s) = -s**3 + 10*s**2 + 10*s + 10. Let g be p(11). Is -1/10 less than g?
False
Let f = 9483305/203 + -46716. Let b = 2/29 + f. Which is bigger: b or 1?
1
Suppose 0 = -5*h - 25, -2*l - 6*h + 1 = -3*h. Which is greater: l or 7?
l
Let w = 11 - 9. Let s = w - 2.1. Is s < -3/8?
False
Suppose 2*c - 3 = 15. Is c at least 9?
True
Let m(u) = -u**2 + 5*u. Let d be m(4). Suppose -3*a = 2*h + 5 + 1, -2*a = h + d. Let g be 2 + h - (-60)/(-27). Is g at most 0?
True
Let m be 2/4*10/20. Is -0.1 at most m?
True
Suppose -14*m = m + 1110. Are -75 and m equal?
False
Let o(q) = -q**3 - 2*q**2. Let s be o(-2). Suppose -a + 3 - 2 = -3*x, a + 3*x + 11 = s. Which is bigger: -1 or a?
-1
Let l = -3412748/219153 - 22/6641. Let w = 787/69 + 98/23. Let g = l + w. Do g and 2/3 have different values?
True
Let p(m) = -m**2 - m - 1. Let f be p(-1). Let u = f - 0. Let d(r) = r**3 + r**2 + r. Let h be d(0). Is h < u?
False
Let c(s) = s**2 - 5*s + 6. Let h be c(4). Which is sm