 27.3 at most u?
False
Let v = 53.67 - 0.67. Let r = v - 55.9. Let a = r + 2.8. Which is smaller: a or -0.21?
-0.21
Let b = -258.74 + 255. Let x = b + 2.74. Is 0.54 less than or equal to x?
False
Let x = 82 + -71.9. Let a = -112 - -110. Which is greater: a or x?
x
Let t = -32477 - -38549. Is 6071 equal to t?
False
Let d = 8543 - 8903.36. Let t = -360 - d. Is -2 bigger than t?
False
Let h = 3 + -3.2. Let w = -45.7 - -41.28. Let a = w + 0.42. Which is smaller: a or h?
a
Let n be (-192)/(-768) + (-14162)/56584. Which is smaller: n or 0?
n
Suppose w + 4*w = -25. Let c(d) = 3*d + 19. Let g be c(w). Which is smaller: 13 or g?
g
Let k = -723019/28566 + 683/27. Which is bigger: k or 0?
0
Suppose 0 = -9*a - 63 + 891. Let w be 46/(2/(-2))*-2. Do w and a have different values?
False
Let f = 1.0695 - 0.9695. Which is greater: f or 7173?
7173
Let f be (1/3)/(201/(-3953)). Let v = 293/45 + f. Let a be (-2)/(-5) - 7/5. Is a bigger than v?
False
Suppose -547*d = -554*d - 7. Which is smaller: d or 8/85?
d
Let w = 37 - 51. Let g be 121/77 - 6/w. Suppose -2 = m, 9*f - 4*f + g*m = -84. Which is bigger: -15 or f?
-15
Let m = 61.725 - 62. Let v = -0.185 - m. Which is smaller: -0.07 or v?
-0.07
Let d = -1642 - -90309/55. Let a be (-161)/(-55) + 1 + -3. Let y = a + d. Which is smaller: y or 0.2?
0.2
Let r(v) = -2*v + 35. Let z be r(19). Let h be z*(1 - (-1101)/(-9)). Let w be h/(-24) + (-4)/(-24). Which is bigger: w or -16?
w
Let u = -3.1 - -3. Let v = -414 + 344. Let g = v - -3. Are u and g equal?
False
Suppose -4*z = 5*z - 171. Suppose 3*s - 2*c = -0*c + 13, z = 3*s - 5*c. Let x be (s - 3)/(0 - -2). Which is bigger: x or -2/55?
x
Let s be 9 + -6 + (-1 - 4 - 1). Let l be (3/21)/(s/(5 - -1)). Let r(a) = a**3 + 3*a**2 + 2*a - 1. Let o be r(-2). Which is bigger: l or o?
l
Let z = -1149 + 645. Let l be z/10 + (-36)/(-90). Are l and -50 unequal?
False
Let q be (-77)/((4 - 3)/7). Let o = q - -557. Let s = 13 + 4. Is o != s?
True
Suppose 0*m - f + 28 = -5*m, 40 = -5*m - 5*f. Let i be ((-15)/m)/(-7 - -6). Let v = 1789/9 + -199. Which is greater: v or i?
v
Let x = -9967 - -9969. Which is greater: 10.4 or x?
10.4
Let z = -1430 + 1119. Which is greater: -1/9 or z?
-1/9
Suppose -40*i - 2212 = 708. Are i and -72 equal?
False
Let s be 165/6 - (-24)/48. Let i be (-183)/7 - 24/s. Does i = -53/2?
False
Let l = -6381 - -6380. Let q be 0 - 2/((-28)/(-9)). Is l <= q?
True
Let n = -70 - -77. Let m(d) = -d**2 + 3*d + 7. Let r be m(n). Let x = -28 - r. Does x = -7?
True
Suppose -28 = 4*q + 4. Let t = 95 - 91. Let u be (-3)/(-3)*(-40)/t + -1. Is q greater than or equal to u?
True
Let n be (-459)/(-36) + -11 + 1/4. Which is smaller: n or 105/44?
n
Let p = 50.09 - -19.07. Let n = -69 + p. Let w = 0.76 - n. Which is greater: w or 1/6?
w
Let r(u) be the third derivative of u**4/3 - 11*u**3/6 + 8*u**2. Let x be r(3). Suppose -3*q - 1 + 19 = 0. Is q less than x?
True
Let a = -17.297 - -17.3. Let f = a - 73.003. Do 0.1 and f have the same value?
False
Suppose -179*q + 82*q + 14 = -83*q. Is 81/7 != q?
True
Let i = -7 + -68. Let s = 56 + i. Let m = 18 + s. Which is bigger: -2/21 or m?
-2/21
Let s be (-5)/10*2/(-1). Suppose -68*d = -64*d + 8. Let o be 5 + d + (29 - 1 - s). Are -0.1 and o non-equal?
True
Let d = 114554/309 + 97/103. Which is bigger: 371 or d?
d
Let j = 3393 - 3213. Which is smaller: 1968/11 or j?
1968/11
Suppose 2 = 3*p + 2*w + 1, -2 = -4*p - 2*w. Let o be 2 - (28/(-17) - -2). Is p bigger than o?
False
Let b = 364/191 + -3905893/2049621. Which is smaller: 0 or b?
0
Let r be (-12 - (-13 - -10)) + 9. Do 2/597 and r have the same value?
False
Let f = 775.9 - 825. Let v = 48.89 - -0.11. Let a = v + f. Do -4.1 and a have different values?
True
Suppose -5*w + 25 = 0, 2*w = -5*i - 3*w + 320. Suppose 2*r - 17 = i. Let h = -0.2 + 0.1. Which is smaller: h or r?
h
Let r = 9 + 3. Let w be (-139)/(-3) + 1 - (-48)/(-36). Suppose -53*h + w*h = -98. Which is smaller: r or h?
r
Let k = -154 + 160. Let w = k - 5.7. Which is greater: -2 or w?
w
Let c be (-249749)/(-87) - (-142)/213. Suppose -10250 = -4*z + 1234. Let r = c - z. Is r <= 0?
False
Suppose -3*b - 61 = y, -2*b + 81 + 1 = -2*y. Let o = 106 + y. Suppose -o = -h - 3*h. Is h bigger than 15?
False
Let l be ((-2451)/(-399) - (-2)/(-14)) + (75 - 10). Suppose 0 = 2*k - 0*k + 2*v - 146, -12 = -4*v. Which is smaller: l or k?
k
Let t be 244/(-1586) + (-2344)/(-26). Which is greater: t or 105?
105
Let o = -321 + 164. Let i = 2 - o. Let t = 109 - i. Is t less than or equal to -51?
False
Let a = -0.0327 - -0.0727. Which is smaller: 1 or a?
a
Let u = -1346 + 1320. Are -2/23 and u equal?
False
Let d(y) = -y**3 - 25*y**2 - 25*y - 25. Let t be d(-24). Is -1/64 <= t?
False
Suppose 0 = -3*m + 3*q + 75, -4 = 12*q - 11*q. Suppose -j = 3*j - 52. Is m greater than j?
True
Let m = 2555 - 2438. Is m >= 113?
True
Let j = 363 - 360. Suppose -j*g = -2*g, 0 = 2*k + g - 318. Which is greater: k or 160?
160
Let g = 36151 - 1699104/47. Let c(a) = -a**2 - 5*a - 4. Let k be c(-4). Which is smaller: g or k?
g
Let a = 628 - 607. Suppose 0 = a*u + 13*u - 2686. Is 81 at least as big as u?
True
Let y = -23 + 56. Let l be (-9 + (-205)/(-25) + 0)*255/(-6). Which is smaller: l or y?
y
Suppose -10*s - 9*s + 57 = 0. Suppose v + 4 = q, -q = -s*v + 3 + 1. Do 9 and q have the same value?
False
Let u = 3 + -1. Let t be (-1 + u)*(-2)/6. Let v be (-59)/(-6) - (130/5 + (-36 - -20)). Are v and t unequal?
True
Let o = -243596/7 - -1815520990/52171. Is o > 1?
False
Let x = -2.2954 + -704.7046. Which is smaller: -0.05 or x?
x
Suppose -34*l + 39*l - 4*s = -26130, 2*l + 10452 = 2*s. Which is bigger: l or -5225?
-5225
Let y = -1595/3 - -1339/3. Let w = -88 - y. Which is bigger: 1 or w?
1
Suppose -i - b = 915, 0*b - 921 = i + 3*b. Let x be (-3 - (-58)/20)/(4/i). Let q = x - 976/45. Which is smaller: q or 1?
1
Let q = 7 + -7.2. Let p = 0.3 + q. Let r = -0.3004 + 0.6304. Which is bigger: r or p?
r
Let p be 108/(-810)*18/(-26). Let v(a) = 3*a**2 + a - 103. Let g be v(-6). Does p = g?
False
Let m = -392 + 390. Let w be 68*(m - 75/(-10) - 6). Is -32 at most as big as w?
False
Let x = -131 + -135. Let p = x - -578. Suppose -2*h - 4*h + p = 0. Is 52 at most as big as h?
True
Let d be 3/18 - (-14)/(-12) - 0. Let g be ((2/2)/d)/(18 - 17). Is -1/121 at most g?
False
Let l = -104 - -561. Is 455 less than or equal to l?
True
Let n = 1908/4745 - 2/949. Let z = -89 + 90.52. Is n >= z?
False
Let a = -400.9 + 401.9. Which is greater: a or 11597?
11597
Let z = 24 - -16. Let d be 2/(-8) + ((-124)/z - -3). Is d bigger than -1?
True
Suppose 2*f + 3*k = -6, 0*f = -3*f + 3*k + 21. Let r be f + 0/3 + -4. Let y be (-11 - (-648)/60) + 1/55. Is y <= r?
False
Let b = -20935.06 + 20878. Which is greater: -1 or b?
-1
Suppose 20 = 13*z - 8*z. Suppose -2*i - 6*u + 4*u = -18, 0 = -3*i - z*u + 24. Suppose 0 = -5*l + l + i. Are 14 and l non-equal?
True
Suppose -4*z + 20 = 0, -4*z = -5*n - 3*z + 45. Let d be 172 - ((-3)/(-5))/(2/n). Is 171 <= d?
False
Let b(i) = 36*i - 1767. Let x be b(52). Is x >= 46?
True
Let y(w) = -3*w**3 - 5*w**2 + 14. Let g be y(-3). Is 169 > g?
True
Let i = 69 + -2827/41. Which is bigger: i or -18?
i
Let u = 1683/52 - 835/26. Let l be 64/138 + (-2)/6. Which is bigger: u or l?
u
Let b(q) = q - 77. Let k(d) = d - 77. Let o(j) = 5*b(j) - 6*k(j). Let r be o(0). Let s be (42/(-308))/((168/(-44))/7). Is r at least s?
True
Let x(q) = -3*q - 42. Let p(j) = 6*j + 85. Let s(i) = 4*p(i) + 9*x(i). Let t be s(-13). Is t less than or equal to 3/19?
False
Let u = -1/738 - -112669/738. Which is smaller: 11/2 or u?
11/2
Let i = -267 - -168. Let b(z) = -25*z**2 + 6*z + 15. Let h be b(-2). Which is bigger: h or i?
h
Let p = -2329 + 3052. Which is smaller: 724 or p?
p
Let j = 21 - 21. Suppose -12*c + 51*c = j. Which is bigger: -3/94 or c?
c
Let l = -27 - -45. Let q = 20 - l. Suppose q*u + u + 9 = 0, -4*u = -4*n - 24. Is -8 at most as big as n?
False
Suppose 250*b - 136644 = 453*b + 569*b. Which is smaller: b or -145?
b
Let f = -39 - -149. Let o be 33/f*(-10)/708*1. Is o not equal to -1?
True
Suppose 121874 = 6*t + b, 5*t - 97901 - 3672 = 2*b. Which is greater: t or 20312?
t
Let u = 748.0371 + -747. Let g = u - 0.0371. Do -3.96 and g have different values?
True
Let g(o) = 4*o**2 - 29*o - 111. Let s = -422 - -417. Let q be g(s)