or -1?
s
Let c = -26 - -45. Suppose 0 = -3*n - 7 + c. Let z be 2 + (2 - n) + 2. Is -1/4 > z?
False
Suppose -2*h = -h - 2. Let s = -3 + 5. Let q be s - (3 + -2 + 0). Is h > q?
True
Let x = -12 + 21. Let i = 6 - x. Suppose m + 5 = -4*r, -4*r + 3*m = m + 2. Is r smaller than i?
False
Let l(u) be the second derivative of -u**5/20 - u**4/12 - u**3/6 + u**2/2 - 5*u. Let g be l(1). Which is smaller: g or -3?
-3
Let x(d) = -d + 7. Let o be x(-5). Let b be (-47)/45 - o/(-20). Is b less than -1?
False
Let j = 6777/13 + -521. Let x = 28013/78 + -1081/3. Let a = x - j. Which is smaller: -3 or a?
-3
Let i(h) = -h**2 - 11*h - 30. Let b be i(-4). Is b less than -1?
True
Let k = -249/200 - 1/200. Let i = -11 - 1. Let o = i - -11. Which is bigger: o or k?
o
Suppose -3*b = 5*l + 74, -b - 3*b = 5*l + 92. Does -18 = b?
True
Let h be 0*2/(4 - 2). Is 0 >= h?
True
Let h(r) = 2*r - 8. Let l be h(5). Let c be l - (33/27 + 1). Is c greater than or equal to 0?
False
Let i = -95 - -94.42. Which is smaller: i or 1?
i
Let k(w) = -w**2 - 7*w - 9. Let n be k(-6). Let i(g) = -2*g - 1. Let p be i(1). Is n at least p?
True
Let m = -189 + 301. Let v be m/(-49) - 4/(-14). Let o be v + 2 - 2/(-5). Do o and -2 have the same value?
False
Let q(u) = -u**2 - 8*u + 13. Let k be q(-9). Suppose 18 = 4*v - 2*n, v + 4*n = -2*v - 14. Does v = k?
False
Let l be (-1466)/34 - 7/7. Let s = -44 - l. Which is greater: s or 1?
1
Let p = -0.01 - 0.09. Let h = -0.66 + 0.6. Which is smaller: p or h?
p
Let z = 0 - -6. Let j be (-3)/10*(-8)/z. Which is smaller: j or -0.1?
-0.1
Suppose y + 5 = -5*x, 5*x = -7*y + 3*y - 5. Is y < 11?
True
Let t = -18.8 + 17. Let p = 2 + t. Suppose 0*l + 5 = 5*l. Is p at least l?
False
Let k(d) = -d**2 + 3*d. Let i be k(2). Suppose 8 = 4*s - i*s. Is s bigger than 4?
False
Let f = 4 + -2. Let d = f + -1. Is d less than 2/5?
False
Suppose 2*n + 5 = j, -5*n = -4*n + 3*j - 15. Which is greater: n or -1/34?
n
Suppose -5 - 61 = -3*g. Do 23 and g have the same value?
False
Let c(o) = 2*o + 1. Suppose -5 = 5*x - 0*x. Let h be c(x). Does -1 = h?
True
Let t be 4/10*(-12)/16. Which is smaller: 0 or t?
t
Let p = -95/2 + 807/17. Which is smaller: 0 or p?
p
Let f = 41 + -47. Do f and -9 have different values?
True
Let x = 0.72 - 7.72. Are x and -4 equal?
False
Let p = -33 - -26. Which is smaller: p or -9?
-9
Let c = -19 + 20. Which is greater: c or -1?
c
Let h = -10.89 + 11. Let s = h - -0.09. Is s > -1?
True
Let g be (1 - 2) + 1*2. Let w be -10*(-1)/(-4) + g. Which is greater: w or 0.1?
0.1
Let s(m) = -m**2 - 5*m. Let w be s(-5). Let l = -18/1465 - -703996/303255. Let u = l - 20/9. Which is greater: w or u?
u
Let n = -0.5 - -2.5. Is n > -0.03?
True
Let z be -1 + (-3)/3 + 1. Let w be (z/1 + 1)/2. Is -2/5 greater than or equal to w?
False
Let x(m) be the second derivative of -m**4/12 - 5*m**3/6 + m**2 - 2*m. Let h be x(-5). Suppose 2*a - h + 0 = 0. Is a equal to 2/3?
False
Let y = -2 - 0. Are y and 1/2 unequal?
True
Let w be 69/21 + (-2)/7. Suppose w*b = -2*q - 8, 3*q = 2*b + 2*q + 3. Which is smaller: 0 or b?
b
Let v = 10 + -7. Let s = -5 + v. Does s = -5/4?
False
Let l = -5 - -5. Let u = -3 - -17. Let c be 4/u + (-27)/21. Which is smaller: l or c?
c
Let t = 26 - 10. Suppose -s = -t + 2. Let i be (-2 - (-24)/s) + 0. Is 1 less than i?
False
Let j be (-2)/4 - 6/(-4). Let w be 3*(j/3)/(-1). Let r be 4/(-2) + 1 - w. Are -2/11 and r non-equal?
True
Let v = 2 - 2. Suppose -2*c - c = v. Suppose -5*y + p + 11 = -c*y, 0 = -y - 5*p - 3. Is y bigger than 0.2?
True
Let u be ((-44)/495)/(2/(-5)). Which is bigger: u or 0?
u
Let b = 15.5 + -15.44. Let p be 3/(-4)*1/3. Which is smaller: b or p?
p
Suppose -7 = 9*n + 11. Suppose z = -5 + 4. Is n less than z?
True
Let n = -38 - -97. Which is bigger: 0 or n?
n
Let r be (-4)/(-6)*-6*2/(-24). Which is smaller: 5 or r?
r
Let h be 2/(8/10)*-2. Which is smaller: h or -4?
h
Let i = -0.09 - -0.29. Let r = 0.4 - i. Let h = 0.3 + -0.2. Which is greater: h or r?
r
Let j be ((-3)/6)/((-3)/(-12)). Let f be -5*-1*j/(-2). Let h = -9/2 + f. Are h and 2/3 non-equal?
True
Suppose 3*z - 12 = 3*g, 0*g = -2*z + g + 6. Suppose 3*u = -d - 14, u + u - 4 = z*d. Let q(o) = o**3 + 3*o**2 + o. Let h be q(u). Which is smaller: -3/2 or h?
h
Let y be -96*-6*12/(-16). Let t = y + 8210/19. Is 1 >= t?
True
Let z = -31185625495/66 - -472498869. Let t = 10608 + z. Let r = t - -4/11. Which is bigger: r or -1?
r
Let o = 4.1 + -4. Let r = 18 - 16.9. Let f = r + -1. Is o > f?
False
Let q(d) = 4*d - 11. Let t be q(5). Is 9 greater than or equal to t?
True
Let a be (1 + 9/(-8))*-2. Suppose -t = 3*t - 2*y - 8, -5*t = y + 4. Suppose t = 5*f - 1 - 4. Is a not equal to f?
True
Let c be 5/30*-2 - 177/18. Which is bigger: c or -11?
c
Let k(j) = j**2 + 10*j + 9. Let w be k(-7). Is -14 < w?
True
Suppose -5*q - 2 = -z, -z - 3 + 5 = -q. Let f be (-150)/(-39) - (-2)/13. Suppose -2*m - f = z*v, v - 3*m - 1 = -3. Which is smaller: v or -1?
v
Let i = -766 - -758. Let x = 0 + -1. Which is smaller: x or i?
i
Let m(l) = 4*l - 20. Let k be m(-14). Is k greater than -77?
True
Let s = -3 - -5. Let w(r) = 3*r**2 + 0*r - 2*r**s + r - 1. Let l be w(0). Which is smaller: -3/4 or l?
l
Let r = 6 + -6. Suppose 4*l - 6*l + 10 = r. Let z be (-4)/(-6) - l/(-15). Is -1 less than z?
True
Suppose l = -3*l + 8. Let b be l/3 - (-28)/(-6). Is b bigger than -5?
True
Let v be ((-1)/(-61))/(110/11). Let w = v + -631/12810. Which is greater: w or 1?
1
Let g = -0.02 + -1.18. Let z = 1.2 - 1. Let y = g + z. Is 0.1 != y?
True
Let h be ((-3)/3)/(9/3). Let k be -1*(-2 + 1 + 0). Which is greater: k or h?
k
Suppose -2 = v - 2*d, -v - 6*d = -d - 12. Which is smaller: v or 4/5?
4/5
Suppose 0*r = 4*r - 4. Let l be r - (2 + -3 + 2). Is -1 >= l?
False
Suppose 3*i + 2*w - 31 = w, -46 = -5*i + 4*w. Suppose u - i = -4*u. Let n be (0/u + -1)*3. Is -3 > n?
False
Let y = 16 + -27. Let x = -136 + 128. Let l = y - x. Which is smaller: l or -5?
-5
Let j = 1.1 + -2.1. Is j less than 0.02?
True
Suppose 4*c = 0, 4*b + b = c + 5. Which is bigger: 4/17 or b?
b
Let q be 1/(-8) + 345/(-24). Which is bigger: q or -15?
q
Let g = -17 + 17.14. Let t = -0.03 - g. Let q = t + -0.03. Is q less than or equal to 0?
True
Let a(h) = -h**2 + 2*h + 3. Let x be a(-2). Is -6 greater than x?
False
Suppose -4*c = -b + 1, 4*c + c + 3*b - 20 = 0. Let r(l) = -l**2 - 24*l - 43. Let y be r(-22). Is c greater than or equal to y?
True
Let t = -2 + -2. Let k = -78 + 73. Which is greater: t or k?
t
Suppose -2 - 4 = 3*r. Let j be 20/8 + 1/r. Suppose j*h = -h. Is 0 at least h?
True
Let o(c) = -c**3 - 6*c**2 - 4*c - 1. Let q be o(-5). Let f(u) = 6*u - 10*u**3 + 7*u**2 + 25*u**3 - 14*u**3. Let x be f(q). Which is smaller: -4/9 or x?
-4/9
Let g be ((0/(-2))/3)/(-1). Let y be 3/(-3)*(0 - g). Let m be y + (0 - (-2)/6). Is -0.2 greater than m?
False
Suppose 0*t - 22 = 4*u + 2*t, 0 = -2*t + 10. Let q(x) = 9 - x + 2 + 2*x. Let d be q(u). Is d less than or equal to -1?
False
Let n be -2*(-1)/(-1)*-1. Suppose -g = 2*b, 1 = -g - b - n*b. Is g <= 2?
True
Let l(s) = s**3 - 7*s**2 - 9*s + 12. Let z be l(8). Which is bigger: z or 3?
z
Let k be 100/12*3/1. Suppose 2*q + 4*b = -10, 0*b = -5*q + 4*b - k. Is -6 at most as big as q?
True
Let q = -11 - -11.1. Let t = 5 - 5.1. Which is smaller: t or q?
t
Let n = 44.24 + -46. Let w = 2 + n. Let g = -0.06 - w. Which is bigger: g or -1/3?
g
Let u(p) = -p**2 + p - 1. Let f be u(1). Let d be (-2)/(-3)*f/3. Which is smaller: 0.1 or d?
d
Let g(f) = f**2 + 10*f + 17. Let u be g(-8). Is u != 7?
True
Let i = -0.2 + -1.8. Is i at most -1?
True
Let q = -8 + 15. Let m = q - 6.7. Let l(x) = x**2 + x - 2. Let i be l(0). Is i less than m?
True
Let x be 38/40 - (-1)/(-5). Let q = -25 - -27. Is x != q?
True
Let p(k) = k - 3. Let y be p(2). Let c = -394/5 - -78. Which is greater: y or c?
c
Let a = -11 + 22. Let t = a - 10.9. Which is smaller: -2/17 or t?
-2/17
Suppose 5*t - 7*t - 2 = 0. Which is smaller: 4/9 or t?
t
Let a(s) = 4*s**2 + s - 1. Let j(x) = x**3 - 7*x**2 + 5*x + 7. Let y be j(6). Let n be a(y). Suppose -3*c + 1 - 2 = -w, 0 = -5*c + 5. Is n >= w?
True
Let c(n) = 3*n - 1. Let g be 4*(7/(-4) + 2). Let j be c(g). Let i = -235/3 - -79. Is i at least j?
False
Suppose -c - c + 4 = 0. Are c and 3 equal?
False
Let v = -0.02 + 0.03. Let f = v + -1.01. Which is smaller: f o