h is smaller: 0 or j?
0
Let w = 1 - 0. Let v = w - 0. Let k = 599/3 + -198. Is v less than or equal to k?
True
Suppose 3*x = k + 1, 2 = 4*x - 3*k - 1. Which is smaller: x or -22?
-22
Let n be 2 - (-1 - (-1 + 1)). Suppose -2*u + n = -2*s + u, 0 = 5*u - 15. Let b be (2/(-8))/(s/4). Is b greater than 1?
False
Let d(g) = 4 - 7*g + 2*g + 2*g - g**2. Let x be d(-4). Which is greater: x or 2/3?
2/3
Let u = 85/132 + 1/44. Let a(c) = -c**2 - 4*c - 6. Let f be a(-4). Let k be (f/4)/((-6)/8). Is u < k?
True
Let t = 4 + -2. Suppose r - 2*r = -g, -t*r = -5*g + 9. Suppose 1 = g*i - 2. Are -0.2 and i non-equal?
True
Let a be 1/((-1)/2*-4). Let s = 0.12 + 0. Let m = s - 5.12. Is a at most m?
False
Suppose -2 = -4*g + 2*a, 3 = 2*g + 2*a - 1. Let f be (-2)/4*(2 - 0). Let j = g + f. Is j > -1/11?
True
Let v(y) = -2*y - 7. Let x be v(-5). Suppose -x*q - 4 = -4*l + 11, -4*q + 2*l - 10 = 0. Is q less than -1?
False
Let y = 5 + -9. Is y at least as big as -1/4?
False
Let s(q) = 2*q - 1. Let x be s(4). Let k be (-33)/x - 8/28. Let r be (-4)/10 - (-3)/k. Does r = -2/9?
False
Let s be 17502/112 - (2 - 0). Let k = s + -793/8. Let b = 3502/63 - k. Which is smaller: 0 or b?
0
Let s(v) = 5*v - 1. Let u be s(-2). Let y be (0 + 1)/(7/(539/(-7))). Is u bigger than y?
False
Let v = 0.38 - 0.38. Let r = -0.4 - -2.4. Let j = -1.8 + r. Which is smaller: v or j?
v
Suppose 2*y + 2 = -3*q, -3*q - q - 12 = -2*y. Let g be ((-15)/(-2))/(-3) - -2. Which is smaller: q or g?
q
Suppose -25 = 4*n - 9*n. Let q be 2/(-5) - (-27)/n. Suppose 1 - q = -4*g. Is 6/5 less than g?
False
Suppose -3 - 1 = -4*d. Suppose -v - 3*o + 8 = 0, 8 = v - 2*v + 5*o. Suppose 4*f + 2 = v*y - 0, -3*y - 3 = 0. Is f not equal to d?
True
Let r(p) = 2*p - 6. Let i be r(4). Suppose 0 = y + i*y. Let t = y - 0. Are t and -1 equal?
False
Let o = 218/3 - 72. Let c(y) = -2*y**2 + y + 1. Let z be c(-1). Let t be -1 + (4/z)/(-2). Is t not equal to o?
True
Let h = 1 - 1. Let i be 2/4*10/(-25). Is h less than i?
False
Suppose 2 = 2*n + c, 0 = 4*n - 4*c - 7 + 3. Suppose -2*w - 20 = -6*w. Suppose -4*i + w = n. Is -1/3 smaller than i?
True
Suppose 0*f = 4*f - 5*d - 21, 2*d = -f + 15. Let w = 11 + -1. Which is bigger: f or w?
w
Let y be 2/3 - 42/(-18). Suppose 5*l - 13 = 3*g, y*l - 5 - 6 = 5*g. Let t be 0/(-2)*(1 - l). Are t and -2 nonequal?
True
Suppose 3*o = -5*f + 14 + 7, f - 13 = -5*o. Let h be -1*(-1)/1*2. Let z = o + h. Are z and 4 unequal?
False
Let d = 1 + 0. Let z be d/(-2)*(9 - 3). Let j = -7 - -3. Is z bigger than j?
True
Let g be 0 + -1 + 2/3. Which is greater: g or 0?
0
Let g be (15/70)/(2/7). Is 3 != g?
True
Let y = 0.3 + -0.3. Let c = 4 + -3.9. Let k = y - c. Which is smaller: -0.2 or k?
-0.2
Let a = 1859/7 + -265. Which is smaller: a or 1?
a
Suppose -2*q + 5*z = -57, -3 = z - 0. Let b be 3 - (-1)/((-12)/q). Is 1 at most b?
True
Suppose 4*m + 514 = -2*g, 17*m = 19*m + 3*g + 247. Which is bigger: m or -130?
-130
Suppose -3*l = -2*l + 5. Let u = -4 - 1. Is l at least as big as u?
True
Let z(x) = -x - 5. Let h be z(-3). Let s be h - ((-7)/3 + 0). Let j be (1 - 2)*1*0. Which is smaller: j or s?
j
Suppose -v - 495 = -6*v. Let l be (-83)/9 - (-22)/v. Which is greater: -10 or l?
l
Let x = 50 - 21. Is x at least 29?
True
Suppose y + 9 = 3. Let c = y + 1. Which is smaller: 1 or c?
c
Let n = 1.6 + -1.61. Is 2/15 equal to n?
False
Let n(i) = -4*i**3 - i**2. Let a be (-1)/(-1)*5/(-5). Let m be n(a). Is 4 at least as big as m?
True
Let d = 2 + -21. Which is bigger: d or -2/9?
-2/9
Let z(a) = -5*a - 1. Let q be z(-3). Let g = -28 + q. Which is bigger: g or -13?
-13
Let s be 36/15 + 2/(-5). Let a = 2 - s. Which is bigger: a or 1?
1
Let u = 12 - 8. Is u bigger than 2?
True
Suppose 9 = -2*m + 11. Let q(n) = n**3 - n**2 + 1. Let h be q(1). Is h equal to m?
True
Suppose -11*t + 7*t - 72 = 0. Is -18 > t?
False
Let h = 2/69 - -65/138. Suppose -2*w + 4*b = 3*w - 18, 5*w - 5*b = 20. Suppose -m - 5*u = w*m - 13, 0 = -5*m + 3*u - 1. Which is greater: m or h?
m
Suppose 2*y - 3*y = 0. Which is smaller: 2/71 or y?
y
Let v be (4/6 - 1)*180/2730. Which is smaller: v or 1?
v
Suppose 7*v - 2*v + 3*g = 50, 4*g = -4*v + 48. Let o = -6 - -11. Which is greater: o or v?
v
Suppose 4*o - o - 3 = 0. Which is smaller: 2/27 or o?
2/27
Let u(j) = j + 1. Let n(b) = 36*b + 36. Let p(s) = 5*s + 5. Let t(y) = -2*n(y) + 15*p(y). Let a(q) = t(q) - 2*u(q). Let l be a(-3). Is -2 at most l?
True
Let s = -17/21 - -1/7. Let g be ((-4)/14)/((-1)/(-2)). Are g and s unequal?
True
Let l(d) = -6*d - 3. Let w be l(-2). Let x(v) = v**3 - 5*v**2 + v + 3. Let q be x(5). Which is smaller: q or w?
q
Let u = -6 - -4. Let i(v) = -v - 2. Let z be i(u). Suppose 3*m + 0*m + 9 = z. Which is smaller: -2 or m?
m
Suppose 0*w - 4*w - 80 = 0. Let d be 301/14 - (0 + (2 - 1)). Let t = w + d. Is t >= 0?
True
Let r be 5 + (-3 - (-4 + 2)). Suppose b = -r*b. Let h be 7/(-6) - (b + -1). Is -1 > h?
False
Let h = 20 - 22. Which is smaller: -1 or h?
h
Let c(r) = -r + 2. Let u be c(2). Let a be 10/15 - (-8)/(-4). Which is smaller: a or u?
a
Let l = -31 + 28.9. Let y = l + 1.1. Let m(v) = v**3 + 4*v**2 - 5*v - 1. Let c be m(-5). Is y < c?
False
Let y(t) = t**2. Let i be y(0). Let b be i/(2/(1 + 1)). Let g = 77/410 - -1/82. Which is bigger: g or b?
g
Let g(p) = p. Let d be g(-1). Let f be ((-3)/25)/(15/(-10)). Does f = d?
False
Let c(f) = -2*f**2 + 5*f + 2. Let r be c(4). Let s be ((-96)/(-60))/((-12)/r). Is 2 > s?
True
Let k be 4/6*(-9)/(-15). Which is greater: -1/21 or k?
k
Let j be ((-2)/(-4))/((-4)/(-72)). Let b be (-22 - -4)/(4/(-2)). Let d = j - b. Is -2/21 <= d?
True
Let z be 58/(-66) + 7/21. Is z bigger than -1?
True
Let w(s) = s**2 - 6*s + 1. Let c be w(6). Is 0 at most c?
True
Suppose 2*z = -0*z. Are z and 3/5 nonequal?
True
Let h(t) = t**3 - 7*t**2 + 8*t - 8. Let y be h(6). Suppose -l = y*l - 20, -4*q = -l + 4. Let r = q - -5. Is r less than 4?
False
Suppose -3*t = -5*f - 4, -5*f + 2*t - 12 = 3*t. Let c(j) = j**3 - 3*j**2 - 4*j - 4. Let b be c(4). Is b less than f?
True
Suppose 0 = 14*n - 25*n - 847. Is n greater than -77?
False
Let v = 5 - 3. Let x = v + 3. Let h be 0 + -1*1/1. Which is smaller: h or x?
h
Let w(l) = l**2 + l - 9. Let y be w(0). Which is greater: -8 or y?
-8
Let z = -0.1 - 0.03. Let t = z - 1.87. Is t at most -1?
True
Let x be (0 - -1)*(3 + -2). Let o be 3 - 0*(x - 0). Suppose u + 0*v = 5*v - 12, -4*v + 12 = 0. Is u <= o?
True
Let d(p) = p**3 + p**2 + p + 1. Let h be d(-1). Suppose t + h*t + 5 = 3*a, -25 = 2*a + 5*t. Let c = -3 + a. Which is bigger: -2 or c?
-2
Let i = 10.16 - 0.16. Let n = -4 + i. Let q = 4 - n. Are q and -0.1 nonequal?
True
Let m be (-1 - 1) + 2/1. Suppose 0 = 5*i - 2*l + 12, m + 2 = i + 4*l. Let q = 439/9 + -49. Is q smaller than i?
False
Let t = 6 + 6. Which is bigger: -1/3 or t?
t
Suppose 4*m + 2*b + 6 = 0, 3*m + b = 3*b + 6. Suppose 4*y + m*l = 4*l + 68, 2*y = l + 29. Suppose 7*p = 4*p - y. Which is smaller: -3 or p?
p
Let p(y) = 2*y**3 + y**2 + y + 1. Let z be p(-1). Is z greater than -1/30?
False
Let n = 0.87 + 0.13. Which is smaller: n or 4?
n
Suppose -3*r + 15 = 36. Suppose -2*c - 2*c - 4 = 0. Let t be ((-7)/2)/(c/(-2)). Is t bigger than r?
False
Let r = 0.5 + -7.5. Let i = -3 - r. Which is smaller: i or -0.1?
-0.1
Let b = 22 - 31. Is 0.1 at most b?
False
Let x(z) = -10*z + 2. Let b be x(2). Let o be 4*(b/(-8) - 1). Is 5 < o?
False
Let r = 6.4 - 7. Let g = r - -0.5. Do 1 and g have the same value?
False
Let g = -49/143 + -3/11. Which is greater: g or 0?
0
Suppose -p = -8 - 0. Suppose 5*t + 17 = 2*w - 11, 3*t = -6. Which is bigger: w or p?
w
Let m = 9 + -6. Let y = 7 - m. Suppose 5*l = -j + 7, -y*l + 6 = -0*l + j. Are l and -1 equal?
False
Let x be (2/6)/((-8)/48). Let u be x + 4*4/10. Is 1 bigger than u?
True
Let v be (2 + 2/(-4))*2. Let x = -12 + 14. Let a be 9/(-3)*(-2)/x. Is a at most v?
True
Suppose -y + 2*y - 37 = -4*w, 4*w - 3*y = 17. Which is smaller: w or 9?
w
Let s = 23 - 68/3. Let t be -3 - (38/(-66) - 2). Let g = t + 1/11. Which is bigger: g or s?
s
Let y(f) = -f**2 + 2. Let r be y(0). Suppose r*m + 30 = 4*a - 9*a, -3*m + 3*a - 3 = 0. Let v = -7 - m. Is v at most as big as -2?
True
Suppose -3*w + 9 = -3*v - 6, v - 5*w + 13 = 0. Let b be (12/(-18))/((-2)/v). Is 1 at most b?
False
Let l = 33 - 31. Let b be (0 - 1/(-5))*-2. Is b < l?
True
