nd 0 have the same value?
False
Suppose 12*q = -0*q + 3804. Suppose -2049 - q = 13*w. Which is bigger: w or 0?
0
Let x(d) = 49*d + 19. Let b be x(8). Let s = b + 201. Which is greater: s or 613?
613
Let z = 15240 - 12832. Which is greater: z or 2406?
z
Let w be 6099/(-9)*(8 + 67*6/(-48)). Are w and 255 nonequal?
True
Suppose 53 = c + k, -9*k + 4*k = -5*c + 275. Let q = -55 + c. Is q at most 107?
True
Suppose -s + 4*x = -3*s + 12, -4 = -4*x. Suppose -y + s = -2*m, -3*y + 12 = m - 0*y. Which is smaller: m or -1/134?
-1/134
Let d(x) = x**3 + 114*x**2 - 79*x - 776. Let f be d(-114). Is 8230 at most as big as f?
True
Let i = -59 + 68. Suppose 0 = 40*k - 37*k - i. Does k = -15?
False
Let n(i) = -i**3 + 18*i**2 - 79*i + 7. Let p be n(9). Which is smaller: p or 35?
p
Suppose -5*l + 8 = 23. Let w(h) be the second derivative of -3*h**5/20 - h**4/6 + 7*h**3/6 + 2*h**2 + 336*h. Let j be w(l). Which is greater: j or 47?
47
Let i = 4203/23 + -183. Suppose -851 = -18*z + 301. Suppose z*x - 60*x = -4. Which is greater: i or x?
i
Let t(h) = 2*h**2 - 7*h - 4. Let a be t(4). Let v = -1713074/401 - -4272. Which is greater: a or v?
a
Let t be (63/126)/((-11)/6 - -2). Let i be 4/t - 117488/87864. Is 0 greater than i?
True
Let l(q) = -5*q - 93. Let f = -75 - -55. Let y be l(f). Which is greater: y or 8?
8
Let x be -29*(-1 - -11 - 756/91). Which is bigger: x or -48?
-48
Suppose -28*z = -4*z - 7*z + 25381. Which is greater: z or -1487?
-1487
Suppose -8*g = -6*g + 6. Let l = -0.0349 + -22.8151. Let k = l + 22.8. Which is smaller: g or k?
g
Suppose -5*d - 2*n = -n + 304, -260 = 4*d + 5*n. Let g = -35 - d. Let r = -10 + g. Which is smaller: r or 12?
12
Let a = -59 - -165. Let s = -350 + a. Which is smaller: s or -0.1?
s
Let i(q) = -3*q**3 + 23*q**2 + 19*q - 33. Let c be i(13). Are c and -2489 equal?
False
Let a = -0.499 - -4.559. Let m = a - -2.94. Which is smaller: -20 or m?
-20
Let z = 125 + -250. Let s = 126 + z. Let t be 1*1/(-10) - 0. Is s <= t?
False
Suppose -2*b + 53 = -173. Let h = b + -241. Let y = 127 + h. Which is bigger: y or 0?
0
Suppose 17*w + 19 = -14924. Is -877 at most w?
False
Suppose 0 = -212*f + 213*f + 394. Is f greater than or equal to 0.3?
False
Let p be (-2)/((-44780)/(-134342)) - (-7 - 43 - -44). Is -1 at most p?
True
Let t = 43049 - 43049. Let m = -3543/3130 - -10/313. Which is greater: m or t?
t
Let k = 373 - 36171/97. Let u be ((-5)/3*3 + 5)/(-1). Is u greater than or equal to k?
False
Let h = 10472 + -13307. Which is smaller: h or -2832?
h
Let f = -200/259 - -458459/593369. Which is smaller: f or 1?
f
Let i = -1862.2 + 2104. Let m = -244 + i. Which is smaller: m or -2/3?
m
Let a = 92.034 + -0.034. Let r = a - 12. Let c = 81 - r. Does 18 = c?
False
Let w = 505 + -735. Let g = -183 - w. Is g >= 1/4?
True
Let s = -76 - -95. Suppose 9*y - s - 8 = 0. Suppose y*i + u + 148 = 0, 242 = 4*i - 9*i - 4*u. Which is greater: 1 or i?
1
Let w = -702.61 - -866.805. Let p = w - 164. Which is greater: p or 2?
2
Suppose 12*b = -5*y + 16*b - 394, 2*y + 5*b = -118. Let k = -85 - -9. Is y < k?
False
Let z(v) = 2*v**3 + 2*v**2 + 3*v + 12. Let c(q) = q**3 + 3*q**2 + 2*q + 11. Let r(b) = -3*c(b) + 2*z(b). Let p be r(6). Which is bigger: 24 or p?
p
Let s = -255 + 257. Let o = -28 - -29. Suppose -o = -4*f - f - 2*c, 2*c + 5 = f. Which is smaller: f or s?
f
Suppose -28 + 55 = -9*d. Let b be d + 2 - 3 - 2. Is -25/4 at least b?
False
Let i = -27199664952352251/12230054010680 + 3/12416298488. Let a = i + 2224. Which is smaller: 1 or a?
a
Let v be (-20 - -21)/((-1)/51). Let j = -147 - -95. Are j and v unequal?
True
Let r = -1083926931/43 + 25208743. Let i = 1140 - r. Is -1 < i?
True
Suppose 9*s - 29*s = 22 - 22. Is s equal to 12/1201?
False
Let o(x) = 33 - 8 - 18 - 15*x. Let s be o(3). Which is smaller: -36 or s?
s
Suppose 50 = -10*w - 80. Let b(s) = -2*s**2 - 16*s + 18. Let v be b(w). Is v != -114?
True
Suppose 34140 + 104708 = 236*i + 27456. Which is smaller: 469 or i?
469
Suppose -r + 5*o + 36 = 0, -49 - 79 = -5*r - o. Which is bigger: r or -29?
r
Let s = -2/1859 - -6086/1859. Let f = -403 + 397. Let p be (-10)/(-60)*-6*f/2. Is s greater than or equal to p?
True
Let n(m) = 2*m**3 - 50*m**2 - 57*m + 130. Let y be n(26). Let d = -70 + 130. Are y and d equal?
False
Let j be 4 + ((-4)/3)/((1152/(-162))/(-16)). Which is smaller: j or 2/4177?
2/4177
Suppose 5*a + 295*j + 891 = 299*j, -5*j - 855 = 5*a. Do a and -164 have the same value?
False
Let k(z) be the first derivative of 3*z**2/2 - 7*z + 10. Let s be k(-14). Which is greater: -50 or s?
s
Let o = -42475/3 + 45080133/3184. Which is smaller: 1 or o?
o
Let q = 54 + -67. Let o(a) = a**2 + 12*a + 14. Suppose -46 = 5*v + g - 0, v + 4*g + 13 = 0. Let c be o(v). Is q smaller than c?
False
Let m = -17.71 - -18.71. Is m at most as big as -1268?
False
Let x = -15761 + 18232. Is 2471 bigger than x?
False
Suppose -58*y - 273286 = 247786. Is y > -8985?
True
Suppose -r + 4 = l, -r - 197*l + 13 = -193*l. Which is bigger: 215/87 or r?
215/87
Let a be (0 - 624/(-9))/(8/12). Let x be ((-6)/28)/((-3)/a). Is x greater than 6?
True
Let u be (-6 + -3 + -2449)*(-4 - (-28)/8). Is 1229 < u?
False
Let z be 364/(-24) + 1/6. Let x be z + -2 + 3 - 1. Let g = -15 - x. Which is smaller: -3/20 or g?
-3/20
Let y be ((-93)/(-8) - 0) + (-15)/(-40). Suppose -75*a = -72*a + y. Is a greater than 6?
False
Suppose 3*v = -2*l + 195, -64 + 49 = 5*l. Is 66 smaller than v?
True
Suppose -6*m = -5*h + 3079, 4*h = -2*m - 3*m + 2473. Is 1 not equal to h?
True
Let q = 9987/8246 - 1017/868. Let f = 0 + 0. Which is greater: f or q?
q
Let m = 152 + -156. Let j be (42/28)/((-6)/m). Is j less than or equal to 1/145?
False
Suppose -18*l + 8034 = -15*l. Suppose 4*f - 2*b - l = 0, -f + b = 3*f - 2673. Let p = f + -3322/5. Which is greater: 1/5 or p?
p
Suppose 0 = -2*p + 3989 + 195. Which is smaller: p or -1?
-1
Suppose h = 3*m + 14, 21 = 3*h + m - 3*m. Suppose h*v - 5*k + 130 = 0, v - 2*v - 4*k - 11 = 0. Let p(z) = z**2 - 10*z + 1. Let a be p(5). Is v greater than a?
True
Let i = -0.29 + 22.29. Let f = i - 22.1. Which is greater: -6/5 or f?
f
Let i = 5553 - 4881. Which is greater: i or 669?
i
Suppose 5 = -9*m + 10*m. Suppose -g - 4*w = -12 + 51, m*g + 3*w + 229 = 0. Which is smaller: -49 or g?
-49
Let o = 995 + -992. Let t be 12/30 - (-114)/40. Which is smaller: t or o?
o
Let l = 4706 + -4683. Which is greater: 0 or l?
l
Let x(a) = a**2 - 22*a + 26. Suppose 5*h - 3*v = 6*h - 29, v + 57 = 3*h. Let u be x(h). Which is bigger: u or -12?
-12
Let n = -176 + 175.9. Let z = -17.1 - n. Is z at most -3?
True
Let a = -628 + 322. Let f = a + 307. Is -18 at least as big as f?
False
Suppose 0 = -5*a - 60. Let q(f) = -f - 6. Let c be q(a). Suppose c*l - 38 = -3*p + l, 3*p - 4*l - 83 = 0. Which is smaller: p or 20?
20
Suppose -10*v + 3*v - 4543 = 0. Which is greater: -651 or v?
v
Suppose 64*w - 59*w + 2840 = 2*n, 3*w = 2*n - 1700. Which is smaller: -571 or w?
-571
Let l = -16788 + 16788. Is l >= -95/14?
True
Let v = -14963 - -14952.2. Which is smaller: -0.12 or v?
v
Let m(b) = -7*b**3 - 2*b**2 + 2*b + 2. Let q be m(-1). Let f be (-43)/(-2)*(-36)/(1 + q). Is -129 at most f?
True
Let f be (-2 - -4)/((-14)/2). Let q be 62/1178 - (-148)/76 - (-214)/(-108). Is q less than f?
False
Suppose 415*h = 423*h - 1848. Which is bigger: h or 224?
h
Let w = 9/224 - 3587/88480. Which is bigger: -1 or w?
w
Let i(x) = 6*x**2 - 73*x + 130. Let l be i(10). Is 1/10975 <= l?
False
Let h be (10/(-4))/(85/272*-2). Are h and -1.62 unequal?
True
Let c = -461 - -458.1. Suppose -2 = -2*y + y. Let j be (-33)/(-9) + (-1 - y). Is j at most c?
False
Let u be 3/2*(8 - 222/27). Let b = 24 + -18. Let n = b + -11. Is u at least as big as n?
True
Let a be 0 + 3/2 + (-29121)/(-1142). Let t = -49/2 - -24. Do a and t have the same value?
False
Let r be ((-1)/78)/((-1)/(-2)). Suppose -309 + 312 = y. Suppose 2*p - a = 2*a - 1, 5 = 2*p + y*a. Which is smaller: r or p?
r
Let b = 9.54 - 3.1. Let x = b - -1.56. Let y(f) = -f**2 + 8*f - 8. Let k be y(7). Which is greater: x or k?
x
Let s be (-86)/24 + (-2)/(-6). Let k = -334 - -152. Let z = k + 180. Which is bigger: z or s?
z
Let w = 587 - 585. Let t = -56 + 54.81. Are w and t equal?
False
Let m = 6988/5720827 - 1/6041. Let q be (8/2 + -3)/(4 + -3). Is m greater than or equal to q?
Fal