f - q = 18, 0 = 5*v + f - 11. Suppose v*g + 2*g = -2*d + 6, 0 = -3*g - 5*d - 4. Is 6/5 less than g?
True
Let u(l) = -l + 4. Let v be u(3). Let n = -1 + 0. Let q = v + n. Which is greater: q or -2?
q
Suppose -s + 12 = 11. Is s greater than -2/127?
True
Let i(g) = 79*g**3 - g**2 - 2*g + 2. Let o be i(1). Which is greater: 77 or o?
o
Suppose 5*o = -2*j + 2 + 22, 18 = 3*o + 3*j. Which is smaller: o or 3?
3
Let c = 2 - 3. Which is smaller: 4 or c?
c
Let y(p) = p**3 + 4*p**2 + 4*p + 1. Let b be y(-2). Is b smaller than 13/7?
True
Let o = -477427841056/8825 - -54099472. Let n = 2/353 - o. Is 1 >= n?
True
Let y = 2/1721 + -58520/5163. Do y and -10 have different values?
True
Let z = -6091/9 - -676. Which is smaller: 0 or z?
z
Let r(v) = v**2 - 2. Let t be r(0). Let h = 7 + t. Let g = 0 - h. Which is greater: -4 or g?
-4
Let l(w) = w**2 - w + 1. Let g be l(1). Is g greater than -2?
True
Suppose -9*h = 1 - 1. Which is smaller: 1.1 or h?
h
Let z = -6 + 4. Let i = 0 - z. Which is bigger: -2/3 or i?
i
Let c(d) = d**3 + 13*d**2 + 16*d + 14. Let l be c(-12). Let b be l/60 - 1/(-6). Which is smaller: b or 0?
b
Let w = -19 + 58. Let b = -118/3 + w. Is b < -2/3?
False
Let n(h) = -h**2 - 7*h + 3. Let b be n(-7). Suppose 0 = -2*a + 3*a - p - b, 12 = 4*a - p. Suppose 0 = u + 2*u - a. Does 1 = u?
True
Let l be (4/14)/((-6)/(4 - 1)). Which is bigger: l or -2/3?
l
Let b = -57 + 32. Is b smaller than 2/7?
True
Let f be 1/(-3) - 10/(-15). Suppose 3*x = -7 + 49. Let v be (-6)/2*2/x. Are f and v equal?
False
Suppose -27*z + 30*z = -33. Let w = -0.1 - 0.9. Which is smaller: w or z?
z
Suppose -v - 5*r = 0, 6*v = v + 5*r. Let w be -1 + -1 + 7/6. Which is smaller: v or w?
w
Let h be 1*((31 - 1) + 1). Suppose -2*j = -5*y - h, -3*j + 13 + 1 = -y. Let b = 4 - j. Is 0 greater than b?
False
Let s(v) be the third derivative of v**5/60 + v**4/6 + v**3/3 + 6*v**2. Let y be s(-6). Which is greater: 13 or y?
y
Suppose 15 = -4*i + 5*g, 13 = -5*i + 4*g + 1. Is i at most -4/17?
False
Let y = 35 + -33. Let q(s) = -s**3 + 2*s**2 - 2. Let n be q(2). Let l = y + n. Which is smaller: -2/27 or l?
-2/27
Let m be (-2)/(40/(-14))*(-4 - -2). Which is bigger: -0.2 or m?
-0.2
Let k(z) = z**2 + 7*z. Let r be k(-7). Suppose 0 = -g - 3*y - 3, 5*y + 7 = 4*g - 32. Suppose g = 3*d - r. Are d and -2 equal?
False
Let t = -37 + 110/3. Let o = 0.3 - 2.5. Let u = 2 + o. Are u and t equal?
False
Suppose -6 = 2*p - 2*i, -p - 2*i = 3*p. Let x be p - 0/(-2 + -2). Let a be 2 + (-2 - -1)/1. Is x < a?
True
Let s = 2 - 2.2. Let u(p) = -5 + 4 - 3 + p. Let x be u(2). Which is smaller: x or s?
x
Suppose -3*g + 33 = 84. Are g and -16 equal?
False
Let t be (-465)/20*(-14)/(-9). Let x = -36 - t. Which is bigger: 0 or x?
x
Let w = -28.4 - -28. Is -1/3 less than or equal to w?
False
Let z be 4*1*12/16. Suppose z*y - 52 + 12 = -5*o, 5*y - 30 = -o. Suppose 3*q + 7 + y = 0. Is q <= -3?
True
Let m be 0/(-4 + 9) - 2. Suppose -4*v = -v + 4*r + 1, 4*v = -4*r. Which is greater: m or v?
v
Let s(u) = -2*u - 38. Let j be s(-19). Which is smaller: j or -2?
-2
Let p = 5 + -3. Let r = 9 - 7. Do p and r have the same value?
True
Let n be 26/(-30) - (-2)/6. Let v = n + 26/105. Is v equal to 0.1?
False
Let k = 22.7 + -23. Suppose -c = -0 + 1. Let h = -1 + c. Which is greater: h or k?
k
Suppose n - 1 = -2*u, -5*u - 5*n - 11 = -1. Let h be (-6)/(-14)*(-2)/u. Suppose -3*j - 7 = -x, 3 = 5*x - j + 2*j. Are x and h equal?
False
Suppose -s + 2*a = -8, 3*s + 3 = -5*a - 6. Suppose 6 = -0*w + 2*w. Suppose 0 = 5*c - w*i + 2, -s*c = c - 3*i. Which is bigger: -4 or c?
c
Let b(n) = -n**3 + 4*n**2 + 5*n - 1. Let v be b(5). Let j = v + -4. Which is bigger: j or -6?
j
Let v = 0.02 - -0.24. Let q = 0.04 + v. Let j = q - -2.7. Is j < -2/3?
False
Let o = -10 - -10.01. Let z = 3.99 + o. Let m = -0.8 + -0.2. Which is smaller: z or m?
m
Let x = 8 - 4. Let v(t) = t. Let k(r) = 4*r - 6. Let u(w) = k(w) - 3*v(w). Let f be u(x). Is -1 >= f?
True
Let k be -8 + 5 - -2*1 - -9. Is k not equal to 3?
True
Suppose 6*t - 2*t = 2*z + 6, 0 = -4*t - 2*z - 6. Suppose 40 = 48*d - 8. Do t and d have the same value?
False
Let f be (-94)/255 + (-1)/5. Let u = -4/17 - f. Suppose s - 4*h - 20 = -2*s, 4*s = -4*h - 20. Which is smaller: s or u?
s
Let i(f) = -f**3 - 4*f**2 + 4*f - 7. Let k be i(-5). Let s be ((-3)/k)/((-42)/(-8)). Let l = -7.7 - -8. Which is smaller: l or s?
s
Let s be ((-30)/(-520))/(30/16). Let i(x) = -x - 3. Let t be i(-3). Which is bigger: s or t?
s
Let b = -95 - -94. Is -1 less than or equal to b?
True
Suppose 995 = -5*m - 3*a, a + 895 = -4*m + 106. Let r = 90 + m. Let k = r + 744/7. Is 2/9 smaller than k?
True
Let q = -1.8 - -0.3. Let f = 1 + q. Let a = 0.5 - f. Which is bigger: -1 or a?
a
Suppose 4*z = -0*z. Is -2/121 greater than or equal to z?
False
Suppose -5*b = f + 7, 3*f = -3*b - f - 11. Which is greater: b or 3/11?
3/11
Let s = -0.09 - -6.09. Let b = -5.9 + s. Which is smaller: 3 or b?
b
Let s be (-2)/(-10) + 10/(-50). Suppose j + 2 + 1 = s. Let r be j*8/6 + 0. Is r at most as big as -3?
True
Let b be (-6)/(-9) - (-8)/6. Suppose b*z + 2 = z. Let p be z/(-4)*0/1. Which is bigger: p or -1?
p
Let w = -26 - -24. Which is bigger: w or 2/33?
2/33
Let z = 113 + -89. Which is smaller: 22 or z?
22
Let y = 5.6 - 5.1. Is 8 greater than y?
True
Suppose -f - 2*f - 12 = 0. Suppose 6 = -4*m - 2. Let w be m/3 + (-26)/6. Are f and w nonequal?
True
Let d = 0.3 + 1.8. Let j = 2 - d. Let b = j + 1.1. Does -0.3 = b?
False
Suppose -3*s + 1 = -2. Which is smaller: 2 or s?
s
Let c be (6/2 - 4) + -1. Let d be ((-4)/c - 3) + -6. Let j = d - -6. Which is greater: 1/3 or j?
1/3
Let q = 3395/4 + -853. Which is bigger: q or -4?
-4
Let n = 14.9 + -15. Let u = -1 + 0. Is n < u?
False
Let w be 3/(-2 - -1) - (-3 - 1). Is w less than or equal to -0.05?
False
Let u be ((-4)/85)/(3 + 68/(-20)). Let j = 0 - 1. Are u and j equal?
False
Let c = -6 + 6.1. Let v = -1569271/63 + 175968/7. Let y = 229 - v. Which is greater: y or c?
c
Suppose 0 = i - 6*r + 3*r + 9, 15 = -2*i + 5*r. Let x be (-1)/(((-1)/4)/1). Suppose i = 3*h + h - x. Which is bigger: h or 0?
h
Let f = 26.13 + -26. Let l = f + -0.23. Do l and -0.1 have the same value?
True
Let z = -5.93 + 6. Let a = -2.07 + z. Is a at most as big as 0?
True
Let h = 388 - 1583/4. Which is smaller: -8 or h?
-8
Suppose 8*d - 3*d + f + 22 = 0, -14 = d + 5*f. Are d and -2 equal?
False
Let o = 8 + -4. Suppose -4 = -v + d, 2 = v - o*d - 11. Is 1 > v?
False
Let c be 3/(-2)*-6*(-4)/156. Which is greater: 0 or c?
0
Let x = -16 - -14. Which is smaller: x or -5/6?
x
Let h = 12.96 + 0.04. Let j = -12.8 + h. Let l be ((-6)/15)/(1/10). Which is bigger: j or l?
j
Suppose 0 = -2*v + 7*v. Let t be -14 - 2*(v - 1). Let w = t + 7. Which is greater: -4 or w?
-4
Let h = 565/3 - 189. Does -24 = h?
False
Let r = 1 - 0.8. Let s = r - 0.3. Let c(n) = -3*n - 31. Let m be c(-9). Which is smaller: s or m?
m
Let n be (-7 + 8)/((-10)/8). Is n <= -1?
False
Let t = 1841/160 + -1/160. Which is smaller: 13 or t?
t
Let x be ((-27)/6)/(6/8). Let n be 10/(-5) - x/(-2). Do -2/7 and n have the same value?
False
Let g(i) = -6*i + 5. Let r(k) = -3*k + 2. Let b(v) = 3*g(v) - 7*r(v). Let j be b(-1). Is -2 bigger than j?
False
Suppose 7*z = 4*z. Suppose 0*y - 10 = -y + 2*d, -2*y + 3*d + 15 = 0. Are y and z nonequal?
False
Let x = -30.8 - -17.9. Let q = x + 13. Is q < -0.1?
False
Let d = -3 + 2. Let z = 1/22 + -47/66. Does d = z?
False
Suppose -3*t + 0*t = -2*t. Let r = -84 + 339/4. Which is greater: r or t?
r
Let v be 9*(-3)/18*-4. Let r be (-5)/(-15) - 8/v. Is r less than 1/9?
True
Let c(k) = 2*k - 1. Let q be c(1). Let t be -1*(2 + -2 - q). Let a be (-21)/(-9) + 3/(-9). Is t smaller than a?
True
Suppose 4*v = -5*s - 14, 4*v + 1 = 4*s + 5. Let r = 2 - v. Is r smaller than 1?
False
Let o(n) = -n + 2. Let y be o(0). Suppose -3 - 3 = y*v. Which is smaller: v or -4?
-4
Let a(o) = o**2 - 4*o. Let c be a(-3). Suppose 51 = 4*g - c. Let i be g/24 + 1*-1. Is 1 greater than or equal to i?
True
Suppose -8 = -3*r - 5. Let z be (-2)/6*(-16 - -15). Is z greater than r?
False
Let d = -1 + 5/7. Let m(c) = c**3 - 5*c**2 - 5*c - 6. Let z be m(6). Let l be (z + 1 - 1)/1. Is d at most as big as l?
True
Let i(d) = d + 6. Let w be i(-3). Suppose 12 = r - w*r. Which is smaller: r or -7?
-7
Let y be (3/(-4))/(135/(-