 bigger than 4?
True
Suppose -b = 4*q - 15 + 4, 5*b - 2*q - 33 = 0. Are 5 and b unequal?
True
Let q(b) = b - 6. Let v be q(7). Let k = 32 - 28. Which is greater: v or k?
k
Let q = -28 + 29. Which is smaller: q or -3/8?
-3/8
Let q = 25.85 - -1.15. Which is smaller: q or -0.1?
-0.1
Let j be (-4)/(-2) - (-2 - -5). Let f = 2 - j. Let o be ((-2)/9)/((-2)/f). Which is smaller: o or 0?
0
Suppose 3*y = -t + 12, -t + 0*y = 2*y - 13. Let i be t/12*1/5. Suppose 22 = -2*l + 7*g - 2*g, -2*g + 10 = -2*l. Which is smaller: i or l?
l
Let z be (-4)/(-10) + 214/15. Let i = 2 - -13. Let a = i - z. Are a and 1 nonequal?
True
Suppose -5*f + 6 = -4. Is 4 at most f?
False
Let g(q) = -q**2 + 7*q - 5. Let m be g(6). Let h = -2 - -4. Let j be (-34)/(-30) - (h + -1). Is m smaller than j?
False
Let s be (36/(-162))/(2/(-6)). Which is smaller: s or 0.42?
0.42
Let q = 50 - 46. Which is smaller: q or 5?
q
Suppose 5*j + 3*r = 22, 6*r - 20 = r. Which is smaller: j or 3?
j
Let c be (-2)/(-9) + 1/(-18). Let l = -6 + 7. Is c less than l?
True
Let i(j) = j - 14. Let y be i(16). Let z be -4*(0/(-1) + -1). Is y bigger than z?
False
Let g be 2/(-4) - (-30)/92. Do -1 and g have different values?
True
Suppose 2*i + 3*i = 0. Let u be (-3)/(-5)*(-1)/(-1). Which is bigger: u or i?
u
Let z be -7*-1*(4 - 3). Which is smaller: z or 9?
z
Let z = -10 - -15. Which is bigger: 2 or z?
z
Let m(w) = -52*w. Let f be m(3). Let h = f + 14506/93. Let z = h + 42/31. Which is bigger: z or 1?
z
Let y be ((-3)/14)/((-2)/4). Let p(m) = -m**3 - 2*m**2 - m - 1. Let b be (-9)/7 - (-4)/14. Let u be p(b). Which is bigger: y or u?
y
Let u = -0.131 - 0.399. Let j = 0.03 + u. Which is greater: 1 or j?
1
Let n = -17 + 8. Let d be (n/(-9))/((-2)/6). Is -2 <= d?
False
Let q = -0.2 - 0.4. Let k = q - -0.5. Which is greater: k or 1/3?
1/3
Let p = -11/6 + 49/30. Which is smaller: p or -1?
-1
Let i(n) = n**2 - 18*n - 8. Let r be i(18). Which is bigger: -0.1 or r?
-0.1
Suppose 2*k = -3*y + 4 + 2, 2*y + 15 = 5*k. Which is smaller: y or -36?
-36
Let u(b) = -4*b**2 - 7*b - 1. Let m be u(-3). Which is greater: -15 or m?
-15
Suppose 0*s + 4*n = s, -s = 5*n. Let a(g) = -g**3 - 8*g**2 - 7*g. Let c = -20 + 13. Let r be a(c). Is r smaller than s?
False
Let r = 0.3 + -0.4. Let v = -0.69 - 0.11. Let g = 1 + v. Is r at least g?
False
Suppose -2*v - k - 1 + 4 = 0, -3*v + 2 = k. Is v >= -8/7?
True
Let g be ((-1)/(-1))/(1/(-1)). Let v be (-15)/(-3) - (-1 - -1). Suppose t + t = 2*h + 2, -5*t = -h - v. Is g smaller than t?
True
Let v be 2/(-4)*-2 + 0. Let d = -31/9 - -151/36. Is d <= v?
True
Let g be 1/(14/(-185)) - (-2)/(-7). Do -14 and g have the same value?
False
Let v = 76.121 - 76. Let t = 1.789 + v. Let y = t - -0.09. Is y equal to -5?
False
Let j be ((12/10)/(-2))/1. Let i(y) = y + 2. Let z be i(0). Suppose 2*x - z = m, 2*m - 2*x + x + 4 = 0. Which is greater: j or m?
j
Let v be (((-56)/60)/7)/(2/(-21)). Is v != 0.2?
True
Let q(x) = -x**2 - 4*x - 1. Let m(a) = a**3 - a - 3. Let f be m(0). Let w be q(f). Let b(h) = h**2 - 3*h + 3. Let z be b(w). Which is bigger: -4 or z?
z
Suppose -5*t + t = 2*u + 4, 0 = -5*t - 5. Suppose -4*g = -5*g. Is u less than or equal to g?
True
Let w be (6/(-16))/(3/(-5)). Which is greater: 0 or w?
w
Suppose -4*d - 3*f = -23, 2*f + 0 = 4*d + 2. Let p be -2 + 1 + (d - 1). Let i(h) = h**3 + 9*h**2 + 7*h - 10. Let a be i(-8). Do p and a have the same value?
False
Let k = 2 + -1.1. Let g = 14 - 14.9. Let o = k + g. Which is greater: o or -0.2?
o
Suppose 6*j - 2*j = 16. Suppose c - 2 = -j. Is c > -3?
True
Let p be 13*(4/3 - (-7)/(-3)). Is p bigger than -1/4?
False
Let o be 10/(-6)*(-1)/5. Let r = -0.2 + 0. Is r <= o?
True
Let n = 201 - 2611/13. Which is bigger: 1 or n?
1
Let w = 0.07 - 13.57. Let i = 14 + w. Is i greater than -1/3?
True
Let n = -0.7 + -16.3. Let r = n + 18. Which is smaller: r or -0.02?
-0.02
Let l be (-2)/4*(-30)/(-24). Which is greater: l or 3?
3
Let p be 6/21 - (-94)/63. Which is smaller: p or 3?
p
Let g = 243 - 3163/13. Which is bigger: g or -1?
g
Let j = 40 + -121/3. Is 1 at least j?
True
Let a be 374/80 + 6/12. Let o = a + -35/8. Is 0 less than o?
True
Let h be (-3)/(-6) - (-6)/4. Suppose 0 = b + b. Suppose -h*w = 3*u - 1, 3*u + 5*w + 2 + b = 0. Is -1/5 smaller than u?
True
Suppose 0 = -10*p + 22 - 12. Let u be (-2)/8 + 1/3. Which is smaller: p or u?
u
Let y = -0.07 - -3.07. Let h = 2.9 - y. Let b = h - -0.2. Is -0.2 greater than b?
False
Let f = 98/9 - 2272/207. Let o(g) = -g**3 + 4*g**2 - 3*g - 1. Let z be o(3). Which is greater: z or f?
f
Let k(t) = -t - 1. Let m be k(-1). Which is greater: m or -2/85?
m
Suppose -4*x + 5*f - 8 = 0, 0 = 4*x - 2*f - 3 - 1. Let o be x + (-2 - 44/28). Which is greater: -1 or o?
o
Suppose 5*r - 18 - 9 = -4*x, -5*r = -2*x - 9. Suppose 0 = -x*b + 4*b - 5. Suppose b*d = d. Is -2/11 less than d?
True
Suppose 0 = -5*j + 15 - 10. Which is smaller: -1/26 or j?
-1/26
Let m = -9 - -7. Let b be -4*(-3)/6 + m. Do b and 3/5 have different values?
True
Let y = 225 + -132. Let s be 2/(-13) + y/13. Is s smaller than 7?
False
Let w = 1 - 1. Let j = 0 - w. Let y = -4 + 9. Which is smaller: j or y?
j
Let m(o) = -o - 11. Let s be m(10). Which is greater: s or -23?
s
Let s(v) = v**3 + 4*v**2 - 16*v - 15. Let x be s(-6). Which is smaller: -2/5 or x?
-2/5
Let j be -10*(9/(-6))/3. Suppose j*p - 7 = 13. Suppose p*z + 7 = -5. Which is smaller: -4 or z?
-4
Let p(t) = -2*t - 2. Let j be p(-2). Let k = j - 6. Is -4 greater than k?
False
Let n = 1 - 1. Let c = n - -0.2. Let d be -1 + 2/6*2. Which is smaller: c or d?
d
Let j = 5.98 - -0.02. Let z = 5.9 - j. Is -4 at least z?
False
Let z = 6 - 9. Let u(x) = x**2 + 3*x - 1. Let y be u(z). Let r = 11/9 - 37/45. Is y less than r?
True
Let a(p) = -p**3 + 7*p**2 + 11*p + 4. Let o be a(8). Let u = o + -36. Suppose -l = l + 14. Is u < l?
True
Suppose 0 = -8*l + 3*l - 10. Let z = -359/3 - -117. Which is greater: l or z?
l
Let d = 3 + -1. Let a be (d - (-2 - -5))/(-1). Let p be a/3 - 0/(-1). Is -1 greater than or equal to p?
False
Let u be 15/9*141 + -3. Let m be 2/(-5) - u/(-180). Are m and 1 equal?
False
Let s be 0 + 2/(-4)*(10 - 9). Which is smaller: s or 1/6?
s
Let u = 0.4 + -0.2. Let p = -1.7 - -14.7. Let k = p + -16. Do k and u have different values?
True
Let u = 14 + -16. Let l be (-7)/7 - (u - 0). Which is smaller: -1/4 or l?
-1/4
Let j be (-8)/(-16)*(-43)/9. Let v = j + 8/9. Are 0.5 and v equal?
False
Suppose 0 = m + m + 14. Let j = 12 + m. Which is greater: j or 4?
j
Suppose -4*l + 0*w + w = -4, w = -4. Let r be (-8)/(-80)*5/2. Is l greater than or equal to r?
False
Let j(i) = i**2 - i - 7. Let f be j(-2). Let h be 2 + -1 + -2*1. Do f and h have different values?
False
Let d(u) = u**3 - 10*u**2 + 2*u - 5. Let h be d(10). Which is smaller: h or 14?
14
Let r = 73/6 - 12. Is r less than 0?
False
Let j = -6 - -14. Is j at most as big as 0?
False
Suppose 25*m = 21*m + 36. Let x(q) = q**3 - 9*q**2 + q - 2 - 2 + 0. Let c be x(m). Is 5 greater than or equal to c?
True
Let v = -0.71 + 0.61. Are v and 16/17 equal?
False
Suppose 10*x + 26 - 6 = 0. Which is greater: -7 or x?
x
Let z = -1606/3 - -545. Let i = -10 + z. Suppose -5*v = -0*v. Is i < v?
True
Suppose -11 + 1 = -2*s. Suppose s*g - 2 - 8 = 0. Let k = g - 0. Does k = 5/2?
False
Suppose 3*x = -x - 40. Let f be ((-202)/x)/(3/27). Let h = 181 - f. Is h at least as big as -1?
True
Let g be (-5)/10*(1 + -3). Which is smaller: 6/13 or g?
6/13
Let w be -3 + 4 - (0 + (-8)/(-10)). Is 1 at least as big as w?
True
Suppose -3*x = -3, 0*x - 47 = -4*w - 3*x. Let n = w + -10. Are n and 2 equal?
False
Let a = -8 + 11. Suppose a*r = r + 14. Let t be 4/14 + 5/r. Is t greater than 1?
False
Suppose 4*x - 19 = -0*x + 3*h, 4*x = 2*h + 14. Let v be (x*-2)/((-2)/(-1)). Let j be (-3)/v + -1*1. Which is smaller: j or 2/3?
2/3
Suppose 2*j + 0*j = 0. Suppose j*w - w = -1. Let o(s) = s**2 + 8*s + 9. Let i be o(-7). Which is smaller: w or i?
w
Let o be (-2)/(-6) - 46/(-6). Suppose -2*k - 3*z - 12 = -3*k, 0 = -k + 5*z + 14. Is o greater than or equal to k?
False
Let j = -27 - -28. Let g(d) = d**3 + 3*d**2. Let k be g(-3). Which is bigger: j or k?
j
Let x be 3/3 + 0 + -3. Let n(o) = 4*o + 3. Let z be n(x). Is z at most -4?
True
Let h = -3 + -9. Let n = -11 - h. Let i = -0.3 - -0.1. Which is greater: i or n?
n
Let y(r) =