pose 3*g + 15 = 0, 2*y + 5*g + 51 + 582 = 0. Is -308 smaller than y?
True
Let z be 5/(20/(-3)) + 76086/101520. Which is greater: 1 or z?
1
Let a(r) = -r**3 - 8*r**2 - 8*r + 4. Let s be a(-7). Let k be (0 - s/52)/(39/(-468)). Is 2 smaller than k?
True
Let o = -2909 - -2927. Suppose 72 = y + 3*y. Is y <= o?
True
Let y(s) = -s**3 - 20*s**2 + 21*s - 4. Let x be y(-21). Let h be 13368/(-360) + x/(-30). Is -39 less than or equal to h?
True
Let f = 129.8 - -39.2. Let t = 236 - f. Which is bigger: t or 3?
t
Suppose 3*g - 4 = g. Let w(x) = 5*x**3 + x**2 - 2*x + 1. Let r be w(1). Suppose z + r = g*z. Is 3 at least as big as z?
False
Let m(x) = -3*x**2 - 212*x + 105. Let o be m(-95). Are -6830 and o equal?
True
Suppose -139*d - 10295 = 2076. Is d <= 7/2?
True
Let o = -77767/770 - -1102/11. Is 0.1 smaller than o?
False
Let n(g) = -5*g**3 - 8*g**2 - 8 + 4*g**3 + g**3 - 7*g**3 + 5*g + 10*g**2. Let f be n(2). Is f <= -46?
True
Suppose 0*i + 10 = 2*i - 4*c, i + 2*c + 7 = 0. Let m be (66/(-186))/(4/4). Which is greater: m or i?
m
Let t be (54/27 - (-5)/(-2)) + 7278/14604. Let a = 2 - 3. Is a equal to t?
False
Suppose 293 = 3*g + 4*a, 4*a = 80*g - 78*g - 162. Are g and 95 equal?
False
Suppose -31*k - 10 = 114. Let j be (2 - (-2)/k)/((-25)/50). Is -9/5 != j?
True
Suppose 4*r = -r + 5*a + 60, 35 = 3*r - 2*a. Suppose -52*w + 424 = -117*w + 57*w. Let z = r + w. Are z and -41 non-equal?
True
Suppose 3*b + 0 = 12. Suppose -5 = -5*f, 7*j - 3*j + 252 = b*f. Let n = j + 61. Is n less than or equal to -5?
False
Let s = 19 - 33. Let z be (-1)/((-24)/30)*52. Suppose z = 6*r - 11*r. Is s less than or equal to r?
True
Let l be (1352/336 + -4)/(1 + 345/(-335)). Is l at most as big as 2?
True
Let s be (8/10)/(9900/(-3750)). Which is smaller: 0 or s?
s
Suppose -4*h - 1391 = -4*i + 1517, -5*h - 3662 = 4*i. Is -728 greater than h?
True
Suppose 0 = -5*h + 31 - 11. Let y be h/8 + (-1)/2. Let b(r) = -r**2 + 3*r + 3. Let g be b(y). Is g at least as big as 6?
False
Let i = -945 + 299. Let m = i + 645.9. Are m and -0.156 equal?
False
Let w be (3 - (-156)/(-3))*(-24 - -25). Which is greater: w or 11?
11
Let w = 6131 - 6790. Which is smaller: w or -3953/6?
w
Suppose 213*t = 208*t - 4*w, 2*t = 3*w. Is 18/59 != t?
True
Let q be -2 + 1 + (-1 - -2). Let b(a) = q*a**2 - 2 + 13*a + 2*a**2 - 3*a - 2*a. Let r be b(-6). Are 21 and r equal?
False
Let k(s) = s**2 - 7*s + 22. Let q be k(9). Suppose 3*v - 13*v = -q. Suppose 0 = -2*n - v*h - 16, 2*n - 2*h - 8 = -0*h. Is n less than -2/11?
False
Suppose 244*n + 56*n = 774000. Is n bigger than -1?
True
Let l = 1986 + -3245. Which is greater: -2/5 or l?
-2/5
Let i = -4328 + 4383. Which is smaller: i or 5/2?
5/2
Let n = -75358/5 + 245591767/16295. Is n < -1?
False
Let n(m) = m**3 + 9*m**2 - 24*m - 20. Let u be n(-11). Suppose -5 = u*z + 65. Is z at most as big as 1/2?
True
Let j(h) = -11 - 5 - 2*h**3 - 7*h**2 + h**3 + 0 + 6*h. Let u be j(-8). Is u less than or equal to 1?
True
Let m be (2/4 + -1)/(7/14). Let q be (m - 5/(-2))/((-3)/73). Let t = 36 + q. Which is smaller: 1/2 or t?
t
Let h(c) be the third derivative of 0*c - 1/6*c**3 - 1/8*c**4 - 15*c**2 + 0. Let r be h(-7). Do r and 19 have different values?
True
Let o = 2524.8102 + -2528. Let n = 0.0102 - o. Is n greater than 12?
False
Let h = 68.94 + -31.94. Which is smaller: -113 or h?
-113
Suppose 3*x = -a + 1277, 199*x - 203*x + 1703 = a. Is 422 less than x?
True
Let f = 576 - 576. Suppose -4*x - g + f*g = 539, x + 5*g + 130 = 0. Which is smaller: -134 or x?
x
Suppose 4 = m + 2*m + 2*z, -3*z = 4*m - 5. Suppose -m*r + 13*r = 0. Which is bigger: r or -10/61?
r
Let u = 1296 + -877. Let o = u + -422. Let j = -1838/7 - -262. Which is smaller: j or o?
o
Let f = 284 - 283.95. Let p = 7.95 - 8. Let b = p + f. Which is greater: b or 1/10?
1/10
Suppose 0 = f - 112*v + 110*v + 2094, -3*f - 6309 = 3*v. Is f >= -2104?
True
Let d = 4.05 + -4. Let c = -0.95 - d. Let l = 5949/4 - 1487. Which is bigger: c or l?
l
Let t = 0 + 0. Let h = -2384047/11443656 + -2/476819. Which is bigger: h or t?
t
Let a be (-1 + (-30)/(-44))*8/(-2). Suppose -3*j + 14 = -j. Suppose -5*u + 2*c + j = -c, 4*c - 10 = -3*u. Which is greater: u or a?
u
Suppose -11 = -f - 2*d, 60*f - 58*f + 5*d = 26. Which is bigger: 638 or f?
638
Let d = 24730 - 24729. Which is smaller: 8/923 or d?
8/923
Let n = -16.982 + -0.188. Let l = -16.947 - 0.053. Let c = l - n. Is 2 >= c?
True
Let r(l) = -3*l**2 - 100*l - 620. Let x be r(-25). Suppose 3*c + 12 - 30 = 0. Let j be (5/(-4))/(c/(-30)). Is j smaller than x?
False
Let p(v) = -4*v**3 + 3*v**2 - v - 103. Let o be p(0). Which is bigger: o or -1523/15?
-1523/15
Let m = 3597 + -4730. Is -1134 smaller than m?
True
Let s(y) = 2*y - 9. Let b be s(6). Suppose -3*d + 8*d = 20, -2*l + b*d = 10. Suppose 0 = 1087*r - 1342*r - 510. Which is smaller: r or l?
r
Let l = 22 + -5. Let w = l + -52. Let h = 34.8 + w. Which is smaller: 1.5 or h?
h
Let x be 3/9 + (-612)/54 + 11. Let d = 147/11 - 597/44. Which is greater: x or d?
x
Suppose -4*j + j + 117 = 0. Let l = 39 - j. Let d(n) = -n - 10. Let y be d(-7). Does y = l?
False
Let l = -86 + -61. Let b = -319 + l. Is b at least as big as -465?
False
Suppose -5*o + 8*s + 83 = 7*s, -3*s = 5*o - 71. Suppose -2*l - 21*a + 76 = -o*a, -l - 3*a = -40. Is l <= 30?
True
Suppose -2*r - 5*v = -197, 0 = 3*r + 11*v - 9*v - 301. Let p = r + -136. Is -34 at least p?
True
Let v be (14/(-1))/(9/((-27)/6)). Suppose 5*b + 2*q - 6*q + v = 0, 2*q - 1 = 5*b. Is -2/189 less than or equal to b?
True
Let k(i) = 28*i**2 + 108*i. Let v be k(-3). Let x(z) = 12*z. Let c be x(-6). Is c < v?
False
Let y(a) be the second derivative of 7*a**3/3 + 19*a**2/2 + 44*a - 2. Let l be y(-5). Which is greater: l or -54?
l
Let h = 7.1 - -0.9. Let m be (12 + 3 - 6)*2/(-6). Let n be (2/(-14))/(m + (-44)/(-16)). Which is smaller: h or n?
n
Let v = -0.0504 + 0.0954. Let d = v - 1.105. Which is smaller: d or 0.2?
d
Suppose -2*i + 32 = -7*p + 2*p, 0 = 4*i + p - 86. Let v be (i/140)/(1 - (-2)/(-8)). Let j = 0.62 - 2.62. Is v < j?
False
Suppose k + 4*l = 2*k + 18, 3*l - 7 = 4*k. Which is bigger: k or 3.42?
3.42
Let n be 3/2 - 340/(-40). Suppose -8*h + n = 2. Which is greater: -20/89 or h?
h
Let y(w) = -8*w - 44. Let x be y(-10). Let o be (-4*(-3)/105)/(x/42). Let c be 7/63 + 2/9. Which is smaller: o or c?
o
Let m = -0.07 - -16.07. Let r(k) = 2*k**2 + 2*k + 3. Let l be r(-3). Suppose 4*d + 10 = 2*z, 0 = -5*z + 10 + l. Which is bigger: m or d?
m
Let y be ((-143)/(-22) - -1)*-68. Which is smaller: y or -518?
-518
Suppose 3*z - 5 = 7. Suppose -a = 2 + 2, z*w - 192 = -3*a. Let r = -42 + w. Which is smaller: 31/4 or r?
31/4
Let g = -496.7 + 519. Let z = 21.3 - g. Do -1/50 and z have the same value?
False
Suppose 2*q - 12 = 0, 292*q = 2*s + 293*q - 92. Let f = -13 + 55. Which is smaller: f or s?
f
Let v be (137 - 138) + 1*(-3 - (5 + -3)). Is v at most as big as 31?
True
Let g = 316 + -295. Let v be ((-44)/192)/(g/28). Does v = 0?
False
Let s = -6743.6 - -6743. Which is smaller: -24.8 or s?
-24.8
Let m(p) be the second derivative of -p**4/12 - 2*p**3/3 - p**2 - 2*p - 2. Let y be m(-4). Which is greater: y or -30?
y
Let s(u) = 22*u - 29. Suppose 2 = -b + i, 14*b - 17*b + 5*i - 16 = 0. Let d be s(b). Is d != 39?
True
Suppose 5*y + 15 = -4*l, 4 - 7 = y. Let f = -171 + 268. Let r = 97 - f. Are r and l unequal?
False
Let p be (6 - (-245)/(-40))/((-53)/(-51834)). Let x be (-2 - -1)/(1/122). Is x greater than p?
True
Suppose -228*s + 241*s - 6042 + 22981 = 0. Are s and -1303 equal?
True
Let s be (51 + -56)/((-5)/3). Which is smaller: s or 484?
s
Let s be 1066 + 3*3 + 0 + -7. Which is bigger: s or 2/7?
s
Suppose -18*z = -15 + 393. Let w be ((-35)/(-4) + -4)/((-3)/12). Is w bigger than z?
True
Let j = -319/10 + 15031/490. Is 0 >= j?
True
Suppose 124*s + 18198 + 56715 + 27015 = 0. Is s at least -820?
False
Suppose 2*f + 3*v + 11*v = 37746, 5*f - 94365 = v. Is 18873 less than f?
False
Suppose 3*n + 328 = 988. Let b(z) = -z**3 + 14*z**2 - 306*z + 2571. Let f be b(9). Which is greater: f or n?
f
Let r = -119 + 119. Suppose 8*g + 0*g = r. Is -183 not equal to g?
True
Suppose -4*o - 93230 = -14*o. Let k = -773793/83 + o. Let p = k - 362/2739. Does p = 1?
False
Suppose -2*y - 1 = -11. Let f(c) = 14*c + 257. Let w be f(-18). Suppose 2*g + 2*g + p = 28, w