n?
n
Let h(x) = -2*x**2 - 10*x - 2. Let q be h(-3). Suppose -11*g - 23 = q. Which is bigger: g or -1?
-1
Let n = -17082 - -21813713/1277. Is 1 at least n?
True
Let h = 33.2 + 1.8. Let g = 32.9 - h. Let a = -2 - g. Which is smaller: -17 or a?
-17
Let h = 27.93362 + 0.06638. Do h and 57 have different values?
True
Let u(f) be the third derivative of 4*f**2 - 1/24*f**4 + 0 + 0*f - 1/2*f**3. Let n be u(-2). Which is smaller: 4 or n?
n
Let x = -2209 + 2493.9. Let h = x - 285. Suppose 3*j - 18 = -3*v, 0*j + 4 = j + 2*v. Which is smaller: h or j?
h
Let f(h) = 4*h - 12. Suppose 4*x - 34 = -5*y, -3*x + 31 = 4*y - 3*y. Let s(u) = u**3 - 11*u**2 - 3*u + 27. Let l be s(x). Let b be f(l). Is b < -35?
True
Let g = 3.23 + -195.23. Let a = -191.8 - g. Do -2/17 and a have different values?
True
Let v = 25601 + -25562. Is 61 <= v?
False
Let f = 2017 + -2022. Let v = 1108/7 + -1139/7. Which is smaller: v or f?
f
Suppose 9 = -2*t + m, -4*t - m - 57 = -24. Is t < -211/32?
True
Let m = 237 - 236.96. Let o = 0.1 + -0.16. Let c = m - o. Which is greater: c or -23?
c
Let v = -117.8 - -669.8. Let n = v + -550. Which is smaller: -124 or n?
-124
Let i = 244.053 - 243.853. Let w = 0.01 + -6.81. Is w bigger than i?
False
Let w be 1 + (-2)/8 - (-310)/56. Let g = w - 646/105. Which is smaller: 1.3 or g?
g
Suppose 11*g + 150 = 5*g. Let q be (3 + 79/g)/((-4)/(-2)). Do q and -1 have the same value?
False
Let h be 20/(-120) - (258/(-21528) - 2/13). Is 1 greater than h?
True
Let m be (-1 + 2/4)/(11/((-1188)/6)). Which is smaller: -4.58 or m?
-4.58
Let b = 14887 + -14886. Let c = 11.7 + -4.4. Is c != b?
True
Let y be ((-5000)/28)/((-4)/7). Is 313 bigger than y?
True
Let r be 2 + (-13 - (14 - 52)). Is r bigger than -93?
True
Let m = 739/30 - 23761/120. Let i = m - -173. Let r be 5*8/100*1. Which is bigger: r or i?
r
Suppose -564*s = -566*s + x + 195, -2*s + 5*x = -207. Which is smaller: 134 or s?
s
Let b = 3280 + -3283. Which is smaller: b or 1966?
b
Let u be (-14)/60*(-11577)/(-454). Which is smaller: -6 or u?
-6
Let w be ((-2)/(-3))/((-34)/(-153)). Suppose w*i - 251 = 124. Let o be ((840/i)/6)/(2/10). Is o greater than 7?
False
Suppose 2*o + 5*l = 53, 4*l + 18 + 50 = 3*o. Let v = -3.7 - -3.8. Is v less than o?
True
Let q = 557 - 474. Suppose x + 4*a - 94 = 2*a, 5*x = 2*a + 410. Is q smaller than x?
True
Let f(u) = -u + 27. Let z be f(-3). Let y = 6 + z. Suppose -19 = -5*o - h + 18, 4*o = -4*h + y. Which is greater: 2 or o?
o
Let r(x) = x + 2. Let b be r(0). Suppose i = s - b, i = -4*i + 4*s - 6. Suppose 4*g = -z + 2 - 0, 5*z + i*g + 8 = 0. Is 8 bigger than z?
True
Suppose -3 + 2 = -i. Let u be (-120)/(-180)*(38/(-4) - i). Do -5 and u have the same value?
False
Let a(u) = -21*u + 843. Let d be a(39). Which is smaller: 88 or d?
d
Let c(k) = -k**3 - 4*k**2 - k + 1. Let j be c(-4). Suppose -5*b - 7*b = -j*b. Suppose 20 = 5*i - 5*x, -2*x + b = 10. Which is smaller: i or -1/38?
i
Suppose -4*v + p = 148, -2*v + 2*p + 122 = -5*v. Let t = 53 + v. Which is bigger: t or 17?
17
Suppose -6 = -3*j + 3*d + 9, -5 = -3*j + d. Suppose j = v - 7 + 42. Is -36 less than or equal to v?
True
Let s = -183 + 236.4. Let p = 17.4 - s. Is 5 less than p?
False
Let w(t) = 12 - 77*t + 9 + 80*t. Let o be w(3). Which is bigger: o or 33?
33
Let o = 110728 - 37315308/337. Are o and 1 equal?
False
Let h = 1557 + 2978. Is h equal to 4536?
False
Suppose -t - 1650 = -4*l, 5*l - 23*t = -25*t + 2069. Is l not equal to 404?
True
Let v = 18005.1 + -18005. Let d = 5091/185 - 547/20. Let x = -3/37 - d. Which is smaller: x or v?
x
Let q = 2934 - 2931.715. Does q = -0.1?
False
Suppose -5 - 195 = 8*x. Let t(f) = 2*f + 62. Let b be t(x). Is 118/9 bigger than b?
True
Suppose 7*z + 1243 = 18*z. Let p(n) = 3*n**2 - 6*n + 10. Let d be p(7). Is z > d?
False
Let h = 3162 - 3125. Is h >= -158?
True
Let t = -610 - -614. Let f = 23221/91 - 1755/7. Is t bigger than f?
False
Let w(j) = -4*j - 4. Let k = -51 + 102. Let r be (-9)/(-21) - k/21. Let i be w(r). Which is greater: i or 2?
i
Let u = 1.7475 - 1.3475. Let l = 217.01 + -216. Is u > l?
False
Let y = -11.007 + 0.007. Let z = 10.8 - -0.2. Let s = z + -11.1. Which is bigger: y or s?
s
Let f(k) be the third derivative of -k**6/120 - k**5/10 - k**4/4 - k**3 - 3*k**2 + 14*k. Let s be f(-5). Does -2/61 = s?
False
Let t be (39 - -10)/((6/(-15))/((-10)/(-25))). Suppose -4*n + 4*k = 6*k + 222, -n - 56 = k. Is t at most as big as n?
False
Let y be 372/8 + 12/8. Suppose y = 6*f + 30. Suppose 2*a - 3*a - 17 = -5*b, 6 = 4*b + f*a. Which is greater: 17/9 or b?
b
Let h(r) = 445*r - 6227. Let c be h(14). Let v(u) = u**3 - 5*u**2 - 3*u + 7. Let d be v(5). Which is smaller: c or d?
d
Let p = -50.4 - -49. Let d = p + 0. Let y = 1.9 + d. Is -2 at most as big as y?
True
Let v = -3 - -3. Let s be ((-96)/(-216) + 89/(-180))/((-132)/(-45)). Is v < s?
False
Suppose -2*t - 13 = u, 4*u + 4*t = 3*t - 52. Let o be (0/(u - -6))/(-2). Suppose 5*x + 1 = -2*w + 54, 4*x + 12 = 0. Which is greater: o or w?
w
Let a(n) = -2*n + 29. Let d be a(15). Let m be (d/(-44))/((-2)/(-4)). Suppose 2*w + 2 = -0. Is w less than or equal to m?
True
Suppose -9*c = -4*c - 50. Let d be c/(5 - (7 - 3)). Let i be (5/d)/(11/8). Which is smaller: i or 0?
0
Let c be (18/24)/((-1)/(-12)). Suppose -4*v = -c*v - 30. Let b(j) = -j**3 + 10*j**2 + 25*j - 15. Let o be b(12). Is v <= o?
True
Let x(h) = h**3 + 6*h**2 + 11*h - 9. Let u be x(0). Is -80/9 >= u?
True
Let r = 0.247 + -0.207. Let d = -7 - -3. Which is greater: r or d?
r
Let v = -0.102 + 3.112. Let w = -2.876 + v. Is 2 at most w?
False
Let u = -8423/1362 - -4/227. Suppose 8035 - 7699 = -56*b. Which is smaller: u or b?
u
Let j be (-13)/39 + (-608)/(-6). Suppose 0 = -2*p - 33 + j. Let v = -35 + p. Is v at least 32?
False
Let l(g) = 955*g - 753. Let n be l(1). Which is bigger: n or 180?
n
Let l = -800 - -433. Let n = 372 + l. Let i = -9 - -16. Which is smaller: n or i?
n
Let p be (-3)/7 + 110/77. Let x be (-3)/9*-9 - -3. Let o be (-3)/x*(-2)/4. Is p greater than o?
True
Let h = -0.067 - 4.033. Let n = 23.557 + -23.457. Is h > n?
False
Let s = -0.02 - -3.32. Let b = -213 - -212.911. Let m = b - -0.089. Is s not equal to m?
True
Let s(v) = v**3 + 2*v**2 - v + 2. Let z be s(-3). Let o be (-4)/(-3)*((-118)/(-4) + z). Suppose -7*f - 153 = -o. Which is smaller: f or -15?
f
Let v = -66138 + 66114. Suppose -46 = -0*p + 2*p. Which is smaller: v or p?
v
Let g be (-128624)/462 - (-2)/7. Suppose 0 = -0*x - 14*x - 3892. Let a = g - x. Which is greater: a or 0?
0
Let h(a) = a**3 - a**2 + 8*a - 18. Let d be h(3). Suppose 4*m + 5*f = 9*f - d, -2*m = 4*f - 18. Is m at most as big as 2/11?
True
Let l be (-6)/10 + (-1526)/(-35). Let d be l*1 - (3 + -3). Suppose -n + d = 17. Which is bigger: n or 25?
n
Suppose -5*y - 46 = -3*x - 9*y, -5*x + 65 = -5*y. Let m be ((-28)/(-1274))/(2/x). Which is smaller: 35 or m?
m
Let q = -13/256 - 51/256. Let u be (-5)/(-135)*(3 + 0). Are u and q equal?
False
Suppose -194*u = -126209 + 347369. Is -1138 bigger than u?
True
Let y = 7094 + -71874. Let k = y - -712075/11. Let t = -46 - k. Which is bigger: -1 or t?
t
Let x be (-12)/38*(-58055)/510. Which is smaller: 36 or x?
x
Let j be (8 + 6)/2 - 3117. Which is bigger: j or -3112?
j
Let u(i) = i**3 - i**2 - 13*i + 3. Let b = 15 - 10. Let n be u(b). Is 37 less than or equal to n?
True
Let u(s) be the third derivative of s**5/60 + 5*s**4/24 - 25*s**2. Let y be u(-6). Let v be y - 1/((-1)/(-5)). Which is greater: 3/7 or v?
v
Suppose 9*y - 3*i + 1015 = 7*y, -y = 5*i + 475. Let d be 2/(-30)*(-4 - 2024/y). Is 1 != d?
True
Let d(h) = -358*h + 2102. Let q be d(5). Is q bigger than 312?
False
Let k be 3/(2 + (-19)/2). Let m = -1779 - -1778.287. Let s = 0.713 + m. Which is greater: s or k?
s
Let p = 0.0119 - -489.9881. Let a = p + -490. Is -1/36 less than a?
True
Let v be (-175)/(-75)*(-1 + 4). Let x(f) = -f - 24. Let h be x(-16). Let s(l) = -2*l - 9. Let a be s(h). Is v at most as big as a?
True
Let a(l) = 18*l**2 - 89. Let t be a(-8). Is 1065 at most t?
False
Let a = -122805/8932 + 399/29. Which is smaller: a or 0?
0
Let c be 482343/2780352 - (-20)/(-90). Let t = c + 3/1609. Do t and 1/2 have the same value?
False
Let i = -84 + 86. Suppose -3*r - 27 = -4*j + j, r + 15 = i*j. Let v be 0*(6/4)/(j/2). Which is bigger: v or 3/7?
3/7
Let f = 0.