Let w = q + n. Is 0 smaller than w?
True
Let k = -13 - -18. Suppose -5*h + 25 = k*d - 0*h, -25 = 4*d - 5*h. Suppose 0 = -d*v + 2*v - l + 1, v - l - 1 = 0. Is v >= -1/2?
False
Let t = 0 + 4. Suppose 5*w - 5 = t*y, -4*w = 3*y - 7*y - 4. Let p = 0 - -2. Is p != y?
True
Let f be 4/(-14) - (-164)/672. Let b = 22 - 22. Which is smaller: f or b?
f
Let t = -53/2 - -27. Let g = -166/483 + 4/69. Which is greater: t or g?
t
Let z = -229.1 + 218. Let o = 11 + z. Which is smaller: o or -2?
-2
Let u = 459/10 - 147/5. Is u at least as big as 18?
False
Let t = -12 + 11.9. Let b = t - 0.9. Which is smaller: -0.03 or b?
b
Let h = 7 + -15/2. Let z(g) = -g**2 - 8*g - 14. Let n be z(-6). Is n at least h?
False
Suppose g - 25 = -4*g. Which is smaller: g or 6?
g
Let x(h) = h + 1. Suppose -5*k = 12 + 3. Let r be x(k). Let c = -0.3 - -0.1. Is r < c?
True
Let b = -42 - -23.2. Let i = b + 19. Which is smaller: i or 1/6?
1/6
Let m be (-5)/60 - (-1)/3. Which is smaller: 13 or m?
m
Let j(q) = 4*q**3 - 2*q**2 + 2*q - 1. Let p be j(1). Let h = p + -3. Let l be 4/8 + (-15)/22. Which is bigger: l or h?
h
Let r = -7 + 4. Suppose 11 + 37 = -q. Let d = 142/3 + q. Is r less than or equal to d?
True
Let f be 11/(44/3) - 25/76. Is 1 less than f?
False
Suppose -5*u = -4*o - 30, u - 5*o = 6 + 21. Let w be (2 - (u - 1))*1. Let h be w/3 + (-3)/9. Is 3 > h?
True
Suppose 4*m + 2 = -6. Which is greater: m or 3/4?
3/4
Let j = 11.9 - 12. Let u = -0.1 - -1.1. Is j at least u?
False
Let r = 10 + -5. Suppose r*c - 5 + 0 = 0. Let g be (-16)/(-6) + (-4)/(6 - -6). Which is smaller: c or g?
c
Let q be (-4)/6 + 32/12. Suppose 0 = -3*i + q*i - 1. Suppose 4*z + 2*l - 10 = 0, 4*l - 20 = -0*z + z. Is z equal to i?
False
Let i = 1.86 - -0.14. Are -3 and i nonequal?
True
Let f be -3*(-27)/(-75) - -1. Which is smaller: f or 0.3?
f
Let d = 29 - 40. Let l = 10.2 + d. Is 0.1 less than l?
False
Let y = -1.9 - 1.1. Let x = 4 + y. Are 0.1 and x equal?
False
Let j = -2.1 - -0.1. Let h = -1.65 - 0.25. Let p = j - h. Which is smaller: -0.2 or p?
-0.2
Let o be ((-5)/10)/((-49)/2). Which is smaller: -1 or o?
-1
Let o be -3*(80/12 + -1). Is o at least as big as -19?
True
Let h be (-107)/1 - (4 - 3). Does -108 = h?
True
Suppose 0 = 3*t - z + 8, 6*t = 8*t + 5*z - 23. Let f be (4/(-6))/(10/(-6)). Is t at most as big as f?
True
Let m be (-1)/(-3) - (-856)/(-2532). Is m less than or equal to 0?
True
Suppose 2*h - 4*h = -4*j - 2, -2 = 5*j - 2*h. Which is smaller: j or -2/23?
-2/23
Let k = -1334572/317 + 4210. Which is bigger: 1 or k?
1
Suppose -2*w + 8 = -s, 4*s = 5*w - s - 30. Is w at least 5?
False
Suppose 3*v = -4*t + 1, 3*v - 5 = 3*t + 10. Which is smaller: v or 4?
v
Let w be -1*((-52)/(-165) + 1). Let j = 1982 + -29713/15. Let n = w + j. Is 1 at most as big as n?
False
Let w(q) = -q**3 - 3*q**2 + 4*q - 3. Let s be w(-4). Let n = s - 3. Does n = -5?
False
Let u = -7 + 12. Suppose -6 - 11 = m + u*l, 4*m - 4*l = 28. Let c(f) = -3*f**3 - 10*f**2 - 2*f + 1. Let i be c(-3). Is i >= m?
False
Let i = -64/275 + 48/55. Let m = i + -6/25. Which is bigger: 0 or m?
m
Let l = 119 - 118.9. Which is smaller: -11/5 or l?
-11/5
Let g = 72 + -74. Is -0.32 at least as big as g?
True
Suppose -3*v - g = 76, 5*v + 0*v + 150 = 3*g. Let o be 2/(-3)*v/(-72). Is o at least as big as 0.5?
False
Suppose -7*i - 347 - 248 = 0. Is -85 not equal to i?
False
Let x = 93/245 - -1/49. Is x greater than or equal to 1/3?
True
Let a be (-46)/12 + 10/(40/12). Let y(v) = -v**2 + 7*v - 6. Let t be y(6). Is a at least as big as t?
False
Suppose -v - 3*v + u - 8 = 0, 3*v + 11 = 2*u. Let k = 3 + -7/2. Is k at least v?
True
Suppose 5*v + 4*l = 29, 4*v - 5*l - 13 - 2 = 0. Is v bigger than 3?
True
Suppose 0*j = -3*j + 12. Let q = -7 + 13. Which is bigger: j or q?
q
Let a be (2 - 31*-7) + -1. Let h = -1964/9 + a. Let b = -8 - -7. Which is bigger: h or b?
h
Let s(d) = 38*d - 6. Let n be s(2). Is n smaller than 71?
True
Suppose 3*i = i + 4*b + 2, -3*i = -2*b + 1. Which is bigger: i or -5/6?
-5/6
Let h = 0.9 - -7.1. Let n = h - 7. Do n and -0.6 have different values?
True
Suppose 0 = -m - 2 - 2. Which is smaller: -3 or m?
m
Suppose -l = 2*l - 15. Let u = l - 0. Suppose u*w - n + 3*n + 6 = 0, -2*w - 2*n - 6 = 0. Is 2/3 at most as big as w?
False
Let x(s) = -s**2 - s + 2. Let h be x(0). Suppose 0 = 4*u - 12, -c = h*u - u - 1. Let r be -2 + c/(-4)*2. Which is greater: r or -1/2?
-1/2
Let g(c) = -c - 4. Let l be g(-7). Let s be -3 + (l - 2)*2. Which is smaller: -3 or s?
-3
Let q = 0.23 + 4.77. Which is smaller: q or -6/11?
-6/11
Let q(g) = -g + g**2 + 2*g + 2*g + 1 + 0*g**2. Let t be q(-2). Which is smaller: t or -2?
-2
Let j = 13 - 11. Suppose -24 = j*c + c. Does -8 = c?
True
Let x = 9 - 8.9. Let l = 0 - -0.2. Which is greater: x or l?
l
Let o = -0.9 - -1. Which is greater: -5 or o?
o
Let l be 1 + (-94)/(-10)*10/6. Which is smaller: 17 or l?
l
Suppose 4*k - 14*k - 10 = 0. Which is smaller: -3/25 or k?
k
Let o = -29.2 - -29. Which is greater: o or -4?
o
Let q(a) = a**2 - 7*a + 6. Let z(k) = -k**3 - 10*k**2 + 10*k - 5. Let h be z(-11). Let r be q(h). Which is smaller: r or 1?
r
Suppose 0 = u + 40 - 33. Is -1 > u?
True
Suppose 0 = 2*d + 4*d. Suppose d = 5*s + 13 + 27. Is -7 bigger than s?
True
Suppose -4*t - 24 = -r - 2*r, 2*t + 6 = 0. Let m(i) = -i**3 - 3*i**2 - 3*i. Let y be m(-2). Which is smaller: r or y?
y
Let n be 37/3 + 5/(-15). Let u = 19 - n. Let v = u + -7. Which is greater: -2 or v?
v
Let h be 8*2/(-12)*-3. Suppose 11 + h = 5*g. Suppose 3 + g = -3*m. Is -1 not equal to m?
True
Let c be 12*4*3/18. Let v = c - 2. Let r be 6/(-9) + 10/v. Is 3 <= r?
False
Let g be 8/(-12) - -2*(-2)/12. Which is smaller: g or 1?
g
Let v be (-70708)/(-2805) - (-4)/10. Let s = 77/3 - v. Which is bigger: 1 or s?
1
Suppose 0 = -2*z - 48 - 212. Let x = 647/5 + z. Which is bigger: x or -2?
x
Let z be 15/35 - (-8)/(-14). Let g be 2*1/(1*-8). Which is bigger: z or g?
z
Suppose 0 = -3*s + 4*s - 6. Suppose -10 = -4*x - 4*i - 2, -3*x = i - s. Suppose w + 4 = x*w. Do w and 3 have the same value?
False
Let j be (-1 + 0 - -4)/((-3)/(-4)). Is j equal to 2?
False
Suppose -2*d + 20 = -0*d. Let j(a) = a - 12. Let c be j(d). Which is greater: c or -1/2?
-1/2
Let x = 9019/4 - 2266. Is -10 < x?
False
Let m = -4/15 + -2/105. Let k = 56 + -503/9. Which is greater: m or k?
k
Suppose -x - 4*x = -25. Suppose 2*n + 0 = -4. Let l be x/(-5) - 1*n. Is l at least as big as 3/2?
False
Suppose 5 = -5*n + 20. Let s = n - 5. Are -2 and s non-equal?
False
Suppose 2*f - 3 = 1. Let l(a) = -4 - a + 3 - a**2 + f*a**2. Let z be l(-1). Is 2 smaller than z?
False
Let t = 0.48 + -0.36. Does -0.2 = t?
False
Let u = -6 - -9. Suppose u*y + 546 = -399. Let t = -1569/5 - y. Which is bigger: t or 0?
t
Let j = 25 + -18. Let n be 14/(-2)*(-36)/42. Are j and n unequal?
True
Let l = -3 - -19. Let c = l - 17. Is c equal to 4?
False
Suppose 0 = -4*j + 1 - 9. Let l = j - -3. Let d be 1/(1/(0 + l)). Do d and 2/5 have the same value?
False
Let l = 5 - 5. Let j = l + 0. Are j and -1/4 nonequal?
True
Let l = 20 + -37. Which is bigger: -2/5 or l?
-2/5
Let g = 6 - 2. Which is bigger: g or 6?
6
Let x = 1 + -2. Let p = 4.2 - 5.2. Are p and x equal?
True
Suppose 3*d + 5 = 53. Let y be 84/(-10) + (-6)/(-15). Let a be y/d*(3 - 1). Is a smaller than -2/3?
True
Let m = -61 - -63. Is m at most as big as 1?
False
Let s be 2/(-5) + (-2)/(-5). Let d = -10/23 + -28/253. Which is greater: d or s?
s
Let v = 0.7 - 0.82. Let s = -0.36 - -0.26. Is v bigger than s?
False
Let u = 5044/317205 + -10/1197. Which is greater: 1 or u?
1
Suppose 58 = -u + 58. Which is smaller: -4/3 or u?
-4/3
Let p = -3 + 5. Suppose 0 = -o + 5 - 2. Suppose -1 - p = o*g. Which is greater: g or 2/13?
2/13
Suppose 5*s - 9 - 1 = 0. Suppose -3*w - 3 = q - 0, -5*q = -4*w + 15. Which is bigger: w or s?
s
Let r = 18 - 18. Which is smaller: r or -4/3?
-4/3
Suppose -3*g - g = -8. Suppose 0 = 2*a - 2 - 2, -g*i - 5*a = -6. Let h = 0.3 + -0.4. Are i and h non-equal?
True
Suppose 0 - 2 = 2*o. Suppose -c + 1 = 2. Is o not equal to c?
False
Suppose -d - 6 + 5 = 0. Does d = -2/29?
False
Suppose 4*t - 20 = -t, 3*t = 3*w. Suppose 0 = -0*g + w*g - 16. Let z = -6 + g. Does -1/2 = z?
False
Let r = 1074/11 + -79901/825. Let d = r + -3/25. Suppose 4*m + 17 = 5, 2*f + 10 = -4*m. Do f and d have different values