t - 4 = 0. Is t less than r?
True
Let b = 2 + -2.1. Let q = 0.1 + b. Let r = -0.2 - q. Which is smaller: -1 or r?
-1
Let s be 78/(-60) - 1*-1. Which is smaller: 0 or s?
s
Let t = -5476/3843 + -2/549. Is t at least as big as 0?
False
Let t = 0 - 12. Is -13 at most t?
True
Let w = -9/4 - -53/20. Let c(z) = -4*z - 9. Let n be c(-6). Suppose 0 = 5*p - 0*p - n. Which is bigger: w or p?
p
Let s(b) = b**2 + 8*b + 4. Let x be s(-8). Suppose -5*c - 2 = 4*w, 4*c + 3 = x*w - 13. Suppose -w*h = -h. Is -1/3 less than or equal to h?
True
Suppose 5 + 11 = -g. Which is smaller: -17 or g?
-17
Let c = 9 - 9. Let u = c + 8. Let v = 11 - u. Which is bigger: v or 0?
v
Suppose -4*k + 6*k + 10 = 0. Let t = 5 + k. Which is bigger: t or 2?
2
Let b(a) = 5*a**2 + 1. Let u(z) = -z**3 + 8*z**2 - z + 9. Let o be u(8). Let i be b(o). Let s be (i/(-20))/((-9)/12). Which is smaller: 1 or s?
s
Suppose -3*h - 3*v = -v - 10, 5 = v. Let p = 5.98 - 6. Let c = p + -0.18. Is c less than or equal to h?
True
Let t be 7563/(-84) + (-2)/4. Let h = -181/2 - t. Let y = h - 31/84. Which is smaller: y or -1?
-1
Let z(x) = -6*x + 3. Let a(v) = -2*v + 1. Let n(u) = 17*a(u) - 6*z(u). Let c be n(2). Which is smaller: c or 1?
1
Let g = 5 + 0. Suppose -g*a - 3 = -2*a. Which is smaller: 2/29 or a?
a
Suppose -3*y - 16 = -y. Which is smaller: -7 or y?
y
Let j be 53784/61040 + 6/(-10). Let u = 1/218 + j. Are u and 5 unequal?
True
Suppose 3*v = -5*k + 5, k + 2*v - v = 3. Let l be ((2 + 3)*-1)/(-1). Suppose -10 = l*b - 0. Is k at least as big as b?
True
Let o = 15 - 10. Let y = -8 + o. Let p = 32 - 65/2. Which is smaller: y or p?
y
Suppose -u - 4 = 2. Is u > -7?
True
Let s = -52.2 - -52. Is s greater than -5?
True
Let n(r) = -5 + 5*r - 4 - 4*r. Let d(p) = p - 9. Let h(a) = -5*d(a) + 4*n(a). Let m be h(7). Which is smaller: -3 or m?
-3
Let q = 0.1 + -0.21. Let o be 9 + -1 + -10 - (-4)/2. Are o and q unequal?
True
Let z be (0 - (1 - 0))*1. Which is greater: 1 or z?
1
Let c = 1 + -2. Let r = 12.7 + -13. Is r less than or equal to c?
False
Let c = 5 - 1. Let i be 3/(-2)*(-24)/18. Let q = c - i. Which is bigger: -1 or q?
q
Let x = -24 + 41. Which is bigger: x or 19?
19
Let m(l) = l**3 - 4*l**2 + 1. Let v = -7 - -11. Let g be m(v). Which is smaller: g or 2?
g
Let q = -363637 + 80000317/220. Let w = q - 27/20. Is -2 <= w?
True
Suppose -3*w = -h + 24, 2*h + w - 17 = 24. Let o be 6/(-28) - 6/h. Let y(g) = g**3 + g - 1. Let i be y(0). Which is smaller: o or i?
i
Let h = 7 + -7.2. Let l = -0.5 + -1.5. Which is smaller: h or l?
l
Let x = 38.88 - 38. Let i = x - -0.12. Is i >= -0.1?
True
Let i(q) = -q + 6. Let a be i(4). Suppose 32 = -a*z + 2*t, 7 + 1 = -2*z - 4*t. Which is greater: z or -11?
-11
Let c = -31 + 33.3. Let l = -0.3 + c. Is l at most 0?
False
Let r(o) = -o - 5. Let s be r(-7). Suppose -4*y = 3*g - 7*g - 28, -23 = -s*y + 5*g. Suppose a + y = 3. Is a smaller than -1?
False
Suppose v = -0*v - o + 40, -2*o = -2*v + 60. Suppose 6*r + v = r. Let s = -7 - r. Are s and 1/6 non-equal?
True
Suppose -x = -2*x - 4*f + 3, -4*f = -4. Suppose 3*t - 15 = 0, -4*l = l + t + 5. Is x < l?
False
Let w = 9.32 - 10.3. Let c = w - 0.02. Which is bigger: c or 1?
1
Let g = 3/13 + 1/52. Suppose -1 = 2*q - d - 2, 2*d = q - 5. Which is smaller: q or g?
q
Suppose -3*u = -0*u + 6. Let a be 19*1/(-7) + (-2)/7. Are u and a equal?
False
Let b be 1/(-23) - (-4 + 4). Which is greater: 0 or b?
0
Let d = -8 - -11. Suppose d*c - 4 = c. Suppose c*i = -i - 6. Is i <= -3?
False
Let f be (-6)/8 + (-63)/(-36). Are -2/67 and f non-equal?
True
Let c = 89/24 - 29/8. Which is smaller: -1 or c?
-1
Let g = 6/83 + -427/166. Which is smaller: g or 2/5?
g
Let q = -1 + -7. Let b(o) = -11. Let c(z) = z - 1. Let m(j) = -b(j) + c(j). Let h be m(q). Is 1 <= h?
True
Let m(o) = 2*o**2 + 3*o - 4. Let y be m(-3). Let g be (6/(-4))/(5/(-50)). Let a = g - 11. Which is bigger: y or a?
y
Let n be 3 + 1 + (-168)/78. Which is smaller: n or 3?
n
Suppose 5*k = -2*f - 27, -f - 4*f = -k. Let w(x) = x**2 + 7*x + 5. Let r be w(-2). Are k and r equal?
True
Let h be 3 - 3/7*-199. Let w = 88 - h. Which is bigger: w or 0.4?
0.4
Suppose -s = -2*q - 4*s + 1, -5*s + 5 = 0. Suppose -3*k - 10 = -8*k. Suppose 7 = -4*b + k*d - 1, -3*b = -2*d + 7. Is q equal to b?
True
Let t = 662/5 + -132. Let d(h) = -h**3 + 4*h**2 - 4*h + 4. Let f be d(3). Which is smaller: t or f?
t
Suppose 3*k = 2*p + 8, k = -3*p + 3*k - 7. Let r be (-4)/10 + p/(-15). Let s(q) = -2*q**2 - 1. Let c be s(0). Which is smaller: r or c?
c
Suppose 0*o + 3*o = 3. Suppose 4*b + o = 9. Suppose 0 = b*p + 2*p. Which is smaller: -2/5 or p?
-2/5
Suppose -x + 3 = -2. Suppose 0 = -2*t - x*d - 12, -2*t - 2*d - 2*d = 12. Is -6 at most as big as t?
True
Let l = -1 + 2. Let c be l*(-2 - -1)*0. Which is bigger: c or -1/3?
c
Let w be 2/(1/(-3)*-1). Suppose -6*g - w = -9*g. Let z be (-1)/(-4) - g/(-8). Is z at least as big as 1?
False
Let c(k) = k**2 + k - 3. Let l be c(-2). Is 2/73 at most as big as l?
False
Let k be (-2)/(-5) + (-3)/10. Are 1 and k equal?
False
Suppose -4*a = 3*o + 15, 2*a - 9 = 4*a + 3*o. Is a != -1?
True
Let v(q) = -4*q + 51. Let h be v(17). Is h != -17?
False
Suppose j = -3*j + 16. Suppose -j*f + 2*f - 4 = 0. Let q be f/(-6)*(-12)/22. Which is bigger: -1 or q?
q
Let d(o) = o**2 - 16*o + 5. Let h be d(13). Are h and -35 equal?
False
Suppose 0 = r - 2*a + 3*a + 15, -3*a + 45 = -3*r. Do r and -15 have different values?
False
Let u(j) = j + 4. Let x = 11 + -6. Let s be u(x). Suppose -2*d - 10 = 0, 5*f = 3*d - s - 1. Is -4 not equal to f?
True
Let j be 10*((-12)/45 + 4/6). Which is smaller: 5 or j?
j
Let k = -19 - -18.87. Let i = k - -0.53. Which is smaller: i or 0?
0
Let r be -9 - 2*(-2 + 3). Suppose 13 = -i + 2*p, -p - 8 = 3*i + 24. Do i and r have the same value?
True
Let y be (9 - 0)*(-4)/(-12). Suppose -y*x - 9 = -3*h, 2*h + 2*h - 15 = x. Suppose h*t + 0*t = 0. Which is greater: -1/3 or t?
t
Let x(o) = -o - 3. Let r be x(0). Do -5 and r have the same value?
False
Let l = -0.04 + 25.54. Let k = 25 - l. Which is bigger: 0.2 or k?
0.2
Let v = -58 - -59. Is v at most -2/11?
False
Let w = -179 - -180. Let h = -360 - -4682/13. Which is smaller: h or w?
h
Let m = -19 - -113/6. Let x = 8.4 - -1.6. Let c = 8 - x. Which is greater: m or c?
m
Let t be (-4)/14 - 32/(-14). Let r = 6 + t. Suppose -c = 3*c - r. Is c less than 4/5?
False
Let l = -66 + -12. Let k = -548/7 - l. Is k bigger than 0.2?
False
Let q = -2 - 0. Let d = 4 + q. Suppose 0*z + z - d*y = -3, -3*z = -2*y + 5. Which is smaller: z or -2?
-2
Suppose 2*i = 10 + 2. Let w be 16/6*i/(-28). Is w smaller than 0?
True
Let z = -13 + 7. Let a(h) = -h**2 - 6*h - 5. Let x be a(z). Is x greater than -5?
False
Suppose 0 = -2*w - 4*y + 4, 3*w + 5*y - y = 12. Let m = w + -6. Suppose -q + m*q = 1. Is q at least 2?
False
Suppose 2*v + v + 1 = z, v + 3*z - 3 = 0. Is v not equal to 10/11?
True
Let j = 38 + -39. Which is greater: j or -43?
j
Suppose 0 = -0*t + 3*t - h - 8, -5*t = -3*h - 12. Let g = t - 3. Suppose g = -9*w + 4*w - 20. Which is smaller: -2 or w?
w
Let j = -3 + 2.8. Let l = 0.3 - 0.1. Which is smaller: j or l?
j
Let f be ((-6)/40)/(172/20 - 5). Which is greater: f or 0.1?
0.1
Suppose -4*x + 3*z + 13 = -38, 0 = x - 3*z - 15. Let u be (1/4)/(6/x). Are 2 and u equal?
False
Let h = -2 + -1. Let t = h - -5. Let v = t - 1.9. Are v and -0.2 equal?
False
Let u = -16 - -30. Let c be 6/u*14/(-16). Is c at most -1?
False
Suppose -3 = -3*g - 4*o, 0*g + g + 4*o = 1. Which is bigger: g or 2?
2
Let u(g) = -g + 6. Let y = -11 - -14. Let x be u(y). Is 4 bigger than x?
True
Let z be (-64)/(-10) - (-2)/(-5). Let g = z - 6. Let a = -2/157 + -147/785. Is g at most a?
False
Let l be 2/(-10)*(-2 + 3). Let y = -26 - -23. Which is greater: y or l?
l
Let s be -2*1/(-2) - 3. Let b be s + 1 + 1 - 45. Let k be ((-3)/4)/(b/6). Which is smaller: 1 or k?
k
Let h be 3 + (3 + -3)/(-1). Let x(l) = -l**3 + 2*l**2 + 4*l. Let c be x(h). Suppose -2*m + 5*m - 12 = 0. Which is smaller: c or m?
c
Let y be 35/(-12) + 6/24. Let c = y + 7/3. Which is smaller: -0.2 or c?
c
Suppose -4*c - 8 = -12. Which is bigger: -1/8 or c?
c
Suppose -3 = 2*k - 1. Is k smaller than -3?
False
Suppose 2 = -5*q + 12. Let z be q/3*24/32. Which is smaller: 0 or z?
0
Let c = 2/69 - 77/276. Let y = 4 + 1. Suppose t = y*t - 4. Which is 