2*h - 6 = g + g. Suppose 0 = -q + 3*t + 17, -q - 2*q + 106 = 2*t. Let s = q + -34. Are s and h equal?
True
Suppose 0 = 3*m - 5129 - 3397. Suppose m = 24*t + 5*t. Which is greater: 97 or t?
t
Let x(c) = c**3 + 5*c**2 + 2*c - 4. Let t be x(-4). Let j(k) = -k + 2. Let w be j(0). Let z be (10/w)/((-20)/(-24)*3). Are z and t nonequal?
True
Let c = 0.2 + 0. Let f = -63029/4339479 + 2/62891. Which is bigger: c or f?
c
Let w(o) = o**3 - 6*o**2 + 6*o - 9. Let b be w(5). Let c be 25/b*20/(-50)*174. Which is bigger: 436 or c?
436
Suppose -2*h - 30 = -5*g, 6*g - 3*h + 6 = 7*g. Let x(m) = 8*m - 5. Let q(n) = -15*n + 11. Let j(i) = -6*q(i) - 11*x(i). Let v be j(g). Which is smaller: v or 2?
v
Let b = 0.24893 - 1.25483. Let n = 0.0059 + b. Let d = -1.6 + 8.1. Which is greater: d or n?
d
Let i(z) = -14*z - 1. Let k be i(2). Let p = k - -19. Let q be ((-1)/(p/(-4)))/((-21)/(-525)). Is q at most as big as -8?
True
Suppose 10*s - 11*s = 2*k, -5*s = k. Which is smaller: s or -1/1071?
-1/1071
Suppose -6*b + 96 = -174. Let s be -1*9/15 + 2187/b. Is s < 49?
True
Suppose 5*k + 147 = -743. Let u = -136 - k. Is 43 at most as big as u?
False
Let w(c) = -2*c - 13. Let x = 63 + -61. Suppose 5*u + 3*n - 34 = 0, -2*u - 5*n = x*u - 35. Let j be w(u). Is -23 != j?
False
Let b = -113.82 + 4.22. Let l = 2.64 + -112.64. Let o = l - b. Which is smaller: 14 or o?
o
Let t be (-5)/(-2)*(-30)/(-25). Suppose i + 18 = t*i. Suppose 3*z = 0, -4*q + 29 = 3*z + i. Which is bigger: q or 6?
6
Let h = 13900 - 13898. Let g = 1051/385 - 10/77. Is g equal to h?
False
Suppose -4*f - 15 = -11, -51 = r + 2*f. Is -49 <= r?
True
Suppose -2*v - 5*y = -64, -73 = 2*v - 5*v + 4*y. Which is smaller: 40 or v?
v
Let n be (-14)/(-49) + 332/14. Let y = n - 40. Is y greater than -26?
True
Suppose -4*z = -7*j + 2*j + 1299, z - 530 = -2*j. Suppose -m - 173 = -j. Let i = m - 86. Is i equal to 34/7?
False
Let z(o) = -2*o + 1. Let v be z(-1). Suppose 4*r - v*k = 67, r = -r + 5*k + 37. Suppose 115*t + 48 = 118*t. Do r and t have different values?
False
Let s = 7970 + -8060. Is -34 >= s?
True
Let y = 412/39 + -253/26. Which is smaller: -3/103 or y?
-3/103
Let k = -1837 + -568. Is -2406 bigger than k?
False
Suppose 2*u - 20*u - 111 + 21 = 0. Which is greater: u or -4?
-4
Let k = -1 - 0. Let m = 38623 + -38623.9. Is m smaller than k?
False
Let h = 1582 + -8214/5. Which is smaller: h or 0.2?
h
Let k = -41687 - -40146. Are -1541 and k nonequal?
False
Let c be (-3 - 2/(-2)) + (-584)/104. Let n = c - -287/65. Which is greater: n or 0.5?
0.5
Let h = -12197 + 9586. Are -1 and h non-equal?
True
Let w = -277084/3115 + 42/445. Let a = -29304/329 - w. Which is smaller: a or -1?
-1
Suppose -2*o - 9 - 15 = -4*v, -5*o - 15 = -v. Let s = 4/3 + o. Let l = 54 - 51. Is s > l?
False
Let b = 32421 + -32418. Is b > 668?
False
Let v be ((-18)/(-15) - 90/200)*44/3. Is 15 at least as big as v?
True
Let h be 2637/6 + (-8)/(-16). Suppose -h = -5*k + 25*k. Which is greater: -21 or k?
-21
Let x(u) = u**3 - 8*u**2 - 43*u - 8. Suppose 343 = 31*t + 2. Let q be x(t). Which is greater: q or -0.1?
-0.1
Suppose 69*i + 11 + 42 = -16. Are 3/2663 and i nonequal?
True
Suppose -13193*m - 17212 = -13167*m. Which is greater: -664 or m?
m
Let l be 30 + -21 + 0 + -1. Let d be (-2)/27*(36/l - 6). Is d smaller than -2?
False
Let a = -120.9 + 127. Let l = a + 0.9. Let o = 0.05 + 0.15. Which is smaller: l or o?
o
Let q(a) = 21*a**2 + 40*a + 2. Let g be q(-2). Is g <= 134/25?
False
Suppose 4*z = -1439 - 233. Let o = z + 443. Is 17 < o?
True
Let f be (-29 - -31) + 0/4 + -60. Which is smaller: f or -21?
f
Suppose 5*v - 3*f - 62 = -5*f, -f = -1. Let y be (-9)/36 + 95/v. Let t(i) = -i**3 - 3*i**2 + 3*i + 4. Let d be t(-4). Are d and y nonequal?
True
Let v = 7902 + -7881. Which is bigger: -1.67 or v?
v
Suppose -453*k = -162*k - 2328. Which is smaller: k or 12?
k
Let i be ((-1)/(-3))/((262/30 + -9)/((-4)/(-10))). Let a be 2/(-4)*(-16)/(-86). Is a bigger than i?
True
Suppose 3*f + 4*i + 13 = -0*i, -i - 3 = f. Suppose -j + s = -7, 10 + f = 3*j - s. Let d be (-4*j/(-16))/((-110)/(-8)). Is d != -1?
True
Let v be (-15 - 2675 - -16) + 1 + 1. Which is smaller: -2674 or v?
-2674
Let a = 380 - 380. Is 1228 not equal to a?
True
Let z(j) = 2*j - 15. Let m be z(16). Let t = m - 17. Let k be 95/31 - 3/1. Is k != t?
True
Let k(d) = -d**2 - 7*d - 3. Let c be k(-5). Let f(t) = -t**2 + 25*t - 42. Let s be f(18). Let i be 4 + (-136)/40 - s/(-10). Do i and c have the same value?
False
Let y = -0.08928 + -11.01072. Which is bigger: y or -1.3?
-1.3
Let t = -3895 - -3898. Suppose 0 = -6*v + 2*v. Suppose 4*g + 8 + 8 = v. Is t <= g?
False
Let p = -1313.6 + 1315.6. Suppose k - 5*b = -7, -b = 4*k + k - 69. Is p equal to k?
False
Let j = -784 + 433. Let p be j/36 - 5/4. Which is smaller: -12 or p?
-12
Let p = 796 - 452. Is p less than or equal to 349?
True
Suppose z - 16*z - 120 = 0. Let i(s) = s**2 + 5*s - 25. Let m be i(z). Which is bigger: m or -15?
m
Let i = -5473 - -5471. Let q = 16 + -120/7. Which is smaller: q or i?
i
Let h(n) = -7*n - 77. Suppose -4 = 5*d + 2*l, 5*l - 2 + 12 = 0. Let s be h(d). Is -313/4 greater than or equal to s?
False
Let y = -709 - -1119. Let t = 357.8 - y. Let f = -52 - t. Which is bigger: 0.04 or f?
f
Let n = -1238.07 - -1238. Does -11 = n?
False
Let i(z) = -7*z**2 - 35*z - 16. Let y be i(-4). Do y and -10 have the same value?
False
Let t = -12744 - -3683014/289. Which is bigger: 27 or t?
27
Let n = -25 + 24.917. Let o = n + -0.117. Let b = -7 - -14. Which is smaller: o or b?
o
Let k(r) = -100*r**2 - 29*r + 136. Let h be k(5). Is -2507 less than h?
False
Let n be -6 + (-7868)/77 + 6*(-1)/(-33). Which is bigger: -112 or n?
n
Let l = -164620037/66549 + -2/22183. Does l = -2474?
False
Let k = -21/115 + 702/1955. Which is smaller: 44 or k?
k
Suppose -2*r = -3*w - 0*r + 21, 4*r = -4*w + 8. Suppose 2*c + 2*c - 16 = 4*z, -w*z + 4*c - 17 = 0. Let f = -8.718 - -27.718. Which is smaller: z or f?
z
Let m be (-40)/((-156)/32 + 20/4). Let r = m + 325. Let f be 3/(-12)*0 + 3. Do r and f have different values?
True
Let t = -1042 - 157. Which is greater: -1201 or t?
t
Let m be (138 + -19)*1*(-1)/1. Let j = m - -110. Is j at least as big as -9?
True
Suppose r - 708 = v, -2*r + 0*r = -v - 710. Let f = v - -705. Is f at most as big as 11?
True
Suppose -3*c + 120 = -2*c. Suppose -3*d + c = -j, -2*d = 2*d + 3*j - 147. Let p = d - 38. Is p smaller than -1/7?
False
Let j = -678593/6825 - 1/975. Which is bigger: j or -98?
-98
Let x = 9763 + -175733/18. Are x and 0.0675 non-equal?
True
Suppose -m - 2*m + 6 = 0. Suppose 2*y = -5*n + 55, -m*y - y - 80 = -5*n. Suppose 5*o - 4*v = -2*v + 66, -3*o - v = -44. Is o at least n?
True
Let c = 8302.3 + -8302. Which is smaller: c or -34/271?
-34/271
Suppose 3*t = -t + 88. Suppose -4*f = -2*f - 70. Let x be (308/f)/4*10. Are x and t equal?
True
Let j(g) = -g**3 - 17*g**2 + 8*g + 24. Let c be j(-17). Let p be (2400/(-560))/(2/c). Is 240 at least as big as p?
True
Let h be 226 - 227 - (2 - -1572). Which is greater: -1577 or h?
h
Let l = 131 - 185. Let u = -1.12 + -55.38. Let q = l - u. Which is greater: 0 or q?
q
Let c = 19 + -19.11. Let v = 3.89 - c. Let s = -2/2097 - -2107/10485. Which is bigger: v or s?
v
Suppose -38*p - 14470 = -38942. Let o = p - 650. Is -9 != o?
True
Let s = 1112.532 + -1112. Let h = 5 + -4.932. Let u = s + h. Do -6 and u have the same value?
False
Let n = 22.757 - 21.187. Which is smaller: 2 or n?
n
Suppose 21*g = 23*g - 202. Suppose -31*l = -49*l + 1782. Is l less than or equal to g?
True
Let u = 12350.709 + -12354. Is -0.1 < u?
False
Let d = -191 + 68. Let r be d/41 + (-907)/(-303). Which is smaller: 1 or r?
r
Let p(y) = y**2 - 8*y + 12. Let x be p(6). Let a be (-123)/6*(-6 - x). Let w = a - 88. Is w equal to 35?
True
Suppose -108 - 365 = 29*s + 107. Which is smaller: -2 or s?
s
Suppose -5*l = -4*l - 12. Suppose -4*d - 5*z = 111, 2*d = 4*z + 17 - 53. Let x be (8/l - (-4)/d)*50. Is x less than or equal to 26?
True
Let m = -0.7 - -5.1. Let l = m - 22.4. Let c = l - -16. Which is greater: -0.16 or c?
-0.16
Let a = 102 + -101. Let o = 121 - 115. Suppose 0 = -2*u + 4*f - o, -4*u - 17 = -4*f + 15. Which is bigger: u or a?
a
Let u = -76.925 - -76. Let x = 0.075 - u. Which is smaller: 32 or x?
x
Let c be (-6)/(-15) - (-39819)/(-60) - 