2. Is r < b?
True
Suppose -o - 1 = 38. Do -40 and o have the same value?
False
Let r = -5595 + 72680/13. Which is smaller: -1 or r?
r
Let s be 4/(-6) - 20/6. Let h be (-63)/(-60) + 1/s. Let x = 10.23 + -10.43. Which is smaller: h or x?
x
Let r = -1/31294 + 3880511/1721170. Let n = 5/11 - r. Do -2 and n have different values?
True
Let r = 77 + -73. Suppose -2*i = 2*s - r, -3*i + 4*s = -s + 10. Is -1/5 bigger than i?
False
Suppose 5*g + 15 = -0. Let b be (28/1554)/((-1)/g). Does 1 = b?
False
Let b = 941 + -941. Is b < -1/513?
False
Let v be 1 - ((-36)/(-14) - 1). Let q = 411 - 410.9. Which is bigger: v or q?
q
Let f = -0.1 - -0.2. Let g = 1129/28207 + 2/421. Which is smaller: f or g?
g
Let k be 3/(6*10/(-160)). Let y(i) = 2*i + 10. Let h be (6/8)/((-5)/60). Let s be y(h). Is k smaller than s?
False
Suppose -4*w - 197 = -2*h - 1383, 5*w + h = 1486. Is 297 > w?
False
Let o be (-9)/12*(3/9 + -4). Suppose -5*x + 2*x + 18 = 0. Let g be x/4*4/9. Is o greater than g?
True
Let y(t) = -t**2 - 8. Let p be y(0). Suppose -5*f - 3*m - 37 = -f, -5*f - 90 = -5*m. Which is greater: p or f?
p
Let l(i) = i**2 + i + 5. Let s be l(0). Suppose 23 = 5*j - 3*a, 3*a = s*j - 10*j + 17. Suppose 4*u + 4 = j*p, 0*p - 5*u = -2*p + 11. Which is smaller: 4 or p?
p
Suppose r - 27 = -31. Let p be (203/(-42))/(2/r). Is 9 at least as big as p?
False
Let h(u) = u. Let c be h(4). Suppose 0 = c*z - 0*z - 28. Do z and 6 have the same value?
False
Let y = -4290 - -338904/79. Is 1 at most as big as y?
False
Let k be (-4)/(-10) + (-3)/(-5). Let n(p) = -p**2 - 4*p + 5. Let a be n(-4). Suppose a*y - 3*y = 2*x - 4, -x + 4*y = -8. Is x at least k?
False
Suppose -36 = -23*j + 17*j. Suppose -j*f = -4*f + 20. Is -11 <= f?
True
Let x = -2837/6666 + 5/303. Is x > 1?
False
Suppose -159*v = -152*v + 532. Is -77 bigger than v?
False
Let b(m) = m**3 + 4*m**2 - 2*m - 4. Let h be b(-4). Suppose 5*o + 4*y - 93 = 0, -4*o - 2*y + 90 = -h*y. Let w = -17 + o. Is w at least as big as 4?
True
Suppose -4*q + 2*c - 174 = 0, 3*c - 10 = -25. Is -39 at least q?
True
Let a = 2.42 - -0.28. Let m = -0.33 - -0.03. Let y = a - m. Is 0.1 greater than or equal to y?
False
Let r(s) = -109*s - 2. Let m be r(2). Let y be (m/12)/(13/1). Let u = 1/13 + y. Which is bigger: u or 0?
0
Let v = -457 - -1827/4. Which is smaller: -54 or v?
-54
Suppose 168 = -4*n + 4*i, -227 + 37 = 5*n + 5*i. Let l be (30/n)/((-3)/8). Let c be (l/1)/(1 + -7). Which is smaller: c or -1?
-1
Let x = 17.67 + -17.82. Which is smaller: x or 5?
x
Let z(r) = -131*r**2 - 1. Let l be z(1). Suppose 184*a = 182*a - 12. Let j be ((-4)/a)/(8/l). Is j < -10?
True
Let m = -0.278 + 192.278. Which is greater: 4 or m?
m
Let b be 4/10*((-6)/6 + -4). Which is bigger: b or -0.3?
-0.3
Let u = -54.7 + 7.7. Let h = 51 + u. Are h and -7/6 unequal?
True
Let a be (-144)/6 - (5 + -2). Let x = 23 + a. Let m be 15/(-4) + (-1)/4. Is m not equal to x?
False
Let f be 102 + 3 + 1 - (0 + -4). Let c be f/(-15) + 0 - -2. Is c smaller than -4?
True
Let s be ((-35202)/(-3522) + -10)/1. Which is greater: -0.1 or s?
s
Let h = -435 - -228. Let x be (-3)/156*h + (-9 - -5). Is x greater than 0?
False
Let o = 34 + -23. Let x = 3 + o. Let l(u) = 9*u + 67. Let m be l(-6). Which is greater: x or m?
x
Let z(o) = -3*o + 2. Let b be z(0). Suppose 3 = -4*p + b*j - 5*j, 5*p - 4*j - 35 = 0. Is p >= -2?
True
Let i = -178/3 + 1445/24. Suppose -4*q + 2*q = -4*x - 16, -4*q + 12 = -3*x. Which is bigger: i or q?
i
Let a = -1258 - -1251. Let j = 5 + -1. Suppose j = 4*z + 28. Is a <= z?
True
Suppose -12*h = -8*h + 696. Let g be h/(-8) - (-12)/(-16). Let o = -12 + g. Is 8 less than or equal to o?
True
Let j(p) = -2*p**2 + 20*p + 4. Let o be j(10). Let g be 3*(2 + o/3). Is 10 equal to g?
True
Suppose 0 = 5*t - 2*d - 140, -t + d + 3 = -25. Is t > 57/2?
False
Let w = 97.01 - 97.1. Let d = -100/3 + 33. Is w not equal to d?
True
Let n(r) be the second derivative of 0 - 1/20*r**5 + 11/6*r**3 + 3/2*r**2 - 5*r + 11/12*r**4. Let a be n(12). Does 1 = a?
False
Let u = -473.4 + 473. Let y = -1.73 - -0.13. Let z = y + u. Which is smaller: z or 0?
z
Suppose 0 = -0*a + 4*a + 4. Let w be (a/(-16))/(21/42). Suppose -5*c = 4*b - 13, 0*c + 4*c + 5*b = 14. Which is smaller: c or w?
w
Let y(t) = -25*t + 6. Let m be y(-2). Suppose 4*g + 3*b - m = 327, g - 5*b - 67 = 0. Let i be (11/22)/(2/g). Is i bigger than 22?
True
Let w be -2 + 3 - (-4)/(-3). Let r = w + 14/15. Let q = 320 + -319. Which is bigger: r or q?
q
Let v(g) = -g - 8. Let f be v(-8). Suppose f = 5*y - 12 + 2. Suppose y = m + 3. Which is greater: 1/8 or m?
1/8
Let v = 734 + -413. Which is greater: v or 322?
322
Let w = -2.3 - -2.3. Let a = 3 + w. Is a at least as big as 0?
True
Suppose -5*u + 3*r = 20, -4*r = -5*u - 6*r - 20. Is u less than -52/19?
True
Suppose -4*h = 3*t - 8*t - 6, 0 = -4*t + 8. Suppose -5*w = 3*k - 12, k - 14 = -w - h*w. Let s(u) = 2*u**3 + u**2. Let q be s(k). Is q less than -1/39?
True
Let d be (9/63)/(6/(-7)). Let b = d - -2/3. Which is smaller: b or 22?
b
Let f = -1/44 - -223/132. Which is greater: f or 1?
f
Let p = 56 + -80. Let c = 244 - 268. Do c and p have the same value?
True
Let p = -30/7 - -32/7. Is 12 equal to p?
False
Let x be 3/1 + (18 - 17). Suppose -68 = -0*s + x*s. Is -33/2 > s?
True
Suppose 3*y - 5*d - 11 = 23, -2*y = -3*d - 21. Let b be ((-6)/(-2) - y) + -27. Is -27 equal to b?
True
Let b = 26 + -19. Let r = 21 - 22. Let k be r/(-1 + 4)*-4. Which is greater: b or k?
b
Let v(z) be the second derivative of -z**4/12 + z**3/2 + 5*z**2/2 - 12*z. Let t be v(-6). Which is greater: -48 or t?
-48
Let r = 10/121 - -959/1573. Is r smaller than 0?
False
Suppose 12 = 4*g - 8. Suppose -6 = g*z - 21. Suppose y + 10 = 2*q + 32, 4*y = -z*q - 22. Which is smaller: q or -9?
q
Suppose -24*y = -19*y - 5. Let k be 4/6*-6 - (y - -12). Which is greater: k or -20?
k
Let q = 40 - 39. Which is smaller: q or -15/74?
-15/74
Let n = 358/15 + -121/5. Which is bigger: n or -6?
n
Let w = -21 + 19. Let m be (30 + -2 + 3)*3/3. Let a = m - 29. Is a at most as big as w?
False
Let w = 533 - 179. Is w equal to 355?
False
Suppose -1378 = 5*x - 193. Let h be 3 - (3 + 6/x). Which is bigger: 0 or h?
h
Suppose 250 = 3*o - u, 4*o - 3*u - 344 = u. Let i = -11825/147 - 109/49. Let b = i + o. Is b bigger than -4/11?
False
Let o = -4.10559 - -4751.99559. Let l = o + -4722. Let f = l - 26. Is 1 != f?
True
Let l be 6 - 1 - (-5 + 10). Is l <= -4/27?
False
Let j = 3169/36 - 353/4. Which is greater: j or -2/11?
-2/11
Let d = -146 + 143. Is d greater than or equal to 1?
False
Let t be ((-104)/4)/(-2) + -1. Suppose -17*v + t = -18*v. Let j be (v/(-36))/(1/3). Are 3/11 and j non-equal?
True
Let p be (-3447)/252 + 2/(-28). Which is bigger: p or 1/5?
1/5
Let x = -534 + 427. Is x smaller than -110?
False
Let s = 26 - 15. Let g = -86 - -44. Let o be ((-8)/14)/(60/g). Which is greater: s or o?
s
Suppose 0 = -5*d - 25, z + 347 = -5*d - 70. Does z = -391?
False
Let s = -12/377 + 1868/377. Which is greater: s or 5?
5
Let o = 338 + -338. Is o less than -8?
False
Suppose 13*p - 54 = 258. Let n = p - 59. Is n not equal to -37?
True
Let o = -1.986 - 0.014. Does o = 58?
False
Let k(w) = -4*w**3 + 2*w**2 - 4*w + 1. Let q(u) = u**3 + u. Let g(t) = -k(t) - 3*q(t). Let l be g(2). Which is smaller: -1/5 or l?
-1/5
Let n = 0.44 - 0.4. Let k = 2.04 - n. Let f = 2860/24599 - -2/1447. Is f >= k?
False
Let z(i) = -i**3 - 4*i**2 + 7*i + 5. Let q = 18 - 23. Let l be z(q). Let w = 10 + l. Which is greater: w or 7/2?
w
Let v be 264/150*6/(-9). Let a = 4/25 - v. Which is bigger: a or 2?
2
Let m be (4/(-8))/(2/(-4)). Let c be (-4*m)/((-30)/(-135)). Is -20 < c?
True
Let n be 790/((-6)/(-27)*-3). Let d be n/(-115)*129/72. Let l = d - 147/8. Does l = 1?
False
Let z(l) = 2*l**2 - 8*l + 14. Let t be z(5). Let o = -36 + t. Suppose -p = 2*p + 36. Is p greater than o?
False
Let g(x) = -x**3 + 2*x**2 - x + 9. Let y be g(3). Which is smaller: 2/117 or y?
y
Let c(v) = v**3 + v**2 - 3*v - 5. Let s be c(-2). Let o be s*(0 - (-10)/(-105)). Let w = -14.1 - -14. Which is bigger: w or o?
o
Let m = 13.39 + -13.19. Which is smaller: 42 or m?
m
Suppose -r = 2 - 5. Suppose 0 = -o - 2*c + 14, 3*o + r*c = 4*c + 35. Let f = -126 - -136. Are o and f equal?
False
Let b = -227.536 - 0.464. Which is smaller: -1 or b?
b
Let y = -271/100 + 11/4