*w + 46 = 0, i*w - 1 = 7. Is l at least as big as j?
True
Let a(p) = -7*p - 7. Let q be a(-4). Let w = -20 + q. Let k be w*(-2 - -1) + 2. Is 1/89 != k?
True
Suppose -109*r - 6856 = -2*i - 104*r, 0 = 3*i - 3*r - 10257. Which is smaller: i or 3412?
3412
Let k = -7000 - -91012/13. Let y(a) = -a**2 - 4*a + 1. Let o be y(-4). Which is greater: k or o?
o
Let q = 650 + -340. Let w be 7 + (-817)/114 - (-3722)/24*2. Are q and w non-equal?
False
Let y be 16/(-16) + 101 + (-4 - -2). Let w be (-1)/(((-154)/y)/(12/14)). Let b(i) = -i**2 + 3*i + 2. Let a be b(3). Which is bigger: a or w?
a
Suppose -q = 86 - 100. Suppose -q*n = 3*n + 918. Let j be (106/(-6))/((-3)/(-9)). Which is bigger: j or n?
j
Let q = 395 - 388. Let k be 6/(9117/18 - q). Do k and 0 have the same value?
False
Let a(o) = o**3 - 15*o**2 - 29*o - 1. Let w(t) = t**2 + t. Let d(c) = -a(c) - 5*w(c). Let j be d(12). Is 1/38 bigger than j?
False
Let t be (-4)/(-220)*(778 - -7). Which is bigger: t or 0.1?
t
Suppose 0 = 4*i + 13*f - 10*f + 46, 54 = -5*i - 2*f. Let j be 3/5*(-4)/(40/175). Which is greater: i or j?
i
Let n(s) = s**2 + 1. Let o be n(2). Suppose -x = -3*x + o*k - 18, x + 5*k - 21 = 0. Let c be x - 17 - -1*(2 - 1). Is c greater than -16?
True
Suppose 2*n - 4 = 0, -5*b + 3*b - 5*n - 408 = 0. Let f = 124 + b. Let l = 8415 - 8499. Is f bigger than l?
False
Let q be (-646)/(-133) + (-1)/(-7). Suppose -2*i - 4 = 4, -q*l + 724 = -i. Let u be 24/l - 1/6. Which is smaller: u or -1?
-1
Suppose 8*v - 4*v = 12. Suppose r + v*s = 14, -s + 4 = r - 6. Let k = r + -80. Do k and -72 have different values?
False
Let t = 0.343 - -52.657. Let b = t + -65. Is b less than -2?
True
Let c be (15 + (-54)/8)/(-118). Are c and 0.1 equal?
False
Let s be 2/21 + (33553/273 - -12). Let a be (-7)/(-2) + s/(-90). Let i = -8 + 9.2. Which is bigger: i or a?
a
Let n = -89 + 121. Suppose 34*t - 42 = n*t. Let g = t + 8. Is 30 >= g?
True
Suppose -25*q + 34*q - 27 = 0. Let l be (-1)/12 - q/12. Let t = 40 - 122/3. Which is smaller: t or l?
t
Let a = -5.06721 - -0.06721. Which is smaller: 2/13645 or a?
a
Suppose 4*k + 2*t + 688 = -140, k - t + 207 = 0. Let x be 1223/(-6) + -2 + (-792)/4752. Is k greater than x?
False
Let p = 1536614/53355 + 2/10671. Let j = -571/20 + p. Is j > -77?
True
Let u = -1449 + 1452. Let n = -2 + -9. Which is smaller: n or u?
n
Let b = -17433.8 + 17434. Is 74/65 at most b?
False
Let u(r) = -r**3 - 4*r**2 + 2*r - 4. Let k be u(-5). Suppose 12*n + 40 - 92 = -4*w, -n + 51 = 5*w. Is w at most k?
True
Let v be 1 + (304 - 0) + -7. Let p = -16689/56 + v. Which is smaller: 0 or p?
p
Let k = 2/1035 - 56594/7245. Which is greater: k or 1?
1
Let y(f) = f**3 - 26*f**2 - 7*f - 16. Let i be y(26). Let p be (-2181)/11 + 489/1793. Does p = i?
True
Let b be 12/(3 + (-171)/(-19)). Which is smaller: -3/9049 or b?
-3/9049
Let w be 4/20*85/(-51). Which is greater: 2434 or w?
2434
Let v = -15029/3 - -5062. Which is smaller: v or 52?
52
Let m = 26 - 11. Suppose -5*h + m = 0, 4*r + h - 6 = -3. Suppose r = -2*k + z + 3 + 2, 4*k - z - 11 = 0. Do k and 15/4 have different values?
True
Suppose 4*l - 9110 = 8*l - 2*h, 0 = 2*l + h + 4557. Is -2279 less than l?
True
Let w = 3971 + -1526. Suppose -28*d = -13*d - w. Is 165 smaller than d?
False
Let g = -499.78 - 6.22. Let l = -496 - g. Are l and -34 equal?
False
Suppose -2*y - 67 = j, 2*y - 5*y + 192 = -3*j. Let d = -193/3 - j. Does 151 = d?
False
Suppose 176*t + 1992 + 7054 = -1514. Which is greater: t or -95?
t
Let a(c) = 39*c**2 + 67*c - 79. Let i be a(3). Which is smaller: 5196/11 or i?
5196/11
Let h be (5 - 3) + (-4 - -1). Let v = 115501/210 + -550. Let x = v + 19/210. Is x < h?
False
Let l(o) = o**3 + 11*o**2 - 59*o - 193. Let m be l(-15). Let d = 115 - 323. Are m and d equal?
True
Let j = 120 - 93. Let w = -122 - -124. Suppose 2*c - w*t + 4*t - 54 = 0, -5*t + 23 = c. Is j smaller than c?
True
Let k = 628 - 1468. Let z = k + 824. Which is smaller: -38 or z?
-38
Let v(x) = -2*x**3 + 32*x**2 + 3*x - 72. Let a be v(16). Let j = 43 - 76. Let t be (a/(-170))/(j/(-110)). Which is greater: t or 0?
t
Suppose -2*r = -11*r - 9. Let m = -40862/45 + 908. Is r smaller than m?
True
Let o(m) = -2*m**2 - 93*m - 444. Let l be o(-41). Let u(a) = a**3 - 6*a**2 + a - 10. Let h be u(6). Let r = h + 10. Which is bigger: r or l?
l
Let x = 103 - 98. Suppose 13 = 5*a - a + d, 0 = -2*a + d + x. Suppose a*y + v = y - 4, v - 3 = 5*y. Do -22/9 and y have the same value?
False
Let f = 1995 + -2256. Is f <= -260?
True
Let g(o) = 22*o**2 + 12*o + 24. Let q(i) = 1. Let m(n) = -2*g(n) + 6*q(n). Let s be m(-2). Which is smaller: s or -172?
-172
Let l(p) = p**3 - 3*p**2 - 3*p + 3. Let o be l(3). Let h be (o + 5)*4/26. Let v = 0.035 - -0.965. Is v less than h?
False
Let t(q) = -22*q**2 + 23*q - 12. Let a be t(4). Is a <= -7?
True
Let r be 115/(-23)*738/3. Is r less than -1230?
False
Let f = 1 - 3. Let r = 81 - 90. Let q be 5/18 + ((-101)/r - 11). Which is greater: q or f?
q
Let z(k) = -k**3 + 48*k**2 - 388*k + 96. Let i be z(38). Let b = -399 - -190. Which is smaller: b or i?
b
Let t(o) be the second derivative of 8*o**4 + o**3/6 + 2*o**2 + 13*o + 5. Let x be t(-1). Is 100 < x?
False
Let b(j) = 10*j - 1. Let n be b(5). Suppose 0 = d + 59 - 502. Suppose -7*x = -d + 107. Which is smaller: x or n?
x
Suppose 49 = -4*z + 13. Let c = -603 - -602.2. Which is greater: c or z?
c
Let d be 5/(-15) - 429/36. Suppose -n + 5*u = 3*n + 59, -5*n + 3*u = 64. Is n smaller than d?
False
Suppose -12 - 4 = 2*y. Let i = 20 + y. Which is bigger: i or 17?
17
Let k = 20.196 - 19.928. Which is smaller: k or 0.32?
k
Let w be (3465/(-4235))/((-4)/(-1)). Is 1 less than w?
False
Let b(v) = -82*v - 1610. Let j be b(-17). Which is greater: j or -211?
-211
Let l = 109 + -110.8. Let q = 62.2 - l. Let f = q + -66. Which is bigger: f or 0.38?
0.38
Let a be -2 - 21078/(-1323) - 14. Which is smaller: a or 1?
a
Let o(s) = s**3 - 8*s**2 + s - 5. Let u be o(8). Suppose z - 2*n - 6 = 0, -n - u - 5 = -3*z. Suppose -r - z = r. Which is bigger: 1/4 or r?
1/4
Let q = 4537 + -4536. Which is smaller: -62/151 or q?
-62/151
Let h be (108/444*2)/(-5). Which is smaller: 0 or h?
h
Let v = -9/5137 - 3252/6940087. Which is smaller: v or -1?
-1
Let p be 0 - (120345177/(-1017))/(183/(-10341)). Let w = p + 6686813. Let f = 8/61 + w. Which is smaller: f or -1?
-1
Suppose -72 = 2*n - 5*m, -203*m - 84 = 2*n - 206*m. Which is bigger: -90 or n?
n
Suppose 2*d - 166467 = -5*d. Let v = d + -94619/4. Let o = -126 + v. Is -4 at least as big as o?
False
Let h(z) = z**3 + 36*z**2 - 118*z - 26. Let w be h(-39). Let i(v) = v**2 - 11*v - 25. Let c be i(w). Which is smaller: 59 or c?
c
Let w = -39 + 35. Let o = w - -8. Let u be 4 + 10 + o + -6. Is u greater than 12?
False
Let q = 98 - 148. Let a = -2.47 - -2.456. Let o = -0.114 - a. Is q greater than o?
False
Suppose 4*i = -3*h - 46620, 48*h - 46*h = 2*i - 31080. Is h <= -15540?
True
Suppose -3*y = -4*j + 696, 5*j - 2*j - 237 = y. Let d = y + 226. Which is greater: -1/14 or d?
-1/14
Suppose 3*z + 2*w - 97 = 0, -3*z + 5*w + 91 = 4*w. Let b be (z/(-2))/(68/8 + -6). Which is smaller: -7 or b?
-7
Suppose 14989 = -48*b + 15037. Let n = 1676/56055 + -6/505. Is b at least as big as n?
True
Let t = -5.207 + 5.3. Let s = t - 0.11. Is s greater than 1?
False
Suppose -2*l = -16*y + 15*y - 6, 5*l = -4*y - 37. Suppose 3*w = -2 + 14. Let h be w/((-96)/(-78)) - (-2)/y. Which is greater: h or -11?
h
Let d be 8 + (-95)/10 + (-25)/2. Suppose 3*p = r - 53, -4*p + 8*r - 89 = 3*r. Is d at most p?
False
Let c = -5 - -5. Let j = 9977 + -309284/31. Which is greater: c or j?
j
Let i be (3429/36 - 2)*4. Is i equal to 374?
False
Let m = -425466/12661235 - 4/30509. Which is bigger: m or 1?
1
Let f be (3/4)/((-13 + 11)/(-8)). Suppose 3*k = f*s - 22 + 37, -2*k = s + 8. Suppose -3*r + 5 = -4*r. Which is greater: r or s?
r
Let n(d) = 4*d**2 - 10*d - 2. Let u be n(3). Suppose -4*o + 156 = 4*p, -2*o - u*p = -o - 24. Let t = o + -44. Which is greater: -9/7 or t?
t
Let q be (-3)/(-22)*(8/(-11))/((-804)/1474). Is q smaller than 190?
True
Let n = -271 + 351. Suppose 3*k = k - n. Which is bigger: k or -38?
-38
Let j(l) = l**3 + 7*l**2 - l - 4. Let s be j(-7). Suppose 3*i = -s*k - 18, 0*i + 5*k = 2*i - 16. Do i and -2 have the same value?
True
Let g be -120*(27/6 + -1)*(-