-n. Which is greater: 3/31 or q?
3/31
Let x = -101.98 + -12.02. Which is greater: -39 or x?
-39
Let f = -158 + 47. Let a = -139 - f. Let m = -1 - -5/3. Is m less than a?
False
Let i = -34 - -42. Suppose 0 = 13*v - i*v - 295. Let o = 58 - v. Does 2/5 = o?
False
Suppose -5 = -4*k - 7*d, 68*k - 2*d - 60 = 63*k. Do k and 49 have different values?
True
Suppose 3*n = -2*h - 469, -117*h + 777 = -5*n - 121*h. Which is smaller: -150 or n?
n
Suppose -87*k - 36*k - 26281 + 97621 = 0. Is 584 at most k?
False
Let t be ((-85)/204)/(70/(-112)). Let j = 180.123 - 180. Which is smaller: t or j?
j
Let f be (-11)/((-275)/10) + 4/(-10). Let p be 2/4*(-4)/(-438). Let a = p + -80/1533. Which is bigger: f or a?
f
Let s be ((-154)/(-21))/((-19)/3 + 5) - -6. Which is bigger: -3/73 or s?
s
Suppose u - 2*u - 12 = -h, -2*u + 39 = 5*h. Suppose b = -4*b + 1675. Suppose 20 = -h*l + b. Are 34 and l equal?
False
Suppose -x + 5*n = 40, 76 = -2*x + 4*n + 14. Let q(m) = -9*m + 2. Let h be q(3). Is x < h?
False
Let k = 8743 + -8748. Let w = 32 - 23. Let m be (4/30)/(w/(-375)). Is k < m?
False
Suppose 0 = -4*l - 12, 2*q + 3*l - 156 = 7*l. Let z = -70 + q. Let g be (3 - 28/(-4)) + 2. Are g and z non-equal?
True
Let w be ((-1230)/500)/(1104/(-20)). Let n = -1/345 + w. Let z be 1 - (2*-2)/(-2). Does z = n?
False
Let c(o) = 15*o**3 + 6*o**2 - 24*o + 35. Let i be c(2). Let k = -32025 - -160778/5. Is k at least as big as i?
False
Let r(f) = f + 4. Let l be r(-3). Let u = 5649 - 50792/9. Let z = -1663/306 + u. Which is bigger: z or l?
l
Let v = 0.2 + -0.3. Let d = -19.53 - -65.68. Let n = d + 0.85. Which is smaller: n or v?
v
Suppose -355*y = -9*y + 3460. Which is smaller: -566/63 or y?
y
Let u = 31 - 26. Suppose -p = -8 + u. Suppose -4*a - 7 = -p. Which is smaller: a or 1/45?
a
Suppose 6*d - d - 509 = -c, 4*d + c - 406 = 0. Let b(q) = 62*q + 2. Let m be b(2). Let t = d - m. Which is smaller: -24 or t?
-24
Let f = 130 + -101. Suppose 2*b - 20708 = -f*b. Is 669 < b?
False
Let l(d) = 20*d + 1171. Let p be l(-48). Does 215 = p?
False
Let g be (987/42 + -23)*(-4)/21. Let h be (0/(-2))/((-20)/10). Which is bigger: g or h?
h
Suppose -22*k = 64*k + 27388 + 94732. Which is smaller: k or -1419?
k
Suppose -5*u + 766 = -4*q, 764 = -6*q + 2*q + 4*u. Let l be (-4)/14 - (-3915)/q. Do l and -138/7 have different values?
True
Let v = -750.9 + 5.9. Let h = -369 - v. Are -1 and h equal?
False
Let v be (-12)/8*4/(-6). Let d = v + 3. Suppose -2*l + 90 = d*h, 0 = l - 3*l + 2*h + 84. Are l and 44 non-equal?
True
Let d(p) be the third derivative of -p**4/12 + 11*p**3/6 + p**2. Let j be d(7). Let q be 1 - ((1 - -2) + j + -3). Is 4 less than q?
False
Let b = 1971 + -1023. Let q = -950 + b. Which is smaller: 0.34 or q?
q
Let x = 2609/3 + -869. Is 1441 equal to x?
False
Let y = 9.67 + -10. Let b = y - -1.43. Let f = b + -0.1. Is -71 bigger than f?
False
Let p = -30159 - -30524. Which is smaller: 364 or p?
364
Suppose 5*j = -4 - 181. Let i = 6 - j. Let s = i + -39. Which is smaller: s or 13/4?
13/4
Let u = -4.628 + 3.628. Which is greater: -1.397 or u?
u
Let r be (-1008)/170 + (-16)/12*(-117)/26. Which is smaller: r or -1?
-1
Let g = 2892 + -2959. Which is smaller: -25 or g?
g
Suppose 24*b - 4 = 23*b, 16 = h + 3*b. Let w be 51/h - (44 + -47). Are 16 and w nonequal?
True
Let w(c) = -2*c**2 - 6*c - 3. Let i be w(-2). Let a be i/2*(-4 + 118). Let v be (-14)/(-2) - (-50 - -1). Do a and v have different values?
True
Let i(c) = -c - 2. Let o be i(-2). Suppose 5*s - 25 + 10 = o. Suppose -2*m + 1 = 5*q, 14 = s*q - 5*m + 1. Is 6/11 less than q?
True
Let i(c) = c**2 - 131*c - 2152. Let o be i(45). Are -6025 and o nonequal?
True
Let a be (172/(-301))/((-44)/42). Let l = -8 + 8.13. Let i = l + -0.23. Is i < a?
True
Let g be 10/3 - 2 - 0 - 24815/(-255). Which is bigger: g or 99?
99
Let b = -902 - -912. Let x be (b + (9 - 22))*3*1. Is x bigger than -8?
False
Let n = 15/26 - 17/52. Let x = -3.35 - -3.5. Let p = -1.65 - x. Which is smaller: p or n?
p
Let l = 0.1 - -2.2. Let v = -2.3 + l. Let y = 150 + -64. Which is greater: y or v?
y
Suppose 2*i - 121 = -0*i - s, 5*i = 5*s + 340. Let l(z) = 15*z + 324. Let w be l(-24). Let n = w + i. Is 27 at most as big as n?
True
Let c = 149437/74 - 4039/2. Let k = 6877/25 + -254154/925. Let u = c - k. Which is bigger: 2/29 or u?
2/29
Let y = 72 - 339. Let n = y - -215. Suppose 4*w + 207 = f, 3*w - 2*f + 162 = f. Which is bigger: w or n?
w
Let g = 167.295 - 163.1. Let z = g - -0.005. Let m = z - 4. Is m > -1/6?
True
Let n = 5.1 + -11.2. Let r = -0.1 - n. Let f = 12 + r. Which is smaller: f or 0?
0
Let r = 91444934/31 + -2950388. Let f = r + 552. Which is smaller: 2 or f?
f
Let a be (-6)/273 + (-2883)/(-2821). Is -19/232 < a?
True
Suppose 3*w = -12, -4*h + 92 = -0*w + 4*w. Suppose -h*d + 33*d + 48 = 0. Let m be 4/d*-4 - 1. Is -0.078 equal to m?
False
Suppose -2*x = 2*x + 184. Let u(a) = -2*a**2 - 38*a - 165. Let o be u(-15). Which is smaller: o or x?
x
Let q(v) = -21*v**2 + 4*v + 3. Let i be q(-3). Let a = 114 + i. Let x be 4/(-6) + a/9. Is -10 smaller than x?
False
Let x = 44361/5 + -8871. Which is smaller: x or 192?
x
Suppose 21*m = 979 + 575. Suppose -m = 6*h + 16. Is -9 bigger than h?
True
Let o = -6400/33 - -194. Suppose -201*g + 0 = 3 - 3. Do o and g have different values?
True
Let p(o) = 52*o - 676. Let c be p(13). Which is smaller: 9/182 or c?
c
Suppose 0 = 3*f - 302 - 208. Let u = f - 386. Let z be (12/u)/(2/8). Which is bigger: -1 or z?
z
Let f(u) = -u**2 + 45*u - 39. Let g be f(44). Let m be (10 - 468/45)*g/3. Which is greater: m or 0.049?
0.049
Let z be (-240)/(-9)*12/130. Let r be -114 + 113 - ((-2 - -2) + -2). Is z bigger than r?
True
Let x be (-10 - -14)*(-1)/(-2). Suppose 2*n = -3*d + x*d - 2, 3*n = -d - 1. Let a be ((-41)/(-41))/(22/6). Which is smaller: a or n?
a
Suppose -20*b + 103 = 43. Suppose 0 = -5*n + 20, 7*d + b*n - 276 = 11*d. Which is smaller: -2 or d?
d
Let w(k) = -114*k - 929. Let c be w(-8). Are c and -349/20 equal?
False
Let w(p) = p**3 + 27*p**2 - 28*p - 6. Let r be w(-28). Let l be ((-79 - r) + -3)/7. Is -12 greater than l?
False
Let c = -3.7 + 4.54. Let x = -34.9 + 11.06. Let v = c + x. Which is bigger: 0 or v?
0
Let a be (-2 - (-85194)/(-7312)) + 5. Let y = 12/457 + a. Is -9 > y?
False
Let y(c) = 47*c - 1. Let z be y(-2). Let p be 4/((-124)/z) + -3. Let l = -5/2 - -9/4. Which is bigger: p or l?
p
Let u be ((-89)/178*(-4)/(-547))/((-2)/(-4)). Suppose 30 = -5*y - 8*h + 3*h, -2*y + h = -3. Is u <= y?
False
Let d(u) = -u**2 - 103*u + 3295. Let k be d(69). Are -8572 and k equal?
False
Let f(b) = -29*b**2 - 5*b. Let q be f(-2). Let t = q - -108. Suppose -g - 4*j = -35, 4 = t*j - 4. Is g not equal to 134/7?
True
Suppose -25154 + 80258 = 13*l + 11*l. Which is bigger: l or 2297?
2297
Let a = -30168583/84370 - -9297/26. Is 0 greater than a?
False
Let r = -1 - 0. Let p = r - -1. Let h = 5331 - 5325. Which is greater: p or h?
h
Let c = 18 - 17. Suppose -f - 2*m - 4 = 0, -3*m + c = -4*f - 6*m. Let s be (-415)/645 - f/(-3). Which is bigger: -1 or s?
s
Let y be ((8/(-12))/((-2)/(-3)))/((-15)/(-8655)). Are y and -577 non-equal?
False
Let n be (-24)/8*(1120/(-6) - (-5)/(-15)). Is n at most 1682/3?
False
Let u be (1392/72)/(2/(-3)). Suppose b - 2*j = -38, 2*b + b + 70 = -5*j. Which is smaller: b or u?
b
Let y be 0 + -3 - (558522/(-81))/(11490/5). Is y at least 5?
False
Let a(b) be the first derivative of 3*b**2/2 + 26*b - 20. Let s be a(-7). Suppose -s*j = -0*j. Is 1 bigger than j?
True
Let v = 16/6055 + 536463/920360. Which is greater: v or 0?
v
Let r = 2.8718 + 1033.1282. Which is bigger: r or 2/13?
r
Let x(g) = g**3 + 8*g**2 + 4*g + 4. Let f be x(-6). Let m = 21976 - 21919. Are m and f equal?
False
Let g(y) = 1 + 9*y - 15*y - 2*y + 7*y + 4*y**2. Let q be g(1). Are q and 3 non-equal?
True
Let o be 70/(-200) - (21/(-35) + 1). Let g be (-57)/51 + 2/17. Do o and g have the same value?
False
Let m(l) = l. Let c be m(9). Suppose 7*f - c*f = -166. Do f and 165/2 have the same value?
False
Let p = -19235 - -19582. Is p < 1?
False
Let v = -177 - -202. Suppose 2*u + 57 + v = -3*x, 4*x + 5*u + 107 = 0. Which is bigger: -1 or x?
-1
Let m be (6/3 - 8) + (-14166)/(-2355). Which is smaller: m or -1?
-1
Let k = -1949 + 1950. Let w(d) = d**3 - d**2 - d + 1. Let c(t) = 8*t**3 + 5*t**2 + 6*