- v. Which is greater: r or o?
r
Let i(n) = n**3 - 2*n**2 - n - 4. Let q be i(3). Suppose 8 = -f - q*y, -f = -2*f + 3*y + 12. Which is smaller: f or 2/9?
f
Suppose 2*d + 3*b + 5 = -11, -5*b = 4*d + 36. Let i be 12/42 - 66/d. Let k be (-2)/(-2) + (-5)/i. Which is greater: 2/21 or k?
2/21
Let u = 13.8 + -14. Which is smaller: 0.03 or u?
u
Suppose -2*q - h = 17 + 23, h = 3*q + 65. Let c be ((-36)/q)/(2/7). Suppose c*n - 7*n = -1. Is -1/19 at least as big as n?
False
Let l(c) = c - 7. Let s be l(9). Let o be (-76)/(-6) - s/3. Suppose -o = 4*x + 4*d, -5*x + 24 + 6 = -4*d. Do x and 3 have the same value?
False
Let x be (-9)/(-3) - -2*10. Let f = 26 - x. Are f and 3 unequal?
False
Let x(r) = r**2 + 5*r + 4. Let t be x(-4). Let s = -46.3 + 21.5. Let q = -24 - s. Which is smaller: t or q?
t
Let p(m) = -m + 3. Let q be p(0). Let w(c) be the second derivative of -c**4/12 + 2*c**3/3 - c**2/2 - c. Let t be w(q). Which is smaller: t or -1?
-1
Suppose -k - 10 = -6*k. Let q be ((-1 + -1)/1)/k. Suppose -7*y - 1 = 27. Which is greater: y or q?
q
Let s be (1/(-10))/(1/2). Let r = 9 - 9. Which is smaller: r or s?
s
Let x be (9/30)/(18/8). Let d(g) = 3*g - 10. Let v be d(3). Which is smaller: x or v?
v
Let p = -0.3 + 0.4. Let q = -0.01 - -0.04. Let j = 1.03 - q. Which is smaller: j or p?
p
Suppose 0 = 2*c - 2 + 4. Which is smaller: c or -1/2?
c
Let k(x) = -x - 10. Let o be k(-11). Is 4 at most as big as o?
False
Let v = -133 + 146. Which is greater: v or -1?
v
Let v = 1.07 - 0.07. Let z = v - -4. Which is smaller: z or -1?
-1
Let s be ((-10)/6)/((-8)/24). Suppose 5*z + 10 = s*n, 2*n = 5*z - 2 + 12. Which is smaller: n or 1/3?
n
Suppose 0*f - 8 = -4*f. Let l be 5 + -5 + (3 - 0). Is f >= l?
False
Suppose f + 3 - 4 = 0. Let k = -2 + f. Which is bigger: 0.6 or k?
0.6
Let f = -1 + -3. Let o = -6 - f. Let p = o + 1.9. Is 2/7 bigger than p?
True
Let k be (-46)/(-14) - (-4)/(-14). Let s(n) = 3*n + 1. Let w be s(-3). Let b = -5 - w. Are b and k equal?
True
Suppose 18*y - 19*y - 2*g = 5, 3*y - 3*g - 12 = 0. Does -2/321 = y?
False
Let v = 11 + -7. Suppose 18 - 12 = 3*n. Is v not equal to n?
True
Let w = -68 + 135/2. Which is greater: 0.11 or w?
0.11
Let g be ((-4)/6)/((-1435)/(-42)). Let b = g + -283/205. Which is bigger: 2/7 or b?
2/7
Let c be (6/4 - 3)*-4. Let d = -3 + c. Does d = 3?
True
Let o be (-1)/(-3) + 3/(-9). Suppose -u = -5*f - 5 - 20, -4*f + 2*u - 26 = 0. Let p = 6 + f. Which is smaller: o or p?
o
Let s = -1112/26901 + 2/3843. Is s not equal to 0?
True
Suppose -8*r = -4*r - 84. Let y = -29 + r. Is -8 at most as big as y?
True
Let s be 1/2 - (-205)/(-10). Are 1/3 and s nonequal?
True
Let h be 4/6 + 13/3. Let k = 65 - 62. Is h at most k?
False
Let t = 5 + -4.92. Suppose -33 = 4*q + 5*x, -q - 3*x + 20 - 37 = 0. Is q not equal to t?
True
Let n = 375517/129 + -2911. Which is smaller: 0 or n?
n
Suppose 2*a + 5*h + 70 = 0, -4*a = -3*h + 2*h + 118. Which is smaller: a or -31?
-31
Let z be 75/3 + (1 - 0). Is 29 at least as big as z?
True
Let f = -1 - 2. Let i = -1 + f. Let g be 0/3*(-2)/i. Is g >= -2?
True
Suppose 0 = -j - 5*k + 6, 2*j - 7*j + 3*k + 30 = 0. Are j and 4/3 nonequal?
True
Let c = 43/220 - -3/55. Is -1 not equal to c?
True
Let m = 12 - 7. Is 2 <= m?
True
Suppose 2 = -0*s - 2*s. Is s equal to 2?
False
Let k be (-1 - -4 - 2) + -2. Which is smaller: 3/32 or k?
k
Suppose 0 = 3*g - 4*m + 6, g + 5*m + 2 = 4*m. Is -4 < g?
True
Let y be 40/99 + (-6)/27. Let t be 60/8*(-4)/(-5). Let r(h) = h - 7. Let n be r(t). Is n smaller than y?
True
Let t be (-6 + 0)*24/(-18). Let p be (4/(-6))/(t/(-3)). Does p = 1?
False
Let c = -0.37 + -0.13. Let s be (-8)/36*(-1 + 4). Which is smaller: s or c?
s
Suppose 4*j - 2*t + 2 = 0, j - 4*t + 7 = -4. Is j less than or equal to -2/7?
False
Let r be ((-2)/(-4))/(1/(-4)). Let k be r/(-3) + (-2)/(-6). Let b = -5/4 + k. Which is smaller: 0 or b?
b
Suppose -2*h + 6*h = 0. Let c be 3/(-9) - 1/3. Which is smaller: h or c?
c
Let o = 2/697 + -16043/4182. Which is smaller: o or -3?
o
Let c = 0.3 - 3.3. Let v = -3.088 + -0.012. Let x = c - v. Is 4 greater than x?
True
Let u be -1 + (0 - (-12)/(-51)). Let n = u + 215/119. Which is smaller: n or 1?
n
Suppose -3*a = 2*a + 15. Let w be (-4*1)/(-4)*a. Let k(u) = -u + 2. Let y be k(6). Do y and w have different values?
True
Let l = -0.4 - -0.42. Let f = -0.02 + l. Which is bigger: 2/5 or f?
2/5
Suppose 3*u = 1 - 10. Let d(o) = -2*o + 4. Let j be d(3). Let z be -5 + j*(2 + u). Is z less than -2?
True
Let n = -0.1 - -2.1. Let g = n - 3. Let i = 108 - 103. Which is greater: g or i?
i
Let y(m) = m**3 + 13*m**2 - 12*m + 32. Let f be y(-14). Let b = 3 + -1. Let p = b - -1. Is p equal to f?
False
Let c(k) = -k**2 + 14*k - 52. Let m be c(7). Which is smaller: m or -3/2?
m
Suppose -27 + 18 = k. Is k at least -9?
True
Let y = -0.05 - 2.95. Let v = y + -3. Let r = 6 + v. Is 0.3 equal to r?
False
Let v = 224 + -2021/9. Suppose -2*g + 13 = -4*q - g, 0 = q + 2*g - 8. Is v < q?
False
Let i be 7604/693 - (-2)/9. Let s = i - 120/11. Suppose -3*o + 2*o - 19 = 4*u, 12 = -3*o - 3*u. Is s <= o?
True
Suppose 0 = x + x - 4. Suppose -4*n + 8 = 3*j + 2*j, -x*j + 4 = 2*n. Suppose -3*s = -n*m + 4, 0*s - 5*m + 19 = -3*s. Is 1 less than s?
True
Let o = 47 - 242/5. Which is smaller: o or -1?
o
Let g = -0.03 + -0.97. Let c = 1.2 + g. Does -1/6 = c?
False
Let k be 15/10 - (-29)/(-18). Let f be (-5)/(-4) - 3/12. Which is smaller: f or k?
k
Let f(g) = -g**2 + 7*g - 3. Let h be f(7). Let k be -5 + 1 + -2 + 2. Let s be (-2)/k - h/(-2). Which is smaller: s or -2?
-2
Let t = 81/754 - 1/26. Is 1 at most as big as t?
False
Let z(y) = 0 - 4 + 2 - 3*y - 1. Let l be z(-4). Is l >= 9?
True
Let x = -4 - 0. Let k(j) = -j**2 + 13*j + 10. Let t be k(14). Is t at most as big as x?
True
Let s be (2/(-5))/((-3)/30). Suppose -2*h + 9 - 25 = 0. Let d be h/12*(-9)/2. Are s and d nonequal?
True
Let p = 0.01 - 0.21. Is p < -2?
False
Let s(t) = -t**3 + 5*t**2 + 5*t + 7. Suppose 10 + 8 = 3*g. Let h be s(g). Are h and 1 nonequal?
False
Let x be 2/(1/(-1*52)). Let g be 4/(-18) - x/36. Let l = 3 - g. Is 1 bigger than l?
True
Suppose -3*q = -u - 1, -5*u + 3*u = -4*q - 2. Suppose -g = r - 1, q*r - 5*g = -2*r + 4. Suppose 0 = 4*c + 3*w - 10, 4*w + 5 = -2*c + 15. Is c greater than r?
False
Let o = -13 - -22. Suppose o = 5*q + 3*a, -3 = -a - 0. Which is smaller: q or 3/5?
q
Let j = -1.9 + 1.8. Which is smaller: 2 or j?
j
Let a = -96 - -1050/11. Which is smaller: a or -2?
-2
Let o = -18 + 26. Suppose -r + 2 = 3*w + o, -5*r + w + 2 = 0. Which is greater: r or 1?
1
Let b = 20 - 20.11. Let j = 0.261 + -6.371. Let y = j - b. Is -1 smaller than y?
False
Let w be (3/510)/(2/(-55)). Let k = -23/52 + 469/884. Let b = k - w. Is b <= 0.2?
False
Let p be (-84)/(-10)*(-81)/(-6). Let j = 113 - p. Suppose -5 + 4 = 5*g + 4*r, 1 = g + 2*r. Do j and g have different values?
True
Let q(w) = w**3 - 6*w**2 + 3. Let l be q(6). Suppose -l*n - 3*v = -n - 2, -n + 2*v = 13. Suppose 4*u - 10*u - 30 = 0. Are u and n nonequal?
False
Let o = -275/938 + 1/134. Let f be 1 + (2/2 - -3). Suppose 6 = 2*b - 2*c, f - 4 = 5*b + 2*c. Which is bigger: o or b?
b
Let l be 0/((-12)/4 - -1). Which is smaller: 1/14 or l?
l
Suppose 2*r + 2*k - 9 = 9, 0 = 3*r - k - 7. Is 17/5 at most r?
True
Let m = 7 - 6.8. Let u = 1 - 1. Are u and m unequal?
True
Let y = 3 + -3. Suppose d - 2*d - 6 = y. Let o(z) = z**2 + 7*z + 5. Let r be o(d). Which is greater: r or 2/7?
2/7
Let l(x) = -54457*x**2 + 2*x - 1. Let h be l(1). Let p = h + 6480209/119. Let t = -3/17 - p. Are -1 and t equal?
False
Let p be 6*(1 + (-2 - 0)). Let b be -2 - p*46/141. Is -1 > b?
False
Let t = 0.07 - -0.33. Let z = t - -0.6. Let v = z - 2. Which is smaller: 0 or v?
v
Suppose 0 = 2*h - 5*g - 17, 3*h - 4*h - 3*g - 8 = 0. Which is smaller: 3.8 or h?
h
Let b = -0.005 + 3.105. Is b >= -3/2?
True
Let h = 0 - 0.2. Let y = -10 - -6. Are y and h non-equal?
True
Suppose -4*k + 16 = 0, p - 5*k + 24 = -0*p. Let h(a) = -a**2 + 4*a + 7. Let q be h(5). Suppose -i = 4*l + 17, -q*l + 4*i + 17 = -l. Is p smaller than l?
True
Let h be ((-2)/(-28))/((-2)/(-8)). Do -18 and h have the same value?
False
Let q(o) = o**3 + 5*o**2 - 5*o + 6. Let x be q(-6). Let m be (3 - (-15)/(-6))*0. Is m >= x?
True
Let m = -2 + 4. Let f(a) = a + 8. Let o be f(-6). Suppose o*d - 2 = -0*d. Whic