se -38*g + 43*g = 5. Which is greater: -14/43 or g?
g
Suppose -8 = -5*j - h, 2 + 0 = -2*j - 3*h. Let l = 6 + -3. Suppose -4*c - 3 = o, -2*o + 0*o = l*c + 1. Which is smaller: o or j?
o
Let y = 24 - 2. Let w = y - 5. Is w greater than 1?
True
Let k be -220*-6*4/60. Is 89 less than or equal to k?
False
Suppose -95 = -3*d + 82. Suppose -37 = -p + o, 0 = 3*p - p - 5*o - d. Let u = p - 36. Is 8 less than u?
False
Suppose 4*m + 26 = 3*i, -7 - 22 = 5*m - 2*i. Let k be (m/10)/(1 + -4 - -4). Let c = 0.08 - 0.68. Which is greater: c or k?
k
Suppose -2 = -4*n - 14. Suppose 0 = -18*w + 17*w + 137. Let h = -687/5 + w. Which is smaller: h or n?
n
Let j be 2 + -6 + 28929/6030. Let h = j + 1/402. Which is greater: h or 2?
2
Let t = -2 + 17/7. Suppose 2*q = -8*q + 30. Is q >= t?
True
Suppose -16*q + 77 = 4*c - 19*q, -2*q - 13 = -c. Which is greater: 26 or c?
26
Let b(f) = -f**3 + 2*f - 1. Let q be b(-3). Suppose 2*s + x + 3 = -2*s, 5*s + q = 2*x. Let v = 3/4 + -45/28. Is v != s?
True
Let z(b) be the second derivative of b**4/12 + b**3/6 - b**2/2 + 7*b. Let l be z(2). Let r be 2/l*10/4. Is r less than -1/30?
False
Suppose 5220 = -33*w + 91*w. Which is smaller: w or 87?
87
Suppose 7*k = -2*l + 2*k - 15, -2*l + k + 3 = 0. Let m = 4 + -6.8. Let c = 3 + m. Which is bigger: c or l?
c
Let w = -43 - -47. Which is smaller: w or 34/11?
34/11
Let o = -1/6 - 1/6. Let r be (-2)/(-1) + (0 - (-3 + 5)). Which is greater: r or o?
r
Let f be (53/2 + -5)*4/(-40). Which is greater: f or -2?
-2
Let r = 73 + -51. Which is smaller: r or -13?
-13
Suppose 18*v + 69 + 39 = 0. Let i be 6/4*v*(3 + -4). Do 7 and i have different values?
True
Let g = 241965/23 + -10518. Which is smaller: 2 or g?
2
Let y(r) = r**3 - 4*r**2 + 5*r. Let g be y(2). Let h be (1 + -2)*0/4. Suppose h = -g*u - 12 - 12. Which is smaller: u or -13?
-13
Let y(z) = -3*z - 45. Let r be y(-17). Which is smaller: r or 12?
r
Let o = -116 - -112. Let b be (-3)/(-2)*108/(-30). Which is smaller: b or o?
b
Let q = -872 - -633. Are q and -239 equal?
True
Suppose 102*k = 96*k - 2904. Do -486 and k have the same value?
False
Let r(m) = -10*m + 45. Let p be r(5). Let x be (-280)/(-36) + p + -2. Is x < 0?
False
Suppose 15 + 36 = -17*v. Which is smaller: -9/5 or v?
v
Suppose 16*s + 85 = 21*s. Is 17 <= s?
True
Let l = 332 - 276. Is l less than or equal to 54?
False
Let a be 52*2/(-35)*85/102. Is a not equal to -2?
True
Let l(n) = n + 3. Let q be l(-7). Let v be 2 - 1/(q/(-5)). Let p be (0 + 0)/(2 + 0). Which is greater: p or v?
v
Let b = 1.04 - 0.14. Which is greater: -14 or b?
b
Let d = 1.958 - 0.958. Which is smaller: 1/9 or d?
1/9
Suppose -5*c = -2*q + 1, 0 = -4*q + 7*q + 4*c - 36. Let k be 18/15*9 - 2. Which is bigger: k or q?
k
Suppose k = 27 + 60. Let f = -79 + k. Let d = -7 + 13. Is f <= d?
False
Let v = -413 - -192. Let y = 7295/33 + v. Does -1 = y?
False
Let m = 0.24 - -2.76. Let c = m - 2.9. Does -14 = c?
False
Suppose -10 = -6*o - 100. Let q be (2/(-21))/(-3 - 43/o). Is 1 >= q?
True
Let j = -14 + 30. Suppose 31 = 4*n - 3*m, 4*n - 2*m - 10 - j = 0. Suppose -2*d = -2*r + 4, 6*d + 4 = n*d - 3*r. Is d less than 1/6?
True
Let j(f) = -f**2 - f - 7. Let i be j(0). Let b = 19 - 13. Let u = b + -14. Does u = i?
False
Suppose 5*n - 30 = 4*n. Let o be (8/30)/(n/25). Which is greater: o or 0.1?
o
Let a(m) = m**2 + 2*m - 22. Let v be a(-6). Suppose -5*h - 21 = v*g - 6, -15 = 3*h. Is 3 smaller than g?
True
Let g = 3134785197/952 - 3292842. Let y = g - 3/136. Does 1 = y?
False
Suppose 0*v = p + v - 2, 5*p + v = 22. Suppose -c = -p*s - 46, -3*s = -2*c + s + 80. Is c > 36?
False
Let g be (982/5)/(36/(-90)) - -1. Is -492 > g?
False
Let c(v) = 9*v**2 - 21*v + 1. Let b(t) = 5*t**2 - 11*t. Let i(d) = 11*b(d) - 6*c(d). Let h be i(-6). Which is greater: h or 1/11?
1/11
Let h(c) = 3*c**3 + 1. Let g be h(-1). Let r be (-278)/6 + g/(-6). Let u be 2*-1*r/(-4). Which is greater: -22 or u?
-22
Suppose 818 = -39*t + 3665. Is t at least as big as 70?
True
Let a be ((-2)/2 + -1)/(3 - 0). Let m(c) = -c**2 + 7*c - 9. Let j be m(6). Let x be 1/((-2)/((-6)/j)). Which is bigger: x or a?
a
Let d(k) = 21*k - 97. Let o be d(5). Which is greater: 22/3 or o?
o
Let w(m) = -m + 3. Let n be w(0). Let b be n - 5 - (1 + 6). Let c = 51 - 59. Which is smaller: b or c?
b
Let q = -0.23 - 0.77. Is q <= 2/179?
True
Let r = 14045 - 69999/5. Suppose -f - 2*g = -0*f - 53, 0 = -5*g + 20. Let v = r - f. Is 0 at least v?
False
Let t(l) = 2*l**2 - 11*l + 4. Let p be t(6). Suppose -4*b - p - 3 = 3*s, 4*b = -5*s - 19. Which is greater: b or -4/19?
-4/19
Suppose -f = 5*u + 106 + 336, -4*u = 2*f + 908. Is f at least -1/4?
False
Let g = 259 + -90. Which is bigger: -1/3 or g?
g
Let q = 518 - 520. Is -36/43 bigger than q?
True
Suppose 0 = -3*m - 29*f + 31*f + 905, -5*f = -4*m + 1195. Is 306 < m?
False
Let m be (-1638)/104*(-4)/3. Which is smaller: 22 or m?
m
Let w(a) = a**3 + 10*a**2 - a - 10. Let i be w(-10). Let q be ((i/3)/2)/(0 - -2). Is -10/11 >= q?
False
Let w be (1/2)/((-24)/(-576)). Suppose c = -p + 8, 2*p + 4*c - c = 11. Let i = p - w. Which is greater: -0.4 or i?
i
Let f = -1.52 + -76.48. Let l = f - -75. Is 5 != l?
True
Let z = 2332 + -2364. Is -234/7 bigger than z?
False
Let o = -1088 - -1437. Are -0.1 and o equal?
False
Let i be 30395/(-11808) + 22/99. Let r = -75/32 - i. Let j = r + -257/1353. Is -1 at most j?
True
Let c = 104 - 103. Is -10/347 >= c?
False
Let j(m) = 3*m + 18. Let w be j(-6). Suppose 0 = -4*b + 5*b + 1. Is b at most as big as w?
True
Let q(y) = y**2 - 4. Let s(l) = -2*l - 18. Let v be s(-10). Let b be q(v). Suppose -2*c + 3 = -7. Is c greater than b?
True
Let y be ((-2 + -3)/1)/1. Suppose 5 = -b, 3*n - 1293 = -3*b - 0*b. Let d = -1321/3 + n. Is d not equal to y?
True
Let d be -1 - (-6 - 13/2). Which is smaller: 12 or d?
d
Let y = 13908 + -26439107/1901. Which is smaller: y or 0?
0
Let r = 1553/45741 + -5/579. Let x = -4 + 5. Are x and r nonequal?
True
Suppose -o = 3*g - 35, 5*g + 0*o - 49 = -4*o. Are g and 15 unequal?
True
Let a be 288/3 + (1 - -3). Let u be (-7)/(-14) + (-54)/a. Suppose -v + o - 1 = -3, 0 = -2*v - 2*o. Which is greater: u or v?
v
Suppose -y + 371 - 110 = 2*d, -4*d + 516 = 4*y. Let u be ((-8)/d)/((-1)/(-25053)). Let i = 1520 + u. Is 2 equal to i?
False
Let h = 263 - 15. Is h less than 497/2?
True
Suppose 0 = -12*n - 17 - 19. Does -5 = n?
False
Let h(t) = 2*t**2 + 4*t. Let f be h(-3). Let q = -485 + 490. Which is smaller: q or f?
q
Let t = 1300 + -1207. Let n(s) = 2*s**3 + 5*s**2 - 2*s + 1. Let j be n(3). Which is bigger: j or t?
j
Let b(v) = -v**3 - 18*v**2 + 19*v + 2. Suppose -h - 3*z = 22, 3*z - 92 = 3*h + 2*h. Let p be b(h). Which is smaller: 3/5 or p?
3/5
Suppose 2*z + 3942 = -4*p + 2*p, 2*z - 3*p + 3942 = 0. Does z = -1971?
True
Let m be 9 - 9/(-6)*-2. Suppose 0 = -m*j - 25 - 5. Is -3 smaller than j?
False
Let x be -60*(-224)/(-42)*(-2)/5. Is x at least 253/2?
True
Suppose 5*s + 151 = 726. Let g = s + -59. Is g at least 56?
True
Let v be (-45)/(-60) + 27/(-52). Which is smaller: v or -8?
-8
Let j = 70 - 41. Let t = j - 24. Suppose 3*b + 8 = -4*p - b, t*b = -4*p - 11. Is 0 less than p?
True
Let i = -2383/4 + 595. Is i smaller than 20?
True
Let h = 112 - 77. Let p be 6*(-4)/6 - (h + -7). Which is smaller: p or -30?
p
Suppose u - 10 + 62 = 3*x, 0 = -u + 2. Suppose 0 = 8*k - x - 6. Suppose -16 = -c - 3*c - 3*s, 5*c - 20 = -3*s. Is k >= c?
False
Let v = 21 + -26. Let r = 1.6 - 1.2. Which is bigger: r or v?
r
Let w = -44 - -21. Let b = -22.8 - w. Is b at most -0.02?
False
Suppose a = 5*f - 6, 0 = 3*a - 0*a - 3*f + 6. Let n(v) = -v**3 + v**2. Let p be n(a). Are p and 0.07 unequal?
True
Let j be 4/((-296)/(-76) + -4). Let v be -1*j*(-4)/(-8). Which is smaller: 39/2 or v?
v
Suppose -73*v - 12 = -74*v. Is v equal to 6?
False
Suppose -14*c + 144 = -10*c. Let i = c + -10. Suppose p + i = -4*m - p, -4*m - p - 23 = 0. Which is smaller: -3 or m?
m
Let m be (9 - 10)/((-2)/(-14)). Let t be (-1)/((7/3)/m). Suppose 0 = -c - 5*s - 9, t*c - 2*c + 3*s + 13 = 0. Is -19 greater than or equal to c?
True
Let b = -12 - -4. Let h = 19 + b. Let q = h - 11.1. Is q < 1/3?
True
Let i = 17 - 17. Suppose i*w = -2*w. Let s = 3 - 4. Which is greater: w or s?
w
Suppose 0 = -3*r + 5*r + 4*x - 13269470, -26538928 = -4*r - 5*x. Let a = -11975682947/1805 + r. Let v = a + 