t y = 49 + -51. Which is greater: y or -40/51?
-40/51
Let r be (5/(-2))/((-20)/(-1080)). Is r != -137?
True
Suppose 2*q + q + 2 = -2*j, -5*j - 4*q = -9. Suppose 0 = 5*v - 3*z - 55, 2*v - 4*z = -v + 44. Let l be 33/12 - (6/v)/(-3). Which is smaller: j or l?
l
Let b be 600/5 - (-1 + -2). Let q = b + -93. Is q <= 29?
False
Let t(f) = -2*f**2 - 2*f + 46. Let g be t(6). Is g at most as big as -39?
False
Let a = 500.8 - 501. Is -132 > a?
False
Suppose -x + 36 = 38. Let k = -7 + 5. Let h = -1 + k. Is x less than or equal to h?
False
Let v = 189 + -1129/6. Suppose 4*j = -3*a - 20, 57*a - 3*j - 15 = 59*a. Which is greater: a or v?
v
Let n be 1*(2/(-32) + 0). Suppose 0 = -8*q + 9*q + 1. Is q <= n?
True
Suppose c = t + 2490 + 330, -14095 = -5*c + 4*t. Let k = 25370/9 - c. Is k smaller than 3?
False
Let h = -43 + 59. Suppose -10*c + h = -6*c. Which is smaller: 1 or c?
1
Let m(s) = -s**3 + 2*s. Let g be m(-2). Let z be 49/4 + 3/(-12). Let y be ((-9)/(-30))/(z/(-10)). Is g > y?
True
Suppose i - 2*i = -3. Suppose o - 21 = -o + 3*l, 0 = 3*o + i*l + 6. Which is smaller: 3/2 or o?
3/2
Let s(t) = -t**2 - 3*t + 4. Let i(j) = -j**3 + 3*j**2 + 2*j + 4. Let y be i(4). Let f be s(y). Let k be f - 6 - (6 - 7). Is -6 at most k?
True
Let h(t) = t**3 + 11*t**2 + 12*t + 4. Let b be h(-10). Let x be b/(-56) + (-162)/(-119) + -2. Which is greater: x or 0?
0
Let q be (-28)/(-126) - ((-807)/54 - -2). Suppose -32 + 8 = 2*w. Let x = q + w. Is 1 greater than x?
False
Let k be (1 - 2)/(7/350). Let x = -50 - k. Suppose -4*y + 17 = 3*l, 0 = -3*l + 2*l - 3*y + 9. Which is smaller: l or x?
x
Let o = -1 - -1.2. Let y = -4918 + 4921. Are y and o equal?
False
Let k = -36 - -59. Let h = 38.1 + -38. Which is bigger: h or k?
k
Let h(b) = 272*b - 275. Let c be h(2). Is c smaller than 269?
False
Let q = 94/3 + -31. Let x be ((-30)/6 + 3)*(-1)/6. Is q greater than x?
False
Suppose -4*u = -6*o + 3*o + 301, 2*u = 3*o - 143. Let p = -78 - u. Which is bigger: 21 or p?
21
Let d be 2/((-4)/(-90)*-5). Let s(o) = 2*o**3 + o**2 - 2*o - 2. Let i = -5 - -3. Let a be s(i). Which is greater: d or a?
d
Let o be ((-1)/4)/((-60)/(-160)). Is -196 equal to o?
False
Suppose -d - 5*g = -21, 5*g - 10*g + 18 = -2*d. Let p = 1150/7 + -165. Let f = 22/21 + p. Which is bigger: d or f?
d
Let c(q) = 37*q**3 - q**2 + 21*q - 46. Let m be c(2). Which is bigger: m or -0.1?
m
Let u(l) = -3*l**2 + 10*l + 9. Let i be u(4). Which is smaller: 3/35 or i?
3/35
Let n = 2/2173 - 41301/15211. Let m = -4 - 0. Which is smaller: m or n?
m
Let r = 14.9 + -15.9. Let w = -27 - -15. Is r smaller than w?
False
Let z = -25181/24 - -1044. Which is smaller: -5 or z?
z
Suppose 0*f = -4*f. Suppose f - 4 = -j. Let m be -3 - j/(-16)*7. Is m at most as big as 0?
True
Let r = 7 + -2. Let c = 11 - r. Let i = c - 6.05. Which is smaller: i or 1/2?
i
Let c be (-3)/(4/58*(-15)/(-20)). Let b = 49 + c. Are -58/7 and b nonequal?
True
Let g be (-4)/1 + 27*14/105. Which is smaller: 12 or g?
g
Let u = 34 - 33.98. Let z = -0.12 + u. Are 4/5 and z equal?
False
Suppose -3*i + 7 + 3 = -x, 2*x = -i - 6. Let g be (-10)/(-2)*(-2)/i. Suppose 0 + 16 = -4*o. Are o and g equal?
False
Suppose -3*d = 5*g + 2*d - 15, d = -5*g + 31. Suppose -g*y = -5*y + 2*y. Which is smaller: y or -5?
-5
Suppose 0 = -6*p + 2*p + 44. Let o(u) = -3*u**2 - 12*u + 28. Let q(s) = -s**2 + 1. Let j(m) = -o(m) + 4*q(m). Let h be j(6). Which is greater: h or p?
h
Let s = -146 + 156. Is s < 3/5?
False
Suppose h - 3*s - s = 21, 0 = -2*h - 3*s + 9. Suppose 0 = -3*w + 4*j + h, 5*j = w + 6*j + 4. Which is bigger: w or -2/39?
-2/39
Suppose -c - 4 = -5. Let x be (7 - 6) + 54/(-58). Which is greater: x or c?
c
Let u(b) = -b**2 - 9*b - 5. Let o be u(-6). Suppose -w - 34 + o = 0. Which is bigger: -22 or w?
w
Let n = -21 - -17. Let l(q) = -3*q + 1. Let p be l(-3). Let r be p/(-3)*(-21)/(-15). Does n = r?
False
Let q(b) = b**3 + 14*b**2 - 27*b + 80. Let g be q(-16). Suppose -4*i - 4*d = -5 - 7, 0 = 5*i - 2*d - 15. Let f = -2 + i. Is g greater than f?
False
Let x = -0.9 + -0.1. Let k = 1 - -24. Let j = -127/5 + k. Is j > x?
True
Let m(r) = r**3 - 13*r**2 + 11*r + 6. Suppose -5*a + 48 = 3*c, 3*a - 36 = -2*c - 8. Let q be m(a). Is q less than or equal to -6?
True
Let o = 234 - 240.3. Which is greater: o or -7?
o
Let k = 531 - 530.9. Which is greater: 45/41 or k?
45/41
Let x = -51644.89 + 51924. Let n = 282 - x. Let k = n + 0.11. Is -2 smaller than k?
True
Let y(v) = -v**2 - v - 1. Let o be y(-1). Suppose -r = r + 542. Let q = 2707/10 + r. Which is smaller: q or o?
o
Let p be (-28)/(-3)*(-9)/(-6). Let c be 4/(-8)*1*p. Let t(g) = -g**3 - 6*g**2 + 6*g - 7. Let m be t(c). Which is smaller: m or -0.09?
-0.09
Suppose 4*a + 20 = 6*a. Let v be (-10)/a + 4/3. Do 3 and v have the same value?
False
Let i be 0 + 0 - (-5 - -12). Let v = i + 9. Let m be -1 + v + (-15)/9. Is m greater than -1?
True
Let x = 1 - -2. Suppose 16 = -12*w + 16*w. Suppose -y = 5*d + 15, 2*y + 1 = -w*d - 5. Which is bigger: x or y?
y
Suppose -2*y = -2*u - 24 - 4, y - 20 = 4*u. Let l be y/(-24)*(-2 - (-112)/22). Which is smaller: -3 or l?
-3
Let q = 649 - 650. Which is bigger: q or 22?
22
Suppose -4*p = 3*z - 0*z - 36, 3*p - 34 = -4*z. Let x = 2347 + -2349. Do p and x have the same value?
False
Let r = -258 + 258.2. Let g = -10 - -8. Let d = -2.1 - g. Which is greater: d or r?
r
Let o = -21.1 - -21. Is o greater than or equal to 192?
False
Let a be (2 + (-56)/10)/(18/(-300)). Let x be (-208)/15 - 8/a. Which is smaller: -16 or x?
-16
Let r = 8.5 - 8.7. Which is smaller: r or -3/31?
r
Let n(o) = 1369*o + 4. Let k be n(1). Let b = k - 15091/11. Let i = 3 - 2. Which is smaller: b or i?
i
Let a(b) be the second derivative of -b**4/12 - b**3/2 + b**2 + 7*b. Let s be a(-3). Let i be 3 + -12 + 6/s. Are i and -7 unequal?
True
Suppose -14*j = -34*j + 3340. Is 167 < j?
False
Let h = 9 - 10. Let s be (4 + h)/3 - -3. Suppose k - s*k = 3. Which is smaller: k or -6?
-6
Let s be (-2*4*1)/(-55 + 25). Which is smaller: s or -14?
-14
Let b = -8/5 - -19/15. Let o be (-58)/5 + 6/(-15). Let z be 33/o + 2/(-8). Is z != b?
True
Let b be (-897)/(-65) + (-2)/(-10). Suppose -6*n = -n - 70. Is b not equal to n?
False
Let r = -1/541924 - 2063646577/8128860. Let q = r + 254. Let u = 155 - 155. Which is greater: q or u?
q
Let p = -691/4 - -173. Which is greater: p or -28?
p
Let q = 4.1 - 4. Let c = -0.11 - -0.01. Is c greater than q?
False
Let u(s) = -3 + 18*s - 2*s**2 + 2 + 4*s**2 + 14*s. Let j be u(-16). Which is smaller: 4/9 or j?
j
Suppose 4*d = 7 - 19. Let a be ((-159)/(-24))/1 - (d - -4). Which is smaller: a or 5?
5
Suppose -42 = 3*c + 4*c. Let z be 3*2/168*c. Is 0 > z?
True
Let j = 2870.01 - 2853. Let i = j + -17. Let p = 0.23 - -0.07. Which is bigger: p or i?
p
Let p = 3/1540 - 35501/41580. Which is smaller: p or -1?
-1
Let z = 26 - 21. Suppose 0 = 2*m + z*s - 17, -3*s + 7*s = 4*m + 8. Let b be 6/(-3) + 14/8. Are b and m equal?
False
Let i = -3648737/67989 + -2/22663. Which is smaller: i or -55?
-55
Let r = -3.3 - -3. Let z = -0.05 + 0.65. Let n = r + z. Which is smaller: n or -0.1?
-0.1
Let z(o) = -o**2 - 8*o + 9. Let c be z(-8). Let x(t) = t. Let g be x(5). Suppose -g*j + 10*j - 40 = 0. Is j smaller than c?
True
Let i be 2/(-80)*5/(60/(-112)). Which is smaller: 0 or i?
0
Let j be (-874)/13314*(271/295 + -1). Let n = -2/2065 - j. Which is smaller: 0 or n?
n
Let q = -1 - -3. Let b(f) = -4 - 3*f + 2*f**2 - 5*f - 3 - 3*f**q. Let l be b(-7). Which is greater: l or 2?
2
Let u be 4 - (-8 + -10)/(-3). Which is bigger: u or 2?
2
Let x = 35.9 - 8.9. Let s = x + 20. Which is smaller: 2 or s?
2
Let h = -4/9 + 1/9. Let j = -0.028 + -3.972. Which is smaller: j or h?
j
Suppose -12*z = 19*z - 9*z. Is 2/2089 at most z?
False
Suppose -6 + 110 = 4*g. Suppose 22*r - g*r + 8 = 0. Let j be (-15)/13 + r/13. Does 3/16 = j?
False
Let v = -6428/3 + 2140. Which is smaller: v or -3?
-3
Let l be (-12)/10 + (-12)/(-10). Which is bigger: 25/36 or l?
25/36
Suppose 0*q + 3*q + 60 = 0. Let i be ((-24)/q)/(4/10). Do 2 and i have different values?
True
Let n be ((140/(-30))/(-14))/((-17)/(-510)). Suppose z = 5*z + 76. Let t = z - -28. Which is bigger: t or n?
n
Let f = 224 - 323. Are -2 and f equal?
False
Let x be (5 + -1)*(18/(-4))/9. Suppose 3*g - 2*z = 8, 0*g = 2*g - 3*z - 12. Let q = -3 - g. Is q at m