
Let k be (-160)/36*6/(-4). Let w = -7 + k. Is w bigger than 2/7?
False
Suppose 4*f + y = 34, f - 5*y = 21 - 2. Suppose 3*s + 2*z = 4*z + f, s + 7 = 4*z. Suppose s*a + 4*g - 6 = 0, 5*a - 2 + 0 = -3*g. Is -3/2 >= a?
True
Let m = -4804/1719 + -18/191. Let x = m - -20/9. Let j = 1.2 - 2.2. Which is smaller: x or j?
j
Suppose -2*b = 8, -3*h + 2*h = -4*b - 51. Are 36 and h nonequal?
True
Suppose m = -m - 12. Let g be (-4)/m + (-96)/36. Which is smaller: g or -4/7?
g
Suppose -3*z + 18 = 3. Let g be 3 - 1 - z/3. Let i = -0.11 - 0.19. Is i equal to g?
False
Suppose 5 = 3*w - 2*w. Suppose 0 = -3*t - 5*j - 3, -5*t - 5 = w*j - j. Is t <= -2/37?
True
Let b = 76 + -455/6. Is b equal to -2/5?
False
Let n = -0.1 + 0.1. Let h be 3 + -1 + 8/(-5). Is h less than n?
False
Let d be (-122)/18 - 6/27. Let o(p) = -p - 3. Let r be o(d). Suppose r*u = 2*n - 12, n + 4*u = -n - 12. Is 4/7 smaller than n?
False
Suppose -a = f + 2*f + 19, -4*f + a - 37 = 0. Let c = f - -4. Let x(w) = -w**2 - 5*w - 4. Let h be x(c). Are 1/9 and h equal?
False
Let d(t) = -t**3 + 5*t**2 - 8*t + 5. Let m be d(5). Let h be (-2)/(-195)*m/(-112). Let x = 1241/2184 + h. Is 0 greater than or equal to x?
False
Let m(r) = -r + 2. Let j be m(6). Let o be -1 + j/(-16) - -2. Is 0 > o?
False
Let j be -3 - -4 - (-4)/(-10). Does j = 2?
False
Let r = -44/69 + -2/69. Which is bigger: r or 0?
0
Let a(y) = y**2 - 3*y - 5. Let v be a(4). Which is greater: -1/8 or v?
-1/8
Let u = -0.1279 - 5.8821. Let i = 0.01 + u. Let c = -6.1 - i. Which is smaller: -5 or c?
-5
Let l = -2 - -1. Let p be 1*(4/(-40) + 0). Which is smaller: l or p?
l
Let y be 1/(-1) - (-501)/(-252). Let q = y - -29/12. Which is greater: -1 or q?
q
Let b = 362/143 - 40/13. Let r be (4/(-6))/(2/6). Which is bigger: b or r?
b
Let i = -0.936 - 0.064. Is i less than or equal to -48?
False
Let v = 66737/68304 - -3/1423. Let f = v - 5/16. Is f < 2?
True
Let y = 2561582/45 - 56920. Let l = y + -34/9. Which is smaller: -1 or l?
-1
Let t(a) = -2*a - 8. Let q be t(-10). Let w(n) = -n - 3. Let y be w(-3). Suppose y = 2*l + l - q. Is l equal to 4?
True
Suppose -53 = -5*f + 3*z, -2 = 2*z - 0. Let q be (-4 + 3)*2/f. Is q < -6?
False
Suppose 1 - 1 = 5*s. Let t = 4 + -7. Let w be (-2 - t)/(-10 - -1). Which is bigger: w or s?
s
Let u(l) = l**2 - 6*l. Let f be u(6). Let n = f + -2. Let g be (-2 - -4) + (n - 2). Is g equal to -3?
False
Let a = -63 + 75. Which is smaller: a or 11?
11
Let v be 3/((-15)/12 + 2). Suppose 0 = -v*b + 5 - 1. Is 2 less than or equal to b?
False
Let n = -59/378 - 2/189. Is n equal to -2?
False
Let j be (-1)/2 - 27/(-6). Let v be (-22)/(-24) - 2/j. Does v = 1?
False
Let l be (-2)/18 + 3 + 116/(-36). Which is greater: l or -38?
l
Let t be (-28)/(-21) + 5 - 8. Let l = -4 - -2. Is t <= l?
False
Let y be (-61)/9 - (-10)/(-45). Let j = 4 + y. Let f = -0.3 - -1.3. Is f smaller than j?
False
Let k(z) = 9*z + 4. Let v be k(-3). Let x = v + 89/4. Let c = 3 - 5. Which is smaller: c or x?
c
Let m = -32/187 - -6/17. Let n(j) = j**2 + 4*j - 11. Let p be n(-6). Which is bigger: p or m?
p
Let d(s) = -s**2 + 5*s - 2. Let y be d(5). Suppose 5*n = 5*i - 15, n + 4*i = 2*n + 9. Which is smaller: n or y?
y
Let j be 1 - -1 - (-951)/(-476). Let q = 971/9044 - j. Let z = q - 27/76. Do -1 and z have different values?
True
Let v = 0.02 - 4.02. Let p = v + 5. Let s be (-2 + 5)*(-8)/(-6). Which is smaller: p or s?
p
Let b = 129 + -135.1. Let f = 6 + b. Suppose -3*a + 2*a + l = -4, 0 = -l - 5. Which is smaller: a or f?
a
Let r = -1909 + 13389/7. Let b = r + -64/21. Is 0 > b?
False
Let c = -0.86 - 0.14. Is 1 < c?
False
Suppose 0 = -2*g + 2*y, 5*y + 2 = g + 6. Let a = 5 - 10. Let r be ((2/a)/2)/(-1). Is g smaller than r?
False
Let x = -5 + 7. Let j be (0/2)/(x*1). Suppose 0 = -24*n + 318 - 462. Which is greater: j or n?
j
Suppose -6*g - 18 = -0*g. Which is bigger: -5 or g?
g
Let a be (-1*(-2)/(-20))/((-27)/162). Which is smaller: a or 2?
a
Suppose 3*s = 2*s + 4. Suppose -s*i - 3*p + 5 = 0, p = -2*i + 5*i + 6. Is -2 > i?
False
Suppose 2*r + 2*r - 18 = -2*b, 3*b = 4*r - 33. Let c be (-4 + -11)/(r/4). Which is smaller: -8 or c?
c
Let v = 16/5 - 246/55. Is v >= 0?
False
Suppose 6*u - 4 = -2*c + 4*u, -c - 4 = -5*u. Which is smaller: c or 3/5?
3/5
Let f = -17 + 18. Let p = 0 + -22. Are f and p nonequal?
True
Let t = -0.031 + -0.069. Is t at least as big as -21?
True
Suppose 4*y = 8*y. Which is smaller: y or 1?
y
Suppose -135 = 14*z - 5*z. Which is bigger: z or -14?
-14
Let b = -10 + 10.2. Which is greater: b or 0?
b
Let f(w) = w**2 + w - 1. Let j be f(2). Suppose -u = j*o + 28, u + o = -5 - 3. Is u less than -0.1?
True
Let h = -2 + 0. Let o = 4 + h. Let d = -2 - -5. Which is greater: o or d?
d
Let j = 39 + -39.33. Let g = -0.4 + 0.7. Let n = g + j. Which is bigger: n or 0.1?
0.1
Suppose -2*s + 135 = 5*n, 10*s + 5*n + 285 = 14*s. Is s at most as big as 71?
True
Suppose 4*d - 59 = -23. Suppose -2*m + 13 + 9 = 0. Which is smaller: m or d?
d
Let h(c) = 9*c**3 - c**2 - c. Let v be h(-1). Let s be 2/(2 + v/6). Suppose -2*t = -s*t. Is -2 <= t?
True
Let z(d) = -d**3 + 3*d**2 - d - 2. Let j be z(2). Is j smaller than 0.27?
True
Let z = 4 - 3. Let k = 2237/7 + -319. Is z at least as big as k?
True
Let r(i) = 2*i + 10. Let y be r(-7). Let u = y + 0. Let v = -5 - u. Is v greater than -1/2?
False
Let v = 1 - -1. Suppose v*g + 3 = -g. Is -1/7 <= g?
False
Let r be (-10)/(-1)*(-3 - -2). Let h = r - -15. Is h at most as big as 5?
True
Suppose 0 = 3*j - 3 + 6. Let w = 2 + j. Let c = 39/385 + -1/165. Is c greater than w?
False
Let j = -4 - -6. Let k = -1.9 + j. Let p = 1.9 + k. Is 0.1 less than p?
True
Let y(x) = x**2 - 11*x - 14. Let c = 37 + -25. Let p be y(c). Is -2 bigger than p?
False
Let z be (-165)/(-2)*(-3)/(-3). Let k = 81 - z. Is k at most -2?
False
Let i = 15.9 - 16. Is i at least 1?
False
Suppose 0 = -0*w + 3*w. Suppose x + 26 = -3*v - 3*x, -5*x = -2*v + 21. Which is greater: w or v?
w
Let m(w) = -w**2 - 4*w - 3. Let a be m(-3). Let o be ((4/2)/2)/1. Which is smaller: a or o?
a
Let o = 91 - 91.23. Which is bigger: -3 or o?
o
Let z(n) be the first derivative of n**3/3 + n**2 - n + 19. Suppose -h - 4 = -2. Let l be z(h). Is -1 less than l?
False
Suppose 4*t - 8*t + 2*w = 0, -t = 3*w - 14. Suppose -3*s + 1 = -t. Are s and -1/11 non-equal?
True
Let z = 7/16 + -1/2. Which is smaller: z or 1?
z
Suppose 4*o - 5*y = -10*y - 49, 4*y + 20 = 0. Which is smaller: o or 1?
o
Let i be 4/(-3) + (-1)/(-3). Let h = -86/5 + 612/35. Is h != i?
True
Let a be ((-2)/(-4))/((-2)/(-28)). Suppose -3*n + 4 = 2*l + a, -2*l = 4*n + 4. Is n at least as big as 1/22?
False
Suppose -5 = -5*x - 10. Suppose -3 = 2*n + 1. Is n > x?
False
Let v = -5 - -12. Which is smaller: 6 or v?
6
Let s(w) = 3*w - 12*w - 7 + 8*w. Suppose -3*t - 12 = -t. Let r be s(t). Which is smaller: 2/17 or r?
r
Let o = 4 + -1. Let y be (o/2)/((-10)/(-4)). Which is smaller: 0 or y?
0
Let m = -6 - -11. Suppose -3*c - m = -5*v, 0 = 3*c - v - v + 2. Which is smaller: -1/3 or c?
-1/3
Let o be 5/(1 + 0) + 0. Let r be o/(-2)*8/(-10). Which is smaller: r or 4/7?
4/7
Let i = 247 + -2473/10. Which is smaller: i or -1?
-1
Let i = 32 + -53. Is i >= 3?
False
Let k = 0.69 + 32.31. Which is greater: 2 or k?
k
Suppose 19 = -o + 4*g, -2*g - 3*g = o - 26. Are o and 1.7 non-equal?
True
Let w = 0.1 - 1.1. Let t = -37 - -28. Let v = -8.9 - t. Which is bigger: w or v?
v
Let s be (-4)/(-12) + -1 + 0. Suppose 2*g - 6*g = 0. Which is smaller: g or s?
s
Let q = 5.9 - 6. Which is smaller: q or 0?
q
Let j(b) = -9*b**3 - 4*b - 3. Let t(z) = 19*z**3 + 9*z + 7. Let r(s) = 9*j(s) + 4*t(s). Let y be r(1). Is -4 bigger than y?
False
Let g = -6 - -4. Let d(v) = v**2 + 3*v + 1. Let m be d(g). Let i = 4814/11 - 438. Which is bigger: m or i?
i
Let a be 1/(-4) + (-5)/12. Let j = a + 1. Let f = -0.9 + 0.7. Do j and f have the same value?
False
Let d be 2 + -3 + 1 + 6. Is d smaller than 7?
True
Let p = -0.03 - -0.03. Is 2 equal to p?
False
Let c(l) be the second derivative of -l**4/12 + 7*l**3/6 + l**2/2 - l. Let m be c(7). Let o be m - 2/((-16)/(-7)). Does o = 1?
False
Let x = -1.16 + 4.1. Let d = x - -0.06. Let t = d - 3.1. Is t > 2/9?
False
Suppose 0 = -2*x + 4*l + 18 + 2, -4*l = -4*x + 24. Let n be (1 - 2)/(1/x). Let a = 43/2 + -22. Which is smaller: n or a?
n
Let g be (-9)/2*2*(