
f
Let o = 106 - 106.026. Which is smaller: o or 0?
o
Let y = 685 + -3414/5. Suppose -q + 15 = 4*g, 0*q + 3*q = -3*g + 18. Which is greater: g or y?
g
Suppose -u + 5 = 4*u. Let x = u + -4. Suppose 3*p + 4*o = -0*o + 17, -5*p - 2*o + 5 = 0. Which is bigger: x or p?
p
Suppose -4*o - o + 50 = 0. Let l be (o/14)/((-6)/(-7)). Which is greater: 2 or l?
2
Let m = 11 - -1. Suppose j + m = -2. Let d be ((-16)/j)/(-4) + 0. Which is bigger: 1 or d?
1
Suppose -33 = 5*u - 3. Let b(z) = z**2 + 7*z - 8. Let n be b(-8). Which is smaller: u or n?
u
Suppose 4 = 4*r - 0. Which is bigger: r or -1/17?
r
Let v = -1 - -1. Let g = 0.6 + -0.7. Is g > v?
False
Let v be (-24)/14 + (-8)/(-4). Which is smaller: v or -2?
-2
Let b(l) = -l - 3. Let x be b(-6). Let q(d) = 2*d - 5. Let t be q(x). Which is bigger: t or 2/21?
t
Let d = 90 - 89. Let t = -336988/9 + 37548. Let l = -105 + t. Which is bigger: l or d?
d
Suppose -i + 4*u = -u + 13, 2*u - 2 = 0. Let h(t) = 3*t**2 - 22*t - 18. Let g be h(8). Are g and i non-equal?
True
Suppose l - 4*u = 8, -4*u - 8 = l + 4*l. Which is smaller: 1 or l?
l
Let t(l) = -l**3 - 11*l**2 - 12*l - 9. Let h be t(-10). Which is bigger: 37/3 or h?
37/3
Let i = 0.08 + 1.32. Let x = -1.3 + i. Which is bigger: 0.03 or x?
x
Let g = -3269 + 323617/99. Let o = 4/11 + g. Is -1 greater than o?
False
Let v(l) = -l**3 - 2*l**2 + l + 4. Let f be v(-4). Suppose 2*s = 5*t - 20, 0 = s - 5*t - 12 + f. Let j = -11/4 - -69/28. Which is bigger: s or j?
s
Let z be 1/(1*(-2)/6). Which is smaller: -5 or z?
-5
Let r = -36 + 36.14. Is r greater than -2/5?
True
Let w = 897/2 + -424. Let g = -26 + w. Which is smaller: 0 or g?
g
Let p = -0.06 + 2.06. Let w = -1 + 2.9. Let o = w - p. Is o smaller than -1/3?
False
Let n = -16 + 7. Let w = -9.1 - n. Which is bigger: 0.5 or w?
0.5
Suppose -5*q + 0 = 15. Let v be (-6)/(-24) + q/12. Let a be (-7)/18 - 4/(-18). Is v bigger than a?
True
Suppose 0 = -3*u - 4 + 7. Is u greater than 7?
False
Suppose -a + 18 = -3*a. Let y be 20/3 - 3/a. Let k = -8 + y. Which is smaller: -1/6 or k?
k
Let p be (-44)/(-16) + (-4)/2. Let r(y) = y - 2. Let d(x) = 2*x - 1. Let b be d(2). Let n be r(b). Which is smaller: n or p?
p
Let k be 1/((1/(-9))/(-1)). Suppose 0 = 3*q - 4*g - 39, -q - q + 21 = -g. Is q equal to k?
True
Let y(h) = -h**3 - h**2 - 55. Let z be y(0). Let x be 10/z - (-202)/44. Let l = -21/11 + x. Which is greater: 3 or l?
3
Let w(p) = -3*p**2 - 1 + 6*p**2 - 5*p**3 + 4*p**3. Let x be w(2). Suppose -x*c + 1 + 2 = 0. Which is bigger: c or -1?
c
Let u be 20/9 - (0 + 2 + 0). Which is smaller: u or 0?
0
Let b(k) = 8*k - 5. Let n be b(4). Let v be (-6)/(-9)*n/(-30). Which is greater: v or 1?
1
Let l be (-2)/8 + 4/16. Suppose -5*i + 3*r - 4*r + 222 = l, 90 = 2*i + r. Let y = i - 222/5. Which is smaller: 1 or y?
y
Let q be 20/(-4) + (-37)/(-11). Which is smaller: q or 2/3?
q
Let d = 0.215 + 1.795. Let b = -8 + 8.01. Let m = b - d. Which is smaller: 2/5 or m?
m
Let q = 3 - 2. Suppose a - q = -2. Let n = 63 - 129/2. Is n at least a?
False
Let n = 1091/2394 + -3/266. Let t(a) = -a - 10. Let s be t(-7). Let v be 2*((-3)/2)/s. Which is greater: n or v?
v
Let d be 3/(-2)*36/(-30). Is d smaller than 1?
False
Suppose t + 2 = -x, 0*t - 5*x - 13 = 2*t. Is t less than or equal to 4/3?
True
Suppose 23 + 13 = 4*q + 2*o, -o = -4*q + 42. Suppose 0 = 6*g - g + q. Is g greater than -3?
True
Let c be 1 - 0 - (-27)/(-21). Let r be 9/6 - 2/(-4). Let d = r + -3. Which is greater: c or d?
c
Let a(s) = -s. Let p be a(-2). Let k be p + (3 - -3) - 2. Let f be (-3)/(-33)*(-3 + k). Which is bigger: 1 or f?
1
Suppose -2*k + 8 = -4*u, 0*u - 3*k + 3 = -3*u. Suppose -w + 5*w + 24 = 5*h, 4*h - 14 = -2*w. Is u < w?
True
Let g = 96/5 - 1349/70. Which is smaller: 0 or g?
g
Let h = 11/4 - 43/20. Let k(q) = q + 14. Let t be k(-9). Suppose -b = -t*x + 5, b = -3*b. Which is bigger: h or x?
x
Let m = 10 - 8.7. Let t = m - -5.7. Let q = -4 + t. Which is smaller: q or 0?
0
Let x = -14 + 14.1. Let k = 0 - 0. Let f = k + -1. Which is greater: x or f?
x
Let z = 49 + -51. Which is greater: z or -3?
z
Suppose 2*g = -g + 3*v + 24, 0 = v - 1. Let h = 7 - g. Is h >= -1?
False
Let b = 5 - 3. Suppose 3*m - 8 = j, 2*m - 4*j - 24 = -2*m. Let w be m + 1 + (3 - 3). Is w less than or equal to b?
True
Suppose 0 = 5*n + 2*y + 55, 2*n + 3*y = -2*n - 37. Is n equal to -12?
False
Let z be (3 + 21/6)*-2. Let j = z + 40/3. Is 1 > j?
True
Let v(u) = 4*u - 42. Let b be v(13). Is 2 > b?
False
Let i be (1 - -3) + (-2 - -22). Let r = i + -14. Is 10 smaller than r?
False
Let k be (162/45)/(4/(-10)). Is -10 at least k?
False
Let s = 3 - 3.1. Let h = 18.5 - 0.2. Let y = 18 - h. Is y <= s?
True
Let v(o) = 2*o**2 - 11*o - 8. Let p be v(6). Let l be 0 - (-1 + 10/6). Is p greater than l?
False
Let t be ((-1)/4)/(3/(-12)). Let k = -1 + t. Let n = 528 + -15314/29. Is k greater than or equal to n?
True
Let w be ((-2)/9)/(4/(-4)). Is 2 not equal to w?
True
Suppose -3*h = 5 - 2. Which is bigger: -4/9 or h?
-4/9
Let n be 441/63 - (2*4)/2. Is n greater than 42/17?
True
Let r(j) = 2*j + 28. Let w be r(-14). Let i be ((-3)/(-10))/((-1)/(-2)). Which is smaller: i or w?
w
Let w(z) = z**2 - 7*z + 4. Let h be w(7). Let t be 735/27 + 4/(-18). Suppose 4*d + 0*d = 5*l - t, 3*d - 3 = -4*l. Is h > l?
True
Let v be 36/(-15) + 4/10. Let j(i) be the second derivative of i**3/6 + i**2/2 - 2*i. Let c be j(v). Is 2/11 < c?
False
Suppose 0 = -3*z + 3. Let v be (-3)/(0 + z - 0). Suppose 0 = 5*p - 2*h + 7, 4*p + 0*p + 4*h = -28. Is v smaller than p?
False
Let c = -21 - -21. Which is smaller: -5/4 or c?
-5/4
Let x(k) = -3*k**2 - 3 + 6*k**3 - 2 + 4 - 5*k**3 - 10*k. Let f be x(5). Which is bigger: f or -3/11?
-3/11
Let b be 66/(-170) + (-4)/(-10). Which is bigger: 1 or b?
1
Suppose -4*g - a = 0, -g + 0*a + a = 0. Let m(k) = 0*k**2 - 2*k + k**2 + 2 + k. Let i be m(0). Which is bigger: i or g?
i
Let n(r) = 3*r + 4. Let y(l) = 3*l + 5. Let h(c) = 7*n(c) - 6*y(c). Let t be h(2). Suppose -3*i = i + t. Is i greater than 0?
False
Let i be (-2)/(-16)*2*0. Which is smaller: 4/21 or i?
i
Suppose -3*b + 11 = 2*p, -4 = -3*p - 2*b - 0*b. Which is greater: -18/13 or p?
-18/13
Suppose 2*t = c - 9, 2*c = -1 - 5. Which is smaller: -40/7 or t?
t
Let j = 26 - 44. Let i = j - -17.9. Which is smaller: i or 3?
i
Suppose -q - 30 - 5 = 0. Which is smaller: q or -33?
q
Let i = 63.2 - 47. Let p = i + -16. Which is smaller: p or -0.01?
-0.01
Let f = -16 - -20. Let j = -4 + f. Let q be (-2)/(-8) + (-7)/(-4). Which is smaller: q or j?
j
Let l be ((-4)/(-5))/(2/5). Let s be 1/2*0/(-5). Suppose -4*q = -x + 20, 5*x - 3*q + 2*q - 5 = s. Which is smaller: l or x?
x
Let t = -397759/57 + 6978. Let k = -439/1425 - t. Which is smaller: 1 or k?
k
Let x = -2/235 - -243/940. Let i(f) = 2*f**2 - 1. Let r be i(-2). Are r and x nonequal?
True
Let x be 500/(-248) - -1*2. Let w = x - -67/310. Let n = -1 + 2. Which is smaller: w or n?
w
Suppose 2*r - 8 = 2. Let w(z) = -z**3 - 8*z**2 - z - 2. Let x be w(-8). Which is greater: r or x?
x
Let w = 7 - 17. Let f be 11/(-15) + (-4)/w. Let d = -17/24 - f. Which is smaller: d or -1?
-1
Suppose -7*n = -8*n. Let y = 3 - 3.11. Are n and y nonequal?
True
Let a(d) = 5*d**2 - 2*d + 1. Let p be a(1). Suppose -5*u + 13 = 2*r - 2*u, 5*r = -p*u + 15. Let w be (-8)/(-28) + r + 1. Is 0.3 < w?
False
Suppose 5 = 4*t - 5*a + 12, 22 = 5*t + 4*a. Suppose 4*p = t*p. Is p at most -2/5?
False
Let g be (0/(-1))/(-4 + 2). Suppose -3*t = -g*t. Do 2/27 and t have the same value?
False
Suppose -94 = 6*l + 68. Is l greater than -28?
True
Let l(g) = g**3 - 8*g**2. Let m be l(8). Suppose -3*j + 15 = 3. Suppose m = c + j*c. Which is smaller: -1/5 or c?
-1/5
Suppose -t = -3*t - 36. Let z = t - -29. Is z smaller than -0.1?
False
Let w be 1*((-15)/33)/1. Are 0 and w non-equal?
True
Let m = 4.1 - 4. Let t = -0.1 + m. Is t > 2/3?
False
Suppose 6*u - 2*u + 16 = 2*h, -3*u - 5 = 2*h. Let z be -1 - (0/2)/(-3). Which is greater: z or h?
h
Let k = 34 - 28.95. Let w = -0.05 + k. Let x = w - 4. Which is smaller: x or 3/2?
x
Suppose -4*g + 28 = -3*u - 7, 5*g = -4*u + 5. Let n(s) = s**3 + 5*s**2 - s - 6. Let v be n(u). Are 1 and v equal?
False
Let m = -3 + 2.91. Are -1 and m nonequal?
True
Let d = -1.2 - 0.9. Let k = d - -2. Is k greater than or equal to -4/7?
True
Let t = -3 + 2. Let k = 0.9 + t