hich is smaller: d or 51?
d
Let o = -208 - -218. Suppose -12*r = -o*r + 268. Which is smaller: -133 or r?
r
Let o = 5083 - 4889. Which is greater: o or 9?
o
Let h be 15070/70 + (-4)/14. Let m = -34 + h. Which is smaller: 182 or m?
m
Let r(v) = -v - 23. Let c = 40 - 45. Let m be (1/6 - c/6)*-13. Let h be r(m). Which is greater: h or 2?
2
Let n be (-48)/18*((-124)/48 - -6). Let r be 4/(-5) - (-123)/(-15). Which is bigger: r or n?
r
Suppose 4*q - 22 = -l, -24*l + 28*l + 5*q = 22. Which is smaller: l or -175/169?
l
Let o = -13287/7 + 1898. Is o != -105?
True
Suppose 5*w = 4*t + 16, 37*w = 32*w. Let p(d) = -d**3 + 14*d**2 + 6. Let v be p(14). Is v at most t?
False
Let w be ((-59)/(-10) - 27/(-270)) + 860. Let z = -794 + w. Let u be (1 + 1/(-2))*146. Which is greater: z or u?
u
Let n = 2497 - 744099/298. Is 1 at most as big as n?
False
Let k = -910 - -7257/8. Suppose -23*h = -18*h - 5*c + 45, -4*h - 41 = -5*c. Is h less than k?
True
Let t = -8227 + 8852. Is t at least as big as -2?
True
Let j be 2143310/(-43875)*3/1745. Let h = j - -29/349. Is 1 at least as big as h?
True
Let s be 54/(-220) - (-8)/40. Let i = -24793.4 - -24794. Which is greater: s or i?
i
Let j(l) = 5*l**3 - 10*l**2 + 16*l - 11. Let t be j(2). Suppose -4*n = -8*n + 104. Is t >= n?
False
Suppose u = -2, 0 = 2*x + 3*u - 5*u - 6. Is -61/25 greater than or equal to x?
False
Let h = 628 + -886. Let n = -119 - h. Is -0.1 equal to n?
False
Suppose 0 = -l + 4*b + 20, 2*b - 8 = -17*l + 13*l. Let j be l/18*14/((-2940)/9). Are 0 and j equal?
False
Let x(w) = -25*w - 43. Let v be x(-2). Let u = -46 + 28. Let p = -11 - u. Is v equal to p?
True
Let d(y) = 4*y - 38. Let o be 10/((-20)/(-3 + -2) + -3). Let u be d(o). Does 42/13 = u?
False
Let k(h) = -4*h - 32. Let b be k(-10). Suppose 0 = -2*a - 2*w - 0 - b, -a - 4*w - 4 = 0. Which is smaller: a or -11/4?
a
Let x(s) = s**3 - 3*s**2 - s - 10. Let i be x(4). Let c be (12/5)/i*15/2. Suppose c*r + 44 = -19. Do r and -5 have different values?
True
Let y = -414/883 - -1867279/3992043. Is y > 0?
False
Let n = 195 - 176. Suppose y - 6*y - 5*c = -45, 0 = -y - 3*c + 15. Which is greater: n or y?
n
Let g(l) = -2 - 6*l + 2*l + 95. Let k be g(18). Which is smaller: 16 or k?
16
Let q = 2038 + -2037. Which is smaller: 1/98 or q?
1/98
Let y = 5.24 - -0.26. Let w = y + -1.5. Let k = -1422 - -1427. Is w != k?
True
Let l = -149 - -156. Suppose m = l*m + 126. Are m and -22 unequal?
True
Let d = -44.47568 - -0.08568. Let n = d - 0.61. Let p = n + 46. Is p at most as big as 0.3?
False
Let l(v) = -18*v**3 + v. Let f be l(-2). Suppose 0 = -4*x + f + 246. Let g be -2 + x/9 - 6/(-27). Is 11 at least as big as g?
True
Let u = 12952 - 12951. Is u > 182/5?
False
Suppose -5*r + 0*r + 570 = 0. Let g(v) = -145*v - 321. Let w be g(-3). Are w and r nonequal?
False
Let p be -11 + (-146462298)/(-8670) - (-5)/(-1). Let n = p - 16877. Is 0 greater than n?
True
Let y = -238677152/4605 - -51830. Which is greater: 0 or y?
0
Let p be ((-14)/(-10))/(52 + (-47916)/165). Is p bigger than 0?
False
Let j = -195 + 196. Let t be 0/(-4 + 2 + j). Which is bigger: -1/77 or t?
t
Suppose 26*d = 29*d - 30. Suppose -q - q = d. Which is smaller: q or -7?
-7
Let j = 0.229 - -0.771. Let g = 31 + -53. Let z = -28 - g. Is z less than j?
True
Let m = 120 - 122. Let v be 9*((-10)/15)/m. Suppose 0*o + v*o = -15. Do o and -11/2 have different values?
True
Suppose 2*m = 76*j - 80*j - 36, -3*m + 5*j = 32. Let w(p) = -3*p**3 - 2*p + 14*p**2 + 6*p + 4*p**3 - 9. Let x be w(m). Is -66 at least as big as x?
False
Let l be (((-1465)/1 + -1)/(10/5))/(-2). Which is greater: 5 or l?
l
Suppose -588 = 363*g - 314*g. Which is greater: g or -25?
g
Suppose -24 = -3*v - 5*b + 3, 0 = -2*v - b + 11. Suppose q = -v*w - 9, 5*w + q + 0 + 10 = 0. Do w and -3/86 have the same value?
False
Let j(x) = 4*x**3 - 27*x**2 - 69*x - 537. Let o be j(-9). Which is smaller: -5020 or o?
-5020
Let j = 17 + -18. Let b = 41 - 25. Suppose -3*r + b = 7. Which is greater: j or r?
r
Let u = -5020 + 5021. Are 28/243 and u unequal?
True
Suppose 72 = 2*n + 60, 4*m = -n + 6. Let t = -1475/9 + 163. Is m greater than or equal to t?
True
Suppose 2*m = -g + 6*m + 4, 4*m = -2*g + 32. Suppose x + 24 = -3*w - g, -94 = 2*x - 5*w. Let l be x/(-180)*3*(-3)/(-7). Which is bigger: 0 or l?
l
Let l(x) = -x**2 - 23*x - 67. Let a be l(-21). Which is smaller: 34 or a?
a
Let p = 8 - 5. Let n be (p - 2)*(0 + 7). Suppose -86*k - 6630 + 7318 = 0. Which is smaller: n or k?
n
Let l be -2 - (-5 + 1 + 2). Let w be (-495)/885*(0 + 4/6). Let r = w + 3864/10679. Is l at least as big as r?
True
Let w = 1403.7321 - -0.2679. Let s = w + -1434.99. Let v = -31 - s. Which is greater: v or -0.1?
v
Let s = -185 + 185.398. Which is greater: s or -1?
s
Let n = 14651 + -85931/6. Is n greater than 329?
True
Let v = 18 + -18.0074. Let n = -1721.5 + 1720.5. Which is smaller: v or n?
n
Suppose p + o + 345 = 0, 2*o = -p - 558 + 208. Let j = -502 - p. Let n = 1456/9 + j. Which is bigger: 0.1 or n?
0.1
Let a(h) = 2*h**3 + 33*h**2 + 54*h + 127. Let l be a(-15). Which is bigger: l or -750/83?
l
Let i(l) = -2*l**2 + 13*l + 1309. Let s be i(29). Is -277 at least s?
False
Let r = -828 + 846. Suppose -12*d + r*d = -72. Are 1.2 and d nonequal?
True
Let x = -47 + 40. Let b = -11537 + 11575. Which is greater: x or b?
b
Let d be 6/6*(1 + (27 - -2)). Let o be 12*1*15/d. Let k be (4 + -3)*o/(-15). Is 86 at most as big as k?
False
Let x = 0.8149 + -2.8149. Let b = -20 - -31. Which is bigger: x or b?
b
Let b be (-6)/4*(-152)/(-12). Suppose -2*x - 27 = k + 4*k, 5*x = -3*k - 96. Let d = b - x. Is d at most as big as 3?
True
Let b = -35/12 - -5/3. Let o be 0 + (60/16 - (-2)/8). Let f be (-4)/16 + (-7)/o. Which is smaller: b or f?
f
Let d(p) be the second derivative of p**3/3 - 59*p**2 - 27*p. Let q be d(-8). Is q != -133?
True
Let d be 135/18 - (-4)/(-8). Let k be (0 + d)*(25 - 28). Which is smaller: k or -26?
-26
Let k = 202.73 - 203.73. Which is greater: k or 1815?
1815
Let i = -17656 - -18417.2. Which is greater: i or -2/3?
i
Let c be ((-8)/(-3))/(-3 - (-3648)/1215). Suppose 19*m - 28*m = c. Which is smaller: m or -121?
-121
Suppose 0 = 10*m - 7*m + 11*m. Suppose m = 5*n - 6*k + 9*k + 1215, k + 1205 = -5*n. Which is bigger: -241 or n?
n
Let z = -578 - -578.0068. Let o = -0.0132 - z. Are o and 9 equal?
False
Let d = -5651 - -536843/95. Which is smaller: d or -4/23?
-4/23
Let j(p) = 5*p + 11*p - 5 - 11*p. Let l be j(1). Which is smaller: l or 2/177?
l
Let x = 13836 - 13838.0971. Is 2/5 < x?
False
Let t = 15744/43 - 366. Let y be (-112)/(-64) + 1/4. Let c be (2 - y)*9/18. Is t at least as big as c?
True
Let u be 1*(-10)/4 - (-828)/552. Is u > 27/154?
False
Let w(m) = -m**3 + 15*m**2 - 30*m + 50. Let k be w(13). Let v be 0*(-4)/20*k/(-2). Which is smaller: 19 or v?
v
Let k = -15335 + 14312. Is -4 < k?
False
Let o = 14.8 - 15. Let s be (-810)/(-60)*4/3. Suppose -6*w + s = -k - 3*w, 2*w + 2 = 0. Which is bigger: o or k?
o
Let f(i) = -112*i + 68. Let a be f(4). Let b = a - -403. Let y(x) = 24*x**3 + x**2 + x - 1. Let t be y(1). Which is smaller: b or t?
b
Let s = -68 + 68. Let o be 8615/(-2079) - (-2 + -2). Let r = o + -1/231. Is r less than s?
True
Suppose -70*p = -3866 - 5864. Is p at most 1119/8?
True
Suppose 1 - 1 = 19*l - 52*l. Which is bigger: -1/2251 or l?
l
Let l(y) = -990*y + 4389. Let a be l(6). Which is smaller: a or -1552?
-1552
Let w = -0.3778 - -0.2445. Which is smaller: w or -2/11?
-2/11
Let j = 11 + -8. Let c = 3.077 + -3.042. Which is bigger: j or c?
j
Let t be (-1)/((-2)/(-6))*1. Let d = -993 + 688. Let f = 301 + d. Is t less than f?
False
Suppose 8625 - 30477 = 36*r. Is r at least as big as -606?
False
Let p(w) = -w**3 - w**2 + w + 1. Let q be (-2)/(-4 - -2) + -1. Let z be p(q). Let c be -25 - (142142/(-6182) - 2). Do z and c have the same value?
False
Let o(n) = n**3 - 14*n**2 + 5. Let d be o(14). Suppose -d*l - 16 = 5*c + 209, 5*l - 4*c = -261. Let i = 389/8 + l. Do -1 and i have different values?
True
Let i = -0.033 + 0.233. Which is greater: -0.0644 or i?
i
Suppose 23*l - 76 + 30 = 0. Let j be (l/(-3))/(-2) + (-1632)/252. Is j greater than or equal to -7?
True
Let r = 216.96 + -233. Let t = -1.14 - r. Let s = 5.9 - t. Is s less than or equal to 0?
True
Suppose 6*s - 9 = 3*s - 3*q, -4*q = 0. Suppo