 or z?
i
Let g be (2 - (-5403391)/308)/(-1015). Let w = 3/6380 + g. Which is greater: -17 or w?
-17
Let s = 24123 + -24361. Which is greater: s or -241?
s
Let c = -807 + 806.82. Let t = -0.07 + 0.07. Let v = t - -2. Which is smaller: v or c?
c
Let m be -35 + 21 + (-2 - 9). Is m != -26?
True
Let a = -990/7 - -143. Let r = -907 + 6339/7. Let n = r + a. Is -4 at least n?
False
Let z(l) = -l**3 + 17*l**2 - 37 + 14 - 62 - 3*l**2 - 17*l. Let d be z(12). Are d and -1/118 nonequal?
True
Let o be (-6)/((12/(-113))/(-3)). Let d be (-5 + (-2 - 3))/(12/(-216)). Let r = o + d. Which is greater: 11 or r?
11
Let m(c) = -38*c - 1102. Let n be m(-29). Is 1/4606 less than or equal to n?
False
Let x be (15 + -3)*(-1)/2. Let c(b) = b**3 + 7*b**2 + 7*b - 17. Let k be c(x). Which is smaller: -17 or k?
k
Let o = -2/63 + -59/126. Let g = 126 - 1013/8. Let t = g - o. Is t less than 4?
True
Let t be ((-15)/(-35))/((-2)/(-14)). Suppose -3*f + 2*k + 12 = 0, k + 0 = -t. Let c = f - 13. Is -13 at most c?
True
Let h be 1/2*(-3)/(-6). Let z(q) = -q**2 + 6*q - 12. Let x be 46/69 + (-19)/(-3). Let d be z(x). Which is smaller: h or d?
d
Let v = -11417 + 124045704/10865. Which is greater: v or 0?
0
Let f be (-4)/(-30) + 13/(39780/13432). Let r = f - 177/17. Is r bigger than -5?
False
Let s = -77 - -81. Suppose s*v - 32 = 4*l, -4*v + 4*l = -5*v - 17. Suppose -2*b = k - 0*k + 2, -5*k - 17 = v*b. Is 0.25 > b?
False
Let k = 9136410/541 + -16888. Is k >= 6?
False
Let b(m) = -33*m - 150. Let u be b(-7). Let v be ((u/(-6))/9)/((-12)/1264). Is v less than 158?
False
Let w = 5887 + -2239. Which is greater: w or 3647?
w
Let h(c) = c**2 + 5*c + 11. Let x be h(-3). Let a be 64 + 3/x*5. Let y = a + -70. Is y less than -1?
True
Let d(x) = -92*x - 14. Let h be d(2). Let u be (-88)/h*(-2)/48. Is u >= 0?
False
Suppose 0 = -h - 3*o - 21, -3*o = -2*h - 103 + 52. Let c = -33 - -33.25. Let z = 1.75 + c. Are z and h non-equal?
True
Let d = -171 - -170. Let m(p) = -54*p + 611. Let f be m(10). Which is bigger: f or d?
f
Let f be -2 + -6*(4 + -3). Let x be f/(-28)*91/26. Let o = -391/418 - -10/11. Do x and o have different values?
True
Let k(d) = 144*d**2 - 55*d + 25. Let i be k(-4). Are i and 5095/2 equal?
False
Let r = 36.3685 - 5.3159. Let g = -0.0526 + r. Do g and 4/3 have the same value?
False
Let h be ((-1)/(-10))/(130/(-20) - -5). Suppose 3*t = 2*g - 8, 5*g = 3*t - 0 + 20. Let p = t + 0. Is h greater than p?
False
Let z be 4/6 + (-29004)/(-18). Suppose -k + 376 = z. Let u be 44/k*-141 - 5. Which is smaller: u or 0?
0
Let u = 1/114 - 67/57. Let n = 679 + -658. Suppose 18*w - n*w - z = 3, 5*w = 4*z - 22. Is u > w?
True
Let v = 8.16 - 8. Let d = 0.35 + v. Let h = 0.61 - d. Are h and 3/17 equal?
False
Suppose 163*o + 14*o - 99828 = 0. Are 9 and o unequal?
True
Let x be -1*2*4/(-8)*0. Suppose 2*p = 23*n - 19*n, 3*p - 6 = x. Which is smaller: n or -3/119?
-3/119
Let w = -17717 - -19345. Which is smaller: -2/9 or w?
-2/9
Let p = 0 + 0.2. Let c = -9020 - -8692.15. Let z = 328 + c. Which is bigger: p or z?
p
Suppose 3*k + 3*b + 2*b - 13 = 0, -2*k + 5*b = 33. Let a = k + 9. Suppose 7*z - 9 = a. Which is smaller: z or 0?
0
Suppose 0 = 3*r + 5*v + 212 - 162, -2*r - 5*v - 40 = 0. Which is smaller: r or 22?
r
Let a be 17*9/743121*9/48. Is -1 at least a?
False
Let a be (1/(-1))/(7 + 118151/(-16882)). Is 4 > a?
True
Let m = -9279 - -9279. Which is smaller: -700 or m?
-700
Suppose -10*z - z = -44. Suppose -a + z*p - 146 = 7*p, 2*a - 3*p + 328 = 0. Which is smaller: a or -159?
-159
Let q = -20 - -17. Let i be (q/5)/(-4 - 19/(-5)). Let k be 3/6*2/i. Which is smaller: 28 or k?
k
Suppose -5*n + 210 = -2*n. Let h(w) be the second derivative of -67*w**3/6 + 3*w**2/2 - 3*w. Let z be h(-1). Does n = z?
True
Suppose 5*k + 187 = 22. Let c = -6693 - -6663. Which is greater: c or k?
c
Suppose -5*c - 4*k + 3 + 8 = 0, -c + 2*k = 9. Let u(y) = -y - 7. Let q(s) = -s - 7. Let n(i) = -4*q(i) + 3*u(i). Let b be n(-7). Which is smaller: b or c?
c
Let p be 6/(-9)*96/(-4). Let l be 8/p - (0 + 0). Suppose -4*k = 7*k. Which is bigger: l or k?
l
Let l(h) = 0*h**2 + 3*h**2 - 38 + 7*h**2 + 15*h - 11*h**2. Let v be l(12). Let r be ((-3)/4*2)/3. Which is smaller: v or r?
v
Let q = 17191 + -17310. Which is bigger: -121 or q?
q
Let g = -0.4 - 0.1. Let l = g - -0.1. Let c = 0.0861 - -0.6139. Which is smaller: l or c?
l
Let h(y) = y**3 + 6*y**2 + 7*y + 1. Let u be h(-5). Let b be (u/(-36))/((-11)/(-124)). Is b smaller than 4?
True
Let v(c) = 5*c**3 + 2*c**2 - 5*c - 24. Let w be v(-3). Is w > -136?
True
Let v be 393724/(-16) - (300/(-16))/(-15). Are v and -24609 nonequal?
False
Let u = -449/920 - -53/184. Let p = -3.2 + 1.8. Is u <= p?
False
Let d = -116 + 113. Let y be 222/39*2/(-4). Let k = d - y. Is k at most -0.5?
False
Let g be (3/18*-10)/((-10)/12). Suppose g*w = -w - 330. Is -109 greater than w?
True
Let w be -86*(63/14 - 5). Let o = 0.21 + -0.01. Let b = 0.1 - o. Is b < w?
True
Let w = -0.036 - -2.336. Let x be 0 + (5 - 1) - (-54)/(-12). Which is bigger: x or w?
w
Let q be (-6)/(-36) - (-8828)/24. Suppose -4*p + q = 2*d, d - 149 = -4*p + 35. Which is smaller: d or 185?
d
Let q = -32.026 + 0.026. Let z = q + -19. Let j = z - -51. Is 0.1 bigger than j?
True
Suppose 23*c + 33 = 56. Which is smaller: c or 1/3595?
1/3595
Let t = 3212 + -3230. Is t bigger than -9?
False
Let f be (4 - (-18)/(-4)) + (-359)/(-2). Let v = 390 - f. Let p = v - 626/3. Is 0 equal to p?
False
Let a be 3/((-5)/2150*15). Which is greater: a or -83?
-83
Let l be (-2)/(28/(-18)) - 546/1911. Let w = 5172 - 56847/11. Let a = 383/99 - w. Which is smaller: l or a?
a
Let w be (-2)/6 + 91/21. Let s be w/(-32)*1*-4. Let o = -567/4675 + 1/275. Which is greater: s or o?
s
Let k be (-176)/30 + 6 - 24739/(-195). Is 126 < k?
True
Let q(v) = -3*v**2 + 23*v + 14. Suppose 0 = -3*h - 3*s + 375, 3*h + 0*h + 2*s - 378 = 0. Suppose -54 = 122*g - h*g. Let z be q(g). Is z < -22?
False
Let o(c) = -3*c**2 + 28*c - 2. Let k be o(9). Let f(i) = -2*i + 26. Let h be f(11). Suppose 0 = -4*b + h, 0 = -6*x + k*x - b - 30. Which is smaller: 30 or x?
30
Let c(u) = -8*u**2 - 41*u + 4. Let w be c(-7). Let r = -100 - w. Which is greater: r or 6/7?
r
Let o = -3724 - -3734. Suppose -v + 0*v = -10. Let b = o - v. Which is smaller: -3/23 or b?
-3/23
Let m(t) = -322*t**2 - 3876*t - 21. Let a be m(-12). Is 121 at most as big as a?
True
Let b = -4.9 - -5. Let z = -170 + 168.79. Let s = -1.68 - z. Which is smaller: s or b?
s
Let a = 13/256 - -580211/256. Is 2266 >= a?
False
Let m = 60952161/775 + -78648. Is 1 greater than m?
True
Let c be (12/(-9))/(8/(-12)). Let v be 2 + (163/130)/(52/(-65)). Let t = v - -9/13. Which is smaller: c or t?
t
Let y = -62 + 61. Let x be (4/(-6))/y*(-6)/(-4). Let q be 2/16*4 - x. Is -2 > q?
False
Let y be (48 + -322)/((-40)/276*-3). Which is greater: y or -629?
-629
Let b = -384 + 389. Suppose 0*j + 3*j = 2*a - 54, -4*a + b*j + 110 = 0. Suppose -3*z + 83 = 4*p, -4*p - 1 = 3. Is a equal to z?
False
Let c = 164 - 125. Suppose -29*l - 164 = c. Are 4 and l unequal?
True
Suppose -9*k + 36 = -0*k. Suppose -s + a + 18 = 2*s, -k*s + 2*a + 24 = 0. Which is smaller: 7 or s?
s
Let n be (16/28 + (-262820)/(-420))*(-2)/(-4). Which is smaller: n or 0.1?
0.1
Let i = 6134 - 6001.62. Let q = 0.62 + i. Let r = 146 - q. Which is smaller: 1/4 or r?
1/4
Let w be (-3 - 2 - 2)*-431. Let b = -1867525/619 + w. Is 0 at least as big as b?
True
Suppose 8305 = -24*s + 7801. Let v(o) = o**2 - o - 28. Let r be v(0). Is s bigger than r?
True
Let g = 42.895 - -0.105. Let l = -4.11 - 38.79. Let y = g + l. Is -22 greater than y?
False
Let t(s) = 91*s - 2257. Let x be t(24). Which is smaller: x or -68?
x
Suppose -3*t + 108 = 6*t. Let q be (-1 - -1) + 135/3. Suppose 4*f + 9 - q = 0. Which is smaller: f or t?
f
Suppose 169*b + 782 = 53*b - 3162. Is -508/15 < b?
False
Let t(w) = w**3 + 5*w**2 + 5*w + 43. Let z be t(-5). Let h = -394 - 40. Let u be 179/h - z/(-42). Which is smaller: 1 or u?
u
Suppose -10*l = 12*l + 6076 - 4272. Suppose 2*r - 5*i = -179, 3*r - 20 = -4*i - 254. Is l at most r?
True
Let h = 5099 + -5098. Is 2/21535 > h?
False
Suppose -5*j = -p - 317, 3*j + j - 253 = p. Let m = j + -23. Let h = m + -45. Does -4 = h?
True
Let t = 96 - 66. Suppose -9 = t*w - 33*w. Suppose -2*z + 2 = 0, -5*z + 11 = -w*p + 6*p. 