, -3*s = 4*z + 20. Suppose -d - 3*b + 18 - 84 = 0, 2*d - 3*b + 87 = s. Do d and -50 have different values?
True
Suppose 10*t = 15*t + 5*d + 10, 3*t + 5*d - 6 = 0. Which is greater: t or -466/55?
t
Suppose 3*p - 18 = 0, 0 = 3*o - 4*p - 378 - 174. Which is bigger: 194 or o?
194
Let h(b) = b**2 + 20*b - 36. Let t be h(-34). Let i = t + -221. Is 659/3 at most as big as i?
False
Let o be (7 - 2)*4/5. Suppose s + 3*l - 23 = -s, -o*s + 57 = -5*l. Let g be (-26)/s - (0 + 1). Which is smaller: 0 or g?
g
Let s = -40 + 117. Let w = s - 45. Let t = 32 - w. Which is smaller: -14/11 or t?
-14/11
Let v(t) = -15*t - 5. Let a(r) = 8*r + 5. Let d(l) = -7*a(l) - 4*v(l). Let b be d(3). Which is smaller: b or -54/23?
b
Let i = -2478.021 - -2477. Let n = 0.209 - i. Are 2/5 and n equal?
False
Let y = -0.427 + 0.017. Let o = y + 0.41. Let n = -0.3 + -0.7. Which is smaller: o or n?
n
Let q(y) = 18 - 3*y - 2*y**2 + 8*y + 4*y. Let c be q(6). Which is smaller: 2/185 or c?
c
Let g(f) = 10*f**2 + 2. Let y be g(-1). Let s be (8/y)/((-4)/(-26)). Is 6 equal to s?
False
Let d be 0/(2/2) + (-1 - 321). Let y = -45448 - -183073/4. Let g = y + d. Is g > -3?
True
Let t be (-4)/(-6) + (-66)/45. Let y = -1195/7 + 171. Which is greater: y or t?
y
Let i(w) = 2*w**3 + 42*w**2 + 44*w - 3. Let u be i(-19). Let t be (-10)/(-55) + 11/(u/(-10)). Which is smaller: t or -2/1131?
-2/1131
Let v = -2.074945 + 0.074945. Let t = 38.6 + -34. Which is smaller: t or v?
v
Let p be (-183 + -14)/((-6)/(-4) + 8/(-8)). Do 6 and p have the same value?
False
Let z be (2/4)/((-4)/8). Let g = 342 + -194. Let w = -3110/21 + g. Which is greater: w or z?
w
Suppose -4*k = 28*y - 33*y + 9, 3*y = 3. Which is smaller: -8/749 or k?
k
Let h(s) = 279*s + 1000. Let m be h(-7). Which is greater: m or 0?
0
Let k be (44672/(-2))/(-8)*((1 - 2) + 2). Is 2792 < k?
False
Let o = 8820.1 + -8820. Which is smaller: o or 2822?
o
Suppose -20*y + 18*y + 10734 = -4*m, 8*y - 43001 = 3*m. Is 5377 at most y?
True
Let m = -68 + 70. Suppose -y = 2*y + m*y. Let s = -498 + 38845/78. Is y less than s?
True
Let n be (-33)/(-22)*-340*2. Is n greater than -1019?
False
Suppose -2*k = -7*k + 6800. Suppose 2*i = 4*a + 6*i + k, -4*i + 365 = -a. Let s be (-680)/a - ((-2)/(-1) - 0). Which is smaller: 1 or s?
s
Suppose 0 = 4*q + 3 - 7. Let d = 3/3665 - -18289/43980. Is q < d?
False
Let m be -1 - ((-24)/(-3) + (2 - -25)). Which is bigger: m or -658/19?
-658/19
Suppose p + 5*u = 35, -7*p - 3*u + 43 = -2*p. Which is smaller: p or -4/113?
-4/113
Let k = -7 - -3. Let p = -5.904 + 2.004. Let x = p - k. Which is smaller: -10 or x?
-10
Let t = 2209 - 2203. Is 128 equal to t?
False
Suppose 0 = -w - 27 + 6. Suppose 106*v - 546 = 132*v. Is v at most w?
True
Let w = -338/309 + -594989/1545. Let n = w - -386. Is -0.021 <= n?
False
Let f be 28522/26 + -5 + -1. Is -1 less than f?
True
Suppose 12*z - 5*z = -350. Let b be -7 - (-4 + 149/z). Let u be 2/(-5) - 2/(-5). Which is greater: u or b?
u
Let p be (-307131)/45 - 18/(-135). Let n = 33901/5 + p. Which is bigger: n or -44?
-44
Suppose 7*w = 6*w - 8. Let b(v) = -v**3 - 9*v**2 - 8*v - 2. Let r be b(w). Let m be 3/(-3)*7 + r. Is m greater than 2?
False
Let h be (1 - (-28632)/32)/(2/(-8)). Is -3585 less than h?
True
Let n be 5758/(-720) - (113 - 121). Which is smaller: n or 0?
0
Suppose 15 = i - 4*i + 3*s, s - 13 = 3*i. Let z be i/14 + 3003/49. Suppose -55*p + 108*p + 480 = 61*p. Which is bigger: z or p?
z
Let y = -226 + 96.5. Let f = 129 + y. Let p = -0.4 + 0.7. Is f != p?
True
Suppose 573*k = 608*k + 2135. Which is greater: k or -16?
-16
Let m = -14159 + 14160. Let r = -331 + 11586/35. Which is bigger: m or r?
m
Let t(s) = -s**3 - 10*s**2 - 30*s - 127. Let d be t(-6). Is d less than 13/4?
True
Suppose -250 - 166 = -2*g. Let s = 10585 - 10376. Does s = g?
False
Let l be -7 - -11 - (7 - 11). Let r be (54/(-26))/(l - 9). Which is greater: 3 or r?
3
Suppose 0 = 906*w - 926*w - 720. Which is smaller: w or -37?
-37
Let h = -10187 + 8804. Is -1382 at least as big as h?
True
Let f = -30 - -57. Let b be 12/(-8) + 321/6. Suppose -n + 3*n - b = 0. Which is bigger: n or f?
f
Let a(t) = -t**2 + 13*t + 2. Let n be a(13). Let q be (2 - 0)*(n - 4). Let b(k) = 3*k**2 - 69*k - 79. Let r be b(24). Is q <= r?
False
Let r = -111837 - -112390.97. Let j = r + -554. Which is bigger: 2.4 or j?
2.4
Suppose 0 = -k + 5, -3*k = -2*m - k - 54. Let s(b) = -48 - 7*b + 112 - 4*b + 67. Let l be s(14). Which is smaller: l or m?
l
Let s be 4 + -6 + 2 - 942/52. Let k = s + 112/13. Let y = k + 53/6. Which is smaller: y or 12?
y
Let f = -17 - -20.7. Let g = -352466 - -4582061/13. Which is smaller: f or g?
g
Let j be 3*(-22)/(-3)*(-16)/20784. Is j at most as big as -1?
False
Let f be -4 + (5 + -1 - -2). Let o be ((-9)/(45/(-130)))/4*f. Let r(j) = -j**3 + 6*j**2 - 2*j. Let t be r(5). Which is bigger: o or t?
t
Let b = -9485 - -9487. Let t = 4 + -3.2. Which is bigger: b or t?
b
Let y = -464 - -465. Let d = 11 + -17. Let g = d - 5. Which is smaller: g or y?
g
Suppose p - 2 = 3*p. Let r = -215 - -376. Let z be ((-8)/(-20))/(r/20 - 6). Which is greater: p or z?
z
Suppose 0 = 17*f - 12*f + 20. Let p be f - 276/(-30) - 1/5. Suppose p*h + 8 = r + 3, h = 4*r - 20. Is h > -3?
True
Let t = -5730/127501 - 18/737. Is 0 at least as big as t?
True
Let o = -286 + 92. Let f = o - -3111/16. Is f != 1?
True
Let q = -37 - -37. Let j(t) = 2*t - 3*t**3 - t**2 + 1 + t - 5*t + 2*t**3. Let l be j(q). Is l less than -0.052?
False
Let l = 11.84 - 0.84. Is l less than -0.06?
False
Let g = 8/8377 - 6742/24603249. Which is smaller: 0 or g?
0
Let h = -267 - -272. Suppose -h*i - 102 = 538. Is -129 at least i?
False
Let k(w) = -326*w + 127. Let q be k(-8). Let u = -276232/101 + q. Is -1 equal to u?
False
Let s = 28 - 25. Suppose 2*k - 18 = -4*r - 0*k, -r + s = -k. Suppose -3*z - u = -1, r*u - u = 5*z + 17. Which is greater: z or -3/8?
-3/8
Let h = 820/13 - 47457/767. Is 2 >= h?
True
Let o = -8810 + 6102. Let n be 2 + o/678 - (-5 - -3). Are -1/3 and n non-equal?
True
Suppose 3*k = -2*r + 287, -4*k - 5*r = -10*r - 398. Is 1074/11 less than k?
False
Suppose 39*x - 5 = 44*x. Let a(g) be the first derivative of -g**3 - g**2/2 - 21. Let u be a(2). Which is smaller: u or x?
u
Let y(m) = -m**2 + 49*m + 211. Let x be y(-4). Is -105/197 < x?
False
Let j = 11662.19 + -11662. Which is greater: 2/9 or j?
2/9
Let j = 5 + -5. Suppose j = 2*n - 4*s - 8, -2*n = 3*s - 2*s + 2. Let a = 5734/21717 - 1/1143. Which is smaller: a or n?
n
Let w(s) be the first derivative of -55*s**2/2 + 109*s - 65. Let y be w(7). Is y less than or equal to -276?
True
Let j = 0.091 + -58.091. Let d = -59 - j. Let n be (-4)/((-32)/10)*2. Are n and d non-equal?
True
Let p be 30*((-2)/(-14) - 16/(-84)). Suppose -p*g + 21*g = 330. Is g greater than 0.2?
True
Let w(c) = -2*c**3 + 40*c**2 + 21*c - 1666. Let n be w(18). Let b = -0.9 + -6.1. Which is bigger: n or b?
n
Suppose 4*y + i = -2 + 10, -i + 5 = 3*y. Suppose -y*h + h + 6 = 4*n, -23 = -2*n + 3*h. Let t be ((-3)/27)/(n/12). Is -1.2 > t?
False
Let d = 444595.118 + -445451. Let s = d - -856. Which is bigger: 2 or s?
2
Let j = -174 - -99. Let l = 51 + j. Which is greater: l or 0.1?
0.1
Let q(z) = -z**2 - 14*z - 16. Let d be q(-12). Suppose -50 = -d*n + 222. Suppose -46*r - n = -47*r. Which is smaller: 0 or r?
0
Suppose 1429 = -s - v - 105, -2*s - 3080 = 5*v. Let i be (2/(-30))/((-7625)/s - 5). Is i greater than 4?
True
Suppose 24*a + 17522 = -6862. Which is greater: -1018 or a?
a
Let n = 181189/10 + -18119. Which is bigger: n or 54?
54
Let w be -5 + 7/(5 - (-31014)/(-6201)). Is w != -4828?
False
Suppose -20715*l + 2464 = -20743*l. Is l less than -77?
True
Let h = -85 - -424. Suppose -1297 = 4*j + h. Which is smaller: -408 or j?
j
Let t = -708.057 + 711. Let i = 0.057 + t. Suppose 2*z + 4*w + 18 = 0, 5*z - 3*z - w + 8 = 0. Which is bigger: i or z?
i
Let a = 45 + -53.4. Let y = -54 + 53.905. Let k = y + 0.195. Is a bigger than k?
False
Suppose 331715 + 294361 = -93*f. Which is bigger: -6731 or f?
-6731
Suppose -3*v = 3*j - 24, -2*v - 2*v - 5*j + 33 = 0. Let z = -1445 - 208. Let r = -1662 - z. Which is smaller: r or v?
r
Let r be 1*(5 + (4 - (-8)/(-1))). Let u = 158/7 - 2398/105. Which is greater: u or r?
r
Let l be 2/(-2005)*100/(-360) - (-2 + 2). Is 0 at most as big as l?
True
Let u