l = 3*b - 3 - 9, b - 10 = -u*l. Let c = -1 + 0. Is l bigger than c?
True
Let k = -1/231 + 411/77. Which is greater: 6 or k?
6
Let k(t) = 2*t**2 - 14*t - 48. Let d be k(-7). Is 147 > d?
False
Let z(a) = 5*a + 2*a**2 - 2*a - 3*a**2 + 6. Let q = 11 + -6. Let j be z(q). Are j and -5 non-equal?
True
Suppose -4*n = 3*j - 0 + 2, 0 = -4*n + j + 6. Let p be -1 - (-1 - 0)*n. Is p smaller than 1/8?
True
Let k be (-3)/12 - (-15)/12. Do 1/194 and k have different values?
True
Let s = -237062/759 + 3436/11. Suppose -o + 4*g = -12, 0 = -2*o - 2*o + 3*g + 9. Is o at most as big as s?
True
Let v = -5 - -4. Let m(q) = -2*q**2 - 21*q - 56. Let h be m(-4). Which is smaller: h or v?
h
Suppose -22 = -3*a - 3*l - 2*l, 2*a + 2*l - 20 = 0. Suppose 0 = -5*v + 10 - 15. Let x be v*((-34)/a - -2). Is x greater than or equal to -2?
True
Let t = -465 - -465.6. Which is smaller: -0.3 or t?
-0.3
Let g(d) = -4*d**3 - 23*d**2 + 10*d + 17. Let a(v) = 3*v**3 + 23*v**2 - 10*v - 16. Let p(k) = -6*a(k) - 5*g(k). Let w be p(11). Which is greater: 4/7 or w?
4/7
Suppose -57*u = q - 58*u + 3, 0 = 5*u - 10. Let m = 2978804/15 + -198759. Let y = 172 + m. Is q >= y?
False
Let i = -0.31 + 0.3. Let g = -0.05 - i. Let s = 0.0586 - 0.2586. Are g and s unequal?
True
Let z be 0 + ((-41974)/20540 - -2). Let k = z - -2/395. Let v = k + 29/78. Which is smaller: 1 or v?
v
Let p be (1 + -2)*(-71 + 71). Is 3/958 smaller than p?
False
Let a = 8691/5 + -7569831/4355. Which is smaller: 1 or a?
a
Let b = 1885 + -1870. Which is bigger: -1.1 or b?
b
Suppose 15*w - 16*w - 4 = 0. Let z be 1005/60 + 3/w. Is z greater than or equal to 0.1?
True
Let c = -95.2 + -9.8. Let o = c - -192. Let u = -57 + o. Is 0.1 smaller than u?
True
Let h = 1552 - 1552.2. Which is smaller: h or -194?
-194
Suppose -21 = -3*u - 15. Is u at most 12/7?
False
Suppose -t - 103 + 7 = -4*m, 3*t = 4*m - 96. Let y be 1*5 + (-18)/m*4. Is y equal to -5?
False
Let s = 43 + -30. Let g = -16 + s. Let r be g + -3*(-84)/45. Is 3 > r?
True
Let j = 7/4 + -5/4. Let d = -0.36 + -7.64. Is j less than d?
False
Suppose 5*v = 5*y - 115, 25*v - 23*v = -6. Suppose -153 = 5*q - 4*b, 4*b + 12 = -0*b. Let f = y + q. Which is smaller: f or -14?
-14
Let r = -0.05 + 1.05. Let x = 0.86 + -1.86. Let j = r + x. Is j equal to -10?
False
Suppose -34*n - 14*n = -48. Is -2/325 less than n?
True
Let g = -335 - -392. Does g = -1/4?
False
Suppose -8 = -n - 2. Let b be (n + 2)/(4/(-2)). Let i(j) = -j**2 + 4*j + 6. Let m be i(6). Which is smaller: b or m?
m
Let q = 0.18 + 0.72. Let o = 0.1 - -0.9. Let c = o - q. Which is greater: c or -6?
c
Suppose 14*m = 9*m - 5. Let q(k) = k**3 + 3*k**2. Let h be q(-4). Let z be 92/(-147) - h/24. Which is smaller: z or m?
m
Let k = -1502 - -1512. Is k bigger than 10?
False
Let b be ((-4)/12)/((-2)/312). Let h = 53 - b. Is h >= 18/11?
False
Let y be 1/2 + 1/((-75924)/41474). Let u = y - 4/513. Which is bigger: 1 or u?
1
Let d = -24/479 + 141401/1916. Is 73 != d?
True
Let q be 1 + -3 - (-4 - 2). Suppose 3*n + 210 = -q*n. Is -29 < n?
False
Suppose -4*k + 6*k = k. Suppose 13*o - 18*o + 15 = k. Let w be 2/(-9) - 20/(-9). Is w less than or equal to o?
True
Let a(r) = 2*r - 12*r + 8*r + 0*r - 11. Let d be a(-5). Is 1/24 less than d?
False
Let o be (-10)/66*55164/(-14). Let v = o - 597. Is v less than 1?
True
Let o(g) = -g**2 + 5*g - 1. Let k be o(6). Suppose -24 = -3*h + 7*h + 2*y, 3*y - 27 = 3*h. Is h bigger than k?
False
Suppose -46 + 53 = 7*y. Suppose -4*n - 11 + 39 = 0. Is n greater than or equal to y?
True
Let h(f) = f**2 + 12*f + 132. Let t be h(-18). Is t bigger than 243?
False
Suppose 10*n - 16*n = -6. Which is bigger: -3/511 or n?
n
Let s be (11 - 11) + 23/70. Let g = s - -1/14. Let r be (2/(-4))/((-2)/(-4)). Which is smaller: g or r?
r
Let m(n) = 7*n**2 - 27*n + 7. Let c be m(-6). Is c smaller than 0?
False
Let n(i) = i**3 - 6*i**2 - 2*i + 6. Let f be n(6). Let t be 16/8*45/f. Which is smaller: t or -18?
-18
Let d(i) = 2*i**2 + 35*i + 52. Let c be d(-14). Which is smaller: c or -43?
c
Let w(f) = f**2 - 52*f + 672. Let k be w(28). Let j = -0.13 - 1.57. Is k > j?
True
Let t = -23.89 - -24. Let o = 0.19 + t. Which is smaller: o or 0.4?
o
Let x = 18 - 78. Let t be (956/(-32)*-4*2)/4. Let q = x + t. Which is smaller: q or 1?
q
Let k be ((-279)/(-2))/3*66/45. Are k and 67 non-equal?
True
Suppose 8*d + 5 = 13*d. Let p = d + -7. Let t be ((-38)/(-3))/(p/(-9)). Is 19 bigger than t?
False
Let b = -595.3 + 595. Which is smaller: 0.251 or b?
b
Suppose 11 = -f - g, g + 35 = -4*f - 12. Is f smaller than -13?
False
Let m be (10432/1160 - 9)/2. Which is bigger: 0 or m?
0
Let i(p) = p**3 - 15*p**2 - 17*p + 20. Let y be i(16). Suppose 5*h - 25 = -5*d, y*h + 1 = 6*h - d. Let a be (-3 - 4/h)/(-4). Does 1 = a?
False
Suppose -d + 6 = -2*s, s - d = 5*s. Which is smaller: -2/353 or s?
s
Let h be (-1 + (-21)/(-30))/((-21)/84). Suppose 5*t - 23 + 8 = 0. Suppose -3*i - 5 = -2, t*i = -4*o + 5. Which is smaller: h or o?
h
Let r = -0.26 - -0.1. Let f = r - -0.22. Let m be -1 + 0 - (-10)/6. Which is smaller: f or m?
f
Suppose 0 = -2*i, 481 - 71 = 2*n + 2*i. Which is smaller: n or 207?
n
Suppose -4*i = -0*i + 4*t + 28, 4*t + 10 = 2*i. Let g be i/2*48/9. Is g < -5?
True
Let x be 1/(-4)*(4 + -4 + -12). Which is greater: x or 21/10?
x
Let h = 0.1668 + -0.0568. Which is bigger: h or 11/4?
11/4
Let v be -9 - (-6 + (-1 - -3)). Let s be (-3 - v/2)*2. Let i be (-54)/(-16) + -2 + s. Are i and -1 equal?
False
Let l(i) = -3*i - 1. Let s be l(-1). Suppose r - 5*a = -35, a = s*a. Is r less than -36?
False
Let t be 6/24 - 3/4. Suppose 3*v + 3*x = -2*v + 31, -x - 23 = -5*v. Suppose j = -v*h - 12, -j = -6*h + 2*h - 6. Is h < t?
True
Suppose -4*h + 4 = -6*h + s, s - 1 = h. Suppose -y - 2 + 1 = 0. Which is smaller: y or h?
h
Suppose 0*o = o. Let y = 47/2 - 23. Which is greater: y or o?
y
Suppose 5*g - 8*x = -3*x + 30, 2*g - 4*x = 14. Is 2 <= g?
True
Let z = 0.93 + 10.67. Let a = -1.4 - z. Which is bigger: a or 0.1?
0.1
Let d(n) = -n**3 + 6*n**2 - 5*n - 4. Let w be d(4). Let j(f) = f**2 - 11*f + 21. Let b be j(w). Let a be 7*(-1)/3 + 0. Is b <= a?
True
Let h(g) = 47*g + 13. Let d be h(-3). Is -128 equal to d?
True
Let v = 0 - 0.1. Let p = 17.901 - -0.099. Is v > p?
False
Let p = -2.11 - -0.32. Is 0 greater than or equal to p?
True
Suppose u - 24 = -3*u. Suppose u*c - 48 = -0*c. Let f = -11 + c. Which is greater: f or -7?
f
Let f = -50180491/203 + 1728136/7. Let n = -318 - f. Which is smaller: 1 or n?
n
Let h = -28 - -7. Suppose 0 = -b - 2*v + 5, b = -3*b + 5*v - 19. Let l be (b - 130/6) + 52/78. Which is smaller: h or l?
l
Suppose 65 = -25*g + 40. Let f = 221986/79 + -2810. Is f != g?
True
Let u be 90/(-75)*(-16)/(-252). Which is bigger: -1 or u?
u
Let w be (1066/65)/(12/10). Let a = -14 + w. Let q be 2/(-25)*(1 - 0). Is q smaller than a?
False
Let a be (-24)/(-9)*1/(-4). Suppose 0 = -8*v - 81 - 31. Let n be (-56)/60 - (2 - v/(-6)). Which is greater: a or n?
n
Suppose 0 = -5*j + j. Let h be (35/105)/((-9)/30). Which is bigger: h or j?
j
Let m(a) = a + 12. Suppose n - 3*n - 18 = 0. Let q be m(n). Let u be 2 - 10/20*(1 + -1). Is u at most as big as q?
True
Let s be 2/(-7) + (-5)/(-42). Let p(r) = -6*r**2 - 6*r. Let b(n) = n**2. Let f(v) = 5*b(v) + p(v). Let c be f(-6). Are s and c equal?
False
Suppose 5*z = -5*w - 0*z + 25, 3*z = 6. Let q = 296/63 + -22/7. Which is bigger: q or w?
w
Let f(m) = m**2 - 6*m - 8. Let p be f(7). Let n be p/6 + (-28)/(-24). Is -2/81 at least as big as n?
False
Let w = 105.1 + -276.2. Let r = -163 - w. Let g = -8 + r. Which is greater: g or 3?
3
Suppose -4*s = 5*j - 38, 12 = 3*j + 2*s - 10. Let a be 3/j - (-324)/(-8). Let u be ((-2)/115)/((-8)/a). Is 1 != u?
True
Let y = -31 + 34. Suppose y*z + 3*v - 11 = v, z = -5*v + 21. Is 2/87 less than or equal to z?
True
Suppose x + 323 = -3*o, 2*o + x - 3 = -220. Let j be -1*(-9)/3 - o/(-2). Which is smaller: j or -49?
j
Suppose -u - 100 = 10*b - 7*b, b + u = -30. Which is smaller: b or -380/11?
b
Let l = 9.6 + -10.6. Let h be (556/24)/((-50)/(-159)). Let p = 295/4 - h. Which is greater: l or p?
p
Suppose -4*l + 3*b + 205 = -154, 2*l = -b + 187. Let r be (464/(-5) - 1) + 1. Let m = l + r. Are -1 and m non-equal?
True
Let o = 113 - 113.02. Which is smaller: o or -0.4?
-0.4
Let b = 438249817/35 + -12519796. Let h = -1627