equal?
False
Let l = -0.1 - -0.3. Let i = -0.758 + -0.042. Which is bigger: l or i?
l
Let t = -6 + 22. Suppose 4*i - 4*q + t = 2*i, -20 = -5*i - 5*q. Let j = 0 + i. Which is smaller: 1/3 or j?
j
Let u be -4 + (16 - -1)/1. Let k = u + -2. Which is smaller: 12 or k?
k
Let u(h) = -h**3 - 2*h + 1. Suppose 0*f = 4*f - 2*r - 10, -4*r = 12. Let x be u(f). Which is smaller: x or 0?
x
Suppose -3*u - 11 + 2 = 2*k, 0 = -5*k + 2*u - 51. Let g(y) = y**3 + 4*y**2 - 5*y - 7. Let d be g(-5). Are d and k nonequal?
True
Let a = 11 - 10. Which is greater: a or 0?
a
Let t be -1 + -6*2/(-4). Suppose 4*g = 5*g + t. Let w be (-1)/g*-6 + -1. Is -5 > w?
False
Let t = -8 + 11. Which is greater: t or 2/15?
t
Let f = 23 + -11. Let s = 8 - f. Which is bigger: s or -5/2?
-5/2
Let v = 4 + -9. Let j = -17 - -3. Let d = j - -9. Are d and v equal?
True
Let s = 2.1 + -2. Let d = -4 - -3.98. Let q = d + 2.02. Is q greater than s?
True
Let z = -9892099/10152 + -9643/216. Let p = z - -1019. Is p smaller than 0?
True
Let x(r) = r**2 + 7*r - 6. Suppose -5*o = 23 + 17. Let w be x(o). Suppose -y = -w - 0. Do 1 and y have the same value?
False
Let r = 0 - -2. Let l(j) = j**2 + 8*j + 9. Let b be l(-6). Let u = 6 + b. Which is smaller: r or u?
r
Suppose u - 4 = 2. Suppose -4*q = -s - 11 - u, -s - 13 = -3*q. Is -2/19 equal to s?
False
Let z = -36 + 53. Is 16 smaller than z?
True
Suppose 5*i + 4*g = 53, 0*g = -5*i + 5*g + 35. Let a be (-3)/i + 4/3. Let o = 74 + -74. Are a and o non-equal?
True
Let r(w) = w**2 - 6*w - 19. Let p be r(6). Which is bigger: 1 or p?
1
Let z be (-1)/(-2)*-1*12. Let n be (-9)/z + (-1)/2. Let v be (-19)/(-7) - (2 - -1). Which is greater: v or n?
n
Let l = -1.6 - -1.5. Which is greater: 5 or l?
5
Let t be (15 - 13) + 0/1. Is -10 < t?
True
Suppose -2*m - 9 = m. Let f(r) = r + 3. Let x be f(m). Is 1/8 less than x?
False
Let t(f) be the first derivative of -5*f**3/3 - f**2 + 2*f - 4. Let i be t(-2). Is -14 <= i?
True
Let r(l) = l**2 + 6*l - 3. Let c be r(-7). Let q(i) = i**3 - 3*i**2 - 5*i + 5. Let g be q(c). Is 3/8 at most g?
True
Let h = 16 + -15. Which is bigger: -3/17 or h?
h
Let v(z) = -z - 14. Let p be v(-8). Which is greater: p or -5?
-5
Let q be -1 - 1 - (-62)/116*4. Which is smaller: q or 0?
0
Let u = 8 + -6. Let t = u + -5. Let x = 5 + t. Which is smaller: x or -1/2?
-1/2
Let r be 5/(10/(-8)) + -4. Which is smaller: r or 0?
r
Suppose -5*v = -u - 1, 50 = -3*u - 2*v + 13. Let h = u - -29. Suppose h = -3*k - 5*d, d + 1 = -2. Are k and 0 equal?
False
Let u(y) = -y**3 - 8*y**2 - 8*y - 7. Let b be u(-5). Let z be (-12)/b - 38/35. Is z >= 0?
False
Suppose 0*y + 3*y - 12 = 0. Let u = 0.02 + 0.08. Which is bigger: u or y?
y
Suppose 0 = p - 5*p - i, -3*p = -3*i. Let a be 30/(-16)*(5/25 + 0). Is a less than or equal to p?
True
Suppose 3*o + 2 + 1 = 0. Let l be (-8)/8*1/3. Is o greater than or equal to l?
False
Let k = -83 + 89. Which is bigger: k or -0.06?
k
Let t be (-21)/4 + 5/20. Let z(x) be the second derivative of -x**5/20 - x**4/3 + 5*x**3/6 - x**2 + 3*x. Let j be z(t). Is -2 equal to j?
True
Let c = 2 - -2. Let q = 2 - c. Which is smaller: q or 2/9?
q
Let k = 3/271 + 4059/542. Which is bigger: 8 or k?
8
Let i be 5 - (2 - (-1 + 2)). Let l(d) = -d + i*d - 4*d + 2*d - 7. Let w be l(0). Is -7 greater than w?
False
Let l = 0.044 + 19.956. Let b = l + -20. Let d = -185/3 - -61. Which is smaller: d or b?
d
Suppose -p = -11 - 7. Let v be (-18)/81 + 94/p. Is 5 greater than v?
False
Let o = -2 - -1. Let s = o + 1. Is -1 <= s?
True
Let i = 0.34 + 12.66. Let z = -18.5 - -0.5. Let j = i + z. Which is smaller: j or 0.1?
j
Let a be 1*(-2)/3 - 471/(-693). Which is smaller: 0 or a?
0
Suppose -3*l + 2 - 5 = 4*x, 3*l - 4*x - 21 = 0. Suppose l*t + 0 = d + 1, -26 = -3*t - 4*d. Do t and 4 have the same value?
False
Suppose -c - 44 = c - 4*g, 102 = -4*c + g. Which is bigger: 1 or c?
1
Suppose 5*p = q - 15, 4*p = q - 0*p - 17. Is 25 bigger than q?
False
Let o = 40 + -36.9. Let d = -3 + o. Let g = 0 + d. Which is greater: g or -0.4?
g
Let f = 128/195 + 43174/1365. Let t = 361/14 - f. Let y = -7 - t. Is y equal to -1?
False
Suppose 0*a + a = 0. Suppose -2*m - 2*m = a. Suppose m = q - 2*p - 8, 3*q = -0*q + 5*p + 19. Are -1/2 and q non-equal?
True
Let p = 1.01 + -0.01. Let g be (-12)/120*(-1 - 3). Is p at least g?
True
Let k be -15 + 3 + 4 - -1. Suppose v + 2*v + 31 = -2*z, -44 = 3*z + 4*v. Which is smaller: z or k?
z
Let q be (4 - (-9)/42) + (-4)/(-14). Let p(f) = 5*f - 1. Let t be p(1). Is t less than q?
True
Let s = -0.19 + -0.81. Let q = -2 + 4. Which is greater: s or q?
q
Suppose -z = -3*z - 4. Which is smaller: z or -6?
-6
Let a = -0.245 + 18.145. Let i = 21 - a. Let r = -3 + i. Which is greater: r or -2/7?
r
Let n = -279/5 + 288/5. Is 1 bigger than n?
False
Suppose 3*m - 4*i = -5, 0*i - 3*i = -3*m. Let v be 2/((-2)/m*1). Which is greater: 1/4 or v?
1/4
Suppose 0 - 1 = c. Let q = 7/2 + c. Is q smaller than 4?
True
Let h = 7731/26401 + 2/1553. Which is smaller: 0 or h?
0
Let k = -13 + 12. Let p = k + 10. Which is smaller: -1 or p?
-1
Let c(t) = t**2 - 9*t + 7. Let k be c(8). Let y be (4 - (0 - -3)) + k. Which is bigger: y or 4/5?
4/5
Let n = -11 + 20. Let s be -3*(-3)/(n/(-4)). Let r be ((-2)/s)/(3/6). Which is bigger: r or 2?
2
Let x be 3/((-24)/(-4)) - 3/6. Let q = -55/204 - -1/51. Which is bigger: x or q?
x
Suppose 6*r - 9*r = 0. Let p(f) = -f**3 + 4*f**2 - 5*f + 3. Let q be p(3). Let n be 0*(q/2 + 2). Does r = n?
True
Suppose q + 9 = -2*q. Let s = 9 - 13. Which is smaller: s or q?
s
Let k(q) = -q + 7. Let s be k(9). Let z(o) = -o**2 - 3*o + 2. Let l be z(-4). Is s at least as big as l?
True
Let x be (1 - (2 + 0)) + -5. Let n be (x/(-4))/(9/6). Let r be 2/(-16)*7 + n. Does r = -1?
False
Let z = 31/3157 - -3/77. Do 0 and z have the same value?
False
Suppose 0 = 3*x - 3*u + 102, 2*u - 12 = -2. Which is smaller: -28 or x?
x
Suppose 10*s - 5*s = 0. Let u(c) = c**2 - 8*c + 1. Let g be u(4). Let x be 3/g - (-14)/(-30). Which is bigger: x or s?
s
Let n = -19 + 12. Which is bigger: n or 1?
1
Let h = -6 - 3. Is -9 less than h?
False
Let z = 75/8 - 4283/456. Let r = 58/1121 - 10555/6726. Let u = z - r. Which is smaller: 0 or u?
0
Let q(m) = -m**3 - 7*m**2 + 3. Let w be q(-7). Suppose -w*i = -t - 1, -3*t - 3 = -i - 4*t. Is 0.2 != i?
True
Suppose -2 = t - 0*t. Let j = 166498/39 + -4270. Let v = j - -2/13. Which is smaller: t or v?
t
Suppose g - 14 = -21. Is g at least -36/5?
True
Suppose 2*w = w - 3. Suppose i = -2*i - 9. Is i at most as big as w?
True
Suppose -2*r = 4*g - 2*g - 4, 4*r - 2*g - 20 = 0. Are r and 1 non-equal?
True
Let u = 279/415 + -6/83. Suppose 5*q - 12 = -3*n, 0*n + 4*n = 16. Which is smaller: u or q?
q
Let b be 0 + 2 + (1 - 1). Suppose 0 = -b*q + 5*x + 7, -18 + 4 = 2*q + 2*x. Let f be (6/q)/(156/16). Which is greater: f or -1?
f
Suppose -6*h = -3*h + x - 11, -4*h + 4 = -4*x. Suppose a + 2*a + 123 = l, -5*a - h*l = 191. Let o = 159/4 + a. Is o less than 0?
True
Suppose -3 - 11 = 4*b + 5*h, -4*b = -4*h - 4. Let u = 220/3 - 74. Is b less than or equal to u?
True
Let i be 2*(-1 + (-4)/(-1)). Let q(x) = -2*x + 5. Let g be q(4). Let w be 2/(g/i*2). Is -1 != w?
True
Suppose 3*r = 5*r - 24. Let k = r - 14. Which is smaller: k or -3?
-3
Let l = 0.5 - 0.3. Let s = l - 0.2. Let r = 22 - 22. Is s > r?
False
Let w be (-12)/(-8) + 2/(-4). Let o = 4956143/160 + -30976. Let r = o + -3/32. Which is bigger: w or r?
w
Let j(r) = 5*r - 24. Let k be j(7). Which is smaller: 10 or k?
10
Let o be (6/(-5))/((-6)/20). Suppose -o*a - a + h = -11, -2*a - 3*h + 18 = 0. Let s = a + -2. Is s smaller than -2/11?
False
Let a = -158 - -787/5. Which is bigger: a or 0?
0
Let w = 27 - 29. Let b be (-2 + -1 - -1) + 0. Is w greater than b?
False
Let a be 13/(-3) + (-31)/(-62). Is -4 greater than or equal to a?
False
Suppose -21 = 4*m - 7*m. Let w be (2/(-2))/(-3 + m). Which is smaller: w or 1?
w
Let a be (-2)/18*317 + (-4)/(-18). Which is smaller: a or -34?
a
Let k = 4 + 4. Let d = k - 9. Is d not equal to 1?
True
Let w(u) = u**3 + 2*u**2 - 3*u + 3. Let x be w(2). Which is greater: x or 12?
x
Let c be (-4)/(-2) + 30/(-3). Let y be (-18)/c + 2/(-8). Let s be -1 - (y - (-66)/(-21)). Are s and -1 nonequal?
True
Suppose -1 = b - 2. Let o be ((-4 - -1)*b)/5. Let g = 9.1 - 9. Which is greater: g or o?
g
Suppose 2*p