t u be (40/(-50))/((-2)/60). Suppose 0 = -11*f + 7*f - u. Let x be f + 3 - 54/(-3). Which is greater: 14 or x?
x
Let y = -2356 + 2355. Is y less than -20/31?
True
Let b be 4/40 + (5 - (-7115)/(-1400)). Which is smaller: 0 or b?
0
Let x(l) = -l**3 + 4. Let w be x(-3). Are 31 and w non-equal?
False
Suppose 2*z = 3*p - 0*p + 28, 2*z = -p - 20. Let l be 8/(-117) - p/54. Suppose 5*j + 9 - 4 = 0. Which is greater: l or j?
l
Let b = -0.02 + 17.52. Let d = -18 + b. Let l = d - 3.5. Is 0.1 greater than l?
True
Let l = -2 - -3. Let v = -325.1 + 324. Which is smaller: l or v?
v
Let d(p) = 16*p - 196. Let r be d(15). Which is smaller: 49 or r?
r
Let c be (3 + 259/(-14))*6. Let v = 94 + c. Let s be -1 - 2*(-11)/18. Is v at most as big as s?
False
Suppose 7 - 22 = -5*x. Suppose -8 = x*s - 11. Are s and 3/4 non-equal?
True
Let u be (4/(-294))/(-17 - 1526/(-90)). Are u and -1 unequal?
True
Let z be -7 + 5 + 5922/(-40). Suppose 0 = 4*c - 244 - 356. Let o = c + z. Which is greater: 0 or o?
0
Suppose -2*h - 10 = 12. Let k = h + 11. Suppose v + 5*a - 6 = 0, -5*a + k + 2 = -3*v. Which is bigger: -1/8 or v?
v
Let a be (-2)/24 + 15 + (-944)/64. Which is bigger: -2.9 or a?
a
Let q be (-4)/(-2) + 1 + 101. Let a be 3/(-4*(-3)/q). Let o be (-4)/15*39/a. Are 2/29 and o nonequal?
True
Let w be 0/((-2)/(-1) - 1). Let q be -9*(-3)/9 + (0 - w). Is q <= 2?
False
Let p(i) = i - 1. Let j(q) = 7*q**2 + q - 1. Let y be j(1). Let u be p(y). Is u less than or equal to 7?
True
Let n(l) = l**2 - 10*l + 14. Suppose 0 = 4*b - 2*i + 5*i - 26, 0 = 2*b + 5*i - 6. Let a be n(b). Are a and -2 nonequal?
False
Let k be 3/1 + 8/4 + -6. Let a = 1 + -1. Which is greater: a or k?
a
Let i be ((-630)/28)/(2/12). Is i less than -539/4?
True
Let n = -62 + 59. Let p = 1 + -0.9. Let j = 2.1 - p. Which is smaller: n or j?
n
Let u(k) = 2*k**2 + 5*k + 6. Let w be u(-2). Let q(t) = 2*t. Let s be q(2). Suppose 0 = -v + s*v - 12. Is v at least w?
True
Let f = -43 - -48. Is f greater than 14/23?
True
Suppose -3*b = 2*r - 38, -2*b + 5 = 4*r - 55. Let v be (0 - -1)/(2/28). Is v smaller than r?
False
Let c = 2753/8 + -345. Which is greater: -1 or c?
c
Let y(k) = -8*k**2 - 113*k - 9. Let g be y(-14). Is g at least 6/17?
True
Suppose -19*a - 1248 = -3*a. Which is greater: a or 0?
0
Let v = 633 + -1877/3. Which is smaller: v or -0.1?
-0.1
Let l = 593/5 - 119. Suppose -2*o + 7 = o + 2*r, -3 = 3*o - 3*r. Which is bigger: l or o?
o
Let i be 144 - 147 - 1*26*-1. Is i at most as big as 145/6?
True
Let h = 1766 - 1732. Is 32 less than h?
True
Suppose -22*k - 13 = -1157. Is 48 greater than or equal to k?
False
Suppose 2*t + t = 4*g - 41, 5*t - 3*g + 61 = 0. Let d = 351 - 364. Which is smaller: d or t?
d
Let q = 124.48 + -125. Which is greater: 2 or q?
2
Let h(x) = x**2 - 29*x + 145. Let o be h(7). Let d(i) = -6*i + 1. Let u be d(2). Is u at least as big as o?
False
Suppose -3*i + 3*b = b - 6, -4*i + 10 = -2*b. Suppose -i*q + 2*q + 28 = 0. Let t be (q/8)/((-1)/(-4)). Is 4 at most as big as t?
True
Let y be (17 + -12)*(-9)/5. Is -23/3 smaller than y?
False
Suppose -2*j + 4*a = 3*a - 3, 2*j + 5*a - 21 = 0. Suppose j*n - 3*x - 42 = -3, -x - 5 = 0. Let l = -57 - -63. Is n greater than l?
True
Suppose 0 = 415*h - 407*h. Which is smaller: -14/67 or h?
-14/67
Let r(j) = -10*j - 8. Let q be r(-2). Does 14 = q?
False
Let x(q) = q**2 - 4*q - 4. Suppose 3*c - 2*a = 6*c - 19, c = 3*a - 1. Let i be x(c). Is 4 <= i?
False
Let m = -2 - -5. Suppose -581 = 4*n + 3*n. Let x = n + 81. Which is bigger: x or m?
m
Let g(s) = s**2 + 5*s + 1. Let k be g(-4). Let b be 1/k + (-68)/12. Let q(j) = -3*j**2 + 2*j + 1. Let v be q(-1). Is v not equal to b?
True
Suppose -84 = -t + 4*u, -92 = 35*t - 36*t - 4*u. Is 88 <= t?
True
Let r = -32/21 + 125/84. Suppose 5*g = v + 3, 4*g = 4*v + 14 - 2. Which is smaller: r or g?
r
Suppose 0 = 3*t - 0*t, 272 = 4*i - t. Let s be 3/(-5) + i/(-20). Let w = -1 - s. Do w and 2 have the same value?
False
Let i = 89.985 + -90. Let d = i + 0.015. Do d and -50 have the same value?
False
Suppose 0 = -112*x + 120*x. Is -2/211 bigger than x?
False
Let x be 5*472/248 + -7. Which is greater: x or 3?
3
Let l(k) = -k**2 + 1. Let o(d) = -d + 10. Let u be o(8). Suppose u*x + 2 = i, -2*i - 3*i = 5*x + 20. Let g be l(i). Is g at most as big as -7/2?
False
Let c = 179 - 162. Which is smaller: c or -1?
-1
Let z be ((-27)/90)/(5/(-330)). Which is smaller: 3 or z?
3
Let l = -66 + 75. Suppose 0 = 3*k - l*k. Is 1/51 >= k?
True
Let g = 4 - -4. Suppose l - 4 = g. Suppose t - l = -2. Do -2/5 and t have the same value?
False
Suppose -5*f - 4 = 2*c, 0 = -5*f - 6*c + c - 10. Suppose -2*l = -4*l + i + 10, f = -l + 5*i + 5. Suppose -8*w + l*w = 21. Is -7 < w?
False
Let f = -36 + 37. Let j be (-4)/(-21)*45/(-30). Which is smaller: f or j?
j
Let s be 0 + -2 + 1134/(-10). Let a = s + 2882/25. Let v(f) = f + 8. Let i be v(-7). Which is smaller: a or i?
a
Let m = -10755/405046 + 7/278. Is m not equal to 1?
True
Let m = -9.32 + -25.68. Is m > -6?
False
Let c be (14/3)/(2/(-6)). Let n be 2/(-8)*c*2. Suppose 2*a - n*a = 35. Which is smaller: a or -6?
a
Suppose p - 4*l = -5 - 16, 0 = -2*l + 8. Let z be (-21)/(-90) - 0 - 3/p. Is 0 < z?
True
Let c be (427/(-4))/(-1*(-3)/(-12)). Let g be ((-6)/(-8))/1*c/(-183). Is g greater than -1?
False
Let w be (-84)/(-2)*(-5)/9. Let i = w + 22. Let h = 2.13 + -1.13. Which is smaller: i or h?
i
Let i = 521 - 521. Suppose 4*y = -2*v - 14, 1 + 1 = -2*v + 2*y. Let o be ((-9)/4)/(v/(-12)). Is i at most o?
False
Let i = -69.43 + 71. Let f = 1.5 - i. Is f less than 3?
True
Let s = 0.3 - 1.7. Let m = s + 1.55. Let j = m - 0.15. Which is bigger: j or 3/10?
3/10
Let f = -81 + 86. Let n(g) = g**2 - 6*g + 4. Let s be n(f). Which is greater: -0.09 or s?
-0.09
Let u = 45 - 82. Which is smaller: u or -3/10?
u
Suppose 15*i - 60 = 17*i. Let r be (-2)/10 + 718/(-10). Let n be (4/i)/(16/r). Which is smaller: -0.2 or n?
-0.2
Let u = 0.014 + 0.042. Let s = u - -0.024. Which is greater: -1/5 or s?
s
Let d = -8 + 7. Let i(v) = -v**2 - 20*v + 8. Let t be i(-13). Let m be 93/t + (-16)/24. Is m not equal to d?
True
Let h = 0.51 + 122.49. Let v = h + -122. Which is bigger: v or -111?
v
Suppose 18*v = 21*v. Let k be v/(-3)*(-1)/(-2). Let b be -5 - -6 - (1 + k). Is 7/6 less than b?
False
Suppose 5*j + 8 = 6*j. Suppose 11*w = 9*w - j. Let i be 44/(-6) - w/4. Which is smaller: i or -7?
-7
Let p be 1 + 3 + (28/7 - 8). Is 1/36 smaller than p?
False
Suppose 14*i - 7*i = 168. Suppose -i = 33*v - 29*v. Which is greater: v or -5?
-5
Let p(i) = i**2 + 5*i - 19. Let t be p(-7). Let v be (0 - -5)/t*-13. Is 6 bigger than v?
False
Suppose -68 = 6*d - 10*d. Let w = -3 - -4. Let l be 3/(w - d/2). Which is smaller: l or 0.2?
l
Suppose -5122 = -10*d + 2288. Let b be (19/d)/(10/(-12) - -1). Is 1 at most b?
False
Let w = 2.4 + 21.6. Let p = -24.2 + w. Which is greater: p or -2/7?
p
Suppose 17 = 3*u + 5. Suppose 5*m = -u + 19. Suppose -1 = m*v + 2. Is v at least -2/3?
False
Let s = 0.22 - 2.32. Let l = s - -1.8. Is l > 0?
False
Let d = 492 - -1542. Which is bigger: d or 2033?
d
Let s = -0.38 - -2.38. Which is smaller: -59 or s?
-59
Let v = -527 + 339. Is -188 bigger than v?
False
Let m be -2*(7/(-2) - -3). Suppose g = -3 + m. Which is greater: g or -3?
g
Let u be -4 + 6/3 + 1. Let q be 2/(-3) - (3 + u)/6. Which is smaller: q or 0.14?
q
Let g(m) = -3*m - 18. Let t be g(-6). Does 1/296 = t?
False
Let n be ((-2)/6)/((-4)/60). Let f = -19.7 - -20. Which is smaller: n or f?
f
Let u be (23/12558)/(21/(-9)). Is 1 smaller than u?
False
Let n be 6/328*229/12. Let a = n + -22/41. Which is greater: 0 or a?
0
Let k = 175.1 - 185.1. Which is smaller: 30/7 or k?
k
Suppose 0*y - 4*f - 13 = y, 0 = 3*y + 4*f + 7. Suppose -5*v = 5*g - 130, -3*v = -3*g - 21 - 87. Suppose -47 = y*s + v. Is -26 <= s?
True
Let x = 11009150/471 - 23374. Which is greater: x or 0?
0
Let f = -29.71 + -7.99. Which is smaller: 0.1 or f?
f
Let b = 3182 + -385024/121. Let w be (1/(-3))/((-1)/(-3)). Which is bigger: b or w?
b
Let h be (-1 + 0)/(((-2)/(-22))/1). Is -11 <= h?
True
Let c(f) = -f**3 - 10*f**2 - 7*f - 1. Let v be c(-9). Let i be -3 + 0 - 59/v. Suppose 0 = -11*t - 14 + 3. Is t >= i?
False
Let u be (-104)/24 + 4 + 190/3. Which is smaller: 70 or u?
u
Suppose 4 = 2*z - 26. Suppose 9*m = 4*m - z. Suppose -5*u