 = -5184 + 26021/5. Let c = 20 - b. Which is greater: c or o?
o
Let r = 122 + -358/3. Is r greater than or equal to -0.2?
True
Suppose -n = 5*p - 2, 5*p + 10 = 6*n - n. Let t be (9/(-30))/(3/(-2)). Which is smaller: t or p?
p
Let n(s) = -s + 4. Let q be n(3). Let i = q - 1. Let z be 3 + -1 + (-26)/12. Which is bigger: z or i?
i
Let b = -9 - -5. Let r be 0 - ((1 - -1) + 0). Which is smaller: r or b?
b
Let u be (-1)/(-5) + 278/(-1340). Let c = u - -205/536. Let v(h) = h**3 + 3*h**2 + h + 4. Let r be v(-3). Which is smaller: c or r?
c
Let l = -1.04 - -0.04. Is 3/7 >= l?
True
Let v = 1 + -2. Let s be v*(-1)/(-2)*-2. Let y = -49 + 52. Which is smaller: s or y?
s
Let w(y) = -9*y**2 + y - 1. Let g be (-2)/(-4)*(-4)/(-2). Let x be w(g). Which is bigger: x or -8?
-8
Suppose -4 + 53 = -x. Is -49 smaller than x?
False
Let j be 8/45*(475482 + -6). Let r = -84670 + j. Let y = r + 141. Which is smaller: 1 or y?
y
Let p = 4.98 - -0.02. Let j = 3 - p. Which is bigger: -2/19 or j?
-2/19
Let w be ((-4)/(-24))/((-12)/27). Does 0 = w?
False
Suppose 0*d - 15 = -5*d. Suppose -g = -3*y - 8, -y + g - 9 + d = 0. Suppose 0 = 4*l - l + 6. Which is smaller: l or y?
l
Let o = -3.4 - -4.4. Let w = 3 + 1. Is w greater than o?
True
Let c = -1 + 2. Which is smaller: c or -1?
-1
Let c = -3 + 4. Suppose x + c = -0*x. Is x at most as big as -1?
True
Let b(f) = f + 3. Let r(j) = 5*j + 14. Let o(p) = 11*b(p) - 2*r(p). Let v be o(-4). Let c be (v/(-4))/((-11)/4). Is c >= -1?
True
Let m(x) = x**2 + 3*x - 1. Let a be m(-3). Let d(p) = -p**2 + 2*p + 1. Let z be d(5). Let f be z/6*(-4)/(-14). Which is smaller: f or a?
a
Suppose -2*j + 4*i + 10 = 0, -4*i = -j - i + 7. Let g = -32/5 + 411/65. Which is smaller: g or j?
g
Let y = -113 + 64. Is 0.2 bigger than y?
True
Let b be (1 - (3 - -1)) + 4. Let i be 6/9 - 4/(-3). Is b at most as big as i?
True
Suppose 0 = 2*w - 6*w. Let f be 3/15*(-1 - -2). Is w smaller than f?
True
Let i = -6605/312 - 17/104. Which is bigger: i or -21?
-21
Let v(q) = -q**3 + 10*q**2 - 8*q - 9. Let b be v(9). Suppose 3*y - 15 = -3*r, -2*y - r + 5 = -b*r. Do y and 2 have the same value?
False
Suppose -3*x = 5*b + 8, 3*x + 4*b + 7 = -0*b. Which is smaller: 2/37 or x?
x
Suppose -186 = -3*x - 207. Which is greater: x or -2?
-2
Let w be 16/(-20)*(-30)/(-4). Are -2 and w equal?
False
Let a be (2/(-12) - (-2)/12) + 1. Which is smaller: a or 16/9?
a
Let j be (74/(-6))/(70/(-15)). Let n = j + -27/14. Which is greater: n or 2?
2
Let o be (-2)/(-7) + (-6)/(-126). Which is greater: o or -19?
o
Let q be (-2)/7*(-1 - (-10)/4). Which is smaller: q or -1?
-1
Let m = 42 - 41.9. Which is smaller: 7 or m?
m
Let t = -3 - -2.9. Suppose 2*g - 4 = -0. Let j be 9/(-105) - g/10. Is t at most as big as j?
False
Let y be 114/36 + (-1)/6. Is 2 <= y?
True
Let p = 4 - 6. Suppose 4*i + u = 16, 4*i = 2*u - u + 16. Let t be (-6)/(36/(-15)) - i. Is p greater than t?
False
Let j = -0.51 - 0.29. Which is bigger: j or 2/5?
2/5
Let z = 4 + -4. Suppose 2*a + 0*a = z. Which is bigger: -1 or a?
a
Let k = -50 - -49. Which is smaller: k or -2/41?
k
Let p = 3 - 3.3. Let d = -1.7 + p. Is -0.1 greater than d?
True
Suppose c - 4*c = -6. Suppose -4*u + 31 = -5*x, 2*u - c*x = -u + 18. Let d = u + -3. Is d <= 1?
True
Let x = 15/52 - 7/13. Which is smaller: 1/3 or x?
x
Suppose 3*i - 98 = i. Let c = i - 247/5. Do c and 0 have the same value?
False
Suppose 0 = -2*s + 1 - 3, -5*g + 3*s = -8. Let z(i) = -i**2 - 1 - 1 - 4*i - g. Let c be z(-2). Is 1 <= c?
True
Let u(d) = -d**2 + 1. Let c(r) = r**2 - 4*r - 5. Let y be c(7). Suppose -2*g + 4*z + y = -0*g, -5*z - 17 = -g. Let a be u(g). Which is smaller: a or -1?
a
Let r = 17/70 - 3/10. Is r >= 0.1?
False
Suppose 2*j + 11 - 1 = 0, 0 = -o - 2*j - 23. Let p = 28 + o. Suppose p = k - 6*k. Does k = 2?
False
Suppose 0*k = 5*k - 5, -i = 4*k + 20. Let y be ((-12)/(-22))/(i/16). Which is smaller: y or 1?
y
Let l = -28 + 46. Are l and 1/4 non-equal?
True
Let t be (-9 + 1)/(6/(-3)). Suppose 2*p - t*w = -18, -2*w + 20 = 2*w. Which is bigger: 3/8 or p?
p
Suppose 5*s + 5*c = 8 + 12, -c + 2 = 0. Let d(a) = a**3 - a**2 - 2*a. Let u be d(2). Let i be u*s/2 - -3. Is 3 > i?
False
Let m(q) = -q**3 + q**2 + q - 1. Suppose 4*k + 3*s - s = 2, -k + 4*s = -5. Let h be k + -2 - (1 - 3). Let x be m(h). Which is smaller: x or 1?
x
Let h(b) = b**2 + 5*b + 3. Let s be h(-2). Let v be (-9)/2*2/s. Is v >= 3?
True
Let k = 1.53 - -0.47. Which is smaller: k or 45?
k
Let x(p) be the first derivative of -p**4/4 + 2*p**3 - p**2/2 + 5*p - 1. Let s be x(6). Which is greater: s or 2/19?
2/19
Suppose s + 4 = -0*s. Let f be -3 - (0 - 3 - -5). Does s = f?
False
Let m = -1615 - -22619/14. Let h = -17/70 + m. Which is smaller: h or 0?
0
Let r be (-6)/(-39) + (-11)/(-13). Which is bigger: r or -1/25?
r
Suppose -6*d + 80 = -d. Suppose 0 = -2*u - 10 + 2, -3*k - u - d = 0. Let i be (-3)/(-1*18/k). Which is greater: -1/4 or i?
-1/4
Suppose -2*s = 8 - 10. Does -4/25 = s?
False
Let n = -527 - -56390/107. Is 0 <= n?
True
Let f be (-2)/8 - 104/(-32). Let m be 1 + -2 + 2 + 1. Which is smaller: f or m?
m
Suppose -5*q = -6 + 11. Which is smaller: -22/9 or q?
-22/9
Let o(k) = 2*k - 2. Let l(m) = m + 1. Let u(n) = 3*l(n) - o(n). Let j be u(-5). Let b be (2 - j)/(0 - 2). Are b and -3 non-equal?
True
Let x = 0.031 + 16.969. Which is greater: x or -0.2?
x
Let u be (84/(-105))/((-2)/9). Suppose 3*s = 4*y - 21, -s + 10 = 4*y + 1. Is u greater than y?
True
Let m = 16.5 - 16.61. Which is smaller: m or -1?
-1
Suppose k - 9 = -9. Let g be 2/1 + (-4)/3. Is g > k?
True
Suppose -p = -20 + 9. Does 11 = p?
True
Let l = 163 - 91. Suppose 0 = d - 4*d + l. Let o = 74/3 - d. Which is bigger: o or 2?
2
Let m = 3.9 - 4. Let n = -2 - -2. Let g = n - m. Which is smaller: -1 or g?
-1
Let k be 46/(-14) - (-4)/14. Let b(r) = r**3 + 2*r**2 - 4*r - 3. Let h be b(k). Let y be (57/152)/((-3)/2). Which is smaller: y or h?
y
Suppose 0 = -3*g - 2*y + 4 - 8, g = -2*y - 8. Suppose l - 36 = -g*l. Suppose -q - l = -5*q. Is q <= 3?
True
Let d(a) = -a**2 + 2*a + 1. Let n = 19 + -16. Let k be d(n). Is k greater than -6/7?
False
Let x be (-1)/(-2) - 5/2. Is -4 equal to x?
False
Let l(z) = z**3 - 2*z**2 + 3*z - 3. Let u be l(2). Let t be (-1 - 1) + (u - 0). Which is bigger: 0.3 or t?
t
Let o be 4/((-228)/63) - -1. Let p = 1 - 1. Is o not equal to p?
True
Suppose -13 - 5 = 2*r. Which is smaller: -8 or r?
r
Suppose -w + 76 = 4*t, -w + 4 = 8. Suppose 4*k + 3*s + 3 = 17, -t = -5*k - 5*s. Which is bigger: k or 3?
3
Let f = -0.04 - -0.34. Let s = 127 + -773/6. Let t = s - -4/3. Which is smaller: f or t?
t
Let q be (10/10)/(1/(-7)). Is -25/3 > q?
False
Let i = -14.8 + 15. Let w = i - 1.2. Which is greater: 2/23 or w?
2/23
Suppose 4*y + 4 = 2*y. Let r(a) = 2*a + 5*a**2 - 4 - 6*a**2 + 2*a. Let z be r(3). Which is bigger: y or z?
z
Let y(j) be the first derivative of -j**4/4 + j**3 - 4*j + 4. Let b be y(3). Do b and -4 have different values?
False
Let g = -0.05 - -0.16. Let b = -0.61 + g. Let d = b + 0.6. Which is greater: -5 or d?
d
Suppose 0*t - 60 = 12*t. Is t greater than -4?
False
Let w = 11 + -11.3. Which is smaller: 13 or w?
w
Suppose -1 = -2*c - 9, 3*p - 12 = 3*c. Suppose p = l + 4*d + 5, 5*l + 15 = 2*l + 3*d. Which is greater: -4 or l?
-4
Let b = -0.2 + 8.2. Let y = b - 8.3. Is 0 greater than y?
True
Let g = -1 + 11. Suppose f = 5*d - 0*f - g, 0 = -d + f + 6. Which is greater: d or -2/39?
d
Let f be (-5)/1*2/5. Let c be (f/(-15))/((-15)/25). Which is greater: c or 0?
0
Let k be ((-2)/948)/((-15)/12 - -1). Which is greater: 1 or k?
1
Suppose -20 = 3*b + 2*b + p, -b = p + 8. Let l be 32/(-18) + 4/(-18). Is l smaller than b?
False
Let x be (-3 + 1)/((-4)/6). Let j = -4 + 5. Is j > x?
False
Let u = 5 + -5. Let d = -6 - u. Let v = -6.2 - d. Is v > -1/2?
True
Suppose 0*r = -3*r + 39. Suppose 2*q = r - 11. Which is smaller: 1/4 or q?
1/4
Let b = 5.4 - 0.4. Let k = -5 + b. Let y = 5/44 - 167/308. Is y less than k?
True
Let z = 2/1671 + -3400/48459. Are z and 1 equal?
False
Let v be (-1 - (2 + -14))/(-3). Let q = 120 + -123. Is q greater than or equal to v?
True
Let d(l) = -2*l. Suppose 2 = 5*m + 3*g, 5*g + 0 = -5. Let i be d(m). Is i at most as big as -2?
True
Let y(x) = -x - 5 + 2*x - 2*x. Let p be y(-6). Let i = 344 - 341. Which is smaller: p or i?
p
Let p = 3 + -3.1. Let x =