 Which is bigger: 8 or v?
8
Let r = -5 + 7. Suppose -r*j = -4*j. Let z(c) = c**2 + 2*c. Let f be z(-2). Does f = j?
True
Let a = -14 - -14. Let i = 33.1 + -36. Let h = i + 3. Is h bigger than a?
True
Let c = -6 + 7. Let u = -1 + c. Let r = -1 + u. Is -2 < r?
True
Let j = -5 + 3. Let b be j - 3/(15/(-8)). Suppose 13 = -10*q + 23. Is b at most q?
True
Let u(i) = i + 5. Let b be u(-6). Let g be 0 + (0 - b) + 2. Suppose 0 = t - 0*t - g. Which is greater: t or 2?
t
Let v be 1 - 6/(-9)*-3. Let w be (4 + -3 + -1)/v. Suppose -g + 8 + 0 = w. Which is bigger: g or 7?
g
Let f = -17 - -17. Which is smaller: f or 0.2?
f
Let n = -4 - -3.95. Let m be (9/25)/((-30)/(-50)). Which is smaller: n or m?
n
Let a be 9/6*4/3. Is a bigger than 2?
False
Let p = -23 - -28. Is 5 <= p?
True
Let g = -8 + 7. Let a be (-56)/(-2) - (-2)/g. Suppose -a = 4*n + 2. Is n smaller than -7?
False
Let k(t) = t**2 - 2*t - 4. Let z be k(3). Let o = -1 + 1. Suppose a - s = o, 3*a + 3*s = 5*s - 1. Do z and a have the same value?
True
Let o = 4 + 0. Suppose o*t - 18 = 2*v, t - 1 = 2*v + 8. Is -2 less than or equal to v?
False
Let o(t) = 4*t**2 + t. Let d be o(1). Suppose 2*q + 13 - 1 = 2*z, -24 = z + d*q. Is 4/3 greater than z?
True
Suppose 0*k = -m + 2*k - 9, -2*m - 3*k + 10 = 0. Let f = -5 - m. Let s be f - (3 - 5 - 0). Does -0.2 = s?
False
Suppose 2 - 23 = -4*z - 5*b, 2*b - 10 = 0. Is z < 2/31?
True
Let m = -3.158 + 0.158. Which is bigger: -0.2 or m?
-0.2
Let a be -1 + 15/6 + (-2)/(-4). Which is smaller: 1 or a?
1
Let d = 244 + -6103/25. Which is smaller: d or 0?
d
Let u = 14 - 15. Which is bigger: u or -2/23?
-2/23
Suppose 17 = -2*f - 3*u, u + 9 = -3*f - 6. Let y be (-2)/f + 20/8. Suppose 0 = y*w - 2 - 1. Which is greater: 4/7 or w?
w
Let i be 2624/(-60) + 4/(-6). Let m = i + 44. Is m less than or equal to -1?
False
Let p = 8.1 + -8. Let u be (-3)/(-4) + (-2)/4. Is p at most u?
True
Let m be 0*(-3 + (-39)/(-12)). Is m greater than -2/23?
True
Let w = 14/13 + -283/299. Is 0 greater than w?
False
Let s = -176273/1342 + 1439/11. Let a = s + 2/61. Let p(j) = j**2 + 6*j - 1. Let x be p(-6). Is a >= x?
True
Let u(z) = z**3 - 4*z**2 - 4*z - 3. Let w be u(5). Suppose w*k + 8 = 0, 0*k = -2*x + k + 20. Suppose -5*l + 35 = 3*a, x + 3 = 4*l - a. Is l bigger than 4?
False
Let b = -94.1 + 88. Let j = b + 6. Let t be ((-3)/10)/((-2)/5). Is j < t?
True
Suppose -27*o + 25*o - 10 = 0. Which is smaller: o or -9?
-9
Let w = -0.33 + 0.03. Let h = -4.2 + 4. Let a = w - h. Is 0.1 at most as big as a?
False
Suppose 4*a = -a - 5. Let u = a - 0. Let i = -4 - u. Is -3 < i?
False
Let o be (-280)/12*14/5. Let n = o + 66. Which is greater: n or 2?
2
Let l = -44 + 30. Let b be ((-30)/l)/(-3) - -1. Suppose 0 = -j + 2*j. Is j at least b?
False
Let f(q) = q**3 + 8*q**2 - 9*q + 1. Let z be f(-9). Let o be 126/4 - (-6)/4. Let i be -2 + 1/(o/60). Which is bigger: i or z?
z
Let i be (-4)/(-18) - (-677)/(-9). Let g be 1/((-132)/i - 2). Let l = 11/2 + g. Which is bigger: 1 or l?
l
Let d(p) = p**2 + 13*p + 12. Let h be d(-12). Which is smaller: -2/3 or h?
-2/3
Let i = -4 - -7. Is 12/7 at most as big as i?
True
Let i = 11 - 2. Let t(d) = d**3 - 8*d**2 - 8*d - 8. Let g be t(i). Let c(m) = -m**3 - 10*m**2 + 12*m + 11. Let p be c(-11). Do g and p have the same value?
False
Let g be (4 + -6)*10/(-4). Suppose g*d + 2*z - 14 = 0, 3*z + 8 = -1. Which is greater: d or 2/7?
d
Let m(f) = -3*f + 12. Let g be m(9). Let c = g - -13. Which is smaller: c or 0?
c
Let r = -130 + 130. Which is smaller: 12 or r?
r
Let h = -0.53 + 0.13. Let u = -0.4 - h. Which is greater: 0.1 or u?
0.1
Let t(c) = -c**2 + 8*c. Let d be t(8). Suppose d = -x + 3. Which is smaller: x or 5?
x
Let v be 4/12 - (-4)/(-3). Let j = 2719/19 - 143. Which is smaller: v or j?
v
Let d be 1/6 + (-103)/(-30). Let f = 4 - d. Which is smaller: -1/3 or f?
-1/3
Let a = -7 - 4. Let d = a + 17. Let v be (-1 - -2) + d/(-8). Which is smaller: v or -1?
-1
Let a = 10 - 4. Let r = 9 - a. Does 6 = r?
False
Let y = 3 + -5. Let z = y + 1. Let q = -15/28 + 109/308. Is z < q?
True
Let u be -1*(0 - -2 - 3). Is u at most -1?
False
Let t be (-1)/3 - 13/(-3). Let d = 3 - 3. Suppose 3*q + 3*f + f + 23 = d, t*q - 4*f + 12 = 0. Is -4 at least q?
True
Let v = 4.48 + -11.4. Let q = -0.08 + v. Let l = 6.98 + q. Which is bigger: -1 or l?
l
Let o(a) = a**2 + 4*a - 8. Suppose -5*h = 2*n + 35 - 9, -3*n = -6. Let k be o(h). Let b be ((-2)/k)/(1/(-2)). Which is smaller: b or 1/2?
1/2
Let g be (-1 + (-2)/(-4))*2. Let n = -14 + 8. Let h = n - -6. Is g < h?
True
Let z(f) be the third derivative of -f**4/12 - 5*f**3/6 + 2*f**2. Let i be z(-4). Suppose -2 = -i*y + 4*y. Is y greater than or equal to -2?
True
Let d(n) = 2*n - 7. Let u be d(7). Let p = 7 - u. Let g = 3 - 2. Is g > p?
True
Let j be 5/(-2 + 1 - -2). Suppose t - 5*k = 7, 22 = -5*t + t - j*k. Let w be (-2 + 1 - -2) + t. Is w > -2?
False
Let v = -3.43 + -152.57. Let l = v - -162.94. Let k = 7 - l. Is 0 smaller than k?
True
Let a(i) = -3*i + 9. Let x be a(8). Let s be (-9)/x - (-1 - -2). Let f be (2/5)/(3/15) - 1. Which is smaller: f or s?
s
Suppose 0 = 2*j - 3*j + 3. Suppose 2*d - m = 0, 0 = 4*d - 2*m + j*m. Which is bigger: 1 or d?
1
Let m = -1.2 - 1.8. Let r = -8 - -6. Which is bigger: m or r?
r
Let w be -3 + -1 + 830/210. Are w and 0 equal?
False
Let q = 22 - 23. Is 2/77 at most as big as q?
False
Let j be 3*(2 + 0)*(-1)/(-3). Let z be ((-12)/(-45))/((-2)/(-5)). Which is greater: z or j?
j
Let t = -7 - -6. Which is bigger: 0.3 or t?
0.3
Let m = -0.5 + 0.51. Let w = m + 0.99. Is w <= -2?
False
Let i = -9/121 + -2/121. Is -1 >= i?
False
Let d = -0.03 - 0.05. Let r = -0.18 - d. Is 1/8 at least r?
True
Let g(m) be the second derivative of m**4/12 + m**3 + 2*m. Let j = 12 + -18. Let w be g(j). Is 1/3 > w?
True
Let m = 2/161 - 328/483. Let x = 12 + -12.2. Do m and x have different values?
True
Suppose 0 = u + c - 5, 0 = u - 4*u + 2*c. Suppose -u = -4*i - 18. Suppose -t + 3 = 2*t - 4*o, 3*t + o = -12. Does t = i?
False
Let o = 29 - 34. Which is bigger: -6 or o?
o
Let w(j) = 3*j - 5. Let v be w(2). Which is bigger: 0 or v?
v
Let i be 15 + (1 - 1)*-1. Let y = 11 - 1. Let g = i - y. Is g less than 5?
False
Suppose 0 = -8*l + 6*l. Is l not equal to -4/11?
True
Suppose 0 = f - 4*y - 18, -4*f + 2*y - 18 = 4*y. Let w be (-1779)/(-45) + 4/(-20). Let g = w - 40. Do f and g have different values?
True
Let j(l) be the second derivative of -l**5/10 - l**4/6 - l**3/6 - l**2 + 2*l. Let a be j(-2). Suppose 0*m + a = -4*m. Is -4/3 not equal to m?
True
Suppose 7*f = 8*f - 4. Which is smaller: f or 3?
3
Let p(w) = -w**2 + w. Let m be p(0). Let d be 69/(-60) - (-2)/5. Which is smaller: d or m?
d
Let g be 5/2*(-2)/10. Suppose 2*b - 3*b = 0. Which is smaller: b or g?
g
Let m be (-2)/3*6/4. Let s = m + 1. Let y be (4/(-10)*-1)/2. Which is greater: s or y?
y
Let o be 9/4 - 2/8. Let x be 1 - 2/(1 + 1). Suppose x*u - o = -2*u. Are u and 2/21 nonequal?
True
Let y(t) = -t**3 + 3*t**2 + 5*t - 3. Let k be y(4). Let o be (1/k*2)/(-15). Which is greater: 1 or o?
1
Let z be (-104)/(-126) + (-4)/(-14). Let p = 27 + -27. Which is smaller: p or z?
p
Let f(o) = o**3 - 4*o + 3. Let q be f(2). Suppose -48 = -q*l - l. Let r = 7 - l. Is -3 less than r?
False
Let b be -1 - (9/12)/(-3). Let m(c) = c**2 - 3*c + 2. Let k be m(3). Let q = -3 + k. Are b and q unequal?
True
Let y be ((-2)/5)/(9/(-15)). Which is greater: y or -3?
y
Suppose -3*u + 4*u = 0. Suppose -3*m - o + 2 = 0, 5*o - 7 - 3 = -5*m. Suppose m = -4*q + q - 3. Is u greater than or equal to q?
True
Let k be (28/(-385))/((6/(-20))/3). Which is smaller: 1 or k?
k
Let f be (-1)/2 - (-2)/4. Let q = -46 - -46. Suppose q = g - j - 3, -j + 3 = g - f*j. Which is smaller: g or 2?
2
Let a be -3 - (2 - 1)*23. Is a at least -27?
True
Let q = -14 + 26. Suppose 0 = -2*c - 3*k - 15, -4*c + k = c + q. Let r be (4/c)/2 + 0. Do r and 3 have the same value?
False
Let k(c) = 2*c + 0*c - 3*c**3 - c**2 - 2*c**2 - 1 + c**2. Let z be k(1). Is -4 < z?
False
Suppose -2*n - 20 = 8. Which is smaller: -61/4 or n?
-61/4
Let m be 10/(-4) + 2/(-4). Let p be (m/(-6))/(10/4). Let g = -22 - -22. Is g < p?
True
Let z = -4/11 + -10/33. Let h be ((-9)/30)/(6/5). Is h != z?
True
Let l be (-8)/12*(-6)/4. Let q be 2 - (l + (-3 - -2)). Which is greater: q or 1?
q
Let i be (2 + 1)