= 4*x. Is q greater than 0?
False
Let z be (15/2)/(-5)*-2. Suppose z*q + a = -0*q + 12, 0 = -3*q + 2*a + 12. Suppose -6*o + q*o = 2. Which is smaller: -1/4 or o?
o
Let s be 4 + 0 + 2 + -3. Suppose -5*w + 13 - s = 0. Let m be 0/((-1)/((-2)/(-4))). Which is bigger: m or w?
w
Let m be -1 + 0 - (-3 + 2). Let a be ((-3)/12)/(4/16). Let z be 20/10 + 0 + a. Is m bigger than z?
False
Let i be (-6)/(-4)*((-46)/168)/23. Which is smaller: i or 1?
i
Let a be (-4)/(-18) - (-2 + (-715)/(-99)). Suppose 2*l = -3*q + l - 19, 3*l = 2*q + 20. Which is bigger: a or q?
a
Let k be 1/(-4) - 10/(-8). Which is greater: 2/25 or k?
k
Let g be (-1 + -1)/(1/(-2)). Suppose 2*a = g*a. Which is greater: -6/5 or a?
a
Let g = 6 + -10. Let k = 7 + g. Which is smaller: k or 4?
k
Suppose -4*v + 3*z = -13, 0 = -0*v + 3*v - 5*z - 18. Suppose n = -n - 286. Let m = 575/4 + n. Which is bigger: v or m?
v
Let u = 5 - 6. Let g = 0 + u. Which is smaller: g or -3/2?
-3/2
Let r(h) = -1 - h**2 + 2*h - 2 + 0*h + h. Let q be r(2). Which is smaller: q or -0.1?
q
Suppose -5*k - 23 = -2*w, -4*w - 2*k + 5*k = -25. Which is smaller: w or 39/8?
w
Suppose -4*y + 12 = -2*p + 6*p, 2*p - 4*y = -6. Which is bigger: p or -9/26?
p
Suppose 4*s - 16 - 52 = 0. Let w = -21 + s. Is -4 > w?
False
Let h = 98 - 96. Which is greater: h or -41?
h
Let c be (-57)/(-18)*-2*(-4 + 1). Which is smaller: c or 101/5?
c
Let x be ((-36)/(-30))/((-3)/(-10)). Is 3 at least x?
False
Suppose 3*z = -3*q + 15, -3*q + 2*z + 6 + 14 = 0. Let d be 130/18 + q/(-27). Let a = d - 6. Is 1/3 smaller than a?
True
Let d(a) = -a**2 + 7*a - 1. Let z be d(7). Let o = 1235/3 + -407. Let f = 64/15 - o. Is z less than f?
True
Suppose -2*p = 8 - 6. Is p >= -1/9?
False
Let i(r) = -2*r**2 + r + 2. Let t be i(2). Is t smaller than -3?
True
Let r(f) = 5*f**3 - f. Let o be r(1). Suppose 2*l - n + 2 = o*l, 0 = -4*n. Is 5/3 at most as big as l?
False
Suppose -5*x + 4*j = 121 + 503, -3*x + 3*j - 375 = 0. Let d be 8/(-10) - x/30. Which is bigger: d or 4?
4
Let r = 16 - 25. Let w = 10 + r. Let v be 14/(-8) - 4/(-2). Which is smaller: v or w?
v
Suppose 4 = -2*p - 2*p. Let j = -4/237 - 643/4029. Which is smaller: p or j?
p
Let u(b) = 2*b - 8. Let a be u(6). Suppose -f - 5*c - 1 = 3, -a*f - 2*c = 16. Is -8 != f?
True
Let k be 4 - (-2 - 64/(-12)). Suppose 1 = 3*c - 14. Does c = k?
False
Let b = 0 + 1/2. Let t = 12.9 + -13. Is t > b?
False
Let z = 0.15 + -0.05. Let k = -0.1 - 0. Let d = z + k. Is d at least -1?
True
Suppose 5*m + 54 = 4*l, -4*l + m + 13 = -3*l. Suppose 3*p - 2*u = 0, -p - 3*u = -0*u + l. Which is bigger: p or -3?
p
Let l be (4/(-14))/(24/108). Does l = -2?
False
Let b = -0.01 + -0.05. Let y = b - -1.06. Which is bigger: y or 0?
y
Let y = 20 + -9. Let p = y + -11. Which is smaller: p or 2/11?
p
Let i = -8.04 + 0.04. Let k = -8 - i. Which is bigger: k or 2/9?
2/9
Let r be 3/((-393525)/(-257082)) - 2. Let d = r + 2/825. Which is smaller: d or 1?
d
Let d = -10 + 18. Let t = d - 9. Which is bigger: t or 3?
3
Suppose u = -2*u - 39. Let y = 20 + u. Is y less than 7?
False
Let w = -3.94 - -4. Let q = -4.94 - w. Let z = q + 4.9. Does -6 = z?
False
Suppose 0 = 2*g + 2*g - 3*n - 13, 3*n = -g + 7. Suppose -7*s = -3*s + 4*o - 4, 1 = 3*s + o. Which is greater: s or g?
g
Let j(l) = -2*l - 7. Let y be j(20). Is y at least as big as -46?
False
Let i(g) = g**3 + 4*g**2 - 6*g - 5. Let f be i(-5). Which is smaller: 2/31 or f?
f
Let k = -1418/9 - -157. Let w = -1/2 - -11/18. Let p = w - k. Do p and 2 have the same value?
False
Let u = 11 + -10. Is u != 9?
True
Let g(d) = d**2 + 17*d + 10. Let v be g(-7). Let q be 3 + -2 + 68/v. Which is bigger: -0.1 or q?
-0.1
Let t(w) = -2*w + 11. Let n be t(6). Is 3/11 bigger than n?
True
Let m be (3/2)/((-27)/(-18)). Which is bigger: m or -2/129?
m
Let w be (2 + -1)/((-141)/69 + 2). Which is smaller: -22 or w?
w
Let l = -31 + 30.98. Is l > 1/3?
False
Let r = 4/75 - 8/25. Which is smaller: 1 or r?
r
Let k = -297 + 3863/13. Suppose 0*x + 5 = 5*x. Let w be ((-4)/(-2)*x)/2. Which is greater: k or w?
w
Let t = 14 + -14. Which is smaller: t or 3/34?
t
Let w(j) = j**3 + 10*j**2 + 9*j. Let p be w(-9). Suppose -v + 3 = -4*n, -v = n + 2 - p. Which is greater: v or -1/5?
-1/5
Let y = -0.9 - -0.89. Let l = 0.09 - y. Which is greater: 1 or l?
1
Let y = 2 - -4. Let b = 4 - y. Let d = -4 - b. Does -2 = d?
True
Let q be (4/(-6))/(4/42). Let d be (-1)/(-7) + 1/q. Suppose -2*v - 3*j = 1, -4*v + 6*v = j + 3. Does d = v?
False
Let n(z) = -z**3 + 4*z**2 - 2*z - 1. Let v be n(2). Let p be 3 + 3/v + -1. Which is smaller: 2 or p?
2
Let m = -24 + 34. Is m < 12?
True
Let u be 0*(1/(-3) + (-2)/12). Which is greater: u or -18/17?
u
Let d = 56 + -17. Which is smaller: d or 1/4?
1/4
Suppose 0 = 3*f - 2*r - 0 - 2, 2*r - 8 = -2*f. Suppose 0 = j + 2 - 0. Let u = j + f. Which is greater: u or -2/19?
u
Suppose 2*n - 13 = 4*n - 3*o, -4*n - 29 = -5*o. Let v = n - -5. Is v less than -4?
True
Let a(q) = -q**3 - 9*q**2 - 19*q - 9. Let k be a(-8). Is k greater than 80?
False
Suppose o + 12 = -5. Let r be ((-2)/(-18))/(o/(-102)). Is -1 > r?
False
Let c = -0.35 - -0.19. Do c and -0.1 have different values?
True
Let n = -6.95 + -0.05. Let l = n + 5. Do 2 and l have the same value?
False
Let r = 47 + -57. Which is bigger: r or -7?
-7
Let n be (-10)/4*(-6)/(-20). Let p = 13 + -8. Suppose b + 2 = -m, 0 = -5*m + b - p*b - 10. Which is smaller: m or n?
m
Suppose 0 = -3*o - 2*o + 30. Let k be o + -3 - (-1 + -1). Let v = k + -4. Which is bigger: v or -1?
v
Let x = 2 + 4. Let f(z) = -z**3 + 5*z**2 + 8*z + 4. Let p be f(x). Suppose 4*c - 4*h + 24 = 0, c - 4*h = -h - p. Which is smaller: 1/10 or c?
c
Let u(g) = -g**3 + 5*g**2 + 7*g - 5. Let n be u(6). Let h be (-4 + 10)/(n + -2). Which is bigger: h or -5?
-5
Suppose -2*x - w + 10 = -x, 10 = 2*w. Does x = 2?
False
Let y = 0.42 + -0.22. Is y greater than -1?
True
Let z be (2 + -3)/(-3 - -6 - 2). Which is bigger: z or 2/9?
2/9
Let o = 17 + -18. Which is smaller: -5 or o?
-5
Suppose 2 = -2*a + 2*k, -2*a + k + 0 = -1. Which is bigger: a or 18/7?
18/7
Let t be 1/(2/6*-1). Let x = -1 + 4. Suppose -x*m - 5 - 1 = 0. Which is smaller: m or t?
t
Let a(y) = -y**2 - 14*y - 21. Let q be a(-9). Is 25 less than q?
False
Let m be -2 + -2 + 4 - 3. Let u be (1/(-2))/(1/2). Which is greater: u or m?
u
Suppose 0 = -0*k - k. Let h = -6 - -8. Let n = 0 + h. Which is bigger: k or n?
n
Let n = -1 - -5. Suppose 5 = s + n*s. Let u = -116/3 + 346/9. Which is greater: u or s?
s
Let w be (-2)/4 + 21/24. Suppose -2*g = -2*q - g + 8, 0 = -q + g + 3. Suppose -q*i - 2*p + 0 = -3, -5*p = -i - 21. Which is smaller: i or w?
i
Let n be (-4)/(-22) + 209/(-484). Which is smaller: n or -1?
-1
Let t = 11 + -9. Suppose 2 + 6 = -t*n. Which is bigger: -5 or n?
n
Suppose 3*j + 4 = 5*j. Let h = j + -6. Let z be (3/(-6))/(1/6). Do h and z have the same value?
False
Suppose i - 4*i - 3 = 0. Suppose 4*u = -2*b + 10, -2*b - 3 + 9 = 2*u. Which is smaller: u or i?
i
Let p be 0 + -2 + (-24)/(-9). Let b be 16/10 - (-3)/(-5). Which is bigger: b or p?
b
Let r = 7 - 6.88. Let f = r - 0.11. Which is greater: f or 0.1?
0.1
Let y = -2.1 + 0.1. Let f = y + 3. Let h = 5.07 - 0.07. Which is greater: f or h?
h
Let n be 1966/(-7) - (-6)/(-6). Let f = n + 281. Which is greater: f or 0?
0
Let w = -21.1 - -20. Let f = w - -1. Do f and 3 have different values?
True
Let k = -1183/5 + 238. Let r(q) = q**3 - 8*q**2 + 6*q + 7. Let h be r(7). Which is smaller: k or h?
h
Let s(f) = 2*f + 1. Let t be s(2). Let c = t + 1. Let a be c/21 - (-24)/14. Which is smaller: a or 0?
0
Let h(o) = -o**2 - 3*o + 4. Let r = 3 + -7. Let f be h(r). Let u be (-3)/(-15) + 2/10. Is u smaller than f?
False
Suppose 0 = -4*l - 0 + 8. Suppose l*z + 2*z = 0. Is z greater than 4/5?
False
Suppose -5*g - 7*y + 2*y + 50 = 0, 2*g + 5*y = 20. Suppose -5*h + 2*p + 37 = 0, -2*h + 6*h - 4*p = 20. Is g at least h?
True
Suppose -4 = 2*x - 4*w, 2*w - 1 = -x + 1. Suppose -116 + 420 = 2*q. Let b be 2/8 + q/(-352). Does x = b?
False
Suppose 2*o + 5*h - 5 = 0, 0 = 2*h - h - 5. Suppose -1 = 2*r + 21. Which is greater: r or o?
o
Let s = 0.3 - -1.7. Does -2/19 = s?
False
Suppose 5 = -5*q + 20. Suppose -12 = -3*d + q. Let u(t) = -2*t + 15. Let f be u(5). Are f and d equal?
True
Let k = 2 - 3. Let j = -60 - -59.96. Which is smaller: j or k?
k
Let o b