z(20). Suppose -113*w + k*w = 24. Is 3 smaller than w?
True
Let w = 9 - -38. Let b = -45 + w. Which is smaller: 14/11 or b?
14/11
Let r = 127 - -5. Let h = 130.5 - r. Which is greater: -1/5 or h?
-1/5
Let u = -64341/4 + 50362/3. Let z = u - 701. Let d = z - 5/6. Which is smaller: d or 1/2?
d
Let y = -3163.9 + 4355.9. Which is smaller: y or 2/15?
2/15
Let d be (-11)/(-2) + (-61)/(-122). Let y be 3*(-2)/(-3) + 48. Suppose -b = -d*b - y. Which is smaller: b or -9?
b
Let p = 257 - 251.51. Let q = -5.45 + p. Are q and -19/5 equal?
False
Let u = 75638/155 - 488. Let b(o) = o**2 + 10*o + 10. Let w = -4 - 5. Let s be b(w). Is s bigger than u?
True
Suppose -120 = 6*c - 36. Suppose y - 6*y = 55. Which is greater: y or c?
y
Let f be (10/95)/(4/(-24)). Which is smaller: f or -0.16?
f
Suppose 13*k = 37*k + 360. Let c be 2 + (-8)/(-5) - (-9)/k. Let y = -19/13 + 257/78. Is c at most y?
False
Let t = 111 - 107. Let k be (-4)/(-20) + 22/(-10) + t. Suppose q + 3 = 5. Is q greater than k?
False
Suppose 2*r = -5*d + 27, -5*d = -4*d - 5*r. Let c be 3 - 1 - 2 - d. Let y = 38 + c. Are y and 34 unequal?
True
Let v = 1720.963 + -1721. Is v less than or equal to 3?
True
Suppose -28*f = -4*h - 29*f + 15, -2*h + 4*f + 12 = 0. Let c = 29 - 22. Suppose 0 = -c*n + 4*n. Which is smaller: h or n?
n
Suppose -72 + 21 = -17*l. Suppose -l*h = 5*s - 9, -2*s = 5*h + 2*s - 2. Which is smaller: -18/13 or h?
h
Let t be (-9 + 6)*(-6 - -1)*7. Let i(x) = x**3 + 10*x**2 + 3*x - 5. Let l be i(-5). Is l > t?
False
Let q = 3159 - 3158.9. Is 4/73 >= q?
False
Let y be 0 + (-17)/4 + 33/(-44). Let w = 53815/3 - 17596. Let n = w + -13549/39. Which is smaller: y or n?
n
Let f = -0.3425 - -0.3925. Is 86 greater than or equal to f?
True
Suppose -494 = -17*d - 9*d. Suppose p - d = 3. Is p greater than 21?
True
Let a = -16.8 + 113.8. Let n = -97.58 + a. Which is bigger: n or 1/4?
1/4
Let i(q) = 11*q**3 + q. Let s be i(-1). Let o be -11*2449/(-2607)*((-12)/(-5))/(-2). Which is bigger: s or o?
s
Let b(m) = 2*m**2 + 21*m + 17. Let d be b(-20). Suppose 4*i + 3*c = 631 + 985, d = i - c. Suppose 0 = -5*g - 4*s + i - 73, -54 = -g + 5*s. Is 65 < g?
False
Let x = -398 + 402. Suppose -20*a = -16*a + 4*h + 264, 0 = x*a - 3*h + 278. Which is smaller: a or -69?
-69
Let i = 65 - 98. Let j = 114 + i. Let t = j + -81. Which is smaller: t or 83?
t
Let a = 3240 + -6348. Let c be -11 + a/(-270) - (-4)/(-10). Suppose 0 = -n + 2*s - 9, -s + 2 = -3. Is n at most c?
False
Let i = 16540 - 16190. Which is bigger: 0.9 or i?
i
Let s = 0.982 - 0.869. Let l = s + -0.143. Is l less than or equal to 27?
True
Let x = 0.5693 - 0.4693. Is x equal to 3535?
False
Let v = 132.82 - 0.82. Let l = 148 - v. Which is greater: l or 0.5?
l
Let a = 73 - 73.86. Let i = 1.86 + a. Are i and 4/5 equal?
False
Let j be (1614/(-324) + 5)*2*6/(-196). Which is greater: j or -1?
j
Suppose 109*j = -46576 - 4763. Is j at least as big as -472?
True
Let h = 361.4 + -363.4. Is h < -785?
False
Let j be ((-3)/(-9))/(8 + 5500/(-687)). Is j < -58?
False
Suppose 2*q + 12 = 3*y, -12*q + 20 = 5*y - 13*q. Let t be (30/(-20))/(3/y). Let o be 18/(-4)*8/6. Which is smaller: o or t?
o
Let q = -18659103/156611 - -3/22373. Which is greater: q or -118?
-118
Let i = -66 + -56. Let y = -109 - i. Let m = -40 + 40.1. Is y at least m?
True
Let u = 1224363 - 6141257/5. Which is smaller: -3887 or u?
u
Let x = -208.254 + 1.654. Let z = 208 + x. Which is bigger: z or 0.3?
z
Let g(o) = o**2 - 9*o - 6. Let c be g(-9). Let h(i) = -i**2 + 16*i + 31. Let n be h(23). Let k be (c/n)/((-74)/70 + 1). Is k > 20?
True
Let k = -21814 - -94321/4. Let x = 10745857/6084 - k. Which is greater: -1 or x?
x
Let m be 6/(-27) + 124/(-9)*1. Let i(v) = -v**2 - 12*v + 22. Let w be i(m). Which is smaller: w or -1?
w
Suppose 0 = -3*k + k + 152. Let r(d) = -6*d + 63. Let f be r(10). Let o be f/k - (-3)/(-12). Which is smaller: o or -1?
-1
Suppose -20 + 50 = f. Let z(j) = -j - 11. Let u be z(-14). Suppose 4*w - w = -2*m - 5, 0 = -u*w - 5*m - 17. Which is greater: f or w?
f
Let h(t) = t**2 + t - 1. Let q(a) = 13*a**2 + 2*a - 3. Let i(p) = 5*h(p) - q(p). Let k be i(1). Let y = -7 - k. Which is smaller: y or -1?
-1
Let x(o) = -28200*o - 253801. Let w be x(-9). Let v = 3/88 - 785/25608. Is v less than w?
False
Let s be (10 - 3/(-3))*7. Let n = -73 + s. Let d(k) = -k + 2. Let a be d(-1). Are a and n nonequal?
True
Let i(y) = y - 91. Let r be i(33). Let j = r + 57. Which is greater: -59 or j?
j
Let m = -66 - -64. Let b(t) = -4*t - 3. Let u be b(m). Let k(x) = -x**3 + 6*x**2 - 4*x - 2. Let z be k(u). Which is smaller: z or 7/4?
7/4
Suppose -122*j = -123*j - 5*s + 27, 5*j + 4*s = 51. Is -40 <= j?
True
Let o = 41 + -235. Let r = o - -271. Are 77 and r unequal?
False
Let s be (-1)/(-90)*861/(-98). Let i = s + -1/28. Which is smaller: 0 or i?
i
Let t(b) = b**3 - 19*b**2 - 18*b + 26. Let l(x) = x**2 - 6*x - 7. Let c be l(-3). Let g be t(c). Let s = g + -85. Which is greater: s or -20?
s
Suppose -29*i - 19*i - 17222 - 48538 = 0. Which is smaller: i or -1372?
-1372
Let p = -172 - -190. Suppose 5*y + p*y = 0. Which is smaller: y or 1/87?
y
Let b be 2370/(-304)*((-76)/(-3))/(-19). Is 9 > b?
False
Let d be (-252)/39*1898/(-4964). Suppose 4*c - 2 = 2. Which is smaller: d or c?
c
Suppose 4*v + 14 = 2*z, 2*z + 0 = -5*v + 5. Let f be (6/(-105))/((-3)/5). Let a = -61/714 + f. Which is greater: v or a?
a
Let d = -381 + 380.9949. Let h = d + 0.8051. Let b = -0.41 + 0.01. Are h and b unequal?
True
Suppose -4595 = 16*h + 32*h + 5293. Which is smaller: h or -222?
-222
Let b = -280 + 288. Let n be 0/1*(b + -4 + -5). Which is smaller: 3/13 or n?
n
Let c = -131.724 - 0.276. Let u be 3/1 + ((-32)/160)/((-16)/(-80)). Is u smaller than c?
False
Let q = -2/20641 - 1589347/103205. Is q greater than or equal to -14?
False
Let u = -30 + 70. Suppose -9*m - u = -49. Which is greater: 1/316 or m?
m
Let a = -17/10 + 26/5. Is 2/5 less than a?
True
Let k = -23678 - -23662. Is 5.02 equal to k?
False
Let m = 4 - -1. Let g be m/(-2)*(15/13 - 1). Let b be (-8)/36 - (-2)/9. Does b = g?
False
Suppose -4 = -7*x + 3*x. Let i = x + -2. Suppose 0 = 56*r + 505 - 337. Which is bigger: r or i?
i
Let o be ((-3)/8)/(1364/1328 - 1). Let p(r) = 8*r**2 + 4*r - 13. Let l be p(0). Is l at most o?
False
Let g = -291 + -1048. Which is smaller: -1341 or g?
-1341
Let y be ((-403)/(-93))/((-6)/(-36)). Which is smaller: y or 23?
23
Let z(p) = 226*p**2 + 6*p + 5. Let v be z(-1). Let b = v - 270. Which is smaller: b or -43?
b
Suppose 0 = -26*f + 30*f - 12. Suppose 2*d = -3*y - 5, f*d - 2*d + 7 = 3*y. Is 15/8 greater than y?
True
Let p = -352 - 438. Let f = 423 + p. Which is smaller: f or -368?
-368
Suppose 2738 = 61*j + 3311 + 4978. Is j at most as big as -72?
True
Let m be 2/6*2/(-10). Let i = -890 + 891. Let l(y) = y**3 + y**2 - 2*y. Let o be l(i). Is o bigger than m?
True
Suppose -5*p - 5943 = d, -5931 = -52*d + 53*d + p. Are -5927 and d unequal?
True
Let y be 4/(-6)*(-6 + 62537/2 + 8). Is y at most -20847?
True
Let t be -6 + (-2)/8 + 522/72. Which is greater: t or 2/28691?
t
Let k be (-40)/(-320) - (-7134)/16. Let g be ((-171)/114)/((-2)/((-8)/k)). Which is bigger: 0 or g?
0
Let s = -251 - -257. Suppose -180 = -5*j + 5*d, s*j - 3*j + 2*d - 113 = 0. Is 41 equal to j?
False
Suppose j - 12 = -2*j. Suppose 5*n + 5*p + 20 = 0, -5*p - 11 = -j*n - 0*p. Let k be -4*1*(-9)/(-6). Which is greater: k or n?
n
Let g be 6/21*(-5 - (0 + -12)). Suppose 0 = g*s - 2*d - 1270, 2*s = 4*d - 8*d + 1294. Which is bigger: s or 640?
640
Let m be (-3420)/(-270)*3/(-2). Is 0.91 at most m?
False
Let m = 1/6286 - -25141/18858. Which is smaller: -1094 or m?
-1094
Suppose 8*c = -3*b + 13*c + 14650, b + 2*c = 4865. Which is greater: 4876 or b?
4876
Let c = -4.6 - -1. Let k = 333 - 329.4. Let t = k + c. Which is greater: -24 or t?
t
Suppose -5*l = 5*s + 305, -10*s - l = -6*s + 241. Let m be (s/(-65))/(-3*40/(-84)). Is m at least 0?
True
Let j = 189/5 + -7759/205. Suppose 5*b - 3*y = 47, y - 5 = -3*b - 3*y. Let q = 6 - b. Which is smaller: q or j?
q
Let n = 2.207 - 0.265. Let y = n - -0.058. Which is smaller: 77 or y?
y
Suppose 12*p - 9*p - 9 = 0. Suppose -14*c + p = -11*c. Which is bigger: -3/16 or c?
c
Let j = 20224/8823 + 1/519. Let y = j + -851/408. Suppose 0 = v + p + 3, -10*p - 7 = 5*v - 7*p. Which 