r than p?
False
Suppose 0 = 15*r - 6*r + 221 + 2200. Which is smaller: r or -249?
r
Let a = 4.729 + -4.929. Which is smaller: a or 40.5?
a
Let q = 1142.2 - 1143.2. Which is smaller: 4340 or q?
q
Let t = -28328/5 - -31217431/5510. Is t >= -1?
True
Let k = -4353 + 4398. Are -0.01 and k nonequal?
True
Let f be (14 + -14)/(-4 - (-4 + 4)). Suppose f = -52*p + 643 + 553. Let z = 0 + 23. Does p = z?
True
Suppose -87 + 33 = -6*t. Let p be (t - (9 - 7)) + 0. Do p and 15 have the same value?
False
Suppose -247 = -3*x + 92. Let t = x + -108. Which is smaller: t or 10?
t
Let w be (995/35 - 1) + -25. Suppose -2*z + 1 = 5*y - 4*y, 5*y = -5*z + 30. Suppose 2*s - 5*k = 16, s - 4*k = -0*k + y. Is w greater than s?
False
Let d = 17 + -8. Suppose -2*f + d = -1. Let u = 645 - 641. Which is smaller: u or f?
u
Suppose 0 = 9*d + 190 - 235. Suppose d*n + 31*n = -720. Is -14 at most n?
False
Let c be (-10)/75 + 77/15 - (0 + -6743). Are c and 6748 nonequal?
False
Let d be (-24)/(-16)*1556/(-507) - 40/(-10). Do 0 and d have different values?
True
Let s be 15/12 - 1 - (-87)/4. Suppose -27*o + s*o + 30 = 0. Let g be (-1)/(-2)*6 + (-224)/70. Is o <= g?
False
Let g = 1/176 - 14635/4752. Which is smaller: -4 or g?
-4
Suppose 17*z - 12*z - 5*w = -380, 0 = -3*z + w - 234. Let d = -33 - -67/2. Which is bigger: d or z?
d
Let n(r) = r**2 + 16*r - 15. Let b be n(-17). Suppose -4*p + 28 + 50 = b*g, 4*g - 186 = 2*p. Let m be 4 + (3 + g)/(-4). Which is bigger: m or -6?
-6
Let c be ((-3416)/11102)/(4/494). Suppose z + 0 = -2. Let p be z/3 + 2/(-6). Which is smaller: c or p?
c
Let k(p) = p**3 + 3*p**2 + p - 21. Let t be k(0). Let g be (-7)/t + (-192)/9. Is g at least as big as -24?
True
Let n be ((-1)/(-10))/(2/10). Let k = -13.844 - -13.7. Let r = 7.656 - k. Does r = n?
False
Let c(s) = -2*s**2 + 12*s + 6. Let a be c(5). Let n = 690 - 704. Which is smaller: a or n?
n
Let h be (2 - 10/(-6))*-9. Suppose 0 = 5*c - 3*m + 4, -c + m = -0*m. Let a be ((-1 - c) + -33)/1. Which is greater: h or a?
a
Let u = 177 + -32. Let s = -125 + u. Which is smaller: 0 or s?
0
Let c = 60133 + -97284. Which is smaller: -37152 or c?
-37152
Suppose 72*d - 46*d = 52. Let z be -6 + 11 + (-3 - (-6)/d). Let x = 1/463 + 10644/2315. Is z at most x?
False
Let g(a) = 2*a**3 - 8*a - 91. Let r be g(-6). Is r <= 2/5?
True
Let t = -43390/11 - -3942. Let h(m) = -m**2 + m - 3. Let b be h(0). Which is smaller: t or b?
b
Let z = -2748341/1683 + 1633. Which is smaller: z or 0?
z
Let l = 25365734/259 - 97937. Which is smaller: l or 1?
l
Let g(o) = -3. Let f(a) = -a. Let d(w) = -w**2 - 7*w + 1. Let t be d(-7). Let v(u) = t*g(u) - 2*f(u). Let l be v(1). Which is smaller: -3/31 or l?
l
Let u = 80 - 45. Let v be (-10)/u + ((-1774)/14 - -2). Let l be 1/(-3) - v/510. Are 1 and l nonequal?
True
Suppose -9*q + 6*q = 4*l + 3, 0 = 3*l. Which is bigger: -16/339 or q?
-16/339
Suppose 11*t + 8 = 7*t. Let j be (-36)/(-90) - t/(-5). Which is smaller: 4/19 or j?
j
Let l = -18/7193 - -43572/165439. Let n(b) = -b**2 - b + 2. Let s be n(0). Suppose -3*u - 3*r - 12 = -s*u, 0 = -5*u + 3*r + 12. Is l not equal to u?
True
Let q(v) = -2*v**2 + 71*v - 49. Let i be q(35). Is -134 <= i?
True
Suppose -3*u + 25 = 5*r - 28, -u = 5*r - 1. Let m be (-4)/(-12)*u*-3. Let i be 4 - (2/(-3))/(m/1599). Is i equal to -37?
True
Let h be -2 + (55/3)/((-744)/(-32) - 14). Is -45 greater than h?
False
Let g(t) = -t**3 - 12*t**2 - 11*t + 2. Let p be 4/(-3 + 4) - 15. Let m be g(p). Let n be 70/396 - m/9. Which is bigger: n or 0?
0
Suppose -5*r - 25 = 0, 2*g + 3*r - 7*r - 26 = 0. Suppose g*z = 3*y - 180, 0 = -2*y + 7*y + 5*z - 310. Is y not equal to 2?
True
Suppose 3*p = -2*b + 3*b + 36, -4*b - 2*p - 74 = 0. Let t be 1023/b - 4/14. Let k = -63 - t. Is -13 <= k?
False
Let r = -20 + 67. Let j = -9 - r. Suppose 5*o + 7*h - 10*h = -18 - 25, 0 = -13*h + 208. Which is bigger: j or o?
o
Let s(j) = 17*j**2 - 556*j - 2221. Let p be s(-4). Which is smaller: 0.047 or p?
0.047
Let l = -290 - -309. Let f = l - 19. Is -41/11 at most as big as f?
True
Let i = 5.148 - 5.158. Which is smaller: -358 or i?
-358
Let d(b) = -36*b - 32*b + 16*b + 313. Let i be d(6). Which is smaller: i or 1/226?
1/226
Suppose -q - 8376 = -5*w + 10536, -4*w = q - 15135. Let o be ((-26)/w)/((-1)/3). Let y = -24 + 24. Which is greater: o or y?
o
Suppose 10*v = 4*v + 1320. Let z = -875/4 + v. Suppose -2*c - 2*p - 2 = -0*c, -3*c - 2*p - 2 = 0. Which is smaller: z or c?
c
Let z be (-410)/(-30) - 4/6. Let t = 9897/676 - 66/169. Is z greater than t?
False
Let q = 8509/15974 + -51/98. Let s = q + -332/489. Let i = -58 + 56. Which is smaller: i or s?
i
Let n be (-4)/4*0/(-10 + 11). Do -6/847 and n have the same value?
False
Suppose -18 = -w + x - 3*x, -4*w + 3*x = -61. Let s be ((-1)/(-4))/((-4)/w). Is 2/155 greater than or equal to s?
True
Suppose -187*b = -5*u - 189*b - 253, 2*u - 4*b = -58. Let z(d) = -12*d + 4. Let s be z(4). Which is smaller: u or s?
u
Let o = 112199.919 - 112251. Let q = 0.081 + o. Let j = -50.6 - q. Is -2 bigger than j?
False
Suppose 4*w - 1 - 11 = 0. Suppose -8*p + 4 = -28. Suppose 3*k - 112 = p*r - 0*r, 5*r = w*k - 143. Which is bigger: -32 or r?
r
Suppose -627 = r - 5*r - o, -4*r = 5*o - 607. Does 178 = r?
False
Let s = -4855 + 150520/31. Is 0 less than or equal to s?
True
Let h = 21401 + -18371. Is 3030 at least h?
True
Let z be 134/2 - ((-7)/3)/(1085/(-930)). Which is greater: z or 59?
z
Let k(q) = 7*q + 3. Let b be k(-2). Let s be 2/b*(0 + -1). Suppose 0 = -78*y + 80*y. Are y and s non-equal?
True
Let j = -15383 + 11640. Which is smaller: j or -2?
j
Let m = 0.102 - 41.102. Let i = 23 + m. Let o = i - -17.9. Are 0.04 and o equal?
False
Let d = 66 - 30. Let y be d/(-48) + 10/(-8) + 3. Is y at least as big as -8?
True
Let w(m) = -12*m + 82. Let k be w(-21). Let v = k + -334. Is v < -10/171?
False
Let p(t) be the third derivative of 7*t**4/4 - 29*t**3/3 + 27*t**2. Let s be p(11). Do s and 404 have different values?
False
Suppose 333*h + 382*h = -265*h - 13720. Let t(b) = 5*b - 3. Let q be t(4). Suppose r + n + q = -0*r, 0 = -3*r + n - 35. Which is smaller: h or r?
h
Let c = 761.1 - 762.1. Does c = -2.177?
False
Let a(z) = -47*z + 2102. Let q be a(15). Which is bigger: 6979/5 or q?
q
Suppose -348*s = -194*s + 721952. Which is smaller: s or -4686?
s
Let f = -17525.615 - -17425. Let g = 101 + f. Let u = g + 0.015. Which is greater: u or -4/7?
u
Let c be (38 - 36)/((-2)/(-110)). Let p = c + -772/7. Which is greater: -40 or p?
p
Let f = 0.286 + -0.286. Let l = 142 - 503. Is f < l?
False
Let l be 3/4*6384/7182. Let d = 7.13 - 0.13. Do l and d have different values?
True
Let k = -19 - -18.1. Let n = k - -4.4. Let m = -5574 + 22297/4. Which is greater: n or m?
n
Let w = -0.1721 - 3035.8279. Which is bigger: -1 or w?
-1
Let h = -0.3 + 1.1. Let i = h - 0.9. Let n = 2.884 + -0.084. Is n <= i?
False
Let t(j) = 6*j - 12. Let g(x) = 24*x - 47. Let s(l) = -6*g(l) + 22*t(l). Let u be s(-7). Which is smaller: u or 101?
101
Let a = 568 - 456. Let h be 300*(a/(-70) + 2/1). Which is smaller: h or 122?
h
Let v be ((-2)/(-4))/(39/234). Let r be 4/44*(-6 + v). Which is smaller: 1 or r?
r
Let w be 1*2/2*(-9 + (0 - -8)). Is w < 8/505?
True
Let w = -0.277 + 0.644. Let m = -0.167 + w. Let l = 0.1 - 0.1. Is l at most m?
True
Suppose -133*t - 137*t = -262*t - 143856. Is 17982 at least as big as t?
True
Let m = -3490.5 + 3536.5. Is m > -31/2?
True
Let d = 331.86 - 4.86. Let l = d + -326.5. Is -36 <= l?
True
Let r = 23 + -22.78. Let y = r + 0.08. Let n = 5.74222 + 0.25778. Is n at least as big as y?
True
Let o = -221.2 + 36.2. Let z = o - -189. Which is bigger: 0.33 or z?
z
Let b be ((-99)/11)/(156/(-1368)). Is 80 greater than b?
True
Let v = 996 - 240. Let t be 182/v - (13/6 + -2). Let x = 1.5 - 1.4. Which is smaller: x or t?
t
Let g = -220.4 + 27.4. Let o = g - -133. Let p = o + 58.9. Is 0.1 at most as big as p?
False
Suppose -5*q - 15 = -2*t, -4*q = -2*t - 3*q + 3. Suppose t = -3*c + 70 - 58. Suppose -k + 9 = -r, 4*k = -c*r + r - 41. Which is smaller: -3 or r?
r
Let d = 982/5 - 195. Let x(h) = 107 - 4*h**2 - 3*h**2 + 94 + 6*h**2 - 1 - 27*h. Let r be x(-33). Is d at most as big as r?
True
Suppose 0 = 209*j - 202*j. Let b be 11 + -8 - (j + 3/1). Is b smaller than 21/25?
True
Let r(v) = -v**3 - 23*v**2 + 22*v - 32. Let n 