t a = 1 + 1. Suppose -a*v - 12 = -v. Let y = 9 + v. Is -3 greater than y?
False
Let s be (5/(-140))/((-6)/(-47896)). Let m = s - -285. Do 0 and m have the same value?
False
Let b(k) = -k - 2. Suppose q + 5 = -0. Let i be b(q). Let u = 0 - 0.2. Which is greater: u or i?
i
Let p = -2.2 - -1.2. Let k = -0.2 - 0.6. Let c = k - -0.3. Is c > p?
True
Let a = 15 + -12. Let i = a - -2. Is -0.1 at most as big as i?
True
Suppose -5*q = -u + 65 + 52, 2*u + q = 223. Does u = 112?
True
Suppose -5*b = 2*h - 42, 2*b - 5 = -1. Let t = 15 - h. Which is greater: t or -3?
t
Suppose 0 = -0*h + 4*h - 36. Let t = -3 + h. Which is smaller: t or 5?
5
Let b(c) = c**2 - c + 25. Let k be b(0). Suppose k = 5*z - 0*z. Which is greater: -1 or z?
z
Let q(h) = -h**2 + 5*h + 7. Let o be q(6). Let m(f) = 3*f - 3. Let g be m(2). Let l be 2/g*(-3)/(-2). Is o >= l?
True
Suppose -3*f = -6*f. Suppose 3*s + 2*s = f. Suppose 0 = -s*y + 5*y + 10. Which is smaller: y or 0?
y
Suppose 3*x + 35 = -4*x. Is -5 smaller than x?
False
Let x = 5 + 2. Is x < 8?
True
Let x(i) = -3 + 7 + 11*i - 17 - i**2. Let l be x(9). Which is bigger: 6 or l?
6
Let c be (2/(-32))/((-44)/(-12)). Let t = 1/22 - c. Which is greater: t or 0?
t
Let h(w) be the first derivative of -w**2/2 - 3*w + 1. Let z be h(-5). Let a = 36 + -36. Which is smaller: z or a?
a
Let r(p) = p**2 + 15*p + 37. Let t be r(-12). Let x be -3 - 2/(1 + 1). Let l = x - -3. Is l smaller than t?
True
Let n(t) = -t - 7. Let d be n(-10). Let f be 4*(-1 - (-18)/8). Let z = 3 - f. Is d <= z?
False
Let n(r) be the third derivative of -r**4/12 + r**3/6 - r**2. Let y be n(-4). Suppose 0 = 2*l, 0 = 4*x - x + 5*l + y. Which is smaller: -4 or x?
-4
Suppose 0 = 2*v - 8, 5*v = 3*t + 3*v - 4. Let a = -4 + t. Do a and 0 have the same value?
True
Let f be ((-4)/(-6))/(3/((-450)/4)). Which is bigger: f or -27?
f
Let o = 4.7 + -0.7. Let l = -0.81 + -0.09. Let g = l - -1. Which is greater: g or o?
o
Suppose -500 = 5*s + 4*z, 6*z + 287 = -3*s + z. Is -103 greater than or equal to s?
True
Let o(s) = 3*s - 4. Let l be o(3). Suppose 5*y - l = r, -1 = y - 4*r - 21. Which is greater: -6 or y?
y
Let z = 16427/25 - 657. Is 1 not equal to z?
True
Let u(r) = -r**3 - 5*r**2 + 6*r - 6. Let t be u(-6). Suppose 2*v = -19 + 5. Which is bigger: t or v?
t
Let j be 4/(-10) + (-960)/(-2775). Is j less than or equal to 1?
True
Suppose 2*d - 2 = -5*s, 3*s - 3*d + 1 = -2*d. Which is greater: 1/5 or s?
1/5
Let r = 14399 - 128941/9. Let x = -15004/207 + r. Is -1 at most x?
True
Let q = -28 + 27.4. Which is greater: 5 or q?
5
Let j = 0.05 - 1.05. Let g = 4 - 3. Which is smaller: j or g?
j
Let v(h) = -h**3 + 2*h**2 + 3*h + 2. Let o be v(3). Suppose -205 = 3*c - 0*x + 5*x, -o*c + 4*x = 122. Let y = c + 193/3. Is -1/3 > y?
True
Suppose -b = 3*b + 24. Let g = b + 4. Is g at most as big as -3?
False
Suppose 0 = -2*t + 7 - 23. Let v(s) = -s**3 - 9*s**2 - 9*s - 11. Let k be v(t). Let w be -1*(k + 18)/3. Is w at least as big as -3?
False
Let b be 1*-35 + -2 + 2. Let q = 4/195 - 48193/1365. Let r = b - q. Which is greater: -1/6 or r?
r
Let k = -0.19 - -0.2. Let d = -11.9 - -12. Which is bigger: k or d?
d
Let x(l) = l - 4. Let v be x(7). Suppose -v*z + z + 20 = 0. Which is smaller: 12 or z?
z
Suppose -2 = -2*k + 2. Let c be (-2)/(k/(-1)) + 0. Let w = 59 + -414/7. Do c and w have the same value?
False
Suppose 0 = -2*o - m + 14 - 0, -5*o + 5*m = -20. Let u be 2/o - 8/(-12). Is u != 10/9?
True
Let z be (2/4)/(2/(-4)). Suppose 55 = 5*r + 2*n - 6*n, 10 = 2*n. Let m be (12/(-9))/(25/r). Are m and z nonequal?
True
Let s = -11/5 - -67/35. Let p(b) = -b - 3. Suppose 2*q + 0*u = 4*u, 2*u = -3*q - 16. Let r be p(q). Which is smaller: s or r?
s
Suppose -5*k - 7 - 13 = 0. Which is smaller: -2 or k?
k
Let f = 16 + -8. Are 9 and f nonequal?
True
Suppose -24 = 2*t + 10. Let r = 16 + t. Are r and 1/3 nonequal?
True
Let s(n) = -n**3 + 15*n**2 - 2. Suppose -18 = -2*k + 12. Let f be s(k). Suppose 3*v + 0 = p - 9, 4*p - v = -8. Are p and f equal?
False
Let n = -0.16 - -0.16. Which is bigger: -3 or n?
n
Let u = 4 - 7. Let d be 1 + (-2 - (3 - 3)). Which is smaller: d or u?
u
Let a = 0.07 - 0.87. Let j = a + -1.2. Which is bigger: 2 or j?
2
Let t = -141/4 + 36. Do t and 1 have the same value?
False
Let k = -167/2 + 85. Suppose -3*j + 10 = 4*i, 4*i - 8 = -2*j - 0. Which is bigger: i or k?
k
Let l be -9*(-1 + (-138)/(-136)). Let p = 2/17 - l. Let i be (-1)/(12/(-14)) + 1/(-6). Is i greater than p?
True
Suppose -y - 3*y = 4. Let g be (y + 5)*(-1)/34. Which is smaller: g or 1?
g
Let t = -31 - -36. Is t greater than 6?
False
Let d(u) be the third derivative of u**6/360 - u**5/40 + u**4/12 + u**3/6 - u**2. Let q(w) be the first derivative of d(w). Let l be q(2). Is l > -1/4?
True
Let z = -4 + 5. Suppose 0 = 4*f - 2*f + 3*k + 3, -k - z = 3*f. Which is smaller: f or 3?
f
Let g = -0.7 - -0.4. Let j be (-4)/(-2 + 18) - 0. Let k = 7/12 + j. Which is smaller: k or g?
g
Let c(x) = -x**2 + 12*x - 3. Let h be c(12). Is h equal to -3/2?
False
Suppose 7*p - 11*p = 0. Which is smaller: p or -2/25?
-2/25
Suppose 3*u + 2 = 26. Let r = 15 - u. Let l(w) = -w**2 + 7*w - 1. Let f be l(r). Is f != 1/5?
True
Let a be (-3)/(840/26) + 0. Let p = a + -3/28. Which is smaller: -1 or p?
-1
Suppose -i + 3 - 6 = -z, 0 = -4*z - 5*i - 33. Is -2 smaller than z?
False
Let v = 63 + -61. Does v = 26/15?
False
Let x be 16/20*5/2. Suppose d + x = -0. Is -3 smaller than d?
True
Let a be -1 + 2 - 22/16. Let s = 18 + -17. Is a greater than or equal to s?
False
Suppose -5 - 7 = -4*p. Let y = 26 - 17. Suppose -m + 13 = y. Do m and p have different values?
True
Let c be ((-6)/7)/(-6 + (-86)/(-14)). Which is smaller: c or -39/8?
c
Suppose x - 4 = 3. Suppose -x + 2 = -5*c. Which is greater: -3 or c?
c
Let f(i) = -i**3 + 6*i**2 - 5*i. Let m(c) = 2*c - 5. Suppose 11*g = 6*g + 25. Let v be m(g). Let t be f(v). Is t != -1/7?
True
Let g = -15.9 - -16. Is g less than or equal to 0.6?
True
Suppose -x - 5 = -6*x. Is x greater than 2/51?
True
Let g = -6 + 5. Let v(a) = -4*a + 5. Let y be v(-5). Let n = y - 349/14. Is g smaller than n?
True
Let o(z) = -z**2 - z + 1. Let k be o(-2). Let s(g) = 4 - g - 4. Let p be s(2). Is k at most as big as p?
False
Let k be (-2)/4*(-33 + -1). Suppose -3*r - k + 5 = 0. Let g be r/36*(-7 - -1). Which is greater: 0 or g?
g
Let j = 0.19 - 0.22. Are j and -3 equal?
False
Let p = 24 - 24. Let f = -0.17 + 10.17. Let t = f + -6. Which is greater: p or t?
t
Let w be (2/(-16))/(-37 + 36). Let g = 4 - 1. Let y be (2/(-6))/(1/g). Which is smaller: y or w?
y
Let g(b) = -7 - 2 + 0 + b**2 - 6*b. Let d be g(7). Let v be ((-1)/2)/(1/2). Which is greater: d or v?
v
Let m be 1/3 - (-52)/(-6). Let l = 8 + m. Let b = 196 + -195.8. Is b < l?
False
Let u(m) = 3*m**3 - m**2 + m. Let l be u(1). Let d be 72/130*10/3. Let x = d - 7/39. Is l > x?
True
Let r = -12 - 1. Let j = -12 - r. Let y be -4*((-1)/4 - -1). Which is greater: y or j?
j
Let b = 237 + -1189/5. Is -2 smaller than b?
True
Let b be -1*1/(-2)*1*6. Is -2 >= b?
False
Let q = -15 - -18. Let l(y) = -75*y**2 + y - 1. Let m be l(1). Let h be q - -7*33/m. Do h and 1 have the same value?
False
Let y be -4*3/36*15. Suppose 6 = 5*r - 9. Suppose 3 = -z - r. Is z smaller than y?
True
Suppose 4*r + 0*r = 0. Suppose -3*d = -94 + 25. Let h = -277/12 + d. Which is smaller: r or h?
h
Let l(a) = -6*a - a**2 + 4*a + 3 - 1 - a. Let h be l(-2). Suppose -h*c = -1 - 11. Is c <= 3?
True
Let h = 180 + -304. Let f = h + 870/7. Which is bigger: f or 3?
3
Let g = 542 + -4883/9. Is -1 <= g?
True
Let p(l) = 4*l**3 - l**2 + 1. Let t = -7 - -22. Let q be (-6)/t - 9/15. Let f be p(q). Is f less than -3?
True
Let n be 0/1 + -2 + 1. Let b be 2/(-4) + n/(-2). Let t = 17/279 - -5/31. Which is smaller: b or t?
b
Let k = -11.04 - -11. Let u = k - -1.04. Is u greater than -4/3?
True
Let z = 2432/3 - 821. Is z at least as big as -9?
False
Let l = 160/3 - 54. Suppose -3*d = g + 1, d - 3*g - 2*g + 11 = 0. Which is greater: l or d?
l
Let g = 3 + 0. Let m(x) = 2*x - 4. Let j be m(g). Do j and 2 have the same value?
True
Let n = -44/141 - 1/47. Which is bigger: n or -2/7?
-2/7
Let h = -21 - -20. Is h bigger than -6?
True
Suppose 0 = -3*h + 3 - 9. Let s be (3 - 1)/(4/(-6)). Which is smaller: h or s?
s
Suppose 2*w - 8 = 6*w, 3*b - 4*w + 1 = 0. Let u = b 