u or d?
u
Let n = 0.3 - 0.2. Let m = -0.07 + 0.04. Let j = 0.03 + m. Is j less than or equal to n?
True
Let w = 68.1 - 65. Let v = w - 3. Let g = 7 + -7.1. Are v and g non-equal?
True
Suppose -2*o - 4*m - 8 = 0, 5*o + 5 = -3*m - 1. Let l(g) = g + 5. Let v be l(o). Does v = 6?
False
Let q = -153 - -145.1. Let r = -8 - q. Which is greater: r or 0.4?
0.4
Let p = 43 + -41.7. Which is smaller: p or 1?
1
Suppose -2*k + 4*r + 119 = 3*k, k - r = 23. Which is bigger: k or 29?
29
Let m = -9 + 8. Is m less than 10?
True
Let o = 0 + -0.1. Let w = -136.87 + 137. Which is bigger: o or w?
w
Let y(m) = 2*m + 11. Let c be -6 - (-3 + 1 + 3). Let u be y(c). Suppose 0 = b + 4*t - 17, -2*b = 2*t + 3*t - 19. Is u equal to b?
True
Let z(u) be the second derivative of -u**3/6 + 15*u**2/2 - u. Let a(v) = -v**3 - 3*v**2 - 5*v - 3. Let c be a(-3). Let o be z(c). Is 4 less than o?
False
Suppose 3*f + 3*g - 6 = 0, -f + 2 = -5*g + 2*g. Let z be (f + 32/(-15))*3. Suppose -4*t + 1 = -3. Which is smaller: z or t?
z
Let n be (-4)/(-10) + (-3)/20. Let y = -7 + 7. Which is greater: n or y?
n
Let s = -0.14 - 5.86. Which is smaller: 1 or s?
s
Let o be (-2094)/24 - (-3)/(-4). Let y = o + 614/7. Let j = -12 + 23/2. Which is smaller: y or j?
j
Let z = -13 + 6. Which is smaller: -6 or z?
z
Suppose -4*g - 28 = -y, 0 = -g - 2*y - 2*y + 10. Let s be 1 + (-3)/(g/(-4)). Let q(t) = -t**3 + 4*t**2 + 6*t - 7. Let l be q(5). Is l <= s?
True
Let n = 87 + -2. Suppose 2*y - n = -3*y. Suppose 5*h - 20 = 5*x, -h - y + 5 = 3*x. Which is smaller: 1/8 or h?
h
Let s = 1.3 - 1.4. Is 1 at most s?
False
Let t(k) = -k**3 + 2*k**2 - 2*k + 2. Let p be t(2). Which is greater: -4 or p?
p
Let k(h) = 7*h**2 + 11*h + 5. Let g(d) = -15*d**2 - 23*d - 10. Let a(r) = 6*g(r) + 13*k(r). Let b be a(-5). Let n be (b - 3) + (1 - 1). Is 2 at least n?
True
Let q = 14 + -5. Let y = -17 + 6. Let t = q + y. Is 2 smaller than t?
False
Let r = 2 - 2.1. Let z = 7 + -10. Which is smaller: z or r?
z
Let c = 11 + -12. Is 1/17 <= c?
False
Let q = -0.8 - -1.4. Let s = 0.2 + 1.8. Which is smaller: s or q?
q
Let v(j) = j**2 - 6*j + 3. Let q be v(4). Let n = q + 4. Are 0 and n equal?
False
Suppose 4*s + h - 5 = 5, -3*s + h + 4 = 0. Let v be 5/10 - 1/s. Is v greater than or equal to 6/17?
False
Let x be ((1 + -1)/3)/(-2). Let o = -48 - -78. Let a = o - 121/4. Which is greater: a or x?
x
Let p = 3.1 - 3. Let d = 0.1 - -0.3. Let j = -2.4 + d. Is p greater than or equal to j?
True
Suppose -3*u - 1 = 17. Which is smaller: -2 or u?
u
Suppose -5*b - 15 = -4*m, -6 = 2*b + 7*m - 2*m. Suppose 2*y = -3*y - 15. Do b and y have different values?
False
Suppose 4*a + 4 = 5*a. Suppose -2*o + 4*j = 2, 0 = -2*o - a*j - 2. Which is smaller: -2 or o?
-2
Let o(y) = -y**2 + 6*y + 8. Let q = 1 - -6. Let f be o(q). Is f at least as big as 1/2?
True
Let o(t) = t + 4. Let l be o(-3). Let y be 68/132 + 1/(-3). Which is smaller: l or y?
y
Let x = -2/389 + 407/3501. Which is smaller: x or -4?
-4
Let p = -5 - -8. Suppose 2*r = 1 + p. Which is bigger: 4 or r?
4
Let o(d) = -4*d. Let x be o(-1). Suppose p + 14 = 4*s, -2*p = -3*s - 7*p - 1. Which is greater: s or x?
x
Let z be 2 + (-345)/335 - 1. Is -1 bigger than z?
False
Let p = 0.1 - 0.1. Let l be ((-2)/6)/(11/(-6)). Let b = l + -27/88. Is p greater than b?
True
Let v(u) be the first derivative of -u**3/3 - 3*u**2/2 + 1. Suppose -6*q + 2*q = 12. Let m be v(q). Which is greater: m or 1/4?
1/4
Let a = 6 - 4. Let u = -12 - -13. Let b = u + -0.9. Are a and b equal?
False
Let w(r) = -40*r**3 - r**2 - r + 1. Let g be w(1). Is g greater than or equal to -42?
True
Let i = -2 + 7. Let k = 5 - i. Which is bigger: 1/4 or k?
1/4
Let t be (-1 + (-7)/(-3))/2. Suppose 3*i = -2*i + 20. Let n be ((-5)/(-90))/(1/i). Which is bigger: t or n?
t
Let w = -5.01 - -0.01. Let p = w - -5. Let u be (5/((-5)/(-2)))/(-7). Is u <= p?
True
Suppose o = 6*o - 5. Let w be 0 + (-15)/33 + o. Is w > 2?
False
Let w(u) = 3 + 4*u - 2*u - 3*u. Let q be w(6). Which is bigger: q or -8/5?
-8/5
Suppose -3*i - s = -7*i - 30, i + 5 = -s. Let k be 2*i/((-14)/(-4)). Let o(q) = q**3 - 3*q - 1. Let h be o(-2). Is h >= k?
True
Let f be 2/30*30/(-5). Which is smaller: -1 or f?
-1
Let k(d) = d - 1. Let c be k(2). Let n = 2 - c. Suppose -3*b + 4*u = 14, b + 2*u - 12 = -0*b. Do n and b have different values?
True
Suppose 12 = 2*t + 40. Let g = -14 - t. Let k be 2/(-3) + 2 + -1. Are g and k unequal?
True
Let o = 6 - -7. Let k = 12 - o. Which is smaller: -0.1 or k?
k
Let u be 9/15*(-2)/(-3). Is 6 < u?
False
Let s = 0.06 - 0.06. Let u = s - 0.02. Let h = 0.02 + u. Is h at least 3/7?
False
Suppose v + 10 = j - 4*j, 2*v - 12 = 2*j. Do j and -3 have different values?
True
Let w = 5 + -9. Let c be w/(-42) - (-24)/(-36). Is c greater than -2?
True
Suppose -r = -1 + 2. Let z = 7 + -5. Let t = z - 2. Is t >= r?
True
Let a = 2755/18 + -153. Suppose 7*p + 4 = 4. Which is greater: p or a?
a
Suppose -3*x + 2 = -x. Let r be -2 + 1 - 127 - 0. Let n be r/68 + 2*x. Which is smaller: 1 or n?
n
Let j = -39.8 + 40. Which is smaller: j or 3?
j
Let q be -2*2*(-2 + 1). Let p = -28 + 32. Are q and p non-equal?
False
Let f be (-1 + 21/9)*6. Suppose -13 = 2*s - 5*a + 5, f = 4*s + a. Which is smaller: 1/6 or s?
1/6
Let s be (20/(-22) - -1) + 0. Suppose 5*a - 7 = 3*k, -3*k = -2*a - 8 + 9. Which is smaller: s or k?
s
Let n = 38616/11 - 3516. Is n at most -5?
True
Let k(v) = 4*v + 10. Let a be k(-7). Let j(l) = 4*l + 1. Let f be j(-1). Let x be (f/(-9))/((-21)/a). Is x greater than 1/4?
True
Let y(r) = r**2 - 8*r - 3. Let t be y(8). Let p be 12*t/(-12)*-6. Let d be (-3)/(p/8)*3. Is 5 bigger than d?
True
Suppose -4*t = z + 3, -2*z - z + 3*t = -6. Suppose 4*f = 3*f. Suppose f = a - 4*a + 3. Do z and a have the same value?
True
Let g be (3/10)/((-9)/48). Let x(s) = -3*s + 3. Let j be x(2). Which is smaller: g or j?
j
Let r be (-1)/(1 - (-66)/(-63)). Is 21 <= r?
True
Let s = 1 + 0. Let h = 2 - s. Let i = 29.8 - 30. Is i < h?
True
Suppose 0 = -3*o - 1 - 5. Let l be (-24)/16 + 2/8. Is o smaller than l?
True
Let k be (-2 + 2 + 1)*0. Suppose k = 3*i + 6. Which is smaller: -4 or i?
-4
Let u = 4 + -5. Let t be 3/(-4) + (-116)/(-112). Which is smaller: t or u?
u
Let q = 101 - 76. Which is bigger: 24 or q?
q
Let w be 0/4 - 17/(-9) - 2. Is w <= -1?
False
Let t = 110 - 110. Which is bigger: t or 64?
64
Let u = 3 - 5. Suppose 4*p - 16 = -5*j, -j + 0*j = 0. Is p smaller than u?
False
Suppose -6 = -l - 2*l. Suppose -37 = 5*o - l. Let n(s) = -s**3 + s**2 - 8. Let v be n(0). Which is smaller: o or v?
v
Let z be (-1)/3*(-12)/14. Let k(f) = -f**2 - 5*f - 2. Let s be k(-2). Suppose s*w = w. Which is smaller: w or z?
w
Let p = -14 + 10. Let l = p + 3.9. Let k = 0.4 + -0.5. Is l smaller than k?
False
Let f = 2.97 - -1.03. Which is smaller: f or -1/5?
-1/5
Let b = 0.19 - 0.19. Is 0 >= b?
True
Let o = -8.64 - -10.6. Let k = 0.04 + o. Let u = -0.3 - -0.4. Which is greater: u or k?
k
Let a = 10 - 10.8. Let u = 1.2 - a. Is u bigger than 1?
True
Suppose -7 + 3 = -f. Let o be -48*(5/3 - 2). Suppose -o = -4*m - 0*m. Is f bigger than m?
False
Let p = 4 - 4. Let a = p + 1. Let z be (4/(-66))/(a/3). Is 1 <= z?
False
Let x = -393451/90 - -40498/9. Let b = x - 128. Is 1 less than b?
False
Let t = -13.34 + 0.34. Let q = t + 11.95. Let k = q - -0.05. Is -1 at least as big as k?
True
Let u = -29 - -12. Is u >= 0.1?
False
Let v = -4 + -3. Let s = 5 + v. Are s and -2/3 nonequal?
True
Let n(j) be the first derivative of j**3/3 + j**2/2 - j - 3. Let c be n(-2). Are c and 2/13 unequal?
True
Let t = -354952 - -92287629/260. Let u = t + -1/52. Suppose -3*b + 2 = -5*b. Is b not equal to u?
True
Let i(d) = -5*d**3 - d**2 - d - 1. Let o be i(-1). Let a = -35 - -40. Is a bigger than o?
True
Let d = 2.48 + 0.32. Let v = d + -3. Which is smaller: 2 or v?
v
Let l = 18 - 16. Is -5/4 greater than or equal to l?
False
Let h be -1 - ((-2 - 0) + -2). Suppose 5*n - h*z - 5 = -19, 8 = -2*n + 2*z. Are 0 and n unequal?
True
Suppose 4*i + 0*i = -2*a - 16, 3*a = 5*i + 31. Which is smaller: i or -6?
-6
Let h = -77 + 383/5. Which is smaller: h or 1?
h
Let r = -32 - -37. Which is greater: 15 or r?
15
Let n be 627/483 - 18/42. Which is smaller: 0 or n?
0
Let q(s) = -2*s + 10. Let y be q(4). Which is bigger: -0.4 or y?
y
Suppose -2*a - 2 = -4*a. Suppose -5 = -2*p + a