1)/(9/(-7)). Which is smaller: 0 or m?
0
Suppose -12 = 3*m - 0. Let r = m + 23/5. Suppose 2*g + 2*g = -8. Does r = g?
False
Let p(a) = 2*a - 6. Let x be p(9). Let w be 6 - 8 - x/(-2). Which is bigger: w or 6?
6
Suppose -p + 3*p = -8. Is -5 >= p?
False
Let q = 1 + 1. Suppose -q*k + 2*d = -20, -23 + 9 = -3*k - 5*d. Suppose -3*j + 4*t - k = 0, j + 2*t = 2 + 2. Which is greater: 1/6 or j?
1/6
Let i(p) = p**3 + 14*p**2 + 12*p - 11. Let r be i(-13). Let c(l) = 5 - l**2 - 5 + 4*l. Let o be c(3). Do r and o have the same value?
False
Let g = -120 + 183. Let z be ((-2)/3)/(8/g). Which is greater: -4 or z?
-4
Let r = -9 + 8. Let w be -1 + 0 - (-1 + -2). Let p be ((-18)/8 + 2)*w. Which is greater: r or p?
p
Let o be ((-3)/(-9))/(2/6). Let m = 137/2025 - -1/81. Is o greater than or equal to m?
True
Let c = 169383386 - 819138060553/4836. Let n = -7/372 - c. Let r = -4/13 - n. Is r smaller than -1?
True
Let i be (-5)/(-6)*(-3)/(-10). Let l = 8 - 8.3. Let g = 2.7 - l. Is i at most g?
True
Let g = 40016/57 - 702. Which is bigger: 1 or g?
1
Let h = -191 - -112. Is -79 > h?
False
Let l = 4 + -12. Let y be (1/14)/(2/l). Which is bigger: -1 or y?
y
Let c = -25.73 - -26. Let g = -1.87 + 1.8. Let s = g + c. Are s and -1/4 nonequal?
True
Suppose -18 = -u - u. Are u and 9 unequal?
False
Let b be 108/26 - (-26)/(-169). Let k(s) be the first derivative of -s**2/2 + 5*s - 1. Let f be k(b). Which is greater: f or -2/15?
f
Suppose 2*b - 5 = b. Let a(n) = n**2 + 5 - 4*n**2 + 3*n**2 + n**2 - 6*n. Let u be a(b). Which is smaller: u or -2/3?
-2/3
Suppose 0 = 2*l - 2*c - 4, -l + 5*c = -1 + 7. Let t be (-4 + 3)/(l/(-4)). Which is smaller: t or -1/5?
-1/5
Let n = -3 - 1. Let g = n - -9. Suppose 0*h = h - g. Which is greater: h or 6?
6
Let t be ((-2)/(-4))/((-6)/4). Let a = 29 + -17. Let m be -2*(-3)/a*2. Is t bigger than m?
False
Let d be 8/16 - (-5)/2. Is d greater than or equal to 3?
True
Let g be ((-4)/(-16)*-6)/6. Which is greater: -2 or g?
g
Let p = 1 - -3. Let b be ((-2)/5)/(p/(-40)). Let m be (-1)/b + 21/(-12). Which is greater: m or -3?
m
Let v = -22 + 31. Which is bigger: v or -1/3?
v
Let q = 2 + -4. Let v = q + 0.5. Let k = 0.5 + v. Which is bigger: 1 or k?
1
Let u(q) = -3*q**3 - q**2 + 2*q - 1. Let w be u(1). Let j = -1 - w. Which is bigger: j or -0.1?
j
Let v = 3.17 + -3.07. Let u be (-2)/6 + 5/(-3). Which is smaller: u or v?
u
Suppose -2*y + 7*y - 5 = 0. Let c be (-3 + 6)/3*y. Is c < 2/3?
False
Let u be (2 + (-51)/6)*8. Let o = -29 - u. Let w = o - 68/3. Is w != 0?
True
Let x be 2 + 378/(-70) + (-2)/(-5). Which is smaller: 1 or x?
x
Suppose 0 = -4*s - 4*b + 16, -s - 8 = -3*s - b. Suppose -s*z = -4 - 0. Let u = 85 - 251/3. Which is smaller: u or z?
z
Let d(w) = -w**3 + 4*w**2 + 3*w - 5. Let r be d(4). Suppose 5*o + 14 = 5*s + 2*o, -3*o - r = 2*s. Let n = 15 - 12. Which is smaller: s or n?
s
Suppose o = -3*z + 14, 5*o - 2 = -z + 12. Let y = o - -1. Suppose -b - 4*a - 6 = -3*b, y*b + 2*a - 1 = 0. Which is bigger: b or 2?
2
Let r = -92/175 - -6/25. Let n = -33 + 7. Let i = n + 22. Which is smaller: i or r?
i
Let h(o) = o**3 - 2*o**2 - o + 5. Let i be h(4). Suppose -3*w - i = -2*w. Let r be (180/w)/3 - -2. Which is smaller: -1 or r?
-1
Let m(a) = 5*a + 8. Let n(f) = 2*f + 3. Let y(p) = -3*m(p) + 8*n(p). Let d be y(1). Let u = 502/9 - 56. Which is bigger: d or u?
d
Let f(p) = -11*p**2 - p + 1. Let c be f(-2). Let j = 60 + c. Suppose 0 = -4*u - j + 3. Which is bigger: u or -3?
-3
Let m(b) = -b**2 - 8*b + 1. Let c be m(-8). Let v(f) = 4*f**3 + 1. Let j be v(c). Let p = j - 4. Is p <= -1/3?
False
Let t be (1/(-2))/((-1)/(-4)). Let c = -7 - 0. Let y = c + 5. Is t != y?
False
Suppose 5*i = -11 - 19. Which is greater: i or -7?
i
Let u = -7 + 12. Suppose -u*c = 4*n + 26 - 11, -2*n + c + 3 = 0. Let m be (-42)/(-24) + -2 + n. Which is greater: 0 or m?
0
Let h(p) = -p**2 - 17*p - 2. Let i be h(-17). Which is greater: i or 1?
1
Suppose 0 + 1 = -h. Let m be ((-3)/9)/(95/(-15)). Is h > m?
False
Let k = 51 + -46. Is 4/3 smaller than k?
True
Let j = 5 - 5.7. Let w = 1.7 + j. Which is smaller: w or 2/3?
2/3
Let m = 85/39 - 24/13. Suppose -r + 3*t + 2 = 0, 3*r - 2*r = t. Let x be (r - 12/(-8)) + 0. Is x >= m?
True
Let f = -0.1 - -0.1. Let d = -0.4 + f. Let h = d - 0.6. Is h greater than 0.3?
False
Let p = -21 + 21. Is -3/26 equal to p?
False
Let j(r) = -r**3 + 7*r**2 - 5*r - 4. Let n be j(6). Suppose x = 7*v - 4*v - 13, -2*v + 10 = 0. Are n and x non-equal?
False
Let z = 25 + -26.5. Is z less than or equal to 2/3?
True
Let g be 4/8*(-24)/2. Suppose 3*x = 6*x + 15. Do g and x have the same value?
False
Suppose 12 = 3*r - 3*d, 9 + 15 = r - 5*d. Which is smaller: -2/5 or r?
r
Suppose -55 = 2*z + 3*z. Let w = z - -7. Let m be (1 - (-50)/(-52))*w. Which is smaller: 0.1 or m?
m
Let b = 2.8 + -3. Let f = -36 + 36.3. Let t = f + b. Which is smaller: 1 or t?
t
Suppose t = -3 - 1. Let w = 5 + t. Is w <= 1?
True
Let i = 1 + -2. Let z be 0/((-4)/(2*i)). Let h = 447 + -450. Which is bigger: z or h?
z
Suppose 0 = 6*q - q + 55. Is -10 at least q?
True
Suppose -2*g - 3 = 3. Let n be (1/(-1))/((-2)/(-26)). Let u(p) = -p**2 - 14*p - 16. Let q be u(n). Are g and q unequal?
False
Suppose l = 3*z + 19, 4*l + 9 = -3*z - 2*z. Let g(y) = y - 2. Let k be g(2). Let j be (l + -4)/(-1 - k). Are j and 2/7 equal?
False
Let o = 151 - 45. Is 105 < o?
True
Let x = -16 + 41. Suppose x = 2*q - 19. Suppose 2*v + 5 - 15 = 4*r, -2*v = 4*r + q. Is 1 less than v?
False
Let i = -19 - -11. Let g = i - -8. Is 2/39 > g?
True
Let c(g) = g**3 - g. Let b be c(0). Suppose 21 = -2*t - k - b*k, 5*t + 54 = -3*k. Let o = t - -3. Is o less than -6?
False
Let g = 141/5 - 1113/40. Let k = -4 - -4. Is g greater than k?
True
Let x = 309/7 - 44. Let f(t) = t**2 - 3*t**2 + 3*t**2. Let y be f(0). Which is smaller: y or x?
y
Let q be (6/(-21))/((-2)/(-6)). Is -2 greater than or equal to q?
False
Let j = 1 + -1.4. Let u = -0.5 - j. Let n be 5/(-4) - (-2 - -1). Which is greater: n or u?
u
Let b = -48 - -47. Is 1 greater than or equal to b?
True
Suppose 48 = -3*v + 18. Does -10 = v?
True
Let x(k) = 2*k**2 + 1. Let h be x(1). Let y be 4/h*6/(-4). Let z = 225 - 227. Is y equal to z?
True
Let w(x) = -x - 11. Let k be w(-10). Is -1 >= k?
True
Suppose -4*k - 138 = -10*k. Are 71/3 and k non-equal?
True
Let n(o) = 2*o + 11. Let a(l) = -l - 5. Let x(k) = 5*a(k) + 2*n(k). Let v be x(-3). Is v less than or equal to 1/26?
True
Let r be (18/60)/(((-9)/(-8))/(-3)). Is -2 greater than r?
False
Let a = 0 + -5. Let v = -12 - a. Let f be (-10)/35 - 2/v. Which is smaller: f or -1?
-1
Let f = -17107/132 + 389/3. Which is bigger: -1 or f?
f
Suppose v + 4*v - 20 = 0. Suppose 4 = v*a - 4. Suppose -4*d = 4*i + 4, -d - 10 = -4*i + 1. Do i and a have the same value?
True
Suppose -5 = -3*s + 4. Let p be (-12)/s - -3*1. Which is smaller: -2 or p?
-2
Let y(j) = 11*j**2 - 1. Let r be y(-1). Is 9 != r?
True
Let i be 4*(-1)/2 + 6. Suppose -i*w = -7*w. Is -1/4 <= w?
True
Let r = 0.04 + -0.04. Is -5 not equal to r?
True
Let k = 0.08 - -11.92. Which is bigger: -0.1 or k?
k
Let q(z) = -4*z - 1. Let d be q(-1). Let c(x) = -2*x**2 + 3*x + 4. Let s be c(d). Is -5 at most s?
True
Let a = 0.1 - -0.1. Let t = a + 0. Let o = -2 + 2. Which is bigger: o or t?
t
Let s(r) = -r**2 - r + 1. Let g be s(1). Let c be 4/(-1 + 1 + g). Is c less than -4?
False
Let g = -486 + 3875/8. Which is greater: g or -2?
g
Let t = 3 + -3. Is t at least -2/5?
True
Let k = 1/12 - -1/6. Is k < 0?
False
Let d be 8/44 - 84/(-22). Suppose -3*t - t = -4*b + 12, d*b = 5*t + 14. Is t at most -4/3?
True
Suppose -4*g + 96 = 4*x, 0 = -2*x - x + 4*g + 37. Suppose -5*s + 25 = 5*q, 4*s = 5*q - 6 - x. Let o = -1/6 + -1/3. Is o at least as big as s?
False
Let b = 23 - 163/7. Let a = -23479 + 3122671/133. Let x = 3/19 - a. Which is bigger: b or x?
x
Let d be 312/14 - 4/14. Let f be 1 + -2 + d/(-2). Let s be (4/(-16))/(3/f). Which is smaller: s or -4/11?
-4/11
Suppose 20*f - 17*f - 6 = 0. Suppose -3*h + 3 = -b, f*h = 3*h + b - 1. Which is greater: -4 or h?
h
Let c = 2234/2769 - 8/213. Let y = -27/52 + c. Suppose 0 = j + j. Which is bigger: j or y?
y
Let n = 1 + 1. Suppose 5*m + 0*j - 4*j = 11, -j = m - 4. Suppose -m*r = -0*r + 3. Which is greater: r or n?
n
Suppose 0 = 4*s + 3*i - 11, s + 3*i - 5*i = 0. Suppose -j - 1 = s*p, j - 