?
True
Suppose 42 = 2*m - 2*l, 82 = 7*m + 4*l - 32. Is m at most 253/15?
False
Let o(w) = -10*w + 94. Let g be 5 - 3*(1 + -2). Let n be o(g). Is -7 at most as big as n?
True
Suppose 2*w + 403 = -545. Let d be 4/14 - w/7. Which is smaller: d or 67?
67
Suppose 0 = -3*c - 5*d + 31, 0*c + 2*d - 2 = 4*c. Let r be c*10/(-30920)*4. Which is greater: 1 or r?
1
Suppose -i - 112 = -2*i. Let t = i + -158. Let b be 3 + 2/(28/t). Which is smaller: -1 or b?
-1
Let h = -3593 + 3600. Is 214/29 > h?
True
Suppose -35*f + 67 = -2383. Suppose -7*j + f = 406. Which is smaller: j or -46?
j
Suppose -2*m + 3172 = 4006. Which is smaller: 2 or m?
m
Let n = -13 + 25. Suppose -2*u - 173 + 797 = 0. Suppose u = 5*p + 19*p. Is n < p?
True
Let j = 35712 + -35885. Which is greater: -227 or j?
j
Suppose g + 2 = n - 0, 0 = -4*n - 2*g + 32. Let l = 363.29 - 363. Is n <= l?
False
Let j be ((-140)/(-12) + -12)/(1 + 2081/(-2082)). Is j greater than or equal to -705?
True
Let b = -0.457 + -23.183. Which is greater: 1 or b?
1
Suppose 4522 = 170*o - 151*o. Is 240 bigger than o?
True
Suppose -6298 = -21*v - 38*v - 8*v. Is v bigger than 14/3?
True
Let o(c) = -142*c + 4047. Let s be o(46). Which is bigger: s or -2484?
-2484
Let k = -46 + 183/4. Let l = 74887/5 - 14977. Which is smaller: l or k?
k
Let q = -632.965 - 0.035. Let j = -572 - q. Which is bigger: j or -0.1?
j
Let i = -46331231 + 2224011259/48. Let r = 2337 - i. Which is bigger: r or -1?
r
Let l = -17594 + 598241/34. Which is greater: -3 or l?
l
Let p = -0.22821 - 2.77179. Is p less than or equal to -41?
False
Let o be (-9)/54*(-1 + 2). Let n be (-20)/10*-1*4/(-116). Which is smaller: o or n?
o
Let b(r) = 52*r**2 + r + 1. Suppose -4*q + 3*z = -2*q + 11, -2*q - z = -1. Let p be b(q). Let t = -36 + p. Is 16 < t?
False
Let u(h) = -h**2 + h. Let z be u(1). Let b = 50399.13 - 50660. Let g = 261 + b. Which is bigger: g or z?
g
Let w = -332628/13 + 25614. Which is greater: w or 26?
w
Let y be 4/36*-3*(0 + 66/55). Is -17/12 greater than y?
False
Let o = 120013/55 - 11185741/3135. Let a = 1386 + o. Let r be 2/1*(-2)/(-4). Is a equal to r?
False
Suppose 4*h + 158 = 2*p, 0 = 4*h + h + 2*p + 220. Let d be 4/(-3)*(-63)/h. Which is bigger: d or -4?
d
Let p = 846 + -1008. Which is smaller: p or -161?
p
Let v = -856.6304 - -0.6304. Is v smaller than -1?
True
Let g(h) = -h**3 + 7*h**2 + 9*h - 7. Let q be g(8). Let c be (-3 + (-132)/(-15))/q. Let a be (-2)/6 - (-770)/105. Which is bigger: a or c?
a
Suppose -8*y = -455 - 537. Suppose 3 = -5*m - 17, -m - y = 2*i. Is -60 less than or equal to i?
True
Let l(i) = 6*i**2 - 17*i - 18. Let d be l(-1). Suppose 567 = -d*w - 2*w. Which is smaller: w or -82?
-82
Suppose -2*f + 15 = -3*c, 2*c - 25 = 3*f + 7*c. Let l = 12.8 + 40.2. Let t = 50 - l. Is f less than t?
False
Let z(j) = -622*j - 2419. Let b be z(-4). Which is smaller: 489/7 or b?
b
Suppose 18*o - 16*o + 3*g + 949 = 0, -3*o - g = 1434. Let s = 319 + o. Is s less than -160?
False
Let v(n) = 1214*n + 152. Let d be v(3). Are 3794 and d non-equal?
False
Let a = 33 + 27. Suppose -38*y - a = -34*y. Let r = 15 + y. Which is smaller: r or 15?
r
Let n be 4/10*(-14)/(-24)*(-150)/(-140). Is 60.08 at least n?
True
Let c = 6 + -5.95. Let z = 159 + -158.94. Let y = z - c. Is 0.2 at most as big as y?
False
Let o(b) = -4*b - 4. Let n be o(-2). Let u be 0 + 0 + 2 + 0 + n. Suppose -7 = -4*a + i, -3*a = -i - 0*i - u. Which is greater: a or 4?
4
Let k = -0.8974 + -608.1026. Is 0 less than k?
False
Let t = 2 + -2.9. Let o = -0.7 - t. Let k = -0.09305 - 2.90695. Is k at least as big as o?
False
Let d(f) = 4*f**3 - 54*f**2 + 8*f - 22. Let n be d(12). Which is smaller: -793 or n?
-793
Let d(k) = 4*k**3 + 9*k**2 - 24*k - 201. Let m be d(-8). Which is greater: m or 6?
6
Let r = -6646 - -9599. Are 2952 and r equal?
False
Suppose 0 = -4*p + 3*p + 6*p. Suppose p*k = 3*h + 2*k - 27, h + 2*k = 9. Let d(l) = 2*l + 1. Let i be d(1). Which is smaller: i or h?
i
Let o = 6955 + -6945.96. Which is smaller: 2 or o?
2
Suppose -7*n - 4*r + 638 = -4*n, -n + 218 = -4*r. Let t = 213 - n. Is t less than -38/27?
False
Let f = -178 + 178. Let u be (2/56)/(351/324). Which is greater: u or f?
u
Suppose -675*n + 634*n = -7503. Which is smaller: n or -1?
-1
Suppose 32*p = 33*p + 5*j + 492, -4*j = -4*p - 1896. Does p = -467?
False
Suppose 33 = 3*a - 5*s - 246, -a + 4*s = -100. Do a and 81 have the same value?
False
Let i = -628/5 - -138. Let z = 184/15 - i. Is z at most as big as -13?
False
Let t = -10 - -7. Let h be t + 3/1 + -1. Let w(y) = 5*y**3 - 22*y**2 + 9*y - 6. Let s be w(4). Which is smaller: s or h?
s
Suppose 2*u + 0*u = -4. Let w be u/((135/6)/(-9)). Let a(q) = -q**2 - 7*q + 2. Let b be a(-7). Which is bigger: b or w?
b
Let d be (18/(-1282))/(249/166). Is d greater than -1?
True
Suppose -140*a = 287*a - 427. Which is smaller: a or -2/5123?
-2/5123
Let a = -328.9 + 621.7. Let d = 293 - a. Which is smaller: d or 14/31?
d
Let s = 292 - 292.1. Let w = 82 + -37. Let z = 44.992 - w. Are z and s non-equal?
True
Let d be (-1455)/(-9)*531/(-885). Which is bigger: d or -70?
-70
Let c(n) = -n**2 + 9*n - 18. Let o be c(7). Let j be (-119)/(4 + (o + -1)/1). Suppose -i - 3*i + 11 = u, 5*u = -4*i + j. Is 1/4 >= u?
False
Let n be 15/(-60) + (-1)/(-4). Suppose n = -g - 45 + 49. Is -5/4 at least g?
False
Let k = 61403 + -61434.067. Let d = -0.067 - k. Let x = -30.94 + d. Is 0 > x?
False
Let k = -0.258 - -0.62. Is 3 at least k?
True
Let w = 318 + -310. Suppose 0 = -u - 4*i - 50 - 47, -4*i = -w. Which is bigger: u or -103?
-103
Let o(y) = -y**2 + 3*y + 126. Let j be o(0). Suppose -183 = -h - j. Do h and 58 have the same value?
False
Let g = -2999.2 - -2997. Is g at most as big as -19?
False
Let o = 236 + 8. Let g = -9 - o. Let l = 1269/5 + g. Is l greater than 0?
True
Let z(g) = -4*g - 61. Let q be z(-17). Let w be 2*q/273*7. Is 0 greater than or equal to w?
False
Let d(g) = 64*g**2 + 4*g - 1547. Let f be d(0). Are f and -1547 non-equal?
False
Suppose 0 = -48*i - 27*i + 2478 - 13803. Let j = 166 + -318. Which is smaller: j or i?
j
Let g = -610 + 697. Let o(a) = 11*a**2 - 52*a + 2. Let f be o(6). Is f not equal to g?
True
Suppose 2*x - 5*c - 9 + 3 = 0, 2*c = 4*x - 28. Is 386 >= x?
True
Suppose -2*x = 6*x - 1328. Suppose 3*p = -d - 3*d + 139, x = 5*d - 4*p. Is -1/2 at most as big as d?
True
Let t be 4*(48/(-2) + 13). Is -33 < t?
False
Let r be (-51731)/(-4703) - 1 - (-74 - -84). Which is greater: -1 or r?
r
Let k be -5 - (-2 + 1 + 3). Let j = 5750 - 5759. Does j = k?
False
Let w = -4 - -4.4. Let a = -412.1 - -438. Let g = -24.9 + a. Is w < g?
True
Let m(a) = 7*a + 79. Let y be m(-10). Suppose 17 = 8*w + y. Which is smaller: w or 4?
w
Suppose -c + 5*a = 60, -c + 3*a = 2*c + 180. Let d = 93 + c. Let t be -4 - (d/15 - (-2)/(-10)). Which is smaller: -7 or t?
-7
Suppose 121*h + 4 = 120*h. Let x be (h/(-6))/((-5 - -13)/504). Is 41 smaller than x?
True
Let m be (-83)/(3569/(-86))*(3 + 0 + 2). Let o = -1687 - -6783/4. Is o < m?
True
Let b = -32315/24 - -1346. Let w(k) = -k - 2. Let i be w(-1). Is b > i?
True
Let g be (-14)/(-4)*(9 + -7). Suppose g = 3*y - 2. Let a be 172/(-44) + 0 + y. Which is smaller: -2 or a?
-2
Let t = 4521 - 4505. Suppose 3*y - 14 = 4*w + 13, 4*y - 5*w - 37 = 0. Which is greater: t or y?
t
Let w = -2 + -12. Let n(q) = q**2 + 6*q + 5. Let h be n(-6). Suppose -h*g + 142 = 207. Which is greater: g or w?
g
Suppose 11846 = -194*y - 7492 + 1490. Which is smaller: y or -98?
-98
Suppose -48*t + 1216 = -29*t. Let l = t + -67. Is -7 at most as big as l?
True
Suppose -23*i - 299 = i - 11*i. Which is smaller: i or 3/7?
i
Let l be (13 - 10)*7/(-3). Let o be (l - (-3 - 2)) + 6. Suppose 4*u - 25 = -5*p, 15 = o*u + 3*p - 0*p. Which is bigger: u or 15/11?
15/11
Let p = 1 + 0. Let u = 563 + -1076. Let s = -505 - u. Is s at least as big as p?
True
Let o be (231/14)/((-34)/20 - -2). Suppose -14 = -x + 4*v - o, 4*x + 4*v = -84. Is x >= -25?
True
Let h(s) = -s**3 - 87*s**2 - 13*s + 1274. Let u be h(-87). Is 2407 > u?
True
Let l(h) = 2*h**2 + 4*h - 2. Let c(y) = -4*y - 4. Let x be c(-2). Let p be -7 + x*(-2 - 44/(-16)). Let f be l(p). Which is smaller: 16 or f?
f
Let b be (-22)/4 - (-140)/(55 - 27). Which is greater: b or -1.901?
b
Let w be (7 - 8 - 0)/(4 - (-1 + 4)). Which is smaller: w or 242?
w
Let u = 31.99 - 