-3*a - x. Which is bigger: -13 or a?
a
Let g = -50429/18 + 2803. Let v = g - 865/234. Is v equal to 2?
False
Suppose -1145*w + 5*v - 1711 = -1146*w, -2*v = 4*w - 6844. Which is greater: 1712 or w?
1712
Let g(i) = 2*i**2 + 26*i + 84. Let v be g(-5). Let c be (-360)/(-16)*v/(-2). Is c greater than -51?
True
Let y be -1011907416634*2/7727406840 + -5. Let k = 3873/648490 + y. Let o = k + 2402/9. Which is smaller: 0 or o?
o
Let f = -50 + 142. Let h = -99 + f. Let g be -1*((-3)/h - (-24)/42). Which is bigger: g or 7/9?
7/9
Let g be 5/(-2)*(-6)/60. Let x = -0.95 - 0.6. Let j = 22.45 - x. Is j not equal to g?
True
Let w be 1 + -4 + (120 - (-2 - -2)). Suppose -w = 2*b + b. Let d be b/63*-5 + -3. Which is smaller: d or 0?
0
Let r = 14094 + -17255. Which is greater: r or 1/4?
1/4
Suppose 5*s + 19 = -2*f, -s + 0*s - 6*f - 43 = 0. Which is smaller: s or -1/36405?
s
Let g = 1378 + -1549. Is g > -517/3?
True
Let k = 54 - 60. Let g be (2/k)/(25/6225). Is g less than -81?
True
Let m(r) = 7*r**3 - 24*r**2 + 74*r - 36. Let a be m(6). Which is greater: 1052 or a?
a
Let c = -29.08 - -2.38. Let u = c - -26. Let v = 2.7 + u. Are 1 and v nonequal?
True
Let p = -1.8 + 1.22. Let n = -158 + 158. Is n >= p?
True
Let w = 3055 + -106931/35. Which is bigger: -168 or w?
w
Let q = 1.25 + -1.65. Let c = -4 + -10. Which is bigger: c or q?
q
Let k be -3*5*1246/(-210). Which is bigger: 1158/13 or k?
1158/13
Let o = -0.4 - -22.4. Let m be (2 + -5)*12/9. Which is smaller: m or o?
m
Let i be (8/24)/(1/3) - -3. Suppose -4 = i*q - 2*q. Let z be -1*(14/(-8))/(q/8). Is z >= -9?
True
Let p be (-87)/232 - (2317/8 + 1). Is p <= -2047/7?
False
Let y(c) be the third derivative of -c**5/60 - 19*c**4/12 + 11*c**3 - 2*c**2 + 22*c. Let f be y(-24). Is 402 greater than or equal to f?
True
Let r(y) = -y**3 - 7*y**2 - 3*y + 9. Let g = -31 + 38. Suppose -3*b + g = 22. Let m be r(b). Is -25 >= m?
True
Suppose -765 = 3*z - 18*z. Suppose -7 = -4*h - z. Is h at least -4?
False
Let r(h) = h**2 - 5*h + 6. Let q be r(7). Let a be (-2)/(-5*(-2)/q). Let b be (a/10)/((-5)/15). Which is bigger: 0 or b?
b
Let z be (216144/52)/9 + 2/13. Suppose 77*q = 70*q + z. Is 66 <= q?
True
Suppose -95*k - 546 = 10759. Which is smaller: -77 or k?
k
Let m = 22284625/57491 - 797/1337. Suppose -13*l + 5785 = 754. Let v = l - m. Which is greater: v or 0?
0
Let m = -1.81 + -73.19. Let s = -1213 + 1291. Let k = s + m. Is k at least -2?
True
Suppose 6*f = 4*f - 240. Let d = f + 121. Is d equal to 3/61?
False
Let x = -480 + 482.008. Let z = 0.008 - x. Which is greater: 0.01 or z?
0.01
Let p(j) = j**2 - 3*j + 5. Let h be p(4). Let x be 4/2 - h/6. Let n = -2848 + 2847. Is n at most x?
True
Let h = -3441 - -1956. Let p = -1025 - h. Is 460 at least as big as p?
True
Let g = -1114313/3514 - 305/502. Which is bigger: -318 or g?
g
Let z = -1874.9 - -1875. Which is bigger: z or 45/7?
45/7
Let n(t) = -t**2 - 35*t - 154. Let w be n(-30). Let q be -70*w/(-60)*-6. Which is smaller: 24 or q?
24
Let c = -132 - -102. Let q = c + 29.6. Let g = 13 - 18. Which is smaller: g or q?
g
Let g(s) = -s**2 + 4*s - 3. Let c(h) = 31*h - 27. Let b be c(1). Let w be g(b). Let l be (4/10)/(2/(-10)). Which is smaller: w or l?
w
Let m = 0.0979 + 0.1021. Let d = 10.92 - 10.958. Which is greater: d or m?
m
Let i be ((-204)/16 + 12)*144/15. Which is greater: i or 1?
1
Suppose 80*a - 78*a - 5*f - 27 = 0, -45 = -a + 6*f. Let h(z) = -z**2 - z - 20. Let c be h(0). Is a not equal to c?
True
Let w(h) = -42*h + 211. Let u be w(5). Do u and -4/2707 have different values?
True
Let f = -248.0338 + 0.0338. Let x = f + 245. Is x at least as big as 0.05?
False
Let r = 3788/15 - 4234939/16770. Is 1 greater than or equal to r?
True
Let w be -1 - ((-2)/4)/(80/1120). Let v(c) = -5*c**2 + 11*c - 8. Let n(l) = -24*l**2 + 56*l - 40. Let z(u) = -3*n(u) + 14*v(u). Let i be z(w). Is -3 < i?
False
Suppose 320 = -58*o + 88. Does o = -13/5?
False
Let q = -122 - -118. Let h(o) = -o**2 - 4*o. Let j be h(q). Suppose 3*z + 0*z + 2*k - 7 = j, -3*z + 13 = 5*k. Is 3/104 at most z?
True
Let c be (18/(-7))/((-6)/255). Let o = 109 - c. Let z = -23 - -16. Is z less than o?
True
Suppose 4213 = 2*f + 5*n, 69*f + 5*n - 6332 = 66*f. Which is smaller: 2118 or f?
2118
Let v be 84/24 + (-1)/2. Let b be v + (-2541)/318 + 5. Is -2 at most as big as b?
True
Let f(t) = t**2 + t. Let i(n) = -n**3 + 11*n**2 + 11*n + 9. Let d(j) = 4*f(j) - i(j). Let k be d(8). Let r = 19720/53973 + 10/1999. Which is smaller: k or r?
k
Suppose -23 + 11 = -4*w. Suppose -2*h = -2*u - 14, -5*u + 0*h - 25 = -w*h. Let z be (u/2)/6*(-73 - -74). Is -0.08 > z?
True
Let t be 1/(-2) - 75/(-1250)*35. Which is bigger: -191 or t?
t
Let d = 907 - 913. Let k be d + -1 + (-81855)/(-11645). Which is smaller: 0 or k?
0
Let d = -7147 - -7148. Which is smaller: d or 16/107?
16/107
Let t(r) = 15*r + 208. Let w be t(-14). Let y be (-9 + 7 - -2)/w. Which is smaller: y or 3/128?
y
Let a be (6380/3205 + -2)*(-2)/(-2). Is a less than or equal to 1?
True
Let m be (-4050)/14 - (-1 + 60/84). Which is greater: m or -292?
m
Suppose -517 = 21*b - 706. Which is greater: 141/16 or b?
b
Let t be 42/8 + 12/(-48). Suppose t*p + w + 190 = 0, 3*p + 172 = -5*w + 36. Let b = 42 + p. Which is bigger: -1 or b?
b
Let r = -0.05 + -0.77. Let y = -0.18 + 0. Let c = y + r. Which is bigger: -3.1 or c?
c
Let w = -147.97 - -148. Let q(t) = -58*t - 399. Let v be q(-7). Are w and v nonequal?
True
Let a = -0.253 + 247.253. Let j = 243 - a. Is 0 at most as big as j?
False
Suppose 2*o + 12*n = 15*n + 127, 5*n - 5 = 0. Suppose -70 = 5*l - o. Is l less than -2/83?
True
Let c = 133.22 - 381.92. Which is smaller: 0.1 or c?
c
Suppose 6*v + 2*u = 10, -5*u + 0 = v - 11. Which is greater: 1/1213 or v?
v
Suppose -3*p = 8*u - 3*u + 19, 4*p = 2*u - 8. Let l be (-2)/(-4) - p/(-6). Let y = -599 - -6583/11. Is y greater than l?
False
Let x = -18944 - -3864581/204. Is -1 at least x?
False
Let a = -0.6 + 0.901. Let q = 5.301 - a. Are -0.2 and q equal?
False
Suppose 508 = 7*w + 473. Are 143/23 and w equal?
False
Let m = -29 + 30. Let q be (1 + -5)*m - -130. Is 127 at least as big as q?
True
Suppose 92214 = -2451*i - 223965. Let s be 2/(-4) + (-257)/2. Is i >= s?
True
Let z(g) = -g**2 - 18*g - 107. Let w be z(-24). Let k be w + -11 - 2*(-2)/(-4). Is k at most -263?
True
Let r be (2/26*(-48)/1584)/(-50). Is 0 < r?
True
Let c = 0.666 + 6.534. Let k = c + -7.9. Are k and -0.38 unequal?
True
Let a(j) = -j + 20. Let p be ((-6)/(-4))/((-18)/(-84)). Let u be a(p). Is u > 24?
False
Let b = 484 - 110. Let x = b - 373.75. Is -2/7 greater than or equal to x?
False
Let g = 108.85 + -122.95. Let a = -1.1 - -1.1. Is g bigger than a?
False
Suppose -4*x - 5*t = -7*t - 810, -x = -5*t - 207. Are 1217/6 and x equal?
False
Suppose -16*q + 7362 = -19*q + 8*w, 0 = -q + w - 2459. Which is bigger: q or -0.3?
-0.3
Let p = -120 - -57. Let v = -10 - 55. Is v at most as big as p?
True
Let o(d) = 36*d + 6009. Let r be o(-167). Is 508 not equal to r?
True
Let i = 1.339 + 0.021. Let a = i + 113.64. Let f = a - 115.01. Are f and 1 unequal?
True
Suppose -u = 5*i - i - 155, 5*i + 4*u = 202. Suppose -i = o + 117. Let a = -13174/85 - o. Is a equal to -1?
False
Let n = -55.45858 + 0.45858. Let d = 58/3 + -284/15. Is d less than n?
False
Let f(g) = -155*g + 1. Let i be f(0). Let p be (-1 + 7)/((-51)/(-2)). Which is bigger: p or i?
i
Let k = -5/14 + -8/7. Let r be (-19)/(-7) + -3 - (-46)/14. Suppose r*c + 12 - 3 = -5*n, -12 = 4*c + 3*n. Which is bigger: k or c?
k
Suppose -4*u - 232 = 48. Is -58 smaller than u?
False
Let a = -384 + 234. Let u be -72*(a/(-9))/(-10). Do 239/2 and u have different values?
True
Let p be 92/28 + (-6)/21. Let f be (-154)/(-51) + (-2)/p. Let c = f + -657/272. Which is smaller: c or -1?
-1
Let f be (3 + (-56)/14)*1095. Which is smaller: f or -1097?
-1097
Let h = 967.03 - 967.1. Are 651 and h equal?
False
Let k be (0 + 3 - 23/8)/5. Suppose 27 - 27 = 3*n. Which is smaller: n or k?
n
Let v = -7807/10 + 3446/5. Let x = -13.1 + 13. Are v and x equal?
False
Let i = 285 + -283. Suppose 5*b - 85 = -t, 0 = -i*b + 5*t + 77 - 16. Which is bigger: 10 or b?
b
Let k(y) = -y**2 + 64*y - 485. Let o be k(55). Which is smaller: -20 or o?
-20
Let s be -11*(-39)/143 + 3. Do s and 15 have different values?
True
Let t = 40777/621191 + -4/