)/(-1836)*9/(-537). Is g at least as big as -0.1?
True
Let h = -525 + 3699/7. Let x(z) = z**3 - 7*z**2 - 4*z + 15. Let g be x(4). Let f = 52 + g. Which is greater: h or f?
h
Let k(t) = -17*t - 707. Let g be k(0). Are g and -707 equal?
True
Let i = 717870495093/305423 - 2350414. Let q = i - -11960061809/26877224. Let a = 445 - q. Is a greater than or equal to 1?
False
Let s = 41.3 + 6.7. Let w = -2.77 + -0.33. Let b = 4.1 + w. Which is smaller: b or s?
b
Let s be ((5/(-30))/(70/(-100)))/(2/(-5010)). Which is greater: s or -596?
-596
Let y be (8 - 15) + 8 + (-10)/7. Let l = 58 + -57. Which is smaller: l or y?
y
Let j = 15 + -8. Suppose 5*v = 2 - j. Let c be (76/362178)/((-17)/(-459)). Is c at most as big as v?
False
Let y(j) = 3*j**2 - 187*j + 490. Let p be y(46). Are p and -1761 equal?
False
Let b = 11762 - 11883. Is -90 at least b?
True
Let i(l) = 24*l**2 - 356*l - 71. Let t be i(15). Which is smaller: -0.03 or t?
t
Let k = -490932/197 - -2492. Let z = 5263/1379 - k. Let q = z - 365/91. Do q and -1 have different values?
True
Let m = -7373 - -7334. Suppose 0 = 7*s + 120 + 153. Is m > s?
False
Let q(w) = 73*w**2 + 2*w - 4. Let f be q(1). Let t be (-15)/(-10) - 3 - f/2. Is t smaller than -107/3?
True
Let z = 776 - 1126. Let s = 351.3 + z. Which is smaller: 2/5 or s?
2/5
Suppose 1982*d = 1949*d + 17028. Is 515 smaller than d?
True
Let y = 22750 - 22751. Which is smaller: y or -4/4855?
y
Suppose 23*p - 80 = 587. Suppose -2*l = 3 + 3. Let t = l - -33. Are t and p equal?
False
Let g(i) = 9*i**2 - 56*i - 59. Let a be g(7). Is 127 at least as big as a?
True
Let w = 24167065/137 - 176402. Let g be (-1)/(2/1 - 1). Which is smaller: w or g?
g
Let h = -1517 + 1517. Is 0.0668 <= h?
False
Let u be (-8 + 13 - -2317)/134 + -4 + 1. Which is smaller: u or 14?
14
Let v = 205 - 205. Let l(r) = 2*r**2 - r - 3. Let n be l(v). Is -46 < n?
True
Suppose 0 = 2*t + 94 + 810. Suppose i + 2*d = 4, 4*d = i - 15 + 5. Let m be t/(-20) - i/(-45)*3. Which is bigger: m or 45/2?
m
Let q = 68 - 69. Let l(z) = -49*z**3 - z**2 - 3*z - 1. Let j be l(q). Let u be 5*5/j*2. Which is greater: -8/35 or u?
u
Let t = -1859 + 1853.962. Let d = t + 5. Let j = -0.062 + d. Is 5 greater than or equal to j?
True
Suppose 48 = -16*t - 16. Let f be (-2)/(t/(-8) - 0). Which is smaller: -17 or f?
-17
Let n = 5133 + -5825. Is n not equal to -2?
True
Let v = -20.223 - 28.677. Is v not equal to -1?
True
Suppose 3*d = 8*d + 2*m - 397, 2*d - m - 157 = 0. Let z be 3 + (-1)/(4/12). Suppose -b - 27 = -k, 3*b + z*k + d = 2*k. Which is smaller: b or -26?
-26
Let m = -173 - -143. Let u = -28.4 - m. Is u less than or equal to -4?
False
Let w be 8/(-64) + 2/((-320)/(-67892)). Is w at most 425?
True
Let k be ((-2)/(46/4245))/((-10)/(-70)). Let s = 1293 + k. Which is smaller: s or 2?
s
Let y be (-3510)/(-120) - 30 - (2 - 11/4). Which is smaller: -2/7145 or y?
-2/7145
Let o(v) = -v**3 + 29*v**2 + 2*v - 58. Let a be o(29). Let g = 17441162/905 - 19272. Which is bigger: g or a?
g
Let g = 66.31 + -66. Let k = 1.96 - -0.04. Which is greater: g or k?
k
Let i = -14.8438 - 0.1562. Let g = 1 + -1. Which is bigger: i or g?
g
Let o = -1163/81084 - -4/699. Suppose -49 + 40 = 9*c. Which is greater: c or o?
o
Suppose -5*x - k = -4096, 91 = x - 2*k - 726. Let z = x + -819. Does z = -6/307?
False
Let v = -3514 - -955. Which is greater: -2560 or v?
v
Suppose 12*g + 6*g - 54 = 0. Let m be g - 1 - (-34)/18. Is m greater than 4?
False
Suppose 24*y + 528 = 20*y. Let o be (y/104)/(-3) + (-1)/2. Let l be (-1)/7 + 36/(-42). Which is bigger: o or l?
o
Suppose 5*t + 2808 = u, -2244 = 110*t - 106*t - 2*u. Let d = t + 328. Is d greater than -234?
False
Let p = -525 + 531. Which is bigger: p or 400?
400
Let o = -297 + 259.9. Let h = 584 + -621. Let x = h - o. Which is greater: x or 0.8?
0.8
Suppose 3*z = -r - 68586, -177003 - 28733 = 3*r - 2*z. Let u be -9 + (-4)/(r/154323). Is 1 bigger than u?
True
Let k be 10/60*(9 + 3). Suppose 2*g = z - 11 + k, -5*g - 29 = 4*z. Is -9/43 <= z?
False
Let d be (13 - 3) + (-12)/(-2). Let t be (d/(-80))/(6/20). Is t at most -0.43?
True
Suppose 90 = 2*a - 5*n, -31*a + 3*n - 90 = -33*a. Is a equal to -1?
False
Let t be -16 + 20 - (-289 + -1). Let a = t + -293. Which is greater: a or 1/386?
a
Let r be (-10)/35 + 195/21. Suppose 3*v = -4*t + 2*t + r, t = 5*v - 2. Suppose -11 = t*z + 1, 16 = 4*w - 5*z. Is w at most as big as -16/9?
False
Let y be (-8)/(-6)*(-1)/2. Let r = 128 + 60. Let s = r + -186. Which is bigger: y or s?
s
Let k(l) = 4*l**2 - 2*l - 756. Let u be k(0). Does -757 = u?
False
Suppose -2284 = 18*b + 4592. Is -377 <= b?
False
Let r(w) = -49*w + 1855. Let j be r(39). Which is smaller: j or -113/2?
-113/2
Let k(t) = t**3 + 29*t**2 + 36*t + 703. Let l be k(-29). Which is smaller: 0.01 or l?
l
Let b(c) = c**2 - 12*c - 19. Let p be b(14). Suppose 146 = p*n - 313. Suppose -5*z - n - 114 = 0. Which is greater: -1/4 or z?
-1/4
Let c(a) = -11*a + 37. Let h be c(5). Let j(s) = s**3 + 20*s**2 + 38*s + 28. Let u be j(h). Is -11 less than or equal to u?
True
Suppose 0 = -3*p - j + 26814, 3*j - 35720 = -4*p + 7*j. Is 8937 <= p?
False
Let m(r) = -4*r**3 - 12*r**2 - 4*r - 2. Let w be m(-3). Let c be (w/(-135))/((-4)/12). Are -1 and c nonequal?
True
Let h(t) = -2*t**2 - t - 1. Let q be h(3). Let c = -104061 + 104039. Is c smaller than q?
False
Let p be (-3)/12 + 835/3260. Let y = -446 - -259. Let q = y - -186. Are p and q unequal?
True
Let m be (-13531)/(-84)*-3*-4 - (-3)/(-1). Is 1930 smaller than m?
False
Let m be ((-4)/28)/(10/(-105) + (-57)/63). Are m and 913 nonequal?
True
Let g be -2 - (72 + -4) - 0. Let l = g + 343. Is l at most as big as 274?
True
Suppose -44*o - 22046 = -5326. Do -381 and o have different values?
True
Let w = -61 + 164. Let y be -1 - 0 - (-598)/(-6). Let l = y + w. Which is smaller: 3 or l?
l
Let s be (-10050)/1200 + ((-13)/8 - -2). Which is smaller: -0.0598 or s?
s
Let i = 333 + -261. Suppose 0 = 14*f + 58 - i. Let z = -128 - -652/5. Which is greater: f or z?
z
Suppose -z - 5353 + 783 = 2*p, -2*p = -2*z + 4564. Which is smaller: p or -2282?
p
Suppose -3*m + 112 = 4*x, 49*m + 12 = 52*m. Which is greater: 43 or x?
43
Let z = 473 + -479. Let c(v) = -v**2 - 8*v - 2. Let n be c(-7). Suppose n*h + 23 = -2. Which is greater: z or h?
h
Let t be (-376*5/30)/(4/(-6)). Suppose 5*y = -2*l - 273, l = 2*y - 2*l + t. Let i = -2 + -50. Which is bigger: i or y?
i
Let r(x) = -x**3 - 2*x**2 + 5*x + 3. Let f be r(-3). Let d(q) = -4*q**2 + 70*q - 37. Suppose 8*b + 22 = 158. Let i be d(b). Is f not equal to i?
False
Let q(k) be the first derivative of -k**4/4 - 14*k**3/3 + 35*k**2/2 + 47*k + 70. Let a be q(-16). Is a equal to -38/33?
False
Suppose 116*u + 4*m = 121*u - 1591, 2*u - m = 637. Which is smaller: u or 2232/7?
2232/7
Let y = -3 - -3. Let o = -254 - -259. Suppose 7*k + 64 = 4*k - o*r, y = -2*k + 4*r - 6. Is k not equal to -13?
False
Let z = 212 + -117. Let y = z + -31. Which is bigger: y or -0.1?
y
Let h be (-1696)/18 + -2 + 40/18. Let r = h + 98. Suppose 152 + 56 = -r*i. Is -51 not equal to i?
True
Let g be (9/272)/(18/9624). Let i = 71/4 - g. Is 6 > i?
True
Suppose -2*d + 70*d - 366 + 298 = 0. Which is greater: d or 91/361?
d
Let s = 3/3643 + -5005/1653922. Which is bigger: s or 0?
0
Suppose 3*i = -5*n - 89, 2*i + 91 - 27 = -n. Let q be (i/72)/((-3)/(-9)). Is q greater than 0?
False
Suppose -26*o + 28*o = -478. Let i = o + 248. Suppose 2*t = 2 + 10. Which is smaller: i or t?
t
Let d be (439/4)/(706/(-2824)). Is d > -7?
False
Suppose -76*g - 473 = 55*g + 182. Which is smaller: -125 or g?
-125
Let l = 934 - 38298/41. Let u be (2/(-10))/(1/2). Is l greater than or equal to u?
True
Let t = 48.76 + -46.06. Do t and -57 have the same value?
False
Let k = -581 - -607. Let l be k + -38 - (-4 - 1). Is l equal to 4?
False
Let i be (2/(-6))/(82/1968). Let j be i - (1841/(-35) - -6). Is 39 less than or equal to j?
False
Let j = -0.42 - -0.92. Let i = -1.3 - j. Let q = -111 + 109. Which is smaller: q or i?
q
Suppose 0 = -o - 3 + 6, 2*o = -4*d - 10. Let b = -140 - -124. Let p be (-15 - b)*(-2 - 3). Are d and p nonequal?
True
Suppose 42*b = -19370 - 4606 + 414. Which is smaller: -558 or b?
b
Let b = 30008.1 - 30008. Let h = -5.5 - -6. Let n = h - 2.3. Is b greater than n?
True
Let w(i) = -3*i**2 + 1. Let m be w(-