= w - q. Which is smaller: 1 or k?
k
Let z = -56 - -559/10. Let g = 142 + -142. Which is greater: g or z?
g
Let h(w) = 17*w**2 + 4*w + 6. Let d be h(5). Let z be d/449 + (2 - 3). Let b = z + -924/5837. Is b greater than -1?
True
Let j = -2 - -4. Suppose j*p - 35 = -5*v, -4*p + 40 = 3*v + p. Is 3 greater than v?
False
Suppose -4 = 5*x - x. Let j be (1 + -13)*(6 - 7). Let a be (9/j)/((-2)/2). Which is bigger: a or x?
a
Suppose -3*i + 45 = i - 5*f, 0 = 3*i - 3*f - 30. Suppose -3*r - 3*t = 0, i*r + 2*t = -0*t. Which is smaller: r or -1?
-1
Let t be 0/(20/(3 - 8)). Which is bigger: 5/8 or t?
5/8
Let y be (-2)/(-3)*(-1)/2. Is 1/15 greater than or equal to y?
True
Let x = -111 + 108. Is x > 0?
False
Let a(j) = j**2 + 2*j. Let h be a(-2). Which is smaller: -5 or h?
-5
Let t = 0 - -4. Let v(n) = -n**2 + 5*n - 3. Let k be v(t). Suppose k = -2*b + 9. Which is bigger: b or 3?
b
Let l = 0 + -4. Let y be ((-3)/9)/(1/(-3)). Does y = l?
False
Let f = 1119 + -10051/9. Which is smaller: f or 3?
f
Let f = 0.09 + -0.14. Let o = f - -1.15. Is o equal to -1?
False
Let l be (-1)/((-3)/7) + 20/(-60). Let f = 22/7 - 18/7. Are f and l equal?
False
Let a(w) = w**3 + 2*w**2. Let k be a(-2). Suppose k*o = -o - 5. Let v be (-2)/5 + (-36)/10. Which is greater: o or v?
v
Let k = -14 + 12.4. Which is smaller: 0.2 or k?
k
Let x = 0.01 + 0.03. Let g = -0.06 - x. Let k be ((-8)/42)/(10/15). Is k != g?
True
Suppose 4*c - 150 = r, -2*c + 193 = 3*c - 4*r. Is 38 > c?
True
Suppose -9*l + 12*l = 0. Is l not equal to 20?
True
Let x(a) = -a - 2. Let z be x(-2). Suppose 2*n + 1 - 3 = z. Is 1 at least n?
True
Let k = 22.7 - 14.4. Let i = -8 + k. Let j be 2/4*(2 + -2). Is j at most as big as i?
True
Let t(v) be the first derivative of v**2/2 + 3*v - 2. Let d be t(5). Is d smaller than 9?
True
Suppose -225 = -2*t - 65. Suppose -t = -4*x - 0*x. Suppose -r - 3*r = 4*f + x, 5*r = -f - 5. Which is bigger: r or -2/5?
r
Let u = -12 - -7. Let m = 5 - 47. Let k be m/8 + (-8)/(-32). Is u > k?
False
Let y = -0.1226 + 14.3826. Let o = y + -0.26. Is -0.1 greater than or equal to o?
False
Let t be (-2)/((2 + -5)/12). Suppose -3*m + 7*m + t = 0. Let l be -1 - 0 - 2/(-6). Which is smaller: l or m?
m
Suppose h - 12 + 2 = -2*p, 5*h = -4*p + 32. Suppose p*c + 4*f + f = 10, 46 = 5*c + f. Suppose c = x + 4*o - 2, -3*o + 9 = -x. Which is bigger: x or 1?
1
Let o(l) = -2*l**2 + 17*l + 3. Let h be o(7). Suppose -5*y + 3 = 2*m - 20, -5*y = m - h. Is m smaller than 1/8?
True
Let y(w) = 4*w + 20. Let z be y(-11). Is z not equal to -24?
False
Let p be 2*3/(-2)*(2 - 1). Suppose d + 2 = 3. Let f = d + -4. Is p >= f?
True
Let l = 18 + -17. Which is bigger: 1/19 or l?
l
Let l be (38/(-342))/((-5)/(-12)). Which is smaller: 2/9 or l?
l
Suppose 3*r - r + 12 = u, 12 = u + r. Let j be 7/(-6) - (-6)/u. Is -1 smaller than j?
True
Let y(f) = -5*f. Let b be y(-1). Which is smaller: b or 3?
3
Let l be 0/(3 - (-2 + 7)). Let v = -1.99 - 0.01. Let m = 3 + v. Is m bigger than l?
True
Let k(v) be the second derivative of -1/20*v**5 - 1/6*v**4 + 1/3*v**3 + 1/2*v**2 - 2*v + 0. Let b be k(-2). Which is bigger: b or -4?
b
Suppose 4*a + 5*y = -32, 4*a + y = -4 - 12. Is 0 less than a?
False
Suppose 13*w - 11*w = 0. Which is greater: 2/9 or w?
2/9
Let u(q) = -2*q - 1. Let v be u(-1). Suppose 0 = -g - 0 - v. Let o be g/3 - 39/(-63). Is o < 1?
True
Let q = 0.8 - 0.5. Let f = -0.3 + 0.1. Which is smaller: f or q?
f
Suppose 6 = -4*o + 46. Does 10 = o?
True
Suppose 3*r + g = 0, -4*r + 2*g = -2*r + 8. Do 2/9 and r have different values?
True
Suppose -3*b = 4*h - 7, -5*h + 2*b = 6*b - 8. Suppose 5*u - 12 = -3*k + 2*u, 5*u = -h*k + 21. Is k smaller than -2?
False
Suppose -j + 0*j - 9 = 0. Which is smaller: j or -2?
j
Suppose 90*o = 95*o + 385. Is -76 bigger than o?
True
Suppose p + 9*p = -80. Which is bigger: p or -2?
-2
Let k be 2/8 - 4031/(-36). Let t = -112 + k. Is t at least 2?
False
Let w = -0.6 + -0.6. Let f = -0.2 - w. Let c = -5 - -8. Do c and f have different values?
True
Suppose 3*i = 4*n + 2*i - 7, 0 = n - 4*i + 2. Suppose -n*t = -t. Let a = t + 0. Which is smaller: a or 2/5?
a
Suppose 0 = -5*n + 3*v - 2, 8 = -5*n + n - 4*v. Let i = -44 + 221/5. Which is smaller: n or i?
n
Let l = -566 - -1712/3. Which is smaller: l or 5?
l
Suppose 2*n = 3*n - 2*f - 9, -2*f = 10. Is n greater than -11?
True
Suppose 2*x - 3*x = -16. Which is smaller: 17 or x?
x
Let o = 9 - 9.1. Do -4 and o have the same value?
False
Let w be (-7 + 1)*(0 - 1). Suppose 7*x = w*x. Is x greater than or equal to 1/4?
False
Let j(h) = -2*h + 1. Let w be j(3). Let l = -5 - w. Let v = -33 + 33. Is v >= l?
True
Let a be 3*(-2)/4*2. Let l = -2 - a. Let q = 24 + -122/5. Is q greater than l?
False
Suppose 2*x + 10 = -3*x. Let c = x + 2. Let t be ((-1)/9)/(28/(-24)). Which is smaller: t or c?
c
Suppose -3*j + 40 = j. Let d be (8/j)/((-14)/(-10)). Which is smaller: d or 2?
d
Suppose -1 + 6 = 5*g. Suppose -1 - g = -a. Let z be a + ((-27)/4)/3. Is -1/2 <= z?
True
Let i = 0.5 - 0.4. Let t = -0.2 + i. Is 0.2 at least as big as t?
True
Let u = -20 - -19.94. Is -3 < u?
True
Let o(m) = -2*m + 8. Let p be o(-9). Which is bigger: p or 25?
p
Let p be (7/2)/((-1)/(-2)). Let v(x) = x**3 - 10*x**2 + 7*x + 4. Let m be v(9). Let i be (p/m)/(2/6). Which is smaller: i or -1?
i
Let q be (-2 + 85/(-25))/(-3). Are 1 and q nonequal?
True
Suppose 4*h = 113 + 811. Let i be (4/(-24))/(10/h). Let l = -17/4 - i. Is 1 < l?
False
Let p = -2/87 + -79/348. Which is bigger: 0.06 or p?
0.06
Let l = 23 + -39. Let b = 16 + l. Which is smaller: -1/3 or b?
-1/3
Let c(k) = -k**2 + 6*k - 4. Let p be c(4). Let a be (-60)/32*p/10. Is 0 at most as big as a?
False
Let u be (4/(-6))/(2/3). Let m = 35/9 + -761/198. Which is greater: u or m?
m
Suppose 2*h - 20 = 7*h, 5*q + 4*h = -16. Let b = q - -1. Let k(c) = c**3 - 10*c**2 + 8*c + 12. Let j be k(9). Is j smaller than b?
False
Suppose -l + o + 2 = 0, -4*o + 7 - 17 = -2*l. Which is bigger: 3/20 or l?
3/20
Let z = -19 - -29. Let w = 13 - z. Are -1/8 and w equal?
False
Let k(t) = -t**3 + 4*t**2 + 3*t - 4. Let m be k(4). Are m and -1 non-equal?
True
Let j(v) = 2*v + 0*v - v + 3. Let y be j(-3). Let b = y + 0. Is -1 at least as big as b?
False
Let u = -20 - -25. Let t be 3 + (-9)/(u - 2). Let m be 2/5 - (-16)/10. Which is smaller: t or m?
t
Let n = 8 + -3. Let r = 5.01 - n. Let u = r + -3.01. Is 0 less than or equal to u?
False
Suppose -5*c = 5 - 40. Which is bigger: c or 9?
9
Let h be 3*(-3)/((-27)/6). Suppose 5 = -3*q - 2*g + 4, -3*q - 5 = -h*g. Which is smaller: q or -3/5?
q
Let c be (-1 - -1)/(1/(-1)). Let h be (-3)/(-13860)*1636/(-2). Let g = 1/210 - h. Does g = c?
False
Let i = 0.37 + -0.09. Let f = i - 0.08. Which is greater: f or -1/2?
f
Let j be (-545)/(-716) - (-6)/(-8). Let z = -1637/2327 + j. Let c = 40/39 + z. Is c less than or equal to -1?
False
Suppose -y = -6*y + 5. Let n(o) = -o**2 + 5*o + 6. Let c be n(6). Let b = c - y. Are b and 3/7 unequal?
True
Suppose 0 = l, 0*v = -2*v + 5*l. Let s = v - 4. Suppose 2 + 8 = -5*w + 5*x, -w = x + 8. Is s at least as big as w?
True
Suppose -10*w + 44 = -6*w. Which is smaller: 9 or w?
9
Suppose -3*x - 2*x - 30 = 0. Let c be (-4)/6*x/4. Let s = -2 - -4. Which is smaller: s or c?
c
Let q = 0.3 - 0. Let x = -0.162 - -0.062. Is x != q?
True
Let r(s) = -s**3 - s**2 + s + 2. Let u be r(0). Let h(j) = -j**u - 3 + 0*j - 4*j + 7. Let o be h(-5). Is o bigger than -2/5?
False
Let s = -17 + 7. Let k be 9*(98/12)/7. Let w = s + k. Which is smaller: 1 or w?
w
Let h(w) = 4*w**2 - w. Let t be h(1). Suppose t = 3*r + c, 1 - 4 = -3*r - 5*c. Which is greater: 2 or r?
2
Suppose -a = -5*f + f + 3, 0 = -4*a - 12. Let r be (-9)/(-6) + 6/(-4). Is r < f?
False
Let i be -62*(1/(-4) + 0). Let c = i + -15. Is -1/2 at least as big as c?
False
Let s(k) = -k**2 - 7*k - 6. Let u be s(-6). Let a be 6/(-27) + (-34)/(-72). Is a greater than or equal to u?
True
Suppose 38 = 2*r + 6. Suppose -8 = 5*k - 2*y - 37, -r = -k - 3*y. Which is smaller: 5 or k?
5
Let l = -18 - -19. Let r be 0 + -1 - 13/(-11). Which is smaller: r or l?
r
Let v(d) = d - 1. Let f be v(1). Suppose f = 3*r - 1 - 2. Let g = 1 - 1/2. Do r and g have different values?
True
Let r be (-2)/(-5) - 12/5. Let b be (-5 - 9/(-3))/r. Let u(f) = 5*f - 1. Let m be u(b). Is m greater than 5?
False
Suppose 4*i = 