ch is bigger: -25 or o?
o
Let s(h) = -h**3 - h**2 + 3*h - 1. Let v be s(-3). Suppose i - 3*i + v = 0. Suppose 0 = 6*y - i*y - 2*d + 2, -y - 5*d = -17. Is -5 greater than y?
False
Let d = -315 - -287. Is d greater than -3?
False
Let g = 171077 + -118882. Let s = g + -364629/7. Let r = s - 105. Which is smaller: r or 0?
0
Suppose 4*i = 3*i + 6. Let v be (-1 - 0)/(i/(-66)). Suppose 5*u - 4*x = 124, 2*u - 3*x = 40 + v. Is 24 >= u?
True
Let s = 1340.84 + -1341. Which is smaller: 8 or s?
s
Let u(h) = -64*h - 142. Let w be u(-2). Which is bigger: 11 or w?
11
Suppose -2*c + 0*c = 2. Let h = -110 + 104. Which is bigger: c or h?
c
Suppose -3*r = 3*q + 9, -r + 14 + 18 = -4*q. Suppose -b + 6 = -5*o - 8, -o = -5*b + 70. Suppose -5*w + b = 44. Which is bigger: q or w?
w
Let y = -371.63 - -376. Let f = -0.37 + y. Which is smaller: 1/2 or f?
1/2
Let z = 1059/2 - 530. Which is smaller: z or 732?
z
Suppose -4*u + 6*a = a - 16, 4*a = 0. Suppose 5*s + 4*i = 6 + u, 0 = 3*s - 5*i - 43. Are s and 31/6 unequal?
True
Let i = 941 + -464. Let c be 309/i + 2/(-3). Is c less than or equal to 2?
True
Suppose 4*a = -4, -3*g - 8*a + 9*a = 2. Let f(c) = 2*c**2 + c. Let o be f(g). Which is bigger: 6/31 or o?
o
Let j = -2161 - -2205. Is 43 less than or equal to j?
True
Let l = -781 - -780. Which is greater: 2/69 or l?
2/69
Let y = -1.65 + 1.45. Which is bigger: y or -36?
y
Suppose -16 = 3*g + 122. Let t be 6 + (2 - 45 - 9). Are g and t nonequal?
False
Let y = -46 - -86. Suppose 0*b - y = 2*b. Is b greater than -21?
True
Let n = -2/8147 - 81384/350321. Is n at most 1?
True
Suppose -2*x = -5*f + 20, 14 = -4*x - 2*f + 22. Is 2/911 at least x?
True
Suppose 24*r + 23 = -1. Is r > -19.2?
True
Let i = -24 - 79. Are -100 and i non-equal?
True
Let x = -31.0843 - -0.0843. Do 2/7 and x have different values?
True
Let j = 229 - 209.9. Let a = 40 - 21. Let q = j - a. Do q and -1/4 have the same value?
False
Let r(t) = 5*t + 72. Let m be r(-14). Suppose -4*u = -6 + 2. Let n be (u/(-1))/((-7)/21). Is m less than n?
True
Let y be (-13*3/6)/(21/168). Which is bigger: y or -51?
-51
Suppose -711 + 171 = 10*y. Let a be (-1)/12*y/18. Which is bigger: a or 5.7?
5.7
Suppose 3*j = -a + 128, -3*j + 85 = 5*a - 39. Is 48 equal to j?
False
Let t(g) = g**2 + 8*g + 6. Let z(a) = -a. Let r(c) = t(c) + 2*z(c). Let h be r(-4). Let m be h/(-12) + (-21)/18. Is m greater than 0?
False
Let u = 311 + -314. Is -0.2 at least u?
True
Let y be (-88)/(19 - 11) - -245. Is 233 < y?
True
Let m = 1147 + -60781/53. Is m < -1?
False
Let m(q) = -q**2 - 4*q + 4. Suppose -7*v + 2 = -19. Let z be m(v). Which is smaller: z or -20?
-20
Let p be (-2)/4 + -4 + (-13)/(-2). Let d be ((-15)/(-6) - p)/(-45). Is -1 at most as big as d?
True
Let i be (7 + 8692/8)*(-4)/6. Which is smaller: 2/7 or i?
i
Let m = 0.6 - 0.7. Let b = -25.08 - 2.12. Let h = b + 5.2. Is h equal to m?
False
Suppose y - 9 = 4*y. Let r be (-3 - -3)/(y - -5). Suppose 3*u - 18 = -r*u. Which is smaller: 7 or u?
u
Let n = 21.11 - 3.21. Let w = n - 20. Let u = w - -2. Which is bigger: -7 or u?
u
Suppose 8*o - 6*o = -76. Which is smaller: 0 or o?
o
Let h = -1359 + 1359.1. Which is bigger: 399 or h?
399
Let n be 2 + 0 + -2 + 2/(-59). Is n at least as big as 1?
False
Let w(z) = z**3 - 2*z**2 - 4*z + 7. Let h be w(3). Suppose -h - 7 = i. Is -7 greater than or equal to i?
True
Let u = 7732 - 301546/39. Suppose 2*h + h - 3 = 0. Which is smaller: h or u?
u
Let w = 0.06 + -19.06. Let f = -0.31 - -0.11. Is f greater than w?
True
Let j = -33 - -32.66. Let g = j + 0.14. Do 2/7 and g have different values?
True
Let u be (-2 - (3 - 1 - 3))*32. Is u at least -32?
True
Let i = -14987/15 - -999. Let f(w) = -w - 4. Suppose -4*j - 25 + 5 = 0. Let y be f(j). Do i and y have the same value?
False
Let r = -5 + 9. Suppose -r*i - 5 - 4 = -5*p, -5 = 5*i. Let j be 12/(-36) - (-2)/(-18). Is j < p?
True
Let a(j) = -j**3 + 10*j**2 + 19*j + 5. Let n be a(4). Which is greater: n or -1/4?
n
Let t = 1/10 + -47/70. Suppose 3*z - 7 = 4*n, -5*n = -5*z + 5 + 5. Suppose -3*p = 5 + z. Are t and p unequal?
True
Let t be 0*((-6)/39 + (-187)/(-286)). Do -2/479 and t have different values?
True
Suppose 2 = -5*k - 4*f, -5*k - f = 2*f - 1. Let a = -114 + 199. Let z = -79 + a. Which is smaller: k or z?
k
Suppose -14*p + 11*p - 5*q = -4, 12 = -p - 5*q. Which is smaller: -21 or p?
-21
Suppose 5*z - 47 - 183 = 0. Let t = z - 68. Is t >= -22?
True
Let j(v) = 18*v - 86. Let t be j(-7). Are -211 and t non-equal?
True
Suppose -4*r + 3 = -r. Suppose 0*l - r = l. Let y be 5/(-970)*(10 + -6). Which is bigger: l or y?
y
Suppose -39*a = 42162 + 4287. Which is smaller: a or -1192?
-1192
Let f = -339 - -341. Which is bigger: 27 or f?
27
Let r be ((-16)/(-10))/(2/10) - 4. Is 3 less than r?
True
Suppose 5*b + 31 = -4. Let g(s) = s**2 + 6*s - 6. Let q be g(b). Let u be -1 + 1 + 3/48. Is u greater than or equal to q?
False
Suppose 2*t - 6 = 0, 2*n - 4*t + 32 = -0*n. Suppose 7*d = 2 + 5. Let s be d - 8*(-4)/(-24). Is n less than s?
True
Let v(f) = 4*f**2 + f - 1. Let p be v(-1). Let y be (3/(-57))/(1/p + -1). Which is smaller: y or 1?
y
Let i be (-44)/(-27) - (5 - 1 - 2). Is -1 equal to i?
False
Let y = 0 - -48. Let a be ((-2)/(-6))/(8/y). Is 13/4 bigger than a?
True
Suppose 14 = 25*g - 39*g. Which is greater: g or 2?
2
Let s be (-1)/(-2) - 4/(-8). Which is bigger: -6/83 or s?
s
Let w be (6/(-16))/((-1)/2). Suppose u + u = n, 0 = -4*u - n. Which is smaller: u or w?
u
Let b be -4*((-3)/(-6))/(10/40). Which is smaller: -9 or b?
-9
Let o be 6/(-4)*2/(-1). Let v be (-10)/(-2) + (0 - 0). Suppose -o*k = -v - 37. Which is smaller: 15 or k?
k
Let x be (0 + 3)*120/5. Let l = -4532/63 + x. Let o = l - 146/315. Is o greater than or equal to 1?
False
Let c = 345 - 348.99. Let o = -4 - c. Let m = o - 2.99. Which is greater: 1 or m?
1
Let a be (28/(-14))/((-2)/(-3)). Let x be (a/2)/(9/8). Which is smaller: x or 2/7?
x
Let x be (-4)/4 - ((-98)/(-2) + -2). Let n = x - -53. Let u = 1 + 4. Are u and n non-equal?
False
Let b be (-24)/(-84)*2/(-164). Let j = b - 1137/3157. Is j > 1?
False
Let i = 944 + -945. Which is greater: -10/23 or i?
-10/23
Let u = -1963522/739 + 2657. Which is smaller: u or -1?
-1
Let i = -77.9 - -78. Which is bigger: 83 or i?
83
Suppose -a = -4*a. Let k be (6/(-4))/((-473)/88). Let j = k - 218/473. Which is greater: j or a?
a
Let a = 47961/4 - 12110. Is a equal to -120?
False
Suppose t = -33 - 2. Let p = -36 - t. Which is bigger: 2 or p?
2
Suppose -5*d - 2*w + 77 = 20, -36 = -4*d - 4*w. Let c be d/(-12) + (21/12 - 2). Let a be (-3)/2 - (-68)/56. Which is smaller: c or a?
c
Let d = 277 - 252. Let x be 26 + 0/(1 - 0). Is x bigger than d?
True
Suppose 268*w + 1344 = 260*w. Is 0.07 < w?
False
Suppose t = -3 + 18. Let j = -2 + t. Is j bigger than 14?
False
Suppose -40 = 8*r - 32. Is r >= -2/379?
False
Let h be 2 + 10/(-2) - 5650/(-300). Are h and -1/2 non-equal?
True
Let q(d) = d**3 - 25*d**2 + d - 22. Let y be q(25). Which is smaller: 56/27 or y?
56/27
Suppose -3*t + 22 = 4*w, 3*w - 5*w + 46 = 4*t. Let m = t - 16. Which is bigger: m or -16/5?
m
Suppose 2*m + 2*d + 80 = 0, 0*d + 76 = -2*m - 3*d. Which is greater: m or -2/5?
-2/5
Let v(m) = m**3 - 6*m**2 - 9*m + 12. Let s be v(7). Let a be (-2 - -2)/(s + 3). Is 2 < a?
False
Let i = -7997/767 - -125/59. Is i at most as big as 1/3?
True
Let k = -913 - -918. Let o = 3.2 + -3. Let h = 0.2 - o. Which is smaller: h or k?
h
Let b(n) = n**3 + 6*n**2 + 4*n - 5. Let d(v) = -v**3 + 2*v**2 + 2*v - 1. Let o be d(3). Let z be b(o). Suppose z*m - 6*m + 5 = 0. Which is bigger: m or 1/8?
1/8
Let n be (-1)/(-1)*(5 + -5). Suppose 3*z = -3*i - 21, 6*z - z + 10 = n. Let x(f) = f**2 + 5*f - 1. Let j be x(-4). Is i not equal to j?
False
Let g = 0.3 + -0.1. Let d be ((-6)/(-5)*(-92)/32)/3. Let a = d - -7/5. Which is greater: a or g?
a
Let i be (-9)/(-9) - 2 - (1 + 9688). Let q be (-2)/15 + (-4352)/i. Which is smaller: 1 or q?
q
Let j be ((-13)/2)/(10/4). Let d = 10.8 - 10.7. Which is bigger: d or j?
d
Let z be 8/20 + 3589/(-35). Let a = 102 + z. Suppose -5*y + 2*b = 3, 2*y - 4 = 5*b - 1. Is y at least a?
False
Let h = 0.026 + 7.674. Let t = h - 11. Let p = t + -9.7. Is p greater than 1/2?
False
Suppose -86 + 56 = -5*g. Suppose 12*q - g*q = 216. Do q and 36 have the same value?
True
Let g be (-46)/45*(-72)/