-16.09 + x. Let r = -0.0527 - 0.9473. Is r at most p?
False
Suppose 61*c - 18668 = -18851. Let v be 6/(-15) - 316/10. Which is bigger: c or v?
c
Let b = -832037 - -831968.9822. Let i = b - -0.0178. Does i = 0.3?
False
Suppose -1878 + 5046 = 48*w. Let n be 3*w/9 - 70/(-14). Let j be (-55 + 0)*2/(-4). Which is smaller: j or n?
n
Let q = -13 + 15. Suppose 4 = -2*v - q*f - 10, -23 = 4*v + 3*f. Which is greater: v or -90?
v
Suppose 4*h + 29152 = 32480. Is 4159/5 less than h?
True
Suppose 34 = 5*v + 9. Suppose -13 = k - 3*i, -4*k + 3*k - v*i = 13. Suppose -4*b + 23 = 35. Are b and k non-equal?
True
Let w be (5 + -5)/(3 - 2). Suppose -15 = -5*z + 23*k - 26*k, w = 5*z + 5*k - 25. Is z less than -1/635?
False
Let y = -816261139/437080 + 10189029625987/2926425432. Let x = y + 13/33477. Let d = x + -1625. Which is bigger: -11 or d?
d
Let r = -537013 + 536923.9874. Let o = -0.0874 + r. Let d = o - -88. Is 1 at least d?
True
Suppose -1739*w + 1682*w = -7809. Which is greater: w or 11?
w
Suppose -3*y - 327*k + 330*k = -597, 3*k = 5*y - 1003. Do y and 203 have different values?
False
Suppose -64*u = 1164 + 5300. Which is smaller: -100 or u?
u
Let v be 29190/(-378) + (-12)/(-54). Do v and -85 have different values?
True
Let g be 27 - (-22 + (-5451)/(-115)). Which is bigger: -32 or g?
g
Let v = 9313 - 9479. Is -166 >= v?
True
Let h(b) = 3*b**3 + 25*b**2 + 31*b - 67. Let c be h(-6). Suppose -n + 3*n = 0. Suppose -2*k + n = 6. Which is smaller: k or c?
k
Let j(u) = -120*u - 3260. Let v be j(-30). Is 1699/5 > v?
False
Let o = 0.468 + -0.957. Let f = o + 0.109. Let z = f - -0.58. Is -1.4 at most as big as z?
True
Suppose -68061 = -71*z - 3561 + 126632. Which is bigger: 2693 or z?
2693
Let j be (-17801)/(-28) + 85/748*11. Which is bigger: 622 or j?
j
Let b = 63 + 4. Let f be 246/42 + 12/(-14). Suppose -4*w = -f*k + b, -w = -6*k + 3*k + 8. Is -23 at least w?
True
Let b(f) = 30*f**2 - 10*f + 105. Let a be b(-12). Suppose -13*u - a = 4542. Which is smaller: -700 or u?
-700
Let s = -1310 + 5600. Is s >= 4290?
True
Let j be -1*45 - (3 + -3). Let x be (-2 + 1)/((-209)/(-1045)). Which is bigger: j or x?
x
Let t = 50 + -46. Let a = 11 + t. Let u = a + -18. Which is greater: u or 6?
6
Let v be (-50)/15*(-6)/55. Suppose 6*o - 11*g + 15*g + 34 = 0, -4*o - 2*g - 18 = 0. Are o and v non-equal?
True
Let p be (-8)/68 - 5527/(-17). Suppose -k - p = -333. Is k at most as big as 9?
True
Let h = -128487 - -1670334/13. Let s = -2 - -3. Which is greater: h or s?
s
Let s(u) = u**3 + 2*u**2 - 22*u + 3. Let w be s(-6). Let y = -3630 - -3625. Which is bigger: w or y?
y
Suppose 61*g + 3*o - 12 + 9 = 0, 3*g - 4*o + 4 = 0. Let m = 1308385/616 - 2124. Is m >= g?
True
Let f = 100 + -163. Let y = -1348/7 + 2717/14. Do y and f have different values?
True
Suppose 2*m = -0*m + 55*m - 53. Let j = 17989/115 - 782/5. Is j < m?
True
Let u(m) = -m. Let y be u(-5). Let s(l) = -5*l**3 + l**2 + 23*l + 35. Let w be s(-3). Suppose -w + 35 = y*v. Which is bigger: v or -14?
-14
Let k be (2/(-2))/(4*(-10)/(-42040)). Let x = k + 51501/49. Which is smaller: x or 0?
0
Let g = -42 - -46. Suppose 2*n + 5*z = 20, g*n + n + z = 4. Suppose n*t + 2*t = -u + 23, u - 30 = 5*t. Are u and 25 equal?
True
Suppose 58*j + 85245 - 24187 = -21534. Is j at least as big as -1424?
True
Let b(m) = 51*m**3 + 11*m**2 - 13*m + 34. Let y be b(3). Which is smaller: y or 1472?
y
Let f(m) = 5*m**3 + m. Let u(l) = -l**3 + 5*l**2 + 12*l + 15. Let v be u(7). Let c be f(v). Let w be (-12)/(-8) + (-21)/c. Do w and -4 have different values?
True
Let h be 2*-4*(-5)/8. Suppose 35 = -5*w - 0*w + j, -3*w + 1 = -h*j. Let t be -2*9/2 - -1. Is w at most as big as t?
True
Suppose -v = 2*w - 1439, 0 = 3*w + 76 - 61. Is v not equal to 1449?
False
Let c = 1/3584 - -1057271/32256. Which is smaller: c or 33?
c
Let h = 106146 - 16346541/154. Which is smaller: 1 or h?
h
Let c = -0.8 - -0.2. Let k = c + 0.63. Let t be (3 - 18/(-6) - 6)*(-8)/24. Are k and t unequal?
True
Let x = 8033/13 - 617. Do -53 and x have different values?
True
Suppose 29*d + 28*d = 54*d - 105. Is d < -31?
True
Let t = -1/354103 - 20183317/196173062. Is t greater than 1?
False
Suppose -2*i = -5*x + 4710, 7076 = -94*i + 91*i + 2*x. Is i at least -2360?
True
Let n(a) = a**2 - a + 3. Let o be n(0). Let b = -488 - 502. Let p be ((-8)/33)/(110/b). Is o greater than or equal to p?
True
Let i = -5994 + 6004. Are i and 1182 non-equal?
True
Let l = -6 - -6.4. Let d = 0.2 - l. Let x be (-18)/42 + 5 + (-312)/(-42). Is d < x?
True
Let p = 15593 - 15602. Suppose 0*v - 10 = -5*v. Suppose -4*d + h - 44 = 0, h - 12 = v*d - 2*h. Is d < p?
True
Let j = 1.1573 - -13.1857. Let c = j - 0.343. Let x = 1 + -3. Does x = c?
False
Suppose 215030*d = 215041*d. Is -2/2015 greater than d?
False
Let c = -29.9 - -32.2. Let n = -18.1 - c. Is n greater than 1?
False
Let z be ((-6)/9)/(2/(-33)). Let o be (-4)/(-1 - -9)*-196. Let v = o - 88. Which is smaller: v or z?
v
Suppose -5*j - 7 = -3*o - 3, 4*o + 14 = -3*j. Let i be -4 - -2 - 50/4*o. Let q = -15 + i. Which is smaller: q or 9?
q
Let d = -588 + 587.72. Let b = -32.9 + 30. Let k = 3 + b. Is k > d?
True
Suppose 4*b + 16 = 0, -p - b + 26 = 4*p. Suppose -2*m - 2 = 3*f, -4*m = f - p*f + 4. Let w = -6/79 - -263/4503. Which is smaller: w or m?
m
Let h = -785.9 - -797.9. Do 15.3 and h have different values?
True
Suppose 4*w - 2*w = -2*l - 4, 5*w - 2*l + 10 = 0. Let x be w/12 - 18381/198. Let i = x - -92. Which is bigger: -1/9 or i?
-1/9
Let n = 7 - 32. Let r = n + 39. Let a be (-2)/r*(18 - 10). Which is smaller: 0 or a?
a
Suppose o - 11*c + 13 = -7*c, -6*c = 5*o - 65. Is o at least as big as 40/7?
True
Let g(o) = 3*o - 53. Suppose 0 = 78*d - 81*d + 60. Let w be g(d). Is 7 at most w?
True
Let c = 38/265 + 332/16165. Let q = 1829/366 - c. Which is greater: 5 or q?
5
Suppose 246 = h + 10*k - 14*k, -5*k + 738 = 3*h. Let q = 193 - h. Let l be 2/(-4)*318/3. Are q and l equal?
True
Let z(m) = m**2 + 21*m + 20. Let o be z(-20). Suppose -20*i + 34*i - 574 = o. Which is bigger: 43 or i?
43
Let m be (6 + -16)*(3 + -1). Let v be 5/m - 46/(-4). Is 11 equal to v?
False
Let x be (-24)/35 + (-4)/(-10). Let g be ((-224)/(-133) + 0)*(-94)/(-376). Is x > g?
False
Suppose 5*n + 3*o = 4322 - 1058, 0 = 5*o + 10. Let p = -657 + n. Is 0.064 < p?
False
Let s be (-128)/(-320) - ((-31)/10 - -3). Is -165 greater than or equal to s?
False
Let f = -564/113 - -155107/30284. Let k = f - -8/67. Which is smaller: k or 5/3?
k
Let m = 510670 + -510700. Let s(v) = -v**3 - 3*v**2 - 2*v - 4. Let j be s(-4). Let f = j - 50. Are f and m unequal?
False
Suppose 0*a + 3*a = 3. Suppose 14*m = -11*m + 600. Let z be (-12)/88*m/9. Is z > a?
False
Let u(p) = -13*p**2 + 3. Let g be u(-2). Let a = g + 70. Let z be (8/16)/((-4)/(24/a)). Which is bigger: z or -9?
z
Let j(s) = -361*s + 3. Let h be j(-1). Let l = 1441/4 - h. Let y(m) = -3*m**3 + m - 1. Let f be y(1). Does l = f?
False
Suppose -28984*n = -28980*n - 51128. Are n and 12782 nonequal?
False
Let d = 292 - 286. Let o be d/(-20)*5*(-12)/(-90). Which is greater: 16/13 or o?
16/13
Let w be 126 - (-4)/10*-5. Let l be (-3 + 376/w)*9. Is l not equal to -1?
True
Let t = 4146 - 4014. Is t > 119?
True
Let t = -44548/45 + 990. Suppose -x - 3*x + 8 = 0, 14 = 5*m - 3*x. Suppose -5*z + 2*p - 6 = 0, 2*p - 4 - 2 = -m*z. Is t at least z?
True
Let x = 594/133 + -65456/13167. Is x > -1?
True
Let c be ((-21)/42)/((-1)/10) + -1. Suppose c*d - 275 = -71. Which is smaller: 54 or d?
d
Suppose 4*n - 11 = -3, 2*n = 4*y + 8. Let r be (76/4 - 5) + 5. Let b be r/34 + (-1 - 7/(-14)). Which is smaller: b or y?
y
Let i = -42405/19907378 + -1/21662. Which is greater: -1 or i?
i
Suppose 0 = 3*h - 4*p - 4403, h - 115 = -p + 1355. Which is bigger: h or 1467?
h
Let o be ((-6)/4)/((-57)/(-7448)). Let n be o + 25/((-45)/9). Is n bigger than -201?
False
Let s = 1614 + -1610. Which is bigger: s or -10.9?
s
Suppose 0 - 6 = -l. Let y be 0/l*1*(1 + 0). Suppose -5*m + 0*m - 180 = y. Which is smaller: -34 or m?
m
Suppose -3*f = 2*o + f + 4, 0 = 2*o - 3*f - 10. Let a be -4 + o + (-45)/(-20). Let i = 135202/33 - 4097. Which is smaller: i or a?
i
Let r(m) = 33*m - 46. Let x be r(6). Let y(n) = -n**3 + 11*n**2 - 6*n - 2. Let a be y(7). Are a and x nonequal?
False
Let c = 13459 + -1523. Which is greater: -2 or c?
c
