 be (v + 0 + -2)*0. Is r greater than i?
False
Suppose f - 4*v = 1, 5*f - 18*v - 53 = -14*v. Which is bigger: f or -36?
f
Let u = -16.7 + 17. Let m(o) = -2*o**2 + 8*o - 11. Let n be m(3). Which is greater: n or u?
u
Let i = -672.8 + 573.8. Which is bigger: 16 or i?
16
Let r = -1/15404 + 2048737/77020. Let p be ((-6)/(-4))/((-1)/(-18)). Does r = p?
False
Let u(r) = -137*r + 547. Let l be u(4). Is 2/4053 at most l?
False
Let p(g) = 4*g**2 + 99*g - 13. Let s be p(-26). Which is smaller: s or 108?
108
Suppose 8*f + 12*f = -2*f - 22286. Which is bigger: -1022 or f?
f
Let b = -201 - -212. Let v = b - 12. Is v equal to 7/32?
False
Let h = 0.0441 + 0.3639. Let z = -16.408 + h. Which is smaller: z or 1?
z
Let v(h) = h**3 - 7*h**2 - 78*h - 31. Let g be v(-5). Let m be 980/(-16) - (-1)/4. Let j = g + m. Is -15/8 >= j?
True
Suppose 24*f - 460 = 44*f. Suppose -4*z = 51 + 53. Is z less than f?
True
Let a be (4/10)/(23/(-27232)) + 12/(-30). Which is bigger: a or -473?
-473
Let k be 92/9 - (-14)/(-63). Let g = k - 254/25. Which is bigger: -1 or g?
g
Suppose 0 = 19*n - 4*n + 2115. Let b = -134 - n. Which is bigger: b or 39/7?
b
Let d = 8994 + -9153. Is -141 less than d?
False
Let p = -2573 + 2460. Which is bigger: -3 or p?
-3
Let j = -312.0295 + 0.0295. Let y = -56 + j. Is y smaller than -2/3?
True
Let d = 213 + -140. Let v = -88 + d. Let x be (-2 - v/6)*(-2 - -108). Which is smaller: 54 or x?
x
Let x be (-1)/(-3) - 4/(-6). Let i be (x/1)/(2/(-2)). Let q be 2019/(-16825) - 404/(-3575). Which is smaller: q or i?
i
Let f be (0 + -2)*2/(-40)*22. Let y = -72/35 + f. Suppose 0 = 5*v + 2*j - 0 - 8, -4 = 3*v - j. Is v not equal to y?
True
Suppose -2*z - a + 703 = 2471, 3534 = -4*z - 3*a. Let k be (-140)/z + (-5)/30. Let s be (-5)/10 + (-1)/(-2). Is k at most s?
True
Let d = 55 + -32. Let s = -131497/9 + 14633. Is s less than d?
True
Suppose 2*l = 8, 7*g - 4*g + l - 4 = 0. Let o = 0.2257 + -107.2257. Which is smaller: g or o?
o
Suppose -3*f + 9 = l, 8*f - 2*l - 12 = 4*f. Suppose 5*x = 5*i - 30, i - f*x = 4*i - 6. Suppose -i*h = -50 - 18. Is h bigger than 17?
False
Let z(c) = 20*c + 50 + 27 + 151*c**3 - 152*c**3 + 11*c**2. Let d be z(13). Which is smaller: d or 3/121?
d
Let p be 4 - (-1)/((-143)/5)*8358/105. Which is bigger: p or 0?
p
Let o be (27/4)/((-102)/272). Let m = o + 19. Which is greater: -171 or m?
m
Suppose 4*y + 8*r - 4*r = 244, 5*y + 4*r = 310. Suppose 0 = 4*w + 10 + y. Let h be (-1)/5 + w/5. Is -3 at most as big as h?
False
Let z = 67047254004984268/1783803 + -37586692031. Let d = -11/1473 + z. Let m = 2560/83559 + d. Does 1 = m?
False
Suppose 3322*q - 570356 = 646*q - 201854 + 137262. Let p(z) = -3*z**3 - 7*z**2 + 2*z + 1. Let f be p(-5). Which is smaller: q or f?
q
Let b(z) = -z**3 + 18*z**2 - 16*z + 8. Let c be b(17). Let f be 10/c*(-5)/(-2)*-17. Let u(a) = -2*a**2 - 5*a - 5. Let k be u(-2). Which is smaller: f or k?
f
Let w = 19140 - 77153338/4031. Let r = 818305/24186 - w. Does 34 = r?
False
Let m = 958/455 - 36/35. Let g = 3414 + -1921. Let b = 1495 - g. Which is smaller: m or b?
m
Let v = 0.26705 - 29.26705. Is -193/2 at most v?
True
Suppose -11*p - 488 = -9*p. Let u = p + 56. Is -188 > u?
False
Let b = 212 + -101. Which is bigger: b or 112?
112
Let v(k) = 3*k**3 - 2*k**2 - k + 1. Let j be v(2). Let i(x) = x**2 + 26*x + 50. Let s be i(-2). Let o be s/(-15)*j/155*1. Which is bigger: 1 or o?
1
Let k = -7.29 - -7.6. Let m = -1880 - -1881. Is k <= m?
True
Suppose -5*z + 2*z = -q + 25, -4*q + 110 = -2*z. Let m be q - (36/(-21) - 2/7). Let v be 4/m + (-1)/5. Which is smaller: 0.1 or v?
v
Let h = 275 - -529. Are h and 9 nonequal?
True
Let q(y) = 193*y - 1314. Let u be q(-7). Which is smaller: -2666 or u?
-2666
Let o be 7/2 + (-3)/36*-6. Suppose 2*j + 4 = -38. Let i = 26 + j. Which is smaller: o or i?
o
Suppose 148*h - 65 = -213. Is -2/1979 greater than h?
True
Suppose 4662 = -5*h + 4*j, 346 = -5*h - 2*j - 4358. Is h smaller than -936?
True
Let d(g) be the second derivative of g**5/20 + g**4/2 + 3*g**3/2 + 111*g**2/2 - 129*g + 1. Let h be d(-7). Is -2/1283 greater than or equal to h?
True
Let s = -81 - 193. Let b = s + 260. Is 14 smaller than b?
False
Let p be ((-140)/(-1008))/(1/(-3)). Let l be (4 + -1)*5/(-15). Is p > l?
True
Let i = 107 - 78. Suppose 108 = 7*n - 81. Is n smaller than i?
True
Suppose -5*w + 263 = i + 81, -3*w - 3*i + 114 = 0. Suppose w = 7*h + 8. Suppose 49 + 31 = -h*r. Is r > -20?
False
Let s = 28.72 + -22.72. Let g = 0 + -0.04. Let b = g + 0.06. Is s at least b?
True
Let b be -1 + (-122)/34 - 420/(-105). Let h be 9/(-5 - 4)*(0 + 0). Are b and h equal?
False
Suppose -5*g + 5 = 15. Let m(k) = -3*k + 40. Let d be m(13). Let t(p) = -2*p - 2. Let n be t(d). Which is smaller: g or n?
n
Let t = 0.6057 + -232.6057. Which is smaller: -7 or t?
t
Let g(k) = k**2 + 10*k - 24. Let d be g(-13). Suppose 2*b + 6 = 2*s, 0*b - 3*s = 5*b + d. Let w be b/2*3*(-10)/(-45). Is 3/10 bigger than w?
True
Let m = -354.33 - -354.6. Which is smaller: -84 or m?
-84
Suppose 4*y + 4*q = 408, -27*y + 302 = -24*y + 2*q. Which is smaller: 677/7 or y?
677/7
Let f be (6/(-3) + 2)*1. Let s = -208379/7854 - -451/17. Which is smaller: f or s?
s
Let z = 0.0035 - -22.6965. Let i = z - 122.7. Let r = i - -107. Which is bigger: 3/2 or r?
r
Let s(d) = -d**3 - 9*d**2 + 12*d + 154. Let v be s(-8). Suppose -5*w + 14 - 69 = 0. Is v at least as big as w?
True
Suppose 0 = -3*k + 3*y - 24, k + 4*y - 6 + 24 = 0. Let a be k/(-10)*(-208)/(-4). Which is greater: a or 0.2?
a
Let v be ((-23)/92)/((-1)/(-4)) + 10. Let l be 1 - (60 + -3) - 36/v. Is -239/4 < l?
False
Let c = 10 - 10. Let p = 114.05 + -36.05. Is c < p?
True
Let h be 293/((-6 + -8)/(-28)). Which is greater: 587 or h?
587
Let s = -89/14 + 137/21. Is 147 > s?
True
Let l = 75 + -34. Let n = 49 + l. Is n at most as big as -1/4?
False
Suppose 0 = 68*s - 70*s + 24. Suppose 2*i = -5*t - 38 - 29, -t + i - s = 0. Is t less than -8?
True
Let m = -301025/14 + 21480. Which is bigger: -21 or m?
-21
Let c = -0.06 + 0.18. Let d = -0.0671233 - 0.0928767. Which is greater: d or c?
c
Let u = -2/1229 + -1173/34412. Let r = -1/4 - u. Is -1 bigger than r?
False
Let u(k) = -2*k**3 - k**2 + 121*k + 79. Let q be u(-9). Is q at least 397?
False
Let p be 62 + -61 + (16/(-7) - -1). Suppose -3*g - 1713 = -4*w - 433, 0 = 4*w - g - 1272. Let j = w + -7926/25. Which is smaller: p or j?
p
Let r be ((-1540)/8190 + (-1)/(-13))*3837. Are r and -425 equal?
False
Let c be 3*(-1)/6*0. Let o(f) = 2*f + 5. Let k be o(c). Suppose -2*r - 17 + k = 0. Which is greater: r or 4?
4
Suppose 58*b - 1567 + 354 = 1049. Is b equal to -13?
False
Let w = 104 + -119. Let n be (-1584)/(-120)*w/(-2). Is n != 97?
True
Let p be (-159)/(-265) - 25496/10. Let h = 308431/121 + p. Which is greater: 0 or h?
h
Let v be (20 - (-318222)/(-15903))*(-2)/(-39). Are v and 0 equal?
False
Let q(c) = -c**3 - 13*c**2 - c + 6. Let g be q(-13). Let a = -14 + g. Do 5 and a have the same value?
True
Let o be 724/(-40) - 12/(-20). Let f(w) = 14*w - 3. Let i be f(7). Suppose 0 = -4*a - a - i. Which is bigger: a or o?
o
Let v = -1444 - -310. Let j = 10222/9 + v. Is j at most as big as 2?
True
Let b be -5 - (3 + -7 - -1). Let k = b - -10/7. Are -1/3 and k unequal?
True
Let c = -4.22 - -4.22. Is c greater than -13/2?
True
Let t(d) = -46*d + 14. Let r be t(-4). Suppose 4*f - 3*g + 247 = -0*g, r = -3*f - 2*g. Let w = 65 + f. Is w <= 0.07?
False
Let b = -14.27 + 139.57. Is -2 at least b?
False
Suppose 2*j = 3*j - 2*h - 92, -3*j + h = -271. Suppose -5*t + 10*t + j = 0. Let z be ((-3)/t)/((-3)/(-8)). Is z bigger than 1?
False
Let n = -46 - -83. Let r = n + -36. Let p = 19 - 16.6. Which is bigger: r or p?
p
Let h(z) = z**3 + 7*z**2 - 5*z - 6. Let y be h(-7). Let n = 330 - 336. Let b be ((-8)/12)/(65/15 + n). Which is greater: b or y?
y
Suppose s = 4*s + 5*c - 10, 2*s = -4*c + 6. Suppose -4*n = -20, 8*i = 7*n - 12*n + 41. Suppose -i*m + 36 = 16. Which is bigger: s or m?
m
Let a = 74 - -74. Let s be (65/52)/(10/a). Which is smaller: s or 19?
s
Let f = -35961/25 + 1437. Let h = 33 + -34. Which is smaller: f or h?
f
Suppose -5*b + 3*i + 0*i = 149, -2*b - 2*i = 66. Let l(w) = -w - 26. Let j be l(b). Suppose 2*p = -5*f - 2 - 6, j*f - 8 = 2*p. Which is smaller: f or -3/88?
-3/88
Let t be 8/(-12) - (-20)/39. Let h = -1345