 - 21229537/2472. Let s = o + i. Which is greater: 0 or s?
s
Suppose -423 - 873 = -27*s. Let d be 10/3*s*(-9)/9. Is d != -160?
False
Let y(s) = -3*s + 15. Let x be y(-5). Let l = x - 40. Let z be 48/l - (6 + -2). Is z smaller than -8?
True
Let i = -3584 - -3368. Which is bigger: -217 or i?
i
Let h = 2087885 - 553288224/265. Let p = h + 26/53. Let x = 9 + -5. Which is bigger: p or x?
p
Suppose 2*b = -3*b + 50. Let w be b + -4 + -1 - 4. Is 3 at least w?
True
Suppose -150 = -19*a + 34*a. Let z be (5/a)/(1/(-166)). Are z and 84 equal?
False
Let j = 108865 - 108863. Suppose 4*y = -y - 155. Is j greater than y?
True
Suppose -25254 + 4753 = -13*q. Is q at least 1578?
False
Let o be 13662/165*(-31)/2. Let z = o + 1290. Which is smaller: 7 or z?
z
Let g be (8/(-10))/((-2)/5). Let b = 367499/80 - 22964/5. Which is smaller: b or g?
b
Let j be -7 - 105/(-20)*44. Which is smaller: 8 or j?
8
Suppose -19*o + 91323 = 11*o + 466683. Which is smaller: o or -25021/2?
o
Let a = 6 + -2. Suppose -a*o + 260 = -4*j, 195 = 5*o - 4*j - 129. Let w be (145/58)/(2/(2 + 50)). Is w at most as big as o?
False
Let j be 5/(-4) - 9/12. Which is smaller: -40.9 or j?
-40.9
Suppose j + 3*a = 5*j - 43, -51 = -5*j + a. Let v be (32/j)/((-9)/90). Let n = v + 33. Is 31 at least n?
True
Suppose 62*k + 333 = 63*k. Do k and 339 have the same value?
False
Suppose -134*l + 60*l + 2862 = -56*l. Which is smaller: 173 or l?
l
Let h(f) = -f**2 + 92*f - 264. Let s be h(0). Do s and -275 have the same value?
False
Suppose 51*y + 4*m = 47*y + 3176, 37*y - 29178 = 3*m. Is 796 smaller than y?
False
Let d be (-47 + 50)*(-14)/(-1212). Which is smaller: 1 or d?
d
Let o be ((-4)/54)/(35682/(-1026)). Which is bigger: 1 or o?
1
Let g be -1 - (5 + 2) - (-15714)/1974. Which is bigger: -1 or g?
g
Let c = -4003.89 - -3995. Which is greater: c or 1/4?
1/4
Let p be 41804/42*(5/(-2) - (-5)/20). Which is smaller: -2241 or p?
-2241
Suppose 155*n = 165*n + 1780. Is 21 equal to n?
False
Let y(k) = k**2 - 4*k - 438. Let p be y(-19). Is 1857 less than p?
False
Let z be 4/(-5) + (-35382)/(-15). Let t be z/(-16) - 51/(-136). Which is bigger: t or 1/3?
1/3
Let x = 5.08 - -3.29. Is 1/12 less than x?
True
Let v = -135 - -141. Let d be v + -6 - (-5 + 29). Is d at least -24?
True
Let i = -5423 - -5424. Is i greater than or equal to -221?
True
Let o be (78188/4338)/(2/(-1168)). Let c = -10526 - o. Which is smaller: c or 0?
0
Let b = -109097/104 + 1049. Let t be -1 + (-177)/(-15) - 11 - (-1)/5. Which is smaller: t or b?
b
Suppose -2*c - 2*c = 8. Let x = c + 8. Let z = -2164 - -2164. Which is greater: z or x?
x
Let u(v) = v**2 - 14*v. Let z be u(13). Let j(a) = -a**3 - 13*a**2 - 5*a + 20. Let c be j(z). Let l = c - 1273/15. Which is greater: 1 or l?
1
Let g(h) be the second derivative of h**3/3 + 14*h**2 + h. Let k = 1980 - 1990. Let z be g(k). Is 8 greater than z?
False
Let l = 7781.2 - 7781. Which is smaller: -0.5533 or l?
-0.5533
Suppose -l = 4*j + 24, -3*j + j - 3*l = 22. Let y be -1*((-4939)/(-24970) + 1/j). Let u = 935/12258 - y. Is u at most -1?
False
Let c = -262 - -146. Let a = -110 - c. Are a and 7 equal?
False
Let r = -593 + 4261. Is r less than 3670?
True
Let n be (-8)/(-4)*(1/2 - 0). Let p = -1 + n. Suppose p*v + 2*x + 23 = -5*v, -5*v - 21 = 4*x. Is v at least -5?
True
Suppose -68*s = -60*s - 16. Suppose 3*c = 2*z - 163, -s*z - 420 = -7*z - 5*c. Let m(q) = 21*q. Let p be m(4). Which is bigger: z or p?
p
Let d = -51.12 - -1.12. Let l = -5 + d. Let t = 54 + l. Is -43 at least t?
False
Suppose 0*c + c + 12 = 0. Let o be c/42 - (-57)/(-21). Let u(d) = 2*d**3 - d**2 - d + 1. Let m be u(1). Which is smaller: m or o?
o
Let o = 0.13693 + -0.03693. Is o less than 51.1?
True
Let h(x) = -19*x**2 - 3*x + 7. Let r be h(-5). Let p(j) = -2*j**2 - 19*j + 244. Let o be p(-24). Is r > o?
False
Let n be (26874/2736)/(1/3). Let q = n + -472/19. Is 4 smaller than q?
True
Let i(u) = -291*u + 1454. Let o be i(5). Is o >= 11/315?
False
Let t = -6154 - -6393. Which is smaller: t or -20?
-20
Let l(q) = -q**3 - 7*q**2 - 4. Let u be l(-7). Let r = -0.77 - -98.77. Let i = -102 + r. Is u less than or equal to i?
True
Suppose 3*f + 4*n = 102, 0 = f - 2*n - 24 - 10. Suppose 0 = -f*o + 40*o + 30. Is o greater than -5?
False
Suppose 40*h + 101 = -12*h - 49*h. Let i be 4/(-10) + 152/(-170). Is i less than or equal to h?
True
Suppose 6*o = -12 + 108. Let a be 344/490 + -1 + o/40. Is a at least -1?
True
Let h be -17 + 25 + (-14)/3*99/66. Is h at most 10/1563?
False
Suppose -5*n = 3*b - 4578, 4 = b + 3*b. Let q be (n/(-18))/(4 - (-18)/(-4)). Let a = 113 - q. Is 11 != a?
True
Let h be (3/(6/(-526)))/((-686)/(-24010)). Which is smaller: h or -2/3?
h
Let l = -1.88 - 13.22. Let o = l + 17.1. Which is smaller: o or 2/127?
2/127
Let y be (-86834)/21709 - 2/(-9)*18. Which is bigger: -1 or y?
y
Let m(q) = 707*q - 1777. Let u be m(7). Is 3173 < u?
False
Let g = 63817/2 - 34075. Is -2166 less than g?
False
Let i = 3395 + -3395. Is -345 greater than or equal to i?
False
Let v = 329.4605 + 0.0395. Let f = -329 + v. Is -11 at least f?
False
Suppose 11*c - 883 = 9*c - 3*i, i + 1319 = 3*c. Suppose -3*j + 11*j + c = 0. Is 2 != j?
True
Suppose 236 + 556 = -37*z - 170. Is z > -45?
True
Let g be 3/(-6)*2*3/(-1). Suppose g*i = 2*c + 26, -3*i - c + 20 = i. Let n be (-780)/(-176) + -4 - i/8. Which is smaller: 0 or n?
n
Let g be (-4)/(-12)*(-96)/(-416). Is -36 greater than g?
False
Let g = -42 + 158. Let s = -188 + g. Is 1 not equal to s?
True
Suppose 24*o = 14*o. Suppose -5*b + b - u = 0, o = -2*b - 2*u. Which is greater: -3/5 or b?
b
Let b(i) = 3*i**2 + 5*i - 19. Let r(f) = f + 1. Let d be r(-8). Let p be b(d). Suppose -p*m - 2 = -91*m. Which is bigger: -1/16 or m?
-1/16
Let f be (6 + 0)*(-180)/(-8). Let t be f/(-42) - (-12)/4. Let l = 17 + -16. Which is greater: l or t?
l
Suppose -2*u - 4 = 6, 4*q = 2*u - 38. Let r be 6/(-8) - 3/q. Let l = -0.03 + -0.22. Which is greater: r or l?
l
Let s be ((-40)/(-580) - 26/(-464)) + 5886/16. Which is bigger: s or 369?
369
Suppose -4*g + 2*b - 4*b + 747560 = 0, -g = 4*b - 186883. Let v = g - 2618005/14. Let r = -109 - v. Which is smaller: r or -1?
-1
Let k = -7 + 81. Let r = -79 + k. Suppose 5*h = 4*t + 3, -t + 6 = t. Is h equal to r?
False
Let u = 25/21 - 12604/10605. Let s be 3*4*9/(-108). Is u equal to s?
False
Let j = -57505 + 346325/6. Is 217 equal to j?
False
Let p = -608562 - -1559744404/2563. Let x = -1 - -2. Which is smaller: x or p?
p
Let t be ((-1)/(-3))/(170/97410). Is t less than or equal to 189?
False
Let o(r) = -267*r**2 - 51*r - 73. Let z be o(-3). Are z and -2324 nonequal?
True
Let h = -87 - -89. Suppose h*a + 46 = -0*f + 4*f, 0 = 3*f + 3*a - 39. Let s be ((-2)/18)/(2/f). Is s >= -2?
True
Suppose 3*b + 2*b + 7*b = 0. Suppose 0 = -4*u - u + 20. Let d be -2*u/(112/6). Which is bigger: b or d?
b
Let n = -0.2782 - 0.0218. Which is smaller: 9.52 or n?
n
Let s = 7284.32 + -7166. Let i = s - 118. Which is greater: i or -0.1?
i
Let n(p) = -21*p**2 + 4*p + 6. Let z(j) = 24*j**2 - 5*j - 7. Let a(s) = 7*n(s) + 6*z(s). Let h be a(0). Is 75 bigger than h?
True
Let k be -7 + -1 + ((-116)/(-16) - -1). Let w be ((-7)/5)/(18/15). Which is smaller: w or k?
w
Let n(s) = 6*s - 3 + 23*s**2 + 7*s - s**3 + 2*s**3 - 15*s**2. Let c be n(-5). Let x be (-1*3)/(c/91). Is -38 greater than x?
True
Suppose 13*r = -5*r - 90. Let b = 8 - 7.97. Which is bigger: b or r?
b
Suppose -75*k - 72*k - 172500 = 83*k. Which is smaller: k or -745?
k
Let n(x) = -24*x + 50*x - 14 - 25*x. Let i be n(16). Suppose -17 = -3*f - i. Which is smaller: f or 6?
f
Let p = 10915 + -43931/4. Suppose 469 = -72*c + 65*c. Is p at least c?
False
Suppose 0 = 2*m - 6, -2*j - 3*m - 1 = -10. Let y(k) = -2*k**3 + 4*k**2 + 7*k + 6. Let n be y(3). Suppose 270 - n = 29*b. Which is bigger: j or b?
b
Let b be (-4)/(-8)*20/2. Let o = -0.01825 + 1.51825. Is b at most o?
False
Let s(f) = 27*f + 3. Let u be s(-3). Suppose 0 = 3*p - 3, -2*b = -61*p + 57*p. Let q be -1 + b - (2 + 1 + u). Is 77 greater than or equal to q?
True
Suppose -3*y + 12 = y. Suppose 3*i + 48 = 3*t, t + 3*t - 63 = y*i. Suppose 0 = 4*d + t - 11. Which is smaller: d or 2/9?
d
Let m = 2354 - 2381. Which is smaller: m or -155/6?
m
Let m be (-37 - -36) + (-1379)/(-1375). Which is greater: m or 0?
m
Let s be (1 - 4 - 3) + -2