ost as big as o?
False
Let l be -14 - -10 - 9/(-1). Let t be (-17)/l - -4 - (-36)/15. Let i be (-108)/(-104) + 2/4. Which is bigger: t or i?
t
Let a(i) = -i**3 - 22*i**2 - 27*i - 48. Let k be a(-22). Do 546 and k have the same value?
True
Let i be ((-636)/(-90) - 44/(-33)) + 2/(-5). Suppose -3*c + 1 = 4. Is i smaller than c?
False
Let t be -2 + (-4 - (3 - (79 + -3))). Let b be (1 - 5)*75/20. Let w(m) = -m**2 - 19*m + 8. Let l be w(b). Which is smaller: l or t?
t
Let l = -1080.022 + 3.022. Which is greater: 0 or l?
0
Let y be (-597)/15 - (4 - (-24)/(-5)). Let l be (y/9)/((-42)/396). Which is greater: l or 42?
42
Let n(g) = -g**3 - 19*g**2 - 4*g - 45. Let l be n(-19). Suppose l*z - 40*z = -90. Which is smaller: 11 or z?
z
Let r = 2837 - 14332/5. Let k = 1687/55 + r. Which is bigger: k or 2?
2
Let u be (2 + (-38)/4)*104/(-156). Suppose -2*f + u*x - 38 = 14, -41 = f + 5*x. Is f at most as big as -91/3?
True
Let n be (-3)/(46/255 - (-7)/(-35)). Suppose -n*p + 149*p + 16 = 0, -1 = 3*f - p. Which is smaller: f or 1/20?
1/20
Let u = -164 - -167. Is u <= -236?
False
Let t = -701.6 + -224.4. Let m = 925.7 + t. Which is smaller: m or 59/4?
m
Let p be ((-2086)/154 - -13) + 69287/77. Which is greater: 898 or p?
p
Let p(u) = u**3 + 2*u**2 + 9*u - 1. Let n be p(0). Does 1/20386 = n?
False
Suppose -5*i - 7 = 12*n - 13*n, -4*i = 3*n - 21. Is n >= 0.199?
True
Let f = 79382172723/80347256 - -36/913037. Let g = f + -988. Which is smaller: g or 1?
g
Let h = 640/37 - 20380/1221. Is 1/2 at least h?
False
Let i = -34910 - -34493. Which is smaller: -407 or i?
i
Let y = -12937 + 12320. Is y greater than or equal to 5?
False
Let i = -21.1 - -20.915. Let z = i - 2.815. Which is bigger: 51 or z?
51
Let w = -3643 + 3698. Is 60 greater than or equal to w?
True
Suppose -6*m = -a + 2092, 2303 = -4*m + a + 909. Which is greater: -350 or m?
m
Suppose -5*t - 4*s = -23, -2*s + 7 = t - 0*s. Let p(l) = -39*l + 38. Let a be p(t). Is a at most -80?
False
Let l = 43.97 + -41.97. Is l != 0.157?
True
Suppose 0 = -j - 28093 + 28094. Suppose 0 = 3*n - 5*z + 25, -5 = 5*n - z - 0*z. Which is greater: n or j?
j
Let s = -18 + 36. Suppose 2*z = -2*y - 4 + s, -3*z + 25 = y. Let m = 2858/3 - 945. Is m greater than z?
False
Let m = 1970 + -1969. Is -7.52 != m?
True
Suppose -2273 = 21*c - 467. Which is smaller: -106 or c?
-106
Let g = -18 - -67. Let l = -43.2 + g. Let b = l - 5.816. Is 1 at least b?
True
Suppose -28*u = -2*u - 3770 - 30342. Are u and 1311 unequal?
True
Let d be -1*((-3)/(-3) - 0). Let r be 64/6*123/(-82). Let y be (r/(-12))/(322/(-63)). Which is smaller: y or d?
d
Let y = -301 + 321. Suppose y*h - 22 = -2*h. Is -2/621 smaller than h?
True
Suppose -475*u - 481*u = -939*u. Is -54/599 > u?
False
Let o = 31/1177 + 1806509/7062. Which is greater: o or 257?
257
Let j(w) = w**3 - 29*w**2 + 31*w - 66. Let y be j(28). Let m be (-2)/y + (-1015)/(-63). Which is greater: -3 or m?
m
Let x = -3474 + 3552. Is 1/9 > x?
False
Let m(c) = 218*c + 64. Let b be m(-5). Let l be (6/b*6)/((-2)/6). Suppose 0 = -0*h + 2*h. Which is bigger: l or h?
l
Let x = 86 + -60. Let q be (-94)/3 + x/(-39). Let k = q + 2. Is k > -30?
False
Let q = -0.157 - -113.157. Let s = 174 - q. Which is smaller: 1/4 or s?
1/4
Suppose -f + 48 = 2*u, -3*f + 7 - 25 = 0. Is 498/19 less than or equal to u?
True
Let m = -23179/3 + 7586. Is -2 equal to m?
False
Let x(g) = 7 - 8*g**2 - 4*g - 4*g**2 - 4*g + 10*g**2 + 11. Let h be x(3). Which is bigger: h or -36?
h
Let z(r) = 140*r + 4320. Let g be z(-36). Which is bigger: g or -3594/5?
-3594/5
Let t = 15.1 - 8.1. Let k = t - 26. Let p = 19.09 + k. Which is smaller: p or -2?
-2
Let w(r) = -5*r**2 + 16*r + 43. Let b(g) = g**2. Let h(y) = 4*b(y) + w(y). Let q be h(17). Is q < 26?
False
Let k be ((-37)/(-6) - (54 - 47))*-294. Which is smaller: 244 or k?
244
Let v be ((-12)/(-22))/((-190)/(-1045)). Suppose 0 = v*c + 5*u + 3, 4*c + 5*u = 2*c + 3. Is -7 at least c?
False
Let m be 18640/(-28) - 4/56*4. Is -666 > m?
False
Let r be 57/(-95) + (-192)/5. Let v be (-3 + 6)*689/r. Does -53 = v?
True
Let g = -131/84 - -1917/140. Is -2/5 less than g?
True
Suppose 0 = -15*u + 12*u - 36. Let m be 4/u*3 - 0 - -1. Suppose 5*l = 2*x - 5, 5*x + m - 25 = 0. Is l less than -1?
False
Let s(g) = -g + 17. Let z be ((-81)/6 - 0)*(-17 - -15). Let r be s(z). Is r >= -15?
True
Let f = 0.39 + -20.59. Let k = f + 20.3. Is k >= -1/141?
True
Let i(j) = 2*j - 1. Let d be i(-1). Let n(b) = -7*b - 14. Let u be n(d). Let s be (-1)/(u/(-82)) + 10/35. Which is greater: -3 or s?
s
Let k(t) = t**3 - t**2 + 6. Let w(h) = 3*h**3 - 3*h**2 + 17. Let z(g) = -17*k(g) + 6*w(g). Let a be z(0). Suppose -5*x = u + 6, x + x = a. Are -5 and u unequal?
True
Let k = 0 + -6. Let c be k/4*(-14)/3. Let z be (9 - (-40)/32) + -4*1. Which is smaller: c or z?
z
Let u = -3666.8 - -3669. Which is smaller: u or -10/7?
-10/7
Let p = 928 + -4408. Let r = -3542.06 - p. Let c = r - -62. Which is greater: c or -1?
c
Let o = -0.1 + 0.1. Let g = -662 - -666.2. Is o greater than or equal to g?
False
Let a = 0.267 + -230.267. Let s = -230.02 - a. Which is bigger: s or -2?
s
Let m = 0.06 + -0.089. Let f = 17560.9 - 17561. Which is bigger: f or m?
m
Let c be (-16)/(-136) - (2480/(-17))/1. Let k be (-24)/96*(24/c)/2. Which is smaller: k or -1?
-1
Let k = -7176 + 7175.9. Let r(c) = -c**2 + 15*c + 17. Let v be r(-14). Is k bigger than v?
True
Suppose 2*f - 7*f - 31 = -g, 45 = 3*g + f. Suppose 0 = -g*v - 688 - 624. Are v and 2/9 nonequal?
True
Let a = -51039106/949 + 53782. Which is greater: 1 or a?
1
Let t = -316500081/12047645 - -16/141737. Let f = t + 129/5. Let a be 1120/(-140) + 3/6*14. Which is smaller: a or f?
a
Suppose 2*p - w = -469, -5*w - 96 = -5*p - 1281. Let j = -1628/7 - p. Which is greater: j or -1?
j
Let i be 128/(0 + 24/(-1104)). Which is bigger: -5887 or i?
-5887
Suppose -2*f - 18 = 4*k - 16, 3*k = f + 1. Is -3/8611 at most f?
False
Let n be (18 + -21)*(5/(-3) + 0). Suppose -n*m - 20 = -5*a, 4*a - 5*a + 24 = -5*m. Is -6/95 at most a?
False
Let w = 201/4 + -50. Let r be -66 + -1 - (-7 - -7). Let x = 68 + r. Are w and x unequal?
True
Let b = -23.27 + -382.73. Are b and 23 nonequal?
True
Let x = -770 + 773.532. Let y = x + 0.068. Let q = y - 3.4. Is q greater than 14?
False
Let v = 11179 - 11169. Which is bigger: v or 0.1?
v
Suppose 73*a = 82*a - 117. Let v(o) = -o**2 - 10*o - 10. Suppose y + 26 = -4*s, 2*s - 19 = -y + 7*s. Let r be v(y). Is r not equal to a?
True
Let r be 0/((4 - 6) + 3). Suppose -d - 4 = -v, 2*v + 1 = -r*d - d. Is -1/206 less than or equal to v?
True
Let z(j) = -j - 6. Let x be z(-5). Let b be (x - (-2 - 10)/3)*3. Let l be 54/(-46)*(-6)/b. Which is bigger: l or 2?
2
Let w = 0.1 + -1.1. Let z = -273536 + 273536.193. Does z = w?
False
Suppose -90 = -4*m + 6*m. Let u be (-185)/m + -8 - (-2)/(-18). Let k be ((-13)/13)/((-2)/(-6)). Is k < u?
False
Let v = 88 + -610. Let f be 783/(-522) + 1*(-787)/v. Which is greater: f or -1?
f
Suppose -5*q - 2339 = 591. Let w = q - -431. Are -156 and w nonequal?
True
Suppose -5*o + 461 = 4*q, -2*q - 3*q - o = -571. Let m = 104 - q. Let v be (-9)/(225/m) + (-31)/140. Do v and 0 have different values?
True
Let d be (2 + -1)/(1/(-11)). Let s(i) = -4*i - 28. Suppose -2*q = -0*q + 10. Let o be s(q). Is d at most as big as o?
True
Let n(b) = -3*b - 30. Let x be n(-10). Suppose x = f + i - 68, 522 = 5*f - 3*i + 150. Let g = f - 43. Do 29 and g have the same value?
True
Let k be (0 - 20/(-24)) + 79/(-30). Let o(p) = p**3 + 6*p**2 + 6*p + 2. Let j be o(-5). Which is bigger: k or j?
k
Let m be 40*19/(-76) - 1*51. Are m and 30 non-equal?
True
Let s(r) = -7*r**2 + 85*r + 54. Let d be s(11). Suppose -700 = -4*c - c. Is c smaller than d?
True
Suppose -5*d = -4*d. Let z = -20849629/7208275 + 4989/1775. Let g = z + -40/131. Is g at most d?
True
Let n be (980/(-12) + 1)/(74/111). Which is bigger: -190 or n?
n
Let i be (6/(-8))/((-16)/1472)*(-1)/(-3). Do i and 21 have the same value?
False
Let w = -20 + 23. Let j be w - ((-1 - 0)/1 + -2). Suppose -j*t + 2*t + 0*t = 0. Is t not equal to -1/9?
True
Let t = -305 - -307.36. Let l = 2.16 - t. Which is bigger: l or -167?
l
Let p = -8 + 11. Suppose 5*a + p*z - 32 = 0, -3*a + 3 = -z - 5. Let m be (a/32)/(3/12)*-2. Is m != -20?
True
Let y be (-28)/(-35)*(-30)/(-36). Which is gre