ich is smaller: p or g?
g
Suppose -5*g - 5*m = 0, -g + 6*g = 3*m. Let i = 1731 - 22538/13. Let v = 617/234 + i. Which is smaller: g or v?
v
Suppose 2 = -y + 4*n + 8, -5*n - 13 = -4*y. Let u be 2/(56/12)*y. Is 1 != u?
True
Suppose -25 = 5*y + 3*v, -4*y - 3*v = -4*v + 3. Is y at most as big as -9/13?
True
Let z(r) = 23*r**3 - 2*r**2 + 2*r - 1. Let f be z(1). Let n = 0.3481 - 0.5481. Is f greater than or equal to n?
True
Let f = -1737 - -1938. Which is smaller: f or 197?
197
Let q = -1777.281 - -1776. Let n = 0.081 + q. Which is smaller: -0.1 or n?
n
Let x = 17/5 + -63/20. Let f(p) be the first derivative of p**3/3 - 11*p**2/2 + p + 1. Let n be f(10). Are x and n unequal?
True
Suppose -2*f + 11*f - 18 = 0. Let j be 5/10*f/119. Is 1 smaller than j?
False
Let k = 38 + -110. Let f = k + 74. Which is greater: 3 or f?
3
Suppose 0 = -3*u + 21 + 27. Suppose l + 54 = 4*c, 5*c + l = 4*c + u. Which is smaller: 13 or c?
13
Let d = -26 + 20. Let h = d - -128/23. Which is greater: 0 or h?
0
Let r = -2518 + 171217/68. Which is smaller: 0 or r?
r
Let m(d) = -d**2 + 10*d + 5. Let x be m(8). Suppose x = -4*a + 73. Suppose 4*g = 20, 3*t + 33 = -g - a. Which is smaller: -18 or t?
-18
Suppose 0 = 4*s - 62 + 42. Suppose s*u + 2*y = -60, -u + y - 1 = 4. Is u equal to -12?
False
Let v(q) = 2*q**2 + 6*q + 3. Let n = 49 - 51. Let a be v(n). Is 3 less than a?
False
Let f = -76 - -76.388. Which is smaller: f or -0.1?
-0.1
Suppose 0 = 17*h - 16*h + 6. Let k(o) = 5*o + 20. Let p be k(h). Is -9 at least as big as p?
True
Suppose -3*t = p + 15, t - 151 - 4 = 5*p. Are -86/3 and p non-equal?
True
Let b be (-748)/(-16)*(-8 + 4). Which is smaller: b or -188?
-188
Let p = -378.3 + -85.7. Which is smaller: 0 or p?
p
Suppose 30 + 22 = 4*f. Let r be 1 + 3 + -1 + 33. Let p = r + -23. Is p equal to f?
True
Let a = -3209/3 - -1069. Which is smaller: a or -3/5?
a
Let w = 1 + -2. Suppose -2*x = 3*h + 5, -x - 4*x - h + 20 = 0. Suppose 0 = 4*k - 2*k - 5*c - 17, x = 2*k - c. Are w and k equal?
False
Let z = 1677 + -1714. Which is smaller: z or -29?
z
Let j be 4 - (-2 + -3 + -1). Suppose 0 = 5*f - j, 6*a - 2*a - 2*f = 32. Let c = a + -9. Which is smaller: 2/47 or c?
c
Let c be 87/203 + (-172)/(-7). Which is smaller: 21 or c?
21
Suppose h - 552 = 7*h. Which is bigger: h or -94?
h
Let d = 4 - 7. Let s = d + 3. Suppose -t = 3*o - 7, s*o - 2*o + 4 = 0. Is 2/15 > t?
False
Suppose 0*i = 3*i - 27. Suppose -24*o = -47 - 169. Is i less than or equal to o?
True
Let g = -127 + 132.1. Let k = 5 - g. Which is bigger: k or 0.2?
0.2
Suppose -243*v = -256*v + 26. Let x be (27/30)/(6/(-14)). Let g = x - -8/5. Do g and v have different values?
True
Let i = -101 + 101. Are i and 38 non-equal?
True
Let w(c) = c**3 - 3*c**3 - 4*c**3 + 3*c + 2. Let b be w(-1). Suppose 0*s = -b*s + 10. Is -1/20 bigger than s?
False
Let s = -3.24 + -2.76. Which is smaller: s or -4/3?
s
Let u be 2/176*-2*7. Do 1 and u have different values?
True
Let f be -4 + 2 + -1 + 3 - 100. Let h = 124 + f. Is h > 25?
False
Let i(a) = a**3 - 35*a**2 + 62*a + 130. Let d be i(33). Which is smaller: d or -37/28?
d
Let t = 44 + 7. Let j = -46 + t. Does -3 = j?
False
Suppose -2*t + 343 = d, 2*d - 514 = -4*t + t. Is t less than or equal to 170?
False
Let w = 20.44 + -0.44. Let s = w - 19. Which is bigger: 0 or s?
s
Let n(g) = g**3 + 4*g**2 + 4*g + 7. Let j be n(-3). Let k be (-11)/(-14) - (j/8)/1. Is 2/13 <= k?
True
Suppose 11 = -6*p - 25. Let k = -170 + 167. Which is greater: k or p?
k
Let v be (56 - 18)/((-10)/(-14)). Which is smaller: 52 or v?
52
Let g = 0.2 + -0.1. Let x = 153 + -234. Let m = x + 73. Is m at most g?
True
Let x = 726 + -5086/7. Is 21 less than or equal to x?
False
Let x be (-8)/(-20) - (-74)/(-10). Let s(g) = 4*g + 29. Let i be s(x). Is 2 > i?
True
Let i = 237 - 197. Which is smaller: i or 43?
i
Let l(g) = g**3 + 7*g**2 + 2*g + 16. Let p be l(-7). Suppose -6 = 2*a - p. Which is smaller: a or 0.1?
a
Let v = 0.8 - 5.8. Let q = 7.22 + -0.22. Let n = v + q. Is n bigger than -2?
True
Suppose -c + 2 = -0*c. Let q = 61 + -71.8. Let z = q - -11. Which is smaller: c or z?
z
Let b(i) be the third derivative of i**6/180 - i**5/60 - i**3/6 - 3*i**2. Let p(r) be the first derivative of b(r). Let h be p(3). Is 12 at most h?
True
Let j = 2.85 - 37.65. Let l = j - -35. Is l equal to -3?
False
Let z = 547/25 - 124109/5550. Let t = -2/111 + z. Are -2 and t nonequal?
True
Suppose 2*q - 136 = k, -2*q - 2*k = -7*q + 339. Is q at least as big as 68?
False
Let h(f) be the second derivative of -f**3/2 + 20*f**2 - 4*f + 1. Let z be h(13). Which is smaller: 0.041 or z?
0.041
Let x(d) = 2*d**2 - 21*d. Let m be x(11). Suppose -5*l = 2*r - m, 4*l = 3 + 1. Do r and 11/4 have the same value?
False
Let l be 102/60*(-1 - 0). Which is bigger: -3 or l?
l
Let w = -72.971 - -73. Let v = 20.029 - w. Which is bigger: v or -1?
v
Let a be ((-4)/(-102))/(8/18). Let h = -29 - -30. Which is bigger: a or h?
h
Let n(q) = q**2 + 11*q + 5. Let v be n(-11). Suppose 0 = k + 2*d + 7, -v*k + 6*d - d - 20 = 0. Is -7 smaller than k?
True
Let m = -73014 + 1093412/15. Let t = m - -120. Which is greater: t or 1?
1
Let f = 23 - 9. Let v be 15/(-2)*f/3. Is v less than -34?
True
Let s = -0.1042 - -0.2042. Which is smaller: 255 or s?
s
Let i = -4064 - -345447/85. Is 1 at most i?
False
Let p(f) = -f - 12. Let i be p(-8). Suppose -3*k + 9 = 3. Let y be -5*-3*k/(-6). Is i greater than y?
True
Let m = 19 + -17. Let p be (-9)/((-2)/m + 0). Let i be (-6*3/12)/p. Is i greater than -1?
True
Let m be 552/(-340)*15/9*2. Are m and -4 non-equal?
True
Let h = -20.4 + 6.4. Is h at least 14?
False
Let h be (-14)/(-21)*162/4. Let m be (7/h)/((-3)/(-1062)). Let v = m - 92. Are -0.1 and v nonequal?
True
Let r(z) = -2*z**3 + 6*z**2 - 3*z - 35. Let n be r(5). Is n smaller than -146?
True
Suppose -6*m - 175 = 19*m. Which is smaller: m or -4?
m
Let y = -3.44 - 86.56. Do y and -1 have the same value?
False
Let l be 4/22 + 8/(-88)*167. Is l smaller than -13?
True
Let w be ((-15)/12 + 1)/(6/552). Which is greater: w or -261/11?
w
Let p = 3.028 + -0.028. Let k = -8 - -14. Let z be (-1)/2 - k/(-4). Which is bigger: p or z?
p
Let w = 748/25 - 30. Let x = w - -43/225. Suppose 0 = -0*m + 3*m. Which is smaller: m or x?
m
Let i = 73 + -250/3. Which is greater: -9 or i?
-9
Let r be -2*(-1)/2 - -47. Let k be (r/4)/((-6)/4). Suppose 25*n - 2*n + 161 = 0. Is k bigger than n?
False
Let q(s) = -4*s**3 + 3*s**2 - 2*s + 1. Let n be q(2). Let u be ((-6)/4)/(15/(-100)). Let b(t) = -3*t + 8. Let p be b(u). Is n > p?
False
Let n be (60/(-42))/((-1)/14). Is 14 at most as big as n?
True
Let c = -1 + -2. Suppose 29*r = -40*r - 276. Which is bigger: r or c?
c
Let r = 0.2 + -0.2. Let a be (-6 - (-184)/36)/((-2)/7). Let w = a - 40/9. Which is greater: w or r?
r
Let j = -0.21 + -5.69. Let z = j + 5.1. Is z >= -3?
True
Suppose 3*y + 12 = q, 5*y - 5*q = -21 - 9. Which is smaller: y or -5/2?
y
Let n be (20/(-105))/(39/(-21) - -1). Which is greater: n or 4?
4
Let v(x) = x**3 + 77. Let z be v(0). Suppose 3*m - m = -4*f + 68, 3*f - 5*m = z. Suppose -o + f = -3*r + 7*r, -4*r + 16 = 0. Is 7/4 <= o?
True
Let a(x) be the first derivative of -5*x**3/3 + x**2 - 3*x - 6. Let h be a(2). Let d = 56 + -56.1. Which is bigger: h or d?
d
Let y = 125 - 117.05. Let h = y + -8. Let q = -1.05 - h. Is q less than -0.06?
True
Let o = -25.135 - -25. Let s = 0.045 - o. Which is bigger: 2/3 or s?
2/3
Let l = -11544/583 + 399/53. Which is smaller: l or -12?
l
Suppose -1 = 16*p - 17. Are p and 28/15 equal?
False
Let r(c) = 6*c**2. Let u be r(-1). Suppose -u = -6*t - 0. Which is greater: 8/15 or t?
t
Let r be ((-8)/(-3))/((-2)/(-3)). Let z be r - 6/4*2. Suppose -o + 12 = -0*u - 3*u, -u - 4 = 2*o. Are z and o equal?
False
Let f be (-37)/(-24) - (-4)/(-2). Let s = f + 5/8. Suppose -2 = 2*c - 4. Which is smaller: s or c?
s
Let m(a) = 3*a**2 + 5*a + 3. Let p be m(-2). Suppose -2*o - p = 5*w, -3*w - 3*o - 7 = -o. Which is greater: w or -1/75?
w
Let p = 982 + -983. Is -1/3320 smaller than p?
False
Let w be (-15614)/(-40145) - (-4)/(-14). Is w >= 0?
True
Let f = -1.07 + 3.07. Let c = 2.2 + 6.8. Which is bigger: f or c?
c
Let l = -14/51 - -133/51. Is l at least as big as 2?
True
Suppose 3*c = 5*i - 48, -4*i = -2*c + c - 9. Suppose 62 = -b + 42. Is b > c?
True
Let g = -0.047 - -