0) + 9/m. Is y bigger than 0?
True
Let k be 0*2/(0 - -2). Let m = -11 + 13. Suppose i = -2*o + 3, -m*i + 5 + 5 = 0. Which is smaller: k or o?
o
Suppose -5*j - 1 = 4. Suppose 46 = -5*v - 3*l - 0, -3*v - 5*l - 34 = 0. Let x be (0 - 1) + v/(-7). Is j greater than x?
False
Let u = 3201/13 + -246. Which is smaller: u or 1?
u
Suppose 2*f + 24 = -5*i, -4*i - 4*f - 12 = -0*f. Let b(g) = 6*g - 2*g + g**2 + 6 + 3*g. Let r be b(i). Which is smaller: -2 or r?
-2
Suppose 2*w - 7*w = 10. Let q = -11 + 11.2. Is q at most w?
False
Suppose 0*v = 5*v + 315. Let t be 3/2*(-28)/v. Is t greater than or equal to 3?
False
Let z be (0 + 1)*(-10)/(-5). Suppose -5*s - g - 31 = 0, -z*g + 8 + 14 = -4*s. Is -6 smaller than s?
False
Suppose -3*v = 5*l - 2*l - 21, 0 = -4*l + 5*v + 73. Let z be (l/(-45))/(6/(-9)). Let a = 0.3 + -0.36. Is z >= a?
True
Suppose -7*n + 3 = -3*n + 3*g, 5*n - 10 = -5*g. Let k = 14 + -9. Let d = n + k. Is d equal to 3?
False
Let r be ((16/6)/(-4))/(2/(-3)). Is 5/4 less than r?
False
Suppose 0 = 3*i - 4*y - 25, -i = -4*i + 2*y + 17. Suppose i*n - 15 = -3*q, n + 2*n - 5*q = -9. Do 1/2 and n have different values?
True
Let d = 3/28 + 1/7. Let v(t) = -t**3 + t + 2. Let l be v(2). Let g be 2/(-42) + l/(-12). Is d greater than g?
False
Let m = 18.3 - 19. Is m at most as big as 0.1?
True
Suppose -2*c + c = -2. Let r = c - 10. Is -5 bigger than r?
True
Let i = -4.85 - -0.45. Let p = -4 - i. Let b = -0.2 + p. Which is bigger: b or 0?
b
Let u be (-52)/(-16) - (1 + 2). Which is greater: u or -1?
u
Let s = -40 - -39.8. Is s at most as big as -1?
False
Let i = 1 + -1. Let c = 0.1 + i. Let k = c + -0.1. Is 1/2 > k?
True
Suppose 1 - 4 = p. Is -3 at most as big as p?
True
Suppose 2*z = -3*t - 10, -32 + 7 = 5*z. Is t != -2/23?
True
Let c(g) = -2*g + 10. Let a(h) = h**3 + 5*h**2 + 2*h - 4. Let x be a(-3). Let s be c(x). Let d = 6 - 11. Which is greater: d or s?
d
Let n(u) = 3*u + 1. Let p be n(3). Let v = 10 - p. Which is greater: 3/4 or v?
3/4
Let h(p) = -p**2 + 8*p - 8. Let w be h(7). Is w at most as big as -1?
True
Let a = 50.2 - 43. Let i = -1.2 + a. Let f = i + -6.1. Is 2 greater than or equal to f?
True
Let m be 1/(-2)*2/(-5). Let x(l) = -l**2 - 8*l - 1. Let i be x(-8). Let n = i + 2. Is m not equal to n?
True
Let b(t) = t**3 - 5*t**2 - 5*t - 4. Let h be b(6). Let m be -2 - (48/(-9))/h. Which is greater: m or 0?
m
Suppose -5*p + 5 = -0. Which is greater: 1/29 or p?
p
Let c be (4/5)/(8/20). Suppose 4*i + 12 + 8 = 2*h, -5*i = c*h + 7. Let a = 7 - h. Which is smaller: 2 or a?
2
Suppose -5*b - 2 = 33. Is -6 > b?
True
Let x = 9 - 10. Let o = 5 + x. Which is bigger: o or 2?
o
Suppose 13*r - 12 = 17*r. Let m = -12 + 17. Suppose 3*k + 1 = -m. Which is bigger: r or k?
k
Let v(z) = -z - 1. Let u be v(-1). Let o = 127/18 + -56/9. Is u bigger than o?
False
Let h(j) = j**2 + 3*j - 28. Let t be h(4). Let i = -8 + 11. Suppose 0 = -3*p + 5*y + i, 5*p - 3*y = y + 5. Which is smaller: p or t?
t
Let l(i) = i**3 + 4*i**2 + 4*i + 2. Let z be l(-3). Is 2 smaller than z?
False
Let u be -7*4/(-182) - (-15)/(-13). Which is smaller: 1/62 or u?
u
Let l(h) = -3*h**2 + 3*h - 1. Let z be l(2). Let o be (32/20)/(-4)*5 - 3. Which is smaller: z or o?
z
Let z = 5729/2 - 2804. Let j = z + -63. Is 0 at least as big as j?
True
Let o = -10 - -3. Let n be o/(-154)*(-3 + -1). Is n at least as big as 4?
False
Suppose -u + 1 = 3*l + 13, -3*l = 2*u + 12. Suppose 31 - 1 = 6*t. Which is smaller: u or t?
u
Let s = -1785 - -33925/19. Do s and 2 have different values?
True
Suppose -48 + 32 = 2*h. Is h smaller than 2?
True
Let d(s) = -s**2 - s - 60. Let t be d(0). Let r be 6*(-4)/t*1. Is -1 at least r?
False
Let f be (-16)/7 - (-7 - -5). Which is bigger: 1 or f?
1
Suppose 16*l + 144 = 7*l. Is l > -16?
False
Let j be -3 + 1 + 1 + 1. Suppose j = -0*c + c. Which is smaller: c or -2/13?
-2/13
Let m be (4 - 0) + (-12)/2 + 2. Let c = 5 - 7. Let k be c/(-6) + 2/(-10). Which is greater: k or m?
k
Let m = -15 - -7. Let t be (4/m)/(2/8). Let r be 2*(0 + 1/t). Which is bigger: 0.1 or r?
0.1
Let k(g) = 9*g**2 - 1. Let m be (-4)/10 + (-3)/5. Let o be k(m). Which is greater: 9 or o?
9
Let s be -1 - (1 + -3 - 0). Let b be (s/4)/(5/20). Let v = 52/15 + -371/120. Which is smaller: b or v?
v
Let c = -328 + 114. Let g = c + 1279/6. Which is smaller: -2 or g?
-2
Let i = 1 + -2. Let f = i - -1.2. Is -1/10 greater than f?
False
Let g = 5 - 2.8. Let y = 2 - g. Let r = -0.1 - y. Which is smaller: 1/4 or r?
r
Suppose 0 = -16*z + 18*z - 4. Is 7/6 bigger than z?
False
Let x be 15 + -3 + 2 + -2. Let a = 12 - x. Which is smaller: a or 0.02?
a
Let t(x) = -x**3 - 5*x**2 + 5*x - 8. Suppose 4*l - 9 + 33 = 0. Let c be t(l). Let b = -4/3 - -7/12. Which is greater: b or c?
b
Let n = 50 - 45. Is 5 bigger than n?
False
Suppose -3*y + 4*i - 2 = -14, 0 = 4*y - 4*i - 16. Suppose -4*c + 0*l + 6 = l, 4*c = 4*l - 4. Which is bigger: y or c?
y
Suppose -4*q + 6 = 3*y, 3*y - 2*q = -q + 6. Which is greater: 0 or y?
y
Suppose -2*b + 3*b + 4*k - 23 = 0, 0 = -5*b - 2*k + 25. Which is smaller: b or 17/4?
b
Let c be (-476)/(-35) - 2/(-5). Suppose 18 = 4*j - c. Is 9 <= j?
False
Suppose 25 = 8*y - 3*y. Which is bigger: 2 or y?
y
Let l be 2/(-3)*(-3)/(-2). Which is greater: 2/5 or l?
2/5
Suppose -p - 1 = -10. Suppose p = 4*y - 15. Let k be (y/4)/((-7)/(-14)). Which is greater: 1 or k?
k
Let r = 276.2 - 255. Let f = 21 - r. Let g = -2 + 1.7. Is f > g?
True
Suppose -3*a - 1 = h, -2*a + 8 - 2 = -h. Suppose 3*t - 2*m = 11, t - 7*m = -12*m - 2. Is a equal to t?
False
Suppose 0 = 5*c - 3 - 2. Let y be (c + 0 - -1) + -12. Let m be 2 - (-26)/y - -1. Which is bigger: m or 3/7?
3/7
Let p be (19 + -1)*(-3)/(-9). Suppose 2 + 4 = p*m. Is 1/11 > m?
False
Let a = -24606023/23 + 1069249. Let c = 578 + a. Which is greater: c or -1?
c
Suppose 3*q - 4*h - 1 = 0, 8 = h - 3*h. Let g(w) = -w**3 - 4*w**2 + 10*w + 8. Let m be g(-6). Let y be ((-1)/2)/(2/m). Is y smaller than q?
False
Let f = -48063/35 - -6994/5. Let a = f + -8427/329. Which is smaller: a or -1?
-1
Let o = 2/21 - 13/357. Suppose -2*w + 1 - 6 = 5*k, -2*w = 10. Is o at least as big as k?
False
Let m = 2 - 5. Let h(a) = -a**3 - 4*a**2 - a + 6. Let n be h(m). Is n equal to 3/14?
False
Let l = 16 - 16.07. Let g = l - 1.93. Let p = g + 3. Are 1 and p equal?
True
Suppose -2*k + 8 = -0*k + v, 0 = 2*k + 3*v - 12. Let x = -2 - k. Is x smaller than -4?
True
Let v = 0.146 + -0.046. Suppose 4*o = -0*u + 4*u - 4, 0 = o + 4*u + 21. Which is greater: v or o?
v
Suppose 4*b + 0*p + p - 4 = 0, -3*b - 10 = 4*p. Let y be b/18*24/4. Is y at least as big as 2/5?
True
Suppose -1 = 4*x + 11. Let m be (-2 - x)*(1 - 2). Are -3/5 and m nonequal?
True
Let m = -2 - -2.1. Let k be 2/(-10)*(-15)/(-24). Is k equal to m?
False
Let t(j) = -j**3 - 7*j**2 - 6*j. Let p be t(-6). Does p = 3?
False
Let r be 68/(-10)*20/(-8). Suppose r = -3*b - 7. Which is bigger: b or -6?
-6
Let d be 1/1*(-10 + -7). Let u = d - -16. Is -5/4 not equal to u?
True
Let l = 57 + -60. Suppose -2*h - 2*k + 2 = 0, -2*k = 5*h - 3 + 7. Is h smaller than l?
False
Let t = 8.4 + -0.9. Let k = t - 8. Let l = -1.2 + 0.2. Which is smaller: k or l?
l
Let t be (12/(-14))/(135/(-210)). Is t > 0?
True
Let z = -11 + 7. Which is bigger: -5 or z?
z
Let l = -9 - -10. Let y be 1*-15*l + 2. Are y and -14 equal?
False
Suppose -4 = 2*i - 16. Let o be (i/28)/(9/(-12)). Which is greater: o or 1?
1
Let b = -1807/60 - -121/4. Is b less than or equal to -1?
False
Let t(n) = n**2 + 14*n - 12. Let o be t(-11). Is -45 bigger than o?
False
Suppose -3*u = -2*m - 7, 0*m + 4*u = 4*m + 8. Suppose -n + 11 - m = 0. Is 10 smaller than n?
False
Let h = -40 + -9. Let n = 197/4 + h. Are -3 and n unequal?
True
Let n(l) = -l**3 - l**2 + 2*l + 1. Let o be n(-3). Let s = -17 + o. Are s and -3 nonequal?
True
Let g be 2/(0 - (-3)/3). Suppose -3*d + 4 = 1. Let x = d + 0. Is x less than or equal to g?
True
Suppose -3*c - 20 = c. Let g be (3/((-3)/c))/(-2). Let n = 4 - 7. Which is greater: n or g?
g
Let n be (-8)/6 + 48/36. Let u be (0 - 4/6)*-3. Let i be -2*(-1)/(-6)*u. Which is smaller: n or i?
i
Let x be 1/3 - 23/69. Which is smaller: x or 3?
x
Let j = 15 - 12. Suppose 4*u - 15 = j*f, 10 = -4*u - 4*f + 2*f. Let a be 1 - 1 - (-1)/(-9). Which is smaller: a or u?
a
Let o = -14 - -13. Which is smaller: o or -1/14?
o
Suppose 0*x