*-1 + 20 + 4. Suppose 2*h + g = 7, 3*g - a = -4*h - 3. Which is greater: -1/135 or h?
h
Let q be 16/(-48) + 2/6. Suppose q = -10*n + 8*n - 24. Let t be ((-2)/5)/(n/(-15)). Does -30 = t?
False
Let u = -342 + 314. Is u equal to 2?
False
Let s = 181753/58 - 3134. Which is greater: 0 or s?
0
Let t = 330 + -256. Suppose -2*i = i - 4*s + 8, -14 = -i - 2*s. Suppose i*p - 2 - t = 0. Which is greater: 18 or p?
p
Let l(a) = -a**3 - 7*a**2 + 5*a - 7. Suppose -16 - 4 = -5*t, 12 = -4*j - 5*t. Let y be l(j). Suppose -z + 0 = y. Which is bigger: 0 or z?
0
Let w = 20 - 31. Let v = -512 - -538.9. Let r = v + -27. Is w at most r?
True
Let s(f) = -f + 4. Let o = 29 + -25. Let w be s(o). Which is smaller: w or 2?
w
Let t = 7/88 + -5/11. Suppose -4*w + 9 = 3*g + 29, 2*g + 3*w = -15. Is g at most t?
False
Let k = 1.43 - 76.43. Let f = 75.2 + k. Is 2/15 not equal to f?
True
Suppose 342 + 228 = -6*u. Let t be (u/(-160))/((-1)/(-2)) - 1. Let b(p) = p - 5. Let z be b(5). Are t and z equal?
False
Let a(c) = -c + 13. Let o be a(-4). Let y = o - 21. Are -5 and y equal?
False
Let f be (-4)/3 - (-8)/6. Which is smaller: f or -1?
-1
Suppose -3*x = 2*d - 11, 2*d + 1 = 3*d. Suppose 5*j - 7*j - 3*z = -1, -j - 1 = 2*z. Is x bigger than j?
False
Let y = -11 + 15.9. Let v = 6.9 - y. Which is greater: 5 or v?
5
Suppose 8 = 90*q - 89*q. Which is smaller: -11 or q?
-11
Let d = -4/495 - 1592/48015. Is 0 bigger than d?
True
Let f = 298 + -287.4. Which is bigger: -2 or f?
f
Let n = -646 - -647. Let o be ((-2)/(-6))/(4/18). Which is smaller: n or o?
n
Let d be ((-4)/160)/(15/(-20) - 1). Is 1 at least as big as d?
True
Let p be (0 + -2)/((-225)/72234). Let g = -642 + p. Suppose d + 3*d + 2 = -j, 2*d - 8 = -5*j. Which is bigger: d or g?
g
Let a = 54/5 + -221/20. Is 1467 greater than or equal to a?
True
Let y(v) = 25*v - 185. Let c be y(0). Which is smaller: c or -184?
c
Let s = 338 + -2697/8. Do s and 2 have different values?
True
Let v be 3*8/12*-1. Let p be 19/(-114)*(-3)/v. Which is smaller: p or -1/2?
-1/2
Let y(m) = 44*m + 28. Let o be y(-3). Let h = o - -103. Which is smaller: -3/74 or h?
h
Suppose -4*d - 1980 = 2*u - d, 4984 = -5*u + d. Let r = -64742/65 - u. Let g = 52 - 51.9. Is g >= r?
True
Let q be -3 + (-3 - -22) + -2. Suppose -5*z = -o - q, z + 4*z = -3*o + 18. Suppose -2*j = -z*j. Which is greater: 2/3 or j?
2/3
Let k(l) = -752*l**3 + 2*l**2 + l - 2. Let h be k(1). Is h smaller than -752?
False
Let j = -37 - -7. Let s be ((-217)/(-14))/(2/(-4)). Which is smaller: s or j?
s
Let o = -33 + 36. Suppose 0 = 2*z + o*z + 4*d - 18, z + 5*d - 12 = 0. Are z and 3 nonequal?
True
Let n(g) = -3*g - 32. Let t be n(-12). Let q be (0 - 0)/(-2 + t). Which is greater: 10/17 or q?
10/17
Let k(a) = -a**3 + 7*a**2 + 16*a + 20. Let t be k(9). Let i(h) = 4*h**2 - 2 - 2*h - 5*h**2 + h + 1. Let o be i(t). Is -4 != o?
True
Suppose -5*j = -2*n - 309, -6*j + 3*j + 4*n + 191 = 0. Let l = j - 41. Which is smaller: l or 18?
18
Let c be -4 - (1*(-1 + 3) + -4). Let q be (c*4/(-6))/(22/341). Which is smaller: 21 or q?
q
Let y(o) be the second derivative of -o**3/3 + o**2 + 25*o. Let q be y(-14). Which is greater: 61/2 or q?
61/2
Let w(u) be the third derivative of u**5/60 - u**4/6 - u**3/3 + 2*u**2. Let r be w(4). Suppose 0 = 6*z + 110 - 116. Which is smaller: z or r?
r
Let p = -120 - -4919/41. Let m = -241/205 + p. Suppose -14*h - 10 = -4*h. Is h greater than m?
True
Let b be (-93)/177*(9 - 8)*-2. Which is bigger: b or 1?
b
Let p = 6225/1106 - 9/158. Is -0.1 bigger than p?
False
Let s = 79 - 77. Let b be (0 - 1) + s*4/(-40). Which is smaller: b or -2?
-2
Let q be (-1467)/(-6)*(-1)/((-42)/(-20)). Let w = 7685/63 + q. Is w >= 5?
True
Let k be (1*-4)/(-1) + -3. Let b be (k/17)/(8/146560). Let g = 1078 - b. Which is smaller: 1 or g?
g
Let d = 84 - 103. Let l = 3/46 - 113/322. Is d less than l?
True
Let y(z) = -z**3 + 16*z**2 + 37*z - 39. Let h be y(18). Is -21 at least h?
True
Let p = -475/7 + 2468/21. Which is greater: 51 or p?
51
Suppose 3*g + 389 = 5*h - 261, 0 = 2*g - 5*h + 435. Which is greater: -216 or g?
g
Suppose 5*h + 31 = m + m, -3*m - 20 = 2*h. Let q be (3 + -7 + -1)*(h - 0). Which is bigger: 36 or q?
36
Let z = -3499 + 584331/167. Which is smaller: -1 or z?
-1
Let d be 5 + -8 - 0/(-1). Let k be (d*(-2)/12)/8. Let p = k + 13/48. Are 2/5 and p nonequal?
True
Let i = 69 - 70. Let n = 19.4 + -18. Let s = n + -2.4. Is s not equal to i?
False
Let w = -399 - -401. Let p be (2 + 0)/((-1)/1). Let t be (6/(-4))/(1/p). Is w <= t?
True
Let a be 2/(6 + -4 + -1). Is -0.0444 at least a?
False
Suppose -4*u + 132 = -49*k + 53*k, 127 = 3*k - 4*u. Suppose -78 = -4*f + 78. Is k greater than or equal to f?
False
Let r(p) = 3*p**2 + 15*p - 6. Let w be r(-5). Let y be w/(-9) + (1 - (-4)/6). Which is greater: -1 or y?
y
Suppose -b + 4*b - 63 = 0. Let m = 402 - 380. Is b greater than m?
False
Let s(o) = -9*o**3 + o**2 - 1. Let z be s(1). Let l = 10 + 0. Let j = l + z. Which is greater: j or 1/7?
j
Let v = -1626 + 17915/11. Which is smaller: v or 4?
v
Suppose -5*t - 3*j = -223 - 432, 2*t - 5*j - 262 = 0. Which is smaller: -3 or t?
-3
Suppose 8556 = -u - 5*u. Let s = -178248/125 - u. Is 1 at least as big as s?
True
Suppose -33 - 23 = -4*y. Let g be 3 - (y + (-12)/(-4)). Let j be 2/(-9) + g/(-36). Which is smaller: j or 1?
j
Let u = -5 + 4. Let s be (39/2)/(14/392). Let y = -23477/43 + s. Is u at least y?
False
Let v(h) = -h - 3. Let f be v(-14). Suppose -2*s + 32 = -3*k, 5*s - 4*s - f = -k. Is s not equal to 14?
True
Suppose -3*v = -h - 3, 5*h + 3 = 2*v + 1. Let y be 3/(44/(-8) - -4). Is h less than or equal to y?
False
Let f(c) = -2*c**3 + 10*c**2 + 12*c - 1. Let j be f(6). Let g(x) = -x**3 + x**2 - 2. Let t be g(j). Is 2/23 at most as big as t?
False
Let g = -34 - -84. Let o = g + -51. Which is smaller: -1/8 or o?
o
Let w be (6 - 3)/((-6)/28). Let n be (1 + 1)/w + (-6885)/119. Is -59 > n?
False
Let u(c) = 6*c**2 + 8. Let q be u(-3). Let w = -75 + q. Which is bigger: w or -11?
-11
Let h = -758 - -663. Which is greater: -2 or h?
-2
Let g = -5738/11165 - -12/385. Is -1 < g?
True
Let c = 19 - 44. Is -24 bigger than c?
True
Let t = -87 - -86. Which is greater: t or 4/113?
4/113
Suppose -27*z = -9 - 45. Which is greater: z or 61?
61
Let z be ((-52)/28 - 1)*1. Let w be 13/(-3) + 4 - (-20)/(-12). Which is greater: w or z?
w
Suppose -3*l + 29 = -40. Suppose -12 = -2*x + 32. Is x bigger than l?
False
Let w = 2 + 2. Suppose -3*a + 5 = -w*k, k - 3*k = -4*a. Let s = 58 + -292/5. Is k >= s?
False
Let a = -0.09 - 0.01. Let y = 27 + 5.75. Let x = y + -33. Is a equal to x?
False
Let d(j) = -2*j**2 + 32*j - 181. Let u be d(9). Does u = -55?
True
Let v = 3.1 - 1.5. Let s = 1.58 - 0.08. Let z = s - v. Which is smaller: z or 0?
z
Let i = -15.49 - -14.49. Is 1061 greater than i?
True
Suppose -50*g + 48*g = 12. Let c(k) = -k. Let y be c(g). Is -2 != y?
True
Let o be (-1 - 228/22)*24/(-60). Is o != 6?
True
Suppose 2*a - 32 = 6. Suppose -5*x + b - 1 = -0*b, 0 = x - 5*b - a. Which is bigger: -2 or x?
x
Suppose -3*c + 25 + 56 = 0. Suppose -c*j + 9 = -18*j. Which is smaller: j or -2?
-2
Let n = -0.346 - -3.346. Let v = 22.8 - 23. Which is bigger: n or v?
n
Let r = -11 + 7. Let g = 104.5 - 104.3. Which is smaller: r or g?
r
Let x = 43 + -15. Let s = 27 - x. Is s < -1/45?
True
Suppose 4*z - 2*b = 42, -18 = -3*z - b + 6. Suppose 9 - 63 = -z*t. Does 32/7 = t?
False
Let g be 4/(-6) + (-2)/(-3). Let r(f) = f**3 - 6*f**2 + 10*f - 6. Let z be r(4). Let x be (z + -3)/(11/3). Which is smaller: g or x?
x
Let z = 2005 + -2096. Is -635/7 != z?
True
Let p(x) = -4*x**3 - 21*x**2 - x + 6. Let u(g) = g**3 + g**2 + 1. Let d(m) = -p(m) - 5*u(m). Let a be d(16). Are -0.1 and a equal?
False
Let t be (-3)/15*-1 + (-14)/(-5). Suppose -t + 11 = 4*u. Which is smaller: 3/5 or u?
3/5
Let d = 238 + -238. Which is smaller: d or 6/115?
d
Let y = -12 - -20. Suppose y*j = 9*j - 17. Suppose j*l = 21*l - 4. Is l < -1/2?
False
Let i = -1.837 + 2.837. Let t = -2 + 4. Is i bigger than t?
False
Let y be (-2)/(-7) - (-21118)/(-56). Let t = y - -377. Let f = t - -93/28. Is 1 != f?
True
Let a = 9 - 9. Suppose a*l + 2*t + 8 = -l, -2*t + 4 = -2*l. Let o be (2/l)/(451/44). Is o bigger than 1?
False
Let a(f) = 2*f + 4. Let c be a(-3). Let q = -238 + 242. Let y be q + c - (2 - -1). Which is g