/3*1. Which is smaller: g or -2/71?
-2/71
Let p be -1 - 1*(-12 + 2)/2. Suppose 20*o - 15*o - 15 = 0, 0 = -p*x - 2*o + 134. Is x less than 31?
False
Let x(g) = -13*g + 73. Let v be x(4). Let q be v/(-34) - (-58)/493. Which is smaller: -0.2 or q?
q
Let k = -49204 + 48567.22. Let h = k + 636. Do 0.1 and h have the same value?
False
Let f(u) = 16*u + 1. Let v be f(-7). Let b be (2 - 10) + 164/123*78/(-1). Which is bigger: v or b?
v
Let r = -1195 + 1272. Is r less than or equal to -12?
False
Let o be (-250)/60 + 4 + (1 - (-126259)/42). Which is greater: 3005 or o?
o
Let a(s) be the first derivative of -s**2/2 + 18*s - 20. Let d be a(14). Suppose -15 = d*z - 15. Is z less than -1?
False
Let r = -49 + 67. Let f = 106 + -84. Which is smaller: f or r?
r
Let n = 120 - 119.51. Let b = 1812.49 - 1804. Let h = n - b. Is -0.1 less than or equal to h?
False
Suppose -32*r - 91*r + 816 = 81*r. Is -49 > r?
False
Let r(p) = -p**2 - p + 66. Let l be r(10). Suppose 5*h - 4*o - 450 = 0, 3*h - 3*o - 270 = -5*o. Suppose -i = -3*i - h. Are l and i non-equal?
True
Let z be 27/36 + 51/12. Suppose -5*d = -z*i - 880, -5*i + 262 = 2*d + 1177. Which is greater: -182 or i?
i
Let b = -9087 - -8447. Is b at most as big as -641?
False
Let b(u) = -111*u + 3411. Let i be b(-50). Are i and 8960 non-equal?
True
Suppose -73*i + 64*i + 252 = 0. Suppose 3*a = -12, 3*t - 4*a + i + 94 = 0. Which is smaller: t or -189/4?
-189/4
Let u be (17/(-2))/(6/(-24)). Let z = -75 - -131. Let i be (33/7)/(8/z). Which is smaller: u or i?
i
Suppose -7*d = 2*d + 351. Let j = -198 + 114. Let l = j - -46. Is d at most l?
True
Let s = 7508 - 7500. Suppose -3*z + 20 + 4 = 0. Is s greater than z?
False
Let a be 17684/2*-2*(-2)/(-136). Let q = a - -260. Which is smaller: q or 3?
q
Suppose -131 = m - 6*m + 324. Which is bigger: 136 or m?
136
Let u = 9403 + -9279. Do 124 and u have the same value?
True
Suppose 4*c + 4*g + 156 = 0, 172 + 50 = -5*c + 4*g. Let l = c - -73. Let z = -23 - -53. Which is smaller: l or z?
z
Let m = -10/217 - -1831/25606. Let w be 6*8/60 - (-13 + (-1035)/(-75)). Which is greater: m or w?
m
Let r = -151151/18 + 8377. Which is bigger: r or -21?
r
Let v be (-6)/10*(-100)/12. Suppose -3*u = v*o - 3*o + 394, 5*u + 662 = 2*o. Are u and -132 non-equal?
False
Suppose -2 = -2*g, 5*w - g + 6*g = -35. Let h(o) = -2*o**3 - 19*o**2 - 26*o + 7. Let x be h(w). Is 27 >= x?
True
Suppose -5*m + 2*v = 7*v - 965, 3*m = -v + 587. Suppose f + 3*k + m - 51 = 0, 4*k + 150 = -f. Is f at least -133?
False
Suppose -2*v - 7 = x, -131 = 2*v - 125. Which is bigger: x or -0.2121?
-0.2121
Let c(t) = -t**3 + 8*t**2 - 15*t - 5. Let f be c(6). Let s(j) = -j**2 - 18*j - 25. Let d be s(-18). Which is greater: d or f?
f
Suppose -20*g + 32*g - 10368 = -15*g. Do g and 358 have the same value?
False
Let r = -19392 - 2630. Is r at least as big as -22022?
True
Let m be 6*((-216)/(-243))/((-2)/(-3)). Let v be (30/40)/((-6)/m). Is -1/93 at most as big as v?
False
Let j(o) = o**3 + 2*o**2 + 4*o + 2. Suppose -5*r - 10 = -0*r. Let z = r - 1. Let k be j(z). Is -19 not equal to k?
False
Let f(n) = -3*n**3 - 3*n**2 - n - 2. Let s be f(-2). Suppose 5*x + 4*i = 67, -2*i + s - 6 = 0. Is 11 not equal to x?
False
Let p = -0.2 - -0.1. Let t = p - -0.3. Suppose 0 = 8*x - z - 8, 4*x = 382*z - 387*z - 40. Which is bigger: t or x?
t
Let y = 12792 + -12793. Is y at most 11/668?
True
Suppose 3*r = 2*r + 1, 52 = -2*h - 2*r. Let w(f) = -f**3 + 7*f**2 + 7*f + 10. Let v be w(8). Suppose 4*j = 2*j - 3*x - 44, 5*j + v*x + 132 = 0. Is h < j?
False
Let t = 13.83 + -14. Let y = -0.08 + t. Let i = y + -28.75. Which is greater: i or -1/3?
-1/3
Suppose 0 = -4*h - 0*k + 4*k - 240, 2*h + 5*k = -148. Let a be (h/(-96))/(2/27). Which is smaller: 57/7 or a?
57/7
Let n be (-108)/12 + 11 + 13760/(-7). Is -1963 at least as big as n?
True
Let m = -3174 - -3232. Let w = -3 - -5. Suppose w = 4*q - m. Which is smaller: q or 18?
q
Suppose -398*g = -393*g + 3*m - 33202, 2*g - 13287 = 5*m. Which is smaller: g or 6643?
g
Let u be (12/(-21))/((-1)/(-2331)*-6). Do u and 220 have different values?
True
Let j = -35593 - -32842. Is j != -2747?
True
Suppose b = 8*b - 35. Suppose 5*d - 4*p - 86 = 69, -2*d + b*p + 62 = 0. Which is greater: 35 or d?
35
Let h = -158 + 157. Let v be (-214)/4*((-3)/h - 5). Which is greater: v or 108?
108
Let q = -267.4 - -218. Let a = q + 47. Let g = -13.6 + a. Which is smaller: g or -1?
g
Let x = 913 - 458. Let b = x - 460. Is b not equal to 0.1?
True
Let l = 2.0311 - 1.0311. Let k be (-4)/(-14) - (-82)/(-434). Which is bigger: k or l?
l
Let y be (-10)/(-55) + (-2)/(-8) + 1641/(-132). Which is greater: 503 or y?
503
Suppose 8*a + 15 = -x + 13*a, 0 = -x + a - 11. Let y(m) = -m**3 - 11*m**2 - 7*m + 33. Let s be y(x). Is -2 smaller than s?
True
Let d = 3049 - 2774. Which is greater: d or 277?
277
Let v be 6/4*520/6. Suppose 0 = -d - 4*n - 15, -4*d = 12*n - 10*n + v. Do d and -35 have the same value?
True
Let l = 6728 - 6722. Is -1036 greater than l?
False
Let m be (-37960)/1820 + (1 - -1). Which is smaller: -19 or m?
-19
Suppose -242*t + 240*t = -166. Suppose 4*l + t = 3*m, -2*m = -0*m - 10. Which is bigger: -89/5 or l?
l
Let w = -13185 + 11426. Is -5281/3 > w?
False
Let n = -7108380 + 184789649/26. Let i = 1086 + n. Which is smaller: 0 or i?
0
Suppose 0 = 2*b + 63 + 3. Let q = -33 - b. Suppose 4*w + 3*n + 31 - 6 = q, 0 = 4*w + 4*n + 20. Is -31/3 bigger than w?
False
Let a be -2 + (-6 + 3 - 3771). Let u be 8/44 - a/(-924) - -2. Is u != -1?
True
Let w = 862 + -862. Suppose w = 22*m + 55 - 341. Suppose 0 = -5*i + l + 63, i - l + 67 = 6*i. Is i less than m?
False
Let f = 20 + -18. Suppose f*a - 3726 = 8*a. Let l be (3/(-4))/(a/72). Which is smaller: -1/3 or l?
-1/3
Let w be 453/(-755)*10/(-9). Are w and -5798 equal?
False
Let p = -74 + 14465. Which is greater: 14392 or p?
14392
Let h be (-76)/(-26) + 12/4. Let l = -71/91 + h. Let w = -3.1 + 3. Is l at most as big as w?
False
Let k = 7631 - 2212. Which is greater: k or 1?
k
Let m = -1.1347 + 0.8347. Is m at least 1930?
False
Let a be (-2)/(-20)*(1 - -1). Let o = 0.15538 - -0.07462. Which is smaller: a or o?
a
Let o = -123197/81 - -1521. Suppose 0 = -3*l - 12, -198*i + 201*i = -3*l + 708. Let p = i - 241. Does o = p?
False
Let f = 577 + -539.7. Let d = -37.4 + f. Is -84 at least as big as d?
False
Let s(b) = b**3 + 4*b**2 - 4*b. Let d be s(-3). Let c be (-6)/d - 61/7. Let q = c - -9. Is 1/164 bigger than q?
True
Let v be (-1482)/(-2717) + (-2745)/11. Is v at most as big as -242?
True
Let f be ((-330)/(-425))/((-1717)/(-854) + -2). Let w = f + 84/85. Is 76 greater than w?
True
Let p be (4/(-7))/((-3003)/147 - -23). Which is smaller: p or -319?
-319
Let u(f) = 2*f**2 + 11*f + 18. Let x be u(-6). Let j(a) = -340*a - 3032. Let z be j(-9). Which is smaller: x or z?
x
Let b(m) = -m**3 + 12*m**2 - 32*m + 5. Let u be b(8). Let w be ((-3)/u + 0)/(492/(-4100)). Is 11 bigger than w?
True
Let k be 20862/9*(-1)/966 - 0. Let t = k + -2/69. Which is greater: -2 or t?
-2
Suppose 129*u - 4*u + 59750 = 0. Is -3 greater than or equal to u?
True
Let q be (-2)/(-2*2)*0. Let m = -1011/43 + 50959/2193. Is m at most q?
True
Let h be 26 - (0 - 4)/2. Let u(r) = r**3 - 34*r + 16. Let d be u(5). Let s = d + h. Is s < 2/5?
True
Suppose -4*a - 3 = 5*z + 148, -3*z + 3*a - 69 = 0. Let c be (-1)/2 + z/(-30). Let j be 22/30 + 188/(-470). Is c <= j?
False
Let w = -111 - -110.969. Let h = 15.969 - w. Which is greater: 0.2 or h?
h
Let k(c) = c**3 - 2*c**2 - 3*c + 3. Let w be k(2). Let j be (7/(-21))/(w/(-126)*-1). Let z be 2/j - (-170)/(-4522). Are 1 and z equal?
False
Let a be -7 - (39848/72 + -4). Let m = 556 + a. Is m smaller than 0?
True
Let m be (-3 - 374/(-31))/(15/(-625)). Let s = -1133/3 - m. Which is smaller: s or 0?
0
Let o(v) = 715*v - 4352. Let r be o(6). Which is smaller: r or -64?
-64
Let r be 6/16 - (6 - 95/(-40)). Let f be r/(-370)*25/70. Is 1 smaller than f?
False
Suppose m - 22 - 7 = -5*y, -3*y - m + 19 = 0. Suppose -17*x = -0*x - 17. Suppose x = 3*t - y. Is t at least 9/10?
True
Let o be (-8*(-8)/160)/(8046/(-120670)) - -6. Which is smaller: -1 or o?
-1
Let u(a) = 7*a + 393. Let b be u(-51). Let m be (-187)/(-1845) - (-5 + 184/b). Is -2/7 > m?
False
Let a be (-76)/(-95) + 9/(-5). Let v be 8/4 - (1 + a). Let t be 1/v*(-17 -