. Let t = -5 + w. Is 2 at least t?
False
Suppose -7 = g - 4. Let f = 5 - 4. Let j(y) = y**3 - y**2. Let o be j(f). Is o at most g?
False
Let d = 58 - 74. Are -14 and d equal?
False
Let l be 1 - ((-84)/45 + 1). Let v be 18/(-12) - (-27)/10. Let c = v - l. Is 0 smaller than c?
False
Suppose 3*q = 10 - 31. Suppose 2*n = 4*k, -30 = 3*n + k - 2. Which is smaller: n or q?
n
Let x = 398 - 114625/288. Which is smaller: x or 1?
x
Suppose p = 3*p - 4. Let k = 18 + -18. Which is smaller: p or k?
k
Let w(p) = 14*p + 1. Let u be w(2). Which is smaller: u or 1?
1
Let z be (2 + -6 - 79)*2/8. Which is smaller: -21 or z?
-21
Let a = -13 + 18. Suppose -a*x = c + 22, -3*x - 8 + 2 = -3*c. Is c at most as big as -2/3?
True
Let x = 7/258 - -6/43. Let z be 6/21 - 18/14. Do z and x have different values?
True
Let l = -38 + 37. Is l at least 3/14?
False
Suppose -4*f = 5 - 1, o + 2 = -5*f. Suppose y - 2*y = 5*a, 3*y = o*a - 18. Do -1/6 and a have different values?
True
Let k(g) = 3*g - 12. Let f be k(6). Let z be (f/(-9))/((-16)/(-78)). Which is bigger: -3 or z?
-3
Suppose -2*r = -2*y, 12 = -2*r + r + 5*y. Suppose -h + 3 = 0, -3*i + 4*h = 2*h + r. Which is bigger: -1/22 or i?
i
Let h(m) = m**3 - 10*m**2 + 2*m - 2. Let g be h(10). Let r = -22 + g. Are r and 1 nonequal?
True
Let d = -4 - -2. Let h = -3 - d. Let f = 2.3 + -2.3. Which is smaller: h or f?
h
Let r be (-8)/52 - (-657)/(-39). Is r at least -19?
True
Let b = 6694/5 - 1358. Let m be (-156)/(-8) - 2/(-4). Let l = m + b. Does 0 = l?
False
Suppose 3*h + 21 = 4*i, 12 = -6*h + h - i. Which is greater: h or 0?
0
Let i be (18/10 + -2)/(28/(-5)). Which is bigger: i or 0?
i
Let g = 0 - -0.1. Let a = 0.22 + 0.08. Let p = -0.2 + a. Is g bigger than p?
False
Suppose 2*p - 4*f = f + 9, 4*f = -2*p. Let j be (-1)/4 - 13/(-4). Suppose q - p = -j. Which is bigger: q or -1/5?
-1/5
Let w be (-6)/(-15) - 3/20. Let j = 0.7 + -0.9. Is w <= j?
False
Let z = -20 - -52. Does z = 31?
False
Let y be -3 - (-3 - (-100)/35). Is y at least as big as -3?
True
Let i = -1385 - -128807/93. Which is smaller: i or 0?
0
Let n = 6 - 8. Let j be n/5 + 13/(-5). Which is greater: j or -5?
j
Let u = -11 - -15. Suppose -r + 15 = u*r. Is r <= 1?
False
Let h(g) = g**2 + 7*g - 4. Let r(v) = -5*v**2 + v**3 + v + 6*v**2 - 2 - 5*v + 3*v**2. Let f be r(-5). Let n be h(f). Which is smaller: 1/2 or n?
n
Suppose -2*n = -0*n. Suppose -4*r + 16 = n, 6 - 20 = -a - 4*r. Is -5/3 equal to a?
False
Let b(o) = o - 2. Let n be b(2). Let z = -10 - n. Let j be -1*((-21)/z + -2). Which is smaller: j or 0?
j
Let k = -27989/18 - -1554. Let w = k + 4/9. Let t = -1 + 1.02. Which is smaller: t or w?
w
Let s(h) be the second derivative of -h**3/6 + 6*h**2 + 3*h. Let o be s(9). Let g be (-3 + o)*3/(-6). Is -2/11 not equal to g?
True
Let z be (-86)/(-30) - (-8)/60. Are z and 4 equal?
False
Suppose -2*g + 4 = -g. Suppose 4 = g*r - 0*r. Is 2 <= r?
False
Let r(q) = -2 - 1 + 0 - q + 2. Let z be r(6). Let n = 7 + z. Which is smaller: n or 3/4?
n
Let m = 0.08 + 0.22. Let w = m + -0.2. Which is smaller: -1 or w?
-1
Let r(w) = -3*w + 9. Let b be r(6). Let k be (-6)/b*(-6)/(-4). Is k smaller than -2/11?
False
Suppose 7*r = 6 + 1. Let f be (0 + (-1)/22)*-2. Is f less than or equal to r?
True
Let c = 3/17 - 43/51. Suppose h + 2 - 6 = 0. Suppose -p - 4*i + 5*i = h, -3*p - 8 = -i. Are c and p equal?
False
Let r = 12 + -13. Which is bigger: 0.2 or r?
0.2
Let b be 208/(-80) - (-3 + 0). Which is smaller: 31 or b?
b
Suppose 0*b - 5*m = -3*b, 4*m = -3*b. Let i be b - 6/(-627)*20. Let a = i + -2/209. Is -1 <= a?
True
Suppose c - 4*m = -4, -3*m - m - 4 = -2*c. Is c bigger than 4?
True
Let p = 1.1 + 0.9. Is p > 1/3?
True
Let f(g) be the first derivative of -g**3/3 + 2*g**2 + 6*g - 4. Let a be f(6). Is -6 smaller than a?
False
Let x = 77 + -162. Let r = -381 - x. Let o = -3846/13 - r. Which is bigger: -1 or o?
o
Let c(v) = v + 12. Let g be c(-12). Do -1/23 and g have different values?
True
Let s = 17.27 + -0.27. Which is bigger: s or 1/3?
s
Suppose 2 = v - 2. Suppose -v*z + 3*f + 53 = 0, -4*z - 2*f + 67 - 9 = 0. Suppose 0 = 2*h - 0*h + 5*q + 13, -4*h = -2*q + z. Is h equal to -3?
False
Let g be 0/(-1) + -2 + -7. Let r = g - -10. Which is smaller: r or 2/9?
2/9
Let i = -13 - -18. Is 0 >= i?
False
Let w = -3 - -7. Suppose 5*u = w*x - 0*x - 72, 33 = -3*u - x. Let f be u/18*(-3)/(-2). Is 1/5 equal to f?
False
Suppose -3*d - 3*w + 81 = 0, 2*w - 5*w - 87 = -3*d. Suppose 3*u + u - d = 0. Which is bigger: u or 5?
u
Let h = 0.99 - -0.01. Suppose -t + 3*y + 3 = 0, -17 = -t - 0*y - 4*y. Let n be (-102)/(-27) - (-2)/t. Which is smaller: n or h?
h
Let i be 27 - (2 + 21/(-9)). Let q = i + -27. Let p = 18 + -55/3. Which is bigger: p or q?
q
Let t = -35 + 33. Which is bigger: t or 2/7?
2/7
Let i(y) = -y - 2. Let v be i(-4). Let x = 50 - v. Let n be 8/(-6)*27/x. Is 0 equal to n?
False
Let n = -10.13 - -10. Let i = n - 0.27. Are -0.1 and i equal?
False
Let u = 92/5 - 18. Let s = 98 - 91.1. Let f = -7 + s. Which is greater: u or f?
u
Suppose 0 = 4*a + 14 - 42. Let b = -4 + a. Let k be 1*-5*(-2)/5. Which is smaller: b or k?
k
Let j(f) = 2*f + 6. Let d be j(-4). Let h be 2/d*(-10 - -11). Let t be -1*(-2)/(2*1). Which is smaller: h or t?
h
Suppose -4*x + 26 = -2. Let t be (0/(x - 4))/3. Let n = -65/154 - -3/22. Is n > t?
False
Suppose 4*o = o. Is o greater than or equal to 2?
False
Let v = -3/14 + -5/42. Let u = 0.8 + 12.2. Which is smaller: v or u?
v
Let k = 4 + -3.99. Let d = -0.11 + k. Are d and 1/4 non-equal?
True
Suppose -24 = -0*t - 4*t. Let u be 1/(-3) + (-4)/t. Let c be 2 + (-9)/3 + u. Which is smaller: c or -1?
c
Let w = 48.9 + -51. Let n = w - -0.1. Which is bigger: n or 4?
4
Let l = -2.34 + 2. Let d = l - -0.4. Which is smaller: 0.1 or d?
d
Let h(q) = 7*q. Let o be h(-1). Let u(t) = -t**3 - 5*t - 8*t**2 - 7 - 3*t + 0. Let m be u(o). Is -2/7 greater than or equal to m?
False
Let w = -5 + 5. Let l = 0.1 + -1.1. Which is smaller: w or l?
l
Suppose -2*r = -4*r - 4, -5*r = -m + 10. Is 12/19 greater than or equal to m?
True
Let n(g) = -g**2 - 7*g + 3. Let d be n(-6). Let t = -6 + d. Let k be (1 - 1)/(2 - 0). Which is greater: k or t?
t
Let i be ((-22)/99)/((-1)/(-102)). Is -23 at least i?
False
Let a be 14 + -14 - 4/(-14). Is 1 bigger than a?
True
Suppose 0 = 4*y - 0*y. Let g = y + -1. Is -1 < g?
False
Let b = -0.1 + -4.9. Let z = b - -6. Which is smaller: z or 2?
z
Suppose -5*x - 146 = -0*s + 2*s, -2*x = -4. Is -77 < s?
False
Let u = -5 - -7. Suppose -u*c - c = 0. Is 0 greater than c?
False
Let v(m) = m - 8. Let q be v(11). Suppose 3*p + q = 3*f - 9, -5*p - 5*f = -20. Let c = -7/12 + -1/12. Is p less than or equal to c?
False
Let a be ((-2)/(-4))/((-8)/32). Let l be a + 1*(1 + 2). Which is smaller: l or -1/7?
-1/7
Let r be (4/(-5))/((-7)/140). Are r and 17 unequal?
True
Let u = -0.1 - 0. Let t = u + 0.3. Let v = -0.3 + t. Are v and 2/5 non-equal?
True
Let p = 4 + -1. Suppose 5*f + 22 = -p*j, 4*f + 11 = -4*j - 5. Let z = 98/3 - 33. Which is greater: z or j?
j
Let j(s) = 2*s**2 + s - 1. Suppose 0 = -5*u + 1 + 14. Suppose -2 = d, -u*d - 2 = -4*v - 4. Let l be j(v). Which is bigger: 0 or l?
l
Let r = -5 + 8. Let t be (307/(-12))/((-5)/3). Let d = t - 68/5. Is r > d?
True
Let x(v) = 4*v + 17. Let t be x(-4). Which is smaller: t or -6/19?
-6/19
Let o(m) = m**2 - 5*m - 7. Let c be o(6). Let u = 6 - c. Which is smaller: u or 6?
6
Let o(w) = w**2 + 9*w + 7. Let k be o(-8). Is 1/7 > k?
True
Let y = 68 - 101. Is y less than or equal to -33?
True
Let s = -5 - -3. Let w be -6 + (-2)/(-1) + 0. Let v be (2/w)/(10/(-20)). Which is smaller: v or s?
s
Suppose -5*d + 4 = -0*d - 2*c, 5*c = 4*d - 10. Is d <= -2/131?
False
Let a be (4/(-3))/((-1)/3). Suppose a*g + 2*b = 2, g + 4*b + 3 = -0. Suppose g = -3*n + 4. Which is bigger: n or 2/9?
n
Let p = 0.08 - -0.14. Let b = 0.08 + p. Let d = 0.08 + 0.02. Is b at least as big as d?
True
Let x = 0.18 - -0.02. Let d = -0.4 + x. Which is smaller: 0.1 or d?
d
Let b = 1/14 + -17/42. Suppose 0 = -5*h - 5*v + 300, -h - 3 = 5*v - 59. Let o = -307/5 + h. Which is smaller: b or o?
o
Suppose -4*j = -3*i - 9, -2*i - 6 = -2*j - 0*i. Are j and 3/4 equal?
False
Let c(v) = -v**2 + 2*v + 4. Let w be c(3). Suppose -2 = -a - w. Let l = 62 - 311/5. Which is smaller: l or a?
l
Let r be (-44824)/(-18) - 8/36. Let c