g) = -g**2 - 10*g + 17. Let z be n(-11). Suppose -15*f = -z*f + 81. Which is greater: -7 or f?
-7
Let b be -1 - (-4 + 1)*1. Let q be 4/(-6)*(b - -1). Let r be ((-3)/9)/(-1) + q/6. Which is greater: r or -1/85?
r
Let q be 5 + -5*8/40. Suppose i = -0*i - 1. Let d be i/(0 - q/4). Which is bigger: -2/237 or d?
d
Suppose 12*z + 372 + 336 = 0. Let u = 59 + z. Which is smaller: 5/33 or u?
u
Suppose 4*n = -5*v + 270, 0 = -3*v + v - 5*n + 125. Let j = -49 + v. Let y be (-33)/55 - 72/5 - j. Is y <= -17?
False
Let m = 13.8986 - -0.0014. Let b = m - 13.79. Which is smaller: b or 11?
b
Let o = -78 + -19. Suppose -2*m + 466 = -5*j, 4*j - 859*m + 363 = -856*m. Which is bigger: o or j?
j
Let h(g) = 3*g**2 + 20*g - 598. Let n be h(12). Does n = 822/11?
False
Let u = 0.06914 + -0.02914. Is -465 equal to u?
False
Let c = -4490 + 4489. Is c bigger than 1/915?
False
Let p = -0.52117 - -123.56617. Let u = -122 + p. Let n = -0.045 + u. Is n greater than or equal to 15?
False
Let h(q) = -20*q**3 + 16*q**2 - 18*q + 5. Let s be h(5). Which is smaller: -2186 or s?
-2186
Let n be -4 + 4 + 0 - (-3 - 0). Let l = -150.1 + 111. Let p = l + 39. Is n > p?
True
Let g = 1/118551 + -1423219/71960457. Is g < 1?
True
Let h = 0.1 - -0.1. Let t = 365 + -186. Let a = -169 + t. Is h at most as big as a?
True
Let k = 4.4 - 2.4. Let y = -6.357 - -6.507. Which is greater: y or k?
k
Let u(b) = -47*b + 57. Let i be (1/(-4))/(1524/96 - 16). Let o be u(i). Which is greater: -42 or o?
o
Let z be (-1)/(-2*((-70)/20 + 1 + 2)). Which is smaller: 14/61 or z?
z
Suppose 695 + 1129 = -8*g. Let i = g + 226. Is -33/16 less than i?
True
Let u = -218 + 159. Suppose -7 = -3*s - 2*x + 1, -x = 5*s - 4. Suppose s = 4*m - 2*v - 0*v + 234, -286 = 5*m + 4*v. Is m at least as big as u?
True
Let j be (-3 - 87/(-33))/((-8)/44). Let a be (-12)/60*0/j. Let g = 0.3 - 0.1. Which is greater: a or g?
g
Let k be 2/(-5) - 19096/1085. Let u(p) = 5*p**2 + 1 - 12*p**2 - 9*p**2 + 2*p. Let f be u(-1). Is k > f?
False
Let h(y) = -3*y - 52. Let m be h(-18). Let a be (-48)/18 - m/(-3). Which is greater: 0.071 or a?
0.071
Let k = 107 - 36. Let f = -975.1 - -1046. Let b = k - f. Which is bigger: b or -28?
b
Let a = 488 - 69786/143. Let d = -439 + 443. Suppose -2*n = -d*x - 6*n + 12, -6 = 4*x - 2*n. Is x less than or equal to a?
False
Let p(k) = 206*k + 3 - 85*k - 1 - 421*k. Let d be p(1). Is d < -299?
False
Let z(v) = -v**3 - 9*v**2 - 12*v - 22. Suppose -9*h = -28*h - 95. Let k be z(h). Are k and -61 equal?
False
Let j(r) = -r**2 - 6*r - 8. Let b be j(-3). Which is greater: -1/4294 or b?
b
Let u = -45.75 + 46. Let v = -90.115 + 90. Let z = v + 0.015. Is u smaller than z?
False
Suppose -50*c - 1704 = -44*c. Let t(v) = 17*v + 74. Let q be t(-21). Which is smaller: q or c?
c
Let a be (13779/1251 - 11)*1. Let r be 4 + 2/(-2) + -4. Which is greater: a or r?
a
Let z(c) = 4*c**2 - 10*c - 5. Let y be z(8). Let l(g) = y*g - 172*g - 8 + 29. Let q be l(21). Is 5 less than q?
False
Let r be (40/1490)/((-4)/2). Let u(c) = -c + 1. Let x(a) = -3*a - 22. Let b(z) = -6*u(z) + x(z). Let y be b(9). Which is bigger: r or y?
r
Suppose o + 15 - 10 = 4*k, 4*o - 40 = -4*k. Let g be ((4/(o - 3))/1)/(-1). Let q = -4/415 - -1864/21165. Is g equal to q?
False
Let a be (-126)/72*10844/(-14). Is 1357 >= a?
True
Let c(p) = p**3 - 11*p**2 - 17*p - 27. Let q be c(12). Which is smaller: q or -349/4?
-349/4
Suppose -76*k + 109*k + 20825 = -86*k. Does -2469/14 = k?
False
Suppose -2*r - 685 = 3*j + 3*r, 0 = -2*j - 4*r - 460. Let l be (j/(-25))/((-2)/(-415)). Let b = 20106/11 - l. Which is smaller: b or 3?
b
Suppose -90 + 82 = 2*r. Let p(w) = 7*w - 1. Let l be p(-5). Let k be (176/l - r)/(4/30). Which is smaller: k or -6?
k
Suppose 57*t - 55*t = n - 11, -2*t + 2*n = 12. Let i be 1/(4/(-2))*(-1 - -5). Do i and t have the same value?
False
Let j(s) = -s**3 + 21*s**2 + 18*s + 36. Let o be j(22). Let a = 2 + o. Let q be 6/(-4) + (-60)/a. Which is smaller: -1 or q?
-1
Let g = 1392 - 1719. Is g > -322?
False
Let o = -1/6856 - 12697309/20568. Let d = 618 + o. Let r = 5/3 + -7/3. Which is greater: d or r?
d
Let x = 61 + -45. Let z be 5/((-20)/x) + 10. Let m be (-1 - -2)/((-12)/(-60)*-5). Which is smaller: z or m?
m
Suppose u - 14 = s, s - 5*u + 51 = -15. Let w = 0.18 + -0.35. Which is bigger: w or s?
w
Let y be 2*(4 - (-35)/(-5)). Let p be (-299)/(-78) + (-1)/y. Suppose -p*b = -b + 3*c - 12, -4*c = b - 19. Which is smaller: b or 1/6?
b
Suppose f - 23*y = -19*y + 1, -3*y = -3*f - 6. Let w be (f - 170/6)*18/12. Let p be ((1 - 2) + 4)*-16. Which is smaller: w or p?
p
Let x = 56 + -58. Let m be ((-3)/x)/((-6)/(-1512)). Let h be 1/(-6) + 147/m. Which is bigger: h or -1?
h
Let h be ((-236)/(-5))/((-6296)/7870). Let p = -2535 - -4951/2. Does h = p?
False
Let u be 18/(-102) + (-1301200)/272. Which is smaller: u or -4783?
u
Suppose 43*g - 4435 = -51176. Is -1086 > g?
True
Let r(i) = 3*i + 829. Let s be r(0). Let g = s + -96991/117. Is g greater than or equal to 1?
False
Let l be (0 - 2) + 0 + -83. Let y be 6/51 + 10/l. Let q be (y + 4 + -4)*-1. Is 2 > q?
True
Suppose 2*o - 12 = 5*c, 14 = 4*o - 4*c - 22. Suppose 2*m = o*m - 0*m. Let y be 2/4*12/(-543). Which is smaller: y or m?
y
Let h = -585.108 + 585. Let y = 0.518 + h. Is y less than or equal to 1/3?
False
Let o = 13141/2 - 6570. Suppose -4*v - 11 = -43. Is v at least as big as o?
True
Let n(d) = -2*d**2 + 75 - 25 - 11*d - 31 + 100. Let b be n(15). Is b smaller than -497?
False
Let w = -6759.825 + 6760. Is w != 1/2?
True
Suppose -1085 + 1116 = -31*l. Let t = -4257 - -1111075/261. Is l at most t?
True
Suppose -5*g + 2766 = -2429. Which is smaller: g or 1037?
1037
Let r be ((-250)/2)/(-12 - 1330/(-110)). Which is bigger: r or -1376?
r
Let d = 5613 + -5958. Which is greater: d or 3?
3
Let b(v) = -v**2 - 6*v + 108. Let f be b(11). Let c be (f/(-26) - 3) + 0. Is c smaller than 1?
True
Let j = 27990385733/3572 - 7836054. Let g = -5/188 - j. Which is greater: 1 or g?
1
Let g(d) = -79*d - 14536. Let c be g(-184). Let t(u) = -u**3 + 7*u**2 + 7*u + 1. Let z be t(8). Which is smaller: c or z?
z
Let g = 3.379 + -6.379. Is g equal to 0.00648?
False
Suppose -5*u - 5829 = -2*s, 5*u + 4067 = s + 1160. Is s at least 2921?
True
Let s = 479676/13 + -36921. Is -23 less than s?
True
Let s be (-1)/(-2) - 2/(-4). Let r = -46557478/2139 + 21766. Let j = r + -6053/194649. Is s < j?
False
Suppose -8 = -2*t, 8*i + 75 = 3*i + 5*t. Let q(m) = -6*m - 17. Let a be q(i). Suppose -2*j + a + 37 = 0. Is j greater than 42?
True
Let j = 1267 + -1268. Which is bigger: 3/11 or j?
3/11
Let x = 991 + -991.2. Which is greater: 707 or x?
707
Let a = -4921943285568/128548901554241 + -12/731126767. Let y = a - -16/911. Which is smaller: 0 or y?
y
Let g = -92 + 100. Suppose 0*o = 2*o - g, 3*o + 120 = -2*r. Let t = r - -72. Do 7 and t have different values?
True
Let h = -68 - -71. Suppose 2*b + p = 6*b - 12, 0 = -2*b - h*p - 8. Is b bigger than 3?
False
Let q(c) = c**2 + 5*c + 3. Let t be q(-4). Let z = -657 - 333. Let k be 24/42 - z/(-1855). Is t >= k?
False
Suppose 23293 = -521*s + 9226. Is s less than 92/5?
True
Suppose 3 = -3*c + 18. Suppose -79 = 4*z + c*b, b + 3 = -0. Let a(d) = -2*d**3 - 23*d**2 + 16*d + 34. Let g be a(-12). Is z less than g?
True
Let r = 4576 + -4528. Is 1072/23 less than or equal to r?
True
Suppose 20*n + 200 = 880. Let v = n + -34. Which is smaller: 2/97 or v?
v
Let u = 5054 + -8842. Which is smaller: u or -3787?
u
Let o be (-7)/(-15) - (-13)/65. Let s = 4835 + -193401/40. Which is greater: s or o?
o
Let j(h) = 6*h**2 + 72*h + 234. Let x be j(-5). Let i(o) = o + 13. Let n be i(-8). Suppose n*u - 150 + 29 = l, -3*u - 2*l = -70. Is u less than x?
False
Let v = -19756 - -19564. Which is bigger: 3/2 or v?
3/2
Let o = -3612 - -3612.1. Do 0.047 and o have the same value?
False
Let s = -327.2 + 279. Let w = -47.8 - s. Is -13 at most as big as w?
True
Suppose -54*q + 1695 + 2679 = 0. Which is greater: 85 or q?
85
Let x be 3 + -4 + 4 - (1 - -4). Let f be (x/(-2))/(27/(-54)). Is -36/17 at least f?
False
Let l = 31223/5 + -6244. Is 2/2143 at most as big as l?
True
Let u = 474 + -472.09. Let p = -23 - -22.91. Let z = p - u. Which is smaller: -3 or z?
-3
Let u be 1116/6*(-51)/(-34). Which is greater: -2 or u?
u
Let t(w) be the first derivative of 3*w**2 - 96*w 