- -91/3. Let r = -143 + 42. Let b = r - -115. Is b greater than c?
True
Let r = -41907/23 + 18033602/9867. Let m = r + 119/33. Do m and 9 have the same value?
False
Let o = 90 + -155. Let z = -115 - o. Let k = -49.4 - z. Are -3 and k non-equal?
True
Let t be ((-1)/(-15))/(12 - 11123723/926978). Let l = t + -4752. Let m be (2 + -3)*1*-2. Which is smaller: m or l?
l
Let c = -2481 + 861. Which is smaller: c or -1619?
c
Let v = -0.771 - 858.229. Is v less than -2/9?
True
Let u = -1466964/354035 + 1949/785. Let r = u - -18/11. Let p(t) = -2*t**2 - 588*t + 3601. Let n be p(6). Which is smaller: n or r?
r
Let c(k) = 24*k - 1349. Let u be c(-22). Are u and -1878 nonequal?
True
Let z be 1/(1285*(-13)/(-130)). Which is smaller: z or 0?
0
Let b be (-2)/(-10) - (-46)/(-205). Let i be 706/(17/(153/(-18))). Let h = 353 + i. Which is smaller: b or h?
b
Let s be -225 + (-1 - 12/(-3)) + 2. Let l = 221 + s. Is 1/12 <= l?
True
Suppose -5*i = -4*i + 6. Let f(s) = -s**2 - 5*s - 8. Let y be f(i). Let h be (-2)/((y/4)/((-6)/(-12))). Is -1 equal to h?
False
Let g = 2102 - 2099.606. Let j = -0.206 - g. Do j and 2 have different values?
True
Let s(r) = r**2 - 8*r + 9. Let x be s(7). Let i be -1 - x/2*1. Suppose 82 = -30*h - 68. Which is bigger: h or i?
i
Let a = 1277 + -1073. Is 6 <= a?
True
Let f(c) = -2*c - 7. Let p be f(-5). Let r(i) = -17 + p + 1 + 5 + i. Let y be r(8). Which is smaller: -3/32 or y?
-3/32
Suppose -w + 0 = 7. Let l be (-664)/(-24) + 6 + w. Is l less than or equal to 28?
True
Let f = -44 + 48. Suppose 14 = 6*v - f. Suppose -5*h - 5*y = -20, v*h = -h - 3*y + 11. Which is smaller: -4/9 or h?
h
Suppose 0 = d + 3*d + 4. Let n be d*(-2 + 3 + -1). Let v = -541/2 - -4597/17. Is n at least v?
True
Suppose -8*w - w + 6669 = 0. Suppose -4*u = 15*u - w. Is u smaller than 39?
False
Let x = -93/805 + 1/35. Let y = -7.07 - -7.14. Which is greater: y or x?
y
Let l be (3*4/(-24))/(8/(-80)). Let g be (l - (-66)/(-15)) + (-1)/5. Which is bigger: 6.4 or g?
6.4
Suppose d + 118 = -u, -5*u - 5*d = -3*u + 230. Which is smaller: u or -127?
-127
Let z be (0 - -6) + -1 - 2. Let v = 287 - 262. Suppose v = 5*m, 7*i - z*i + m = -163. Do i and -41 have the same value?
False
Let q = 183.0006 + 0.0994. Let u = -183 + q. Is 242 at most as big as u?
False
Suppose -364 = 15*g + 146. Let n = -36 - g. Let i be 15/8*n - 18/(-24). Is 16 greater than i?
True
Let k = -131.8 - -141. Let t = k + 4.8. Is -1/3 != t?
True
Let g = 0.032 + -58.032. Let m = 52 + g. Let t = -5.8 - m. Is t less than or equal to 3/4?
True
Let l be -51 - ((-50)/15 - -4)*3. Let w = 36 + l. Let q = 1.96 + 0.04. Which is smaller: w or q?
w
Let o(d) = 4*d**2 - 31*d - 325. Let c be o(20). Which is bigger: c or 661?
661
Let g be 14 - (9 + (-1970)/(-510)). Do g and 0 have the same value?
False
Let s be (320/1200)/(8/(-6)). Which is smaller: s or 834?
s
Let s = 12 + -11. Let q be s/((-14)/(-72))*(-20)/(-30). Do q and 3 have the same value?
False
Let l = 0.06365 - 4.39365. Is l greater than 2/13?
False
Let z be (53568/20)/12*20/6. Is 747 >= z?
True
Let l = 46.7 + -42. Let x = l + -4.677. Let p = x + 2.777. Which is greater: -0.1 or p?
p
Let d = -3036.7 - -3037. Is d smaller than -0.0005?
False
Let w = 4.078 + -119.078. Which is smaller: w or 15?
w
Let p = 46339582733/678323270 + -3/2886482. Let u = p + -342/5. Is u greater than or equal to 1?
False
Let l be 0/((-4)/(-2) - 6). Is l at least -1/250?
True
Let w = -20552005 - -2178458095/106. Let k = w - -1027/2. Is k >= 0.3?
False
Let w be 2/(-4) + (-205860)/376. Let f = 962 - 1510. Is w bigger than f?
False
Let j = 1.21 - -393.79. Let k = j + -631. Is 0 != k?
True
Let d = 179 + -125. Let z(k) = -k**3 - k**2 + k + 6. Let v be z(0). Suppose -v*q + d - 240 = 0. Which is smaller: -29 or q?
q
Suppose 94 = 5*p - 31. Let h be -56*(-1 + p/35). Let c be 3/(-15) - (-658)/40. Which is bigger: h or c?
c
Let j = 638 - 1478. Let o be (7/(j/16))/((-2)/6). Does o = 197?
False
Let l = -274 + 225. Let b = l - -195/4. Which is smaller: b or 2/3?
b
Suppose 309 = 5*z - 2*p, -2*z + p + 0*p + 124 = 0. Suppose -2*u = -45 - z. Let j = 49 - u. Is -7 greater than or equal to j?
False
Let n be (3 + -2)/(2/(-46)). Let a be ((-4)/1)/((-6)/(-3)). Let g be 69/a*(-22)/(-33). Is g smaller than n?
False
Let b be (4/(-24)*3)/((-6)/(-84)). Let q be (b/(-175)*10)/(2/80). Does q = 16?
True
Suppose 5*m + 4*v - 20 = 8*m, -2*m + 2*v = 10. Is 3204 >= m?
True
Let g(j) = j**3 - 6*j**2 + 5*j + 2. Let a be g(5). Suppose -z = a*z + 6, -z + 53 = l. Which is bigger: l or 56?
56
Let z = 12489 - 62438/5. Are z and 9.8 nonequal?
True
Let a = 46 + 3. Suppose -5*m = 2*t - 10 + a, -t + 21 = -2*m. Let b = -39 - -29. Do b and m have different values?
True
Let a be 177/(-2) - 72/48. Let o be 77*(-5)/a - 4. Suppose -15*m = -6*m. Is o greater than or equal to m?
True
Let l = -91 - -93.96. Let d = l - -0.04. Let s = -1.122 + 2.122. Is d at most s?
False
Let u = -10499 + 10447. Let q(j) = -j**3 + 2*j**2 - j. Let f be q(1). Is f bigger than u?
True
Let l = -200/7 - -204/7. Let t = -0.051881 - 0.048119. Does t = l?
False
Let d = -4/173 + -8115/692. Is d < -11?
True
Suppose -t = -4*o - 2*t + 12, -o - 5*t + 3 = 0. Suppose 8 = 16*w - 18*w, 3*g - o*w = -21. Let h be ((-28)/(-10))/(12/(-45)). Do h and g have the same value?
False
Let d = -116.71 - -154.71. Let z = -2 + 1.93. Let k = z - -0.07. Is k != d?
True
Let s = 2 - 5. Let w = 817 - 818.925. Let o = -0.075 + w. Which is bigger: o or s?
o
Let t = 11309.9995 - 11310. Is -4 at most t?
True
Let t = 1005899367582723/1607 - 625948618650. Let z = t + 38947. Which is smaller: z or 1?
z
Suppose 21 = -g - 6*g. Let d be (1/g)/(66/331986) - 3. Let v = 5062/3 + d. Which is smaller: v or 9?
v
Let l be (-3)/(-107)*(-1)/1. Suppose 2 = -910*u + 889*u - 19. Is l bigger than u?
True
Let l = -3/25672 - 32283/53269400. Is l != 0?
True
Let i = -14/101 - 8790/707. Suppose -2*x - 4*n - 44 = 0, 4*x = x - 2*n - 46. Which is smaller: x or i?
i
Let f = 75 + -47. Let p = 263 - 563. Let u be (f/50)/((-10)/p). Which is bigger: u or 18?
18
Let m = -45 + 85. Let w be (2 + -268)*45/(-63)*(-2)/(-10). Which is greater: m or w?
m
Let z(b) = 1451*b - 33430. Let c be z(23). Let w(d) = -d**3 + 3*d**2 + 8*d + 2. Let p be w(6). Which is bigger: p or c?
c
Suppose 5*b + 1128 = 5*i - i, -1365 = -5*i - 5*b. Let v = i + -324. Is -47 greater than v?
False
Suppose 17*d = 21*d + 228. Let x = d + 60. Suppose -2*f + 5 = 4*a - 23, -2*f - 35 = -x*a. Is a not equal to -0.2?
True
Let k = -192 + 195. Suppose 5*c = -k*z - 72, 16*c = 12*c + z - 61. Which is bigger: -7 or c?
-7
Let i = -1359.8 - -1360. Is i != -2230?
True
Let w = -0.291 + 1.691. Let u = -1.61 + w. Which is smaller: 1 or u?
u
Let q be 19 - 0 - (-178534)/(-9440). Are q and -1 non-equal?
True
Let n(i) = 90*i**2 + 50*i - 13. Let w be n(-4). Which is bigger: w or 1225?
w
Let m be (-91980)/600 - 6/(-20). Suppose -4*l + 6*l = -308. Is l not equal to m?
True
Suppose 53*y - 1176 = 32*y. Which is greater: 110 or y?
110
Suppose -4*j + 2205 = j. Suppose 45*h - 12540 = 2379 + 4926. Is h greater than j?
False
Let k be (-12370)/28896 + (48/(-84) - -1). Let s = k - -1813/518064. Which is smaller: s or 0?
0
Let u(g) = -6*g - 13. Let j be u(-4). Suppose 5*v + 3*s = -79, j*s = 16*s + 15. Which is smaller: -116/9 or v?
v
Let l = 104765.07 - 104765. Let c = -47 + 142/3. Which is smaller: c or l?
l
Suppose -3*r - 22 = 4*o, 31*r - 34*r - 16 = -2*o. Suppose 0 = i - 2*i. Do o and i have different values?
True
Suppose 0 = -z - 5*n + 4, 20*z - 23*z - 2 = n. Which is smaller: -4/1655 or z?
z
Let o be ((-10)/(-15))/((-3154)/18)*1. Let j = 70503/121429 - o. Let q = -8/11 + j. Is -1 greater than q?
False
Let k be 0 + 4/(-6) + 2697554/2946. Do 919 and k have the same value?
False
Let v = -0.7 - -1. Suppose 0 = -5*i - 7*i - 77112. Let s be 969/i + (-4)/(-18). Which is bigger: s or v?
v
Suppose 0 = -5*x + 13*x + 80. Let t be (-8)/x*(-20)/8. Let s = 232/3 + -78. Is t equal to s?
False
Let m(b) = -2*b**2 - 13*b - 5. Let f be m(-2). Suppose 4*o = f + 7, 0 = 5*n - 4*o + 85. Is n equal to -14?
False
Let k(v) = 4*v - 98. Let l be k(25). Suppose -4*t - 5*w - 3 = -22, 2*t - l*w + 4 = 0. Is t equal to 12/13?
False
Let j(y) = -2 - 14*y**2 + 6*y**2 - 2*y + 5*y**2 - 31*y**2. Let i be -5 + 2 + -3 + 5. Let t be j(i). Is t at le