is smaller: n or 2?
n
Let n = -223/329 - -5/47. Which is smaller: -0.1 or n?
n
Suppose -2*t + 2 - 6 = 0. Is -3 bigger than t?
False
Let n = -122 - -4036/33. Does 0 = n?
False
Suppose 9 = 5*r - 1. Suppose -38 = -3*y - r*x, -2*x + 11 = y - 3. Is y at least as big as 0?
True
Let c = -2.7 - -0.3. Let w = -1.54 + c. Let t = 0.06 - w. Is 0 equal to t?
False
Let k be 1*(0 + 11) + (13 - 12). Are 13 and k unequal?
True
Let k = 2 + -3. Let o = k - 1. Let h = -0.2 - -1.2. Which is greater: h or o?
h
Let u = -1.69 - 5.01. Let f = 8 + u. Let k = 0.3 - f. Is -2 at most k?
True
Let u = -6 + 25. Is u > 20?
False
Let n = -28 - -17. Let c = 10 + n. Which is smaller: c or -6/11?
c
Let f(b) = -b**3 + 11*b**2 - 10*b + 7. Let o be f(10). Which is smaller: o or 3?
3
Let t = 30/23 - 219/115. Let f = 7 - 7.2. Is f less than t?
False
Let u be (-48)/58*14/18. Let b = -2/87 + u. Let n = b - -1/3. Which is smaller: n or 0.6?
n
Let l = -2 - -2.1. Let f be -2 - (-2 + 77/780). Let a = f - -1/65. Which is smaller: a or l?
a
Let x = 81 + -81. Which is greater: x or 3/10?
3/10
Let r = 9.6 - 8. Let h = 1.4 - r. Which is bigger: -3 or h?
h
Let s = 5 + -7. Let l = -4476/35 + 633/5. Is l > s?
True
Let p(o) = -3 - 2*o**2 - 7*o + 3*o**2 - 1. Let y be p(8). Suppose -y*z = -6*z. Which is bigger: -3/5 or z?
z
Let p(o) = -4 - o + 3 + 10*o**2 - o**3 - 8*o. Let b = 27 + -18. Let t be p(b). Is t bigger than -1/2?
False
Let v = -0.2 - -0.3. Let h = 21 - 12. Suppose -2*j - 4*w + h = -9, 0 = -5*j + 4*w - 11. Is j > v?
True
Suppose -18 = r - 4*r. Let w be ((-8)/r)/(2/(-9)). Let i(u) = u**3 - 7*u**2 + 6*u. Let q be i(w). Which is greater: -1/6 or q?
q
Let n = -84 - -128. Are n and 44 equal?
True
Let i be -5*(-2)/(-1) - 1. Is i > -10?
False
Suppose -43 = 8*g - 11. Is g equal to -2?
False
Let x(g) = -5*g - 1. Let v be x(-1). Suppose 0 = -q - v*q. Suppose n = -q*n. Is 0 bigger than n?
False
Let z(r) = 14*r + 1. Let d be z(1). Is 0.2 >= d?
False
Let u = -706/7 - -101. Let t = -1 + 0. Which is smaller: u or t?
t
Suppose 3*a - 3*f - 10 = 2, -2*f = a + 11. Is a at least -2/51?
False
Suppose 0*a - a = 2*i - 1, -5*i + 2*a = 11. Let w be (4/(-10))/(1/5). Which is smaller: i or w?
w
Let u = -170 - -256. Which is bigger: 0 or u?
u
Suppose 0 = -6*j - j + 14. Is 1 equal to j?
False
Let y(l) = -l**3 - 2*l**2 + 2*l - 4. Let g be y(-3). Are g and 0 unequal?
True
Let t be (-2 - -1) + 1*5. Suppose -3*c + 6*h - 2*h + 24 = 0, t*c - 3*h - 25 = 0. Let w(r) = -r**2 + 6*r - 1. Let g be w(c). Do g and 6 have the same value?
False
Let a = 0.53 - 0.03. Let f = a - 0.46. Let l = f - 0.04. Is l bigger than -2/5?
True
Let i be (3 - 1)*15/6. Suppose -i*t - 9 = -4. Is -1 greater than or equal to t?
True
Let d = 5 - 3. Suppose -t = d*z + 12, 0 = -5*t + z + 3*z - 4. Suppose -y + 28 - 7 = 5*a, -5*a = 3*y - 13. Do y and t have the same value?
True
Let z be (-6)/(7/((-70)/(-135))). Suppose 2*y = 5*o - 4*o + 1, 4*o + 4 = -4*y. Which is smaller: o or z?
o
Let h = -6158/5 - -1236. Which is smaller: h or -3?
-3
Suppose 0*c + 3*c + 7 = -4*f, -2*c + 2*f = 0. Let z be 2/(-10)*(-1 - -4). Let h = -4/5 - z. Is h at most as big as c?
False
Let w = 1/69 + 22/69. Is 1/5 greater than or equal to w?
False
Suppose 5*h - 13 = -2*g + 10, -4*g + 22 = 2*h. Suppose 3*b + 10 = g. Suppose -5*z = 32 - 12. Which is smaller: z or b?
z
Suppose a + 4 = 2*a. Suppose 5*l + 11 = -a. Is -4 greater than l?
False
Suppose -11*p + 16*p = -100. Let u be (-20)/18 - p/(-90). Which is smaller: -0.1 or u?
u
Suppose 3 = q + 4. Suppose 3*u = 0, c + 2*u - 4 = u. Which is smaller: c or q?
q
Let z = 0.013 - -0.187. Let l be ((-8)/14)/((-9)/21). Is l smaller than z?
False
Let x(t) = -3*t - 7. Let r be x(-3). Suppose -5 = -3*q - 5*z - 1, 2*q - 3*z = 9. Is r < q?
True
Let w = 2 - -2. Let j(z) = -z**2 - 6*z + 3. Let y be j(-6). Suppose -y*q = -3 - 6. Is q at most as big as w?
True
Let g be -2 - (0/3 + -5). Let d be g - (-15)/27*-5. Does -0.1 = d?
False
Suppose -4*n + 2*n - 4 = -4*m, -7 = -5*m + 3*n. Is m >= -3/26?
False
Suppose 3*m + 0*k = 4*k + 1561, 4*k - 1014 = -2*m. Let x be m/14*24/(-10). Let r = x - -88. Is r equal to 0.1?
False
Suppose 4*f - f + 15 = 0. Which is greater: f or -3?
-3
Let c(w) = w**3 + 3*w**2 - 4*w. Let g be c(-4). Let a be -1*(-5)/(-1 - 4). Is a smaller than g?
True
Suppose 10*y = 6*y - 4, 4*y = o - 1. Let l(s) = s - 5. Let a be l(5). Let d = o + a. Which is smaller: -2 or d?
d
Let l = 8 + -6. Let d = -28 + 26. Is l < d?
False
Let a = -479 - -23947/50. Which is smaller: -1 or a?
-1
Let t = 2 - -4. Let k = 3 - 4. Which is smaller: t or k?
k
Let r = 8 + -3. Let g = r + -3. Let j = g + -1. Are j and 1/3 non-equal?
True
Suppose 6 = 2*x - 4. Suppose 71 = 5*l - 3*d, -4*l + d + 4*d + 49 = 0. Let r = 21 - l. Is r <= x?
True
Let x = -1/297 - -896/1485. Let q be (2/6)/((-2)/(-6)). Which is smaller: x or q?
x
Let u be 1*5 + (-32)/1. Is u at most as big as -25?
True
Let a = -3 + 1. Let o = a + 4. Let p = o - 1.9. Which is bigger: p or -0.1?
p
Let n(g) = -7*g**3 + g. Let t be n(-1). Let u be (t/5)/((-18)/(-120)). Is u less than 0?
False
Let b = -4 + 16. Is 11 equal to b?
False
Let t = 42.994 + -0.094. Let l = t - 48. Let o = l + 5. Which is smaller: o or -2/5?
-2/5
Let m = 9 + -4. Suppose 3*n = -4*h + 11, 0*h - 23 = -m*n - 2*h. Is n > 5?
False
Suppose -4*a - 1 = -3*a + 5*j, -2*a - 4*j = 2. Suppose 0 = 2*v - 3*v + 3. Let i be 12/10 - v/3. Which is smaller: a or i?
a
Suppose -3*m - 2*q - 9 = q, -5*m - 3*q = 11. Let g be (18/21)/(1/(-14)). Let f be ((-3)/g)/(6/(-8)). Do f and m have the same value?
False
Let j be (1 - 0)/(-1) + -3. Suppose 51*a - 47*a + 3*p + 9 = 0, -a - 26 = -4*p. Which is greater: a or j?
j
Let d = -11 + 1. Let q be d/(-25) + (-16)/(-10). Which is smaller: q or 3?
q
Let s be 3 + 6/((-2)/((-4)/(-3))). Is -49 <= s?
True
Let u be (15/(-2))/((-12)/72). Is 0.1 at least as big as u?
False
Let h(a) = -a + 11. Let q be h(7). Suppose 3*b - q = -13. Is b greater than or equal to -4?
True
Let g(w) = -w**3 + w**2 + 4*w. Let h be g(4). Let z be -1 - h/28*1. Which is smaller: -1 or z?
-1
Suppose 0 = 3*b + 4*r - 12, -3*b + 10 = -r - 2. Suppose -66 = b*g - 2*g. Let s be (-2)/(-3)*9/g. Does s = -1/3?
False
Let x = 15 - 10. Let w be x*((-88)/(-45) + -2). Is -1 > w?
False
Let z = 2/63 + 59/126. Is z less than or equal to -6?
False
Let p(y) = -4*y. Let t be p(-6). Let w be (t/(-80))/((-1)/(-2)). Is -1 greater than w?
False
Suppose -14 = v - 4*i - 0*i, 0 = i - 3. Suppose -2*w - 5*c - 7 - 4 = 0, -2*c - 17 = -w. Suppose -2*o + 10 = -w*o. Is o > v?
False
Let h = -33 - -33.09. Which is smaller: -2/5 or h?
-2/5
Suppose 19 = -3*l - 2*h, -2*l - 3*h + 4*h = 15. Is l < -7?
False
Let a = 31 - 36. Is 2 less than a?
False
Suppose 5*m - 3*m = -4. Let w be (m - -2)/(15/5). Is w less than 0?
False
Suppose 2*z - v + 1 = -1, -5*z = v - 9. Let u be (-2)/(2 - (z + -1)). Let b be (u/2)/1*0. Which is greater: -1 or b?
b
Suppose 0 = 5*h - 8 + 28. Let y be h/5*3/(-6). Let b = 1 + -1. Is y >= b?
True
Let g be 0/(-2 - 0)*1. Suppose 0 = 3*z - 6 - g. Let b be 1/4 + (-9)/(-28). Is b > z?
False
Let o(c) = c**3 - c**2 + c. Let y be o(1). Let j be y*((-3)/(-25))/(-3). Let v = j - 43/175. Is v bigger than 0?
False
Suppose -26 = -4*m - 4*c - 2, -4*m + 5*c + 15 = 0. Suppose m*l = l. Is 2 at most as big as l?
False
Let j = -0.3 - -0.2. Let n be (8/(-6))/(4/(-6)). Let g be n/6 + (-35)/42. Which is bigger: g or j?
j
Let z be 4*(-2 - (-15)/6). Suppose -5*m - 1 = -2*a - 3, 12 = z*m + 2*a. Which is bigger: 3/4 or m?
m
Suppose 3 - 54 = 4*d - g, g = 3*d + 39. Let x be d/(-7) - 0/(-1). Which is smaller: 2 or x?
x
Let y = -2.2 - -3.2. Which is greater: 0.6 or y?
y
Let s(h) = h - 17. Let y be s(21). Which is greater: y or 13/4?
y
Suppose -112 = 4*r - 0*r. Let p be (3/4)/((-7)/r). Is p smaller than 3?
False
Let w(g) = g**3 - 8*g**2 - 11*g + 13. Let c be w(9). Which is smaller: c or -3?
c
Let r be (125/10)/((-1)/2). Do r and -1 have different values?
True
Let t = -22.3 - -21. Let j = -1.2 - t. Does 6 = j?
False
Let f(a) = -a**2 + 7*a - 3. Let g be f(6). Is g at most 3?
True
Let r = -0.1 + 0.9. Let d = r - 0.7. Which is greater: d or 2/5?
2/5
Let h = 1.8 + 2.2. Let z = 8 + -13. Let f = z + h. Which is greater: 2 or f?
2
Let y = 0.86 + 0.14. Do -31 and y have different values?
True
Let g(a) = -4*a + 4. Let t be g(3). Le