 t?
11
Let y be (-270)/324 + (-827)/(-6). Which is greater: y or 126?
y
Let c = -115 - 21. Let o = 137 + c. Which is bigger: -8/23 or o?
o
Let k be 4/3*228/8. Suppose -3*i - 17 = -k. Let c(n) = n**2 - 6*n + 21. Let r be c(i). Do 27 and r have different values?
True
Let x be 80/84 + (-4)/6 + (-9984938)/(-3829). Is x greater than or equal to 2614?
False
Let g be 33772/(-56) + 3/(-7). Let j = g - -604. Which is bigger: j or -298?
j
Let d = -580 - -265. Is 1 < d?
False
Let k = 562 - 557. Suppose -4 = -k*c + 9*c. Which is smaller: -18/59 or c?
c
Let a(h) = -10*h**2 + 169*h - 2024. Let o be a(11). Are o and -1374 equal?
False
Let m(s) = s**3 + 6*s**2 - s - 20. Let z be m(-6). Let v = -23 + -1. Let h = -38 - v. Are z and h equal?
True
Let w = -4/609 + 1279/22533. Is w less than -1?
False
Let b = -7952 - -8023. Which is smaller: 102 or b?
b
Let k = 5 + 109. Let p = k + -115.82. Let j = p - -1.8. Is j at most 1/3?
True
Let q be (-2512)/61544 + 2936/(-98). Let x = -47 + 17. Is x less than or equal to q?
True
Suppose 925 = -4*i + 229. Let b(j) = -709*j + 51582. Let a be b(73). Do a and i have the same value?
False
Let h be (-16)/(-126) - (-40)/90. Let u = -23 + 34. Let k = 7 - u. Which is bigger: h or k?
h
Let y be 138/(-9)*(-3)/(-2). Let q(s) = -s**2 + 43*s + 235. Let u be q(48). Which is bigger: u or y?
u
Let w be -1 + (0 - -4) - 1/((-13)/(-39)). Is w greater than -10/479?
True
Let u = -0.333 - -11.333. Let t = 6 - u. Is -18 not equal to t?
True
Let o(w) = -2*w**2 + 101*w - 262. Let i be o(42). Which is greater: 456 or i?
456
Let b be (-3)/(-6) - 8/10. Let u be ((-4)/6)/(24/(-108)) - -1. Suppose -u*g - 5*f = g, 0 = 3*f + 3. Which is bigger: b or g?
g
Let c(k) = k**2 - 39*k + 309. Let o be c(28). Let s = -8034 - -11785880/1467. Which is smaller: s or o?
s
Let t be (-3 - 1) + 18/2. Let a(d) = d**3 - 7*d**2 + 4*d + 28. Let i be a(t). Are -8 and i nonequal?
True
Let z be (-21)/(-2)*252/54. Suppose -45*u - 4 = -z. Is u less than or equal to 1/198?
False
Let c = 25 + -27.72. Let q = 207.72 + c. Let h = 314 - q. Which is smaller: h or -0.1?
-0.1
Let o(b) be the first derivative of -b**3/3 - 4*b**2 - 7*b - 2. Let p be o(-7). Let k = -127807 - -1150252/9. Which is smaller: k or p?
k
Let c = -15/326 - 36733/2282. Are -16 and c unequal?
True
Let y(v) = -v**3 - 17*v**2 + 158*v + 78. Let u be y(-26). Is u > 2050?
True
Suppose -24*m + 225 = -3543. Let q = -158 + m. Which is smaller: q or 8/91?
q
Let k be (18/(-282))/(-1 + -1). Suppose 50*i = 3*i + 34 + 13. Is i less than k?
False
Let z = 4 + -3. Let k(d) = 16*d + 26. Let s(r) = -8*r - 14. Let i(f) = -2*k(f) - 5*s(f). Let l be i(-2). Which is smaller: z or l?
z
Let s = -47.1 + -99.2. Let u = s - -155. Let o = u - 13.7. Which is smaller: 3 or o?
o
Let v(g) = -g**3 - 13*g**2 - 7*g - 23. Let f be v(-13). Let d = -66 + f. Suppose 2*y - 48 = -d*y. Is y <= 12?
True
Suppose 10*i + 23*i + 29*i = 0. Let c be ((-6)/5)/((-30)/100). Suppose -z = 2, -5*z - c = o - 2*z. Do i and o have different values?
True
Let f = -12097/198 + 19785/22. Is 837 bigger than f?
False
Let f = 2466 - 2472. Do -32 and f have the same value?
False
Let j be (-72)/192 - (-1)/(-8)*61. Suppose -10 - 10 = -5*a. Suppose -5 = -a*k + 5*k. Is k bigger than j?
True
Let u = -4133 + 8093. Let i be 503/u + 4*(-9)/288. Is i greater than -1?
True
Suppose 7*u = 128028 + 42534. Is u <= 24365?
False
Let p be (-15)/15*(2*-1 + -239). Let o = p - 252. Is -13 equal to o?
False
Let t = 1432 - 1431. Is -5/533 > t?
False
Suppose -25*g = 31 + 108 + 286. Let x(c) = -c**2 - 6. Let o be x(-3). Let f be (-8)/10 + 108/o. Is f at most as big as g?
False
Let q(p) = -32*p - 3. Let r(a) = -16*a - 2. Let x(v) = 3*q(v) - 5*r(v). Let j be x(-3). Is 0.1 < j?
True
Suppose 48*w + 3302 - 224 = -3498. Which is greater: w or -126?
-126
Let q(c) be the second derivative of 0 - 13*c + 3/2*c**3 - 1/3*c**4 + 1/20*c**5 - 7/2*c**2. Let j be q(4). Which is greater: 27 or j?
j
Let v be 28437/(-27) - (7/(-21))/((-21)/(-14)). Is v at least as big as -3158/3?
False
Suppose -3*i + i - 4 = 0. Let p(w) = -w**2 - 4*w - 4. Let f be p(i). Suppose -4*h = -8, d + f = 3*h - 2. Which is smaller: d or 5/2?
5/2
Suppose 2*i + 10 = 0, -6*t = -t + 2*i. Let u be (-13)/(-7) + (-918)/(-63) + -14. Do t and u have the same value?
False
Suppose 2*u = 3*c - 10, -4*u + u = -3*c + 9. Let q(z) = 41*z**2 + 4*z - 4. Let o be q(c). Let n = -4684/7 + o. Is -2 <= n?
True
Let i = 4891 + -4839. Which is greater: 158/3 or i?
158/3
Let r = -30 - -35. Suppose 4*o = 4*k + 4, -3*k = 2*o - 27 + r. Suppose 3*v - 10 = -3*u + 14, 16 = v + o*u. Which is bigger: 0 or v?
v
Suppose -8*n = 81 - 17. Let t be -5*(302148/(-37770) - n). Which is bigger: t or 0?
0
Let w = 0.18 + -0.04. Let f = w - 7.14. Let r = -0.0154 + 3.0154. Is f less than r?
True
Let f = -23.768 + -0.032. Let j = f - -18.8. Which is greater: 20 or j?
20
Let r = 11270 - 8305992/737. Suppose -2*c - 14 = 2*d - 6*c, -4*c = -16. Is r > d?
False
Suppose -1792 = -1149*p + 1135*p. Which is bigger: p or 1017/8?
p
Suppose -28548*o + 28530*o - 41202 = 0. Which is greater: -3 or o?
-3
Let s be 2 - (0 + 120/59). Suppose -3*m + 13 = 2*z, -5*z = -m + 6*m - 20. Let c be (378/(-35) + 11)*m/2. Which is smaller: s or c?
s
Let r(j) = -2*j**3 - j**2 - 8*j - 8. Let g be r(4). Let q = 183 + g. Which is smaller: q or -8/15?
q
Let w = -6585.7 - -6585. Let f = 0.1 + 4.4. Let a = 0.5 - f. Which is smaller: a or w?
a
Let j = -99 + 125. Let z = j + -17. Let r = -8.7 + z. Which is smaller: r or 1?
r
Let f be ((-42)/(-32))/(30/40). Which is smaller: f or 0.1?
0.1
Let g = 7 + -6. Let v = -9539 - -505568/53. Which is smaller: v or g?
v
Let o = 8137 + -8140. Do -43/26 and o have different values?
True
Let s(m) = 757*m - 4879. Let a be s(6). Which is greater: -336 or a?
-336
Let g = -658064/43 + 1082477698/70735. Let f = g + 29/47. Is f less than or equal to -1?
False
Let a = 3844/231297 - 2/1793. Is 1 < a?
False
Suppose 71 = 6*z - 49. Suppose -n - z = -5*w, 0 = -n + 4*w + 3 - 22. Let s be (-10)/n + (5/6)/(-5). Are s and 1/6 unequal?
True
Let h = -0.1 - -0.196. Let x = -1.074 - h. Let w = 48.17 + x. Is -2/5 greater than w?
False
Let a = -2529 + 2528.45. Is 9 equal to a?
False
Suppose -27*i - 57*i + 79670 = 71*i. Are -2 and i equal?
False
Let f = -128 - -196. Let s = 63 - f. Let r = -286 + 1406/5. Which is greater: r or s?
r
Suppose 0 = 5*a - 4*j - 36, -a + 2*j - 12 = -6*a. Suppose -3*i + 25 = l, 5*i = 4*l + 4*i - 74. Let v be l*2/4 - 5. Is a less than v?
True
Let z be (3/2)/(2*(-3)/4). Let w = -4/257 - 1154/24929. Is w not equal to z?
True
Suppose -3*n + 5*u - 162 = -46, -5*n - 176 = -4*u. Suppose 4*p - 96 = 6*p. Let j be (-4)/p*3/1. Is j smaller than n?
False
Suppose -39*m + 11*m - 8*m = -120636. Which is smaller: m or 3352?
m
Let x = -146.98 - -154.961. Let p = -8 + x. Let k = -2.019 - p. Is -1 >= k?
True
Let f be (-790 + -2)/2 + 140/28. Is f less than or equal to -385?
True
Let j be (-77)/(-18) - (-20)/90. Suppose -15*y - 196 = -286. Is y < j?
False
Let g be -4 - (3 - 1515703/219996). Let p = g + 11/97. Which is greater: 0 or p?
p
Let q = -510 - -515. Let j be 39/15 + 9/(-15). Suppose j*x - 6 = -4. Which is greater: q or x?
q
Let a = 120 + 66. Let b = a + -198. Which is bigger: -4 or b?
-4
Let u be 22*(7/((-28)/(-6)) + -1). Let o be u + -12 - (-42)/62. Do o and 1 have different values?
True
Let j = 1.67546 - -0.32454. Let v = -5 + 5.2. Let l = 1.2 - v. Is j < l?
False
Let s(i) = i**2 + 6*i + 2. Let x be s(-6). Let t be -4 - ((-253)/22)/(5/x). Do t and 0.04 have the same value?
False
Suppose 0 = -3*s - 9, 0 = 5*g + 2*s - 7*s - 5. Suppose 0 = 3*t + 2*t - 30. Suppose -2*u = 0, 2 = -o + t*u - 3*u. Does o = g?
True
Let z(j) = -4*j + 40. Let o be z(-6). Let i be 8/(o/(-12)) - (-33)/2. Which is bigger: i or 2?
i
Let y(u) = 3*u**2 - 17*u - 7. Let d be y(6). Do d and 4/557 have different values?
True
Suppose -2*n + 3*j = 3 - 17, -3*n + 7 = -j. Suppose 0 = 4*l + 5*o - 40, 7*l - 4*o + n = 4*l. Let z = -1.07 - -0.07. Is z >= l?
False
Let f(l) = 2*l**2 - 6*l - 51. Let b be f(6). Let i(c) be the third derivative of -c**6/120 + c**5/60 + c**4/12 - c**3/3 - 3*c**2. Let z be i(3). Is b at most z?
True
Suppose 5*l - 2*f = 33, 0 = -3*l + 2*f - 3*f + 11. Suppose -19*g = 5*g + 3072. Let b = -129 - g. Is b at least as big as l?
Fals