23*o + 213 = -a. Is 21 greater than or equal to o?
True
Let h(j) = 3 - 2*j**3 + 10*j**2 + j**3 + j - 6*j**2 + 2*j. Let o be h(5). Let n(u) = 2*u**3 + 13*u**2 - 8*u - 9. Let d be n(o). Which is smaller: 1 or d?
d
Let j be 1/(-3)*14*(-30)/4. Suppose 0 = -s + j - 77. Do -42 and s have different values?
False
Let y = -10396/117 + 1808/13. Which is greater: 49 or y?
y
Suppose -4*c + 940 = -g - 235, -1 = -g. Is 7 smaller than c?
True
Let j = -50 - -78. Let d = -26 + j. Let x be 0 - 2 - 2*(-23)/d. Which is smaller: 1 or x?
1
Suppose 0 = -w - 0 + 3. Let h(a) = 16*a - 855. Let u be h(54). Suppose -u = -6*p + w*p. Which is smaller: 0.1 or p?
0.1
Let g = -3.531 + 3.231. Is g != 501/5?
True
Suppose -4*y + 17*y + 158 + 973 = 0. Which is smaller: -345/4 or y?
y
Let k = 15164.73 + -15165. Does k = 0.054?
False
Let i be ((-345)/(-45))/(3/2259) + 5. Which is bigger: i or 5779?
5779
Let t be (-9405)/(-18) - (-2)/(-6)*(-51)/(-34). Which is smaller: 2616/5 or t?
t
Suppose 9 = -3*f, -d + 10 = -4*f - 4. Suppose -2*t - 308 = d*s - 6*s, -88 = -s - 5*t. Let p = 246 + -167. Do s and p have the same value?
False
Let x = 39 - 39. Suppose g = -5*v + 73 - 238, x = -v + 5*g - 33. Let c = v + 40. Is 8 greater than c?
True
Let c = -4 - -8.7. Let u = 4.8 - c. Is -45 bigger than u?
False
Suppose 62*s - 48725 = -14411 + 29484. Is 1029 equal to s?
True
Let b = -1053.91051 - 0.08949. Which is smaller: b or 1?
b
Let c = -1545 + 1552. Let x = 383 - 381.31. Let v = x - 1.7. Is c equal to v?
False
Let d(m) = m**2 + 4*m + 4. Let l be d(-4). Let p be (-3)/(-12) - (-3)/l. Let r = -22262/53 + 420. Is r < p?
True
Let a = -29 + 30. Let i = -682797/843920 - 1/76720. Let h = 17/22 + i. Is a at least as big as h?
True
Let x = 2619 - 4855. Let h = 4383/2 + x. Let t = -11/35 - -1/35. Do t and h have the same value?
False
Let x = 12971.9 + -12905.931. Let p = -0.031 - x. Let v = -65.7 - p. Is v at least as big as 7?
False
Let m = -42.4 + 19.4. Let q = 13 + -13. Is m greater than or equal to q?
False
Let m = 30669 - 29980. Which is smaller: 693 or m?
m
Suppose 2*j + 2*s = -0*j - 114, -3*s = j + 57. Let x be j/21 + 4/(-14). Suppose 0 = 4*n - 2*z + 22, 5*z + 2732 - 2767 = 5*n. Is x bigger than n?
True
Suppose -3*u + 3*i = -3, -4*u - 4*i - 6 = -7*u. Is -187/112 greater than u?
True
Let l(o) = -7*o + 9. Let n be l(2). Let y be 192/156*14/(-4). Which is smaller: n or y?
n
Let h = -127804/7 - -18258. Let b = 0.5 - 0.3. Let u = 0.1 - b. Which is smaller: u or h?
u
Let g be (6/10)/(26/(8320/(-96))). Which is smaller: g or -29.07?
-29.07
Let j be (-2806)/(-10) - 3 - 7. Let l = j - 271. Is l at least -3/47?
False
Suppose 151*f = -51281 + 4471. Which is smaller: f or -311?
-311
Let j = 199 - 119. Let o = 33/482 + 77777/964. Which is smaller: o or j?
j
Let i = -0.531 + 0.565. Are i and -60 unequal?
True
Let z = -160 + 159. Let i be 3*(-2)/36*-6. Let x be 1/i - (-3 - -7). Does z = x?
False
Let i = 337 - 745. Let u = -65 - -39. Let t be (3 - 6) + (i/u)/4. Is 1 < t?
False
Let i = -8491 + 8492.1. Are -753 and i equal?
False
Suppose 3*c = -3 - 0, 4*y = -3*c - 215. Let b = y - -57. Let l be ((b/6)/(-1))/((-16)/(-24)). Is l smaller than -1/21?
True
Suppose -2*q = 4*h + 44, -5*h - 49 = -q + 3*q. Let u be (2 + 20/q)*-1. Let n be (-19 - -19)/(0 + -1). Which is greater: n or u?
n
Let d = -1106 + 482. Let b = d + 355. Is 0.2 greater than b?
True
Let f = 1766/9 - 196. Which is bigger: 0.02457 or f?
f
Let z = 5633355/34 + -165699. Which is smaller: z or -12?
z
Let d = -1/8311 - 83093/141287. Which is smaller: 56.3 or d?
d
Let w(t) = -2*t + 464. Let c(u) = -2*u + 309. Let a(p) = -7*c(p) + 5*w(p). Let k be a(-47). Is k not equal to -33?
True
Let t = 239.1 - 238.8. Which is greater: t or 91?
91
Let y = 1.003 + 0.197. Let q = 3.2 - y. Which is bigger: q or -11/2?
q
Let l = 98 + -108. Let d be (l/2 - -3)/(-1). Suppose d = -v + 18. Is 17 greater than or equal to v?
True
Let f(b) = 3*b - 104. Let r(h) = -6*h + 212. Let i(a) = -7*f(a) - 3*r(a). Let z be i(31). Let x = 14144/9 - 1570. Is x smaller than z?
False
Let q = -24 + 41. Let g(n) = 5*n**2 + 21*n + 4. Let j be g(-4). Suppose 12*a - q*a - 15 = j. Do a and 6 have the same value?
False
Let q = -505292/22501875 + 2/36003. Is -2/5 > q?
False
Let p = -4.4 + 54.4. Let l = 36 - p. Is 0 at least as big as l?
True
Suppose o = 5*n + 4, 5*n + 0*n - 2*o = -8. Let x be 434/931 + (-16)/28. Which is bigger: x or n?
n
Suppose 4*v + 2 + 10 = 0. Let z = -297755/11 + 27067. Are z and v non-equal?
True
Let h = 10514 - 7846. Which is bigger: 2666 or h?
h
Let f = 613829/20 - 30822. Let p = f + 499/4. Is p < -6?
False
Let v be 2*-1 - (-24 - -20). Suppose v*h = -13 - 7. Which is greater: h or 5?
5
Let v(d) = -d**3 - 3*d**2 - 2. Let z be v(-4). Let g(o) = 2*o**2 - 26*o - 27. Let y be g(z). Is -2 at most as big as y?
True
Let a(r) be the second derivative of 1/12*r**4 - 1/2*r**2 + 8*r - 2*r**3 + 0. Let h be a(12). Do h and -7 have the same value?
False
Let h = 72165 - 60257768/835. Is h <= -1?
False
Suppose 40*r = 21*r + 570. Let m(f) = f**3 - 33*f**2 + 89*f + 24. Let x be m(r). Is x at least -71/12?
False
Let k = -5331 - -5552.1. Let j = -222 + k. Which is smaller: j or -2/3?
j
Let r(g) = -g**2 - 13*g + 3. Let j be r(0). Suppose 5 = 4*q + j*w + 38, 2*q = 3*w - 3. Is q at least -10?
True
Let a = -16/129 + -776/215. Let w = -20873/12 - -6971/4. Let x = a + w. Which is smaller: x or -12/13?
-12/13
Let d = -2.662 + 1.662. Is -74/15 at least d?
False
Let c = -39 + 4. Let p = 39 + c. Let k = -0.22 + 0.22. Is p at most as big as k?
False
Suppose 5*v + 1156 = 4*u, -2*v + 0*u = 4*u + 440. Let r = 420 + v. Which is greater: 193 or r?
193
Suppose 0 = 66*c + 12*c - 33 - 45. Which is smaller: c or 11/702?
11/702
Let b be (25/25 - 30/28)*-14. Let q be ((-2)/5)/((-446)/(-10)). Which is greater: b or q?
b
Let f(z) = -z**3 + 5*z**2 - z - 6. Let o be ((-36)/(-90))/((-2)/(-20)). Let b be f(o). Suppose b*p = 10*p - 32. Which is bigger: 20/3 or p?
p
Let f be (-4)/(-80)*(-305)/(-366). Which is greater: 46 or f?
46
Suppose 2*g = f - 2*f + 1, -2*f - 3*g + 1 = 0. Which is smaller: -65/29 or f?
-65/29
Suppose -5*j + 2*b + 16 = -45, 4*j = 5*b + 59. Suppose -5*g + 4*t + j = 0, 0*g - 4*t - 20 = 4*g. Are g and 1 non-equal?
True
Let l be ((-4)/18*(-315)/700)/((-8)/11824). Which is smaller: -148 or l?
-148
Suppose 18*p - r = 22*p - 1350, 2*r = -p + 327. Are 331 and p unequal?
True
Suppose 0 = 122*j - 121 + 365. Is j at most as big as -31/33?
True
Let h(s) = 59*s**2 - 51*s - 32. Let b be h(8). Is b <= 3336?
True
Let l be ((-4)/3 - -2)/((-320)/180). Let j(a) = a**3 - 14*a**2 - 31*a - 16. Let x be j(16). Is l less than x?
True
Suppose 0 = s - 8 + 4. Suppose s*o - 137 + 8 = -5*k, o = -3*k + 83. Let c = -48 + k. Which is bigger: c or -18?
-18
Let h be ((-41)/(-10) + (10 - 15))/((-36)/30). Which is smaller: -1/2 or h?
-1/2
Let j = -0.01 + -4.99. Let m = -5.1 - j. Let a = -839/540 - -41/135. Which is greater: m or a?
m
Let f be (272/(-816))/((-2)/6). Which is smaller: -2/1125 or f?
-2/1125
Let p(c) = -47*c**3 - 4*c**2 + 28*c + 62. Let v be p(-2). Which is bigger: v or 365?
v
Let w be 11151/294*(-64)/(-168). Which is bigger: 14 or w?
w
Let x be ((-1)/(-3))/(1/(-213)). Let s be (-10 - (9 - 18))*70. Which is greater: s or x?
s
Let a = -7549 - -7561. Is 2 at most a?
True
Suppose 0 = 3*c - 3, -4*s + 3*c - 29 = 14. Let i be ((-4)/(-10))/(6/(-30)). Let x = i - -1. Which is bigger: s or x?
x
Let r(z) = -z**3 - 6*z**2 - z + 2. Suppose 0 = -3*n + 18 + 108. Let y = n - 48. Let u be r(y). Which is smaller: 0.1 or u?
0.1
Let v(x) = x - 16*x + 326 - 10*x - 16*x. Let j be v(8). Which is bigger: -263 or j?
j
Let f(v) = -4*v + 32. Let p be f(16). Suppose -46*s + 0*s = 1426. Is s < p?
False
Let j = -620670/2611 + -320/373. Is -238 smaller than j?
False
Let o be (-14)/(-91)*468/72. Which is greater: o or 6/23057?
o
Let x = 18617 + -15003. Is -0.1 smaller than x?
True
Let d(n) = 2*n**3 - 3*n**2 - n + 6. Let a be d(2). Let i(v) = 3*v**3 - 22*v**2 - 15*v - 8. Let f be i(a). Is 1/3 at least f?
True
Let q(s) = -s**2 + 18*s - 15. Suppose -4*c + 4*b + 68 = 0, 2*b + 4 = -6. Let u be q(c). Which is smaller: 56 or u?
56
Let w = 5929/8 + -254979/344. Which is smaller: w or -1?
-1
Let t(v) = v**2 + 4*v + 1. Let z be t(-4). Let o(n) = 22*n**2 + 2*n - 1. Let m be o(