 -2*j - 28. Let b be j/10 + 80/50. Suppose n + i - 2 = 0, -5*i + 10 = b*n - i. Which is smaller: 2/31 or n?
n
Let h = -36 + 42. Suppose -i - h + 4 = 0. Let m be i - (160/(-28) + 5). Which is bigger: 0 or m?
0
Let b be (-1 + 0)*(0 + 0). Let s(d) = -5*d**2 + d + 619. Let j be s(0). Let q = j + -11755/19. Is q at least b?
True
Suppose 15040 = 85*p - 38*p. Is 318 at most as big as p?
True
Suppose 0 = 4*c - 2*p - 2*p - 16, 4*c - 5*p = 13. Suppose -30 = -30*l + 33*l. Let m be (-1 - 1) + l + 21. Which is bigger: c or m?
m
Let d = -0.885 - 532.115. Let m = d - -520.08. Let r = 0.08 - m. Do 2/11 and r have the same value?
False
Let n = -3 + 11. Suppose -n*i - 10 = -3*i. Let a be (-2 - 0) + 49 + 1 + i. Is 45 at least a?
False
Let m = -2.1 + 2.1. Let s = 6963.6 + -6963. Which is smaller: s or m?
m
Let a = 11186/16063543 + -3/3958. Which is smaller: -1 or a?
-1
Suppose -11*l = -15*l + 2*v + 472, l = -3*v + 125. Let o be (-13)/((-78)/12) + 2 - -115. Is l bigger than o?
False
Suppose -9*h + 6*h = 0. Suppose 2*n + 5*m - 545 = 0, n + 0*n = 2*m + 268. Let o be 2/5 - 138/n. Is o equal to h?
False
Suppose -2*s = -51 - 3. Suppose 2*i - s = -169. Let v = i - -55. Which is greater: v or -52/3?
v
Suppose -2 = 2*a, -3*k - 34 + 56 = -a. Let l(u) = u**2 + 6*u - 109. Let z be l(k). Is -27 smaller than z?
True
Let i = -127.3 + 765.3. Let o = 642 - i. Let a = -139/2 + 68. Which is smaller: a or o?
a
Let v(d) = 198*d + 882. Let t(c) = 9*c + 40. Let i(s) = -135*t(s) + 6*v(s). Let n be i(-4). Which is greater: n or 2/33?
2/33
Let s = 0.391 - 2751.391. Is 0 equal to s?
False
Let b = 8.758 - 8.758. Are b and 8/61 non-equal?
True
Let x = 37429/6 + -6330. Which is greater: -93 or x?
x
Suppose -8*t + 6*t + 6478 = -4*d, -1595 = d - 4*t. Which is bigger: d or -1621?
-1621
Suppose u + 2*n - 9 = 0, -u + n = 5*n - 17. Let l be -1*u*4 - (15 + -17). Let b be (l/5)/((-130)/(-100)). Which is smaller: b or 1?
b
Let r = 0.07533 + 0.02467. Which is smaller: r or 10001?
r
Let f = -40 - -43. Let b be ((-8)/(-10))/(10/(-75)) - 3. Let w be ((-2)/(-8))/(b/(-16)*2). Do f and w have different values?
True
Let p = 773.622 + -774. Let w = 0.378 + p. Is -0.317 less than or equal to w?
True
Suppose 5*d - 756 = d. Let z = 73094 - 72906. Is z <= d?
True
Suppose p + 84 = -t, 243*t + 4*p = 246*t + 266. Let r = -14 - 71. Which is smaller: r or t?
t
Let g(y) = -y**3 - 215*y**2 - 4582*y + 47. Let l be g(-24). Which is smaller: -27/2264 or l?
l
Let r(v) = -27*v + 122. Let t(a) = -27*a + 124. Let w(h) = -2*r(h) + 3*t(h). Let q be w(7). Are -62 and q unequal?
True
Let s(d) = -d**2 + 14*d + 81. Let k be s(23). Let i be (-27)/((-8)/(96/k)). Is i at least -2?
False
Let q be 58/4 - (-1 + (-7)/(-14)). Suppose -16 = -p + 4*y - 2, q = p - 5*y. Which is smaller: p or 7?
7
Suppose -71 = -10*t + 19. Let a be (t + -4 - 0) + (0 - -2). Let l = -31 + a. Is l less than -0.2?
True
Let y = -101 - -106. Suppose 3*n - 15 = 0, n - y = -4*o - 4. Let d be (-5)/(-10) - 8/22. Which is greater: o or d?
d
Suppose v + 0 = -1. Let x = 3/105323 + -631989/1790491. Which is smaller: v or x?
v
Suppose -g + 5*a = a - 1, -4*g = 2*a - 4. Suppose -38*u = -45*u - 168. Let j be (30/14 + -2)*(u + 23). Do g and j have the same value?
False
Suppose 7*u - 4*u = -6. Let b(d) be the first derivative of -d**3/3 + 2*d - 72. Let r be b(u). Is -2 at most r?
True
Let c be 3/((6/136)/(75/60)). Let i(u) = u**2 + 3*u + 3. Let f be i(-3). Suppose 29 = -f*p - c. Is -38 > p?
False
Let k be 1/16*20802/(-15). Let o = -735/8 - k. Let p be (-6)/51 + (-462)/119. Which is smaller: p or o?
o
Suppose 914 = 2*t + s - 2966, 5*t - 2*s = 9691. Suppose 4*z + t = y, 0 = 4*y - 2*z - 4444 - 3284. Let k = y + -21225/11. Is 2 at least as big as k?
True
Suppose 3*i - 113*z + 112*z = -38258, 5*i = -z - 63782. Do -12755 and i have different values?
False
Suppose 5*z = -h - 2953, 2*z - 3*h + 547 = -624. Suppose -800*x - 4*l = -799*x + 538, 3*x + 4*l = -1718. Is x greater than or equal to z?
True
Let a be 1*(-15)/((-525)/(-335)). Which is bigger: -11 or a?
a
Let m = 12814 + -12813.25. Which is smaller: m or -0.3?
-0.3
Let w(s) = -s**3 + 5*s**2 - 2. Let c be 27/6*2/3. Let u be w(c). Let m be (-8541)/(-507) - (270/(-65) + 4). Which is smaller: m or u?
u
Let z = -168429 + 168427. Let k = -151/84 - -1/21. Which is greater: z or k?
k
Let y = -0.17 - 46.83. Let x = y - -47.16. Let o = -3.16 + x. Is o smaller than 2?
True
Let y(j) = 3*j**2 - 8*j - 48. Let l be y(4). Let n(d) = -d**2 + 57. Let a be n(0). Let h = l + a. Is h <= 25?
True
Let a = 817.81 - 820. Which is smaller: -4/5 or a?
a
Let w = -33 - 44. Let m = -80 - w. Is m at most -3/5?
True
Let z = 71/111 - -1/37. Suppose 9 = 3*m - 4*f - 0*f, 0 = 3*m - 3*f - 12. Let h = m - -1. Which is smaller: z or h?
z
Suppose 5*t = 4*r + 146, 4*r - 2*t + 174 = -r. Let n be (14/12 - 0)/(r/272). Which is bigger: n or -4?
-4
Let o = 2243/165 + -151/11. Which is smaller: -130 or o?
-130
Let v = -0.0994 + -0.4714. Let i = v - 0.0292. Which is smaller: 0.01 or i?
i
Let d be (-9 - (1 - 1)) + 79692/29. Is d < 2739?
False
Suppose 0 = 7*b - 23*b - 2048. Let l = -175 - b. Which is smaller: l or -48?
-48
Let b = -28 - -35. Let i be -1 + 8/(4/(-3 - 1)). Are i and b non-equal?
True
Let z = 2664 + -2663.95. Which is smaller: -704 or z?
-704
Let l = 3940.959 + -3941. Is -0.18 < l?
True
Let t = -4435 + 4435. Suppose 4*y - j - 36 - 14 = 0, 0 = 3*y + j - 34. Which is smaller: y or t?
t
Let d = 6/262979 + -214329271/60748149. Let c = d + -10/231. Which is greater: -4 or c?
c
Let g(z) = -7*z - 37. Let k be g(-7). Let f be (-3911)/2814 + ((-234)/k)/(-13). Let u = f - 2/21. Are u and 0 equal?
False
Let d = 594602931/3023 - 196693. Which is smaller: 0 or d?
d
Let h be (102/(-6))/(2/(-54)). Let m = h - 499. Which is smaller: -35 or m?
m
Suppose 5*w - 211 = -l, 4*l - 5*w - 821 = -2*w. Let p be (23 + -14)*(-92 + (3 - 5)). Let a be l/p + (-4)/(-18). Which is bigger: a or 1?
1
Let q = 25/44 + -1355/836. Let y = 941/912 + q. Suppose -3*t = -4*w, -4*w - 2*t = -7*t. Is w <= y?
False
Suppose 3*g + 63729 = -4*v, -g = -v + 7402 + 13862. Which is smaller: g or -21256?
-21256
Let r(w) = -4*w - 8. Let f be r(-1). Let j be (f/(16/(-9)))/(17/(-24)). Which is greater: -3 or j?
-3
Let m be (-144)/45*-5 + (11 - 27). Let k be 4138/72 + (-8)/36. Let g = -3467/60 + k. Is g equal to m?
False
Let d be ((-1)/3)/(4/(-36)). Let k(j) = -17*j**2 + j - 2*j**d + 3*j**3 - 4*j**3 + 21 + 2*j**3. Let n be k(-17). Is n less than or equal to 1/4?
False
Let w = -13585 - -14336. Which is smaller: -3/4 or w?
-3/4
Let g = 693 - 703. Let p = 2324/27 - 86. Is p greater than g?
True
Let g = -163 - -145. Let y be (-114)/g + (-16)/12. Is y > 7/2?
True
Let o(d) = -6*d**3 - 7*d**2 - 12*d - 2. Let b be o(-2). Let l be b/28*3/((-9)/(-2)). Is l at least -1/136?
True
Let u(s) = 2861*s - 3. Let v be u(8). Let h = v + -54031483/2361. Let k = -14204/44859 + h. Is -1 at most k?
True
Let x(v) = 7*v**2 - 59*v + 146. Let y be x(3). Is 36 less than y?
False
Suppose v = r + 13 - 5, 5*r + 5*v = 0. Is 0.0534 > r?
True
Let k = 323 - -107. Let b = k + -430.05. Which is bigger: b or 0.4?
0.4
Suppose -3*h - 26 = -5*z, -5*z + h + 14 = 4*h. Suppose z*m = -2*y + 26, -3*y - 3*m + 37 = 2*m. Let r = -82 - -90. Are y and r nonequal?
True
Let q be ((375/54)/(-5))/(19/76). Let l be (30/(-8))/((-3)/24). Suppose 23*a - l = 28*a. Does q = a?
False
Let g = 188 - 164. Let d be 16/g + 106/(-6). Which is smaller: -5 or d?
d
Let h = 1698090633/464 + -3659676. Let y = -66/29 + h. Which is smaller: y or -1?
-1
Let o = 10307.3 + -10310. Which is bigger: 8 or o?
8
Let l = 16723 + -15971. Does 750 = l?
False
Suppose 4*w - 2*x - 119 - 57 = 0, 4*x = 4*w - 176. Suppose -5*c + 220 = -5*s, -4*c + 6*s = s - 180. Is c != w?
True
Suppose 3*t + 5*r - 427 = 0, -13*t + r = -9*t - 577. Let n = t + -3606/25. Which is greater: n or 1?
1
Let j = -2.8 + 4.8. Let q = -47815/14 + 3416. Which is greater: j or q?
j
Let o = -8226 - -8226. Is o < 95/253?
True
Suppose -857 = -7*j + 277. Suppose -2*z + 3*v = -5*z + j, -53 = -z - 2*v. Let h be (-30)/(-5) - (-50 - -1). Is z < h?
False
Let t(f) = f + 7. Suppose -56 - 10 = 11*s. Let n be ((-2)/s)/(2/(-18)). Let u be t(n). Is u bigger than -4?
True
Let k = -0.01 - 1.99. Let u be 126 - 141 - (-586)/39. Which is smaller: k or u?
k
Let m be 