t b = -19 + 21. Which is greater: q or b?
b
Let z be 4/10 - 46/165. Suppose 39*f + 50 = 11. Which is greater: z or f?
z
Let b(p) = -p**3 + 10*p**2 + p - 6. Let c be b(10). Let s be (12/c)/(63/14). Let q = -3 - -4. Which is smaller: s or q?
s
Let z = 1008 - 1007. Which is smaller: 2/207 or z?
2/207
Let w(b) = -5*b - 1. Let h be w(-1). Let g be (-8)/(-14)*14/12. Which is smaller: g or h?
g
Let y be (-52)/(-351)*(-9)/(-2). Does y = -11?
False
Let s be (-3)/((-9)/96) - 3. Let c = 55 + -54.9. Which is bigger: c or s?
s
Suppose -4*k + 4 = 4*c, 0 = 2*c + 3*k - 1 + 3. Let x be 1*(-6 - -6)/c. Let z = -0.04 - -0.15. Which is bigger: x or z?
z
Let h(k) = 26*k + 26. Let q be h(-5). Let n = -522/5 - q. Is 6 bigger than n?
True
Let w = -10 + 19. Let g be (1/(-18)*3)/(86/4350). Let m = 3/43 - g. Which is bigger: m or w?
w
Let o = -420 + 621. Which is greater: o or -2?
o
Let k = -189.03 - -189. Are k and 2 equal?
False
Let t(j) = -j + 2. Let d be t(-2). Let p(s) = -s**3 + 5*s**2 - 4*s - 2. Let u be p(d). Which is bigger: u or -10/7?
-10/7
Suppose -13 = 4*n + 3. Let h be (4/18)/(n/(-12)). Let o(g) = g - 11. Let z be o(6). Which is smaller: h or z?
z
Let w = -31 + 38. Which is greater: w or 36?
36
Let q be (7/(-5))/(12/10). Let g(l) = l**2 - 30*l - 99. Let j be g(33). Is q bigger than j?
False
Let q be 2/8 + 93/420. Let j = -1/35 - q. Let i = -0.239 + 0.039. Is j smaller than i?
True
Let h be ((-2)/12)/(49/(-42) - -1). Let b = -2/227 - 145/9307. Which is smaller: h or b?
b
Suppose -2*m - 4 = 2*m. Suppose -35 + 31 = 2*p. Let j be (-6)/27 + p/18. Does j = m?
False
Let k(l) = -3*l - 26. Let i be k(-12). Suppose 3*h + 9 = a, -i*h - 5 = -5*h - 5*a. Do -4 and h have the same value?
True
Suppose 2 = 3*o - 7. Let v = -220 - -223. Is o at most as big as v?
True
Let p = 633 - 632.806. Which is bigger: -2 or p?
p
Let m be (14/(-10) - (-8)/20)/2. Let k = 3.04 + -3. Which is smaller: m or k?
m
Let d = -23 + 21. Let n(l) = l**2 + 2. Let s be n(0). Is d greater than or equal to s?
False
Suppose -2*v - 2*j = 850, 1271 = 17*v - 20*v - j. Does -423 = v?
True
Let k be (3 - (-27)/(-15))/((-32)/2600). Is k bigger than 0?
False
Let p be 1*(-2 + 2 + -1). Let k be 1*((-1)/4 + 231/28). Let b be p/4 + 50/k. Is b bigger than 7?
False
Let g = -1856/5 + 368. Which is smaller: g or -9?
-9
Let c be 27/81 + 103/(-345). Let t = 1487/230 + c. Is 0.1 greater than t?
False
Let k = -6 - -4. Let t(w) be the second derivative of w**5/4 + w**4/4 - w**3/6 - w**2/2 + 7*w. Let j be t(1). Is k bigger than j?
False
Let d(t) = 52*t - 30*t + t**2 - 19 - 7*t. Let m be d(-16). Are -2 and m nonequal?
True
Let c = -0.8 + -0.2. Let o = -43.97 - 0.03. Let i = o + 44.2. Which is smaller: c or i?
c
Let c = 0.086 - -0.154. Is 6 equal to c?
False
Suppose 6 = -2*u, -258 = 5*w + 11*u - 10*u. Is -52 at most w?
True
Let q = 838.5 - 838. Which is smaller: q or -2/139?
-2/139
Suppose 1 = 4*s - 3. Let l be 10/60 - 70/204. Which is greater: s or l?
s
Let o(h) = -h**3 - 16*h**2 - 16*h + 28. Let z be o(-14). Do z and -140 have different values?
False
Suppose 5*q = -5*r + 5, -3*q + 19 = 4. Suppose 20 = -4*b, -3*s + 6*b + 59 = 2*b. Suppose 2*w + 2*w + s = -3*y, -y - 3*w - 6 = 0. Which is greater: y or r?
y
Let f(u) = -4*u + 4. Let l be f(6). Let s be l/(-8) - (-1 - -3). Let g = -100 - -102. Which is bigger: s or g?
g
Let h be (2/1 + -3)*3 - -13. Let l be 8/(-2*1) + h/(-10). Which is bigger: 2/3 or l?
2/3
Suppose -4*h + 54 + 38 = 0. Let i be ((-27)/(-36))/(2 - h/12). Which is smaller: 6 or i?
6
Let i be (-18)/24 - 22/(-8). Suppose 0 = -i*l + 9*l - 161. Suppose 7 + l = 6*j. Which is greater: j or 7?
7
Suppose 6*i + 302 = -40. Let s = 56 + i. Is -2/9 at most as big as s?
False
Let k be 42/9*20/56*-4. Which is bigger: k or -6?
-6
Let y = 1428 - 1391. Which is greater: -3 or y?
y
Let d = -0.08 - -2.48. Let z = d - 2.5. Let x = z + -0.9. Is x not equal to -0.1?
True
Let m be 1/(-8) - (-6)/(240/(-155)). Is m less than 3?
True
Suppose -c = 20 - 5. Let u be (24/(-36))/(1/21). Is c equal to u?
False
Let j(x) = x + 10. Let o be j(-14). Let i be ((-2 + 7)/(-35))/(o/14). Let p be (0 - -1) + -1 + 1. Do p and i have the same value?
False
Let x be 2/20*(-7308)/18886. Let r = 1/95 + x. Is r greater than 0?
False
Let f = 416998/227 + -1837. Which is smaller: 1 or f?
f
Let d(h) = -h**3 + h**2 + h + 4. Let a be d(0). Suppose 0 = -a*j + 20, -2*j - 1 = -5*x + 4. Suppose 0 = -4*n - 4*y + 16, -4*y = -x*n - 0*n - 23. Is n <= -1/32?
True
Let o(m) = 3*m + 19. Let h be o(3). Suppose x = -3 - 0, 5*b + 2*x - 14 = 0. Let w be (b/6)/(h/(-42)). Is -1/5 at most as big as w?
False
Let k(f) = -5 + 1 + 2*f + 4*f**2 - f**3 - 8 + f**2. Let u be k(5). Is u equal to -21/8?
False
Let a = -8 + 11. Let j = -6.7 + 4.1. Let u = a + j. Is 2 smaller than u?
False
Let y = -2436 - -1388. Are -1049 and y non-equal?
True
Let r(s) = -s**2 + 38*s - 249. Let f be r(20). Which is bigger: 107 or f?
f
Let k = 2/19 - 65/76. Let p = 163/5 - 32. Is p smaller than k?
False
Let y(o) = -o + 6. Let b be y(7). Let t = 47 - 48. Is t equal to b?
True
Let a = 4024 - 438619/109. Which is smaller: a or 0?
a
Let n = 88 + -527/6. Let z be 3/5 - (-8)/20. Is z greater than n?
True
Suppose x + 12*y - 7*y = -251, -3*y = -9. Is -268 > x?
False
Let k = 0.06 + 0.04. Let t = -43 - -128/3. Which is smaller: k or t?
t
Let k = -29/4 - -1495/204. Let u(r) = r - 6. Let m be u(5). Is k bigger than m?
True
Suppose 18*w = -23*w - 6929. Which is smaller: -166 or w?
w
Let n = 129991/34 - 3823. Which is bigger: 1 or n?
1
Let q be (8/6)/(-11*2). Suppose 2*h = -0*m - 3*m + 24, h = 3*m + 3. Suppose h - 9 = 4*g. Which is bigger: q or g?
g
Let k be (-32)/(-2304)*(-4)/(-11). Which is bigger: k or -1?
k
Suppose 22 + 23 = 5*a. Let x = a + -18. Is x <= -9?
True
Suppose -20 = 5*v, -2*a - 2*v + 14 = -3*v. Let y(u) = -u**2 - 3*u + 2. Let o be y(-3). Are a and o non-equal?
True
Let d = 2/117 + 97/1170. Is d >= 1/4?
False
Let g = 13/7 + -17/7. Let s be 0/(1 - 4/(-2)). Suppose 2*f + 4*f = s. Which is smaller: g or f?
g
Suppose 4 = -v + 7. Let b be (6 - -2) + (0 - (-1484)/(-182)). Which is smaller: b or v?
b
Suppose 67*f - 10 = 62*f. Let p be ((-5)/10)/(1/f). Which is smaller: p or -10/13?
p
Let g = -697/120 - 707921/840. Let a = g + 846. Which is smaller: a or -4?
-4
Let o = 0.67 - 0.6. Let f = 3.07 - o. Let a = -8 + 10. Which is smaller: a or f?
a
Let q = -26256/5177 - -315/62. Which is bigger: 0 or q?
q
Let h be (-1)/((-35)/2758)*5. Which is smaller: h or 393?
393
Let u be ((-5)/(-2))/((-2)/(-8)). Let k be ((-385)/(-2))/7*2. Let v be (1 - k/15)*-3. Which is smaller: u or v?
v
Let i(y) = -y**3 + 4*y**2 - 3*y - 8. Let s be i(9). Let j be (18/5)/(66/s). Is -25 <= j?
True
Let x be 1/2 + (-1124)/8. Let r = x - -682/5. Do -5 and r have different values?
True
Let u be 42*2 - (-26)/(-26). Which is smaller: 586/7 or u?
u
Let k = 3.142 - -0.018. Let i = k - -13.94. Let l = 17 - i. Is l equal to 0.06?
False
Suppose 138*v = 152*v - 56. Let k be (-125)/(-51) + (-2)/6. Let h = k + -362/187. Which is greater: v or h?
v
Suppose 0 = -4*i - 1119 - 357. Let l be 15/(-10)*i/(-15). Let o = l + 75/2. Is o < -2/3?
False
Suppose 0 = 25*n - 29 + 254. Let o(c) = -c**2 - 1. Let p(g) = -g**3 - 4*g**2 - 4*g. Let z be p(-3). Let m be o(z). Is m >= n?
False
Let a = 1 - 3.5. Let d = 186 + -181.5. Let u = a + d. Which is greater: u or 2/7?
u
Let q(y) = -2*y + 4. Let r be q(0). Let i be 42/(-20) - r/(-8). Which is smaller: i or -3?
-3
Let u(p) = -2*p**2 - 14*p + 7. Let z be (-14)/(-63) - (-130)/(-18). Let v be u(z). Which is greater: 2 or v?
v
Let c(n) = 2 + 2 + 6 - 3*n - 4. Let o be c(4). Let k = 5 + o. Is k smaller than 6/13?
True
Let v be -3*1 + -8 + 9. Let x be 2/(-4)*1 - 91/v. Which is smaller: 44 or x?
44
Let j be (-4 + -2 + 5)*2/(-1). Let m be 7/j*(-12)/(-84)*-3. Which is greater: m or -2?
m
Suppose -24*l + 1474 = -2*l. Are l and 71 equal?
False
Suppose -578 - 814 = 6*d. Is -234 smaller than d?
True
Let z = 1514899/114 - 13289. Let y = z + 3/38. Is y greater than -1/3?
False
Let l = 98 + -96. Suppose 4 = -4*v - z, 0 = l*v - 3*z + 1 + 1. Is 3/53 smaller than v?
False
Let b = 15805 + -4219925/267. Let p = -1064/14151 + b. Let j = 2 + -1. Which is greater: j or p?
j
Let t = 1 + -1. Let z = -132 + 136. Which is smaller: z or t?
t
Let l(b) = -b**3 + 4*b**2 -