 smaller: 1/8 or m?
m
Let k = -20 - -35. Suppose -3*o - 3*t = 21, 0 = -5*o - 5*t + 4*t - k. Let i be ((-3)/4)/(3/(-2)). Which is smaller: i or o?
o
Let n be 143/522 + (-2 - (-16)/9). Is 0 <= n?
True
Let u = -56 - -90. Which is smaller: u or 33?
33
Let i be (2*1)/(2/(-1)). Which is bigger: 1 or i?
1
Let z(h) = h + 7. Let s be z(-3). Suppose -2*n = -6*n + s. Suppose 4*p - 4*u - 20 = -0*u, 4*p + 1 = -3*u. Which is bigger: p or n?
p
Let n be 1 + 3 + (3 - 36/5). Let g = -1 - -1. Which is greater: n or g?
g
Let m be 2/6 + 2/6. Let l = -4 - -5. Suppose 4*r - 3*x - 2*x = -l, 2*r - 3*x = -1. Which is bigger: r or m?
r
Let l = -1 + 4. Let r = l - 4. Let q = 0.1 + -0.5. Is r at least q?
False
Suppose l = -p, -p + 3 = 2*p. Let d = -1/99947 - -384795963/1299311. Let k = d + -296. Which is smaller: k or l?
l
Let v be 10/4*(-36)/(-315). Let d(i) = i**3 + 7*i**2 + 5*i - 2. Let p be d(-6). Let s be p/15*(-10)/12. Which is smaller: v or s?
s
Suppose 2*p = -2*k - 4, 4*p = k + 11 + 1. Suppose o = -p*o. Are o and -4 nonequal?
True
Let r = -38.72 - -39. Is -1/4 >= r?
False
Let a(f) = 8*f - 11. Let x be a(8). Is 0 >= x?
False
Suppose h + 5*k - 21 = 2*h, 5*h - 3*k = -17. Is -1/22 smaller than h?
False
Suppose -3*q = -2*o + 4*o + 28, 3*o = -2*q - 27. Let y be 4/14 + 148/(-28). Which is bigger: q or y?
y
Let l = 231 - 2081/9. Is l less than 0?
True
Suppose -3*c - 4 = -c. Let i be -1*(-10)/21*-3. Is c bigger than i?
False
Let v = 5 - 0. Let k = 4 - v. Let l = -0.2 - 0.1. Which is greater: k or l?
l
Suppose 0 = -2*o + o. Let w = 3 + -5. Let z = w - -2. Are z and o unequal?
False
Let a = -5 - -5. Is a greater than 1/2?
False
Let t be (-2 - (-6)/9)/2. Is -2 < t?
True
Let k be (-1)/(-4)*(-8)/(-6). Is 29/4 smaller than k?
False
Let j be (-21)/(-14)*80/6. Suppose 4*t - j = -t. Let l = 2 - -3. Which is smaller: t or l?
t
Let x be (-69)/15 + (-8)/20. Let k = 6 - x. Is k > 12?
False
Suppose -5*w = -4*c + 6, -1 = -c + 3*w + 4. Are c and 2/9 equal?
False
Let p = 38 - 54. Is -16 smaller than p?
False
Suppose 9*y = 5*y + 20. Which is smaller: y or 8?
y
Suppose w + 0 = 2. Suppose b = w*k - 3*k + 8, -3*k - 4 = -4*b. Which is greater: k or 3?
k
Let q = 4 - 7. Let n = 470 + -470.1. Which is smaller: n or q?
q
Suppose 4*a + 6 + 34 = 0. Let w = 14 + a. Suppose 3*j = 3*f + 15, -6*j + 16 = -2*j - 2*f. Is w > j?
True
Let f = -118 - -118. Is -47 not equal to f?
True
Let v = 10 - 11. Which is smaller: -2/3 or v?
v
Let y be (-5)/2 - 2 - -4. Does y = -8?
False
Let h(a) = a**2. Let k be h(3). Suppose -4*z = -5*z + k. Which is smaller: z or 10?
z
Suppose 2*p + 5*w = -2*p - 97, 2*w = p + 34. Let j be 7/p + (-13)/(-12). Which is bigger: 0 or j?
j
Suppose 2 = -3*q + 5*q. Let k be (q + 1)/(4 + 24). Is -1 greater than k?
False
Let v = -4 - -3. Suppose 0 = -3*x - 16 - 2. Let z be ((-3)/(-2))/(x/8). Which is smaller: z or v?
z
Suppose 5*j - 10 = -5*h, 4*h = 4*j + 2*h - 38. Suppose -2*i - 5 = -j*i. Let v = -1363/6 + 228. Are v and i non-equal?
True
Let a be 12/30*(-2)/(-4). Is a greater than 1?
False
Let l be (-3 - (-1)/(-1))/1. Let n be (-18)/(-8) - (-1)/l. Which is smaller: n or 0?
0
Suppose -2*h = h - 6. Suppose -4*g + 4 = 0, -3*u - h = -5*g - 9. Let p(z) = -z**2 + 6*z + 1. Let a be p(6). Is u greater than a?
True
Suppose -40 = -2*l - 0*l. Suppose -2*f = 3*f - l. Let i be 2 + 1 + (-1)/(-1). Is f >= i?
True
Let b = 49293213/221 - 223047. Let k = b - -16/17. Which is smaller: k or 1?
k
Let j = -3 + 2. Let n = -1 - j. Let m = 5 + -3. Is m >= n?
True
Suppose -8 = 3*g + 2*o, 3*g - 7*g - 39 = -3*o. Which is bigger: g or -12?
g
Let h = -5/98 - 1/3822. Is h not equal to -1?
True
Suppose -2*s - 3 - 1 = 0. Is s equal to 0.1?
False
Let g(t) = 3 - t - t + 1. Let a be g(6). Is -7 smaller than a?
False
Suppose 0 = 3*o - 2 - 4. Suppose 3 = -5*r + o*r. Is r <= -1/2?
True
Let j = 3.1 + 27.9. Which is greater: 1 or j?
j
Let v(t) = t**2 + 2*t - 3. Let b be v(-3). Which is smaller: -2 or b?
-2
Let u = -11 + 13. Suppose -m + 0*m + u*r - 5 = 0, 3*m + 11 = 4*r. Which is smaller: m or -2?
-2
Let q(d) = -d**2 + 4*d - 1. Let a be q(4). Let l(r) = -2*r. Let g be l(-1). Do a and g have different values?
True
Let i be ((-6)/(-4))/(3/(-6)). Let z = i - -6. Are 1 and z nonequal?
True
Let n(l) = -l**3 + 4*l**2 - 2*l. Let i be n(3). Let h be 0*(3 - (-1 + i)). Let p(v) = -v**3 - 13*v**2 - 13*v - 11. Let k be p(-12). Are h and k non-equal?
True
Let h(c) = -c**2 - 6*c + 10. Let a be h(-7). Suppose 0 = 3*w - a*u - 6 - 6, u + 4 = 2*w. Let t(o) = -o**2 + 4*o + 1. Let i be t(4). Are w and i unequal?
True
Suppose 0 = -2*d, 0*d = 2*k - d - 8. Let n = k + -4. Which is smaller: n or -2/31?
-2/31
Let j(u) = u**2 - 6*u - 3. Let s be j(5). Let h be (-50)/s - 5/20. Is 5 equal to h?
False
Suppose -6*j - 4 = -10*j. Let o be (2/(-32))/(1/2). Does o = j?
False
Suppose -20*s - 6*s = -78. Let h = 6 + -3. Are h and s equal?
True
Suppose -2*y + 4 = 6, 4*j - 3*y - 27 = 0. Suppose j*t - 4 = 2*t. Is t greater than 0?
True
Suppose -5*u - 68 = -3. Let l = 10 + u. Is -4 > l?
False
Suppose 3*b - 4 = -2*z, -5*z - 4*b = -4*z - 7. Let m = 1 + -2. Is z at least as big as m?
True
Let h = -3 + 3. Which is smaller: -1 or h?
-1
Let g be (-24)/9*6/4. Which is greater: -6 or g?
g
Let d(o) = o**3 + 3*o**2 - 3*o + 4. Let b(p) = -3*p + 9. Let k be b(6). Let j be (-12)/k*(-3)/1. Let t be d(j). Which is greater: -2/5 or t?
t
Let l = -204 + 155. Does -48 = l?
False
Suppose t = 4*p - 20 - 12, -2*p + 14 = -t. Suppose -w = 5*x - 3, 0*w - 3*w + p = x. Is w less than or equal to 3?
True
Let h = 3/80 + -341/560. Suppose -z - 7 - 8 = 0. Let g be (-3)/9 - z/(-9). Is g != h?
True
Let x be 3 + 4/(-6)*3. Is 2 greater than x?
True
Let z(f) = -f**3 - 4*f**2 + 4*f - 3. Let m(g) = g**3 - g**2 + g - 1. Let t(j) = 4*m(j) - z(j). Let o be t(1). Suppose d = o*d + 9. Is d smaller than 0.1?
True
Let i(h) = -4*h + 1. Let v be i(-1). Suppose 1 = -5*j + w - 20, -v*j + 5*w = 25. Which is smaller: j or -6?
-6
Suppose -6*u - 4*c - 14 = -u, -2*u = 5*c - 8. Let m be 80/24*u/(-5). Suppose 2*p + 14 = 4*i, -4*i + 2*i + 5*p = -3. Is m at least i?
True
Let y(f) = -f - 5. Let x be y(5). Let b be (-4)/x + (-8)/10. Suppose 2*o - 3*i - 12 = -o, 3*o - 5*i - 18 = 0. Is o less than or equal to b?
False
Let l(o) = o**3 + o**2 - 3*o - 1. Let y be l(-3). Let i(b) = b**3 - 7*b**2 - 9*b + 4. Let t be i(8). Let z be ((-4)/(-5))/(t/y). Are z and 1 non-equal?
True
Suppose -5*i - 31 = y + 3*y, -2*i - 22 = 4*y. Let x be 10/y*(-12)/15. Is 0 != x?
True
Suppose -2*v + 4*d - 5 = 3*v, 20 = 4*d. Suppose 3*t = -v + 9. Let y = -4 + t. Is y < -2?
False
Let y be -1 - -2 - 0/(-3). Let c = 33 - 34. Which is smaller: c or y?
c
Let h = 10.97 + 0.03. Let i = h - 15. Let m = -4.1 - i. Is -2/3 < m?
True
Let q(d) = -d + 8. Let n be q(8). Suppose n = -6*h + h. Let v be ((-20)/(-75))/((-2)/(-3)). Is h < v?
True
Let i = -193 + 379/2. Which is greater: -3 or i?
-3
Let m be 17 - (1 + 0 - 0). Suppose h = -3*h - m. Suppose -13 = 4*k - o, -k - 4*o = -0*o - 1. Which is smaller: k or h?
h
Suppose -5*h = -h + 8, 5*m - 8024 = -3*h. Let o = -62630/39 + m. Let j = -23/156 - o. Does j = -1/4?
True
Suppose 4*n - n + 3 = 0. Is n at least 1?
False
Let a be (-5)/(30/4)*-3. Suppose -a*n + 7 = -1. Does 4 = n?
True
Let u = -37.014 + 0.014. Is 2 equal to u?
False
Let i = 0.01 - 0.07. Let r = i - 0.94. Is -2/7 at least as big as r?
True
Let l be (8/762)/((-4)/6). Is -1 less than or equal to l?
True
Let l = -4 - -1. Let q be l*4/48*4. Which is smaller: q or 3/11?
q
Suppose -5*g - 13 = 2. Let k be g/(-21) - (-12)/14. Let f be k + 4*1/2. Which is greater: 7/4 or f?
f
Let a be 10/12*1*6/15. Suppose 0*v + 3 = -3*v. Which is smaller: v or a?
v
Let s be (0 - -3)/((-3)/(-13)). Let x = 8 - 5. Suppose 0 = 4*f + 4*j - 8, -x + s = -5*f + 5*j. Do f and 0 have different values?
False
Let c be (-2)/6*3/(-11)*-1. Is c != 0?
True
Let n be 694/6 - (1 + -1). Let a = -117 + n. Let y(d) = -d**3 + 5*d**2 + d - 7. Let r be y(5). Is r smaller than a?
True
Let d = 1573/9 - 175. Which is bigger: 0 or d?
0
Let q = 2.7 - 1.7. Which is smaller: 0.2 or q?
0.2
Suppose -2*r - 2 = -4*r, -3*r = -5*i - 23. Let h be i/(-10) + (-34)/10. Which is smaller: h or -2?
h
Let x be 1/(-3)*(-4 - -1). Let z be x/(2*2/(-4)). Let l = 160/609 - -2/87. Is l at least z?
True
Suppose 9 = 6*k - 63. Which is bigger: 10 