?
True
Suppose -38*f + t - 182 = -34*f, 5*f + 190 = -5*t. Which is smaller: 10 or f?
f
Let w = -16188.2 - -16188. Let b = -41.922 + -0.078. Is b at most as big as w?
True
Let u = 67 - 6. Let k = 228.32 + -289.5. Let q = k + u. Is 2/3 > q?
True
Suppose 5*i = -2*u + 9 + 10, -5 = 2*u - 3*i. Suppose 0 = 5*r + 2*z + 1198, 3*r - z + 241 = u*r. Let g be (-2)/(-15) + (-358)/r + -1. Which is greater: 1 or g?
1
Let o = -1007 - 1805. Which is bigger: -0.2 or o?
-0.2
Let o = 5510 + -5964.8. Let b = -517 - o. Let u = -64 - b. Which is bigger: u or 2/11?
2/11
Suppose -163*v = -138*v + 25. Is v greater than 3/122?
False
Let i = -0.061682 + 83.579682. Let z = i - 0.518. Which is smaller: -1 or z?
-1
Let l(q) = 133*q - 905. Let i be l(6). Let o = 150 - 258. Which is smaller: o or i?
o
Suppose 24*b - 15 + 63 = 0. Let h be (69 + -12)/(b/((-2)/(-1))). Which is smaller: h or -54?
h
Let f be (8/(1120/(-63)))/((-36)/96). Let u be -1 - 2*(-1)/2. Which is smaller: f or u?
u
Let o(t) = t**3 - 9*t**2 + 6*t - 1. Let p be o(4). Suppose -86*z + 1605 - 6421 = 0. Which is smaller: p or z?
p
Let n be (-6)/(-15) - (-3132)/(-330). Let p = -1966/209 - n. Do p and 0 have different values?
True
Let u = 0.1867 + 0.0363. Let i = -0.223 + u. Is -31/7 < i?
True
Let l = -29443 - -29364. Which is smaller: -627/8 or l?
l
Let k be (-3)/(-15) - 248/(-35). Suppose -7*h - 1970 = -2019. Is k >= h?
True
Let f be ((-6)/(-4) - 0) + 32/64. Suppose -m - 2 = f*i, 3*i + 143 = 3*m + 131. Which is smaller: m or 32?
m
Let z(r) = -2*r + 3*r - 2 - 11 - 5*r**2 - r**3 + r. Let i be z(-6). Suppose 0 = h + 2*q + i, 6 = -0*h + 2*h - 3*q. Which is smaller: h or -21/5?
-21/5
Let g = 0.152 + 277.848. Let f = -7415/198 + 819/22. Which is smaller: f or g?
f
Let l be (1 + 29/(-18))/((585/(-1500))/(-39)). Which is smaller: -61 or l?
l
Let f = 22633 - 11659. Is f smaller than 10974?
False
Let a be ((-2)/20)/(24/(-30)). Suppose 5*j + 2*z - 100 = 0, 0 = 4*j - 5*j - 2*z + 28. Suppose -12*p - 6 + j = 0. Which is bigger: p or a?
p
Let j be (-10 + 14)/(2*-1). Let g be j/(-15) - (-9792)/(-76140). Is g bigger than 0?
True
Let l be -6 - 128057/74*(-3 + (-33)/(-15)). Is 1377 at least l?
False
Suppose 1008*w = 1012*w + 5*s - 30, 3*s - 18 = 0. Do w and 1/8822 have the same value?
False
Let a(n) = n**3 + 16*n**2 + 17*n + 38. Let d be a(-15). Suppose d*t + 6*t - 98 = 0. Is t greater than or equal to -7?
True
Let l be (-6*2)/(3/(-2)). Let v = 138 - 97. Let r = v + -31. Do l and r have the same value?
False
Let t = -0.65 + 5.45. Let k = t + -4.7. Let w = 0.11 + -25.11. Which is greater: k or w?
k
Let h = 36611/14 + -2614. Let w = 9/14 - h. Is 0.2 < w?
False
Let k = -111 + 107. Let v be 2/k - (2 - (-51)/(-6)). Suppose -3*y = 3, 5*o - y - v = -0*o. Is o less than or equal to 11/5?
True
Let x = -0.5 + -1.5. Let k = 77.237 + -77. Let c = k - -6.763. Which is greater: c or x?
c
Let x = 7783 + -105435/13. Is x bigger than -328?
True
Suppose 2*q = -8*l + 9*l + 2376, -3*l + 1167 = q. Which is greater: q or 1187?
1187
Let c = -26 - 76. Let b = 58331 + -58331.1. Is c less than b?
True
Let d be 3 - (-13)/(-5) - (-416)/10. Suppose -5*z - d - 73 = 0. Let w = z + 78. Which is smaller: w or 53?
53
Let n = -30282 + 30262. Which is smaller: 429 or n?
n
Suppose 5*v - 2*v - 1 = o, -2*o - 12 = 4*v. Let h be 3 + (1105/(-30) - 7). Let t = 6857/168 + h. Which is smaller: t or v?
v
Let z be -1724*5/(-40) - 3/2. Let v = -212 + z. Is 4 > v?
True
Suppose -q - 116 - 112 = -s, 4*s = 5*q + 908. Is 232 <= s?
True
Let a = 531 - 528. Let u be (-720)/(-216) + (-1)/a. Are u and -58 non-equal?
True
Let m = 32165.5 - 32165. Let o be (-120)/(-153) + (-4)/6. Which is bigger: m or o?
m
Let i = -28.833 + -1.167. Is i smaller than 0.042?
True
Let o(k) = -k**3 + 3*k**2 - 2. Let b be o(2). Let m(s) = s**3 - s - 201 + 10*s**b - s + 181. Let r be m(-10). Which is greater: 2/19 or r?
2/19
Let n(a) = -649*a + 36. Let u be n(4). Let j be (-2)/(-13) - u/(-15795). Is -1 not equal to j?
True
Let m = 8 + -5. Let d(a) = 73*a - 7223. Let u be d(99). Which is smaller: m or u?
m
Let f be 330/14 + 81/189. Suppose 44 = 2*u + f. Let t(z) = z**3 + 3*z**2 - 5*z - 4. Let i be t(-3). Is i greater than u?
True
Let f be (-480)/(-448)*103/(-5). Which is smaller: f or -23?
-23
Suppose -4*w - 128 - 20 = 0. Let n = 36 + w. Let m = 25 + -50. Which is smaller: m or n?
m
Let k be ((10 - 5) + -7)*-3 + (-1972)/5. Is -387 at most k?
False
Let g = 3590 - 3590. Which is smaller: g or 1/1403?
g
Suppose 0 = -21*i - 286 - 29. Which is bigger: -24 or i?
i
Suppose 3*n - 4*n = -20. Let b = 1430 + -942. Let i = 510 - b. Which is smaller: n or i?
n
Let x be 3308/(-60) + (-20)/(-150). Suppose -j + 20 = 4*j. Suppose 4*w = -3*o + o - 214, 0 = -3*w + j*o - 166. Which is greater: x or w?
w
Let f be (-8)/8 + 4/(-1). Let p(o) = 6*o + 23. Let i be p(f). Let r be (-552)/161*i/2. Which is smaller: r or -0.1?
-0.1
Let n(g) = -14*g - 4. Let o = 187 + -185. Let a be n(o). Which is bigger: -37 or a?
a
Let h = 222 - 223. Let f = 55525/61 + -910. Which is smaller: f or h?
h
Let a = 148.9 + -167.6. Which is bigger: 0.03 or a?
0.03
Let n = 35 + -131. Let s = n - -119. Is s at least 23?
True
Let v = -905 - -1361. Let w = -465 + v. Which is smaller: w or -10?
-10
Let w(x) = 49*x**2 + 73*x + 328. Let y be w(-5). Which is greater: y or 1186?
y
Let n = 5446 + -495592/91. Let x be 45/54 - (-30)/(-36). Is n < x?
True
Suppose 5*g = -w - 45, -3*w - 5*g = 213 - 48. Let k = -56 - w. Suppose -u - 20 = -6*u, 16 = -4*i + k*u. Is i greater than 0?
False
Let r(j) = -j**3 - 6*j**2 + 5*j - 10. Let y(s) = -2*s**3 - 6*s**2 + 6*s - 9. Let h(v) = 3*r(v) - 2*y(v). Let n be h(6). Let a be n/44*(-4)/(-24)*20. Is a > 0?
True
Let z be (170 - 20 - -18)*1/(-3). Is -57 smaller than z?
True
Suppose 549*q = p + 546*q + 26, 0 = 2*p - 9*q + 79. Let l = 19/29 - 9007/13659. Is l at most p?
True
Let z = 199655 + -695797669/3485. Let j = z + -14968/4645505. Which is bigger: j or 1?
1
Let w(v) = v**2 - 4*v - 68. Suppose 70 = -92*d + 85*d. Let r be w(d). Is 72 bigger than r?
False
Let n = 3460 - 3459.069. Is 0 >= n?
False
Let a(t) = -t**3 + 9*t**2 + 22*t - 20. Let n be a(10). Let x be 132/21*420/n. Let m = 21 + 4. Which is smaller: m or x?
m
Suppose 11 = 4*y - 5*r, -2*y - 11 = -0*r + 3*r. Let i be (-2)/226*(-4 - 21/(-3)). Is i at least y?
True
Let g(r) = 5*r**3 + r**2 - 2*r + 1. Let s be g(1). Suppose s*j - 451 = 3*u + 62, 5*j + 5*u = 505. Which is smaller: j or 2/9?
2/9
Suppose h = 2*h - 14*h. Let o = 0.073 + -0.473. Are h and o equal?
False
Let o(n) = n**2 - n - 2. Let q be o(-1). Suppose q = -23*j - 992 - 1676. Is j at least -116?
True
Let k be (2/16)/(70/(-343)) - (-20)/25. Which is smaller: k or -2/3?
-2/3
Let u be (12/30 - 8/(-30))/((-86)/129). Is 10/259 at most as big as u?
False
Let z = -3.83 - -3.494. Let d = z + 0.346. Does -23/3 = d?
False
Let j be (2/6)/((-21)/(-8883)). Let n be (4/(-6))/((-94)/j). Let x be (-4)/14 - (-184)/742. Which is smaller: x or n?
x
Let p(w) = 4*w + 158. Let i be -3 - ((-180)/(-5) - 5). Let s be p(i). Is 22 greater than or equal to s?
True
Let f = -234157/5370 + 218/5. Which is smaller: 1 or f?
f
Let h = 4823329/28494 + -3047/18. Which is bigger: h or -1?
h
Let k = -632/29 - -64586/2929. Is k != 0?
True
Let q(p) = 2*p**3 - 5*p**2 + 35*p - 227. Let o be q(8). Which is greater: 760 or o?
760
Suppose 5*a - 13 = 3*a - f, 0 = -a - 4*f + 24. Suppose -2 = -a*z - j - j, -4 = -3*z + j. Let u = -2625 - -446249/170. Which is bigger: u or z?
z
Let p = 83690 - 251069/3. Let y = 38 - 17. Is p >= y?
False
Let p = 239 - 151. Let n be p/1100 + 154/(-50). Are 43 and n nonequal?
True
Let i be 1 + (3165/(-30))/(820/8). Is 0 less than i?
False
Let g be (-522)/216*(-4720)/(-10). Which is smaller: g or -1140?
g
Let b be (2*(1/(-4))/1)/(10/20). Which is greater: 7772 or b?
7772
Suppose -2*j - k + 14 = 0, -48 = -221*j + 217*j + 3*k. Let a(q) = 3 + 5 + 2*q**3 - 3*q**3 - 7*q - 8*q**2. Let p be a(-7). Is p != j?
True
Suppose -5*t + 20*t + 450 = 0. Let h be (-1056)/360*((-39)/t - 1). Which is smaller: -2 or h?
-2
Let b = -94.43 + 0.43. Let x = 140.42 - -0.58. Let d = x + b. Is d <= 2/7?
False
Suppose -2458 + 16472 = 143*m. Which is smaller: 101 or m?
m
Let z be -4 + 0 + 1 + 0. Let a(o) = o**2 - 20*o - 512. Let r be a(-15). Is z < r?
True
Suppose 5*d = -0*d + 22*