o -1?
False
Let n(m) = 51 - 20 - 23 + 8*m. Let w be n(8). Let o be (-1)/(10/(-4))*(-150)/w. Which is smaller: o or 1?
o
Let n(u) = -38*u - 7 + 9*u**3 - 7 + 19*u**2 - 10*u**3 + 5*u**2 - 2*u**2. Let z be n(20). Which is smaller: z or 27?
z
Let w be (-63832)/72 - (-88)/(-198). Is -889 at most as big as w?
True
Suppose h = -48 + 7. Let w be ((-46330)/(-738) - 63)/(2/375). Which is smaller: h or w?
w
Let z = 228 + -213. Let y = -14 - -13. Let v = z + y. Which is greater: -0.2 or v?
v
Let d = 2586 + -4144. Which is smaller: d or -1559?
-1559
Let i = 1929 + -1916. Is i >= -2/33?
True
Let i = -201.7 - -204. Which is smaller: -0.29 or i?
-0.29
Suppose 5*c - 49 = -6*p + 3*p, 2*p - 2*c = 6. Suppose -4*q + p = 0, 0 = -2*i - 0*i + 3*q - 2. Suppose i = -j - j. Is j not equal to 3/7?
True
Let v = 174 - 111. Let z = v + -55. Is 4 equal to z?
False
Suppose -5*u = -f - 44, 2*f - 7*f = 4*u - 41. Suppose -i - 3 + u = 5*h, -4*i + 4 = 0. Let n = 6/113 + 2206/1017. Do n and h have the same value?
False
Let n be 2*(-4)/(-8) - -5. Let p = n + 4. Suppose -5*x + 3*k + 2*k = p, 3*x + 14 = 5*k. Is x equal to 6/5?
False
Let n = -757 + 417. Let y = 192 + -216. Let b be (1/(-20))/((-17)/(n/y)). Is -1 <= b?
True
Let s(o) = -o**3 - 5*o**2 - 4*o + 1. Let b be s(-4). Suppose 32*m - 23*m - 90 = 0. Suppose b = m*l + 31. Are -5 and l equal?
False
Let v be 33/1518*23 - 4878/(-4). Are v and 1218 equal?
False
Let r = -19377 - -19377. Which is smaller: -73/421 or r?
-73/421
Suppose 3723*c + 104201 = 396*c + 31007. Let l = 1206 + -3682/3. Which is smaller: l or c?
c
Suppose c = -4*v - 3672 + 1165, 4*v - 3*c = -2511. Is v at most -1255/2?
False
Let z = 109.108 - 109.18. Is -2/13 at least z?
False
Let r be (-66)/47*158/(-12324). Which is smaller: r or 0?
0
Let r be 12/(-21)*(-49)/14. Let w = r - 10. Let b be 2*(2/3)/(w/114). Which is smaller: -16 or b?
b
Suppose -9 - 3 = 2*m + 4*t, -4 = t. Suppose -d + m*d - 16 = 0. Let j = 18 + -16. Is j >= d?
False
Let x = -1244 - -1547. Which is bigger: 296 or x?
x
Suppose -6*q + q = d - 113, -3*d + 2*q + 441 = 0. Which is bigger: d or 287/2?
287/2
Let p = 1 - 1. Let r be 30/(-20)*(-9)/(-1728). Which is bigger: r or p?
p
Let a be (-2)/1*(84/8 + -10). Let i be 6 + -1 + 0/a. Which is bigger: 15 or i?
15
Let i = -0.5203 - -338.5203. Are i and -0.4 nonequal?
True
Let a(h) = -64*h - 6. Let y be a(-5). Let k = 9639 + -29873/3. Let z = k + y. Which is smaller: -4 or z?
z
Let d = -6.1 - -7. Let g = 0.9 - d. Let s be 0 + (-3)/(-6)*0. Are s and g nonequal?
False
Let z be 2/(14/10 - 3/(-5)). Let s be (10 - 10) + 2 + (-3 - z). Is s equal to -22/19?
False
Suppose -4*s + 46 = 5*m - 66, 2*m - 2*s - 52 = 0. Let d be (m/(-5))/((-102)/(-340)). Is d at most as big as -14?
True
Suppose -5 = -4*y + 11. Suppose 0*g = -2*g - y*w - 14, -4*w - 20 = 0. Let m be (-25040)/(-1050) + -22 + (-4)/30. Which is greater: m or g?
g
Suppose 60 = -n - 2*l, 3*l + 87 = 3*n + 231. Is -54 bigger than n?
False
Suppose 19 = -5*z - 2*v + v, -4*z - 4 = -2*v. Let j be (-64)/(-6)*z/(-14). Suppose 7*s - d - 1842 + 1803 = 0, -2*d = -s + 39. Is j >= s?
False
Let r = 312230/7 + -44803. Let a = -199 - r. Is a less than -28?
False
Let h(a) = -2*a**2 - 58*a - 139. Let l be h(-26). Suppose 34*s = -l + 85. Is -69 equal to s?
False
Let l = -7031/64545 - -1636805639/22203480. Let s = -589/8 + l. Which is smaller: 1 or s?
s
Let j(y) = 2*y**2 - 219*y + 845. Let m be j(4). Which is greater: 12/6347 or m?
m
Let j(p) = p**3 + 8*p**2 + 8*p + 2. Let l be j(-7). Let a be (5 + 93380/3016*4/(-25))*-95. Is a greater than or equal to l?
True
Let r be (1 - 2)/((-2)/(-14)). Let l = -6/1295 - -25129/1295. Let q = -20 + l. Is r < q?
True
Let a be (3/(-2) + 3)/((-5)/(-630)). Let y = 152 - a. Which is smaller: y or -38?
-38
Let n be ((-3)/(-42))/((-2)/6). Let v = n + -2/7. Suppose 2*y - 135*q - 20 = -139*q, 5*q = -y + 25. Which is smaller: y or v?
v
Let h = 311 + -331. Let d be (-2)/4 - (-50)/h. Which is greater: d or -1?
-1
Let d = 220 - 257. Let r = 18 - 4. Let w be 74/6*(11 - r). Are w and d equal?
True
Let o = -25.9 + 29. Let w = o - 3. Let y = 22.535 + -22.582. Is w > y?
True
Suppose 14 = 2*f + 4. Suppose -d + 6 - f = 0. Let t be d/((-130)/(-45) + -3). Which is greater: t or -7?
-7
Let h(y) = -3*y**2 + 54*y + 2. Let j be h(18). Suppose 0*v + 235 = -5*v + 3*b, -2*v + j*b - 94 = 0. Which is greater: -44 or v?
-44
Let b = -1/1936 - -4979/269104. Is b smaller than -2?
False
Let p = 61 + -7. Let v = p - 86. Let a be (19/7)/1 - (-96)/v. Which is bigger: -24 or a?
a
Let r = -30 + 21. Suppose 7 = -w + 10. Suppose -3*c - 5*s = 25, w*c + 2*s - 22 = 5*c. Is r not equal to c?
True
Let s(b) = b**3 - 22*b**2 - 61*b + 32. Let r be s(24). Let p = r + 130. Are -152 and p equal?
False
Let c be (-180)/27 + (1 - 12/9). Let a(t) = -18*t - 125. Let v be a(c). Which is smaller: 1/52 or v?
1/52
Suppose 0 = -205*x + 207*x + 10. Let i be (16/(-20))/((-2)/x). Suppose -3*v + 12 = 4*a + 3, -a + 2 = v. Which is smaller: a or i?
i
Suppose 5*j - 133 = 12*j. Let f = j + 37. Suppose -14 = -4*d + f. Is -1 at least as big as d?
False
Let l(t) = -3*t**3 - 17*t**2 + 12*t + 109. Let b be l(-5). Is -2/133847 < b?
False
Let l(d) = d**3 + 9*d**2 + 4*d - 24. Let s be l(-8). Suppose 2*j + s = -0*j, -5*h = -2*j - 73. Which is smaller: -8/3 or h?
-8/3
Suppose 7*v + 7 = 3*u, 4*u + 6 = -4*v + 2. Which is greater: u or -7/2059?
u
Let b = 193 + -123. Let h = b - 53. Is -0.8 equal to h?
False
Let i(x) = -26*x**3 - 17*x**2 - 15*x + 90. Let y be i(6). Which is smaller: y or -6225?
y
Suppose -8*y + 134586 = -5*y. Let c = 177405/4 - y. Let f = -516 - c. Which is bigger: -4 or f?
-4
Suppose -189*i - 7258 = -5*z - 191*i, 4*z - 5801 = -i. Is 1447 greater than or equal to z?
False
Let y = 4546 + -4547. Which is bigger: y or 1/3797?
1/3797
Suppose -95*p = 133*p + 188 - 1100. Is 0.204 less than or equal to p?
True
Suppose 3*q - 8 = 7. Let h = 0 + q. Let a = -38521 + 38527. Which is bigger: h or a?
a
Let c = -1295/2 - -9143/14. Let m = -29 - -29. Suppose -2*n + f + 16 = m, 0*n = n + 5*f + 14. Which is greater: n or c?
n
Let r = 187.06 - 190. Let s = -1.94 - r. Which is smaller: s or -48.3?
-48.3
Let c be 3*(-7 - -5)*(-62)/(-4). Let q = -92 - c. Which is smaller: q or 22/21?
q
Let j = -1436.8 - -1216. Let i = -219 - j. Do -2/5 and i have the same value?
False
Suppose 2*r + 5 = 11. Suppose 31 = -5*o - 5*f + 11, 18 = 3*o - r*f. Let h be o + -3 - -2 - (-3)/(-3). Which is smaller: h or -2/151?
h
Let k = 4703 - 3448. Is 1254 smaller than k?
True
Suppose 63 = z - d - 3*d, z - 39 = -2*d. Let j = z - 44. Suppose 0 = -4*o - 2*r - 38, 3*o + j + 13 = -4*r. Are o and -21/2 equal?
False
Suppose 3*g = 5*q - 7, -9 = -g - 4*g - 2*q. Suppose y + 3 = g. Let i be -3 - y - 0/(-4). Do -16 and i have different values?
True
Let t(c) = -2*c**2 + 28*c - 78. Let w be t(10). Let j be (7/(-2))/((-4)/(7 + 1)). Which is greater: w or j?
j
Let l = 36/49 - 94/147. Let y(p) = 7*p - 25. Let z be y(5). Suppose 0 = -z*s + 3*s - 7. Which is bigger: s or l?
l
Let y be 18/135*5 - (-5)/(30/(-4)). Which is smaller: -6/3239 or y?
-6/3239
Let m be (627920/864)/47 - 20. Which is smaller: -4 or m?
m
Suppose -5*r + 100 + 857 = -4*m, 0 = -m - r - 228. Let i = 299 + m. Do 64 and i have different values?
True
Suppose -2*h - 1 = -3*h. Let x = 1/1135 + 2161/123715. Is x > h?
False
Suppose -5*d + 2*u + 427 = 0, -d - 5*u = 4*d - 420. Suppose 2*f + 55 = -3*b, 8*f = 3*f + 3*b - d. Suppose -c - 13 - 7 = 0. Is f >= c?
True
Let f = -1104790/207147 + 2/69049. Let p = -0.8 + -0.2. Which is smaller: f or p?
f
Let y be (-188)/22 - (-8 + (-4 - -8)). Let r = y + 211/44. Which is smaller: r or -1/3?
-1/3
Let f = 6772 + -5167. Which is greater: f or -3?
f
Let y(l) = 91*l - 195. Let v be y(11). Let g be 2/(-5) + (-5 - v/10). Is g equal to -86?
True
Suppose 0*o - 2*o - 3*l = -175, -2*o + 190 = -2*l. Suppose 0 = -o*u + 83*u - 4923. Which is smaller: u or -546?
u
Let q be 1*(-8)/48*(-1)/4. Let u be 347/1848 - 4/22. Let o = q + u. Is 0 > o?
False
Let s be (-9842)/210 + 3*(-3)/27. Which is smaller: -48 or s?
-48
Let k be -1*(628/(-15) + (-52)/390). Suppose 38 + k = w. Is 80 not equal to w?
False
Let o = -51 + 36. Let p = 20.59 - -5.41. Let b = o + p. Which is greater: -1/4 or b?
b
Let m be (4/1 - 44/8)/(21/308). Which is greater: m or -14?
-14
Let r(