.9 + x. Let y = d - 0.1. Is y bigger than 1?
False
Let u = 8.3 - 8.2. Which is smaller: u or -59?
-59
Let p = 0.034 - -0.966. Let x = -0.3 + 0.1. Is x less than p?
True
Suppose 0 = 5*w - 4 - 1. Suppose 0 = -v + 3*q + w + 7, 12 = v - 4*q. Is -4 less than or equal to v?
True
Let j = 1 + -1. Let u = -101324/21 - -4827. Let c = -12/7 + u. Do j and c have different values?
True
Suppose 4*m - 43 = 3*q, -5*m + m - q + 39 = 0. Is m at most as big as 9?
False
Suppose 2*m - 32 = -5*b, 0*m - b = -m + 2. Let n = -6 + m. Suppose 3*v = -d + 1, v + 2*d = -3*d - 9. Is v >= n?
True
Let f = 0 - 1. Let n = -6 + 6.4. Which is bigger: n or f?
n
Let l = 7.3 - 7. Let p = -179 - -179.93. Let z = 0.07 + p. Which is greater: z or l?
z
Let m(q) = 8*q**2 - q. Let s be m(1). Let f = 12 - s. Which is greater: 6 or f?
6
Let p = 3 - 2. Let z = p - -1. Suppose 0 = -5*s - 2*d - 0*d - 7, 0 = z*s - 5*d - 3. Which is greater: -2 or s?
s
Suppose 3*c - 12 = 2*t - 0, -3*t = 3*c + 3. Suppose 11 - c = -a. Let y be (a/(-2) - 3)*-2. Which is bigger: y or -2?
-2
Suppose -8*t - 97 + 17 = 0. Is -11 at most t?
True
Let h be ((-18)/(-4) - 4) + (-34)/84. Let v = 0 + 0. Let s = v - 0. Which is bigger: s or h?
h
Let x = 557 + -40105/72. Which is bigger: x or 1?
1
Suppose -9 = -3*k - 5*s, -4*k - 3 = -s + 8. Let i(h) = h - 1. Let g be i(2). Is k >= g?
False
Let o be -9*(2/6 + -1). Let a be (-1)/(-3) - 20/o. Is -2 at least a?
True
Let w = 18 + -13. Suppose -7 = w*z + 3. Let i be 0/1 - z/7. Is i smaller than 1?
True
Suppose 2*w + 3 = -4*u - 7, 0 = -5*w - 2*u + 15. Let c = -3 + w. Let n = -23 + 47/2. Which is bigger: c or n?
c
Let k be 217/669 + (-1)/3*1. Is k at least as big as 1/4?
False
Let k(n) = n**3 + 15*n**2 - 18*n - 32. Let w be k(-16). Which is smaller: 2/189 or w?
w
Let l be -1 - (0 + 1 + 1). Let x be ((-16)/12)/(1/l). Suppose -x*d + d = 0. Is 0 greater than d?
False
Let j = -1.5 - -1.1. Let y = j + 0.7. Let t = -0.3 - -0.2. Which is smaller: y or t?
t
Let h be -2 - (-3 - (2 - 3)). Are h and -1 nonequal?
True
Suppose 0 = -2*y - 4. Let p be (6/3 + -4)/y. Let x = -0.3 + 1.3. Is p less than x?
False
Let k = 8 - 9. Let l = 1.9 + -2. Let o = 0.1 + l. Which is bigger: k or o?
o
Let i = 0.09 - 0.1. Let a = i + 0.21. Let m = -153 + 1073/7. Is a >= m?
False
Let o = 5 + -6. Let c(v) = 12*v**2. Let u be c(o). Suppose 4*f + 3*b = -12, 9*f + 3*b + u = 4*f. Is 1/2 != f?
True
Let r = 13 + -19. Let c be (r/9)/((-4)/3). Which is greater: c or 1?
1
Let c(a) = a**3 + 6*a**2 + 3*a - 4. Let p be c(-5). Let g be (6/2)/(p/4). Is g < 1/2?
False
Let l be (4/39)/((-190)/(-57)). Which is smaller: l or -1?
-1
Suppose 2*h = -2*c - 4, 4*h - 5*c = 8*h + 12. Let o(l) = -l**2 - l + 12. Let d be o(-4). Is h >= d?
True
Let i = 24 - -17. Is 41 >= i?
True
Let r = 77 + -78. Which is smaller: r or 2/35?
r
Suppose -4*i - 4 = -0. Suppose 39 = f - p, 0 = -p - 5 + 4. Let r = 340/9 - f. Which is bigger: i or r?
r
Let j = 0.03 - 0.13. Which is bigger: j or 4?
4
Suppose -2*h - 3*h + 20 = 0. Is h > -2/7?
True
Suppose 0*c = 2*c. Let k = c - -3. Is k greater than 3?
False
Let z = 2 + -5. Let m be z/6*0/1. Is m equal to 4?
False
Let c = 2.34 + -0.34. Suppose -3*x + 10 + 8 = 3*b, -3*b - 5*x + 28 = 0. Let j be b/(-3) - 0/1. Which is smaller: c or j?
j
Let j = -3 - -2. Let n = j + 2. Let v be (-52)/(-14) - 6/(-21). Which is smaller: v or n?
n
Let h be 16/(-140)*10/(-4). Let b(r) = r + 10. Let k be b(-6). Let m be k/4 + 1/(-1). Which is smaller: h or m?
m
Let v be 2*3*38/(-4). Let i be (v/27 + 2)*-3. Is i greater than or equal to 1?
False
Let f(b) = -3*b + 69. Let c be f(23). Are c and -1/56 unequal?
True
Let a = -0.982 + -0.018. Which is smaller: a or 0.048?
a
Let i = 0.16 + -0.2. Let z = 37 - 38.04. Let j = i - z. Are 2 and j unequal?
True
Let q = -0.3 + 0.8. Let k = q - 1.5. Let x = -1 - -2. Is x equal to k?
False
Suppose -3*r + 5*t + 34 = 0, r - 8 = t - 0*t. Suppose 3*w - 2 + 5 = 0. Let k be (0/w - 2) + 4. Which is bigger: k or r?
r
Suppose -2*n + w + 10 = 0, 3*n + 3*w + 6 = n. Are n and 9/5 nonequal?
True
Suppose 0 = 5*j - 3*t - 5, j + 16 = t + 3*t. Which is smaller: j or 9?
j
Let g = -25 - 53. Do -78 and g have different values?
False
Let v be 2704/689 - -4*(-3)/3. Is 1 != v?
True
Let z(j) = j + 26. Let u be z(-11). Is 15 at most as big as u?
True
Suppose 5*s - 4*n - 12 = 0, -3*s + 16 = -0*s + 2*n. Let c(o) = o**2 + 3*o. Let r be c(-4). Suppose 27 - 3 = r*a. Which is smaller: a or s?
s
Let s = -807/8 - -101. Is 0 < s?
True
Let z = 19 - 39/2. Let v = 7 - 6. Let u = v - -2. Which is smaller: u or z?
z
Suppose 0 = -5*j + j + 44. Let p = j - 5. Which is greater: p or 5?
p
Let o(u) = -u**2 + 6*u + 7. Let b be o(7). Suppose b = -9*h + 4*h - 5. Which is bigger: h or -4/5?
-4/5
Let d = -2 - -4. Suppose 0 = p - d*q + 2, 0*p - 2*p - 4 = -5*q. Suppose 3*t = 3*c - 4 - 2, -20 = 5*c + 5*t. Do c and p have different values?
True
Let g be (-1)/15*20/8. Are 0 and g unequal?
True
Suppose 4*t - 16 + 0 = 0. Let p(f) = -f + 2. Let m be p(t). Let v be m/(-7) - (-85)/(-175). Which is smaller: v or 1?
v
Let d be 7 + ((-12)/2)/2. Let a(f) = 0 - 2 + 3*f**2 + 3 + 4*f - f**3. Let l be a(d). Which is smaller: l or 0?
0
Let p = 0.19 + -0.48. Let j = 15.91 + -16. Let k = p - j. Which is smaller: -4 or k?
-4
Let b = -5 - -21/4. Let y be 3 + (1 - -1 - 1). Suppose 0 = -3*v + 3, 0 = 4*g + y*v. Which is smaller: g or b?
g
Let w = 16 + -15. Do -2/7 and w have the same value?
False
Let f = -14 - -19. Let g(h) = h**3 + 3*h**2 + 2*h + 1. Let m be g(-2). Let y be -2 + (-6)/(-1)*m. Is y equal to f?
False
Let h = 497/334 + 2/167. Which is smaller: 0.1 or h?
0.1
Let m be 2/(-8) + 324/16. Let i be ((-8)/m)/((-7)/(-5)). Which is smaller: i or 0.2?
i
Let j = -9 + -2. Which is smaller: -12 or j?
-12
Suppose 54 = -4*x - 2*g, 37 = -3*x + x + g. Is x < -17?
False
Let x = 1 + -0.9. Let a be -1 + -8 - (0 - 3). Let d be 2 + (-5)/((-15)/a). Is d not equal to x?
True
Let m = 98/3 + -32. Which is smaller: 0 or m?
0
Suppose -2*o = 3*o - 5. Let q be 4/2 - o*3. Let h = 1314/7 - 188. Is q > h?
False
Let n = 75 - 90. Do -15 and n have the same value?
True
Let y = 2 + -2. Suppose 5*i - 67 = -2*p, y*i - 31 = -i + 4*p. Let o be i/10*(-4)/(-6). Are 1 and o non-equal?
False
Let o = 26 - 44. Is -20 != o?
True
Let r = 4 + -4. Suppose -4*t + 0*t + 8 = r. Is t less than or equal to 1/4?
False
Let t be ((-4)/(-10))/((-4)/(-20)). Suppose -4*n - n = -4*d + 10, t*d = 3*n + 6. Let u = 1153/7 + -165. Which is bigger: u or n?
u
Let s = 418/5 - 84. Is s less than or equal to -11?
False
Let m(k) = -k**3 + 14*k**2 + 15*k - 9. Let l be m(15). Let s be (-2)/l + 63/81. Are s and -1 equal?
False
Let j(p) = 2*p + 4. Let i be j(3). Let f = -4 + i. Let v = -8 + f. Is v less than -2?
False
Let c(f) = f**2 - f - 4. Let g be c(5). Suppose 0 = -5*r + 4*s + 50, 4*r - 2*s - 21 = 13. Let d be (5/30)/(g/r). Is d less than 0?
False
Let r(m) = -m**2 - 6*m. Let t be r(-5). Let k = t - 9. Let b = k - -4. Is b < 0.1?
True
Let s = -1.8 - -0.4. Let b = -0.4 - s. Let l = 6 - 8. Which is smaller: b or l?
l
Let j be (-1 + -1)/(4/8). Let q = -1 - j. Which is smaller: 1/2 or q?
1/2
Let k be 4/18 + (-1)/(-36). Let q = 4 - 2. Suppose 5*w + 4*x - 13 = 12, q*w + 2*x = 12. Which is smaller: k or w?
k
Suppose 4*j = 2*j - 16. Suppose 2*d = 4*k - 20, -k - 5*d + 17 = -10. Suppose 0 = -4*b + 3*b - k. Which is smaller: j or b?
j
Let l be (-4 - -8) + -3 + 0. Let v(z) = 2*z**2 + 4*z + 3. Let s be v(-2). Is l > s?
False
Let a = -24 + 14. Do a and -2 have different values?
True
Suppose -25 = -6*z + 11*z. Do -3 and z have different values?
True
Let u be 2 - (0 - -2)/1. Suppose 2*s + 2*s - 12 = u. Suppose -2*d - 1 = 3*c, -5 = -4*d + s*c + 2. Which is smaller: 2/3 or d?
2/3
Let m = 3 + -2. Suppose -72*g = -76*g - 4. Which is smaller: m or g?
g
Let i = 42 + -40. Is i greater than or equal to -0.1?
True
Let m = 40 - 15. Is m less than 26?
True
Suppose -2*o + 13 + 1 = 0. Let n be (-5)/30 + o/(-30). Which is smaller: n or -1?
-1
Suppose 7*s - 5 = 6*s. Which is smaller: 4 or s?
4
Let y be 146656/(-12)*(-2)/24. Let i = y - 1021. Let z = i + 244/99. Which is greater: -1 or z?
z
Let k(g) = -2*g**2 - 4*g - 1. Let u be k(-3). Which is greater: 0 or u?
0
Let h = 8 + -16. Let s = h + 9. Is s smaller than 1?
False
Let f = -23 + 25. Do 6 and f have the same value?
Fals