n j?
False
Let x be 3 + 8/20 + (-607)/30. Is -17 < x?
True
Let x(g) = -g**2 - 7*g + 8. Let b be x(-8). Let o = -3876/25 - -155. Let n = o - 22/75. Which is greater: b or n?
b
Let k(y) = 2*y**2 + y + 2. Let g be 3/(3/(-6) + 2). Let n be k(g). Which is bigger: 10 or n?
n
Let c = -4.99 + 5.79. Let n = 0 - 1. Is c bigger than n?
True
Let j = -368 - -367. Is j bigger than 2/909?
False
Let z = -1139 - -10241/9. Suppose -g = -4*t + 12, 4*g - 2*t = -0 - 6. Which is smaller: z or g?
z
Suppose -6*j + 4*o - 1375 = -11*j, 2*j - 527 = 3*o. Is j at least as big as 273?
False
Suppose 0 = -0*d + 3*d - 18072. Let z = d + -30217/5. Let p = z - -363/20. Is p <= 0?
True
Let o be (4 + -1)/(6/46). Let m = o - 20. Suppose -h + 2*r + 9 = 0, 7*r - m*r = -16. Which is bigger: h or 2?
2
Let h(k) = -k**2 + 10*k - 107. Let z be h(10). Which is greater: z or -105?
-105
Let t = 0.08 + -0.68. Let v = -1.2 - t. Let j = v + 2.6. Which is bigger: 4 or j?
4
Suppose 4*d + 0*d + 4*x - 48 = 0, 0 = d - 3*x - 8. Suppose 44 - d = 3*q. Is q at least 31/3?
True
Let m be 7/28 - (-46)/8. Suppose 3 = m*n - 5*n. Suppose 4*l = -o - n*o - 8, -8 = l + 4*o. Which is smaller: l or -1/15?
-1/15
Let w = 0.13 + -1.43. Let v = 0.5 + -1.6. Let z = v - w. Is 9 equal to z?
False
Suppose q - 312 = -q - 5*z, 4*z - 624 = -4*q. Let l = -94 + q. Which is smaller: l or 63?
l
Let z = 301/32 + 3/32. Let a = z + -289/30. Let o be (1 - -4) + -3 - 2. Which is smaller: o or a?
a
Let k = -7737/182 + 1/91. Which is greater: -43 or k?
k
Let l = -1 + 22. Let f(z) = -78*z + 21. Let g be f(0). Is l greater than g?
False
Suppose 3*h - 15 = -2*h. Suppose w = 3*d + h - 1, 24 = 5*w - d. Suppose w*i + 0*i - 3*s + 5 = 0, s - 5 = 0. Which is greater: i or -1?
i
Let h = -348346484/1412761 + -2/201823. Let z = 247 + h. Which is bigger: z or 0?
z
Suppose 3*q = 2*o + 2623, 685 - 5065 = -5*q + 5*o. Let j = -190 + q. Let p = j - 18385/27. Is p at most as big as 1?
True
Suppose 25*x = 47*x. Which is greater: x or -2/209?
x
Suppose 2*y - 2*t - 126 = 0, -4*y = 4*t + t - 216. Let c = 63 - y. Do 4 and c have the same value?
True
Let k be (-90)/21 - ((-74)/14 + 5). Let s be (3 - (-17)/k) + 3/12. Is s equal to 2/207?
False
Let b(u) = u**2 - 24*u + 83. Let j be b(15). Do -52 and j have different values?
False
Let a = -184399/61 + 3023. Are 0 and a unequal?
True
Let d be -4*(-18)/48*(-12)/(-81). Let f be 1/(-3) + (-1)/(-3). Suppose f*w + w = 1. Which is smaller: w or d?
d
Suppose -23*t + 218 = -265. Which is bigger: -5 or t?
t
Let q be 18055/314*2/5. Is q >= 6/11?
True
Let o(s) = 3*s**3 - s**2 - 4*s + 2. Let y be o(3). Let h = 63 - y. Are h and 1/61 unequal?
True
Let s = 327 + -371. Which is bigger: s or -1?
-1
Suppose -25 + 1 = 2*m. Suppose z + 4*u + 20 = -3*z, 0 = 3*z - u + 35. Which is smaller: m or z?
m
Let n = -7.1 - -10.2. Let x = n - 3. Is 0 equal to x?
False
Suppose 3*r + 21 = 2*d + 6*r, -5*d - 4*r = -70. Let j be 23/3 - 1 - 12/d. Let p(u) = u**2 - 6*u - 1. Let o be p(6). Which is smaller: o or j?
o
Let m = -39667/35872 - -1/1888. Which is smaller: -2 or m?
-2
Suppose 2*s - 9*p + 11*p = -212, 5*p = -2*s - 227. Is -99 > s?
True
Let g be 18/(-195) - 12/39. Which is greater: 2/41 or g?
2/41
Let p(c) be the second derivative of c**5/2 - c**3/2 + 2*c**2 + 18*c. Let h be p(2). Is 78 at most as big as h?
True
Let d = -6.9 + -29.1. Let o = 35.9 + d. Let u = 1.6 + -0.9. Is u less than o?
False
Let x(g) = g - 11. Suppose -c = -4 - 11. Let f be x(c). Suppose -f*j = -5*j. Are j and 3 unequal?
True
Let w = 52 - 46. Suppose w - 62 = -2*n. Is 27 greater than n?
False
Let f = 9160 - 2848763/311. Let q = 667/4665 + f. Let y be -1 - (3 + (-4 - (5 - 4))). Which is smaller: q or y?
q
Suppose i + 3 = 2*n, -3*n = 39*i - 38*i + 8. Is -3/7 equal to n?
False
Let z = -3.5 - -0.5. Which is smaller: 24/7 or z?
z
Suppose 4*u = 4 - 0, 2*z = 4*u - 8. Let k be z*((-36)/(-56) - 1). Let l(p) = p**3 + 2*p**2 - 2*p + 3. Let x be l(-3). Which is smaller: k or x?
x
Let z = -27 + -56. Does -0.1 = z?
False
Suppose 43*t + v = 47*t - 5, -5*v = 5. Is 28/33 >= t?
False
Let d = 31 - 81. Which is smaller: d or 4?
d
Let r = 34 + -31. Let n(x) = 1 + 11 + 5*x**2 - x**r + 8*x**2 - 6*x**2 + 5*x. Let a be n(8). Is a <= -11?
True
Let n be 3/((-12)/(-8)) + (5 - 8). Which is greater: n or 1/667?
1/667
Let c be (-3)/9 + (-8)/12. Let t(r) = 27*r**2 + r - 5. Let h be t(6). Let z = 25295/26 - h. Which is smaller: c or z?
c
Let o be ((-8)/(-3))/(-2) - 549936/6480. Which is smaller: o or -86?
o
Let k = -144/31 + 6861/1457. Suppose -3*g + 5*g = -2. Is k greater than g?
True
Let g be (6/(-852))/((-109)/9815). Let m = g + -46/71. Let n = m - -492/109. Which is smaller: 4 or n?
4
Let c = -13 - -13. Let p be c - ((1 - 3) + 7). Is p > -5?
False
Let l = -244 + 169. Let q = -50 - l. Let o be (4/5)/(370/q). Which is smaller: o or 1?
o
Let c = -2/205 + 3306/2665. Let i = c - 138/91. Is 0.4 != i?
True
Let r = -135 - -136. Which is greater: -594 or r?
r
Suppose 3*b + a = 32, -4*b + 2*a + 7 + 29 = 0. Which is smaller: 51/5 or b?
b
Let y = -321/1268 + 1/317. Which is smaller: 0.056 or y?
y
Let u be (-2)/5 - (-1 - (-2691)/(-15)). Which is smaller: 181 or u?
u
Let o be 1/6 - 9/(-27). Which is smaller: o or -30?
-30
Suppose l - 6 = -l. Suppose 40 = -5*c + 3*r, 3 = 2*c - 4*r + 5. Let d = -5 - c. Is d at least l?
True
Let j(i) = 3*i**2 + 14*i - 3. Let f be j(-6). Which is smaller: 24 or f?
f
Let r(h) = h**3 + h**2 + h + 1. Let y(k) = 8*k**3 + 3*k**2 + k + 9. Let c(n) = -6*r(n) + y(n). Let x be c(3). Which is smaller: x or 17?
x
Let a(f) = -f**2 + 3*f + 4. Let m be a(3). Let p(k) = k**3 - 3*k**2 - 3*k - 4. Let x be p(m). Suppose -6*w + w - 35 = x. Is -8 > w?
False
Let v = 2 - 4. Suppose -5*m + 5*l - 22 - 8 = 0, -6 = m + 2*l. Let b be (4/6 + (-7)/21)*m. Is v greater than or equal to b?
True
Let f = -327 - 30. Let t = f + 1421/4. Is -2 != t?
True
Let f = 1781 - 8906/5. Is f < -12?
False
Let k(h) = 4*h**2 - 11*h + 4. Let d(f) = 5*f**2 - 11*f + 5. Let j(u) = 3*d(u) - 4*k(u). Let t be j(11). Which is greater: -1/76 or t?
-1/76
Let b be 9 - (2 - 6 - -5). Is b greater than 7?
True
Let y = 13 - 9. Suppose -3*k + y*k = 5. Let s be -2 + 7 - (-1 - -1). Are s and k unequal?
False
Let v = 2.68 - 2.78. Which is greater: v or 1/86?
1/86
Let n = 312.4 + -291. Is 2 less than n?
True
Let x(l) = 9*l**2 + 2*l - 6. Let n be x(-4). Let g be -2 + n/42 + -1. Are g and 1 non-equal?
True
Let k(o) = 15*o - 6. Let q be k(6). Suppose 5*v - q = -4. Let m be 4/(-6) - 329/(-21). Which is bigger: v or m?
v
Let r = 4 + 0. Suppose 2*t + t - 19 = -o, r*o = 2*t + 6. Suppose -18 = 5*u - 48. Is t greater than u?
False
Suppose -5*b - 2*f = -58, -2*b = 2*b + f - 44. Let a(n) = 9*n**2 - 15*n - 15. Let o be a(-1). Is o not equal to b?
True
Let s be -1*-1*2 + -2. Suppose 100 = -2*r + 7*r. Let l be ((-4)/r)/(3/5 - 1). Which is bigger: s or l?
l
Suppose -578*o = -550*o - 1036. Which is bigger: o or 32?
o
Let t = 270 + -272. Let n be (1 - 15/(-3)) + 0. Let q(o) = -o**3 + 7*o**2 - 7*o + 3. Let j be q(n). Which is greater: t or j?
t
Suppose 0 = -51*n + 40*n - 22. Is -9 at most n?
True
Let u be (-3)/(6 - 0)*0. Let z be ((-1 - -1) + u)/(-2). Suppose z = -n + 2*v - 7*v - 14, -3*n + 3*v + 30 = 0. Which is smaller: n or 7?
n
Let b(y) = 30 - y**3 - 18 - 7*y**2 - 6*y - 13. Let v be b(-6). Let k be (3/39)/(v/(-3)). Which is bigger: 0 or k?
k
Let t(p) = -5*p - 4. Let i be t(0). Suppose 4*n - 63 = 13. Suppose n = -h - 5*o, 2 = -2*h + 4*o - 2*o. Is h at least as big as i?
True
Let q(t) = t**2 - 5*t. Let f be q(4). Is 0.01 at most f?
False
Let a = -2456 - -17194/7. Let u = -3.04 + 0.04. Is a at most u?
False
Let r = 1 - -3. Suppose -5*a + 3*p + 31 = -12, 0 = 3*a - 4*p - 28. Is a greater than r?
True
Let k = 6 + -6.025. Let n = -28.975 + k. Let q = n + 29.6. Which is bigger: q or -2/11?
q
Let p be (2/(-5))/(8/14). Suppose m + 30 = -701*c + 705*c, 3*c - 19 = -m. Is m at most as big as p?
True
Suppose -3*t = -2*t. Suppose 5*s = 3*k - 10, t = -2*k + 3*k + 3*s + 6. Is k greater than -0.03?
True
Let h = 1.72 + -1.82. Suppose 2*i - 7*i - 30 = 0. Let a be (8/(-110))/(i/(-15)). Which is bigger: h or a?
h
Let m = 0.2 - -22. Let i = -2 + 24. Let k = i - m. Is k greater than -2?
True
Suppose 33 = 2*a + a - 3*q, 4*q = 16. Let s be (2 - 1)/(85/a). Let g = s + -128/51. Which is smal