 Which is bigger: o or d?
d
Let a(r) = r**3 - 6*r**2 + 2*r - 9. Let w be a(6). Let m be (-21)/w + 1 + 4. Let k be (1 + m)/5 + 2/10. Which is greater: k or -4/5?
k
Suppose 3*q + 3589 = 3*b - 431, 3*q - b = -4032. Is q at least -1346?
True
Let x(s) = s**2 - 7*s - 30. Let t be x(10). Suppose r + 3*m - 27 = -r, 2*r - 2*m - 42 = t. Suppose -6*c + 8*c = -r. Which is smaller: c or -7?
c
Suppose c + 1339 = p, -9*c + 13*c + p + 5391 = 0. Which is greater: 6 or c?
6
Let f(z) be the third derivative of -z**5/20 + z**4/4 + 5*z**3/3 + 9*z**2 + 3. Let p be f(-2). Let q = 12 - 25. Which is smaller: p or q?
p
Let j(o) = -o**2 + 9*o + 3. Let z be j(-7). Let y = z - -126. Let q = 24 - y. Which is greater: q or 1?
q
Let z(j) = -202*j + 12319. Let h be z(61). Which is bigger: h or -141/64?
-141/64
Suppose 18 = 12*x + 78. Let w be x/(-15) - (-294)/(-342). Is -1 greater than w?
False
Let z(i) = i - 1. Let k(r) = 5*r**2 + 17*r - 2. Let y(q) = -k(q) + 2*z(q). Let d be y(-3). Are -9 and d equal?
False
Let j be (3/6)/(25/350). Suppose -227*o + 234*o = -j. Which is smaller: o or 10/69?
o
Let r = 1229 - 986.2. Let l = r - 291. Let v = l - -48. Which is greater: 0 or v?
0
Suppose -5*j + 5*w = -15935, -2763 = 4*j - w - 15508. Do j and 3180 have different values?
True
Let j be 973 - 1*(-2 + 14). Which is smaller: j or 959?
959
Suppose -3*i = 4*w + 553, 19*w - 20*w + 5 = 0. Which is smaller: i or -182?
i
Let v be 14/(-4)*(612/(-14) - -2). Which is smaller: 121 or v?
121
Suppose 2*t = -3*f + 7*t - 397, -5*f = -t + 625. Let s = f - -141. Which is greater: s or 21?
21
Let q(x) = -15*x**2 - 5*x + 23. Let b be q(-8). Is -899 not equal to b?
True
Let h be 5 + (6/3 - (-2)/2). Suppose h = -3*w + u, -2*u = w - 3*u + 4. Which is smaller: -1 or w?
w
Suppose -35 - 43 = -6*t. Let m(u) = u - 7. Let q be m(t). Suppose -n + q*n + 5 = 0. Is -6 less than or equal to n?
True
Suppose -3*b = -5*b. Let z(t) = -t**3 + t**2 - 1. Let m be z(b). Let y be (-15)/(-145)*(-6)/63. Which is smaller: m or y?
m
Let p = -16072 + 16121. Is 632/13 at most as big as p?
True
Let p = 3551 + 15707. Is 19257 <= p?
True
Let z be ((-3)/3)/(23 + 7370/(-320)). Which is smaller: z or -50?
-50
Suppose -737*d = -567*d. Is d < -1/563?
False
Let c = 288.54 + -283. Let x = c - -3.16. Which is greater: 2/3 or x?
x
Suppose 0*h - 227 = -2*f - 5*h, 25 = -5*h. Suppose -4 = -4*s, 3*s = -2*i + s - f. Which is greater: i or -2?
-2
Let v = 7796/7 + -1114. Which is bigger: v or -4/71?
-4/71
Let j be 149/(-380) - 88/(-220). Let g(b) = -10*b - 200. Let a be g(-20). Which is smaller: j or a?
a
Let l(k) = -111*k + 462. Let s be l(5). Which is greater: -170 or s?
s
Let w = -2532 + 1840. Which is bigger: w or -5?
-5
Suppose -7*z + 79*z = -90*z + 420390. Is z < 2593?
False
Let k be (175/50)/(1/(-2)*1). Let f be 12/(-6) - 12/k - 0. Do 6.1 and f have the same value?
False
Let d = -10252 - -8714. Which is smaller: -1540 or d?
-1540
Let o(k) = k**2 - 2*k. Let b = 48 - 50. Let n be 12/(-42) - b/7. Let l be o(n). Which is smaller: l or -3/34?
-3/34
Let k = 6 + 148. Let z be 152/k + (-8 - -7). Which is bigger: 0 or z?
0
Suppose g - u = -469, 7*g = 5*g - 2*u - 918. Let d be (g/56 - -8) + 10/(-14). Let v = 40729/469 - 608/7. Do v and d have the same value?
False
Let q be (-97*(-8)/(-12))/(11/(55902/(-28))). Is 11735 greater than or equal to q?
False
Let f = 218427 + -218524.981. Let l = f - -98. Let p = 0.119 - l. Which is greater: -8 or p?
p
Let o(f) = 12*f - 11. Let c be o(-16). Let d = c + 195. Which is bigger: d or -3?
-3
Let o(y) = 4*y + 6. Let n be o(2). Let d be (n - 13)/(8/(-10) - -1). Suppose -40 = d*k + 80. Is -23 > k?
True
Let r be 6*(-9)/(-216) + -2 + (-40466)/(-23096). Which is bigger: r or 0.2?
0.2
Let h(y) = 4*y**2 + 5*y + 5. Let f be h(-1). Suppose -4*u + 7*u - 4*c = 22, -u - 14 = f*c. Which is bigger: 27 or u?
27
Let q = -3 - -4. Let r(a) = a**2 - 3*a - 88. Let c be r(11). Let l be 301/(-63) + (-2)/9 + c. Which is bigger: l or q?
q
Let p = -282690 - -1340233296/4741. Which is smaller: 0 or p?
0
Let b be (-13)/5 + 27/45. Let p be 28 + -101 + 2 + b. Suppose 3*v + 85 + 134 = 0. Is v at least p?
True
Let l(n) = -2*n**2 - 22*n + 4. Let i be l(-10). Let z be ((-18)/36)/(3/42). Is z > i?
False
Let f(g) be the first derivative of 5*g**2/2 + 19*g - 3. Let i be f(-4). Let t = -1.1413 - -0.0413. Is i < t?
False
Let d = -77.65299 - -0.05299. Let q = 25 + -20.4. Let x = q + d. Which is greater: x or -1/4?
-1/4
Let l = 2400 - 2288. Is l greater than 2.7?
True
Let r = 1390.8 + -802.8. Which is smaller: 3 or r?
3
Let t = -1 - -4. Suppose -t*v + 2*u + 388 = -v, -5*v + 3*u = -978. Suppose 8*c - v = 2*c. Which is smaller: c or 32?
32
Let t = -58563 - -58144.21. Let l = 454.7 + t. Let b = -36 + l. Which is greater: b or 0?
0
Let s be 6/(-14)*(-154)/(-231). Is 24.8 >= s?
True
Let f = -172.836 - -173. Let o = 6.564 - f. Which is smaller: o or 0.1?
0.1
Let i(p) = p**2 - p + 2. Let z be i(1). Let l be (-10)/15*((-1185)/(-24) + z). Let g = -1261/36 - l. Is -1 smaller than g?
True
Let m = -20097 - -8099086/403. Which is greater: m or -1?
m
Suppose 13*x + 169172 - 187931 = 0. Which is smaller: 1442 or x?
1442
Let o be -2*-1*2/4. Suppose -6*h + 4*h - x + 65 = 0, h - 15 = 3*x. Suppose h*n - 23*n = -7. Is n at most as big as o?
True
Suppose 0 = 6*h - 3837 + 3117. Which is greater: 122 or h?
122
Let l be (28/35)/(-3 + (-428)/(-140)). Suppose 9*o = l*o. Let c = -57/301 - -2/43. Which is smaller: c or o?
c
Let w(n) = -23*n + 164. Suppose -5*s = -4*t, 0 = -3*t + 7*t + 5*s - 40. Let o be w(t). Which is smaller: o or 50?
o
Let x(j) = j**2 + 12*j + 40. Let n be x(-7). Suppose 201 = n*r - 309. Which is smaller: 103 or r?
r
Let w be (-2 + 4)*4/2. Suppose -x = -2*x + w. Suppose -x*r - 4*c - 60 = 0, 4*r + 43 = 2*c - 35. Is r != -19?
True
Suppose 0 = 2*t - 3*b - 7261, 69*t + 2*b = 70*t - 3631. Is t less than 3629?
False
Let b(u) = u**2 - 4*u - 4. Suppose d - 6 + 1 = 0. Let j be b(d). Let g = 4/95 - -407/1615. Which is smaller: j or g?
g
Suppose w + 9*v = 14*v - 67, -2*w - 2*v = 86. Suppose -5*q = -0*q - 240. Let c be (-1 + 19)/((-18)/q). Is w less than c?
False
Suppose -5*q = 5*z - 45, 8*q + 5*z - 41 = 4*q. Let w = 2/8347 - -459061/100164. Which is smaller: q or w?
q
Let k = 4186/177 + 1/59. Is -0.01 at most as big as k?
True
Let t(g) = g**3 - 3*g**2 + 7*g - 7. Let y = 47 - 25. Let h(a) = -2*a + 47. Let j be h(y). Let d be t(j). Which is greater: d or 12?
d
Suppose 74*b - 35*b = -39. Which is greater: 3/665 or b?
3/665
Let p = -21711447/1325 - -16386. Which is smaller: p or -1?
-1
Let t = -4505/48 - -281/3. Let o(z) = -97*z - 387. Let v be o(-4). Which is greater: v or t?
v
Let z(y) = -9*y + 5. Suppose 2*d - 17 = -3*x, d - 2*x + 5 + 4 = 0. Let h be z(d). Let m be (-29)/1218*h*1. Which is smaller: 0 or m?
0
Suppose 15*u - 10 = 20*u. Let x be (-4)/6*(-123)/u. Let g = -63 - x. Are -23 and g nonequal?
True
Let o = -53.977 + 54.2. Let y = -5.223 + o. Let p = 1.98 - -0.02. Which is smaller: y or p?
y
Let z be -2 + (-5 - (-434 + -3)). Do z and -2 have the same value?
False
Let v be 3/(-3593)*(-18)/(-81). Let b = v + -237068/377265. Is b smaller than -1?
False
Suppose 2*w - i = 23, 3*i = 538*w - 535*w - 33. Which is smaller: 56/5 or w?
56/5
Let q = -203.1582 - -0.0582. Let v = q + 203. Let m(u) = 2*u**2 + 2. Let a be m(3). Are v and a equal?
False
Let g = -14249/165 - 173/33. Let w be (4968/(-135))/(4/10). Is g smaller than w?
False
Let l be (3 + 77/(-33))*132/48. Which is smaller: l or 1?
1
Let n(r) = r**2 - 3*r - 72. Let s be -14*(9/24)/(3/4). Let f be n(s). Which is smaller: f or -54/25?
-54/25
Let o = -51 - -79. Let l = 17 - o. Let v be 38/(-247) + l/13. Are v and -12/11 equal?
False
Suppose 0 = 5*t - 6*i + 10*i + 38, 3*t + 20 = -i. Let n(q) = -q - 5. Let x be n(t). Is x at least 25/19?
False
Suppose -2*k - a = 2*k - 208, 0 = 2*a. Let h = 5266 - 5206. Is k >= h?
False
Let c(u) = 339*u - 1236. Let f be c(4). Is 118 > f?
False
Let f = -161 + 1770/11. Let k = 1914 + -1914.01. Which is bigger: f or k?
k
Let o = 559753507/16 - 7211301566617/206128. Let k = o + -48/991. Is 13 at most as big as k?
True
Suppose k - 77 = -33. Let s = k + -38. Which is smaller: 50/9 or s?
50/9
Let n = -1 - -2. Let r(w) = 6*w + 17. Let o be r(4). Suppose -32*s - 18 = -o*s. Which is smaller: s or n?
n
S