 at most -3?
True
Let g be 9/(-95) + 4/20. Let h(y) = -2*y**2 - 5*y - 3. Let s be h(-2). Which is smaller: s or g?
s
Let c(k) = k**3 - 3*k**2 - 4*k. Let y(n) = n - 4. Let p be y(-8). Let v(h) = -h**2 - 12*h + 4. Let z be v(p). Let u be c(z). Do -2/45 and u have the same value?
False
Suppose 13*r + 151 - 138 = 0. Which is smaller: r or -1/527?
r
Let i(p) = 3*p - 22. Let j be i(9). Suppose -j*g - 10 = -s - 8*g, -4*g + 12 = 0. Let v = -36/77 - -2/11. Which is greater: v or s?
s
Let h = -6 + 4. Let a be (-1)/3*(-3)/h. Let z = 755 - 17367/23. Is a greater than z?
False
Let n = 0.581 + -1.081. Is 9 equal to n?
False
Let d be (78/24)/(2/(-88)). Let w be 22/d + 95/533. Is w less than or equal to -1?
False
Let g(h) = -7*h - 13. Let c be g(0). Is c != -21?
True
Suppose 73*j = 71*j - 4. Is 15 at least as big as j?
True
Let u(w) = -w**2 + 18. Let p be u(-5). Is -7 less than p?
False
Let g = 88 - 49. Let p = -40 + g. Is -7/20 at most p?
False
Let f = -3 - -36. Let x be f/(-22) - (-9)/(-2). Let s be (-2)/12 + 69/36*-2. Is s at most as big as x?
False
Let u = 12 + -22. Suppose -25*v = -37*v - 132. Does v = u?
False
Let i = -0.05 + -19.95. Let k = -0.5 + -19. Let w = i - k. Which is smaller: w or -2?
-2
Let l(p) = 3*p - 7. Let h be l(3). Let w be (h + -1)/(2/4). Suppose -w*b - 3*b + 5 = 0. Are b and 2 equal?
False
Let y = 10.5 + 79.5. Let m = y + -90. Which is bigger: m or -1?
m
Let b = 23 + -18. Suppose 2 = -s - 5*i + 21, 0 = b*s - 4*i + 21. Which is bigger: s or -9/16?
-9/16
Let w = -7 + 16. Let b = w - 0. Let c = b + -9. Is c >= 0?
True
Let i(p) = p**3 + 5*p**2 - p + 5. Let g be i(-4). Suppose -3*w - 47 = -119. Is g less than w?
False
Let m = -781 + 779. Is m > -29?
True
Let s(t) = 12 - 36 - 8*t + 6*t. Let b be s(-13). Suppose -w = -b*w + 4. Is w at least 5?
False
Let z(r) = -r - 12. Let s be z(-14). Suppose 5*j + 6*y - y + 65 = 0, s*j - 4*y + 8 = 0. Let o be 6/15 + 114/j. Which is bigger: -12 or o?
o
Let u = -364 - -364. Which is bigger: -44/47 or u?
u
Let l(u) = -u**3 + 5*u**2 + 48*u + 4. Let b be l(-5). Which is bigger: b or 5?
b
Let f = 1083539/9 - 120540. Let m = -146 - f. Which is smaller: 1 or m?
m
Let c(h) = 64*h - 703. Let l be c(11). Is l at least 2/3373?
True
Let r = -15 - -18. Let q be (-5)/((-870)/4)*r. Suppose j - 2 = -3. Is j bigger than q?
False
Let l = -0.477 + 1.577. Let f = -1 + 2. Which is greater: f or l?
l
Suppose 7 = -2*s + 27. Suppose 5*n + s - 20 = 0. Let y be n/8 + (-166)/600. Which is greater: 0 or y?
0
Let w = 81 + -75. Let q be -1 - (-6 + w - (-62)/(-66)). Is q less than or equal to 1?
True
Suppose -84 = -12*d + 16*d. Let a be 4/(-14) + 36/d. Is a smaller than 7?
True
Let c(o) = -o**2 - o + 2. Suppose 0 = 2*j - 2 + 12, 5*k = 5*j + 25. Let i be c(k). Suppose -4 = 2*y - i*n + 2, 3*n - 3 = 0. Are -2 and y nonequal?
False
Let t = 10 + -4. Let h = 0.565 + -5.565. Is h bigger than t?
False
Suppose h = -h - 88. Which is greater: -46 or h?
h
Let n(m) = -3*m**3 - m**2 + 5*m + 3. Let y(o) = -o**3 - o**2 + 2*o + 1. Let b(w) = 2*n(w) - 5*y(w). Let j be b(3). Is j >= -30?
True
Let l(s) = s**3 + 25*s**2 - 27*s - 55. Let y be l(-26). Is y >= -28?
False
Let i(o) = -o + 25. Suppose -5*v + 135 = 10. Let c = -14 + v. Let g be i(c). Are g and 15 equal?
False
Let p(j) = 34*j**2 + j - 12. Let y be p(-4). Let k be 4/(-26) + y/2223*-6. Which is bigger: -1 or k?
-1
Suppose -4 = 133*g - 135*g. Let y(a) = -a**2 - 7*a - 6. Let d be y(-6). Is g greater than d?
True
Let j = 8.13 + -7.7. Let u = -0.15639 + 0.25639. Which is smaller: j or u?
u
Let x = 0.0163 - -1.9837. Which is smaller: x or -3/34?
-3/34
Suppose -7*r - 1238 = 2010. Is r smaller than -464?
False
Let p = 18 + -18. Let q be (198/90)/(1/25). Let x be (10/q*2)/10. Is x less than or equal to p?
False
Suppose -3*p - 78 = -87. Is p at most 29/9?
True
Let j = 44.3 - 9. Let p = j - 35. Is p bigger than 2/5?
False
Let a = -0.4 - -9.4. Let j be 6/2*15/90*8. Suppose 5*r = -9*z + 5*z - 3, j*r - 2*z = 8. Which is bigger: r or a?
a
Suppose 9 = -0*b - 9*b. Is b at most as big as -0.28?
True
Let k = 343 - 349. Let n be ((-1)/(-2))/(1/2). Let v be n/(-3) - (-4)/k. Does 3/11 = v?
False
Suppose 8*z - 9*z = 46. Let f be z/(-10) + (-3)/5. Let c be (f/6)/(4/(-6)). Is c bigger than -2?
True
Suppose 25*p = 26*p + 6. Let r be 648/(-32) - 6/8. Let n = 15 + r. Does n = p?
True
Let v be 24/14*(1 + 6). Suppose v = -p - p. Suppose -4*j - q - 6 = -j, j - q + 2 = 0. Which is greater: j or p?
j
Suppose -g - 189 = -8*g. Which is greater: g or 20?
g
Let b = -387 + 387. Which is smaller: b or -9/2?
-9/2
Suppose 7*v - 28 = -0*v. Let u be 28/(-1274)*(-28)/(-9). Let l = u - -1553/468. Which is smaller: v or l?
l
Let c = 316 + -179. Suppose -c = 5*y + 48. Let d = y + 38. Is d less than -1/22?
False
Let n be 10/7*(-9100)/240. Let m = n - -54. Suppose 4*c = 1 + 3. Do m and c have different values?
True
Let l = -77.5 - 15.5. Let m = 93.1 + l. Do 77 and m have the same value?
False
Let i(m) = -53*m - 574. Let h be i(-10). Which is smaller: h or -750/17?
-750/17
Let f = 401 - 385. Let i = 0.16 - -0.04. Is f > i?
True
Suppose -s = -7 + 6. Let m = 8.2 + -0.2. Which is smaller: m or s?
s
Let g = 11.07 - 9.07. Is g not equal to -0.408?
True
Suppose 0 = -b - 15 + 14. Is 13/237 at most as big as b?
False
Suppose 1851*y - 1844*y + 7 = 0. Which is smaller: y or -1/1628?
y
Let x be -1*5/(-20)*-4. Which is bigger: -1/75 or x?
-1/75
Let l(x) = -12*x**2 + 9*x**2 + 19*x + 4*x**2. Let s be l(-19). Which is greater: -5 or s?
s
Let s = 564 + -570. Which is smaller: -24 or s?
-24
Let x be 6/21 + (5 - (-408)/42). Which is greater: x or 14?
x
Suppose 5*l + 20 = 0, 2*l + 4 = -5*k - 4. Let f be 4/8*(k - -8). Let g(a) = a - 1. Let n be g(f). Which is bigger: n or 0?
n
Suppose 0*v + 4*v + 1088 = 0. Let m be -2 - (v/66)/2. Which is smaller: 0 or m?
0
Let n(a) = a**2 - 5*a - 16. Let j be n(8). Let h be 15/4 + 2/j. Let x be 0/(1*(-7 + h)). Which is smaller: -2/7 or x?
-2/7
Let h = 2010.6 + -2012. Which is bigger: h or -21?
h
Let d = -830/3 + 276. Is d less than -23?
False
Let y = 13 - 66. Let f = y - -60. Is f greater than -4?
True
Let f be ((-56)/546)/(215/72 - 3). Which is smaller: f or 7?
7
Let o = -1316 - -6431/5. Which is smaller: o or -30?
-30
Let q = 0.26 + -0.34. Let t = q - 10.92. Let a = -11.1 - t. Is 1/5 >= a?
True
Let x(y) = 2*y + 7. Let m be x(-3). Let b be (3 - m)*(-10)/(-20). Which is smaller: b or -1/20?
-1/20
Let s be ((-1)/13)/(12/108). Suppose 4 = -3*a - 2. Is a > s?
False
Let w = 14 + -11. Suppose -5*o + 5*c - 34 + 119 = 0, 0 = -w*o + 4*c + 47. Is o smaller than 23?
True
Let d = 118581/79 + -1501. Is 1 less than or equal to d?
False
Let n be 20/(-70) + (352/532)/(-1). Which is smaller: n or -2?
-2
Suppose -2*a + a = 0. Let t(u) = -u**3 - 12*u**2 + 4. Let g be t(-12). Let y be (6/g)/(-7 + 1). Which is greater: y or a?
a
Let o = 8 + -15. Let n be -2*(-2)/4 - (o + -1). Is 10 > n?
True
Suppose 87*q + 10 = 77*q. Are 0 and q equal?
False
Let q be 5 + (-19)/((-171)/(-54)). Do q and 1/37 have different values?
True
Let w = -3/7 + 23/21. Let g(a) = -a - 10. Let n be g(-13). Suppose -3*m = n*m - 24. Which is smaller: w or m?
w
Let k = -1712.06 + 1712. Which is greater: k or -0.037?
-0.037
Let t = -725/5106 - -7/69. Let b = t + 607/370. Which is smaller: b or 3?
b
Let r = -147 + 55. Let q = r + 93. Which is smaller: q or 2/11?
2/11
Suppose 0 = -0*w - 15*w + 15. Is 1/5 <= w?
True
Let m(q) = 3*q - 21. Suppose 3*i + 3*r + 2 = 17, 2*i - 3*r - 20 = 0. Let g be m(i). Is g at most 32?
True
Let n = 0.2 + 0.8. Suppose -3*g + 71 = -3*y + 4*y, 0 = -5*g + 3*y + 137. Suppose -3*m + g = -86. Does m = n?
False
Suppose -5*p = 5*r + 15, -4*p + 5*r + 41 = 8. Suppose -p*q = 6*q. Let o = -28 - -44. Is q smaller than o?
True
Suppose -37*o = -28*o - 468. Suppose 0 = -4*v - t + 205, -4*t - 272 = -2*v - 3*v. Do v and o have the same value?
True
Suppose -463 = -17*z + 200. Let c = 60 + -22. Which is greater: c or z?
z
Let r = -51 - -23. Let c be (-8)/140*r/(-6). Let g be (-290)/174*9/(-15). Which is bigger: c or g?
g
Let c(i) = i**2 - 10*i - 14. Let j be c(11). Let d be ((-1)/(-3))/(j/(-6)). Is 4 greater than d?
True
Let c(o) = 14*o + 22. Let i be c(-1). Are 17 and i equal?
False
Let t(l) = -l**3 - 8*l**2 + 23*l + 42. Let p be t(-10). Let n(g) = -3*g + 3. Let m be n(-3). Is 