Do -2 and t have the same value?
False
Let q = 0.01 - 0.06. Let r = 0.13 + -0.03. Which is smaller: r or q?
q
Let h(m) = -2*m - 40. Let p be h(-20). Let l be ((-15)/6)/(1/1). Let o = -29/14 - l. Which is smaller: o or p?
p
Let n = 0.22 + -0.32. Which is smaller: 0.2 or n?
n
Let n = -1 + 0.4. Let q = n - 0.4. Do 0 and q have the same value?
False
Let g be (4*3/8)/(6/8). Is g >= 11/6?
True
Let j be (4/(-10))/((-13)/195). Suppose -5*z = 2*d + 25, -4*z + 10 = 3*d - j*z. Which is bigger: 2/9 or d?
2/9
Let m(w) = 3*w - 7. Let u be m(3). Which is bigger: u or 24/13?
u
Suppose 0*o + 10*o - 60 = 0. Which is smaller: 5 or o?
5
Suppose 0 = 3*s - 6*s - 48. Let u be 8/s + 6/4. Which is smaller: u or 4/7?
4/7
Suppose 0 = -4*m - 4*s, 2*m - 5*s = -3*m + 40. Suppose -j - 3*j - m = 0. Is j smaller than -0.1?
True
Let o(a) = -a**3 + 4*a**2 - 2*a - 4. Let h be o(3). Let k = 32448/11 - 2952. Let g = k - -238/99. Is g greater than h?
True
Let p(f) = f**3 + 11*f**2 - 14*f - 17. Suppose a - 9 = 3*m - 33, 3*a - 3*m = -48. Let b be p(a). Is b at least 7?
True
Suppose -77 = -3*r - 80. Is -3/19 bigger than r?
True
Let k = -129 - -128.22. Is k at most as big as -0.1?
True
Let z(x) be the first derivative of x**4/4 - 10*x**3/3 + x**2/2 - 6*x - 4. Let h be z(10). Let g be (3/h)/((-6)/2). Which is smaller: g or 5?
g
Let t be -2*((-39)/(-15) + -3). Let f be (5 - 9)*(-3)/2. Let a be 7/9 + f/27. Which is smaller: t or a?
t
Suppose 4*b + 0*b = 0. Suppose b = -3*n, -4*n = -y - 7*n - 6. Let t = -1 - y. Is 4 bigger than t?
False
Suppose 5*t - 2*v = 3*t - 6, 5*t - 3 = -4*v. Let c(k) = 3*k + 10. Let q be c(-4). Which is smaller: t or q?
q
Let l(n) = -n + 13. Let q be l(11). Suppose 0 = -q*a - 5*o + 9, 2*o = a - 0*o. Which is bigger: -0.2 or a?
a
Let m be (2 + -1 + -1)/3. Let i be (-3 + 7)/(-4) + -1. Which is smaller: i or m?
i
Let t = -185/253 - -21/23. Let i be ((-198)/12)/11*(-4)/21. Does i = t?
False
Let q be ((-1)/(-3) + 0)/(176/(-33)). Which is smaller: 1 or q?
q
Let w = -1/102 + 3/17. Suppose 9 = -3*x - 4*a, -3*x + a = -2*x - 4. Is w > x?
False
Suppose -4*z + z = 0. Is z at least as big as 1/25?
False
Let j = 13.4 - 17.4. Which is smaller: 3 or j?
j
Suppose 13*o + 150 = 20. Is o at most -13?
False
Let m = -25 - -35. Is m < 9?
False
Suppose m - 3 = -4*p - 22, -m + 9 = -3*p. Let w(s) be the second derivative of -s**4/12 - s**3/6 + 3*s**2/2 - s. Let t be w(m). Is -3 bigger than t?
False
Suppose 0 = 2*o + 4*q + 26, 0*o = o + 3*q + 14. Let h = -23/2 - o. Suppose w - 2 = 2*l, -3*w + l = 2*l + 1. Which is bigger: h or w?
w
Let a(i) = i**2 + 4*i + 3. Let h be a(-3). Let s be (-21)/22 - -1 - h. Which is smaller: -1 or s?
-1
Let u(b) = -b**2 + 11*b - 6. Let q(h) = -h**2. Let n(r) = 3*q(r) - u(r). Let v be n(-7). Is v bigger than -15?
False
Let p be 50/15 + 1/(-3). Which is smaller: p or 9?
p
Suppose 7*z = 6 + 1. Is z <= 2/51?
False
Let p be (1 + -2)*-62 + -2. Let r = p - 293/5. Let l = 39/10 - r. Is l != 3?
True
Let k(a) = -7*a - 36. Let b be k(-8). Is b at least as big as 20?
True
Let u(m) = m**2 + 5*m + 4. Let n be u(-4). Suppose -5*t + n*t = 0. Which is greater: -2/11 or t?
t
Suppose 0 = 4*j + 3*l - 32, 11 = 3*j - 0*j - l. Which is smaller: j or 3?
3
Suppose z - 6 = -z - 2*n, 0 = -2*z - n + 2. Let s be -3*(1 + 43/(-45)). Is z greater than or equal to s?
False
Let q = 5 + -4.9. Let p = q + -0.3. Is p bigger than 1?
False
Let s be 14/(-9) + (1 - -1). Let v = s - 41/72. Which is greater: 0 or v?
0
Let j = -107 + 533/5. Suppose -5*t + 4 + 1 = 0. Is j at least t?
False
Let a = -212 - -3179/15. Let k(n) be the third derivative of -n**5/60 + 19*n**4/24 - 3*n**3 - 9*n**2. Let t be k(18). Is a smaller than t?
True
Let j(l) = -2*l**2 + 5. Let f be j(3). Is f equal to -9?
False
Suppose 0 = -z - 7*z - 64. Is -6 less than z?
False
Let g = 7 + -3.5. Let r = 0.5 - g. Which is greater: r or -1?
-1
Let j = -59 + 65. Is j less than 2/7?
False
Let z be (-1 + 1 - -2)*-1. Let j = 2 + 1. Suppose -j*n + o - 10 = 0, 5*n + 0*o + 17 = 2*o. Which is bigger: z or n?
z
Let b(v) = -5*v + 3. Let c be b(1). Is -13/6 bigger than c?
False
Let u(t) = t. Let m be u(-1). Let g be (-314)/1932 - 6/(-21). Let z = g - -1/23. Which is smaller: z or m?
m
Let l = 4 - 4. Let f be (1/(l + 1))/1. Which is greater: 2/23 or f?
f
Let g = 166/5 - 33. Suppose 2*y = 0, 3*p - 4*y = -3*y - 3. Which is smaller: g or p?
p
Let c = -121 + 161. Which is bigger: c or 39?
c
Let l = 3 - 4. Let z = -1 - 0. Let k be z/3 + 13/21. Does l = k?
False
Let b = -1.8 + 12.8. Let q = b - 11.2. Which is bigger: -1/4 or q?
q
Let x = -427 - -255. Which is smaller: -171 or x?
x
Let f(s) = -s - 3*s**2 + 10*s + 0*s**2 + 8 + 4*s**2. Let u be f(-8). Which is smaller: 1 or u?
u
Suppose 0 = -3*s - 5*i + 36, 3*s - 11 - 4 = 2*i. Let m = s - 5. Let j be 0 - m - 120/(-65). Is -1 smaller than j?
True
Let r = 11927337952/1269 + -9399006. Let x = -28/47 - r. Is 1/4 less than x?
False
Let k be (2 + 1 + -2)*-1. Let t be k/(-20)*2*2. Which is smaller: t or 0?
0
Let s be ((-603)/151 - -4)*-2. Is s greater than or equal to 0?
False
Let z(x) = -3*x - 4. Let o be z(-3). Which is smaller: o or 4?
4
Suppose -5*f + 8*f = 0. Is 1/5 > f?
True
Let w = -0.74 - -0.8. Let b = -7.06 + w. Let q = 8 + b. Which is smaller: 2/3 or q?
2/3
Let t(p) = 14*p**2 + p - 2. Let n be t(1). Let a = -25/2 + n. Which is smaller: -2/17 or a?
-2/17
Let z = 62/7 - 193/21. Which is greater: z or -15?
z
Let u = 2 + 0. Suppose -u*o - 3 + 1 = 0. Let m be (o + 3/3)*1. Is m not equal to 1/9?
True
Let x = 12.1 - 12. Which is smaller: x or 3?
x
Suppose 0 = 4*l - 2*u - 2, -5*l + u = -10. Let x = -4 + l. Let r = 0 - x. Which is smaller: r or 1/3?
1/3
Suppose 16 = 5*j + 1. Suppose -j*s = n + 17, 2*s - n = -2*s - 11. Let o be 2*3*s/(-8). Which is bigger: o or 4?
4
Let j(w) be the first derivative of w**4/4 + 7*w**3/3 + 3*w**2 - 2. Let d be j(-6). Which is smaller: d or -2/5?
-2/5
Let r = 1 - 5. Let i be (r/6)/(35/15). Which is smaller: i or 0?
i
Suppose -2*n + 7 = j + 2*n, -4 = 2*n. Suppose 4*r = j - 3, 3 = t + r. Suppose -5*w + t*w = -15. Which is smaller: 3/2 or w?
3/2
Let d = -0.05 - -1.05. Let p = -2 + d. Let b be ((-12)/10 + 1)*2. Which is smaller: p or b?
p
Suppose 0 = 2*v + 2, -2*a - 3*v + 15 = a. Suppose a = -3*r + 6*r. Let i be r/(-2) - 1 - 1. Which is bigger: i or -1?
-1
Let g(d) = -d**2 - 5*d + 8. Let a be g(-6). Suppose 0*h = -a*h + 4. Suppose 0 = -5*v + p - h*p - 24, 3*v = p - 8. Which is bigger: v or -3?
-3
Let y be ((-1)/(-1))/(299/(-26)). Which is bigger: y or 1?
1
Let k = 3516178/33397 + 7/4771. Let d = k + -105. Is d greater than or equal to 22?
False
Let o be -1*(-2 - -1 - -1). Let r(d) = 2*d + 7 - d + o*d. Let q be r(-6). Which is smaller: q or 3?
q
Let v be (-1*30 + 0)*1. Which is smaller: -28 or v?
v
Suppose -p + 3 = 2*i, 0 = -i - p + 4. Let d = -4/81 + 275/648. Which is greater: d or i?
d
Suppose 0 = -2*q + 3*q. Let k = -2 - q. Let y be (4/40)/((-1)/14). Which is smaller: k or y?
k
Let s be (-7)/4*3/(-49). Let c = s - 5/308. Is c < 1?
True
Let s be (((-4)/18)/1)/((-220)/495). Suppose -2*b + 0 = -5*k + 5, 0 = -3*k + 2*b + 3. Is k greater than s?
True
Suppose 0 = 3*p + 6*f - 3*f + 12, -4*f = 5*p + 15. Let i be (1 - 1)/(2 - 0). Suppose q = -i*q. Which is bigger: q or p?
p
Let f be (-2)/1*6/12. Suppose 4*u = 2*p + 10 - 32, -24 = 3*u - 3*p. Is u <= f?
True
Let k be 3/6*(16 + 4). Let s = 16 - k. Do s and 6 have different values?
False
Suppose 22 = -4*a - 30. Which is smaller: -12 or a?
a
Let j be 1*((-6)/(-2))/3. Which is bigger: j or 3/5?
j
Let q = -2 - -2. Let s be (-3)/2 + (-54)/(-44). Is q >= s?
True
Suppose -24 = -4*j + 4. Suppose -4*p = -j*p - 3. Are p and -2/21 nonequal?
True
Suppose -2*i - 1 + 0 = 3*k, -4*i - 10 = -2*k. Is -3/2 != i?
True
Let a = 28 - 31. Is a equal to 3?
False
Let x = -11 - -12. Which is greater: x or -2?
x
Let r = -0.3 + 0.3. Let x = r - 0.1. Is -1 smaller than x?
True
Suppose 0 = -8*u + 2*u - 12. Is -27/10 equal to u?
False
Let i be (-18)/(-6) + -3 + 1. Is 1 at least as big as i?
True
Suppose -16 - 35 = 3*a. Is a smaller than -16?
True
Let c = 7 + -8. Which is smaller: 2/29 or c?
c
Let g(h) = -h**3 + h + 494. Let r be g(0). Let k = -1202880 + 22845332/19. Let l = r + k. Which is smaller: l or 0?
l
Let j be (-484)/(-140) - (-30)/(-50). Which is smaller: 2 or j?
2
Suppose 0 