. Which is greater: c or 74?
74
Let m be -11 + -6 + -5 + 18/(-6). Which is smaller: -0.011 or m?
m
Let g = 106 - 14. Let u = -84 + g. Let c = -0.7 + -0.3. Is c at most u?
True
Suppose 2*m - 68 = n, 5*m + 4*n - n - 148 = 0. Let t(s) = s**2 - s - 30. Let o be t(-8). Let c = m - o. Which is smaller: -6 or c?
c
Let o = -5962 - -5996. Which is smaller: o or 248/7?
o
Let c = 13.19 + -12.19. Which is greater: -1266 or c?
c
Let d = 39761.8 + -39726. Is -28 less than d?
True
Suppose 0 = -17*l + 14*l + 60. Suppose -4*f = -2*g - l, 2*f - 47 = 5*g + 19. Let c be (484/g)/2 + (-8)/(-2). Which is greater: -14 or c?
c
Suppose 98 = -3*l + 407. Let x = l + -206. Is x >= -102?
False
Suppose 2*h = 3 + 1. Let y = h - 5. Let w be (-20)/(-180) - (-1)/(y/(-2)). Is 2 != w?
True
Let v = -71.68 + -40.32. Is -0.5 at most as big as v?
False
Let g = 126.06 - 134.2. Is 3 >= g?
True
Let k = 106 - 104.6. Let u = 2.1 - k. Let h = -0.43 - -0.38. Is h < u?
True
Let x = -183.7 + 183.5. Is -1.1 smaller than x?
True
Suppose 5*o - 3*l - 25 = -0*l, 10 = 2*o + l. Let k(a) = a**2 + 12*a + 24. Suppose -2*c = -4*g - 1 - 35, -5*g + 3*c = 44. Let p be k(g). Is p greater than o?
False
Let n = 6.786 + -0.476. Let i = 234.31 - n. Which is bigger: i or 0?
i
Let b(s) = 5 - s + 9 - 3 + 10. Let v be b(0). Suppose -12*g + 70 = -158. Which is smaller: g or v?
g
Let u be (43 + -3)*(2 + (-3)/2). Suppose 15*m = u*m + 5. Let v be 110/112 - (-1 + 2). Is v less than m?
False
Let q = 39827/8328515 - 18/3463. Is 1 less than or equal to q?
False
Let c be ((-648)/45)/(2/25). Let t = 50133 + -50314. Do c and t have different values?
True
Let w = -5505.8 + 5992. Let b = w - 486. Let m = 0.3 - 0.37. Which is greater: b or m?
b
Suppose -295*x + 189*x + 57134 = 0. Is 538 at most as big as x?
True
Let a = -5713/199430 + -4/2035. Is 0 <= a?
False
Let m(t) = -4*t**3 - 2*t**2 + 61*t - 180. Let u be m(8). Which is smaller: -1872 or u?
-1872
Let w be 12/(-22) + -20 + 9030/462. Let v = -6731 + 989453/147. Is w <= v?
True
Let i = 0.72 - -46.28. Let d = 40 - i. Let q = d + 8. Is q != -0.09?
True
Let z = 364375483/5394 - 67552. Is z > 1?
False
Let j = -6331 - -6367. Is -78 bigger than j?
False
Let n(v) = -148*v - 1034. Let k be n(-7). Let p be (6/4)/(1/2). Let l be (30/(-3))/(p - k/2). Which is smaller: -4 or l?
l
Let z = -88226998/2484495 + -4/55211. Let i = z - -280/9. Let s = 4 - 9. Which is greater: i or s?
i
Suppose -77*a + 110*a + 33 = 0. Which is smaller: 1/3455 or a?
a
Let b = 11 - 31. Let f be b*(-42)/204 - 4. Which is greater: -0.17 or f?
f
Let u = -760 - -765. Let f = 177 - 129. Which is smaller: f or u?
u
Let k be 4 + (-4 - 2/5). Suppose 41 = 5*u - 3*d - 14, 0 = -5*u + 4*d + 55. Suppose 4*p = -4*q - 20, 12 + u = -4*p - 5*q. Is p at most as big as k?
True
Suppose -a - 1 - 1 = 0. Let i be (a - (-51)/(-6))*4. Is 0.2 <= i?
False
Let g = 9 + 10. Let t = 104 + -80. Let m = g - t. Which is smaller: m or -2?
m
Let m = -1 + 2. Let d be (-20)/1350*177/(-118). Which is greater: d or m?
m
Let l = 417341/8 + -52252. Is -83 greater than l?
True
Let b = -580 + 583.84. Let u = 3.74 - b. Which is bigger: 353 or u?
353
Let y be 1/(-5) + 238/(-85). Let h be 16/88*y/26. Is h less than or equal to 1?
True
Let u = 208.686 - 208. Let x = 146.314 + u. Which is greater: -0.1 or x?
x
Suppose 90 = 13*i - 10*i. Let q be i/6 - (-6 + 0). Which is smaller: 0.05 or q?
0.05
Let c = 114 + -117.04. Let r = c + 4.45. Let f = 0.31 - r. Which is greater: f or 0.2?
0.2
Suppose 0 = o - 5 + 214. Let c be ((-64295)/44)/7 + ((-1)/4 - 1). Is c >= o?
False
Let z be (-1 + (-7642)/(-4))/(11*6/(-264)). Which is smaller: -7637 or z?
z
Let z = -9817 + 13283. Which is smaller: z or 3469?
z
Let z be 0 - (14 - (-182)/(-14)). Let c = 156 + -1873/12. Which is greater: c or z?
c
Let v be ((-10)/3)/((-14)/(-11991)). Is -2854 bigger than v?
True
Suppose -3*k + 4 = -c + 3*c, -4*k + 3*c = -11. Suppose -g - 10 = a, k*g + 0*g + 4*a + 12 = 0. Let z be (-20)/7 + 0 + 2/g. Which is greater: z or -7/3?
-7/3
Let l be 1993964/(-120) - 2*1. Let w = l + 16623. Let d = -47/10 - w. Which is smaller: -9 or d?
d
Let t(m) = -6*m + 41. Let l be t(7). Let y(v) = -v**3 - v**2 - 2*v. Let s be y(l). Does s = 2/33?
False
Suppose 16*z - 15*z + 1586 = -l, 0 = -3*z + 2*l - 4738. Is z greater than or equal to -1582?
True
Let g(y) = -y - 8. Let n be g(-20). Let a be (17 - n) + (6 - -1). Suppose -4 = -a*s + 8. Is -1/113 greater than s?
False
Let w = -13 + 21. Let h be (w/5)/(0 + 8/60). Let b be 4/6*h/8 + 0. Is b > -8?
True
Suppose 64 = 3*x + 52. Suppose 4*r = -3*v + x*v - 1067, -2*v - 792 = 3*r. Let i = r - -3460/13. Which is smaller: 0 or i?
0
Let k = 336 + -261. Suppose 597 = 9*t + k. Which is smaller: 57 or t?
57
Let j be 5665/(-110)*(1 + 7/(-5)). Which is bigger: j or 1/9?
j
Let x = 10544 + -10523. Suppose 0 = 3*f - 0*p - 2*p - 56, 42 = 2*f + p. Which is smaller: x or f?
f
Let l be 78/(-41)*(-6 + 5). Let p = -5620/2911 + l. Let q = 10 + -10. Is p less than q?
True
Let u = -3355 + 3354. Which is bigger: -2/6795 or u?
-2/6795
Suppose 0 = -32*x + 43*x - 22. Let c = 3 - 3. Let z be (-3)/6*c - 0. Does z = x?
False
Suppose g + 4*u + 4 + 2 = 0, -3*g + 2*u = -52. Let p = -22 + g. Let q(a) = 198*a - 1587. Let c be q(8). Which is smaller: p or c?
p
Let k = -8311 - -8350. Is k less than -6/11?
False
Let f = -17/149 - -6753/60494. Let i = -1314/2233 + f. Is i greater than 0?
False
Let w be 45 - (-60)/40*64/6. Suppose -124 = -3*r + r. Which is greater: w or r?
r
Suppose 3*b = -3*o + 336, 0 = 5*o - 46*b + 47*b - 588. Which is greater: 107 or o?
o
Let d = 77 - 77.33. Let f = -0.688 - -1.358. Let z = f - d. Which is smaller: -0.4 or z?
-0.4
Let d = 0.128 - -1.872. Let p = -347 + 464. Which is smaller: p or d?
d
Suppose -369 = 5*o - 3*p + 4*p, -2*o - 2*p = 154. Let i = -70 - o. Let t be i/4*40/(-35). Which is bigger: -1 or t?
t
Let p = -319 - -342. Suppose -35 = -p*b + 24*b. Which is greater: b or -37?
b
Let p be (-3304)/448*(2 - 10). Let d be -2 + (-16)/(-7) + (-8190)/(-147). Is p at most d?
False
Let k = 30 + -28. Let b be 5/k + 558/(-252). Let v = -0.44 - 0.06. Is b not equal to v?
True
Let g = 1309/30 + -209/5. Let u = -4/3 + g. Which is smaller: u or -1/54?
-1/54
Let n be ((-24)/10)/(11/(-5)). Let w = -36 + 33. Let p be 76/57*w/(-2). Which is greater: n or p?
p
Let d be -9*(128/72 - 2). Is 94/27 at most d?
False
Let r = 35 + -31. Let w(x) = -11*x - r + x**3 + 40*x - 7*x**2 - 13*x - 14*x. Let h be w(7). Is h != 2/5?
True
Let c be (-7)/5*20*27/32130. Do 1/68 and c have the same value?
False
Suppose 0 = 22*n - 16*n - 2214. Let s = n - 487. Is -118 greater than s?
False
Suppose 2*h + 1 = -1. Let a = -2956858769/24222036 - -216173/1767. Let i = a + -3/596. Is h not equal to i?
True
Let t be (-144)/(-15)*(29 - 34) + 4. Suppose 5*s = -2*k + 4*k, 5*k = 25. Let o be s/(t/(-16) + -3). Which is greater: o or 6?
6
Let r = 2070 + -2108. Let w(t) = 3*t + 23. Let g(h) = -h**2 + 4*h + 1. Let o be g(-3). Let i be w(o). Is i > r?
True
Let t = 420.1 - -187.5. Let x = 475 - t. Let d = 133 + x. Which is bigger: -11 or d?
d
Let u = -14 - -14. Suppose u*p - 5*p + 25 = 0. Suppose -p = -5*r - 15. Which is smaller: 17 or r?
r
Let h be (168/1)/(-8) + 2576. Is 2559 <= h?
False
Let u(w) = w**3 - 11*w**2 - 10*w - 15. Let i(l) = -4*l + 4. Let q be i(-2). Let k be u(q). Suppose k*c - 4 = 5*c. Which is greater: c or 3/13?
c
Suppose 8 = 13*f - 5*f. Let o be (-4 - -30)*1 + f. Let i be (-85)/o + (4 - 1). Is i not equal to 1?
True
Let n = 34 + -4.2. Let t = 2.29799 - 2.29799. Which is greater: n or t?
n
Let r = -22385303/83754 + 13/7614. Are r and -266 nonequal?
True
Let y be (-60)/36 - (-3)/(-9). Let l be (483/(-9))/(21/9 + y). Is -161 <= l?
True
Suppose 13*k - 9068 + 1697 = 0. Let a be ((-41)/7 + -1)/(27/k). Is 2/9 < a?
False
Suppose 13*v - 3852 = -5*v. Let s = v - 214. Which is bigger: s or 38/27?
38/27
Suppose -23 = -p - 4*o, -o = 3*p - 4*o + 6. Suppose -4*n + 1 = -q - 2, -p*n + 2 = -q. Let h be q*(0 + -3) + (-70)/1. Are -72 and h non-equal?
True
Let t be ((-584)/(-720729))/((-3)/18*2). Is t <= 1?
True
Let j = -156 + 154. Let p be j/3*(1 - -2). Let a be ((35 - -3) + -4)*1/p. Is -17 at most a?
True
Let m be (1 - -2)/((-6)/(36/(-2))). Suppose m*r = 36*r + 6399. Which is smaller: -0.1 or r?
r
Suppose -3*s + 33 = -3*b, -63*b = -52*b + 2