 -19, 5*g - 5*d = -0*g - 5. Is -1 greater than g?
True
Let o be (-2)/21*-5 - (-32)/56. Is 1 < o?
True
Let o = 2642/3 - 881. Which is smaller: o or -8/105?
o
Let c(n) = -n**3 - 3*n**2 + 10*n + 25. Let g be c(3). Let p = 1 + 0. Let a = p - -1. Is a greater than g?
True
Let n = -48.9 + 49.8. Is 0.26 greater than n?
False
Let y = -113 + 112.8. Is y < -0.65?
False
Let z(f) = f**3 - 2*f**2 + 2*f - 5. Let q be z(4). Suppose 0*t + q = 5*t. Is 25/4 less than or equal to t?
True
Let j be (-27)/(-99) - 11144/44. Are -252 and j equal?
False
Let v be (6/104)/((-3)/(-1344)). Let g = v + -26. Let x = -0.1 + 0.5. Which is smaller: x or g?
g
Let y(l) = -l**3 - 6*l**2 - 4*l + 14. Let c be y(-3). Is c smaller than 4/237?
True
Suppose a + 116 = 3*j, -12*j + 7*j + 3*a + 196 = 0. Suppose 0 = 3*n - 71 - 40. Do n and j have different values?
True
Let k = -1197227/9 - -132817. Let l = 208 + k. Is l <= 1?
True
Let n = -27532/4935 + 264/47. Let u = n + 8/15. Which is greater: 0.1 or u?
u
Suppose -2*n = -3*c - 314, -5*c + 10*n - 5*n - 515 = 0. Which is greater: -107 or c?
-107
Let x be ((-5)/1115)/((-2)/28). Is 0 bigger than x?
False
Let x be 0 - 3 - (-12 + -1 + 2). Which is smaller: x or -4?
-4
Suppose 10*g - 56 + 86 = 0. Let b be ((-1)/16)/((-6)/12). Let x = 3/40 + b. Is g <= x?
True
Let l be 1 + (-15)/35 - 18/56. Which is bigger: 0.084 or l?
l
Let v be (-5)/285*6 - (-4526)/38. Which is smaller: v or 120?
v
Suppose 62*u - 57*u = 20. Suppose 5*o = -u*c - 153, c + 15 = -4*o - 15. Is c >= -42?
True
Let s = 1781 - 1767. Is s >= 15?
False
Let m = 122 + -122. Suppose -3*d = 4*s - 5*d + 10, 5*s = -4*d + 20. Suppose 5*h - 5*f = 10, s = -3*h - m*f - f - 2. Is h greater than or equal to 2/45?
False
Let w = -399 - -415. Let s be (-5)/7*12/(-30). Is w smaller than s?
False
Suppose 4*l + 2*k = 0, -5*k - 73 = -63. Is l at least as big as -8/143?
True
Let p be 14 - 13 - (-219 + -1). Suppose -6*t + t - p = h, -t - 37 = 2*h. Which is smaller: -44 or t?
t
Let m be (62/9)/(17104/(-2892)). Let w = m + -2/1069. Let s(j) = -j**2 - 2*j - 1. Let q be s(-2). Which is bigger: w or q?
q
Let d = -7 - -72. Which is greater: 1/4 or d?
d
Suppose -4*n - s = s - 440, 0 = -5*n + 4*s + 550. Let b = n + -106. Is b at most 2?
False
Let g(m) be the third derivative of -m**4/24 - 3*m**3/2 - 15*m**2. Let t be g(-9). Which is greater: t or -1/8?
t
Let b be 4/(-15) - 4/10. Let d be (-6*4/8)/(4/68). Let q = 51 + d. Is b not equal to q?
True
Suppose 33 = -15*g + 18. Is 1/47 bigger than g?
True
Let r = -0.0078 - 2.9922. Which is smaller: r or -13?
-13
Suppose 4*o - 14 = -6, 0 = 3*q - o - 118. Let b = 81 - 42. Is q less than or equal to b?
False
Let o be -4*(8 + -5 + -9). Is 25 less than o?
False
Let k = 3.7 - 4. Let v = -0.2 - k. Let y = 4288.1 - 4288. Is v <= y?
True
Let c(p) = -p**2 - 10*p + 9. Suppose 0 = -5*x + 5*y - 20, -y = -x - 5*y - 9. Let s be c(x). Which is smaller: 33 or s?
33
Suppose 0 = 3*c - 7 + 4. Suppose 0 = 6*r - c + 19. Let p = -2 + 1. Is r smaller than p?
True
Let k(f) = 24*f - 141. Let s be k(6). Is s at most 29/10?
False
Let g be 848/(-14)*(261/6)/(-29). Is g != 90?
True
Let w be 0/(-2 + 1 + 3). Let k be (2/(-6) + w)*-6. Let o be (0 + (-4)/10)/(52/(-130)). Is o greater than k?
False
Let y = -15 - -20. Suppose 4*b - 6 = 2*q, -3*q + y*b - 4 = 4*b. Let z = -1005/8 + 126. Is z not equal to q?
True
Suppose z - 5 = 2*c - 0*c, 3*c + 24 = -4*z. Let y be -1 - (-1 + z + (-5)/(-2)). Is y equal to 20?
False
Let r be (-7)/21 - 1054/(-3216). Does -1 = r?
False
Suppose -2*x - 58 + 16 = 0. Let z = -20 - x. Is -0.062 smaller than z?
True
Let a be (-616)/(-56) + 2314/(-214). Is a smaller than -1?
False
Let m(n) = 2*n - 6. Let q be m(7). Let z(l) = l**3 - 36*l**2 + 70*l - 60. Let x be z(34). Is x <= q?
True
Let d = 368 - 367.8. Which is smaller: d or -0.22?
-0.22
Let h be (-73)/(-18)*-14 + 30/(-135). Which is smaller: -56 or h?
h
Let s = -5 + 8. Let m be -3*1/s*-1. Is 4/41 bigger than m?
False
Suppose 2082 + 402 = -12*k. Is -207 >= k?
True
Let o(c) = -c**2 + 18*c - 79. Let h be o(8). Which is bigger: h or -7/55?
h
Let i be -3*1 - (28 + -33). Let p be (-76)/2 + -1 + i. Is 0 greater than p?
True
Let d(b) = b - 2. Let z be d(-5). Let r = -444.4 - -439.4. Which is smaller: z or r?
z
Let n(x) = -x - 15. Let r be n(-4). Let g = r + 10. Let k be -4 - (4 - 21)*g. Is 0 smaller than k?
False
Let l be 3 - ((-632)/(-270) + 6/9). Let b = 16/27 - l. Which is smaller: 0.1 or b?
0.1
Suppose 22 = -4*h - 78. Let o = 12 - 37. Is h equal to o?
True
Let a be (2 - 2)/2 + 24. Let y = a + -15. Which is smaller: 10 or y?
y
Let i be (0 + 2 - 24)*(-45)/(-2). Is i less than or equal to -495?
True
Let v = 115 - 100. Let j be 2 + v*2/42 - 0. Is 4 at most as big as j?
False
Suppose -6*f + 48 = -2*f. Let o = f + -16. Which is smaller: 2 or o?
o
Let v = -7.24 + 7. Let d = v + -12.26. Let k = -13 - d. Which is smaller: 4 or k?
k
Let k = -30.96 + 30. Let l = k - 0.14. Let g = -0.9 + l. Is -0.1 < g?
False
Suppose -2*z - a + 0 + 1 = 0, z - 5*a = 17. Let i be -5 - (13 - 13)/((-4)/z). Which is bigger: i or -6?
i
Let l(t) = -t**2 - 16*t - 45. Let n be l(-11). Is n < 5?
False
Let s = -16/7 - -101/35. Let j = 2/13 + -217/650. Let g = j + -1/50. Is g at most s?
True
Let f = -23135956/195618045 - -11/66199. Let u = 3/197 - f. Let a = -10 - -11. Is a bigger than u?
True
Let v(t) = 14*t**2 + 12*t + 2. Let i(u) = 14*u**2 + 12*u + 1. Let y(w) = -6*i(w) + 7*v(w). Let r be y(-6). Let f be (r/(-105) - -4)*9. Is -3 smaller than f?
True
Let p = 24 + -35. Suppose 4*m + 5*t + 44 = 7*t, -4*m + 5*t - 44 = 0. Is m < p?
False
Suppose 75 = -5*t - g, 0 = 3*t + 5*g + 54 + 13. Which is smaller: -16 or t?
-16
Let s = 48.933 + 0.067. Let d = s - 49.21. Which is bigger: 2/9 or d?
2/9
Let n(c) = -2*c**3 - 2*c**2 - 9*c - 3. Let o(h) = 5*h**3 + 6*h**2 + 26*h + 10. Let l(b) = -8*n(b) - 3*o(b). Let a be l(4). Which is smaller: 4 or a?
a
Let k = 7 + -15. Let p be (-68)/10 - 9/45. Which is smaller: k or p?
k
Suppose -3 - 672 = 5*s. Let h = 61900 - 432346/7. Let q = s + h. Is 1 greater than or equal to q?
False
Let a be (-318)/30 + 4 - -6. Which is smaller: a or -0.05?
a
Suppose -7*c + c + 120 = 0. Suppose 10*o - 5*o = -c. Let y be (-2)/o*(2 + 0). Do 3/7 and y have the same value?
False
Let n be 21/6 - 3/(-6). Let t(x) = x**2 + x - 3. Let k be t(-3). Let j be n/(-33)*k/6. Which is smaller: j or 0?
j
Let n be 45/(-5 - 0) + 530/60. Let d = 21 + -15. Let b be 2/(-3)*(-9)/d. Is b != n?
True
Let r = 222645/11 - 20319. Which is smaller: r or -78?
r
Let j(k) = -k**2 - 8*k - 9. Let c be j(-6). Let r be ((-1)/(-2))/(c/(-4)). Let b = 11/12 + r. Is b > 0?
True
Suppose -2*c = 4*a - 4042, -5*a + 5030 = 4*c - 6*c. Which is bigger: 1007 or a?
a
Let r = -14 + 18. Suppose -r*w = -7 - 93. Suppose -4*y + 7 = -3*d, 3*y + 5*d - w = 2. Which is smaller: 6 or y?
y
Let b be (-4)/(-6) + (-380)/(-6). Suppose -2*y = -0*y - b. Suppose -4*p - 11*j + 3*j = -132, 2*p - j = 61. Which is bigger: y or p?
y
Let v = 11 - -1. Suppose -22 = 2*f + v. Which is smaller: 1/2 or f?
f
Let p(x) = x**2 - 5*x - 6. Let q be p(7). Let h = -1 + q. Let a be (h/(-6))/((-7)/14). Which is bigger: a or 1?
a
Let h be 2 - (-2 - -2) - (24 - 26). Suppose 0 = -v + 3*a + 12, -h*v + 5*a + 12 = 2*a. Let z = 141 - 2398/17. Is z less than v?
True
Let w = 19.6 - 19.9. Let u = 0.01 + 6.99. Which is greater: w or u?
u
Let d(t) = 2*t**2 - 6*t + 19. Let m be d(5). Do 39 and m have the same value?
True
Let l = 535/7 - 77. Let a = 1/7 + l. Which is bigger: a or 2/13?
2/13
Suppose -29*q + 22 = -31*q. Let s be (2/52)/(((-165)/50)/q). Which is smaller: 0 or s?
0
Let g = -63.71 - -64. Let i = -5.71 - g. Is i < 4?
True
Let n be ((0/1)/3)/2. Let j be (-2 - 148/20) + 8. Is j smaller than n?
True
Let x be 28/20 + (-2)/5. Suppose -5*y + 4*k = -2*y - 14, 2*k = -4. Let t be (-9)/135 - y/(-6). Is t <= x?
True
Let u be (8/((-12)/3))/(-2) + 84. Let p = 90 - u. Let s = -5 - -10. Is s >= p?
True
Let o(v) = v**3 - 4*v**2 - 3*v + 11. Let x be o(4). Let s be (-5698)/(-1421) + (-3 - 1). Is x at most as big as s?
True
Let u be (5/4)/(2/(-8)). Let p be (-6)/(u*6/(-45)). Let f = 13 + p. Which is bigger: 0 or f?
f
Suppose -2*x - 136 + 140 = 0. Suppose 28 = x*w + 30. Is w > -38?
True
Let y = -5 - -14. Let g = y + -18. Let c(d) = -17*d + 162. Let b be c(10). Which is smaller