 + 14*u. Let h be y(7). Suppose -4*t + 4 = h, 20 = -5*z - 2*t + 7*t. Let b = 2 + -2. Which is greater: b or z?
b
Let h(l) = -l**3 + l**2 + l - 1. Let s be h(0). Let f be 135/12933*3/5. Let g = f - -3775/9101. Are s and g unequal?
True
Let h = 10.68 + -11.9. Let f = -365991 - -3293921/9. Is h smaller than f?
True
Suppose -g = -16*w + 7*w - 579, g + 2*w = 568. Are 570 and g equal?
True
Suppose -5*c + 3982 = -9*c + 2*a, 4*c + 2*a + 3994 = 0. Let z = c - -997. Let h = 170/77 - 18/7. Which is bigger: h or z?
z
Let r(x) = -53*x + 1. Let n be r(-3). Suppose -4*h + 4 = d - 134, -3*d = 4*h - 462. Which is bigger: d or n?
d
Let r = -399 + 408. Suppose 4*m - 24 = -3*k, -k + 4 = -m - 4. Which is smaller: k or r?
k
Let d = -1387 - -226090/163. Let a = d + -1283/8476. Let x = a - 2/13. Which is smaller: 24 or x?
x
Let x(h) = -2*h - 18. Let s be x(-10). Suppose -s*j + 17 + 5 = 0. Suppose 0 = 2*c + 3 + j. Is -7 at most as big as c?
True
Let t = 114 - 47. Let y = 265 - 262. Suppose 0 = -y*r - 88 + t. Which is greater: -6 or r?
-6
Let x be 21/12 - (-6)/(-8). Let p(w) = -24*w**3 - w**2 + w - 1. Let u be p(x). Let v = 16741 + -16767. Which is bigger: u or v?
u
Let z = -162 + 166. Suppose -x + 3*g - 245 = z*x, -2*x - 98 = 2*g. Is 1 bigger than x?
True
Let p = 532 - 531.444. Let d = 0.506 - p. Is 44 at least as big as d?
True
Let r be -20 + 19 + (-1 - 787/(-1)). Suppose 2*m = 5*p - r - 506, 1013 = 4*p + 5*m. Is p at most 257?
True
Let r(t) = 13 - 146*t + t**2 + 33 + 168*t. Let m be r(-19). Is m bigger than -73/6?
True
Let f = 3402870/49 + -69450. Let p = -1426/735 - f. Which is bigger: 1 or p?
p
Let w = 1198 - 1128. Is -0.069 < w?
True
Suppose 9*z - 17 = 55. Suppose z = -f + 16. Are 0 and f equal?
False
Let h = -16713 - -16637. Is h bigger than 44/9?
False
Suppose -2*j - 115 = 2*j + 3*w, 105 = -5*j + 4*w. Suppose 2*p + 25 = 4*u - 9, -4*p + 3*u = 78. Which is smaller: j or p?
j
Let n(v) = -v**2. Suppose -5*o + 6 = -4*d, 2*o = 2*d - 2 + 4. Let u be n(d). Let b be (16 + -15)/((-2)/(-34)*u). Is 0.1 less than or equal to b?
False
Suppose -5*f + 2905 = -5*i, -3*f - 24*i + 1763 = -22*i. Which is smaller: 584 or f?
584
Let o = 1655 + -1654.9. Which is bigger: o or 1949?
1949
Let u = -1048 + 7332/7. Which is bigger: 2/1077 or u?
2/1077
Suppose s = 4, 18 - 382 = 4*w + 3*s. Let a = 828 - 921. Is w less than or equal to a?
True
Let n = 1172 - 701. Let i be n/135 + 3/(-5). Suppose 5*k - 3*x - 13 = 0, -23*k + 19*k + 12 = -4*x. Which is bigger: i or k?
i
Let d be 31 - (1 - -1)*-1. Let w be 6/33 - (-60)/d. Suppose 0 = 11*r - 95 - 26. Is r bigger than w?
True
Let f be 8/(-100) - (-803)/(-275). Is -20 < f?
True
Let b(d) = 7*d - 457. Let k be b(67). Let i = -20 + 36. Let t = i - 2. Is k not equal to t?
True
Let p = -4240 - -4241. Is 3/2318 smaller than p?
True
Suppose 17 - 220 - 49 = 126*z. Do -720 and z have different values?
True
Let l = -550 - -559. Suppose c - 34 = 5*f, 0*f - l = f + 2*c. Which is bigger: f or -6?
-6
Let n be 15/120*4*(20574/6850 - 3). Is 0 != n?
True
Suppose 14*b - 6742 = -4648 + 7622. Which is smaller: b or 695?
b
Let p = -22 + 38. Let b be -576*(262/(-52) - -5). Let h = b + -333/52. Is p > h?
True
Let k(d) be the second derivative of d**5/60 - d**4/8 - d**3 - 3*d**2/2 - 4*d. Let z(q) be the first derivative of k(q). Let x be z(4). Are -2 and x equal?
True
Let s be (-2)/100*-146 + 2004/25050. Is 0.01174 less than or equal to s?
True
Let p = -1019.1 + 1031. Is p > -3?
True
Let c be 2/(2*(-12)/(-4)). Let y = 917 - 910. Which is bigger: c or y?
y
Let l(b) = 2*b**3 + 2*b**2 - 17*b + 174. Let g be l(0). Which is greater: g or 179?
179
Suppose 22*j - 35 = 273. Let y be -3*(-788)/42 + -10 + j. Is y > 59?
True
Let q be -20*(4 - (-75)/12). Let g = q + 228. Is g at least 156/7?
True
Let v(d) = -d**2 + 2*d - 13. Suppose 0 = -0*h - h - 2*h. Let t be v(h). Let b be (-26)/t*1/50. Which is smaller: -1 or b?
-1
Let d = -787 + 106. Let p = -680.87 - d. Which is smaller: -2 or p?
-2
Suppose s + 1 = 0, -5*s = -5*c - 2*s + 223. Let x = c + -45. Which is smaller: x or -158?
-158
Let l = 62 + -47.1. Suppose -144*w - 12*w = 121*w + 56*w + 666. Are l and w equal?
False
Let u(d) = -d**2 + 16*d - 71. Let n be u(7). Is 510 at least n?
True
Let v = 548.8 - 479. Let n = 21.2 + v. Let i = -89 + n. Which is bigger: i or 25?
25
Let z(m) = 2*m**2 - 4*m - 671. Let p be z(-18). Let b = -1317/5 - -1566/5. Which is smaller: p or b?
p
Let f(d) = -d**3 - 26*d**2 + 5*d + 44. Let l be f(-15). Let n be 32/(-24) - l/3. Which is smaller: n or 835?
n
Let i(v) = 0*v - 4*v - 5*v - 24 + 8*v + v**3. Let u be i(0). Let r = -12 - u. Is 15 not equal to r?
True
Let g = -896 - -1386. Suppose -160 = 13*r + g. Is -345/7 not equal to r?
True
Let a be (-72)/(-8) + -8 + -1 + 539. Do a and 539 have the same value?
True
Suppose -39736 + 23302 = -11*c. Which is smaller: 1493 or c?
1493
Let x = -3718 - -3950. Is x at least as big as 0?
True
Let t = 2 + -6. Let k = -1.58967 + -11.41033. Which is greater: t or k?
t
Suppose -65*b = 2*a - 63*b + 62, a - 5*b + 49 = 0. Suppose 95*d + 136 = 91*d. Is d < a?
False
Let q = -12227 + 10286. Which is smaller: q or -1945?
-1945
Let d = 111 - 109. Suppose 5*g - 163 = -2*n + 5*n, 31 = g + n. Suppose -d*v + 24 = -g. Is v < 28?
False
Let x be (118/(-204))/((-12)/(-33923718)). Let s = x - -1635245. Let l = -131/4 + s. Are 1 and l nonequal?
True
Let x be (2/(-264))/(5 - 4). Let u = 61/660 - x. Let s be 2/4 + 1/(-2). Is u != s?
True
Suppose 2403*k - 2421*k = 0. Is -1/7287 <= k?
True
Let h = -2/25 - -7/400. Let b = -223104 - -223103. Which is bigger: b or h?
h
Suppose 0*g = -4*g - 64. Let z(l) = -61*l**3 + 2*l**2 - 2*l + 2. Let b be z(1). Let r = b + 43. Is g < r?
False
Let g be (-32)/104 + 96588/314080. Is -1 less than or equal to g?
True
Let l be 9/(-2)*400/(-40). Suppose 7*o - 16*o = l. Which is smaller: -40 or o?
-40
Let u be -2 + 4 - (-4590)/(-2223). Which is bigger: 1 or u?
1
Let t(i) = -i**3 - 60*i**2 + 5*i - 556. Let l be t(-60). Is -856 at least l?
True
Let a(t) = 2*t**3 + 18*t**2 + 14*t - 11. Let q be a(-8). Let r be (-1 - (-3)/q) + (-1270)/200. Which is greater: r or -7?
r
Let v be ((-2)/3)/(22/957). Let h = 31 + v. Suppose h*i - 35 = 19. Is 27 <= i?
True
Let h = -0.22 - 1.48. Let p = -0.3 + h. Let d = -4.339774 + 4.419774. Which is smaller: p or d?
p
Let h = -126 + 135. Let k be 5*(-8)/(-20) - 0. Let p = k - 3. Which is greater: h or p?
h
Suppose 0 = -4*n - 5*r + 209, 4*r = -2*n - 0*r + 100. Is n > 277/5?
True
Suppose 72*t = -1752 + 744. Is t >= -71?
True
Let r = 2/11831 + 508721/70986. Which is greater: 7 or r?
r
Suppose 42*a = 38*a + 4. Let t = -819/368 + 44/23. Is t >= a?
False
Suppose -877 = -47*g - 1322 - 3315. Which is greater: g or -69?
-69
Suppose 2*n + 5*s + 28 = 0, 3*n - 3*s = -8*s - 47. Is -105 at most as big as n?
True
Suppose 4434*d = 4439*d. Is -1/39 at most d?
True
Suppose 3*v + 73*o = 77*o + 75, 9*v + o = 303. Suppose -s - 296 = -5*s. Let l = -44 + s. Is l at least as big as v?
False
Let y(o) = -o**2 - 17*o - 15. Let g be y(-16). Let x be ((-48)/((-12)/4) - g)/1. Suppose x + 15 = 5*d. Which is bigger: d or 3?
d
Let u = -9561 + 9572. Is -0.8 bigger than u?
False
Suppose 0 = -3*n - o - 5, 0*n - 15 = 3*n + 3*o. Which is bigger: 17/97 or n?
17/97
Let f(g) = g**2 + g + 1. Let v be (3 - 3 - 0)/3. Suppose v = 4*o - 2*o + 2. Let p be f(o). Is 3/19 smaller than p?
True
Let q = -244.51 + 243. Let f = q - 190.49. Which is bigger: 0 or f?
0
Suppose 4*z + 105 = -3*a, 3*z - 47 = 2*a + 6. Suppose 24*h - 11842 = 281*h - 3618. Do h and a have the same value?
False
Let w be ((-17742)/32)/((-293)/4688). Which is smaller: 8872 or w?
w
Let g(q) = q**3 + 11*q**2 + 10*q + 104. Let h be g(-11). Let b be -14*(-60)/70*(-4)/h. Which is smaller: 55/6 or b?
b
Let t(i) be the first derivative of -i**3/3 + i**2/2 - 19. Let f(b) = 2*b**2 - 5*b + 22. Let m(w) = -f(w) - 3*t(w). Let s be m(-6). Is s <= 22?
True
Suppose 6*x - x = -3*n - 137, 4*n + 5*x = -181. Let g be 11/n - 254/24. Is g >= -10?
False
Let f = 32.04 - 31. Let v = f - 0.04. Let k = -16.5 + 15.9. Is v greater than k?
True
Let f = 13196/299723 - 5334695807/12919260192. Let i = f + 30/449. Let z = -1/32 + i. Is -9 bigger than z?
False
Let g = -418.95 - -397.95. Let j = -1 - 0. Is j less than or equal to g?
False
Let i(s) = -3*s**2 - 4*