er: s or 1?
1
Let v be 4 - 16/6 - -56. Let b = v + -58. Which is smaller: b or -1?
-1
Let a be -5 - 6/4*-2. Let c be (-2)/(-2*(-1)/a). Is c at most 4/3?
False
Let l be (0/(-1))/(-4 - -7). Suppose 3*o - 37 = -5*s - 12, -o - 3*s + 15 = l. Is o greater than or equal to 8/5?
False
Let g be (-6)/(-8) + (-129)/12. Let c be (-14)/g + 6/(-15). Which is bigger: c or 0?
c
Let z = 3 - 8. Is -14 greater than or equal to z?
False
Suppose -10*p + 8 = -2. Which is greater: p or 3/65?
p
Let p = 0.11 - -0.89. Let h = -13 - -53/4. Let r = h + -1/2. Does r = p?
False
Let f be 3 + (-2 - -1) + 1. Let p = f - 3. Is -2/5 smaller than p?
True
Suppose 0 = -4*g + 3*g + 24. Let m be (2/(-4))/(3/g). Let z be (2/(-3))/(m/6). Is -0.2 != z?
True
Suppose 3*w + 3*p = 6, 5 + 1 = 2*w + 3*p. Let l = 2 - -1. Suppose w*u - 4 = 4*u, -b = -l*u - 8. Are 6 and b non-equal?
True
Let i be (144/81)/((-962)/168). Let w = 10/39 + i. Which is smaller: w or 0?
w
Let g be 6/9 - (-3)/9. Let k be (0 - (-1)/g)/1. Let l(b) = b**3 - b**2 + b + 3. Let i be l(0). Is i > k?
True
Let w(l) be the first derivative of -l**2/2 - 5*l + 3. Let u be w(-11). Let j be (6/50)/(9/u). Which is bigger: j or 1?
1
Let q be 13 - 14 - 35/(-37). Which is smaller: -1 or q?
-1
Let c(v) = -v**2 + 5*v - 2. Let g be c(4). Suppose 0*q = g*q + 2. Suppose w + 5*k = 2*w - 20, 3*w + k + 4 = 0. Is w <= q?
False
Suppose 0 = -0*z - 3*z - 3. Let f = -4 - -1. Is z at most as big as f?
False
Let o be 20/15*17634/(-44). Let d = o - -545. Let n = -11 + d. Is 1 at least n?
True
Let a be (-2)/5*(-30)/(-6). Let k be -2*(a/9)/2. Is -1 less than k?
True
Let u = 23 - 8. Is u bigger than 15?
False
Let z(c) = -2*c**2 + 48*c + 30. Let o be z(25). Which is smaller: o or -1?
o
Suppose p = 2 + 1. Let g(q) = q**2 - 2*q - 3. Let a be g(p). Which is greater: 4/3 or a?
4/3
Suppose r - 2*r = -5*j + 5, -4*j + 4 = -2*r. Let a be (1 + (-1)/1)/j. Which is smaller: -1/7 or a?
-1/7
Suppose -3*y - 75 = -8*y. Let x = -11 + y. Let h be 5/(-4) + 1/x. Which is smaller: h or -2?
-2
Let z(i) = i**2 + 2*i - 2. Let b be z(-7). Let w = b + -18. Suppose -4*r = -3*r + 4*q - 21, 0 = 3*q - w. Do 2/3 and r have the same value?
False
Let g = 0 - -4. Let c = g - 6. Suppose -o = 2*o. Which is bigger: c or o?
o
Let w(b) be the second derivative of b**3/6 + 3*b**2 - 3*b. Let d be w(-7). Which is bigger: -2 or d?
d
Let k = 15 + -29/2. Let m be (7 + 1)*2/4. Is k less than or equal to m?
True
Let u be ((-4)/(-10))/((-2)/80*-4). Which is greater: 3 or u?
u
Let s be 0/(-2)*(-1 - -2). Suppose t + 0*t - 4 = s. Are 5 and t non-equal?
True
Suppose -5*s + 10 = -0*s. Suppose -s = 3*g - g. Let n = 3 + g. Is 2 less than or equal to n?
True
Let i = -0.3 + 1.3. Let f = 7 - 9. Let d(n) = -n**3 - 2*n**2 + 1. Let g be d(f). Is g at most as big as i?
True
Let g = -1.9 + 2. Let o = 0.06 - 1.06. Is g greater than o?
True
Let d be ((-2)/(-12))/(1285/(-320) - -4). Is d > -10?
False
Let b be 1/(((-3)/(-7))/(-3)). Let x(q) = -10*q**2 + 4*q - 1. Let m be x(1). Is b >= m?
True
Suppose -4*h + 48 = -0*h. Suppose h = -5*i + 4*r, -5*i - 6 = -r - r. Suppose -4*z + 6*z - 3*o - 15 = i, -25 = 5*o. Which is smaller: z or -2/5?
-2/5
Let c be 6/(-15) - 546/(-15). Let o be 15/(-18)*c/40. Which is greater: 2 or o?
2
Suppose -32 = 8*c - 4*c. Let q = 17 - 9. Let n = q + c. Is n less than -2?
False
Let c(s) be the first derivative of s**2/2 + 3*s - 6. Let f be c(-2). Is -4 bigger than f?
False
Let v(l) = -l**3 + 2*l**2 + 18*l - 3. Let u be v(5). Which is greater: u or -2?
u
Let m = 4.3 + -4. Let a = 0.3 - m. Does 0.1 = a?
False
Suppose 0 = -4*c - x - 17, 2*c + x + 10 = -1. Which is bigger: -7/3 or c?
-7/3
Let u = -75 - -62. Do -16 and u have different values?
True
Let c = 3 - 7. Let p = 1.3 + c. Let v = p - 0.3. Which is greater: v or 0?
0
Suppose -4*q = q. Which is bigger: -2/25 or q?
q
Suppose 0 = -5*x - 24 - 6. Let q be ((-2)/6)/((-8)/x). Let d be (-2)/3 - (-2)/3. Does q = d?
False
Let x = -0.95 + -0.05. Is 2/15 >= x?
True
Let y be (4/6)/((-22)/(-33)). Which is smaller: y or -0.3?
-0.3
Let q = -50445/896 + 203/128. Let v = 55 + q. Is v not equal to -1?
True
Let m be (2 - 2) + 2 + 1. Let d(y) = -y**3 + 3*y**2 - 3*y + 2. Let n be d(2). Suppose 0*a + a - m = n. Which is smaller: a or 4?
a
Let q = 2.09 - 2. Let u = q + 0.11. Which is greater: -1 or u?
u
Let j(l) = l**2 - 4*l + 3. Let x be j(2). Let b = -11 - -1. Let o be ((-1)/3)/(b/4). Are o and x unequal?
True
Let o(k) = -k**3 - 9*k**2 + 11*k + 9. Let j = -36 - -26. Let i be o(j). Are i and -1/4 non-equal?
True
Let k be 1*3 - 11/(-11). Is k greater than -1/2?
True
Let a = -622983 + 9348557/15. Let w = 254 - a. Is w smaller than 1?
True
Let d(c) be the third derivative of -c**6/120 + c**5/10 + 7*c**4/24 - c**3/6 - 2*c**2. Let f be d(7). Let b be (f + 9/2)/1. Which is bigger: b or 1/3?
b
Let i = -26441/5 - -5324. Let j = -36 + i. Let x = 3 - 2. Which is smaller: x or j?
j
Let o = 21 + -10. Let p = o + -13. Which is smaller: p or -6?
-6
Let s be ((-2)/2*-1)/(-1). Suppose -5*w = -3*j + 28 + 91, 3*w = 5*j - 177. Let k be j/27 + -1 + 0. Which is smaller: s or k?
s
Let l = 75 - -6. Is 81 less than l?
False
Let g be (-3)/4*(-16)/(-28). Let c = 6 + -18. Let h be (-14)/8 - 9/c. Is g less than h?
False
Suppose 45*u = 49*u - 4. Let n = -61/4 - -15. Which is smaller: u or n?
n
Let l be 4*4 + (15 - 18). Let d be (-6)/8*4/12. Which is bigger: l or d?
l
Suppose -3*x - 17 + 5 = 0. Let w be x/(-20) + (-2)/(-10). Let a = 0.1 - 0.1. Is a at least as big as w?
False
Let p = 0 + 4. Let u be (-2)/p + (-10)/(-4). Suppose -2*c + 5*c = -5*l - 3, -u*l = -4*c - 4. Are -1/4 and l unequal?
True
Let t = 0.16 + 1.24. Let l = 1 - t. Let w = -2172 - -2173. Are w and l unequal?
True
Let n = -0.02 - -7.02. Let q = n - 3. Which is bigger: 1 or q?
q
Let n = 3.022 + -0.022. Let c = -92/3 + 31. Which is smaller: n or c?
c
Let m = -4/53 - 33/265. Is m equal to 34?
False
Let o = 823/4 + -206. Which is greater: -18.7 or o?
o
Let n be (4 + -3)*(-2)/2. Suppose -2*p - 11 = -4*s - p, 4*s - 5*p - 23 = 0. Let v be n - s*1/(-2). Are v and 4 non-equal?
True
Suppose -1 = 5*r - 11. Suppose r*d + 5 = -p, 0 = -4*d + p + 3 + 2. Suppose 2*j = 4*j. Is d <= j?
True
Suppose -t - t = -28. Suppose -3*g = 5*f - 65, -3*f - 26 = -2*g - 2*f. Does g = t?
False
Suppose 0 = v - 3 + 5. Suppose -l = 3*d - 2, -d - 2*l + 18 = -6*l. Let i = v + d. Is i > -2/7?
True
Let x(m) = m - 4. Let i be x(7). Is 2 <= i?
True
Let t = -249/517 - 3/47. Do -0.1 and t have different values?
True
Suppose -40 = t + 4*t. Let x = 1/63 - 947/126. Which is greater: t or x?
x
Let q(g) = -g**2 - 3*g + 3. Let h be q(1). Let a be (-3 - 0)*-2 - 0. Suppose -v - 10 = v + 5*f, a = -3*f. Which is bigger: v or h?
v
Suppose 2*k = 0, -1 = u + k - 3. Suppose -11 = -4*j - o, j - 3*o + u = 8. Suppose -z = -4*z + j. Which is smaller: z or 0?
0
Let v be (-22)/8 - (-2)/(-8). Let h be (-5)/10 - v/2. Let u be 2/(-10*(-1)/(-2)). Which is smaller: h or u?
u
Let u = 1.6 + -2.6. Which is greater: u or 0.16?
0.16
Let v(x) = -2*x + 15. Let q be v(8). Is -1/55 at most q?
False
Suppose l + 8 - 2 = 0. Is -6 less than or equal to l?
True
Let t = 10 + -8. Is t smaller than 2/3?
False
Let o = 6.1 + -0.1. Which is smaller: o or -0.1?
-0.1
Let i be 4/2 + (-60)/36. Which is greater: i or -1?
i
Suppose 5*i - 120 = -0. Let f be (-1)/5 - i/(-40). Is f greater than or equal to 4?
False
Let a be 4 + (-9 - -4) + 4. Is a less than 4?
True
Suppose -4*j - 2*w - 16 = 0, 0 = -4*j + 5*w + 3 - 5. Suppose -4*n - 10 = 14. Let c be 2/j - 10/n. Which is smaller: c or 4?
c
Let b be 3/(15/(-2)) + 1080/1950. Does -7/10 = b?
False
Let h be (-670)/8*6/400. Let q = -1/160 - h. Is q != -2/5?
True
Let u be 208/(-660) + (-4)/(-22). Let k be (1 - 0)*(1 - 2). Which is smaller: u or k?
k
Let v(q) = 5*q**3 - 17*q**2 + 3*q + 4. Let m(o) = o**3 - 4*o**2 + o + 1. Let c(p) = 9*m(p) - 2*v(p). Let j be c(-3). Let n = -3 - -5. Which is smaller: j or n?
j
Let h = 0.36 - 0.86. Let r = 1.2 - -1.3. Let s = r + h. Which is bigger: -1 or s?
s
Let m(i) = -i**2 + 6*i - 3. Let c be m(5). Let g be c/4 - 5/10. Which is greater: g or 4/5?
4/5
Suppose 3 = -4*a - 5. Do a and -3 have the same value?
False
Let n = -31 - -187/6. Let b(u) = -u**2 + 8*u + 1. Let z be b(8). Is n greater than z?
False
Suppose 0 = -2*x - 3 + 1. Let y = 49 + -69. Let q 