maller: 3/113 or c?
c
Suppose 0*s - 4*l - 8 = -4*s, -5*s + 10 = 3*l. Let r = 12022/55 - 1087/5. Is r bigger than s?
False
Let m be 2/48 + 3283/11256. Let v = -4 + 8. Let w = v - 4.1. Is m != w?
True
Let t = -0.038 - 407.962. Let f = 402 + t. Is f > -0.3?
False
Suppose -m - 1 = u, -18*u = -21*u + 3*m + 33. Which is smaller: u or -175?
-175
Let b = 1591948/9 + -175122. Let q = 16184/9 - b. Let l = 36 - q. Is 0 less than l?
False
Suppose -4*j - 2*m = 242, -60 = 4*j + m + 183. Let r(z) = 548*z - 5540. Let t be r(10). Is t < j?
False
Let t be (-2 + -1)*(-12)/9. Suppose 20 = 2*y - t*y + 4*a, -3*y + 3*a - 27 = 0. Let z be (18/(-135))/(y/50). Which is bigger: 0 or z?
z
Let k(c) = 0 + 4 - 2*c**2 + 10 - 27*c. Let o be k(-13). Suppose 5*u - 8 = o. Which is greater: u or 5?
u
Suppose -2*r + 8 = -2*f, 5*r - 4*r - 5*f - 8 = 0. Let s = -658 + 646. Let y be -2 - (-24)/s - 58/(-10). Is y < r?
True
Suppose 0 = 1960*z - 1938*z. Which is bigger: z or -1/8278?
z
Let i = 2781.88 + -2781.8. Let y = 0.3 - -0.7. Which is bigger: y or i?
y
Suppose 0 = -u + 3*n - 11, 2*u - u + 29 = -3*n. Let c(a) = -a - 16. Let z be c(u). Suppose -3*y + 8*y - 27 = -b, z*y + 3*b - 26 = 0. Is y <= -0.2?
False
Let x be (-10)/(-6)*(2106/(-135) - -12). Let r(d) = 9*d - 3. Let i be r(2). Is x at least as big as i?
False
Let x = -291 - -290. Let k = -57.902 + -0.098. Which is bigger: x or k?
x
Suppose 6*r = -2*x + 4*r - 2, 3*r = 4*x - 3. Let q = x + -18. Let n be 2 + q + -1 + 9/3. Which is bigger: -15 or n?
n
Let f(b) = 4*b**3 - 20*b**2 - b + 6. Let w be f(5). Let g be ((-22)/8822)/(0 + w). Is -1 equal to g?
False
Let l be 9 + (1/(-2))/((-9)/18). Suppose 12 = b - 2*u, 3*u + l = b - 0*b. Let c = b + -18. Is -1 at most as big as c?
False
Let k = 80/357 + -575/1428. Which is smaller: k or 1?
k
Let m = 8 + -6. Let g be 4141/820 - 54/(-120)*-4. Which is smaller: m or g?
m
Suppose -7 = 5*o + 8. Suppose 8*l - 5*l + 6*l - 72 = 0. Is l < o?
False
Suppose -3*h + z + 12 = 0, 4*h - 16 = 5*z - 0*z. Suppose 5*v - 8 = v + 3*t, 0 = -h*v - 4*t - 20. Is -3/76 less than v?
False
Let z = -149.6 - -142.3. Do z and -6 have the same value?
False
Let x be 4/20 + (2/(-25))/((-31)/(-85715)). Are x and -1108/5 non-equal?
True
Let b = 35 + -30. Suppose -16 = -m - 4*x, 4*m = b*m + 2*x - 12. Let t be ((-6)/m)/((-1)/88). Which is smaller: t or 67?
t
Suppose -44295 = -177*l + 1349 + 24625. Let t be (794/(-2))/((-1)/1). Is l > t?
False
Let s be (1 - 9/6)*-2. Let g = 56331658/29 + -1942254. Let m = g + -217. Is s bigger than m?
True
Let s = 659/24 - 82/3. Let c = -12.6 + 12.498. Let u = c - -0.502. Which is smaller: s or u?
s
Suppose 24*z + 32 = 20*z + 2*q, z + 22 = 4*q. Let s(m) = -11 - 4*m - 14 - 3*m. Let n be s(z). Which is bigger: n or 15?
n
Suppose -5*g = -2*r - 486, -3*g = -r + 6*r - 304. Let w be -8 - (3 + -106 - 4). Is g < w?
True
Let w be (-10)/1160*(235/65 - 5). Are -1 and w nonequal?
True
Let c = 12/6769 - -2185408/6769. Let t(i) = 34*i - 120. Let j be t(13). Let p = c - j. Is p at most as big as 0?
False
Let n(h) = -h**3 + 9*h**2 + 30*h + 10. Let w be n(11). Let j = 98 - w. Is -10/7 at most as big as j?
True
Let u be 9 - ((-54)/(-7) + 6/6). Is u <= 1/635?
False
Suppose -21 + 9 = -3*d. Let j = -6 - d. Let a be ((35/j)/(-7))/(1/22). Which is smaller: a or 12?
a
Let q(n) be the second derivative of -n**3/6 - 5*n**2 - 14*n. Let v be q(-10). Let w be (170/(-68))/((-65)/24). Which is greater: w or v?
w
Let a = 176 - 144. Let t = 24 - a. Which is smaller: t or 1.5?
t
Let a = 344 - 396. Let y = -35 + -16. Let w = a - y. Which is smaller: 26 or w?
w
Let x = 3789.468353 - -1.487647. Let o = 3782 - x. Let u = o - 0.044. Which is bigger: -2 or u?
-2
Let n = 69 - 111/2. Let z = -13 + n. Let f = -189587 - -947973/5. Which is smaller: z or f?
z
Let k(w) = 625*w**3 - 3*w**2 + w + 1. Let a be k(-1). Is -628 <= a?
True
Let m = -25.809 - -30.809. Which is smaller: -1702 or m?
-1702
Let d = 0.05798 - -18.94202. Which is smaller: d or 0.142?
0.142
Suppose -4*k - 65 = -i - 110, -k - 3 = 0. Which is smaller: i or -77?
-77
Suppose -615331 - 365836 = 191*u. Do u and -5139 have the same value?
False
Let h = -153 - -157. Let o be 5 + -2 + 1/(h/118). Is o at most 33?
True
Suppose 3*p = -5*d + 11, -4*d + 3*d = -3*p + 5. Suppose 203 = -6*f - d. Which is smaller: f or -38?
-38
Let m = 163/560 - -19/70. Let b = 51 + -79. Let j = b + 28. Which is smaller: m or j?
j
Let c be -12*2 - (-3)/(-1). Let u = c + 115. Let h be (-14)/(-77) + (-5)/u. Is 1 at most h?
False
Let g = -1895 - -3877. Which is smaller: 0 or g?
0
Let v = -17453 - -17450. Which is greater: v or 234.9?
234.9
Let y be 196/245*350 - 32. Let d = -337 - -584. Do y and d have different values?
True
Let w = -0.2 + 0.3. Let c = 899963 + -899406. Is w greater than c?
False
Let f = 2949 - -685. Is 3633 greater than f?
False
Let p = -76 + 76. Suppose -3*q - 13 + 16 = p. Which is smaller: q or 66?
q
Let x be -1*-7*(-15)/(-105). Are -2/38055 and x nonequal?
True
Let n(k) = -2*k**2 - 60*k - 52. Let h(z) = z**2 + 30*z + 26. Let l(d) = 5*h(d) + 3*n(d). Let j be l(-27). Let v = j - 55. Which is greater: v or 3?
3
Let h(k) = k**2 - 21*k + 96. Let p be (3/(-9))/((-1)/(-84)*-2). Let j be h(p). Which is greater: j or -28?
j
Let r = 0.3 - 48.3. Let s = -1.21402 + 0.91402. Is s != r?
True
Let l be 187/11 + -3232 - -13. Which is smaller: l or -3201?
l
Let r = -3919 + 3918. Do r and 3608 have the same value?
False
Let s = 597 - -33. Let d = 588218 - 587588. Is d > s?
False
Let z = 1817 - 1819. Let r be (-4)/2*(-4)/(-5). Which is greater: r or z?
r
Suppose -62 = -h + 2*q + 2*q, q = -3*h + 199. Suppose -h*g + 62*g - 168 = 4*s, 2*s - 4*g = -108. Is -52 smaller than s?
True
Let v = -2/48185 + -666880/9637. Which is smaller: -68 or v?
v
Let b(g) = g**3 + 11*g**2 + 31*g + 7. Suppose s = -3*f + 6, -s - f = -6*f + 26. Let n be b(s). Which is greater: n or -1/224?
n
Let v be (3 - 2514/786) + 0/7. Which is greater: 1 or v?
1
Let z(h) = -h**3 + 6*h**2 + 4*h - 5. Suppose 28 = -0*o + 4*o + 3*g, 2*o - 5*g = 14. Let i be z(o). Suppose -398 + 290 = 4*a. Which is bigger: a or i?
i
Let x(u) = 2*u - 12. Let f be x(8). Let v be (-4)/(-30) + f/(-30) + 16. Let g be 2 - 1*(4/v - -2). Is 0.01 bigger than g?
True
Suppose 6*l - 5*l = 20. Let i be 4/(-6)*(-30)/l. Let z be 142/330 + 22/(-55). Which is bigger: z or i?
i
Let n = 384.9 - 385. Is n greater than -1.046?
True
Let l(d) = d**2 + 17*d + 71. Let o be l(-10). Let i be o/5 + (-1378)/65. Do -4 and i have the same value?
False
Let h = 107069/89 + -1203. Let i = 22 + -64/3. Which is bigger: i or h?
i
Let i be 8/(-20) + (-141)/(-15). Let z be 2/12 - ((-140)/24 - -3). Suppose 48 = 3*o - z*v, 0 = 4*o + 4*v - 14 - 10. Which is smaller: o or i?
i
Suppose 3*q + 304 = r, 0*q + 3*q - 1246 = -4*r. Suppose 2*h = -4*a + 312, 2*h = -2*a - 3*a + r. Which is greater: 161 or h?
161
Let c = -6745 - -6871. Which is smaller: c or 3?
3
Let h(k) = -k**2 + 8*k - 7. Let s be h(5). Let f be 2/(-3) + s/18. Let c be (-2)/(-4)*((-2)/(-6))/(3/(-18)). Which is bigger: f or c?
f
Let k = 9866.01 + -9878. Is k not equal to 15?
True
Suppose 3*q + z - 20 = 0, -4*q - 5*z + 40 = -z. Suppose -q*f - 3*f = -8. Which is greater: 18/17 or f?
18/17
Let r = -2.33 - -111.33. Let x = 112 - r. Is x smaller than -0.052?
False
Let x be ((-21)/4 - 2)*-4. Let a be (42/(-9) - 0)/((-3)/(-18)). Let m = a + 55. Which is bigger: m or x?
x
Let u = 1.036 + -0.036. Let n be 141834/(-31915) - (-2)/(-13). Let r = n - 1/491. Which is bigger: u or r?
u
Let f = -0.287 + 0.287. Which is greater: -29 or f?
f
Let c(b) = -2*b**3 - 16*b**2 - b + 6. Let w be c(-8). Suppose 3*u + 3*j = 2*j + 2, u + 3*j = w. Which is bigger: u or -4/103?
-4/103
Let w be (136 - 132)*3/(-24)*-2. Does -1/18759 = w?
False
Let a = -10370 - -9699. Is -3356/5 >= a?
False
Let u be (-63)/(-6)*-20*12/(-6750). Let t = u - -2242/825. Are 0.1 and t equal?
False
Let f(p) = -p**3 + 11*p**2 + 11*p + 16. Let a be f(12). Suppose -22 = 3*n + v + 22, 0 = -4*n + a*v - 80. Let g be ((-8)/n)/(1/12). Is g bigger than 6?
False
Suppose -l + 4*l - 105 = 0. Let h = -9457 - -9491. Is l equal to h?
False
Let f = -22.184 - -22.224. Are f and 316 non-equal?
True
Let d = -2385/1121 + 228/59. Let w(f) = f**3 - f**2 + 2*f - 1. Let k be w(1). Which is greater: k or d?
d
Let k be 2*15/((-330)/(-20141