207 + 514. Suppose -4*i + b + 407 = 0, -b + o = 4*i - i. Let z be 0 + -2 - -1 - -103. Is z smaller than i?
False
Suppose 12 = 4*k + 4. Suppose 0*r = k*r + 2. Let z = 27879/61 - 457. Which is smaller: r or z?
r
Let a be (-6)/14 - (-9)/(32886/1692). Suppose 17 - 5 = 6*w. Suppose s = -t - 2, w = -4*s + 3*t - t. Are s and a unequal?
True
Suppose 520*n - 354*n = 0. Which is bigger: -50/107 or n?
n
Let r be (-2)/(-4) + 2*74/(-16). Let o = -175 + 166. Which is smaller: r or o?
o
Let q be (-1442)/1096 + 24 + 273/(-12). Is -0.1 <= q?
True
Let k be (-4)/12 + (-176)/(-150). Suppose 185*g - 849 = -480*g + 481. Which is bigger: g or k?
g
Let r(s) = s**3 - 24*s**2 - 24*s - 9. Let d be r(25). Suppose -b = d + 11. Which is smaller: -26 or b?
b
Suppose 5*m = -69 - 31. Let p = 21 + m. Let x = 1582/9 - 176. Does x = p?
False
Let d = -36 - -36.37. Let o = 33 - 31. Which is bigger: o or d?
o
Let m = -7807 - -2766. Which is bigger: m or -1?
-1
Let s be 381 - ((-112)/70)/((-1)/(-5)). Is s greater than or equal to 389?
True
Let g(f) = -40*f - 25. Let c be g(-6). Let t be ((-2458)/c)/(-2) - 4. Let v = 5/43 - t. Is v smaller than -1?
True
Let a = -525.8562 - -526. Let u = a + -0.0548. Is 0.1 at least u?
True
Suppose -4*k = 2*y - 618, -4*k + 747 + 190 = 3*y. Let m be -1 - 0 - 1 - -2. Is y at least m?
True
Let n = 1697 + -1695.5. Let b = -128 - -122.7. Let a = 5 + b. Is a not equal to n?
True
Suppose -2*b + 21*a - 17*a = 40, 3*a = -5*b - 139. Which is smaller: b or -72?
-72
Suppose 4*c + 3483 = 3*d, -24*d + 25*d - 1 = 0. Let v = c - -870. Which is smaller: v or -9/83?
-9/83
Let s be 3 - (88/(-14) + (-20)/(-70)). Let r be s/((-567)/(-203)) + -1 + 2. Which is smaller: 3 or r?
3
Suppose -s - 12 = 44*n - 48*n, 2*n - 34 = 4*s. Let o be (s/(-290))/(18/5). Let p be (1 + 2/(-3))*3. Is p greater than o?
True
Let g = -4202.06 - -4017. Let v = 185 + g. Is -0.1 greater than or equal to v?
False
Let r = -38.4 + -24.6. Let y = -62.915 - r. Which is bigger: y or 2/7?
2/7
Let c be (8/36 - (-54985)/630)*-54. Which is smaller: c or -4727?
-4727
Let y be 60*(-3582)/(-19539) + -11. Is y bigger than -1?
True
Let n(k) = 2*k**3 - 21*k**2 - 15*k + 25. Let z be n(11). Let u be (z + 1)*(13 - (-7122)/(-549)). Is 1 equal to u?
False
Let n = 0.05162 - 2.67162. Is -9 less than n?
True
Suppose 2*j - 391 + 1400 = 3*q, -5*j - 2498 = -4*q. Which is greater: j or -475?
-475
Suppose 4*p + 387 = l, -l + 45 = -3*p - 245. Is p greater than or equal to -683/7?
True
Let s = 1/9021 - -165382/27063. Let i = s + -6. Let z(h) = h**2 - 3*h - 4. Let y be z(4). Is y smaller than i?
True
Let o = -1.885 - -19.08. Let n = o - 0.195. Which is smaller: n or -2/9?
-2/9
Let i be (10/(-25))/((-11)/5 + 2). Suppose 4*h - 120 = -i*t, -3*t = -13*h + 14*h - 175. Which is greater: t or 57?
t
Let a = -1725 + 1725. Which is smaller: 2/1553 or a?
a
Let n = 1962.2 + 1040.8. Is n greater than or equal to 2/3?
True
Suppose -4*f + 28*h = 23*h + 3694, -4*f + 4*h - 3696 = 0. Let z = f - -952. Is z bigger than 31?
False
Suppose 6*j - 94 = -4. Let h be 24*(70/j + -1). Let p = -89 + h. Is 1/51 >= p?
True
Let w = 1.467 - 1.458. Is w less than or equal to -19?
False
Let u(r) = -27*r - 15. Let y be u(-1). Let n be y/42 + (-16)/42. Which is smaller: -1 or n?
-1
Let j = -70001/58 - -1207. Let t be (3 - 26/9)/(7/63). Which is bigger: j or t?
t
Let m = 3.626 - 3.826. Which is bigger: -1/473 or m?
-1/473
Suppose 2132 = -28*j + 34*j + 46*j. Suppose -b + 0*b + 42 = n, 0 = 2*n. Is j bigger than b?
False
Let m(h) = h**3 + 11*h**2 - 314*h - 50. Let t be m(-24). Suppose -c = 2*x - 0*c + 14, -x - 2*c - 1 = 0. Let a be (2/(-14))/((-1)/x). Which is bigger: a or t?
a
Let z = -2/953603 + -1063267281/30515296. Which is bigger: z or -36?
z
Let b(m) = 9*m**2 - 49*m - 287. Let f be b(9). Is -2/57455 at least as big as f?
False
Suppose 11*g + 116 = 51*g + 76*g. Let c = 6/499 - 1081/48403. Are g and c equal?
False
Let x be 11 - 3 - -1 - 5. Suppose -j + 0*p = -4*p, x*j + 4*p = 0. Do 10/41 and j have different values?
True
Suppose 209*m + 40 = -48 + 715. Which is bigger: m or -357?
m
Let d = -1642/5 + 8198/25. Suppose 370*v - 343*v = 0. Which is greater: v or d?
v
Let y = -5842 - -5841. Is 1/2683 bigger than y?
True
Let q = 626 + -627. Let s = 29 - 93. Let f be s/207 - (-12)/54. Are q and f equal?
False
Let s(w) = 2*w**2 - 3*w + 1. Let p be s(2). Let j be (-1)/(p/(-4 - -7)). Let g be (-2)/(-10)*3/((-51)/2). Which is smaller: j or g?
j
Let s(g) = 7*g**2 - g. Let f be s(-1). Let l be (179 - 7)*15/12. Let n be 86/l*(-250)/(-12). Is f less than n?
True
Let i(x) = -93*x - 383. Let y be i(-4). Which is bigger: -18 or y?
y
Suppose 0 = -13*v + 11*v + 12. Let o be 2*(9/54)/(2/(-6)). Let z be 132/24 + o/(-2)*-3. Which is bigger: z or v?
v
Let u = -0.02512 - -0.00442. Is -4 < u?
True
Let j = 106.1 + -106. Let f be 5/(32050/3851) + 36/(-60). Which is greater: j or f?
j
Let f(q) = -q**3 + 8*q**2 + 11*q - 22. Suppose 18*j = 53*j - 315. Let g be f(j). Do 46 and g have the same value?
False
Let w be (2/6)/((-2)/12) + 4. Suppose -4*q + 5*o - 24 = 0, 5*q + 3 - 6 = -w*o. Is q at least as big as -1/269?
False
Let z(s) = 20*s + 1205. Let d be z(-61). Let v = 8 - 7.8. Let p = 0.1 - v. Is p greater than d?
True
Suppose 0 = j - g + 193, 0*g + 189 = -j - g. Let l = j + 263. Let h = 167 + -96. Which is bigger: l or h?
l
Let j be (-496)/868 + (-1310)/(-14). Suppose 101*t + 392 = j*t. Which is bigger: -52 or t?
t
Suppose -27*t + 16*t + 53 - 53 = 0. Which is bigger: -5/416 or t?
t
Let a = -1171 + 1165. Suppose -6*o = -2*k - 3*o - 33, 3*o - 21 = k. Let n be (1/2)/((-21)/k). Is n != a?
True
Let g be (931/(-57) - -17) + 6094/(-24). Is -254 < g?
True
Let z = 257.6 - 257.69. Is z <= -57?
False
Let g be (-123)/(-1353) + (-28119)/309067. Is 0 at most g?
False
Let b be ((-12)/(-9))/((-1634494)/57). Which is smaller: b or 0?
b
Suppose 33*v - 1077 = -6951. Is -179 > v?
False
Let y = 8482/33 - 257. Suppose 2*r - 5 = l, 2*l - 17 = 3*l - 5*r. Suppose -6*c - 9 = l*c. Is y <= c?
False
Let q be ((-14224)/21)/8*(-6)/(-4). Let z = q - -130. Which is bigger: z or -1.5?
z
Let b = -897534/7 - -128578. Let h = -360 + b. Let l = 329 + -328.8. Is h less than l?
True
Let o = -4 + 0. Let z be 21 - -11*(-575)/275. Let t be ((-2)/4)/(z/16*o). Is t < 3/28?
True
Let b(z) = 47*z**2 - z + 1. Let u be b(1). Let a = u + -18. Let p = -34 + a. Which is bigger: p or -1?
-1
Let u = -146789 + 146932. Let h(k) = 46*k + 3. Let w be h(3). Is u smaller than w?
False
Suppose -4*z - u + 167 - 23 = 0, -2*z - 4*u = -58. Suppose -4*v - 41 = -z. Is v >= -10/13?
False
Let k be 14616/672 + 1/(-4)*-1. Suppose k*v - 2*v - 420 = 0. Is 22 greater than v?
True
Suppose -l - 1796 = -y, 3*y + 3567 = 8*l - 10*l. Which is greater: l or -1793?
l
Let j = 0.071 - 0. Let w = j + 51.929. Let p = 42 - w. Is -2/5 smaller than p?
False
Suppose -31 = 70*y - 71*y. Suppose -178 = -30*d + y*d. Is -178 >= d?
True
Let n be ((-21)/6 + 3)*2 - 94. Let r = n - -94. Let u be -96 - (5 - (r/(-1) - -2)). Which is bigger: u or -97?
-97
Let d(i) = 34*i - 470. Let l be d(13). Suppose 0 = -u - 2*u - 84. Is u >= l?
True
Let s = -9.3186 - -9.38. Let u = s + -0.0614. Is u bigger than 655?
False
Let v be (-2)/(-21)*7 - (-494)/(-3). Let c = v - -128. Is c not equal to -1?
True
Let z(t) = -2*t**2 + 8*t + 54. Let k be z(8). Let w be k/8 + -2 + 438/136. Which is greater: w or -1?
w
Let j = 29348 - 30115. Which is greater: j or 11?
11
Let w = -110.3198 + -0.0802. Let m = 111 + w. Let k = -0.07 - -9.07. Which is bigger: k or m?
k
Let a be (-1 + 2)*546/4. Let m = -139 + a. Let s(x) = -86*x - 3. Let u be s(0). Is m at most u?
False
Let c(k) = 183*k - 1463. Let s be c(8). Suppose u - 67 = 2*d + d, 2*u - 98 = -3*d. Let z = 274/5 - u. Which is smaller: z or s?
z
Suppose -5*k - 4*d - 24 = -k, 0 = -2*d - 2. Let i be (10/(-2))/5 + 300/306. Let y = -95/357 + i. Which is smaller: k or y?
k
Suppose 0 = -24*a + a + 483. Let l be (-648)/a - (-3)/(-21). Which is bigger: -32 or l?
l
Suppose 12*r - 7*r = 35. Let j(x) = -x + 16. Let n be j(r). Let d(v) = -19*v - 106. Let q be d(-6). Which is greater: n or q?
n
Let t = 6857.368 + -6857. Which is greater: -5/4 or t?
t
Suppose -30*m - 1288 = -17514 - 1264. Is m less than 581?
False
Let y = 208 + -206. Suppose 7 = -y*o + 5. Which is smaller: 0 or o?
o
Let d =