. Let j be (u - (-2 + 0))/(-1). Are -1 and j non-equal?
False
Let f = 1 - 2. Suppose 0 = b + 8 - 0. Let l = b - -7. Do f and l have the same value?
True
Suppose n + 5 = -0*u - 5*u, 5*n - 27 = u. Is u < 0?
True
Let q = -4 + 18. Do 12 and q have different values?
True
Let r be (4/(-2))/((-14)/(-7)). Let o = 21 - 15. Suppose 0 = o*k - k + 5. Is k smaller than r?
False
Let g be 31*4/(-26) + 4. Is -2 > g?
False
Let t = -8 - -6. Let r = t - -3. Let y = 4.1 - 6.1. Do y and r have the same value?
False
Let s(m) = 3*m**2 - 4*m**2 + m**3 + 5*m**2 - 3*m**2 - 2*m. Let k be s(-2). Is -4/7 at least as big as k?
False
Suppose -3*y = -10 + 1. Let x be (y + -1 + -1)/1. Let t be 4/70*-2*-5. Which is bigger: t or x?
x
Let k be ((-1)/3)/(1/(-33)). Suppose k - 44 = -3*q. Let p = 12 - q. Is p equal to -3/7?
False
Let x(v) = 2*v**3 + 6*v**2 + 3*v + 2. Let s be x(-4). Is -1/3 greater than s?
True
Let o(y) be the third derivative of y**6/120 + y**5/20 - y**4/12 + y**3/3 - y**2. Let i be o(-3). Suppose -3*k = 4*r - 8, r + 3*r = -5*k + i. Does 1/4 = k?
False
Let p(a) = a**3 + 5*a**2 - 7*a - 2. Let g be p(-6). Suppose 2*b - 30 = g*d, 5*b - 22 - 13 = 2*d. Suppose b*c = -0 - 10. Is c bigger than 0?
False
Suppose -u + 3*u = -3*m - 17, 4*u + 9 = -m. Is u smaller than -12/13?
True
Let o = 16/35 - -1/7. Let a = 0 - 0. Let h = 1 - a. Is o >= h?
False
Let h be (-2)/(-3) + (-8)/12. Suppose h = -0*g - 4*g + 8. Let y be g*((-20)/(-18) + -1). Which is smaller: y or 0.1?
0.1
Let h = 306/535 + 3/107. Which is greater: h or 2?
2
Let i be (-1)/(-2)*39/(-3). Is -7 greater than i?
False
Let k = -331/6 + 55. Suppose -1 = -2*u + 7. Suppose -6*j = -u*j. Which is smaller: j or k?
k
Let x = -48 - -48. Is x bigger than 0?
False
Let w = -0.07 - 0.03. Is -1/2 equal to w?
False
Let p = 1 - 1.5. Let u = p - -0.4. Let z = -3.1 + 3. Is u > z?
False
Let q = 38 - 20. Let t = -11 + q. Let u = -5 + t. Which is smaller: u or 0?
0
Let r(g) = -g**3 + 4*g**2 + g - 4. Let h be r(4). Is h at most as big as 0.03?
True
Let g(f) = 3 + 0*f**3 - 4*f**2 - f**3 + 0*f**3. Let s be g(-4). Is s < -1?
False
Suppose 3*p = 2*p + 7. Which is greater: 9 or p?
9
Let q be (-1)/5 - 72/(-285). Are -1 and q unequal?
True
Suppose 2*k - 5 = -a, 3*a - 8*a + k + 25 = 0. Suppose 3*g = 3*n - 5 + 2, a*n + 10 = 0. Which is smaller: g or -5/3?
g
Let q(w) = w**3 - 5*w**2 + 4*w + 3. Let i(h) = h - 3. Let n be i(7). Let f be q(n). Is 3/2 < f?
True
Let b be 2*(12/10 + -1). Let l(k) = k**3 - 4*k**2 + 4*k - 2. Let s be l(4). Suppose 3*z = -0*q - 4*q + 17, -4*z + 2*q - s = 0. Is z bigger than b?
False
Let d be 3/(-9)*(1 + 212) + -3. Do -73 and d have the same value?
False
Suppose 3*q + 43 = -4*y, -23 = -2*y + 4*y + q. Is y at most as big as -1?
True
Suppose -3*o + 1 = -z, -4 = 3*z + 2*o - 1. Which is greater: z or -3/8?
-3/8
Let d = 11 - -11. Suppose -3*k - d = f + f, -32 = 3*k + 4*f. Which is smaller: k or -3?
k
Let w = -1 + -7. Suppose -2*c = -3*g + 8, -3*c - 3*g - g = 29. Which is smaller: w or c?
w
Let w = -0.11 + 4.11. Let n = -13.3 - -0.3. Let d = -13 - n. Is w at most d?
False
Let g = 109 + -1307/12. Let y be 3/36*4*3. Which is smaller: g or y?
g
Let k = -9 - -4.7. Let a = -0.3 - k. Do a and -0.2 have different values?
True
Let v(u) = u**2 - u + 3. Let l be v(0). Suppose -4*f + 9 - 2 = -l*a, 5*f - 7 = 2*a. Let b be f*-1*3/9. Which is greater: b or 1?
1
Suppose 4*n - 3 = 5*r - 19, 0 = 3*n + r - 7. Let t = -1 + n. Let m be 16*4/18 - 4. Is m less than t?
True
Let k = -23 + 23.2. Which is greater: -1 or k?
k
Let v(s) = 16*s**2 - s. Let z be v(1). Suppose 0*t = -5*t - z. Suppose 0 = -5*k - 5*n, -3*n = k + k - 2. Which is greater: t or k?
k
Suppose j - 19 = 16. Which is bigger: j or 0?
j
Let l = -134 - -133.8. Which is smaller: l or 21?
l
Let j(p) = -p**3 - 6*p**2 - 5*p. Let i be j(-5). Let q = -477/329 - -10/7. Which is smaller: i or q?
q
Let t = 1.07 - 0.07. Is t at least as big as -3/11?
True
Suppose 3*j - 3*y + 2*y + 7 = 0, -4*j - 2*y = -4. Suppose -3 = 4*n - 3*n. Which is greater: j or n?
j
Let a(h) = -2*h. Let z be a(4). Do z and -8 have different values?
False
Let f = -3.6 - -2. Let g = -3.6 - f. Is -1 <= g?
False
Suppose y = 2, 0*o + o + 3*y = 61. Let c be -1 + 0 - (-32)/o. Let x = 2/11 - c. Which is bigger: x or 2?
2
Let t be (-249)/12 + 1/(-4). Is 0.1 at least as big as t?
True
Let j be (16/(-24))/((-8)/(-12)). Is -1/104 smaller than j?
False
Suppose -4*w - w = -65. Which is bigger: w or 12?
w
Let s = 85 + -335/4. Which is smaller: -4 or s?
-4
Let v be 4 + 4 + (-64)/10. Which is smaller: v or 1?
1
Let i = 20 - 19. Which is smaller: i or -2/3?
-2/3
Let y = -3.2 - -3. Let d = -9/268 - 3781/134. Let t = -28 - d. Is y less than or equal to t?
True
Suppose 4*v + 67 = 203. Does 34 = v?
True
Let n = -1721/9 + 191. Let a be 0 + (2 - 4/2). Let d be (-2 - a)/((-2)/1). Is n < d?
True
Let f = -0.58 + 0.93. Is -2/5 bigger than f?
False
Suppose 20 = 5*v + 5*z, -4*z = 3 - 23. Which is bigger: 2 or v?
2
Let s = -2 - -3. Let c = -0.07 + 0.07. Let t = 2 - c. Do s and t have different values?
True
Let y = 664/9 + -74. Let h = -1 - -2. Is y at most as big as h?
True
Let f = 6 - 11. Let n = -3 - f. Which is smaller: n or 0?
0
Let v = -152/219 - -2/73. Which is smaller: v or -1/3?
v
Let n be 16/(-12) - (-4)/(-6). Let m be (n/7)/(8/12). Which is smaller: m or 1?
m
Let j be (1 + 2)/(0 + 1). Suppose 0 = 2*r + 5*p + 9, 2*p = r + p - 6. Is j <= r?
True
Let m(y) = y**3 - y**2 - y + 2. Let z be m(0). Let v = z - 3. Let q(w) = w**2 + w. Let h be q(-1). Which is bigger: h or v?
h
Let p(r) = -r**3 + 4*r**2 + 2*r + 92. Let d be p(0). Which is smaller: 91 or d?
91
Let k = 2 + -5. Let o = 0.07 + 0.03. Which is smaller: k or o?
k
Let f(j) be the second derivative of -j**3/6 - 5*j**2/2 - 2*j. Let s(y) = -y - 5. Let t(z) = -5*f(z) + 6*s(z). Let g be t(-4). Which is bigger: g or -2/15?
-2/15
Let l = 1 - -3. Suppose -5*v = 2*x - 14, x = -l*v - 3 + 13. Suppose 3*r - v = r. Which is smaller: 1/3 or r?
1/3
Let l = -0.35 + 0.2. Let u = -0.05 - l. Is -3 greater than or equal to u?
False
Let c = 352/13 - 27. Which is bigger: -1 or c?
c
Suppose 3 = 5*t - 2, -47 = -5*g - 2*t. Suppose 3*p = 6*p + 153. Let f be (-2)/g - p/(-135). Is f not equal to 0?
True
Let r(o) = -o**3 + 3*o**2 + 2*o - 2. Let u be r(3). Let s be (-2)/(-5) + 130/50. Is s > u?
False
Let t = -0.08 + -0.92. Is t less than or equal to 0.03?
True
Suppose 5*h + 7 = -33. Let p be 138/(-360) - 2/h. Is p > 1?
False
Let w(i) = i**3 - i**2 - 2. Let x be w(0). Suppose 5*g - 2*g + 3 = 0. Let b = -1 + g. Is b >= x?
True
Suppose -5*w + 3*s + 27 = -2*w, -8 = 2*s. Let v = 9 - w. Suppose -7*m + 3*m - v*h = 0, -4*h = -8. Is -3 smaller than m?
True
Suppose 3*h + 26 = -46. Which is smaller: h or -23?
h
Suppose 0*g = 4*g. Suppose g = 5*v - 3*m + 2*m + 6, 2*v + 3*m = 1. Let s = 0.1 + -0.1. Is v != s?
True
Let m be 3964/12 + (-1)/3. Let a be 173072/m - 14/35. Let g = a + -524. Is 1 < g?
False
Suppose 0 = -a + 5 - 1. Are 3 and a non-equal?
True
Let u = 17/3 - 79/6. Which is smaller: u or -1/3?
u
Let a = -3 - 3. Let m = a - -6. Let c be (2/(-8))/(4/6). Is c greater than m?
False
Let n = 191/225 - 8/9. Is n at most as big as -1?
False
Suppose 3*z + 3 = 0, -3*z = 4*f + 4 + 3. Is -4 at least as big as f?
False
Let r be 3/(-4)*(-61 - 3). Let n(b) = b**2 - 15*b + 5. Let a be n(14). Let g be (-3)/a - (-20)/r. Is g < 2?
True
Let i(s) = -s + s**2 + 1 + 0*s - 10*s**2 + 0. Let d be i(1). Let z be -3*(-1)/(6/(-16)). Which is smaller: z or d?
d
Suppose -3*t + 13 + 2 = 0, -2*i - t - 323 = 0. Let q = i + 2461/15. Which is greater: 0 or q?
q
Suppose -5*k + 4*n = -3, 7*k - 1 = 4*k + 2*n. Which is bigger: -13 or k?
k
Let v be (2/(-36))/(1/4). Which is bigger: v or -1/8?
-1/8
Let r = 1.48 - 1.18. Which is smaller: r or 0?
0
Suppose -4*q + 2*q + 14 = 0. Let m = -10 + q. Is m at least as big as -4?
True
Suppose 0 = 3*s, 1 - 11 = -5*x + 4*s. Let m = -186/77 - -36/11. Are x and m non-equal?
True
Let g be -3*2/(1 + -3). Suppose -2*y = g*y - 5. Which is bigger: y or 0?
y
Let c(y) = y + 4. Let n be c(-5). Which is smaller: 1/27 or n?
n
Suppose 3*g + 0*u - 5*u = 6, 4*g = -2*u - 18. Let n = 1 + g. Which is greater: n or 0?
0
Let w = -22 - -21. Which is bigger: -1/45 or w?
-1/45
Suppose 5*o + 6 = 7*o. Is o at least 5/2?
True
Let d(y) = -y**3 + 6*y**2 - 6*y + 6. L