 = -0.1 + -12.9. Let s = -13.3 - t. Is s greater than -0.5?
True
Suppose -2 = 3*m + 2*i, 2*i + 9 - 7 = 2*m. Is 1/51 equal to m?
False
Let m = 0.083 - -2.917. Which is greater: 17 or m?
17
Let m(y) = 2*y + 11. Let a be m(-6). Is a greater than or equal to -1?
True
Let l = 49/1185 - -2/79. Are -1 and l unequal?
True
Let f = 110111/91 + -1210. Let u = f + -100/819. Which is smaller: 0 or u?
u
Let v = -3 - -4. Let f = v - 0. Let t be (-4)/(-6)*(-1)/2. Which is smaller: f or t?
t
Suppose 0 = -5*l + l - 4. Which is greater: l or -2?
l
Suppose -t = -4*t + 18. Let f be ((-42)/(-224))/(t/(-4)). Which is smaller: 0 or f?
f
Let c(x) = -x + 3. Let k be c(6). Let q(u) = -u - 9. Let r be q(-8). Is r smaller than k?
False
Suppose 7*c - 2*c = -g + 19, 16 = 4*c + g. Suppose -c*k + 32 = k. Suppose 2*u + 2*u + k = 0. Which is bigger: -1/2 or u?
-1/2
Let r = -22.04 - -4.34. Let j = 17 + r. Which is smaller: 1/4 or j?
j
Let u be -4*(0 - -2)/(-4). Suppose 6 + 3 = -u*k - 3*i, k + 3*i + 9 = 0. Let b(d) = d - 6. Let f be b(5). Which is smaller: f or k?
f
Let m(p) = 2 - p + p**3 - 3*p**2 + 4 + p**2 - 3*p**2. Let t be m(5). Let i be -1*-6*(-8)/(-132). Which is smaller: i or t?
i
Suppose 5*v = 33 - 3. Suppose v*r = 2*r. Let j be 1*(-1)/(3 - 2). Which is smaller: j or r?
j
Let n = 3 + -1. Suppose 5*a - 20 = -4*f, n*f - 15 = a - f. Let w = -1 - a. Is 1 != w?
True
Let h(p) = -p**2 - 5*p - 4. Let l be h(-4). Does 13/9 = l?
False
Let o(i) = i**2 - 4*i - 2. Suppose -6*z + z + 20 = 0. Let h be o(z). Which is smaller: -1 or h?
h
Let a = -6 - -5.9. Let k = 4 + -6. Which is smaller: k or a?
k
Let y be 0 - -1 - (-36)/(-28). Which is smaller: y or 9?
y
Let n = 4 - 7. Let v(o) = -2*o - 7. Let d be v(n). Are -7 and d equal?
False
Suppose 0*v + v - 6 = 0. Let r be v/(-8) - (-6)/8. Suppose -3*x + 15 + r = 0. Are x and 6 unequal?
True
Let p be 3 + (3 - 82/12). Let x = 4/3 + p. Is x smaller than 0?
False
Let d(i) = -i**2 - 13*i + 5. Let c be d(-13). Suppose y + c = -0*y. Which is bigger: -4 or y?
-4
Suppose 0 = -5*f + 16 + 29. Is f at least as big as 9?
True
Let g = 73 + -217/3. Let z(w) = -3*w**2 + w. Let k be z(-1). Let r = 5 + k. Which is smaller: g or r?
g
Let g be 9 + (18/(-4) - (-2)/4). Which is smaller: 35/6 or g?
g
Let y(x) = x - 4. Let r be y(-8). Suppose 20 = 4*p, 5*k - 5*p + 17 + 18 = 0. Let a be ((-3)/k)/(r/(-32)). Is 4 < a?
False
Suppose 0 = d + 10 - 4. Let o be (290/d)/(12/(-28)). Let l = -113 + o. Which is smaller: 1 or l?
l
Let b = 2 + -2. Let o = 25 - 373/15. Which is greater: o or b?
o
Let d(n) = 3*n - 2. Let p be d(4). Suppose -3*y + 18 + 13 = -5*r, -p = 2*r. Suppose u = -k - 3, y*k = 4*u + 4*k + 12. Is -3 != u?
False
Suppose x + 3*x + 369 = 3*y, -x - 91 = -y. Let g be ((-1)/2)/((-6)/x). Is -2 smaller than g?
False
Suppose -2*x = -5*c + 7, -7*c - 3*x + 2 = -2*c. Is 2/13 equal to c?
False
Suppose k = -c, 7 + 3 = c - 4*k. Suppose -3 = c*b + b. Which is smaller: b or -2?
-2
Let l be 0/(-2) - (27 + -25). Is -4 > l?
False
Let b = -28/9 + -2/9. Is 0 at least as big as b?
True
Let u be -2 + 4 - (40/4 - 4). Let g = -8 + 4. Does g = u?
True
Suppose 4*g - 50 = -g. Suppose -2*r - g = -2*w - 3*r, r + 8 = 4*w. Suppose -5*k - 4 = 4*n, -2*n = -w*n - 5*k - 1. Which is smaller: n or -2?
-2
Let v = 11 + -17. Let h = v + 8. Is h not equal to 2?
False
Let c = -16291/6 - -2691. Let k = c - -25. Suppose 0*x - 3*n - 17 = -5*x, -4*x + n + 8 = 0. Is k at most x?
True
Let q be 62/1*2/(-4). Let d = -91/3 - q. Which is bigger: 1 or d?
1
Let w = 41/114 - 10/19. Let v be 2/(-5) + (-8)/5. Let h be -1 + 0*(-2)/v. Are h and w unequal?
True
Let b = -15 - -33. Let n = b + -11. Let r = n + -5. Is r less than 2?
False
Let m = 4 - 4. Let n = m - -1. Suppose -2*g = -4*c - 2, 3*g + 8 = 4*c - 9*c. Which is smaller: n or g?
g
Let w = -1255 + 8803/7. Is w greater than or equal to 4?
False
Let a be (9/6)/(2/8). Suppose -y + 0*y + a = 0. Suppose -20 = -4*z, -5*d - z + 6*z = -5. Is y at most d?
True
Let r = 6 + 8. Is 14 less than or equal to r?
True
Let o = -5263/15 - -351. Let c be -3 + (0 - (1 + -5)). Suppose 3*d - c = 2. Are o and d equal?
False
Suppose -v - 1 = -2*h + 4, h - 4*v = 13. Suppose 0 = m - 6 + h. Suppose 0 = -m*o + 10 - 0. Which is bigger: 1 or o?
o
Let t be 4/5*5/7. Suppose 12*u = 3 + 21. Are u and t equal?
False
Let s(h) = 0 - h + 1 - 4. Let r be s(-5). Let j = -4/19 + -3/76. Which is smaller: j or r?
j
Let o = -35 + 18. Let d = o - -16. Is d bigger than -13?
True
Suppose -8 = 2*v, -3 = 4*p + v + 1. Suppose 0 = -t - p*t - 5. Which is greater: -0.1 or t?
-0.1
Suppose 0 = a + 5, -5*a + a = -t + 22. Let o = -7 + 4. Which is greater: t or o?
t
Suppose -5*l + 3*l - 20 = 0. Are -9 and l nonequal?
True
Let h(d) = -d. Let z be h(-1). Suppose 10 = 6*i - i. Which is greater: i or z?
i
Let r = -28 + 17. Let q = 10 + r. Does q = 0.1?
False
Suppose 1 = 5*s - 9. Suppose m - w = 4, -m + 6 - s = -2*w. Is m != -2/11?
True
Let l be (1/(-11))/(2/(-6)). Which is greater: l or 0?
l
Let h = -4 + 3.9. Let l = -27 + 49. Let t = l - 68/3. Is h >= t?
True
Let i = -244 + 246. Let g(m) = 2*m**2 - m. Let q be g(1). Is q less than or equal to i?
True
Let z = -12.931 - 0.069. Which is greater: z or -8?
-8
Let h = 32 - 23. Let c be (-25)/h + (-4)/18. Which is smaller: c or -2?
c
Let k = -6/5 + 1. Suppose -a + 4*g + 20 = a, -3*a - 25 = 5*g. Let b = -1 + a. Which is bigger: b or k?
k
Let d(n) = -3 - 6*n - 2 + 2. Let t be (-1)/(-2) + 10/(-4). Let h be d(t). Which is smaller: 8 or h?
8
Let u = -3 - -2.7. Let m = u - 0.7. Let k = 1 - 1. Which is smaller: k or m?
m
Let m be -4*(3 + 4/(-2)). Let z = 5 + m. Is z greater than or equal to 1?
True
Suppose 0 = -136*n + 145*n + 90. Let v be (-1)/3*-2*-15. Is n bigger than v?
False
Let r be -4*((-21)/4 - -2). Is 13 < r?
False
Let z be 5*(4 + (3 - 3)). Let s be ((-5)/z)/((-1)/8). Let a be -2*2/(-4) + 0. Is a greater than s?
False
Let q(p) = -p**2 + 10*p + 14. Let k(x) = 4*x**2 + 4*x + 3. Let r be k(-2). Let w be q(r). Let f(t) = t + 2. Let d be f(w). Which is bigger: d or 6?
6
Suppose 0 = -g + 2*g - 10. Let n be (-2)/(-4) - (-15)/g. Suppose -2*v = -5*b + 13, 4*v = 2*b + n*b - 20. Is 0.3 equal to b?
False
Suppose -3*k + k + 4*o - 206 = 0, 0 = -3*o - 12. Let n be ((-10)/(-25))/(k/15). Is n less than or equal to 0?
True
Let p be (-3 - -1) + 5 + 26/(-10). Let f = -0.3 - -0.6. Let s = f - 0.2. Is s at most p?
True
Let l(g) = -g - 4. Let u = -1 + -3. Let f be l(u). Suppose f = x - 0*n + 2*n + 3, 4*n = -x - 5. Which is greater: x or -1/8?
-1/8
Let k be ((-4)/24)/((-1)/40). Are k and 7 equal?
False
Let j = -10.7 + 24.3. Let t = -15 + j. Let q = 0.6 - t. Which is smaller: 1 or q?
1
Suppose -5*w - 5*b + 20 = 0, 2*b - 3 = 3. Is w bigger than 4/17?
True
Let b = 0.2 - 0.3. Suppose 6 = -5*l + 10*l - 3*k, -5*k = -4*l + 10. Is l > b?
True
Let v(u) = -u**3 - 14*u**2 - 11*u + 32. Let g be v(-13). Which is smaller: 1 or g?
1
Let m(i) = -i - 11. Let d be m(-10). Let h = -23 + 23. Is d smaller than h?
True
Let w = -21.1 - -4.1. Let i = 16.6 + w. Let r = 2 + -2. Is r less than or equal to i?
False
Let f = -0.216 - -0.116. Is -1.4 > f?
False
Suppose -22*h = -21*h + 1. Is h at least -4/39?
False
Let o = -0.04 - -0.07. Let x = 0.42 - 0.25. Let q = x + o. Is 1/4 bigger than q?
True
Let n(o) = -18*o**2 - 6*o - 7. Let z be n(-1). Is z at most as big as -21?
False
Let t(l) = -l**3 - l - 1. Let m be t(-1). Let j = -7 - -9. Let a = j - 3. Which is smaller: m or a?
a
Let q = -149 - -148. Which is smaller: 3/11 or q?
q
Suppose -15 = -7*s + 2*s. Suppose -r = -s*n + 26, -n + 0*n + 5*r = -4. Suppose -5*m - n = -2*m. Are m and -2 unequal?
True
Let f(g) = 5*g**2 + 1. Let r be f(1). Suppose a - r*a = -3*z + 27, a + 19 = 4*z. Suppose 28 = -s - 4*s + 4*j, -4*j - z = 3*s. Is -4 at most as big as s?
True
Let f be (1 - 6) + 7 + (8 - 1). Is 6 < f?
True
Suppose -3*s - 326 = 73. Let w = 667/5 + s. Let v = 0.4 + -0.5. Which is smaller: w or v?
v
Let o = 2.18 + -0.18. Let b = o - 1.9. Let x be (-21)/(-27) - (-1 - -2). Which is smaller: x or b?
x
Let c be -5 + 27/6 + (-2)/4. Is c at most -1/114?
True
Let c = 1.1 + -1.12. Which is smaller: c or 2?
c
Let y be (-16)/88*(-6850)/4. Let j = 311 - y. Is j less than 0?
True
Let c = 1 - -7. Let q be 2/2 - (5 - -2). Let j be q/(-4)*c/42. Which is smaller: 0 or j?
0
Let x = -1 - -4. Suppose 4 = x*g 