ue
Let f = -8 + 10. Let u be (f + 1)/(-1 - -2). Suppose -61 = -m - u*i, m - i - 101 = -m. Which is smaller: m or 51?
51
Let u = 1215 + -1380.2. Let m = -165 - u. Let g = -0.12 + 1.52. Which is greater: g or m?
g
Suppose -6 = -5*u + 3*y, 3*y - 1 = u + 5. Suppose 11*d + 64 = u*d. Let w be -2*(-76)/d*2. Are w and -38 equal?
True
Let s be 3 - (-85)/(-25) - (-214)/10. Suppose -7*l = -s + 14. Is 66 <= l?
False
Let x be 5/3242*(-76)/(-95)*6/2. Is x at least as big as 0?
True
Let y be 0 + 3 + (32 - -2). Suppose -19*r - 52*r + 2414 = 0. Is y at most as big as r?
False
Let i = 376 + -2635/7. Let z = -23/21 - i. Do z and 2/21 have the same value?
False
Let l = -220.75 - -222.75. Is l < 32?
True
Suppose 2*m - y = -120, 212 = -2*m - 2*m - 5*y. Let x = 21175/2 - 126355/12. Let o = m + x. Which is smaller: -1 or o?
-1
Suppose -108 = -16*d + 52. Let q(x) = -2*x - 17. Let o be q(-10). Let n = o - 0. Do n and d have different values?
True
Suppose 2*c = -638*m + 642*m - 14, -4*m = c - 23. Let j be 1/(-2)*0/2. Suppose 5*p + 5*u - 15 = 0, 4*p - 2*u + 6 + 0 = j. Is c <= p?
False
Let f be (2/(-8))/((-75446)/112). Are f and 1 equal?
False
Suppose o + 22 = 3*o. Let k be (2 - 12) + 3 + -1. Let g be (-34)/18*(40/k - 1). Which is bigger: g or o?
g
Let l = 65362615 - 1373987530264/21021. Let d = -3/1001 - l. Is d greater than -1?
True
Suppose -18*a + 5*a = -3796. Let y = a + -286. Are 50/7 and y non-equal?
True
Suppose -h = 4*b - 16 + 4, -b - 48 = -4*h. Let i be -21*(2/h)/(30/(-18)). Suppose 0*w - 12 = -5*r - w, 2*w + 6 = 0. Which is bigger: i or r?
r
Let q(g) = g**3 - 10*g**2 + 17*g. Let w be -1 + (-2 - (1 + -6)). Let p be q(w). Which is bigger: p or 26?
26
Suppose -7*k - 3*k - 10 = 0. Let c be (-9015)/(-17) - (-5 - k). Let w = -535 + c. Which is smaller: -2 or w?
-2
Let v = 1312/3 + -425. Let f(a) = a + 1. Let j(h) = -10*h. Let k be j(-1). Let o be f(k). Is o not equal to v?
True
Let i = 22877/240597 - 2/3591. Are i and 1 equal?
False
Let u = 1.18 - 0.14. Suppose 21*q + 62*q = 332. Which is bigger: q or u?
q
Let y = -49.728 - 0.472. Let n = 50.1 + y. Which is smaller: -8/33 or n?
-8/33
Let t be 36/480*-45 + (-6)/(-16). Are t and 3 equal?
False
Let y = 0.04695 + 1.95305. Which is smaller: y or -12.62?
-12.62
Suppose 4*k = -l - 16, -57*l + 55*l - 5*k - 14 = 0. Does 215/32 = l?
False
Let h(b) = -b**2 - 2*b + 142. Let u be h(-17). Which is greater: u or -1230/11?
-1230/11
Let w be (-292)/114 - (-6)/9. Suppose -29*j + 32*j + 6 = 0. Is j at most as big as w?
True
Let y = -150 + 141. Let o be (-175)/105 + (-25)/y. Is o smaller than 1?
False
Suppose 7*r = 4*r + 2886. Let f be r/(-2430) + (-16)/360*-9. Is f bigger than 0?
True
Let k = 248 - 245. Suppose -6*h + 5*h + 5*g + 6 = 0, 0 = -k*h + 3*g - 6. Which is smaller: h or -26?
-26
Let g = 42 + -60. Let i = 2.65 - -0.35. Do i and g have the same value?
False
Let v = -514 - -63. Let s = v + 450.42. Which is smaller: s or 2?
s
Let t = -40912 - -285776/7. Is t at least 0.1?
False
Let p be (10 - 18/(-30)) + 4/10. Is -28 < p?
True
Let y = 35 - 7. Suppose 9*p + 13 = -5. Let s = p + y. Which is smaller: s or 24?
24
Let l = -1.58 + 73.58. Let t = l + -66. Let p = -6.1 + t. Are 16 and p unequal?
True
Suppose 44*r - 48*r + 20 = 0. Suppose -14 = c - r*y, y - 38 = 2*c - 5*c. Which is bigger: c or 39/4?
c
Let l be (2117/350 - -6) + -12. Is -1 < l?
True
Let n = 22917 + -21450. Is n less than 1463?
False
Suppose -l + 2 = -m, -2*m - l = 15 - 5. Let k be (m - -4)*(1 - 3/6). Suppose k = -p - 2 + 1. Is p greater than -10?
True
Suppose 6*u + 171 = 3*u. Let s be ((-190)/u)/((-8)/(-402)). Let q = s + -3037/18. Are q and -2 equal?
False
Let j(y) = 8*y**3 - y**2 - 5*y + 9. Let l be j(2). Suppose l - 17 = -6*w. Is w <= -5?
True
Let s = 13 + -20. Let l be 4*518/s*(-10)/4. Let a be 18/22 + -1 + l/(-44). Which is greater: -14 or a?
-14
Let z = -12833/21 - -611. Which is smaller: -6 or z?
-6
Let f = 9659/45 - -754/45. Let y = 231 - f. Let k = 1 + -2. Which is bigger: y or k?
y
Let z be 1 - ((-17)/(-3) + 0). Let r(g) = -g**3 + 38*g**2 - 5. Suppose 0 = 1320*i - 1315*i - 190. Let c be r(i). Which is bigger: c or z?
z
Suppose -36 = i - 38. Let c be (i - 4) + (4 - 1). Let j be (4/(-8))/(c/4). Is -7 equal to j?
False
Let g be (0 - -8877)/(-1 + (-153)/(-144)). Let h = -62776159/442 + g. Let r = 2/221 + h. Which is greater: 3 or r?
r
Let g(j) = -21*j + 280. Let l be g(22). Which is smaller: l or -179?
l
Let a be -28*((-24)/(-42) + 2/7). Is -95/4 less than or equal to a?
False
Let p be 3 + -2 + (-152)/120. Let a = 14/15 - p. Which is greater: 0.2 or a?
a
Let n be (-31)/(2/(-10) - 2472/(-2060)). Suppose 3*f + 17 = 4*s, 0*f - s - 7 = 3*f. Let u be (-67)/2 + f/(-6). Is u less than n?
True
Let y(k) = k - 16. Suppose 0 = u + 2, 54 = 4*l + u. Let g be y(l). Let n be g*7/(-2) + 1*2. Are 11 and n nonequal?
True
Let u be 798/(-665) + (544/(-280) - (1 - 2 - 1)). Let m = -1642/915 - 1/183. Is u > m?
True
Let a(s) = s - 1. Let o be a(-1). Suppose 5*h - 2 = 3*h - 3*t, 4*h = 5*t + 26. Let n be (-126)/180*(-1 + h). Is n bigger than o?
False
Let b = -0.02905 + -4.89095. Are 8 and b nonequal?
True
Let z be 126/(-35)*30/(-117) - (-2)/26. Which is smaller: z or -9/1666?
-9/1666
Let m(v) = -358*v + 12322. Let h be m(26). Which is bigger: h or 3022?
3022
Let z(p) = -10*p - 3 - 10 + 0 + 12 + p**2. Let c be z(10). Is c <= 53?
True
Suppose 99*p = 98*p + 5. Let m(t) = -2*t + 12. Let o be m(p). Suppose 4*u = x + 20, -o*x = 2*x + 3*u - 15. Is x equal to -2/3?
False
Let k be 3 + (-6)/((-450)/(-235)) + (-561056)/30. Which is greater: -18703 or k?
k
Let q be (-1054)/(-1302)*(-30)/4 - -1. Are -4 and q unequal?
True
Suppose 5*d + 13 = -2*y, -6*d = 2*y - 4*d + 10. Suppose 4*z - 3*z - 2 = 0, 5*v - 10 = 5*z. Suppose -v*c = 4 - 12. Which is bigger: y or c?
c
Let z = -295.2 - -295.18. Is 15 <= z?
False
Suppose -w - 12 = 3*z, -18*w - 16 = -15*w + 4*z. Is w > -11/178?
True
Let v(a) = 4*a**2 - 8*a - 8. Let i be 400/70 - (-4)/14. Let k be v(i). Is k < 89?
True
Let m be ((-3)/(-2))/(7/56). Suppose -2*p = 2*p - m. Suppose -5*b + p*b - 2 = 0. Is 3/11 not equal to b?
True
Let t(w) = 5*w + 4. Let h be t(-12). Let x(z) = 43*z + 82. Let k be x(-2). Which is bigger: k or h?
k
Let n = 17898 + -18044. Which is greater: -181 or n?
n
Let l = 12430 - 12419. Which is smaller: l or -0.18?
-0.18
Let l(i) = -9*i**2 - 1. Let h be l(2). Suppose 2*j = -3*d + 244, 0 = -j - 3*j - 2*d + 496. Let v = -162 + j. Is v greater than h?
False
Let o = 114 + -33. Let y = o + -81. Suppose -5*v = j, y = 5*j - 9*v + 4*v. Does -9/19 = j?
False
Suppose 4*p - 3*h + 252 = 0, 2343*p + 2*h + 212 = 2339*p. Which is smaller: p or -112?
-112
Let g(y) = -y**3 - 14*y**2 - 75*y + 19. Let a be g(-9). Let w = a + -289. Which is smaller: w or -2/1947?
-2/1947
Let m be 20/12 + (-204526)/122514. Is m < -1?
False
Let c(o) = -3*o - 40. Let f be c(-14). Suppose v = 0, f*v + 2*v + 3 = -3*t. Let i = 585 + -23401/40. Does t = i?
False
Let h = -10 - -15. Suppose -5*j = 3*q + 47, -h*q + q + j - 78 = 0. Which is greater: -2 or q?
-2
Let v(z) = 34*z + 569. Let m be v(-11). Which is greater: m or 201?
201
Let k be (-92)/(-20) - 6/10. Suppose -2*v + 105 = 3*v + 2*c, c + 71 = k*v. Suppose 2*g = -b - 7 + 22, 2*b - 5*g = 39. Which is greater: b or v?
v
Let g = -167 + 185. Let k be ((-3)/4)/(g/648). Is k equal to -25?
False
Let i be ((-14445)/1498)/((-12)/98) + 1/4. Is i less than -30?
False
Let p = -6432567/3107911 - 2/72277. Let m = p - 1085/473. Let u = -85/22 - m. Is u at most -0.1?
False
Let m be (-3)/(2196/(-20))*5*(-3)/(-375). Which is bigger: m or -1?
m
Let u = -6 - -7. Let a be (-3)/39*(-252)/(-210). Is u > a?
True
Let s = -0.04 - 15.26. Let i = s - -15. Let v = 59 + -57. Which is bigger: i or v?
v
Let n be (-12)/(197/50 + 21 + -25). Is 184 greater than n?
False
Let z be (-2 - -1)*(-4275)/(-27). Let n = z + 165. Suppose d = 12 - 6. Is d greater than n?
False
Let a = -1.7 + 1.7. Let i be 61/(-3) + (-5)/(-15) + 2. Let h(x) = -x - 16. Let f be h(i). Which is smaller: f or a?
a
Suppose 0 = -4*m + 4, -138*p + 49483 = -133*p - 2*m. Is p at least as big as 9896?
True
Let u(n) = 482*n + 7875. Let c be u(-31). Is -7065 less than or equal to c?
False
Let a = 30.74 - 1.74. Let v = 6.9 - -27.1. Let p = v - a. Are 0 and p non-equal?
True
Suppose -w + 645 = -5*c, -8*c + 5*c 