o y?
True
Let f = -282/53 + 1875/1219. Is f at most as big as -5?
False
Suppose l - 3*u + 443 = 0, 8*u + 1787 = -4*l + 5*u. Let p = l - -252. Is -194 greater than or equal to p?
True
Let y be ((-13)/(-65))/(2/(-5)). Let l(t) = -2*t + 5. Let r = 4 - 1. Let w be l(r). Which is greater: w or y?
y
Let v = -24/145 - 1/29. Is -1083 bigger than v?
False
Let n be 26 + 0 - (6 - 7). Suppose -6 = n*v - 30*v. Suppose o = -v*j - 34 + 5, 2*j + 19 = o. Which is bigger: j or -13?
j
Let f be ((-45)/6)/(6/(-4)). Suppose f*d + 43 - 178 = 0. Let a be 1 + ((-55)/d - -1). Which is greater: a or 1?
1
Let r = 86.16 - 0.16. Let b = -127 + r. Let i = 42 + b. Is 1/51 > i?
False
Let u be (-15)/(0 - 2/(-4)). Let j(s) = 21*s - 60. Let v be j(3). Suppose -3*y + 18 = 2*g - v*g, 0 = 3*g - 2*y + 82. Do u and g have the same value?
True
Let t be -3 + (-9)/(-3) + -4. Let m be (-1)/t - (-17)/(-4). Let i(f) = 10*f - 894. Let a be i(89). Is m less than a?
False
Let t = -51 - -52.34. Let y = t - 1.39. Let g be (-35)/(-14)*4/6. Which is smaller: y or g?
y
Let t(c) = -c**2 - c - 2. Let j(s) = -3*s**2 - 8*s - 6. Let x(z) = -j(z) + 5*t(z). Let k be x(1). Which is smaller: -38 or k?
-38
Let m(r) = 1330*r + 3990. Let f be m(-3). Is -1/4293 at least as big as f?
False
Let g be -3 + 6 + -1 + -2. Let v be ((-714)/(-420) - (-9)/(-6))/17. Is g smaller than v?
True
Let k be 70/(1 - -13) + -11. Is -111/20 smaller than k?
False
Suppose -258 = -2*n - o - 259, -4*n = -4*o - 28. Is 170/81 at least n?
True
Let q = -2544 - -2310. Which is bigger: q or -11?
-11
Suppose 5*p = 10, -23*u - 10274 = -27*u - 3*p. Is 2567 at least u?
True
Let n(c) = 2*c**2 + 23*c - 58. Suppose t - 169 = -166. Let k be n(t). Is 142/5 smaller than k?
True
Suppose 0 = 4*o - 3*p - 909, 3*o - 5*p = -7*p + 686. Let d = 1594/7 - o. Let h = 0.04 + -3.04. Which is greater: h or d?
d
Suppose -252 = -41*g - 662. Let r be ((-24)/5)/(6/g). Are r and 8 equal?
True
Let c be (11/(-2))/(3/18). Let z be (-3 + c/(-9))/(3/63). Let h(g) = -g**3 + 12*g**2 + 29*g - 14. Let r be h(z). Is r greater than -2/51?
True
Let f be (-160)/558 - 38/(-171). Let i = 254 + -253. Is i < f?
False
Let g be ((-11)/((-132)/(-108)) - 1578) + -3. Which is smaller: g or -1589?
g
Let x be 20/4*462/35. Let j be (1/(-2))/((-11)/x). Is -1 equal to j?
False
Let y(v) = -v**2 + 9*v + 24. Let k be y(11). Let n be 16*-15*(k - (-27)/(-12)). Let z be (-212)/n*1 + 1/5. Is -1 at most as big as z?
False
Suppose 666*r + 864 = 654*r. Is -70 greater than or equal to r?
True
Let c be (-2)/(-1 + (-22)/5). Let p = -127259.7 - -127260. Is c at most as big as p?
False
Suppose -5*f + 88 = -4*d + 3*d, 0 = -5*f + 5*d + 100. Let y(h) = -h**2 + 0 + 7*h - f + 8. Let t be y(5). Which is smaller: 12 or t?
t
Let x be (-120645)/35 + (0 - -18). Do -3429 and x have the same value?
True
Let d be (4 - 4)/(-4 - 3). Suppose 3*t + 0 = 3. Suppose 2*i = t - 3. Which is smaller: d or i?
i
Let z be (0*(-4)/(-116))/(-1). Let k = -5672501/625 + 9076. Is z > k?
True
Let i be (-140)/14*(-14)/140. Which is greater: -1155 or i?
i
Let g = 416984/13 + -32076. Let u = 5 - 3. Which is smaller: u or g?
g
Let h be 237/24 - 10 - 338/(-16). Suppose h*j - 35*j = 0. Is 1/151 at most as big as j?
False
Let q be (4/6)/(5 - 3009/603). Let x = q - 70. Let f be ((-22)/11)/(4/6) - x. Which is smaller: -2/19 or f?
-2/19
Let s = 0.4 + -0.31. Let t = 2299.91 + -2292. Let k = t + s. Which is smaller: -2/7 or k?
-2/7
Let q be (3/10)/(48120/(-250)). Which is smaller: -1 or q?
-1
Let i be 1 - -3 - (-21 - (3 + 0)). Suppose -i*t - 186 = -25*t. Is t less than -60?
True
Let m = 395.8 - 338. Let u = 57.9 - m. Is 0.101 less than or equal to u?
False
Let b = -7029 - -7028. Do 2029 and b have the same value?
False
Let u be 11/((-143)/(-26))*(189/(-93) - -2). Which is greater: u or 6?
6
Let i(v) = -32*v**2 - v - 4. Let h(b) = -b - 1. Let j(q) = -2*h(q) + i(q). Let y be j(1). Which is bigger: y or -32?
-32
Suppose 0 = 19*l - 52*l + 12631 + 12977. Which is bigger: 3105/4 or l?
3105/4
Suppose -k = 212 + 313. Let s be 6/(-21)*(-49)/k. Which is smaller: s or 0?
s
Let v = 101446 + -707906/7. Do 318 and v have different values?
True
Let z = -1251 + 999. Which is bigger: -755/3 or z?
-755/3
Let d = -61 - -92. Suppose -3*r - d = 68. Let c be 14/(-8) + r/(-44). Is c not equal to -2?
True
Let t(n) = 216*n**3 + n**2 + n - 4. Let r be t(2). Let o = -682 + r. Let f = 15706/15 - o. Is 0 > f?
True
Suppose 16 = 4*w, w + 52 = 4*b - 100. Let q = b + 6. Suppose 3*m - p + 45 = 0, -p + 3*p - q = 3*m. Is -15 greater than or equal to m?
True
Let j = 884.42 - 940. Let w = 56 + j. Is w != -1?
True
Suppose 2*y + 70*k = 74*k + 7154, -4*k = 5*y - 17941. Is y smaller than 3583?
False
Suppose 3590*f + 913 + 1215 = 3552*f. Let q = 32 + -88. Is q >= f?
True
Let y be (-181 + 0)/(1/1). Let v = 23780556609/131320274 + 2/3862361. Let o = v + y. Which is bigger: o or 0?
o
Let v be (27/312)/((-12)/(-1680)*21). Is v less than or equal to 1?
True
Let b be 14/(-2) + 38586/(-295). Let j = 1667/15 + b. Is -28 less than j?
True
Let q be (27 + -69)/((7/(-14))/((-50)/2)). Is -2100 < q?
False
Let m be -12 + 19 - (-2)/(-1). Suppose 3*g - 16 = m*y, 4*g = -2*y + 1 + 3. Let x = -2 + 7/4. Which is bigger: g or x?
g
Let z = -1.66 - -189.66. Let w = z - 191. Is w at least 0.01?
False
Suppose 833 - 1233 = -16*i + 1104. Is 99 at least as big as i?
True
Let n = -0.1209 + 0.1209. Which is greater: -169.1 or n?
n
Let y be (-109045)/(-72998) + (-3)/2 + 0. Let k(s) = -s**3 + 25*s**2 - 25*s + 25. Let x be k(24). Is x less than or equal to y?
False
Let v be (-3)/30*(-6)/183. Let w = 266 + -267. Which is bigger: v or w?
v
Suppose -835*w + 847*w + 12 = 0. Which is smaller: -1/13210 or w?
w
Suppose -49*h - 15 = -52*h. Which is bigger: 55 or h?
55
Let f = -13168 + 13176. Let s = -3.8 + 0.8. Let i = s + 3. Do f and i have different values?
True
Let u(k) = 87*k - 1660. Let y be u(22). Do 2798/11 and y have the same value?
False
Let p be (270/(-40))/(-1*(-2)/8). Let u be (4 - (-14 - -12))*(-3)/((-18)/(-8)). Which is smaller: u or p?
p
Let y = 54.02847 + -53.99. Which is smaller: -1/3 or y?
-1/3
Suppose 0 = -3*x - 3*u + 7*u + 46, 4*x + 3*u = 78. Is x != 153/8?
True
Let i = -57754 + 377191376/6531. Are -1 and i equal?
False
Suppose -5*k + 36949 = a + 14894, 3*a + 4427 = k. Suppose i = 3*r - k, -4*r - i + 7356 = r. Let t = 10261/7 - r. Is t bigger than -5?
False
Let h = 435 - 119. Let z = h + -291. Which is bigger: 20 or z?
z
Let s = -23974 - -23977. Which is bigger: s or 909?
909
Suppose -5*t = 5*k - 35, 4*k - 30 = -6*t + 3*t. Let j be (-80)/(-14) - k/(126/(-4)). Is j greater than -2?
True
Let k be 1 - (-1)/(-1) - (4 - 6). Let u be 914/(-8) - -1*k/8. Let p = 58 + u. Is p bigger than -56?
False
Let y = -122 + 208. Let a = -173 + 259. Is a less than y?
False
Let p(w) = 9*w + 206. Let l be p(-20). Let d be (-2)/(-1)*1 + 21. Let k = l - d. Which is smaller: 1 or k?
1
Suppose -4*r - r = 5, -2*q - 3*r + 9 = 0. Let k be 0/((-54)/q)*2/4. Is k >= 223?
False
Suppose 2*f - 10 = -4. Let m be f + (4 - 8) - (6 + -2). Let v be m + (-3 - (-232)/28). Which is greater: 7/2 or v?
7/2
Suppose 0 = -42*m + 40*m - q + 15, 3*q - 10 = -m. Which is greater: m or -573?
m
Suppose -3*u + 2*u + 18 = -4*b, 3*b + u + 17 = 0. Let a be -1 + 5 + 97 + b. Which is smaller: 2 or a?
2
Let m = -640.2971 + -0.9229. Let c = m + 643. Is c >= 2?
False
Let s(i) = -i**3 - 4*i**2 - 5*i - 6. Let p be s(-3). Suppose p = 6*k + 3 - 39. Let q be k/(-47)*2/(-3). Do q and 0 have different values?
True
Let i(v) = 2*v**3 + 12*v**2 + 6*v + 12. Let m be 3*5/6*-2. Let h be i(m). Which is bigger: h or 31?
h
Let p be 0 - ((-54)/15 + 3) - (-632)/(-395). Which is greater: 2/383 or p?
2/383
Let o = -17743 - -17321. Which is greater: -35 or o?
-35
Suppose 3*w = f - 901 + 3134, 0 = -5*w + 4*f + 3731. Do 2230/3 and w have the same value?
False
Let n = -87633 + 2863233011/32673. Which is smaller: n or -1?
-1
Suppose 5*v - 211*i + 213*i = -5955, 5*i - 2382 = 2*v. Is v at most as big as -1191?
True
Suppose 0 = -q - 3*q + 4. Let k be (-9)/(-6)*(q + 4/(-12)). Let j be (-2 - -1) + (-6)/264*-52. Is j less than or equal to k?
True
Suppose -7981*k + 5*t - 2528 = -7980*k, -2496 = k - t. Is -2489 greater than k?
False
Let z be (-3)/7 + 80/(-140). Let w be (4 + 2835/(-707))*z. Which is bigger: