 = 2*g + 4*t, 5*g - 3*t - 136 = 0. Suppose 0 = -4*f + 34 + g. Suppose f*d - 4 = 19*d. Is -5/6 <= d?
False
Let y = 140 - 143. Is y at most -597?
False
Suppose 0 = -0*a + 2*a + 4*u - 16, 5*u = -3*a + 19. Let f be (-3)/a*1640/861. Which is smaller: -0.1 or f?
-0.1
Let v = 11.106 - 11.006. Is v < -1/936?
False
Suppose 28 = 4*p - 5*o, 2*p - 7*p = -o - 14. Suppose -5*y - 8 = -p*k - 2*y, -16 = 4*y. Which is smaller: k or -10/7?
k
Let g be (-1320)/21 + 144/168. Is g at least as big as -60?
False
Let d(l) = -36*l. Let q be d(-1). Let f = q + -29. Let t be (9 + 0)*5/(f - 27). Is -2 greater than or equal to t?
True
Let b = 108.901 - -0.099. Let r = b - 13. Let h = 95.97 - r. Which is greater: h or -0.2?
h
Let g = 0.01443 - -2179.98557. Is g < -1/2?
False
Let n = 88 - 67. Let u = n + -29. Let x be (26/u)/(2 - 13/8). Which is bigger: -9 or x?
x
Let n(d) = -d - 3*d - 177 + 198. Let o be n(13). Let g = 33 + o. Which is bigger: 7/5 or g?
g
Let g = -4150.937 + 4151. Is g at least 28?
False
Let d = -21785 - -12373883/568. Let v = d - -11871/10792. Which is greater: 2 or v?
2
Suppose -20123*j + 3 = -20115*j + 11. Is j less than -10390?
False
Let k(d) = d**3 + 5*d**2 - 2*d - 6. Let g be k(-5). Suppose g*h = 45 - 21. Let n be (-7)/(28/8)*h. Which is bigger: -14 or n?
n
Let a = -63 + 122. Suppose -18 = 56*b - a*b. Suppose -9 - 3 = -2*j. Is j bigger than b?
False
Let j = -3.2 + 3. Let a = -1234 - -1239.47. Let x = a - 5.67. Is j >= x?
True
Let f(p) = -3*p**2 - 50*p - 200. Let d be f(-11). Which is bigger: -324/23 or d?
d
Let a be ((-2329)/(-2) - 5/10) + -5 + 1. Which is smaller: a or 4641/4?
a
Let z = 3096 - 3108. Let c = -5.6 - -5. Let a = c + -2.4. Which is bigger: z or a?
a
Let c = -121 + 124. Suppose 2*t - 4 = -h + c, 0 = t - 4. Which is smaller: -5 or h?
-5
Let x = -4439 - -4442. Which is smaller: 0.0798 or x?
0.0798
Let d be 16 + (-14)/189*150. Let c(r) = r**2 + 14*r - 7. Let x be c(-9). Let w be (-6)/(-39) - 200/x. Which is smaller: w or d?
w
Let j = 0.152 - -145.848. Let t = j + -148. Is -0.11 > t?
True
Let q be (-5)/30 + (-291)/(-18). Suppose 11*c = q*c - 605. Is 122 != c?
True
Let q = -769.7 - -1024.7. Is -2 greater than q?
False
Let i be 9/(-6) - (2 + 5485/2). Which is smaller: i or -2747?
-2747
Let g = -9309 + 6033. Which is bigger: 2/9 or g?
2/9
Let m = -0.0037 + 0.2037. Let r(p) = 76*p - 5. Let v be r(-1). Which is smaller: m or v?
v
Let a be 4/28 - (29733/(-11340) + 3). Let l be (-86)/(-270) + (-2)/6. Let u = a + l. Is u <= 1/4?
True
Let n be (-19210)/20 - 70/(-14)*8/(-10). Is -965 equal to n?
False
Suppose 0 = -7*u + 51 - 58. Let v be (-2)/(-551) - 0/(-3). Is u < v?
True
Let k be (-80)/6 + (-116)/174. Let a(z) = 5*z + 71. Let l be a(k). Is l >= -3/275?
True
Let s = 116 + -114.28. Let v = 3.72 - s. Which is smaller: v or -6/5?
-6/5
Let u(t) = -t + 4. Let r be u(0). Let m = -298 - -299. Suppose -4*o = -5*x - 5, m = -3*x + 2*x. Which is bigger: o or r?
r
Suppose -84 = -114*u + 30. Which is bigger: 4/399 or u?
u
Let r = 0.07994 - -15.12006. Is r at least as big as -5?
True
Let r = -0.09 - -0.187. Let i(u) = u**2 + 43*u + 223. Let j be i(-6). Is r less than or equal to j?
True
Let t be 5/((-120)/(-112))*18/16. Is 5 less than or equal to t?
True
Suppose -3*n - z + 110 = 0, 2*n + 2*z = 12 + 60. Let q be n/7 + 4/(-14). Let v = -58948/7 - -8426. Is v less than or equal to q?
True
Let o = 0.082 - -206.918. Let t = o - 210.2. Let l be (2/6)/((-2)/6). Which is smaller: l or t?
t
Let n be ((-12)/(-21))/(222/777). Which is smaller: 67/20 or n?
n
Let f = 58 + -55. Let p = -2.2 + 9.2. Let w = f - p. Do 4 and w have the same value?
False
Let w be 3*(-148)/24*22. Let c = w + 290. Is c != -117?
False
Suppose -5*o - 15*h = -19*h - 3414, 2736 = 4*o - 2*h. Is o at most 688?
True
Let k = -6 - -5. Let j be ((-4)/3)/(k/(-3)). Let l be (6/15)/(108/(-360)). Is l at most j?
False
Let q = 5 + 1. Suppose -8 = -x - q. Suppose 4*o = 5*a - 16, -x*o - 3*o - 20 = -5*a. Do 9/10 and a have different values?
True
Let r(u) = 2*u**3 + 11*u**2 - 39*u + 8. Let v be r(-8). Suppose g - 2*i - 28 = v, g - 116 = -3*g + 4*i. Is 30 > g?
False
Suppose -4*q + 4*h = 0, 2*h - 4 = q - 3*h. Let k be q*(-33)/(-6)*20/10. Which is bigger: k or 1/3?
k
Suppose 3 = -3*l, -3*l = 4*j + 7 - 32. Suppose -j*g = 4*g - 88. Let k be (-14)/g*2/7. Which is bigger: k or 0.1?
0.1
Suppose -2*u + 1 = -l + 11, 0 = 3*l + 2*u + 10. Suppose s = -h + 5, -5*h + 9 + 16 = 0. Suppose l*y - 7*y - 21 = s. Do 1/7 and y have different values?
True
Suppose -9 - 3 = -3*b. Suppose 12*o = -79 + 127. Suppose -b*g = -5*k + 5, 6*g = g - o*k + 4. Is -1 > g?
False
Let x = 3/2 + -14/3. Let b be (32/(-126))/4*154/(-44). Is x at most as big as b?
True
Let n = 4617 - 5472. Which is smaller: n or -1?
n
Suppose -x - 2*m = -3, x + 0*x - 12 = m. Let c be (-2)/(6/x - 16/12). Suppose -5*i = -c*i - 8. Is 6 bigger than i?
True
Let j be (-3)/(-12)*-12 + (0 - 1886/4). Which is smaller: j or -476?
-476
Let h be (-872)/(-5330) + (11/13 - 30/30). Let w = -2 - -3. Which is greater: h or w?
w
Suppose 0 = -40*r - 575 - 505. Let u(j) = j**3 - 7*j**2 - 3*j - 10. Let w be u(7). Let l = r + w. Do -58 and l have the same value?
True
Suppose -4*h = -l + 4, 358*l + 4 = -4*h + 356*l. Which is smaller: -1/4028 or h?
h
Suppose -16*a = 386 + 2350. Suppose 0 = 4*o + 2*l + 680, 175 = 3*o - 2*l + 699. Which is smaller: o or a?
o
Let v = 26/201 - 1097/3819. Are 0.6 and v non-equal?
True
Suppose 0 = -7*i - 12*i + 76. Suppose 21 = -4*s + 5*u, -s + i*u + 2 = 10. Do -4 and s have different values?
False
Suppose -1304 - 240 = -4*p. Let i be p/10 - 15/25 - -1. Let d = i - 37. Is 2/5 <= d?
True
Let k = 54996 + -76279449/1387. Let n = 3017/112347 - k. Suppose 0 = r + r + 2. Which is smaller: r or n?
r
Suppose 0 = 57*h - 16171 + 268. Is 278 equal to h?
False
Let g be (9/((-12)/(-4)))/(3/(-2)). Let m be ((0 - 3)/(-3))/(g/6). Let x = m + 8. Which is bigger: x or 19/4?
x
Suppose 5*x - 4*l = -14629, -4*x + 4120*l = 4118*l + 11702. Are x and -2926 unequal?
True
Let h be (-36)/30*30/(-166). Let b = 3285280 - 1908748636/581. Let y = b + h. Is -0.2 bigger than y?
True
Let p = 47 + -29. Suppose -p*a = -6*a. Let b = -451/5 - -89. Which is bigger: b or a?
a
Suppose 3*j - 4*x - 16 = 0, -45*x - 41 = 5*j - 42*x. Which is greater: j or 1/53?
1/53
Let r = -2962.292 - -2956. Let h = r - -6.27. Is -4 greater than h?
False
Let v be 2 - 2 - (-7)/((-35)/(-10)). Suppose 0 = 7*g + v*g - 954. Which is bigger: g or 107?
107
Let a be 24/(-8) + 2 + 73. Suppose -7*n + 4*n = a. Are -95/4 and n nonequal?
True
Suppose -7*q + 12 + 8 = 4*f, 2*f + 20 = 4*q. Suppose z - 5*t - 4 - 4 = 0, -5*t = -3*z + 54. Suppose s = -s + y - 11, s = q*y - z. Which is smaller: s or 2?
s
Suppose -11*n = 2*n - 247. Suppose n*u + 100 = 15*u + i, u - 2*i + 25 = 0. Do u and -74/3 have the same value?
False
Let m = -39 - -46. Suppose -4*x + m*x = -24. Let g = x - -7. Which is smaller: g or -2/11?
g
Suppose 45*z = 35*z + 24360. Suppose -z = -41*f + 29*f. Which is smaller: 204 or f?
f
Let y(b) = b**3 + 9*b**2 + 13*b - 9. Let s be y(-6). Suppose -t + 6 = -3*j, -2*t = 3*j + 9 - s. Are t and 13 non-equal?
True
Let t = -10376937/103 - -100748. Which is greater: 1 or t?
t
Let z(i) = i**2 - 15*i - 25. Let b be z(20). Suppose -b*d + 77*d - 2 = 0. Let a be (-78)/82 - (-2)/2. Which is smaller: d or a?
a
Let j be 12584/117579 - (-8)/(-84). Does j = 0?
False
Suppose -t - 5*o - 38 = 212, -4*t - 862 = -3*o. Are -220 and t unequal?
False
Let u be (12255/9 + 5)/((-8)/(-84)). Let w = 128902/9 - u. Which is smaller: w or -29?
-29
Let q = -6652 + 6766. Is 3/10 not equal to q?
True
Let d = -5640 + 5483. Which is greater: 0.04 or d?
0.04
Let h = -3392 + 3366. Which is smaller: h or 0.05?
h
Let f = 27 + -25. Suppose 10 = 2*b - f*w, 4*w = 5*b - 7 - 16. Let g be (4/b)/(5/(-3) + 1). Which is greater: g or 7?
7
Suppose -71*n = 1716 - 2355. Let w(d) = 8*d + 1. Let a be w(1). Is n != a?
False
Let t = 1.2074 + -16.5074. Which is bigger: t or 3.8?
3.8
Let v = 317.4 - 327. Let f = v - -8. Which is bigger: -3 or f?
f
Let x = 86 - 283. Let q = x - -6500/33. Let l = 1.02 - 0.02. Which is greater: q or l?
l
Let i be (10/(-125))/(5/(200/92)). Let p be 1*2 - (6 - 5). Which is smaller: p or i?
i
Let i be 2/(-7) + (-214)/280. Let n = -192597 - -192596. Do n and i have different va