/4 and o have different values?
True
Let q be -2*1*(-3)/216. Let w = -9972 - -9973. Which is greater: q or w?
w
Suppose 7*l - 3*l = 0. Suppose l = m - 4*n - 8, -3 = 3*m + 2*n + 1. Let k be (4/(-12) + 2/(-3))/((-139)/278). Is k bigger than m?
True
Let n = -105 - -113. Suppose -x + 3*x = n. Let w(b) = -b**3 + 4*b**2 - 5*b. Let a be w(x). Is -20 <= a?
True
Let d be (-56 + -17)*340/17. Let p = 27/703 + -9213761/6327. Let h = p - d. Is h at least 4?
False
Suppose 0*l + 3*l = 3. Let w be 10/(-8) - 17/(2652/29907). Let s = w - -193. Is s bigger than l?
False
Let f(w) = -24*w - 120. Let x(k) = 5*k + 25. Let o be x(-6). Let i be f(o). Is 4/169 less than i?
False
Let m = -1641/22132 - -3/44. Which is smaller: 0 or m?
m
Let t = 488053425337/8201 - 59511453. Let y = t - -6/59. Are y and -1 nonequal?
True
Suppose 0 = -2*d - 12, 5 = -k + 2*d + 17. Which is smaller: k or 3/10034?
k
Let p be (-97)/(((-7)/28)/(7/(-7))). Does -395 = p?
False
Let s(f) = 8*f - 973. Let v be s(0). Which is bigger: v or -966?
-966
Suppose 2*i + 2*i - 14 = -2*r, 3*i - 21 = 2*r. Let t = r - -6. Let m be (-24 + (-1008)/(-40))/((-3)/(-2)). Is m > t?
False
Suppose -2*w = 2*w - 8. Suppose 2*j + w = -2. Let g = j + 8/3. Is 1 less than g?
False
Suppose -2*w + 6*l = 11*l + 659, 3*w + 2*l = -994. Which is smaller: -335 or w?
-335
Let p = -91630/69 - -1328. Let h be 1556 + -1550 + (-5)/((-10)/(-12)). Is h less than or equal to p?
True
Let l = -521 + 563. Suppose -2*a + 2*q = -l, 4*q + 2 = -6. Which is greater: a or 16?
a
Let h = 102 - 98. Suppose -h*n - 52 - 12 = 0. Let w(q) = -4*q - 62. Let b be w(n). Is b >= -6?
True
Let z(o) = 1872*o**3 - o**2 - 5*o - 2 - 1873*o**3 + 1. Suppose 0 = -g + 5*g + g. Let y be z(g). Is 1 less than y?
False
Let d = -336.93 - -337.03. Is -1300 < d?
True
Suppose 0 = -z - 3*z - 28. Let g = -1931.5 - -1933.5. Which is smaller: g or z?
z
Let c be (14116/2824)/(-1 - -2) + -83 + 78. Is c at least -7?
True
Let h be ((-492)/5)/(-5*(-27)/(-450)). Is h at least as big as 327?
True
Let f = -5619 - -5266. Which is greater: f or 2/19?
2/19
Suppose 0 = -3*c + 7*c + 188. Suppose 7*j - 60 = b + 3*j, j + 115 = -3*b. Which is smaller: c or b?
c
Let r = 16.045 - 15.845. Which is bigger: -2/253 or r?
r
Let f = -214/3 - -74. Let g = -10260.08 - -10260. Which is greater: f or g?
f
Suppose -t + 0*t - 44 = 0. Let a(h) = -24*h - 243. Let y be a(-15). Let p = y - 160. Which is smaller: p or t?
t
Let p(w) = -9*w - 128. Let g be p(-15). Let x be 2 + g + 487/(-54). Is -1 >= x?
False
Let i = -27 + 39. Suppose -29 = -11*f + 9*f + g, -3*f + 26 = 2*g. Is f >= i?
True
Let n(t) = -4*t**3 + 4*t + 7. Suppose 0 = -2*q - 4, 3 = -2*f - 4*q + 1. Let s be n(f). Which is greater: s or -87?
-87
Let b be ((-4)/6)/((-2)/(-12)). Let n be ((-2)/(-4))/(-9 + (-750)/(-84)). Let m be n - 15*8/(-24). Is m < b?
False
Let b be (-7 + 755)*1/((-8)/(-40)). Which is greater: 3742 or b?
3742
Let x = -2/323 + 3567/2261. Let g = -53 - -101. Let k be 16/10*60/g. Which is smaller: k or x?
x
Suppose -1928 = 80*j + 1512. Is -2.4 less than or equal to j?
False
Let q be (3*5/9)/(7/483). Let z be (q/15 - 3)*18. Suppose -2*s - 60 = 4*t, 2*s - t = t - z. Which is smaller: s or -39?
-39
Let z = -3958 - -3710. Which is bigger: z or -2?
-2
Let y = 294 - 260.9. Let t = -9.9 - y. Let v = 44 + t. Which is bigger: -10/9 or v?
v
Let p = -43981 - -88121/2. Is 1 < p?
True
Let x(d) = 49*d**3 + d**2 - 2*d + 1. Let v be x(1). Let g = 58 - v. Let b(l) = -2*l + 21. Let f be b(g). Do 3 and f have different values?
False
Let l be ((-8796)/(-13158))/((-1)/6) + 4. Let w = l + 9307/783632. Which is bigger: w or 0?
w
Let o be 4 - 0 - (-14 + 3). Let s(v) = -2*v + 6*v - o + 4. Let l be s(3). Is l less than or equal to 9?
True
Let a be (38/331208)/((-14)/(-16)). Is 0 > a?
False
Let w = -1403887084/63 + 22284578. Let r = 656 - w. Is r <= 0?
True
Let t(i) = i**3 + 3*i**2 - 3*i + 1. Let p be t(-4). Let y = 9.7 - 9.396. Let k = 0.104 - y. Which is smaller: p or k?
p
Let w = 6101777237/1484 - 4111710. Let u = w - -8/371. Let y = -105 + 523/5. Which is greater: u or y?
u
Let x be 0/((-8)/2 + 3). Suppose x = -4*c - l + 323, -5*c + 4*l + 166 = -3*c. Let j(k) = 83*k**3 - k**2. Let i be j(1). Which is smaller: i or c?
c
Let y = -1020 - -614. Let u = 398 + y. Is -4 equal to u?
False
Let l = -2332 + 4991. Let f = 233989/88 - l. Does f = 1?
False
Let h be 4431/14 + 399/(-114). Is h smaller than 314?
True
Let t be (-19)/(-3) + 6/9. Let m = -763 + 763. Suppose -n - t + 10 = m. Which is bigger: n or -1/4?
n
Let c be 5865/(-1445) + 2/34. Let u be 14924/67860 + c/18. Which is smaller: 1 or u?
u
Suppose -101*r = -40*r. Is r >= -8/163?
True
Let o be 12/10 + 95/(-50)*-512. Is -2 > o?
False
Suppose -3 - 1 = -5*a + k, -5*a + 8 = 3*k. Let x = -537 + 41348/77. Is a equal to x?
False
Suppose 5*x - 15 = -5*t, 5*t - 2 = -x + 1. Let s(y) = 1 + 3*y**2 + x*y**2 - 3*y - 7*y**2 + 13*y. Let g be s(10). Which is bigger: g or -5/27?
g
Let w(o) = -19*o**3 - 2*o**2 + 2*o + 2. Let b be w(-2). Let h be 138876/(-326)*((-1)/(-3))/(-1). Are h and b unequal?
False
Suppose 10*s + 1113 - 67 = -154. Which is bigger: -117 or s?
-117
Suppose -5*m + 3*m + 4 = 0. Let i = -177 + 174. Let b be m/i + 40/(-45). Is 1 less than or equal to b?
False
Let f(b) = -b**3 + 5*b**2 - 3*b + 3. Let q be f(2). Let g = 197 + -112. Let u = 95 - g. Do q and u have the same value?
False
Let c = -228.3 + 229.3. Suppose 0 = -0*y + 3*y + 12. Let i = 6 - y. Do c and i have different values?
True
Let m = -35.714 + 35.7. Let y = -111.986 + m. Which is smaller: -2/7 or y?
y
Let c be (0 - -1)/((-41)/697). Which is smaller: -36 or c?
-36
Suppose -33*c + 41*c = 1152. Suppose c = 3*m + m + 2*d, m + 4*d - 22 = 0. Suppose -2*p + 5*p - 111 = 0. Is m <= p?
False
Let r be ((-628614)/175 + 1)/(1 - -2). Let l = r + 1197. Which is greater: l or -1?
l
Let q = -3638 + 3636. Do q and 3/40 have the same value?
False
Let m = 10205 - 35972623/3525. Which is greater: m or 1?
1
Let u(f) = -81*f + 104. Suppose -8*k - 48 + 16 = 0. Let m be u(k). Is 427 greater than m?
False
Suppose -5*r - 2*r - 119 = 0. Let h be (-6)/15 - (-3)/(-15)*r. Suppose -h = -3*n, 2*l + 5*n = -5 - 4. Is -9 bigger than l?
False
Suppose 3*k = -5*k - 144. Let t(m) = -m**3 - 17*m**2 + 15*m - 46. Let n be t(k). Are 60/7 and n equal?
False
Suppose 30 = -17*i + 11*i. Let a(s) = 4*s + 20. Let b be a(i). Let f = -878 - -76384/87. Which is smaller: f or b?
f
Let w = -5502223/1032 + 15995/3. Which is smaller: w or -1?
-1
Let u be 4/119*(-2 + (-95)/(-30)). Let y = 600 + -600. Which is smaller: y or u?
y
Let q(a) = 2*a + 63. Let h be q(-22). Suppose y = 5*g + 16, -6*y + 2*y = -5*g - h. Which is smaller: g or 10?
g
Suppose 3*m = -5*w - 7, 4*m + 6 = 3*w - 13. Let k(n) = -3658*n + 918*n + 913*n + 914*n + 916*n - 8. Let a be k(w). Which is greater: a or -1?
-1
Let k be (-320600)/252 - 2/(-9). Let s = k + 105574/83. Which is bigger: 0 or s?
0
Let p = -15.647 + -886.353. Is p > -5?
False
Let m be 2758/(-63) - (-4)/(-18). Which is smaller: m or -16?
m
Let b be (-8)/16 + (-62)/(-4). Let m be 6/21 + (-4407)/(-273). Is b at most m?
True
Suppose 14*u + 131*u + 876 = -74*u. Do -27 and u have different values?
True
Let m(v) = -531*v - 5865. Let h be m(-11). Which is greater: h or -0.573?
-0.573
Suppose 0 = a + 4*a - 35. Let z(q) = -q + 23. Let g be z(a). Suppose 9*s - 25*s = -g. Which is smaller: 5/19 or s?
5/19
Let b = 18747 - 18747. Is 27/721 <= b?
False
Let k be (-2)/15 + (-9416)/1605. Let u be -5 + 3 + -1 - 10. Let w = u - -8. Is k >= w?
False
Let a be (-2)/(0 - (-6 + 4)) - -5. Let m be 0*(a/(-2) - -3). Suppose -i + m*i = 3*w - 4, 3*w = -4*i - 11. Does w = 6?
False
Let u be (-9)/9 + 128/2. Let a be (-6)/u*-3 + (-40)/(-7). Suppose 2 = 5*r - d, 0 = -a*r + 4*r + 3*d + 6. Is r greater than or equal to 5/6?
False
Let r(w) = w**2 - 14*w + 22. Let h be 6/39 + (-462)/(-39). Let k be r(h). Let f be (4 + k)*(-6)/(-30). Is f bigger than 0.05?
True
Suppose -2*r + h + 565 = 0, 2*r + 5*h + 1532 = 2127. Which is smaller: 277 or r?
277
Let s = -0.657 - -51.457. Let i = -53.8 + s. Is i less than 0.2?
True
Let f(l) = l**3 - 3*l + 2. Let h be f(2). Let k(p) = -p**2 + 4*p + 3. Let d be k(h). Let w be (-3)/(1 + d/6). Which is smaller: w or -31/9?
-31/9
Let b(z) = 3*z**2 - 395*z - 48. Let i be b(131). Is i equal to -317?