ame value?
False
Let f = -1154 - -1933. Suppose 233 = -3*x + f. Are 181 and x equal?
False
Let s = -7445/190866 - -4/7341. Let n(x) = -x**2 - 5*x - 4. Let i be n(-4). Is s greater than or equal to i?
False
Let s be 4/((-12)/(-9)) - (-2 - -6). Let c be -8 - (944/40 + s). Is c less than or equal to -31?
False
Let f(g) = 9*g + 29. Let t be f(-3). Suppose 16 = t*k + 6. Which is smaller: -11 or k?
-11
Let f = -290.109 + 0.109. Let p = -203 - f. Let n = 92 - p. Which is smaller: 1 or n?
1
Let s(c) = -c**2 + c + 37. Let z be s(-5). Let x be (-13531)/(-42)*2/3. Let g = 215 - x. Is g greater than or equal to z?
False
Let p = 10558 - 21117/2. Is 241.3 less than or equal to p?
False
Let p be (48/21)/(2/(-112)). Is p bigger than 1/4?
False
Let t = -2166 + 2165. Are 3611 and t nonequal?
True
Let s = -24.264 + 41.223. Let x = s + 0.041. Let r = -37 - x. Which is smaller: r or 0.2?
r
Let i be (-2)/(-4) + 4*(-115)/(-40). Let j be 5 + -8 + 4 + 1. Suppose -i*s - 60 = -j*s. Which is greater: s or -10?
s
Let j = 3000 - 6003/2. Do -456 and j have the same value?
False
Suppose 5*p - p = 4*g + 2584, 3*g + 2*p = -1918. Let c be g/(-20) + (3 - 2)*-4. Let l = -28 + c. Which is greater: l or 1?
1
Let j = -3141/10 - -629/2. Is 1680 greater than j?
True
Let d be 3731/(-21) + (-4)/(-6). Suppose 2*f + f + 536 = 2*j, 3*f + 538 = 4*j. Which is bigger: d or f?
d
Suppose -76 = 4*h + 500. Let d = h + 8209/57. Which is smaller: -1 or d?
-1
Suppose -92*g = -8*g - 3*g + 33129. Let j(r) = -11*r**2 + r - 7. Let i be j(-6). Is g greater than i?
False
Let v = -2615/2322 - -59/54. Which is smaller: v or -1?
-1
Let r = 7653 - 8323. Which is bigger: r or -673?
r
Let s be ((-24)/16)/(15/370). Let f be (-114)/s - 30/10. Which is greater: 0 or f?
f
Let y(f) be the third derivative of 23*f**2 - 1/60*f**6 - 5/2*f**3 - 1/12*f**4 - 7/30*f**5 + 0*f + 0. Let j be y(-7). Are 14/9 and j unequal?
True
Let l be 2/7 - (-9)/42 - 0. Let g = -29.2 - -28.4. Which is smaller: g or l?
g
Let x be (-4454)/14 - 126/147. Let a = 233 + x. Is a > -86?
False
Let v be ((-4)/12)/(198/1701). Let z = v - -137/22. Do 3 and z have the same value?
False
Suppose -8*c - 15*c + c = -31614. Is 1437 >= c?
True
Suppose 0 = -3*f + 87 - 0. Let g = f - 30. Let h be (7/(231/4))/(g/(-3)). Which is smaller: 1 or h?
h
Suppose -4*s - 2*v = 0, -v + 0*v = 4. Suppose -5 + s = 3*j, 5*h = 2*j + 522. Which is smaller: h or 105?
h
Let q be ((-8)/266)/((-6)/5397). Which is smaller: -2/7 or q?
-2/7
Let d(g) = 4*g**3 - 3*g**2 + 2*g - 2. Suppose 0 = -2*j + 4*h - 3*h - 3, 5*h + 15 = 0. Let w be d(j). Let n = w - -722/5. Which is bigger: 1 or n?
n
Let g = -134/3 - -44. Let t = -6 - -6.08. Let m = 0 - t. Does m = g?
False
Suppose -3*l - 3507 = 4*h, 17*l + 2 = 15*l. Is h <= -2627/3?
True
Let s = -980 + 980. Let c be -2 - (1 + 1 + -3). Let t = s - c. Is 2/53 <= t?
True
Let z(l) = l**3 - 63*l**2 - 63*l + 287. Let m be z(64). Which is smaller: 5 or m?
5
Let q(k) = k**2 + 16*k + 18. Let b be q(-15). Which is smaller: 19/8 or b?
19/8
Suppose -154 = -12*v + 26. Suppose -t + 32 = t. Which is smaller: t or v?
v
Suppose -5*u - 36 = -14*u. Suppose -4*s - 446 + 82 = -b, u*b + 5*s = 1393. Suppose 3*p - 3*d - 329 = -68, -3*d - b = -4*p. Which is smaller: p or 90?
90
Let p = 4599.9 - 4310.47. Let z = p + -288. Do z and -1 have the same value?
False
Let v = -31 - -49. Suppose 4*n = -2*t + 3*t - v, 2*n = 3*t - 54. Let r be ((-1)/t)/(-2*(-2)/(-12)). Which is bigger: r or -0.01?
r
Let o = 43/11 + -8955/2288. Let l = -81 + 83. Suppose 5*m + k - 12 = -2*k, -l*m + 3*k = 12. Which is greater: m or o?
m
Let d = -119.23 - -118.9. Is 97 < d?
False
Let n(o) = -169 + 23 - 74 - 2*o. Let v be n(-14). Which is smaller: -194 or v?
-194
Suppose -3*q = -2*r + 4*r + 1426, -3*r - 1422 = 3*q. Let v be q/(-3)*24/(-20). Let t = v - -188. Is t at most as big as -3?
True
Let g = -162 - -135. Let s be (-3)/g + 2529/(-891). Are -2 and s nonequal?
True
Let w be (-1 - 3) + (14 - 1). Suppose 3*r = w - 12. Let l = 7103/34 + -209. Is r not equal to l?
True
Suppose 0 = 5*z + 5*v, z + 4*v + 0*v + 15 = 0. Suppose -147 = 3*d - z*d - 3*x, 5*d - 2*x - 377 = 0. Let j = d + -79. Which is smaller: 2 or j?
j
Let y(i) = -714*i - 2784. Let r be y(-4). Let m(d) = -13*d + 7. Let l be m(6). Let a = r + l. Is -2/211 at least as big as a?
False
Let y(f) = f**3 + 33*f**2 - 851*f - 39. Let h be y(-50). Let k be (-67)/2 - (-4)/(-8). Let t = -23 - k. Do t and h have different values?
False
Suppose -3*z = -2*d - 2*z + 34, 26 = 2*d + z. Let m be ((-9)/d)/((-54)/90). Is m at least as big as 3/416?
True
Let i(l) = -l**2 - 659*l - 60989. Let g be i(-111). Suppose 4*c + 2*d = -638, 5*c + 124 = 4*d - 667. Which is smaller: g or c?
g
Let t(u) = -u**2 - 9*u - 52. Let p be t(-4). Is p greater than or equal to -123/4?
False
Let q = 339203/27 + -12569. Is q less than or equal to -2?
True
Let x = -1142/25 - -76277656/1669825. Are x and 1 unequal?
True
Let x be 0/11*(-2)/6. Let s = -298982/13 + 23022. Let n = s + -23. Is n smaller than x?
False
Suppose 0 = 3*k + 4*m + 18, -61*m + 23 = -2*k - 60*m. Let o = 13 - 22. Is o bigger than k?
True
Let f be (-3 + 3)/(2 - 0). Suppose -3*z + z = f. Let x be (90/495)/(676/44). Which is bigger: z or x?
x
Let o be (-141)/(-329) + ((-818)/(-4732))/((-1)/2). Is 1 < o?
False
Let j = -6947/4118 - -902/71. Which is smaller: j or 10?
10
Let v be (17/((-340)/24))/((-1)/(-80)). Suppose 129 = -a + 33. Is a at most as big as v?
True
Let u = -29.7369 + -0.2631. Which is greater: -28 or u?
-28
Let p be ((-4)/8)/(2/40). Let r be ((-110)/(-75))/((-2)/p). Suppose 0 = -k + 3*u + 20, 0 = -2*k + 4*u - 8*u. Is r at least as big as k?
False
Let r = 33373033271/1089 + -30645586. Let o = r + -13/363. Is -10 greater than or equal to o?
False
Let g be (-3 - 18077140/(-6025715))/(1 - -1). Let w = 37836669603/60257150 - g. Let t = w - 628. Is t at most 0?
True
Let b be 10 - (-7 + (-686)/(-42)). Is b greater than or equal to -37/44?
True
Let i be (-8 - -20) + -36 + 25. Are i and 28/473 nonequal?
True
Suppose -5*q - 1272 = -q - 2*v, -4*q - 2*v - 1240 = 0. Is q != -297?
True
Let i be (-31 - -7) + (-34254)/(-1397). Which is greater: i or 1?
1
Let s = 262 + 152. Let o = -2532/337 + 2698276/6403. Let j = o - s. Which is bigger: j or 0?
0
Let s(o) = -170*o**2 + 4*o + 8. Let x be s(-2). Let f be x/15 + 6/9. Let y = f - -46. Which is bigger: 2 or y?
2
Suppose 3*n + 5*k + 77 = 0, 2*n + 2*k = -2*k - 52. Suppose -8*s + 9*s + 7 = 0. Do n and s have the same value?
False
Let d be (24/(-14))/((-141126)/903). Which is bigger: 2/3 or d?
2/3
Let s(d) = -45*d**2 - 10*d - 15. Let y be s(-2). Let r = -163 - y. Is r >= 13?
False
Let v = -2512 - -1562. Are -949 and v equal?
False
Let i be 12/(-21) - 11602/(-14056). Let k = -1/251 + i. Which is bigger: 2/223 or k?
k
Let u = -9894 - -168257/17. Which is smaller: 4 or u?
u
Suppose 0 = 13*g - 20 + 72. Let a(l) = l - 10. Let o(h) = -h + 19. Let n(x) = 5*a(x) + 3*o(x). Let r be n(g). Which is smaller: r or 1/10?
r
Suppose 0 = 2*c + 202 - 248. Let l = 0.96 + -1.96. Is l equal to c?
False
Suppose 15 = 4*y - 13. Suppose x + 4*v + 5 = 2, -3*x = -5*v - 42. Suppose 57 = 6*r + x. Which is smaller: y or r?
y
Let c = -4110 + 4153.39. Let z = c + -41. Which is smaller: 0 or z?
0
Let z = -0.2956 + -9.7044. Which is smaller: z or 389?
z
Let f be 7*9/1008*-5. Is 10 greater than or equal to f?
True
Let c = -5.3496 + 0.0416. Let k = c - -0.308. Is k at least as big as 0.16?
False
Let l be (1/(-3)*-13)/(23/(-69)). Let w(b) = 6*b + 3. Let q be w(l). Is -77 bigger than q?
False
Let z(l) = 8*l - 23. Let t be z(7). Suppose 0 = -3*n - n - 5*p - t, n = 5*p - 27. Which is greater: n or -14?
n
Suppose 0 = -4*y + 5*p - 1, y - 2*p = -1 - 3. Let w(f) = -14*f + 85. Let n be w(y). Let o be 3/(-2)*(-44)/48. Which is greater: o or n?
o
Suppose 3*q - s + 7 + 2 = 0, -4*s = 12. Let i be 6 - (-11 + q)/(-3). Is i < 2/149?
False
Let m(s) = -61*s + 93. Let r(y) = -245*y + 372. Let d(a) = 9*m(a) - 2*r(a). Let f be d(9). Do f and 0.1 have different values?
True
Let g(q) = 4*q - 20. Let y be g(6). Suppose -y*b - 15 = -w, w + 4*b + 11 = 6*w. Which is bigger: 18/37 or w?
18/37
Let s = -878.824 + 879. Let w = 148 - 1034/7. Which is smaller: w or s?
s
Suppose -4 = 4*m, -7*j + 5*m - 35 = -2*j. Let z = -8 - j. Let l be z/2*1/2. Which is big