= -141/20 + 34/5. Is g not equal to y?
True
Let l be (3/(-2))/((-11277)/22568) - 3. Let s = -1492/179 + l. Which is bigger: s or -7?
-7
Let t = -21 + 22. Let s be t + (0 + 2)/(-1). Let l = -8800/27 + 326. Is l <= s?
False
Let f = -10931/6 - -1817. Let h = f - -1183/246. Which is smaller: h or 0?
h
Suppose 25 = 4*v + v, -c + 385 = 2*v. Suppose 0 = 5*q - 5*j - c, -2*j = -q - 0*j + 78. Suppose 2*k + 6 + q = 0. Is -39 at least k?
True
Let u(a) = 12*a - 1. Let l be u(1). Suppose -56*f + 57*f - 37 = -4*z, 2*z - 36 = -4*f. Which is smaller: l or z?
z
Let u = 5.51 - 5.41. Do -85 and u have different values?
True
Let q = -2.84 + 0.24. Let w = -322.77 + 320. Let o = w - q. Is o less than or equal to -1/2?
False
Let p = 0.204 + 0.006. Let u = 0.41 - p. Which is greater: -1 or u?
u
Let u be (1/(-6)*-2)/((-1)/(-9)). Let b be 14*u/18 + -3*1. Is b greater than -2?
True
Suppose 8*a + 62 = 6*a. Let l be (4 - a/(-2))/(1/2). Is l bigger than -20?
False
Suppose 25*w - 5 = 20. Which is smaller: w or -8/431?
-8/431
Let i be 5/25*100/(-17430). Do i and 0 have the same value?
False
Let y = 73 - 74. Which is smaller: 154 or y?
y
Let p be 165/(-2860)*(-44)/18. Which is smaller: 0 or p?
0
Let b = -5682 - -5704. Let i = -2.1 + 2. Which is greater: i or b?
b
Let t = -1928 - -1943. Is t <= 143/9?
True
Suppose -4*d + 4 = -5*d, -3*s + d - 11 = 0. Let u be -28*(-8)/((-48)/9). Let i = -46 - u. Which is smaller: i or s?
s
Let d = -1.4 + 1.4. Is -77/6 at least d?
False
Suppose -t - t + 4 = -3*f, 2*t - 12 = -f. Suppose -z - f*g - 2*g - 13 = 0, g + 3 = 0. Is z at most -5/9?
True
Let p be -2*(-3)/(-60)*-3852. Let m = p + -384. Let y be (-3)/6 + (-9)/(-6). Is y greater than m?
False
Let r = 0.42 - 40.42. Let f = -41.18 - r. Is f < 0.1?
True
Let o = 60 + -59. Let q be (-1)/12*-4 - 220/636. Which is greater: q or o?
o
Let n(i) = -2*i - 11. Let p(t) = -6*t**2 + 1. Let l be p(-1). Let c be n(l). Let u = 5/186 + -6/31. Which is greater: c or u?
u
Let y = -66.323 - -0.323. Is y >= 1?
False
Let w = 2 + 9. Let t = 3 - -8. Is w at most as big as t?
True
Let m = -943/221 + 57/13. Let u(j) = j**2 + 2*j. Let t be u(-1). Is t <= m?
True
Let p = -10.98 + -0.02. Let h be 2/12 - 1/(-2). Do p and h have the same value?
False
Suppose 0 = -6*a - 4 + 34. Suppose u = -0 - a. Let b(v) = -v**3 - 5*v**2 - 3*v + 1. Let o be b(-4). Is o bigger than u?
True
Let s = 323 + -8723/27. Which is bigger: -20/7 or s?
s
Let p be ((-3)/2)/(7/(-14)). Suppose 2*g - p*g = 1. Let r be (-14)/(-42)*6/(-46). Which is smaller: g or r?
g
Suppose q = 5*f - 3*f - 7, -3*q - f - 7 = 0. Let k be (2 + -2)/(4 + q). Which is bigger: k or 2/49?
2/49
Let t(k) = -16*k**3 - k**2 - 2*k. Let w be t(-1). Which is bigger: w or 5?
w
Let t = -8488 + 8470. Let q = 47 - 66. Which is bigger: q or t?
t
Let r be (-171)/1026 + (-17210)/(-12). Does r = 1435?
False
Suppose 0 = -g - p - 0*p - 2, -3*g - 1 = 2*p. Suppose 7 = m + g*s - 1, 4*m = -s - 1. Which is greater: m or -4/9?
-4/9
Let l = 525 + -65623/125. Let f = 1004815 + -376805369/375. Let h = f - l. Which is smaller: 0 or h?
0
Let f = 187 + -216. Which is greater: -2 or f?
-2
Let i be 7*(2/1897)/1. Which is smaller: 1 or i?
i
Suppose 2*t - 3*t + 32 = -5*c, 3*t = 6. Let b be 10/c - (-16)/24. Which is greater: -1/3 or b?
-1/3
Let q = 24914/3 + -16771/2. Let o = 81 + q. Which is bigger: o or -1?
o
Suppose -4*p + 8*p + 68 = 0. Let v = -14 - p. Suppose 3*g - 9 = v*r, -2*g + g + 7 = -3*r. Which is smaller: -6 or g?
-6
Let r(q) = q**2 + 7*q + 5. Let h be r(-4). Let p be -14*h/(49/(-6)). Is p greater than -8?
False
Let g(v) = -v**3 - 6*v**2 - 5*v + 1. Let c be g(-5). Suppose -5*u = -t + 11, c = -3*t - u - u. Let j = -47 - -49. Does j = t?
False
Let l be 21/(-40)*(-32)/16. Do l and 2 have different values?
True
Let v = -159 - -158. Let j = -314 + 4712/15. Is v not equal to j?
True
Suppose 5*j - 3*v + 460 = 1225, 2*v + 610 = 4*j. Let c = j - 90. Suppose -4*x + c = u - 0*u, -4*u - 32 = -x. Is x equal to 15?
False
Let n = 47 + -5. Let k be n/72 + 1/(-3). Let q = 3 - -4. Which is smaller: k or q?
k
Let a = -51 + 45. Let n = -1 - 4. Does n = a?
False
Let h = 119 - 1189/10. Let t = 93 + -93. Is h smaller than t?
False
Let w be (18/12)/((-9)/6) - 6. Which is smaller: w or -62/11?
w
Let d(x) = x**3 + 21*x**2 + 24. Suppose -4*m - 420 = 16*m. Let h be d(m). Which is greater: 23 or h?
h
Let b(s) = -6*s**2 - 3*s + 4. Let m be b(3). Let w = m - -61. Is 7/4 greater than or equal to w?
False
Let r = 97/30 + -26/15. Which is smaller: r or -133?
-133
Suppose -5*o - 27 = -7*z + 4*z, -2*z - o + 5 = 0. Suppose 0*x + 25 = 5*x. Suppose 0 = -5*n + x*y + 43 - 8, 0 = 5*n - 4*y - 32. Is n equal to z?
True
Suppose -3*b - 5*i = 9, 6 + 9 = -5*b - i. Let t be (b - -7)/((-6)/(-3)). Which is greater: t or 3?
3
Let v = -1244 + 1243. Is -5/686 <= v?
False
Let i be (-24265)/65 - 2/3. Let c = i - -374. Let o = c + -9/13. Do 3 and o have the same value?
False
Let n = 1.02 - -118.98. Is -3 greater than n?
False
Let j(q) be the third derivative of q**5/60 + 5*q**4/24 - q**3/3 - q**2. Let f be j(-5). Let c = -2904/5 + 579. Is f at least as big as c?
False
Let p = 99.02 - 99. Let c = 88.1 - 88. Is p < c?
True
Let v be ((-1094)/4)/((-15)/20). Let n = v - 360. Let o = n + -73/15. Which is bigger: o or 1?
1
Suppose 3*w = 6*w - 2*a + 7, -w - 5*a + 26 = 0. Let t be (-40)/(-63) - (-2)/9. Is t at most as big as w?
True
Suppose -3*j - 3*w + 0*w + 39 = 0, j = -4*w + 28. Let o(f) = 2*f - 16. Let h be o(13). Suppose h = 4*y - 26. Is y bigger than j?
True
Let g be (3 - 2 - 4)/(-3) + 98. Which is smaller: g or 197/2?
197/2
Let a(i) = i**2 - 1257*i + 2512. Let l be a(2). Let h = 102/67 - -486/737. Which is greater: l or h?
h
Let v = -276 - -275. Which is smaller: -8/37 or v?
v
Suppose 75 = 3*i - 3*s, 0 = -5*i - 11*s + 15*s + 121. Which is smaller: 8 or i?
8
Let p = -3.38 + -163.62. Which is smaller: -1/3 or p?
p
Let n be (-92)/15*(-9)/6. Let j be (-54)/(-5) + (-1 - 0). Let t = n - j. Which is smaller: t or 2?
t
Let t = -4.1 - 3.9. Let i = -10.4 - -2.3. Let b = i - t. Is -8 >= b?
False
Let k be (-226)/(-280) + 4 + -4. Let t be 2*((-68)/(-70) + -1). Let b = t + k. Which is smaller: 0.1 or b?
0.1
Let b = 0.18 - 12.18. Let j = -8.68 + -0.32. Let z = b - j. Which is smaller: z or -2?
z
Suppose 6*g + 562 = -218. Which is smaller: g or -129?
g
Let h be (-4)/(-6)*(-18)/(-690). Which is greater: h or -1?
h
Let a = -3 + 6. Let l = -1.4 + a. Let d = 1.38 - l. Do -0.1 and d have different values?
True
Let t(a) = a**2 + 12*a - 11. Let w(u) = -u**2 - u - 1. Let k be w(-4). Let z be t(k). Is z >= 4/7?
True
Let b be (-236)/826 + (-12)/161*-5. Which is bigger: 0 or b?
b
Let a(i) = i**3 + 5*i**2 + 3*i - 5. Let c be a(-4). Which is greater: -132 or c?
c
Let z(o) = -o + 7. Suppose 4*y = 2*y + 12. Let x be z(y). Let i = 19/50 + 1/50. Is x <= i?
False
Suppose 4*w + 14 = 5*s, s + 11 = -5*w + 4*s. Let j be (-1 + 0)/w - 2. Let k = 151601/9 - 16845. Which is greater: k or j?
k
Suppose 83*x + 8 = 87*x. Let l be 4/11*x/4. Suppose -q + 5 = 4. Which is bigger: q or l?
q
Let w = -4 - -2. Let x = 14 - 12. Suppose 2*d + 5*n - 5 = 14, -2*n = 4*d + x. Which is smaller: w or d?
d
Suppose 30*z + 129 - 1689 = 0. Suppose 0 = o + 4*a - 30 - 30, 0 = o + 2*a - 56. Are o and z non-equal?
False
Let a(d) = 5*d - 9. Let o(j) = 10*j - 18. Let u(f) = -7*a(f) + 4*o(f). Let l be u(5). Let x be (0 - -2)*(11 - 3). Is l smaller than x?
False
Let a = -46/65 - -4/13. Let g = -53 + 252/5. Is g at most a?
True
Let b = 99 - 97. Suppose 5*p - 5 + 1 = -q, -12 = -p - 3*q. Which is smaller: b or p?
p
Let n = -81 + 44. Let s = n - -38. Which is greater: -0.25 or s?
s
Let v(d) = -2*d - 21. Let m = -4 + 8. Suppose -68 = 5*p + m*w, -5*p = -p + w + 61. Let b be v(p). Is 2/5 greater than b?
False
Let h = 1752 + -1749. Let g be (-16)/6*(-27)/42. Which is bigger: h or g?
h
Let f(j) = -j**2 + 14*j + 19. Let r be f(15). Let y be 8/24 + r/6. Is y >= -0.01?
True
Let r(x) = -3*x + 2. Let n = -26 - -23. Let t be r(n). Do t and 11 have the same value?
True
Suppose -3*v = -2*v + 2*x + 5, 0 = -x - 5. Let w be (-408)/v - 12/(-20). Let f be 3*24*(-6)/w. Which is greater: f or 6?
6
Let c be 12*(-1)/3*(-15)/(-10). Let p be (c/8)/(378/144). Which is bigger: 52 or p?
52
Let s be (-292)/24 + 3 + 1/6. Let j = s - -1. Which is bigger: -22/3 