20 = 3*x. Which is smaller: 1 or u?
u
Let u(a) = -a + 1. Let o be u(-4). Let c(h) = -h**2 + 7*h - 4. Let b be c(o). Let z = b - 6. Do z and -0.1 have the same value?
False
Let g = 1.432 + -0.032. Do 2 and g have the same value?
False
Let l be 0/(-2) - 2/10. Suppose -4*c = -2*x + 3*x - 25, 5*x - 35 = -5*c. Let m be (-4)/c - 9/(-27). Which is greater: m or l?
l
Let f be 5/(100/8) - (-9)/(-35). Is f smaller than 0.2?
True
Let i be 10/15*3/(-2). Let y be (-2)/8 - 878/(-24). Let n = y + -37. Is i greater than or equal to n?
False
Suppose 9*d - 434 = -11. Are d and 47 non-equal?
False
Suppose 0*c = 4*c + 32. Do c and -7 have the same value?
False
Suppose 2*u = -2*u - 2*b - 6, 0 = -2*b - 10. Let p be 3/(-9) - 86/(-294). Let i = p + -39/245. Is i smaller than u?
True
Let p be (-12)/54 + 38/9. Let a be (30/20)/(p/2). Which is smaller: -5 or a?
-5
Let n(k) = 2*k + 10. Let s be n(-5). Let b be 29/10 - (0 + -1). Let g = b - 17/5. Is g != s?
True
Let p(n) = 2*n - 13. Let v be 18/72 - (-27)/4. Let b be p(v). Which is greater: 2 or b?
2
Suppose -15 = 3*f + 2*f. Is -2 less than f?
False
Let l = -110 - -116. Does l = 43/6?
False
Let r = 0.7 + -0.4. Let s = 0.31 + 0.69. Is s not equal to r?
True
Let m = -1.2 - -1.2. Let n = 0.06 - 4.06. Which is bigger: m or n?
m
Suppose 4*w + 24 = 5*q - q, -3*q - 31 = 4*w. Suppose -3*s = 4*r + 17 - 2, -5*s = r - 9. Which is greater: w or r?
r
Let l be (-66)/23 - (-4 + 1). Are 0 and l nonequal?
True
Let c be (2 - (-12 - -4)) + 1. Is c > 34/3?
False
Suppose 8 = 6*m - 16. Which is bigger: m or 2?
m
Let w = -2 - -1.93. Let p be (69/(-46))/((9/4)/(-1)). Which is greater: p or w?
p
Let n = 55 - 52. Which is smaller: n or -7?
-7
Let a be (14/(-70))/((-4)/(-10)). Which is greater: -0.1 or a?
-0.1
Let c = 21 + -12. Let n = c + -6. Which is bigger: 4 or n?
4
Let y = 334/3 + -111. Let j = 2.8 + -3. Which is smaller: y or j?
j
Let f = 1039/7 - 148. Are f and -4 non-equal?
True
Let z be (-9)/(-15)*(-2)/15. Let t = -26184 - -1963769/75. Let l = t - z. Which is smaller: 1 or l?
l
Let g(j) = -2*j - 3. Let o be g(7). Is o equal to -1/2?
False
Suppose -3*t = b - 0*t - 1, t = 2. Is -7 smaller than b?
True
Suppose 3 = -3*m, -t - m - m = 4. Is -20/7 at most as big as t?
True
Suppose -5*g + 25 = 0, 0*n + 15 = n + 2*g. Suppose -7 = n*w - h, h = -3 + 5. Let c = -0.2 + 0.1. Is c != w?
True
Let x = 6 - 6. Suppose 2*t - 2*c - 4 = 3*c, x = -3*c - 6. Which is bigger: 1/2 or t?
1/2
Suppose -4*i + 0*i - 36 = 0. Which is bigger: -10 or i?
i
Let s = -6 + 8. Let u = s - 1. Let a be 12/(-126)*6/2. Is a less than u?
True
Suppose 6*f - 4 = 2. Let t be 6/9 - (-8)/6. Which is bigger: f or t?
t
Suppose 3*q + y + 6 = 0, 0 = -4*y + 6*y - 6. Is 1 greater than q?
True
Let f = 6 + -1. Let k = 0.365 - 0.165. Which is smaller: f or k?
k
Let b(y) = y + 3. Let l be b(-2). Is l <= 3?
True
Suppose 0 = 3*q + 7 - 1. Let g = 0 - q. Let k be (2/g)/(-1) + -1. Is k smaller than -3?
False
Suppose -3*w + 4 = -0*w - k, 5*k = 5*w. Is w bigger than 4?
False
Let o(j) = -j**3 + 4*j**2 - 2*j - 2. Let s = 1 - -2. Let c be o(s). Let v = -1 + 3. Which is bigger: c or v?
v
Let z be (-2*23)/(-14*(-1)/4). Is -13 > z?
True
Let n = -326 - -11409/35. Let a be (-19*2)/(-8 - -113). Let w = n - a. Which is smaller: -1 or w?
-1
Let k = 0.11 - 1.11. Is k at least -1/3?
False
Suppose 0*w + 2*w - 4*u = 20, 3*u = -w - 5. Let p(d) = 5*d**2 + 2*d + 1. Let q be p(-1). Let k = w - q. Are k and -2/5 non-equal?
True
Let r = -33 - -41. Let a be ((-6)/4)/((-21)/4). Is r smaller than a?
False
Let d(l) = -3*l - 1. Let h be d(-2). Suppose -3 = -h*c + 8*c. Let m = 0.1 + 0.9. Which is greater: c or m?
m
Let d = 0 + 4. Suppose 0 = -d*f + f + 132. Let w be (-2)/11 - 36/f. Which is greater: 0 or w?
0
Let b = -6 + 11. Suppose f - 10 = 2*f - 5*u, -u = b*f + 76. Let k = f + 164/11. Is 0 bigger than k?
True
Let c(l) = -l**3 - 10*l**2 - 10*l + 1. Let d be c(-9). Let p be (0 - (-2)/d)/1. Which is greater: 1 or p?
1
Let k(b) = b**3 - 7*b**2 + 3*b + 1. Let x be k(7). Let z = 89/4 - x. Suppose 2*a + 4 = 6*a. Is a > z?
True
Let f(m) = m**2 - 2*m + 4. Let a be f(-3). Do a and 20 have different values?
True
Let c = -3 + -3. Suppose -4*r - 13 - 10 = -q, -r - 17 = -4*q. Do c and r have the same value?
False
Let f be 10/45 - (-209)/(-9). Is f less than or equal to -23?
True
Let d = -29 - -26. Let s be -3 - (d + -2 + 2). Is s > 7/5?
False
Suppose 5*r = -25, 2*x - 8 = -8*r + 4*r. Let l = 14 - x. Which is bigger: 1 or l?
1
Let m = 1 + 5. Let v be (m/9 - 1)*-6. Is v greater than 2?
False
Let l = -24 + 13. Let q = 10 + l. Which is greater: q or 0.1?
0.1
Let g(u) = -u - 2. Let s be g(-2). Let l = 6 - 4. Which is bigger: l or s?
l
Suppose 4*i = 3*g - 14, -2 = 5*g + 4*i - 4. Are 1 and g non-equal?
True
Suppose -u - 2*u - 3 = 0. Let y be -3 - (u + -1 - -2). Do 0 and y have the same value?
False
Let t = -1 - -0.56. Let j = 0.04 + t. Suppose 3 = p + 4. Is p greater than j?
False
Let q = 54 + -90. Let m = -143/4 - q. Which is bigger: -1 or m?
m
Let l = 21 - 19. Let p be ((-6)/(-1))/(l*-1). Do -1 and p have the same value?
False
Let h be 1/2 - (-3)/(-2). Are h and -0.1 equal?
False
Let q be ((-18)/(-162))/((-2)/(-6)). Let j be (-1)/(-3) + (-2)/(-3). Which is greater: q or j?
j
Let r = -6 - -12. Let t = -3 + r. Do -1/4 and t have different values?
True
Let k = -0.3 + 0.4. Which is bigger: k or 1?
1
Let r = 0.1 + -0.2. Let v = -1.9 + r. Let l = v + 1. Are -2/5 and l equal?
False
Let s = 386/7 + -1811/35. Which is smaller: s or 3?
3
Suppose -4*d + d + 21 = 0. Suppose 0 = 2*v + d + 1. Let c be ((-3)/8)/((-6)/v). Does -1 = c?
False
Let l = 0.09 - 0.59. Which is greater: l or 0.1?
0.1
Suppose -2*i + 2 = t - i, -4*t - 19 = -5*i. Which is bigger: 1/6 or t?
1/6
Let c be ((-56)/(-35))/(21/120). Which is smaller: 10 or c?
c
Let p(y) = y**2 - 4*y - 8. Let o be p(6). Suppose 6 = -3*i, 2*q - o*i + 10 = i. Let z be (-27)/15 - (-2)/q. Which is bigger: z or -3?
z
Let t be ((-3)/5 - -1)*(-5)/(-6). Let u = 1 + 2. Let v(d) = -d**2 + 4*d - 3. Let b be v(u). Which is smaller: b or t?
b
Let n(v) = -7*v + 16. Let x be n(3). Let q be (-1 + 0)*2 + -3. Is q bigger than x?
False
Suppose -g + 0*b + b - 4 = 0, 2*b - 8 = 0. Let y = 0 - g. Do -2/15 and y have the same value?
False
Let o = -0.14 + -0.66. Which is bigger: o or -2/7?
-2/7
Let u be 3/(2/4*3). Suppose 4*r + 4*s = -20, 12 = -4*r - 2*s + u. Suppose 0 = 3*x - r - 9. Is 2 <= x?
True
Let k be 2 + (-2 - (2 + 0)). Let m(h) = h**2 + h - 2. Let w be m(k). Does 2 = w?
False
Let t = 1 - 1. Let p = 46 - 45. Is t at least p?
False
Let f be (-1 + -4)/((-10)/30). Is f < 15?
False
Let n = 2 - 6. Let s = n - -4. Let g = -1 + s. Which is greater: 0 or g?
0
Let l = -360.9 - -394. Let f = l - 31. Let i = -2 + f. Which is bigger: i or 2/3?
2/3
Let m = -61 - -60. Which is smaller: m or -0.2?
m
Let t be (-1 + 73/75)*-3. Suppose -15 = 3*n, -9 = -k + 3*n + 5. Is t at least k?
True
Suppose 3*s + 2*s = 50. Do s and 10 have the same value?
True
Suppose -8*a + 171 = u - 4*a, 767 = 5*u - 2*a. Let q = u - 97. Let f be (-5 - -1)*1/q. Which is smaller: 0 or f?
f
Let f be (-256)/6 + 3/36*8. Which is smaller: f or -41?
f
Let z = -426841/7 + 61076. Let c(k) = 3*k**2 - 11*k - 5. Let g be c(8). Let x = z - g. Is 0 > x?
True
Let w be (-2)/5 - 6/10. Is w greater than or equal to 0.08?
False
Let r = -8 + 1. Let z be -2 + -6 - (-3 + 0). Which is smaller: z or r?
r
Suppose 17240 = 3*z + 2*z. Let d = z + -13883/4. Let w = 23 + d. Which is smaller: w or -1?
-1
Suppose -5*k = -1 + 6. Is -7/6 >= k?
False
Let f = 3 - 6. Let z(w) = -w**2 + 5*w - 3. Let n be z(5). Is n greater than f?
False
Let h = 0.14 - -0.16. Which is greater: 0.1 or h?
h
Let s = -0.079 - -0.039. Let a = 1.54 + -0.58. Let k = s - a. Do -1/3 and k have the same value?
False
Suppose -4*n - 2 = -3*n. Let r be (-3)/n*(-2)/(-3). Let c = 8 + -8. Which is greater: r or c?
r
Let h = 3 - 3. Let c = h - 14. Let z be (-4)/c*3/(-6). Which is smaller: 1 or z?
z
Let i = 8 - 4. Suppose 0 = 5*c + v - 35, i*v = 3*c - 0*v - 21. Which is greater: 6 or c?
c
Suppose -3 = 3*n - 0*n. Let c be 0*n/(2 - 1). Does 4/5 = c?
False
Let v be 2/(-3) + 14/(-6). Let q = -5 - v. Let u be ((-1)/2)/(1 + q). Is u at most -2/3?
False
Suppose 0 = -54*h + 55*h + 49. Which is smaller: h or -48?
h
Let x be (1 - (-6)/6) + -3*1. Let t = 6