(-2)/z. Do w and s have the same value?
True
Suppose -5*i = -2*u - 0*i - 4, u + 2 = 5*i. Let j be (u + -1)/(-8 + 9). Is -1 < j?
False
Let t = 20 - 22. Which is smaller: t or -2/3?
t
Let m = -353/351 - -15/13. Is 1 smaller than m?
False
Suppose 5*a + 120 - 10 = 0. Is -20 >= a?
True
Let m = -1245939/40 - -31146. Let a = 115/6 + -529/24. Let g = a - m. Which is smaller: 0 or g?
g
Let q = 18 + -30. Let y be q/18 - (-11)/3. Suppose 10 = 5*g + 5*u, -y*g + u - 8 = 2*g. Which is greater: g or -2/13?
-2/13
Let h(v) = -v**2 - 12*v + 13. Let x be h(-13). Suppose x = -s - 3*s + 52. Does 13 = s?
True
Let s = 3 + -2. Let p(y) = -y**2 + 2*y. Let d be p(s). Let n = 26 - 184/7. Is n bigger than d?
False
Suppose -2*c - 2 = 2*g, -9 = -g + 4*g - 3*c. Which is smaller: -18/7 or g?
-18/7
Let v(u) = -u - 1. Let c be v(0). Let r be ((2 - -1)/(-27))/(-1). Is r at least c?
True
Let b = -7/6 - -3/2. Let w = -0.2 + 0.3. Let p = w - -0.9. Which is smaller: b or p?
b
Let o(x) = 3*x**2 + 2*x - 2. Let j be o(1). Is j bigger than 0.6?
True
Suppose -5*z + 33 - 13 = 2*q, -3*z = 2*q - 16. Suppose -2*v - z*v + 2*j - 26 = 0, -4*v + j = 25. Which is smaller: -7 or v?
-7
Let p be 0 + 1 + (-18)/14. Let y = 11 + -10.5. Let w = -1.5 + y. Which is smaller: w or p?
w
Suppose -25 = 5*l - 5*v + 10, 0 = -l - 3*v - 7. Let u be (l/21)/((-2)/6). Do 2 and u have the same value?
False
Let h be (10/(-2) + 0)*-1. Let x = h - 4. Let v(c) = -c**3 + 4*c**2 - 4*c + 4. Let w be v(3). Is x at least w?
True
Let l = -17 + 29. Let m be -2 + 12*l/63. Is m >= 0?
True
Let a be 0 + 0 - 1/(-3). Let x = -9 + 31. Let h = -21 + x. Is a greater than or equal to h?
False
Let q = -0.09 + 0.09. Which is smaller: q or 1?
q
Suppose -x = 4*x + t + 15, 5*x - 5*t + 15 = 0. Let c be 4/12*(-9)/1. Is x less than c?
False
Suppose -4*b - 3*o - 14 = -4, b + 7 = -3*o. Does b = -6/31?
False
Suppose n + 28 = -5*m - 34, 3*n = 2*m + 18. Is -12 greater than m?
False
Suppose 3*o - 4*m = -20, 5*o = o + 4*m - 20. Is o equal to -8?
False
Let i be 6/((0 - 1)*-2). Suppose 0*d - 10 = -2*d - i*g, g = -d + 4. Which is smaller: d or 5/4?
5/4
Let o(k) = -k + 3. Let f be o(0). Suppose f*w + 3*m - 3 = 0, -2*w - m - 2 = 2*m. Let i be (-3)/(-15) - 1/w. Is i at most 0?
True
Let q be 132/21*3/(-6). Do -0.1 and q have different values?
True
Suppose 5*x - 2*t = -3 - 12, 0 = -5*x + t - 10. Does 2/199 = x?
False
Suppose 0 = -2*g - 0*g. Suppose 2*o = -g + 6. Suppose -3*x - o = 3. Is x > -2?
False
Let r = -119/3 + 40. Suppose -y = 4*y. Suppose 3*q - u = y, q - u + 3*u = 7. Is q >= r?
True
Let l = -5 - -4.7. Let y = -1.1 + 1. Let n = y - -0.2. Is l less than n?
True
Let p = 3782/65 - 294/5. Is p equal to -2?
False
Let h(v) be the third derivative of -v**4/24 + 5*v**3/6 + v**2. Let o be h(5). Let p be (-7)/(-6)*1 + 5/(-10). Is p at least as big as o?
True
Let d be (76/(-13))/2 + 2. Which is smaller: -1 or d?
-1
Let y be (-1 - -4) + 0 + -2. Let z = -2 + 2. Which is smaller: z or y?
z
Suppose w - 16 = u - 3*w, u + 3*w - 12 = 0. Suppose u = -5*y + y - 4. Is -3/4 smaller than y?
False
Let l(x) = -5*x - 1. Let n be l(-3). Which is smaller: 15 or n?
n
Let r = -0.02 - -5.02. Let g = -4 + r. Which is smaller: g or 1/2?
1/2
Let x = 6 + -2. Let p = 2 - x. Let j = 1 - -2. Which is greater: p or j?
j
Let l = -146 - -125. Are -23 and l equal?
False
Let s be 2*((-62)/28 - -2). Suppose -2*g + 0*g = 0. Suppose -2*x + g*x + 2 = 0. Which is smaller: s or x?
s
Suppose 4*d + 5 - 13 = 0. Suppose -z = -d*z - 4. Let p = -2.9 - -3. Are z and p unequal?
True
Suppose -208 = 3*y + 278. Let w = y + 1137/7. Is w less than 0?
False
Let h be 9/(-24) + (3 - 2). Suppose 84*p = 89*p. Which is bigger: p or h?
h
Suppose 5*x + 3*v = -268, -2*x - 117 = 4*v - 21. Let n be -2*1 + x/(-29). Which is smaller: 0 or n?
n
Let q = -190 + 187.3. Is -0.2 greater than q?
True
Suppose 5*w = -0*w - 5. Let d be (2/(-3))/(12/18). Is w >= d?
True
Let l = 3 + -3. Suppose 0 = -3*t - l - 3. Let r = 0 - t. Is 4/3 less than r?
False
Let a = 0.2 + -0.1. Let v = -0.1 - -1.1. Let t = v - 1.1. Which is smaller: a or t?
t
Let g(t) = -5*t + t + 5*t + 7. Let z be g(-8). Which is smaller: z or -1/6?
z
Suppose o - 2*b = -2*o - 70, 3*o + 5*b = -35. Let x be 9/(-12) - (-25)/o. Which is bigger: -3 or x?
x
Let u = -5 - 5. Let q = u + 9. Which is greater: q or 2/19?
2/19
Let f(a) = -27*a**2 - 2*a - 1. Let p be f(-1). Let m be p/(-40) - (-4)/(-10). Let x = m - 1. Which is smaller: 0 or x?
x
Let i be (1 + -1)*(-2 - -1). Suppose -4*d + d + m + 27 = 0, 0 = -2*d - 2*m + 18. Suppose 0 = -3*s - d - 3. Which is smaller: s or i?
s
Let u = 0 + 2. Let c = -2 + u. Suppose c = 2*y + y. Which is smaller: y or 0.1?
y
Suppose -4*m + 3*n = 5, m - 12 = -4*n + 1. Is m at least -1/29?
True
Let b(n) = 3*n**2 + 1. Let i be b(1). Is i at least as big as -3?
True
Let t = 23 - 44. Let s = t + 85/4. Let k = 0.2 - 0.3. Is s bigger than k?
True
Let t be 1/(-3) - 2/3. Let n be (3*(-10)/(-25))/6. Are n and t nonequal?
True
Suppose 5*u = 4 + 1. Suppose h + 4*x = -20, -5*x - 17 = h + 5. Let t = -10 - h. Is u equal to t?
False
Suppose 6 = -2*t + 4*t. Let r be (1/2)/((-1)/(-4)). Let c = r - t. Is 1 < c?
False
Suppose 21 = -q - 5*n + 6, -q + 2*n = -13. Is q > 6?
False
Let k be 1 - 1*(-1)/(-1). Suppose k*l - 5*b = l - 14, -4*l + b = 7. Let w be (2/l)/(-1 + 8). Is w at most 1?
True
Let b(a) = a**3 - a**2 + a + 4. Let d be b(0). Suppose 4*i + 0 + d = 0. Let h(r) = -2*r**3 + r**2 - r. Let c be h(1). Is i at most as big as c?
False
Suppose 0 = -10*h + 13*h + 60. Let w be (2/5)/(8/h). Which is bigger: -2/11 or w?
-2/11
Suppose 28 = -k - 3*k. Let x(t) = -t**2 - 7*t + 3. Let p be x(k). Suppose 0 = 4*s - 5*a, 2*s + p*a = -2*a. Which is greater: s or 1?
1
Let i(z) = -z**3 - 5*z**2 - 2*z + 5. Let b be i(-4). Suppose -5*s + 4*x - 16 = -8*s, 4 = -3*s + x. Is s at least b?
True
Let l be 1/2*2 + 19. Are l and 1/2 non-equal?
True
Let h be (20/(-35))/((-4)/14). Which is bigger: h or -12?
h
Let g = -336/13 - -7121/273. Which is smaller: 0 or g?
0
Suppose -4*v - 3 - 1 = 0. Let c be v/(-3) + (-3)/(-3). Which is greater: -1 or c?
c
Let w = 3.07 + -0.07. Let x = -3.1 + w. Is 3 <= x?
False
Let r = 4 + -7. Let p = 7 + r. Suppose 2*j = -j + 15. Which is smaller: j or p?
p
Let b = -0.53 + 0.5. Let i = b - -1.03. Is i > -0.02?
True
Let k = -10 - -31. Let x be (-4)/6 - (-77)/k. Let p be 4/(-1)*3/(-4). Is x at most p?
True
Let g = -37 + 40. Which is bigger: g or -0.1?
g
Let v = 11 + -15. Let q be v/(-18) + (-44)/36. Which is smaller: q or 4/17?
q
Suppose 0 = 5*n - 5*m + 17 - 2, -5*n + 3*m = 13. Let j be (-7 + n/(-2))/(-2). Suppose 3*d - 6 = 2*d - 2*o, 0 = 4*d - 3*o - 13. Is d <= j?
False
Let o = -1.6 - -1.5. Which is greater: o or 8/9?
8/9
Let n = -394/7 + 57. Let o = 3631 - 76280/21. Let w = n + o. Is w not equal to -1?
True
Let r = -0.1 + 2.1. Do r and -1 have different values?
True
Suppose -2*z + z - 5 = 3*m, 0 = -m - 5*z + 17. Let h be (0/m)/(1 - 3). Which is smaller: -1/4 or h?
-1/4
Let w = -9 - -21. Let v be (7 + 0)/(-7) - (-14)/10. Are v and w unequal?
True
Suppose 2*s + 2*n = -10 - 6, 0 = -2*s + 4*n + 2. Which is smaller: s or 2?
s
Let g = 2 - 7. Is -5 >= g?
True
Suppose 0 = -2*o - 10, 5*r + 2*o + 25 = 0. Which is smaller: -4 or r?
-4
Suppose -l - 8*l = -108. Let y be 4/10 + l/420. Let a = 1 + -1. Which is smaller: y or a?
a
Suppose -17*v = -13*v - 16. Which is greater: 0.2 or v?
v
Let p = 9 - 8.9. Let v = -0.1 + p. Which is bigger: 0.5 or v?
0.5
Suppose -7 = -4*r + 1. Suppose -r*x - 3 = -5*x. Let f be ((-6)/44)/((-3)/(-4)). Is x less than f?
False
Let x = 146 + -733/5. Is -2 greater than x?
False
Suppose -5*g + 0 = 10. Let o(v) = 2*v - 3. Let x be o(2). Let z = x + g. Is z bigger than -2?
True
Let p = -113 - -113. Which is bigger: p or 2/37?
2/37
Let r(x) = x**3 + 3*x**2 + 3*x + 1. Let p be r(-2). Let s = 0 + p. Which is bigger: 3/7 or s?
3/7
Let y(l) = l**2 - 5*l - 2. Let o(z) = z + 1. Let b(a) = 4*o(a) + 2*y(a). Let k be b(4). Suppose 0 = -25*f + 29*f - 28. Do f and k have different values?
True
Let z = 9 + -7. Let s(b) = b**3 + 4*b**2 + b - 3. Let p be s(-3). Let o be p - ((1 - 4) + 2). Is o smaller than z?
False
Let b = 3 - 2.2. Let i = 0.6 - b. Let x = 1 - 3/2. Which is smaller: x or i?
x
Let k = 31 + -31. Which is smaller: 13 or k?
k
Let m = -13/119 - 3/17. Is m greater than