t least m?
True
Let m be 9*-4*2/(-8). Suppose b = -3*y, 3*b - 5*y = -0*b + 14. Suppose b + m = -3*d. Is d > -4?
False
Let t = -116.9 - -117. Which is bigger: t or -11.3?
t
Suppose -o - 12 = 2*t - 6*o, -3*t - 5*o = 18. Let r = t + 4. Let y(k) = k**2 - k - 2. Let x be y(0). Is x > r?
False
Let m = 1.51 + 0.09. Let v = m + -1.66. Which is smaller: 2 or v?
v
Let h = 45 + -16. Let q be 10/35 + h/21. Suppose -8*k + 9*k = 2. Which is bigger: q or k?
k
Suppose 0 = -r - 4*j + 4 - 14, 0 = 2*r - 3*j + 9. Let w(q) = q**2 + 7*q + 7. Let b be w(r). Is 3/10 <= b?
True
Let b(g) = -g**3 + g**2 + g + 3. Let y be b(0). Let t be 9/15*(6 + -1). Are t and y equal?
True
Suppose -9 = 2*h - 5*h. Let c be (-1 + h)*1/2. Let p(w) = w**2 + 7*w - 6. Let x be p(-8). Which is smaller: x or c?
c
Let k = 0.07 - -2.93. Let q = -3.1 + k. Let v = -0.3 - q. Which is greater: 1 or v?
1
Let o = -13 - -13.1. Is 0.1 at most o?
True
Let t = 10 - 5. Let l be 10/(-4)*(-4)/t. Suppose -l*q = -0*q - 2. Which is bigger: q or 0.4?
q
Let j be 4/(-2) + 4/4. Let d(w) = -3*w + 1. Let k be d(j). Which is greater: k or 2?
k
Let b = 6 - -18. Which is smaller: b or 23?
23
Let l = -4/9 - -10/9. Let k be 0/(-3 - 2/(-2)). Are k and l equal?
False
Let z(n) = 1. Let g(s) be the first derivative of s**2 + 7*s - 2. Let f(p) = g(p) - 3*z(p). Let b be f(-3). Which is greater: -3 or b?
b
Let q = 0 + -4. Let p be (-4)/(-57)*6/q. Let t = p + -11/76. Is -2/3 < t?
True
Let l = 3 - 2.5. Let s = 7 + -7.9. Let j = s + l. Which is bigger: -1 or j?
j
Suppose 2*c - 5*x - 33 = 0, 0 = -2*c - 4*x + 4 - 16. Suppose i + 74 = c*s, -4*i - 28 = -2*s + i. Which is smaller: s or 18?
18
Let z be (-6)/2*2/(-3). Let b = -1 + z. Let y = 34/11 + -192/55. Which is greater: b or y?
b
Suppose 5*s - 2*i = -5, 2*i - 13 - 2 = -5*s. Is 21 equal to s?
False
Let a(r) = r**2 + 6*r - 14. Let s be a(-8). Let p = -2/203 - -2036/609. Is s < p?
True
Let t be ((-4)/12)/(2/2). Let w = 2 - 2. Which is greater: t or w?
w
Let q(a) = -a**2 - 9*a - 5. Suppose -9 = 5*m + 31. Let j be q(m). Suppose 4*n + 2 = p + 5, -5*n = j*p - 8. Do p and 1/6 have the same value?
False
Let v = -2/125 - 244/375. Which is smaller: v or 0?
v
Let g = 251/153 - 26/17. Which is greater: 0 or g?
g
Let d(u) = -u**2 - 3. Let v be d(0). Suppose 3*a + 6 = a. Is v at least as big as a?
True
Let h = -4 + 8. Let i be h/6*(-6 + 3). Is -1 < i?
False
Let o = 1.7 + -0.7. Is o >= 0.1?
True
Suppose 0 = -3*u + 2*u. Which is greater: -2 or u?
u
Let c be -2 + 5 + (-1 - 1). Let t be (4 - c)/(6/(-4)). Let h be -1 + 3 + t - 0. Are -1 and h nonequal?
True
Let v = -252 - -250.77. Let x = 0.13 + v. Let u = x - -0.8. Which is smaller: u or 0?
u
Let m = -15 - -15.2. Let j = -3 + 3.1. Which is greater: m or j?
m
Suppose b - 2*h + 2 = 0, 0 = -4*b + 2*h + 1 - 3. Is b at most as big as -9/8?
False
Suppose 2*n - 3*x = 5, 7*n - 2*x = 4*n + 15. Which is greater: 8 or n?
8
Suppose -1 + 5 = 2*a. Let c(s) = s**2 - 13*s + 16. Let u be c(12). Which is smaller: a or u?
a
Let y be (-30)/(-5)*1/(-7). Let h = -2.2 + 2. Which is smaller: h or y?
y
Let k be -2*(15/2)/(-3). Let s = 35 - 53. Let y be 2/9 + (-68)/s. Does y = k?
False
Let d be 2/(2*(-5)/2). Let n(t) = 4*t + 4*t + 2 - 9 - t**2. Let z be n(7). Is z > d?
True
Let n(z) = -z + 7. Let k(o) = o - 4. Let u(f) = 5*k(f) + 3*n(f). Let x(h) = h + 1. Let b(g) = -2*u(g) + 3*x(g). Let t be b(4). Is -3 less than t?
False
Let j = -2 - 2. Suppose -5*n + 10 = 0, -n + 2*n + 7 = -3*x. Is j greater than x?
False
Let p(t) = t**3 + 6*t**2 - t - 3. Let o be p(-6). Suppose -o*l - 2 = -2*j, -2*j - l + 2 = 3*l. Is j at most as big as 1?
True
Let q = -103/3 - -34. Which is greater: q or 0?
0
Let z = 5.9 - 12.3. Let t = z - -7. Which is greater: t or 0?
t
Let d = -26 - -30. Is d >= 21/4?
False
Let l = 6.3 - 3.3. Let c = -7 - -8. Which is bigger: c or l?
l
Let l = 49 - 51. Is -16 greater than l?
False
Let v(w) = -2*w**2 - 7*w - 2. Let c be v(-2). Do -4 and c have different values?
True
Let i be 57/76 - 2/2. Are i and -1 nonequal?
True
Suppose k = 2*o - 26, -4*o + 5*o + 3*k = 27. Suppose 5 - o = 5*d. Which is smaller: -3 or d?
-3
Let o be (2 - (-10)/(-8))*-2. Let a be (-1)/(2/((-4)/2)). Let v be 2 + (-2)/a - 3. Which is bigger: v or o?
o
Let d be 5 + 1052/(-208) + 0. Which is smaller: d or -1?
-1
Let m(a) = -a**2 + 5*a + 2. Let q be m(5). Which is bigger: 1 or q?
q
Suppose 0 = 2*n - 50 + 6. Which is smaller: 20 or n?
20
Let m = 2/1117415 + 42014646/88275785. Let d = m - 6/79. Is d <= 0.2?
False
Let j = -74 - -65. Is -11 equal to j?
False
Let s be ((-1)/5)/(8/35). Let o(a) = a + 1. Let i be o(-1). Is i greater than s?
True
Let j be 3 + (0 - 1) + 0. Suppose 4*m = -410 + 422. Which is smaller: m or j?
j
Let d = 0.05 - 2.05. Let j be ((-1)/2)/(2/4). Is j smaller than d?
False
Let u = -2 + -2. Let z be (-66)/9 - u/(-6). Let w = z + 9. Is w greater than 2/11?
True
Let m = 11 - 10. Let w be ((-3)/14)/((-1)/2). Which is smaller: w or m?
w
Let x be (0 + 1/(-2))*(-18)/(-369). Is -1 greater than or equal to x?
False
Let m = -230.1 + 217. Let i = m + 13. Let w = -0.2 - -0.2. Do w and i have different values?
True
Let y = 1 - 0.9. Let h = 0.3 - 0.4. Which is smaller: y or h?
h
Let g(h) = h**2 + 6*h - 2. Let q be g(-6). Let j be 1 - 1/(0 - q). Let p be -2 - (-1 - (2 + -1)). Is j at most p?
False
Let x = 18/5 + 119/10. Let k = -14 + x. Which is bigger: -0.1 or k?
k
Let c = 0.85 + -0.85. Which is greater: -14 or c?
c
Let x = -0.2 - -0.1. Are 0.01 and x unequal?
True
Suppose 0*s = 2*j + 4*s - 8, 0 = 3*j + 2*s - 16. Suppose -x + j*x - 22 = 3*m, 3*x - 10 = 5*m. Let v be 1 - (-3)/3*m. Which is smaller: 4/5 or v?
4/5
Let b = 12.81 - -3.09. Let z = -16 + b. Which is bigger: z or 6?
6
Suppose 7 = s + m, -5*s + 0*m + 3*m + 3 = 0. Let i = 0 - s. Which is smaller: i or -0.1?
i
Let u(c) = 22*c**3 + 2*c**2 - c. Let h be u(1). Let w = 22 - h. Which is smaller: -3/7 or w?
w
Let l = -125 - -117.7. Let y = 17 + -10. Let d = l + y. Is 2 greater than or equal to d?
True
Let a = -4 + 3. Let s = -0.45 - -0.35. Is s equal to a?
False
Suppose 0 = -t + 7*t. Is t at least as big as -2/325?
True
Let w be 84/(-135) + (-6)/(-15). Let c(p) = p**2 - 1. Let g be c(1). Is w at least g?
False
Suppose 3*t + 0*p + 2*p = 45, -60 = -4*t - 5*p. Which is bigger: 7 or t?
t
Let g = -243/5 - -731/15. Suppose -4*i = i - 5. Let c be 0/(0 + i) - 1. Do c and g have the same value?
False
Let b = 61 + -61. Which is bigger: 9 or b?
9
Let g = -0.35 + 15.35. Let s = g - 16.7. Let p = 0.3 - s. Which is greater: p or 0?
p
Let y = -2108/9 - -234. Let m = 0.2 + 0. Let f = m + -0.3. Which is smaller: f or y?
y
Suppose 0 = -3*k + 5*j + 10, -5*k = -2*j + 5 + 10. Is k at least 5?
False
Let l(r) = -r. Suppose 3*s - 2 - 5 = 2*q, -4*q - s = -21. Let c be l(q). Are 1 and c nonequal?
True
Let w = -403 + 403. Let k = -2 + -3. Is k at least as big as w?
False
Suppose -i = -6 + 5. Let u be (i/78)/((-18)/(-72)). Which is smaller: u or 1?
u
Let h(x) = -2*x + 4. Let y(q) = -10*q + 21. Let f(c) = -11*h(c) + 2*y(c). Let n be f(-2). Let d be 6/(-117)*n/(-4). Are d and 0 equal?
False
Let u be (-228)/(-58) - (7 + -3). Let r(t) = t - 9. Let y be r(10). Which is smaller: y or u?
u
Let p = 583 + -3481/6. Is p > 4?
False
Suppose h - 3*h = -10. Suppose -3*d + 0*w + 27 = w, -h*d + 5*w = -65. Is 10 greater than d?
False
Let a be 1/4 - (-33)/(-18). Let g = a + 233/132. Suppose 2*w + 1 = -3*c, 5*c - 2*w - 3*w - 15 = 0. Which is bigger: c or g?
c
Let v = -1 - -1. Let z = -0.1 + v. Let q = z + 0.3. Which is smaller: 0.1 or q?
0.1
Let y be 3/(-1 + 5 + -3). Suppose 3*d - 4*f = 21, -y*d + d = -5*f - 21. Let z(n) = n - 3. Let g be z(d). Which is greater: g or 1/4?
1/4
Let x be (2/(-4))/((-2)/(-4)). Let b = 2/103 + -129/1339. Is x <= b?
True
Let d be (-9)/18*(0 + 0). Which is smaller: 1 or d?
d
Let h be (20/15)/(4/(-54)). Is -17 at most as big as h?
False
Let v = 8 - 8.2. Let c = -0.15 - v. Is c != 1?
True
Let t = -0.46 + 0.06. Let x = t - -0.4. Do x and 3 have the same value?
False
Let b = -86 - -605/7. Let s = 7 + -3. Suppose s*c - 5 = -1. Is b > c?
False
Let o = -4 - -5. Suppose 0 = -4*p - o + 9. Which is bigger: 1 or p?
p
Suppose -2*l - 2*l + 48 = 0. Let w = 20 - l. Suppose -2 = 5*r + w. Which is bigger: r or -1?
-1
Suppose 0*c = -5*c. Let r be -3*-1*(-4)/(-12). Let k be ((-8)/4 + r)/1