True
Let i(u) = -u**2 - 6*u - 2. Let l be i(-5). Suppose 0*f = l*f + 18. Is 0.2 not equal to f?
True
Suppose -4*j - i = 1 + 2, 3*j + 5*i + 15 = 0. Which is bigger: j or 6/5?
6/5
Let p = -11 + 10. Let h be (p/(-2))/(14/(-4)). Is -1 != h?
True
Let f = 36.85 + -33. Let o = f + -4. Let j = o - -0.05. Is 2 less than or equal to j?
False
Let n = 8.1 + -1.1. Let l = 3 - n. Which is smaller: 0.1 or l?
l
Let o = -61 + 59. Is -1/2 at least as big as o?
True
Suppose 0 = -3*f - 2 + 8. Let m be 25 + (0 + f - 3). Let l be (-4)/m*(-8)/(-6). Which is bigger: 0 or l?
0
Let b be 9/15*6*6/27. Which is greater: b or 1?
1
Let b(f) = f - 10. Let v be b(5). Let k(l) = 3*l - 4. Let z(n) = -7*n + 8. Let i(y) = -9*k(y) - 4*z(y). Let d be i(v). Which is smaller: d or 2/11?
d
Suppose -k = -5*k. Which is smaller: k or 2/73?
k
Let a(q) = 3*q**2 - 4*q + 3. Let r be a(2). Let u be 5/7 - (-2)/r. Let t be (u + -1)*(0 - 1). Is t greater than -1?
True
Let q be 4/5*(5 + 5). Is q at most 9?
True
Suppose 0 = 6*c + 11*c - 16*c. Is c > -2/15?
True
Let l be (-1)/6*(-3 - -1). Suppose 19*k = -123 - 162. Which is smaller: k or l?
k
Let s = 1 + -14. Which is smaller: s or -15?
-15
Let o = 1.7 - -4.3. Let v = 6.4 - o. Which is smaller: v or -1/2?
-1/2
Let b be 18*(2 - (-1110)/9). Let m be b/176 + 4/22. Is 13 less than m?
False
Let z = 9 + -16. Is z > -4?
False
Let k(p) = p**2 + 5*p + 3. Let j be k(-4). Which is bigger: j or -21/8?
j
Let v be 4/(-18) + 38/(-72). Is 0 bigger than v?
True
Suppose -203 = -5*j + a + 52, 280 = 5*j + 4*a. Let m = 30 - j. Is m at most -1?
True
Let h = -2.1 + 0.3. Let z = -0.2 + h. Is z bigger than 1?
False
Suppose 13 + 12 = 5*n. Let b = 5 - n. Let j = b + -2. Is -3/5 at least j?
True
Suppose -5*k + 10 = -5*r, -2*k + 3*k - 14 = 5*r. Let q = -3.9 + -0.1. Which is smaller: k or q?
q
Let f = 83 + -46. Suppose -2*i + 30 = 2*n, 3*n - f - 18 = -i. Suppose 3*c + n = 6*y - 2*y, 0 = 5*c - 4*y + 20. Which is bigger: c or -1?
c
Suppose 4*a + 11 = -5. Is a bigger than -1?
False
Suppose -3*r = -5*q + 4 + 21, 0 = q - 2*r - 5. Suppose -q = 2*a + 3*h, 3*h + 6 = -a + 5*h. Is a at least 0?
False
Let f be -1 + -3 - (-606)/151. Is f < 0?
False
Let j be 1/((-5 - -2)/540). Let w = j + 725/4. Which is greater: 0 or w?
w
Suppose 6*k + 8 = 2*k. Let b be 3/2*134/(-1). Let v = 1002/5 + b. Which is smaller: v or k?
k
Suppose 8*y + 75 = 3*y. Which is bigger: y or -95/7?
-95/7
Let r = 4.66 + -3.66. Let t = 3 + -2. Is t < r?
False
Suppose -5*q - 3*t = -t + 35, 4*t = 5*q + 5. Which is bigger: -4 or q?
-4
Let q = -6 - -10. Let f be (-1)/(-3)*(1 - -5). Are q and f non-equal?
True
Suppose 0 = 4*m + 2*h + h, 2*h = -5*m. Suppose m = -3*i + 2*i. Let f = -2 + 1.4. Does f = i?
False
Let x = -70 - -63. Suppose 0*m = m + 8. Which is smaller: m or x?
m
Let w = -0.097 - -0.097. Which is greater: 1 or w?
1
Let w = -134 - -134.1. Does -142 = w?
False
Let k(y) = -y**2 + 3*y + 3. Let f be k(5). Let o = -1 + f. Let r = o - -8. Which is greater: r or 2/5?
2/5
Let i = 8.9 + -9. Is i >= 0.94?
False
Let z(x) = -3*x**2 + 2*x - 16. Let m be z(4). Which is smaller: -57 or m?
-57
Suppose 0*s = s. Let v be (-24)/32 + (-25)/(-44). Which is smaller: v or s?
v
Let x be 1/(-12)*65109/(-22). Let n = x + -247. Is 0 bigger than n?
True
Let c = -5.02 - -0.02. Let j = -7 - c. Let z = -1.95 - j. Which is greater: -0.1 or z?
z
Let h = -4 + 7. Suppose 4*r - 8 = 5*g, h*g = -r - 0 + 2. Which is smaller: g or -1/2?
-1/2
Let z = 9 + -17. Let k = 4 + z. Which is bigger: k or -0.2?
-0.2
Suppose 6*i - 396 = -0*i. Is 66 smaller than i?
False
Let g(l) = -7 + l + 7. Let z be g(2). Let i = 4 - 5/2. Which is smaller: z or i?
i
Let u be (0 + (-2)/5)*-5. Let m = -3 + u. Is 1/5 > m?
True
Let x = -3 - -2. Let i = 0 - -2. Suppose -3*l - i = -2*l. Which is smaller: x or l?
l
Suppose -g + 3*z = -34, 0 = -3*g - 2*g - z + 186. Is 35 < g?
True
Let m = -346 - -347.99. Let q = -0.01 - m. Which is greater: q or -2/3?
-2/3
Let q be 0*((-3)/(-2) + -2). Suppose 0 = -q*l + 3*l. Let c(k) = -k + 2. Let i be c(4). Is i bigger than l?
False
Let k = -54 + 65. Do k and 11 have the same value?
True
Let m = 1.6 + -15.5. Let v = m - -14. Which is bigger: -0.08 or v?
v
Let w be (-2)/8 - 202/(-8). Let k be (-5)/w + (-2)/15. Which is smaller: 0 or k?
k
Let g = -22 + 31. Suppose -g - 1 = 2*z. Is -4 less than z?
False
Let r(n) = -n**2 - n - 5. Let v be r(-3). Let a = 3 + v. Are a and -7 non-equal?
True
Let q(d) = -2*d**2 - d. Let l be q(-2). Are l and -1 non-equal?
True
Let u(h) = -h + 7. Let p be u(10). Let c = p - 2. Let y = 5 + c. Is 4/9 equal to y?
False
Let o = -34.2 - -34. Which is bigger: o or -9?
o
Let p = -1 + 2. Suppose -2*k - 9 = -3*n, -n - k - p = 1. Let b be 9/15 + 4/(-10). Which is smaller: n or b?
b
Suppose -j - 21 = 3*w, -4*j + 3*w - 34 = 5*w. Let p be 16/j*(-3)/(-2). Suppose -4*n - 14 = -k, -3*n - 5*k - 2 = -3. Is p at most as big as n?
True
Let c = -6 + 6. Suppose -m + c*m = 5. Let z = m - -6. Which is bigger: -2/13 or z?
z
Let i = -32 - -32.63. Let r = i - 0.6. Let m = r - -0.37. Are -1 and m nonequal?
True
Let x(z) = 4*z - 1. Let r be x(3). Let m be (r - 9)*2/(-4). Let t = -137/693 + 1/63. Which is bigger: t or m?
t
Let h(q) = -11*q + 5. Let a be h(-5). Let x = a + -182/3. Is x at most as big as 0?
True
Let k(q) = 0*q + 0*q - q + 5*q**3 - 4*q**3. Let c be k(-1). Is c at least -1?
True
Suppose -4*t = 16, -l - 4*t + 1 - 8 = 0. Suppose 5*q - 5*x - 15 = 0, -2*x = -0*q + 2*q - 2. Let s be q*4/((-24)/l). Is -2 < s?
False
Let f be (-15)/(-2)*(-16)/(-6). Suppose 4*n + n = 2*r + 34, 3*n - r = f. Suppose -n = -4*k + 3*y + 1, 28 = -4*k - 4*y. Which is greater: k or -1?
-1
Let i(h) = -2*h - 1. Let v be i(-2). Let p(m) = 0*m**3 - 3*m**2 + 4*m - m**v - 3 - m**2. Let d be p(-5). Which is smaller: 3 or d?
d
Let t = -22 - -33. Suppose 2*o - 4*h = -19 - t, 0 = -2*o - 2*h - 18. Let g = o + 7. Which is greater: g or -3?
-3
Suppose -4 + 7 = -3*d. Which is smaller: 4 or d?
d
Let t = 42 + -59. Which is smaller: -18 or t?
-18
Let z be (1 - 1)/((-9)/9). Let j be (z/(-6))/(1 + 1). Does j = 2/21?
False
Let j = 4639/4 - 3363267/2900. Is j at least as big as 0?
True
Let h be 6/(-18) - 2/(-6). Which is greater: -4 or h?
h
Let u = 12 - 5. Let x(f) = f**2 - 8*f + 6. Let h be x(u). Which is smaller: -4/7 or h?
h
Let t = -0.3 - -0.8. Let i = -0.5 - t. Is -0.2 at most as big as i?
False
Let q = -71 + 79.9. Let m = -0.1 - q. Does -1 = m?
False
Suppose 14*t - 17*t - 33 = 0. Is -9 at least t?
True
Let t = -11 - -15. Which is bigger: -2/7 or t?
t
Let a = 4985/3 + -1703. Let h = 49 - 91. Let g = h - a. Which is bigger: -2 or g?
g
Suppose 2*j + 17 = -0*j - 5*b, -3*j - 5*b - 23 = 0. Let w = 10 + j. Suppose -2*l + w*x + 16 = 0, 0 = -5*x + x - 16. Is l >= 2/11?
False
Let y = -1/30917813 + -23002848901/122774635423. Let o = y + 2/361. Is o > 0.1?
False
Let w = 58 - -12. Let r be ((-4)/w)/(2/(-10)). Are 0.5 and r unequal?
True
Suppose -3*t + 41 = -r, -5*r - 145 = 6*t - t. Let q = 222/7 + r. Which is smaller: q or 1/3?
q
Let t = 0.03 + -2.03. Let i = -2 + 4. Let l = i + 0. Which is greater: t or l?
l
Let y = -450049/2 - -876383/4. Let b = y - -5989. Let n = b - 60. Which is smaller: -1 or n?
-1
Let h = 138 - 103. Is -1/3 not equal to h?
True
Let s = -2 - -2. Suppose 4 = -4*q - s*q. Suppose -9*g - 8 = -5*g. Is q < g?
False
Let i(x) = -x**3 - 8*x**2 + 9*x + 1. Let t be i(-9). Let o = 2 - t. Which is smaller: o or -1?
-1
Let b = -7 - -6.93. Let o = b - 0.03. Which is bigger: 10 or o?
10
Let v = -0.04 - -0.07. Let z = -23 + 23. Suppose -4*a + 4 + z = 0. Is v at most as big as a?
True
Suppose y + 16 = 2*d, d + 2*y = 6 + 7. Suppose -3 = -3*n - d. Do n and -2 have different values?
False
Let q = 0 + -0.1. Let m = q - 0. Let x = -2.864 - 0.136. Which is greater: x or m?
m
Let q be 2 + 1 - (0 + -3). Are 6 and q non-equal?
False
Let z be (-15)/(-6)*(-8)/(-20) + -48. Is -47 at most z?
True
Suppose 0 = -3*m - w + 6*w - 8, 0 = -2*m + 3*w - 5. Which is smaller: -2/145 or m?
m
Let l = -9973201/195 + 51144. Let f = 7/15 + l. Which is smaller: f or 0?
f
Let h be 667/(-728) + (-12)/42. Let f = 4063/936 + h. Let u = 26/9 - f. Which is smaller: u or 0?
u
Let t = -1006/2465 + 8/145. Which is smaller: t or 1?
t
Let c(z) = -z**2 - 9*z + 1. Suppose -6*u + 3*u + 5*g = 32, -u + 4*g - 13 = 0. Let y be c(u). Let h = -1 + y. 