ger: -1 or j?
j
Let o = -1/146 + 81/1168. Is 0 at least as big as o?
False
Suppose 0*n - 4*n = c + 5, -c + 3*n + 16 = 0. Suppose -d - 16 = -3*d. Which is bigger: d or c?
d
Let d = 1 - 2. Is d less than or equal to -1?
True
Let k = -2.97 + -0.03. Let d = -5 - k. Let r be 2/6 - (-4)/(-3). Which is smaller: r or d?
d
Let f be 158/(-264) + (-4)/(-6). Let d = 31/132 - f. Let y(v) = v**3 - 5*v**2 - 13*v - 8. Let t be y(7). Which is bigger: t or d?
d
Suppose 4*p = 5*p - 2. Let z(f) = f**2 - 3*f + 3. Let v be z(p). Is v less than 1?
False
Let z(f) = -f**3 + 8*f**2 + f - 4. Let d be z(8). Let j = d + -2. Let c = -6 + 7. Is c > j?
False
Suppose 3*t - 2 = t + 5*x, t - 4*x + 5 = 0. Is t <= 1?
False
Let n = 0.07 + -0.27. Which is bigger: n or -1/10?
-1/10
Let z(d) = d**2 - 11*d + 9. Let s be z(10). Let l be (-1)/(-1)*(-54)/84. Let k = -8/7 - l. Which is smaller: s or k?
s
Suppose -2*c + 18 = -10. Suppose 0*g - 3*x + 10 = g, 2*x - c = 3*g. Let l = 3 + g. Which is smaller: 2/7 or l?
2/7
Let i be 2/6*(-48)/32. Which is greater: -6.7 or i?
i
Suppose 3*z = -3*s + 27, -z - 4 = -5*z. Let b be ((-2)/4)/(s/16). Which is smaller: b or -9/4?
-9/4
Let o = -13/4 + 3. Are o and 0 equal?
False
Let y(i) = 2*i**3 - 3*i**2 + 1. Let o be y(2). Let q be (-25)/5*(0 + -1). Suppose 2*f = q*w, -3*f = o*w - 2*f. Which is bigger: w or -2?
w
Let n = -1.48 + 1.5. Let m = -0.4 - -0.4. Is m != n?
True
Let h(l) = -l**3 - 11*l**2 - l - 12. Let n be h(-11). Which is bigger: -3/11 or n?
-3/11
Suppose 5*v = -4 - 6. Is v greater than -1?
False
Suppose n + 2*n + 42 = -3*l, 5*l + 3*n + 60 = 0. Let x = -6 - l. Is 8/5 != x?
True
Suppose 0 = 217*q - 222*q + 530. Which is smaller: q or 105?
105
Suppose -c + 28 = -3*m - 6*c, 5*m + 25 = -4*c. Let z = -0.022 + -0.278. Which is smaller: m or z?
m
Let q = 77/249 - -2/83. Is q >= -2?
True
Let x = 0.1 + 3.9. Let j = 3.8 - x. Let b = 0.04 - 2.04. Which is greater: b or j?
j
Let r(n) be the second derivative of -n**4/12 + n**3 - 3*n**2 - n. Let o be r(4). Is o at least as big as 0.3?
True
Let s(f) = 3*f - 1. Let q be s(6). Is -1 at most as big as q?
True
Let b = 4 - 0. Suppose -2*k - 3*k - 4*m = -31, -k = 2*m - 5. Suppose -k = n - b*g, 0 = n + 2*n + 2*g - 7. Which is smaller: n or 2/3?
2/3
Let c = -6 + 9. Suppose 0 = -5*v + 4*w - 2, 4*v + 16 - 10 = w. Are c and v equal?
False
Let j = 1.4 - 1.6. Which is smaller: j or 3/4?
j
Let j(o) = 6*o**2 + 6*o - 13. Let g(b) = b**2 - 1. Let w(r) = 5*g(r) - j(r). Let h be w(-7). Is h bigger than -1/8?
True
Let u = 55 - 48. Let a = 0.11 - -7.89. Let z = a - u. Is z not equal to 1?
False
Suppose s - 6*s + 40 = 0. Suppose 3*v - s*v = -25. Is v > 4?
True
Let j = -29 + 16. Let g be (-4 + 7)/(j/(-2)). Are 0 and g nonequal?
True
Let v = -118 - 16. Let p be v/(-46) - (8 + -5). Suppose 2*t = -2*z + z + 1, -4*z = 3*t + 1. Which is smaller: p or t?
p
Suppose -3*v = -2*a - 19, -2*a - 2 = 4*v - 4. Let q be ((-5)/(-4))/(a/20). Which is bigger: q or -1?
-1
Let r(f) = 6*f**2 - 4*f + 6. Let a be r(3). Let o be (2/4)/(60/a). Is o greater than -13?
True
Suppose -9 = -3*q + 3. Suppose -q*i + i = 0. Which is smaller: 1/6 or i?
i
Let g = 919231/10 - 92008. Let u = g + -2797/70. Let m = 124 + u. Is m less than -2?
False
Suppose 2*d + 4*q = -68, -3*d - 195 = -3*q - 57. Let p be (-2)/((-7)/(d/20)). Which is smaller: p or -3?
-3
Let z = -28 - -27.9. Is -0.1 equal to z?
True
Let c = -3/8 - -239/680. Suppose -g = -4*g. Which is greater: g or c?
g
Suppose 2*r - 16 = -18. Which is greater: r or 0?
0
Let l(t) = t**3 + 3*t**2 + 3*t + 1. Let m be l(-2). Let u = 26 + -28. Let b be 166/(-66) + u/(-11). Which is greater: m or b?
m
Let j = -7 - -7.4. Let i = j + -0.5. Is i at least 1/32?
False
Suppose -2*m + 0 = -2. Let i be (-3 + m)/((-6)/(-9)). Let b = -1 + 1. Is b at least as big as i?
True
Let m be -4 - 0 - 12546/(-3141). Is m at most as big as -1?
False
Let o(q) = 2*q. Let h be o(-2). Let v = h - -6. Is v equal to 0?
False
Let j = -118 - -259. Let b be 4/14 - j/(-21). Let l(n) = n - 5. Let t be l(b). Do t and 3 have the same value?
False
Let k = 4937/2616 - 4/327. Is k greater than 1?
True
Let v(c) = 2*c + 1. Let s be (-7)/(14/4) + 2. Let y be v(s). Which is smaller: -0.6 or y?
-0.6
Let v be 3 + ((-4)/2 - 3). Suppose 0*c = 2*c + 8. Which is smaller: c or v?
c
Let d(a) = -a**3 - a**2 - 2*a - 1. Let k be d(-1). Let q be (1 + 4)/1 + 0 + -3. Which is greater: q or k?
q
Let m(f) = f**2 + 8*f + 3. Let z be m(-8). Suppose -3*j - 14 = -5*l, z*j = -3*l + 6 + 12. Let t = 3 - j. Is t greater than or equal to -1?
True
Suppose 5 = i + 4*i. Let m be -2 + (i - 36/(-39)). Is -1 < m?
True
Let d be (-2)/(-5) + 14/(-10). Let a = -3 + -4. Let i = a - -20/3. Which is smaller: d or i?
d
Let m(h) = h**2 - 11*h + 12. Let g be m(9). Is -8 equal to g?
False
Suppose -5*b = 4 + 11. Let d be (-100)/195 - 2/b. Which is smaller: -1 or d?
-1
Suppose 2*a = -2 + 4. Let j = -317/6 - -4117/78. Which is smaller: j or a?
j
Let g = 46 + -47. Does -2/11 = g?
False
Let d be (-2)/(-5) + (-154)/10. Is d at most -0.1?
True
Let s be (-3)/6 + 5/(-2). Let o be s/(-1)*(-4)/3. Is -4 greater than or equal to o?
True
Let z = 28767/7 - 4097. Is 14 at most z?
False
Let m = 37 - 37. Is 10 smaller than m?
False
Let y = 1 - -4. Suppose -i - 1 = y. Suppose -6*a - 24 = -2*a. Is a smaller than i?
False
Let c = -59 + 32. Let h be (3/c + 0)*3. Which is greater: -1 or h?
h
Let k = -5.1 - -9.7. Let h = 1 - 5. Let o = h + k. Do o and -1 have the same value?
False
Let c be (3 - (-10)/(-3))*-3. Let n be c/3 + 10/15. Let v = 0 + n. Is 0 at most as big as v?
True
Let t = 5 + -4. Let w be ((-3)/(-54))/(t/4). Are w and -1 non-equal?
True
Let w = 0.5 - -1.5. Suppose -16 = -2*z + 6*z. Let k be 7/(-5) - z/10. Is w less than or equal to k?
False
Suppose 0 = 4*i - 2*u - 52 - 6, 0 = -2*u + 2. Is 15 greater than i?
False
Let z be ((-186)/(-36) - 5)*4. Are z and 1.6 non-equal?
True
Suppose 0 = 6*d - d + 10. Suppose -4*a = 2 + 2. Let u be a + (1 - 3/1). Is u greater than or equal to d?
False
Suppose 3*m = 3*p - 51, 4*p - m - 18 = 41. Let a = p + -208/15. Which is greater: a or 1?
1
Let d be 2/15*(-24)/(-20). Do -1 and d have the same value?
False
Let f be 1/(4 + 188/(-52)). Which is smaller: 3 or f?
f
Let x be (-9)/((-3)/9*5). Let s = x - 157/30. Suppose -5*d - 4*n + 1 = 0, -d - 2 = 3*n - 0*n. Which is smaller: s or d?
s
Let z = -46 - -130. Let n be 1 + z/33 + -3. Which is greater: n or 1?
1
Suppose 3*m + 6 = 6*m. Suppose -6*z = -m*i - 3*z + 19, -4*i + 5*z = -33. Is 3 greater than or equal to i?
True
Let a(p) = -p + p**3 + 8*p**2 + 0*p + 12 - 7*p - 4. Let d be a(-9). Let h be (0 - d)/(6/(-15)). Does h = -3?
False
Suppose 0 = 5*m - 4 - 1. Let l(b) = -b**3 - 3*b**2 - 2*b - 4. Let h be l(-3). Suppose h*s = s. Is m < s?
False
Let s = 0.048 - 0.048. Which is greater: 2 or s?
2
Let y be ((-57)/(-76))/(6/8). Is y greater than or equal to 1?
True
Let b be (2/(-18))/(13/(-6)). Which is smaller: b or -1?
-1
Let l = 0.519 + 0.081. Let c = -0.1 + 0.2. Which is bigger: l or c?
l
Suppose 2*r = 6 + 2. Let j = r - 3. Which is smaller: j or -1/18?
-1/18
Let r = -11 - -7. Let o = 4 + r. Which is greater: o or 3/4?
3/4
Suppose 0 = 5*l + l - 132. Which is greater: 20 or l?
l
Suppose -4*a = -0*s - 2*s + 112, 0 = -a + 5*s - 28. Which is smaller: -27 or a?
a
Let x(m) = m**2 + 7*m + 7. Let k be x(-7). Let p = k + -11. Which is bigger: -1 or p?
-1
Let n be -1 + (1 - (-12)/(-9)). Let l = -0.9 + -0.1. Is l less than n?
False
Suppose 2*y - 4*y - 5*w - 33 = 0, -15 = 3*w. Let f be (5 - 3) + 9/y. Is 0 smaller than f?
False
Let h = 1 - 1.5. Let n = -0.2 + -0.3. Let j = n + h. Which is bigger: j or -0.1?
-0.1
Let n = 6 - 9. Which is greater: n or 5?
5
Let z = 16 + -21. Let b be (-122)/(-60) - (-3 - z). Which is bigger: 1 or b?
1
Let y = 9.05 - 0.05. Let c = y + -8.8. Let n = -0.1 + 0.1. Is c < n?
False
Suppose 2*h - d + 0 = 2, -3*d = 0. Suppose 5*v = 10*v - 3*g - 17, -2*v - 2*g = 6. Is h > v?
False
Let x be 5 + 1*(-1 - -2). Let b = 22 - 10. Let o be (2/b)/((-4)/x). Is -1 greater than o?
False
Let o = -41 - -39. Is -2/43 at most o?
False
Let w = -10 + 10. Let g be 2/14*(-2)/(-1). Which is smaller: w or g?
w
Let r(m) = -2*m**2 + 6*m + 7. Let u be r(5). Is u > -3?
False
Let o be 6/(-33) + (-13)/(-11). Let v be (2/(-5 + -1))/o. Which is smaller: 1 or v?
v
Let 