 or o?
o
Let x = -20965/1112 - -151/8. Let m = x - -1937/417. Is m at most as big as 4?
False
Suppose 0 = 5*i - 2*k + 118, 4*i + 4*k - 6*k = -94. Is 2/3 <= i?
False
Let b = -1846/45 - -41. Is b at least 0?
False
Let d = 143 - 140. Do 4 and d have different values?
True
Suppose 2*j - 15 = 5*c, -j + 4*c + 15 = 3. Suppose 5*l - 904 + 3014 = j. Let v = l - -4638/11. Which is greater: v or 0?
0
Let u be (-2224564)/(-4)*((-20)/852)/(-5). Let v = -2611 + u. Is 1 less than v?
False
Let z(u) = -6*u - 14. Let c(l) = -2*l - 5. Let t(v) = -17*c(v) + 6*z(v). Let m be t(-14). Which is bigger: 28 or m?
m
Let u(v) = -3*v - 7. Let o be u(-13). Let r be 6/2*(o/12)/8. Which is smaller: 3/38 or r?
3/38
Suppose h = -12 + 2. Suppose -4*k = -3*n - 59, 5*n + 3*k = n - 12. Is n <= h?
False
Suppose 4*o - 4*a = 0, -17 = -4*o - 4*a + 7. Let z(k) = -2*k**2 + 3. Let u be z(o). Is -16 < u?
True
Let k(h) = -h**2 + 10*h + 1. Let w be k(10). Let j be ((-1)/1)/(-2 - -3). Let s = j + w. Do 0 and s have the same value?
True
Let j be -2 - (85060/(-17020) + (-3)/(-1)). Which is smaller: 0 or j?
j
Let a be -560*(-1)/5*2. Suppose 0 = -4*f + 2*m - 320, -2*m - 96 - a = 4*f. Is 2/3 at most f?
False
Let u be (-34)/(-170) + (-491)/5. Which is bigger: -96 or u?
-96
Let x(h) = -6 - 27 + 3*h + 7 + 3*h. Let d be x(8). Which is greater: d or 21?
d
Let p = -1086 - -1073. Is p >= -0.03?
False
Suppose -15 = -3*h, -3*o - h + 318 = -4*h. Suppose 3*n + o = 5*a - 61, -a = 5*n + 268. Which is greater: -55 or n?
n
Let l(q) = -q**3 + 7*q**2 + 7. Let n be l(7). Suppose -1 = n*u - 1. Is u greater than 15?
False
Let l = -4784 + 4690. Let d = 50 + -143. Which is smaller: l or d?
l
Let w be ((-24)/(-36))/((-2)/(-159)). Let p = 37 - w. Let y be p/14*2/(-8). Are -14 and y non-equal?
True
Let w = -80 - -79. Which is bigger: 1/763 or w?
1/763
Let v = -15 - -32. Suppose -18 = -k - v. Which is bigger: k or -5?
k
Suppose 2*h + 0*f = 4*f + 8, -5*f - 11 = -3*h. Suppose 63 = -4*u + 7*u. Let a be u/6 + (-1 - 0). Is h equal to a?
False
Suppose -l + 16 = -o, 4*o = -4*l - 0*o + 72. Let s = l + -12. Suppose -a - 44 = -45. Which is greater: a or s?
s
Let d = -1.075 - 0.125. Is 1 less than or equal to d?
False
Let g(i) = 3*i**2 + 2*i. Let b be g(-1). Which is smaller: -2/259 or b?
-2/259
Let d = 3 + -2. Let z(g) = 18*g**2. Let f be z(d). Suppose 4*k = f - 14. Is -1/3 smaller than k?
True
Let p = 879 + -510. Are p and 368 equal?
False
Let h = 2/9937 + 49421/1311684. Which is smaller: -1 or h?
-1
Let t = 0 + 0. Let b(j) = j**2 + j - 1. Let w be b(t). Let n = 1014 + -1017. Is n not equal to w?
True
Let o = -1146 + 1170. Suppose 5*k + 0 = -3*c + 52, 0 = 2*c + 3*k - 36. Is c less than o?
False
Let p(t) = 3*t - 5. Let w be (2/(-3))/((-2)/30). Let u = 12 - w. Let s be p(u). Is 2 > s?
True
Suppose 5*k = -5 + 15. Let t be 6*((-20)/(-12) + k - 3). Do 9 and t have the same value?
False
Let z be -1*(3 - (9 + 4/(-2))). Let y be ((-100)/(-66) + -2)*(-3)/z. Which is smaller: y or 0?
0
Let r = -170 - -290. Let i = -110 + r. Is 12 greater than or equal to i?
True
Let q = 0.45 + -0.05. Let y(m) = -m**3 - 21*m**2 + 48*m + 40. Let v be y(-23). Is v >= q?
False
Let d(r) = -19*r + 134. Let c be d(-9). Is c != 303?
True
Let q = -44981/63 - -714. Which is smaller: q or 0?
0
Let u = -6434/91 + 482/7. Which is smaller: -0.1 or u?
u
Let u be (35/6 + -6)*-978. Are 165 and u nonequal?
True
Suppose 0 = 40*o - 37*o + 3. Let w be (-38)/612 - o/((-51)/(-6)). Is 1 at least w?
True
Let g(o) = -o**2 - 8*o - 3. Let l be g(-6). Let r = -6 + l. Suppose -r*x - 2*x - 5 = 0. Are x and -1 equal?
True
Let y = 26 - 25. Suppose -36 = -4*l - 5*u, 5*l = l - 4*u + 40. Let a = -27/2 + l. Which is bigger: y or a?
y
Let h = -1355 + 1271. Are h and 14 unequal?
True
Suppose -2*b + 4 + 1 = -3*l, l - 3 = 3*b. Let w be 0/(2 + l - -2). Is w < -4/9?
False
Let i = -0.5 - 1.6. Let d = -2 - i. Let a = -2530.1 + 2531. Which is bigger: d or a?
a
Let j(y) = 0 + 8*y - 1 + 2. Let p be j(1). Suppose -u = -3*b + 31, -2*u - 26 = b - 27. Is p equal to b?
True
Let b = -25.8 + 25.84. Is 5 greater than or equal to b?
True
Let b = 8.7 - 11.7. Let y = -223842/5 - -44625. Let k = y + 143. Is k less than b?
False
Suppose 6*j = 9*j + 48. Let p = 16 - 11. Suppose -43 = 3*f + p. Are f and j non-equal?
False
Let n be (-1994)/(-18) + 74/333. Let o(d) = 16*d - 2. Let s be o(7). Is n at most as big as s?
False
Suppose -8 = -2*n + 6*n. Suppose -8 = -4*s + 12. Suppose -5*m = s*o + 53 - 18, 3*o + 9 = 0. Which is smaller: m or n?
m
Let z be 4/(-7) + 7/(23863/1934). Is z < 0?
True
Let y = 3.85 - -19.25. Let d = y - 23. Is 7 > d?
True
Let r = -176 + 177. Which is smaller: 2.9 or r?
r
Let v = 341 - 349. Which is bigger: 4 or v?
4
Let i be (-3)/(6/8)*-6. Suppose i = -4*j + 4*n, 4*j - 5 = -j - 2*n. Let p be (j - -1)/(-3) - -1. Are -2/9 and p nonequal?
True
Let r = -83 - -46. Let g = r + 36. Is g at least as big as -18/13?
True
Let d(a) = 4*a**3 + a**2 + 7*a - 12. Let j be d(2). Is 149/4 > j?
False
Let c be 24/20*(2 + -7). Let t = 46 - 44. Suppose 3*h - 2*h + 3*j = -5, -3*h - t*j - 8 = 0. Which is smaller: c or h?
c
Let x be (-1117)/7*(1 - 2). Let p = -378 - -537. Let k = p - x. Do k and -1 have the same value?
False
Let p be 8 + 1/(69/(-513)). Is 1 < p?
False
Let w be (-72488)/40836 + (-1)/6*-10. Is w > 0?
False
Let i(t) = -t**2 - 18*t. Let j(z) = -2*z**2 - 36*z - 1. Let s(v) = 13*i(v) - 6*j(v). Let g be s(-18). Suppose -5*w + 30 = 5. Is w greater than g?
False
Let q be (0 - 2)*69 - (-6)/(-1). Is q equal to -721/5?
False
Let p = -432/7 + 62. Let q = 171.4 + -155. Let b = 2.6 + q. Which is smaller: b or p?
p
Let s = 8734/21 - 416. Which is bigger: s or 1?
1
Let a be -10 - -8*3/(-6). Let b be a/63 - 152/(-36). Let s = 68/33 - 30/11. Is s at most b?
True
Let w = 11/316 + -6441/203188. Which is greater: 1 or w?
1
Let a be ((-48)/(-10) + -5)/(7/147). Is -4 bigger than a?
True
Let z be -1 + ((-285)/(-7) - 14/(-49)). Let c be (-1 + 36/z)*-8. Is c smaller than 5?
True
Let w(a) = 3*a - 24. Let v be w(6). Let m be ((-1384)/(-200) + -7)/(v/10). Is 2/5 < m?
False
Let k(j) = j**3 + 19*j**2 + 17*j - 14. Let h be k(-18). Suppose h*w + 36 = 196. Let z be 2/(-8)*352/w. Which is smaller: z or -2?
z
Let i be (2 - 2)*3/6. Which is greater: 26/23 or i?
26/23
Let g be (16/9 + 1)*204/168. Let q = g - -15/14. Are q and 5 equal?
False
Let a be (5/6 - 1) + 0. Suppose 0 = -81*i + 80*i. Is i bigger than a?
True
Suppose k = -5*t + 574, 2*t - 265 = 5*k - 30. Is t greater than or equal to 110?
True
Suppose 2*g + a = -3*g - 930, 2*g - 3*a = -389. Which is smaller: -185 or g?
g
Let b(u) = -u - 6. Let r be b(-5). Let a be 77/(-42) - (5 - 5). Which is greater: a or r?
r
Let z(q) = q**3 - 4*q**2 + 2*q - 4. Let v be z(4). Let a be 6/9 - (-148)/12. Let o = -9 + a. Is o < v?
False
Let d be (-2)/4*(-504)/196. Let z = 3.5 + 0.5. Let n = 3.9 - z. Which is bigger: n or d?
d
Let v = 35 - 100. Let a = v + 78. Which is smaller: 10 or a?
10
Suppose -27*r = -4*p - 31*r + 8, 2*p - 2*r + 4 = 0. Let o be ((-6)/(-4))/((-9)/(-6)). Which is bigger: p or o?
o
Suppose l + 5 = 0, 3*r - 9 = 2*r + 2*l. Let u = -9667/13 + 744. Is r not equal to u?
True
Let g be ((-24)/(-7))/(6/21). Let n(j) = -3*j - 2 + 4*j + g. Let r be n(-11). Are 4/7 and r equal?
False
Let n = -5.01 + 0.01. Let b = 5.3 + n. Which is smaller: 3/7 or b?
b
Let q = -441/8 + 44525/808. Is q at least as big as 1?
False
Let t(o) = -5*o**3 - 16*o**2 - 28*o - 8. Let v be t(-4). Is v >= 168?
True
Let d = 7 + 2. Let i = 1690 - 1679. Which is bigger: i or d?
i
Let s = -4 - -5. Let d = 8 - 7.7. Let x = d + -0.5. Which is bigger: s or x?
s
Let g be 215/(-510)*(-18)/16. Let m = 7/17 - g. Which is smaller: 1 or m?
m
Let m(l) = 2*l**3 + 15*l**2 - 28*l - 14. Let j be m(-9). Which is smaller: -3 or j?
j
Let q = 7 + -5. Suppose -14 = -i - 2*m, 6*m = 3*i + 2*m - q. Let k = -20 + i. Which is greater: k or -13?
-13
Let j = -55 + 30. Let a = -25 - j. Is 1/3 less than a?
False
Let u be ((-2)/2 - (-9 - -8)) + -4. Let n(m) = m**3 + 4*m**2 + 2*m + 9. Let d be n(u). Which is smaller: 45/8 or d?
d
Suppose 0 = -2*i - 2*i - 3*i. Let j = -507 - -18253/36. Which is smaller: j or i?
i
Let h = -113 + 370. Is 255 greater than or equal to h?
False
Suppose -t - 6 = t, -g - 5*t = 12. Let j(h) = 9*h**2 - 2*h - 1. Let c be j(g). Let a be 24/8