 -0.032 + -14.368. Let h = m + 23. Let l = 7.6 - h. Which is bigger: l or 13?
13
Let a(n) = n**3 + 6*n**2 + 6*n + 10. Let v be a(-7). Let p(f) = -2*f**3 + 26*f**2 + f - 30. Let j be p(13). Let z = j - v. Which is bigger: -1 or z?
z
Let g be -2 - -5 - (4 + 1616/(-1620)). Which is smaller: g or -1?
-1
Let g(s) = s**2 + 17*s - 23. Let x be g(-18). Let o be (-4)/(-2) + (x - -3). Which is greater: 3/13 or o?
3/13
Let d = -2868290 + 160642463/56. Let s = d + -2312/7. Suppose 0 = -2*g + 4*n - 12, 4*n - 24 = 4*g + g. Do s and g have different values?
True
Let n be ((-44)/66)/((-2)/(-12)*-1). Suppose n = -i + 2*i. Let z = -10 - -13. Does z = i?
False
Let t(z) = 177*z + 348. Let f be t(-6). Let b be ((51/(-2))/3)/((-51)/f). Which is bigger: -117 or b?
-117
Let x = -352 + -190. Which is bigger: 2 or x?
2
Suppose 24*v = -5*v + 696. Let x be v/294*140/72. Which is smaller: 0 or x?
0
Let p = -629877/918127 + 17/4231. Is p less than 0?
True
Let y(c) = 2*c**2 - 57*c - 28. Let f = -191 - -220. Let r be y(f). Let k be -1 + (-2)/(534/(-261)). Is k bigger than r?
False
Let t be 4530/150 + -30 + (-1 - 212/(-190)). Which is bigger: t or 0.2?
t
Let h be 573/8*-2*(24 + (-1000)/75). Is h at least as big as -1527?
False
Let l(u) = 13*u**3 + 4*u + 187. Let c(v) = -16*v**3 - 5*v - 187. Let k(p) = 4*c(p) + 5*l(p). Let g be k(0). Is g smaller than 187?
False
Let p be (2*54/(-36))/(398/(-202) - -2). Suppose -400 = 3*l + l. Which is smaller: l or p?
p
Let s = 19417 - 20653. Is s >= -1?
False
Let s(t) = -t**2 - 5*t + 2. Suppose 3*b - 8*b - 40 = 0. Let w be s(b). Let m = 132 - 131. Which is bigger: m or w?
m
Let j = -6529/15 + 435. Suppose 0 = -3*x + k + 16, -2*x + 6 = 2*k + 2*k. Suppose 0 = 9*v - 5 + x. Which is smaller: v or j?
j
Let s = -9966 + 19647/2. Is 1 greater than s?
True
Let a be ((-2)/(-2670))/(465/31). Which is smaller: 1 or a?
a
Let a be (-5)/4 - 3/(-12). Let v = 2.931 + -3. Let z = v + 22.069. Which is bigger: z or a?
z
Let s = -3.3 + 3.1. Let o = 32.034 + -0.034. Let g = -56 + o. Which is greater: s or g?
s
Let o = -1695.884 - -1696. Is o >= -3?
True
Let i(y) = y**3 + y**2 - y + 84. Let f be i(0). Suppose f = 8*s - 5*s. Let x(h) = h**2 - 10*h + 16. Let r be x(11). Which is greater: r or s?
s
Let y be (-63 + 58)*426/10. Which is smaller: y or -227?
-227
Let g be 1/(32/(-24)) + 157124/(-48)*-1. Is g at least as big as 3274?
False
Suppose 0 = 21*c - 37*c + 7504. Is 495 bigger than c?
True
Let f = 227 + -160. Let q = 65 - f. Let l be (q/8)/(2 + -1). Which is smaller: 26 or l?
l
Let j = 3 - -1. Let f = 73.07 - 66.3. Let v = 1.23 + f. Is j < v?
True
Suppose 0 = 2*a + x - 0*x - 19, 5*x + 37 = a. Let d be (-3 - (-32)/a)*3. Let o be d*4 - (-9)/((-7371)/(-3270)). Is -1 > o?
False
Let s(c) = -c**3 + 26*c**2 + 9*c + 326. Let k be s(26). Is k at least 574?
False
Suppose -3*y + 991 = -4*g, -3*g - 3*y - 739 - 20 = 0. Is 2/5 > g?
True
Let a be ((-696)/7)/((-164)/1722). Which is smaller: 1047 or a?
a
Let i be (-4)/(-18) + -5*39/27. Let p be 8/(((-5)/4)/5). Let d = p - -23. Is d at most as big as i?
True
Let j(g) = -18*g**2 - 3*g - 3. Let w be j(-1). Let v be (-174)/w + (-2)/3. Let l = v + -11. Which is bigger: 0.2 or l?
0.2
Let g = -159 - -152. Let n be (-35)/g + -8 + 5. Which is greater: n or -22?
n
Let w be 12/(-18) - 12/9. Let d be (w/6)/((-8)/(-6))*-8. Which is smaller: d or 5/2?
d
Let h = -115/148 + 1/37. Let p = -7.3872 - -0.1572. Let v = -0.23 - p. Is h > v?
False
Suppose 12*l = -7*l. Suppose -g - 9*g = l. Is 4/31 equal to g?
False
Let i = 2373293899/13177260 - 1/693540. Let l = i + -180. Which is smaller: 1 or l?
l
Let k(t) = 30*t**2 + 26*t - 131. Let b be k(-5). Is 493 greater than or equal to b?
True
Let k = -171.6 - -171.4. Which is greater: -271 or k?
k
Let r be 56/14 + 3*-3 - (-1904)/(-14). Do -164 and r have the same value?
False
Let n be (-95998)/(-18) + (-16)/72. Let i = n - 1925215/361. Which is bigger: 0 or i?
0
Suppose 82638 - 80615 = 98*m - 187803. Is m bigger than 1934?
True
Let d be (0 - 10/(-22))*(-198)/(-330). Which is greater: d or -8/9?
d
Let m = -12.53 - 0.02. Let r = m + -0.45. Let j = r + 12.81. Which is bigger: j or 0?
0
Let k be (-8)/(-32)*(-2)/((-4)/(-1874)). Let b = -233 - k. Which is smaller: -64 or b?
-64
Let r = -12777/11 - -1162. Let x = -47 - -47. Is r greater than or equal to x?
True
Let k be (-90)/33*(-5 + 12 - -25). Which is bigger: k or -87?
-87
Let o be 36/(-22) + -7*28/(-98). Which is smaller: o or 5/7?
o
Suppose 7 = 4*q + 3*u, -2*q - 2*q - 4*u = -4. Suppose -6 = 10*r - q*r. Is r at most -2/237?
True
Suppose 468*l = 460*l + 23216. Is l smaller than 2905?
True
Let j = 6865 + -6747. Which is smaller: 132 or j?
j
Let s be (-2 - 3)*(-2)/535. Suppose 353*b - 349*b = 0. Suppose b = -34*n + 29 + 5. Which is smaller: s or n?
s
Let b be 285/2 - 30/20. Suppose -317 = -3*f + 4*y + b, 0 = -f + 2*y + 150. Is f >= 159?
False
Let s = 11/2982 + -1010158/1491. Which is bigger: s or -678?
s
Let h be 22/(-8)*1*(23 - 39). Is 36 greater than or equal to h?
False
Let w = -6 + 11. Suppose 3*b = -w*q - 180, -2*b = q - 5*b + 18. Let g = -35 - q. Which is bigger: -7 or g?
g
Suppose -8*f - 68 + 164 = 0. Let s be 42/(-100)*(f + -27). Is 7 at most s?
False
Suppose -4*h = -10 + 26. Let m be 4 - (h - (4 + -8)). Suppose 26 = -m*c - 74. Which is greater: c or -26?
c
Let p = -24.05 + -38.95. Which is smaller: p or -4/53?
p
Let k be 11/66*-4*(-2850)/4. Suppose 4*s = 20, -5*j - 5*s = -3*s - k. Which is smaller: j or 275/3?
275/3
Let l = -427/160 + 172209/64480. Is 0 < l?
True
Let g = 1192.02463 + -0.02463. Is 1/3 less than g?
True
Let o = 15 + -15. Let y = 2/469 + 6075/5159. Is y greater than o?
True
Let i = 71 + -31. Suppose 34*v = -15*v + 490. Let x be ((-4)/v)/(8/i). Is -1 greater than x?
True
Let d be ((0/2)/3)/1. Let a be 1610/5019 - (-10)/(-30). Is d greater than or equal to a?
True
Suppose 24*s = -23777 + 23681. Is s smaller than -26.67?
False
Suppose -18*s + 365*s = -123*s - 31020. Is -327/5 at most as big as s?
False
Let y be -4 - (464/(-34) + 2). Suppose 3 = -i + 3*x, 3*x + 63 = 2*i + 57. Is i equal to y?
False
Let l(x) = -2*x**2 + 136*x - 231. Let y be l(66). Which is smaller: 82 or y?
y
Suppose 0 = -2*w - 2*h + 7 + 3, -4*w + 22 = 2*h. Let k be w - -1*(-22 + -4). Let d = -48 - -28. Is d bigger than k?
False
Let w(q) = -5*q**2 + 112*q + 32. Let f be w(20). Is f at most 277?
True
Let u = 123353/28 + -2793311/700. Let x = -415 + u. Suppose 3*f + 4 = 7*f. Is x equal to f?
False
Suppose -d - 20 = 188. Let n = d + 260. Which is bigger: 2 or n?
n
Let r be (-94 - -28)*(-2)/(-6). Let q(a) = a**2 + a - 5. Let o be q(10). Suppose -s = 4*s + o. Which is smaller: s or r?
r
Let h = -3 - -7. Suppose 0*p = -h*p. Let j be (-12)/3 + 1 - 60/(-16). Is p at most as big as j?
True
Let n(r) = -4*r - 2. Let o be n(-4). Let h = -261 - -349. Suppose 94*w - 84 = h*w. Is o bigger than w?
False
Suppose 1534 + 12246 = -130*h. Let v = 161 - 268. Is v != h?
True
Let p = -4 + 3.9. Let y = -19171 + 19071. Which is bigger: y or p?
p
Let m = 96 - 207. Let g = 63 + m. Let p = g + 48.1. Which is smaller: p or -4?
-4
Let n = -9 - -14. Let f(s) = 11*s**2 + 10*s - 21. Let x be f(4). Let k = x + -197. Which is smaller: k or n?
k
Let f = -2759 - -2745. Let y be 0 - (-2 + 34)*-2. Suppose 3*n - 22 + y = 0. Is f at least as big as n?
True
Let u(n) = n**3 + 13*n**2 - 13*n + 16. Let p be u(-14). Suppose c = -p*c - 5*f + 109, 4*f + 92 = 4*c. Suppose -31 = -l - c. Is 29/7 less than l?
False
Suppose 0 = 248*k - 244*k - 64. Let y = k + -16. Is y less than -7/72?
False
Let o = 790 + -1172. Do -382 and o have the same value?
True
Let b = 1 + -2. Let i = -0.141 - -123.241. Let s = 123 - i. Is b less than s?
True
Let z = -179.41 + 179. Let t = -0.52 + 0.33. Let h = z + t. Which is bigger: 2 or h?
2
Let o(g) = -g**2 + g**3 - 223*g - 227*g + 447*g - 2. Let n be o(3). Is 0 not equal to n?
True
Let n = 40.4 - 40.4. Is n > 242?
False
Suppose 3*d = 236 - 908. Let f = d - -223. Which is smaller: f or -11/5?
-11/5
Let b(l) = -l - 7. Let m be b(-11). Suppose 24 = 5*k - 2*g, 4*k - 28 = g - 10. Is k bigger than m?
False
Let q(t) = t**3 - 17*t**2 + 47*t - 28. Let c be q(8). Let w(i) = 9*i**3 + i**2 - 3*i - 2. Let z be w(-3). Are z and c equal?
False
Let s(y) = -6*y**2 - 134*y + 1849. Let l be s(14). Which is smaller: l o