
True
Let u = 107/3 - 35. Let i(h) = -h + 8. Let d be i(8). Let c(v) = -v**3 + 23. Let l be c(d). Which is bigger: l or u?
l
Suppose 15543 = -56*n + 52*n + q, -5*n - 19422 = q. Is -3886 bigger than n?
False
Let f be ((-144)/42)/((-4)/(-98)). Let c be ((-9)/(-36))/((-51)/f). Which is bigger: c or 1?
1
Let m = 44194.0047 - 44197. Let f = 0.0047 - m. Is 11 greater than f?
True
Let p = -1 - -6. Let q be 9/1905*p/2. Which is greater: -1 or q?
q
Let h be 5/3 - (-6)/(-9). Let u be (-3)/(-165) + (-90)/110 + 1. Which is smaller: u or h?
u
Let z = -7.79 - -7.8211. Let a = z + -0.0211. Which is bigger: a or -1/12?
a
Let b = -0.4256 - -0.399. Which is smaller: 1 or b?
b
Let n be 117/1*(-3)/3. Let v be 17/n - 4/(-18). Let l be (-7)/(13/(156/84)). Is v less than or equal to l?
False
Suppose 4*h = -4*o - 512, 0 = -5*o - 10 - 10. Let w = 126 + h. Is w >= 1/11?
True
Let d = -0.07755 - -0.35755. Which is smaller: -2/27 or d?
-2/27
Suppose x - 3*z = z + 31, -4*x = 4*z - 44. Let h = 1637/109 - x. Suppose 28*j - 12 = -3*i + 32*j, 2*i + 4*j = -12. Which is smaller: i or h?
i
Let m(l) = l**2 + 4*l + 6. Let z be m(-4). Let n(d) = -52*d**2 - 2*d - 2. Let f be n(-1). Let b = f + z. Does b = -46?
True
Let t = 45.1 - 45.709. Let a = 0.391 - t. Which is bigger: -253 or a?
a
Let p be (-98)/(6 - -8) - 924. Which is smaller: -935 or p?
-935
Let c = 4 - 9. Let i = c + -20. Let z = -25.3 - i. Are z and -5 unequal?
True
Let c(a) = -5*a + 5. Let h be c(1). Suppose h = -34*d - 3*d. Which is bigger: 1/32 or d?
1/32
Suppose -102*c = -20*c - 16*c - 396. Let x(y) = -5*y - y**3 - 2 - y**3 - 5*y**2 + y**3. Let g be x(-4). Is g greater than c?
False
Let t = -2 + 1. Let a(q) = 27*q - 72. Let c(p) = -26*p + 70. Let l(s) = 3*a(s) + 2*c(s). Let k be l(3). Is k bigger than t?
True
Let r = -24373 - -24371.69. Which is smaller: 36/11 or r?
r
Let h = 59 - -24. Let v = -84 + h. Is -8/7 >= v?
False
Let m be (-32920615)/(-7280) - 1/16. Which is bigger: 4524 or m?
4524
Let o be -14 - 42/(8 + -15). Let a be 5/((-10)/8) - 144/o. Is 14 equal to a?
True
Suppose -3*p - 4*u + 0*u = -523, -5*u = -3*p + 487. Suppose -13*i + 335 = -11*i - h, 3 = h. Does i = p?
True
Let s(j) = 3*j**2 - 108*j + 477. Let o be s(30). Which is smaller: 9/23 or o?
o
Suppose 40*c - 7390 = 30*c. Let z = c + -739. Let b(m) = -5*m + 2. Let u be b(3). Which is smaller: u or z?
u
Let x(a) = 137*a - 36. Let h be x(25). Let t = -1865 + h. Let j = -103635/68 + t. Is 1 greater than j?
True
Let h = 228 - 230. Let y = -4 + -22. Let b = 24 + y. Is h greater than or equal to b?
True
Let v be (48/(-9))/((-55)/66)*-50. Let n = v + 327. Let k be (6/(-15))/((-8)/110). Which is smaller: n or k?
k
Let w(t) = -t**3 - 7*t**2 + 2. Let j be w(-7). Let c = 7 - 3. Suppose -c*z - 8*z = 48. Is j not equal to z?
True
Let w = -119 + 195. Suppose 2*k = -3*o - 60, -2*o = 2*o + 4*k + w. Suppose -5 = -5*q, 18 + 33 = -2*d + 5*q. Which is greater: o or d?
o
Let c = 1377 - 1312. Which is bigger: -2/17 or c?
c
Suppose -q + 114 = 162. Let m = -81 - q. Which is bigger: m or -32?
-32
Let a(n) = -4143*n + 4. Let u be a(-1). Let d be (-5)/(-4) + u/(-2204). Let q = 0 - 1. Which is bigger: d or q?
d
Let h = 143 + -145. Let z be (216/30)/(-3) - h. Let y = 2.3 + -11.3. Is z less than or equal to y?
False
Let x(s) = 13*s - 1. Let n be x(-3). Let l be ((-25)/3)/(-5) - ((-5775)/(-22))/(-7). Let m = l + n. Which is bigger: -2/5 or m?
-2/5
Let d be 3*((-44)/12 + -2). Suppose -2*h = 3*m + 129, -5*m - 81 = -3*m + 3*h. Let y = d + m. Is -62 <= y?
True
Let c = 139 - 136. Let l be (12/27)/(18/c). Let d be -1*(1 - 2/1). Are d and l equal?
False
Suppose 8*t - 11*t = -780. Let j = 70 + -37. Suppose j*v + t = 38*v. Which is smaller: -0.1 or v?
-0.1
Let a be 5 + 1 + (5 - (6 - 2)). Suppose a*g - 3*g - 280 = 0. Which is smaller: g or 72?
g
Let u be (-2)/((-5)/25*2). Suppose 7*t - 108 = -4*w + 4*t, -u*w = -2*t - 135. Let d be (-18)/w*2/44. Which is smaller: 0 or d?
d
Let v be (-112)/(-84)*(-6)/(-20)*(-13620)/3. Is v less than -1816?
False
Let j = -67 + 121. Let f = 54 - j. Suppose f = z - 28 + 18. Is -1 at least z?
False
Suppose 2*x - 5*x - 2*n - 6463 = 0, -5*x - 10770 = 3*n. Let d be (-6)/9 - 1452/x. Which is smaller: -1 or d?
-1
Let p be (-34)/3 + -14 - 30/(-5). Let t = 12 - 32. Which is bigger: t or p?
p
Let i be (-2208)/72*36/(-16). Is i at most as big as 1186/17?
True
Let n = -99 + 96. Suppose f - 17 + 5 = 0. Let d be -2*46/f - (-2)/(-6). Which is smaller: d or n?
d
Suppose 4*z - 7*i = -8*i - 45, i = 3*z + 39. Let q be (z/18)/((-10)/(-3) + -4). Let u be ((-1)/11)/((-4)/12). Which is greater: q or u?
q
Let h = 811485/7 + -115433. Which is smaller: h or 492?
492
Let c = -6226 - -6225.816. Which is bigger: c or 37/2?
37/2
Let n be (-1 - 0)/(2/(-8116)*2). Suppose 0 = 18*j + n + 167. Which is bigger: j or -123?
j
Let c be 9/(-6) + 21/6. Let w(q) = -1 - 8*q - 10*q - 10 + 43*q - 20*q. Let h be w(c). Is 3/8 equal to h?
False
Let m = 6214 - 7252. Is -5 not equal to m?
True
Let r = -1.3 - -2.8. Let n = 0 + r. Let x = -95 - -97. Which is smaller: n or x?
n
Let n be (((-352)/(-77))/8)/(18/7). Suppose -4*g = -0*c - 2*c + 8, 0 = -5*c - g - 2. Suppose c = 3*l - 10 - 2. Do l and n have the same value?
False
Suppose 2*r - 235 = -2*u - 233, -16 = 6*u - 5*r. Which is smaller: u or 1/1585?
u
Let b = 1.0148 - 0.7148. Which is smaller: 3/139 or b?
3/139
Suppose -2*y = -0*y - 2. Let j be (-2190)/(-720) - 1 - (-2)/(-1). Which is smaller: y or j?
j
Let s = 4961.352 - 4962. Which is smaller: s or 0?
s
Let q be 2*(3 - (-11)/2). Let t = 26 - -26. Let j = 51 - t. Does j = q?
False
Let i(k) = 3*k - 21. Let u be i(7). Suppose -7 = -4*g - y, -g + u*g - 4*y - 17 = 0. Suppose -5*o = -10*o - 15, 2*z = 2*o + 6. Which is greater: g or z?
g
Let v be (-14)/(-76)*54/(-1512). Which is smaller: v or 1?
v
Let k = 19250/129 - -19/43. Let h be (-12)/(-2) + 288/2. Which is smaller: k or h?
k
Let r(y) be the second derivative of y**5/20 - 2*y**4/3 - 4*y**3/3 + y**2/2 + 8*y. Let z be r(9). Let j(l) = 2*l - 17. Let o be j(14). Which is smaller: z or o?
z
Let p be 900/(-301) + -12*3/(-12). Let s be (-18)/(-153) - 30/(-34). Is p > s?
False
Suppose 20*k - 111984 = -28*k. Which is smaller: 2334 or k?
k
Let z = -1493 - -909. Is 2 < z?
False
Let n = -44479 + 177031/4. Which is smaller: n or -220?
n
Let v(p) = 2*p**2 - 242*p + 463. Let z be v(74). Is z less than or equal to -6493?
True
Let i(n) = 291*n - 12519. Let r be i(43). Let p = -1874/399 + -1/57. Is p < r?
False
Let k be (18855/567 - 7)/(6/(-45)). Let m = k + 197. Which is greater: m or 47?
47
Let a be ((-34)/4)/(8 + 17/(-2)). Suppose -a*p - 248 = -16*p. Do p and -246 have the same value?
False
Let f(o) = -2*o**3 - 3*o**2 + 4*o + 5. Let z be f(-2). Let i be 2/10 + (4 - 8538/2040). Is z at most i?
False
Let w = -326 + 320. Let i be 4 + -4 + 0/(11 + w). Which is smaller: i or 18/25?
i
Suppose 3*s - 4*g - 9 + 32 = 0, 5*g + 20 = 0. Is s >= -15?
True
Let m(u) = -u**2 - u. Let b(h) = 2*h**2 + 6*h + 5. Let p(j) = b(j) + 5*m(j). Let z be p(0). Suppose -z + 10 = -f. Is f bigger than -6?
True
Let t be ((-314)/3)/((-32)/12 + 2). Suppose -163*j + t*j + 114 = 0. Which is smaller: j or 17?
17
Let w be -9*(-16)/936 - (-33)/39. Is w smaller than -1/205?
False
Let v be ((-145)/(-551))/(4 + -3). Suppose 2*l = -2*l. Let b = 0 - l. Is b at least as big as v?
False
Let r(w) = 2*w**3 - 11*w**2 + w + 1. Let j be r(8). Let x = -191 + j. Let o be (0 + -7 + 4)/(x/4). Is o bigger than 0.1?
False
Suppose -169*k + 276*k = 3317. Which is smaller: k or -210?
-210
Let g = 223 - 2450/11. Let y(t) = t**2 - 34*t - 3. Let r(x) = -5*x**2 + 34. Let z be r(0). Let n be y(z). Is n < g?
True
Let m = -1573314 - -11044566/7. Let y = m + -4492. Which is smaller: -11 or y?
-11
Let p be -502 + 1 - (289 - 299)*2/10. Is p < -493?
True
Suppose -185*d + 15*d = 74*d. Which is bigger: -8/4161 or d?
d
Let a be (2/49)/(13 - 8918720/686056). Which is smaller: a or 3499?
3499
Let l = 10 + -13. Let b = 1 + l. Suppose 11*p - 76 = -197. Which is bigger: p or b?
b
Let y be 73/(-24) - 3/9. Let n = 16056 - 16060. Is y at least n?
True
Let m = -239 + 236. Let o be 25*-6*(5/(-2) - m). Is o at most -74?
True
Suppose -4*j - 2584 = 4*l, 0 = -10*j + 15*j - 4*l + 3275. Is j bigger than -654?
True
Let n = -7395 - -7355. Is n >= 5.8?
False
Let s = -16