 Which is smaller: v or z?
z
Let i = -0.2 - -0.3. Let r = -0.1 + i. Let m = -2/1331 + -5314/6655. Is m != r?
True
Suppose 0 = -3*h - 3*u + 30, 4*h - 3*h - 5*u - 28 = 0. Let o = -17 + 32. Which is smaller: h or o?
h
Let p be 0 + 1/(0 + 7). Let i = -1659 - -1660. Which is smaller: p or i?
p
Let c = -0.1212 + 0.1412. Is -164 at least as big as c?
False
Suppose 2*d - 5*x = -205, 3*x - 30 + 558 = -5*d. Let a be 259/d + (-3)/(-1). Is 1 <= a?
False
Suppose -6 = 2*y + 12. Suppose -3*l + 4*l + 10 = 0. Which is smaller: y or l?
l
Suppose 0 = -4*h + 4*c - 13 + 33, -4*h + 3*c + 21 = 0. Let g(r) = r**2 - 4*r - 6. Let m be g(h). Is 26/5 smaller than m?
True
Suppose -5*p + 307 = -2*d, -3*p - 7 = -16. Which is bigger: 0 or d?
0
Let z = -268.8 + 297. Let t = -29 + z. Is 1/2 at most t?
False
Let x = -458409/1258 - 66/629. Is x greater than -366?
True
Suppose 0 = -l + 3*l. Let z = -7 - -16. Let v be (-21)/z - 1 - -3. Is v at least as big as l?
False
Let n be (-226)/(-12) + 4 + -1. Let j = 22 - n. Suppose 0 = -4*r - c - 0 + 5, -5*r = 2*c - 10. Which is smaller: r or j?
r
Let m = -1422 - -4133/3. Which is smaller: m or -43?
m
Let o be (-98)/14 - (-221)/91. Let s be 10*1/2*-1. Is s at most o?
True
Suppose -3*a + 6 = 3*o, 3*a + 0*a + 5*o = 12. Is -1/159 greater than a?
True
Let a be (-2)/((-1)/2*-2). Suppose 4*f - y = y + 6, 3*y = 3*f. Suppose -3*o + f = -4*q, -5*o + 10*o = -q - 18. Is a not equal to q?
True
Suppose 10 = -5*i + 40. Let y be (i/126)/(6/4). Let v(w) = w**3 + 24*w**2 + 26*w + 68. Let n be v(-23). Which is smaller: y or n?
n
Suppose 1670 = -5*v + 4*j, 334 = 8*v - 9*v + j. Which is greater: -335 or v?
v
Let h = 29 + -28. Let q be h/((3/(-60))/1). Let n be ((-2)/q)/((-2)/(-8)). Is n smaller than -11/2?
False
Let a = -3375/8 + 422. Are -24 and a equal?
False
Let w be (-124)/10 + 2/(-5)*-1. Let t be (w/(-10))/(21/105). Are 8 and t nonequal?
True
Let r be (-5)/11*(-32)/40. Let y be -1*2*(3 - (-5)/(-2)). Which is smaller: r or y?
y
Let o(l) = -l**2 + 3*l - 1. Let w be o(3). Let c be -3*1 - (-2)/w. Let p(h) = 3*h - 5. Let s be p(2). Is c > s?
False
Let q = -106 + 97.5. Let j = q + 9.5. Is j smaller than -0.009?
False
Suppose 753 = -5*w - 4047. Is -960 not equal to w?
False
Let b(w) = w**3 - w**2 - 3*w + 2. Let z be b(3). Let x be (z/(-44))/(74/8). Is 1 > x?
True
Suppose -2*v + 6*v + 8 = 0. Let c be v/18*3*6. Let s be (-63)/6*(c + 0). Is s greater than or equal to 20?
True
Let p = 0 + 1. Let x = -45.94 + 67.87. Let l = -22 + x. Is l at least as big as p?
False
Suppose 0 = -9*v - 307 - 539. Is -93 > v?
True
Let h = -1.5 + 1.77. Let g = -1 + 0.83. Let i = h + g. Which is greater: i or 0.05?
i
Suppose -4*n - 5*n = -6*n. Suppose 2*s + 0*s + 32 = n. Is s <= -16?
True
Let n = 1/226 + -2263/678. Let z(x) = -2*x. Let u(c) = c**3 + 2*c**2 - 2*c + 4. Let q be u(-3). Let s be z(q). Which is bigger: s or n?
s
Let g(p) = 441*p**2 + 1. Let f be g(-1). Suppose h - f = 3*h. Let o = -2433/11 - h. Which is bigger: 0.1 or o?
0.1
Let k = -9188 - -9198. Suppose -5*a + 18 = -42. Which is smaller: k or a?
k
Let y be (25/(-45))/(15/(-18)). Which is smaller: -0.04 or y?
-0.04
Let r = 230 - 386. Which is smaller: r or -157?
-157
Let m = 16 - 15. Suppose k = 2*k + m. Let c = 1792/13 - 138. Which is bigger: k or c?
c
Let z(x) be the first derivative of x**6/180 + x**5/40 - x**4/12 - 3*x**3 + 7. Let n(c) be the third derivative of z(c). Let d be n(1). Are d and 4 equal?
False
Let b = 22.19 + -0.19. Let o = b - 12. Let l = o - 19. Which is bigger: l or -0.1?
-0.1
Suppose 5*q - 1 = -y + 16, 4*y - 4*q + 4 = 0. Let j be y/(0 + -1) - 32/(-14). Is 0.5 at most as big as j?
False
Let n = 7/15 + -4/5. Let g be ((-2)/(-3))/((-8)/(-12)). Suppose 5*q + g = 6*q. Is n < q?
True
Let f be -88 + 1/(-2) + 30/(-12). Let c = f - -63. Does -26 = c?
False
Suppose -2*d = d + 12, 5*o + 13 = -2*d. Let v be (o/3)/((-8)/6). Is 14 less than or equal to v?
False
Suppose 5*b - 26 = 2*i, -5*b - i + 2*i + 23 = 0. Let s be (0 - (-17)/b) + -4. Which is bigger: 7/6 or s?
7/6
Let i be (-2*2/(-5))/((-2682)/90). Is i >= 1?
False
Let z = -539/288672 - -1/1164. Is 1 < z?
False
Let b be (-1 + 12/8)*(11 + -5). Suppose 2*c - 65 = -b*c - 5*r, -4*r - 60 = -4*c. Is c <= 11?
False
Let v(c) be the second derivative of c**5/20 - c**4/12 + c**3/6 + 21*c**2/2 - 10*c. Let a be v(0). Let l = a + -27. Is l smaller than -8?
False
Suppose -13*w + 10*w = -2*z - 500, -z + 4*w = 240. Is z at least -256?
True
Let d = -77/38 + 57593/28310. Which is bigger: 0 or d?
d
Suppose -20 = 4*x, 31 = 5*k - 3*x - 44. Let i = -2 - -4. Suppose -3*l + i = -34. Is l >= k?
True
Let a = 224 + -223.9. Does -44 = a?
False
Suppose 6 = -3*s - 13*d + 14*d, 4*s + 19 = 5*d. Is -3/1090 greater than s?
True
Let u = 15 - -198. Is 213 greater than u?
False
Suppose 0 = -3*g + 9, -11 = 2*o - 2*g - 3. Let z be (12/186)/(8/6). Let n = 41/527 - z. Which is smaller: n or o?
o
Suppose u + b + 3*b = 10, 4*b = 2*u - 80. Let v(t) = t**2 + 11*t - 43. Let k be v(-14). Let r be (-7228)/(-234) - k/9. Is r smaller than u?
False
Let z = -15 + -3. Let t(k) = -k**3 + 10*k**2 + 11*k - 3. Let u be t(11). Let y be u/(-2)*96/z. Which is smaller: y or -7?
y
Suppose 3*o = u - 2*u + 806, 4*u + 4*o = 3200. Is u != 797?
False
Suppose 5*x - 4*m + 32 + 129 = 0, 100 = -3*x - m. Let n = -6 - x. Is n at least as big as 26?
True
Let a = 113.2 + -108. Which is smaller: a or 4?
4
Let i(y) = -y**3 + 3*y**2 + 26*y + 16. Let t be i(7). Let f = 413/712 - -4/89. Is t >= f?
True
Let v = 43/12 - -5/4. Is 4 greater than or equal to v?
False
Let g = 7 + -19. Let b = 0.26 - 8.26. Let z = b - -7. Which is greater: z or g?
z
Let s = 111 + -110. Let f(l) be the first derivative of -l**4/4 - l**2 + 2*l - 1. Let j be f(s). Which is bigger: j or 1?
1
Suppose -8*q = -7*q - 29. Let t = -23254 - -209023/9. Let y = t + q. Is y != 0?
True
Let w be 3/(-66)*(-3 + 1). Which is bigger: -1 or w?
w
Let t be (1 - (3 - 3)) + -11. Let b(a) = a**3 + 9*a**2 - 10*a - 13. Let f be b(t). Let y = f + 12. Does 0 = y?
False
Let a(w) = 2*w**3 + 10*w**2 + w + 4. Let u be a(-5). Which is bigger: u or -772?
u
Let x be 240/(-180)*(-6)/8. Is x != -1/923?
True
Let d = 5.9 - 5. Let y = d - 0.9. Let z = 356 + -355.9. Which is smaller: y or z?
y
Suppose -2*t + 6 = -2*q, 0 = 3*t + 3*q + 2*q + 15. Let a = -1 + t. Let s be ((-12)/(-212))/(-2*(-3)/(-4)). Which is smaller: a or s?
a
Let p(k) = 26*k + 18. Let l be p(-3). Let s = l + 63. Which is smaller: s or 14/5?
14/5
Let g = -30 + 31. Let w be (1 + 1)*((-6)/12 + g). Which is bigger: -1/39 or w?
w
Let r(o) = o**3 - o**2 + 1. Let a(w) = -4*w**3 + 9*w**2 + w - 3. Let c(z) = a(z) + 3*r(z). Let v be c(6). Let x = -6 + v. Is 0 < x?
False
Let g = -13.3 - 0.3. Let t = g + 14. Suppose -4*k + 3 - 7 = 2*x, 2*x = 2*k - 4. Is t > k?
True
Let k(r) = -4*r**2 - 78*r - 27. Let b be k(-19). Are 15 and b non-equal?
True
Suppose 3*g - 4 = -5*n, 3*g + 4*n = 5 + 3. Let d be 8/(-3)*2/g. Let x be (-8125)/(-23400) - (-1 - 2)/(54/(-4)). Which is greater: x or d?
x
Suppose 4 = -4*t + 2*x, -t + 5*x = 17 + 2. Suppose -3*p - t = 23. Let o be (-2)/(-4)*(-7)/((-42)/(-72)). Is p > o?
False
Let g = 22.56 + -23. Let z = g - -11.44. Is z at most 3?
False
Let v = 98 - 134. Let f = 14 + v. Is f greater than -1/2?
False
Let x be (3/(-6))/((-1)/2). Let l = 719476 - 307215869/427. Let b = l - -15/61. Which is smaller: b or x?
x
Let o(p) = p - 1. Let i be o(3). Suppose -109 = -3*u - 5*t, 25 = 7*t - i*t. Suppose -2*q = -4*q - 4, 5*w - q = -u. Is w < -8?
False
Let x be ((-36)/21 + 2)*3/(-4). Suppose 3*m - 24 = -4*n, 9*n - 49 = 4*n + m. Let r = 9 - n. Which is smaller: x or r?
x
Let w(z) = 31*z**2 + 17*z + 32. Let l be w(-2). Is 124 less than l?
False
Let j = 367 - 371. Is -1/13 greater than j?
True
Let p be (566/1881*-1)/(15/(-9)). Let k = p + -8/55. Is k equal to 1?
False
Let z = 1890138 - 68031005/36. Let w = z + -1531/4. Which is bigger: w or 6?
6
Let j be 2/(-1) + (-1 - 0). Let r be j/(-4)*8/(-20). Suppose -13 = 16*y + 3. Is y smaller than r?
True
Let c = 3168 + -3169. Let u be 9/(-129)*(-1 + 3). Which is smaller: c or u?
c
Let v = -224 + 150. Does v = -72?
False
Let g(a) = -3*a**2 - 103*a + 68. Let r be g(-31). Is 378 at least as big as r?
True
Let v be ((-27)/(-36))/((-9)/(-24)). Which is greater: 4 or v?
4
Let i be (-1623)/25740 - (28/16 + -2)