greater: 33 or r?
33
Let k be (14/(-5))/(-2 - (-8)/5). Let d(l) = l - 5. Let a be d(k). Is 13/5 smaller than a?
False
Let w = 1 + -16. Let b = -11.9 + 12. Which is greater: w or b?
b
Suppose -3*u + 2*u = o - 324, -2*o = -u - 648. Suppose -68 = j - 2*r, 4*j + 2*r = 32 - o. Let t be 3 + 1 + 282/j. Is t not equal to 1?
True
Suppose 14*w = 8*w - 48. Is w greater than or equal to -4?
False
Let r(b) = -b**3 + 5*b**2 + 5*b + 3. Let w be r(6). Let p be w + 5/((-255)/(-147)). Which is smaller: 1 or p?
p
Let j = 247 - 85. Let y be j/14 - (-6)/14. Which is smaller: 13 or y?
y
Let d = -184 - -68. Is d greater than -0.4?
False
Let l(d) = -d**3 - 6*d**2 - 3*d + 3. Let m be l(-3). Let c = 11 + m. Suppose 2*u - u = -4*u. Which is greater: c or u?
u
Let l(i) = -i + 2. Let m be 6/((18/4)/3). Let h be l(m). Let f be 0 + 4 - (-25)/(-5). Does h = f?
False
Let o = -10/99 + 139/396. Is o greater than or equal to -231?
True
Let h = -943 - -939. Which is greater: 4/91 or h?
4/91
Let r = 1584.96 + -1585. Let a = 0.8 - 0.5. Which is bigger: r or a?
a
Let q be ((-140)/63)/(136/(-12)). Which is bigger: q or 1?
1
Let j(u) = -u + 9. Let v be j(10). Suppose 19 + 13 = -2*z. Let q be (-2)/(z/(-1)) - 1. Which is greater: v or q?
v
Let l = 0.0377 + -0.0177. Which is smaller: -0.35 or l?
-0.35
Suppose -5*q - 14 = -t, 3*t - q - 53 = 3*q. Suppose -5*x + t = -6, 0 = a + 2*x - 9. Let c = 2059/4 - 515. Is a bigger than c?
False
Let i be 8/(-6) - 3/9. Let a(r) = -13*r + 181. Let h be a(14). Is i equal to h?
False
Suppose 0 = 6*r - 14 + 2. Suppose -33 = -2*q + k + 34, 0 = r*q + 5*k - 37. Is 30 at most as big as q?
True
Let m be (-3)/12*-12 - -6. Suppose 5*c + 0*c = 30. Is c > m?
False
Let t(v) = v**3 + 9*v**2 - 9*v + 10. Suppose -3*p - 3*f = -12, 2*p - 2*f = p + 7. Suppose p*g + 70 = -2*g. Let j be t(g). Is 6 equal to j?
False
Suppose -q = -5*q - 40. Let l = -0.08 + -0.1. Let z = l + 0.18. Which is bigger: z or q?
z
Let a = -118.1 + 117.462. Is 0 < a?
False
Let g = 58 - 47. Suppose -2*p = 5*j - 33, 9*j - g*j = -p + 39. Which is smaller: 30 or p?
p
Suppose 19 = -2*i - 9. Let z be (-4)/i + (-61)/(-7). Let f = -10772 + 10782. Which is smaller: f or z?
z
Let f(y) = y**2 + 10*y + 10. Let r be f(-2). Which is smaller: r or -9?
-9
Let p be ((-9)/(-96))/((-60)/(-80)). Let o be 2 - (1 - 2)*3. Suppose -4*d + 5*n = 1, 2*d - d + 4 = o*n. Which is bigger: d or p?
d
Let t = 6960 + -6955.991. Let y = t - 0.009. Does 2/7 = y?
False
Let j be 360/170 - 2 - (-26322)/(-51). Which is greater: -514 or j?
-514
Let c be (-551)/(-145) + (-12)/15. Are -268 and c nonequal?
True
Let h = -918 - -1078. Which is smaller: 168 or h?
h
Let p = 18 - 16. Let a be 5 - 537/105 - p/(-5). Let j = 2 - 2.2. Which is bigger: j or a?
a
Suppose 10*i = -43*i. Which is greater: 0.0203 or i?
0.0203
Let i = -193 - -181. Which is smaller: -9 or i?
i
Suppose -263 = -4*i - 5*x, x + 245 = -2*i + 6*i. Is i at most as big as 426/7?
False
Let m = 48 + -34. Let n = 14 - m. Suppose n = -2*t - 0*o + 2*o + 22, -6 = -3*o. Which is greater: t or 0.1?
t
Let d(x) = -135*x + 349. Let w be d(9). Does w = -867?
False
Let w = 336 + -231. Let j = w + -82. Let x = -3 + 2. Is j smaller than x?
False
Let z = 263 - 327. Which is smaller: z or 0.4?
z
Let l be (-13)/((-18)/(-3) + 10). Is -2 <= l?
True
Let h(c) = c**3 + 14*c**2 - 36*c - 13. Let n be h(-16). Do n and 52 have the same value?
False
Let w(s) = s**3 + 3*s**2 - s + 7. Let k be w(-3). Let i(y) = -2*y**2 + k*y**2 + 11*y - 4*y**2 - 3*y**2 + 10. Let m be i(-12). Which is greater: m or 23?
23
Let l = -252 - -251.9. Let c = -0.04 + 0.2. Is l at most as big as c?
True
Let r(q) = -q**2 + 26*q - 155. Let l be r(13). Is l at most as big as 170/11?
True
Let z = 1 - -2. Suppose -2*m = -7*m - 5. Which is smaller: m or z?
m
Let h(o) = o**3 - 5*o**2 - 8*o. Let w be h(6). Let d be (-66)/w*(-2)/15. Let v = d + 107/105. Which is smaller: v or 0?
0
Let j(a) = -12*a + 385. Let z be j(0). Is z equal to 385?
True
Suppose 0 = 3*r - a + 17, 4*r + 5*a = r - 23. Let s(i) = i**3 + 6*i**2 - 2*i - 10. Let l be s(r). Is 4/3 smaller than l?
True
Suppose 5*m + 23*m = -28. Is m at most as big as -4/689?
True
Suppose 0 = -5*n - 5*i - 0*i + 50, -4*n + 3*i = -33. Suppose -5*x + h = n + 2, 3*x + 3*h = -3. Is -26/9 != x?
True
Suppose -4*i + 289 = -1291. Which is greater: 397 or i?
397
Let j(x) = -x**3 + x**2 + 9*x - 3. Let g be j(4). Let n be (-3*2/g)/((-2)/10). Which is smaller: -1 or n?
n
Let y = 45 + -26. Suppose -5*b + 19 = g, -4*g - 3*b + y = -40. Let l = 48 - 33. Which is greater: g or l?
l
Let w = 63459987/23 - 2759678. Let b = 548 + w. Is 1 not equal to b?
True
Let u = -3511 + 2208. Let c = u + 9136/7. Which is smaller: c or 0?
0
Let d = 3.1 + -20.1. Let x = d + 23. Let z = 8 - x. Do 8 and z have different values?
True
Let p = 26.16 + -1.16. Is -5 at least as big as p?
False
Let g = 288 + -278. Which is smaller: 15 or g?
g
Let x be ((-2)/5)/((-5)/25). Let w be (x + -2)/(5 - 4). Is -2/165 bigger than w?
False
Let w = -0.01 - -0.01. Let n = -3 - -5. Let y = n + -1.6. Is w less than y?
True
Let m = -336023841/1190 - -282373. Let h = -2/13695 + -10922/232815. Let f = h - m. Are 1 and f non-equal?
True
Let d(f) = -11*f - 92. Let n be d(-9). Suppose n*x + 25 = 95. Is x less than 10?
False
Let f = 518 + -520.9. Let b be (-4)/(-14) - (-20)/(-21). Which is greater: f or b?
b
Let r = 54 - 264/5. Is 2 greater than r?
True
Suppose -6*w + 2*w = -324. Is 83 bigger than w?
True
Let p = -27 + 28. Let c = -1 + p. Is 0 at most as big as c?
True
Let j be 162/(-9)*(-60)/9. Suppose j = -10*m - 2*m. Suppose y + 4 = -5. Which is smaller: y or m?
m
Let m(t) = -22 + 12 + 8 - t. Let d be m(-6). Is 2 at least as big as d?
False
Let w be (1 - (-2 + 6))/(-1). Suppose w*x - 5*x - 7 = -5*d, 2*d + x = 1. Suppose -5*f = -4 - d. Which is smaller: 15 or f?
f
Suppose -5*s - 4*u - 7 = 29, -2*s = 3*u + 20. Let j = 3944.4 - 3944. Which is smaller: s or j?
s
Suppose -d + 3 - 1 = 0. Let x be 30/(-2)*d/(-6). Let u(q) = -q**3 - 12*q**2 - 33*q + 13. Let v be u(-5). Is x greater than or equal to v?
True
Suppose 1950 = 8*d - 2*d. Let k = 458 - d. Is 134 not equal to k?
True
Suppose -12*d + 17*d - 45 = 0. Let o = 14 - d. Suppose -3 = -4*t - k, t + 3*k - 4 - o = 0. Which is smaller: -12/11 or t?
-12/11
Suppose 3*m - 5*t = 3 + 7, -35 = 2*m + 5*t. Let l = m + 5. Let w = 0.05 + 0.01. Is w equal to l?
False
Suppose s - 20 = -s. Let w = 7 - s. Let h be ((-4)/20)/(w + 2). Which is bigger: 0 or h?
h
Let u be ((-115)/3080*-3)/(6/4). Let k = -1/566 + -827/12452. Let v = k - u. Is 1 greater than v?
True
Let s be -1 - 8/(-5) - 46/(-340). Is s at least 2?
False
Let t be 4/10 - 34/85. Suppose -4*n + 8 = t, -n = 4*x + n - 76. Which is bigger: 50/3 or x?
x
Let j(o) = -5*o**2 + 16*o - 35. Let k(l) = -3*l**2 + 9*l - 17. Let a(r) = 4*j(r) - 7*k(r). Let z be a(7). Which is bigger: z or 36?
36
Suppose -20*o + 50 = -19*o. Let s be (o/7)/2 + 45/105. Which is smaller: 2 or s?
2
Let v(r) = r**3 - 16*r**2 + 9*r + 90. Let j be v(15). Which is greater: 5/113 or j?
5/113
Let a be (2/3)/(1/(-3)). Let y = 32041/6 - 5343. Which is smaller: y or a?
y
Let b = 119 - 166. Let z = -47.1 - b. Let v = 0.2 + -0.2. Which is smaller: v or z?
z
Let t(f) = -f**3 - 14*f**2 - 33*f + 6. Let i be t(-11). Are 25/4 and i unequal?
True
Let m(o) = -o + 201. Let d be m(-15). Is 214 equal to d?
False
Let k(d) = 4*d + 153. Let v be k(-38). Suppose 9 = -a + 4*a - 2*w, 2*a = -2*w - 4. Do v and a have different values?
False
Let v = -0.2 + -0.02. Let b = -0.12 - v. Let d = -14/11 + 101/88. Are b and d non-equal?
True
Let f be (-66)/(-13893) + 0 + 0. Which is smaller: 1 or f?
f
Let a(g) = -2*g**3 - 2*g**2 + 2*g - 57. Let x be a(0). Which is smaller: -64 or x?
-64
Let f = 0.91 - -49.09. Let m = f + -87. Is 0.2 at most as big as m?
False
Let z = 0 - 2.2. Let o = 2.3 + z. Is -5 != o?
True
Let r = -0.17 + 2.17. Let a = 0 - r. Is a smaller than -1/3?
True
Suppose 4 = 5*c - 1. Let x = -2/7115 - 14012/775535. Does x = c?
False
Let k = -69092/3399 - -674/33. Let u = 585/721 - k. Let i be (3 - 1)/(1 - 0). Is i bigger than u?
True
Let s(t) = t**2 - 28*t - 29. Let k be s(29). Let m be 9/(-3) - (-274)/94. Which is smaller: m or k?
m
Let x = 74 - 58. Let w = -33/2 + x. Which is smaller: -2/21 or w?
w
Let z be -9 - -18 - 3 - (-39)/(-5). Suppo