. Let k be h(-6). Suppose -9 = 3*w, 1 = k*v - 2*w - 0*w. Which is bigger: y or v?
y
Let s = -0.1935 - 0.0075. Is s < -0.1?
True
Let c be ((-6)/(-86)*-1)/(-3). Let b be 0*(7/(-2) - -3). Is b less than or equal to c?
True
Let t be 4*(38/8 - 3). Let c(n) = n**3 - 3*n**2 + n + 4. Let h be c(4). Let y = 33 - h. Is y greater than t?
True
Let t = 551977909710 + -298940748318517939/541581. Let v = t - 2/7849. Let r = -2/23 - v. Which is bigger: 0.2 or r?
0.2
Let b be 9/(6 - -12)*0. Let r = 9 - 16. Are b and r nonequal?
True
Let g be (-318)/212*(-2)/(-13). Which is bigger: g or -22?
g
Let w = 4663 - 955917/205. Are 0 and w non-equal?
True
Let s be -1 - 80/((-16)/(-8)). Is -47 at most s?
True
Let o(r) = r**2 - r - 4. Let i be 2 + (-1 - (-8)/4). Let z be o(i). Suppose -z*l = l. Is l bigger than -7/8?
True
Let q = -68617/73 - -940. Let t = q + -303/2044. Let x = t - -5/14. Which is bigger: x or 4?
4
Let q = -47 - -98. Let d = q + -87. Is d at least as big as -36?
True
Let v(t) = t**3 + 2*t**2 - 2*t - 6. Let w be v(-3). Let j be (60/w - -4)/(-34). Does 1 = j?
False
Let j(c) = c**3 + 10*c**2 - 7*c + 43. Let m be j(-11). Is 0 at least m?
True
Let k be 4/148*(-6)/117. Which is bigger: k or 0?
0
Let y = -297 - -271. Which is bigger: -30 or y?
y
Let b(x) = -x**2 - 11*x - 14. Let q be b(-10). Do q and -6 have the same value?
False
Let y = -1.89 - -0.09. Let w = -2 - y. Let u = 1.6 + w. Which is smaller: u or -1/4?
-1/4
Let h be ((-73)/8)/(8 - (-1141)/(-140)). Which is greater: h or 62?
62
Let c = 1.6 - -1.4. Let h = -34 - -73. Let l = h + -38. Which is greater: l or c?
c
Suppose 6*h + 5127 - 7239 = 0. Which is greater: 355 or h?
355
Let g(p) = -p**3 - 12*p**2 - 11*p + 16. Suppose 4*c = -3*j - 56, -c - 5*j + 0*j = 31. Let m be g(c). Is 16 > m?
False
Let i be 4/3 - 539/(-147). Let c be 3/6 + (-26)/(-4). Is i bigger than c?
False
Let y be (28/(-6))/(38/(-969)). Is y at least 1308/11?
True
Suppose 15*o - 23 = -8*o. Which is smaller: o or 0.031?
0.031
Let a = -105 - -45. Which is smaller: a or -59?
a
Let z = -24/7 - 152/21. Which is bigger: z or 1/4?
1/4
Let s = -1.2972 + 0.0292. Let n = 0.032 - s. Is n less than -0.3?
False
Let l(z) = -z**2 - 7*z - 9. Let i be l(-5). Let v be (2 - (-2 + 6)) + (-1 - 0). Are v and i unequal?
True
Suppose -2*t - 4*x = -3*x - 12, -4*t + x = -18. Let y be (8 - t) + -3 - (0 - 8). Are 11 and y equal?
False
Let s be (9 + -1)*2/8. Let v = 24 + -23.8. Which is bigger: v or s?
s
Let d = 76 - 75.8. Let n = 209/91 + -15/7. Which is greater: n or d?
d
Let r be ((-250)/(-1650))/(5/3). Let z be (1/1)/((-2)/2). Which is bigger: z or r?
r
Let i = -495 - -495.1. Is -3/293 at least i?
False
Let s be (-10 + 12)/(0 + 2/187). Suppose -11 = -16*l - s. Is -11 less than or equal to l?
True
Let j be 1/3*(-156)/(-18382). Which is bigger: -1 or j?
j
Let d(z) = 5*z - 31. Let n be d(6). Let u = 0.07 - -0.23. Is n greater than u?
False
Let b(k) = k**3 - 2*k**2 - 2*k - 1. Let l be b(3). Let u be 7/l*-2 - -3. Let j = u + 9. Is 5 at least j?
True
Suppose 3*i - 4*h - 12 = 0, -9 = 3*i - 8*i + 3*h. Let s = 3 - i. Let j = 34 + -32. Which is bigger: s or j?
s
Suppose 3*s + 13 = k + 3*k, -2*s + 22 = 5*k. Is -1/15 not equal to s?
True
Let q(k) = -9*k - 14. Let y be q(-2). Suppose y*m = -3*o - 12, -6*o + 2*m = -o - 6. Let l = 58/55 - 5/11. Is l greater than o?
True
Suppose -63 = 3*l - 6*l. Suppose 52 = 2*y - 2*v, y = -0*y + 5*v + 30. Let h = l - y. Which is smaller: h or -6?
-6
Let g(w) = -w**2 - 6*w - 31. Let v be g(-6). Is v less than or equal to -13?
True
Let m be 2 + (-24204)/8067 - (39 - 40). Do m and -1 have the same value?
False
Let o = 898 + -940.1. Let z = -42 - o. Let a be 39/86 + 6/(-12). Is a bigger than z?
False
Suppose -5*b + 21*b = -288. Is b at most -19?
False
Let k(x) = -9*x - 1. Let i be k(1). Let g be -19 - 0 - (70/(-5))/2. Which is greater: g or i?
i
Let q(p) = p + 4. Let g(w) = w - 3. Let a be g(6). Suppose a*k - 6*k - 12 = 0. Let m be q(k). Which is smaller: m or -2/21?
-2/21
Let z = 2.56 - 26.46. Let b = z + 23. Let p = b + -0.3. Which is smaller: 0 or p?
p
Let k be 1/((-14)/1268) - 15/35. Are -92 and k unequal?
True
Suppose 134*t = 124*t + 10. Which is bigger: 3/2 or t?
3/2
Let p be (-10)/(-8) - (-5146)/(-3720). Which is greater: 4/9 or p?
4/9
Let m be (-5)/((-1)/(1 - (3 + -3))). Suppose 3*n - 2*t - 31 = 0, t - 2*t - m = 0. Do 6 and n have different values?
True
Suppose 5*q - 37 = -2*d + 6*d, -25 = -2*q + 5*d. Let o = -3 + q. Suppose 5 = 5*b - o*r, 20 = 5*b - 2*r - 3*r. Which is bigger: -2/13 or b?
-2/13
Let h be ((-316)/(-12))/(3/45). Is h bigger than 395?
False
Suppose -130*m + 404 = -134*m. Is m at least as big as -101?
True
Let m = -3/562 - 14186/843. Which is greater: m or -17?
m
Let x be 13/(-7) - (-4)/2. Let w be (-92)/6 + (3 - 5). Let v = 17 + w. Do x and v have the same value?
False
Let o = -2.04 + -25.56. Let u = -28 - o. Which is bigger: u or 1?
1
Let o(f) = -26*f + 5 - f**2 + 20*f + 2*f**2. Let s be o(5). Let v be 8/(-60) - (0 + 0). Which is greater: s or v?
s
Let k(g) = -g**3 - 17*g**2 - 15*g + 19. Let m be k(-16). Suppose m*x = -189 + 132. Are 0.1 and x unequal?
True
Let h = 317 - 215. Suppose 4*k + 2*j = -h, 4*j = -2*k - 61 + 1. Which is smaller: k or -23?
k
Let c(x) = -2*x**2 + 4*x - 2. Let o be c(2). Let d be ((-84)/2)/7 + 8. Let t be (d - (-4)/o)/1. Is 2/7 less than t?
False
Let n(s) = s**2 - 19*s - 24. Let p be n(-13). Let m be p/(-1140) + (-6)/(-45). Is m greater than 1?
False
Let c be (-9)/2 + (-1)/2. Let j = 0.55 + -13.05. Let s = -12.3 - j. Which is greater: c or s?
s
Suppose 0 = 5*m + 5*p - 140 - 150, -3*p - 42 = -m. Let h be 8/126 - 3/(m/(-4)). Suppose 2*y + 5 = 7*y. Are h and y unequal?
True
Let v be -2 + (-25)/(-5) - -87. Suppose 7*w + v = 6. Let s(t) = -t**2 - t + 7. Let f be s(-5). Which is smaller: f or w?
f
Let s = -118 + 119. Let t be 1022/(-1512) - s/((-8)/6). Is t < -3?
False
Suppose 0 = 4*a - 5*b + 3030, 642 = -2*a + 2*b - 874. Is -761 at least a?
False
Let i = -6.4 - -7. Let y = -4.4 - i. Which is bigger: -2/3 or y?
-2/3
Let r be 2/(-3 - 187/(-55)). Suppose 6*f = 3*f. Suppose -5*j + 3*j + 10 = f. Is r != j?
False
Suppose 0 = 87*q - 91*q + 8, -5*q - 104 = c. Is -111 < c?
False
Suppose -30 = -2*d - 3*d. Suppose 0 = -g - g + d. Does 3 = g?
True
Suppose 5*l - 25 = 0, -2*l + 1 = -b + 3*l. Suppose -3*w = -5*w - b. Which is smaller: -3 or w?
w
Let c = 0.77 + -31.77. Let h = 30.65 + c. Let t = -0.25 - h. Which is smaller: t or 7?
t
Let r be -273*((-32)/(-10) - 3). Let d(x) = -x**2 + 7*x + 5. Let n be d(-5). Let t = n - r. Is 1 less than t?
False
Let g be 296/(-20) - (-8)/2. Let f = -21/2 - g. Which is smaller: 1 or f?
f
Let p = -299/7 + 1399/28. Suppose 6*q = 44 - 8. Is q at least as big as p?
False
Let n(d) be the second derivative of d**4/12 + 4*d**3/3 - d**2 - d. Let k be n(-8). Which is smaller: k or -8?
-8
Let p = 2.9 + 11.6. Let v = p - 0.5. Let k = -13.3 + v. Which is smaller: k or 0.1?
0.1
Suppose -15*o = -14*o. Do -1/406 and o have different values?
True
Let g be 2*1/(1 - 5). Let s = -141/473 + 5/43. Which is greater: s or g?
s
Let h be (-2688)/(-35) - 5 - (-5)/25. Is h bigger than 70?
True
Let v = 1/29 - 31/58. Let f = 0.231 - -0.769. Is f bigger than v?
True
Let r be (-54 - (1 + -1)) + (1 - -2). Let i = r + 39. Is i smaller than -13?
False
Let j = -1 + 2. Let a be -1*j*(0 - 0). Which is bigger: 2/23 or a?
2/23
Let r be -2 - -1 - -8 - (1 - 3). Let a be (r/24)/(4/(-8)). Which is smaller: -1 or a?
-1
Let v(r) = 2*r + 4. Let s be v(-4). Let n be s/(-4) - 1 - 16. Does n = -16?
True
Suppose -2*m = 2*u - 10, -4*m = -5*u + 4*u - 5. Suppose -18*d = -17*d - 4. Suppose d*y + 3 = -5. Which is smaller: m or y?
y
Let i = -0.0548 - -0.4548. Which is smaller: -54 or i?
-54
Let m = 1226/13 + -94. Do m and -0.2 have the same value?
False
Let q = 26 - 16. Let d(v) = -v**2 + 9*v - 19. Let z be d(q). Which is bigger: -28 or z?
-28
Let z = 0.1555 + -186.1555. Which is smaller: -4 or z?
z
Let t(m) = m**2 - 11*m - 101. Let u be t(14). Which is greater: -63 or u?
u
Let g = -26821/308 + 349/4. Let w = -5/11 + g. Let p = 47 - 46.99. Is w < p?
True
Suppose -399 = r + 2*d, 0 = 8*r - 3*r - 2*d + 1947. Does -390 = r?
False
Let m = 1576 + -1298. Which is smaller: m or 279?
m
Let r = 2 - -2. Suppose 2*l + 2*d = -0*l - 54, l + r*d + 42 = 0. 