 - 27.992. Let l = 0.108 - g. Which is greater: 89 or l?
89
Let n be (-1)/((-31)/8 + 4). Let r be ((-1)/(n/(-36)))/6. Which is bigger: r or 0.1?
0.1
Let j = -16001/23 + 696. Which is smaller: j or -1?
-1
Let h = 92 - 90. Suppose 3*u + h*r = -1, -5*r - 1 = u - 5. Which is smaller: u or -2/105?
u
Let f(t) = -t**3 + 12*t**2 - 13*t + 26. Let k be f(11). Let o = -263 - -2927/11. Do k and o have the same value?
False
Let l be 420/(-45) - 4/6. Let s be (-204)/10*25/l. Suppose p + 3*v = -3*p - s, -v - 50 = 5*p. Is -9 at least p?
True
Suppose -2*k + 5*r = 4, -4*k + 1 = -k - 4*r. Is 17/7 at most as big as k?
True
Let p = 9494/51 + 292/17. Let c = 198 - p. Let x = 0.01 - 0.01. Which is smaller: c or x?
c
Let f(j) = -2*j - 22. Let s be f(-17). Let y be (33/s)/(3/(-12)). Which is greater: y or -12?
y
Suppose -5*q + 10 - 40 = 0. Let p(f) = -f**3 - 7*f**2 - 2*f - 5. Let w be p(q). Is w equal to -30?
False
Let k be 0 - 0 - (-8)/4. Let o(x) = x**3 - x**2 + 4*x + 60. Let a be o(0). Let h = a - 57. Which is bigger: h or k?
h
Let f be 1744595/2140 - (-2)/(-8). Let s = 815 - f. Which is greater: 1 or s?
1
Let z be -9 - -1 - (30 - 41). Suppose 4*w + 0*w - 6 = -3*a, 0 = a + 4*w - 2. Is a at most z?
True
Let a = 65676 - 458362/7. Let t = 196 - a. Which is smaller: t or 2?
t
Let n be (-2)/8 - 3/(-12). Suppose 9*a = -n*a + 2*a. Which is bigger: 4/3 or a?
4/3
Let j be 2/(-4)*66/(-55). Let z be (1 - -2)/(-9)*-6. Suppose -2 = -b - 0*b + 2*r, -z = -b + r. Is b >= j?
True
Suppose 6 = -3*b - 12. Let o = 31457/8 - 3937. Is o > b?
True
Let g = -42 - -21. Let z be ((-3)/(-2))/(g/(-12)). Let k = 21 - 19. Is z greater than or equal to k?
False
Let d = 115 + 8. Let p = -147 + d. Is p at most -21?
True
Let u be (((-24)/(-75))/2)/2. Let j = u + -31/75. Let d(b) = 6*b - 1. Let w be d(0). Which is greater: j or w?
j
Let g(o) = o**3 - 9*o - 7. Let l be g(6). Suppose -3*p = l - 26. Is -44 < p?
True
Let g(w) = 14*w**2 - w. Let u(d) = d**2 + 4*d - 5. Let x be u(-5). Suppose -4*a + x*a = 4. Let b be g(a). Is 14 < b?
True
Let j = 2701/3 - 830. Is 70 greater than j?
False
Let r = 2658/35 + -76. Let k(n) = n**3 - 11*n**2 + 2*n - 2. Let f be k(11). Let x = -19 + f. Is x less than r?
False
Let k = -34 - -27. Let x = 6.1 + k. Which is smaller: 0.2 or x?
x
Let h(v) = -7 + 7*v**2 - 15*v + 2*v**2 - 7*v**2. Let n be h(8). Which is bigger: 2/19 or n?
n
Suppose -2*x + 3*x = 0. Suppose x = 4*q - 4*s + 8, 4*q + 6 + 1 = 5*s. Which is smaller: -1 or q?
q
Let i = -343 + 313. Are 0 and i unequal?
True
Suppose 0 = -0*a + 4*a. Suppose 2*u + u - 15 = a. Is -0.2 at least u?
False
Let o(p) = 8*p - 87. Let z be o(11). Is z at least 5/14?
True
Suppose 4*n + 3*m = 3*n - 8, 0 = n + m + 2. Suppose 5 + n = b. Which is smaller: 8 or b?
b
Let z = 753 - 744. Which is smaller: -24 or z?
-24
Suppose 0 = -3*n - 7 - 23. Let f be (2/n)/(44/(-253)). Let z = -7/5 + f. Do z and -1 have different values?
True
Let m(y) = -13*y + 31. Let w be m(4). Which is smaller: w or -22?
-22
Let n(h) = -2*h + 4. Let t(s) = -2*s + 5. Let c(i) = -5*n(i) + 6*t(i). Let o = 14 - 9. Let g be c(o). Is -1 < g?
True
Let q = 1332 - 1402. Is -343/5 less than q?
False
Suppose q + 11*q - 12 = 0. Let j be (-30)/(-16) - q - 6/12. Let i be -2*(-1)/(-5)*-1. Which is greater: i or j?
i
Let x be (30/35)/(6/21). Suppose k = 4*s - 19, 5*s - x - 18 = 4*k. Which is greater: -1/3 or k?
k
Let q(m) = -m + 5. Let d be q(-13). Let g = d - 6. Does g = -2?
False
Let g = 576.3 - 576. Are -2/11 and g unequal?
True
Let t = 3.007 - 0.397. Let a = 0.11 - t. Which is smaller: -2 or a?
a
Let c(s) = -30*s - 2. Let b be c(-1). Let y = b - 29. Let f = y + 2. Which is greater: -2/59 or f?
f
Let a = 2039 + -2129. Are a and -90 unequal?
False
Let b = -442 + 1324/3. Let a = 0.07 + -0.01. Let x = a + -4.06. Is x smaller than b?
True
Suppose 38 = -4*i + 42. Which is smaller: i or 0?
0
Let w = -2058 - -2754. Which is bigger: w or -0.1?
w
Suppose -2*w - 3*s = -0*s + 10, -2*w - 4*s = 14. Let g be w/(1/(5/(-50))). Is g equal to 1?
False
Let o be (35/60)/(3/36*-3). Which is smaller: o or -2?
o
Let r = -142.89 + 143. Let s = 2.89 + r. Which is greater: -2/57 or s?
s
Let x be -3 + 24/4 - 8. Let k = x + 10. Suppose t = k*t - 8. Is -4 greater than t?
False
Let r be 3/(-36) + 186/(-360). Which is bigger: r or 7/6?
7/6
Let k be (18/(-99) - (-64)/(-11))/11. Suppose 0 = -0*p + p - 2*d + 10, 2*p + d = 0. Let f be 3/(-3) - 3/p. Which is greater: f or k?
f
Suppose m = 1, -v + 3 - 6 = m. Which is smaller: v or 0.04?
v
Let p(u) = 6*u**3 + 40*u**2 - 24*u + 35. Let c(r) = -r**3 - 8*r**2 + 5*r - 7. Let h(m) = -11*c(m) - 2*p(m). Let f be h(7). Which is smaller: 1/7 or f?
1/7
Suppose n + 9 = -5*q, -5*n + 14 = -3*q + 3. Is 3 at least as big as n?
True
Let q be (0/4)/(3 - -4 - 9). Is q at most -6/205?
False
Let d = -5.7 + -53.3. Let b = d + 61. Which is smaller: b or -0.3?
-0.3
Suppose 3*w = 0, -w - 4 = 2*v - v. Let m be 14/(-56) - 1/v. Let b be m/5 - 4/30. Which is greater: 2/5 or b?
2/5
Let f = 78 + -80.5. Is f less than or equal to -0.3?
True
Let d be -2 - ((-10)/5 - 3). Suppose 5*q + 167 = 4*m, d*q + 3*m + 51 + 33 = 0. Is -30 at most as big as q?
False
Let r be (-3)/(-6) + (-2)/4. Suppose 4*z + 112 = -4*b, b - 4*z + 1 + 17 = 0. Let v = 137/5 + b. Are r and v equal?
False
Let h(s) = -3*s - 28. Let q be h(-10). Which is greater: q or -27?
q
Let y be -12 + 0 - 5/5. Let i = -44/3 - y. Let k = -11 - -75/7. Is i >= k?
False
Suppose 4*u - 9*u - 4*v - 135 = 0, 5*v + 25 = 0. Let c = u - 2. Let o = c - -33. Is 8 greater than or equal to o?
True
Suppose 41 = 5*v - 4. Suppose -v = 3*j, 2*d - 4*j - 3 = -3*j. Is -2/23 smaller than d?
True
Let n = -3/1103 - -15565/45223. Let p = n - 292/615. Which is bigger: -1/3 or p?
p
Let m = -5570 - -5574. Suppose -4*g + 3*o + 3 = -21, -12 = 3*o. Which is bigger: g or m?
m
Suppose 0 = 2*r + 5*p - 57, -r - 32 = -2*r + p. Suppose 0 = -2*q - 4*j - 23 - r, 2*j = -2*q - 48. Let f = q - -19. Which is smaller: 5 or f?
f
Suppose 2*d = -w + 8, 4*w + d - 4 = -w. Let z be 150/(-190) + (-1 - -2). Which is bigger: w or z?
z
Let b(s) = s + 3. Let g be b(-3). Suppose 0 = -q - q + 3*d - 13, 2*q - d + 7 = g. Let o be 0/2 + 6/(-4). Which is smaller: o or q?
q
Let y be (-898)/(-10) - (-16)/80. Suppose -5*m = 45 - y. Which is smaller: m or 7?
7
Let z = 665 + -664. Which is greater: 1/469 or z?
z
Let k = -11 - -6. Let s(b) = -b**2 - 14*b + 2. Let t be s(-14). Let p be (-2)/(4/(t/(-1))). Which is smaller: p or k?
k
Let l(s) = -s**3 - 5*s**2 + 4*s + 2. Let d be l(-6). Let j = 13 - d. Let m = 14/37 - 265/407. Is m > j?
True
Let h be 3*(20 + -2)/(-9). Does h = 44?
False
Let p be 700/13 - -5 - 9. Are 50 and p unequal?
True
Let y = 172 + -153. Is y smaller than 20?
True
Suppose 602 = 34*i + 4478. Is i > -119?
True
Let p = 0.87 + -0.05. Let s = -0.52 + p. Do 3 and s have the same value?
False
Suppose 0*q = 2*q + 80. Let x = q + 44. Which is smaller: 2 or x?
2
Let u(g) = -g**3 + 4*g**2 + 11*g + 5. Let m be u(6). Let k = -11/6 - -67/30. Is m at least as big as k?
False
Let t be 38/(-12)*56/(-21). Is 7 < t?
True
Suppose 1 = -5*w + 6. Let t = 5.55 + -5.35. Which is greater: t or w?
w
Suppose -4*s - 5 + 29 = 0. Suppose -5*o + v = -40, 3*v = -10 - 5. Suppose s = -j + o. Which is greater: 1/8 or j?
j
Let x = -222 - -232. Is x less than 24?
True
Let v(t) = -3*t - 2 + 3*t**2 - 17*t**3 + 16*t**3 + 4*t. Let u be v(3). Suppose -8 = -3*l - 2. Are l and u non-equal?
True
Let g = -18 + 21/2. Let h(t) = -2*t**2 - 158*t + 1195. Let u be h(7). Which is smaller: u or g?
u
Let c = -1388 - -1179. Which is smaller: c or 2/3?
c
Let z = -13 - -31. Which is bigger: z or 4?
z
Let g be (18/4)/((-7)/(-42)). Let f be 1*4/(12/g). Suppose 4*u = 2*n + 18, -4*n = -0*n + u + f. Is -1 != n?
True
Let b = 92.8 + -91.8. Let k be (0 - 6/(-9))*27. Is k at most as big as b?
False
Let c = -1768708/535 + 3306. Let n = 2998/535 - c. Which is greater: n or 5?
n
Let j(y) = -26*y + 64. Let c be j(3). Which is smaller: c or 2/49?
c
Let p = -0.01 + -0.09. Let g = -1121 + 1125.61. Let s = 4.6 - g. Which is smaller: p or s?
p
Let v = 43 + -56. Which is smaller: -149/11 or v?
-149/11
Let z(i) = -2*i**2 - 19*i - 38. Let v be z(-3). Let b be (2/4)/((-159)/6). Is v at least b?
True
Let r(y) = y**2 - 19*y + 44. Let u be r(16). Let w(t) = -t**3 - 3*t**2 + 6*t + 6. 