Let l be (w/117)/(6/4). Which is bigger: 1 or l?
1
Let u be -1 + (2 - (-3 + 41)). Let f = u - -72. Is f at most as big as 35?
True
Let q be -3 - (2*-1 + (22 - -5))/(-9). Is q != -695?
True
Let p = 11.573 - 10.573. Is -2098.9 < p?
True
Let m be (0 - 0)*(-1)/2. Let h be (-17)/(1904/(-4))*(-5)/((-5)/4). Which is smaller: h or m?
m
Let n be (26/(-52))/(0 - (-11)/54). Let j = -4 + 3. Is n >= j?
False
Let g(j) = -5*j**3 + 2*j**2 + 17*j - 65. Let p(h) = -26*h**3 + 7*h**2 + 84*h - 324. Let i(m) = -11*g(m) + 2*p(m). Let u be i(5). Is 145 < u?
True
Let r = 16573.9 - 16574. Which is bigger: 0.08901 or r?
0.08901
Suppose -3*d - 140 = 4*m + 8, 0 = 3*m + 2*d + 110. Suppose 0 = -y - 0*i - 3*i - 54, -4*y - i = 161. Let s = y - m. Which is smaller: -3 or s?
s
Let f = -309.2 - -309. Let y be -6*(-1 + 84/8). Which is smaller: y or f?
y
Suppose 4*a - 11 = -r, -a + 15 = 4*a. Let q be 21/(-33768)*-17704 - 11. Is r <= q?
True
Let k = 22 - 28. Let b be (12/8)/(k/(-4)). Let d be -2 + (-4)/((-32)/19). Which is smaller: b or d?
d
Suppose 113*s = 117*s + 4. Let d be (3 - s) + 4/116*-146. Is -1 > d?
True
Suppose h + 2*w = -h + 74, h + 5*w - 37 = 0. Let b = 115 - h. Let z = b + -71. Which is smaller: 9 or z?
z
Suppose 102*y = -246*y. Which is bigger: -2/10167 or y?
y
Let r = 515177/7 - 73835. Let i = 239 + r. Which is bigger: i or -2?
i
Let w = -9930 - -9930.05. Suppose 2*u - 4 = -2*j, -2*j - 18 = j - 5*u. Let a be -1*(j + 12/10). Do a and w have the same value?
False
Let t be 17*-1 - (-54)/18. Let u be (-4)/t - 5304/91. Let v = u + 51. Which is greater: v or -8?
v
Let x be (((-16)/6)/4)/((-2198)/504). Is x at most -1?
False
Let b = 20 - -23. Let h = b - 41. Let s = 4588/7 + -654. Is h != s?
True
Let o = -6596/15 - -2207/5. Which is smaller: o or -0.1?
-0.1
Let x(y) = 6 + y**2 - 6 - 12*y + 21. Let p be x(9). Let m be (4/(-6) + 14/p)*-11. Is 33 less than m?
False
Let m(d) = d**3 - 26*d**2 - 53*d - 96. Let a be m(28). Let v(p) = -p**3 + 4*p - 4. Let g be v(2). Let x be g + 8/(-2) + -3. Which is greater: x or a?
x
Let x(s) = -s**3 - 54*s**2 - s + 449. Let o be x(-54). Is 503 greater than o?
False
Let x(v) = 1164*v + 7316. Let g be x(-5). Is g at least 1496?
True
Let s = -40655/60987 - 1/20329. Let u(r) = -r**2 - 2*r - 2. Suppose -5*b = -4*b - 3, -5*j - 5*b + 5 = 0. Let o be u(j). Which is smaller: o or s?
o
Let l be 3/(12/260) + -1. Let b be 384/9*141/94. Is l < b?
False
Suppose z - 5*p = 4132, -195*p + 193*p - 4150 = -z. Which is bigger: 4163 or z?
4163
Suppose 77*i - 16*i = -60756. Is -997 <= i?
True
Let r be 2/(-4)*(-1 + 3). Let h = 742.5 + -744.21. Which is bigger: r or h?
r
Suppose 2*o + 3*n - 1 = 0, -3*o - 2*n = 3*n - 1. Suppose 5*v = 3*l + 8, -2*l - 9 = -5*v + o*l. Let p(f) = f - 5. Let d be p(v). Is d < -5?
False
Let z = -3427 + 3415. Is z greater than -64?
True
Let u be (-150)/70 - (1 - 2). Let s be 3*2*3/6. Suppose s*z = z. Which is smaller: u or z?
u
Let x = 8 - 5. Let o = -1.9 + x. Let t = -19367 + 19367. Which is greater: t or o?
o
Let s = -2178.18 + 2178.2. Is -1.228 less than s?
True
Let t be (-3 + 6 + 5/5)*-2. Let v be (t/24)/(3/9). Which is smaller: 3/8 or v?
v
Let w = 22372 + -22327. Let d = 2/23 + 1997/46. Let r = 605/14 - d. Is r <= w?
True
Let t be (80 - 97) + -695*1. Which is bigger: t or -714?
t
Let s be ((-50)/(-16))/((-7)/(-14)). Let i = -59 - -66. Which is smaller: i or s?
s
Let h be ((-10)/(80/6))/((-9)/48). Let d be (-180)/105 + -2 + h. Are d and 40 nonequal?
True
Let f = -45298 - -45013. Let d = 104 - 934/9. Which is greater: f or d?
d
Suppose -9 = l - 12. Let m be l/(-5) - (-151)/260. Let r be 24/60 - ((-14)/(-10))/1. Which is greater: m or r?
m
Let u be 36/(-342) - -2*(-5)/(-95). Let f = 0.5 - 2.5. Let i = 3 + f. Which is smaller: i or u?
u
Let w(v) = -3*v - 60. Let l be w(-8). Let g be (l/(-16))/(-3)*(-10)/(-135). Which is smaller: 0.6 or g?
g
Let p be (-386338)/(-386226) - (-11 - 4 - -16). Let z = 1/998 + p. Do -1 and z have the same value?
False
Suppose 46*i - 3038 = -16*i. Which is bigger: i or -4.2?
i
Let l = 25030 - 24893.67. Let m = l - 137. Is -1 >= m?
False
Let i = 3 - -22. Suppose 0 = -4*o + 9*o - i. Let d be (4 - (9 - 5)) + o. Which is greater: 6 or d?
6
Suppose 0 = 4*b - 2*b + c - 15, 3*c = -3*b + 21. Suppose 0 = o - 2, 3*w - b*o + 10 = -3*o. Is -7/5 at least as big as w?
False
Let p be (-2)/(88/(-46) + 2). Let f = p - -1. Let z be 86/f - -1*4. Is z greater than 1?
False
Let f be 20/5 + (1 - 2856/570). Suppose 5*k - 5*h = 20, 4*k - 2*h - 9 = 7. Is f less than k?
True
Let a = 4873 - 4942. Are -622/9 and a nonequal?
True
Let s be ((-5254)/(-426))/((-1)/(-12)). Are s and 2794/19 nonequal?
True
Let f be 200/(-75)*(-18)/8. Suppose -4*o = 5*j - 10, -4*j - 3*o + 1 = -f. Which is greater: j or 21/5?
21/5
Let b = -995 + 3104/3. Are -1 and b unequal?
True
Suppose -10*u - 44 = 16. Let n be ((0/(-3))/1)/(u + 7). Let j = -3 - 1. Which is smaller: n or j?
j
Let w be 5 + 0 + 0 + -5. Suppose 2*k = o + 9, w = -4*o - k - 3*k + 12. Let x be (o/2)/((-21)/14). Which is greater: 2 or x?
2
Suppose -4*k + 880 = 4*y, 4*k - 3*k - 5 = 0. Let b = -226 + y. Which is bigger: -10 or b?
-10
Let y be ((-6504)/364)/6 - (-6)/2. Let t = 21526083543/6643 - 3240416. Let h = t - y. Which is greater: h or -1?
h
Let x = 91 + -47. Let w = 84 - x. Let n = -38 + w. Is n at most as big as 2?
True
Let f = -0.7733 + 0.7733. Does 0.06595 = f?
False
Let a(c) = c**3 - c**2 - c - 6. Let m be a(0). Let z = 4583 + -4590. Which is smaller: z or m?
z
Let o(g) = 159*g - 2794. Let a be o(19). Is 237 smaller than a?
False
Let n = -284 - -1998/7. Does -55 = n?
False
Let y be 2/(-4) - ((-735)/6)/7. Let x be (-3)/4 - y/(-17). Let r be 8/(-240) - 1/(-5). Is x greater than or equal to r?
True
Let q be -1 + 0 - (-3 + 0). Suppose 7*t = 2*t + 5*x + 40745, 3*t = -q*x + 24427. Let m = t + -89703/11. Which is smaller: m or -9?
m
Let p be (-148 + 28)*(-66)/55. Which is smaller: p or 116?
116
Let f(a) = a**3 + 19*a**2 + 20*a + 31. Let h be f(-18). Let x be (-2)/(1 + h) + 41/(-2). Let j be x/70 - 113/(-420). Is 1 less than or equal to j?
False
Suppose 0 = -l + 31*l. Which is smaller: l or -14?
-14
Suppose 9*m + 3*m - 8848 = 5*m. Is -2 at most m?
True
Let z be ((-41)/(-21) - (-28)/588) + -2. Which is greater: z or -55?
z
Let n(i) be the first derivative of -3*i**2/2 + 85*i + 92. Let y be n(-13). Is y less than or equal to 124?
True
Suppose 2*l + z = 6516, 2*z + 6226 = 2*l - 308. Is l smaller than 3259?
False
Let b = -4527 + 3519. Which is smaller: b or -1004?
b
Suppose -d + 55 = -2*n, 2*d - 5*n = -2*d + 217. Let a = 51 - d. Let t(r) = r - 1. Let i be t(-5). Which is smaller: a or i?
i
Let k(n) = 51*n + 833. Let t be k(-35). Which is bigger: -950 or t?
-950
Let i be -76*489*16/768. Is -775 at least as big as i?
False
Let a = -7231 - -7216. Which is smaller: a or 0.09?
a
Suppose 4*r + 496 = -4*b, -7 = 2*b - 4*r + 247. Does b = -51?
False
Let n be (6 - (-125)/(-5)) + (18 - 12). Do 4 and n have the same value?
False
Let f = -0.527 + -30.473. Is 3/5 equal to f?
False
Let t = -2.3 - 0.7. Let r = 3746.3 - 4158. Let k = 412 + r. Is t at most as big as k?
True
Let t be ((300118/39)/17)/(-2). Which is bigger: t or -227?
t
Let x be (39/(-78)*(-3 - -3))/(-2). Let j be (-71)/(-258) + (-2)/6. Which is greater: j or x?
x
Suppose 8*k = 3*k + 20. Suppose -g + 4 = -4*l, -k*g + 4 = -5*l - 1. Let u be (-8)/(-2) - (-294)/(-77). Is u smaller than g?
False
Let v be (-7 - (-108)/15)/(6/12). Do v and 62 have different values?
True
Let a(f) = f**3 + 6*f**2 - 6*f - 16. Let j be -6 + (-1 - -2) - 1. Let d be a(j). Let u be ((-24)/(-15))/((-4)/d). Which is greater: -9 or u?
u
Let w(v) = -3*v**3 - 31*v**2 + 10*v + 200. Let y be w(-10). Which is greater: y or -2/40553?
y
Let k = -0.028 - -0.001. Let a = k - -1.327. Is -6 >= a?
False
Let o = 2.62 - 3.66. Let x = o + 1.142. Which is smaller: -1 or x?
-1
Suppose 5*x = 4*m, 0 = -7*m + 3*m. Suppose 4*h + h + n = 23, x = -n + 3. Suppose -6*o = -h*o - 10, 4*o = -u + 14. Which is greater: u or -10?
u
Let r = -5464 - -5432. Is r equal to 7/10?
False
Let j = 105815/3 - 119611/3. Which is smaller: -4599 or j?
-4599
Let t = -6652 + 6596.06. Let g = t - -56. Are g and -7 non-equal?
True
Let y = -1094 + 1093. Let u = 18829/9093 - 10/433. Let z = 12/7 - u. Is y <= z?
True
Let g = 11899 - 10559. D