is smaller: r or -0.3?
r
Let w = 53 - 3. Let z = 2067 + -2004. Let g = z - w. Which is greater: g or -1?
g
Let c = 1 + -16. Suppose -3*l - d - 18 = 0, -l + 4*d - 13 = 4*l. Which is smaller: c or l?
c
Let u = 425965 - 71562119/168. Let m = 139/2 - 71. Which is bigger: m or u?
u
Let l be (3/(-44))/((-3)/(-2))*(-10)/201. Which is smaller: l or 0?
0
Let d(z) = 2*z**3 - 5*z**2 + 4*z - 6. Let n be d(3). Let p be ((-60)/(-9) - 6)*n. Is p >= 0.1?
True
Let b be ((-1500)/(-1000))/(6/52). Suppose 74 = 5*a + 3*n, -5*n = -4*n + 2. Which is smaller: a or b?
b
Let y(o) = -o**2 + 7*o - 11. Let k be y(4). Let d be ((1 + 3)*k/(-4))/1. Which is bigger: -1/52 or d?
-1/52
Let a = 4771.2 - 4771.07. Suppose -2*t + 4*g + 68 = 0, 4*t = -7*g + 4*g + 92. Which is bigger: t or a?
t
Suppose 7*o - 11*o + 2*y = -18, y - 11 = -3*o. Let q(w) = -w**2 + 4*w - 9. Let x be q(o). Let b(h) = 5*h + 7. Let z be b(x). Is -39 > z?
False
Let h be ((-24)/(-60))/(2/190). Let d = -29 + h. Let z = 50 + -42. Is z less than d?
True
Let a = 61 + -64. Let f be (-26)/10 - ((-12)/(-5) + -2). Is a equal to f?
True
Let a = 1483 - 1476.452. Let h = a - 5.6. Let z = h - -0.052. Is -0.48 not equal to z?
True
Let z(i) = i**2 - 10*i + 26. Let g be z(8). Let j be 2 - (-3)/((-21)/g). Do 1 and j have different values?
True
Suppose -3*j = -y + 174, -4*j + 908 = -9*y + 14*y. Let m be (-843)/27 + 40/y. Is m smaller than -31?
False
Let s be ((-1)/(4/(-24)))/2. Suppose a + 3 = -s. Let y(r) = -r**3 - 8*r**2 - 4*r - 4. Let m be y(a). Which is bigger: m or -1?
-1
Let y = 3681 + -4158. Is y greater than or equal to -482?
True
Suppose 4*z + 7 = 3*g - 1, 5*g = -5*z + 25. Let s(y) = 18*y + 2. Let l be s(z). Is 113/6 at least as big as l?
False
Suppose 2*x + 4*q - 986 = 0, -1281 = -3*x + q + 219. Suppose 4*c + 47 = 4*m + x, c - 4*m = 98. Which is smaller: 116 or c?
116
Suppose 3*p - 2*p - 88 = 0. Let r be (-2)/(-3)*12/p. Let b = -513 - -513. Is r smaller than b?
False
Let w be (1/1)/((-4)/444*-1). Let s(f) = 69*f + 44. Let l be s(1). Which is greater: w or l?
l
Let i(l) = -7*l**3 - 142*l**2 - 41*l - 21. Let h be i(-20). Which is smaller: h or 8/1735?
h
Let k be (-2)/(-4)*(-4 - -10). Suppose k*o + 0*j = -4*j + 164, 4*o + 3*j = 221. Let s be 487/(-7) - o/(-98). Is -69 greater than or equal to s?
True
Let a(r) = -29*r - 841. Let m be a(-29). Is m at least -4/667?
True
Let j be (149/5)/((-4)/(-20)). Suppose -m + 5*x = j, 4*x - 154 = 8*m - 7*m. Is m less than -174?
False
Let d(g) = 9*g**3 + 2*g**2 + g. Let i be d(-3). Let f(r) = 28*r - 369. Let q be f(5). Which is smaller: i or q?
q
Let a = -155711827/84 + 1853896. Let f = -210/331 - 181751/993. Let g = f + a. Which is greater: g or 0?
g
Let l(s) = s + 135. Let v be l(0). Suppose v = 3*r + t + 4*t, -5*t = -15. Let u be 20/(2*1/4). Is r >= u?
True
Let v be 2/(-6) - 316/(-12). Let h = v - 14. Let r be 63/(-15)*-3 + 9/(-15). Is h smaller than r?
False
Let g = 5 - 4.8. Suppose 14*x + 38 + 46 = 0. Let y be x/((5 - 12)*(1 + 1)). Is g < y?
True
Suppose -5*h + 187 = -q, -4*h - q = 4*q - 167. Suppose -5*u + f - 3 = 0, -h*u - 6 = -37*u - 2*f. Is -1/76 < u?
True
Let y = -2/17333 + 17757/3674596. Which is smaller: y or -1?
-1
Let k = 19 - 47. Let h = 49 - k. Let o = h + -65. Which is bigger: 14 or o?
14
Let z be (6/8)/((-88)/64). Let n be (-1 - 10/(-7))/(4/28). Suppose 2 = 3*i - 1, 0 = -2*j - i + n. Which is bigger: j or z?
j
Let x = 34953/7 + -4993. Let y = 29 - 17. Let o be y/8*4/24. Which is smaller: o or x?
o
Let a be (-1)/7 + (-16211)/301. Let p be (-1125)/a + (-2)/(-3). Is 22 less than or equal to p?
False
Let t = 557 + -557. Suppose t = -64*x + 63*x - 1. Do -16/23 and x have different values?
True
Suppose -26*a + 206 = -288. Suppose x - 34 = -a. Which is greater: 21 or x?
21
Let s = 32 - -105. Let n = s + -142. Let u be 5 + n/(-395) + -5. Which is greater: 0 or u?
u
Let k = -783/2114 + 2/151. Let a(x) = -x**2 + 11*x - 16. Let j be a(9). Suppose -2*b + j = -0*b. Which is smaller: k or b?
k
Let x = -844 - -465. Let d = -379.1 - x. Which is bigger: d or 150?
150
Let o = 4906 - 5002. Is o smaller than -103?
False
Let j(d) = 78*d + 757. Let o be j(-10). Let k = -50 + 29. Which is smaller: o or k?
o
Let w(i) = 2340*i - 11698. Let h be w(5). Which is greater: -637 or h?
h
Let t = -62931 - -568381/9. Is t != 222?
True
Let l = 130 - 127. Suppose l*j = -2*j - 15. Which is smaller: -5 or j?
-5
Let j(q) = q**2 - 27*q - 36. Let f be j(27). Let k be ((-116)/(-6))/(14/(-42)). Let g = k - -23. Which is greater: f or g?
g
Let c(w) = 4*w**3 + 39*w**2 + 5*w + 27. Let v be c(-10). Is -142 smaller than v?
True
Let k be (165/(-44))/((-3)/12). Let b(r) = -2*r**2 + 26*r - 78. Let m be b(k). Are -137 and m non-equal?
True
Suppose 37*h - 30*h - 266 = 0. Suppose -h*t - 123 = -35*t. Is t greater than or equal to 0.2?
False
Suppose 4*y - 18 = 3*t, 40*t - y - 43 = 44*t. Which is smaller: t or 91?
t
Let t = -15230 + 15327. Is t at most 140?
True
Let d = 763683/11 - 69489. Is -63 < d?
False
Suppose -299 = -3*z + 7*s - 5*s, -3*z + s = -295. Let t = 99 - z. Suppose -t*v + 2 = 58. Is -29 less than v?
True
Let d = 0.017 + -27.017. Let g = 195.7 - 216.7. Let q = d - g. Do 1 and q have different values?
True
Let k be 1/((-2)/4)*(11/(-22) + 0). Is k > -42/389?
True
Let w(x) = x**3 + 9*x**2 - 9*x + 13. Let s(v) = 78*v**3 + 2*v**2 + v - 2. Let l be s(1). Suppose -l*d - 50 = -74*d. Let j be w(d). Which is bigger: 9 or j?
9
Let s = -74 - -148.6. Let j = 23.6 - s. Is j less than 0?
True
Suppose -5*j + 50 = 0, -2*k - 4*j + 20 = -7*k. Suppose 0*x - 2*x - 13 = 3*n, 0 = -4*x - n - 1. Which is smaller: x or k?
x
Suppose -47*h + 2572 = 7*h - 5582. Is h less than 749/5?
False
Let w = 1517388 - 1517380. Suppose 4*b - 5*u + 11 = 44, -5*b = -2*u - 20. Suppose 0 - b = -g. Is g less than w?
True
Let x = -28 + 30. Suppose -2*s = -3*d - 69, -87 = x*d + s - 34. Let h = -16 - 10. Which is greater: d or h?
d
Let l(y) = 8*y. Let k be l(5). Let m = k - 30. Suppose -2*o = -z + m, -z - 6*o = -o - 38. Which is greater: z or 19?
19
Let k be 3 + ((-9)/(2/(-4) - 1) - 5). Is k < -8/163?
False
Let r(g) = -2*g**3 + 2*g**2 - 1. Let w be r(-1). Let p = -3122 - -3135. Suppose 4*n + 20 = -2*v, -w = 5*v - 2*n - p. Which is smaller: -2/7 or v?
-2/7
Suppose -87 = -3*o - 3*a, -5*o + 3*a + 41 = -64. Let u be 78/o + (0 - 3). Which is smaller: u or -0.42?
-0.42
Let u = -13.5 - -15.5. Is 24.9 at least u?
True
Suppose 0 = 2*m + 543 + 77. Let b be ((-2 - 3) + m)/(9/6). Is -211 != b?
True
Let q be -20 + -30*(-5)/15 + 271. Which is smaller: 249 or q?
249
Let h be 23/(-42) - (-2)/(-7). Suppose 180 = 15*f - 3*f. Let r be (3/f)/(12/(-10)). Is r less than h?
False
Suppose -2*z - 13 = -5*v, 3*v - 3*z = -0*z + 6. Suppose 2*o = -v*w + 20 + 2, -4*o - 2*w = -36. Let m be 1*60/27 - o/36. Is m >= 5/6?
True
Let d be (11 - 46/2) + (-2)/(-2). Is -9 at most d?
False
Let u = 3485 - 3482. Let b be (-1)/2 - (-9)/2. Let c be (b/(-6))/(u + (-490)/162). Is c greater than 29?
False
Suppose -3*r - 11*w + 7*w + 144 = 0, 3*r - 13*w = 144. Suppose -196 = -4*n - 0*n. Suppose d = -0*d + n. Which is bigger: r or d?
d
Let z be (-1564 - 1)*18183/(-1045). Do 27230 and z have the same value?
False
Let y be (-2)/5 + 24/50. Let i(p) = -2*p**2 + 40*p - 7. Let k be i(20). Let t be -1 - (3 - (k - -3 - -7)). Is t at most as big as y?
True
Let d = 218.7 + -232. Let s = -138.7 + d. Which is smaller: 1 or s?
s
Suppose -9*v = 3*v. Let d = 1/2 + v. Let i = 21/10 + -3/2. Which is bigger: i or d?
i
Let f be (10/(-10))/((-4)/20). Suppose d + 8 = -f*g + 4*d, -2*g = -d + 4. Which is greater: g or -6?
g
Let b = -96.36 + 96. Let y = -1.25 - -2. Let g = y + b. Which is smaller: -1/3 or g?
-1/3
Suppose -5*v = m - 159 - 47, 3*v + 15 = 0. Let i be (-407)/m + 3 + 8/(-14). Which is smaller: i or -42/31?
-42/31
Let z(h) be the first derivative of -h**4/12 - h**3 + h**2 - 49*h - 11. Let v(x) be the first derivative of z(x). Let d be v(-7). Are 6 and d equal?
False
Suppose -3*f + 0*f = -w - 59, -4*f = 2*w - 92. Let j be (-8)/f + (-2)/7. Let h = -170 + 143. Is h smaller than j?
True
Suppose 5*v - 1194 = -3*m, -v = -0*v. Let s = 398 - m. Which is smaller: s or -6/263?
-6/263
Suppose 0 = -m + 26*m - 97654 + 26804. Which is greater: m or 2833?
m
Let j = -585 + 586.5. Is j >= 2/9?
True
Let l = -84 - 87. Let c = l + 237. Whi