than or equal to v?
True
Let x = 156782 - 317025. Let z = -62014240/387 - x. Let s = z + 3/43. Is s equal to 0?
False
Let b be 176/33*1/(-36)*-1. Is -1/2 <= b?
True
Let x = -122.84 + 123. Let s = 0.14 + x. Which is smaller: s or 7?
s
Suppose 31 = -4*z + 3*j, -z + 2*j - 3 - 1 = 0. Let k = z + 9. Let a be ((-9)/138)/((-3)/(-4)). Is k smaller than a?
True
Let k be (-10)/(-140) + (-237)/(-14). Do 35 and k have different values?
True
Let j(b) = -b**3 + b**2 + 3. Let y be j(0). Suppose 0 = -d - 5*p + 836, -2*p + p = -y*d + 2428. Let l = 15413/19 - d. Which is smaller: -1 or l?
-1
Let v = 4083/8 - 510. Is -117 smaller than v?
True
Let q(r) = -r**3 + 5*r**2 + r. Let s be q(5). Suppose 2*w - 4*m = -8 + 18, -s*w + 2*m = -57. Suppose -70 + w = 3*o. Do o and -19 have different values?
False
Let v = -1294/3 - -432. Which is smaller: 0.161 or v?
0.161
Suppose 0 = -5*b + 2495 - 2190. Which is greater: 67 or b?
67
Let l = -338461/7 + 48259. Which is smaller: -92 or l?
l
Suppose 7*c = 16 + 12. Let n be (-3)/2 - c/(-2). Let m be ((-20)/22 + 2)/2. Which is smaller: m or n?
n
Suppose 3*m = -1 - 8. Let h = -1 + 0. Let u be (2 + h)/(-1 - 0). Which is smaller: u or m?
m
Let u be 2 - 1*(2 + 0). Let k be ((-1 - 222/(-82)) + -2)/2. Which is smaller: k or u?
k
Let p = 881659/191 + -4616. Is p at most -1?
False
Let m = 21 - 20. Let t be 2*m/2*-3. Let z(c) = -c - 3. Let g be z(t). Which is smaller: 1/24 or g?
g
Let i be 7/(1372/(-63)) + 3/4. Which is smaller: -2 or i?
-2
Let w = 3.31 - 0.21. Let j = -3 + w. Let b = -1100 - -1097. Is j equal to b?
False
Let f(l) = -l**2 - 9*l - 16. Let j be f(-7). Let d be (-4)/j*1 - (-102)/(-46). Is 0 less than or equal to d?
False
Let m(z) = z**2 + 23*z + 120. Let l be m(-15). Is 21 smaller than l?
False
Let s = -827.8 + 828. Is -36.7 greater than s?
False
Let j(z) = -z**3 + 3*z. Let f be j(-2). Let t = -15 + 14. Which is smaller: f or t?
t
Let g be (-1 - 215) + (-40)/(-5). Which is smaller: -209 or g?
-209
Let a(b) = -b**3 - 6*b**2 - 2*b - 3. Let g be a(-3). Let p be (g/(-3))/(1 - 2). Suppose -7*v + 4*v = 24. Is p >= v?
True
Let p(u) = -u**2 + 10*u - 1. Let a be p(11). Let l be -4 - (a/4 - 6). Suppose 1 - l = -4*x. Which is greater: x or 0.2?
x
Let w = -0.98 + 78.98. Let z = 77 - w. Is 4/11 equal to z?
False
Let x = -54 + 111. Let g = x - 56. Which is smaller: 2.1 or g?
g
Let f = 1656 + -1369. Are 289 and f nonequal?
True
Suppose -3*n + 12*l + 74 = 8*l, 2*l - 2 = 0. Is 2 at least as big as n?
False
Let n = -0.043 - 21.957. Is -1 > n?
True
Let u(z) = -3*z + 0*z**3 + 0*z**2 - 3*z**2 + 4*z - z**3. Let l be u(-3). Let k be ((-3)/15)/(l - -4). Which is bigger: -1 or k?
k
Let b = -0.07 + -18.93. Let z = 17.5 + b. Let x = z - -1.6. Is 1/5 greater than x?
True
Let i = 585 + -1171/2. Let u = -2/3429 - 13646/120015. Is u < i?
False
Suppose 5*k + 4*r - 4 = 6, -5*k = 5*r - 10. Let f(d) = d**k + 0*d**2 + 3 + 12*d - 13. Let n be f(-13). Which is smaller: 12/5 or n?
12/5
Let b = 37/6 + -157/24. Which is smaller: b or 0?
b
Let v be (78/(-5))/((-1)/30). Suppose -v = 8*k - 17*k. Is k not equal to 53?
True
Let y(d) = 3*d - 7. Let n be y(4). Suppose 0 = n*l + 17 + 8. Let h(a) = a + 2. Let t be h(l). Which is smaller: -2 or t?
t
Let m = -3.34 + 3.3. Let s = -0.16 + m. Is s at least as big as 1.5?
False
Suppose -c + 1 = 4*k - k, 2*k - 5*c = -5. Let i be k/(-4 + 1*(1 - -1)). Let f = -0.06 + -1.34. Is f smaller than i?
True
Let f(i) = -2*i**2 - 14 + 12*i**2 - 7 + 13*i - i**3. Let s be f(11). Is s at most as big as -10?
False
Let x = -728 - -1064. Let i = x - 10418/31. Suppose 412 = 2*g + 410. Which is bigger: i or g?
g
Let i(n) = n**2 + 10*n - 10. Let v be i(-8). Let g = -17 - v. Is g at most as big as 9?
True
Let a = 25.3173 + -0.0173. Let x = a - 23. Which is smaller: 1 or x?
1
Let z = 3436103/719 - 4779. Which is greater: z or 0?
z
Suppose -i = 5*x - 13, 0 = 3*i + 5*x - 18 - 1. Let g(d) = -2*d**3 + d**2 - 4*d + 4. Let c be g(i). Let o = -373/7 - c. Is -1/2 bigger than o?
False
Let w be -9 + 5 - (2*-54)/(-2). Is -60 at most w?
True
Let t = 13 + -10. Suppose t*h = -3*h + 18. Which is bigger: h or -0.1?
h
Let g = 157 - 157.01. Which is bigger: g or 10?
10
Let u(j) = 5*j - 1. Let t be u(-1). Let p = 2 - 1. Which is greater: t or p?
p
Let t(u) = -22 - u**3 + 7*u - 5*u**2 + 4*u**2 - 7*u**2. Let c be t(-9). Which is bigger: c or -1/3?
-1/3
Let x = 51 + -46. Let r = x - 15. Let a = 4 + -3. Is a equal to r?
False
Let d(k) = -2*k**2 + 7*k - 5. Suppose 4*q - 9 = 3. Let z be d(q). Which is greater: 6 or z?
6
Let k = 6 + 19. Let f = -1.53 + 0.23. Let l = f + 0.3. Which is bigger: l or k?
k
Let z(g) = g**2 + 15*g + 11. Let t be z(-17). Suppose 3*r + 99 = -t. Is -49 < r?
True
Let o(q) = q**3 - 3*q**2 - 13*q + 8. Let j be o(5). Let l = 11 - j. Is 20 smaller than l?
False
Suppose -4*k + 0 = -12, -5*b + 5*k = 10. Does b = 3/1279?
False
Let r(i) = -i**3 + 11*i**2 + 14*i - 19. Let q be r(12). Do q and 26/7 have the same value?
False
Let j = -1622 + 805. Which is bigger: -818 or j?
j
Suppose -20*a + 107*a - 87 = 0. Does a = -2/3589?
False
Let c be 27/(-42) + 2/4. Let m = 13 + -8. Let s be m/(-7) - 6/21. Which is greater: s or c?
c
Suppose v - 5*r = 4*v - 121, -2*v + 78 = 2*r. Let u = 85 + -49. Is u smaller than v?
True
Let d(h) be the second derivative of -h**3/6 - 3*h**2 + h. Let n be d(-5). Let y = -10535 + 84279/8. Is y >= n?
True
Suppose -71 = -v - 160. Are v and -89 equal?
True
Suppose 14 = 2*b - 4*d, 16*b = 14*b - d - 6. Let p be 6/34*(-2)/6. Is b not equal to p?
True
Suppose -111*a + 88*a - 1610 = 0. Which is smaller: -71 or a?
-71
Suppose -2*w + 3 = -i - 3*w, -i = 5*w + 19. Let n = i - 0. Let u = -1007/140 - -29/4. Which is bigger: u or n?
n
Let q be (-38)/5 + 664/83. Let l = 0.3 + -0.38. Is l smaller than q?
True
Let j = 64 + -37. Let v = -19 + j. Do -1 and v have the same value?
False
Let t = 2.59 - -84.91. Let z = 87 - t. Does z = 1.1?
False
Let p = -3119/2 - -1243. Which is smaller: p or -317?
-317
Let w = 121 - 95. Which is bigger: 0 or w?
w
Let q = -3.139 + -0.011. Let y = q - -0.15. Let m = -5 + y. Which is bigger: m or -2/7?
-2/7
Suppose -u - 51 = 176. Is u <= -227?
True
Let d be (4/(-8))/(4 + -2). Are d and 31 equal?
False
Suppose -3*n + 11 = -1. Suppose 3 = -n*b + 23. Suppose 2*k = 3 - b. Is k at most as big as 2/57?
True
Let l(y) = y**3 - 8*y**2 - 6*y - 3. Let x be l(9). Let r be x/36 + 1/3. Which is smaller: 10/21 or r?
10/21
Let q = -748 - -747. Let i = 1 + -0.91. Which is bigger: i or q?
i
Let q = -96 + 99. Suppose -7 = -q*d + 10*d. Let c = -7 - -5. Is c at least d?
False
Let h = -0.0388 + 0.0388. Let m = 1.3 - 60.3. Which is smaller: m or h?
m
Let s(h) = -3*h**2 + 14*h - 6. Let b be s(4). Let a be (b/(-8))/(18/40). Is a at least as big as -2?
True
Let t = -0.31 - -0.35. Let u = t - -0.96. Is u > 2/3?
True
Let i be (-3)/(-8) - (-5)/8. Suppose -5*g - i = -11. Suppose -g*r + 20 = 2*r. Which is smaller: 4 or r?
4
Suppose -33*b + 28*b - 45 = 0. Let u = -5 + 7. Suppose 5*o = u*d - 0*d - 39, -3*o = 3*d + 36. Is b at least o?
True
Let o be (4 + 1)/(1*(-9)/24). Is o >= -14?
True
Let g be (-44)/66 - 1/3. Let z = -38 + 23. Is z equal to g?
False
Let t = -13.6 + 13.69. Let i = t - -0.21. Which is smaller: i or 0.33?
i
Let v be 2/(-4)*(-11 + -1). Let h be 198/11*v/4. Suppose 2*k - 3*r = 2 - 20, 3*r - h = 5*k. Do -2 and k have different values?
True
Suppose -2*l + 0*l = -114. Is 55 smaller than l?
True
Let r = -407201/3020 + 5328/151. Let p = -768/5 - r. Let o = 54 + p. Is 0 not equal to o?
True
Let c = -36987/31 + 1193. Let j = 109/124 + c. Which is bigger: 0 or j?
j
Let r = 0 - -10. Suppose -g + 2*q + r = 0, q + 10 = 2*g - 1. Suppose -g + 3 = -v. Are 0 and v non-equal?
True
Suppose -5*k - 116 - 44 = 0. Let s be k/80 + 224/10. Which is smaller: 21 or s?
21
Suppose o - 4591 = 572. Let k be 17/85 + o/(-84590). Let r = 2/769 - k. Which is greater: r or 0?
0
Let p = 1212 - 104229/86. Which is smaller: 1 or p?
p
Let a = 2214508/91 + -24335. Which is smaller: a or 1?
a
Let z be (-18)/(-135)*-5*(-6)/188. Suppose -u = -0*h + 4*h - 4, 8 = 2*h + 2*u. Do h and z have different values?
True
Suppose 69 + 11 = 2*c. Let l(d) = 2*d + 9. Let i be l(15). Which is smaller: c or i?
i
Let y be -1 - -214*(-2)/(-8). Which is bigger: y or 53?
53
Let u = -16.4 + 16.6. Is u less than 49?
