 -0.1. Let j = -1 + u. Let y = j - -1.1. Which is greater: -2/5 or y?
y
Let u = 21 + -21. Which is greater: u or -4/13?
u
Suppose 0 = 2*l - 3*l - 5*q - 7556, 2*q - 7521 = l. Let f = -52046/7 - l. Let k = f - 96. Is 1 greater than k?
True
Let p(o) = o**3 + 14*o**2 + 14*o + 12. Let q be p(-13). Is 15 less than or equal to q?
False
Let c = -30.6 + 35.58. Let n = c - -0.02. Which is greater: n or -0.1?
n
Let t = 2 - 3. Suppose 0 = o - h - 4, 0 = -o - h - 6. Let c = t - o. Which is greater: -2/15 or c?
c
Let f = -0.06 + 4.06. Let d = f + -4.2. Which is greater: d or -0.3?
d
Let y(o) = -o**3 + 2*o**2 - 7*o + 6. Let m be y(4). Let s = 272/5 + m. Is s >= 1?
False
Let w = 8 - 6. Let n = w + -1. Let m = n + 1. Which is smaller: -1/3 or m?
-1/3
Let j(m) = -2*m**2 - 2*m + 1. Let s be j(-2). Let t be (s/36)/((-1)/3). Is 1 != t?
True
Let a = -11 - -15. Let y = 8 - 6. Let c be y - 1 - 0 - a. Are c and -2 nonequal?
True
Suppose 2*n - 14 = -118. Let x be (2 - -25)*n/6. Let c be 62/x + (-10)/(-65). Which is smaller: 0 or c?
c
Let h = 6/43 + -152/473. Let b = -1 - -3. Suppose -5 = 3*w + b*w. Is w less than h?
True
Let j = 0.08 + -0.58. Let u = 47/3 + -15. Is u smaller than j?
False
Let b be 7/5 + (2 - 2). Let j = b - 9/10. Is j < -4?
False
Let a = 6 - 7. Suppose -4*g = -7*g. Let w be (g/2)/a*1. Which is smaller: 1/16 or w?
w
Let x = -45 - -43. Does -7/4 = x?
False
Suppose k = -0*k + 7. Which is greater: 10 or k?
10
Suppose h - 2*n = 2*h - 13, 5*h - 20 = -n. Suppose 3*d + 3*q - h + 18 = 0, -15 = 5*d - 5*q. Is d != -3?
True
Let s(p) = 3*p + 1. Let d(r) = 10*r + 3. Let u(a) = -2*d(a) + 7*s(a). Let q be u(-4). Are q and -3 unequal?
False
Suppose -2 = 2*a - 0. Let x(o) = o**3 - o - 1. Let h be x(a). Let d be 3 - ((-3)/(-3) - h). Is d less than 1?
False
Let p = -39 - -80. Which is smaller: p or 42?
p
Suppose 0 = -4*o + 15199 - 3111. Let a be o/(-15) + 8/(-12). Let l = 202 + a. Which is smaller: -1 or l?
-1
Let j = 9 - 14. Let d = 4 - 4.1. Does j = d?
False
Let g be 3/(9/(-20))*255/(-68). Which is greater: 26 or g?
26
Let y = -153497 - -1382830/9. Let h = -151 + y. Is h bigger than -1?
True
Let p be ((-8)/(-4))/((-1)/5). Let k = p - -10. Which is smaller: k or -10/9?
-10/9
Suppose 0*w = 3*w + 3. Suppose -9*k + 6*k - 6 = 0. Is k greater than or equal to w?
False
Suppose 4*r + 5*s = 20, -3*r + 3 - 15 = -3*s. Is -17 less than r?
True
Let x = 0.14 - 0.08. Let o = x - -0.04. Which is greater: 0.4 or o?
0.4
Let z be (-14)/(-18) - (-4)/18. Let g be z + -1 - (-2 - -5). Is g greater than -3?
False
Let j be 7/3 + 8/12. Let z be (j + -4 - -1)/2. Let a = 1 + z. Is a at least 0?
True
Let g = -1 - 0. Let c be ((2 - 0) + g)*1. Let f be c*(-2)/(-8) + 0. Which is smaller: 1 or f?
f
Let f = -2.01 - -2.1. Let l = -0.16 + f. Is l smaller than 0.1?
True
Suppose 0 = 2*l - 6*l - 16. Let q(k) = k**2 + 14*k - 4. Let o be q(-13). Let a = -20 - o. Is a less than l?
False
Let b(y) = -2*y. Let s be b(1). Let t be (s/(-3))/((-2)/(-9)). Suppose 8*w = 2*q + t*w + 13, 5*q - 5*w = -10. Which is bigger: -1/3 or q?
q
Let o be (-3 - -37)*3/(-6). Which is bigger: -11 or o?
-11
Let m = -17.9 + 19. Let t = 0.05 + 0.95. Let r = m - t. Which is bigger: 1 or r?
1
Let p = 143/4 + -2137/60. Let x be -1 + (1 - (0 - 3)). Suppose -x*u = 3 - 6. Does p = u?
False
Suppose 4*n = a - 33, 192 = 4*a + n - 2*n. Is 50 at least as big as a?
True
Let g = 749 - 1467/2. Is g not equal to 16?
True
Let t = 0 + 2. Let h be (-2)/(-1) - (5 - t). Is 6/17 at most h?
False
Suppose 7*u = 3*u. Let k be (10 - u)*(-4)/(-10). Suppose 4*n = 12 + 4. Is n smaller than k?
False
Let l(z) = 33*z - 3. Let w be l(4). Let n = w + -519/4. Is n at most as big as -1?
False
Let f be 0 - (7/(-4) - 0). Do f and 1 have the same value?
False
Let j = 23 + -27.3. Let h = j - 0.7. Let r = h - -5.2. Are 0 and r unequal?
True
Let u(o) = -o + 4. Let d be u(-9). Which is greater: 14 or d?
14
Suppose 4*q - 178 = 5*f, -q + 60 = -2*f - 5*q. Is f > -36?
True
Let q = 5.2 + -7.16. Let f = -1.9 - q. Let c = -0.1 + 0. Which is smaller: c or f?
c
Let o(x) = 7*x**2 + 3*x + 2. Let l be o(4). Let j be 27/l*7/6. Which is greater: j or 1?
1
Suppose -3*c - 2 + 8 = 0. Let o = c + -3. Which is smaller: o or -6?
-6
Let f = 8 + -14. Let m be f/4*(-8)/12. Which is greater: m or 2?
2
Let y = -0.8 - -1.1. Let l = y + -1.3. Does -0.1 = l?
False
Let g be (6/4)/(6/4). Let t be g - 1/(-1) - 1. Let p be 51/99 - t/3. Which is bigger: p or -1?
p
Let t(p) = p + 6. Suppose -3*b = 5*h - 23, -3*b - 2*h - 16 = -6*b. Let w be t(b). Let a(g) = g**3 - 13*g**2 + 13*g - 10. Let d be a(w). Are d and 2 nonequal?
False
Suppose 0*x + 3*q + 23 = 2*x, 0 = 4*q + 20. Suppose 0 = x*u - 0*u + 8. Is u equal to -2?
True
Let w be ((-3)/2 - -1)*-8. Suppose -2 = -2*x, 0 = 5*m + x - 30 - 31. Suppose -m*f = -8*f - 20. Is f greater than w?
True
Let a = 2 + -1. Suppose 3*w + 2*i + 53 = 0, -30 = 2*w + 2*i + 2*i. Let y be (-1)/8*(w - -11). Is a less than y?
False
Let i = 0 - 6. Let h = 3 + 0. Let q = h + i. Is q equal to -2?
False
Let c(r) = r**3 - 7*r**2 + r - 10. Let d = 12 + -5. Let o be c(d). Do -3 and o have different values?
False
Suppose 4*h - 5*g = -14, 5*h + 9 = g + g. Is h less than -3?
False
Let i = 611 + -6726/11. Let x = i - -7/11. Let u be 2 + 0 - (-1 - -2). Which is smaller: u or x?
x
Let o be (-4 - 95/(-20))*16/18. Which is smaller: o or 14?
o
Let o be (4/30)/((-10)/(-15)). Let w be ((-2)/8)/1*-4. Which is bigger: w or o?
w
Let k = 2 + -3. Let d be 0/k + 1 - -40. Let y = -206/5 + d. Is -1 > y?
False
Let g be (-1)/(-2) - 15/(-2). Suppose g*k - 3*k = -2*o + 27, 5*o + 4*k = 25. Is o smaller than 4?
True
Let p be (-2 + 3)*(-5)/1. Is -5 < p?
False
Let s(u) = -2*u**3 - 2 + 2*u**2 + 3 - 5 + u**3 + 4*u. Let m be s(3). Which is smaller: -2/5 or m?
m
Let f be 0 + ((-4)/4)/((-8)/(-172)). Which is smaller: -23 or f?
-23
Let u = 2.8 + -2.8. Suppose -3 = 4*b + 1. Is b >= u?
False
Let n be (-1)/(-4 + 45/11). Is -11 <= n?
True
Let v be (1/(-4))/(5/(-20)). Suppose 12 = -w + 4*q - 4, 5*w = 5*q - 20. Is v equal to w?
False
Let v(z) = 11*z**2 + 4*z - 1. Let r(l) = l - 1. Let y(x) = -2*r(x) + v(x). Let d be y(-1). Is d != 11?
True
Let r = 16 - 268. Let z = 4286/17 + r. Let w be 0/((-7)/(-14)*4). Which is bigger: w or z?
z
Let l = -2/65 + -10/13. Let z(f) = -f**3 - f + 1. Let b be z(1). Which is greater: b or l?
l
Suppose -9*z = -3*z - 24. Which is bigger: z or 66/13?
66/13
Let b = 286/5 - 72. Is b greater than or equal to -15?
True
Let o = -27 + 134/5. Which is smaller: o or -3?
-3
Let f(w) = -2*w**2 - 30*w + 8. Let l be f(-15). Is l smaller than 6?
False
Let p(f) = f + 11. Let o be p(-9). Let h be 1*(-2)/o + 3. Is 3 not equal to h?
True
Let s be 36/14 + 36/84. Suppose 3*a = 2*v + s, 0*a - 3*a + 3 = v. Is a at least as big as 1/6?
True
Let h = 628 - 30771/49. Let d = h + -157/490. Is d less than -1?
False
Let t = 86 - 1547/18. Which is smaller: 1 or t?
t
Let n(s) = 7*s**2 - 8*s - 7. Let m(l) = 0*l - 5*l + 3*l**2 - 3 + l. Let t(x) = -5*m(x) + 2*n(x). Let g be t(4). Which is smaller: g or -2/5?
-2/5
Suppose -15 = -2*r + 5*f, -4 - 21 = 5*f. Let o be 132/(-60) - 2/(-10). Which is smaller: o or r?
r
Let c = -4 - -4. Let s = 10 + -9. Let b be -2 + (s - 5/(-9)). Is b greater than c?
False
Let b(r) = -r**2 - 5*r + 5. Let g be b(-6). Let f be -2 + 1 - 2/2. Let w = f - -1. Is g greater than w?
False
Let y = 0.2 - 0.2. Let a = 3.5 + 0.5. Let b = a + -3.8. Is b < y?
False
Suppose 5*l - 5 = 0, 2*l + 2 - 1 = -3*h. Does h = -5/7?
False
Let z(p) = -5*p**3 - 2*p**2 + 1. Let o be z(-1). Let t = o + -5. Let f be 1 + (2/13 - 1). Which is smaller: t or f?
t
Let n be (-2)/3*9/2. Let h = -2 - 1. Is h smaller than n?
False
Suppose -10 = -4*c + 2*c. Is c greater than -1?
True
Let r(n) = -n + 6. Let i be r(0). Let d be (-3 + 1)*(-2)/i. Let h be 15/6 - (-2)/(-4). Is d greater than h?
False
Suppose 76 = -5*u + 16. Let x be -3*u/(-45)*-1. Let p(y) = -y**3 + 2*y**2 + 4*y - 3. Let f be p(3). Is f bigger than x?
False
Suppose 782 = -2*o - 2*v, 5*o - 2*v + 790 = 3*o. Let h = o + 6678/17. Are -1 and h non-equal?
True
Let j(s) = -12*s**3 + 1. Let r be j(-1). Let l = -15 + r. Is -2 greater than l?
False
Let a be 2/1*(-1)/(-2). Which is bigger: -6/13 or a?
a
Let v = -294 + 294. Let o = -13.8 - 0.2. Is o >= v?
False
Let c = -2.07 - -0.07. Let d = 1 + -2. Which 