 -3. Is u equal to -0.09?
False
Let c = -27 + 27. Let i = -350 - 62. Let v be -5*(3 - i/(-140)). Which is bigger: v or c?
c
Let w be (-10 + 5)*11/(-5). Suppose -4*p + w = -13. Which is greater: 5 or p?
p
Let c be ((-1)/(-2))/((-6)/12). Let b be (2/161)/(15/(-191)). Let h = b + 4/161. Which is greater: c or h?
h
Suppose -51*o + 45 = -46*o. Suppose 6 + o = -5*x. Is -5/3 not equal to x?
True
Let f = -4 - -6. Suppose -m = b + 4, m = 5*b - 6 + 2. Suppose j - f*j = b. Is -2/3 at most j?
True
Let o(k) = 4*k + 2. Let s be o(-3). Let x(v) = -v**3 + 9*v**2 + v - 34. Let u be x(8). Let m = -46 + u. Which is bigger: s or m?
m
Suppose -3*g - k + 1 = 0, -4*g + 3*k = -k + 4. Let y be (-5)/((-15)/6) - -169. Let o = -2224/13 + y. Which is smaller: g or o?
o
Suppose 3*b + 5*g = -17, -16*b + 21 = -15*b - 5*g. Which is bigger: b or -2/2497?
b
Let p be (-3 - (2 + -5)) + 0/(-1). Which is smaller: 5/7 or p?
p
Suppose 4*m + 2*i - 10 = 0, 24*i = 3*m + 26*i - 9. Is m at least 4/61?
True
Let x be ((-111)/(-518))/(81/(-12)). Is -2 bigger than x?
False
Suppose 2*a = -2*b + 236, 0*b + b + 370 = 3*a. Is 2/7 at most as big as a?
True
Let l = 658 + -2633/4. Which is bigger: -26 or l?
l
Let l(n) = -n - 33. Let f be l(-7). Is f greater than or equal to -26?
True
Let q = -3/5590 - 9749/2666430. Which is smaller: q or 1?
q
Suppose 3*p - 4*k + 7 = 0, 0 = -0*p + 3*p - 5*k + 8. Which is smaller: p or 1/728?
p
Let x(t) = t**3 + 9*t**2 + 13*t - 7. Let q = -38 + 32. Let u be x(q). Is u less than or equal to 22?
False
Let v = 192 + -339. Which is bigger: -2/5 or v?
-2/5
Let h = -316 - -315. Is h > -1/24?
False
Let s(l) = -2*l**2 + 86*l - 153. Let r be s(42). Which is greater: r or -77?
r
Suppose -23*a = -20*a - 2*m - 302, -3*a - 2*m + 310 = 0. Does a = 102?
True
Let g = -30 - -33. Suppose d + 10 = g*d. Let b be (195/12)/d - 3. Which is greater: b or -1?
b
Let v(t) = -4*t**2 + t + 2. Let p be v(-1). Let r be (2/p)/(8/12). Let q be r/(2/(-60)*-3). Which is greater: -8 or q?
-8
Let n(y) = y - 5. Let w be n(5). Let s = -1/181 - -199/3258. Which is smaller: w or s?
w
Let g = -38 - -191/5. Which is smaller: g or 21?
g
Suppose 5*k - 5*g + 0 = -5, -3 = 3*k + 5*g. Suppose 27 = 5*j - 4*i, 4*j + 4 = 5*i + 31. Suppose 0 = -14*a + 11*a - j. Is k >= a?
True
Suppose 136 - 61 = -15*k. Are k and 1/5 unequal?
True
Let g(j) = -2*j**3 - 5*j**2 - 9*j - 14. Let b be g(-4). Which is greater: b or 68?
b
Let l = -108611/36 - -3017. Which is smaller: 3/17 or l?
l
Let d be (-18)/72 + 2/(16/(-2914)). Which is smaller: d or -364?
d
Let n = 26 + -67. Let k = 40 + n. Which is bigger: 0 or k?
0
Let p(s) = -5*s - 25. Let g be p(-14). Let z = g - 43. Which is smaller: z or 12/17?
12/17
Let j = -0.547 + 0.247. Is 0.04 <= j?
False
Suppose -8*m = 36 - 20. Is m < -84/29?
False
Let j = 144 + -126.4. Let a = j + -17. Let u = -54 + 54. Which is smaller: u or a?
u
Let m be 52/312 - (-2)/(-12). Do 385 and m have the same value?
False
Let g be 2/8 + -2 + (-8603)/84. Which is smaller: -103 or g?
g
Let p(w) be the third derivative of -w**5/60 - w**4/3 + 7*w**3/3 - 8*w**2. Let l be p(-11). Is l at most as big as -20?
False
Let l = 52 - 92. Is -21 not equal to l?
True
Let t(c) = -c**3 - 3*c**2 + 5*c + 4. Let g be t(-4). Let j = g - 2. Suppose -7*h - 145*h = 0. Which is smaller: h or j?
j
Let r = -0.29 - -0.09. Let f = 2 + -2.5. Let b = f + -0.5. Which is greater: r or b?
r
Let s = 2 - -22. Let f = s + -24. Is -0.06 less than f?
True
Suppose -6*i = -3*i - 18. Let k be 4*i*1/3. Is 9 less than k?
False
Suppose 4*p + 2*l - 4 = 0, -l + 0*l = -3*p + 3. Let a be (p/21)/((-120)/(-70)). Suppose 0 = -5*s + 2*y - 6*y - 1, 3*s = -3*y. Which is smaller: s or a?
s
Let y be (-40)/7 + (-4)/14. Let p be (y/(-7))/((-216)/(-112)). Suppose -t - 10 - 1 = 4*c, 0 = -t + 3*c + 10. Which is bigger: t or p?
t
Let y = -1053 + 1053.2. Let t = 47 - 26. Let g be (-8)/6*t/14. Is g <= y?
True
Let g be (3/(-4))/(3/(-8)). Suppose -2*l + 0 = -4*m - g, 4*l = -12. Let z = -2 - m. Is z <= 2?
True
Let d = 783 - 1037. Which is smaller: -252 or d?
d
Let x(z) = -z**2 + 2*z + 5. Let l be x(3). Let p = 3 + l. Let y be 24/(-60) + (-8)/p. Is -2 > y?
False
Let h = -59 - -25. Let q = h - -24. Let y be ((-6)/(-9))/(5/(-3)). Which is smaller: q or y?
q
Suppose 18*u - 11*u - 49 = 0. Let o = 10 + u. Which is greater: o or 16?
o
Let t = -6470 - -6478.911. Let x = 0.089 + t. Which is smaller: x or -2/3?
-2/3
Let m(y) = -2*y. Let r be m(-3). Suppose -4*s = -s - r. Let z be -5 + 2 - (-10 + s). Which is greater: 4 or z?
z
Let t be -3*(-3)/(-14 - 4). Which is smaller: t or 22?
t
Let n = -0.431 - 0.169. Let g = 0.7 - 0.6. Which is smaller: n or g?
n
Suppose -3*i - 300 = 2*g - 79, 5*g = 5*i + 335. Which is smaller: i or -69?
i
Let w(a) = -7 - 10 - a**3 - 3 - 16*a**2 + 5 - 16*a. Let x be w(-15). Suppose d - 10 = -x*d - 3*q, -q + 1 = -2*d. Which is bigger: 2 or d?
2
Let u(t) = t**3 - 14*t**2 + 18*t + 17. Let h be u(13). Suppose 4*w + 1 - 22 = -l, -3*w = -5*l + h. Is l < 0?
False
Let s = 161.9 - 162. Do s and 21 have the same value?
False
Let n = -8 + 13. Suppose 3*t + 744 = n*w, 2*w = -2*t + 421 - 117. Which is smaller: 0.1 or w?
0.1
Let q = -9 - -7. Let o = q - -4. Let v = 278.13 - 278. Which is bigger: v or o?
o
Let c(f) = f - 1. Let r(l) = 1. Let q(n) = -4*c(n) - 9*r(n). Let a be q(-3). Is 3 at most a?
True
Let m be 60/78 + -6 - -5. Is -1 not equal to m?
True
Suppose -2*b - 2*a = 32, 8 = a - 5*a. Let g = b - -28. Suppose 4*d = -3*d + 91. Is g less than or equal to d?
False
Suppose -892*b - 1612 = -918*b. Which is smaller: b or 63?
b
Let t = -1.9 + 2. Let j = -20.29 - -0.29. Let w = -19 - j. Is w greater than or equal to t?
True
Let j = -48 - -73. Let v = -28 + j. Which is smaller: -2 or v?
v
Suppose -3*o + 5*c = -o - 9, -2*c - 3 = -o. Which is smaller: 1/47 or o?
o
Suppose -71*g = -67*g + 20. Let o be (g/(-15))/(741/18). Is 0 bigger than o?
False
Let t = -54 + 45. Let o(s) = 3*s + 15. Let r be o(t). Is r less than -12?
False
Let m(n) = n**3 + 5*n**2 + 2*n + 12. Let g be m(-5). Suppose 15 = 5*o - 2*u, -g*u = o + 2*o - 25. Which is smaller: o or 3?
3
Let y be 1476/4*16/(-24). Is -246 <= y?
True
Let w = 13 + -13. Let o = -3443/7 - -491. Does w = o?
False
Let a(q) = -q - 1. Let h be a(-3). Let d = h + 0. Let f = -15/14 - -17/42. Which is smaller: d or f?
f
Let y(j) = -j**2 + j - 3. Let u be y(7). Let c = 63 + u. Suppose -5*f + 5*w + 38 = -52, -9*f = 5*w - 176. Which is smaller: f or c?
c
Let w(p) = 6*p**3 - 3*p**2 + 5*p + 15. Let t be w(-4). Are t and -437 equal?
True
Let s be 2/2 - -1*2. Suppose h + s*f - 5 = -0, h - 5*f = -3. Let y be 3/(-6)*12/(-9). Is h less than or equal to y?
False
Let u(b) = b**2 + 11*b - 10. Let g be u(-12). Suppose 5*y + 10 = 0, -z - 5*y = 20 - g. Which is smaller: z or -7?
z
Let q = -1.032 + 0.93. Let v = q - 0.398. Which is smaller: v or -9?
-9
Let a = -5 + 4. Let y(t) = -t**3 + t**2 + 8*t + 4. Let j be y(3). Let q be (-96)/(-117) + j/(-15)*1. Which is smaller: a or q?
a
Let i = 5.88 + -7.1. Let p = 0.07 - i. Let f = p + -0.29. Which is bigger: f or -6?
f
Let f(q) = -4 + 49 + 49*q - 52*q. Let a be f(15). Let y be ((-4)/(-114))/((-1)/(-3)). Is a at most as big as y?
True
Suppose 2*a - 62 + 4 = 0. Suppose -9 = -5*n - a. Is -1 less than or equal to n?
False
Suppose -2*x - 3*p = 2*p + 14, -3*x - 5*p - 11 = 0. Suppose 24 = x*v - 3. Which is greater: 48/5 or v?
48/5
Suppose 111*l = 108*l + 171. Let a = l - 55. Let t be ((-6)/16)/((-1)/2). Is a smaller than t?
False
Let f be (111/(-42))/(1/11188). Let g = f + 29690. Let n = -122 + g. Is 0 <= n?
False
Let a = 14 - 12.6. Let q = a + -3.4. Let s = 4 + q. Which is greater: -6 or s?
s
Let r be (6/2 + 1)*(-65)/(-10). Let c be r/(-65)*(-5)/79. Let a = 4 + -3. Which is greater: c or a?
a
Let j be 158/18 + 2/9. Suppose -5*q = -2*z - 110, -q = 2*q - 5*z - 47. Suppose q*w - 26*w = -16. Are w and j equal?
False
Let p(r) = -r**3 + 22*r**2. Let b be p(22). Which is smaller: b or 15/101?
b
Let y be 232/(-174) + 79/3. Is y at least -6?
True
Let b(i) = -2*i**2 + 9*i - 15. Let d be b(5). Which is smaller: -21 or d?
-21
Suppose 0 = 2*f + 2*y - 10 - 0, 2*y - 10 = f. Suppose -4*c + 6 = -2*b - f, -11 = -4*c + 3*b. Let k = -1473/779 - -35/19. Which is bigger: k or c?
k
Let t(m) be the first derivative of -2*m**3/3 + 13*m**2/2 - 6*m + 11. Let 