 40*n - 99. Let j be (-114)/(-9)*(-3)/(-1). Let g be h(j). Which is greater: -25 or g?
g
Suppose 0 = -8*t + 16 - 24. Let h be ((-6)/92)/3*(-22 + 86). Which is smaller: h or t?
h
Let t(v) = 10*v - 2. Let p be t(7). Let b = 13711 + -13641. Is b less than or equal to p?
False
Let l = 15.99 + 0.01. Suppose -23 - 1 = -27*a + 3*a. Do a and l have the same value?
False
Suppose 68*t = 132*t + 80*t - 52272. Does t = 723/2?
False
Let s = -135 + 141. Let d be 132/99 + 4/s. Let y = 427/3 + -141. Which is greater: d or y?
d
Let w(q) = 8*q**2 + 9*q + 3. Let b(u) = 7*u**2 + 8*u + 2. Let v(n) = 6*b(n) - 5*w(n). Let o be v(3). Let l be (15/(-4))/(1*(-3)/o). Is 29 smaller than l?
True
Suppose 12 = -3*u + 24. Suppose v + u*k + 119 = 0, -v - 2*k - 163 = -50. Which is smaller: -1 or v?
v
Let d = -199 - -204. Suppose -d*r = -10*r + 75. Which is greater: 99/7 or r?
r
Let g = 101.72 - 99. Let r = g + -0.72. Is -3 bigger than r?
False
Let t(m) = 4*m**2 + 55*m - 580. Let s be t(7). Is 29/133 bigger than s?
False
Suppose 3*f + 6*f + f = 0. Let m = 0.042 - -1.458. Is m bigger than f?
True
Let b be 6 + ((-2)/2 - 1). Let z = -3669 - -3672. Suppose z*c - 3 = -2*j, 5*j + 5*c - 14 = b*c. Which is smaller: j or 5?
j
Suppose 51920 = -21767*m + 21751*m. Which is smaller: m or -3247?
-3247
Suppose s + 34 = 3*b + 183, 0 = -3*b + 5*s - 145. Let o = 101 - 51. Let j = o + b. Do 2/17 and j have different values?
True
Let n(j) = -j**2 - 8*j - 24. Suppose -g = q + 11, 4*q - 8*g = -4*g - 28. Let h be n(q). Which is smaller: -32 or h?
h
Let h = -48 + -13. Let o = h - -62. Let g be (-1 - o) + 36/6 + -3. Is 1/4 greater than g?
False
Let p be 0 + ((-755)/(-253) - 3). Suppose 4*w = 3*v - 85 + 87, 0 = v + 2. Is p at most as big as w?
False
Suppose -55*q + 5*s = -60*q - 8955, -3*q = -3*s + 5385. Is q smaller than -1790?
True
Let u(d) = d**2 - d - 1. Let b be u(3). Suppose 4*s - 7 = b. Suppose -11 = 3*g - 5*y, 0*g = -5*g + s*y - 29. Which is greater: -2 or g?
-2
Let x(l) = 121*l - 484. Let c be x(4). Which is greater: 9.98 or c?
9.98
Let c = -39013344/23 + 1693694. Let g = 2539 + c. Which is bigger: g or 2?
2
Let g(b) = b**3 + 17*b**2 - 70*b - 102. Let i be g(-21). Is -397 equal to i?
False
Let s = 10.851 - 11. Let y = s - 66.851. Let k = y + 65. Is k bigger than -10?
True
Let j be 21/(945/(-240))*(0 + 228). Is j at least as big as -1216?
True
Let f = -3462 - -3461.941. Which is smaller: f or 1.8?
f
Let d be 1 + (-10)/4 - 962/52. Let a = 3 - 15. Is d smaller than a?
True
Let y = 5314 + -1729. Is -1 bigger than y?
False
Let k = -3.1 - -0.1. Let a = -1 + k. Let h = a - 2. Which is greater: 0 or h?
0
Let k(x) = -12*x**2 + 415*x - 48. Let i be k(34). Let t = 139 + 52. Is t > i?
True
Let k = 20 + -20.15. Let y = k + 48.15. Let w = 47.8 - y. Is w not equal to 0.6?
True
Let j(n) = 6*n**3 + 7*n**2 - 47*n - 246. Let h be j(-7). Which is bigger: -1635 or h?
h
Let d(t) = 2*t**2 + 4*t - 1. Let b be ((-42)/28)/(1/2). Let u be d(b). Suppose 0 = 2*g - 4*s - 4 - 18, u*g - 42 = -3*s. Is 8 at most g?
True
Let q = -28755 - -27712. Do 6 and q have different values?
True
Let u = -1230 - -805. Let w = -424.5 - u. Which is bigger: w or 0?
w
Let r be 952/92 + -9 - 2. Let g be -1*(0 + -1 + 1). Which is greater: r or g?
g
Suppose -d - 14 = -5*s - 35, 4*s + 16 = d. Let q = 2522/753 + -4/251. Let h = d + q. Which is greater: -1 or h?
h
Let o be (-26)/377 - 199245/(-1479). Let d = o - 135. Are 0 and d non-equal?
True
Let q be ((-5)/(-2) - 2)*(-3010)/(-55) - 0. Which is bigger: 28 or q?
28
Suppose -3*f + 12 = 3*d, 0 = 2*d - 0*f + f - 12. Suppose d*p + 490 = 13*p. Is 98 > p?
False
Let m = -0.2 + 0.187. Let f = 3088.013 - 3082. Let h = m + f. Which is greater: h or 1?
h
Let n be 2/5 - (81/270)/((-6)/274). Which is greater: n or 13?
n
Let f be 4*1*(-5 - (-2789094)/557809). Let t = 444815774/8367135 - f. Let h = t - 374/7. Is -1 bigger than h?
False
Let r(z) = 359*z - 1153. Let v be r(4). Which is smaller: 285 or v?
v
Let o(h) = 76*h + 4. Let r be o(1). Let d be r/140*(-1)/((-4)/182). Is 26 smaller than d?
False
Let z = -9217/9 - -1021. Let v(d) = 6*d - 197. Let f be v(32). Let q be f/3 - (-41)/(-123). Which is greater: q or z?
q
Let g(a) = -383*a - 7906. Let o be g(-22). Is o < 516?
False
Suppose 0 = 3*w + 3*w - 18, f = 2*w + 285. Let j = f + -293. Which is bigger: j or -60/31?
-60/31
Let o be (-31 - -17)/(14/(-12)). Is o > 1?
True
Suppose 5*m = -4*v + 103, -6*m = -m - 5*v - 85. Suppose -3*x = -2*l - 25, -l + m = 5*x - 1. Suppose 0*q + 20 = 5*b - 3*q, x*q + 24 = -b. Is b >= 6/5?
False
Let i be ((-24)/30 + 2)/((-4)/(-10)). Suppose 2*x = -i*x + 30. Suppose -15 = x*m + 27. Which is bigger: m or -11/2?
-11/2
Let f(c) = -6*c**2 + 214*c - 217. Let u be f(35). Are u and -547/7 non-equal?
True
Suppose -3*l = -l - 4. Let o be ((-2)/(-1))/1 - 2/l. Let k(t) = -t**2 + 2*t + 2. Let m be k(-2). Is o > m?
True
Let n be -16*196/(-448) - (1 + 1 + -1605). Is 1610 at most as big as n?
True
Let n(f) = 9*f**2 - f - 5 + f**3 + 3*f - 4*f - 4*f. Let c be n(-10). Let u = -57 - c. Which is greater: u or -14?
u
Suppose -2101 = -14*u + 27. Let z = u + -154. Let j = -2663 - -50585/19. Is z > j?
False
Let w be (-207)/45*2*(-20)/8. Suppose -w = 5*j - 6*j + 2*o, 5*o - 10 = -2*j. Which is bigger: j or 16?
16
Let l = 2579 - 502904/195. Suppose -3*p - 2 = -4*b - 5, 4*p - 4 = -b. Which is smaller: p or l?
l
Let p(y) = 6*y - 4. Let a be (-3 + (-14)/(-4))*10. Let g be p(a). Let x be 2/4 + (-21)/g. Which is bigger: -1 or x?
x
Let p = 28/2655 - 588496/416835. Do p and 0 have the same value?
False
Let v = 700.9435 - 701. Let k = 0.0005 - v. Which is smaller: k or 0.4?
k
Let u = -161.4 - -148. Let v = u - -13.3. Is v smaller than 72?
True
Let j(k) = k**2 - 12*k + 8. Let u be j(14). Suppose x - 5*x - u = 0. Are x and -14 nonequal?
True
Let h be (-492)/140 - -4 - 1. Suppose -20064*c + 20056*c = 16. Is c less than h?
True
Let z(j) = j + 11. Let g be z(0). Let s = -0.1144 - 742.8856. Let u = s + 749. Is g <= u?
False
Suppose 0 = 6*w - 7*w - 129. Let r = w + 100. Which is bigger: r or -27?
-27
Suppose z = -2*z - 135. Suppose -10*a + 53 - 93 = 0. Let s be ((-6)/z)/(a/(-12)). Are 0.4 and s nonequal?
False
Let x = -20034/49345 - -58/139. Which is smaller: -1 or x?
-1
Let s = 55.016 + -55. Let b = s + -62.016. Let g = -66 - b. Is 2 equal to g?
False
Let h = -872 - -4609. Suppose -16*k - h = -457. Is k != -204?
True
Suppose -32*u - 54 = -30*u. Let v be 3/(u/(-6))*(-213)/2. Which is greater: v or 1?
1
Let a be 422/5486 + 1*((-80)/26 - -1). Is -272 at most a?
True
Let p = -1267 - -3509. Let c = p - 20212/9. Is c <= -5?
False
Let k(w) = w**2 - 33*w + 90. Let q be k(30). Let f(z) = -10*z - 1. Let i be f(q). Let y be (-12)/16 + (-57)/(-60). Which is greater: y or i?
y
Let x = 8214 + -5594. Suppose 8*q + 12*q - x = 0. Do q and 131 have the same value?
True
Suppose -290*d = 31*d. Which is smaller: 3/12835 or d?
d
Suppose -4*i - 12 = 2*t, 3*i + 2*i = -4*t - 9. Suppose -2*j - 185 - 267 = t*m, -2*m - 232 = -2*j. Is -113 > m?
True
Let q = 4274 + -4275. Which is bigger: -1/1092 or q?
-1/1092
Let w = 258 - 1288/5. Let v = 21 + -22. Let k be v/(-2) + 99/(-174). Are w and k equal?
False
Suppose -4*y = -3*y + 36. Let u = -39 - y. Let v = 4868/7 - 697. Which is smaller: u or v?
u
Let a be ((-404)/(-707) - (-46)/(-56))*136. Which is smaller: a or -51?
-51
Let i = -286 - -457. Let b = 179 - i. Is 22 smaller than b?
False
Let w be ((-42216)/26)/(-4) + 0 + (-7)/(-91). Is 403 greater than or equal to w?
False
Let j(f) = 2*f**3 - 73*f**2 - 44*f - 7. Let t be j(37). Is -259 not equal to t?
True
Let o(l) = 7*l + 9. Let k(s) = 21*s + 27. Let z(t) = -3*k(t) + 8*o(t). Let q be z(-6). Let x = 23 - q. Which is smaller: x or -43/4?
-43/4
Let b = -78507 - -78508. Let z = -6619/17 + 389. Let h = z - -167/425. Which is greater: h or b?
b
Let p = -256141 + 256142. Let s = 14191/20824 - -3/1096. Is p <= s?
False
Let v(a) = -88*a + 132. Let g be v(-26). Let p be g/(-1275) + 2/15. Let w be (-1 + 0)*(3 + -2). Which is bigger: p or w?
w
Suppose -67*o + 70*o - 25 = 5*v, -2*o - 3*v - 15 = 0. Is -4/929 greater than o?
False
Let m(p) = p**3 - 3*p**2 - 4*p + 8. Let f be m(4). Let y(x) = -2*x**2 - 6*x + 16. Let v be y(f). Let g be (-4)/20 + (-47)/v. Which is smaller: -1 or g?
-1
Let h(d) = -131*d + 3. Let o be h(1). Le