 be (4/10)/((-259)/50 - -5). Let m(a) = -a**3 + 3*a**2 - 2*a + 2. Let k be m(2). Suppose v + k*v = -9. Are u and v unequal?
True
Suppose 40*n + 84 = 44*n. Let m(g) = g**2 - 26*g + 104. Let i be m(n). Is -8/5 greater than i?
False
Suppose 35*f = -2*f - 74. Which is smaller: -440 or f?
-440
Let u = 710.73 + -723. Let h = u + -0.73. Let n = 0.014 + 0.986. Is h greater than or equal to n?
False
Let r be -1*(-8 - (-13 - -7)) - (-86)/72. Which is bigger: r or 3?
r
Let m be (2/(-2) - 0) + 2. Let t be 408/(-80) - (-3)/30. Let q be 5/(-615)*617 - t. Which is bigger: q or m?
m
Let l = 97.24 - 95. Let r = 1.24 - l. Let m be (-4)/10 + 81/(-10). Are m and r nonequal?
True
Let w = -3793 - -3803. Which is greater: w or -3.21?
w
Let d = 247/7585 - -3/185. Suppose -l = 4 - 11. Let s = l - 6. Is d smaller than s?
True
Let b = 7.91 + -7.742. Let v = b + 0.232. Which is smaller: -3/91 or v?
-3/91
Let r = 8 + -7. Let u be 13/39 + ((-14)/6 - r). Let s be (u - 1) + -5*9/(-12). Do s and -0.23 have the same value?
False
Suppose 0 = -27*i - 33054 + 102444. Is i < 2571?
True
Let z = 19.64 + -19.76. Is z at most 62/19?
True
Let i = 0.2 + -0.05. Let f = i - 0.05. Let j = -501 + 5505/11. Is j at least f?
False
Let f(p) = -48*p - 2257. Let r be f(-47). Is r bigger than -17/71?
False
Let y = -13106 - -13107. Which is smaller: y or 2/401?
2/401
Let l be 3/1*14*3992/168. Which is smaller: l or 1001?
l
Let i be (-8 + 18)/((-3)/(-33)). Let g = -137 + i. Which is greater: g or -0.5?
-0.5
Let k = 43007193/275 + -156389. Let s = k - -2/275. Is s smaller than -1/4?
False
Let l = -60715048/1453 - -41786. Which is bigger: l or 0?
l
Let v = -8103 - -8103. Is v greater than -24/85?
True
Let h be 96/(-160) - ((-6296)/10 + 2). Which is greater: h or 634?
634
Let w(s) = s**2 + 3*s - 24. Let k be w(-5). Let u = -62/9 - -251/36. Which is bigger: k or u?
u
Let z(k) = 3*k. Let h(w) = -4*w + 1. Let a be (9/5 - 1)*(-25)/(-10). Let v(m) = a*h(m) + 3*z(m). Let b be v(-4). Which is smaller: -1 or b?
b
Let o(d) = 3*d**2 - 25*d - 106. Let z be o(14). Which is greater: z or 2484/19?
z
Let s(n) = -7*n + 82. Let j be s(-3). Suppose 7 = -8*p + j. Is -11 bigger than p?
False
Let q(j) = j**2 - 5*j + 5. Let h be q(5). Let i be (7 - 2)*2/h. Suppose l + 5 = -i*l + 5*t, 0 = -2*t + 2. Is l at most -4/23?
False
Let x = 4.52 - -0.48. Suppose -3*w = -2*t - 4, 3*t - 5*w = 2*t - 16. Let b be (-1 + 2)/(3 - t). Which is greater: b or x?
x
Suppose 0 = 37*b + 13587 + 21341. Let f be b/(-44)*-4 - 24/132. Which is bigger: -84 or f?
-84
Let n be (89/47 + -2)*(-267)/445. Which is smaller: -1 or n?
-1
Suppose 3*r - 1 = -3*d + 20, -5*d - 10 = -4*r. Let i be 63656/44 - -1 - -7. Let l = -1452 + i. Is l at least as big as d?
True
Let u be 335 + -342 - (-94)/14. Which is smaller: 15/2363 or u?
u
Let h = 3368 + -3369. Which is smaller: h or 6/607?
h
Let h(i) = 87*i + 323. Let x be h(-5). Is -70 greater than or equal to x?
True
Let t = -47 + 47.061. Let i = -59.061 + t. Let y = -59.011 - i. Which is smaller: y or -1?
-1
Let m be (-50)/(-15) + (-10)/(-6). Let j be 14 + 1/(5/m). Are 16 and j non-equal?
True
Let c = -1009/276579 - 2/3501. Is 1 greater than c?
True
Let q(k) = -69*k + 1788. Let i be q(26). Let u be 2/11*25/(-1). Which is smaller: u or i?
i
Let q be (-81)/(-18)*4/(-957). Do 0 and q have the same value?
False
Let k(m) = -1032*m**3 - 2*m**2 - 13*m + 14. Let d be k(1). Is d at least as big as -1026?
False
Let b = -70 + 112. Let s = -40 + b. Suppose 2*o + o - 36 = -s*d, -5*o + 64 = 2*d. Are o and 14 equal?
True
Suppose -v + 9 = -4*v. Let s be -2*v/6*7. Suppose -5*d + 4*n = -8, s*d + 3*n + 6 = 2*d. Which is smaller: d or -4?
-4
Let i = -4.997 - -220.047. Let k = i - 215. Which is smaller: -7 or k?
-7
Let y(m) = -3*m**2 - 20*m - 43. Let c be y(-6). Let t be (c/(-8) + 1)/((-72)/24). Which is smaller: t or -4?
-4
Let d(b) = 7*b**2 + 7*b - 82. Let r be d(7). Let j = 483 - r. Is j greater than 176?
False
Suppose l - 2*y + 5 = 0, 0 = -3*l - 0*y + 4*y - 11. Let v be (-12)/28 - 30/(-21). Let r be (-63)/93 + v/1. Which is bigger: r or l?
r
Let m = -1538 + 1458. Is m not equal to -91?
True
Suppose -4*k + 42 - 18 = 4*l, 3*k + 5*l = 26. Let g be (0 + (-44)/1)/(5 + k). Is -6 < g?
False
Let g = -482 + 538.1. Let z = 56.13 - g. Are -0.07 and z unequal?
True
Let l(b) = -b**3 + 61*b**2 + 144*b - 1641. Let x be l(63). Which is bigger: -495 or x?
-495
Let j = 3192 + -3193. Which is greater: j or -1/3532?
-1/3532
Let f = 0.1 - -1.6. Let i = -1.738 + f. Let k = i - -0.138. Are -14 and k equal?
False
Let x = 1456 + -547. Which is greater: -1 or x?
x
Let k = 48.4 - -124.6. Which is smaller: -6 or k?
-6
Let b be ((-2)/(-1) - -8)*(-234)/(-15). Let m = 95987996/43 + -2232435. Let h = b + m. Is h at most as big as -1?
False
Suppose -90 = -2*x + 5*d, 0*x - 3*d - 82 = -2*x. Let c = x + -35. Suppose o - 2*o + 0*o = c. Which is smaller: o or 32?
o
Let x = -968 - -1331. Is x != 366?
True
Suppose -w - 1 = 2*y, 3*y - 9 = 2*w + 7. Let x be y/(-10) + (-7)/(-35). Let i be (-92)/(-16)*(x + 8). Is 47 greater than i?
True
Let m(l) = 3*l**2 + 250*l - 744. Let d be m(3). Is d less than -2/19?
False
Let k = 0.357 - 30.957. Let o = 31 + k. Let w = -14.7 - -15. Which is smaller: w or o?
w
Suppose -3*f + 5 = 2. Let p be (-21)/(-9) - 2/(-3). Let v be (p/18)/((-28)/174) + 1. Which is greater: f or v?
f
Let v be (-345)/(-10)*8/(-30)*(25 - 30). Is 15 bigger than v?
False
Suppose 4*s + 43 = -3*m, -14*s + 5*m = -17*s - 35. Let q be 1/s - 3276/140. Is q greater than or equal to -25?
True
Let s(d) = 38 - 17 - 113*d + 114*d. Suppose -g - 8 = 16. Let q be s(g). Which is smaller: q or 11?
q
Let n be (-46 - 2666/215)/((-2)/(-5) + 0). Do n and -217 have the same value?
False
Suppose -22 - 14 = -9*s. Suppose -s*w + 184 = -4*g, w = -6*g + 5*g - 40. Is g at most as big as 0.4?
True
Suppose -3087657 - 694368 = 325*s. Is -11639 > s?
False
Suppose -4*z = -2 - 302. Let l = 51 - z. Let r be (-5)/l*(-5)/(-3). Which is smaller: r or -0.09?
-0.09
Let m = -6 + 5.56. Let g = -0.57 - m. Let r = g - -0.23. Is r at most as big as 33?
True
Let q = -1749 - -1750. Which is smaller: -0.09302 or q?
-0.09302
Suppose 97 = 2*h - 5*s, -8 = -2*h - 2*s + 96. Let p be ((-60)/(-120))/((-2)/(616/(-3))). Which is greater: p or h?
p
Let o be 19 + -29 + (-489)/(-49). Suppose z = 2*z - 4. Suppose -8 = -4*d + z*r, -d - 4*r - 4 + 1 = 0. Is d less than o?
False
Let t = -3391 - -3390.8. Which is bigger: -1.937 or t?
t
Let j = -654 - -649. Which is smaller: -60/11 or j?
-60/11
Let c = 89 - 359. Let u = 290 + c. Which is bigger: 15 or u?
u
Let a = 1557.2 + -1557. Is a less than or equal to -17/47?
False
Suppose -29*w = 140 - 140. Suppose 4*f + 2*i = -2*i + 780, 0 = i. Let d = f + -2149/11. Is w != d?
True
Suppose -365*l + 822 = 365*l - 724*l. Suppose -3*x + 553 = 4*f, -f + 3*x + 142 = -0*f. Which is smaller: f or l?
l
Suppose v = o - 4, 5*o - 3*v - v = 16. Which is smaller: o or -3/35261?
-3/35261
Let g = 4.85 - -0.15. Let r = g + -6. Let d = 4 + -22. Does r = d?
False
Let w(b) = b**3 - 18*b**2 - 46*b + 36. Let u be w(20). Let z be (-1 - (-35)/(-15))/(u/18). Let g(c) = c**2 + 7*c + 7. Let v be g(-6). Which is bigger: v or z?
v
Let g be 16/2 + (-1)/((-23)/(-483)). Let r(q) = -q**3 - 14*q**2 + 17*q + 12. Let m be r(-15). Is g less than m?
False
Let c be 12/(-42) - (0 + (-2)/7). Let w be (36/(-6) - -53) + c. Which is smaller: w or 0?
0
Let p = -3438 + 6004. Suppose -9*x - p - 3077 = 0. Is x >= -628?
True
Let g(k) = k**2 + 5*k - 2. Let x be g(-5). Let f be (-2)/(-4) + (x - (-113)/46). Which is greater: f or 0?
f
Let a = 189 - 188. Let n = -32 - -32. Let f be n - ((-8)/28 - (-10)/(-308)). Is f < a?
True
Let n = 1317 - 1317.24. Let f be -3 + 45/10 + -1. Does f = n?
False
Let p be (12/(-2))/(-2) - -596*(-286)/(-936). Are 185 and p nonequal?
True
Let g(l) = 1278*l - 15395. Let i be g(11). Which is greater: -9354/7 or i?
-9354/7
Let d = -23173 + 23175. Is d greater than 124/51?
False
Suppose n - 4194 = 2*p, p = -5*n + 2*p + 20961. Let f be n/(-176) - 4/22. Suppose -5*r = -10*r - 120. Is r greater than f?
False
Let u(l) = 16*l - 93. Let p be u(6). Suppose -2*n + p*a = -2*a + 186, 5*n + 4*a = -465. Which is greater: n or -94?
n
Let f(z) = -10*z + 6*z**2 - 27*z**3 + 12*z**3 + 3 + 16*z**3 + 2*z**2. Let y be f(-9). Let m be 3 + (32