 f = -2. Suppose -5*u + 19 = 3*a - u, 2*u = 5*a + q. Which is bigger: 0.2 or a?
a
Suppose -3*f + 5 = 35. Suppose -w = -11 + 2. Let n = w + f. Which is bigger: n or -3/4?
-3/4
Suppose 6 + 9 = -5*r. Let x be r/(-30)*(-1 - -2). Let y = 6 + -6. Which is greater: y or x?
x
Let f = 10 + -5. Which is bigger: -1 or f?
f
Let u(m) = m + 1. Let x be u(2). Let d = -8 - -8. Suppose l = -d*l. Which is smaller: x or l?
l
Let w = 10.3 + -10.5. Let n = -116077/110 + 2109/2. Let m = 6/11 + n. Is w greater than m?
False
Suppose 0 = -22*a + 18*a + 8. Suppose a*i = 7*i + 5. Which is greater: -3/19 or i?
-3/19
Let v be (1 - 2)/(-1) + 0. Suppose 0*o - v = -o. Let g be 6/(-4)*(-7)/28. Is g >= o?
False
Suppose 8 = 2*p, -2*p = 4*j - 9*j - 38. Which is bigger: -13 or j?
j
Suppose 3*j = 2*s - 6, 4*s - s + 4*j - 43 = 0. Let t = s - 9. Is -3/7 smaller than t?
True
Let p = 67 - 61. Is 6 greater than or equal to p?
True
Suppose -4 = -4*j - 40. Let k be 2/(-4) - 88/(-16). Let f = j + k. Which is greater: -3 or f?
-3
Let y = -15 + 15. Let s(n) = n**2 + n + 2. Let d be s(y). Is 3 != d?
True
Let m be 1022/5742 - 2/11. Let t = -515/1827 + m. Let k = 0.6 - 0.9. Do t and k have different values?
True
Suppose -12*r + 3*r = 3*r. Is r at least -10/9?
True
Let a be (0 - 0) + -7 + -3. Let n = 19 + a. Let b be 3/n + 10/(-12). Is b greater than 0?
False
Let q = 3 - 2. Let y be 27/76 - 82/779. Which is smaller: q or y?
y
Let g = 41 + 17. Is 57 greater than g?
False
Suppose w - 13 = -4*w - j, 2*w - 4*j + 8 = 0. Let s = 3 - w. Which is greater: -1 or s?
s
Let n = -13 - -9. Let u(a) = -a**2 - 18*a + 37. Let x be u(-20). Is n < x?
True
Let s(f) = f**2 + 3*f - 8. Let p be s(-5). Let h = 4 - 2. Is h != p?
False
Let r(z) = -z + 2. Let x(h) = -h**2 + 5*h - 3. Let c be x(3). Let m be r(c). Which is greater: m or 1/3?
1/3
Let a = 358 + -1084/3. Let h be -5 + 3*(-3)/(-3). Which is greater: a or h?
h
Let i be 2*(-2)/4*0. Suppose -3*o + 3 = -i. Is 2 at least o?
True
Suppose 0 = 2*s + 4, -2*h + 2*s + 14 = -2*s. Suppose -2*m - h - 3 = 0. Is m >= -3?
True
Let f = -0.84 + 1.04. Which is bigger: f or 38?
38
Let p be ((-1)/(-1))/((-2)/(-2)). Suppose -3 - p = -4*u. Let a be 6/(-8) - 1*-1. Are u and a equal?
False
Let m be 2/(-9) + 86/(-18). Let p = m + 5. Let c = 2/43 - -80/129. Which is greater: c or p?
c
Let x = 3 - -1. Let o = -7 + 7.2. Which is smaller: x or o?
o
Let i = 6 - 5.98. Let n = i - 1.22. Which is smaller: n or -1?
n
Let d be 1/(-1 + 3/2). Let k be (2 - 3/3)/((-2)/8). Let q be k/d + 17/8. Is q >= -1?
True
Let v(l) = -l**2 + 2*l + 6. Let f be v(5). Let n = 8 + f. Is 2/7 less than n?
False
Let u be 3/9 - (-4)/6. Let s be 9*(1 + (-1 - u)). Let p(q) = -q**2 - 8*q + 8. Let k be p(s). Which is bigger: k or 0?
0
Let i(p) be the third derivative of p**6/120 - p**5/12 - 5*p**4/24 - p**3 + 2*p**2. Let y be i(6). Let j be 0 + y + 2 - 2. Is -1 less than j?
True
Let v be 4 + (2 + -3)*2. Suppose 0 = l + v*l. Is 0.1 bigger than l?
True
Let j = 46 - 45. Which is smaller: j or 2/13?
2/13
Let k(u) = -u**2 + 2*u + 2. Let x be k(6). Let d be -1*2/7 - 9330/420. Let p = d - x. Which is smaller: -1 or p?
-1
Let o(m) = -13*m**3 - m - 1. Let a be o(2). Let y = a + 1175/11. Is -1 less than y?
True
Let r = 0.029 + 0.971. Which is smaller: -7/3 or r?
-7/3
Let v be 32/(4 - 0) - 4. Suppose -v + 8 = -2*g. Is -11 > g?
False
Let b = 27 + -26. Which is greater: 3.5 or b?
3.5
Let f = -0.184 - -0.084. Which is greater: f or -2?
f
Suppose -5 = 4*w + 7. Is w at least as big as -4?
True
Suppose 0 = 2*r + 2. Do -11/16 and r have the same value?
False
Let u be (-2)/(-1*(-2 + 5)). Which is smaller: -2 or u?
-2
Suppose 0 = -4*v - 20, -3*v = 5*t - 0 + 5. Which is greater: t or 9/8?
t
Let t(q) = q**2 - 5*q - 1. Let b be t(5). Is 2/91 != b?
True
Let s = 6 + -4. Suppose i - 2 = s*i. Which is smaller: i or -3/4?
i
Suppose r - 2 = -1. Which is greater: r or -1/42?
r
Suppose -5*r - 4*t + 30 = 0, r + 3*t + 1 = 7. Suppose -3*l = 2*m - 7, 13 = l - 0*l - 2*m. Is r greater than or equal to l?
True
Let u = 9 - 8. Let z = -0.45 + 0.15. Which is bigger: u or z?
u
Suppose 9*o - 16 = 4*o + t, 2*t + 2 = 0. Suppose o = -3*s + 6. Which is bigger: 2 or s?
2
Let o = 0.2 + 0. Let m = 6.2 + -1.2. Let a = m + -7. Is a smaller than o?
True
Let r be (0 - (-2)/15)*(22 - 27). Is 0.8 smaller than r?
False
Let r be -1 + (-16)/(-4) + -4. Which is bigger: -1/337 or r?
-1/337
Suppose 2*k - 12 = 2*b - b, -18 = -3*k + 5*b. Suppose k*t = t + 15. Suppose t*r - 7*r = 0. Which is bigger: 4/3 or r?
4/3
Suppose 12 = 5*b - 8. Suppose 0 = -3*l - 2*r - 2*r - b, -4*l - 4*r - 12 = 0. Let t be (-4)/6 + 9/(54/(-44)). Is t less than or equal to l?
True
Let d = 16 - 10. Let t be d/(-3) + 93/(-3). Let q be (-19)/t - 6/9. Is 0 at least q?
True
Let i be ((-4)/55)/((-2)/(-5)). Let l(j) = 2*j**2 - j - 1. Let m be l(0). Which is smaller: i or m?
m
Let r = 12 - 49/4. Is -2 > r?
False
Let s = -0.033 - -0.343. Let w = s - 0.21. Let g be (-2)/(-4)*8/(-18). Is w greater than g?
True
Let x(g) = g + 7. Let t be x(-8). Let n be (-1)/(t/(-1)*-1). Is 1 less than n?
False
Let z(q) = -q + 11. Let o be z(4). Is 5 greater than o?
False
Let j = 2 + -3. Let x = 4.3 - 4. Let a = x + 0.7. Which is bigger: a or j?
a
Let g = -44 - -41.9. Let w = g - -2. Let b be ((-4)/(-6))/(10 + -9). Which is greater: b or w?
b
Let d be 1 + (2 - 14/6). Let b = -13 + 10. Let u be 1 + b - -1*3. Is u at least d?
True
Let n = -37.284 - 0.616. Let q = -36 - n. Let o = 2 - q. Is -1 != o?
True
Suppose -y - 3*y = -4*l + 8, 3*l = -2*y + 11. Which is smaller: y or 0?
0
Suppose -7*y - 4 = -5*w - 3*y, 4*w + y = -1. Let x = -59/35 + 9/7. Is x less than w?
True
Let d(l) = -l**2 + 8*l - 3 - 2 - 2. Let i be d(6). Which is smaller: 4 or i?
4
Let h(o) = -o**3 + 5*o**2 - 3*o + 4. Let s be h(4). Suppose 0 = 4*v - s, 3*f - 5*v - 24 = -2*v. Is 10 less than f?
False
Let j = -10 + 17. Let t = j - 11. Is t bigger than 2?
False
Let p be 3/(-12) + (-69)/264. Let k = 3/22 + p. Let j(a) = -a**2 + 1. Let h be j(1). Which is smaller: h or k?
k
Let r be -1 + (0 - 1) + 0. Suppose 0 = -n - 3*u + 12, 0*u - 4*u + 14 = 2*n. Is r at most n?
False
Let m = -0.14 - 0. Are m and 1/4 equal?
False
Suppose -3*m - 5*i = -m + 23, 5*m = 2*i + 15. Suppose -4*y + 6*f + m = 3*f, 0 = -5*y + 4*f. Is 3 <= y?
True
Let k(t) = t**3 + t**2 + 2. Let z be k(0). Let l be (z + 501)/((-21)/6). Let y = -144 - l. Which is greater: y or -1?
y
Suppose 7*g - 22 = -8. Let j(h) = -h**2 - 5*h - 4. Let o be j(-3). Let a = o - 0. Is a greater than g?
False
Let n = -0.09 + -0.91. Let a = -0.99 - n. Which is smaller: -0.1 or a?
-0.1
Let z be (-2)/3 - 22/(-6). Let v be z/(-4) - 31/(-36). Are v and 0 unequal?
True
Let a be 4/6*9/(-2). Which is greater: a or -7/3?
-7/3
Suppose 0 = -v + 2*v + 2*n - 6, 2*v + 5*n - 15 = 0. Which is smaller: v or -8/19?
-8/19
Let u = 13.75 + -12. Let s = 0.35 + u. Let y = s + -2. Is 2/7 at most y?
False
Let g = -1/65 + 237/6955. Which is bigger: g or 0?
g
Let a be ((-32)/40)/(4/10). Let u be 9/15*a/3. Which is greater: u or 2/55?
2/55
Let m(b) = 4*b. Let v be m(3). Suppose -x + 3*x = v. Suppose g - x*g = 15. Which is bigger: -2 or g?
-2
Let r = -7 + 9. Suppose -3*x - 6 = -3*z, -r*z + 4*x = z - 3. Which is smaller: z or 6?
z
Let q be (-6)/(-8) + (-303)/(-12). Let m be q/(-91) - (-2)/7. Suppose 6 = 5*p + 26. Is m >= p?
True
Let s = -4 - -4.1. Let m = -1 - -1. Which is smaller: m or s?
m
Let n be (8/10)/(5/150). Is n > 25?
False
Let w = 0.1 - 0.2. Let o = w - 0.2. Which is smaller: o or 2?
o
Let w = -1 + 3. Suppose 1 = j + w. Are j and -0.1 unequal?
True
Let s = -2838 + 2822.13. Let f = -16 - s. Let p = f + 0.03. Which is greater: p or 0?
0
Let g be (-3*1)/((-24)/6). Is 2 equal to g?
False
Let a = 0.912 + 2.998. Let k = 0.11 + -0.2. Let q = k - a. Which is greater: 1 or q?
1
Let y be 4/(-8) + 35/10. Which is greater: 2 or y?
y
Let d = -6 - -4. Let s = -1 - d. Is 2/39 at most as big as s?
True
Let y = -20/69 + -1/23. Let h = -73 + 74. Is y at least as big as h?
False
Let p = 41 + -46. Is -4 bigger than p?
True
Let w be 16/(-12) + (-142)/6. Let t = -24 - w. Is -1/5 >= t?
False
Suppose 0 = -2*n - n + 15. Let f(a) = 2*a. Let h be f(2). Suppose 3*b - 15 = -3*t, h*b - 3*t - 9 = 4. Which is smaller: n or b?
b
Let t(c) = c + 19. Let i be t(-9). Is i greater than 10?
False
Let q = 0