t c = -1.657 + -13.343. Which is greater: -3/4 or c?
-3/4
Let l be ((-76)/16 + 4)*-120. Let s = 102 - l. Which is greater: s or 8?
s
Let j be (63/7)/36 - 1. Let g(v) be the third derivative of -v**5/60 - v**3/6 - v**2. Let w be g(-1). Which is smaller: w or j?
w
Let l = 142 - 224. Is -81 equal to l?
False
Suppose 3 = -s + 2. Let j(u) = 42*u**2 - 1. Let r be j(s). Suppose 3*b - 4*x + 36 = 0, 0 = -4*b + 2*x - 7 - r. Which is bigger: 0 or b?
0
Let n = 0.169 - 0.259. Suppose 3*j - 9 = 4*o, 3*o + 2*j - 4*j = -6. Which is smaller: o or n?
n
Let y = 1.886 - 6.886. Which is greater: -291 or y?
y
Let p be 5 - 1 - 100/32. Let v = p + -99/104. Is v at most as big as 0?
True
Let g(b) = 90*b - 257. Let j be g(3). Let c(v) = v**2 - 4*v + 7. Suppose -10 = -3*t + d, 2*t + 6*d = 3*d + 25. Let q be c(t). Which is smaller: j or q?
q
Suppose -4*q + 0*w + w + 17 = 0, 4*q = -2*w + 26. Let a be (-2)/((-372)/(-465) + 22/(-15)). Is q > a?
True
Suppose -s + 8 + 5 = -4*c, -4*s - 3*c - 5 = 0. Let v be -10 + 22 - (0 + s). Which is smaller: 12 or v?
v
Suppose -2 = 2*x - 8. Suppose 36 = k - g, -x*k - g + 84 + 24 = 0. Let j be 98/444 + (-6)/k. Which is smaller: 1 or j?
j
Let n = -423 + 7189/17. Suppose -6*h = -2*h. Which is bigger: n or h?
h
Let k be 7*(-11)/(-66)*(-12)/(-14). Which is smaller: k or 19?
k
Let j = 1391 - 1346. Is j smaller than 47?
True
Let a be (-903)/(-210) + 1*-4. Which is smaller: 2 or a?
a
Let n = -0.237 - -0.037. Let m = -1.12 - -1.3. Is m != n?
True
Let v = 54 + -50. Suppose 6*j - l - 2 = 4*j, -v*l - 8 = -5*j. Are 7 and j equal?
False
Let i = -5.153 - -4.8. Let x = -0.063 - i. Let a = 0.09 - x. Which is smaller: -0.1 or a?
a
Let q be (1 - (-4 + 4))*1. Let z be 0 + (q - 0) + -2. Let v(p) = -p**2. Let w be v(z). Which is greater: 2 or w?
2
Suppose 105 = 2*q + 5*q. Is 14 greater than q?
False
Suppose -3*j - 33 = q + 3*q, 0 = 5*q - 2*j + 47. Let y be 48/100*(-10)/q. Let t = y - 164/195. Is 0 at most as big as t?
False
Suppose 3*r - 4*r = -4*y - 81, r = 1. Let c(f) = 2*f**2 + 40*f. Let l be c(y). Are -0.036 and l non-equal?
True
Let y(d) = -2*d + 2. Let t be y(4). Let j be t/(-2)*(-2)/(-3). Let z be 0*((-3)/j - -2). Which is greater: -3/5 or z?
z
Suppose -124 = -5*w - 114. Suppose 3*d + 11 = w. Which is bigger: -4 or d?
d
Let p = -268 + 267.9. Which is bigger: p or -0.194?
p
Let w = 1042/13 - 107456/1339. Which is greater: w or 1?
1
Let r = -9338269/145605 - -9/9707. Let m = -3176/45 - r. Is -6 >= m?
True
Suppose b = -5*h - 813, -3*h + 11*b = 7*b + 474. Is -162 bigger than h?
False
Suppose -3*q = 2 + 46. Let r be (-9)/4*q/(-4). Let d = 8 + r. Which is smaller: d or -4/5?
d
Let b = 1 + -1. Let q = 16973 - 16955. Which is smaller: q or b?
b
Let l be (-8)/(-10)*(-10)/(-4). Suppose k - 13 = -2*i - l*i, -3*i = -4*k - 5. Let y be (0 - 2)*1/(-9). Is y not equal to k?
True
Let h(a) = 6*a + 17. Let l be h(-7). Let c = l + 11. Let q = 31 + -44. Which is smaller: c or q?
c
Let m(c) = 2*c**3 - 19*c**2 + 10*c - 5. Let g be m(9). Suppose 4 = -0*y - 2*y. Is g > y?
True
Let s(o) be the second derivative of -o**3/3 + 7*o**2 - 24*o. Suppose -2*u + r - 23 = -6*u, 3*u = -5*r - 4. Let z be s(u). Which is smaller: z or -6/11?
-6/11
Let y = 11.3 + -11.91. Let m = y + 0.65. Which is bigger: m or 0.2?
0.2
Suppose -8*i = 2*w - 5*i - 59, -i - 156 = -5*w. Let h(z) = 3*z - 97. Let p be h(w). Which is smaller: p or -28/11?
p
Let x = -5 - -9. Suppose 0 = -5*a + 3*b + b - 44, -3*b = -x*a - 35. Is a smaller than -1?
True
Let k be (-60)/16*(-1)/5. Let x be -10*(-5)/20*2. Which is bigger: x or k?
x
Let a = -15 + 2. Let b be (-1714)/990 - (a + 11). Let d = b - 8/45. Is d >= 1?
False
Let o be (9/6 - 0)*-2. Let g = 2 + o. Let s be 5*8/20*(-4)/24. Which is smaller: s or g?
g
Let q = 17593 + -721183/41. Let y = -392/123 + q. Which is greater: y or 0?
0
Let z(g) = -2*g. Suppose 0 = 2*f - 3*f + 3. Let y be z(f). Suppose 13 = -0*h - 3*h + 2*k, -5*h + 4*k - 21 = 0. Is h not equal to y?
True
Let x be (6*(-6)/60)/(-31). Which is smaller: x or 0?
0
Let j = -370 + 347. Which is smaller: -118/5 or j?
-118/5
Suppose 67 = 7*o - 4*o - z, o - 4*z - 15 = 0. Let g = o + -22. Which is bigger: g or -5/4?
g
Let m be 4/78*-3 + 5579/34489. Is 1 less than or equal to m?
False
Let t = 655/4 - 163. Let v be 0*(5/(-2) - -3). Suppose 0 = j - v + 1. Which is smaller: j or t?
j
Let q be 22/110 + (-1)/5. Suppose l + 3*s = -39, q*s = -3*l - 2*s - 138. Which is bigger: -47 or l?
-47
Suppose -576 = 59*t - 55*t. Which is smaller: t or -714/5?
t
Let i = -3 + 2.2. Let y = -1.1 - i. Is y != 0.06?
True
Suppose 0 = 4*k + 20 + 44. Let f = 0 - k. Let o be 5/2*f/20. Is o at least as big as 2?
True
Let z(m) = 4*m + 36. Let o be z(-25). Is -65 bigger than o?
False
Let c be 9 + 0 - (-3 + 2). Let m = 8 + -5. Let h = m - c. Is -2 bigger than h?
True
Suppose 2*d = 3*d. Let o be ((-196)/(-210))/(-1*1/3). Let l = o - -88/35. Are d and l non-equal?
True
Let x(c) = 16*c + 28. Let p be x(-3). Are p and -132/7 unequal?
True
Let c = 5198/5 + -1018. Is 23 >= c?
True
Let j(i) = i**2 + 5*i - 7. Let h be j(-7). Let z = -3 + h. Let f(q) = -3*q + 41. Let s be f(13). Which is greater: s or z?
z
Let y = 120.8 - 121. Let p = 11.2 + -12. Let u = p + 0.6. Are u and y unequal?
False
Let a(d) = 2*d**2 + d + 8. Let b be a(0). Let o be -1*((-1)/(-10))/(b/170). Which is smaller: -1 or o?
o
Let p(j) = j**2 - 3*j - 2. Let f be p(-4). Let c = 2936 - 2911. Which is smaller: c or f?
c
Let m = -5777869/381 - -15165. Which is bigger: m or 0?
0
Let v be ((-7)/2)/(5/(-10)). Let c be ((-319)/(-87))/(1/2). Is v at least as big as c?
False
Let f be 2/4 - (376/(-16) + 8). Let a = f + 14. Which is smaller: 29 or a?
29
Let r = -22 - -36. Let c = r + -23. Let m = -17 + 8. Is m at least as big as c?
True
Let h = -170 - -4268/25. Do h and 0.2 have the same value?
False
Let g = -816 + 428. Let y = 369.9 + g. Let j = -18 - y. Do -6 and j have the same value?
False
Let o = -7 + 6. Which is bigger: o or -5/13?
-5/13
Let a(o) = 3*o**2 - 20*o + 49. Let k be a(3). Which is greater: 22 or k?
22
Let q be (-40)/(-96) - ((-1)/3 + 1). Which is greater: q or 63?
63
Let l(y) = -y**2 - 14*y + 37. Let z be l(-13). Is 53 less than z?
False
Let t = 87/205 + -1/41. Which is smaller: t or 0.2?
0.2
Let d = -145.6 + 151.61. Let v = 2 - d. Let w = 0.01 + v. Is -1/3 at most w?
False
Let p be -37 + 30 - (-552)/74. Which is bigger: p or 1?
1
Suppose -314*p = -309*p + 3*f - 1194, 2*f + 1204 = 5*p. Is 240 > p?
False
Let d = -160441/9 - -17783. Which is greater: -44 or d?
d
Let w = 2 + -2.1. Let y = -0.2 - w. Let f = -421 - -423. Is y < f?
True
Let j(r) = r**3 + 23*r**2 - 26*r - 49. Let i be ((-240)/25)/(-4)*-10. Let n be j(i). Is -11/5 bigger than n?
False
Let f be 38/56 + (-2)/8. Let b be -4 + (8 - -3*12/(-9)). Suppose b*q - x = -2*q - 6, -4*q - x = 0. Is q > f?
False
Suppose -5*z + 9 - 34 = -5*f, -2*z = -4*f + 10. Let x be ((-96)/(-36))/(-2 - 86/(-42)). Let o = 54 - x. Which is smaller: o or z?
z
Let b be (-3)/6*(0 + (2 - 2)). Let h be 228/(-84) + (b - -3). Are h and -12 non-equal?
True
Let s = -1.9 + -0.1. Let z = 1.88 + s. Let q = z - -0.72. Which is greater: -1 or q?
q
Let l(y) = -13*y + 143. Let g be l(11). Let t be 0 + (17 - (0 - -1)). Let h be (30/t + -2)/1. Is h smaller than g?
True
Let z(l) = -3*l - 18. Let r be z(-11). Let m be ((-90)/r)/(6/(-4)). Suppose n - 9 = -4*b + 6*b, -m*n - 4*b = 24. Which is bigger: n or -5/4?
n
Suppose 10*u = 9*u + 4. Suppose u*q - 3 = q. Which is smaller: -1/45 or q?
-1/45
Let i = 408 + -143. Is i less than 1?
False
Let m be 9/(-18)*-8 - 34/8. Which is smaller: 2/95 or m?
m
Let q = -0.1 + -0.1. Let w = 0.1 + q. Let f = 211868/9 + -23541. Is w at most f?
False
Let u = -0.86 - -2.86. Which is greater: -0.06 or u?
u
Let a be ((-14)/(-2) - 10) + (-11)/(-2). Which is greater: -0.1 or a?
a
Let o(a) = a**2 - 4*a + 1. Let t be o(4). Let f be (0 - 0) + 21 + t. Are f and 21 unequal?
True
Suppose -29*n - 195 = -16*n. Is -15 <= n?
True
Let s = -25.8 - -25.683. Let b = s + 0.377. Is 0.1 < b?
True
Suppose 0 = 18*h + 1330 + 2234. Which is greater: h or -200?
h
Suppose 3 = -a - 5*n, 3*a - 2*a - 7 = 5*n. Let z(c) = 3*c - 4*c + 0*c + a. Let t be z(10). Which is bigger: t or -9?
t
Let a(u) = -u**3 - 6*u**2 + 7*u + 2. Let v be a(-7). Let c be 1/v + 7/2. Suppose -j + 4 = s, 4*j = c*s - 