114.82564 + -0.02564. Which is smaller: m or -5?
-5
Let c be 2/(-1)*5/10 - 62. Let o = c + 68. Suppose 3*b = 2*j + 4 + 7, -b - 3*j + 11 = 0. Is o smaller than b?
False
Let k(t) = -t**3 + t. Let n be k(0). Let a(d) = 4*d + 16. Let m be a(n). Let l be 48/(-16) + m/3. Is 3 greater than l?
True
Let x(h) = -953*h + 750. Let d be x(5). Are d and -4014 unequal?
True
Let v be 17/((-425)/(-10)) + 1624/(-10). Let q be (-4)/18 - (-6)/v*-33. Let g(x) = 5*x + 1. Let n be g(-6). Which is greater: q or n?
q
Let c = -5691 + 688605/121. Let x = 17 - 17. Which is smaller: x or c?
c
Suppose -8*h - 4*k = -3*h + 48, -3*h + 5*k = 14. Let g(v) = 2*v - 4. Let p(c) = -3*c + 6. Let a(i) = h*g(i) - 5*p(i). Let f be a(1). Is f at least 1/22?
True
Let c = -14 - -10. Let i(h) = -h**2 - 30*h - 16. Let r be i(-10). Let n = r - 188. Is n at most as big as c?
True
Suppose -108*a + 8 = 76 + 40. Is a at most as big as -1/12800?
True
Suppose -11*m + 50 = -9*m. Let g(d) = -d**3 - 32*d**2 - 235*d + 61. Let n be g(-12). Which is smaller: n or m?
n
Let j = 371917 - 366603.97. Let x = j - 5284. Let i = x + -29. Is i smaller than 1?
True
Let n be (-1 - 0)/(11/8283*(-1 - 2)). Which is smaller: n or 253?
n
Let l(c) = -19*c - 511. Let x be -26 + 1/((4 - 1)/(-3)). Let i be l(x). Is i smaller than 20/11?
False
Let n = -19 + 49. Suppose 0 = 13*f - 19*f - n. Let m be (-292)/f - (24/(-30))/(-2). Which is smaller: m or 59?
m
Suppose -1060 = -7*o - 192. Let g be 9 + ((-24)/4 - -121). Is o greater than g?
False
Let n(l) = 30*l**2 + 353*l + 1064. Let y be n(-3). Which is greater: y or -2/9?
y
Let d = -3707 + 3795. Which is bigger: 89 or d?
89
Let u(g) = 3*g. Let d be u(1). Let j = d + -4. Let h be (-107)/63 + 5 + (-20)/6. Which is greater: h or j?
h
Suppose -5*v = -3*c + 80, -3*c - 2*c + 16 = -v. Suppose -98*t - 921 - 549 = 0. Which is greater: v or t?
t
Let d be 23/((-644)/(-12)) - 11/(-7). Is 45/38 < d?
True
Let v be (-151)/(-3020) + 1173/1340. Which is smaller: 1 or v?
v
Suppose 1208 = 2*z - 6*g, -2*g + 1359 = 4*z - 973. Which is greater: 588 or z?
588
Suppose 10*r + 80 = 15*r. Let n be 1006/9 + r/(-9) + 2. Let i = n - 113. Which is bigger: 2/41 or i?
2/41
Let l = -40243/1860480 + 22/2907. Which is smaller: -1 or l?
-1
Suppose -320*j + 14*j + 298116 = -12*j. Which is bigger: -12 or j?
j
Let s be ((-18)/4)/((-63)/14 + 5). Let u(f) = -f**2 - 8*f + 15. Let m be u(s). Suppose -6 = -m*w - 0*w. Which is smaller: 1.31 or w?
w
Let p(c) = 4*c + 44. Let z be p(-13). Let y = -15 + 5. Let r be (-108)/10 + (-8)/y. Which is smaller: z or r?
r
Suppose b - 39 = -19 - 21. Which is bigger: b or 1/2437?
1/2437
Let s = -530 - -557.7. Let b = s + -40.7. Which is smaller: 2/15 or b?
b
Suppose -8 + 13 = g. Let v(i) = -i**2 + 11*i - 17. Let c be v(g). Which is bigger: 12 or c?
c
Suppose 0 = 51*q - 45*q + 18. Let h be 1629/(-327) + 5*(q + 4). Which is greater: 1 or h?
1
Let j = 1745.94215 - 0.02215. Let p = j + -1746. Suppose 0 = -5*f - 0 - 5. Which is smaller: p or f?
f
Let f be (-3780)/(-1512) - (-7)/(-2). Which is smaller: -2/3537 or f?
f
Let p = 8.568 + -4.568. Which is smaller: 22/3 or p?
p
Let h be (-29)/26 + (1 - 0). Let m be (105 + 3)/(((-4)/(-4))/1). Suppose -m*r + 90*r + 18 = 0. Which is smaller: h or r?
h
Let v = 9174 + -9166. Is 2/1093 greater than v?
False
Let z be ((-27)/6)/(7/14). Let j be 4125/22*6/z. Are -1 and j equal?
False
Let k(b) = 7*b - 19. Let d be k(4). Let n be -9*(3 + (-75)/d - 1). Suppose -56*s = -n*s + 13. Are s and -1 nonequal?
True
Let d = 0.0877 - 397.0877. Let g = 396.96 + d. Which is smaller: 19 or g?
g
Let r be (-6)/(-15) + (276/(-180))/(33/1746). Do r and -80 have the same value?
False
Let m be (-2)/(-5) - (-3212)/10 - (-1206)/(-2010). Which is smaller: 339 or m?
m
Let k = -35392/5 + 7096. Is 18 less than or equal to k?
False
Let r(b) = -b**3 + 17*b**2 + 2*b - 29. Let u be r(17). Suppose 10 = u*w - 5, 2*w = 4*j + 14. Which is greater: j or -2/15?
-2/15
Suppose -16 + 192 = 3*g - 2*b, -3*b = 12. Suppose -239 = -4*m + 3*y, 71*y - 117 = -2*m + 72*y. Is g bigger than m?
False
Let m(o) = 7*o - o**2 - 5*o - 11*o**3 + 6*o**2 + 10*o**3 - 10. Let y be m(5). Which is greater: -3/56 or y?
y
Let k = 14306/5 + -3047182/1065. Which is smaller: k or 1?
k
Let i = -3.8 + -2.2. Let v = i - -23. Let w = v - 16. Which is smaller: -5/3 or w?
-5/3
Let y be (567/72)/21*-2 - 4382/(-8). Let l = 977 + -431. Is y at most as big as l?
False
Suppose 3*t + 2*n - 3029 = 0, -58*t + 63*t = n + 5018. Which is bigger: t or 1000?
t
Suppose -19219 = 5*c - 2*t, -34*c - 3*t + 3836 = -35*c. Do c and -3846 have different values?
True
Let v = -106 - -15. Let l = 92 + v. Suppose -2*m - 3*g = -9 + l, 0 = -g. Which is smaller: m or -2/19?
-2/19
Let f = 71 - 75. Let o be 2/f*33584/24. Let y = -706 - o. Which is greater: y or -7?
y
Let d(f) = -f**2 + 5*f - 6. Let h be d(4). Suppose -j + 3*v + v = -44, -5*v = -5*j + 265. Let a be (-2)/(0 - j/(-20)). Which is smaller: h or a?
h
Suppose 17 = -11*y + 94. Suppose -2*c + 4 = 2*x, -4*x + 2*c - y = -21. Suppose x*k - 40 = 8*k. Does 3 = k?
False
Suppose 0 = 2*s + s - 3. Let c be -18 + (-3480)/(-192) + (4587/5256 - 1). Which is bigger: s or c?
s
Suppose v = 4*v. Suppose -2*w = -0*w - 70. Let h be 24/14 - (-10)/w. Which is smaller: v or h?
v
Let w be (-93)/(-6) + (-3 - -1). Let r be 8/12*-1 + 68/12. Suppose v + 32 = m + m, -62 = -3*m + r*v. Which is greater: m or w?
m
Let r be 77943*35/504 + (-1)/3. Let f = -5420 + r. Do f and -9 have the same value?
False
Suppose -3*n = 4*h - 1, 2*n + 2*h + 2 = -2*h. Suppose -n*z - 3 = 5*s - 5, -z = 5*s + 6. Do 3 and s have different values?
True
Let p = 325.7 + -305. Let s = p - 21.1. Which is smaller: 0.26 or s?
s
Let r(o) = -6*o + 9. Let i be r(1). Suppose -i*z - 104 - 1303 = 0. Is -468 greater than z?
True
Let v be 2/(2*(-9 + -2)/(-7645)). Is v at most as big as 692?
False
Let f be 2/(-10) + (-102)/15. Let y(r) = -r + 71. Let v be y(-33). Let z = 98 - v. Which is smaller: z or f?
f
Let t be (-4)/9*(9/(-88))/3. Let v = -79/132 + t. Is v at most -2/9?
True
Let x be (-3)/3*1 - (-81 + 73). Suppose 5 = 4*v + r, 7*r = -3*v + 4*r - 3. Suppose 0 = -v*p - 0 + 10. Which is smaller: x or p?
p
Let c be 4/(-2)*100/(-40). Suppose 2*q - 343 = -c*q. Which is smaller: 53 or q?
q
Let i be 5 + 42/3*-2. Suppose 2*u + 42 = -2*w, -2*u - w + 6*w = 56. Is i bigger than u?
False
Let d(z) = -2*z**3 - 3*z**2 - 62*z + 181. Let h be d(3). Which is smaller: -82 or h?
h
Suppose 3*x - 5*b - 31 = 0, -x + 14*b + 24 + 48 = 0. Let t be (2/5)/(2/30). Suppose 2*i + c - 1 = 0, 5*i - x*c - 7 = -t*c. Which is greater: i or 2/107?
2/107
Suppose 2*b = -0*b + 7*b. Suppose -f + 15*f = b. Is -3/38 at most f?
True
Let k = 6556 - 5722. Which is smaller: 4173/5 or k?
k
Let k(p) = p**3 + 45*p**2 + 46*p - 116. Let n be k(-43). Which is smaller: 3 or n?
3
Let c = -793 - -1208. Which is greater: 416 or c?
416
Let v(i) = 5*i**2 + 17*i + 9. Let c be v(-8). Is 192 bigger than c?
False
Let g be 6/1108*(24/(-9) + 4). Let k = 58 - 59. Does g = k?
False
Suppose -5*q = -4 - 1. Is q at most as big as -12/481?
False
Let s = -225 + 215. Let g be 3 + (12/s)/(3/10). Which is smaller: g or -42/5?
-42/5
Let v be (-93)/(-165) - 16/(-12)*249/(-913). Suppose -9 = -5*o - 114. Is v < o?
False
Let d = 60057 - 60033. Let q = -2 + 29. Is q > d?
True
Let r = -288 - -287. Let l be 1/2 + (1/(-1) - r). Which is bigger: -600 or l?
l
Let l(f) = 7 - 2*f + 15*f - 10*f + 6. Let i be l(-4). Is -14 less than or equal to i?
True
Let p(f) = -2*f + 22. Let v be p(11). Suppose 0 = -3*s - 0*s - 3, 4*n + 4*s + 8 = v. Let o be ((1/n)/2)/((-2)/1). Which is smaller: o or -24?
-24
Let b = -1154 + 1147. Suppose 2*r - 15 = -r. Is b greater than r?
False
Let o = -17901 - -23718. Which is smaller: o or 5818?
o
Let b = 1686 - 38779/23. Are b and 35 nonequal?
True
Let p = 9832 + -9686. Is p at most 14?
False
Let a be 10*(2 - (10/4)/1). Let k = -371 - -370. Is k at most a?
False
Let j = -10.028 - -10. Let g = 354.972 - 326. Let s = j - g. Does 0 = s?
False
Let t(w) = 121*w + 3386. Let n be t(-25). Which is greater: n or 350?
n
Suppose 4*l - 2*b = -3162, 21*l = 17*l + b - 3165. Is -798 equal to l?
False
Let i(l) = -10*l**2 - 33*l - 3. Let f be i(-3). Let j(t) = -2*t**2 + 19*t - 72. Let y be j(f). Is y greater than -28?
False
Let o = 4/6165 + 3161/4068