+ n. Let u = 23.2 - f. Which is greater: -5 or u?
u
Let r = -42 - 7. Let z = r + 48. Is -6/31 >= z?
True
Let q be 8/(6/(24/4)). Is q smaller than 8?
False
Let x = 228002/345 + -3965/6. Let v = 4/69 + x. Are 1 and v equal?
False
Suppose -24*l = -27*l + 3. Is -2/9 smaller than l?
True
Let o be 6/(-20) + (-2232)/(-4240). Which is greater: o or 2?
2
Let p be 26/8 - (-2)/(-8). Let o = -14 + p. Which is bigger: -8 or o?
-8
Suppose 19*n + 1 = 1787. Which is bigger: n or 96?
96
Let v be (-222)/9 - (-2)/3. Let b be 39*(44/12 + 9/(-3)). Let q = v + b. Is 2 >= q?
True
Suppose 5*m = p + 19, -299*m = -4*p - 302*m + 16. Let c = 421 + -7153/17. Are c and p unequal?
True
Let j = 755 - 526. Let w = j + -228.01. Let n = 0.01 + w. Which is bigger: n or 6/11?
n
Let j = -469 + 471. Is j less than 0.271?
False
Suppose -2*w + 3*b - 74 = 0, -2*b = 4*w - 3*w + 51. Let m = w + 16. Which is greater: -26 or m?
-26
Let m = 3415/14 + -245. Let i = 387/322 + m. Which is smaller: i or 0?
0
Let r = -4 - -5. Let q(z) = 20*z**3 + z**2 + z - 2. Let y be q(r). Let c = -29 + y. Is -8 less than c?
False
Let i = -3 - -6. Suppose 5*j - 5*k = 25, -4*j - 4*k + 7 - i = 0. Suppose 2*y + 5*c - 7 - j = 0, 10 = -5*y + 5*c. Is 1/14 != y?
True
Let h be 14*21/(-350)*1. Is -1 >= h?
False
Let n be ((-18)/4)/(3/4). Let r be (4/8)/(3/n). Is 6/23 at least as big as r?
True
Let h be ((-6)/82)/((-6)/(-4)). Let k = 23 - 19. Suppose 0 = -0*o + k*o. Is o at most as big as h?
False
Let x(c) = c**2 - 32*c + 73. Let v be x(17). Which is greater: -181 or v?
-181
Let o(i) = -i**2 - 3*i - 3. Let t be o(-2). Let y = 249 - 243. Let w be (-6 + (t - -5))/y. Is 2 at least w?
True
Let a = -461 + 459. Which is smaller: -28/43 or a?
a
Let h be (-375)/(-55) - (-4)/22. Suppose 2*m - h = -3. Suppose 0 = -q + 4*l + 22, 2*q + 1 = -l - 0. Is m at most as big as q?
True
Let n = -63 - -67. Suppose 0 = -2*m - 2*k - 6, -m - 4*k - 22 = -2*m. Suppose -n = -0*t + m*t. Is t > -2?
False
Suppose -4*z = -15 + 47. Let w = z - -15. Suppose 36 = 3*o - 5*y + 10*y, 2*o - y = -2. Is w bigger than o?
True
Let v = 289 - 5781/20. Let a = -5 + 15. Let b = -11 + a. Which is smaller: b or v?
b
Let s(c) = -77*c**2 + c + 6. Let u be s(5). Let t be u/473 - (0 + -4). Which is smaller: t or -0.1?
-0.1
Let q(i) = 4*i**2 + 3*i. Let c be q(-2). Let s(m) = -9*m + 19*m + c - 9*m. Let o be s(-12). Which is smaller: o or -3/4?
o
Let r be 10*(-6 + (-783453)/(-130570)). Is r <= -1?
False
Let g = -25328/11 - -2299. Which is greater: g or 3/2?
3/2
Suppose 0 = -3*q - 195 - 72. Let d = 129 + q. Suppose 0 = 9*o - 14*o - d. Are -7 and o non-equal?
True
Let x(w) = -27*w + 25. Let y be x(2). Is -22 at most as big as y?
False
Let c = -46.7 - -46.535. Is 1 greater than c?
True
Let s = 415 + -418. Do 9/4 and s have the same value?
False
Let h(k) = 2*k**2 + 3*k**2 + 11 + 4*k - k + k - k**3. Let c be h(6). Do c and 25 have different values?
True
Let n = 262 - 225. Is n less than or equal to 340/9?
True
Let v = 0.52 + -6.32. Let h = 4.8 + v. Is h equal to 0.11?
False
Suppose -261*t - 7 = -254*t. Let y = 60.3 - 67. Are t and y equal?
False
Let r = 8 - 0. Let p be 8/((11/22)/((-2)/(-8))). Are r and p unequal?
True
Let u be ((-5)/(1/1))/(-1). Let b be (6 + 18/3)/2. Which is smaller: b or u?
u
Let c = -13/3 + 1187/276. Which is greater: c or -1?
c
Let k(y) = -y**2 + 7*y - 2. Let d be k(4). Let r = -169 - -180. Is d smaller than r?
True
Suppose -6*f = -2*f. Suppose -5*g - 5*k + 25 = f, -15 = k - 4*k. Let s be g - (2 + 2 + -3). Which is smaller: 2/15 or s?
s
Let g be -8*(-2 + (-33)/(-12)). Let r = g + 8. Let a be r/(-5) - (-84)/10. Which is greater: 7 or a?
a
Let h = 491 - 352. Is h > 1?
True
Suppose -14*t = -6*t - 120. Suppose 3*g - t = -6. Which is bigger: g or 2?
g
Suppose -17*x + 8106 = 4*x. Which is smaller: x or 385?
385
Suppose -4*q + 8 = -0*q. Suppose 4*l + j - 1 = 0, -3 = -q*l - 0*l - 3*j. Which is smaller: -2/21 or l?
-2/21
Let q = 8 - 0. Suppose -q = p - 5. Let n = -2.6061 + -0.3939. Is n less than p?
False
Let c = -14.9 + 15.1. Which is smaller: c or 25/6?
c
Suppose v - 3*k = -k - 9, -3*k = 2*v - 10. Let l be (-2)/(-3 + 1)*-7. Which is bigger: l or v?
v
Suppose 0 = -251*c + 257*c + 162. Is -13 greater than or equal to c?
True
Let s = 12 + 42. Suppose 270 - s = -9*u. Which is bigger: u or -26?
u
Let p = -0.3 + 0.6. Let j = 21.1 + -21. Let c = p - j. Which is smaller: 5/4 or c?
c
Let f = 100 - 164. Let j = -69 - f. Is -0.01 <= j?
False
Let j = 35263/37 + -953. Let p(f) = f**2 - 5*f + 1. Let x be p(5). Let o = -1 + x. Which is smaller: j or o?
o
Suppose 8*x = 4*x + 92. Are 28 and x nonequal?
True
Let o be (9/18 + (3 - 3))*-74. Is o bigger than -37?
False
Let u = 97.9 - 98.3. Which is smaller: u or 37?
u
Let k(w) = w**3 + 7*w**2 + 5*w - 7. Let u be k(-6). Let m = 26 + u. Let v be ((-5)/3)/(56/(-840)). Is v less than or equal to m?
True
Let m be (-8986)/7176 - ((-102)/24 + 3). Which is greater: 1 or m?
1
Let o be -11*(3 + -2)*-1. Let z = 2 + o. Let s = 9 - z. Which is greater: s or -6?
s
Suppose -4*z + 10 = -2*y, 12*z + 2*y = 10*z - 10. Are z and -138 unequal?
True
Let t be 324*-1*156/(-18). Let j be 51*2/t*-508. Let v = 164/9 + j. Is 0 greater than or equal to v?
True
Suppose -17 = -3*j + 5*a, -2*j + 4*j - 3*a = 10. Let c be (j/(4/6))/((-468)/(-16)). Let k be (-1)/2*(1 - 3). Does k = c?
False
Let d = 8 - -31. Is 39 at most as big as d?
True
Suppose -5*d - 5*p = -2*d - 43, -2*d + 17 = p. Suppose -8*y + y = d*y. Let r = 110 + -2861/26. Is y greater than or equal to r?
True
Let l be 6/(-10) + (-3216)/(-2160). Which is greater: l or -27?
l
Let i = 30 - 24. Let d be 0 - 1 - (5 - i). Is -2/15 > d?
False
Let l = 8 + -7.6. Let v = l + 13.6. Let a = 14.2 - v. Is -4/13 > a?
False
Suppose p = -x + 5, -3*p = -2*x - x - 3. Suppose 2*k = u - x*k + 8, -5*k = -2*u - 1. Let d = u - 16. Is d equal to -4?
True
Let j = 79.2 + -98. Let p = 0.25 - -18.75. Let l = p + j. Is l > -0.1?
True
Let g = 257 - 256.6. Is 4/3 greater than g?
True
Let u(w) = -13*w + 21. Let s be u(-3). Is s greater than or equal to 60?
True
Let s = 1745 - 1242. Is s < 503?
False
Let a = -784 - -764. Is a greater than 11?
False
Let q be 5 - 3 - (-4)/2. Suppose 0 = 2*a, 4*a = q*v + 2*a - 28. Suppose k = 2*w + 2*k - v, -w = 3*k - 6. Is w bigger than 0?
True
Let a be 4342/5 + (-34)/85. Let g = -7820/9 + a. Which is smaller: -2 or g?
-2
Let y be (12/(-9) - -1)/(20 + -24). Which is greater: y or 0.38?
0.38
Let b(u) = -16*u - 411. Let t be b(-14). Is t > -186?
False
Let l be (121/61 - (-4 - -1)) + -5. Is 1 smaller than l?
False
Suppose -19*a + 18*a = c, 0 = 5*c - 5*a - 40. Is c greater than 27?
False
Let m = -1458383/79 - -18461. Are -1 and m unequal?
True
Let x = -2.589 + -0.011. Let s = -27 - -27. Which is smaller: x or s?
x
Let x be -3 + (-34)/(-8) + (-6 - -5). Is x smaller than -472?
False
Suppose -5*m = -c - 26, -m = 3*m - c - 21. Suppose -m*n - 111 = -2*l, -3*l + 8*l + 5*n = 190. Is l < 42?
False
Let d = -3267/153745 + 1/1585. Is -1 at least d?
False
Let y(q) = 2*q + 10. Let f be y(-7). Let r be 2/(-3) - ((-100)/(-15))/f. Which is smaller: 3 or r?
r
Let z be 2 + -2 + 12/(-3). Let g be 4*(-3 - 10/z). Suppose -6 = 5*d - 1. Is d >= g?
True
Let z(v) = v**3 - 16*v**2 - 37*v + 16. Let o be z(18). Which is smaller: o or -97?
-97
Let z(q) = q**3 + q**2 - 13*q - 61. Let c be z(-3). Let b(v) = -5*v**2 + 3*v - 3. Let r be b(3). Which is greater: r or c?
r
Let u = 0.005 + -0.065. Let f = 0.322 - 4.262. Let q = f + u. Which is bigger: -1/3 or q?
-1/3
Suppose -4*w + 24 = -2*t, 4*t + 3 = -13. Suppose 3*j = j. Let p be j/6 - 8/(-2). Is w bigger than p?
False
Suppose 8*m = 10*m - 100. Does m = 44?
False
Let w = -0.11 - 1.39. Let g = w - -2.7. Let y = g + -6.2. Is y > 1?
False
Let k be (-3 + 0)*7/(63/(-6)). Which is smaller: k or 1?
1
Let m(i) = -i - 5. Let u be m(-8). Suppose 0 = -4*g - 5*n - 5, -g - u = 4*n - n. Suppose 4*a = -g*a. Does a = 1/14?
False
Let m be 12733/(-3621) + (-28)/(-12). Which is greater: m or -1?
-1
Suppose 6*t + 70 = 64. Is 1/119 != t?
True
Suppose -t + 64 = 3*t. Suppose -2*k = -2*r - 3*r - 13, k + 5*r + t = 0. Suppose -2*l = -l - 0*l. Is k at least l?
False
Let n = -2.99 - 0.01. Let j = -5 - n. Let z = -15 - -77/5. Which is bigger: z or j?
z
Let b = 910/3 + -294. Let a = -10 + b. Which is bigger: a or 5?
5
Let 