rue
Suppose -5*v - 17 = -2. Is -3 smaller than v?
False
Let v = -3.1 + 3. Let m = 4 + -4.2. Is v <= m?
False
Let g be -3 + 9*40/132. Which is bigger: -1 or g?
g
Let y = 12 + -17.5. Which is bigger: y or 2?
2
Let k = 0.4 - 0.4. Let c = k - 0.3. Let o = c - 0.1. Which is bigger: o or -1?
o
Let m = 0.08 - -0.02. Let y = -2 - -1.9. Let c = y - -1.1. Is c > m?
True
Let n be 2/(-8) + 46/152. Let q = -16/57 - n. Which is greater: 1 or q?
1
Let x be (-124)/8*(-1 + 3). Let v = x + 23. Is -6 less than v?
False
Let l(d) = d**2 - 2*d. Let j be l(6). Suppose 4*r = -4*w + j, 3*r = 2*w + 4 - 6. Let u = 8 + -4. Is w equal to u?
True
Suppose 15*q = -1 + 16. Is q <= -2/35?
False
Suppose 0 = -y + 3*n - 6, -5*y - 2*n + 4*n = 4. Let s be (6/(-15))/(8/5). Which is smaller: s or y?
s
Suppose -2*o + 0*r - 2*r = 8, -r + 28 = -3*o. Let k = o + 8. Is -4/9 > k?
False
Let v be 1/(1/3) + -2. Let g be 2/(-44) - v/2. Which is smaller: g or -1?
-1
Let k = 36 - 287/8. Let h(r) = r**2 - 2*r. Let s be h(3). Suppose -s*n = -8*n. Is k >= n?
True
Let o be (7 - 6)/1 + (11 - 1). Is o >= 11?
True
Suppose -m + 10*y - 12 = 5*y, 3*m + 6 = 5*y. Do 1 and m have the same value?
False
Let u = -3 + 4. Let l be -2 + 2 + (u - 0). Let v = 2 + l. Which is smaller: 4 or v?
v
Let w(g) = -g - 15. Let t be w(-11). Let k(b) = -b + 4. Let f be k(10). Which is smaller: f or t?
f
Let y = -134 - -148.7. Let o = y - 1.7. Is -0.1 at most o?
True
Suppose 2*q = 2*y, -q + 2*q + 4 = 3*y. Suppose 3*a - 8 = -a. Suppose -a = 3*n - 8. Is n at most q?
True
Let i be 0/5 + (-30)/(-57). Let v = -9/19 + i. Is v >= 1?
False
Let h = -2510 - -22544/9. Is h <= -4?
True
Let z be 4 - (3 + 0 + 0). Let q = 1 - z. Suppose -2*f + 5*f = q. Is 5/4 >= f?
True
Let h(g) be the first derivative of -g**4/4 - g**2/2 + g + 3. Let o be h(0). Which is smaller: o or 2?
o
Suppose -5*k + 308 = 2*t, 3*t = 2 + 10. Are k and 60 nonequal?
False
Suppose 0 - 6 = 3*z. Are -6/7 and z non-equal?
True
Let y(j) = -3*j**2 - 5*j + 5. Let v(l) = 2*l**2 + 2*l - 3. Let f(i) = 5*v(i) + 3*y(i). Let d be f(5). Let x be 0 + (-3)/(-1 + d). Is 3 greater than x?
False
Let t be -3*(-1 + (-1 - -1)). Let n be t/9 + 11/3. Suppose -6 = n*j + 3*a + 3, 5*j - 4*a = -19. Is j >= 2/5?
False
Let p = 16 + -16. Let w(h) = -h + 10. Let j be w(8). Suppose 2 = j*r - p*r. Which is smaller: -0.3 or r?
-0.3
Suppose -3*q = -4*q + 10. Let j(b) = -2*b**3 - 2*b**2 - 2*b - 2. Let o be j(-2). Is q smaller than o?
False
Suppose 41 = 4*y + 9. Let m = y + -8. Which is greater: m or -3/4?
m
Let i = 2/3263 - 150116/29367. Let l = -47/18 - i. Suppose 0*c + 2 = c. Which is smaller: l or c?
c
Let g = 53 + -56. Let r be (2/(-4))/((-4)/(-8)). Is g less than or equal to r?
True
Suppose 5*z + 5*i - 10 = 0, -4*i - 10 = 2. Suppose -z + 13 = 4*a. Suppose m - 3*q = 2*q + 12, q = a*m + 3. Which is smaller: m or -4?
-4
Suppose 0 = -p - 0*p. Let z(b) = -b**2 - 9. Let i be z(p). Is -8 greater than i?
True
Let k be (-6)/(-33) - (-168)/(-682). Let d = 172 + -171. Do k and d have the same value?
False
Let w = -0.9 - 0.1. Let y = -2 - w. Let z = 7 + -12. Are z and y unequal?
True
Suppose 30 = -5*h + 10. Let k be (-360)/60 - 1/(-1). Is k at least h?
False
Let c = -87 - -433/5. Suppose 3 = n - 0*n. Suppose -u + 4 = q + 3*q, n*q - 3 = 0. Are c and u equal?
False
Let b = -187 + 186.9. Let c(z) = z - 5. Let a be c(0). Is a not equal to b?
True
Let k be (-2888)/(-3660) - (-1 - -2). Let t = -2/183 - k. Which is bigger: -1 or t?
t
Let u = -0.6 + 0.8. Let w = 0.1 - u. Which is smaller: w or -1/5?
-1/5
Let k be (0 - 4/6)*2736/(-64). Does 29 = k?
False
Suppose -3*l + 132 = -5*h + 26, 2*h = l - 36. Is l equal to 32?
True
Let b be (-2)/10 - 24/(-20). Let l(m) = 2*m**3 + 1. Let k be l(b). Is k at least as big as 2?
True
Let f = 0 + 0.1. Let s = f + 0.9. Let g = s + -0.9. Which is smaller: -0.1 or g?
-0.1
Let c be (-3)/(((-3)/2)/1). Let t = 7 + -4. Let o be t*(8/(-42))/c. Is -1 less than o?
True
Let p be 648/30 - 4/(-10). Suppose 3*d = -d - 5*y + p, 0 = d + 2*y - 7. Let l be (d/(-15))/(4/(-10)). Do 2 and l have different values?
True
Let z = 0.36 - 0.36. Which is smaller: 15 or z?
z
Suppose 4*o = -o. Let k = o + 2. Is k smaller than -0.1?
False
Let r = 52 + -417/8. Suppose 0*o = -o. Is r less than or equal to o?
True
Let v be 6/4 - 210/138. Is v > 1?
False
Let f = -3 - 0. Let z be 1187/(-2) + f/2. Let r be (-2)/7 - 205/z. Which is smaller: r or 1?
r
Let k be ((-20)/12)/5*-51. Let d = k + -6. Are 11 and d non-equal?
False
Let y = 14 - 1. Suppose s = 5*n + 11 - 30, 4*n - y = 3*s. Is s smaller than 2/3?
False
Let w = -28 + 17. Which is smaller: -4 or w?
w
Let m = -4 + 6. Suppose m*g - 15 = -g. Does g = 3?
False
Let q(j) = j**3 - 5*j**2 + j - 4. Let g be q(5). Suppose -2*w = 3 - g. Which is greater: 0 or w?
0
Let t be 16/9 + 2/9. Let k = t - -2. Let l be (-2)/k*14/21. Which is smaller: l or 1?
l
Let w(g) be the first derivative of g**4/4 - 2*g**3/3 + g**2 - 3*g + 1. Let f be w(2). Suppose -19*p + 51 = 13. Which is smaller: f or p?
f
Suppose 0*b = -2*b + 6. Suppose -4*h = -6*w + w + 14, -3 = -3*w - b*h. Let x be (-1 - 1/(-2))*-2. Which is greater: x or w?
w
Let s be 1/(-10)*3/(-1). Let h = 0.7 + -0.6. Is h equal to s?
False
Suppose -3*c - 21 = -3*r, 4*c - 13 = -2*r + 25. Suppose q + 5*i = r, -2*i - 36 = -4*q + 30. Suppose p + 3*p - 23 = -3*n, 0 = n + 3*p - q. Are 1 and n unequal?
False
Let c(g) = -g**2 - 4*g + 10. Let v be c(0). Which is smaller: 9 or v?
9
Let g = -4 - 4. Which is smaller: g or 2?
g
Suppose 15*u - 3 = 12*u. Is -2/23 less than u?
True
Let z = -0.5 - -2.53. Let p = z - 1.9. Let v = 0.07 + p. Is v greater than or equal to 0?
True
Suppose 34 = -4*k - 2*n, 4*k - 4*n = -34 + 6. Which is smaller: -10 or k?
-10
Let n = -8 + 11. Suppose n*v + v - 3*o = -4, 0 = -3*v - 4*o - 3. Which is smaller: v or -2/7?
v
Let m(j) = -4*j - 47. Let n be m(-8). Suppose 0*a = -4*a - 56. Is n < a?
True
Let r = -951/5 + 192. Are 3 and r equal?
False
Suppose 14 = -4*x + 46. Let w(b) be the third derivative of b**5/60 - 7*b**4/24 - b**3/3 - 2*b**2. Let m be w(x). Is 6 at least as big as m?
True
Let r = 8 - 8. Suppose 2*q + d + 14 = r, 0*q = -2*q + 5*d - 14. Let c = q + 6. Which is smaller: -1/9 or c?
c
Let z = 964 + -10618/11. Let g = -2/17779 - -1137922/586707. Let c = z + g. Is c smaller than 2?
True
Let p = -44 - -44. Let z(b) = -b - 5. Let n be z(-5). Let a = n - 1. Which is smaller: a or p?
a
Suppose -s + 1 + 2 = 0. Suppose -w = -p - 6*w + 6, 2*p + s = 5*w. Which is bigger: -1/10 or p?
p
Suppose 0 = 5*g + 2*r - 6 + 22, r + 3 = 0. Let x be 1/(-3)*(5 + -5). Suppose x*v - 12 = 4*v. Which is greater: v or g?
g
Let s(y) = -y - 23. Let v be s(-17). Let c(g) be the second derivative of g**4/12 - 5*g**3/6 - 3*g**2 - g. Let p be c(5). Do p and v have different values?
False
Let b(n) = -n + 3. Let v be b(0). Which is greater: v or -11?
v
Let w be 87/(-308) + (-16)/88. Let x = w - -5/7. Suppose 2*b - 3*r + 0 = -14, 3*b + 3*r - 9 = 0. Is b < x?
True
Suppose 5*u + 0*u - 10 = 0. Let g be 1*(0 + u - 2). Which is smaller: g or -1/4?
-1/4
Let s(o) = o**3 - 2*o**2 - 2*o - 3. Let n be s(3). Is 84 greater than or equal to n?
True
Let t(j) be the third derivative of 0 - 1/15*j**5 - 5/6*j**3 + 2*j**2 + 1/120*j**6 + 0*j - 1/8*j**4. Let l be t(5). Which is smaller: 4 or l?
4
Let p = 5 - 3. Which is greater: -2/3 or p?
p
Let w = -0.6596 + -0.0404. Let y = -5 - -3. Which is greater: w or y?
w
Let r be (-3)/(3 - 8/2). Let u be 1 - r - (2 - 4). Which is smaller: u or -3/5?
-3/5
Let a = 38 + -27. Is a bigger than 9?
True
Let b = -0.21 + 0.11. Let f = -3/44 + -2/11. Is b bigger than f?
True
Suppose -3*u - 1 - 2 = 0. Let n be (-44)/(-40) + u + 0. Which is smaller: 1 or n?
n
Suppose s = 2*u - 0*u + 42, -5*s = 2*u + 54. Let y = u - -14. Let o = -33 + 24. Is y bigger than o?
True
Suppose -5*q = -3 + 23. Which is smaller: -14/3 or q?
-14/3
Let k = -470.307 + -0.693. Let j = k - -473.93. Let w = -0.07 - j. Which is smaller: w or 0?
w
Let q(z) = z**2 + 22*z + 26. Let h be q(-21). Is 5 <= h?
True
Let z be ((-7)/28)/(5/8) + 2. Which is smaller: z or 3?
z
Let m(d) be the third derivative of -d**4/3 + 5*d**3/6 - 4*d**2. Let l be m(2). Which is bigger: -12 or l?
l
Let k = 10 - 12. Let v be (-28)/18*3/k. Are 2 and v unequal?
True
Suppose k = 3*f - 923 - 360, -5*f = 3*k - 2129. Let