h is bigger: 0 or h?
h
Let j(q) = 3*q + 14. Let f be j(-6). Let u be f*((-2)/20)/1. Does -0.06 = u?
False
Let d = 3.958 + 0.042. Is -1/3 < d?
True
Let s = 0.06 + -0.56. Let w = -0.4 - s. Which is smaller: w or -3?
-3
Let q be (6/(-4))/(1 - 3). Let w be 2*(-1)/(-2) + 0. Which is greater: q or w?
w
Suppose 2*z + 11 = 5. Let l be (2 - 3)*(z - -3). Does l = 2/5?
False
Suppose d = 2*p - 3, -2*d - p + 8 = 2*p. Is 1/2 > d?
False
Let v(w) = w**3 - w**2 - 347. Let k(h) = h**2 - 7*h. Let x be k(7). Let s be v(x). Let t = s + 6595/19. Is 1 equal to t?
False
Let i = 5 + -3. Let v = 3 - i. Let j = 0.9 - 0.7. Are v and j equal?
False
Let w(m) = -m**2 - 4*m + 8. Let l be w(-6). Which is smaller: l or 0?
l
Suppose -m = 4, -2*o - 2*m - 22 = -2. Suppose -h - 1 = -2. Suppose -2*c + 5*i = -h - 0, 5*c + 3*i = -44. Is o equal to c?
False
Let p = -0.9 + 0.8. Suppose -2 + 6 = -4*m. Which is greater: p or m?
p
Let v = -45 + 17. Let d be 7/v + 54/88. Which is bigger: 0 or d?
d
Let h = 13.03 + -13. Is h smaller than -0.1?
False
Let i = -81/5 - -749/45. Let q = 1/18 + i. Are -0.1 and q equal?
False
Let f = -15 - -39. Let x be (-4)/14 - f/14. Is 0 greater than x?
True
Suppose -2 + 10 = -2*s. Which is smaller: 0 or s?
s
Let v(g) = -1. Let f(w) = w**2 + 3*w + 6. Let j(a) = -f(a) - v(a). Let p be j(-4). Let u be 1/3*p/6. Which is bigger: u or -2?
u
Suppose 2*d = -2 + 8. Is d <= 8?
True
Let k be (-10)/15*3/17. Is 0 smaller than k?
False
Let p be 8*(63/4)/(-3). Let k be 1/2 - (-17)/p. Is k less than or equal to 1?
True
Let m be 51*3/(-60) + 2. Let w = -4/5 - m. Which is greater: -1 or w?
w
Let t = 9 + -6. Let q = 0 - 0. Suppose q = 4*z + t - 7. Which is smaller: 3 or z?
z
Let u = -8 - -26/3. Let f be (-4)/(-5)*10/4. Which is smaller: f or u?
u
Suppose -4*v = 5*r + 14, v + 11 = -4*r - 2*v. Let m = -8 + 8.2. Is m not equal to r?
True
Let h = -3 + 2.4. Let o = h - 1.4. Let z = 0.2 + -0.3. Which is smaller: z or o?
o
Let j = -6 + 8. Suppose -7*k = -j*k. Is k greater than or equal to -1?
True
Let g = 1 + 3. Suppose 0 = -a, 0 = 4*j - 4*a + 1 + 3. Is g <= j?
False
Suppose 0 = -4*x - 5*g + 17, 0 = -4*x - g - 3*g + 16. Suppose 3*s = 6, v - 6 = -x*v - s. Which is greater: -2/5 or v?
v
Let l = -0.79 - 0.01. Let x = l - 2.2. Is x at most as big as 2/23?
True
Suppose -6*p = -268 - 8. Is 45 <= p?
True
Let r(o) = -o - 9. Let h be 1/(2/2)*8. Suppose 0 = -2*n - h - 8. Let t be r(n). Which is bigger: 1/4 or t?
1/4
Let m = -130 + 1952/15. Which is smaller: m or 0?
0
Suppose -3*x + 23 = 4*r, -4*r = -9*r - x + 15. Suppose 3*j = r*p + 5 + 1, 4*j = -p - 3. Suppose j = 2*b + 2*b + 12. Is b greater than 1?
False
Let s = 69/4 - 19. Let v(k) = -k**3 + 3*k**2 + 4*k - 3. Let l be v(4). Does s = l?
False
Let y = -32 - -33. Which is bigger: 3/19 or y?
y
Suppose 0 = -4*f - 5 + 9. Which is smaller: f or 1/2?
1/2
Let l = 1.8 - 1.7. Which is bigger: l or -1?
l
Let q = 8 - 5. Let x(p) = p**2 - 10*p + 9. Let i be x(9). Let o = i + q. Which is smaller: o or 4?
o
Suppose 8*m - 2*l - 6 = 3*m, 0 = -2*m - l + 6. Which is smaller: m or 22/9?
m
Let u be 1 + 26/12 + -3. Let z = 4 + -3. Which is smaller: z or u?
u
Suppose -4 = s + t + 1, 3*s - 5*t + 31 = 0. Is -6 not equal to s?
True
Suppose 0 = -8*h + 6*h + 22. Let s = 31/3 - h. Is s equal to -1?
False
Suppose -5*b - 20 = -6*u + u, b + 4 = -u. Suppose -15 = -5*s - 2*p + 7*p, s + 5*p + 15 = 0. Is u equal to s?
True
Let s = 8 - 4. Suppose -2*a + 10 = -3*v + 3*a, 2*a - s = -3*v. Let n = 2 - 5. Is v greater than n?
True
Let v be 2 + -3 - 14/10. Are v and -1 unequal?
True
Let c = 7 - 8. Let a = -1.3 - c. Is -2/5 at most a?
True
Let r(y) = -y - 18. Let x be r(-13). Suppose -1 = -c - h - 4*h, -4*c + 28 = -4*h. Let o be ((-4)/(-6))/((-4)/c). Is x less than or equal to o?
True
Let g = -1.4 + 0.6. Which is bigger: g or -0.1?
-0.1
Let s = -5 - -7. Suppose s*c + c = 12. Suppose 18 + 6 = c*i. Is i greater than or equal to 6?
True
Let j be 0 + 3 + 1 - 2. Which is greater: -2/3 or j?
j
Suppose -3*d - 46 = 2*u, -4*d - 3*u - 66 = 2*u. Let s be d*((-5)/(-2) + -3). Let z(r) = 2*r**2 - 1. Let c be z(-2). Is s greater than c?
False
Suppose -s = 6 - 15. Let l be (12/10)/((-18)/s). Let m = -2 + 0. Which is smaller: l or m?
m
Let w(z) = z**2 + 4*z - 3. Let n be 5*(24/(-15))/4. Let t(o) = 6*o**2 + 19*o - 16. Let i(a) = n*t(a) + 11*w(a). Let d be i(6). Is d equal to 0?
False
Let u = -7 - -7.4. Let d = 0.1 - u. Let s = -104/3 - -35. Do s and d have the same value?
False
Suppose -f + 1 = -0*f. Let c be 61/(-4) + f/4. Let x be (-3)/9 - 2/c. Is x greater than 1?
False
Let s be -4 - -3 - 2 - 7. Let d be (-8)/s - (-10)/(-25). Which is greater: d or -12?
d
Suppose -3*c - 560 = -5*p - 0*c, -3*c = -2*p + 224. Is 112 bigger than p?
False
Suppose -4 = d + 2*d - s, 4*d = 4*s - 16. Suppose -o + 3 = 2*o. Let h = -3 + o. Is d smaller than h?
False
Let b = 0.35 - 0.3. Let n = -28/3 + 9. Is n at least b?
False
Let y = -2/95 + 109/665. Let w be (-2 + -6)*2/(-4). Suppose 4*l = 8 - w. Is l <= y?
False
Suppose -4*s = -k - 3*s - 9, -8 = 4*k + 3*s. Let u(n) = -2*n - 4. Let c be u(k). Suppose -m + 27 = -5*y, -2*m = -c*m - y + 3. Do m and 2 have different values?
False
Let k(p) = p**3 - 10*p**2 - 10*p - 9. Let h be k(11). Is h bigger than 0.09?
True
Let x be (-135)/(-20) - (-2)/8. Let o be 10 + -6 + x/2. Which is smaller: o or 8?
o
Let n(g) = g**2 - 8*g + 7. Let a be n(8). Do a and 7 have different values?
False
Let m = -16.9 - -16. Let z = 0.2 - 0.3. Let t = z + m. Is t >= 0?
False
Let s be 6/(-21)*(-7)/5. Let o = -4.4 + 2.2. Let z = 2 + o. Is s > z?
True
Let q(f) = -2*f - 3. Let r(y) = 3*y + 6. Let a(p) = 5*q(p) + 3*r(p). Let c be a(2). Which is bigger: c or -2/103?
c
Let i = 40 - 39. Which is greater: i or 4?
4
Let g(l) = l + 7. Let p be g(-5). Let b = 0 + p. Suppose -s = -j + 3, b*j = -j - 2*s + 4. Is 0 at most j?
True
Suppose 2*a - 2 = -4*u - 8, -3*u = -3*a. Let s be (-1)/(-2 - -1) + 4. Let h be 2/5 - 12/s. Is h at least as big as u?
False
Let u = -0.37 - -0.17. Which is greater: -3 or u?
u
Let g = 0.4 - -1.2. Let i = g + -14.6. Which is smaller: 0 or i?
i
Suppose 5*g + 8 + 37 = 0. Let v = -10 + 11. Let r = g + v. Is r at most as big as -7?
True
Suppose l - 161 = -41. Let n be l/(-28) + (-4)/(-14). Is -4 != n?
False
Let j(c) = c**3 + c**2 - 3*c - 3. Suppose -5*r + 0*r = -l, 4*l - 3*r = 0. Suppose -x - 4 + 2 = l. Let q be j(x). Is q bigger than 0?
False
Suppose 5*a = -2*j - 0*j + 27, 0 = -5*j + 4*a - 15. Suppose 5*g + 3*i = -124, 4*i - 66 - 72 = 5*g. Let m be 30/g - 3/(-3). Are m and j nonequal?
True
Let v(p) = p**3 + 5*p**2 + 2. Let q be v(-5). Suppose -q*g + 1 = -1. Is 5/6 bigger than g?
False
Let b = -1.03 - -0.03. Let a = 0.9 + b. Which is smaller: a or -2?
-2
Let k = -27 - -24. Let f be ((-2)/k)/((-8)/6). Is 10/3 equal to f?
False
Let q = -88/63 - -10/9. Which is smaller: 30 or q?
q
Let z(a) = 7*a**3 - a**2 - a + 1. Let h be z(1). Let u be (-62)/22 - h/33. Let n be (2 - (-9)/u)*0. Are n and -0.4 equal?
False
Let m = 6 + -5. Let v be 0/(-3 + m + 4). Which is smaller: v or -0.01?
-0.01
Suppose -t + 9 = -3*t - 5*l, t + 2*l = -2. Let f(x) = -x**2 - 6*x + 0*x**2 - x**3 + t*x**2 + 1. Let j be f(6). Is j at most -0.1?
False
Let a be 2 + 1 + (-55)/15. Which is smaller: 0.03 or a?
a
Let c = 3 + -21. Let z = 37/2 + c. Let n = 1/21 + -23/42. Which is bigger: z or n?
z
Let x be (0 + (-7)/(-35))/((-96)/(-10)). Is -1 greater than x?
False
Let r = -21 - -21. Which is greater: 1/29 or r?
1/29
Let m be 9/(-11) - (-20)/(-110). Which is smaller: m or -2/137?
m
Let v(t) = -t**3 - t**2. Let l be v(0). Suppose 4*s + l*z + 4*z = 0, -2*s + 4*z = 0. Which is smaller: s or 3/7?
s
Suppose 1 = o - 2*o. Which is smaller: o or 0?
o
Let s = 3 + -3. Let d be (5 + -1)*1/5. Let l = d + -3/10. Is s greater than l?
False
Suppose 4 + 2 = -2*x. Which is greater: x or -2?
-2
Let z = -8 - -7. Is -4/25 > z?
True
Let z(i) = i. Let j be z(0). Suppose -5*x + 56 = -3*x. Let s be (4/(-10))/(x/(-20)). Which is bigger: j or s?
s
Let d be 1 + -1 - -2*2. Let z be (-45)/(-27)*d/70. Is 1 greater than z?
True
Let i = -7 - -5.5. Let r = -8.5 - i. Let u = -9 - r. Which is smaller: u or 0?
u
Let w = 87 - 82. Does w = 2?
False
Let v = 5 - 7. Let q be -6*3/(-6) + -4. Which is smaller: v or q?
v
Let f(d) = -d**3 + d**2 - d - 16. Let a(x) = -3. Let y(w) = 11*a(w) - 