Let o(i) = 2*a(i) - 5*q(i). Let r be o(-14). Let p be 11/20 - (-1)/4. Is p <= r?
False
Let p be -2 + -10*1/(-2). Let q be 6 - ((-10)/3)/((-4)/(-6)). Which is greater: q or p?
q
Let f = -104711 + 104695. Suppose -36 = -2*l - 0*l. Suppose -o = -2 + l. Are o and f nonequal?
False
Let z(m) = -47*m - 6771. Let j be z(-144). Which is bigger: j or 304/3?
304/3
Let d(l) = l**3 - 9*l**2 + 7*l + 7. Suppose -5*b + 2 = -3*b, -2*b = -2*y + 14. Let k be d(y). Let n be 3/9 - (k + (-352)/(-84)). Is -3 at most n?
True
Let v be (-9)/(-3) + 0 - 1. Let h be (11 + -125)/(v*-1). Let o = h + -23. Which is smaller: 35 or o?
o
Suppose -5*z - 10 = -3*b + 11, -4*z - 22 = -5*b. Let j be 1/(b/124*2). Let q = -47 + 79. Is j less than q?
True
Let g(y) = 3*y**2 + 73*y + 3368. Let n be g(-72). Is 13664 <= n?
True
Let u be 300/60 + 5*(-3 - -2). Do u and -1/1883 have the same value?
False
Suppose 0 = 36*w - 16*w - 7*w + 39. Which is bigger: 216.4 or w?
216.4
Let s be ((-2)/3)/((-14)/693). Let q(c) be the first derivative of 33*c**4/4 + 2*c**3/3 - c**2/2 - c + 6. Let b be q(1). Does s = b?
True
Let u = 44.114 + -44.1. Suppose -n + 3*n = -2. Is u at most n?
False
Let a(l) = -81*l + 10. Let t = -18 + 21. Let b be a(t). Let n = b - -1169/5. Is n equal to 2?
False
Let l = 2936929/186 - 15790. Is -1 >= l?
False
Let l = 19.5 + -24.5. Let r be ((-8)/(-16))/(1/(-4)). Which is greater: l or r?
r
Suppose -22*w - 1587 = -1785. Is 157/20 smaller than w?
True
Suppose -301*b + 296*b = -5*q + 515, 5*b + 4*q = -560. Is b <= -875/8?
False
Suppose 16*y + 4 = 18*y. Suppose -13*t - 11 = y. Which is greater: t or -1/64?
-1/64
Let a = -3894 - -3894.1. Which is smaller: a or 1.43?
a
Let n = 67 - 121. Let c(o) = -o**3 - 12*o**2 + 14*o + 9. Let z be c(-13). Let g be (-185)/225 + z/n*3. Which is greater: -3 or g?
g
Let b be (-32)/(-48)*(9 - 9/3). Suppose -2 = 2*l + 5*z, -4*l = 12*z - 11*z + b. Which is greater: -1.93 or l?
l
Suppose -2*d - 2 = -x, d - 3*x = -2*d. Let g be 26/(-6) - -2 - d. Let i(y) = y**3 + 8*y**2 - 47*y + 25. Let r be i(-12). Which is greater: r or g?
r
Let q = 0.72 - 42.72. Let g = 38 + q. Let x = 34 - g. Is x < 0.1?
False
Let h = 9174 - 9017. Which is smaller: 161 or h?
h
Let t be (-2 + 26 + -1)*344. Which is smaller: t or 0.1?
0.1
Let n be (1/(-2))/((-94)/8). Let r(o) = 72*o**2 + 92 + 71*o**2 + 6*o - 144*o**2. Let g be r(-7). Which is smaller: g or n?
n
Let v be (-1*(-2 - -3))/(-3). Let j = -0.591 - 112.409. Let m = -112 - j. Which is bigger: v or m?
m
Let i be 96/10 + 2 + (-32)/20. Let l = i + -41. Suppose -30 = -v + 2*v. Is l > v?
False
Let t = -12 - 14. Let c = 20 + t. Let b be -4*c/16 - 1. Which is greater: -2/9 or b?
b
Let v(q) = -q**2 - 8*q - 4. Let f be v(-7). Suppose -1 = -f*s + 4*z + 18, 4*z = -3*s + 11. Let l be (275/10)/(-5) + s. Is l at least as big as -24?
True
Suppose -5*d = 6*w + 5206, -2*d - 5*w - 1921 - 164 = 0. Which is bigger: d or 1/2?
1/2
Let j = 8.2 - 2. Let f = j - 11.3. Let r = f + 4.97. Which is greater: r or -2/7?
r
Suppose 24*j - 1113 = 375. Let d = -156 - j. Which is smaller: -217 or d?
d
Let w = -0.367 - -202.367. Let v(z) = z**3 + 6*z**2 + 9*z + 3. Let f be v(-4). Is f != w?
True
Let z be (220/9)/(-11)*5/110. Is 0 equal to z?
False
Let c be (-1)/(-2)*(-4 + -24 + 4 + 6). Suppose 16 + 14 = -3*s. Which is bigger: s or c?
c
Suppose -17 = -a - 5*y, -17*a = -14*a + 2*y - 77. Suppose a*u - 6*u = 630. Which is bigger: 28 or u?
u
Let s be -13 + (-2048)/(-464) + 14. Is 6 > s?
True
Let t = 2.2207 + 3041.7793. Is t greater than 2?
True
Let l = 753 + -469. Let u = 1391/5 - l. Which is greater: u or -5?
-5
Let i = 5300 + -5312. Which is greater: i or -203/16?
i
Let d = 149 + -193. Let g = d - -35. Is g less than or equal to -13?
False
Let l be (0 - -60)/((-12)/28 - 36/112). Which is smaller: -88 or l?
-88
Suppose 0 = -g + 5 - 12. Let v be g/21 + (-58)/(-120). Suppose -f - 6 = -100*c + 104*c, -4*f + 3*c = 5. Which is greater: f or v?
v
Let x = 6 + -3. Suppose 0 = -4*k + x*p + 108, 4*p = -k - 6 + 33. Suppose k*v = 30*v. Which is smaller: -4/23 or v?
-4/23
Let r(n) = -3*n + 1. Let a be r(3). Suppose 8*u + 8 = 12*u. Let p be u*(-1 + (3 - 4)) - 1. Is p less than a?
False
Let d be (-3*(-50)/(-45))/((-21)/(-9)). Is d at least -0.7?
False
Let m = 0.11458 + -0.04458. Is m <= 2/35?
False
Let y = 123 - 127. Let a be y*1 - 15/(-3). Which is smaller: 1/321 or a?
1/321
Let a be -5 - ((-9)/(-18)*132 + 4). Which is smaller: -957/13 or a?
a
Let a = 19.4 + 96.6. Let h = a + -147. Are h and -1/4 equal?
False
Let g = -0.137 + -14.063. Let a = 5.11 + 0.69. Let j = g - a. Is j at most as big as 1?
True
Suppose -37*u = -32*u - 4*k - 2856, -3*k + 2322 = 4*u. Is u at most 581?
True
Let q(t) = -6*t**3 - 1. Let z be q(-1). Let x(g) = 5*g - 209*g**2 - 207*g**2 + 415*g**2 + 2. Let j be x(z). Is 2 <= j?
True
Let y(d) = -13*d. Let c be y(1). Suppose 91*x - 90*x = 2*m + 2287, -3*x + 1131 = -m. Let l = 1137 + m. Which is smaller: l or c?
c
Let r = -1838066/457 - -4022. Are r and -1 non-equal?
True
Let s = 2315.2 + 1763.8. Which is greater: -0.3 or s?
s
Suppose -i + 6*i - 30 = a, 0 = -i - 3*a + 22. Let n be 60/i + -6 + -2. Which is greater: n or -4?
n
Let j be (30/230)/(-2*4722/(-8)). Let t = 2226431/72404 - j. Which is greater: t or 32?
32
Let o = 67 - 34. Let n = -40 + o. Let a be (n/21)/(1/3). Is a greater than or equal to 1/8?
False
Let t(m) = -m**3 - 6*m**2 + 226*m - 561. Let b be t(10). Suppose -q = -5*q + 388. Which is smaller: q or b?
q
Suppose 54399 + 11109 = 103*y. Is y at most as big as 635?
False
Suppose -13*v = v - 70. Let r be ((-1335)/10)/(((-30)/(-8))/v). Which is greater: -177 or r?
-177
Let f(s) = 8*s + 7. Let r be f(-7). Let x be 2*-1 - 1*r/28. Is -87 at least as big as x?
False
Let g(a) = 359*a - 3250. Let l be g(9). Is -75 smaller than l?
True
Let n be -3*(-6)/60 + 4521/30. Which is smaller: 149 or n?
149
Let v be 8 + (-228)/42 + -6. Suppose 0 = -2*a + 4*a + 4. Which is smaller: a or v?
v
Let z be 3 - (7 + -2) - 14. Suppose 0 = -4*h + 4, 3*x + 3*h - 2*h = -314. Let k = x - -89. Are z and k equal?
True
Let c(p) = 42*p + 1259. Let u be c(-30). Which is bigger: -20/63 or u?
-20/63
Let k(b) = -b**2 + 17*b. Let d(i) = -i**3 + 2*i**2 + 34*i - 2. Let l(m) = d(m) - 2*k(m). Let q be (-42)/(-9) - 2/(-6). Let z be l(q). Is -26 bigger than z?
True
Let a(c) = -c**2 - 81*c - 10. Let l be a(-79). Which is greater: 151 or l?
151
Let f be (-3150)/(-195) - 2/13. Let h(z) = z**2 + z + 3. Let v be h(-5). Suppose 6 = 3*d, -v = -s - 4*d + 3. Which is smaller: f or s?
f
Let r = 54 + -56. Let s = -7.1 + 24.7. Is r less than or equal to s?
True
Let r(p) = -20 + 0*p - 5*p + 8*p. Let z be r(10). Suppose 0 = -5*j - 15 - z. Is -5 less than j?
False
Suppose 10*m = -5*j + 7*m - 11, -3*j + 34 = -4*m. Is j smaller than 483?
True
Let v = 1199 + -2464. Is v less than or equal to -1?
True
Let k be 4/14 - 1443/(-21). Let g = 387 - 376. Suppose -w = -g*w + 700. Which is smaller: w or k?
k
Let h be 6/5*(-40)/(-6). Suppose -3*b + 279 = -5*n, n - 2*n - 5*b = 67. Let q = -109/2 - n. Are q and h non-equal?
True
Let w be (18/6)/((-6)/(-4)) - (-3742)/(-8). Which is greater: -466 or w?
w
Let s = -173 + 198. Let b = 76 - 78. Is b greater than or equal to s?
False
Let v be (66044/(-152))/(9/(-6) - -2). Which is smaller: v or -864?
v
Let n = -6755 - -6807. Which is smaller: 4 or n?
4
Let u be 35/((0 - 5)/5). Let m(h) = 3*h**2 + 103*h - 67. Let t be m(u). Let b(j) = -8*j**3 + 1. Let i be b(-1). Is t not equal to i?
True
Suppose -8*m + 4*m = -15*m + 6985. Is m not equal to 635?
False
Let j be (2 + 3 + -7)*2. Let r be 2*j/(-8)*1. Let t be 36/24 + r/(-2). Which is bigger: -3/10 or t?
t
Let c be (1 + 180/(-140))*7/(-3). Is 13 > c?
True
Let c be (3*396/5340)/(12/80). Is c greater than 0?
True
Let h(l) = -l**3 + 20*l**2 - 20*l + 63. Let m be h(18). Let t = 116 - m. Which is smaller: -234 or t?
t
Let q = -2/2017 - 2013/4034. Is -2/1675 >= q?
True
Let i be (-135)/90 + (-3)/(-6). Which is greater: i or 8.37?
8.37
Suppose 6*y + 54 = 282. Suppose -b - 2*c = -1 + y, 5*c + 75 = -2*b. Let m = -60 - b. Is m equal to -27?
False
Let o = 54 - 53. Let v be ((-2)/6*3)/(0 + o). Let r be (14/(-21))/((-286)/6). Are r and v non-equal?
True
Let q(r) = -63*r + 629. Let h be q(16). Which is bigger: h or 0?
0
Let x = -0.06194 - -142.90194. Let q = 189.