l be c(5). Is v at least l?
True
Suppose 3*y = 2*n - 546, y - 4*n + 290 = 108. Is -182 less than or equal to y?
True
Let k = 2434.3 + -439.3. Which is smaller: 0 or k?
0
Suppose 10*z = 7*z + 60. Which is smaller: 64/3 or z?
z
Suppose -5*t = 0, 3*t + 0 = -2*m - 18. Let v(z) be the second derivative of z**4/12 + 4*z**3/3 - 5*z**2 - z. Let s be v(-8). Is s at least as big as m?
False
Let r = -4.2 + 3. Let q = 23 - 22. Let b be -1*q - 90/(-70). Which is greater: r or b?
b
Let h = -122/187 - -2/11. Let t = -148/119 + h. Let d = t - -43/21. Which is greater: d or -7?
d
Suppose 0 = -5*w - 160 - 45. Let l = w + 36. Which is bigger: l or -4?
-4
Let y(g) = 1. Let r(i) = -i**2 - 8*i - 9. Let q be r(-6). Let x(l) = 3*l + 2. Let m(t) = q*y(t) - x(t). Let j be m(2). Which is greater: j or -6?
j
Let t(k) be the third derivative of k**4/8 + k**3/6 + k**2. Let f be t(-1). Let i = -93/20 + 77/20. Which is smaller: f or i?
f
Let r = 33.463 + -33.14. Which is smaller: 1/4 or r?
1/4
Let c = -50.9 - -52. Let j = -2.3 - -3.2. Let g = j + c. Which is smaller: -3 or g?
-3
Let b = 48.6 + -41.6. Does -7 = b?
False
Let w = 30 - 30. Suppose -3*b + 7 = -5*v, -4*b - 3*v = -19 - w. Which is greater: -0.08 or b?
b
Suppose 3*r = -5*g - 307, -3*r + r = 2*g + 206. Let b be r/(-5) + 1/5. Is -1 equal to b?
False
Suppose -b = -4*x - 473, 0 = 2*x - 3*x + 2*b - 120. Let j = x - -119. Which is smaller: 1/7 or j?
1/7
Let b be 9/13 + 1/(-1). Let v = 51/208 + b. Let g = -39/16 + v. Is g bigger than -4?
True
Let a = -62.067 + 62. Let d = 0.033 - a. Let o = 0.1 + -0.1. Is d at least as big as o?
True
Suppose -2*r - p + 11 = -5*r, 0 = 5*r - p + 17. Let z be (3/6)/(2/36). Suppose 0 = z*d - 5*d + 16. Which is smaller: r or d?
d
Suppose 41*c = -156 - 336. Let v be (-4)/(-14) + 186/(-14). Is v > c?
False
Suppose 0 = -4*x - 3*b + 2*b + 29, x + 14 = 4*b. Suppose -q = 19 - x. Which is smaller: q or -11?
q
Suppose -3*z = 0, 2*g + 3*z = 4*g + 300. Which is smaller: g or 2?
g
Suppose -3 = 7*b - 31. Suppose -b*q = -3*t - 3, -5*t + 19 - 7 = -q. Suppose 0 = -t*l + 7*l + 128. Is -33 at most l?
True
Suppose -7*z + 8*z - 4 = 0. Which is greater: -1 or z?
z
Let c be (-30)/3*(3 - (1 + 3)). Is 0 at least as big as c?
False
Let r = 25 - 27. Let h be ((-2)/5)/(r/350). Let w = 36 - h. Is -34 not equal to w?
False
Let m(j) = j**2 + j - 124. Let k be m(8). Which is smaller: k or -34?
k
Let j = 109/30 + -1579/435. Is j != 0?
True
Let k be ((-8)/60)/((-28)/(-20) + -7). Is 0 equal to k?
False
Let l = -0.466 - -0.46. Let j = l - 0.014. Let o = -0.1 + 0. Is j at least as big as o?
True
Let r = 515/77 + -72/11. Are 3/10 and r equal?
False
Let d(n) = -3*n**3 - n**2 - 3*n - 2. Let x be d(-1). Let y be ((-6)/8 + 0)*5/x. Do y and -1 have different values?
True
Let i = -1228 + 1229. Let w be 2 + (90/(-8))/3. Is i less than w?
False
Let j be (-1076)/660 + 2 - (128/24)/16. Suppose a + 5*h + 11 = 0, 4*a + h + 6 = -0*h. Is a >= j?
False
Let i = -40/13 - -2227/728. Let l = 5 + -5. Which is bigger: i or l?
l
Let d be (-2)/(6/(-15)) + -2. Suppose -d*o + 3 = 6. Let n be o/(1 + 30/(-33)). Are n and -11 nonequal?
False
Let p = 10.156 - 0.156. Which is smaller: p or 7?
7
Let v = -0.6 + 0.1. Let w = 0.7 + v. Let t(p) = -4*p - 25. Let o be t(-6). Which is smaller: o or w?
o
Let h = -78 - -79. Let o = -6.02 + 0.02. Let y = o + h. Which is smaller: y or 0.1?
y
Let u = -183.65 - -181. Does u = 1/3?
False
Let s = -1 - 0. Let p be (-12)/20 - -28*(-1)/(-5). Let t be ((-3 - -3) + 1)/p. Which is smaller: t or s?
s
Suppose 4*x + 2*n + n - 66 = 0, -4*n = 5*x - 83. Is x <= 2?
False
Suppose -3*u - 2 = 8*a - 10*a, -5*a + 5*u + 5 = 0. Which is bigger: a or -5/19?
a
Let r = -2884/64541 + 10/277. Which is smaller: r or -1/4?
-1/4
Suppose -9*v = -15*v - 330. Let s = v + 162. Which is greater: 106 or s?
s
Let r = -198 - -196. Which is smaller: -1 or r?
r
Let w = -2496 - -2494.2. Let a = -1 - 0. Is a < w?
False
Let f = 26 + -23.8. Let r = f - 2.109. Which is bigger: r or 0.1?
0.1
Let i(a) = -19*a + 3. Let c be i(-1). Let s = -20 + c. Let w = 61/33 - 2/11. Which is greater: s or w?
s
Suppose 1128 = 10*z - 8*z. Let q be z*(-2)/(-12)*3. Let c = q + -3104/11. Are -1 and c nonequal?
True
Suppose -w = 3*k - 26, -2*k + 20 = -w - w. Let h = k + -6. Suppose -h*u - v - 11 = 0, u - 2 = -2*v + 1. Is -6 greater than u?
False
Let r(p) = -2*p**2 - 16*p - 2. Let v be r(-7). Let l = 26 + -13. Is l > v?
True
Suppose -p - 7 = -4*l + 7, -3*l + 5 = 2*p. Let g(c) = -c**2 - 14*c - 12. Let b be g(-13). Are p and b equal?
False
Suppose 0*r = 4*r - i - 31, 4*i = -5*r + 23. Let k = 6 - r. Let m = 4 - 5. Is m bigger than k?
False
Let m = 20.3 - 20.38. Is m at most as big as 2/13?
True
Suppose -f = 5*k + 6, 4*k + 4 = -f + k. Let t be 6/(2/f) + 5. Let g be 5/1*t/(-2). Which is smaller: g or -7?
-7
Suppose -2*i - 341 = 9*i. Let t = 6 + i. Is -26 greater than or equal to t?
False
Let j be 4/(-14) + (-31590)/(-315). Which is greater: j or 101?
101
Let p be -14 + 20 - 1380/237. Which is greater: 1 or p?
1
Let l(d) = -2*d**3 + 2*d**2 + d. Let f be l(-1). Suppose f*m - 4 = m. Let n be (1 - m)*(-20)/55. Is 1 greater than n?
True
Let s be -31*(4 + -3) + 2. Let l = s - -30. Which is bigger: 0.1 or l?
l
Let n = -2.72 - 1.58. Let j = 4.4 + n. Which is bigger: j or -8?
j
Let n = 52 + -47. Suppose 69 = 5*j - 4*m, -j + m - 51 = -n*j. Are j and 14 equal?
False
Let s = 40 - -2131. Let d = s + -479792/221. Let u = -205/3536 + d. Which is smaller: 1 or u?
u
Let h be (-17)/(-2 + 3 + -2). Let a be (-20 + h)/(66/(-10)). Is a <= -1?
False
Let z = -10 - -15. Let r(w) = w - 15. Let i = -56 + 72. Let h be r(i). Is h < z?
True
Suppose -82*t = -14*t - 3740. Let q = 68 - 13. Is q greater than or equal to t?
True
Suppose -9 = -4*r - 1. Let d be (r/(-5))/((-5)/(-25)). Let n be (-27)/21 - (1 - 1). Which is smaller: n or d?
d
Suppose 0 = -21*n - 58 - 26. Is -4 at least as big as n?
True
Let t = 56 - 57. Let m be (690/(-114) - -6)/((-1)/t). Is m bigger than -2?
True
Let a = 18.2 + -18.5. Let g = -1.9 - -1.6. Do a and g have different values?
False
Let f = -873 + 899. Do f and 22 have different values?
True
Suppose 4*s = 4*c + 44, 4*c = -2*s + 3*s - 44. Which is smaller: -15 or c?
-15
Suppose 3*q + 0*q = 33. Let o(g) be the second derivative of -g**5/20 + g**4 - 5*g**3/3 - 3*g**2 + 116*g. Let i be o(q). Which is greater: i or 4?
i
Let n = -24 - 10. Let l = 169/5 + n. Is -1 less than or equal to l?
True
Let y = -194 + 181. Are y and 2/3 nonequal?
True
Let k(d) = d**3 - 5*d**2 - 5*d - 4. Let o be k(6). Suppose z - 6*z + 5 = -4*i, 0 = -i + o*z - 2. Suppose 5*n = -6 - 9. Is n bigger than i?
False
Let i be (-30)/(-12)*1*-4. Suppose -2*h + h = 0. Suppose h*r - 2*r = 20. Do i and r have different values?
False
Let t = -7527/2 - -3844. Let h = -79 + t. Which is greater: -9 or h?
h
Let w(m) = -m**2 - 3*m + 28. Let j be w(-7). Let k = j + 0. Which is smaller: 2/39 or k?
k
Let x = -213 + 132. Let d = x + 70. Which is smaller: -10 or d?
d
Let i = -176 - -171.65. Let m = -0.65 + i. Are 0.04 and m equal?
False
Let b = 588 + -589. Is 3/913 < b?
False
Suppose 46*g = 43*g - y - 1299, -852 = 2*g - 4*y. Do g and -430 have the same value?
False
Let h be -4 - (-5)/((-10)/4). Let z = -295/51 + 2/17. Let l = h - z. Which is smaller: l or 1?
l
Suppose 5*g = i + 3 - 2, -5*i - 5 = g. Which is smaller: 31 or i?
i
Let l = -87 + 130. Suppose -3*y + 17 + 20 = -f, 4*y = -5*f + l. Let u(i) = -i**2 + 12*i - 5. Let s be u(y). Which is smaller: s or -6?
-6
Let h = 181 + -13935/77. Which is bigger: h or -11?
h
Let i = -1034/21 + 49. Let z = -23/21 - i. Let h = z + 16/35. Which is smaller: h or -0.1?
h
Let u = 17.2 + 11.8. Is u != -1?
True
Let a = -0.03 + -0.27. Let v = 71 + -71. Let m = v + a. Which is smaller: -2/7 or m?
m
Let p = 5/258 - -119/516. Which is smaller: p or 100?
p
Let b = -109 + 105. Let i be ((-8)/1)/b*(-22)/(-4). Which is bigger: 15 or i?
15
Let j(b) = b + 3. Let n be j(-3). Suppose n*i - 5*i + 20 = 0. Suppose -2*y - 3*f - 4 = -1, -i*y - 21 = f. Which is bigger: -7 or y?
y
Suppose c + 14 + 6 = 0. Let b(m) = m**2 + 20*m + 3. Let o be b(c). Do 3 and o have the same value?
True
Let q = -22 + -1. Let h = 23.01 + q. Which is greater: h or 0.1?
0.1
Suppose -y = -3*g - 26, -y + 3 - 37 = 3*g. Let h = g + 10. Let q be 3*(-3)/(-27)*0. Is q eq