t c be h(0). Is b <= c?
True
Let d = 2667.99 + -2668. Is 59 bigger than d?
True
Let x be (-23)/(-1 - (384/(-92))/4). Which is bigger: -528 or x?
-528
Let z = -63 + 53. Suppose -5*l = -4*l + 10. Is l less than z?
False
Let s be (14 - 17) + (-236)/2. Which is smaller: s or -123?
-123
Suppose 0 = 2*g - 6*g + 2*r + 4, -3*r - 15 = 3*g. Let h be g - ((-228)/(-39))/(-4). Let t = 11/52 - h. Is t equal to 0?
False
Let l = -296 - -6214/21. Is 24 greater than or equal to l?
True
Let i be 20/(-10) + 445/222. Let f be ((-10)/222)/((-24)/(-116)). Let k = i - f. Is k >= 3?
False
Let r = -1351 + 1352. Which is greater: r or -165?
r
Suppose -12 = 3*l, b + 6 = 2*l - 10. Let x = 52 + b. Suppose -2*s - 2*c + 3*c = 12, -4*s + 3*c - x = 0. Are -5 and s unequal?
True
Let z be 47 + -17 + (-4)/(-2). Let s = z - 17. Let u = -9 + s. Is u at least as big as 6?
True
Let o be 3/6*0*-1. Let v be (-16)/8 - o/(-1). Let a be 3/(-3) - (1 + v). Which is smaller: a or 2/17?
a
Suppose 8 = 5*c + 13. Let s = -4/1475 - 24658/697675. Let a = s - 4/473. Is c bigger than a?
False
Let j = 397/165 + -1/165. Let m = j - 5/2. Which is smaller: m or 1?
m
Suppose 0 = 3*n - n - 18. Let z = -128 + 42. Let j = z - -95. Is j at least as big as n?
True
Suppose 0 = -3*p - 4*n - 423, -p - 5*n - 98 = 32. Is p bigger than -146?
True
Let l(m) = -3*m - 2*m + 4*m + 5. Let b be l(-7). Let j be 6/(-10) + b/20. Which is greater: j or 3?
3
Let b = -43/510 + 2/17. Let m = -1/5 + b. Is 0 smaller than m?
False
Let n = 27 - 36. Which is smaller: 29 or n?
n
Let x be ((-233)/4)/(1/(-8)). Which is greater: x or 464?
x
Suppose 0 = l + 13 + 32. Which is smaller: l or -43?
l
Let m be (-5)/30*(-27)/23. Which is smaller: -1 or m?
-1
Suppose -2*g + 3*w = 1, -4*w - 33 = g + w. Let x be -1*(-21)/(-9) + g/(-24). Which is bigger: -47 or x?
x
Suppose -4*k = a - 4, 3*k - 2*a - 3*a = -20. Is 4/5 at most as big as k?
False
Let r = 45 - 33. Let p be (-285)/(-340) + (-3)/r. Is p <= 2?
True
Let w(y) = -51*y + 152. Let x be w(3). Is x < 15/31?
True
Let i be 2/4 - 22/28. Let u = 284.974 + -285. Is i >= u?
False
Let l(x) = x**2 - 14*x + 9. Suppose 45 = 3*t - 0*t. Let s be l(t). Suppose b - s = 5. Which is smaller: 28 or b?
28
Let y(o) = -10 + 13 + 2*o**2 - 6*o - 6. Let x be y(4). Suppose 2*d = -x*r - 1 + 8, 4*r = -4*d - 4. Is r at most 12/5?
False
Let z = -586 - -712. Is 127 equal to z?
False
Let a = -1488/11 - -135. Let p(w) = -w**3 - 4*w**2 - 5*w - 6. Let x(d) = 4*d + 21. Let l be x(-6). Let v be p(l). Which is smaller: a or v?
a
Let t = -866 - -855. Let y = 1.8 - -0.2. Is t at most as big as y?
True
Let q be ((-9)/474)/(6/8). Let w be 8/3*(-5 + 95/20). Which is smaller: q or w?
w
Let d be 5/((-3100)/(-12))*-181246. Let u = d - -3508. Which is bigger: 0 or u?
u
Let y be 876/18*3*5/(-15). Which is greater: -48 or y?
-48
Let d(c) = -c**3 + 3*c - 2. Let q be d(2). Let x be (-695)/20 + 2/(-8). Let z be 22/(-60) - 7/x. Is z at most as big as q?
False
Suppose -19 + 25 = 3*w. Suppose 2*k + 28 = 5*c, -c - 2*k + 4 = w*c. Which is bigger: c or 5?
5
Let l(r) = r**2 - 13*r + 16. Let m be l(12). Let t be (-10)/(-35) + m/(-14). Let i be -10 - -13 - (-1 + 1). Are t and i non-equal?
True
Suppose -7*r = -3*r - 204. Is 48 less than r?
True
Suppose 0 = -4*z + 2*u - 60, -4*z = -2*u + u + 64. Let m = 17 + z. Suppose -5*t = -m*t - 15. Is t at least as big as 1?
True
Suppose 30 = 6*r - 0*r. Suppose r*h + 5*s = -0*s - 5, 3*h + 7 = -2*s. Is -5 at least as big as h?
True
Let q(j) = j**2 - 2*j. Let t(f) = f**3 - 6*f**2 + 9*f - 4. Let u be t(4). Let h be q(u). Is -1/6 at least h?
False
Let m(t) = -t**3 + 26*t**2 + 67*t + 581. Let j be m(29). Let a be (-2)/14*(1 + -1728). Let y = a + -246. Which is bigger: y or j?
j
Let i(o) = o - 9. Let w be i(-5). Let s be 8/40 - w/30. Is -2/7 less than or equal to s?
True
Let v = -6.82 + 7.32. Which is smaller: v or -4?
-4
Let z = 2048 + -1968. Which is greater: 79 or z?
z
Let m be 2/12*-13*-10. Which is smaller: 23 or m?
m
Let t = -7.5 - -6. Let k = t + 1.6. Let d = k - -0.2. Is -1 at most as big as d?
True
Let i = -1 + 1.1. Let p = -0.6 - 7.3. Let k = p + 27.9. Which is bigger: i or k?
k
Suppose -5*t - 4*j = 35, t - 5*j - 19 = 5*t. Suppose 4*i + 6*i = -140. Let x = i - t. Which is greater: -2 or x?
-2
Let s(t) = t**3 + 14*t**2 - 27*t + 36. Let y be s(-16). Let j be -3 + -1*1/1. Let f be ((-33)/y)/((-1)/j). Which is bigger: 2 or f?
f
Let b = -2471 + 29653/12. Let c = -40/13 + 254/91. Which is bigger: b or c?
b
Let z(n) = n**2 - 8. Let p be z(3). Let o be (-17)/(-68) + 94/(-280). Are o and p non-equal?
True
Let u be 488/20 + 0 - 2/5. Let f = 24 - u. Which is bigger: 2/45 or f?
2/45
Let t be (-12)/110*1*(-5 - 0). Is 2/11 >= t?
False
Suppose 0 = 15*j - 12*j + 414. Let k = j + 111. Is -28 bigger than k?
False
Let x = 246187/265 + -929. Are 0 and x unequal?
True
Let u = 420 + -503. Which is bigger: u or -2?
-2
Suppose -3*t + z = -5*t + 15, -2*t + 2*z + 12 = 0. Is t < 7?
False
Let n be 1*14/2*-2. Let p be (8/n)/(20/(-14)). Which is greater: 37 or p?
37
Suppose -j - 2*j = -6. Let f be (-2 + j)/(0 + -1). Let b be 8*(-407)/(-660) - 15*(-2)/(-6). Is b less than f?
True
Let c = 247/5 - 261/5. Which is greater: -2 or c?
-2
Let j = -111 - -106. Is j smaller than 15?
True
Let u be (-26)/(-7) - 4/(-14). Let m be (-15)/6 - (-2)/u. Suppose 2*k + 17 - 11 = 0. Is m > k?
True
Let b(l) be the first derivative of 9*l**2/2 + 3*l - 26. Let m be b(1). Let j be (-1)/((-2)/22) + -1. Which is smaller: j or m?
j
Let b = -1879 + 1935. Is 53 greater than b?
False
Let a be (24/6 - 0)*(-5)/20. Which is smaller: a or -9/25?
a
Let y(t) = -t**2 + 6*t + 12. Let p(a) = a**2 - 6*a - 11. Let g(d) = -6*p(d) - 7*y(d). Let q be g(8). Let v be (-1 + 1 + -3)*1. Is v < q?
True
Let a = -4 + 7. Let i = 0.422 + -0.122. Which is bigger: i or a?
a
Let s = 33 + -30. Suppose 2*m = k - 1 + 3, 3*m = -4*k + s. Let q(g) = g**3 - 2*g**2 - g - 1. Let b be q(k). Which is greater: b or 6/17?
6/17
Let f = 32 + -24. Suppose -f*d = -3*d + 45. Let y be d*-4*4/(-24). Which is smaller: -4 or y?
y
Let b be (-8)/(-54)*(2 - (-9982)/(-5012)). Is -1 at most b?
True
Suppose 4*l = -5*g + 36, -4*g = 2*l - 3*l - 12. Suppose 35 = -l*n + 7. Which is smaller: n or -8?
-8
Suppose 0 = 5*z - 5*x + 410, -4*z + x = 334 - 15. Is -79 not equal to z?
False
Let f be 1/((-110)/(-16)) - (59 + -59). Which is greater: f or 0?
f
Let o = 15 + -10. Let j be (o/24)/((2/8)/1). Which is smaller: j or 1/3?
1/3
Let j be (-43705091949)/23*133/295. Let f = -856709984 - j. Let q = f + 2/1357. Which is greater: -3 or q?
q
Let f be (-2*5)/(1/1). Let l be (1 + (-31)/3)*435/464. Which is bigger: l or f?
l
Let y be (-24)/15 + 17248/(-1820). Are y and -10 nonequal?
True
Let g be (13 + -5)*(-8 - -3)/10. Which is greater: g or -1/6?
-1/6
Let b be (-15 - 1)/(-3 - -2). Suppose b - 359 = -5*r + f, -r - 5*f + 79 = 0. Are 68 and r equal?
False
Let n(q) = 2*q**2 + 2*q - 3. Let l be n(-2). Let j = 148/3 + -742/15. Which is smaller: j or l?
j
Let b be -3 - (2 - (9 + -2)). Let o = -72/11 + 271/33. Which is greater: o or b?
b
Let f(t) = t. Let r be f(4). Suppose r*k + k - 25 = 0. Suppose 4*s + 19 = -k. Which is smaller: s or -4?
s
Suppose -27 = -2*z + 5*n, -3*n = z + 4*z - 52. Suppose -z = 3*w - 2*t, -8*w + t - 16 = -3*w. Is w less than -3?
False
Let p be (-15)/(-2)*8/6. Let k be ((-8)/20)/((-2)/p). Let t be ((-3)/k)/(4/(-8)). Which is smaller: t or 4?
t
Let q be 92/(-60) - (-22)/110. Let u = -43/28 + 5/4. Are q and u unequal?
True
Suppose 34 = 5*z - 3*n, 0 = -0*z + 3*z + 4*n - 32. Let l = z + -8. Is l at least as big as 1/9?
False
Suppose 6*f + 8 = 284. Let g be (-3)/(0 + -1) - 141/f. Is -1 != g?
True
Let y = 4 + -2. Suppose 4*v + 0*z + 67 = z, -2*v = -2*z + 32. Let m = -13 - v. Which is smaller: m or y?
y
Suppose 7*l + 31 = 10. Let n = -14 - -9. Which is greater: n or l?
l
Let a = 32 + -173/6. Let r = a + -265/78. Which is smaller: 1 or r?
r
Suppose 0 = 6*o - 2*o + 4. Let p be o/5 - 3/(-15). Suppose p = 5*x - 4*x. Is -5/4 less than or equal to x?
True
Let a = -1205 - -1205. Is -78/89 less than or equal to a?
True
Let n(x) = x**3 + 8*x**2 - x - 3. Let k be n(-8). Suppose 0 = k*y + 4*s, s - 6*s = 4*y - 9. Let p = 93/4 - 1015/44. Is p >= y?
True
Suppose 20 = -0*q - 5*q. Suppose a = -8 + 6. Let k be a - 2 - 6/5. Does q = k?
False
Let b(f) 