 + 0). Which is smaller: -1/10 or u?
-1/10
Let a be 9/12 + (-39)/(-12). Let t = a - -1. Suppose t = 2*z - z. Is z greater than or equal to 1?
True
Let j(s) = s - 2. Let k be j(2). Which is greater: k or -2/87?
k
Let d = -0.5 - -0.7. Suppose 0 = -2*i + 2*s + 8, -3*i + 6*i = -4*s - 23. Which is bigger: d or i?
d
Let m = 93 + -559/6. Is 1/3 equal to m?
False
Suppose -3*v = v - 72. Suppose -3*j + 5 = -2*j, -2*z - 2*j + v = 0. Suppose z = 5*r - 1. Are r and 1 nonequal?
False
Let v = -6 - -2. Let o(j) = j**2 + 2*j - 9. Let w be o(v). Suppose r + 2 = -r. Is r not equal to w?
False
Let x(l) = l**3 - 7*l**2 - l + 1. Let u be x(5). Let q be 24/u + (-2)/(-3). Are q and 0 unequal?
True
Let f be (-2 - 2)/(-1 - -2). Let d be (18/f)/((-3)/8). Suppose 2*b + 2*b = d. Which is smaller: 2 or b?
2
Let t be (6/(-10))/((-6)/4). Let m be 1/(1/((-4)/(-1))). Suppose -m*d = d. Which is smaller: d or t?
d
Suppose 0 = -4*h + 5*u + 137, 0 = -2*h + 3*u + 51 + 18. Let f = 67/2 - h. Let y be (-210)/520 + 4/26. Is f <= y?
False
Let z = -1 - -3. Suppose 4*o - 48 = -5*h, 4*o - 24 = -z*h - 0*h. Suppose -4*s + h = -2*s. Which is bigger: 3 or s?
s
Let q be (-6)/(-5)*(-80)/12. Are q and -8 non-equal?
False
Suppose -12 = 4*d - 0*d. Let s(p) = 2*p**2 + 2*p - 3. Let v be s(d). Let l be 1/(-2) - v/(-6). Is l < 1?
False
Let q = -0.2 + 0.1. Suppose 2*d + 5*l - 3*l - 20 = 0, -3*l = -4*d + 33. Let z be (6/d)/(4 + -1). Is q at least z?
False
Let w = -7 - -3. Are -4 and w unequal?
False
Let d = -2.887 - 0.113. Which is smaller: d or 3/2?
d
Let n be ((-1)/25)/(6/12). Which is smaller: -1 or n?
-1
Let x be ((-1)/(-2))/(-1 - 1). Suppose 0 = 5*o + 5*a + 15, -14 - 8 = -2*o + 5*a. Suppose -u = -0 + o. Does u = x?
False
Let x(h) = 25*h - 1. Let a be x(-6). Let l be a/9 + (-12)/54. Let s be l/5 + (-6)/(-2). Is 1 smaller than s?
False
Let y(h) = h**3 - 2*h**2 - 4*h. Let r be y(3). Suppose 2*a - 12 = -2*a. Suppose a*l = l. Which is smaller: r or l?
r
Let t = -516 + 3611/7. Let r = -2 + 2. Is t smaller than r?
True
Suppose -o - 2*i - 6 = 0, 2*i = -0*o + o - 14. Let d be (-84)/99 + o/22. Which is smaller: 0 or d?
d
Suppose -2 = 4*o + 6. Let l be (2/(-4))/((-11)/(-88)). Are o and l non-equal?
True
Let c(y) = -2*y - 7. Let u be c(-5). Let k be (u - -8 - 1)/(-1). Let t be (k/(-3))/(8/(-12)). Is -4 != t?
True
Let x = -22/9 + 17/18. Which is smaller: x or -3?
-3
Let g = 11/2 - 5. Suppose 3*y = 2*d - 2 - 10, -4*d + 6 = 3*y. Suppose 4*x - d*x = 1. Which is greater: g or x?
x
Suppose d = -3*d + 44. Which is smaller: -1 or d?
-1
Let t = 29/51 - 4/17. Let c = -0.3 - -0.7. Let o = c + -0.4. Is o greater than or equal to t?
False
Suppose 7 + 5 = 3*z. Suppose -4 + 20 = 4*x, 0 = -5*a + 5*x - 25. Which is smaller: z or a?
a
Let r be 18/12*(-64)/(-6). Let d = -15 + r. Are d and -7 equal?
False
Let z be -2*15/(-10) - (-110)/(-32). Which is smaller: 0 or z?
z
Let k be (-64)/(-10) + (-4)/10. Suppose 4*a - 7 = 2*l + 3*l, -3*a - 15 = 3*l. Let j be (-21)/(-9) + a/k. Is j < 2/5?
False
Let s = 32 - 30.3. Let q = 14.7 - s. Which is bigger: -2/7 or q?
q
Let w be -3 + 4 - (0 - -5). Let c = 10 - 11. Which is smaller: c or w?
w
Suppose -6*a = -2*a - 3*g - 6, g + 10 = 4*a. Let k = 32 + -22. Let n be 36/k + (-9)/a. Which is bigger: n or 2?
2
Let w = -0.185 - -15.985. Let l = w + -15. Are 1 and l equal?
False
Let a = -0.3 + 0.34. Let y = 33.86 + -34. Let u = y + a. Is 3 at least as big as u?
True
Let y = -602/5 + 120. Is y >= -2/9?
False
Suppose -5*o = 5*f + 20, -f - 2*o + 6*o = -21. Let t be (-7)/3 + f + 1. Suppose 2*y = -4*s + 2, 0*y = 3*y + 5*s - 3. Do t and y have different values?
True
Let h be 9*(26/(-65))/(6/(-5)). Which is smaller: 4 or h?
h
Let x = -0.15 - -0.65. Which is bigger: -3 or x?
x
Suppose 2*o + 20 = 4*s - 10, 2*o + 20 = -s. Suppose 3*f + 8 = 4*f. Let t = o + f. Is 1/2 greater than or equal to t?
True
Let f = -5/4 + 7/4. Let t = -5 + 7. Which is smaller: f or t?
f
Let t(p) = p**3 + 4*p**2 - p. Let y be t(-5). Are y and -19 unequal?
True
Let u = 1 + -11. Let l be 3/u*35/42. Which is bigger: l or 6?
6
Let c = -0.41 + 0.01. Let h = 55/3 + -18. Which is smaller: h or c?
c
Let m = 5 - 12. Let r = -7.2 - m. Are -0.2 and r non-equal?
False
Let o be (0 - 1)*(1 - 0). Let q = o - 0. Let a = 252/5 - 50. Which is smaller: a or q?
q
Let d = -8 - -14. Is d at most 5?
False
Suppose -5*h - 3*d + 5 = d, -3*h - 2*d + 3 = 0. Let y be (-6)/6*(1 + -1). Are y and h nonequal?
True
Let h = -1.8 + 2.5. Let r = -1.7 + h. Let a = -11 - -52/5. Which is smaller: r or a?
r
Let r be 75*(24/(-9) - -3). Suppose -k - 4*k = r. Which is bigger: k or -2?
-2
Let w = -35 + 40. Let u be 2/((-1)/(-2) + 0). Is w at least u?
True
Let f = -247.93 + 245. Let g = f - 0.07. Is g at most as big as -1/4?
True
Suppose 5*w = -4*n - 0*w - 79, -w + 13 = -n. Which is greater: -0.1 or n?
-0.1
Let c = -0.7 + -1.3. Is -0.2 greater than or equal to c?
True
Let q = -24 + 27. Which is smaller: q or 0.1?
0.1
Let z = -11 + 15. Let x = z - 4.1. Which is greater: x or -1?
x
Let b = -4 - -5. Let n = -1 + 2. Let q = n - b. Do q and -2 have different values?
True
Let u = 0.19 + -2.19. Is u <= 1/5?
True
Let p = 166.7 - 158. Let k = p - 9. Which is smaller: 0.2 or k?
k
Suppose -3*n = -3*q - n + 12, 0 = 2*q + 2*n + 2. Suppose -3*t + 6 = 3*g, -4*g + 6 = q*t + t. Suppose t*j + 5 = 3. Is j at most as big as -1?
True
Let a(t) = -t**2 - 7*t + 10. Let c be a(-8). Suppose 6*s = -4*l + c*s + 12, 4*s - 12 = 4*l. Suppose 5*p = 5 - l. Do 2/3 and p have the same value?
False
Suppose -3*l + 3 = -3. Which is smaller: l or 6?
l
Let a = 1.4 + -1. Let v be (-2)/4 - 2/12. Which is greater: v or a?
a
Suppose 0 = -13*f + 9*f - 276. Is f less than or equal to -69?
True
Let u be -15 - ((2 - -1) + -1). Is u != -16?
True
Suppose 16*i - 10 - 6 = 0. Let t be (2 - 0)/(-1) - 0. Let b be 3/(54/(-32)) - t. Which is bigger: b or i?
i
Let y(u) = -u**2 + 8*u - 1. Let n be y(7). Suppose -14 = n*h - 2*h + 5*l, 3*h + 2*l = -7. Let s(p) = p**2 + 3*p. Let j be s(-3). Which is bigger: j or h?
j
Let a = -15 - -9. Suppose -4*x + 3*b + 1 = 0, x + 1 = -b - 4. Let i be a/15 - x/30. Which is bigger: i or 0?
0
Let w(a) = -a. Let d(s) = 3*s. Let l(o) = d(o) + 2*w(o). Let j be l(13). Is 13 less than j?
False
Let m = -724/2485 - -2/355. Is 22 equal to m?
False
Suppose 0 = 5*m - 3*y - 0*y + 27, m - 4*y + 19 = 0. Does -8/3 = m?
False
Let o be (-1 - (-3)/4)/(-2). Let d = 13/40 - o. Let u(n) = n - 4. Let t be u(3). Which is bigger: d or t?
d
Let f = 47 - 47. Which is smaller: f or 1/45?
f
Let g = -12 - -7. Let n(k) = -k**3 - 6*k**2 - 5*k + 1. Let o be n(g). Suppose 2*y = 4*i - 14, -7*y + 3*y = 3*i + 17. Is i != o?
False
Let t = -54 + 273/5. Let k be ((-3)/24)/((-1)/2). Does k = t?
False
Let l = 66 + -46. Let m = l - 15. Is 1 less than m?
True
Suppose -4*t + 191 + 417 = 0. Let r be (-68)/t - 2/(-4). Is r smaller than -1?
False
Let z(g) = -g**2 + g + 3. Let b be z(0). Suppose 0 = -b*q - 4*d - 17, 6 = -4*q - 3*d - 5. Which is smaller: q or 2?
q
Let z be 3*3/((-9)/4). Let k be 8/(-44)*(-6310)/z. Let v = k - -287. Which is greater: v or 1?
1
Let z = 5 + 1. Do z and 1 have different values?
True
Suppose -5*y + 9 + 1 = 0. Let i be y + 8*1*1. Let z be (-4)/i + (-39)/15. Which is greater: z or -1?
-1
Let l = 0.24 - 0.14. Let o = -40 + 43.96. Let j = -4 + o. Are l and j nonequal?
True
Suppose 0*d = -4*d - 4. Let b be 1/(d - (1 + -1)). Let t be ((-2)/(-6))/((-12)/27). Which is bigger: t or b?
t
Let x = -17.8 + 2.8. Which is greater: x or -1/6?
-1/6
Let r = 25659955/244899 + 2/27211. Let w = -105 + r. Is 1 at least as big as w?
True
Suppose 4*t - 75 = 5*v, 2*v + t - 33 = 4*v. Do v and -19 have different values?
False
Suppose -8*a - 4 = -4*a. Which is smaller: 5/14 or a?
a
Let f = 13 + -3. Let d = 10 - f. Is -1 not equal to d?
True
Suppose 5*f = v - 95, -3*f - 3*v - 95 = f. Let s be 4/f*(-5)/(-2). Are s and 4 equal?
False
Suppose q - 1 = -0. Suppose 2 = -3*s - q. Is -2 not equal to s?
True
Let u = 2/49 - -45/98. Which is greater: u or -1?
u
Let h = -1.3 - 3.7. Let k = 4 + h. Which is greater: k or 0.2?
0.2
Let r be (-3)/(135/3700884) + -1. Let a = r + 82447. Let g = a + -204. Which is bigger: g or 1?
1
Suppose -o - 6 = 4*c, -4*o - c + 6 = -0*o. Which is smaller: o or 12?
o
Let i = 9.97 - -0.03. Which is greater: 0.2 or i?
i
Let m = -26 + 35. Sup