is bigger: g or f?
g
Suppose 0 = -s + 4*q + 162, 0 = -q + 64 - 63. Is -4/7 less than or equal to s?
True
Let d be (-8)/(-28) + 102/(-14) + 3. Let r be (330/3 + 3)/(d + 3). Is r at least as big as -114?
True
Let l be (120/(-32))/(2*3/(-24)). Suppose -6*a = -a - f + 26, 5*f - l = 2*a. Let o be (-3 - 0/1)/1. Is a bigger than o?
False
Let g = -4824251272/11314875 - -2/1028625. Let d = -426 - g. Is d not equal to 3/2?
True
Let c be (-11)/550*-445 + -12. Is c greater than or equal to -2?
False
Let r be 25709/(-61194) + (-2)/(-7). Which is greater: r or -1?
r
Let s = -914 - -861. Is s less than or equal to -1/4?
True
Suppose 0 = -10*c + 12*c - 8, 0 = -3*a + 2*c - 20. Let z be (0 - (-6)/15)*(9 + a). Let m = -2 + 0. Which is smaller: z or m?
m
Let g be 2 - (280 + -4) - -1. Let p be (-104)/g + (-1)/6. Let q be 2/(-12) + (-2)/(-12). Is q greater than p?
False
Suppose -2*x + 93 = -5*w, 5*x - 2*w - 145 = 2*x. Let y = x + -48. Let o be (-3 - (-4)/((-4)/(-2)))*y. Which is smaller: o or -3?
-3
Let m = 4174 - 45898/11. Is m != -1/3?
True
Suppose 15 = -x + 19. Let f = -53 - x. Are f and -58 nonequal?
True
Let c = 42512273/90343 + -20235/43. Is c less than or equal to 1?
True
Suppose -23 = 8*a - 23. Which is smaller: -4/3 or a?
-4/3
Let g = -3844 - -3035. Which is smaller: g or -805?
g
Let n be (-114)/(-304) + (-7007)/(-280). Let q be -26*1*(1 + -2). Is q less than or equal to n?
False
Let p = -3.97 - 106.23. Let n = p - -13.2. Let l = n + 96.2. Is l smaller than -1?
False
Let y = -0.157 - -0.174. Let a = y - 1.017. Is 30 equal to a?
False
Suppose -s + 134 = 4*t + 18, -5*s - 4*t = -532. Is 78 greater than s?
False
Let g be -1*1/58*(9 + 19). Let s = g - -214/203. Let p be 1 - -1 - (-1 - -2). Which is greater: p or s?
p
Let c be ((-36)/8 - -3)*18/(-27). Do c and -4/1769 have different values?
True
Let z = 7.47 + -10.9. Let h = z + 1.82. Let y = h - -0.61. Which is bigger: y or 36?
36
Suppose 0 = 3*q + 9, -11*h + 7*h + 729 = -3*q. Which is smaller: 1081/6 or h?
h
Let x(m) = 8*m - 43. Let s be x(20). Let w = 115 - s. Is -0.8 < w?
False
Suppose 40 = -a + 5*a. Suppose -a = -3*s - 46. Let f be (7 - 23)*6/8. Is s less than f?
False
Suppose -h - 484 = -23*h. Let u be (-14)/(-2) - (-21 + h). Which is greater: -9 or u?
u
Let m = 8.1 + -0.1. Let n = m - 1. Is n greater than 9?
False
Suppose 0*c + 5*c = 5. Let o = 33277 - 33286.1. Which is smaller: o or c?
o
Let g(n) = -n**2 - 45*n - 349. Let x be g(-35). Which is smaller: x or -2/961?
-2/961
Suppose -5*g + 3*x = -84, 2*g - 7*x - 42 = -3*x. Let j be (6/39 - g/13)*-10. Which is smaller: 15 or j?
j
Let g = -104.79 + 104.89. Which is smaller: -3300 or g?
-3300
Let v(h) = -3*h**3 + 3*h**2 - h + 2. Let l be v(3). Let a = 0.423 - -0.187. Let p = -0.39 - a. Is p less than l?
False
Let y be ((-3)/4 + (-18537)/(-396))/((-6)/9). Is -70 at least as big as y?
False
Let o = -3557 - -3603. Let s(k) = -k**3 + 5*k**2 - 2*k - 3. Let r be s(4). Suppose x = r*m - 225, 5*m + x + x - 240 = 0. Does o = m?
True
Let i be 8/39 - 4/18. Suppose x = z + 1 - 2, 4*z + 3*x = -3. Suppose -d + 125 - 126 = z. Which is smaller: d or i?
d
Let u = -127595 - -1403607/11. Let m(v) = 3*v - 3. Let n be m(3). Which is greater: n or u?
n
Let c(l) = 10966*l**3 - 4*l**2 - 2*l + 2. Let z be c(1). Let h be 1/(-9) - (-3486)/z. Which is smaller: h or 0?
0
Let t = -19916.02 + 19916. Which is smaller: -0.112 or t?
-0.112
Suppose -71*c + 67*c = w - 2454, -6771 = -11*c + w. Is 624 at least c?
True
Let s(r) = r**3 - 50*r**2 + 9*r + 22. Let m be s(50). Which is bigger: m or 470?
m
Let i be (2/(-3))/((-51)/(-102) - (-15190)/(-30384)). Which is smaller: i or -10127?
i
Let q(n) = -14*n - 83. Let o be -1*6/(-39) - 1060/130. Let c be q(o). Let y(s) = 4*s**2 + 3*s + 2. Let m be y(-3). Is c less than or equal to m?
True
Let d = -71701 - -124831445/1741. Which is smaller: 0 or d?
0
Let x = 76.5 + -75.9. Let i = -0.98 - 0.12. Let t = i + 1. Which is smaller: x or t?
t
Let h = -24 - -1. Let y be 28 + h - (-3 - (-2)/2). Let k be 0/y - ((-2)/(-56))/(-1). Which is smaller: k or 1?
k
Suppose 0*v - 21 = 2*v + 5*y, 2*y = 2*v. Let l be (-1)/v - (-70)/(-3). Let m be (96/576)/((-39)/(-12) - 3). Which is smaller: m or l?
l
Suppose 9*l - 23 = -14*l. Let a be 14/(-42) - (-2 + 2641/1581). Which is greater: a or l?
l
Let t = -10460467/2 + 22845656455/4368. Let h = -3/208 + t. Which is smaller: 0 or h?
h
Suppose 369 = 25*x + 44. Suppose -x*f + 7*f = 12. Are -8/7 and f non-equal?
True
Let r = 23 - 64. Let p = -82.7 + 80.7. Which is smaller: r or p?
r
Suppose -14 = -4*b - 6. Suppose 0 = n - 3*n - 6, -b*n = -4*t + 2. Let h be 2*((-2)/(-4))/(472/(-16)). Do t and h have the same value?
False
Let w(a) = a**2 - 38*a + 7. Let j be w(43). Which is smaller: j or 223?
j
Let f = 245 + -245. Suppose -2*a - 5*x = -145, -279 = -4*a - f*x + x. Is 67 >= a?
False
Let a = -684 + 705. Suppose 28*w - a*w - 1218 = 0. Is 1 greater than w?
False
Let z = 3032 - 2481. Is z greater than 551?
False
Let a = -28.1 - 41.9. Let u = a + 70.42. Let n be 1/(-4) - 4/112. Does n = u?
False
Let c(v) = v**2 + 17*v - 48. Let z = -161 - -140. Let k be c(z). Are 31 and k equal?
False
Suppose 5*l = -2*f + l - 14, 4*l = -f - 15. Let w be (-5613)/4970 + (-26)/(-91). Let j = w - -9/10. Which is smaller: f or j?
j
Let p(t) = -t**2 + t + 4. Let j be p(-3). Let c be 56/24*(j/4 + 0). Which is greater: 0 or c?
0
Let a = 45.7 + -344.7. Let y = 303 + a. Which is smaller: y or 6/7?
6/7
Let g be 14/10 - 213009/(-1515). Do g and 3244/23 have the same value?
False
Let a = 1481 + -1485. Is a at most -115/22?
False
Let w(o) = 748*o**2 - 4 - 746*o**2 - 13*o + 41*o. Suppose 3*k + 28 = k. Let m be w(k). Is m greater than or equal to -11/3?
False
Let t(n) = n**2 + 13*n - 30. Let h be t(-15). Suppose -2*u = -h*u - 52. Suppose -u + 46 = 5*l. Is l at least 2?
True
Let o = 356/5 - 70. Let x(j) = 9*j - 135. Suppose 298 = 18*a + 28. Let z be x(a). Which is greater: z or o?
o
Let t(d) = d**2 + 18*d + 26. Let j be t(-18). Suppose 0 = 21*k - j*k - 20. Let h be 0 + 1 + k - (5 + -5). Which is smaller: h or -8?
-8
Let q = 42542 + -42569. Is 107/5 greater than q?
True
Let q = -120 - -173. Suppose -97 - q = -10*h. Let c = 14 - h. Which is bigger: -0.36 or c?
-0.36
Suppose 496*p + 1 = 491*p + 2*u, 6*p = -u - 8. Which is greater: p or 1/155?
1/155
Let y = 13805/4981 - 47/17. Let k = 16962667411/178730 - 949067/10. Let q = y + k. Which is greater: q or 0?
0
Let w = -0.045 - -0.122. Let y = w + -7.977. Let c = y - -12.9. Is -4 equal to c?
False
Let u = -1.093 + 12.693. Which is bigger: u or -14?
u
Suppose 0 = 2*d + 1 - 11. Let j be 6/16*(-4)/d. Let m = -13.576 + 13.276. Is m greater than or equal to j?
True
Let r(o) = 46*o - 1243. Let f be r(27). Let z = -3233/159750 + -1/1125. Is z smaller than f?
False
Let c = 65.9 - 65.515. Let o = c + -0.334. Which is smaller: o or -1?
-1
Let r = 6142 - 6159. Suppose -v + 4*m + 21 = 0, 0 = -3*v - 0*m - 2*m + 49. Let l = r + v. Is 50 less than l?
False
Suppose 8 = 2*y + r, -4*y + 0*r + 20 = r. Let f = y + -3. Suppose -h + 1 = -f*k + 17, 0 = 2*h + 5*k - 23. Is h bigger than -2/49?
False
Suppose 0 = 6*v - 772 + 244. Let y be -20*(v/(-33))/((-5)/(-3)). Which is bigger: y or 34?
34
Let r = -115706/4895 + 6/4895. Let j = r + 1945/66. Which is greater: j or 6?
6
Let l = 1369/9 + -153. Let r = l - -1064/9. Do 118 and r have different values?
True
Suppose 4*f + 21 = -v, -2*f + 1 = 2*v + 13. Let k be 3460/(-5460) + (-2)/(-3). Are v and k nonequal?
True
Let w = 0.2 - 0.3. Let p = -148/267 + 2171/3649. Is p bigger than w?
True
Let f be (9/1 - 6)/1. Suppose -3*l - 12 = -5*c, -20 + 8 = c + f*l. Are -1/7 and c equal?
False
Let l(x) = -x**3 - x**2 - 3*x - 5. Let p be l(-2). Let b(g) = -g**3 + 5*g**2 + g. Let w be b(p). Let h be w/((-100)/(-144)) - 2. Does 5 = h?
False
Suppose 23*l + 71 = 93336. Which is greater: 4053 or l?
l
Let m(i) be the second derivative of -i**5/20 - 7*i**4/12 + 7*i**3/3 - 17*i**2/2 - 2*i + 18. Let c be m(-9). Which is greater: 8 or c?
c
Let m be (-353)/1348 + 413/1652. Are -1/3 and m non-equal?
True
Let z(c) = c**3 + 14*c**2 + 10*c - 10. Let x be z(-11). Let w be -1 + x/(-123) + 3. Let k = 67 + -66. Which is smaller: k or w?
w
Let v = -51948 - -51957. Let l = -0.05 + -0.25. Do l and v have the same value?
False
Let o = 0.0171 + 285.9