 as 3?
True
Let k(i) = i - 2. Let h be k(-1). Let z be 2/(-1) + 1*-1. Do z and h have different values?
False
Let f = 52.046 + -0.046. Which is smaller: 0 or f?
0
Let s be 2/(-4)*6/(-2577). Let j = 1591/109093 + s. Let t = j - 139/762. Is -1 > t?
False
Let d = -9 - -10. Do -5/2 and d have different values?
True
Suppose 0 = z + 4*z - 120. Suppose -3*x - 4*k + 72 = 0, -z = -x + 4*k - 0*k. Let y be -3*(-2)/x - 0. Is -1 at most as big as y?
True
Let q = -15.967 + -0.033. Which is greater: -2/9 or q?
-2/9
Let v = -4 + 6. Suppose -5*l = -n - 4*n - 15, 0 = v*l - 4*n - 4. Let d be (l/(-20))/((-12)/(-15)). Is 1 < d?
False
Let n = 2.9 - 1.3. Let g = -3.5 + n. Let d = -2 - g. Which is smaller: 2/5 or d?
d
Let d = -376/9 - -42. Is 2 greater than d?
True
Let r be 0 - 1*1/2. Let o = 58 - 58. Is r bigger than o?
False
Let x(k) = -2*k + 1. Let s be x(9). Is s <= -17?
True
Let u(b) = -b + 4. Let h be u(4). Let l be (3 - 3) + 0 - h. Is 4/3 at most as big as l?
False
Let d be ((-1)/2)/(3/(-6)). Which is bigger: d or 0?
d
Let x(a) = 7*a + 5. Let f be x(-2). Let j(r) = -r**3 - 8*r**2 + 9*r. Let w be j(f). Is -2/19 less than or equal to w?
True
Suppose -2*h = 42 - 8. Which is smaller: -14 or h?
h
Let z = -70 + 74. Is z at most 8?
True
Let x be -82 + (4 - (16/(-4) + 5)). Are x and -80 unequal?
True
Let u = 4 + -4. Suppose 0*z + 4*z + 10 = 2*f, 3*z + 3 = u. Let y be (0 - -1) + 0 + 1. Which is smaller: f or y?
y
Let t = -12 - -18. Let k be 1/2 + (2 - 3). Which is greater: k or t?
t
Let y = -4/21 - -5/14. Which is bigger: y or -2?
y
Let j be 8/2*(-2)/(-60). Let z(h) = -h**3 - 13. Let n be z(0). Let d = 12 + n. Is j at least as big as d?
True
Let l(c) = 6*c - 2. Let g be l(-1). Which is bigger: g or -10?
g
Let d(b) = 2*b**2 + 2*b - 9. Let m be d(2). Let n(u) = u - 1. Let v be n(6). Suppose -25 = -5*g - v. Which is bigger: m or g?
g
Let j = -0.6 - -0.7. Let t = j - 0.2. Which is bigger: t or 0.4?
0.4
Let i = 13.04 - 13. Let c = i + -8.04. Is -1 smaller than c?
False
Let y = -17 + 3. Let v = y + 21. Let d = -10 + v. Which is smaller: d or -0.1?
d
Let h(j) = -5*j - 12 + 2*j - j + 2*j. Let q be h(-9). Let g be 5*(-1 - (-18)/10). Which is bigger: g or q?
q
Let y(h) = -h**2 - 7*h - 6. Let t be y(-6). Let b(s) = s**2 - 3*s - 1. Let i be b(3). Is i at least as big as t?
False
Let w = -6 + 8. Let x be w/6 + 25/(-21). Do x and -2 have different values?
True
Let o = 823/1457 - 22/47. Is 0 bigger than o?
False
Let r = 5 + -7. Which is bigger: -15/8 or r?
-15/8
Let s be 4/(-10) + 4/60. Does s = 1?
False
Let p = -122 - -124.02. Let r = 1 - p. Let s = r + 0.02. Which is bigger: s or 0?
0
Let r = 0.23 - 10.23. Let z = -11 - r. Is 1 bigger than z?
True
Suppose h - 4 = 5*h. Let c = h - -2. Is c less than or equal to 1?
True
Suppose -8 = 5*y + 3*r + r, 10 = -3*y - 5*r. Are y and 2 unequal?
True
Let b be 190/85 - (-2)/(-1). Suppose 4*s - d = 4*d + 11, -3*d - 10 = s. Which is bigger: b or s?
b
Let d = -15 - -14.1. Let v = 0.1 - d. Let i = -0.1 + 0. Which is bigger: v or i?
v
Let d = -0.32 + 0.12. Which is bigger: d or 2/5?
2/5
Let o(u) = -u + 4. Let h be o(6). Let a be ((-6)/4)/(h/(-20)). Let c be (-1)/(-6) - a/(-36). Which is smaller: c or 3?
c
Let q be (-6)/3*(-2)/4. Suppose -2*k = 2 - 0. Let m = k + q. Which is greater: 1/7 or m?
1/7
Let f = -0.2 + 0.2. Let t = -1506413/116 + 12986. Let c = t - -2/29. Which is bigger: c or f?
f
Let c(m) = m + 5. Let v be c(-5). Let i(u) = -u**3 + 6*u**2 - 5*u + 5. Let f be i(5). Suppose 0 = 5*g + f - v. Which is bigger: g or 3/10?
3/10
Suppose -24*k + 15*k + 729 = 0. Is 82 greater than or equal to k?
True
Let n = 26 - 25. Which is smaller: n or -2/9?
-2/9
Suppose 1 - 9 = 4*l. Let k be (-5)/1*(l + 3). Let y(t) = t**3 - 4*t**2 - 4. Let i be y(4). Which is smaller: i or k?
k
Let n(t) = t**2 + t. Let k(u) = 2*u**2 + 12*u - 3. Let s(v) = k(v) - 3*n(v). Let w be s(9). Suppose 7*m = 3*m - 16. Is w != m?
True
Let t(p) = p**3 + 8*p**2 - 10*p - 5. Suppose 2*k - 7 = y, 3*k - 41 = 5*y - k. Let u be t(y). Let n = -0.2 - -0.3. Is n less than u?
True
Let x = 81 + -90. Which is bigger: 0 or x?
0
Let y = -75 + 78.1. Let w = y - 3. Let q = -6 - -4. Which is greater: w or q?
w
Suppose -2*n - 5 = -15. Suppose d + 2*h = h - 4, -4*d - n*h = 17. Let j be -1 + (-6)/d - 2. Is 2 less than j?
False
Let g be ((-2)/(-258)*4)/(10/(-3)). Which is smaller: 1 or g?
g
Suppose -2*v - 32 = -5*m, 4*m - 13 - 10 = -v. Is 0 bigger than m?
False
Let g = -3/689 - 518/39273. Let l = g + -53/228. Suppose 4*p = 3 + 1. Which is smaller: p or l?
l
Let d be 0 + 0 - (-4)/(-37). Let r be (-12)/(-74)*(-19)/10. Let n = d - r. Which is smaller: 0 or n?
0
Let z = -2.3 - -2. Let h = 1.3 + z. Let t = -4 + 3.8. Is h < t?
False
Suppose -2 = -4*z + 30. Let u = z + -31/4. Which is smaller: u or 2?
u
Let m = -18 + 39. Let x = 21.1 - m. Do -1/4 and x have different values?
True
Let c(z) = z**3 + 13*z**2 - 14*z + 2. Let x be c(-14). Is 4/7 greater than or equal to x?
False
Suppose 4*q = -j - 20, j + 18 - 46 = 4*q. Which is bigger: q or -4?
-4
Let w = 14/187 - -1286/2805. Are w and 0 unequal?
True
Let o = 2.2 + -0.5. Which is greater: o or -0.2?
o
Let f = -30 - -31. Is 1 < f?
False
Let m = -2/33 - 56/165. Let u = -9.77 - 0.23. Is m smaller than u?
False
Suppose -p + 2 = 0, -3*p + 5 + 1 = -5*h. Which is bigger: 1/82 or h?
1/82
Let n = 2 - 1.9. Let u = 6.7 + -7. Is n at most u?
False
Let p = 116 + -347/3. Let b = 22/5 - 4. Is p greater than b?
False
Let l = 2 - 0. Suppose -4*x + 2*c = 2, -4*x + 15 = 3*c + l. Suppose -y - x = -g, -4*g + 3*g + 5 = -5*y. Does y = -1?
True
Let y = -13 + 27/2. Is -2 at most as big as y?
True
Let i be (51/(-12))/(2/8). Which is smaller: -18 or i?
-18
Let i be (0 - (2 - 2))*1. Let t = -32 + 30. Which is smaller: t or i?
t
Let h = 0.19 + 0.01. Which is smaller: h or 6?
h
Suppose -2*y = -5*c + y - 1, 0 = -c + 4*y + 10. Is c not equal to -16/13?
True
Let j = -2 - 11. Let w = 9 + j. Let x be 117/(-30) + (-4)/(-10). Is x less than w?
False
Suppose 0 = 2*p - 4 - 2. Suppose -4 - 5 = p*q. Is -3 <= q?
True
Suppose 0 = -3*l + 3, -3*s + 2*l = -4*s + 3. Let b be 2/(s*4/(-2)). Let v be (b + 12/9)*1. Which is bigger: v or -0.3?
v
Let h be 4/(-14) - (-24)/(-14). Let c be h/10 + (-22)/(-10). Suppose -3*o - 14 = 4*m, 6 = -c*o + 2. Is m <= -2?
True
Let x = -62/3 + 21. Is -2/15 at least x?
False
Let h = 2450 - 222948/91. Is -1 > h?
False
Let m = 8.6 - 8.54. Is 12/11 smaller than m?
False
Let j be (-1)/(-1) + (4 - 11). Let s = j + 6. Which is smaller: s or 1/11?
s
Let i be (-1 - 3)/(0 + -1). Suppose 2 = -2*m + i*b, b + b + 11 = 5*m. Suppose -p + m*a + 4 = 0, 4*a = 4*p + 2*a - 6. Is 2 equal to p?
False
Let o = 3/41 - -23/246. Is o bigger than -13?
True
Let j = 5.18 + -5. Let o = j - 0.08. Which is greater: -0.6 or o?
o
Suppose 0 = -i - i - 4. Suppose s - 4 = f, -3*f - s - 4*s + 4 = 0. Is i not equal to f?
False
Suppose -4*d = -5*d. Suppose 0 = h - 5 + 3. Is h less than d?
False
Let s = 4 + -3. Let g = -0.5 + 0.5. Let c = s + g. Is 3 > c?
True
Let d(j) = 3*j + 14. Let h be d(-7). Which is greater: h or -4?
-4
Suppose -4*s + 60 = -0*s. Is 18 greater than or equal to s?
True
Let k be (35/9 + 30/(-135))*3. Are k and 11 unequal?
False
Let b(d) = 3*d**3 - 7*d**2 + 2*d + 1. Let s(r) = -r**3 + r**2 + r. Let z(a) = -b(a) - 2*s(a). Let i be z(4). Which is bigger: i or -3/7?
-3/7
Let i = 19 + -55/3. Which is bigger: i or -2/87?
i
Let a = 44 - 43. Which is bigger: a or -31?
a
Suppose -4*t = t. Let x be 16/10 + (-6)/10. Let o = x + -4. Which is smaller: t or o?
o
Let x(u) = u - 11. Let i be x(9). Let a = 3 + i. Which is smaller: 2 or a?
a
Suppose 254 = 6*p - 208. Is 76 at least p?
False
Let c be ((-15)/(-99)*8)/((-4)/6). Which is bigger: -1 or c?
-1
Let p(o) = o + 2. Let x be p(2). Suppose -x*f - f = -20. Is f smaller than 4?
False
Let z be ((-9)/45)/(-1 + 14/10). Do 22 and z have the same value?
False
Let z = 2.01 - 2. Let s = z + -0.05. Let h = s - 0.06. Which is smaller: h or -1?
-1
Suppose 2*d + 2*d - 8 = 0. Suppose d*y + 6*u = 4*u + 18, 0 = -5*u + 25. Suppose y*v = 5*v. Which is smaller: 1 or v?
v
Suppose -w = -p, 8*w = -4*p + 3*w - 36. Let h be 2 + 9*(-20)/6. Let x = h + 24. Is x less than p?
False
Let c be 70/(-9) + (-12)/54. Is -8 bigger than c?
False
Let j(z) = -z. Let i be j(-6). Suppose 2 = -4*x + i. Is -1 at 