than i?
True
Suppose 0 = 5*l + 3*m - 24, 2*l + 4*m = m + 15. Suppose -t - 2 = -3*n + 3*t, 4*n + l*t = -14. Which is greater: -3/4 or n?
-3/4
Let p(l) = 2*l - 7. Let g be p(5). Suppose -g*w = -7 + 4. Let r be 3/14 + 4/14. Is r > w?
False
Let z = 4 - 4.7. Let s = 0.6 + z. Is s equal to 5?
False
Let h be 2 + (2 + -4 - -1). Let s = 1 + h. Suppose 5*j - 3*j + 2*d - 12 = 0, -2*d = j - 8. Is j at most s?
False
Let o(p) = p + 2. Let w be o(7). Let q = w + -5. Let i be -2*(30/q)/(-5). Are i and 4 non-equal?
True
Let n(f) = -f**3 - 9*f**2 + 3*f + 10. Let r be n(-7). Let g = r + 979/9. Suppose 0*q = -4*q. Which is greater: g or q?
q
Let u be (-363)/6 + (-2)/8*2. Which is greater: -62 or u?
u
Let l = -311/1312 + 11/41. Which is smaller: 0 or l?
0
Let r be 3/(-6) - 46/(-28). Let n be 1 - (-45)/(-27) - 4/(-6). Which is smaller: n or r?
n
Let i = 4 - 13. Let d = i + 6. Let v = 2 + -2. Which is greater: d or v?
v
Let k be 22/6 - (-4)/(-6). Let y(l) = 1. Let h(t) = -t. Let r(j) = 3*h(j) + 4*y(j). Let s be r(k). Which is smaller: -6 or s?
-6
Let b = -2079 - -12509/6. Which is bigger: b or 5?
b
Let d(k) = k**3 + 6*k**2 - 7*k - 1. Let v be (-14)/(-4)*(-4)/2. Let l be d(v). Is -2 smaller than l?
True
Let x be (-28)/(-3) - (-4)/6. Let s(c) = 2*c - 11. Let p be s(x). Let k be 6/p*3 + 0. Are 2 and k nonequal?
False
Let o(j) = j**2 + 7*j + 5. Let n be o(-5). Suppose 5*f - 9*f = -24. Let y = f + n. Is 3 greater than or equal to y?
True
Let h = -11.7 - -11. Let a = -0.3 + h. Which is smaller: a or 0.01?
a
Let a(m) be the first derivative of -m**4/4 - 7*m**3/3 + 7*m**2/2 - 8*m + 4. Let n be a(-8). Is 0 bigger than n?
False
Suppose a = 3*a. Let i(m) = m**3 + 10*m**2 + 10*m + 9. Let r = -32 - -23. Let x be i(r). Are a and x unequal?
False
Let r be (-38)/42 - 1/(-3). Let h be (-4 + 8/2)/2. Are r and h unequal?
True
Suppose -7*g = 5*s - 11*g - 4, s - g - 1 = 0. Let a = 1132/13 + -87. Is a at most s?
False
Suppose -5*w + 493 - 33 = 0. Let b = w - 645/7. Suppose -5*y - 9 = z - 2, -5*z - 9 = -y. Is y < b?
True
Let q = -3 - -10. Let x be (-2)/q + -3 - -3. Suppose -a = -2*a. Which is smaller: a or x?
x
Let c(b) = -b - 4. Suppose 2*v + 9 = -1. Let a be c(v). Which is greater: a or -1?
a
Let x = -1 - -3. Let r(l) = 5*l**2 - 2*l**2 + 4*l - 2*l**2 + x*l - 2. Let u be r(-6). Are u and -3 equal?
False
Let m = -0.07 - -1.07. Is 0 at least as big as m?
False
Let r = 0.13 - 0.05. Which is smaller: 0 or r?
0
Let f(n) = n**2 + 5. Let b be f(0). Let c = -16 + 0. Let z = 20 + c. Which is bigger: b or z?
b
Suppose -t = 2*y - 5, -3*t - y + 5 = -0*y. Suppose -2*s - 2 = -2*b - 0, 3*b - t = 5*s. Which is smaller: -1 or s?
-1
Let g(n) = -n**2 + 23*n + 49. Let i be g(25). Let h be 0 - 2 - 6/(-4). Which is bigger: h or i?
h
Let y = -1 - -2. Let o = y - 3. Let m = 6/11 - 29/33. Is o at most as big as m?
True
Let g = -18 + 14. Suppose -4 = 5*n - 39. Suppose -6*f + 3*f = r + n, -9 = r + 5*f. Is g bigger than r?
False
Let l = -4 + 4.5. Let o = l - -0.5. Let t = 1 + o. Does 2 = t?
True
Suppose 0 = -2*p - 0*p + 4. Let j be 3 + -2 + 2 + -1. Suppose 4*f - j = 2*f. Are f and p unequal?
True
Let z = -43 + 131/3. Let v = 31 + -30.9. Are z and v equal?
False
Let x = -848/11455 - -2/395. Is x equal to -1?
False
Let j be 6/(-2) - 62/(-18). Suppose -3*h + 1 = -2. Suppose 5*x - 3*f + h = 0, 0 = -2*x - 4*f + 1 + 9. Which is bigger: j or x?
x
Suppose 2*l - 138 = -4*a, 0*a + a = -3*l + 32. Suppose -4*j = -9*j + a. Let t = -8 + j. Is -2/9 at least as big as t?
True
Let h = -22 + 26. Let p = 0 + -0.1. Which is smaller: h or p?
p
Let o be 6/4 - 1/(-2). Suppose 0*g - g = o. Is -2 not equal to g?
False
Let u be 6/4*(0 - -4). Suppose -3*s + 3 = -u*s. Let m be (3/9)/(2/(-6)). Are m and s non-equal?
False
Let m be ((-4 - (-3 + -8)) + -4)*-1. Let p(k) = k**2 - 7*k + 7. Let o be p(5). Is o greater than m?
False
Let k(j) = 4*j - 2 + 11 + j**2 - 13*j. Let f(a) = 2*a + 2. Let n be f(3). Let w be k(n). Is 2 greater than w?
True
Let a(v) = -3*v + 1. Let t be a(-1). Let s = t - 2. Which is smaller: 1 or s?
1
Let v be ((-18)/(-15))/(6/15). Let b(h) = -h**2 + h + 2. Let w be b(v). Is w != -4?
False
Let u = -2/19 + 41/209. Which is greater: u or 0.2?
0.2
Suppose -4*o + m = 0, -o + 4*m + 7 = 2*m. Suppose -5 = c - 4. Do o and c have different values?
False
Let v = -5 + 6. Which is smaller: v or 7/6?
v
Let i be 6/(-3)*(-1)/(-1). Let w be (0 + (-2)/(-4))*i. Let n = -63 - -312/5. Which is greater: w or n?
n
Let m = -7347/17 + 432. Is 1 equal to m?
False
Let c be (-3)/12 - 39/(-12). Suppose -4*l - 2 = -3*x - c, 0 = -5*l - 4*x + 9. Which is smaller: 0 or l?
0
Let n = -4 + 3.9. Let c(s) be the first derivative of -s**2/2 + 2*s + 1. Let v be c(2). Is n > v?
False
Let u = 0.1 + -0.1. Let t = u + 0.2. Let y = -0.119 - -0.019. Is t less than y?
False
Let p be (0/1)/(-5 + 6). Do p and -6/5 have different values?
True
Let m = 1.1 + -0.1. Is 2.6 not equal to m?
True
Let j be (5/(-55))/(2/24). Let o(g) = -g**2 - 5*g - 5. Let x be o(-4). Is x < j?
False
Suppose -2*m - 40 = -4*l, 5*l = 4*m + 6*l + 35. Is -9 at least as big as m?
True
Let d = -21 - -25. Let s = d + 0. Let u be 0/1 - (-4)/(-10). Which is smaller: s or u?
u
Let y(u) = u - 2. Let z be y(-2). Let v be 32/(-6) + (-4)/6. Let w be 9/v - (-2)/z. Is -1/5 at least as big as w?
True
Let f = -37/93 - -2/31. Does f = 0?
False
Let t(s) = -2*s + 3. Let r be t(-18). Is 39 smaller than r?
False
Let j(t) = -t + 11. Let p be j(8). Let o be 2/p + (-3)/9. Which is smaller: o or -0.1?
-0.1
Let i = 24 - 47/2. Which is smaller: i or -2/27?
-2/27
Let h(g) = -7*g**2 + 4*g**2 - 7 + 9*g - 7*g**2 - g**3. Let j be h(-11). Which is smaller: j or 14?
14
Let j = -5 + 4. Suppose 7*i = 2*i + 20. Suppose -i*a + 3*a + 6 = -2*w, 4*a - 3*w = 9. Which is bigger: j or a?
a
Let v = 1.6 + 0.4. Let b = -2.3 + v. Is -0.1 <= b?
False
Let f(j) = -j**2 - j - 1. Let s(a) = -5*a**2 - 9*a - 7. Let l(y) = 4*f(y) - s(y). Let h be l(-3). Suppose -5*n = 1 + 9. Which is smaller: n or h?
h
Let d = -92 - -1013/11. Is d at least -1?
True
Let f = 4 - 7. Let s = f + 3.1. Let r = 0 - -0.2. Which is smaller: r or s?
s
Let d = -46 + 65. Let t = -13 + d. Is t less than -1?
False
Let u(y) = y**2 + 4*y - 1. Let w be u(-3). Is -5 smaller than w?
True
Let p = -5 - -1. Let i = 4 + p. Let h = -1 + i. Are -0.1 and h nonequal?
True
Let w = -163/3 - -381/7. Which is bigger: 1 or w?
1
Let s be 35/42*206/5. Let h = -34 + s. Which is bigger: h or 2?
2
Let t(a) be the second derivative of a**4/4 + a**3/3 - 3*a**2/2 + a. Let c be t(2). Let g be (1 - (-15)/c) + -2. Is -1 not equal to g?
True
Let x = 22 - 12. Suppose 0 = -5*h - r - 26, 2*r + 27 = -5*h - 0. Let c be (1/2)/(h/x). Is c bigger than -1/4?
False
Let q be 33/(-68) + (-1)/(-4). Let w be (-138)/8*(-48)/918. Let f = q + w. Which is smaller: 2/7 or f?
2/7
Suppose 2*r + 0*r = -5*i + 44, 40 = 3*r + i. Are -1 and r unequal?
True
Let o = 0.919 - -0.081. Which is smaller: o or -0.07?
-0.07
Let r(f) = -f**2 - 3. Let n be r(-3). Let k be 18/(-20) + (-6)/n. Which is bigger: -1/3 or k?
-1/3
Suppose -g + 0*g = 4, -2*g = -5*x - 2. Which is bigger: 1/2 or x?
1/2
Let s = -18 + -7. Let w be 5/s - (-8)/(-10). Is w greater than 2/5?
False
Let d = 0 + 6. Suppose c = 2*x, -x - 2*c + d = 1. Is x at least -0.15?
True
Let v be (-8)/20 + 2 + -1. Is 2/3 < v?
False
Let o = 0 - -3. Suppose -1 + 3 = x, 12 = o*s + 3*x. Let f be (-2)/(-4)*(s - 3). Is f > -1?
True
Suppose -8 + 3 = -5*y. Let g = -4 + 4.4. Let l = g - 0.7. Are y and l equal?
False
Suppose 3*g = 7 - 1. Let o = 5/31 - -73/124. Is g equal to o?
False
Let a(u) be the first derivative of -u**2/2 + 3*u + 1. Let f be a(4). Let j = -52 + 154/3. Which is greater: j or f?
j
Let a be (2/3)/(4/(-30)). Let c be 4/(-10) + 8/a. Let i = 1 - 4. Is c less than or equal to i?
False
Let a = -2 + 1. Let l = 0.9 - -0.1. Is a greater than or equal to l?
False
Suppose m = -21 + 22. Let u be (-12)/(-10)*(-5)/13. Which is bigger: m or u?
m
Let i(s) = 5*s**3 + 3*s**2 - s - 4. Let y be i(-2). Which is smaller: -3 or y?
y
Suppose -l + 4*g = 12 - 3, g = l. Let a be (l/(-3))/((-1)/2). Suppose -4*v + 20 = 0, -33 = -5*p - 5*v + 2. Are a and p nonequal?
False
Suppose 0*u = 5*u + 15. Let x = -1 + u. Which is smaller: x or 0?
x
Let f be (2/6)/(10/180). Suppose 5*t - 20 = 2*s, f*s - s - 2*t = -8. Are s and -