Is z smaller than f?
True
Let k = -399 - -1113. Let b be k/(-15) - 4/10. Let h be (8/b)/((-1)/(-4)). Is h > 0?
False
Let d be 6/18*183/(-8). Let o(m) = m**3 - 6*m**2 + m + 2. Let a be o(6). Let y = a + d. Which is greater: y or 1?
1
Let h = 0.01 - 0.31. Let t = -0.24 - h. Does -0.2 = t?
False
Let h(c) = 3*c**3 - c. Let x be h(1). Which is smaller: x or 3/2?
3/2
Let z = -4.4 - -0.4. Let p = z - -3.9. Which is smaller: 0 or p?
p
Let h be -2 - ((-3)/(-3) - -2). Let z = -5 - h. Which is smaller: -1/8 or z?
-1/8
Let b = 2.98 + 0.02. Let t = 0 + b. Let u = -4 + t. Is 0.1 at most u?
False
Let x(f) = -116*f**3 - f**2 + 2*f. Let g be x(-2). Suppose 0 = 3*o - o - g. Let p = o - 7818/17. Which is smaller: p or 1?
p
Suppose 10*w = 5*w + 10. Suppose w*a = -2 + 4. Is -1 less than a?
True
Let l be ((1 + 0)*-1)/(-1). Let o be ((-4)/(-8))/(2/4). Let q be 1 - (l - o/2). Which is smaller: 1 or q?
q
Suppose 5*x = 2*p - 33, 8*p + 5*x = 3*p - 5. Suppose -i = -p*i + 6. Let n be (-1)/(-4)*(1 + i). Which is smaller: n or 0?
0
Let h be 4 + (0 - 3) + 3. Is h at least as big as 5?
False
Let k be (-5 - -2 - -1)*-1. Let z be -4 - (k/(-1) + -1). Is -1/3 < z?
False
Let q(x) = x**3 - 6*x**2 + 4*x + 5. Let v be q(5). Let u = 77/3 + -853/33. Is v bigger than u?
True
Let d(f) = f**3 + 10*f**2 - f - 10. Let c be d(-10). Let z(a) = -a**2 + a + 4. Let l be z(c). Let o be (-6)/15 - 34/(-10). Which is greater: o or l?
l
Let r(h) = h**2 - 3*h. Let q be r(4). Suppose -24 = q*j - 4*i, 0 = 5*j + 4*i - 0 - 6. Which is greater: -1 or j?
-1
Suppose 3*z + 5 = -2*u, -u + 4*z + 3 + 0 = 0. Which is greater: u or 1?
1
Let h be (-1 - 3/9)*(-33)/(-14). Do -2 and h have different values?
True
Let h = 80 - 74.9. Let l = -18 + 13. Let v = h + l. Which is smaller: 4 or v?
v
Let k = 8066 - 121046/15. Let h = k - -17/5. Which is smaller: h or 1?
h
Let f be (2 - 0)*(-1)/4. Which is greater: f or -0.4?
-0.4
Let n be -2 + (2 - -1) + -1. Suppose -3*f - f = n. Which is smaller: -0.2 or f?
-0.2
Let b = -517.1 - -494. Let r = 17 + b. Let z = -6 - r. Do z and 1/4 have different values?
True
Let f = -170 - -169. Which is smaller: f or -3/134?
f
Suppose -3*h - 18 - 2 = 5*n, -2*h - 11 = n. Let c be 20/(-12) - (-4)/6. Let f be (4/(-10))/(1 - c). Which is smaller: n or f?
n
Let i be ((-3)/(-3))/((-2)/(-28)). Let h be (-18)/6 + 38/i. Is -1 < h?
True
Let t = 4 - 0. Let w be (30/24)/(1/4). Suppose -k = -7*m + t*m + 5, -10 = w*k. Which is greater: 1/14 or m?
m
Suppose -3*p - b = -6*b + 15, 0 = -2*b. Let l be 2*p/(10/(-7)). Is 7 at most as big as l?
True
Let j = 21 + -62/3. Is j greater than 1?
False
Let f(r) = r**3 + r**2 - 3*r - 2. Let b be f(-2). Which is smaller: b or 1/114?
b
Let h = 8 + -49. Which is greater: h or -40?
-40
Let b(v) = 2*v**2 - 6*v - 1. Let s be b(2). Is s != -13?
True
Let w = 6 - 7. Which is bigger: -4/23 or w?
-4/23
Suppose 15 = -5*p, -45 = 4*f + 2*p - 7. Let x = f - -8. Is -1/4 smaller than x?
True
Suppose -4*z = -3*z - 2, 3*u + 22 = 2*z. Which is smaller: u or -7?
-7
Suppose l + 7 = w, 0 = -4*w - 3*l + 4*l + 19. Let a = w + -5. Let y(g) = g - 5. Let s be y(4). Is s greater than or equal to a?
True
Let o be 0 + (-2 + 0)*3. Suppose 5*y + q = 23, 2*y - 18 = -0*y + 4*q. Let m be (2 + 0 + -3)*y. Is o > m?
False
Let i(j) = j + 20. Let x be i(-10). Are 10 and x non-equal?
False
Let t(b) = -37*b**2 + 2*b. Let q be t(2). Let o be 38/9 - (-32)/q. Suppose -5*m + 35 = 4*p, -m = -0*p - 3*p + 12. Is o < m?
False
Let h be 1/(-2 - (-44)/8). Let t = -3 - -4. Is t at least as big as h?
True
Let c = 64/3 - 22. Let v = -16 + 16. Are c and v nonequal?
True
Let v(i) = -6*i - 3. Let b be v(-1). Is 4 at most as big as b?
False
Let x be 128/12*(-42)/4. Let w be (-46)/x + 6/(-21). Is -1 smaller than w?
True
Let v(y) = -3*y + 4. Let p(w) = w**2 + 5*w - 7. Let g(o) = -3*p(o) - 5*v(o). Let a be g(-1). Let b(f) = f - 5. Let d be b(2). Which is bigger: a or d?
a
Let h = 20 - 20.2. Which is greater: h or -2/11?
-2/11
Suppose -15 = -a - 3*o, -a + 2*a = -5*o + 23. Let t be a/(-2)*2/3. Which is smaller: 10 or t?
t
Suppose -2*c + 5*c = 0. Suppose c = -3*a - 4*x - 1, a - 5*x = -10*x - 4. Is a greater than -1?
True
Suppose 646 = -0*w + 2*w. Let d be (-6)/(-12) - w/2. Let r = d - -2413/15. Which is smaller: r or -1?
-1
Let s = -138/175 - 2/175. Which is smaller: s or 3?
s
Suppose 3*n = 6*n - 15. Are n and 2 equal?
False
Let s = -35 + 35. Let v = 3 - 1. Which is greater: v or s?
v
Let b be 0 + (-1)/((-7)/(-3)). Let n be -4 + (-1)/(-1) + (2 - -1). Do b and n have the same value?
False
Let m = -19 + 227/12. Which is greater: m or 0?
0
Let k = -385/2418 + 1/186. Let l(y) = -y**2 - 7*y. Let g be l(-7). Is g at most k?
False
Let g = 0.003 - 0.035. Which is smaller: g or -0.1?
-0.1
Let m(h) = h**2 - 9*h - 13. Let k be m(6). Let v be k/35 - (-3)/5. Which is smaller: 5/2 or v?
v
Let t = 13 + -8. Let z = 5 - t. Suppose z*k = 3*k + 9. Is -5/2 <= k?
False
Let s = 12 + -10. Is s at least 3/5?
True
Let z(g) = -g**2 + 2*g - 1. Let y be z(1). Suppose y = 3*a + a. Do -3/4 and a have different values?
True
Let o = -3.94 - 0.06. Let r = o + 3. Let k = -20/57 + 14/57. Which is smaller: r or k?
r
Suppose 0*j + 15 = -3*j. Is j at least as big as 0.2?
False
Let n = -1/64 + 17/64. Suppose 2*q = 5*a - 5, 0*q - 5*a = 4*q - 5. Is q != n?
True
Let r = 9 + -6. Suppose -5 = -r*j - 2*n, -3 = 2*j + 5*n + 12. Which is greater: 0 or j?
j
Let o = -0.1 + -4.9. Let c = o - -5.2. Is c bigger than -0.1?
True
Let t = -3 - -3.05. Let h = -0.05 + t. Which is greater: -0.2 or h?
h
Suppose -3*i + 5*c + 23 = i, c = i - 5. Let f be (3/3)/(i/(-30)). Which is bigger: -16 or f?
f
Suppose 0 = r + 4*d + 13, -4*r - 2*d + 7 = r. Suppose 0 = -4*j - r - 5. Let a be 2/(1 + (0 - 2)). Is j at least as big as a?
True
Let j = -0.49 + -0.01. Let s = -57 - -173/3. Which is greater: j or s?
s
Let n = 1649/22 - 75. Is 0 greater than n?
True
Let x = -0.15 + -0.75. Let w = 0.1 - x. Which is greater: w or 5?
5
Suppose -3*d = -12, 3*d - 4 = -6*j + 4*j. Is -1 at least as big as j?
True
Let c = 2 + -1. Let f = -1 - c. Let l be (-4)/f + 0 + -2. Which is smaller: 2/15 or l?
l
Let w be (-115)/15*(0 - -3). Let z = w - 127. Let i = z - -1047/7. Which is bigger: 0 or i?
0
Let c = -14.9 - -1.9. Let u = c - -12.7. Which is bigger: u or 2?
2
Let f(n) = 54*n - 33. Let q be f(3). Is q equal to 129?
True
Let l(z) = -z + 8. Let p be l(10). Let o be (1/p)/(4/10). Which is greater: o or -1?
-1
Let k be (-1 - -5) + -2 + -4. Let c = k + 3. Let m be (1 + (-7)/6)*1. Is m at least c?
False
Suppose 0 = 4*c + 1 - 5. Let g = -35 + 38. Which is greater: c or g?
g
Let a = -6 + 8. Let z = -5 - 0. Let l = 8 + z. Is l equal to a?
False
Suppose -4*u + 40 = -0. Suppose 0*c = -5*c - u. Is -2/19 less than c?
False
Let p be (-96)/(-306)*6/(-4). Let y = p - -156/187. Which is smaller: 1 or y?
y
Let d be (((-4)/16)/(-1))/(66/(-16)). Are d and 0 unequal?
True
Suppose 4*i + 36 = 2*b, 0*i + 6 = b + 2*i. Suppose -4*r = -r + b. Suppose -4*j - 20 + 4 = 0. Is r greater than j?
False
Let x = 177 - 176.88. Is x at least 2?
False
Suppose 3*k = -k + 4. Let r(j) = j**2 + j - 2. Let p = -14 + 15. Let g be r(p). Which is bigger: g or k?
k
Let f(l) = -2*l + 15. Let s(t) = t - 8. Let k(h) = -6*f(h) - 11*s(h). Let g be k(2). Let m be (g/(1 - -2))/1. Which is bigger: -2/3 or m?
m
Let j = -0.05 + 0.11. Let z = -0.04 - j. Are -7 and z equal?
False
Let r = -6663399/91 - -73227. Let l = -48/13 + r. Is l at least as big as 0?
False
Let t = -2 + 2. Let o = -13 + 10. Let h = 4 + o. Is h != t?
True
Let f = -21 - -35. Does 15 = f?
False
Let s = -3013/4680 + 53/72. Let u = -4/13 - s. Which is smaller: u or 2?
u
Let o = -0.2 - -3.2. Which is smaller: 1 or o?
1
Suppose 0 = 5*w - 0*w. Let n = w + 6. Is n bigger than 4?
True
Let d be (-3)/6*(-18)/39. Let n be ((-5)/(-15))/(2/(-6)). Which is greater: n or d?
d
Let d = 30 + -30. Is d less than or equal to 1/46?
True
Let s = -13.73 + 0.73. Which is bigger: s or -2?
-2
Let x(o) = -1 + 2*o + 3 - 1 + 0. Let c be x(1). Which is smaller: 5 or c?
c
Suppose 2 - 5 = n. Let p be -2 + 8 + n - 2. Is p greater than 0?
True
Let d be 16/(-96) - (-2)/12. Is d <= -24?
False
Let g be 1*3/(-12)*3. Which is smaller: 4 or g?
g
Suppose 5*r - 18 - 11 = k, 18 = 2*r - 2*k. Suppose 3 = -3*o - 2*p, -6 = r*o - 2*p - 1. Which is smaller: -4/5 o