o or d?
o
Let k(u) = -u**3 - 4*u + 379. Let l be k(0). Let a = l + -355. Is a <= 24?
True
Let g = 1.84 - 2.27. Let x = g - 11.57. Which is smaller: x or 0.9?
x
Let u = -2/31149 + 8690581/155745. Let y be (20 + 0)*(-28)/(-10). Is y bigger than u?
True
Suppose 35*d + 5*v + 64 = 39*d, 0 = -5*d - v + 80. Let m be (-2 + 0)*(-76)/8. Suppose m*x = 18*x + 17. Is x at most d?
False
Suppose 27*b - 8*b + 10887 = 0. Let y = b - -402. Are y and -171 unequal?
False
Let k = 4058 + -4244. Let p = -298 + 112. Is k less than p?
False
Let y = 14 - 12. Suppose 0 = -i + 36 + 284. Suppose -3*t - 320 = -5*c, -3*c - y*c + t = -i. Is c not equal to 65?
True
Let a = 1223116/11 - 110606. Is 585 <= a?
True
Let t(v) = v**2 - v + 4. Let d be t(0). Let g be 1599/6 - ((-30)/4)/(-3). Suppose -4*f + n = -g, -7*f + 2*n + 198 = -d*f. Is 66 > f?
False
Suppose -5*s + 20 = 5*d, 3*s - 4*d + 1 + 8 = 0. Do s and 12/343 have the same value?
False
Let l be (-2878)/(-6) + (-88)/(-66). Do l and 481 have the same value?
True
Let c = -108 + 150. Let y = 19 + c. Let t be 188/3 - 14/21. Is y < t?
True
Let o = -3833 - -3782. Let g be (-176)/6*(-21)/(-12). Which is greater: o or g?
o
Let n = 35495 + -35466. Let l be 1/5 + 137/5. Does l = n?
False
Let n(t) = -3*t + 62. Let v be n(-29). Let u = 148 - v. Is u equal to -5/26?
False
Let m be (4 + 440/130)/(2/(-9)). Which is smaller: m or -33?
m
Let o = -1/86 - -120/12169. Let n = -1119/7358 + o. Do 1/4 and n have different values?
True
Let k(c) = 84*c - 394. Let m be k(2). Which is greater: m or -219?
-219
Let x(v) = v**3 - 26*v**2 + 33*v - 12. Let d be x(25). Suppose 3*y - d = 4. Do y and 2 have the same value?
False
Let c = 48256926008/1535 - 31437734. Let g = 638/92407 + -6/301. Let s = c + g. Are 4 and s non-equal?
True
Let d be 5 + (-73556)/(-42) + (-2)/6. Which is smaller: d or 0?
0
Suppose 24*g + 599 = 119. Is g > -19?
False
Let s = 2520 - 2520. Which is bigger: s or -0.2195?
s
Let k(y) = -5*y + 1 + 0 + y**3 - 7 + 3*y**2 + 9 - 1. Suppose -x = -6*x - 25. Let o be k(x). Which is smaller: -22 or o?
o
Let q be (3/(-2))/((-16)/128). Let h be (-159)/15 - q/30. Which is smaller: h or -10?
h
Let f = -500 - -504. Let d be f - (-1 - (-2 + 9)). Is d less than or equal to 6?
False
Let p = -17011 + 66437/4. Let f = 402 + p. Which is smaller: f or -8?
-8
Suppose -4*b = 4*i - i + 82, 0 = 5*b + 3*i + 104. Let p be -6 + (-5)/(-40)*8*-17. Which is smaller: p or b?
p
Let b be (2/(-6))/((-6)/(-1602)). Let v be (-4)/(-58) - (-6 - 62744/(-667)). Which is bigger: b or v?
v
Let v(y) = -33*y**2 - 3*y - 1814. Let r be v(0). Which is greater: r or -1816?
r
Suppose 3*m + 22 = -12*v + 14*v, -4*v + 26 = -3*m. Let c(h) = -3*h + 38. Let t be c(19). Which is smaller: t or m?
t
Let b = -1653 - -251. Are -1403 and b non-equal?
True
Let h = -0.0881 + -371.9119. Let g = 367.3 + h. Which is smaller: 2/7 or g?
g
Let w = 1148/195 + -370/39. Let h be (-10)/(2/4*-1). Suppose x - 6*x - h = 0. Do w and x have the same value?
False
Let o(u) = u**3 + 4*u**2 - 9*u + 20. Let n be o(-6). Suppose 5*b + n*l - 16 = -58, -20 = 4*b + 5*l. Do -0.2 and b have different values?
True
Let j = 167 + -125. Let t be j/28 - (-213)/6. Is 30 bigger than t?
False
Let n be 1 + (2 - -2)/(2 + -4). Let g be -2*(-1)/(-68)*12/(-30). Which is smaller: g or n?
n
Let k = -35.718 - -0.118. Let z = -33.6 - k. Which is bigger: 10 or z?
10
Let d be -3*6/27 + (-28)/(-6). Suppose -12 + 4 = d*o. Let j be (1 + 0)*(-3 + o). Which is smaller: 3 or j?
j
Let y = -4.105 - -4.16. Let j = -17.329 - -17.4. Let p = y - j. Is p equal to -1/4?
False
Suppose 3*k - 6 = 0, 3*j - 148 = -0*j - 2*k. Let t = j - 47. Is t > 5/24?
True
Let l(v) = 2*v**2 - 9*v + 6. Let g be l(7). Let n = g - 63. Let p = -85.2 + 84.2. Which is smaller: p or n?
n
Let j = 0.74 + -0.793. Let h = j - -23.253. Let c = h - 22. Which is smaller: 0.1 or c?
0.1
Let q be (-4*2/(-20))/((-8)/(-12680)). Suppose -q = 15*h + 971. Are -108 and h non-equal?
True
Suppose -210 = 5*v - 0*v. Let z(t) = 24*t - 32. Let i be z(2). Let o be 3/(v/i + 3). Is 6 equal to o?
False
Let h be -1 + -2 + (2 - 0). Let a = -3676185/64 - -114881/2. Which is bigger: h or a?
a
Let f = 15393 + -15394. Is f at most as big as 8812?
True
Suppose 12*g + 362 = 1298. Suppose g*y - 75*y - 12 = 0. Which is smaller: 8 or y?
y
Suppose -4*y = t + 175, 4*t + 708 = -3*y + 73. Let d = -172 - t. Is 3 != d?
True
Let v = -8 + 8. Let l = -503 - -3447/7. Are l and v unequal?
True
Let o(j) = -j**3 - 14*j**2 + 39*j - 33. Let g be o(-17). Let h = 166 - g. Which is smaller: -13 or h?
-13
Let g = 12787194451/5857960 - 2/732245. Let u = -2186 + g. Is u smaller than -3?
True
Let c = -2.124 - 0.306. Let t = c - -0.43. Let k = 26.04 + -26. Which is smaller: k or t?
t
Let x(f) = -7*f + 220 - 79 - 78 + 58*f**2 - 70. Let k be x(-1). Is k at least as big as 57?
True
Let g be (-2128)/(-21) + 6 + (0 - (1 + 1)). Which is smaller: g or 105?
105
Let a = 425.2 + -425.2. Which is smaller: a or 0.174?
a
Suppose -15 = 40*a - 35*a. Let s be a*((3 - -21)/4 - -4). Is s at least as big as 10?
False
Let j = -115115198223 - -8099160002109341/70357. Let v = j + -1/10051. Is 10 != v?
True
Let c be (-5704)/(-396) + (-2)/9. Let x(q) = -2*q**3 - 122*q**2 - 562*q + 4. Let k be x(-5). Does c = k?
False
Suppose 214*g + 185 - 662 = 55*g. Is g less than or equal to 165/64?
False
Let s be -9556 - (2 + 312/54 + (-6)/(-27)). Which is smaller: -9565 or s?
-9565
Suppose 5*g + 3*q - 111 = 312, 0 = -2*g + q + 178. Let s = 133 - g. Let r = s + -47. Is r != -4/7?
True
Let w = 555/14 + -1373639/34650. Which is greater: w or -1?
w
Let g = -18.6 + 16.78. Let f = -40042 + 40043. Which is greater: g or f?
f
Suppose 0 = -2*x + 5*x - 3*g - 132, x - 5*g - 60 = 0. Let j = x + -40. Suppose 4*b + 10 = 2*z + 2*b, j = 3*z + b + 5. Which is smaller: z or -4/3?
-4/3
Let q(v) = -v**2 + 4. Let x be q(-4). Let w(y) = -337*y - 47519. Let p be w(-141). Do p and x have the same value?
False
Let p = 21033 + -21032. Are p and 1/3268 nonequal?
True
Let y = -16176 + 1180796/73. Let z = -4336/6497 - y. Is z less than 0.1?
True
Let g be (-88)/(-9) - (-10 - 84/(-6)). Suppose -3*d - 5*n + 30 = 0, n = -4*n + 15. Which is smaller: g or d?
d
Let l = -4445/21004 + 15/356. Let h = 14/1475 + l. Which is greater: 2 or h?
2
Let y be (-124)/186 + 10784/30. Let a = y + -105906/295. Is a < -1?
False
Let x(t) = -5*t**2 - 213*t + 48. Let g be x(-43). Let u be (-16)/(-12)*6/4. Let a be u/(-4) + (-3)/(-12). Is a at least as big as g?
True
Let c = -156 - -136. Let s = c + 29. Let u be (225/(-6))/(8/(-2)). Which is smaller: u or s?
s
Let s(v) = v**2 - 7*v + 14. Let z be s(10). Suppose z = 4*d - 4. Let p = -0.09 - -0.09. Is p at most d?
True
Let b(q) = q**3 - 7*q**2 + 2*q - 9. Let c be b(7). Suppose -c*f = -0*f. Let i = 519 + -11935/23. Which is bigger: f or i?
i
Let b = -23.1 - -3. Let l = b - -20.5. Is l greater than -15?
True
Let p = -21739/4 - -5433. Are -214 and p unequal?
True
Suppose 3*a = -4*h + 108, 0*a + 2*a = 4*h - 128. Let f = -35 + h. Let u be 0 - (1 + (f - -2)). Which is bigger: u or 2/3?
u
Let i be (-2)/7 - 8/(-14). Suppose 568 = 10*h - 222. Suppose h*r - 84*r - 145 = 0. Which is greater: r or i?
i
Let l = -6232 - -5943. Is -292 > l?
False
Let g = 38 - 98. Let a = 780 - 839. Do g and a have different values?
True
Suppose f = -2, 37 = 5*h + 3*f + 128. Which is smaller: -12 or h?
h
Let n(w) = -20*w**3 - 2*w**2 + 5*w - 4. Let z be n(1). Let q be 63/z + (1 - -1). Is q bigger than -1/120?
False
Suppose -4*o - 3 - 5 = -4*d, d = 0. Let a be ((-486)/(-12))/(-9)*2. Let p be (0 - (-6)/a)/(-8). Which is bigger: o or p?
p
Let t(f) = -711*f - 627. Let v be t(-1). Is v at most as big as 84?
True
Suppose -4*l + 5*a + 72299 = 10310, -3*l + 46458 = 3*a. Are 15491 and l non-equal?
False
Let i be (0 - 4)*(-3)/6*230/(-7360). Let h(j) be the third derivative of -j**5/60 + 7*j**4/24 - j**3 + 2*j**2. Let v be h(6). Are v and i equal?
False
Let k be (-6 - 2)/((-1)/2). Let u = 313 + -314. Let h = 17 - u. Which is smaller: h or k?
k
Let t = 341 + -3745/11. Which is smaller: -66 or t?
-66
Suppose -q - 244 = -r + 1293, -r + 3*q = -1533. Are r and 7696/5 nonequal?
True
Let u be 2/8 - (-35)/(-44). Suppose 3*l - 251 - 87 = -4*q, 0 = l - 6*q - 120. Suppose l*m + 2 = 112*m. Which is greater: u or m?
u
Let u(x) = 2*x**3 + 150*