: 120/17 or p?
p
Let z = -13.244 + 13.544. Let j be 24/(-10)*3/21. Which is smaller: z or j?
j
Suppose 7*l - 8*l = 3*o - 19, -5*l - o = -151. Suppose -2*z - 2*f = -72, -6*z + z = f - 164. Which is smaller: l or z?
l
Let y be 4/78 + 402325/(-3146). Which is greater: y or -129?
y
Let l(d) = -d + 5. Let g be l(12). Let n(y) = -3*y - 7*y**2 - 144*y**3 + 2*y + 143*y**3 - 9. Let k be n(g). Which is smaller: k or -6?
-6
Let c be (-2)/(-1)*(-2)/(-4) - 0. Let u be (c*14/(-2))/1. Let f be (-19)/56 + (-2)/u + 0. Which is smaller: 1 or f?
f
Suppose 0 = 4*p - 5*w + 8, 27 = 5*p - w + 4*w. Suppose 0 = -g + 6, -540*f + 538*f = 2*g - 24. Let z be p/f + (49/10)/1. Which is bigger: 4 or z?
z
Let c = -20750 - -20729. Which is greater: -744/37 or c?
-744/37
Let h = -24338389/3 - -251481993/31. Let y = 474 + h. Which is bigger: 0 or y?
y
Let u be 16 - (-14)/(-210)*30235. Are -2001 and u non-equal?
True
Suppose -8217 - 5121 = -9*h. Suppose -42*w + 4*w = h. Let y = -75 + 35. Is y at least w?
False
Let q(p) = 42*p + 401. Let w(v) = 8*v + 80. Let y(x) = -2*q(x) + 11*w(x). Let j be y(-21). Is j >= -11?
True
Let b = -2569.19 + 2568. Is b greater than 68?
False
Let t be (3/(-30))/(331/(-662)). Let k be 2/((-1)/1 + 0). Let y = k + 1. Does y = t?
False
Let l(i) = -6*i**2 - 3 + 12 + i**3 + 36 - 26*i + 14*i. Let q be l(7). Suppose 0 = -p - u + 5*u + 29, 5*u + 33 = p. Is q at most p?
True
Let k be (-7236 - -89)*(-4)/(-14)*1. Which is greater: k or -6127/3?
k
Let m = 191.2 - 551. Let r = m - -360. Which is smaller: 100 or r?
r
Let q = 20 + -12. Let d = 7.92 - q. Let m = -152 - -151.8. Which is smaller: d or m?
m
Let b(c) = c**3 + 7*c**2 + 4*c + 7. Suppose -6*n = 5 + 1. Let g(a) = -a - 1. Let v(m) = n*b(m) + 5*g(m). Let i be v(-6). Which is greater: 4 or i?
i
Suppose 0 = 3*s - s + 5*g - 200, -s + 4*g = -74. Let u be (324/s)/(1 - (-8)/(-10)). Suppose -y + u + 7 = 5*z, -5*z + 3*y = -5. Which is smaller: z or 3?
3
Let f(w) = -7*w**3 + 38*w**2 - 25*w + 20. Let h be f(6). Let t(m) = -m**3 - 12*m**2 + m - 9. Let b be t(-8). Which is bigger: b or h?
b
Let u(c) = 3*c + 12. Let a(d) = d + 4. Let g(o) = -8*a(o) + 3*u(o). Let m be ((-6)/4)/(((-234)/120)/13). Let q be g(m). Is q != 13?
True
Let b be (0/1)/(9 + -8). Suppose 0 = -a - 4*l + 16 - b, -16 = -3*a - 4*l. Is -1.8 greater than or equal to a?
False
Let n(b) = -b**3 + 16*b**2 - 15*b - 2. Let w(f) = -14*f**3 + 2*f**2 - 1. Let o be w(-1). Let h be n(o). Let x be -2 - h/(6/3). Which is bigger: x or -1/45?
-1/45
Let s = -0.02 + -11.98. Let l = 80.198 + -80. Let v = 1.802 + l. Is v at least as big as s?
True
Let a(m) = 2*m**3 - 102*m**2 + 15*m - 765. Let z be a(51). Is -2/3605 not equal to z?
True
Let x(y) = -y**2 + 5*y - 1. Let h be x(4). Suppose 5*t - 6 = 9, 0 = -3*u - h*t. Is u at least as big as 0.33?
False
Let p(x) = -2*x - 95. Let h be p(-31). Let o(a) = -15*a - 365. Let z be o(-22). Is z >= h?
False
Let a be 6/14*2/(-3). Suppose 0 = -7*f + 20*f - 13. Suppose -168*u = -169*u + f. Is a >= u?
False
Suppose -5*w = 5*f - 972 + 3517, -2*f + 4*w = 1036. Is -3581/7 at most as big as f?
False
Let r be (-3)/2*(146/15 + 4030/(-403)). Let d(v) = -v**2 - 7*v - 6. Let c be d(-4). Is r greater than or equal to c?
False
Let f be 25/(-25)*(-2 - 62). Let u be (-18)/3 + f/14 + 1. Which is smaller: u or -8?
-8
Let a be (5/(-15) - 3)*(-6)/(-5). Let w be a + 12/((-15)/(-5)). Suppose w = 17*j - 4*j - 13. Do j and 0.04 have the same value?
False
Suppose 35*j - 16*j = 0. Let z = 514/3 - 38552/225. Which is greater: j or z?
j
Let t(n) = n**2 - 2*n - 12. Let m be t(-6). Suppose 4*q + q - m = -2*l, 5*q - 21 = 3*l. Let z be (9/q)/((-3)/(-4)). Is z > -0.06?
True
Let r(g) = 36*g**3 + 3*g**2 - 9. Let o be r(-2). Which is smaller: o or -278?
o
Suppose 19*h = 399 + 171. Let k be (1*-5 + 155/h)*13. Suppose -5 = -2*y - 3. Which is smaller: k or y?
y
Let q = -1/1034 + 14501/25850. Let x = -4387 + 4388. Is q < x?
True
Let c = 1367 + -1340. Suppose 0 = 4*f - 3*f - 19. Which is smaller: f or c?
f
Let b(t) be the first derivative of t**2 - t + 121. Suppose o + 2*d + 0 - 1 = 0, 3*o + 4*d - 5 = 0. Let z be b(o). Which is smaller: 6 or z?
z
Suppose 1203 = -4*r + 3*g, 2*r + 1198 = -2*r + 2*g. Is r greater than -892/3?
True
Let s be 83/(4233/(-68)) + 3/(9/(-164)). Is s less than -4/7?
True
Suppose 2*o + 31 = -99. Suppose -f + 183 = -4*j, -5 + 20 = -3*f. Let y = o - j. Is y not equal to -16?
True
Let r(b) = -197*b**3 + 20*b**2 + 14*b + 33. Let t be r(-3). Which is bigger: t or 5491?
5491
Let p = 100.6 + -11.6. Let n = -117 + p. Do -5 and n have different values?
True
Let x be (-1)/((-1)/(46 + 1)). Let q = 50 - x. Suppose 3*n + v = n + 3, -5*n + q*v + 24 = 0. Which is smaller: n or 1?
1
Let w be -2*(-4 + 1 - 1). Suppose 4*z = 8 + w. Suppose -z*h = h. Which is greater: h or -0.03?
h
Let i = -1803 + 1714. Is -118 not equal to i?
True
Let h(v) = -246*v + 41. Let i be h(5). Let p = -8350/7 - i. Let g = -17 + 13. Do g and p have the same value?
False
Let u be ((-2)/(-4)*-1)/((-920)/368). Let p be -4 + 5 - 1/3. Which is greater: u or p?
p
Let a = 1015777/19 + -53478. Which is smaller: a or -15?
a
Let v be ((-58854)/476 + 4)*(-4)/(-5). Let g(w) = 24*w + 1. Let k be g(-4). Which is smaller: k or v?
v
Let x = -5 - -9. Let w = 16 - 170. Let u = 156 + w. Do x and u have different values?
True
Let k = 1074 + -1053. Let p(h) = -5*h + 3. Let j be p(-3). Which is smaller: k or j?
j
Suppose 0*i - 48 = -4*i. Let n = i + -10. Suppose -272*g = -268*g - 12. Is n < g?
True
Let t = -801 - -767.1. Let o = 7.1 - t. Let w = o + -40.85. Which is smaller: w or 0.1?
0.1
Suppose h + 4*l = 174, -16*h + 12*l = 16*l - 2544. Is h smaller than 154?
False
Let c = -285.3 - -285.26. Which is bigger: -0.748 or c?
c
Let w(d) = 4*d + 8. Let l be w(4). Suppose 208 = -l*b + 11*b. Which is greater: b or -0.09?
-0.09
Let w be (-34)/12 - 14/84. Let k = 569 + -569.046. Is k at most as big as w?
False
Suppose -5*i + 81 = -89. Suppose -i = 7*w + 15. Let h be 52/3*(w - (-102)/12). Is 26 less than or equal to h?
True
Suppose 31*t - 48 = -2*m + 28*t, 2*m + 2*t - 46 = 0. Let l(n) = n - 18. Let p be l(16). Let h = 16 - p. Which is smaller: m or h?
h
Let l = 4429/1774 - -3/887. Is l at least as big as 2?
True
Suppose -a + 5*a = -2*n + 2, -3*n - a - 12 = 0. Let k(g) = -5*g - 53. Let l be k(n). Which is bigger: -5 or l?
-5
Let t = -605 - -701. Is t greater than 80?
True
Suppose 2*s - 8*g - 11 = -7*g, -2*g = 2*s - 8. Let l(o) = -3*o**3 + 10*o**2 + 14. Let v be l(s). Are -113 and v nonequal?
True
Let j be (-2)/6 - (-41)/(-3). Let k = -62501/4774 + 5/4774. Which is greater: k or j?
k
Let w = -14 - -13. Let b be (-14)/(-795)*-11 - 46/(-230). Which is smaller: w or b?
w
Let p = 10403 + -291269/28. Let o(k) = -k**3 + 5*k**2 + 7*k - 4. Let v be o(6). Which is smaller: p or v?
p
Let w = -1261 - -2414. Let p = -961 + w. Which is smaller: p or 191?
191
Suppose -27*k = -87*k + 25*k + 23*k. Let s be (2/4)/(13/(-7)). Which is bigger: s or k?
k
Let s be 24/(-60) + 4888/20. Let p = 245 - s. Which is greater: 23 or p?
23
Let g be (-2*(-13510)/(-56) + 6)*4. Is g smaller than -1907?
False
Suppose -10 = -5*i - 5. Let y be 18 + -5 + -28 - (-33517)/2233. Which is greater: y or i?
i
Let t = -8.4 - -8.326. Let n(y) = y**2 + 13*y - 2. Let d be n(-13). Is d <= t?
True
Let v = -4564 - -4308415/944. Let a = -982906476 + 58455413942497/59472. Let i = v - a. Which is smaller: 0 or i?
i
Let f = 1 + -2. Let n be f*(-1)/((-1)/(-1)). Let p be (-47929)/902 - -42 - -11. Which is smaller: n or p?
p
Let m(n) = -19*n**2 - 1329*n + 70. Let w be m(-70). Which is bigger: -0.22314 or w?
w
Suppose 0 = -4*a + 3*a - s + 31, 0 = -5*s + 15. Suppose -1572 = 22*x - a*x. Is 261 < x?
True
Let j be (1 - -130)*5/(-15). Which is bigger: j or -2/25?
-2/25
Let v = -980.6 + 1011.6. Does -1/18 = v?
False
Let r be (266/(-399))/(6/45). Is r not equal to -124/29?
True
Let p be (-17)/10 + (-408)/(-340). Which is bigger: 1269 or p?
1269
Suppose -5*n = -0*q - 4*q + 85, -9 = -3*n. Suppose 0 = -8*b + 5*b + 12. Let l = 31 - b. Does l = q?
False
Let l = 3760 - 3761. Let h = -5705081/379 - -15053. Which is smaller: h or l?
l
Suppose 4*s - 468 = -t + 5*t, -3*t = -5*s + 577. Let i = -112 + s. Which is smaller: i or -2/75?
-2/75
Suppose 3*r + 33*f - 37 = 31*f, 3*f = -4*r + 51. Let p(h) = h**3 - 9*h**2