-14)/4 - (-2)/4. Let z be 5 + (t - (-1)/1). Which is smaller: z or 4?
z
Let x be -4*(6/(-4) + 1). Which is bigger: x or 6/7?
x
Let o be 3/(-4) + (-2)/8. Which is smaller: o or -3/8?
o
Let j = -6 - -4. Let h(g) = 2*g**2 - g. Let t be h(0). Suppose 5*f = -t*f. Is j smaller than f?
True
Let v = 4907/15 + -327. Which is greater: -7 or v?
v
Let w be (1 - 1 - 0)/2. Let r = 18 + -13. Let y(a) = a - 3. Let p be y(r). Which is greater: w or p?
p
Suppose 0 = 4*t - 2*i - 6, 5*i - 35 + 14 = t. Let f be 1*-1 + 44/t. Which is smaller: 9 or f?
9
Let l(u) = 4*u - 10. Let d be l(5). Suppose 3*j = j - 24. Let r be (-10)/j*(-3)/d. Which is smaller: r or 1?
r
Let x = 5 - 8. Let t be 4 - x/((-3)/(-2)). Let n be ((-3)/t)/((-1)/(-2)). Is 0 at most n?
False
Let m be (-5 - 1)*(-2)/(-120)*-4. Which is bigger: -10/7 or m?
m
Suppose o + 14 = 3*s - 3*o, 0 = s + o - 14. Suppose 0 = -s*k + 5*k. Is 1/5 bigger than k?
True
Let w = -29 + 33.1. Let t = w + -4. Is t greater than -0.2?
True
Let a be (1 - 26/32)*-4. Suppose -3*w - 11 = 1. Let n = w - -4. Which is greater: a or n?
n
Suppose 0 = -3*o + 3*s + 2*s + 3, 3*o - s - 3 = 0. Is o equal to 1?
True
Let s = 3.05 + -0.05. Let o = 6 - s. Let r be 84/(-196) - 2/7*2. Is r bigger than o?
False
Let h be (1/((-20)/(-8)))/(84/15). Which is greater: -0.3 or h?
h
Suppose -8*x - 10 = -13*x. Is 2 at least x?
True
Suppose 2*l = 2 + 2. Suppose j - l = 2*j + i, -3*j = -i - 6. Let d = 6/17 - -72/85. Which is bigger: d or j?
d
Let q be 74/(-40) + ((-39)/(-15) - 2). Are -1/3 and q nonequal?
True
Let o be 1/((-3)/12 - 12/16). Are 8/17 and o nonequal?
True
Let d be (-5 - (0 + -7))*2/(-4). Which is greater: 2/205 or d?
2/205
Let f(c) = c**3 + 5*c**2 - 12*c + 6. Let x be f(-7). Does -2 = x?
False
Let l = -1 - -3. Let p be (-3)/(-8)*l/(-3). Which is smaller: p or 0?
p
Let q = -122 + 626/5. Which is smaller: q or 2?
2
Let c = 4 + -3.9. Is 1/5 >= c?
True
Let t be (0/1)/(-3) - 1. Which is greater: 0.08 or t?
0.08
Let f be 231/45 + 12/(-90). Suppose -4*q = -q - 9. Suppose -n - q = -f. Is n <= 5/2?
True
Let y be (-119)/(-51) - (-2)/3. Which is smaller: 4 or y?
y
Suppose 0 = -5*j + 4*f - 82, 0 = f + 2*f - 9. Which is smaller: j or -15?
-15
Suppose 5 = 4*y + 1, -k - 39 = -3*y. Let d be 8/k + (-59)/18. Let c = -3 - d. Which is bigger: c or 0?
c
Let u(x) = 8*x + 6. Let w(k) = -7*k - 5. Let o(f) = 5*u(f) + 6*w(f). Let b be o(-4). Is 8 > b?
False
Suppose 0 = -g - 4*g + 80. Suppose g = -5*y + y. Let w be ((-6)/(-3) - -3)/(-1). Which is smaller: y or w?
w
Let v = 4.3 + -4.1. Are -6 and v equal?
False
Let i be 3*(-3)/(-2853)*2*1. Which is smaller: i or -1?
-1
Let u = 3.8 + -22.8. Let m = 189.1 + -189. Which is greater: u or m?
m
Let k = 2.638 + 0.062. Let p = 0.7 - k. Is p at most 5?
True
Let p = 0.1 + -0.3. Let g = p + 0.1. Let k = g - 0. Is k bigger than 3/4?
False
Suppose 2*c - 1 = 13. Let s = 17 + -16. Suppose i - 5 = s. Is i at least as big as c?
False
Let l(q) = q**2 + 4*q - 5. Let v be l(-5). Let i = v - -1. Let n = -1901/9 + 211. Which is smaller: n or i?
n
Let g(o) = o. Let n be g(1). Let k = 35 + -67/2. Is n != k?
True
Suppose -35*x = -31*x - 68. Is 19 greater than x?
True
Let n = 21 + -26. Let b be (2/n)/((-8)/40). Which is smaller: b or 3?
b
Let m = 793 + -40429/51. Let j = m - -1/17. Let u be -1 + 0 + 8/(-2). Which is greater: j or u?
j
Let w = 49/69 - -30371/276. Let m = 112 - w. Is m > 2?
False
Let f be 0 + (-1 - 4/(-8)). Which is smaller: -16 or f?
-16
Let t(w) = -w**2 - w - 2. Let q be t(2). Let s(y) = -2*y**3 + 3*y**2 - 3*y + 3. Let n be s(2). Which is smaller: n or q?
q
Suppose 4*i - 42 = 10*i. Suppose -8*r - 32 = -4*r. Is r smaller than i?
True
Suppose 0 = 5*p + 1 - 21. Let i be 2/10*(-1 + p). Which is bigger: i or 2?
2
Let i(p) be the third derivative of p**5/60 - p**4/4 - 4*p**3/3 - p**2. Suppose 6*s - 43 + 1 = 0. Let y be i(s). Which is bigger: y or -3/4?
-3/4
Let d = -4 + 8. Suppose 0 = -d*t + 6*t. Is t at most 3/5?
True
Suppose -5*t + 0*t = -25. Let m be (8/(-20))/((-1)/t). Suppose -m*o = o. Are 0 and o unequal?
False
Let q = 115 - 220. Which is greater: 0 or q?
0
Suppose -5*c - 2*x - 15 = -7*x, 2*x - 8 = 0. Which is smaller: -0.008 or c?
-0.008
Let h be (2 + -3 + 9)/2. Suppose 5*z - 6 = h. Which is greater: -0.2 or z?
z
Let z = 1.03 - -0.17. Let o = 2.2 - z. Do 1 and o have different values?
False
Let b = -0.03 - -0.13. Which is smaller: -0.02 or b?
-0.02
Suppose b + 3*b + 5 = -3*w, -4*b - 2*w - 6 = 0. Is 2/53 less than b?
False
Suppose -4 = 8*h + 12. Is h equal to -7/4?
False
Let l be 10/(-40) + (-26)/(-8). Suppose -6*h + 21 = -l*h. Is h != 3?
True
Let v = 20 - 8. Suppose -2*j = -0*j + v. Are -7 and j nonequal?
True
Let i = -70/3 + 23. Let d = -126 + 124. Which is bigger: i or d?
i
Let c = -5 - -7. Suppose -4*r + 5*f = -7, c*r - 3*f - 4 = 1. Let h = 4 - 6. Is h at most r?
True
Let h(d) = d**2 - 16*d + 15. Let u be h(18). Which is bigger: u or 50?
u
Suppose 3*d + 6 = 3*c, -4*d + 4 = -2*d - 4*c. Let m be 9/((-4)/(8/3)). Does d = m?
True
Let l = 478 + -8125/17. Let v = 1 + -1.1. Which is greater: l or v?
l
Let p be (-2)/(-4) + 7/2. Suppose 3*j - 5*u - 38 = 0, -4*j - u - 2*u + 12 = 0. Let a be j + ((-18)/(-2))/(-3). Is a > p?
False
Let r = 179 - 91. Let g be -8*(180/r + -2). Which is smaller: g or -1?
-1
Suppose -20 = -5*s - 5. Suppose -4*i + 4*d = -32, -12 = -i - d + s*d. Suppose -1 = -4*x - 2*r - 3, i = -5*x - 2*r. Which is smaller: x or -5/4?
x
Let y = -13 + 8. Let w(l) = -1 - 5*l + 1 - l**2 + 2. Let d be w(y). Which is smaller: 3 or d?
d
Let z be ((-4)/(-4))/((-1)/(-6)). Suppose 0 = -5*k + v - z, -5*v + 7 = -5*k - 3. Is k smaller than 0?
True
Let d = -3 - -3.2. Let q = -0.4 - -1.4. Let p = 1.2 - q. Is p at most d?
True
Let r = -10 + 0. Is r > -10?
False
Let n be (-48)/220*(-2)/(-6). Are n and 1 unequal?
True
Let c be ((-3)/9)/((-2)/6). Is -3/14 bigger than c?
False
Let p = -1/43 - -133/172. Let c = p + -1/4. Is -0.2 greater than or equal to c?
False
Let c = 46 - 50. Which is smaller: 0.2 or c?
c
Let s(m) = -m**3 - 9*m**2 - 8*m + 1. Let o be s(-8). Which is greater: o or 1/4?
o
Let r = 13 - 8. Suppose -2*z - 3*z = -r. Suppose 0*v = v. Are z and v nonequal?
True
Let n = -0.21 + -3.79. Which is smaller: 2/3 or n?
n
Let j = 35 + -157/3. Let z = j - -37/2. Which is greater: 2 or z?
2
Let l = 11 - 6. Suppose -5*x + 0*x + 3*q + 23 = 0, -l*q - 5 = 0. Let m = x - 7. Is -3 greater than m?
False
Suppose 3*t - 12 + 18 = 0. Is -2 equal to t?
True
Let c(x) = x**3 - 8*x**2 + 7*x - 5. Let u be c(7). Is u smaller than 0.01?
True
Let i be (12/(-6))/(4/10). Let w = i - -7. Suppose -2*v - w*v = -3*x - 14, -4*x = -5*v + 17. Are 2 and x unequal?
False
Let k be -2 + -2 - 0 - 2. Let l = k + 9. Is l >= 2?
True
Let a be 2/6*(8 + -2). Let d be 27/(-21) + a/2. Which is greater: d or -1?
d
Let s be 2/(-7) + (-908)/(-3276). Let m = -43/39 + s. Is m less than -2?
False
Let f = -66 + 72. Do f and 8 have different values?
True
Suppose -5*l = -2*l - 3. Let r be (-32)/14 + 10/35. Which is bigger: l or r?
l
Let p = -7/5 + 19/10. Do p and 4 have different values?
True
Let c = 32 + -32. Which is greater: 4/31 or c?
4/31
Let m = -43 - -216/5. Is -1 at most as big as m?
True
Suppose 2*i = 3*i + 1. Let h(y) = y**3 + y**2 + y + 1. Let w be h(i). Which is smaller: 2/3 or w?
w
Let x = 279 + -196. Let t = x + -223/3. Let a = -142/15 + t. Does a = 0?
False
Let p = 582 + -1787/3. Is p bigger than -15?
True
Let j be -2 - ((-20)/3 - 18/(-27)). Does j = -1?
False
Let b(m) = -m**2 + 5*m + 4. Let k be b(6). Is k bigger than -2?
False
Suppose 3*j + 2*j = 3*z - 7, 5*z = 2*j - 1. Let l be -3*3/(-36)*z. Which is smaller: 1 or l?
l
Let o = -688/5 + 138. Let u(g) be the first derivative of g**4/4 + g**3 - 5*g**2/2 - 4*g - 1. Let q be u(-4). Which is smaller: q or o?
q
Let m = 2 + 0. Let a = m - 2.05. Let f = -0.95 + a. Which is smaller: -0.1 or f?
f
Let q = 11.9 - 11. Let x = 0.1 + q. Let y be -3*(2 + (-16)/9). Is y equal to x?
False
Let b(j) = -j**3 - 7*j**2 + 8*j - 7. Let z be b(-8). Is z <= -7?
True
Let w be -2 + 18/5 + -1. Is w smaller than 2?
True
Suppose 8 = 4*t + 2*w, -4*t = -2*w + w - 2. Which is bigger: t or -1/14?
t
Let z = 25 - 18. Let c = z + -3. Suppose 3*l = 2*u + 2*u + 11, 2*l = -c*u - 6. Is u at least -2?
True
Let c = 0.6 - -0.4. Let i = 1.1 - c. Which is smaller: 1 or i?
