 is smaller: b or r?
r
Let k = 508 + -509. Which is bigger: 2/3653 or k?
2/3653
Let k = -1.85 - 76.15. Let q = -79 - k. Suppose 840 = -19*c - 11*c. Which is smaller: q or c?
c
Let u be 12 - 8345*(-6)/90. Which is smaller: 568 or u?
568
Let a(x) = -13*x + x**3 - 460 + 454 + 16*x - 5*x**2. Let b be a(3). Is b >= -14?
False
Suppose -9 = -15*i + 16*i. Let n = 9 + i. Let a(d) = -d**3 - 10*d**2 - 16*d. Let h be a(-8). Is n bigger than h?
False
Suppose -52*s = -36*s + 64. Which is smaller: s or 30?
s
Let f = 1142.73 + 11.27. Which is smaller: f or -1/2?
-1/2
Let v be (-1749 - 7)*(-5)/10. Is 875 smaller than v?
True
Suppose 452 = -15*i + 407. Let p(v) = -v**3 + v**2. Let o be p(2). Which is bigger: i or o?
i
Suppose 9*j = -0*j. Suppose j = -5*i - 4*c + 446, -4*i - 5*c - 455 = -9*i. Let g be (-3)/(i/33) + 9/6. Is g smaller than 0?
False
Let s(w) = w**3 + 10*w**2 + 46*w + 125. Let g be s(-6). Is -159/26 < g?
False
Suppose 4*l + 4*s = -0*s + 20, 4*s - 12 = 0. Let k be l/(-9) + 98/1656. Let z = 2/23 - k. Is 2/5 < z?
False
Let x be 0/(4 + (-5 - -5) + -5). Let r be (0/(-2))/(-4 + x/(-6)). Which is bigger: 1/94 or r?
1/94
Let l = 6146352/35 - 1123317/7. Let g = -15084 + l. Is 52 at least g?
False
Suppose 3*k - 5*d = -32, 0 = 2*k + 2*d + 32. Let r be (-1)/k - 3025/(-770). Which is smaller: 2 or r?
2
Suppose -4*g - 26*m - 528 = -28*m, 5*g + 3*m = -671. Is -397/3 greater than or equal to g?
True
Let r be 0*-2*(-1)/4. Let i = 563049/76153 + -318/43. Let v = i + -3215/193039. Which is smaller: r or v?
v
Let k be 2*(-3860)/320*(0 + 4). Which is greater: -97 or k?
k
Let y = 1746.9 - 1747. Is 339 bigger than y?
True
Let l be 1 - ((-16)/(-6) - (-160)/(-60)). Is 89 < l?
False
Let i = 7379792162 - 2427949628876/329. Let s = i - 6056. Let x = s - -3958/1645. Which is greater: 3 or x?
3
Let i = 7807 + -6533. Which is bigger: i or 1269?
i
Suppose 46*n = 7*n - 663. Let y(b) be the third derivative of -b**5/30 - 17*b**4/12 + b**3 + 6*b**2. Let l be y(n). Is l less than 14?
True
Suppose -7*p - 72 - 152 = 0. Let s = -29 - p. Suppose 16 = -s*z + 3*m - 11, -4*m - 29 = z. Which is greater: -1/3 or z?
-1/3
Let r be (-2160)/(-459)*15/((-1875)/(-70)). Does 2 = r?
False
Suppose -1016 - 109 = -3*w - 4*q, -4*q - 1472 = -4*w. Let g = w - 386. Let n(a) = 8*a. Let f be n(-2). Which is bigger: g or f?
g
Let c(i) = -12*i + 98. Let g = 1638 + -1630. Let h be c(g). Let z be (-4)/(-14) + 6/7. Do z and h have different values?
True
Let c be (7 - 6)/(1 + 110/(-105)) - -4. Which is smaller: c or 1.8?
c
Let y be 216/405*(-1 + (-1538)/4). Let d = y - -206. Is -22/7 bigger than d?
False
Suppose 1853239 + 1659581 = -197*l + 705*l. Are 6913 and l equal?
False
Suppose 5*o + 22 = 207. Let w = 11939 - 11941. Which is smaller: o or w?
w
Let r(a) = -129 + 337 - 157 - 7*a. Let q be r(5). Which is smaller: 19 or q?
q
Let s = -0.034 + -0.425. Which is smaller: s or -0.3?
s
Let o(l) = 412*l - 2059. Let y be o(5). Let n be (-53)/98 - (-1)/2. Is y less than n?
False
Let r(k) = 10*k - 1. Let w be r(-1). Let z be 2 + 60/(-33) - 42/w. Suppose -3 = 3*i - 18. Which is smaller: z or i?
z
Let k be -5 - (-13)/((-663)/(-18)). Which is smaller: k or -4?
k
Suppose 25*j + 747 = -58*j. Let i be (4/1)/(8 - 4). Let l be i*(-1)/(-2)*-14. Which is smaller: l or j?
j
Let f be 4/10 - 234/(-15) - -2. Suppose -f = -k + 6*v - 3*v, 0 = -5*k + 3*v + 30. Suppose 9*s = k*s. Is s less than 2/9?
True
Suppose 0*i - i - 85 = 0. Let t(y) = y**3 + 81*y**2 - 106*y - 2053. Let g be t(-82). Is g < i?
False
Suppose 0*v - 242 = -22*v. Suppose 3*y - 139 = v*d - 7*d, 5*y + 3*d = 251. Is y at most as big as 50?
True
Suppose -979*p - 5280 = -1023*p. Is 103 equal to p?
False
Let d = 4 - 3. Let w be (d + 10)/(2/8). Let y = 2729 - 2685. Is w bigger than y?
False
Let v = 4920 - 4920. Do v and -0.276 have the same value?
False
Let q be 1*(-7518)/10152 + ((-26)/8 - -4). Is q less than or equal to -3?
False
Let u(c) = -2*c**2 + 26*c - 4. Let n be u(12). Let k be 28/21 + n/3. Suppose 37 - k = 5*b + 2*z, 17 = 2*b - z. Which is smaller: 0 or b?
0
Let g(k) = -1225*k**2 + 96*k + 186. Let u be g(-2). Is -4905 at most u?
False
Let t(v) = v**3 + 17*v**2 + 75*v. Let w be t(-9). Is w smaller than 225?
True
Let m be (-3)/(-4) + (-1645)/188. Let n = 61 + -13. Suppose 0*r - 3*r - 14 = 5*i, 4*i = 5*r + n. Is m != r?
False
Let l = -5.58 + 5.1. Let n = -0.588 - l. Let c = -0.108 - n. Which is smaller: c or 28/9?
c
Let c = 6698 + -6697. Which is bigger: -2.086 or c?
c
Let q = -262 + 138. Let y = -70 - q. Let s = -52 + y. Is 4/9 >= s?
False
Suppose -1 = -m + 5. Suppose -1086*d - 20 = -1096*d. Suppose -3*f + 4*x + 9 = 0, x = f - d*x - 3. Which is smaller: f or m?
f
Let b = -3/329063 + 3719399104/1645315. Let a = -2271 + b. Let j be ((-3)/4)/((-6)/(-72)). Which is smaller: j or a?
a
Let c = 564 - 332. Let t = -232 + c. Which is smaller: -1/143 or t?
-1/143
Suppose -3 = -2*h + 293. Let n be 82/h + 2/(-4). Let x = -37331 + 37331.1. Which is smaller: x or n?
n
Let b = 4.26973 - 0.26973. Which is greater: -3058 or b?
b
Let k(x) = -x - 16. Let j be k(-16). Are -8/1071 and j non-equal?
True
Suppose 4*z + 1132 = -0*a - 3*a, 4*a + 1507 = -3*z. Suppose 7*j + 6*j - 52 = 0. Let y be 4/1 - j/a*-377. Which is greater: -1 or y?
y
Let p be (48/(-16))/((-3)/31). Which is bigger: p or 32?
32
Let m(n) = n**2 - 10*n + 12. Let g be m(8). Let p = 619/182 + 9/91. Let k = g + p. Is 19 equal to k?
False
Let t = -0.1051 - -6.5751. Let j = t - 7.1. Let x = -3419 + 3419.1. Is x less than j?
False
Let p be 2/(-6)*(-96)/8. Suppose p*n = -22 - 26. Let s be (n/8)/(18/(-24)). Which is smaller: s or 12/11?
12/11
Let r = -0.173 - 37.827. Let b = -38.1 - r. Which is greater: -37 or b?
b
Let l(v) = 5*v**2 - 107*v + 788. Let g be l(10). Is 219 != g?
True
Suppose -80 = -6*j - 68. Suppose 0 = -5*g - 15, 0 = -3*q - g + j*g + 1038. Which is greater: 346 or q?
346
Let n = -17 + 18. Suppose n - 31 = -5*y. Suppose 5*p - 4 = y. Which is greater: p or -1?
p
Let h be (-13*1/163111)/(-2*2/(-8)). Which is smaller: h or 0?
h
Let t be (6/(-3))/(6 + 300/(-51)). Is 125 less than or equal to t?
False
Let s be (-125)/1*2/(-18). Let v = 33910 + -33896. Is s < v?
True
Let r = 60/11 - 398/77. Let g(s) = -7*s - 28. Let t be g(-4). Suppose t*j - 2*x = 3*j + 6, x = 2*j - 3. Which is bigger: j or r?
r
Suppose -q = 383 + 39. Let z = q - -456. Is z smaller than 37?
True
Let t = -121.37 - -9145.37. Is t >= -1/3?
True
Let u be (476/147)/((-8)/12). Which is greater: u or -5?
u
Let t = 5406 - 5376. Which is smaller: t or 24?
24
Let c(g) = -g + 6. Suppose 6*v = 5*v - 2. Let q be (-160)/(-30)*v/(-4)*3. Let d be c(q). Which is bigger: -3/2 or d?
-3/2
Suppose -7*j + 3*j - 473 = 5*y - j - 123, 0 = -2*j. Let h(b) = 2*b**3 + 8*b**2 + 4*b + 2. Let v be h(-5). Which is greater: v or y?
v
Let o = 11 - 11.03. Let v = -300 - -441. Let y = -983/7 + v. Which is smaller: o or y?
o
Let y be (2 + 2854/(-1432))*2/(-15). Let b = -8057/2148 - y. Suppose -2*t + 3*t = -4. Which is smaller: b or t?
t
Let d = -421/403 + -2863995/2821. Do d and -0.2 have different values?
True
Suppose 4244 = -3*w + 2*a, 3*w - 38*a + 34*a + 4228 = 0. Which is smaller: w or -1422?
-1422
Let z(n) = 4*n - 25. Let w be z(6). Let g be (506/154 - 3)/((-967)/7). Which is smaller: g or w?
w
Let m(h) = -h**2 - h + 5. Let c be m(4). Let v = 15 + 5. Let a be (-4)/v*c/6. Which is bigger: 10/3 or a?
10/3
Let t = -16920697/107 + 158141. Which is bigger: t or 3?
t
Let i = 115.527 - 115.5. Is -3 less than or equal to i?
True
Suppose 3*v = -2*f + 43, 0 = 3*f - 7*f - 16. Let z = 10 - v. Let t = -4616 - -4608. Which is smaller: z or t?
t
Suppose 19 = -4*n - 2*r + 451, 5*r = -20. Suppose 2*m + n = 2*j, 3*m + 6*j - 5*j + 149 = 0. Let z be m/9 + (-10)/(-15). Do z and -7 have different values?
True
Let i(c) = -c**3 + 5*c**2 - 3*c - 1. Let p be i(4). Suppose -4*z + 113 = -d - 300, -d + 315 = p*z. Is z > -2/7?
True
Let j = 736150 + -736084. Let k be 65 + 0 + 0 + 0. Which is bigger: k or j?
j
Suppose -10*f + 162 = -4*f. Let d be 18/f - (-359)/(-12). Let q = -29 - d. Which is smaller: -9 or q?
-9
Let f(y) = 2*y**3 - 6*y**2 + 11*y - 10. Let q be f(4). Let m = q + -60. Let h be (14/(-476))/(m/(-4)). Are h and -1 nonequal?
True
Let f = 0.16 + -0.26. Let p(g) = -5*g - 42. Let c be p(-9). Does f = c?
False
Let a 