r: q or -20?
-20
Let v(o) = 9*o - 9. Let d be v(1). Let i be (1 - 1) + (-46 - 1). Let b = -142/3 - i. Which is bigger: d or b?
d
Let g(p) = -p**3 - 2*p**2 - 3*p - 1. Let d be g(-2). Suppose 0 = 2*a + 8, -3*n + d*a + 16 + 1 = 0. Let w = 2.04 - 2.1. Is n smaller than w?
True
Suppose 2*x = 3*q + 1, 5*x + 0*x = q + 9. Let b(g) = g - 1. Let w be b(6). Suppose v + v - 5 = w*c, 4*v + 3 = -3*c. Is q less than v?
False
Suppose 2*j - 12 = -3*y - 32, 0 = -3*y + 5*j - 13. Suppose 6*v + 60 - 12 = 0. Let p = v - y. Which is bigger: -2/3 or p?
-2/3
Let j = -193/5 + 39. Which is smaller: 1 or j?
j
Let a be 1*(-1 - -1) + 0. Let x = -0.11 - -0.91. Let j = x - 2.8. Is j bigger than a?
False
Let r(d) = d**2 + 3*d + 3. Let m(w) = w**2 + 4*w + 4. Let a(c) = -3*m(c) + 2*r(c). Let l be a(-5). Which is bigger: l or -2/21?
-2/21
Suppose 4*t - 5 + 9 = 0. Which is greater: 1/4 or t?
1/4
Let i = -11/6 - -3/2. Suppose 5*l + 7*r = 3*r - 2, 5*r - 4 = -3*l. Let f be l + 2 + 4/(-10). Which is smaller: f or i?
f
Let s = 0 + -5. Is -4 <= s?
False
Let o = 323/511 - -6/73. Which is greater: 1 or o?
1
Let t(g) = g - 3. Let f be t(5). Suppose 0 = -9*j + 6*j + 9. Which is smaller: j or f?
f
Let z = 0.52 + 21.48. Let p = z - 21.98. Which is smaller: 3 or p?
p
Suppose 5*r - 4*l - 31 = -3*l, 3*r - 21 = 3*l. Let p(k) = 10*k + r - 5*k - 4. Let q be p(-2). Which is greater: -1 or q?
-1
Let y = 12 - 5. Let f = y - 6.7. Let r = f - -1.7. Is r <= -1/4?
False
Let d be 0 + 0/(1 + -2). Let c be (-2)/(-7) - (-27)/(-21). Let t be -2 + (-5)/(-7) - c. Is t less than or equal to d?
True
Let j = -8 - -6. Let o = j - -4. Is o at least 3/5?
True
Suppose 0 = 5*n - 10*n - b + 20, 5*b = 0. Let m = n + -3. Is 1/3 > m?
False
Suppose 4*c = z - 2*z + 20, -z - 25 = -5*c. Let w be z*3/(-18)*-3. Which is bigger: w or -0.07?
w
Let k be 6 - (-1 + (-9)/(-3)). Let z be (k - (-6)/(-3))/(-10). Suppose 7*s - 2*s + 1 = -y, 5*s = -2*y - 2. Which is greater: z or s?
s
Let b = 2101/52 - 161/4. Suppose y - 3 + 2 = 0. Which is greater: b or y?
y
Let p = -1 - -11. Suppose -2*l + 25 = 5. Is l > p?
False
Suppose 1260 = 2*x + 2*x. Let u be ((-2)/(-4))/(2/640). Let f be 2/7 - u/x. Which is smaller: 1 or f?
f
Suppose 0 = -f + 25 - 43. Which is greater: -37/2 or f?
f
Let z = 2 + -42. Is z > -40?
False
Let m = -114 + 1141/10. Suppose 26 - 101 = -3*v. Let h = v + -25. Which is smaller: m or h?
h
Let b = 24 + -32. Let j(t) = 7*t - 1. Let h be j(-1). Are h and b unequal?
False
Suppose -3*k - 4*s = k - 4, 4*k - s = 4. Let i(o) = -o - 4. Let j(y) = y + 3. Let q(b) = -4*i(b) - 3*j(b). Let a be q(-5). Is k at least a?
False
Let b = 46 - 40.2. Let z = b - 6. Is z less than -1?
False
Let f = 0.1 - 0.1. Let q = -2 - -2.2. Which is smaller: f or q?
f
Let q(r) = r**2 - 6*r + 5. Let m be q(5). Let h be 8/28 - 3601/35. Let y = -102 - h. Which is greater: y or m?
y
Let t(n) = n - 9. Let c be t(9). Let u(l) = -2*l + 6. Let y be u(4). Does c = y?
False
Let c(w) = -w + 7. Let x be c(6). Let r(f) = 1. Let z(t) = t - 6. Let i(j) = x*z(j) - r(j). Let o be i(6). Do 1/13 and o have the same value?
False
Let m be (2/5)/((-14)/(-70)). Suppose 0 = 3*i, -b + m = 5*i + 1. Suppose -8 = 3*x - 7*x. Is b != x?
True
Let i = 3.2 - 4. Let v = i - -1. Let j = 0.9 + 0.1. Which is smaller: j or v?
v
Let x(h) = -h**2 - 3*h + 4. Let t be x(-3). Suppose 4*i - t = -0*i. Suppose -5*s + 8 = -s. Is i at most as big as s?
True
Let b be (-2 - -1)/(3 - 2). Are -1/32 and b unequal?
True
Let x = -268 + 265. Let u(c) = c - 3. Let s be u(4). Let g = -4 + s. Is x less than or equal to g?
True
Let y be 4/(-3 + 147/27). Which is greater: 1 or y?
y
Let v be (28/12 + -4)/((-1)/3). Do 2 and v have the same value?
False
Suppose -5*y = -2*y. Let l = 502/5 + -99. Which is bigger: l or y?
l
Suppose -2*k + 3 + 1 = 4*i, -i = 0. Suppose 5 = k*a - 25. Suppose -a + 5 = -5*u. Is u equal to 3/2?
False
Let r(i) = i**3 + 9*i**2 - i - 6. Let k be r(-9). Is k smaller than 0.06?
False
Suppose -5 = -h - 3. Suppose v + 4*q = h, -v + 2*q + q + 16 = 0. Is 10 not equal to v?
False
Suppose -b = 2*d - 5 - 2, -5*b + 5 = 0. Let w be (0 - 8/(-12))*-3. Let t = w + d. Which is smaller: -2/11 or t?
-2/11
Let z(j) = j - 3. Let c be z(4). Let y be -1 + 2 + 1 - 0. Suppose 3 = -y*q + c. Is 3/8 != q?
True
Let g(k) = -2*k**3 - 38*k**2 + 7. Let s be g(-19). Let h be 1/(-10)*-1*-2. Which is greater: s or h?
s
Let h(s) = s**2 + 4*s + 7. Let d be h(-5). Let l be (4/d)/(21/(-9)). Do l and -1 have the same value?
False
Let s(c) = c**2 + 9*c + 6. Let y be s(-8). Let u be 0 - 1 - (-1 + y). Suppose 3*z + 2*z = 15. Are z and u equal?
False
Suppose -10 = -i - 3*x, -2*i + x - 2 = -3*i. Let h = -1 - i. Which is bigger: 4/7 or h?
h
Let i = 15.13 + -15. Which is bigger: 1 or i?
1
Suppose 4*q - 25 = -q. Let t = 214 + -208. Which is bigger: t or q?
t
Suppose 4*w - 1 = 2*t - 9, 2*w + 12 = 3*t. Suppose -2*v + 4 = 3*j - 8*j, 0 = -4*j + 3*v - 6. Is j bigger than w?
False
Let g(t) = -7*t + 2*t - t**3 - 6 - 5*t + 3*t - 7*t**2. Let k be g(-6). Suppose 5*a - 2*a = -6. Which is greater: a or k?
k
Suppose 2 = p - 1. Suppose -p*o = -o. Is o bigger than 1?
False
Let v = -13 - -9. Let x(m) = m**3 - 4*m**2 + m - 7. Let z be x(4). Which is bigger: z or v?
z
Let v(z) = z**2 - 3*z - 5. Let f be v(4). Let h = -18 - -18. Which is smaller: h or f?
f
Let f = -9/481 + 2231/67821. Which is bigger: f or 0?
f
Let a(v) = -v**3 - 3*v**2 - 2. Let k be a(-3). Which is bigger: k or -6/5?
-6/5
Suppose -15 = -4*o - o. Suppose 2*x = u, -o - 1 = -2*x + 3*u. Suppose 2*g = -s - 0*g + 8, 4 = 2*s + g. Which is smaller: x or s?
x
Let c = -24.7 - -26. Which is smaller: c or -1/3?
-1/3
Let q = 14/11 - 31/33. Do 0.2 and q have the same value?
False
Let i = 4 - 2. Suppose 0 = -j - 2*j + 6. Suppose -u - j*u - 3 = 0. Is i >= u?
True
Let c = -43.1 + 43. Are 1/4 and c nonequal?
True
Let q be 3619/(-40) - 6/15. Let k(z) = -9*z**2 - 4*z + 2. Let f be k(3). Let t = f - q. Which is smaller: -1 or t?
-1
Let o(k) = 2*k - 9. Let g be o(6). Suppose -4*r = -4*j - 4, -3*j + 2 = -2*r + g. Suppose 3*y - 18 = -6*y. Which is smaller: j or y?
j
Let z(g) = -g**2 - 11*g + 15. Let a be z(-12). Are a and 3 equal?
True
Let h = -9 - -6. Suppose 0 = 2*v - c - 160, -5*c = -2*v + 106 + 54. Let m = -238/3 + v. Which is greater: h or m?
m
Let o = -5.006 + 0.006. Are 0 and o equal?
False
Suppose 0 = -m + 3*m + 3*q + 4, -3*m + 5*q = -32. Suppose -4*k - u + 17 = 0, -4*k - 5*u + 2 = -3. Is m less than or equal to k?
True
Let p = -178/63 + 28/9. Is 2 less than p?
False
Let k be (-5)/10*0/1. Suppose 0*z + 3*z + 12 = k. Do -4 and z have the same value?
True
Suppose -6 = -2*z + 5*z. Which is bigger: -10/7 or z?
-10/7
Let b = -0.872 - 0.128. Is 1 greater than or equal to b?
True
Let b = -67 + 71. Let q = 4 + -1. Suppose 11 = -3*a + 4*m, -q*a - 2*a + b*m = 13. Is 2/5 < a?
False
Let v be -3 - -2 - (1 + 1). Which is greater: 11 or v?
11
Let m(g) = -3*g - 7. Let d(j) = -2*j - 7. Let p(q) = -4*d(q) + 3*m(q). Let a be p(8). Suppose 5*z = -4*k - 22, -5*z - 5 = k + 8. Which is smaller: z or a?
z
Let y be 4/8*(1 + -3). Let f = 1 - y. Is 1 <= f?
True
Let i(z) = 24*z - 169. Let p be i(7). Let b = -4 + 1. Which is bigger: p or b?
p
Let i(d) = d**3 + 5*d**2 - 6*d - 1. Let g = -14 - -8. Let q be i(g). Let c be (4/2)/(1 - q). Is c != 1?
False
Suppose -d + 17 = 4*h, -3*h - d = -5 - 9. Suppose 0 = -h*a - 42. Is -14 less than a?
False
Suppose 6 = 2*v - 0*p - 2*p, -5*p - 7 = 3*v. Let g be (-26)/14 + 0 + 2. Which is bigger: v or g?
v
Let w be (-2)/9 + (-352)/(-1260). Is w at most 0?
False
Let c = 23/9 - 7/3. Let h = -2 - -4. Suppose h = -3*a + 5. Which is smaller: c or a?
c
Let c(w) = 37*w + 3. Let l be c(1). Are l and 39 unequal?
True
Let k be (0 - 2)/(10/(-15)). Suppose 0*n = -k*n. Is n less than 1/3?
True
Suppose -3*v - 14 + 38 = 0. Let h be v*(-1 - (-10)/(-8)). Let i be (-40)/h + (0 - 2). Is i at least 0.2?
True
Suppose q = -0*q + 3. Suppose -3*i - 2 + 1 = -b, 5*b + q*i + 31 = 0. Let r be b/(-10) - 0/2. Which is smaller: r or -2/3?
-2/3
Let h = 20.87 + 0.13. Let r = h - 20. Is 2/7 <= r?
True
Let i be (1 - 4) + (-8 - -55). Let b = -30 + i. Let h be 2/b*21/7. Are h and -1/4 equal?
False
Let o = 1.74 - 0.74. Let l = 0.5 + -2.5. Is l bigger than o?
False
Let l = 18 - 11. Which is smaller: l or 0?
0
Let b(t) = 6*t**2 - 9*t + 7. Let h be 