 -9)). Is g at most as big as f?
False
Let l = -36 - -5. Let f = 35 + l. Suppose f*t - 3*w - 27 = 0, -3 = t - 4*w - 0*w. Which is smaller: t or 6?
6
Let g = 6.259 + 78.741. Are g and 59 unequal?
True
Let s be 18 + (33 - (4 - -7)). Is s not equal to 0.015?
True
Let u(o) = o. Let j be u(3). Suppose 4*r - 9*r + 13 = -3*g, 0 = 3*r - 15. Suppose 5*d + g*p + 11 = 0, -2*p - 3*p - 23 = -j*d. Is d bigger than 1/4?
True
Let y = 1805 + -1804. Are -12/247 and y equal?
False
Let q(o) = 22*o**2 + 2*o**3 + 60 - 18*o - 26*o**2 + 8*o**2. Let d be q(6). Which is greater: d or -2/7?
d
Let p be 26/117 - 3464/36. Let f be 8/64 + (-2307)/24. Is f > p?
False
Suppose -4*k + 7*p - 11*p + 288 = 0, 5*p = 4*k - 324. Which is smaller: 3/13 or k?
3/13
Let i(g) = 42*g**2 + 114*g - 74. Let f be i(9). Is 4354 less than f?
False
Suppose 9*v + 78*v - 11287 + 211126 = 0. Which is greater: v or -2299?
v
Let o be 3 + (-7938)/12 + (-1)/2. Let b = o + 843. Is b less than or equal to 2?
False
Let q = -3532 - -3978. Which is bigger: q or 440?
q
Let p(h) = -h**3 + 4*h**2 + 12*h. Let w be p(6). Let i be -3 - w - 2/(-790)*1187. Which is smaller: -1 or i?
-1
Let p be (-1409*(-3)/6)/(((-120)/(-16))/15). Which is smaller: -1 or p?
-1
Let t be ((-60)/(-50))/(3/510). Suppose 0 = 7*y - 3*y - t. Suppose 5*k - y = -136. Do -47/3 and k have different values?
True
Suppose 3*h = -h - i - 4, -i - 4 = 3*h. Let n = 0.39 - -113.61. Let s = n - 74. Which is greater: s or h?
s
Suppose 18*v + 12*v - 272690 = -56510. Which is greater: 28827/4 or v?
28827/4
Let a = -62 + 65. Suppose -5*p = -p - 2*l + 2, -a*l + 25 = 5*p. Suppose -4*n - y = 3, -p*y - y + 1 = 2*n. Is n at least -17/13?
True
Suppose -3*k + 10 = -2. Suppose 5*g + 640 = 5*b, -2*b + 259 = -2*g - g. Suppose -k*t + b = t. Which is smaller: 26 or t?
t
Suppose -22*t + 165619 = 7*t - 0*t. Is 5712 at most as big as t?
False
Let k(n) = -8*n - 3. Let j be k(3). Let p be (j/15)/(-7 - -4). Does 0 = p?
False
Let m = 13 + -16. Let f(n) = n**3 - n - 1. Let l(r) = -5*r**3 - 3*r**2 + 4*r + 5. Let t(c) = 4*f(c) + l(c). Let o be t(m). Is -2/3 greater than o?
False
Suppose -1 = -w + 18. Let h be -5 - 10*(4 - 5). Let y be (-20)/8*(-36)/h. Which is smaller: w or y?
y
Let o = -2954 + 2955. Is o smaller than 4/79?
False
Let f be ((-96)/18)/(20/(-90)). Is -16 < f?
True
Suppose -3*f - 4*x = 2 - 3, 7*f + 2*x = -5. Is f != 2/2635?
True
Let m be (-174)/(-18) + (1 - 10/6). Let g be (m/10)/(28/(-140)). Is g at least -6?
True
Let r = -28 - -395/14. Let h = -173 + 172. Which is smaller: r or h?
h
Let f be (-6)/(-12)*(-8)/(-7) - (-180)/420. Which is smaller: 25/713 or f?
25/713
Let l = -16972 - -16972. Which is bigger: l or -540.9?
l
Let k = -11178 + 11295. Which is greater: 1527/13 or k?
1527/13
Suppose 3*i + 4*o - 20 = -0, 5*i = -o + 5. Let r = 13 + -15. Let j be 366/(-1428) + ((-4)/7)/r. Which is greater: i or j?
j
Let d = 15075/4 + -3951. Which is smaller: d or -3/5?
d
Let f(p) = p**3 + 2*p**2 - 9*p - 1. Let y be f(-4). Suppose 0 = -y*l + 2*v - 46 - 67, 80 = -2*l - v. Which is greater: -38 or l?
-38
Let g = -1 + 1. Suppose -4*s - 4*h - 326 = -5*s, -h = 4*s - 1355. Let c = -1012/3 + s. Is g >= c?
False
Let u = 54 - 58. Let a be 1*(u + 7 - 4). Which is smaller: 2/71 or a?
a
Let u = -4 + 0. Let q = -69 + 73. Let y = q + u. Is -3/19 at most as big as y?
True
Let y(a) = -a**3 - 4*a**2 - 7*a - 16. Let q be y(-3). Let s(o) = 3*o + 5. Let g be s(q). Let l = -7 - g. Which is smaller: 18 or l?
l
Let y(h) = h**2 + 2*h + 1. Let f be y(-1). Which is smaller: f or -155/7?
-155/7
Suppose 55690 = -8*a + 53530. Suppose 5*x + 0*x + 1345 = 0. Is x less than a?
False
Suppose -17*b - 480 = -12*b. Let p = b - -91. Let d be p*(3 - (-13)/(-5)). Which is smaller: -2/3 or d?
d
Let w = -369 + 166. Let o be 5/20 + w/(-4). Let t = 18 - 18.1. Are t and o unequal?
True
Let b = -4015 - -4013.223. Which is greater: b or 1?
1
Let d = -184.675 + -14.325. Is d bigger than 1/15?
False
Let n = -2675 - -2674. Let a(z) = 3*z + 1. Let b be a(-4). Let m be n/11*b/((-22)/(-8)). Is m smaller than 1?
True
Let o = 1047 + -1053.17. Let f = o - -9.17. Which is greater: 0 or f?
f
Let j be 2/(-6) - (-2)/24. Let a = -28651 + 28627. Is a at least as big as j?
False
Let r be 5 - 330/70 - (-2987)/7. Suppose -r = 7*v - 259. Which is smaller: -25 or v?
-25
Let p be (67 + -69)/((-10)/16). Which is bigger: p or -5?
p
Let f be ((-91)/(-3))/(648/(-1188) - (-875)/1584). Is f less than 4367?
False
Suppose 5*f - 8*t + 6*t + 9 = 0, -f = 2*t - 15. Are f and 86/355 equal?
False
Let j = 28222 + -28207. Let a be 1 - (-1 + -1 - -3). Let b = a - -16. Are j and b nonequal?
True
Let q = 43460981/1525 + -28499. Do q and -1 have different values?
True
Let f = -60 - -52. Let x be (1/(f/6))/((-27)/136). Suppose 0 = -v + 7*v - 30. Which is greater: v or x?
v
Let o be 1*-2 + -9 + 11. Suppose o = -3*s + 2*s. Suppose s*f - f + j - 20 = 0, f + 3*j = 0. Are f and -16 nonequal?
True
Suppose -642*c - 1531858 + 9052888 = 0. Which is greater: c or 11713?
c
Let t = 31/172 + 3/43. Let g = -1028.3 + 1027. Which is smaller: t or g?
g
Let t = 512 - 17922/35. Suppose -2*h + 5*b - 3 = 8, 0 = -2*b + 10. Let o be ((-28)/6)/h*12/8. Which is smaller: o or t?
o
Let o = -583469323/293172 - -28/219879. Let x = o - -1990. Which is smaller: 0 or x?
x
Let o be 2/(-7) + (-9)/(-7). Let r = -75502 + 75510. Which is bigger: r or o?
r
Let r = -30 - -34. Let g be (-7)/(-2) - 2/r. Suppose -3*k - 50 = -4*h, 0*h - g*h - 50 = 4*k. Is -13 != k?
True
Let b be ((-153856)/96)/((-4)/3). Which is bigger: b or 1210?
1210
Suppose 0 = -34*v + 26*v + 24. Let d be 3*12/9 - v. Is d greater than 9?
False
Let a = 582 + -568. Which is smaller: a or -0.2?
-0.2
Suppose 0 = -748*j + 684*j + 64. Let c be 3 + 1/(169/(-505)). Is j at least as big as c?
True
Let h = 32356 - 32356. Let k be ((-2)/134)/((-2)/(-52)). Is k greater than h?
False
Suppose -4*u + 24 = -0*u. Suppose -42 = u*a - 3*a. Let i be (-6)/a + 219/(-21). Is i not equal to -13?
True
Suppose 2*y + 39 - 5039 = 0. Let v(n) = -7 + y*n + n**2 + 42 - 2485*n. Let i be v(-14). Is 22 >= i?
True
Let f = 45956/69 - 666. Let q = 611 - 603. Let i be 65/15 - 4 - q/24. Which is greater: f or i?
f
Let y = -999854/437 - -2288. Let r = -0.021 + -0.979. Is r smaller than y?
True
Let l(m) = -m**3 + 25*m**2 - 46*m + 2. Let f be l(23). Suppose -3*x + x = -2*i - f, x - 2*i = 2. Are x and 23 nonequal?
True
Let p = -1034 + 1045. Let r(z) be the second derivative of z**4/6 + z**3/6 + 3*z**2/2 + 16*z. Let o be r(2). Is o at least as big as p?
True
Let z = 21216233/21 - 1012135. Let w = -1839 - z. Which is smaller: -1 or w?
-1
Let p = -16076.1 + 16075. Is p bigger than 12.3?
False
Suppose -p - 5388 + 623 = -3*a, 0 = -2*a - 3*p + 3173. Which is smaller: 1589 or a?
a
Let c(f) = f**3 + 16*f**2 + f + 19. Let b be c(-16). Let n be (1/b)/(3/18). Suppose n*v - 6*v = 28. Is v < -7?
False
Let w be 96/(-234)*(84/16 + -1). Do w and -3 have different values?
True
Let v be (-2)/((-4)/(-10))*(-2 + 1). Let y be 12/52*(-1)/v. Which is smaller: -1 or y?
-1
Let l = -59.128 + 0.128. Let b = l + 51. Let p = b + -5. Are 2/7 and p equal?
False
Suppose -2*o = 2*m - 222, -4*m = -4*o + 259 + 153. Suppose -74 + o = 11*r. Is -36 at most as big as r?
True
Suppose -5*b + 73 = 20*l - 17*l, 0 = 5*b - 5*l - 65. Suppose 31*m = b*m. Let n = -2503/18 + 139. Which is smaller: m or n?
n
Let p be ((-3)/(-6)*0)/(-2). Let d(o) = -o**2 - 19*o + 42. Let m be d(-21). Let s(k) = -k**3 - k**2 - k - 1. Let w be s(m). Which is greater: p or w?
p
Let r(p) = 14. Let m(v) = -v. Let b(i) = 5*m(i) - r(i). Let u(s) = s. Let t be u(-3). Let l be b(t). Is 1/4 > l?
False
Let o = 17239679/55 + -313449. Let g(w) = -w**3 - 4*w**2 + w + 5. Let r be g(-4). Which is bigger: r or o?
r
Let o be (-5)/10*3*-106. Suppose 4*x = o + 5. Let f = 89 - x. Is 48 > f?
False
Let a be ((-2)/45)/((-1)/4311). Which is smaller: a or 192?
a
Let k = 21267 - 21268. Is k bigger than 1/1632?
False
Suppose 12*t + 3182 = 2163 - 9193. Is -2552/3 != t?
True
Let s = 490 - 477. Let m = s - 12.88. Which is smaller: -1.5 or m?
-1.5
Suppose -3*z - 3*n + 30 = -0*n, -4*z + 4*n = 0. Suppose -8 - 7 = -z*v. Let g be (((-2)/(-3))/((-10)/66))/((-33330)/27775). Which is smaller: v or g?
v
Let f = 0.1209 - 0.7609. Which is smaller: f or -0.032?
f
Let c be (-120)/210 