5. Which is smaller: o or b?
o
Suppose 4*h - 129 = -5*q, -9 = -2*h + 5*q + 18. Let a be (-9)/(-36) - h/40. Which is smaller: a or 0.03?
a
Let p(q) = -q**2 - 12*q - 11. Let s be p(-8). Let k = -23 + s. Is k greater than -11/6?
False
Let z(l) = 5*l - 11. Let j be z(-14). Let q = 77 + j. Which is bigger: q or -3?
-3
Let d(f) = 50*f + 2. Let w be d(1). Let q = w - 53. Is q at most 1/58?
True
Suppose w = -u + 14, 4*u - 2*u + 5*w = 13. Suppose 0*t = -t + 5*g + u, 4*g + 21 = -5*t. Let k = -179 + 1435/8. Which is bigger: k or t?
k
Let l = -81 - -144. Let z(q) = -q**2 + 21*q - 5. Let v be z(17). Is v greater than or equal to l?
True
Let i = -115 - -225. Let v(o) = o**3 + 11*o**2 - 19*o + 27. Let s be v(-12). Which is greater: s or i?
s
Let l be ((-1)/2 - 0)*2. Let r = -357 + 353. Is r equal to l?
False
Let y = -1430279/435 - -3288. Is 1 greater than y?
True
Let b(p) = -119*p - 114. Let y be b(-3). Which is smaller: 242 or y?
242
Suppose 2*i + 22*h + 19 = 21*h, 2*i + 34 = 4*h. Suppose 4*b = 4*p + 40, 0*p - 3*p + b - 32 = 0. Do i and p have the same value?
True
Suppose -5*t + 3*j - 37 = 24, 0 = -3*t + j - 35. Which is greater: t or -41/4?
-41/4
Let o = 8 + -50. Which is smaller: -41 or o?
o
Let v be 13/(-20) - (-2)/5. Let a = -94.9 + 92.9. Which is greater: v or a?
v
Let u(j) = -j**3 - 13*j**2 + 30*j + 2. Let r be u(-15). Suppose 4*p - 2*k = 2*k - 8, 2*k = -r*p + 8. Do -2/157 and p have the same value?
False
Let r = 44/9 + -317/63. Let v be 8/(-20)*-10*1. Suppose -v*q = b + 2, 6*b = -2*q + 4*b + 2. Which is smaller: q or r?
q
Let l(m) = m**3 - 2*m**2 + 7*m - 4. Let u be l(4). Let h be 5*1 - (-1 + u). Are h and -50 non-equal?
False
Suppose -346 + 1050 = 3*q - 4*z, -z = 2*q - 473. Which is smaller: q or 1650/7?
1650/7
Let l = 15 + -12. Suppose -l*o - j - 41 = 0, -2*o = j + 4*j + 49. Let d be 1 - 0 - (-10)/o. Is 3 bigger than d?
True
Let v(q) = -q**2 - 32*q + 71. Let s be v(-35). Are s and -23 equal?
False
Let h = 857/17 - 252/5. Let z be (-2 - -1)*(-3 - (4 - 6)). Is h not equal to z?
True
Let w = 582 - 564. Do 1 and w have different values?
True
Suppose i + 2*g - 73 = -g, -4*g = -12. Which is bigger: 63 or i?
i
Suppose 18 = q - 4*b, 11*q - 7*q - 86 = 2*b. Let j(l) = 2*l**3 - 3*l**2 - l - 1. Let u be j(3). Let r = q - u. Which is greater: r or 1/4?
1/4
Let m be ((-2)/6 + -1)/(2828/(-42)). Is m equal to 0.3?
False
Let n = 0 + -1/2. Let v = 30 + -31. Is n greater than v?
True
Suppose -h = -15 + 66. Let g be h/3 - (-3)/(6/4). Does -15 = g?
True
Let n be -7 + 2 - (7 - (21 - 9)). Let m = -15/64 - -1339/5440. Which is smaller: n or m?
n
Let t be -6*(-2)/3*-51. Let p be 4/14 + t/28. Let w = 665 + -670. Is w < p?
False
Suppose 0*q - 25 = 4*q + 5*n, 5*q - n - 5 = 0. Suppose q*s + 19 = 4*s + 5*k, -2*s = -3*k + 7. Which is greater: s or -3?
s
Suppose -3*o - 75 - 19 = -4*r, 4*o - 80 = -4*r. Let g = 42 - r. Let v = g - 18. Do v and 4 have the same value?
False
Let i be (-2)/11 + -2 + (-18872)/(-220). Let k = i + -88. Are k and -4 nonequal?
True
Let d = -0.0588 - -7.2288. Let k = -1.17 + d. Which is greater: -5 or k?
k
Suppose -7*u + 3*u - 84 = 0. Let x = -3348 + 3326. Which is smaller: x or u?
x
Let v be (1*-1)/((-6)/(-126)). Let m be 6/v + (-2)/(-7). Suppose 3*l + 1 = 2*i - 2*l, -4*l + 4 = m. Is 1 bigger than i?
False
Let o = 307 - 277.6. Which is smaller: o or -0.1?
-0.1
Let d = -118 + 117. Let p = 157/1539 - 4/81. Which is bigger: d or p?
p
Let d = 6.01 + 0.29. Which is smaller: -1 or d?
-1
Let t = -748493977/388 + 1929106. Let l = t - 6/97. Suppose -w - 2 - 1 = 0. Which is smaller: w or l?
w
Suppose -54 = 3*v - 4*v. Let k = v + -267/5. Let j = -952 - -950. Does k = j?
False
Let t = -0.39 + 0.337. Let r = t - -13.053. Which is smaller: r or -0.2?
-0.2
Suppose -74*o + 81*o = 77. Is 59/6 bigger than o?
False
Let o = -24 + 25. Suppose -x - 132 = -5*x. Let l be (x/22)/(123/4). Which is smaller: o or l?
l
Suppose -4*i = -t - 26, 2*t + 40*i - 37*i = -19. Suppose 26 = -0*g - 2*g. Are t and g unequal?
True
Let r = 2667/5 - 538. Do -6 and r have the same value?
False
Let n = -271 - -186. Let u = n - -84. Is u > 3/4?
False
Let y = 80 + -238/3. Suppose 2*u = 5*t - 4, 0 = -2*t - 3*t + u + 2. Let w(f) = -2*f + 7. Let m be w(t). Are y and m equal?
False
Let s = -25 - -24.79. Let w = s - -0.31. Let u = -5.2 - -7.5. Which is smaller: u or w?
w
Let i = -11 + 6. Let q = i + 4.96. Let p = 2.96 - q. Are -2 and p equal?
False
Let t be ((-4)/(-7))/((-14894)/(-77)). Do -1 and t have the same value?
False
Suppose -462 = 488*s - 491*s. Is s > 3?
True
Suppose q + 3*v = -v + 29, 4*q = v + 65. Suppose -3 = -5*a + 2*a - j, -2*a - j = -2. Let z(w) = 16*w**2 + w - 1. Let u be z(a). Which is bigger: q or u?
q
Let a(s) = -2*s**2 + 8*s + 11. Let l be a(5). Suppose 8 = -9*h - l. Is -2/23 less than or equal to h?
False
Let h = -131 - -82. Let b = 0.2 - 0.3. Is b greater than h?
True
Suppose -3*d + 15 = 5*u - u, 0 = 3*d - u - 15. Suppose -5*b - d*k = 2 + 8, k = -5. Is 4 at least b?
True
Let u be ((-32)/(-22))/(-2) + 2. Let x be (263/30*-2)/(198/15). Let w = u + x. Is w bigger than 1?
False
Let i be 2 + -3 + 2/2. Suppose 2*w + i*w = 8. Suppose w*v = 8*v. Is v at least 1/17?
False
Let b = 17 - 41. Let l be 20/3*b/(-10). Let y be 1/l*(-6)/1. Which is smaller: y or 1?
y
Suppose -4 = 2*i - 2. Let k be ((-6)/(0 + -3))/i. Let w(d) = -5*d + 4. Let s be w(k). Is s at most 13?
False
Let g be 27 - 30 - -21*(-4)/(-26). Is -2/7 greater than or equal to g?
False
Let n(y) = 2*y**2 + 3*y + 2. Let j be n(-2). Let v be (-52 - (-7 + j)) + (0 - 0). Which is greater: v or -48?
-48
Let w = 1250 + -1226. Is w <= 21?
False
Let h be -4*2/(2/3). Suppose b + 3*j + 10 = 0, 0 = 3*b - 3*j - 33 + 3. Suppose b*p = 5*f - 3*f - 59, -3 = f. Do h and p have the same value?
False
Suppose 3*a - 3 = 4*t - t, 4*t = 3*a - 8. Is a less than -35?
False
Let v = 1565.97 + -1577. Let s = v - 0.77. Let z = s - -12. Is z smaller than -0.7?
False
Let b be -22*3/(-114) + -4. Let f = b + 1771/551. Is f > -1?
True
Suppose -34 = -2*o + 22. Let a = o - 28. Is -4/11 at most a?
True
Let y = -258 - -2836/11. Let q be 15/(-27) + 8/36. Which is bigger: q or y?
y
Suppose -5*a = 5*y - 95, 2*y = -a - 2*a + 60. Is a bigger than 42?
False
Let g be (-3006)/502 - (-98 + 92). Which is smaller: g or -1?
-1
Let p be 14/(-49)*(116/8 - -2). Is -6 smaller than p?
True
Let z = 1.45 + -1.59. Let y = -4.54 - -5.4. Let q = y - z. Which is bigger: -3 or q?
q
Let k be (50*27/(-24))/((-8)/(-32)). Let q be (-5)/(k/219) + 1/3. Is 6 > q?
True
Let i(b) = -14*b - 2. Let l be i(-1). Let p be 1 - 3 - (-21)/l. Let t be (-15)/(-21) - 2/(-7). Which is greater: t or p?
t
Let o = -29 + 95. Let u be 2/(-3)*(o/(-4))/11. Let h = -7 + 12. Is h smaller than u?
False
Let v = -0.578 + 0.008. Let i = -0.28 - v. Let p = i - -0.71. Which is greater: 3 or p?
3
Let v = 1521 + -1520. Let u = -0.2 + -3.8. Which is greater: v or u?
v
Suppose -9*h + 65 = 965. Which is bigger: -98 or h?
-98
Let b = 1513 + -1447. Which is smaller: b or 17?
17
Let p = 185 + -146. Let g = 4/7 - 6/7. Is g at least p?
False
Let x = -8273939/10755 - -106/1195. Let u = -770 - x. Which is smaller: 0 or u?
u
Let v be 2*(20/(-7) + 2 + 1). Is v != -0.43?
True
Let g be (-260)/10 - (-1 - -4). Let f(s) = 2*s**3 - 31*s**2 + 12*s + 15. Let r be f(15). Are g and r unequal?
True
Let n = -37 - -22. Let j = n - -15. Let x = -0.2 + j. Which is smaller: x or -3?
-3
Let h be (2 + (-9)/6)*8. Suppose 160 = -3*s + 5*c, 5*c + 140 = h*s - 6*s. Let f be (18/15)/(18/s). Does f = 3?
False
Suppose 3*h = 3*j + 5*h + 4, 5*j + 8 = -2*h. Let y be 1/((j/(-76))/((-12)/(-12))). Does y = 37?
False
Let q = 30 - 20. Suppose 5*b - 3*b - 3*k - 7 = 0, b = 5*k + 7. Let c(a) = 2*a**3 - a**2 - a - 2. Let x be c(b). Which is bigger: x or q?
q
Let y = -1619.94 + 1660. Let r = y - 40. Which is smaller: r or -2?
-2
Suppose 5*f - n - 16 = 0, 0 = -2*f + 5*n + 3 + 8. Let l(q) = -q**2 + 3*q + 2. Let u be l(f). Suppose 0 = -6*t + u*t + 32. Which is smaller: 9 or t?
t
Let x(y) = -11*y + 45. Let m(h) = -5*h + 23. Let w(j) = -9*m(j) + 4*x(j). Let q be w(15). Which is greater: q or -13?
q
Suppose 2*o + 4*w + 66 = 0, 3*o - 8*w = -10*w - 111. Let j = -1.1 + 0.1. Which is greater: o or j?
j
Let c = 630.96 - 631. Is c not equal to 25?
True
Let y = -1.55 + 1.25. Is y not equal to 0.8?
