
1
Suppose -36*r + 193 = -20 + 33. Suppose -4 = 3*w - 5*o + 9, 8 = -4*w + 2*o. Let f be w/(r/(-10)) + -2. Which is greater: f or -2/27?
f
Let u = 3 - 4. Suppose 0*n - 4*x + 180 = n, -5*n = -4*x - 900. Let m be (-78)/16*n/135. Is m >= u?
False
Let h be 173047259/(-42) - (-2)/(-3). Let w = h + 57047919965/13846. Let f = w - 2/301. Which is smaller: f or -1?
-1
Let f be 4/3200*-226 - 9/(-45). Is 0 > f?
True
Let l be 930/279*3/(1/1 + 0). Which is smaller: l or -62?
-62
Suppose -15*a = 4*a - 10374. Suppose 5*i + a - 101 = 0. Let w = i + 89. Is 1/104 > w?
True
Let h(t) = t**3 + 5*t**2 + t - 11. Let o(u) = -8*u - 36. Let m be o(-4). Let w be h(m). Which is smaller: -2/891 or w?
-2/891
Let o = 2.901 - -42.079. Let b = 45 - o. Let n(j) = j**3 + 3*j**2 + 2*j - 1. Let m be n(-2). Which is smaller: b or m?
m
Let t be 5 - (-99)/(-21) - (-62)/(-217). Which is bigger: 17/214 or t?
17/214
Let v(b) = 3*b + 13. Let k(t) be the second derivative of -t**4/12 + 7*t**3/3 + 14*t**2 - 5*t. Let f be k(16). Let u be v(f). Are -1/7 and u nonequal?
True
Suppose -82*w - 76 = -6*w. Is 8/965 less than w?
False
Suppose -s = -2*s - 24. Let l be 15*(-136)/78 + 12/78. Is s less than l?
False
Let j be 11372/36 + ((-15)/27)/(-5). Let g = -279 + j. Which is smaller: g or 38?
g
Let h = 274 + -280. Let x be -1 + (85/136)/((-15)/h). Is 0 != x?
True
Let z be (41/((-3731)/(-1716)) - 19)*14/(-8). Which is smaller: -26661 or z?
-26661
Suppose -105*z - 2545 = 1865. Let h = 13 + -9. Let n = -46 + h. Is n at most z?
True
Let n(k) = -2*k**2 - 7*k - 118. Let m be n(-4). Is m equal to -111?
False
Let j = 0.03631 - 0.18531. Which is smaller: 36 or j?
j
Let q = 0.13 + 7.87. Let l = 44.6 - 44.048. Let w = -2.552 + l. Which is bigger: w or q?
q
Let f be (-2 - 12)*(570/(-50) - (-2 + -11)). Is 2/25 != f?
True
Let c(w) = 2*w**2 - 23*w - 54. Let a be c(25). Which is smaller: a or 619?
619
Let h = 2/281 - 3940/843. Let g = 15 - 11. Let z(u) = -u**2 + 3*u - 2. Let y be z(g). Is h less than y?
False
Suppose -4*y + 4*z + 3052 = 0, 3*y - 2234 = -5*z + 63. Which is smaller: 765 or y?
y
Let r be -2*(-6)/(-3) + 250/25 + -6. Which is bigger: -6/1037 or r?
r
Suppose -1589 = -7*s + 84. Suppose 5*j - p = 39 + 265, 4*j = 5*p + s. Let a = j - 63. Is -1 equal to a?
False
Let x = 246 - 1157. Let f = x + 929. Are 18 and f non-equal?
False
Let p = -11983/300 - 1/150. Is p smaller than -39?
True
Suppose -t - 15 = -4*t. Suppose x - 60 = n - 4*x, t*n + 180 = x. Suppose 42*f + 364 + 644 = -420. Is n at least as big as f?
False
Let c = 677 - 257. Let u be 21035/c + (4/(-6))/2. Are u and 49 unequal?
True
Let t be (-10)/6 - (-5769)/108. Let v = 39545/764 - t. Which is smaller: -1 or v?
-1
Let c(u) = 2*u**3 - 7*u**2 + 15*u + 22. Let m be c(-16). Let f = -663113/65 - m. Let r = -6/13 + f. Which is greater: -12 or r?
r
Let a = 2772.2 + -3028.42. Let m = a - -256. Let h(o) = -o**3 + 9*o**2. Let w be h(9). Are m and w equal?
False
Suppose 22*w - 23*w = 0. Let h be 9 - (5 + 0) - w. Suppose -3*c + 7*c = -2*o, 2*c + 3*o = h. Does 1/27 = c?
False
Let h = -7.09 - 86.41. Let q = h - -93.3. Which is smaller: -379 or q?
-379
Let z be (2 - 558/(-5)) + -1. Suppose 290 = -2*u + x + 63, -209 = 2*u + 5*x. Let j = u + z. Which is smaller: j or 0?
0
Let u = 47/10 - 11/2. Suppose 5*x + 3*t = 4, 4*t + 8 = 3*x + 3*t. Suppose -3*n + 2*d - d = -4, -5*d = -x*n + 20. Which is smaller: u or n?
u
Let j be (-14)/(-203)*1/1. Let y = -102/203 - j. Let g = 3 + -5. Which is smaller: y or g?
g
Suppose -65 = -16*r + 11*r. Let w be (r/(-286))/((-3)/2). Let c = -68 + 68. Is w less than c?
False
Suppose 2*p - 934 = l, 5*p = -4*l + 1506 - 5294. Which is greater: l or -943?
l
Let p(s) = s**3 - s**2 + s - 4. Let w be p(0). Let j = -48129/18676 + 15/2668. Which is smaller: j or w?
w
Suppose 89*f = -90*f + 168*f - 8448. Which is greater: f or -2/9?
-2/9
Let x(p) = 2*p**2 - 16*p + 26. Suppose 122*m = 129*m - 14. Let d be x(m). Is d > -11?
True
Let q be 3*((-156)/18 - -3). Let u(k) = k**2 + 15*k - 33. Let p be u(q). Is p less than or equal to -1/10?
False
Let x be -25 + 2*(-3828422)/(-306280). Which is smaller: -1 or x?
-1
Let v(r) = -r**2 - 2*r - 5. Let d be v(-4). Suppose -6*y + 10*y = -200. Let u = 38 + y. Which is smaller: d or u?
d
Let f be (-10)/12*18/60. Let q = 2525 + -2413. Is f less than q?
True
Let p be 118/246 + 86/(-258). Which is smaller: p or 0?
0
Let j be ((-174)/12)/(-6*(-7)/168). Is j less than -58?
False
Let p = 8314 - 108124/13. Let x be -6*(8/(-6))/(-2). Which is smaller: p or x?
x
Let i be (-44)/(-12)*3*(2 + 13). Let b be -4 - (-2 - i/40). Which is smaller: 1 or b?
1
Let m be (1750/(-84))/(((-36)/16)/(12/(-8))). Is -14 smaller than m?
True
Let i = 146 - 249. Suppose d - 100 = k, 0 = 4*k + 3*d + 332 + 82. Are i and k equal?
False
Suppose 7*s + 59 - 31 = 0. Let m = 1449/10 - 25253/170. Is m >= s?
True
Let j(o) = o**3 - 30*o**2 + o - 9. Let h be j(30). Suppose -31*i + h*i = -230. Is i <= 23?
True
Let i(z) = z**3 + 23*z**2 - 3*z - 14. Let g be i(-23). Let w be (600/g)/(-5) - -4. Let m be ((-7)/21)/(1/(-3)). Is m less than or equal to w?
True
Suppose 0 = -4*o + z + 1, -4*o - z - 1 = -9*o. Let j(m) = -m + 3. Let n be j(o). Are n and 9/4 equal?
False
Let b = -203 - -203.1. Let p be (-2054)/2405 - (48/(-20))/3. Which is bigger: p or b?
b
Suppose 5*u = -4*d - 15, 4*u - 2*d = -0*u + 14. Let z = 16406 - 2838244/173. Does u = z?
False
Suppose -3*b + 13 = -4*u + 5, -5*u + 5*b - 15 = 0. Let m = 2 + -2. Suppose m = w + 2*w - 3. Are w and u equal?
True
Let b = -4227 + 4321. Which is smaller: 159 or b?
b
Suppose -2*l + 12 = 4*o, 405*o = 401*o + l. Are o and -4 equal?
False
Suppose 9*h = 5*h. Suppose 153 + 2022 = -15*p. Let s = 129 + p. Is h <= s?
False
Suppose -29*b - 70 - 104 = 0. Let x(f) = f**3 + 3*f**2 + 2*f + 11. Let d be x(b). Is -109 at least as big as d?
True
Let u = 554115 - 274286734/495. Let c = u - 1/45. Let o = 2.19 - 1.99. Is c bigger than o?
True
Let a(i) = -i**3 + 7*i**2 - 34*i + 214. Let v be a(7). Let m be 1/(-3) - 136/6. Which is smaller: v or m?
v
Let u be (-2)/4 + (14 - (-27)/(-2)). Which is bigger: u or 5/977?
5/977
Let k(b) = -b - 2. Suppose 6 = -2*p - 0*p. Let z be k(p). Let o = -125/32 - -15029/3872. Which is smaller: o or z?
o
Let o be 3/1*748/(-66). Suppose 4*v = 9*v + 185. Which is smaller: o or v?
v
Suppose 134*b - 26654 = -4008. Which is greater: b or 172?
172
Let u(g) = -13*g - 43. Let c be u(-3). Let j be (c/20)/((52/(-32))/13). Which is greater: 2 or j?
2
Let h = -2 + 2. Let z = -2412 + 2417. Is h at most as big as z?
True
Let t = -110.961 - 0.039. Which is smaller: t or 1.1?
t
Let d = 1432514/101 - 14183. Are d and 1 nonequal?
True
Let u = 4214/3 - 1655. Let v = u + 251. Which is smaller: v or 13/5?
v
Let m be ((-4)/(-128))/(275/22 - 12). Which is bigger: 0.3 or m?
0.3
Let w be 72/81 + -1 - (-10086)/91746. Is 1 > w?
True
Let y = -4623/17 + 26087/136. Is -81 equal to y?
False
Let x be (-6)/21 + (-212)/(-7). Suppose 0 = 34*p - x*p - 304. Let k = p + -79. Is -26/7 >= k?
False
Suppose -50*f - 202 - 208 = 32*f. Suppose -5*h - 55 = -5*i, 4*h - 2*i + 17 = -7*i. Is f less than h?
False
Let c = -49/83 + 20267/166. Which is smaller: c or 122?
c
Let i(s) be the third derivative of -s**4/8 + 17*s**3/2 - 25*s**2 + s. Let m be i(16). Which is smaller: 0.011 or m?
0.011
Let t(z) = -z**2 - 23*z + 46. Let b be t(-24). Suppose -b*y + 1103 + 877 = 0. Is y at least as big as 90?
True
Let y be (140/(-8))/(-7)*(-8)/10. Let c = y + 174. Which is bigger: c or 174?
174
Suppose 2 - 5 = 3*a, 661 = 5*b - a. Suppose -62*k = -39*k - 3749. Let f = k - b. Are f and 30 nonequal?
True
Suppose 23*l = -111*l. Which is smaller: l or -2/243?
-2/243
Suppose -5201 = 2*q + 3*q - 2946. Which is smaller: q or -4974/11?
-4974/11
Let s be -12 + 4/1 - 174/(-21). Is s at most -82?
False
Let s = -138 - -176. Let k be s*(5 + (2*-12)/4). Suppose 0*d + 4*t = -3*d - 116, -174 = 5*d - 3*t. Is k smaller than d?
True
Suppose -324*a + 740 = -176*a. Which is smaller: a or 1.241?
1.241
Let f(y) = -2*y**3 + 32*y**2 - y + 2. Let b be f(16). Let i be 9/36 - b/(-8). Which is greater: i or -3?
i
Let d be (2/680)/(-8 + 10409/1302). Let a = d - 6/17. Is 0 smaller than a?
False
Let j = 206282 - 206353. Suppose 4*a + 3*z + 412 = 114, 375 = -5*a - 5*z. Is j at least as big as a?
True
Let m = -1