 y?
False
Suppose 3*f = -5*f + 16312. Suppose 2441 = -20*h - f. Are h and -224 equal?
True
Suppose 2*a - 17220 = -18*a. Is a smaller than 858?
False
Let l(s) = s**3 + 8*s**2 - 11*s + 36. Let z be l(-7). Suppose z*h - 1 = 163*h. Are 1/289 and h unequal?
True
Let w(j) = j**2 + 8*j - 10. Let b(n) = -2*n**2 - 17*n + 21. Let s(o) = -4*b(o) - 9*w(o). Let y be s(2). Let m be 103/70 - -9*1/y. Is m equal to -1?
False
Let x = 44001150 + -1488030889181/33818. Let t = x - 2/457. Which is smaller: t or 0?
0
Let f = 7131225899/5941 - 1200341. Which is smaller: 1 or f?
f
Let g = -1793 + 1571. Is -445/2 greater than or equal to g?
False
Let r(h) = h**3 + 6*h**2 - h - 1. Let i be r(-3). Suppose 5*f + 17 = -g - 0, i = -5*f + 3*g. Is f equal to -14?
False
Let u(s) = s - 13. Let b be u(15). Let w(t) = -7*t + b*t**2 + 5*t + 4*t + t**3 + 1. Let i be w(0). Is 1/80 >= i?
False
Let t be (65/25 - 3)/(2/(-490)). Let c be t*2*1/(-4). Let g be -52 - 5/((-15)/12). Which is greater: c or g?
g
Let p be -3 + 19/5 + 3/15. Let t = 139/1512 + -1/56. Which is smaller: t or p?
t
Let d = -16 + 0. Let g be -2 + 1 + 12/d. Is g less than -1?
True
Suppose 0 = -o - v + 502, -2*o + 3*o - 504 = v. Let f = o + -503. Which is greater: 263 or f?
263
Suppose 11*t - 1767 = 42*t. Let c be 94/t - 40/(-30). Which is smaller: 0.1 or c?
c
Let j = -260 + 236. Let f be 15/(-180) - (-22)/j. Which is greater: -2 or f?
f
Let i(f) = -4 + 8*f + f**3 - 7 - 9*f + 13*f**2. Let n be i(-13). Suppose 36 - 4 = n*o. Is o != 16?
False
Let q = -2.36 - 209.64. Let w = q + 214. Let m = -13 + 12. Which is smaller: w or m?
m
Let r = 14057/25416 - -7/2824. Which is smaller: -11.8 or r?
-11.8
Let f = -101002/19 + 5334. Is f less than 18?
False
Let f be (-65)/(-13) - 18*-3. Let l = 243 + -188. Is f at least l?
True
Let h(u) = -u**3 + 11*u**2 + 60*u + 2. Let i be h(15). Suppose 3*m = -5*b - 13, 0 = -5*m - 2*b - 7 - i. Which is greater: 98 or m?
98
Let y = 257 + -106. Let u = -88 + y. Which is smaller: 62 or u?
62
Let h = -693 + 7616/11. Let d(z) = z + 16. Let o be d(-14). Let q be o/6*0/2. Is h greater than or equal to q?
False
Let i = -2153 + 2155. Is -3.6 smaller than i?
True
Let a = -2214 + 2781. Are a and 566 unequal?
True
Suppose 3*m = 4*m. Let u = 417.87 + -418.35. Which is smaller: u or m?
u
Let d(j) = 3*j + 15. Let y(l) = -l - 1. Let u(c) = d(c) + 6*y(c). Let h be u(3). Let o be -2 + 1 + (-33)/(-24). Are o and h nonequal?
True
Suppose -4*c - k + 0*k = 0, -c = 4*k + 15. Suppose 5*m + 776 = -f, 3*f + 0*f - 480 = 3*m. Let b be 1/(-5) - m/580. Is c at most as big as b?
False
Let k be 41/4 - (-3)/(-12). Let g = -12405 + 12411. Which is greater: k or g?
k
Let t be 4 + 28/(-32)*748/154. Which is bigger: t or -81.8?
t
Let u = -57.96 - -57.81. Let y be 2/1 - (1 - -1). Are u and y nonequal?
True
Let w = -1914 + 1913. Let d = 344/20001 - 2/177. Which is smaller: d or w?
w
Let t = 331159/291 - 1138. Let c be ((-7)/5 - 28/(-70))*0. Which is bigger: t or c?
t
Let b be -22 - ((-22232)/3703 - 16). Is -52 < b?
True
Let j be 19 + 101 + ((-1)/(-3) - (-14)/3). Which is greater: 104 or j?
j
Let f be 1/(-1) + 48/(-28) - (47 + -42). Let q(w) = -w**3 + 2*w**2 - w + 3. Let g be q(3). Does f = g?
False
Suppose 2*h = -l - 8, -5*l - 4*h - 11 = 5. Suppose v + 2 = l, 3*v + 74 = 5*d + 3. Suppose -w - 4 = 2*z - 0*z, -5*w + d = -z. Is w > 5?
False
Let j be 15/35 + 3/(-7). Suppose j = -5*t - 20*t - 275. Suppose 0 = 3*z + 2*z + 50. Which is smaller: t or z?
t
Let v = 6529 + -8030. Which is bigger: v or -1496?
-1496
Let c = 2147 + -2095. Which is smaller: c or 56?
c
Let p be ((-1156)/(-21))/((-9120)/(-2128)). Which is greater: p or 1?
p
Let l be (-1)/4 + 14/32. Let q = 19 + -63. Let m be -11 - 495/q - 0/(-1). Which is smaller: l or m?
l
Suppose -9*z + 5*z = 17*z. Let h be (-11 - (-3)/1)/(-15). Which is greater: h or z?
h
Let p be (-247)/1*((-387)/27 + 12)*3. Which is greater: p or -0.2?
p
Let j be (-3)/7 - 2742/462. Let w be 84/20 + -4 + (-216)/30. Are w and j non-equal?
True
Suppose -58 = -5*m + 3*q, -2*m - q - 278 = -288. Let t = -5077 - -2901. Let o = t + 10924/5. Which is smaller: m or o?
m
Let s = 517 - 520. Let t be -3408*2/(-15855) + s/7. Which is smaller: -1 or t?
-1
Suppose -2*p = 8, -n - 53 = 20*p - 15*p. Is -353/11 less than n?
False
Let f = -124 - -207. Let y = -80.36 + f. Let o = y + -2.6. Which is bigger: 1/4 or o?
1/4
Let p = 3.1842 - 3.2842. Let t = -49 - -29. Which is smaller: t or p?
t
Let u(z) = -z**2 - 12*z - 32. Let m be u(-8). Let y be m/(4 - 5 - 0). Which is smaller: y or 1/70?
y
Suppose -2*a - 1532 + 6156 = 6*p, 2*p + 2307 = a. Which is smaller: 2308 or a?
2308
Suppose 0 = 2*s, 0 = 3*t - s + 6 + 93. Suppose 0 = -3*q - 0*q + 2*b - 94, -4*q - 133 = 5*b. Is q at least as big as t?
True
Let m be (44/22)/((-4)/(-2)) + 11097. Suppose 0 = 14*t - m - 21410. Let s be t/81*(-3)/2. Are -43 and s non-equal?
False
Let y be 179/7 - (-6)/21. Let f = y - 2263/84. Let u = f + -11/156. Which is smaller: -2 or u?
-2
Let n(x) = -x**2 - 32*x + 311. Let f be n(13). Is f at most as big as -271?
True
Suppose -3*m - 2 = -77. Let j = m - 30. Let l be ((j - -4)*-3)/(-2). Which is smaller: l or -3?
-3
Suppose 0 = -x + 1, 14*x - 10 = -5*k + 9*x. Is k smaller than 365?
True
Let a = 2082 - 2082. Which is smaller: 2/263 or a?
a
Suppose -30*c - 506 + 896 = 0. Which is smaller: c or 11.7?
11.7
Suppose -12698 = -r - 12555. Which is bigger: r or 135?
r
Let z be 14/(-3) + 4 + (-21)/(36666/1104). Is z less than -2?
False
Suppose -2*n + q = -71, 2*n - n + 2*q - 43 = 0. Suppose -5*x - 2*j = -96, -n - 7 = -2*x + 2*j. Suppose 2*z = -0*z + 42. Is x greater than z?
False
Let x be (4/(-6))/((-144)/1130 - 30/(-225)). Which is smaller: x or -343/3?
-343/3
Let i be (-4469)/(-10) - 18/(-30). Let r = i + -463. Is -15 equal to r?
False
Let p(g) = 49*g + 302. Let s be p(-6). Which is smaller: -217 or s?
-217
Let n = -92 + 102. Let d(y) = 25 + 22*y - n*y - 17*y. Let h be d(5). Is -6/29 smaller than h?
True
Let m be (1 + (-16)/(-8))/1. Suppose 2*k - m*x = -6, 5*k = -4*x + 33 - 2. Is -24 at most as big as k?
True
Let o(d) = 28*d - 2. Let h be o(-5). Let g = -226 - h. Let b be (g/8*2)/(3 - 2). Are -21 and b equal?
True
Let s = 0.499 - 14.499. Let p = 6.91 + 0.09. Let a = 9 - p. Is s not equal to a?
True
Let p be 16/3*4/((-32)/(-306)). Suppose -6*c - 414 = p. Let n = 98 + c. Which is smaller: -31/5 or n?
-31/5
Let b = 132 - 135. Let r(d) = -4*d - 2. Let s be r(b). Suppose 44 = 6*h - s*h. Which is smaller: -9 or h?
h
Suppose -11*o - 5*t - 110 = -14*o, 5*o - 146 = 3*t. Suppose 4*f - 2*g + 3*g - 251 = 0, -g = f - 59. Let c = f + -40. Which is greater: c or o?
o
Let p = -68321476/897 + 76167. Let y = 7/69 + p. Does y = 1?
False
Let a = -3800112147/13630 + 278805. Which is smaller: -1 or a?
-1
Let b = -81.177 - -80.9. Let y = b - -0.177. Which is greater: -2/171 or y?
-2/171
Suppose -d + 54 = -3*d. Let y be -25 - (-7 - -22) - -3*2. Which is smaller: y or d?
y
Let k = -0.05808 + -0.94192. Is 69/16 at least as big as k?
True
Let q be 1768/(-663) - (-5)/3. Let m be 1*(-9)/(-192)*2. Which is bigger: m or q?
m
Let c = -378 + 714. Let s be (-54)/c*244/210. Let z = -3/196 - s. Is -1 bigger than z?
False
Let d = -4379 - -4309.06. Let p = d + 72. Does -1/4 = p?
False
Let f = 49008 - 34257. Is 14750 less than f?
True
Let n = 48 + -68. Let m be (0 + n/(-6))/((-4)/(-6)). Suppose -2*a = 6*i - i + 22, m*i = a + 26. Is -16 equal to a?
True
Let m(i) = 8*i + 15. Let d be m(-2). Let c = -1849/45 + 380/9. Let p = 1549/1380 - c. Which is smaller: p or d?
d
Let b = 1062330.2 + -1062368. Let o = -0.3 - -0.2. Which is smaller: o or b?
b
Let f be 10/15*(-12)/352. Let a = -17 + 22. Suppose -4*u - a = -1. Is u at most as big as f?
True
Suppose -m - 2*q = -0*m, 3*m + 2*q = -12. Let r(k) = -k**2 + 7*k + 18. Let x be r(9). Suppose 9 - 24 = 5*a + j, x = -2*a - 3*j - 6. Is m greater than a?
False
Let h = -15977 + 48407/3. Which is smaller: h or 158?
158
Let c = 13.177 + -4010.177. Which is greater: -1 or c?
-1
Let n = -155 + 386. Are 231 and n nonequal?
False
Let q(k) be the third derivative of -k**6/120 - 2*k**5/15 + k**4/8 + 3*k**3 + 211*k**2 + 2. Let y be (4/3)/((-2)/12). Let b be q(y). Which is smaller: b or 1?
b
Let t be 3 - 18*(-44)/(-198). Which is greater: 1403 or t?
1403
Let b be (-3910)/(-72) + 6 + -7. 