
Let s be ((-192)/(-112))/(2/(-14)). Do s and -15 have the same value?
False
Let b be (-65)/31 - (4 - 6). Let h be ((26 - 24) + -1)*2/(-2). Is h greater than b?
False
Let a = 160 + -161.5. Which is bigger: a or 13?
13
Let w = -667 + 696. Which is greater: 6/11 or w?
w
Let g = 47 + -45. Suppose -g - 3 = -5*s. Does s = -1/68?
False
Let i = -12 - -14. Suppose d + 3*t + 5 = i*t, -t = -4*d. Let l = 0.27 - -2.73. Is l < d?
False
Let u be (132/42 - 3) + (-958)/(-7). Is u at most 271/2?
False
Suppose -120*l = -116*l - 76. Which is smaller: l or 17?
17
Let g = -2.31 - -3.11. Which is greater: g or -1.27?
g
Suppose 5*r = -75 + 30. Let f = r - -5. Let k = -1479 - -1476. Which is smaller: f or k?
f
Let m = 0.33 + 0.67. Let t = -12 - -12.15. Let c = t + -2.15. Which is bigger: m or c?
m
Let n(c) = 37*c + 145. Let q be n(-4). Is q < -4/7?
True
Let q = 24 + -9. Let s(k) = -2*k**2 + 31*k - 16. Let u be s(q). Which is greater: u or 4/23?
4/23
Let h = 1 - 1. Suppose 4*b = -0*b - 2*s, s = h. Which is bigger: b or 2/101?
2/101
Let t(x) = -x + 8. Let y be t(4). Suppose 2*o + 9 = 5*h - 1, 26 = y*h + 2*o. Suppose 3*z + 8 = h*z. Do z and 9 have the same value?
False
Let l = 72 - 577/8. Let w = 162 - 160. Is w greater than l?
True
Let r(m) = -m**3 - 2*m**2 - 177*m - 851. Let f be r(-5). Is 106 > f?
False
Let i = 24808/41 - 605. Which is smaller: 1 or i?
i
Let b be (-51)/85 + (-44)/10. Which is greater: b or 0.11?
0.11
Let c = -5233/2928725 - 3/3779. Is 0 greater than c?
True
Let i = -448 - -4929/11. Which is smaller: i or -0.01?
-0.01
Let q = 869 + -81683/94. Let j be (-75)/(-8)*(-120)/17766. Let t = j - q. Which is bigger: 1 or t?
1
Let b = -201 + 188. Is b smaller than -11?
True
Let s be -37 + 7/14*-8 - 6. Is s less than or equal to -59?
False
Let j = 10403/380 + -12/95. Is 26 at least as big as j?
False
Let o = -4 - 17. Let g be (-55)/2*(-64)/(-80). Let a = g - o. Is a > 2/7?
False
Let w = -414 + 224. Let z = -747/4 - w. Which is greater: 3 or z?
z
Let o = 47 - 8. Suppose 42*u = 7*u + 1400. Is u greater than or equal to o?
True
Suppose -2*j - 28 = 12. Let g be 3*j*(-20)/(-50). Let k = g - -23. Which is smaller: 4/13 or k?
k
Suppose -4*z = 5*h - 30, 2*z = -2*h - 1 + 17. Suppose -f + 4*f - 48 = -3*q, -5*q + 5*f = -30. Is q < z?
False
Let c = 73/70 + -54/35. Is 7 bigger than c?
True
Let l = -12 + 40. Let s = l + -38. Which is bigger: s or -0.1?
-0.1
Suppose 13*z = 14*z - 8. Let v = -63 + z. Is -55 bigger than v?
False
Let r = -200 + 163. Let w = 107 + r. Which is smaller: -2/7 or w?
-2/7
Suppose 14 = -2*j + 4*w, -19 = 3*j - 7*w + 2*w. Let v be -4*1/3*j. Which is bigger: v or 6?
6
Let v = 187 - 180. Let i(l) = -4 - 5*l + l**2 - 2*l - 5. Let q be i(v). Do q and -9 have different values?
False
Suppose 3*s - 12 = 7*s. Is s <= 18?
True
Let t = 3.04 - 0.04. Let z = -17 + 11. Let k = z - -8. Which is greater: k or t?
t
Let x(c) = -c + 6. Let g(w) = w**3 - 2*w + 1. Let a be g(2). Let v be x(a). Let m be (-3 + 16)*(0 - v). Is -14 not equal to m?
True
Let f be (-150*(-3)/24)/(1/4). Is 68 != f?
True
Let t = 11 - 11.22. Let d = -0.29 - -0.09. Let w = d - t. Is w smaller than -1/2?
False
Suppose -40*l + 36*l + 56 = 0. Which is smaller: l or -1?
-1
Let g = 2 - 2. Let o(m) = m**2 + 5*m - 4. Let a be o(-4). Let l be (-6)/a + 27/(-36). Are l and g equal?
True
Suppose g + 6*g + 21 = 0. Let x be 23/(-5) - g/5. Let z be 1 + (17/(-4) - x). Is -1 greater than or equal to z?
False
Let c be (20*1)/(2 + -1). Suppose 25*z - 30*z - 105 = 0. Let b be z/6*(-160)/28. Are c and b equal?
True
Let o = 0.4 - 0.3. Let i = -33 + 25. Let x = 8.6 + i. Is x greater than o?
True
Let f = 11 - 12. Let l be -5*(-11 - (f + -3)). Let k = 35 - l. Is 1 less than k?
False
Let k be (0/(-2))/((-5)/(-5)). Let s = 27137/34 - 798. Which is bigger: s or k?
s
Let o = 0.2 - 0.3. Let h = -46 - -78. Which is smaller: o or h?
o
Let x be ((1 - 2) + -53)*(-7 - -5). Let n = x + -116. Is -8 greater than n?
False
Suppose -4*h = -i - 3 - 5, -3*i + 5*h - 10 = 0. Let k(j) = 0 - 5*j + 3*j + 3. Let p be k(i). Is 0 greater than p?
False
Let s be (5/2)/(6 + (-75)/20). Let r = s - 209/180. Is 0 greater than r?
True
Let v = 75 - 77.8. Let n = 1.2 - v. Which is bigger: 0.02 or n?
n
Let b = -191/396 + -13/44. Suppose 0 = 5*n + 91 - 81. Which is smaller: n or b?
n
Let c be ((152/544)/(-19))/((-4)/8). Which is bigger: -16 or c?
c
Suppose 410 = -13*s + 8*s. Let r = s + 94. Is 8 bigger than r?
False
Let t be (-70208)/7020 + (-25 - -35). Is t >= -1?
True
Let s be (5/(-10) - 1) + 6/4. Let d = 263667 + -1850329/7. Let r = -667 - d. Is r != s?
True
Let x be 4 + -4 - -19 - (-4)/(-1). Suppose -45*z = -48*z - x. Which is smaller: z or -4?
z
Let m = 72 + -89. Suppose 9*f + 0*f = -171. Is f less than m?
True
Let v(f) = -f - 11. Let q be v(-9). Let p be (-2 - 0) + 15*q. Is p < -31?
True
Let s be ((-30)/4)/(2 + 129/(-60)). Let o be (-10)/s + (-42)/(-10). Is 4 bigger than o?
False
Let q(r) = r + 17. Let j be q(0). Suppose n + 4*n = 5*o - 95, -5*n = 20. Is o not equal to j?
True
Let j(z) = z**2 + 6*z - 12. Let y(v) = v**2 + 5*v - 11. Let q(x) = -4*j(x) + 5*y(x). Let g be q(-3). Are g and 2 equal?
False
Let g(l) = -l**3 - 2*l**2 + 9*l - 3. Let w be g(-4). Let s be (-3)/w - (-2 - -1). Is 1 != s?
True
Let f = -326 + 326. Let n be 1/(-2) - 22/(-20). Is f less than n?
True
Let q(x) = -2*x**2 + 2. Let k be q(-2). Let v be ((-7)/105)/(k/20). Suppose -4*i = -2*c - i + 5, 0 = -4*c + 3*i + 7. Is v less than c?
True
Let n(d) = d**3 + 6*d**2 - 8*d + 8. Let g = -20 + 13. Let x be n(g). Let j be (-103)/x - 4/30. Which is greater: j or -6?
-6
Let m = 0.54 + 0.03. Let u = m - -0.38. Let p = u - -0.05. Which is smaller: -1 or p?
-1
Let i = -29 + 9. Let v = 20.11 + i. Which is smaller: v or -2?
-2
Let o = 32 + -32. Suppose -h - 14 + 3 = o. Let j = -26 + 16. Is h smaller than j?
True
Let q(c) = -6*c + 3. Let u be q(6). Suppose 245 = 14*h - 7*h. Let z = u + h. Do z and 1 have the same value?
False
Let t = 272.8003 - -0.1997. Are t and 0 non-equal?
True
Let y = -2 - -7. Let f = -203 - -208. Let o = f - y. Is o less than -1/44?
False
Let z = 1304 + -984. Is z < 319?
False
Let v(u) = -3*u - 3 - 2*u - 5*u**2 + 2*u**3 - 3*u**3. Let t be v(-4). Let y be (-12)/(-16) - 45/(-84). Is t < y?
True
Let w be 8/933*(-9)/(-6). Let v = -2556708437/1200393446 + -57/551398. Let n = w - v. Is 3 at least as big as n?
True
Let m = 0.165 + 47.835. Let c = m + -48.1. Which is bigger: c or -22?
c
Let w = 21 - 16. Suppose w*v + 11 = -104. Let s = 24 + v. Which is bigger: s or 2/29?
s
Let y = 2660 + -2597.44. Let v = 0.44 + y. Is -0.1 < v?
True
Let r = 0 - 2/5. Let i(c) = -2*c**2 + 17*c + 11. Let u be i(9). Let v be (-10)/(-4)*u/5. Which is smaller: r or v?
r
Suppose 5*j - 6*j - 4 = 0. Let w be 0/(0 - (2 + j)). Do -0.02 and w have different values?
True
Let i = 1003 + -2163/2. Which is greater: i or -80?
i
Let r be (-171)/(-18) + -6*1/(-4). Let c = 23 - r. Which is smaller: c or 1?
1
Let k = -750 + 750.1. Which is smaller: k or 2/33?
2/33
Let w = 101/4 - 26. Let r(x) = -7*x - 21. Let s be r(-8). Let p = s + -37. Which is smaller: w or p?
p
Let k be -2 + 2*(8 - 3). Let d = -12 - k. Let n = d + 35/2. Is -4 < n?
True
Let g(d) = 2*d + 4. Let r be g(0). Let y = -57419/11 + 5224. Is y > r?
True
Let k be (0 - 2) + (-19)/(1767/66). Which is smaller: k or -2?
k
Let z = 389 - 276. Suppose 9*b + 22 + z = 0. Which is smaller: b or -16?
-16
Let d(u) = -u**3 + 35*u**2 + 9*u - 184. Let t be d(35). Which is smaller: 125 or t?
125
Let p be (3 + 6/9)/(8/(-24)). Which is smaller: p or 3?
p
Suppose -5*a + 3*p - 8 = 0, 5*a + 14 = 4*p + 10. Is -82/25 >= a?
True
Let s = 11 + -22. Let b = s + 13. Suppose 3*q + b*q = 65. Which is greater: q or 12?
q
Let i(v) = -2*v**3 - 4*v**2 - 7. Let p be i(5). Do p and -354 have the same value?
False
Suppose -m = -6*m + 80. Suppose 0 = -3*r - r + m. Suppose 0 = 2*f, -f - 14 = -r*y + 22. Is 9 not equal to y?
False
Let l = -0.4851 - -0.6851. Let n be 9/(-12)*1/(-3). Which is smaller: n or l?
l
Suppose t = -4*f - 1, 4*t + f + 16 = -3*f. Suppose y + 4*o = 12, 2*y + 0 = -o - 4. Is y at most t?
False
Let j = 115171039/1735 - 66381. Is j at most as big as 0?
False
Let p(r) = r**2 - r + 3. Let u be p(0). Suppose 5*d - 9 = -0*d + u*g, 0 = 4*d + g + 3. Let k = -668 - -20706/31. Is d > k?
True
Let 