)/96*-2). Which is bigger: b or k?
k
Let a = -4267 - -4269.471. Let g = -0.029 - a. Let x = g + 0.5. Which is greater: 21 or x?
21
Let b(y) = -2*y**3 - 4*y**2 - 2*y + 2. Let s be b(-2). Suppose -f = 4*l + 3, l + 3*f = f - s. Suppose -7*u + 7 = -l. Is -18/5 > u?
False
Let u(t) = t**3 - t**2 - 1. Let w be u(0). Let x be 5*(84/(-20))/w. Let d be 6/14 - (-12)/x. Which is smaller: d or -4/3?
-4/3
Let t be ((-11)/11)/((-2)/(-8)) - -207. Which is bigger: 209 or t?
209
Let v = 20509968/343 - 59796. Is 0 <= v?
False
Let d = 229058 + -3670023/16. Let q = d + 318. Let b be 44*(43491/836 + -52). Which is smaller: b or q?
q
Let o(z) = -z**3 + 10*z**2 - 24*z + 3. Let n be o(6). Suppose -n*g - 23 = -4*v, 15 + 2 = -3*g + v. Let p = 1001/4 - 254. Is g >= p?
False
Suppose 48 = -12*q + 4*q. Let n be (4/q)/1*6/14. Let l = 24 + -22.7. Which is greater: n or l?
l
Let q(g) = 2*g**3 + 5*g + 5. Let b be q(5). Suppose -2*y + 568 = 8*u, 0 = 2*y + 84*u - 80*u - 564. Is b greater than y?
False
Let g = -17 - -47. Let c be (-5)/(-17 - 441/(-28)). Suppose c*p = 2*i - 34, -4*p = -p + 3*i + g. Is p > -9?
False
Suppose 5*u = -5*v - 108 + 613, 5*u = -3*v + 303. Is v at most 94?
False
Let o(u) = 6*u**2 + 7*u + 45. Let t be o(8). Suppose -43*j = 504 + t. Which is smaller: -25 or j?
-25
Let c be -6*(355 + (10/(-80) - 49/(-8))). Is c >= -2166?
True
Let w be (-4)/(32/(-22)) - (-16)/64. Suppose 5*f + t + w = -5, -3*f + 4*t = -9. Let q be (-13)/7 - (-1 - -1). Is q > f?
False
Let c = -0.7 - -2.2. Let l = 25.1 - 24.6. Let z = c - l. Which is smaller: z or -10?
-10
Let s = 6 - 3. Let t be 1 - (-5)/(-15)*39. Let q be (-25)/10*t/75. Which is smaller: s or q?
q
Let s = 23491 - 59219. Is s at most as big as -35729?
False
Let j(r) = 3195*r + 1331. Let i be j(-8). Which is smaller: -24230 or i?
-24230
Let w = -3.2 - -2.69. Let t = 112.8 - 121. Let n = -8.3 - t. Do n and w have different values?
True
Suppose 75 = 2*g + 3*d, -3*g + 115 = -252*d + 257*d. Which is greater: g or -18?
g
Let t(f) = f**3 + 3*f**2 + f + 4. Let s be t(-3). Suppose -4*j = -3*o - 75, -5 = -j - 6*o + 4*o. Let i be 1/(-6) - j/(-75). Which is greater: s or i?
s
Let i be (4 - 411/6)*4/6. Let k = 42 + i. Which is bigger: -28/15 or k?
k
Let f = -153 - -198. Let z = 42 - f. Which is bigger: z or -4?
z
Let n = -894 - -11616/13. Let z(b) = b**3 - 2*b**2 - 7*b. Let c be z(4). Suppose 2*a + 4 = 3*r, -c*r = -4*a - 0*a - 4. Which is smaller: a or n?
n
Suppose 2*g + 4*c = 110, -504 + 489 = -5*c. Is 38 < g?
True
Let s(d) = -138*d - 1655. Let p be s(-12). Is p < -67?
False
Suppose 225*d - 229*d = -12. Suppose -d*m = -2*z + 40, m - 11*z + 12*z = -10. Which is bigger: -51/4 or m?
m
Let g = 18117 + -1829826/101. Suppose i + 4 = -3*i. Which is smaller: i or g?
i
Suppose 0 = -3*s - 5*s + 24. Suppose -s*c = 106 - 40. Let i be (-7290)/198 + 4/c. Which is smaller: -35 or i?
i
Let r = -578 - -853. Let y = r - 273. Is y at least as big as -0.15?
True
Let q(m) = m**3 + 14*m**2 - 1. Let l be q(-14). Let j = -65 - -16. Let o = -243/5 - j. Is o smaller than l?
False
Let s = -6048 + 5949. Is 13 > s?
True
Let a = -63 + 38. Let g = 75.6 + a. Let v = -51 + g. Are 2/5 and v nonequal?
True
Let z = 1248898/25 - 49956. Let m be (-1 + (-1)/(-2))*-2. Which is smaller: m or z?
z
Let f = -20.387 - -8.387. Which is smaller: f or -137?
-137
Suppose 20 = 4*p, 2*c + 5*p - 19 - 14 = 0. Suppose -l = -4*h - 1, 5*l - 4*h = c + 1. Which is greater: 3/260 or l?
l
Suppose -85*q + 336 = -81*q. Let t = q + -77. Suppose -1 = -3*v - 0*v - 4*s, -4*v = -3*s + t. Is -11/7 at most v?
True
Let p = 123 - 1109. Let b be p/203*(-7)/(-15). Are -1 and b unequal?
True
Let y(f) = -f**3 + 12*f**2 + 52*f - 524. Let w be y(13). Are -1040/67 and w non-equal?
True
Let j = -0.03607 + -17.96393. Which is smaller: 3/8 or j?
j
Let i(q) = 28*q + 227. Let g be i(-8). Suppose -2*b - 126 = -5*b - g*p, 0 = 5*b - p - 210. Which is smaller: b or 2?
2
Suppose -2*r = -5*r - 3*u + 36, 33 = 3*r + 2*u. Suppose -r*n + 18 = -0*n. Suppose q = -3*p - 8, -n*p - q + 4 = -5*q. Which is smaller: 1 or p?
p
Let p = 616 - 613. Suppose -18 = p*w + 3*v, -7*v = -9*v - 6. Which is bigger: w or -11/6?
-11/6
Let t = -143.61 - 1.39. Let k = -1857 - -1711.8. Let p = k - t. Which is smaller: 5 or p?
p
Suppose -2*u + 5*m - 1370 = 0, 123*u = 120*u + 5*m - 2050. Which is smaller: u or -682?
-682
Let m = 2.46 - -7.84. Let t = -85.7 - m. Is 1 > t?
True
Let a = 4637646704 + -23536057173677/5075. Let p = 11/725 + a. Is p greater than or equal to -30?
True
Let i be 32/(-20) + (2 - 1). Suppose 13 = -4*x - 5*n, -2*x + 4*n - n + 21 = 0. Suppose 4*w - 2 = 8*q - x*q, -q + 6 = -4*w. Is w >= i?
False
Suppose -3 = 4*u - 15. Let h be (u/(-21))/((-1)/(-2)). Let d be (-12)/28 + 9400/(-329). Is h greater than d?
True
Let k = -0.62 + 33.62. Let w = 6.2111 - -1.7889. Is w bigger than k?
False
Let z = 28542 - 28569. Are z and -676 equal?
False
Suppose -434 = -64*y + 60*y - 2*i, -5*y + 609 = -7*i. Which is greater: y or -6.7?
y
Suppose 0 = 8*u - 560 - 464. Let g = u + -127. Is g > -5/69?
True
Let z be ((-24)/(-160))/(4170/(-25)). Let g = -10561/3336 + z. Which is bigger: -4 or g?
g
Let q = -6061/20 + 303. Let x = -8 - -13. Suppose -x*n + 3*r - 1 = 0, -2*r + 7 = -n + 4*n. Which is smaller: n or q?
q
Let z(i) = -i**2 + 21*i + 147. Let g be z(-6). Which is smaller: -19 or g?
-19
Suppose 0 = -10*v - 4*v + 70. Suppose -d = v*d - 12. Suppose 0 = -2*c - 2, -d*x - 3*c + 0*c = 1. Is -3/29 >= x?
False
Suppose -356*a - 188 = -357*a - 3*m, -336 = -2*a + 2*m. Is 3 greater than a?
False
Suppose 19*b - 21*b + 112 = 0. Let v be (b - 56/(-8)) + (2 - 1). Suppose 11*s = v + 156. Is 21 bigger than s?
True
Let n be (-46 - -52)/(4/(-25)). Let x = 88 + -126. Let u = n - x. Is -81 greater than u?
False
Let l = 1091 - 401. Suppose -7*n - l = -8*n. Let w be ((-4)/6)/(20/n). Which is smaller: -22 or w?
w
Suppose -114 = -x + c - 0*c, 0 = 5*x - 3*c - 560. Suppose 6*z + 181 - x = 0. Do -23 and z have the same value?
False
Suppose 3*l + 4*l - 140 = 0. Suppose 4*s - 6*s = -l. Let h = 12 - s. Which is bigger: h or -2?
h
Suppose 2*o = 8*o - 24. Suppose -f = 3*z + 13, -o*z = 2*f - 2*z + 30. Let w be -3*(4 - (-148)/(-36)). Which is bigger: f or w?
w
Suppose -5*z + 4*p + 13573 = 0, 0 = -2*z - 8*p + 9*p + 5425. Is z > 2709?
False
Let s be 376/3*(-2)/(-4). Let o be (11 - (-1645)/(-150))*10*2. Which is greater: o or s?
s
Let j(h) = h**2 + 6*h - 15. Let t(z) = -z**2 - 7*z + 15. Let p(q) = 5*j(q) + 4*t(q). Let k be p(4). Let n be k/54 + 1/((-6)/(-17)). Which is smaller: 4 or n?
n
Let x = 34 + -31. Suppose x*r + 116 - 5 = 0. Which is bigger: r or 3?
3
Let s be ((-8)/(-60)*-36)/(2/(-215)). Let t be ((-43)/s)/((-40)/(-6)). Is t greater than or equal to 0?
False
Let y(b) = 4*b**3 + 61*b**2 - 47*b - 2. Let u be y(-16). Which is greater: u or -67/4?
-67/4
Let v(l) = -3*l - 10. Let q be v(-7). Suppose -44*d - 57 = -41*d. Let g(t) = t**3 + 20*t**2 + 16*t - 44. Let u be g(d). Which is smaller: u or q?
q
Let i = -276 - -263.4. Let n = -13.4 + i. Which is bigger: n or 2/9?
2/9
Let w be 41561/(-368) + (-3)/48. Is -128 less than or equal to w?
True
Let u = -197/20 + 59/6. Let x = u + 23/30. Let f(y) = y**3 + 5*y**2 - 7*y - 8. Let v be f(-6). Is x greater than or equal to v?
True
Let g = 1/1260 - 22703/28980. Let l = 503/934 - 18/467. Do l and g have the same value?
False
Let x = -0.035 - 2.965. Let z = x - 74. Let i = -76 - z. Which is bigger: i or 2/3?
i
Suppose -2*j = 18*r - 17*r - 1, -3*r + 8 = j. Is -1/1223 at most j?
False
Let h(k) = 3*k**2 + 22*k - 1. Let d be h(-8). Suppose -3*w + 4*o + d = -6, 2*o + 38 = 4*w. Suppose t + w = -3*b, -4*t - 1 = 2*b + 3. Which is smaller: -7 or b?
-7
Suppose -4*g + 68 = -k, -3*k - 2*k + g = 245. Let l = 140 + k. Suppose 6*u = l + 40. Which is smaller: 21 or u?
21
Let m be (-4)/(1 - 0)*12/(-48). Suppose x - m - 1 = 0. Let z be 3*x/(-3) + 2 + 1. Which is smaller: z or -4/17?
-4/17
Let t be (3/11346)/((-23)/(-782966)) + -9. Is t <= 0?
False
Suppose 192043 + 68867 = -65*u. Do -4015 and u have the same value?
False
Let t(i) be the second derivative of i**4/6 - i**3/2 - 2*i**2 - 8*i. Let p be (0 - 3)*(-4)/(-6). Let w be t(p). Is w <= 1/2?
False
Let x be (2 - 180/99) + (-4000)/(-506). Which is greater: 7 or x?
x
Let x = 687.42 - -4.58. Let o = x + -666. Is o smaller than 0