r*m + v - 0 - 5. Is -3/5 < m?
True
Suppose -5 = 4*i + i. Suppose -2*t + 5*k = -4, 0*t - 3*k - 4 = -2*t. Let v be t - (2 - 3)*-2. Are v and i non-equal?
True
Let v = 0 + 0. Let w = 76 - 77. Let p = w - v. Which is bigger: -2/11 or p?
-2/11
Let i(u) = u**2 + 3*u + 5. Let p be i(-5). Let t be 51/p - (-6)/10. Let x = t + -7. Which is smaller: -2 or x?
x
Let d = 0 - 0. Let x = 180 - 182. Which is smaller: d or x?
x
Let a be 2 + 0/2 + 8. Let z be -1*(1 + 1)/a. Let l(g) = -g**3 - 3*g**2 + 9*g - 4. Let f be l(-5). Is f smaller than z?
False
Let g(s) be the third derivative of s**7/5040 + s**6/720 + s**5/30 + s**2. Let m(u) be the third derivative of g(u). Let c be m(-3). Are -1 and c non-equal?
True
Let k be 62/234 + (-4)/26. Is 1 at most as big as k?
False
Let h = 0.51 - 0.61. Let n = 205 - 1225/6. Let b = -7/12 + n. Is b less than h?
False
Let m be 4 + (-44)/8 + 1. Is m at least -0.3?
False
Suppose 85 = 5*o - 0*o. Let l = o + -17. Which is bigger: l or 15?
15
Let i(u) = -u**3 + 2*u**2 - 2*u + 3. Suppose -14 = -4*x - 6. Let k be i(x). Which is bigger: -3/7 or k?
-3/7
Suppose 4 - 6 = -v. Suppose -2 + 1 = t. Let m(h) = 4*h + 1. Let z be m(t). Which is greater: z or v?
v
Suppose -15 = o - 4*o. Is o greater than 5?
False
Suppose 0 = -2*i + 2, 0 = -0*d + 4*d - i - 23. Suppose 3*t = d*t + 3, 4 = -5*m - 4*t. Let n be 0 - 1 - (-12)/20. Is m less than or equal to n?
False
Suppose 0 = 5*t - 4*d - 4, 3 = t + 3*t - 3*d. Is t less than 15/16?
True
Let r be (1/2)/(2 + 26/(-12)). Do 1.1 and r have the same value?
False
Let c = 10933/308 - -135/77. Suppose -3*p - 11 + 122 = 0. Let h = c - p. Which is smaller: 1/3 or h?
h
Let b(j) = j**2 - 5*j - 3. Let t be b(5). Let f(p) = 3*p + 0*p - p + 1 - p. Let u be f(-3). Is u >= t?
True
Let i = 72 + -279/4. Let y = -1 - -2. Are i and y non-equal?
True
Let a = -136 + 136. Is -125 smaller than a?
True
Let y be -1 + (6 + -2 - 0). Suppose y*l = l. Suppose -t + 0*a + 4 = a, 5*t + 4*a = 16. Do t and l have the same value?
True
Let n = 9418/19 + -496. Which is smaller: n or -2?
-2
Let x = 6.14 + -0.14. Let w = 5.7 + -0.7. Let c = w - x. Which is bigger: c or 1/2?
1/2
Let m = -128 + 127. Which is smaller: 1/22 or m?
m
Let z be (-615)/27 + 2/(-9). Do z and -23 have the same value?
True
Let h = -16 - -18. Let o be ((-2)/5)/(h/(-10)). Is o at most 4?
True
Let m(z) = 2*z - 9. Let t be m(9). Let c be (-2)/(-3) + (-6)/t. Are -1/5 and c equal?
False
Let j(f) = -f**3 - 12*f**2 + f + 6. Let x be j(-12). Let t(c) = -3*c**2 + 2*c + 2. Let h be t(2). Is x at most h?
True
Suppose -2 = s - 3. Let g be (-5)/(-4)*4/30. Which is bigger: g or s?
s
Let p = -13 - -6. Let w = p - -9. Is w bigger than 1?
True
Let p be 9/15 - 12/(-5). Let i be p*((-11)/(-6) + -2). Let w = 0.1 - 0.1. Which is smaller: w or i?
i
Let n(l) = -l**3 - 10*l**2 - 10*l - 9. Let d be n(-9). Is d > -1/11?
True
Let a be 6 - (3 - (-2 - -3)). Let x = a - 4. Which is smaller: x or -1?
-1
Let x(i) be the second derivative of i**5/20 - 5*i**4/12 + 5*i**3/6 - 2*i**2 + 2*i. Let w be x(4). Let g = -3 + 3. Is g bigger than w?
False
Suppose -4*g = -4*n, 4 = n - 5*g - 0. Let j = n + -2. Let t be (1/4)/(j - -2). Are t and -1 non-equal?
True
Let m(c) = -c - 3. Let l be m(-2). Suppose -u + 9 = 2*u. Suppose 2 = -2*x + 4*i - u*i, 3*x - 10 = -5*i. Which is smaller: l or x?
l
Let s(v) = -v**3 + v**2 + 23. Let o be s(0). Suppose 0 = 2*k + 9 + o. Let a be (1 - k/(-10))*-5. Which is smaller: a or 4?
a
Let z(k) = -k - 12. Let n be z(-12). Suppose 3*v = 2*s + 6, -2*s - 3*s = n. Is v equal to 1?
False
Let y = 9 + -9. Is 1/3 less than y?
False
Let c be 2/7 - 12/(-7). Let n be c/4 - 2/(-4). Let f = 507/4 - 126. Is n greater than or equal to f?
True
Let u(y) = y**3 + 5*y**2 + 3*y - 6. Let g be u(-4). Which is bigger: -12/13 or g?
-12/13
Suppose 3*i + 5 + 10 = 0. Suppose 14 = -2*d + 6. Is d at most i?
False
Let d(y) = y**2 + 8*y - 7. Let r be d(-7). Let w be (-22 - r) + 4 + -1. Is w at least as big as -3?
False
Let i = -1.9 - -0.9. Which is smaller: -1/2 or i?
i
Suppose v = -0 - 1. Which is smaller: 2 or v?
v
Let o = 16 + -11. Suppose o*b + 8*j - 40 = 4*j, -5*j = -4*b - 9. Suppose -14 = 5*v - c, -b - 4 = 4*v - 4*c. Is -3 <= v?
True
Let i(z) = -z + 5. Let a be i(4). Suppose 0 = -3*j + a + 2. Is j != -1/19?
True
Suppose 7*i = -4*z + 3*i - 40, -i = 2*z + 15. Suppose -19 = -g + 5*j, -3*j + 6*j = 2*g - 10. Are g and z equal?
False
Let v(b) = b**3 - 4*b**2 - 6*b + 3. Let r be v(5). Are r and -30/13 equal?
False
Let h = 26/15 - 91/15. Is h smaller than -4?
True
Let r be ((-144)/80)/(4/5). Is -2 <= r?
False
Let j = 5 - 5. Let o be (-3)/(-2) + (-1)/3. Let p = o + -5/6. Is j greater than p?
False
Suppose 0 = -2*y + 5*p - 7, y + 3*y - 2*p + 38 = 0. Is y <= -9?
True
Suppose -5*p - 4 - 1 = 0. Let c be p/(-3) + (-14)/6. Is -1 at least as big as c?
True
Let h = 111.12 + -111. Which is smaller: h or -0.1?
-0.1
Let l = 6 + -8. Let y be -1*2*l/8. Let q = -975/7 - -139. Which is smaller: q or y?
q
Let p(v) = v + 3. Let l(r) = 1. Let o(i) = 5*l(i) - p(i). Let u be o(2). Let k be 4/10 + (-6)/10. Which is smaller: u or k?
k
Let f(a) = -2*a**3 - 1. Let t be f(1). Let i = -4 + t. Let y = -4 - i. Is 3/2 less than y?
True
Let a be 4/34 - (-808)/68. Is a < 12?
False
Let v = -4 + 8. Suppose 2*q - 2 = -4*o + 4*q, 0 = -v*o - 2*q - 18. Is -1 > o?
True
Let b be 21/14*(-8)/(-18). Which is bigger: 16 or b?
16
Let t be (-2)/(3/(102/(-4))). Let w = -45 - -50. Suppose 3*s - n = 10, -t = -6*s + 2*s + w*n. Does 1 = s?
False
Let g = 5 - 4. Let b = -4 + g. Is -2 smaller than b?
False
Let i(o) = -o**3 - 12*o**2 + 15*o + 16. Let y be i(-13). Do y and -8 have different values?
True
Let b = 5 - -66. Does 71 = b?
True
Suppose 13*d - 7*d + 660 = 0. Is -110 <= d?
True
Let f be -1 - (372/8)/3. Which is smaller: -17 or f?
-17
Let l = 41 + -37. Is l < 2?
False
Let c(h) be the third derivative of -h**4/24 + h**3 - h**2. Let w be c(5). Let f = -311 + 313. Is f != w?
True
Let p(q) = q - 2. Let u be p(2). Suppose u = 2*b + 1 + 3. Is b <= -1/2?
True
Let t be (-2)/5 - 2/(-5). Let j = 5/3 - 3. Do t and j have the same value?
False
Suppose 4*a + 20 = 4*g, -5*a + 10*a = -2*g - 25. Which is smaller: g or -2/11?
-2/11
Suppose 1 + 1 = -2*v. Let c be -2*v/(-2) + -1. Let q be c/6*(-12)/(-16). Which is greater: -1 or q?
q
Let k be (-105)/(-15) + 1*-3. Suppose -2 = -w - k. Which is greater: w or -0.1?
-0.1
Let m = -3.94 + -0.06. Let x = 3 + m. Which is smaller: -4 or x?
-4
Let l be -2 - (-2 + 1929/(-21)). Let d = 91 - l. Suppose x = -0*x. Are x and d unequal?
True
Let g = 0.02 - 0.32. Let h = -25 - -25. Which is smaller: h or g?
g
Let x be 1/5 - (-14384)/(-170). Let r = 64/51 - x. Let a = r + -85. Which is smaller: a or 2/5?
2/5
Let g(k) = -k**2 - 8*k + 11. Let u be g(-9). Let h(d) = -d**2 + 2. Let f be h(u). Let v be 0/4 - f/6. Which is smaller: v or 1?
v
Suppose 4*c - 9*c = 420. Let g be (-7)/(c/88) - 2. Is 6 > g?
True
Let t(k) = k**2 - 6*k + 10. Let z be t(3). Let c = 1 + -1. Which is smaller: c or z?
c
Suppose -3*c + 4*c + 22 = 0. Let o be (-4)/c - 2/11. Let r = -597/484 + -2/121. Which is bigger: r or o?
o
Let s(h) = -11*h**2. Let o be s(-2). Let a = o + 482/11. Let v be 0*(2/4 - 0). Which is smaller: a or v?
a
Suppose -l - 2*l = 0. Suppose -5*i + 4*b - b = -3, -2*i - b - 1 = l. Let j = -19/100 + -3/50. Which is smaller: i or j?
j
Suppose -3*m + 17 = -22. Is 2/11 at most m?
True
Let y(m) be the second derivative of m**4/12 - m**3/6 - m. Let o be y(2). Does 2 = o?
True
Suppose 5*w = 5*v - 5 + 40, 0 = -5*v + 3*w - 45. Which is bigger: v or 1/4?
1/4
Let y = -260/3 - -85. Suppose 0 = -2*k - 2. Is k less than y?
False
Let j be (-7)/42 - -1*(-8)/(-51). Does j = 0?
False
Let v be (0 + (-20)/55)*(-1)/6. Do v and 1 have the same value?
False
Let h(o) = o**3 + 3*o**2 - 3*o + 3. Let b(c) = -3*c - 1. Let g be b(1). Let m be h(g). Let d be (m - 3)*(-3)/(-4). Is -3 less than d?
False
Let z be -3 + 268/136 + 1. Is -1 less than or equal to z?
True
Let s be -6*1/(-2) + 1. Let q be 2/(-12) + (-2)/s. Which is smaller: q or 2/7?
q
Let p be 4/16 - (-3)/4. Is p equal to 12/5?
False
Let s = -33 + 19. Let i = -12.2 - s. Let o = i - -0.2. Is -0.2 != o?
True
Let y = -4 - -6. Suppose 7 = -3*d - y. Which is smaller: d or -5?
-5
Suppose 2*y = 5*y. Let o be -6 + y/(-3 + 6). Which is smaller: -5 or