have the same value?
False
Let h = 1.1 + -1. Let b = -4.23 + 306.23. Let t = b - 301.4. Is h at most t?
True
Let w = -2691 - -2445. Which is greater: w or -229?
-229
Suppose -1819*h + 5*j + 16 = -1820*h, h - 2*j - 5 = 0. Which is greater: 47/216 or h?
47/216
Let l = 3.49 - 2.87. Let t = -1.38 - l. Are t and -38 unequal?
True
Let w = 32 - -13. Suppose 109*u - 994 - 37 = 3765. Are w and u equal?
False
Suppose -8*l - 189 = -71*l. Suppose 4*s = -2 + 50. Let r be (2/s)/(9/84). Is r greater than or equal to l?
False
Let h = -4347 + 21616/5. Suppose 0 = -723*f + 730*f + 175. Do f and h have the same value?
False
Let m = 7497356297/1287820890 - -27/561142. Let c = 10/459 - m. Is -7 less than or equal to c?
True
Suppose -108*i + 74*i - 816790 = 88*i. Which is bigger: -6698 or i?
i
Let c be 44/(-10)*(-52775)/540. Suppose 260 + 170 = h + 4*f, -5*h + 2150 = 3*f. Let i = h - c. Is -1 at most i?
True
Let g(a) = 67*a + 5320. Let q be g(-34). Are q and 3042 non-equal?
False
Let u = 1.07 - 1.27. Which is bigger: u or -10.1?
u
Suppose -3*r + 5*c = -30, 370*c - 369*c + 4 = r. Let x = 0 - -2. Suppose x*i = -3*i. Which is smaller: r or i?
r
Let x be ((-75)/30)/(2/(-4)) + 5. Let y = -415 - x. Is y smaller than -425?
False
Let t = -32 + 34. Suppose 4*b - 107 = -k - 11, 0 = -3*b - t*k + 72. Suppose 18 - 2 = j + 3*h, 0 = 3*j + h - b. Which is bigger: j or 8?
8
Let d = -57 - -83. Suppose -5*w + d + 29 = 0. Do 34/3 and w have the same value?
False
Let d = -283/28 + 37/4. Suppose -5*h + 20 = 5*z, 19*h - 8 = 17*h. Is z at least as big as d?
True
Suppose w - 5*n + 1620 = -8245, -4*w = 4*n + 39340. Which is smaller: -9838 or w?
w
Let f(y) = y**3 - 5*y**2 - 2*y. Suppose 0 = 4*l + 3 - 23. Let v be f(l). Let b be (-3)/(((-8)/(-40))/((-8)/v)). Is -11 > b?
True
Let f = 32780 - 32779. Is 3/25850 bigger than f?
False
Let l be ((-17)/(-6))/(12/(-2) - (-111)/18). Let g be 2/5*(34 + 5). Is g <= l?
True
Let s(x) = 8 - 4*x**2 + 2*x**2 + 13*x**2 - 22 - x**3 - 8*x. Let f be s(10). Suppose 2*v - f = 0, v = 4*g - 3*v + 8. Do 1/15 and g have different values?
True
Let a(c) = c - 1. Let l(r) = 3*r - 9. Suppose -b + 2*j + 10 = 5*j, -3*j = -2*b - 7. Let p(t) = b*l(t) + 2*a(t). Let f be p(3). Which is smaller: 17/5 or f?
17/5
Suppose -45 = 40*b + 35. Is -50/33 bigger than b?
True
Let u(d) = -28*d**2 + 865*d + 18. Let j be u(31). Is 45 < j?
False
Let f be 16851/(-6191) + (1 - -3 - 1). Is f greater than 0?
True
Let o(n) = -7*n**2 + 16*n + 5. Let j be o(11). Let h = j - -695. Are h and 29 unequal?
False
Suppose -166*l - 99 = -800*l - 733. Suppose -b = -2*v - 91, -5*b - 4*v + 2*v = -515. Which is smaller: l or b?
l
Let q(p) = -652*p - 266669. Let x be q(-409). Let d(m) = -15*m**2 + m - 7. Let n be d(-7). Which is bigger: n or x?
x
Let j = -282.671 + 283.371. Let z = -1 - 0. Let p = -0.8 - z. Which is greater: p or j?
j
Let j(r) = r**2 + 9*r + 7. Let a = 42 - 50. Let b be j(a). Is 56/9 at most as big as b?
False
Suppose 4*m - 2*g - 16 = 8*m, -m - 2*g - 7 = 0. Let y be 622/206 + -3*(m - -4). Let c = y + -107/206. Which is smaller: -2/7 or c?
c
Let c be (23/(1288/(-84)))/(2/(-28)). Which is greater: c or 24?
24
Let d = 30964 - 31027. Which is smaller: d or -0.001?
d
Let c = -520.9 + 521. Let j = -0.51 + 1.43. Let o = 0.02 - j. Is o >= c?
False
Let y = 11330 - 11324.364. Is 0.2 != y?
True
Suppose -3*g = 0, -3*b - 4*g + 20 + 224 = -2*b. Is 238 greater than or equal to b?
False
Let f(s) = s**3 + 4*s**2 - 3*s + 10. Let h be f(-5). Suppose -11*k + 15*k - 136 = h. Let u be k/(-85) + (-4)/(-15). Is 1 less than or equal to u?
False
Let f(q) = -q**2 - 13*q - 32. Let v be f(-19). Which is greater: -153 or v?
v
Let z = -61.401 - -31.3. Let b = z + 0.101. Which is smaller: b or -1?
b
Suppose 33*i = 26*i - 25*i - 736. Is i at least -560/23?
True
Let r = 26 - 9. Suppose -3*v + 55 = -r. Suppose -64 = -4*y + v. Is 20 less than or equal to y?
True
Let v = -40 + 178. Let z be 2*(v/28 - 5). Which is smaller: z or 25?
z
Let y(z) = -2*z**2 - 5*z - 6. Let r be y(-4). Let k = 32.2 + -37.2. Which is bigger: k or r?
k
Let o = 0.284 - 0.4171. Let s = 0.0231 + o. Let p = 1 + -2. Which is greater: s or p?
s
Let n = -2912 - -2913. Is -1/2679 smaller than n?
True
Suppose 204*u + 3670 = 209*u. Is 733 <= u?
True
Suppose 8*u = -123 + 91. Let w be (1/2)/(u/(-4))*2. Is 6/13 <= w?
True
Let v(c) = 27*c + 634. Let b be v(-22). Is b at least 9?
True
Let z = -2 - -3. Let g = 352 - 198. Let a = -158 + g. Is z bigger than a?
True
Suppose -2*a + 48 - 36 = 0. Suppose a*y - 348 = -102. Let o = 51 - y. Is o > 9?
True
Let p = -385 - -150. Let u = 237.8 + p. Are 0.4 and u non-equal?
True
Let q be -3 - 1/3 - -3. Let p = 104 - 185. Let k = 86 + p. Is k > q?
True
Let q be 2 + 668*(-2)/284. Are q and -3 non-equal?
True
Let b = -140 - -144. Let w be 117/4 - (b - 60/16). Are w and 27 equal?
False
Suppose -54 = 3*p + 3*y, 2*y - 45 + 17 = 2*p. Let g be 1/16*(-1244)/3. Let a = g + 45/4. Is a less than p?
False
Suppose -3742 = 14*q + 2260 - 178. Which is greater: q or -1661/4?
-1661/4
Let t be ((-3)/(-14))/(((-294)/(-4))/7). Suppose 0 = l - 19 + 17. Suppose l*x = -0*x + 2. Which is greater: x or t?
x
Let o be ((-64)/24)/(-2)*(-6)/(-4). Suppose 2*p = 5*w + 30, 4*p - 4*w - 50 = w. Let n = 7 - p. Which is bigger: o or n?
o
Let h = 85 + -76. Let z = 20 - h. Let s = -10 + z. Which is smaller: s or -28?
-28
Let n(d) = 3*d**2 - 25*d - 10. Let l be n(9). Let t(y) = 22*y - 176. Let f be t(l). Let s = -29605/38 + 779. Is s at least as big as f?
False
Let c = 162 + 132. Let k be (-2)/(-4 - -3) - c/48. Which is smaller: 4 or k?
k
Suppose 152 = 5*c + 4*j - 184, -4*j = 2*c - 144. Suppose -21*b + 22*b + 63 = 0. Let l = b + c. Are -1 and l equal?
False
Let h = 375986/11 - 34156. Which is greater: h or 25?
25
Let t = -2/4441 - -38710/7065631. Is -1 at least as big as t?
False
Let k = 29 - 11. Let n(w) = -27*w**2 - 299*w - 5. Let d be n(-11). Do k and d have the same value?
False
Let z be ((-57)/38)/(((-12)/(-248))/(-1)). Do z and 25 have different values?
True
Let k = -4682 - -4680. Which is smaller: k or 9?
k
Let l = -25532.8 + 25516. Which is smaller: l or 17/5?
l
Suppose -4*w + 220 = 2*v, 3*w - v + 22 = 187. Suppose -2*c + 46 = -64. Let f = w - c. Is f > -3/7?
True
Let j(i) = 11*i. Let z be j(0). Suppose z*o = -4*p - 2*o + 32, -5*p - 4*o = -46. Suppose -4*g = 4*l - 8, 5*l = -2*g + 1 - p. Is 6 <= g?
False
Let d = -9 + 32. Suppose 0 = 127*p - 109*p - 144. Is p at least as big as d?
False
Let h(f) = 61*f**3 - 3*f**2 - 7*f + 15. Let y be h(3). Let g be y/(-90) - (-15)/(-9). Is -21 at most g?
True
Let z(y) = 113*y**2 - 4*y - 4. Let p be z(-1). Let h be p*(3 + (-5 - (-12)/4)). Do 114 and h have different values?
True
Let v = 19170 + -19170. Let c = 5249/41 - 128. Which is smaller: c or v?
v
Let y = 13583 - 7934. Is 5650 <= y?
False
Let o = 26 - 49. Let c = 31 + o. Let j be (-12)/c - (-7)/2. Which is smaller: -2 or j?
-2
Let m be (-100)/(-42)*(-192)/25920. Do 1 and m have the same value?
False
Let w = 35291 + -10269659/291. Which is smaller: w or 0?
0
Let h be (-40*451/(-984))/((-34)/(-36) - 1). Which is smaller: 0.4 or h?
h
Let v = -61 - -58. Let d be (-6)/(v/2 - 0). Suppose -k = -3*k + d. Do 4 and k have the same value?
False
Let v = -112/305 + -2/61. Let x be 543/111 + 4 - (1 - -8). Is x bigger than v?
True
Let l = -2232 + 2232.3. Let d = -103.24 + 1.24. Are l and d nonequal?
True
Let o be (-6)/8 + 7821/(-36). Let g be (o/(-14) + -1)/((-30)/(-40)). Let d = 1210/63 - g. Are 12 and d non-equal?
True
Let b = 1666 + -2953. Let o = b + 1287.04. Let d = 0 - 0.1. Which is bigger: o or d?
o
Let x(k) = 13*k + 988. Let c be x(-76). Is -1/850 at most c?
True
Let d be (-260)/200 + (2 - 0). Let f(i) = i**2 + 2*i + 2. Let c be f(-2). Suppose -4 = 5*w - 3*u, -w + c - 10 = -3*u. Is d > w?
False
Let i be (-6)/3 + 63/29. Let l = -7903 + 7904. Which is smaller: i or l?
i
Let r = 0.8168 - 0.9038. Which is greater: 2 or r?
2
Suppose 13273 + 16056 = 211*c. Let f = 7 - 8. Which is greater: f or c?
c
Let a = -85 - -401. Let v = a - 282. Is 1 at least as big as v?
False
Let k = -1676371/57 + 29410. Suppose 5*g + 4 - 9 = 0. Which is bigger: k or g?
g
Let n be (-105)/(-40) + -5 + (-12)/(-32). Let j be ((-4)/6)/(n - 4/(-3)). Which is greater: 1/904 or j?
j
Let y = -27 - -10. Let l = 35 + y. Which i