 - 5 = 0. Is n at least -4/9?
True
Let q(n) = -n**2 + 3*n - 2. Let x be q(2). Let i = -2212835/11454 + 8917/46. Let u = 1/83 + i. Which is greater: x or u?
u
Suppose -6*t - 228 = 372. Which is greater: -101 or t?
t
Suppose 8*k - 3*k + 5*t = 50, -5*k = 3*t - 56. Let n = k - 13. Suppose -s - 6 = 2*s. Which is smaller: s or n?
s
Let a = 31 - 30.9. Which is smaller: a or -1?
-1
Let g be (5/3)/((-2)/6). Let p(y) = y**3 + y**2 - y. Let c(u) = 9*u**3 + 3*u**2 - 4*u. Let h(k) = -c(k) + 4*p(k). Let i be h(1). Does i = g?
False
Let n be -1*(1 - 35/25). Is n less than -2/39?
False
Let h = 540247/10098 - 2/5049. Let r = -55 + h. Is r < -2?
False
Let v = -25 + 26. Is 2 bigger than v?
True
Let q(m) = -m - 16. Let u be q(-8). Suppose -d + 14 = -3*d. Are u and d nonequal?
True
Let u = -66.055 + 66. Is 1 not equal to u?
True
Suppose 2*u = -0 + 2. Let p be u/5*(-5)/(-2). Is p greater than 2?
False
Suppose 25*w - 22*w = -111. Do w and -71/2 have the same value?
False
Let h = -108/7 + 120/7. Which is smaller: h or 2?
h
Suppose -3*i + 7*i = 40. Does 10 = i?
True
Let c be 2*2*(-4)/(-8). Suppose 0 = 2*n + 5*b - 11, -10 + 1 = -c*n - 3*b. Let m be (-4)/(-15) - 2/n. Which is smaller: -1 or m?
-1
Let d = -49 - -43. Which is bigger: -2 or d?
-2
Let i be 68/(-16) + 2 + 3. Let n = 5.8 - 9. Let b = n - -3. Which is bigger: b or i?
i
Let x be (-2)/(-17) - 148/102. Is x less than -2?
False
Suppose 0 = -2*v - 0 + 6. Suppose -4*p = -v*p. Let i = 1/2 - 0. Which is greater: i or p?
i
Let d = 0 + 2. Suppose 1 + 1 = -d*j, 5*a - 2*j - 272 = 0. Let v be a/(-70) - 1/(-5). Is v equal to -2?
False
Let v = -179 + 894/5. Let k be (2/4*0)/1. Let c = k - 0. Which is smaller: c or v?
v
Let g(h) = h**3 + 5*h**2 - 3*h + 10. Let m be g(-6). Which is smaller: -7 or m?
m
Let m(z) = -z**3 + 4*z - 3. Let x be m(2). Let f = x + 5. Let v be (-4)/(-14)*(2 + 5). Is v bigger than f?
False
Suppose 3*p + 7 = -5*a + 26, -5*p + 2*a - 20 = 0. Which is bigger: 0 or p?
0
Suppose 2*h - 8 = l - 1, 3*h = -5*l - 9. Suppose 5 = -9*m - 4. Which is greater: h or m?
h
Let h be 4/(-10) - 26/10. Let n = 111837/26 - 4302. Let x = -12/13 + n. Which is greater: x or h?
x
Let u = -6 - -22. Which is bigger: u or 15?
u
Let a = 2 - 6. Let g = a - -3. Let z be (-3)/(-9) - 10/12. Which is greater: g or z?
z
Let w = -0.12 - -0.11. Which is bigger: 0 or w?
0
Suppose -d + 0 = 2*q - 4, -q + 2 = 0. Suppose 240 = -6*m + 240. Is d at least m?
True
Let t = 0.2 - 0.1. Let p = 1.9 + -1.8. Do t and p have the same value?
True
Let j = -29 + 4. Is j equal to -27?
False
Let a = -6 - -6.6. Let u = -4.365 - 0.035. Let y = a - u. Which is smaller: y or -1/2?
-1/2
Suppose 5*f + 5*q - 15 = 0, 2 = f + 3*q - 5. Are -6/13 and f equal?
False
Let d = -51 - -64.2. Let c = d + -10. Let p = c + -0.2. Is p at most 1/4?
False
Let w be (-1 - (-2 + 6)) + 4. Is w at least -5/7?
False
Let a = 10.09 + -10. Let j = -4.91 - a. Let n = j + 5. Which is smaller: -3/7 or n?
-3/7
Suppose -6 = -3*n - 0*n. Suppose 4*u + n*i = 1 - 19, -3*i = 15. Is u equal to -3?
False
Suppose -3*l = -2*a + 30, 0 = -4*l + l + 5*a - 30. Is -10 > l?
False
Suppose 2*k = -4*z - 0*k - 2, -z - 4 = 4*k. Let q(w) = -w. Let n be q(0). Let c be 2/(6*(1 + n)). Which is smaller: c or z?
z
Let y = 1 + -1. Let h(l) = l**3 + 7*l**2 + 5*l - 4. Let w be h(-6). Suppose w = z + z. Which is greater: z or y?
z
Let k = 44 - 27. Suppose -4*i = -3*r + 9, -r - 5*i = r + k. Which is smaller: r or 1/7?
r
Let u be (-10)/(-4)*(-6)/(-3). Let p be 8/2*(-6)/(-4). Does p = u?
False
Let a = 112 + -109. Which is smaller: a or 2/3?
2/3
Let v = -1 + -4. Let m = -51 + 55.8. Let a = m + v. Which is smaller: a or 2?
a
Let w be (-4)/(-10)*10/(-6). Let m(l) = l**2 - 4*l + 1. Let s be m(3). Let x be (s - 1) + (-42)/(-12). Which is smaller: w or x?
w
Let x = 792 + -247105/312. Let y = x + 5/39. Is y <= 0?
False
Suppose -p = 5*p - 12. Which is smaller: 12/5 or p?
p
Let o = -4 - -6. Let a = 8 + -4. Suppose 0 = -4*i - 2*y - 4, -5*y + a = -4*i + 14. Is i at most o?
True
Let z be 130/402 - 3/9. Is z smaller than -1?
False
Suppose -141 = -2*o - 3*o - 2*b, -5*o - 4*b = -137. Are 28 and o unequal?
True
Let n be (0/(7/(21/(-6))))/(-1). Is -2 > n?
False
Let v be (-1)/(-4) + 3/84. Which is bigger: 12 or v?
12
Let w = -8/3 + 41/12. Let g = -3 + 5. Suppose g*t = -3*t. Which is bigger: t or w?
w
Let r = -2 + 1.6. Let n = 4.4 + r. Let a = n - 4. Is a bigger than 1?
False
Let z(r) = r**2 + 9*r + 3. Let i be z(-7). Let o = -8 - i. Suppose n = -3*n + 16. Are n and o non-equal?
True
Let d be 2*((-3)/(-6) + 1). Suppose -5*q = -4*z - 17, -2 + 7 = -5*z + d*q. Suppose -z = 3*h - h. Which is smaller: 2/5 or h?
h
Let g = -11/2 - -6. Let p be (-5)/((-15)/(-4))*9. Let r be 5/2*p/(-10). Is g at most r?
True
Let y = 19 + -20. Which is smaller: 1/5 or y?
y
Let i = -112 + 112. Let p = 0.2 + -0.3. Let d = p + i. Is d != 3?
True
Let o = 10 + -5. Suppose 0 = -n - 6 + o. Let t be (3/(-5))/(-1 - -2). Which is bigger: n or t?
t
Suppose -4*k + 50 = -66. Is k at least as big as 29?
True
Let i(c) = -c - c + 8 + 3*c - 3. Let h be i(6). Let g = h - 17. Do -6 and g have the same value?
True
Let s be (-75)/45*3*1. Suppose -20 + 5 = 3*f. Let i be (4/f)/(2/10). Which is smaller: i or s?
s
Let i be ((3 - 11) + 2)*-1. Suppose i = -5*a + 2*a. Let p be (2 - -1) + a*1. Is 1 less than or equal to p?
True
Suppose 5*x - 12 = 28. Is 9 > x?
True
Suppose -35 = -4*w - w. Suppose -3*l - 15 = -0*l + 3*x, -3*x = -6. Let k be 2/l - 5/w. Is k > -3/2?
True
Let u(p) = 20*p**2 + 2*p - 1. Suppose -2*r = r + 2*w + 7, -2 = 3*r + w. Let m be u(r). Suppose -1 + m = -5*l. Is l at most as big as -4?
True
Let q(h) = h**3 + 2*h**2 - 4*h. Let w be q(-3). Let l = w - 3. Let o = l + 1. Which is bigger: 3/7 or o?
o
Suppose h + 20 = -h. Let s = 17 - h. Suppose -g + 4*x - 9 = 0, -4*g + 4*x + 3 - s = 0. Which is greater: -6 or g?
g
Let f be 6*3/(-36)*3*2. Which is smaller: -34/11 or f?
-34/11
Let m = -14.8 + 5.8. Which is smaller: 3 or m?
m
Suppose 0 = -p + 2*p + 5. Let z(x) = x**3 - 10*x**2 + 12*x - 10. Let d be z(9). Let l = 12 - d. Is l smaller than p?
False
Suppose 4*w - 2*w - 29976 = 0. Let u = -60241/4 + w. Let q = u + 73. Which is smaller: q or 0?
0
Suppose 4 = 4*t - 0*t. Let j be (-2)/12*6/4. Which is smaller: t or j?
j
Let v be (-1 - 9)*4/10. Let a be (-1)/2 + (-22)/(-4). Let h = v + a. Which is smaller: h or -1/4?
-1/4
Let i = -14.1 - -17. Let p = 3 - i. Let l = 1 + 1. Which is smaller: l or p?
p
Let k = -59/2 - -29. Let f = 1.01 - 0.01. Let y = -1.2 + f. Which is smaller: y or k?
k
Let y = -7 + 10. Let k be ((-2)/6)/((-1)/6). Suppose 2*b - k*a + 31 = 3*a, y*b = -5*a + 16. Is b <= -7/4?
True
Let i(y) = -y + 6. Let c(h) = -h**2 - 16*h + 5. Let m be c(-16). Let v be i(m). Are v and 1 non-equal?
False
Let t be 3*(0 - (-3)/(-9)). Let o be (3/(-4))/(5 - t). Is -1 < o?
True
Let k = -119/2 - -58. Which is bigger: -2 or k?
k
Let c = -1 + 6. Suppose -2*b + 23 = 3*w - 66, 4*w = -c*b + 212. Let k be (-5)/18*12/b. Which is greater: 1 or k?
1
Let o(s) = -s + 1. Let a be o(-2). Suppose a*f = 7 - 4. Let j = f + -3. Does j = -1?
False
Let s = -27 + 26. Let m = 1 - -7. Which is smaller: m or s?
s
Suppose 3*d + 0*d - 45 = 0. Suppose 2*n + 12 = 4*g - 2*n, -4*n = -g + d. Let x be -2 - (2 + g - 5). Which is smaller: 3 or x?
x
Suppose -2*n + 23 = -1. Let b = 18 - n. Suppose 0 = -q + b*q + 5. Is -1 >= q?
True
Let a = 28 + -37. Let h = a + 10. Which is bigger: -7 or h?
h
Let u = 1 - 1. Suppose 0 = t - 3*l - 0 + 7, -l + 3 = 0. Let q be (0 - 0) + t/8. Is q != u?
True
Let z(a) = a**2 + 3*a - 1. Let f be z(4). Which is smaller: f or 29?
f
Let q = 1.7 + -1.9. Is -2/3 greater than or equal to q?
False
Suppose 3*o - 43 = -4. Is 12 greater than o?
False
Suppose 4*o - 32 = 4*c, 20 = 3*o - 0*o + c. Suppose 5*r + 4 + o = -3*d, 4*r + 12 = -4*d. Is d at least 1?
False
Suppose -2*d + 2*w = 2*d - 20, 4*w = -8. Are d and 2 nonequal?
True
Let n = -0.075 - 0.025. Which is bigger: -85 or n?
n
Let q = 0.26 + -0.3. Let k = q + 2.04. Are 0.1 and k equal?
False
Suppose 0 = 2*k - 5 + 1. Let z be k/12 - (-15)/126. Are 0 and z non-equal?
True
Let x = -310749/46 + 6756. Let z = x - 2/23. Which is greater: z or 0?
z
Let p = -3 - -1. Let i = p + 2. Suppose f - 1 = -2*z, -3*f - f - z - 3 = i. Which is smaller: f or 3?
f
Let t be 1*-1*10/145. Suppose 