x or y?
y
Let m be (-12)/(-198)*(19 + -1). Is m greater than or equal to 0?
True
Let y be (-1)/(-1) - (-4 + 2). Suppose y = f, 0*a = 5*a + 5*f - 15. Let m be (46/(-22) + 2)*-3. Which is smaller: m or a?
a
Suppose -4*s + 2*t = -110, -4*s + 5*t - 145 = -9*s. Is s < 29?
True
Suppose -6412013 = -3*h - 2*h + 4*q, -4*q + 12 = 0. Let i = h - 1211872874/945. Let j = i - -2/135. Which is greater: j or -2/5?
j
Let x be 4/(-20) - 2/(-10). Suppose x = -4*f - a + 67, 0 = -3*f + 6*f - 4*a - 74. Are f and 18 unequal?
False
Let m = 0.4 + 1.6. Let z = -2.5 + m. Which is greater: -2/9 or z?
-2/9
Let p(g) = g**3 - 5*g**2 + 8*g - 17. Let s be p(4). Which is bigger: s or -2?
s
Let j = -3.75 - -4. Let w = 0.05 - j. Which is bigger: w or 1?
1
Suppose 8*o = -8*o - 16. Which is greater: o or -6/5?
o
Suppose 0 = 2*y + y. Is 1 equal to y?
False
Let g = 19/280 + 3/40. Let m(j) = 4*j**2 - j**2 - j**3 - 4*j + 3*j. Let y be m(1). Is g < y?
True
Suppose 2*b - 3*t - t = 20, -12 = 4*t. Suppose 0 = 3*d - 12 - 3. Let n = 0 + d. Which is smaller: n or b?
b
Let s = -9 - -9. Suppose -4*n + 0*k = -4*k + 8, -2*k + 7 = -5*n. Which is greater: s or n?
s
Suppose 0*c - 5*c - 5 = 0. Let f be (0 + -3 + 2)*6. Let s = f + 9. Which is smaller: c or s?
c
Let p = -11 + 12. Let x = 14 + -10. Suppose -3*u = c + 1, x*c - 6*c = -2*u + 10. Is u smaller than p?
False
Let h(d) = 5*d - 3. Let u be h(-3). Let n be (-2)/(-3)*u/(-12). Which is smaller: n or -2/13?
-2/13
Let h(a) = 2*a. Let z be h(1). Do z and -11 have the same value?
False
Let g(v) = 11*v + 3. Let h be g(-3). Let r be (1/h)/(2/(-8)). Suppose 0 = 3*b + b. Which is smaller: r or b?
b
Let z(p) = p**3 - 4*p**2 - 3*p + 6. Let y be z(4). Let x be (-2)/y + (-4)/6. Is x bigger than 5?
False
Let o = 6 + -4. Let d(k) = k**3 - k**2 - 15. Let f be d(0). Let p be o/(-6) + (-5)/f. Do 0 and p have different values?
False
Suppose 4*p = 5*p. Which is smaller: p or -1/4?
-1/4
Let m = -1/6 - -5/12. Which is greater: -2 or m?
m
Let a = -1.2 - -2.2. Which is greater: a or -5?
a
Let j = -515 + 11847/23. Let u be (-2 - 0) + 76/(-4). Let q be 7/u + 8/6. Is j > q?
False
Let b = 5.32 - 0.52. Let o = b + -5. Is 2 < o?
False
Suppose -4*x = -0*x + 4. Which is greater: -4/11 or x?
-4/11
Let u be (2/4)/((-3)/(-24)). Let n be u/(-55)*30/12. Is 1 less than n?
False
Let f = -14353/35 + 2879/5. Let w = 166 - f. Let o = 6 + -5.7. Is w > o?
False
Suppose -9 = -10*g + 11*g. Which is bigger: g or -11?
g
Let v be ((-11)/3 + 5)*(-114)/4. Is v at least as big as -36?
False
Let v = 97/60 - 9/20. Let l(g) = g**2 + 1. Let x be l(1). Which is smaller: x or v?
v
Suppose -r + 3*r - 8 = 0. Suppose -5*p + 5*q = 10, 2*q = -4*p + 5*q - r. Let t = -2 - -5. Is t less than p?
False
Let v = -15 - -20. Let f be ((-5)/(-3))/v*1. Which is smaller: f or -1/3?
-1/3
Suppose 4*o + 0*o = 0. Let j = o - -1. Let k = -1.2 - -0.2. Is j greater than k?
True
Let v = 8.02 - 0.02. Let y = v + -7.98. Let n = 0.01 - y. Do n and 0.1 have different values?
True
Let y = 0 - -1. Let b = -0.958 + -0.042. Which is bigger: b or y?
y
Let m(b) = -5*b**2 + 24*b - 24. Let x(o) = -o**2 + 5*o - 5. Let t(l) = 2*m(l) - 11*x(l). Let n be t(5). Suppose -6 = 4*i - 2*i. Is i less than or equal to n?
True
Suppose 3*v = 8*v - 20. Let q be 2/(3 - v - 3). Do -4 and q have the same value?
False
Suppose 6 + 1 = 4*u + o, -3*u + 7 = -o. Which is smaller: u or 20/7?
u
Let i = 2.8997 - -0.0703. Let v = i - -0.03. Is v greater than or equal to 0?
True
Let v = -2 + 1. Let d be ((-15)/10)/3*1. Are v and d nonequal?
True
Suppose -4*z + 12 = 0, -6*y = -2*y - 2*z + 2. Let i = y - -1. Suppose o = -3, -i*o = -r - r + 8. Is r at least as big as 3?
False
Let j = 3.82 - 0.22. Let u = j - 4. Let q = 1.4 + u. Is q less than 1/4?
False
Suppose -30 = -2*f - f. Suppose 5*u + f = 5*r, 4*u = -2*r - 0*r + 16. Let b be 2/(-2)*(2 - u). Is 0 bigger than b?
False
Let k = -19/42 - 1/21. Let a(x) = x**2 - 5*x - 2. Let v be a(5). Which is bigger: v or k?
k
Let a be (6/(-9))/(25/(-45)). Which is smaller: a or 1?
1
Let o = 4 - 4. Let s be -1 + 2 - 4/(-1). Suppose o*l + 25 = -s*l. Which is greater: -2 or l?
-2
Let r be 0/((9 + -8)*(1 + 2)). Let s be 10/9*4/(-10). Let o = 10/63 + s. Which is smaller: r or o?
o
Let y(v) = -1 - 1 - v**2 + 0 + 6*v. Let w be y(6). Let p be 2/w + (-3)/(-4). Which is bigger: p or 2/9?
2/9
Let g be (-1 + 0)/((-2)/82). Suppose 2*k + 1 = k + l, 0 = -4*k - 5*l + g. Is k >= 4?
True
Let d = -7 + 4. Let k = -134/39 - -36/13. Are k and d equal?
False
Let j = 335 - 21773/65. Which is bigger: -1/4 or j?
j
Let a = 0.84 + -0.74. Is -8 less than a?
True
Let f = 81 - 80. Is -1/16 less than f?
True
Let q(w) = -2*w**2 + 11*w - 9. Let p be q(4). Does p = 3/2?
False
Let q = -6 + 6. Suppose a + a = q. Let l be 1*(a + (-2)/3). Is l at most as big as -0.4?
True
Let r = -14 - -13. Let t = 1167/11 - 106. Which is greater: t or r?
t
Let w = -47 - -62.7. Let k = -16 + w. Let b = -25/34 - -4/17. Which is bigger: k or b?
k
Let l(z) = -z**2 + 3*z + 5. Let m be l(4). Suppose 5*i - 6*x + 3*x - 8 = 0, m = -x. Let t = 3 - i. Which is smaller: t or 1/2?
1/2
Let m be (-2 + -1)/(-3) - 23. Let s be 1*-1 - (0 + -6). Let a be 1/s - m/(-35). Is a bigger than 0?
False
Let k = -36.1 - -7.1. Which is greater: 0.1 or k?
0.1
Suppose 2*x - 2*h = -x - 13, -3*x - 3 = 3*h. Suppose u = -0*u - 4. Which is smaller: u or x?
u
Let s = -2.16 + 2. Let i = s + 5.16. Which is greater: -0.2 or i?
i
Let i = 5.47 + 0.03. Let x = 0.5 - i. Let q = -5.3 - x. Is 1 smaller than q?
False
Let x = 3/41 - 109/369. Let f(t) = -t + 6. Suppose -16 = -4*q + 4. Let l be f(q). Is l at least as big as x?
True
Let i = -84 + 92. Is -0.1 < i?
True
Let l = 9 + 19. Let w be 76/l - 2/(-7). Let i = 1 - w. Which is smaller: i or -2/3?
i
Let g(v) = v**3 + 5*v**2 + 5*v + 3. Let o be g(-4). Let x be ((-1)/(-2))/1*0. Which is bigger: o or x?
x
Suppose -2*h + 12 = 16. Is -1/2 <= h?
False
Let f(k) = k + 17. Let s be f(-15). Which is smaller: 0 or s?
0
Let w be 4*(2 + -2 + 1). Suppose 0 = -2*h - 3*s + 7, w = 2*h + s + 3. Is h greater than or equal to 3/10?
False
Let x(d) = d**3 - 7*d**2 - 7*d - 8. Let k be x(8). Is -1 less than k?
True
Let m = -29/70 + 22/35. Are 0 and m non-equal?
True
Let k(i) = i**2 - i - 1. Let l be k(2). Let j be l/2 - (1 + 0). Which is greater: j or -1?
j
Let z be (-14)/42 - (-34)/(-6). Are z and -8 equal?
False
Let d = 20 - 19.85. Which is smaller: d or 2?
d
Let h = -13 + 12. Which is smaller: h or -0.1?
h
Let m = -11 - -11.22. Let k = m + -0.22. Suppose a + 7 - 2 = 0. Is k smaller than a?
False
Let l = 1.03 - 0.03. Let p = 6 - 4. Let r = p + -2. Are r and l non-equal?
True
Let q be ((-112)/8)/((-4)/(-11)). Let t = q - -40. Which is greater: t or 2/11?
t
Suppose -13 = -2*g - 5*l, -5*l + 6 + 6 = 3*g. Is g >= 3?
False
Suppose r + 4*k - 19 = 0, r + k + 6 = 2*k. Is r equal to -30/13?
False
Let u = 188/111 - 1/37. Which is smaller: u or 3?
u
Let p = -287/4 - -71. Let x be 2 + (-2)/(-2) - 1. Suppose x = -s, -3*j + s = -0*s + 1. Do j and p have different values?
True
Let a = 0 + 1. Let n = -15 + 17. Suppose -n*i = -0*i. Are a and i equal?
False
Let k be (-10)/45 + 137/9. Suppose 3*i + 15 = -k. Is -10 greater than or equal to i?
True
Let k(i) = i. Let x be k(4). Let s be 2*(-3 - 0 - -5). Is x smaller than s?
False
Suppose -2*z + 4*r = -56, -3*z + 68 = 2*r - 24. Is 30 at least z?
True
Let x = -21 + 20. Which is bigger: 1/28 or x?
1/28
Suppose -28 = 11*d - 7*d. Is d less than -6?
True
Suppose 21 = -4*x + 17. Let g = -5 - -16/3. Which is smaller: g or x?
x
Let x be -3 + (-480)/(-75)*(-1)/(-2). Which is smaller: 41 or x?
x
Let t = -4 + 6. Which is smaller: t or 16/5?
t
Let i = 2 + -2.01. Let y = -49 + 197/4. Which is bigger: y or i?
y
Suppose 2*w - 8 = -0. Suppose w*b + 15 = b. Is -3 at least b?
True
Let a(s) = -s**3 - 10*s**2 - 9*s + 8. Let h be a(-9). Suppose -3*c - 80 = -h*c. Is 0 not equal to c?
True
Let b = 7/3 - 2. Let z = 40 - 67. Let n be 1*(1 + z/21). Is b smaller than n?
False
Let g be (-4)/(-10) + 2/(-5). Let w = -6 + 10. Suppose -w*m = 12, -c + 2*m = -7 - 0. Is c < g?
False
Let r = 84 + -161/2. Is r >= -1?
True
Suppose 0 = 3*n, -n - 3*n = -2*k - 2. Is k at most 2/35?
True
Let g = -17.8 - -18. Suppose t = 5*t. Suppose t*h - 4*h = 0. Is h bigger than g?
False
Let z = -9 - -9.02. Which is bigger: -2 or z?