 + 2 = -2. Let m be (t + 3)/(4 - 6). Let s be (12/18)/((-62)/(-6) + m). Which is bigger: 0 or s?
s
Let y be (-474)/24 - (-1)/(-4). Let x(o) = 4*o**3 - 10*o**2 - 10*o + 9. Let b be x(3). Does b = y?
False
Let z = 23892 + -23932. Is 10 greater than or equal to z?
True
Let y(i) = -43*i + 8 - 3 + 42*i. Let f be y(9). Which is smaller: -3 or f?
f
Let m = -112/3 + 37. Let x = 951 + -156. Suppose -795 = -5*z - x. Is m bigger than z?
False
Suppose 4*f = -2*d + 14, 4*f - 66*d = -65*d - 13. Is f bigger than 0.12491?
False
Let x = 575.3 - 578.3. Is 36/13 smaller than x?
False
Let o = 5923 + -5923. Is -68/5 equal to o?
False
Let v = -145220945/1751 - -82936. Is 0 equal to v?
False
Let n be 90/75*(-20)/(-6). Suppose 3*o - 22 + 1 = -f, 4*o - 9 = 5*f. Let y be 63/(-3318)*n/o. Is 1 at most as big as y?
False
Let o(r) = 3*r**3 + 52*r**2 + 28*r + 120. Let p be o(-17). Which is greater: 2 or p?
2
Let d = -28.4 - 10.1. Let r = d - -38.4. Does -14 = r?
False
Let k(a) = -31*a + 62. Let t be k(2). Which is smaller: 8/487 or t?
t
Let x be (-33)/(188298/2496) - (-1)/3. Which is smaller: x or 1?
x
Let j be (((-207)/2)/(-3))/(-13 + (-2449)/(-186)). Which is greater: j or 241?
241
Suppose -5*m - 4 = u - 2*u, -5*m = 2*u - 8. Let t = -391/77 + 33/7. Is t greater than or equal to u?
False
Let x be (-5066)/(-7) - 123/287 - (-2)/(-7). Is x greater than or equal to 3616/5?
False
Let y(k) = 29*k + 3. Let b be y(-1). Let x be (-5 - -1) + (-22 - b). Which is smaller: -2/33 or x?
-2/33
Let j = -0.00988 + 1.00988. Let v(b) = -b**2 - 4*b + 2. Let n be v(4). Let a be ((-1)/8)/((-5)/n). Is j less than a?
False
Let b(r) = -400*r - 802. Let o be b(-2). Which is smaller: -51/79 or o?
o
Suppose 49*j = -2*q + 45*j + 10, -3 = -j. Is q bigger than -1/1284?
False
Let h = 25 + 52. Let a = h - 76.9. Let g be -25 - -12 - -1*1. Which is smaller: g or a?
g
Let c = -130 - -129.75. Let w = 0.25 + c. Which is smaller: w or -9/2?
-9/2
Let z(l) = l**3 + 5*l**2 - 4*l + 15. Let m be z(-6). Suppose 0 = f - 3, -4*y + f - 16 = -m*f. Which is smaller: -3 or y?
-3
Suppose 5*m = -0*m + 15. Let k = -5.01 + 6.01. Which is smaller: m or k?
k
Suppose 1189386 = 64*n - 262*n. Which is smaller: n or -6008?
-6008
Let v = 142.48 + -147. Let m = v + 0.62. Let j = 341/507 - 170/169. Are m and j unequal?
True
Let o be (20/180)/((-30)/12). Is 0.69 smaller than o?
False
Suppose 2*d + 10 = 4*d. Suppose -s + 0*l - l = -38, d*l + 10 = 0. Suppose -y = -5*y + s. Are 9 and y non-equal?
True
Let x = -0.04249 + -2.95751. Which is bigger: x or 916?
916
Let a be -3*(34/3 - 1). Let s be 104/(-286) + (-12528)/396. Which is smaller: a or s?
s
Let v be 2*-411*(-7)/21. Suppose 2*g - v = 3*n - 0*g, 4*n = 2*g - 364. Is n >= -88?
False
Let x = -500 + 161. Let f = x - -514. Is f greater than 174?
True
Let r = -5136 + 5136. Which is smaller: r or 11/720?
r
Let u = 480.26 + 1769.74. Is u at most 1/4?
False
Suppose o = -4*o - 3*m - 228, 5*o + 229 = -4*m. Let l = 232082 + -232082.2. Which is smaller: l or o?
o
Let j(o) = -o**3 - 18*o**2 + 19*o + 1. Let x be j(-19). Let k be x/((-9)/(-5) + -2). Let l be (-4)/((-16)/(-19)) + (-9)/(-12). Do l and k have different values?
True
Let y = 7 - 20. Let g = y - -26. Suppose -11*k = -g*k. Is -2 smaller than k?
True
Let q(i) = 8*i**2 + 7*i + 6. Let f be q(-4). Suppose -627 - 948 = -15*p. Is f smaller than p?
False
Let h = 29 - 27. Let j be (h - -4)/(17 - 15/5). Is 16 at most j?
False
Let b be 145/(-60)*-21*-8. Let n = b + 306. Is -98 bigger than n?
True
Let x = -0.098 - 0.962. Let v = -1 - x. Let d be (2/(-20))/((-5)/(-20)). Is d > v?
False
Let m = 13089.9 + -13090. Which is bigger: 114.81 or m?
114.81
Let m(i) = -2*i**3 + 10*i**2 - 9*i + 10. Let q be m(4). Let n be ((-21)/q)/7*(2 - 4). Which is greater: n or -2/3?
n
Let p = 278/113 + -158295/452. Is p <= -348?
False
Let t = -55888721141/1660206060 + 4/83010303. Let n = t + -1/340. Which is bigger: n or -33?
-33
Let g be (20/2)/(-373 + 374). Is g at most 422/49?
False
Suppose 2*g - 339 = 63*t - 60*t, 509 = 3*g - 5*t. Suppose g*v = 164*v + 84. Which is smaller: 11 or v?
11
Let c be 1 + 17/(-22) + 0. Let r(n) = -7*n**2 - 704*n + 302. Let a be r(-101). Which is smaller: c or a?
a
Let m = 5345 - 5206. Which is greater: m or -1/3?
m
Suppose -26*c - 5187 = 86*c - 21*c. Which is bigger: c or -405/7?
c
Let v(y) = y**2 - 5*y + 8. Let j be v(5). Suppose 5*d + 111 = z + 8, -10 = 5*z. Let c be 1/((-6)/4) - j/d. Which is smaller: -43 or c?
-43
Let d be (130/15)/(8/(-133)). Let t = -627/4 - d. Which is greater: -12 or t?
-12
Let f = -2915 - -2952. Which is bigger: f or 103?
103
Let j(l) = -69*l**3 + 3*l**2 + 8*l + 6. Let u be j(-1). Let q = 75 - 5. Is q less than or equal to u?
True
Let f = -0.03 + -0.07. Let u = 2.9491 - 1.8791. Which is bigger: u or f?
u
Let l be 23480/18 + (-260)/(-468). Which is bigger: l or 1304?
l
Suppose 9 = 8*y - 47*y - 342. Are -109 and y nonequal?
True
Let z(d) = 116*d**2 + 26*d + 25. Let u be z(-1). Suppose -2*x - 1017 = -3*q, 401 = -x - q - u. Is -513 at most x?
True
Let k = -11187 + 11157. Is -207/7 equal to k?
False
Let g = -23622 + 23626. Is g greater than -0.53?
True
Let m be (10 + -22 - -13)/(-4 + 3964/988). Which is bigger: 10/11 or m?
m
Let w = -6214 - -6213.9. Which is greater: w or -2107/2?
w
Let o = -64 - -119. Suppose 0 = -7*z - 69 + o. Is -14/11 < z?
False
Suppose 0 = -4*g + 3*s + 19, -4*g + 8*s = 3*s - 21. Suppose g = -5*h + 4*t, 5*h + 3 = t + 2*t. Suppose h = n + 3*n - 2*u - 2, -13 = -n - 2*u. Is n != 13/8?
True
Let w = -817 - -812. Let s be (w/(-5))/(1/(-4) + 6). Is s less than -1?
False
Let n = -0.7862 + 0.6862. Which is smaller: n or 5722?
n
Let v = 466 - 367. Suppose -3*q + 462 = v. Which is greater: 0.1 or q?
q
Let b = 96.07 - 100.97. Which is smaller: b or -21?
-21
Let z(p) = -2*p**2 - 28*p + 506. Let c be z(-24). Is 28 less than or equal to c?
False
Let b be 26/(-14)*-2 + -4. Let s = -0.766 - -0.71. Is b less than s?
True
Suppose 0*b + b + 5*n = 237, -b = -n - 243. Let l = b + -213. Is 31 less than or equal to l?
False
Suppose 177*c = 173*c + 28. Let j(i) = 3*i - 75. Let u be j(c). Which is bigger: -55 or u?
u
Let b = 36 - 12. Let f = 25 - b. Which is smaller: f or -118?
-118
Let j be (0 - 0)/(-2 - -3). Suppose 4*l = 2*d - 42, -d + j = -1. Let u be (317/(-60) + 457/(-9140))/(2/3). Which is smaller: l or u?
l
Let g be ((-18)/16)/(204/(-16)). Suppose -44*b + 60 = 16. Is b less than or equal to g?
False
Let t = 372 + -374. Let z be 0/2*(t - 15/(-9)). Is z < 2/123?
True
Let n = 12765 + -12770. Let l = 0 + 6. Let a = l + n. Which is greater: 0.059 or a?
a
Let a be ((-202)/(-4))/(2/(-88)*-11). Let q = -212 + a. Which is smaller: q or -65/7?
q
Suppose -31*a - 7955 = 4259. Let p = a + 353. Let t be 332/(-8) - 6/(-4). Which is smaller: t or p?
p
Let c = -316.2 - -318.2. Which is smaller: c or -52?
-52
Let z = -17 - -4. Let j = 137 - 145. Let y be 2/j + 172/(-16). Are z and y unequal?
True
Let v = -20522/4373 + 729098778/450419. Let o = 1614 - v. Which is smaller: 0 or o?
o
Let z = -46116/29 - -1590. Let k(f) = 56*f + 505. Let a be k(-9). Suppose -n - 3*p + 1 + 2 = 0, p - a = 2*n. Is z less than n?
True
Suppose 178*t = -72*t - 43254 - 19496. Is -251 <= t?
True
Let l = 10189 + -10124. Which is smaller: 75 or l?
l
Let s(x) = -x**2 - 12*x - 14. Let k be s(-13). Let h be 32 + k - (-1 + -59). Is h >= -1?
True
Let t be (-4)/7*(-23 - 332). Let j = -202 + t. Is j > 2?
False
Suppose -2*s = -263 - 211. Let q = s - 204. Let p = -10 + 41. Do p and q have different values?
True
Suppose -55 + 91 = 4*u. Suppose -3*v = 3*y + 9, 4*v - 4*y - 11 = u. Which is smaller: 184 or v?
v
Let z(x) = -52*x - 7. Let k = -46 - -45. Let f be z(k). Let g be ((-6)/(-4))/((f/24)/(-5)). Is g <= -15/4?
True
Let i = 11303 - 8575. Which is greater: i or 8188/3?
8188/3
Let d = -5626/19 + 296. Let t be -2*((-26)/(-65))/(8/(-10)). Is d >= t?
False
Let o = 24/199 - 14321/1592. Suppose -4*j + 5*c - 60 = 0, 0 = 4*j + c + 338 - 302. Are j and o nonequal?
True
Let i be ((-12)/7)/((-2)/14). Let g be (-2)/24*-4*(-336)/(-7). Which is bigger: i or g?
g
Let c be (-1250)/(-4) + 11 + (-105)/10. Let y = -314 + c. Is y at most as big as 1/138?
True
Let c = -183.36 - -183.45. Let g = 7.88 + -8. Which is bigger: g or c?
c
Let a(n) = -8*n**2 + 24*n - 45. Let q(d) = -3*d**2 + 12*d - 22. 