2/137
Let w be (241710/(-4288))/15 + -3. Let k = w - -211/32. Which is smaller: k or -1?
-1
Let f be (-5)/((-160)/64) + 13*-1. Suppose o + 3*o = -z + 10, -3*z + 16 = 5*o. Suppose -6*v + z*v - 4 = 0. Which is greater: v or f?
v
Let g = 624 + -635. Let c(v) = v**2 + 3*v - 23. Let z be c(g). Which is bigger: z or -2?
z
Let a = -1/1427 + -2793/87047. Let i(j) = 22*j - 19. Let o be i(1). Suppose 0 = -2*k + o*m - 3, 56*k - 59*k - 4*m + 4 = 0. Which is smaller: a or k?
a
Let q = -18/151 - -392/755. Which is smaller: 3/8 or q?
3/8
Let o = -23.53 + 23.54. Is o < -7/85?
False
Let k = -14/95 - -82/3135. Suppose 6 + 18 = f + 5*i, -3*i + 12 = 0. Suppose 0 = -4*b + f*t + 16, b + 16 = -2*b - 4*t. Which is smaller: k or b?
k
Let b = 564.485 + -564.4. Which is bigger: b or 18?
18
Let c = -2.158 + 0.038. Let w = 1.12 + c. Which is smaller: w or 0.036?
w
Let y be 32 + 2043/(-63) + ((-519)/(-770) - -2). Is y smaller than 1?
False
Let q = -47136/275 + 1885/11. Which is smaller: -18.4 or q?
-18.4
Let a be ((-444)/(-30) - -2)*(1 + 4). Suppose 3*x + 0*x + 284 = -2*m, 0 = -x + 2*m - a. Which is greater: x or -93?
x
Let r be (0 + (-26)/(-5))/((-154)/(-385)). Let l(g) = g**3 - 8*g**2 + 7*g. Let z be l(7). Let q = r - z. Which is smaller: 11 or q?
11
Let c = 28 - 41. Let a = -10 + 13. Let u = a - -1. Is u >= c?
True
Let x be -9 - (376/(-112) - -12). Is -17 bigger than x?
True
Suppose -w = 3*r + 17, -1617*r + 1615*r - 7 = 5*w. Let a = 27512/215343 + -42/337. Which is greater: w or a?
w
Let w(l) be the second derivative of l**3/3 - 45*l**2 + 80*l. Let n be w(13). Which is bigger: n or -62?
-62
Let m be 10/(-18) + 0/(-1). Suppose 0 = -8*c + 33 + 239. Let j be 306/2295 + 1/((-30)/c). Which is greater: m or j?
m
Let i be (-622)/10 + 9/45. Let c = i + 60. Which is smaller: c or -4?
-4
Let w(s) = s**2 + 9*s - 7. Let y be w(-5). Let f(k) be the first derivative of -k**3/3 - k**2/2 - 10*k - 472. Let u be f(4). Which is smaller: u or y?
u
Let y = 193 + -197. Let p be (-87 + 0/(-5))*(y - -5). Is p greater than or equal to -257/3?
False
Let t = 129 + -122. Let i = -75 + t. Let y = -71 - i. Which is smaller: y or 11/5?
y
Suppose -6*h - 70 = -13*h. Let g(d) = -d - 18. Let v be g(-22). Suppose -v*i + 48 = -4*b, b = -3*i - 2*b + 12. Do h and i have the same value?
False
Suppose 0 = -5*b + 4*b. Let a be -15*(-6)/225*135/(-45306). Which is smaller: a or b?
a
Let t be (-6294 - 12/(-4)) + 8 - (-7 - -1). Is -6277 at least as big as t?
True
Suppose 5*l + 12*h = 2260, -445 = -l + 89*h - 90*h. Is 442 at most as big as l?
False
Let u = 1.529271 + -173.526371. Let c = -0.0029 + u. Which is bigger: -0.2 or c?
-0.2
Let s = 24 - 43. Let x(v) = 2*v**2 + 5*v + 3. Let w be x(0). Let m be w - (-8 + 6 + 25). Which is smaller: s or m?
m
Let g(d) = -d**3 - 5*d**2 + 6. Let u be g(-5). Suppose -6*f - 6 - u = 0. Let c be 10*f/(-24)*8/(-70). Which is greater: c or -3?
c
Let l(y) = y**3 - 7*y**2 + 3. Let q be l(7). Suppose -3*w - 3*n = 18, -296*w + 298*w - 2*n - 16 = 0. Is w bigger than q?
False
Let l(i) = -2*i**3 - 59*i**2 + 15*i - 346. Let u be l(-30). Which is bigger: 1255/12 or u?
1255/12
Let q = 123.42 - 2.42. Let w = -121.3 + q. Is w less than 2?
True
Let x = 37 + -23. Let r = 6.152 - 7.152. Which is bigger: x or r?
x
Let t = -23.4962 - 0.5038. Which is smaller: 2.8 or t?
t
Let d be (5 - 133) + (-1 - 0/1). Let u be 2/6 - 473/d. Which is greater: -1 or u?
u
Let u = -1885924/211 - -8938. Do -1 and u have the same value?
False
Suppose 2*l + 11*g - 10*g = 1448, 0 = 3*l - 4*g - 2161. Is l at most as big as 724?
True
Let s(d) = -d**3 + 20*d**2 - 56*d + 223. Let t be s(16). Which is smaller: t or 3?
3
Let i be 18/(-45)*50/(-4) + 3. Let g(b) = -2*b + 9. Let o be g(-9). Suppose -o*u = -i*u + 1577. Is u not equal to -83?
False
Suppose -79*b = -59232 - 84232. Which is greater: 1811 or b?
b
Let i(n) = 2*n**2 + 32*n + 3. Let x be i(-16). Let o be 0 + (-2)/14 - x/(-21). Which is smaller: 13 or o?
o
Suppose -14 = -4*x + 3*u, 0 = 3*x - u + 2 - 5. Is 7/219 > x?
True
Let t = 115 - 114. Suppose 4*p - 13 = -t, -p - 9 = -3*h. Suppose -4*f + h*w - 24 = 0, 6*w = -4*f + w + 21. Which is bigger: f or -16/7?
f
Suppose 267 + 749 = 4*l. Suppose -6*y + l = -238. Let r = y + -89. Is -17/3 less than r?
False
Let f = 40 - 4. Let j = f - 32. Let m be ((-112)/(-4))/(j + 5). Is m at most as big as 4?
True
Let p be (-317 + 337)*(-2)/(-8). Let d = 74 + -64. Which is smaller: d or p?
p
Let d(s) = s**3 + 3*s**2 + 3*s. Let l be d(-4). Let k = -70 + 79. Let x = l + k. Is -19 > x?
False
Let l = 42 + -28. Let u be 4/((-8)/4) + l. Suppose -2*s + 4*s = 24. Does u = s?
True
Let f(g) = g**2 - 54*g - 113. Let o be (100/15)/(-5) + (-12)/18. Let n be f(o). Is n not equal to -17/47?
True
Let m = -0.05 - 0.32. Let n = -5.07 - m. Which is bigger: -3 or n?
-3
Let j be ((-4)/(-6))/((-1)/6). Suppose 0 = -3*x - 4 + 7. Suppose -7 = -6*k - x. Which is smaller: k or j?
j
Let q be 6/(-28)*(-4)/(-3). Let w = -17.16 + 17. Let y = w + 0.36. Which is greater: q or y?
y
Let x = -1/301462 + 1414987263/150731. Let f = x - 11309. Let q = -1872 - f. Which is smaller: 51 or q?
q
Let s = 4.5 + 175.5. Let z = -279 + s. Is z != 2/7?
True
Suppose 13*h = 16*h - 93. Let r = h - 25. Which is smaller: r or -9?
-9
Let d = -68 - -75.8. Let l = -0.4 + d. Let j = l - 9.4. Which is smaller: -0.12 or j?
j
Suppose -480 = -0*w - 5*w + 5*d, -3*w - 3*d + 312 = 0. Suppose -2*n - w = -10. Let l = 269/6 + n. Which is smaller: 1/7 or l?
l
Let b be 1/(-1) - (162/2331)/((-16)/224). Suppose 4*o + 3*n - 19 = 0, 4*o - 3*o - 2*n + 9 = 0. Which is smaller: o or b?
b
Let p(d) = -80*d - 240. Let h be p(-3). Is 8/3837 > h?
True
Let y(v) = v**2 + 205 + v**2 - 181 - 3*v**2 - 15*v. Let z be y(-17). Is -2 >= z?
True
Let b be (-1)/2*-2 + -13. Let u = -55078283 - -51332971189/932. Let y = 4/233 - u. Which is smaller: b or y?
y
Let t be ((-36)/(-60))/(4/20). Let p be t/(49/(-42)*2). Is p at least as big as -1?
False
Let x = -25517796/305 - -83665. Which is greater: 0 or x?
x
Suppose -1168 = 45*c - 29*c. Let u = c + 117. Are u and 42 nonequal?
True
Let i(k) = -3*k**2 + 65*k - 25. Suppose -5*l - 3*x + 73 + 39 = 0, 5*x + 5 = 0. Let y be i(l). Which is smaller: y or -118?
-118
Let z = 15527.4 - 15601. Which is smaller: z or 6?
z
Suppose 66 = -6*h - 5*h. Let v(d) = -2*d - 11. Let b be v(h). Is b < 7/34?
False
Let c = 22049/3 + -7351. Which is greater: 724 or c?
724
Suppose 91 = -9*b + 190 - 90. Is b less than -2/15285?
False
Suppose -3*s - 11615 = 5*i, -5*i = 5*s - 1857 + 13482. Which is greater: i or -2319?
-2319
Suppose 0 = -2*t - 19 + 11. Let v = -133 + 91. Let i be 180/v - t/14. Is i at most as big as -3?
True
Let t be 1 + (-80)/(1 - -1). Suppose -3*b = -3*w + 108, -b - 129 = w - 81. Which is smaller: t or b?
b
Let p = -12100/59 + 410233/767. Let w = 330 - p. Which is smaller: w or 1?
w
Let r be (5199/45)/(107/214). Is 230 greater than r?
False
Let j = -98 + 203. Suppose -19*x = -14*x + j. Which is smaller: x or -20?
x
Suppose 2 = j + 4*w + 1, 2*w - 11 = 3*j. Let z be -8*(6 - (-25)/(-4)). Suppose -3*b + 9 = z*i, 0 = -4*i + 2*b - 6*b + 12. Which is smaller: i or j?
j
Let o = -2711/42598 + -3/722. Which is greater: 7/9 or o?
7/9
Let c(a) = -347*a**2 - 47*a + 47. Let q be c(1). Which is greater: q or -346?
-346
Let z(g) = -2*g + 85*g**2 - 32 - 15 - 84*g**2 - 3*g. Let t be z(10). Which is smaller: 39/14 or t?
39/14
Let y(r) = -57*r**2 + 147*r - 4. Let w be y(3). Which is smaller: 83 or w?
w
Let q = -36 - -127. Let z(b) = -9 + 38 + 2 - 3*b + 10. Let h be z(-17). Which is greater: q or h?
h
Let p = 98623 - 22318. Let j = 76245.969 - p. Let t = j - -59. Which is smaller: t or 0.1?
t
Let q be ((-32)/(-20))/(1 - (-8)/20). Suppose 4*p - 2*w = -4*w + 10, -w = 5*p - 17. Suppose -p*t + 6 = -t. Is t smaller than q?
False
Let z be 314216/4503990 - 4/58. Which is bigger: 1 or z?
1
Let w(a) = -a**2 + 35*a. Let x be w(68). Is -2246 at most as big as x?
True
Let c = -6926 - -7115. Is c smaller than 4380/23?
True
Let z = 28.44 - -0.56. Let w = z - 28.99. Let l = w + -1.01. Do 14 and l have the same value?
False
Suppose 0 = 21*q + 100097 - 22586 + 60774. Is -6584 at least as big as q?
True
Let p = -5471 + 2294. Are -3176 and p equal?
False
Let x be 4/(-18) - (-1 + 2312/(-36)). Let s be 26/x + (-348)/(-5). Suppose s = 2*m + 4*w, -