aller: m or -1?
-1
Let j = -145/6 - -997/42. Suppose 0 = -2*w + 4. Suppose -w*z = -z - 4*f - 3, -3*z = -5*f - 2. Is j greater than z?
True
Let i = 0.015 + -0.115. Is i bigger than -2.2?
True
Let j = 5 + -5.13. Let p = j + -0.87. Is p <= 1/3?
True
Let c = -8 + 8. Let j(q) = q - 6. Let y be j(c). Let s = 9 + y. Which is bigger: s or 1/2?
s
Let o = -1 + 8. Let n(g) = o + g - g + 3*g - 4*g. Let j be n(7). Which is bigger: j or -2/3?
j
Let z(t) = 5*t - 19. Let a be z(7). Which is smaller: a or 14?
14
Let d(z) = 2*z - 23. Let a be d(15). Which is greater: 29/5 or a?
a
Let n be ((-1)/(-28))/(14/(-84)). Which is smaller: 1 or n?
n
Let a = 55.4 - 49. Let f = -5 - -11. Let p = a - f. Is p at least 1?
False
Let s = 5 - 9. Let a = -1 - s. Is a less than 4?
True
Let w be 2 - (-1 - (-2)/(-1)). Let g be (-2 + 9/6)*(2 - 14). Does w = g?
False
Suppose 2*i + 3 = -i - 4*v, 3*i + 2*v + 9 = 0. Are i and -2/9 unequal?
True
Let r be ((-18 - 3) + 3)/(-10). Let g = 2 + 0. Which is smaller: g or r?
r
Let x = -7.2 - -0.2. Let n = -0.146 + -6.954. Let s = n - x. Which is greater: 2/3 or s?
2/3
Let g = -0.8 + 1.7. Which is bigger: g or -0.3?
g
Let o = -2/537 + -1595/4296. Suppose 0 = -h + 5*h. Is o at most as big as h?
True
Let i = 1 + 1. Suppose 0 = -b - i*b. Suppose b = 3*h - 6*h. Is 0 > h?
False
Let w = 4 - 4. Let h be (-7)/(-3) - 4/(-6). Let t be ((-2)/h)/(-11 - -6). Which is greater: t or w?
t
Let f = -7.171 - 0.029. Let v = 0.8 - f. Which is smaller: v or 0?
0
Suppose -4*t = -0*t - 8. Suppose 0*r + 2*r = t. Suppose 4*a + r = p - 1, 2*a = -p + 2. Are -0.1 and a equal?
False
Suppose 5*g + i + 5 - 2 = 0, 0 = 4*g - 4*i + 12. Which is bigger: 2/21 or g?
2/21
Let g = -13 + 11. Which is smaller: 8 or g?
g
Let g = 0.2 + -0.2. Let j = g - 0.2. Let p = j + 0.3. Is p at least as big as -2?
True
Let x = -46 + -33. Let o = -1187/15 - x. Let f be 6/4*8/(-12). Which is smaller: o or f?
f
Suppose 148*i - 2 = 149*i. Which is bigger: -19/8 or i?
i
Let r be 2*-1 + (2 - 2). Let v(g) = g**3 + g**2 - g - 2. Let w be v(-2). Let i = 3 + w. Which is smaller: r or i?
r
Let n = -1869605543/474 - -3944317. Let g = 4294 + -1017676/237. Let k = n - g. Is k less than 2?
True
Let l = -7/10 - -6/5. Suppose 2*o + 2*i = o + 8, 4*i - 10 = o. Let m = o + 0. Is m less than l?
False
Suppose -3*k - 11 = 2*y, -k + 11 = -2*y + 4. Let n = y - 0. Which is greater: -3 or n?
-3
Suppose 0 = 7*s - 3*s + 56. Is s less than or equal to 0?
True
Let i(h) = -5*h - 38. Let w be i(-7). Which is smaller: -12/7 or w?
w
Suppose -3*a - 5*c = -25, 0*c = -2*a - 2*c + 10. Let t = -1 - a. Which is greater: 2/13 or t?
2/13
Let y(z) = -z + 21. Let i be y(6). Does 17 = i?
False
Let f be (-2)/(-3) - 28/6. Let c(y) = -y**2 - 4*y + 3. Let r be c(f). Are 2 and r equal?
False
Let m(u) = u - 1. Let f be m(4). Which is greater: 5 or f?
5
Let g = -0.013 - 0.687. Do 0.1 and g have the same value?
False
Let v = 0.025 + -0.495. Which is smaller: v or -1/3?
v
Let n be (-4)/(-3) + 2/(-6). Let w be 1 - ((3 - 4) + n). Which is greater: w or 0?
w
Let b(x) be the second derivative of x**3/6 + 4*x**2 - x. Suppose 24 = -2*h - 2*h. Let g be b(h). Is 2 not equal to g?
False
Let p be (6/2 - 5)/((-26)/(-36)). Is -2 bigger than p?
True
Let g(w) = w - 1. Let t be g(-2). Do t and -4 have the same value?
False
Let d(b) be the third derivative of 1/24*b**4 + 0*b + 0 + 4*b**2 - 1/60*b**5 + 1/3*b**3. Let j be d(0). Is 0.2 >= j?
False
Let n be (-2*(-4)/(-8))/(-1). Which is smaller: n or 2/143?
2/143
Suppose -33 = -3*l - 5*y, 2*l + 4*y = -2*l + 36. Suppose -l = -2*x + 2*i - 0*i, x - 6 = 2*i. Which is bigger: x or 4/11?
4/11
Let m(i) be the third derivative of i**4/24 - 2*i**3/3 + 2*i**2. Let c be m(7). Suppose -2*v = c - 5. Is 3/7 >= v?
False
Let o = -30 + 29.7. Is o at most 0?
True
Let c(b) = b**2 + 5*b. Let h be c(-5). Let y be 3*1*1/(-21). Which is smaller: y or h?
y
Let y be 58/(-104) - (-11)/44. Let q be (-1 - 0)*(-1)/(-1). Which is greater: q or y?
y
Let y be (-1)/(-2) - 1/12. Which is smaller: y or -1?
-1
Let k = -4.7 + 8.8. Let p = -0.1 + k. Let m be 6/24*-6 + 2/2. Is m != p?
True
Suppose -2*a + 8 - 26 = 2*g, 5*g + 2*a = -36. Does -4 = g?
False
Let k be 2/(-12) - 1/(-6). Are -2/7 and k non-equal?
True
Suppose -4*r - r = 0. Suppose r*k = -3*k. Which is greater: 1/3 or k?
1/3
Let u = 5 - 7. Suppose 3*w + 22 = 5*g, -7*w + 3*w + 24 = 4*g. Suppose -6 - 2 = 2*r, 5*r = g*l - 5. Which is smaller: l or u?
l
Let u be 3/(-6)*(8 - -6). Which is greater: u or 0.2?
0.2
Let j(l) = l + 7. Let f be j(-7). Let w = 0 - f. Is 1 greater than or equal to w?
True
Let g be (-1 - 7/(-4))*2. Suppose -o - 2*o = 0, 3*f = -o. Suppose f*w - 6*w + 12 = 0. Is g equal to w?
False
Let j(m) = 2*m + 2. Let u be j(-2). Let z(x) = x + 1. Let v be z(u). Let y be ((-3)/(-3))/((-1)/1). Are y and v nonequal?
False
Let i = 1 - -2. Suppose 0*l + l = 4. Suppose -2 = 5*z - 3*o, l*o - 20 = -o. Is z at least i?
False
Suppose 2*r - 6 = 4*g - 22, -3*g - 2*r = -5. Is g < 3?
False
Suppose -4*y = 5*a, 2*a = -0*a - 3*y. Let d = 11 - a. Let i = -6 + d. Is 5 at least i?
True
Suppose -3 = 3*d - 27. Which is smaller: d or 6?
6
Let g = 5 - 12. Let f = 21 + -11. Let c = f + g. Is -2 less than c?
True
Suppose 0 = -0*n - n - 18. Let l be -2*(2 - (-33)/n). Let y be 0 - (2 + (-24)/14). Are y and l equal?
False
Let r be (-30)/35*2/(-4). Is 1/2 less than r?
False
Let u be 12/10*(-20)/(-6). Let q = -1 + 2. Let i be q*(2*-1 + u). Which is smaller: i or 1/2?
1/2
Suppose 7 = c + 5. Suppose 4*k + 0*q + 3*q + 3 = 0, 0 = -k + c*q + 13. Is k >= 3?
True
Let g be 0/(-2) + 6/3. Let u = -21.1 + 20.1. Is u greater than g?
False
Suppose -2*y = -y. Let h = -2747/11 - -250. Which is greater: h or y?
h
Let i(q) = -q**2 + 2*q. Let h be i(0). Let j be (6/20)/((-12)/(-5)). Which is greater: j or h?
j
Let u = -47 - -67. Let p be 3/(-2)*u/12. Let b = p + 2. Which is smaller: b or -2?
-2
Let p be (2 - 2)/((-8)/(-4)). Suppose 3*u + z + 4 = p, 0 = 5*z - 4*z - 2. Is u at least -1?
False
Let o = -17 - -25. Let x = -5 + o. Let v(i) = -i**2 + 3*i + 1. Let z be v(x). Which is smaller: z or 1/7?
1/7
Let c = 1372887/74 - 18553. Let n = c - 1/37. Is n at least -2?
True
Suppose j + 0*m = m - 1, 2*j - 3*m = -5. Is -1/16 bigger than j?
False
Let w(g) = g**2 - 5*g + 2. Let m be w(4). Let f = 2 + m. Let h be (-6)/(3*-1) - f. Do h and 2 have the same value?
True
Suppose -2*x + 3 - 85 = -4*d, 4*d = 4*x + 148. Is x bigger than 1?
False
Let z = -21 + 20. Which is smaller: 18 or z?
z
Let u(i) = i**2 - 11*i + 2. Let h be u(11). Suppose -3*w - 2*y + 11 = 0, -2*w - 2*y = h*y - 10. Let t = w + -10. Are -6 and t equal?
False
Let u be 2*(-2)/6*3. Let m = 14 - 15. Which is greater: u or m?
m
Let f = 2.7 - 1.2. Which is greater: -1 or f?
f
Suppose -5*z + 27 = -3. Let k be (-208)/154 - z/21. Are k and -3 unequal?
True
Let s be 14/4*(1 - -3). Let g be s/49 + (-4)/14. Is 1 equal to g?
False
Let c = 2 + 0. Suppose -3*s = -o, -5*o + c*s - 4 = 9. Let a be (1/(-1) - o) + -2. Which is smaller: -1 or a?
-1
Suppose -2 - 4 = -2*d, -4*d = 4*h - 8. Let y be 3 - h/((-2)/(-8)). Which is smaller: 5 or y?
5
Let j = 119/190 - 10/19. Let a be -3 + 5 - (-3)/(-1). Is a less than or equal to j?
True
Let x be (-2)/(-3)*((-165)/(-40))/11. Does x = 49?
False
Let i(j) = -j - 4. Let y be i(-4). Which is smaller: -2/81 or y?
-2/81
Let g = 44 + -46. Which is smaller: g or -18/13?
g
Let x = 751 + -3554/5. Let n = 40 - x. Is 2 > n?
True
Suppose 5*y = l + 2*l - 41, 8 = l + 4*y. Is 2 bigger than l?
False
Let f(w) = w + 4. Let k be f(4). Suppose -b + k = b. Let q be 20/(-130) + b/26. Does 2/31 = q?
False
Let k = 3 + -2.9. Suppose 2*z = -0*z - 6. Is z greater than or equal to k?
False
Suppose -j + 3*x - 2 = 0, 0 = -3*j - 2*j + 5*x + 10. Suppose 5*g + s - 2 = 0, -2*s + j = 2*g + 3*g. Which is greater: -3 or g?
g
Let g be (2116/(-14))/((-8)/(-4492)). Let k = 84718 + g. Let r = 149 + k. Which is smaller: r or -1?
-1
Let t be -4 - -1 - 0/3. Which is bigger: t or -7/3?
-7/3
Let y = -33 - -18. Is y > -12?
False
Let y(u) = 9*u + 5. Let q be y(-4). Let f be (154/25)/(2/10). Let k = q + f. Which is smaller: 0 or k?
k
Let o = 6 + -3. Let f = 4 - o. Which is smaller: 2 or f?
f
Let x be 0/2 + -2 - -1. Let n be x/1 - 7/(-5). Let z = -2 - -4. Which is smaller: n or z?
n
Suppose -169 + 144 = w. Is w less than or 