2877
Suppose 79*i - 77*i - 2314 = 5*b, 3*i + 5*b = 3446. Is i at most as big as 1152?
True
Let r be (6*1/18)/(1/(-6)). Let o be r*(30/(-14) + 3 + 0). Let w = 46/35 + o. Are -3/26 and w nonequal?
True
Let o = 4198 + -4592. Is o <= -389?
True
Let l = -47/53 - -147/106. Do l and 0.116 have the same value?
False
Let d = -936 + 477. Let y = d - -343. Is 2/3 greater than y?
True
Let x(c) = c**3 - 8*c**2 - 7*c - 2. Let o be x(9). Let k be (150/(-675))/(8/(-9)). Is o at least k?
True
Let w = -46907 - -46053. Do -843 and w have different values?
True
Let a be (-11 + -1)*(126/8 - 16). Suppose -33*l + 400 = -32*l - 3*r, -r = a. Which is bigger: l or 390?
l
Suppose 11*g = -2*g - 2*g. Suppose -15*k + 13*k = 5*o - 51, -4*k - 8 = g. Suppose 2 = 3*t - 25. Is o less than t?
False
Suppose 86*x - 6 = 108*x + 280. Let f = -16514/1239 - 2/413. Which is greater: x or f?
x
Let l = -268 + 489. Let i = -317 + l. Which is smaller: i or -95?
i
Let c be 3665 + 3 - 23 - (-4)/(-1). Which is greater: c or 7279/2?
c
Let i be (((-378)/8)/(-7))/((-2)/120). Let q = 405 + i. Which is smaller: q or 1/85?
q
Let q = -32 + 34. Let k = -71 - -50. Let c = 11 + k. Which is smaller: c or q?
c
Let w = 2359 + -3159. Which is bigger: w or -2?
-2
Let j = -295.2 + 296.39. Do 2/17 and j have different values?
True
Let l(m) = 593*m - 295. Let h be l(2). Is 892 not equal to h?
True
Let c(a) = -49*a**3. Let n be c(-1). Let m be (1/(-2))/((-4)/576). Let j = n - m. Is j at most -24?
False
Let v = -2/69741 + -34591526/348705. Is -98 less than v?
False
Let p be -9 - (-10571 - (12 + (-19)/(152/48))). Is 10570 at most as big as p?
False
Let n = -2403 + 2403. Are -2/185 and n non-equal?
True
Let v = -0.91 - 45.09. Let d = v + 46. Do d and 1/22 have different values?
True
Let i = 636 + -15903/25. Let g = 115 - -170. Let b = 3137/11 - g. Are b and i equal?
False
Let w = -5199 + 5185. Is -116 at most as big as w?
True
Let v be (-7 - (3 + -7))*2/(-30). Let a = -3 + 7. Let r = -5 + a. Which is smaller: v or r?
r
Let j(q) = -q - 1. Let k be j(-3). Suppose -4*m + 5 = -5*c, 3*m - k*c - 2*c = 4. Which is smaller: 1/130 or m?
m
Let h = 30 - 92. Let t = -67 - h. Which is smaller: t or -3?
t
Let a = 15.8 - -0.2. Let b = 15 - a. Suppose 14*u + 17*u - 279 = 0. Is b smaller than u?
True
Suppose 179 - 27 = 4*i. Suppose 0 = 4*j - 3*s - 49 + 13, s + 28 = 4*j. Is j greater than or equal to i?
False
Let m be ((-132)/68)/((0 + 1)/23526). Let o = m - -9725403/221. Let r = 1661 + o. Which is smaller: 0 or r?
r
Let s = 21.04 + -20.884. Which is bigger: -7/3 or s?
s
Let h = -3762 - -2649. Is -1113 equal to h?
True
Let v be (-100)/(-450) - (-14 - 2)*2/3906. Which is greater: v or -1?
v
Let m = -240030 + 1439957/6. Suppose -69 - 75 = 4*z. Do m and z have the same value?
False
Let b = 604.743 - 604. Let d = b - 0.251. Do 2/3 and d have the same value?
False
Suppose -402 - 588 = 5*u. Let m = 158 + u. Which is smaller: -1 or m?
m
Let r = -70190602/2487 - -28223. Which is bigger: 0 or r?
0
Suppose 0 = -5*o + 17*r - 13*r + 32, r + 19 = 4*o. Suppose 98 = o*d - 186. Is d bigger than 72?
False
Suppose 6 = -62*h + 63*h. Suppose 13 = 3*j + 5*s, -2*j - 3*s + s + h = 0. Let b be (-18)/(-27)*1/15. Which is smaller: j or b?
b
Let h be ((-13668)/15 - 0) + 12/10. Let l be 12/9*(-105)/h. Which is smaller: 8/7 or l?
l
Let n(q) = 12*q - 140. Let u be n(12). Suppose -u*t = f + 17, 0 = -4*t - 2*f - 1 - 21. Let l be (-1)/(-3) + (-14)/3. Which is smaller: t or l?
l
Let i be (2205/6)/(-9*16/(-4032)). Is i greater than 10290?
False
Let f be (0*2/(-4))/1. Let r be 1247/(-145)*(-2 - 1537/(-876)). Let q = -25/12 + r. Is q bigger than f?
True
Suppose 0 = -4*h + 2*x + 1092, -3*h + 62*x = 59*x - 816. Which is bigger: h or 273?
h
Suppose 4*t = 2*n + 1970, -9*n = -11*n - t - 1995. Let s be ((-107)/(-535))/(6/n). Which is smaller: s or -32?
s
Let p be 58/8 + (-1 - (-30)/40). Suppose p = t + 6. Which is bigger: t or 6/11?
t
Let t(o) = o**2 - o - 3. Suppose -i - 2 = -5*r, 3*r - 2*i + 3*i + 2 = 0. Let a be 3 + 3/(r + -3). Let y be t(a). Is -1 less than y?
False
Let b = 18899 + -434639/23. Which is smaller: b or 1?
1
Let d = 793/14 - 57. Suppose -23 = -f - 2*f - 4*l, -4*f - 11 = -3*l. Are d and f unequal?
True
Let h be (-14 + 1)*(-187)/11. Is h equal to 221?
True
Let i be ((-609)/63 - -9)*(-3)/(-6). Is 7415 >= i?
True
Let c = 2200604/67 + -32844. Is c > -2?
True
Suppose 279*q - 250*q + 957 = 0. Which is greater: q or -49/5?
-49/5
Let b be (-5)/(0 + (-2)/(-2)) - 40. Let w be (-3)/((-60)/26) - 9/b. Which is smaller: w or -0.07?
-0.07
Let i(u) = u**3 + 21*u**2 - 43*u + 56. Let b be i(-23). Suppose l = 2*v - 2, 0*v - 3*l + 4 = -v. Suppose -4*o = 2*m + 54, 0*o + 5*m = -v*o - 23. Is b > o?
True
Let b = -16731 - -100391/6. Is b > 1136?
False
Let r = 0.0005 - -0.021. Let v = -0.0215 + r. Which is smaller: v or 10.4?
v
Suppose 0*b - 4 = -2*b. Suppose 6 = 2*c + b. Let l = -153/19 - -325/38. Which is smaller: c or l?
l
Let g(f) be the first derivative of -7*f**4 - f**2 + 148. Let b be g(-2). Which is smaller: 2 or b?
2
Let b(j) = 2*j**3 - 17*j**2 - 12*j + 31. Let m be b(9). Let u be (-14)/m*-4*(-78)/(-96). Are 12 and u equal?
False
Let a be -10*(-18)/(-315) - (-89060)/182. Let p = a + -489. Which is bigger: 1 or p?
1
Let p = 16 + -8. Let n be ((-34)/366)/(p/282). Let d = 3/122 + n. Is -2 > d?
True
Let t = 313 - 661. Let o = -348.06 - t. Is o greater than 5.9?
False
Let g = 6723/10 + -2649/5. Let d = 142 - g. Which is greater: -1.61 or d?
d
Let t be (186156/(-680))/9 + (-1)/((-102)/12). Is -3 at least as big as t?
True
Let j = -3899 + 3898. Is j at most as big as -10105?
False
Let d(n) = -n**3 + 7*n**2 + 10*n - 11. Let i be d(8). Let a(x) = x - 10. Let m be a(i). Let c(z) = -z + 4. Let u be c(9). Is m bigger than u?
False
Suppose 2*i - 3*i = 4. Let k be (6 - (-9820)/(-25)) + -2. Let n = -393 - k. Is i >= n?
True
Let d = -2095 + 2095.024. Is -8 < d?
True
Let g be 17*(-2 - (-4075)/35) - (-34)/(-119). Are 1944 and g equal?
False
Let h = 256 - 11519/45. Let v be (8/2 - 15)/(2 - 3). Suppose v*l = 8*l - 3. Is h smaller than l?
False
Suppose -8 = -5*j + 62*j - 407. Suppose -3*n = -2*s + 5 + 20, 4 = 2*s + 4*n. Suppose -3*k + 54 + s = 4*y, -k + 24 = 2*y. Which is smaller: j or k?
j
Let a = -10 + 39. Let i = a + -30. Let t = i + -1. Which is greater: t or -5?
t
Let o = 56 + -56.028. Let d = o - 0.272. Let a = -2/75 + -199/975. Is a at most as big as d?
False
Let w(u) = 376*u + 3822. Let l be w(-10). Is l <= 908/15?
False
Let x(n) = n**3 - 10*n**2 + 13*n + 15. Let t be x(7). Let u be 1/(-2)*(-14 + 6 - -92). Which is bigger: u or t?
t
Let r(s) = 37*s + 14. Let k = -184 + 189. Let z be r(k). Is z bigger than 198?
True
Let y = 77.9 + -11.9. Let z = y + -63. Let x = -3/70 + -177/770. Does x = z?
False
Let p(g) = -g**3 + 56*g**2 - 205*g - 104. Let h be p(52). Do 21 and h have different values?
True
Suppose 23*i - 59 = 22*i - u, -2*i = -4*u - 106. Suppose -i*b = -56*b - 278. Is b less than 278?
False
Suppose 5*k + 14 = 4*a, -4*k = -k + 4*a + 2. Let v be ((-924)/(-133) + -7)/(k/20). Is v equal to 1?
False
Suppose 120*j = 27*j. Is j >= -52?
True
Suppose -5*s = 2*w - 25, 5*w - 46 = 2*s + 2*s. Let l = -20991 + 21003. Which is bigger: w or l?
l
Suppose -2448 + 3442 + 13020 = -22*s. Do s and -1910/3 have the same value?
False
Suppose -10 = -5*z, z - 3 = 5*p - 3*z. Suppose g - 1 = p. Let u be (g/20)/((-798)/105). Which is smaller: u or 1?
u
Let f = 10.8711 + -10.8. Let y = -12.9289 - f. Is y at most 0?
True
Let w(f) = 6*f - 9. Let i be 34/6 + (-9)/(-27). Let d be w(i). Is d less than or equal to 186/7?
False
Let t = -1/7742 - -938718/3871. Which is smaller: t or 3?
3
Let z = -5 - -10. Let w = -9 + z. Let a(d) = -2*d**3 - 131*d**2 - 60*d + 324. Let c be a(-65). Is w at most as big as c?
True
Let y = -436 + 443. Let t be (-3)/(3*y/(-182)). Is t smaller than 137/5?
True
Let r = 5.589 - 29.299. Let u = r + 23.8. Is u smaller than -1/2?
False
Let c = -79 - -168. Suppose 3 = -2*z + c. Is 45 <= z?
False
Let s be (-4)/(-10) + 3504/(-60). Let k = s - -53. Let i be (-11*1/(-2))/(-1). Do i and k have the same value?
False
Let t be (3/(-255))/(2/(-4)). Suppose -2*h = r + 21, 0*h + 5*h = -4*r - 60. Let l be (0/(-10))/(h/4). Which is greater: t or l?
t
Let c = -742 + 777. Which is smaller: c or 658/19?
658/19
