smaller: -10 or n?
-10
Let a be ((-2)/6)/((-140)/21 + 7). Let p be (-3)/2*a/(21/(-112)). Which is smaller: -6 or p?
p
Let j(t) = -6*t**2 - 51*t - 27. Let g be j(-8). Let n be (-2)/g + 15/(6300/(-286)). Is n equal to 0?
False
Let u be (((-152)/(-3076))/19)/(2/(-2303)) + 3. Which is smaller: 0 or u?
0
Suppose 34*p = 39*p + 1520. Let g = p + 358. Is 54 less than or equal to g?
True
Let h be ((-2)/4)/(21/(-42)). Let m be -1 + h + (1 - 9) + 8. Which is greater: m or -4/55?
m
Let z = 5/12372 + -83035/1373292. Is -1 at most as big as z?
True
Let i be 9/(-5) - 14/(-5). Are i and 108/59 nonequal?
True
Let f = -7544181/86 + 87717. Which is bigger: -7 or f?
f
Let s be (-4 + 5)*(-1 - -3). Let d be (3 - 2)/(s/2). Suppose 3*v = 3*p - 21, 18*v - 23 = 21*v - p. Is d less than v?
False
Let i(c) be the second derivative of -3*c**5/5 - c**3/6 + c**2/2 + 98*c. Let t be i(-1). Is t != 18?
True
Let c = -896.92 + 897. Let k = 111 + -557/5. Is c <= k?
False
Suppose 26*j + 90804 = -11*j + 10218. Which is greater: 0 or j?
0
Suppose h + 0 = 5. Suppose h*j = 20, -v - 2*j - 3 = -0*v. Let g = -7 - v. Is 2 at least as big as g?
False
Let n(f) = 32*f + 25. Let y be n(-6). Let b = y + 1498/9. Let g(t) = t**2 - 15*t + 43. Let c be g(11). Which is greater: c or b?
b
Suppose -49408 = -149*o + 101*o - 208*o. Is 189 less than or equal to o?
True
Let s = -2265 + 2287. Is s >= 10?
True
Let b = 103 - 84.6. Let c = 16.4 - b. Which is greater: 49 or c?
49
Let k(h) = -h - 1. Let z be k(-1). Let d be (124/32 - -1) + -3 + -1. Which is smaller: z or d?
z
Let i be (-1237)/(-3) - (-38)/(-114). Let c = i - 452. Is -40 at most as big as c?
True
Let h(o) = -o**3 + 31*o**2 - 30*o + 66. Let q be h(30). Let c(k) = k**2 - 16*k - 20. Let w be c(15). Let y = 100 + w. Is q < y?
False
Let o = -0.18 + 11.18. Suppose -10 = -2*a, 1062 = -n - 2*a - 0*a. Let z = n + 1077. Is z <= o?
True
Let u be ((-15)/(-50))/(-3)*15/6. Let i = 1340 + -1992. Which is smaller: i or u?
i
Let m be -2*1*(4 - 312/(-16)). Let l(k) = -k**3 - 48*k**2 - 48*k - 50. Let d be l(m). Is d not equal to -55?
True
Suppose 5*o = 3*l - 19388, -2403 = 2*o - 2*l + 5349. Is -3880 < o?
False
Let h = 41450 + -41474. Let x be 34*2/(8/10). Suppose -3*l - x = 4*j, -2*l + 0*j - 26 = -5*j. Which is smaller: h or l?
h
Suppose -15*d + 16432 = 16432. Which is smaller: d or 7/1213?
d
Let q = -373.08 - -373.1. Which is smaller: q or 123?
q
Let k = -685/238 - 15/238. Let l = 4616/1581 + k. Let c = 16 + -15. Are c and l equal?
False
Let m = 144 + -143.698. Let a = m - 0.402. Which is smaller: a or -213?
-213
Let m be (1 - (-2)/(-4))/(8/208). Suppose 5*l = 2*o - 175, -m*o = 4*l - 14*o + 140. Is -35 at least as big as l?
True
Let c = 55651/74212 - -2/18553. Which is smaller: 22/13 or c?
c
Let b(m) = 5*m**2 + 2*m - 68. Let r(j) = -6*j**2 - 2*j + 68. Let t(s) = -7*b(s) - 6*r(s). Suppose -4*y = 9*y. Let i be t(y). Which is smaller: 67 or i?
67
Let c(w) = -16*w**2 + 94*w + 13. Let a be c(6). Is 9/1913 > a?
False
Let f = -45/11 - -383/99. Suppose 4*j - 92 = 3*j. Suppose -b = 3*y + j, 78 + 4 = -3*y + b. Is y at most as big as f?
True
Let r = -0.024 - 162.976. Let c = r - -162.7. Let x be 3 + (-20)/56*8. Is c at most x?
True
Let z be (-8460)/65 + (2/13 - 0). Let a = z + 221. Let v = 62 - a. Which is smaller: -2 or v?
v
Let t(x) = 1071*x**2 - 6427*x + 6. Let y be t(6). Let k be 8 + -1 - (1 + 1). Suppose -3*n = -l + 13, -41 - 2 = -k*l + 4*n. Which is greater: l or y?
l
Let b = 785/742 + 5/371. Which is greater: b or 4/27?
b
Suppose -6*i + 729 = -93. Let h = i + -124. Suppose -h*r = 8 + 5. Which is greater: -2/95 or r?
-2/95
Suppose -523*d = -557*d - 510. Is -17 at most as big as d?
True
Suppose 5*z - 4*h = 14036, -74*h + 70*h + 4 = 0. Let q be z/(-63) - (-3)/(-7). Is q at most as big as 0.1?
True
Let n be -1 - (-2 + -16) - -2. Suppose n - 83 = 4*i. Let c be (103/14832*-48)/((-2)/(-114)). Are i and c nonequal?
True
Suppose 3*s + 6825 = 3*u, 0 = 235*u - 236*u - 5*s + 2257. Is 2270 at least as big as u?
False
Suppose 148*t = 233*t + 765. Let l = 0.1 - 0.2. Let w = l - 0.1. Is w at most as big as t?
False
Let j = -19060 - -19771. Is j bigger than -2/9?
True
Suppose -21 + 4 = -2*r - 3*n, -1 = 4*r - n. Let m be r/(0 - 1/(-6)). Suppose m*s - 5*s + 14 = 0. Is -14 at most s?
True
Let u be 9/6 - (-7 + (-108)/(-24)). Which is smaller: 7 or u?
u
Let t = 57 - 55. Suppose -h - 117 = -t*s - 0*h, 0 = -s + h + 57. Suppose 0 = -5*b + f + 297, 4*b = 4*f + 172 + 72. Which is smaller: b or s?
b
Let c(a) = 4*a + 94. Let n be c(14). Let q = n - -45. Is 194 >= q?
False
Let v be (-2)/13 - 23716/(-364). Let w be ((-5)/((-150)/12))/(1/v). Which is greater: -3 or w?
w
Let k(x) be the second derivative of -x**4/4 - 5*x**3/3 + 9*x**2/2 - 564*x. Let o(h) = h - 1. Let p be o(-3). Let d be k(p). Is d at least 22/9?
False
Let y be -39*2/8*-304*(-4)/(-24). Which is bigger: 486 or y?
y
Suppose -2*x = 3*q - 4, -q - 2 = -x + 2*q. Let j be x/9 - (-1378)/(-5148). Suppose 0 = 4*d - 5*d. Which is smaller: d or j?
j
Suppose 3*d + 18396 = 2*l, -3*l = -18*d + 21*d + 18366. Is d >= -6127?
False
Let i be (32/3)/((-1)/(-3)). Let g be 378/(-56) + 7 - 143/(-4). Let d = g - i. Which is greater: d or 3?
d
Let o be 2/5 + (-35)/25. Let b be (o - (-5)/10)/(1/102). Let v = 53 + b. Which is smaller: -1 or v?
-1
Let b(l) = -7*l + 43. Let q be b(6). Let r be 3/(-5) + (q - (-28)/(-95)). Which is smaller: r or 0.017?
0.017
Let x(z) = -4*z**2 - 23*z + 107. Let m be x(3). Which is bigger: -2 or m?
m
Let d = -33 - -64. Let y(v) = 3*v - 89. Let j be y(d). Suppose 3*t = 2*q - t - 10, 4*q + 2 = -3*t. Is j >= q?
True
Let k = 80.62 - 80. Let m = 0.32 - k. Which is smaller: 30/13 or m?
m
Let v = -7583/218 - -487/14. Do -1 and v have the same value?
False
Let t be (-1 + 9)/(-4)*(-3)/(-6). Let p = 2264 - 473180/209. Which is smaller: t or p?
t
Suppose -46599*x + 46576*x = -6555. Let f = 0.3 + -0.2. Which is smaller: f or x?
f
Let o = -1858462/41 - -45326. Is -1 equal to o?
False
Let i = -13 - -13. Suppose -4*f + o + 19 = i, 3 + 4 = f - o. Suppose 4*m + 6*t + 12 = 2*t, -4*m + f*t = 20. Is 1 at most as big as m?
False
Let d be (-1952)/2440 + (-59168)/(-10). Which is smaller: d or 5917?
d
Let t(p) = p**2 - 6*p + 18. Let b = -54 - -61. Let h be t(b). Let v = h + -30. Is -10 > v?
False
Suppose -3*a - 97 + 367 = -3*k, k = -a + 98. Suppose a = -9*m - 167. Which is smaller: -31 or m?
-31
Let h(d) = 5*d**2 - 108*d - 302. Let c(y) = -y**2 + 22*y + 60. Let z(s) = -11*c(s) - 2*h(s). Let v be z(28). Which is bigger: -1/281 or v?
v
Let v = 2240 - 2372. Is -133 >= v?
False
Let w = 4.63 + -0.71. Let c = -1.92 + w. Which is smaller: c or -38?
-38
Let f = 93 + -83. Let h be ((-2)/f)/((-6)/930). Let m be 1/2 - (-122)/4. Is m > h?
False
Suppose 4*i + 249 = 89. Let y = -39 - i. Let t be 0/y - (7 + 1). Is -6 at most t?
False
Suppose -5*m + 3*d - 4417 = 521, 4*d + 960 = -m. Which is greater: m or -982?
-982
Suppose -4*i - 2*x = -12, 8 + 4 = 2*x. Which is greater: i or -7/227?
i
Let l = -293 - -106. Let q = 183 + l. Is -8 greater than or equal to q?
False
Let s = -1.01 - -0.01. Let c be -5*(-8 + (-73980)/(-9250)). Is c != s?
True
Suppose 3*x = -247*k + 244*k + 2922, 3*x - 4*k = 2936. Is x at most 978?
True
Let s(b) = 3*b + 23. Let g be s(-5). Let z = 7 - 3. Let v be ((-165)/(-54))/11 - z/g. Which is smaller: v or -1?
-1
Let p(z) = -z**2 - 5*z + 172. Let h be p(-17). Let u(n) = n**2 + 18*n + 37. Let d be u(-12). Which is greater: h or d?
h
Let f = -62.2 - 243.8. Let s = f - -305.9. Is s at least 1.8?
False
Let g = -7505 + 7505.1. Is 0.0315 equal to g?
False
Let x be (-4 + (-66)/(-16))*0. Let o be -11 + 8 + (-594)/(-200). Which is smaller: x or o?
o
Suppose 54*i - 52*i = 58. Suppose -3 - i = 8*a. Which is smaller: a or -3?
a
Suppose 41*i = 266*i - 109 + 334. Is -78/139 equal to i?
False
Suppose 2*x + 3*x = 2*p + 2, 2*p + 2 = 3*x. Which is bigger: -220 or p?
p
Let h be 25 + (160/(-16) - -8). Do h and -25 have different values?
True
Let l be (40684/(-5460))/((-143)/52803). Let f = 13757/5 - l. Which is smaller: 0 or f?
0
Let w = 43 + -43.088. Let c = 0.778 + w. Let y = c + 0.31. Which is greater: y or 1/4?
y
Suppose 49*q + 57 + 7 = 15. Which is bigger: q or -3/19?
-3/19
Let m = 659/4 - 164. Let k = 15.95 - -6.55. Let u = k - 22.7. Which is bigger: m or u?
m
Supp