s smaller: z or 1/6?
z
Suppose m + 2*x + 7 = -2*x, -2*m - x = 0. Let q be 4/(-2 + -2)*m. Let o = 483 - 31397/65. Is o <= q?
False
Let z(h) = -h**2 + 3*h + 7. Let w be z(5). Let y be -99*((3 - 1) + w). Let o = y + -1387/14. Which is greater: o or -1?
o
Let q = 14.1 + -14. Let o = 25.9 - 28. Let x = o + q. Which is smaller: 0.01 or x?
x
Let o(f) = f**2 + 8*f + 7. Let r be o(-5). Let w be (-2 + r/(-4))/1. Which is bigger: w or -2?
w
Let z = -28028/9 + 3108. Which is bigger: -5 or z?
-5
Suppose -v = -4*i - 104, -2*v - 52 = -i + 3*i. Let o = i - -26. Is o < 2/23?
True
Suppose -5*k - 63 - 2 = 0. Let m = 16 + k. Suppose -21 = -0*h - m*h. Is 7 less than h?
False
Let x(r) = -r**2 - 5*r + 126. Let m be x(0). Suppose 0*d = 7*d - m. Which is smaller: d or 19?
d
Let f be ((-416)/(-14))/13 - 2. Let j = -86/3 - -29. Which is bigger: j or f?
j
Let b = -9 - -9.07. Let z = b + -0.17. Is -1/3 bigger than z?
False
Let f be (-12)/(-8)*(-40)/9. Let d = f + 278/39. Which is bigger: d or 0?
d
Suppose -3*v = z + 13, 6*v + 26 = 3*z + 2*v. Suppose -r + z - 1 = 0. Let j = -1/40 - -247/280. Are j and r non-equal?
True
Let p = -4417/23 + 192. Let t = -10 + 14. Let g be t/(-10) - (-4)/10. Is p greater than or equal to g?
False
Let g be (4 - (-5 + 9))/1. Suppose 0 = -2*u - 2*z + 44, -z = 3*z + 16. Let m be u/(-48)*-3 - 2. Is m not equal to g?
True
Let t be (-53 + 44)*((-2)/(-267))/(-1). Is -1 < t?
True
Let u = -4 - -3.2. Let b = 105.89 + -0.89. Let g = -104 + b. Which is greater: g or u?
g
Suppose 70*y = 66*y + 144. Which is smaller: y or 34?
34
Let l = -14 + 6. Let z = 13 + l. Let y = -4.9 + z. Which is bigger: y or 2/9?
2/9
Suppose -4*v + 21 - 9 = -3*j, -5*v = -3*j - 12. Which is smaller: -2/479 or v?
-2/479
Let t = -1065 - -1121. Is 51 <= t?
True
Let w be ((-22)/33)/(0 - (-26)/9). Which is smaller: 2/7 or w?
w
Let a = -138 - -138. Suppose -5*d + 0*d - 315 = -5*x, a = -5*x - 5*d + 325. Which is smaller: x or 63?
63
Let j be (-1 - 29)*2 - -7. Is -48 > j?
True
Let h be 7572/42 - (6 + (-200)/35). Which is smaller: h or 179?
179
Let t(x) = x**2 + 6*x - 1. Let q be t(-7). Let v be (-3*1/q)/2. Which is greater: v or -0.1?
-0.1
Let d = 1471 + -1469. Which is greater: d or -0.246?
d
Let x = 3886 + -687824/177. Which is smaller: x or 0?
x
Let v be (((-3)/46)/1)/(3/4). Is v greater than 3?
False
Let w(m) be the first derivative of -m**3/3 - 5*m**2/2 - 3*m - 7. Suppose g + 2*n + 14 = -3*g, -2*n = 3*g + 10. Let y be w(g). Which is smaller: y or -3/7?
-3/7
Let y(a) = -1 - 25*a + 0 - 5 + 28*a. Let f be y(4). Suppose -x = -2 - 2. Is x equal to f?
False
Suppose 6 + 6 = 4*t. Let u(o) = 4*o**3 - 3*o - 3*o + 7*o - t*o**3 - 2*o**2. Let q be u(1). Which is smaller: q or 6/11?
q
Suppose -h = -6*h - 35. Let g = 6 + h. Are 2/15 and g equal?
False
Let r be ((-33)/(-22))/((-6)/(-20)). Let w be (4/2)/(4/2). Suppose -5*u + r*n - 10 = 0, 6*u + 3*n = 4*u + w. Is u greater than 2/23?
False
Suppose -5*q + f = 21, -q - f = -3 + 6. Let y be q + -5 + 4 + 40. Is y less than or equal to 34?
False
Let j = -102732345/541919 + -2/77417. Let g = j - -190. Which is greater: -1/4 or g?
g
Let u = -912 + 651. Is -261 at most u?
True
Let y be (-4)/18 + (-3128)/18 - -1. Is y < -174?
False
Let c = 128 - 211. Let n = -21945 - -132167/6. Let x = n + c. Which is bigger: 0 or x?
0
Let d(q) = 76*q - 17. Let x be d(3). Suppose x = 8*v + 67. Is v smaller than -0.1?
False
Let i(r) = -r**2 + 5*r - 6. Let g be i(7). Let a = g + 20. Let b = -1 - 0. Do a and b have different values?
True
Let z = -20 - 1. Let m = z - -21.2. Let k = 10 + -5. Which is bigger: m or k?
k
Let a(r) = -9*r + 22. Let w be a(2). Which is smaller: 0 or w?
0
Let t = 0.01 - -2.99. Let n = 5 + t. Let o = n - 9. Is o <= 1?
True
Let f = 1425842 + -3717170021/2607. Let i = f + 2/869. Which is bigger: i or 1?
1
Let k be 0/(-2) - (-5)/20. Which is bigger: 0.116 or k?
k
Let y = 2931139/1110 - 7922/3. Are -1 and y equal?
False
Let x = 10.13 + -34.45. Let f = x - -24. Let c = f - -0.22. Is c at least as big as -8/7?
True
Let s(m) = -9*m**3 - m**2 - m. Let x be s(-1). Let p = x - 4. Let a be (p/3 + -1)*3. Do 0 and a have the same value?
False
Let n be 3/12 - 0/1. Let q = 1.45 - 0.05. Which is smaller: q or n?
n
Let x = 423.6 - 371. Let o = x + -53. Which is greater: o or -10?
o
Let u(k) = k**3 + 11*k**2 + 25*k + 11. Let c be u(-8). Suppose c*d - 5 - 13 = 0. Is 7 less than d?
False
Let x = 137 - -62. Is x at most as big as -1/4?
False
Let s be (-6)/(-18) - (-13)/(-3). Let h be -4 + (-4 - (s + (-180)/44)). Which is bigger: h or 0?
h
Let w = 125 - 126. Is w bigger than 3/173?
False
Let d be (-40744)/476 - 8/28. Let u = -86 - d. Is u at most as big as 0.02?
True
Let v be 2 + 35/(-10591)*605. Does 1 = v?
False
Let y be (2 + -6)/1 - -9. Let o be 4*4/(-280)*y. Is -2/9 at most as big as o?
False
Let f be -2 + (4 - 2) + 0. Suppose -5 = -c - f*c. Is 1 != c?
True
Suppose -3*o - 3*x + 9 = 0, o + 2*x + 1 = -0. Let h(z) = 4*z**3 + z**2 + 5*z - 5. Let m be h(1). Which is bigger: o or m?
o
Let t = 9 - 15. Let j = 220 + -226.1. Let d = t - j. Are d and -5 nonequal?
True
Let o = 2 - -242. Let b = o + -465/2. Is 11 bigger than b?
False
Let m = 57 - 40. Suppose 5*g + m = -3*l, -3*l - g = -6*g + 7. Is -6 not equal to l?
True
Let h be ((-3)/(-51))/(-7 + 165/22). Is 54 bigger than h?
True
Let j = 49 - 35. Let k = j - 14. Let d = 93 - 85. Which is bigger: k or d?
d
Let k = 0.234 - 0.134. Let j = 21 + -16. Which is greater: k or j?
j
Suppose o - 3*s = 2*s + 12, s + 60 = 5*o. Suppose 16 = 2*u - 4*h, -4 = -3*u - 3*h - 7. Which is smaller: u or o?
u
Let h(x) = x + 27. Let c be h(0). Suppose -u = c + 72. Let k be (-49)/u - (-8)/(-36). Is 0.1 bigger than k?
False
Let a = -3109/286 + 120/11. Let l be (2 + 67)/((-3)/2). Let m = l - -45. Is a greater than m?
True
Let b = 47 + 4. Let a = b - 52. Let c = -1 + 1. Which is greater: c or a?
c
Let a = 10 + -24. Suppose 4*o + 5*v = -33, 6*v = -2*o + 3*v - 15. Is a bigger than o?
False
Let l = 0.04 - -0.05. Let d = 23 + -25.1. Let j = d + 2. Is j less than l?
True
Let h be -1*1/(-4) - 163/(-4). Let q = -41 + h. Which is smaller: q or -7/10?
-7/10
Let f(s) = 3*s - 24. Suppose 0 = -2*c + 4*p - 4, 2*p = 4*c - 32 + 10. Let z be f(c). Which is bigger: z or 3/10?
3/10
Let z = 3.31 + 0.29. Let i = -9.2 + z. Let r = i - -3.6. Is 9/5 > r?
True
Let t = -47 - -45.1. Let x = t - -1.81. Let h = x + -0.01. Which is bigger: 0 or h?
0
Let q(m) = 2*m**3 + 4*m**2 - 3*m - 6. Suppose 0 = -5*n - b - 13 - 10, 3*n = 4*b. Let w be q(n). Which is smaller: -2/5 or w?
w
Let x = 12761656/689 - 18522. Do x and -1 have different values?
True
Let s(t) = -t**3 - 4*t**2 - 3*t - 2. Let k be s(-3). Let c = k - -1. Let a = 61/21 - 10/3. Is a at most c?
False
Let n be 261/18 - 9 - 12. Let j be (-2)/8 - 27/4. Is n at least as big as j?
True
Let m be (-4)/(-14) - 66/(-14). Let s be (3*12/(-20))/((-1)/5). Let d = m - s. Which is smaller: d or -10/3?
d
Suppose -2*f + 6*t + 64 = 3*t, -4*f + 160 = 2*t. Suppose -5*r = -10, r - 2*r = -4*b + f. Is b not equal to 8?
True
Let t = -4219/20 - -211. Which is smaller: 35 or t?
t
Let s = 1516 + -1515. Are s and -862 equal?
False
Let i be (-4)/14*20117997/(-18). Let z = -320275 + i. Let g = 940 + z. Which is smaller: -2 or g?
-2
Let g = -71 - -83. Let v be 9/7 - g/42. Is -1/17 equal to v?
False
Let i = 21 - 16. Suppose 3*s = i*s. Is s at least 1/21?
False
Suppose -4 = -2*r - 6. Let k be 34*r - (0/(-2))/1. Which is smaller: k or -33?
k
Suppose -34 = -5*n + 4*k, 0 = k + 3*k - 16. Suppose n = h - 6*h. Which is smaller: h or -1?
h
Suppose -2*b = -57*j + 56*j + 9, -b - 47 = -3*j. Is 123/7 >= j?
True
Let l be -4 + 0 + (-2 - 15/(-3)). Do l and 2/255 have the same value?
False
Let n = 536 - 482.2. Let w = n + -54. Let c = -6 - -29/5. Is w > c?
False
Let o = -1/1475 + -91441/13275. Let a be ((-39)/(-18) + -1)*(-13)/(-3). Let j = o + a. Are j and -1/2 nonequal?
True
Suppose -3*f = -2*v - 14, 3*v - 2*f = -2*v - 13. Is 121 less than v?
False
Let o = 258 - 259. Which is smaller: o or 47?
o
Let x be (-1)/((-6)/(-16))*(-3 - 0). Suppose 2*b + 0*b = -5*g - 20, 4*b - x = 2*g. Which is smaller: 2/115 or b?
b
Suppose 5*o + 4*t = -5, -2*o - t = 20 - 18. Which is smaller: 5/581 or o?
o
Let v = 311 + -148. Which is smaller: v or 164?
v
Let z be (-16)/(11/33 + (-5)/(-3)). Which is g