?
True
Let r be 2151/27 - (2/6)/(-1). Let s be 32/r + 7*14/5. Let x be s/(-3)*6/(-4). Which is bigger: x or 6?
x
Let n = 9 + 7. Let i(v) = -v - 2. Let h(d) = 20*d + 135. Let z(r) = -h(r) - 6*i(r). Let k be z(-10). Is k bigger than n?
True
Suppose 52 = -h + 3*h. Let r = h + -16. Suppose 15*p - 5 = 160. Is p bigger than r?
True
Let m be (-2 - (-28)/6)/(1/6). Suppose m*u + 8 = 20*u. Suppose -u*d + 4*d = 24. Which is bigger: 10 or d?
d
Suppose 0 = 5*h - 4*m - 7, -h + 3 = 2*h - 2*m. Let t be 10/(-35) - (-186)/455. Which is smaller: t or h?
h
Let a(g) = -5*g**2 + 10*g - 72. Let x be a(5). Let m = -11909/81 - x. Suppose 0 = -2*s - 0 - 2. Which is greater: s or m?
m
Let h = 4049 - 4051. Let f be 0 + (-6)/9*-3. Suppose 0 = -f*r - 2 - 4. Is r less than h?
True
Suppose -3*d = 3*o - d + 2, 3*d + 18 = 3*o. Suppose -3*r + t + 4 = 0, -19 = o*r + 4*t - 3. Let y = r + 26. Is 25 smaller than y?
True
Let x(u) = 454*u - 233. Let n be x(2). Which is smaller: 679 or n?
n
Let c = 9978 + -9970. Which is bigger: 97 or c?
97
Let x = 663.86 - 661.66. Let h = -3 + 3.8. Is h bigger than x?
False
Suppose 506*y = 180*y + 2029676. Which is smaller: y or 6224?
6224
Let i = 189060946/195 + -969546. Let h = i + 38/15. Is h bigger than -0.15?
False
Let y = 825 + -623. Let i = y - 125. Is 2/9 at most as big as i?
True
Let h be 7790/4674 + 2*8/3. Let t = -1 + 46. Is t at least as big as h?
True
Let f = -639 + 637.9. Is 366 <= f?
False
Let z = -1931/4 + 483. Let q be 104/(-28)*(-2)/(-4) + 2. Is q >= z?
False
Let g = 26/203 - 12716/1015. Let x(p) = -p**2 + p - 1. Let i(r) = 5*r**2 - 10*r - 1. Let f(w) = -i(w) - 4*x(w). Let h be f(8). Is h >= g?
True
Let f = 20819 + -20481. Let q = -500 - -839. Which is smaller: q or f?
f
Let t = -1423/2044 + 9/511. Let g be 6/6 - (-60)/(-42). Let f = t - g. Do -1 and f have the same value?
False
Suppose 115*j - 946*j + 535164 = 0. Is 660 at least as big as j?
True
Let j = -681 + 268. Let y = j - -413.118. Which is greater: -0.1 or y?
y
Let m = 1061 + -13175/3. Let g = m + 3252. Which is smaller: -79 or g?
-79
Let u be ((-2)/(-7)*(-77)/(-44))/(76/16). Is u at least -4/99?
True
Let i(y) = y**2 + y**3 + 7*y - 6*y**2 - 2*y**2 + 1. Let z be i(5). Let j = z + 24. Is 2 <= j?
True
Suppose 5*s = 5*q + 154 - 24, -2*q + 4 = 0. Suppose -s*y + 26*y - 16 = 0. Is y greater than -1/6?
False
Suppose 5*n = -2*a + 1029, 3*a + 4*n - 8*n = 1601. Let m = 648 - a. Which is smaller: 119 or m?
119
Let x(r) = -r**2 + 12*r - 7. Let h be x(9). Suppose 4*b = -4*a + 32 - 0, 2*b - 4*a - 4 = 0. Let u be (51/34)/(b/92). Which is bigger: u or h?
u
Suppose 5*k = 13*k - 68392. Let q = 51425/6 - k. Is q at most 22?
True
Let w be 36/(-26*15/20). Let b(p) = 6*p - 10. Let h be b(-7). Let n = 51 + h. Is n > w?
True
Suppose 406 = 5*x + 3*a, -154 = -2*x + a + 2*a. Let w be (-16)/x + 51/5 + -2. Which is bigger: 23/3 or w?
w
Let t = -606 + 242. Let c = t + 364.1. Which is smaller: c or -282?
-282
Let x = 93932/281787 - 1/93929. Let u = 0.36 - 0.321. Which is bigger: x or u?
x
Suppose 3*t = 2*s + 2, -31*t - 3 = -34*t + 3*s. Is t equal to 16/25?
False
Let f = 63 - 56. Suppose 2124*d + 14 = 2117*d. Which is bigger: d or f?
f
Let z = 0.14 - 0.04. Let x = 2/279 - 841/558. Is z <= x?
False
Suppose -5*z + 35 = -5*c, 11*c + 3*z = 15*c + 30. Let k be 2/(-9) - (c + 24729/2808). Which is greater: k or 1?
1
Let t = -3.5458 + -0.0642. Let c = t + 4.61. Which is bigger: -119 or c?
c
Let x = 333 + -337. Let z be -3 - x - (-3 + 1). Is 42/19 at most as big as z?
True
Let b(l) = -7*l + 74. Let j be b(10). Suppose -4*v - 4*p + 2 = -2, -2*v + j*p = 10. Which is smaller: -10/51 or v?
v
Suppose -g = 4*j + 11543, 0 = -100*g + 99*g + 3*j - 11515. Is g equal to -11527?
True
Suppose 0 = 84*p - 83*p - 4. Suppose 5*c - 180 = p*r, 2*c - 4*r - 91 = -31. Which is smaller: 42 or c?
c
Let q(h) be the second derivative of -h**6/360 + h**5/24 + h**3 - 3*h. Let z(v) be the second derivative of q(v). Let g be z(5). Is 3/44 at most g?
False
Let j = 46 - 3. Suppose -j*x = -38*x + 5. Let g = -216004/111 - -1946. Is x > g?
False
Suppose -4*i + 242 + 62 = 0. Suppose 0 = -0*b - b - i. Which is greater: b or -78?
b
Let u = 5639 + -5636. Which is greater: -20.07 or u?
u
Let n = -1501 - -1393. Which is smaller: n or 0.08?
n
Let f(v) = v**3 - 8*v**2 - 36*v + 5. Let t be f(11). Let m = 138 + -166. Are m and t unequal?
False
Let b = 2205 + -2206. Which is smaller: b or -7/253?
b
Let u = -10.73 - -7.73. Suppose 17 = -v - 5*j, 3*j + 207 - 78 = -5*v. Are v and u non-equal?
True
Suppose 8*f - 224 + 24 = 0. Suppose 16*t + 4896 = f*t. Which is smaller: t or 543?
543
Let a be (7/(-2) - 1)/(1494/72). Let p(j) = j**3 - 29*j**2 + j - 30. Let c be p(29). Is c greater than or equal to a?
False
Let h be 155/(-160) - ((-2 - 0) + 1). Let t = -59/160 - h. Is -12 < t?
True
Let u be (4/1)/(8 - 6). Suppose -y - 12 = -3*i, -u*y + 4 = -y + i. Let m be ((-16)/45)/((-4)/(-10)). Which is bigger: y or m?
y
Let b = 267.7 - 283.7. Which is smaller: b or -4/5?
b
Let b = 2/275 + -592/5775. Let v(r) = r**3 - 3*r**2 - 23*r - 32. Let d be v(7). Let l be 5 + -6*d/3. Are l and b equal?
False
Let z(p) = -2*p**3 + 2*p + 1. Let f be z(2). Suppose 0 = 48*t - 151 - 137. Let l be ((-60)/(-8) + -6)*(-40)/t. Which is smaller: f or l?
f
Suppose 18*r = 22*r - 1548. Let s = r - 507. Which is greater: -121 or s?
s
Suppose 130*z - 87*z + 3079 = -7198. Is 3 >= z?
True
Let p be 1 - (-16)/870*-54. Let a = 0.4246 + -1.4246. Are p and a equal?
False
Let c = -1955 - -1316. Let m = -5753/9 - c. Which is smaller: -0.081 or m?
m
Let x(a) = -4*a**3 + 39*a**2 - 2*a + 114. Let w be x(10). Which is smaller: 172 or w?
w
Suppose -4*o - 637 = 199. Let l be ((-12)/14)/(-3) + o/(-77). Suppose -q - 4*q + 5 = 0. Is l greater than q?
True
Let f = 1610 + -1499. Suppose 2*p + 3*j - 231 = 0, 2*j = 2 - 0. Which is bigger: p or f?
p
Let t(a) = 5*a**3 - 113*a**2 + 63*a + 62. Let m be t(22). Let y = 4 - 0. Let j be (8/(-12))/(y/30). Which is bigger: m or j?
m
Let j(z) = -43*z + 3268. Let i be j(76). Are -54/103 and i nonequal?
True
Suppose -5*k + 760 = -185. Let d be (0 - -5)*(180 - 142). Is k < d?
True
Let c(j) be the first derivative of 27/2*j**2 + 9*j**3 + 1/4*j**4 + 12*j + 36. Let i be c(-26). Which is smaller: i or -16?
-16
Let o = 565 + -564. Let b be -3 - (3 + (-5)/o) - -1. Is b at least 1/217?
False
Suppose 3*h - 2002 = 2*y, 48*y = 52*y - h + 3994. Which is smaller: y or -991?
y
Let b = -0.958 + -4.042. Are b and 2826 nonequal?
True
Let g = 324 - 450. Let l be (-1592)/(-378) + 36/g + -4. Which is smaller: l or 1?
l
Let g = 144 + -162. Let b = 17.1 + g. Which is smaller: b or -4?
-4
Let w be 78/(-24)*((-2)/1 + -2). Suppose 12*s = w*s - 7. Let f be s/(7 + -9 - (-6)/4). Is -12 >= f?
True
Let r(q) = 3*q**2 + 87*q - 90. Let z be r(-30). Let o = 38.6 + -31.46. Let m = o - 0.14. Is m >= z?
True
Suppose -3*h + z + 0*z + 57 = 0, 3*h - 69 = 5*z. Suppose 23*b - 24*b = h. Which is smaller: -17 or b?
b
Suppose -4*v + 4*d = -8, 2*d - 5 = -5*v + 19. Which is greater: v or 143/49?
v
Let h = 4 + -4. Let x = -8659 + 8658.74. Which is greater: h or x?
h
Let z = -45.38 - -45. Let m = z + 1.38. Let b = m - 1. Are b and -19 non-equal?
True
Let p(n) = 24*n**3 + 363*n**2 + 41*n - 35. Let k be p(-15). Which is greater: -5 or k?
k
Let k = -19.93 + 20. Let b = -4.87 + k. Let p = b - -23.8. Which is smaller: p or 1?
1
Let q = -77 + 77. Let i be ((-132)/198)/(q - (-4)/6). Let r be i/(-5)*(-115)/1242. Which is smaller: 1 or r?
r
Let a = -26847/1540 - -1/220. Let p = -30598196/2012199 + -2/862371. Let l = p - a. Are l and 1 unequal?
True
Let g be (-44)/(-11) - (2 + 3). Let u(h) = 2*h**2 - 3*h - 2. Let p be u(g). Let s = -2/75 - -833/300. Which is smaller: p or s?
s
Let s be (5/(-250)*-10)/(6/(-15) - 0). Which is bigger: s or 0.43?
0.43
Let g be (-89)/(5 + 3 - (-135)/(-17)) - -2. Are g and -1514 unequal?
True
Suppose -13*r + 11*r = -4*p + 2870, -3*r - 4280 = -p. Let v be (-20)/r*(-3)/12. Which is smaller: 1 or v?
v
Let w be -2 - -2 - (6 - (-27 + 28)). Is -68 smaller than w?
True
Let t be 6/(-15) - ((-24)/10 + 1). Let n be 256/(-8)*t/(-1). Suppose n*z = 29*z - 6. Do 0.01 and z have the same value?
False
Suppose -531 = -2*f + 573. Suppose -3*a = i - 555, -2*i + 944 = 2*a - 162. Is f equal to i?
True
Let p(r) = -r - 15. Let u(w) = w + 1