ue
Suppose 0 = -3*h - 4*y + 87, -2*y + 37 = h + 2*y. Suppose 6*w = w + h, 2*w = -2*d - 120. Let k be ((-78)/d)/(66/40). Is 0 bigger than k?
False
Suppose 85 + 32 = 5*a - c, 0 = -3*a + 2*c + 73. Suppose 3 + 97 = -4*l. Let y = l + a. Is -1 at least y?
True
Let s be (-21279)/(-85164) + ((-2)/(-8) - (-2)/(-4)). Are 1 and s equal?
False
Suppose 20*g = 15*g - 20*g - 44800. Which is bigger: -1795 or g?
g
Suppose 2*p + 3*p = 4*l + 224, -2*p - 112 = 2*l. Which is bigger: -71 or l?
l
Let t = 3.8 + -3.791. Let d = -35.991 - t. Let c = -36.2 - d. Which is smaller: -0.13 or c?
c
Let m = -73 - -53. Let f = 13 + -12.2. Let o = f - 0.7. Which is bigger: m or o?
o
Let m = -105.5 - -104.5. Which is greater: m or 2299?
2299
Suppose 0 = -2*y + 3 - 7. Suppose 3*u - 2*r + 10 = 0, -3*u = -2*u + 4*r + 8. Let z be (-10)/(-7)*2/u. Which is smaller: y or z?
y
Suppose 12 = -15*k + 11*k. Let g be 112/(-1020) - (141/(-45) - k). Let u(o) = o - 10. Let x be u(9). Are g and x nonequal?
True
Let a(f) = 5*f**2 + f**3 + 10 - 2*f**3 + 5 - 4*f. Let u be a(4). Let g be u*3*4/(-10). Is -1 equal to g?
False
Suppose 2*j + 12 = 0, -30*y - 7*j = -32*y + 886. Which is greater: 439 or y?
439
Let s = -6325/8 + 792. Is 1 <= s?
True
Let m = 582 + -1302. Is m smaller than -719?
True
Let r(c) = 6*c + 38. Let s be r(23). Suppose -2*d = -3*p - 88, s = 3*p - 8*p - 4*d. Which is smaller: -33 or p?
-33
Suppose 2*f + 5*f - 3689 = 0. Let t = 34256/65 - f. Suppose -2*x - 4*r = 9 + 1, 3*x = -5*r - 13. Which is bigger: t or x?
t
Suppose 2*h - 4 = -0. Let v be (h - 2)/((-6)/3). Let z be 11 + 19/(57/(-30)). Do v and z have the same value?
False
Suppose 149*j + 1 = 3 - 2. Is 346 greater than j?
True
Let i = -36 + 9. Let p = -525 - -558. Let q = i + p. Is -1 smaller than q?
True
Let m = -1577 - -20495/13. Which is bigger: m or 21?
21
Let j(g) = 65*g - 711. Let a be j(22). Is a at most 1439/2?
True
Let a = 56.8 - 6.8. Let q = -50.1969 - 0.0031. Let t = q + a. Are t and -3 nonequal?
True
Let t be -4 + (228/90 - 12/(-90)). Which is greater: t or -118?
t
Let q be 7 + -2 - (514 - (4 - 3)). Let r = -3553/7 - q. Which is bigger: r or 0?
r
Suppose 2*y + 5 = 4*d - y, 4*y - 4 = 0. Let x be (1*-2)/(d - 4). Suppose k = -11*k + 35*k - 69. Which is greater: k or x?
k
Let u = 10487 - 10540. Which is bigger: u or -894/17?
-894/17
Let r = -8734 - -9796. Which is smaller: 4243/4 or r?
4243/4
Suppose -233*n - 1689 = -2967 + 9666. Is n >= -12?
False
Let i = -160 - -160.67. Let s = 0.47 - i. Is 5 < s?
False
Suppose -h = -5*b + 9894, -5*h - 2*b - 49470 = -0*b. Is -9894 bigger than h?
False
Let x be (69/(-2))/(1458/4104). Which is bigger: x or -97?
-97
Let r = 87 + 97. Let c = r - 183.9. Let s = -35 - -7. Which is bigger: s or c?
c
Let g(m) = 2*m**3 - 26*m - 2243. Let n be g(0). Which is smaller: -2244 or n?
-2244
Let c = -3.17771 + 2.17771. Let y = 4 + -9. Let k be 4/(y/2 - -1). Which is bigger: c or k?
c
Let m be (-8)/(-12) + 18840/90. Which is greater: 212 or m?
212
Let l = 9919 - 8143501/821. Which is smaller: l or 1?
l
Let m = 87 + -36. Let y(t) = 10*t - 59. Let c be y(10). Let u = c + 9. Which is smaller: u or m?
u
Let q = -10798 - -10255. Is q smaller than -543?
False
Let u = 519.4 + -519.3894. Which is greater: u or -1/8?
u
Suppose -5*u + 8*n + 20 = 9*n, 8 = 2*u - 3*n. Let d be (62/217)/((-4)/(-21))*u. Does -0.2 = d?
False
Let s = -140 + 341. Let h = -193 + s. Which is smaller: h or -1?
-1
Let r(x) = -3*x**3 + 2*x**2 - 4*x - 8. Let m be r(-2). Let n be (-2)/(-16) - (1 + 1140/m). Is -36 at least n?
True
Let v = -0.01626 - -5.73626. Is v <= 0?
False
Let l = -4894 - -6628. Which is smaller: 1 or l?
1
Let r be (36/(-60) - -1)*(-5)/5324. Which is greater: 1 or r?
1
Let j = 85.3 - -6.7. Let o = j - 77. Let y = -14 + o. Is -36 at most as big as y?
True
Let g be 156/(-65)*35875/50. Is -1 greater than g?
True
Let v = -93.91 + 2.31. Let s = -91 - v. Let y = -0.9 + s. Which is bigger: y or -5/4?
y
Let i be (-2283)/17*(-3 + 3736/120). Let r = 3778 + i. Is r <= 1?
True
Suppose -33*h + 34*h - 1 = 0. Suppose 5*v = -61 + h. Let q be -3 + 3/v*-10. Are q and -1 nonequal?
True
Suppose -6 - 24 = -q + 5*r, 0 = 3*r + 15. Let l(u) = u**3 - 3*u**2 - 5*u - 7. Let k be l(q). Let n = -11 - -28. Which is smaller: k or n?
n
Suppose 4*k + 3*q + 16 = 0, -k + 2*q = -q + 4. Let p = -2117/6 - -354. Let y = -11/3 + p. Is y bigger than k?
True
Suppose -1235*y - 378 = 857. Let v = -42917/26 - -1651. Which is bigger: y or v?
v
Let q = -281 + 281. Suppose -20*h - 8 + 28 = q. Which is greater: 1/22 or h?
h
Suppose 0 = 11*d - 7*d + 1368. Let b be d/(-30) + 2/(-5). Let a be (-1)/(-2 - (-23)/b). Is a at least as big as -9?
False
Suppose 3*r = -5*a - 5122 + 1868, 0 = -r + 7. Is -650 at least as big as a?
True
Let g(c) = -3*c**3 - 238*c**2 + 182*c + 251. Let a be g(-80). Are -0.1 and a nonequal?
True
Let y be (536/(-12))/(140/210). Which is greater: y or -525/8?
-525/8
Let d(y) = y**2 + 4*y - 20. Suppose 2*w = 4*p - 2*w + 24, -3*w = -5*p - 32. Let z be d(p). Let m = 29 + z. Is m less than or equal to 31?
True
Let z be -5*10/(-75) + (-44)/3. Let m be (-4)/z + (-2 - (-96)/7). Let y be ((-57)/m*2)/(2/4). Is y > -18?
False
Let r be (4/(-14))/(24/56). Let w be (-28)/(-98) + 16/(-7). Is w > r?
False
Let j = 329/25416 - -1/1059. Let m(g) = g**2 - 2*g - 3. Suppose 8*h - 3*h + 2*d - 25 = 0, -4*h - 8 = -4*d. Let t be m(h). Is j at most t?
False
Suppose 4*y + 6*y = -70. Let j = -6 - y. Let s be (-598)/529 + (2 - j/1). Which is greater: s or -1?
s
Suppose 7*m + 814 = -4*f + 9*m, 5*f - 4*m = -1016. Suppose 0 = -4*q + 4*x - 808, 4*q - 9*q - 5*x = 1010. Which is smaller: f or q?
f
Let k(u) = -8*u**2 - 884*u - 253. Let b be k(-108). Which is bigger: b or 9533/5?
b
Suppose y = 5*p - 235, 0 = -2*y + p - 5*p - 414. Let n = 213 + y. Let l = 42 + -41.983. Is l >= n?
True
Let o be 6*(-3622)/48*(-2)/(-4). Is -225 greater than o?
True
Let s = 357 - 357. Suppose -39*b + 48*b = s. Is 2/411 at most as big as b?
False
Let z(v) = -v + 33. Let t be z(16). Let m = -13 + t. Suppose m*x = 2*w - 10, 2*w - 4*x = -9*x - 17. Which is smaller: -8 or w?
-8
Let v = 9 - 21. Let j be (-2)/18 - (-20977)/(-99). Let l be j/18 + (-4 - (-148)/36). Which is smaller: l or v?
v
Let h = -7.413 + -0.287. Let f = h - -10.7. Is 7 at most as big as f?
False
Let a be 152/(-16) - 3 - 2/(-4). Let s be 16/40*(-20)/a. Which is smaller: s or 1?
s
Suppose -41*n = -52*n + 11. Let t(s) = 2*s - 7. Let q be t(11). Let x = 15 - q. Which is smaller: x or n?
x
Suppose -5*o - 4*p = -9*p + 5, 4*o + 8*p = 20. Which is smaller: 2/2157 or o?
2/2157
Suppose 4*o + 5*j - 1085 = 41, -5*j = -5*o + 1385. Which is bigger: o or 284?
284
Let p be 2*(-10 - -6)/(-496)*34/(-3). Which is greater: p or 1?
1
Let z(i) = -26*i**2 - 9 - i**3 + 3*i + 15*i**2 + 9*i**2 - 1 + 10*i**2. Let q be z(8). Do q and 23/4 have different values?
True
Let c = -446 + 547. Suppose 4*f + c = 4*y + f, -49 = -2*y + f. Which is greater: 20 or y?
y
Let p = -308 - -311. Suppose 6*r + q = r + 234, -p*r + 130 = -2*q. Which is smaller: r or 183/4?
183/4
Suppose -2*c - 8 = -d, 5*d = d - c + 41. Let h be (0 - 450/(-96)) + (-5)/d. Is 3 < h?
True
Let j(c) = 2*c - 3. Let v(i) = 3*i - 6. Let n(u) = -9*j(u) + 5*v(u). Let l be n(6). Which is bigger: l or -43/2?
l
Let n be (4 + (-246)/(-18))/((-1)/9). Let i = n + 89. Let t = -59 - i. Do 10 and t have different values?
True
Let a be (-440)/16*(68/(-10) - 0). Suppose -5*p + 933 = 4*b, -4*b - a - 203 = -2*p. Are p and 191 nonequal?
True
Let h = -362 + 366. Suppose -3*g - 8 = -2*m, -6*m + m + 6 = -h*g. Is g at most -11/5?
True
Let c = -13551 + 13600. Which is bigger: 1/5 or c?
c
Let o be 4/(-8) - (-31)/59. Let q be -138*15/(-90) - 23. Which is greater: o or q?
o
Let m be 48/(-24) - ((-56098)/(-46) - 3). Let o = 1218 + m. Which is smaller: o or -1?
-1
Let g = 761.691 + 11.309. Which is greater: g or -1?
g
Let w(c) = 4*c**2 + 2*c + 32. Let z be w(-6). Let j = z + -278. Which is bigger: -1 or j?
-1
Suppose 0 = 93*l + 42*l - 658302 - 77448. Is 5448 greater than l?
False
Let r(o) = -4*o + 86. Let x be r(22). Let c be (27/135)/(x/(-10)). Is -2/47 <= c?
True
Suppose 3*f = -l - 4, 4*l - 4 + 20 = 2*f. Suppose -5*q + 4*t - 1101 = f, 0 = -26*t + 25*t + 4. Which is smaller: -218 or q?
-218
Suppose -176 = 5*u + 39*u. Let o be ((12/(-3))/u)/(65/10). Whi