e s(1). Suppose 4*t + 2*f - 4 = 0, -4*f - 1 = -t - g*f. Which is smaller: 1.5 or t?
t
Let m(l) = -l**3 - 3*l**2 + 3*l - 3. Let t be m(-4). Let p = -1359 - -152209/112. Which is smaller: t or p?
p
Suppose -15 + 2 = -z - 4*d, -29 = 3*z - 5*d. Let q = 68 + -68. Which is greater: z or q?
q
Let g be (-4)/12*1*(-4 + 1). Which is bigger: 1/32 or g?
g
Let l = -583 + 7639/13. Let b be 2445/(-10)*8/(-390). Let y = b - l. Are 1 and y equal?
False
Let o be (0 + 9/6)*(-534)/(-21). Is 39 smaller than o?
False
Let n be 10/50 + (-38)/(-10). Let d(q) = 5*q**2 - n*q**2 - 8*q + 3*q + 5 - q. Let z be d(4). Is -0.07 less than or equal to z?
False
Let i(w) = 7*w - 16. Let l be i(-4). Is 1/5 greater than or equal to l?
True
Let k be -1 - (1 - 2 - 0). Let y(a) = 4*a**3 - a**2 - 2*a + 2. Let x be y(-2). Let m be (-8)/x*-3*1. Which is smaller: m or k?
m
Let t = 15 - 34. Suppose -49 + 145 = -3*n + 39. Is t != n?
False
Suppose p + 2 = 5*x, 4*p = 106*x - 102*x - 8. Is 2/1377 less than x?
False
Let v = -1177 + 5881/5. Are v and -3 non-equal?
True
Let g = -10 + -9. Let h = -9 - g. Let t = 9.8 - h. Is t at most as big as 3?
True
Let h be 16/(-15) + 2/(-6). Suppose -3*l + l - 132 = 0. Let c = -67 - l. Is h != c?
True
Let s = -23 + 25. Let l = -24 - s. Which is smaller: l or -27?
-27
Let k(v) = 3 - 2 - 5*v**2 + 3*v**2. Let i be k(1). Suppose -12 = -2*b + 4*a, 59*b = 63*b - 4*a - 4. Which is smaller: i or b?
b
Suppose -4*w + 24 = -4*k, -17*k = -5*w - 19*k - 5. Which is smaller: -2/289 or w?
-2/289
Suppose -3*m + 293 = 4*d, 78*d = 81*d + 4*m - 211. Which is bigger: 72 or d?
d
Let i = -28 + 23. Let f(x) = x**2 + 7*x + 10. Let o be f(i). Which is smaller: -1 or o?
-1
Let k = -15 + 13. Let y(m) = m. Let j be y(-1). Let l be 3/(j + k + 6). Is 1 not equal to l?
False
Let x be (-20)/75*((-102)/(-120) + -1). Let d = 2 - 3. Which is bigger: d or x?
x
Let g(i) = 7*i + 3. Suppose 15*a + 2 = 16*a. Let t be g(a). Let o = -7 + 25. Which is bigger: o or t?
o
Suppose -11*p + 19*p - 8 = 0. Let z be 0 - 0 - (-60 - -1). Let w = 296/5 - z. Which is bigger: w or p?
p
Let v = 92 - 53. Let r = 39 - v. Is r smaller than -7?
False
Suppose 4*q - 3*k + 4 = 9, -6 = -4*q + 2*k. Suppose -q*i = -3*i + 2. Suppose -i = -v + 12. Which is smaller: v or 15?
v
Suppose 0 = l + 2*m - 7, -3*m + 6 = -0*l + 3*l. Let n = l + 1. Let t be (n/2)/(4/8). Do t and 3/5 have the same value?
False
Let v = -1395 + 6934/5. Which is smaller: v or -9?
-9
Let u = -11973/2135 + 198/35. Suppose 91*s = 21*s + 70. Is u > s?
False
Let u = 34176/5 + -6809. Is 27 at most as big as u?
False
Let l = 43002224/16751 + -17970/7. Do 0 and l have the same value?
False
Let w = 1.3 - 0.3. Let f be (-1 + (-4)/(-3))/(7752/8208). Is f bigger than w?
False
Let w = -54 - -84. Which is bigger: w or 0.3?
w
Let q(w) be the second derivative of w**5/20 + w**4/4 - w**3/6 - w**2 - 8*w. Let x be q(-3). Let c be (-116)/480 - x/(-5). Does c = -1?
False
Let d = -917 + 916.9. Is d >= -1/252?
False
Let d = -283 + 8771/31. Let a = d - -41/155. Let x be 0*(-2 + 0)/4. Which is greater: a or x?
a
Let o(x) = x**2 + 1. Let l be o(1). Suppose l*h - 4*h + 4 = 0. Suppose h = 5*c - 5*t - 8, -19 = -2*c - t. Is 6 smaller than c?
True
Let q = -11 - -9.7. Let c = 8.102 + 0.198. Let x = c + q. Which is greater: 0 or x?
x
Let s be 55 - ((-18)/(-63))/(2/28). Let z = 96 - s. Does z = 46?
False
Let j(p) = 238*p - 2114. Let a be j(9). Let r = 94 + -66. Is a less than or equal to r?
True
Let t = 3591 - 111345/31. Is t at most as big as 0?
True
Let c = -0.044 - -24.044. Let p = 28.1 + -28.2. Which is greater: p or c?
c
Let a be (-5 + -1)*(-7325)/450. Which is bigger: 99 or a?
99
Let x = -3 + 2.99. Let p = -13536/7 + 1925. Let t = -9 - p. Which is smaller: x or t?
t
Let n be (-2*3/(-4))/(81/(-36)). Let r(b) = b**3 - 4*b**2 + b - 5. Let g be r(4). Which is bigger: g or n?
n
Let n be 4/(-6)*(-1 - -4). Let t be 2/(-30) - (14 - 871/65). Is n bigger than t?
False
Let i = 4 + 1. Suppose -2*c - p = 11 - 4, i = -4*c + p. Let t = 8 - 13. Is c >= t?
True
Let y = -8 + 6.64. Let q = 39.64 - y. Is q equal to 0?
False
Let g be 23/(-13) - (-8 - -6). Let m(q) = -q**2 + 8*q - 12. Let h be m(5). Suppose -3*n = -h*u - 3, -n + 1 = -5*u + u. Which is greater: g or u?
g
Suppose 2 = -2*x, -2*p - 29 - 10 = x. Let s = 10 + p. Let c = -15 - s. Which is smaller: c or -8?
-8
Suppose 0 = 4*f + 3*w + 1 - 2, -3*f - 4*w - 8 = 0. Let i be 12/f + 3 - (-6)/(-2). Does 22/9 = i?
False
Let q = -7027 + 6954.81. Let h = 69.1 + q. Let a = h - -0.09. Is -3 <= a?
True
Let x be (-26 - -22)*(-2)/(-1182). Is 0 at most x?
False
Suppose -85 = -3*s + 32. Suppose -3*u - 3 = s. Is u at least -15?
True
Let z = -26.61 + 29.61. Let c = 0.08 + 5.92. Which is smaller: c or z?
z
Let l = 557 + -555. Which is smaller: l or -10?
-10
Let m(p) = -5*p**2 + 2*p - 8. Let t(s) = 9*s**2 - 4*s + 15. Let o(b) = -11*m(b) - 6*t(b). Let f be o(1). Suppose 5*u - g + f = -9, 5*g - 29 = 4*u. Is 1/9 != u?
True
Let n be (9 - (-102)/(-12))/(2/12*-1). Suppose 2*h = 3*m + 8 - 2, -2*h = -4*m - 10. Are m and n non-equal?
True
Let w = -851 + 964. Which is smaller: 116 or w?
w
Let r(b) = -b**2 + 7*b - 2. Let h be r(4). Suppose 25 - h = o. Which is greater: o or 13?
o
Let p = -442 + 441.9. Let s be ((-2)/15)/(7/3). Which is greater: p or s?
s
Let m = 16/57 + -2645/10032. Are -1 and m nonequal?
True
Let o = 1.041 + -0.041. Is -16 at most o?
True
Suppose -1 = -i + 2*g, -3 + 16 = 3*i + 4*g. Suppose -5*s + 21 = 4*o, 4*o = 6*o + 5*s - 13. Suppose i*m = 16 - o. Which is smaller: 2 or m?
2
Let g(f) = -f**3 - 3*f**2 - f - 7. Let i = -12 - -9. Let q be g(i). Let r be -4 + q/(-8)*9. Which is greater: r or -2/7?
r
Let z be 1 + -1 - 0/5. Let q be -1*((-2 - z) + 0). Suppose -5*b - 15 = 2*m, -21 = -2*b - q*b + 5*m. Which is smaller: b or -4?
-4
Let y = -118 - -174. Let m = -28 + y. Let q = -85/3 + m. Which is smaller: 1/5 or q?
q
Let y = -74 + 73.8. Is -0.167 < y?
False
Let y = 0.1419 - -0.0511. Which is greater: -2/7 or y?
y
Let p = -752 + 737. Which is greater: p or -1/2?
-1/2
Let o = -2 - -3. Let k be 10/75 + (-102)/2790. Which is smaller: o or k?
k
Let b be (16/(-12) - 2)*(-3 + -6). Is b at least as big as 31?
False
Let o(h) = -h**2 - 22*h + 3. Let n be o(-22). Which is smaller: 5/6 or n?
5/6
Suppose 0 = -3*i - 14 + 17. Do 0.53 and i have the same value?
False
Suppose 0 = 4*p + 15 + 5. Let k be 27/p - (4 - 8). Which is bigger: -1 or k?
-1
Let o(n) = -n**2 + 2*n + 1. Let i be o(-1). Suppose w + 3 = 4*w. Let v be (w + -4)*3*(-16)/(-36). Which is bigger: v or i?
i
Let o = 219 - 150. Which is smaller: o or 67?
67
Suppose -21*q + 198 = -12*q. Which is smaller: 12 or q?
12
Let j = 0 - -1. Let y = 28 + -25. Let m be j*2*y/(-12). Do m and -2 have different values?
True
Suppose -5*v - 49 = -4*f, -5*v - 18 = -3*f + 35. Let a = v - -14. Which is greater: a or 3/25?
a
Let y be 9 + -6*6/9. Let n = 48/59 + 1047/236. Which is smaller: y or n?
y
Let p(q) = -q**2 - 2*q + 3. Let w be p(1). Which is smaller: 1/16 or w?
w
Suppose -10*d + 5*d = 5. Let m = 1925/53131 - 3/871. Is d < m?
True
Suppose 0 = -3*k + 15, -7*m + 9*m + 4*k = 10. Is -5 equal to m?
True
Let l = 4 + -118. Let x = 11209/20 - 2801/5. Is x != l?
True
Let b be ((-338)/(-39) + -12)/(86/9). Do b and 1 have different values?
True
Let h = 66 + -45. Let m = -78 - h. Let c be 18/m - 114/(-22). Which is smaller: c or 2/5?
2/5
Let y(h) = -h**2 - 10*h - 22. Let a(v) = v. Let q(z) = 3*a(z) - y(z). Let n be q(-11). Is n equal to 3/7?
False
Let s = 734/2651 - 1/241. Is s <= -6?
False
Let s = 41 + -29. Let m be (s/2 + -5)*(-1)/(-1). Which is smaller: m or 7/6?
m
Suppose 9*m - 265 = 1508. Is 197 > m?
False
Let w be -3*(-2)/18*0. Let l = -1 - -4. Suppose l + 3 = -n. Are w and n nonequal?
True
Let l be (16/10)/((-36)/270). Let f(d) = -d - 10. Let h be f(l). Suppose 0*k + h*x = 2*k - 4, k - 2*x - 1 = 0. Is k bigger than 1?
True
Suppose 3*k - p + 9 = 0, 4*p + 4 = -k + 1. Let t(a) = a**2 - a - 1. Let c be t(3). Suppose c*w - 2*w + 9 = 0. Is k bigger than w?
False
Let b(p) = p - 2. Let v be b(-8). Let x be (-250)/(-24) - 1/4. Let c = v + x. Is -2 less than c?
True
Let u = -32 - -31. Let n be (u + 0)/((-12)/84). Suppose -3*z - 18 = -6*z. Is n > z?
True
Suppose -5*f + 0*f - 60 = 0. Let d be 0*2/(f/3). Suppose 0 = 4*u - d*u. Is u equal to -2?
False
Let u