 5*u + 3*t + 6 = -2, -d = 4*t. Is l at least u?
True
Suppose 4*s = 12, 3*q - 5*s + 5 = -4. Suppose 20 = q*a + 2*a. Suppose 0 = f + 4*g + 6 - 26, a*f - g + 5 = 0. Is 0 greater than f?
False
Let y = 159 - 1116/7. Suppose 0 = -4*r - 2 - 2. Is y at most r?
False
Let c be 2/(-10) + 392/(-40). Let f = 13 + c. Is f at most as big as 1?
False
Suppose -d + 6*d = -15. Let p be -1 + -3*d/15. Are 1 and p unequal?
True
Let v be 2*-4*(-1)/8. Which is smaller: -2/31 or v?
-2/31
Let r = -5.07 - -4.87. Let g be (-3 + 1)*1258/44. Let f = g - -57. Which is greater: f or r?
f
Let o be (1/(-2))/((-1)/(-14)). Let t = -3 - o. Which is greater: t or 2?
t
Let w = 2 - 3. Let t be w + 4 + (-4 - -2). Which is smaller: t or 2/17?
2/17
Let y = 85 - 83. Is 5 bigger than y?
True
Let g be (8/(-24))/(1/(-3)). Let u be (((-4)/154)/g)/2. Let l = -223/616 + u. Which is smaller: l or 0?
l
Let l = 93 + -89. Which is bigger: 1 or l?
l
Let r = -0.04 + 0.64. Let x = r + -0.4. Let f = x + -0.1. Which is smaller: f or 0.2?
f
Let v = -14 - -24. Is 10 >= v?
True
Let m be (-121)/(-4) + 2/(-8). Suppose -12*u + 8 = -8*u. Let p be u/7 + m/42. Which is greater: -2/9 or p?
p
Suppose -4*l = -27 + 11. Let w(y) = y**2 - 8*y + 10. Let i be w(7). Let c = i - l. Is c > 0?
False
Suppose -30 = -5*v + 5*x, 0*v - 3*v + 22 = -5*x. Let z be (8/3)/v*6. Let m = -144 + 147. Which is bigger: m or z?
z
Let h be 2 + (0 - -1) + -1. Suppose 6 = -3*m + 9. Is h at least as big as m?
True
Suppose -16 = 3*q + 2*m, m = -5*q + 3 - 25. Let o = q + 4. Let z = 74/5 - 15. Which is greater: o or z?
o
Suppose 3*y + 3 = 18, 4*s + 5*y - 13 = 0. Suppose 0 - 4 = -l. Let u = s + l. Is 2 != u?
True
Let u = 4 + 3. Suppose -4*p = -u*p. Do p and -4/3 have the same value?
False
Let l = -7 + 12. Suppose -2*w + 5*d = -3*w + 2, 0 = -l*d. Suppose -4*v - 3*b - 2 = 0, -5*v - 5*b = -0*v + 5. Do v and w have different values?
True
Let j = 0.6 + -0.4. Let h = 0.1 - j. Do 2 and h have the same value?
False
Let y be (24/(-870))/(((-2)/5)/1). Do y and 0 have different values?
True
Let l = -1.28 - 0.02. Let u = l + 8.3. Let z = -6.5 + u. Which is bigger: z or 1/3?
z
Let f = -754/3 + 21067/84. Let b = f + 2/7. Does b = 2/3?
False
Let j = -28/165 + -2/165. Is 2/3 greater than j?
True
Let z = 1494/7 - 213. Does -1/3 = z?
False
Let x be 2/2*(-5 + 0). Let z(i) = i**3 - 3*i**2 + 2*i - 4. Let a be z(3). Suppose a*j + 8 = -0*j. Is x smaller than j?
True
Let p = -3 + -1. Let f = p - -3. Is f at most as big as 1/3?
True
Suppose -55 = 6*d + 425. Let w be 2/(-16) - (-310)/d. Suppose -g + 6*g + 30 = 0. Is w > g?
True
Suppose 2*c + 0*c - 8 = 0. Let l(k) = -k**3 - 14*k**2 + 15*k + 2. Let u be l(-15). Which is greater: c or u?
c
Suppose 2 - 3 = -l. Is 2/3 at most l?
True
Let v = -657 - -3271/5. Which is bigger: -4 or v?
v
Suppose 4*h + 4 = 2*u, 5 = 3*u - h - 1. Which is smaller: -3 or u?
-3
Let w(a) = -2*a + 2. Let h(i) = -i. Let m(y) = -3*h(y) + w(y). Let l be m(-3). Do -8/9 and l have the same value?
False
Let h = 39252/5 + -7875. Let l = 32 + -7. Let u = h + l. Are 0 and u nonequal?
True
Let g be -1 - (0 - (-26)/(-28)). Suppose 0 = 4*z + z. Which is greater: z or g?
z
Let c = 15 - -7. Let j = -17 + c. Let n = -0.7 + -0.3. Which is smaller: n or j?
n
Suppose 0 = c + 4*c + 5. Let k = 103 - 719/7. Which is smaller: c or k?
c
Suppose -c - 1 = 2. Let r be 2/3 + (-1)/c. Is r at most 0?
False
Let y be (8/50)/(6/(-15)). Is 1.1 != y?
True
Let n = 3.5 + -3.81. Let g = 0.01 + n. Let t = g + 0.5. Are -1 and t non-equal?
True
Suppose -16 = -2*r - 2*t, 0*r - t = -4*r + 37. Let v = -5 + r. Which is smaller: 3 or v?
3
Let g = 4 - -1. Let w = -1 - g. Which is smaller: -5 or w?
w
Let n = -2 + 5. Suppose -u - 3*w + n + 6 = 0, -w + 3 = -u. Let l = -100/9 + 98/9. Is u at most as big as l?
False
Let b be (-9)/(-7) + -1 + (-517)/(-77). Which is bigger: 8 or b?
8
Let t be 5/(-5)*(-2)/(-8). Let x = 21/4 - 19/4. Which is greater: t or x?
x
Let f(g) = -2*g**2 - 19*g - 9. Let s be f(-9). Let d be ((-12)/10)/((-2)/5). Is s less than d?
True
Let j be 3 + 4 + 321/(-48). Is 1 smaller than j?
False
Let u = -2.96 + 3. Let j = u - 1.04. Let t = j + 1.5. Which is greater: t or 0.1?
t
Let f be ((-78)/(-14))/((-2)/7). Let y be ((-5)/3)/((-2)/24). Let k = f + y. Which is greater: k or 0?
k
Let l be 14 + -11 + (7 - 0). Is l bigger than 10?
False
Let z = -221 - -110. Is -111 less than or equal to z?
True
Suppose 1397 = -10*c + 5*c + 3*j, 2*c + 542 = -3*j. Let v = -140490 - -3800711/27. Let q = c + v. Is 0 at most as big as q?
True
Let o be 1617/1575 + 2/(-2*1). Which is bigger: o or 1?
1
Let m be 0/3 + 2/(-6). Suppose 2*i + 0*y = -3*y - 11, 4*y = 4*i - 8. Let d be i/4 + 15/(-20). Does d = m?
False
Suppose -4*u = 3*b - 5*u + 52, b + u + 24 = 0. Does b = -18?
False
Let x be 6/(-20)*4/3. Let g be 11/4 - (-3)/12. Suppose -2*q + w - 6 = 2*w, -q = -g*w - 11. Is x greater than q?
True
Let r = -2.6 - -1.4. Let p = r + 0.2. Suppose 0*q = 2*q + 4. Which is bigger: p or q?
p
Suppose -3*d - 23 = x, -5*x = -2*x - 5*d + 27. Let u = -8 - x. Let n be (4/u)/((-2)/3). Is n greater than or equal to -1/3?
False
Let n(j) be the first derivative of 5*j**2/2 + 7*j - 1. Let o be n(-2). Is -3 not equal to o?
False
Let m(a) = -a**3 + 2*a**2 + a - 2. Let n be m(2). Which is greater: 1/38 or n?
1/38
Suppose 8 = -0*o + 4*o. Let y = -12 - -14. Suppose 0 = y*s + o*s. Is s greater than or equal to -4/3?
True
Suppose a - 2*a - 2 = 0. Suppose -3*u = -2*z + 11, u + 3 = -0. Which is bigger: z or a?
z
Let g = -13 + 19. Is g != 4?
True
Let b = -0.1 - -1.1. Let y = b - 1.1. Let l = 5/2 + -3. Is y at least as big as l?
True
Let b = 0 + 0. Suppose 3*v - 95 = -b*v - 5*u, 0 = -2*v + 5*u + 55. Let d be (-2)/v*-1*-3. Which is bigger: d or 1?
1
Suppose 5*j + 3*c = 6*c - 15, 5*c = 25. Which is bigger: j or -0.057?
j
Let j be 1 - (2 + -10)/2. Let m = j + -4. Let i be 2 - (m - 0/(-3)). Which is smaller: 2/11 or i?
2/11
Let v = 250 - 2248/9. Is v equal to -1?
False
Suppose -i + 40 = f, -3*f + 2*i + 116 = 7*i. Suppose -6*l = -l + 10. Let x be (36/f)/(l/14). Which is smaller: -7 or x?
-7
Let n = 1 - 1. Suppose -3*c + 3*t + 8 - 17 = n, -9 = 3*c + t. Let u be (-10)/5*c/(-2). Which is smaller: -1/2 or u?
u
Let a = 0 + 1. Which is greater: a or -0.7?
a
Let u = -0.2 - -0.3. Let p = 86 + -85.94. Which is smaller: u or p?
p
Let k = 5 - 8. Let g(p) be the third derivative of p**5/60 + p**4/4 + p**3/3 + 2*p**2. Let h be g(-5). Is h >= k?
True
Let a = -0.024 + -0.276. Which is smaller: a or -2/3?
-2/3
Suppose 0 = 2*y - 7*y - 5. Suppose 4*z - 3*z + 2 = 0. Which is greater: y or z?
y
Let h = -367/4 + 91. Let z = h + 37/60. Which is smaller: z or 1?
z
Suppose d = 0, 2*u + 2 = 5*d + 4. Let s(r) = r**2 - 6*r - 2. Let n be s(3). Let o = -9 - n. Which is greater: o or u?
o
Let c = -27 - -29. Which is smaller: 2/7 or c?
2/7
Suppose -9 = -3*k + 3*f, 1 = -2*f - 1. Let q be 3 + 32/(-10) + (-48)/(-15). Which is bigger: k or q?
q
Suppose -13 = -r - p, 0*p - p - 14 = -2*r. Let x be 6/r + (-2)/12. Let a(k) = -k**3 - 2*k**2 + 4*k + 3. Let b be a(-3). Is b greater than x?
False
Suppose z = -5*h - 198, -h + 0*z - 46 = -3*z. Which is bigger: -39 or h?
-39
Let a be -10*((-7)/(-2) + -3). Is -3 equal to a?
False
Suppose 0 = 3*r - 7*r. Suppose 0 = p - 1 + 2. Let f = p + 0. Is f not equal to r?
True
Let v = 0.128 - 0.088. Let z(q) = q**2 - 5*q + 4. Let t be z(4). Is v equal to t?
False
Let g = -9 - -7.8. Let n = 1.4 + g. Are -1 and n non-equal?
True
Let a be (-1 - -1)*1/2. Let i be ((-4)/(-4) + 0)*-1. Is i at most a?
True
Suppose -2*p + 28 = -4*k, -4*p = -2*k - k - 26. Are -1 and k non-equal?
True
Let w be 4 - -4*78/(-80). Which is bigger: w or -0.09?
w
Suppose -h + 77 = 14. Let u be 128/(-350) + 18/h. Which is smaller: 0 or u?
u
Let c(b) = b**2 + 21*b + 21. Let y be c(-21). Which is smaller: 19 or y?
19
Let a(y) = -9 + 4*y**3 + 2 + y**2 - 3*y**2 + 5*y. Let c(r) = -3*r**3 + r**2 - 5*r + 6. Let d(g) = 4*a(g) + 5*c(g). Let k be d(4). Is -2 equal to k?
True
Let r = -5/258 + -619/7998. Are 0 and r equal?
False
Suppose -5*j + 3 - 13 = -4*l, 2*j + 4 = -5*l. Is -12 greater than j?
False
Let v = -179/6 + 30. Let q = 0 - 0. Which is bigger: q or v?
v
Suppose 2*n = -4*x + 2*x - 10, -3*x - 2*n - 16 = 0. Let m be (1/x)/(4/8). Are 7 and m non-equal?
True
Let z(p) = -p - 2. Let r be z(-3). Is r