9*h + 416. Let u be b(6). Suppose -7*n = -2*n - 850. Let a be u/(-3) + 110/n. Which is bigger: a or 1?
1
Let x = 2.6 - 3. Let m = -10701 + 53504/5. Which is bigger: x or m?
m
Let s(f) = f**2 + 85*f - 365. Let n be s(4). Let a be (1 - 60)*(-1)/(-7). Is a less than n?
False
Let v = -1 - 0. Let s be 272/(-51)*(16/40 - 0/(-1 - -4)). Are s and v nonequal?
True
Let i be 4 - (-387)/126*108. Let l = 30130/91 - i. Is l at most -5?
False
Suppose -345*t + 37 = -i - 344*t, 0 = -2*i + 3*t - 73. Are i and -38 equal?
True
Let o be 16/40 + (3 - 264/110). Let y = 743/8 - -179/56. Let l = y - 96. Which is smaller: o or l?
l
Suppose -4*z + 957 - 263 = 2*h, -4*h + 4*z = -1328. Let t = -339 + h. Do -90/29 and t have the same value?
False
Let g(b) = b**2 - 2*b - 1. Let o be g(3). Let r be (-8 + 7)/(1/19). Let n = o - r. Are 20 and n nonequal?
True
Suppose -4*h + 5264 = -3*m, -2*m + 936*h - 3502 = 937*h. Which is greater: m or -0.1?
-0.1
Suppose c - 9 = -42. Let w(z) = -29*z + 82. Suppose -4*y = -8, 11*q - 3*y - 2 = 9*q. Let m be w(q). Which is bigger: c or m?
c
Let j(k) = 224*k + 1119. Let l be j(-5). Are 1/776 and l equal?
False
Let f = -1.37 + 1.4. Let s = f - -0.17. Let q be 658/98*-2 + 12. Which is greater: s or q?
s
Let t be (3/(-21) - 2/(-2))/(12/(-8)). Is t > 66/31?
False
Let a be 2/(-21 + 1)*(-210806)/(-109). Is -192 greater than or equal to a?
True
Let a = 2514 + -2509. Is -281 >= a?
False
Let f(x) = -122*x + 1684. Let s be f(14). Which is greater: s or -34?
s
Let n be 6/(-117) + 1280/624. Suppose 5*y = 4*m - n - 90, -3*y - 3*m - 66 = 0. Let q = -536/29 + -1/58. Which is smaller: y or q?
y
Let i = -54 + 27. Let j = -26.9646 + 0.0646. Let v = i - j. Which is smaller: v or 36/7?
v
Let n = -2119.9 + 2120. Which is bigger: n or 3933?
3933
Suppose 0 = 157*d + 23*d - 297338 + 1435118. Is d at least -6321?
True
Let i = -9445/91 - 2196/13. Let f = i - -267. Let p = f + 562/91. Is 0 at most p?
True
Let p = 116 - 50. Let o = p + -65.97. Let b = 1.03 - o. Which is smaller: 45/7 or b?
b
Let s = 3261 + -16309/5. Which is smaller: s or 0.0796?
s
Let w = -8 - -14. Let d be (-8767)/(-15) + w/(-9). Let o = d - 582. Do 3 and o have different values?
True
Let v be (-18)/27 + (-460)/66. Suppose -117 = -19*l + 32*l. Is v bigger than l?
True
Let k be 5993/65 - 4/(-5). Let p be 79/k - (-4)/(-12). Is p != 1?
True
Let l be (-3 + (-30)/(-9))*(3 + 12). Suppose j + 2*m - 10 = 0, 11 = l*j + 5*m - 19. Which is smaller: -202 or j?
-202
Let f = 11366 + 10246. Is f equal to 21611?
False
Let a = 267 - 256. Suppose r + 1 = -4*h, 0 = -2*h - 3*r - a - 2. Which is smaller: -16/39 or h?
-16/39
Suppose -x + 84*q = 82*q - 12, -q - 3 = 0. Let b be (-171)/190 + x/15. Is 7/72 equal to b?
False
Let t be 2/(-7) - (182/49 + -6). Which is smaller: t or -1.4?
-1.4
Let o = -54 - -59. Suppose -640*w + 678*w - 228 = 0. Is w at least as big as o?
True
Let q be 5 - (6/4 - 22275/(-144)). Let m = -151 - q. Do -1 and m have the same value?
False
Let i(u) = u**3 - 10*u**2 - 22*u - 22. Let d be i(12). Suppose d*v + 14 = 16*v. Which is greater: -10/33 or v?
v
Let q be (-8)/(288/(-114)) - 1/6. Let k be (-5 + -1)*(q + 224/(-72)). Suppose 0 = -0*m + 2*m + 46. Is k greater than or equal to m?
True
Let m(g) = -g**2 - 4*g + 12. Let x be m(-5). Let y be (((-2)/5)/(-1))/(x/315). Let h be (-58)/319 - y/22. Is -4 less than h?
True
Let y = 49057 - 11773591/240. Let f = 27731/743760 - -2/9297. Let c = y - f. Are -3 and c unequal?
True
Let w = 81280/9 + -9047. Suppose -62*j + 135*j - 297 = -1392. Which is greater: j or w?
j
Let t = 0 + 0. Let h = -146107.53 + 146108. Which is smaller: h or t?
t
Suppose -4*q = q - 15. Let u(m) = 129*m**3 + m**2 + 2*m. Let o be u(-1). Let h = -628/5 - o. Which is smaller: q or h?
q
Let w be (-6 - (-33410)/(-80))*8. Is -3390 != w?
True
Let w be 5/4 + 785127/(-628236). Which is greater: 0 or w?
w
Let h be (-36)/(-27) + 1210/6. Let b = -2231/11 + h. Let c(n) = -n - 6. Let g be c(-7). Which is bigger: g or b?
g
Let i be (-26)/(-39) - (-70)/(-6) - 1. Let h = -64 + 52. Is i less than or equal to h?
True
Suppose 5336 = 29*l + 2204. Let r be (5/(-7))/(2 - l/63). Which is smaller: -1/4 or r?
r
Suppose -20*x - 4*z + 40 = -16*x, z = 3. Which is smaller: x or 51/2?
x
Let h(d) = d**2 - 6*d - 13. Let v be (2/(-1))/(19/(-76)). Let o be h(v). Suppose 5*g + 4*p = -25, 2*p = -o*g + 5*p + 12. Which is greater: g or 2/11?
2/11
Let l be 1/(1/28*4)*19. Suppose -o + r - l = 0, -r + 978 - 297 = -5*o. Which is smaller: -134 or o?
o
Suppose -3 = -3*x - h, 3*x + 3*h = -2 - 1. Suppose -2*m + 0 = -x. Let y = 149309/45 - 3318. Are y and m equal?
False
Suppose 4*s - 5*y - 218 + 60 = 0, 45 = s - 4*y. Which is greater: 263/7 or s?
263/7
Let k = -1421 - -9929/7. Suppose 0 = f + m + 2, 18 = -5*f + 133*m - 130*m. Which is greater: f or k?
k
Let t(v) = v**3 - 12*v. Let c be t(-5). Let d be 1628/(-104) + (-10)/c. Suppose y + 7*y + 128 = 0. Which is bigger: y or d?
d
Let z = -210 + 215. Suppose -2*m = -z*m - 0*m. Which is bigger: 21 or m?
21
Let d = -355 + 4612/13. Suppose 5*k - f + 8 = 0, -11*f = -15*f + 12. Is d != k?
True
Let r = 1014.4 + -1013.4. Which is greater: 0.6537 or r?
r
Suppose -938164 - 155674 = -338*s + 638412. Is s at most 5122?
False
Let v be 1 - 0 - 3/4. Let i = 7/128032 - -2048477/640160. Which is bigger: i or v?
i
Let s be (-120)/180 - 1556/(-3). Is 521 less than or equal to s?
False
Suppose -11763 = -11*p - 11972. Is p at most as big as -602/33?
True
Let c be 1 + 25/9*28/20. Let w = c + -818/171. Which is bigger: -0.4 or w?
w
Let c(l) = 8 - l**3 + 18*l + 8*l**2 - 1 - 17*l. Let g be c(8). Suppose -10*f = -g*f + 5. Is -4/17 > f?
False
Suppose -28*f = -12*f - 5776. Suppose 6*x - 77 = f. Which is smaller: 1/4 or x?
1/4
Suppose -4*d + 229 = -h, -5*d + 31*h + 265 = 34*h. Is d at most -17?
False
Let p = 3833 + -3917. Which is greater: -256/3 or p?
p
Let m = 129 + -129. Is -77.2 at most m?
True
Suppose 51*o = 2158 + 1463. Is -0.16 not equal to o?
True
Let y(a) = 2*a**2 - 10*a + 12. Let h be y(6). Let z be (h/80)/(-3 - (-9)/5). Suppose -2*l = 4*x, -2*l = x - 0*x - 6. Which is bigger: x or z?
z
Let i(n) = n**3 + 10*n**2 + 16*n + 1. Suppose -c + 21 = -3*x, -4*c + 16 = -4*x - 4. Let v be i(x). Which is smaller: 12/19 or v?
12/19
Let p be -3*(-2189)/(-33) - (-5)/(-1). Which is bigger: p or -203?
-203
Let c be (-2 + -2)*35/(-20). Suppose 41 + 1 = -3*k. Let t = k - -20. Which is bigger: t or c?
c
Let k(v) = -3*v + 3. Let a be k(6). Suppose -4*n - 124 = -2*m, -11*m + 4*n = -6*m - 286. Suppose -2*s - 3*u - 22 = 2*u, -m = 3*s - 3*u. Is s smaller than a?
True
Suppose 5*w - 2*u + 24 = w, -4*u = 0. Let r be ((-96)/832)/(w/3 + -1). Is 1 < r?
False
Let d be 178/(-4) - 1 - 207/46. Let n(t) = -t**3 + 6*t**2 - 6*t + 7. Let l be n(5). Let f(k) = -12*k**2 - k - 1. Let g be f(l). Is d less than g?
False
Let j = -0.2355 + 0.1955. Which is smaller: -24.1 or j?
-24.1
Suppose -925*i + 922*i + 18 = 3*s, 4*i - 24 = -3*s. Is -0.3356 <= s?
True
Let q be (-6917)/(-12964) - (-12)/(-48) - 4/14. Is q > 0?
False
Let i be 1/5 + ((-18808)/10)/4. Let v be (-43)/(-7)*25/i. Let d = 12/47 + v. Which is bigger: 0.2 or d?
0.2
Let j be 10197/36 + 6 - 8/2. Which is smaller: j or -0.1?
-0.1
Let c = -0.04 + 18.04. Let p = -3607 + 3598. Which is smaller: c or p?
p
Let f(x) = -x**3 + 6*x**2 + 8*x - 2. Let p be f(7). Let m(t) = 4*t**2 + 20*t + t**3 + p - 11*t**2 - 15*t. Let s be m(6). Which is smaller: 4/9 or s?
s
Let p be 1/5 + 2/(-10). Suppose -13*i + 9*i = p. Suppose i*f = -q - 4*f - 48, -54 = q - 2*f. Which is bigger: -50 or q?
-50
Let n = 89.2212 + -548.9582. Let y = 460 + n. Which is bigger: y or 1/2?
1/2
Suppose w + 15*q = 10*q - 1058, -1098 = w - 5*q. Which is greater: w or -1074?
-1074
Let a = 1077.5 + -1075. Which is bigger: -0.048 or a?
a
Suppose 1292 = -2*a + 5*u - 0*u, -3230 = 5*a + 2*u. Let q be 0 + 0 - (-289)/a. Let f = -1/19 + q. Is 10/7 < f?
False
Let c(b) be the first derivative of -b**3/3 + 5*b**2 + b - 2. Let l be c(7). Let o = l - 22. Which is smaller: o or -1/18?
-1/18
Let d(z) = 2*z**3 + 2*z**2 - 3*z + 3. Let n be d(2). Suppose 7*m = -3*m + 20. Suppose m*s + 3 = h, -s + n = -0*s + 4*h. Is -1/12 less than s?
True
Let m(j) = -j**3 - 20*j**2 - 43*j - 39. Let q be m(-12). Is -674 less than or equal to q?
False
Suppose -3*m + 2*l - 492 = 2*m, 116 