)/(2 + 96/(-45)). Is t greater than or equal to a?
True
Let x = -2315 + 2264. Which is smaller: -356/7 or x?
x
Let o be (-6)/4*(-387)/(-83592). Suppose -2*i = i. Is o at most i?
True
Let i(z) = 2*z**2 - 11*z + 26. Let q be i(4). Is 15 less than q?
False
Let n(r) = r**2 - 3*r - 7. Let o be n(6). Suppose -3*j + o = 2*v, j - 18 = -j + 4*v. Let h = -8 + 12. Which is greater: j or h?
j
Let w be (-5 - -8) + 2*(-2 - 0). Let v(b) = -b**3 - 2*b - 2. Let u be v(w). Which is smaller: u or 5/4?
u
Suppose 0*p + 3*p = -2*c + 11, 4*c = -3*p + 13. Let l be ((-217)/(-3472))/(5/(-12)). Which is greater: l or c?
c
Suppose 2*d + 2*d = -4*f + 92, 60 = 2*d - 5*f. Is 27 greater than or equal to d?
True
Suppose 276*h = 288*h + 1116. Are -95 and h equal?
False
Let k be 2 + 0 + 1 + -10. Is -7 smaller than k?
False
Let v = 0.9362 + 0.0638. Which is greater: v or -56?
v
Let t be (-5)/(-2)*(-36)/(-45). Suppose 5 = -5*q + 2*h, 6*h - t*h - 16 = 4*q. Is q at most 2/139?
False
Let k be (-64)/42 + (-3 - -4). Let t = 383/651 + k. Suppose 2 + 3 = 5*i. Which is bigger: i or t?
i
Let n(h) = 16*h**2 + 7*h + 4. Let p be n(-1). Is p greater than 105/8?
False
Suppose 2*a + 4 = 6*a. Let y = a + -7. Suppose -g + 5*g + 5*x = -52, 0 = 3*x + 12. Which is greater: y or g?
y
Let q(t) = -15*t**3 + t**2 + t. Let y be q(-1). Suppose -1 + y = -2*j. Which is bigger: -6 or j?
-6
Let b(l) = -6*l. Let h(s) = -7*s. Let y(q) = -4*b(q) + 3*h(q). Let v be y(0). Which is smaller: v or 3?
v
Suppose 13*g - 15*g = 22. Let a be (-20 - 1)*g/33. Which is smaller: 6 or a?
6
Let c = 2/83 - -63/830. Let n = 1/15 + c. Which is smaller: 1/3 or n?
n
Let g be (-1)/(-1) + 8 + -2. Let w(b) be the first derivative of -b**4/4 + 2*b**3 + 3*b**2 + 7*b + 5. Let y be w(g). Which is smaller: y or -8?
-8
Let j(c) be the first derivative of -c**4/4 + 5*c**3/3 + c + 17. Let l be j(2). Which is smaller: l or 12?
12
Let j be 15009/36 + -6 + 3/(-4). Let k = 409 - j. Is -2 > k?
False
Let f be 201/(-3) - (-3 + (-1)/(-1)). Let i = f - -62. Is i at least -4?
True
Suppose 2*v + 0*v + l = -703, 2*v + 699 = -5*l. Let q = -8094/23 - v. Is 1 greater than or equal to q?
True
Let m(h) = -h**2 + 12*h + 18. Let s be (12 - -4)/(-4) + 17. Let d be m(s). Suppose -3*c + 7 = -11. Which is greater: c or d?
c
Suppose 0 = 2*h - 5 - 3, 0 = -p - 5*h + 18. Let v(z) = -z**2 + 25*z - 47. Let m be v(23). Let i be 1 + m/((-4)/6)*-2. Is p <= i?
True
Suppose -2*f = -5*h + h + 12, 5*f + 42 = -2*h. Suppose 0*w + 4*w - 5*y - 32 = 0, w - 3*y - 1 = 0. Let g = w - 19. Are f and g unequal?
True
Let o be (-4 - -4)/(-5)*(-1)/1. Is o smaller than -17/14?
False
Let p be 3/7 - ((-6655)/560 - -11). Is -1 bigger than p?
False
Let b be ((-3)/(-2))/(12/(-16)). Let p(u) = -43*u**3 - 3*u**2 - 2*u + 2. Let g be p(b). Let q be g/(-42) + 10/(-35). Is q <= -7?
True
Suppose 57 = 11*j + 24. Which is bigger: 4 or j?
4
Let d(w) = w + 40. Let l be d(-15). Let y(h) = -h**3 + 4*h**2 + 8*h - 7. Let m be y(5). Suppose l = -3*c + m*c. Which is greater: c or 4?
c
Let o = -1115.83 - -1120. Is -2/7 less than or equal to o?
True
Let t = 31 + -16. Let g be 3*-4*t/9. Is g greater than -20?
False
Suppose 19*d - 4 = 15*d. Let y be ((-2)/(-4))/(d/(-4)). Which is bigger: y or 2/13?
2/13
Let z = 1613/3 + -533. Suppose -4*f = i, 6*f = 2*f - 2*i + 4. Let g = 5 - f. Is g >= z?
True
Let q(z) = -14*z**3 + 8*z**2 + 15*z**3 - z**2. Let n be q(-7). Let g = -140.8 - -140.5. Which is smaller: n or g?
g
Let b be ((-24)/14)/((-34)/119). Let k be 42/6 + (-3 - -1). Which is smaller: k or b?
k
Let x(o) = 36*o**3 - o**2 + o + 2. Let h = 3 - 4. Let b be x(h). Let f be b/(-44)*8/12. Which is smaller: 0.2 or f?
0.2
Let r = -26/3 + 9. Let i = -12/1745 + 4198/102955. Which is greater: r or i?
r
Let b be (-35)/20*(-5 + 1). Which is smaller: 12 or b?
b
Let v(t) = t**3 - 9*t**2 + 10*t - 9. Let h be v(8). Let q be -4 + h - 14/3. Is q < -1?
True
Let q(p) = 4*p**2 - 4*p + 4. Let u be q(2). Let c be 0*((-16)/u + 1)/(-1). Let a(g) = g**2 - 2*g + 1. Let f be a(1). Do c and f have different values?
False
Let o be (-1143)/18 - 2/4. Let u = o + 71. Is u <= 3?
False
Let h = -43 + 38.4. Let m = -3 - h. Which is greater: 1/2 or m?
m
Let o be (-87)/143 + 12/78. Which is greater: 0 or o?
0
Let n = 38 + -30. Let u be 0 + (n - 4) + -3. Let o = -3 - -3. Is o not equal to u?
True
Suppose 5*b = 144 + 126. Let v = b + -53. Which is smaller: v or -46?
-46
Let r be 7 + (1 + -3)*-1. Let w = r - 8. Let y = 26/35 + -1/7. Is w equal to y?
False
Suppose -2*q + 9 = 19. Let o be (0/2)/(6/2 + q). Which is smaller: 2/13 or o?
o
Suppose -72 = 6*x + 66. Let n = -22 - x. Let m be n + 6/10*3. Which is smaller: m or 4?
m
Suppose 0 = -4*n + 3*a - 3, n - 3*a + 8 + 4 = 0. Suppose 0 = -2*p - 2*p - 2*x - 40, 30 = -3*p - x. Let l be 9/n - p/1. Are l and 13 equal?
True
Let j = 4.88 + 0.12. Let u = j - 4.91. Let h = u - 0.19. Which is smaller: h or -4?
-4
Suppose -3*d = -9*d. Let a be 1/(-5) + (-22)/(-10) + d. Do a and -3 have different values?
True
Suppose -12 = k + 2*v, -5*v + 0*v = 3*k + 32. Which is smaller: k or -5/2?
k
Suppose 8 - 3 = 5*i. Let p be ((-16)/(-14))/(7 + -2). Let v = -2/7 + p. Which is smaller: i or v?
v
Let q = -394667/12 - -32863. Let b = q - -92/3. Suppose -19*g = -5*g - 84. Is b less than or equal to g?
True
Let s(o) = -o - 7. Let t be s(-10). Let h be t*3/(-9) - -2. Let b = -551/7 + 79. Is h at least as big as b?
True
Let k be -16 + 4/(2/1). Let c = -14 - k. Suppose -17*t + 14*t + 6 = c. Does t = 1/2?
False
Let x = -934 + 1037. Is x greater than or equal to 103?
True
Let b be 98/2 + 14/(-7). Let r be (-2)/(-6) + b/3. Suppose 129*l - 17 = 128*l. Is l smaller than r?
False
Let r be 1358/42*15/(-10). Is 2/7 bigger than r?
True
Suppose -4*s - 398 = -w, -s + 45 = 42. Is 410 < w?
False
Let q = 781/2294 - 12/37. Let u = q - -167/1178. Which is bigger: -1 or u?
u
Let z = -0.005 - 0.495. Let x = -2 - -1.5. Let p = z - x. Are p and 17 unequal?
True
Let h be (-42)/(-8)*(-8 + (-195)/(-21)). Let y(z) = -z + 7. Let w be y(0). Which is smaller: w or h?
h
Let u = 5/31 + 295/93. Let j be (-176)/(-48) - 2/(-6). Suppose -j*k + 14 = 3*z, -k - 5*z + 3*z + 6 = 0. Which is smaller: u or k?
k
Suppose 0 = 3*z + u - 0*u + 5, -5*z - 35 = -5*u. Let v = 21 - 83/4. Which is smaller: v or z?
z
Let b = 1550264 + -1903725121/1228. Let j = b - -2/307. Which is smaller: j or 1?
j
Suppose 4*i - 5 = -i, -5*t - 3*i = -8. Which is bigger: t or -6/181?
t
Let g(k) = 3*k**3 - 5*k - 3. Let p(o) = 2*o**3 - 4*o - 3. Let t(i) = -3*g(i) + 4*p(i). Let j = -18 - -18. Let u be t(j). Is -4 < u?
True
Let n = 5678 + -5678. Let b = -0.15 + 0.34. Which is smaller: n or b?
n
Let s be (-6)/(35/(-21)*(-4)/(-10)). Suppose -4 = 2*x - 4*x. Suppose 35 = 5*b + 2*l, -4*b - x*l = -9 - 17. Is s less than b?
False
Let u be 19/(-5) + (-8)/(-20). Suppose p - 5*f + 8 = -p, -2*f = 0. Which is bigger: p or u?
u
Suppose -2*n = 3*n. Let w be (n + 0)/(1 + -3). Is -0.1 greater than w?
False
Let h = -6 + 11. Suppose 1418 = -11*t + 1451. Which is smaller: h or t?
t
Let p = 11 - 8. Suppose 5*l + 0 - 21 = 2*f, -f + p*l - 12 = 0. Which is bigger: f or 2?
2
Let c(h) = 23*h - 47. Let v be c(2). Which is greater: v or 1/64?
1/64
Suppose -388 - 40 = -2*k. Which is greater: k or 213?
k
Let w = -70.02 - -70. Let h(s) = -s**2 - 7*s + 13. Let d be h(-8). Which is greater: d or w?
d
Let n = 1/14 + -5/21. Let x = 448 + -448. Is n > x?
False
Let o be (-4)/3*2/64. Let b = 4629.9 + -4630. Which is smaller: o or b?
b
Let o = 46379/29 + -1599. Suppose -17*l = 309 - 326. Is l at least as big as o?
True
Let x(y) = -3*y**2. Let c be x(2). Let f(i) = 36*i - 13*i - 14*i - 10*i - 7. Let t be f(c). Is t less than or equal to 2?
False
Suppose 5*z + 53 = 63. Let t = -8/27 - -326/189. Is t at most as big as z?
True
Let k = 0.026 - 0.256. Let y = k + -0.17. Is 2/3 bigger than y?
True
Let y(u) = u**2 + 9*u - 4. Let i be y(14). Let c = i + -10492/33. Which is smaller: -1 or c?
-1
Let p = 32 - 31.88. Suppose -4*u = -2*u + 4. Is p at least as big as u?
True
Let c be (-89)/534 - 1/(-6). Is c greater than -543?
True
Suppose 6*d = -l + 3*d + 90, l - 88 = -2*d. Suppose -15*n = l + 6. Is n bigger than -6?
False
Let o be (-50428)/126 + (-2)/(-9). Is o greater than or equal to -400?
True
Suppose -2*g - 40 = 3*g. Let h be ((-2)/56)/(14/g). Let i = h - 152/24