 be n(-11). Let s be (-2)/9 + (-976)/a. Is -1 greater than or equal to s?
False
Let h(l) = -l**3 - 3*l**2 - 16. Let u(r) = r**3 + 6*r**2 + 4*r - 9. Let v be u(-5). Let q be h(v). Suppose q = 2*m + 5*m. Which is smaller: -6/17 or m?
-6/17
Let c = 1 + -30. Let q(u) = 2*u**3 + 16*u**2 - 15*u - 49. Let p be q(-9). Let z be (120/14)/(p/266). Is c <= z?
False
Suppose 152*v - 144 = 160*v. Let z be 4/v - (-33)/(-3861). Is 0 equal to z?
False
Let i = -209.7 - -209.8. Which is smaller: 0.07527 or i?
0.07527
Let v = 27500 - 24485. Is 3012 greater than v?
False
Let i(o) = -o**3 + 28*o**2 - 169*o - 15. Let k be i(9). Is 85/6 at most as big as k?
False
Let i(s) = -5*s**2 - 14*s. Let h = -34 + 50. Suppose -5*a - 3*l - 21 = 0, -a - 2*l - h = -9. Let n be i(a). Which is greater: -42/13 or n?
n
Let b = -0.87 + 92.87. Let p = b - 90. Is p < 3/26?
False
Let a = 20777 - 127851/7. Which is bigger: a or 2513?
2513
Let v = 21.4 - 17.1. Let p = v + -1.3. Which is greater: -1 or p?
p
Let w(i) = i**2 + 8*i - 17. Let r be w(-10). Suppose r*j = -7 - 5. Let p be j/6*((-75)/10 + 6). Which is bigger: 9/4 or p?
9/4
Let a = -18357 - -1009634/55. Which is smaller: a or 31?
a
Let f = -87 - 19. Let t = f - -8. Is t greater than -98?
False
Let u(w) = -132*w + 780. Let h be u(8). Which is greater: -278 or h?
h
Let v(o) = 4*o - 2. Let f be v(3). Let b be 4/(-6)*3 + 11 + 0. Let i = b + 1. Is i equal to f?
True
Suppose -81*x + 5360 = -121*x. Are x and -137 equal?
False
Let y = -0.0209 + 302.0209. Let s = y + -302. Which is greater: s or 1.75?
1.75
Let l be 12/(-6)*(-5)/2. Suppose -9 = -3*s + 2*s + l*b, -4*s + 6 = -5*b. Let r = -0.14 + 4.14. Which is smaller: s or r?
s
Suppose 0 = -2*p + 6*p. Let g = -78977/39 - -2025. Are g and p nonequal?
True
Let j = 31/20 - 9/5. Let f(h) = -h**3 + 7*h**2 - 12*h - 15. Let i be f(6). Let z = 233/4 + i. Which is smaller: z or j?
j
Suppose 174 - 184 = -o. Suppose -794 = -6*c - 290. Suppose 20*t = 27*t - c. Which is smaller: o or t?
o
Let t = -66 + -86. Let v = t + 152.19. Which is bigger: -2/7 or v?
v
Let g = -20732 - -20729.9. Which is smaller: -140/3 or g?
-140/3
Let i = 3 + -1. Suppose 5*o = -2*y - 345, 2*o + o + y = -206. Let m = o + 343/5. Are m and i equal?
False
Suppose -5*f = 87*f - 42 - 50. Which is greater: f or 1/3297?
f
Let t(v) = -v**3 - 13*v**2 - 12*v + 26. Let h be (12 - 2)*(87/15 + -7). Let m be t(h). Which is bigger: -1 or m?
m
Suppose -2*n + 15*d = 18*d - 16, -4*d - 16 = 0. Is n bigger than 191/13?
False
Let n = 3078 - 3277. Which is smaller: -801/4 or n?
-801/4
Let m be (-100)/30 + 9 + 4/(-6). Suppose -m*b + 2*t + 444 = -892, 4*t = 5*b - 1332. Which is smaller: 267 or b?
267
Let a(f) = f + 8. Let i be a(0). Let s = 4020 + -4004. Suppose -3*m = -3*q - 24, 0 = 3*q + 3*m + s + i. Which is bigger: -9 or q?
q
Suppose q + 10 = 3*k, 0 = -k - 3*q + 4*q. Suppose -3*t + u - 2 = 0, -3*t - k*u + u + 23 = 0. Which is bigger: -3/80 or t?
t
Let v = -679 + 313. Let z = v - -357. Which is bigger: z or 1.6?
1.6
Let q = -10148 + 10147. Let r = 3/163 - -456/1793. Which is greater: q or r?
r
Suppose 33*b - 29*b = 1120. Let m = -278 + b. Let t = -5 + 3. Which is smaller: t or m?
t
Let z = -114404 - -124471531/1088. Do 0 and z have different values?
True
Let o(n) = -37*n. Let c be o(-6). Let k = 239 - c. Which is bigger: k or 16?
k
Suppose 81 = k + 4*t, -2*t - 89 = -k - 4*t. Suppose f - 6*f - 3*b = k, -4*b = -5*f - 69. Is f != -18?
True
Let c(h) = 26*h - 55. Let m be c(3). Suppose -d + 4*x + m = -0, 0 = -3*d + 4*x + 29. Which is smaller: -21 or d?
-21
Suppose 2*i + 4*l = 5*l - 286, 4*i + 560 = -4*l. Let n = -142 - i. Which is smaller: -0.1 or n?
-0.1
Let w(j) = 2*j**3 + 11*j**2 - 7*j. Suppose 7*o + 24 = 3*o. Let n be w(o). Let t be ((-9)/(-12))/(n/(-4)). Is t less than 7?
True
Let j = -12.8 + 128.8. Let q = -115 + j. Let f = 0.13 - 0.178. Which is greater: f or q?
q
Let u = 6084 + -6018. Which is smaller: 64 or u?
64
Let l be ((-5)/(-2))/(17/2074). Let q = -304 + l. Which is smaller: q or -0.9?
-0.9
Let v = 3950 - 3933. Let t be 0/2 - 0/2. Suppose t*z + 72 = 4*z. Is z != v?
True
Let f = 19 + -60. Let c = f + 26. Let o = -7482 - -7468. Are c and o equal?
False
Let a(l) = -32*l + 34. Let i be a(1). Suppose -2*t - 150 = i*g + 72, -t + g = 107. Is t at least as big as -110?
True
Let c = -236443687 - -23408155190/99. Let m = c - 2325. Are -7 and m non-equal?
True
Let u = -24 - -39. Let j = -1.987 - 0.013. Let x = j + u. Is 0.1 != x?
True
Let x be -446*(16 - 312/16). Is 1560 >= x?
False
Let k(p) = -138*p - 5119. Let t be k(-38). Does t = 119?
False
Suppose 29 + 5 = -2*g. Suppose 18*c + 23*c = 779. Suppose 163 + 84 = -c*v. Is v greater than or equal to g?
True
Let d = -2138 - -1153. Let b = d - -227537/231. Which is bigger: b or 0?
b
Suppose 427*s + 112424 = 51*s. Is s bigger than -299?
False
Let x = -9199/13 + -40093/104. Which is greater: -1093 or x?
-1093
Suppose -1793 = -62*b + 6205. Which is greater: 131 or b?
131
Suppose g + 3*x - 18 = 0, g + 4*x = 2*x + 11. Are g and 1575 unequal?
True
Let x be 1 - ((-54)/2 - 1). Let v = 3949 + -3949. Suppose v = x*h - 30*h + 9. Which is smaller: h or -1/2?
-1/2
Let u = 5 - 7. Let i be 21/(-3)*(-2 + u). Let n = i - 39. Is -6 less than n?
False
Suppose 2*f + 45*f + 6477 = 1213. Is -12 equal to f?
False
Suppose -2*g = 5*o - 589, o - 7*g - 113 = -5*g. Suppose 0 = 9*b - 13*b + 472. Is b less than o?
False
Let x = 61 + -58. Let r be 3535508/(-2034) - ((-58)/18 + x). Let h = r - -1738. Which is smaller: h or -1?
-1
Let i = 3478 + -3484. Which is smaller: i or 111?
i
Suppose -8*l + 3045 = -5083. Let m = l + -161542/159. Suppose 4*t - 21 = -1, 2*t = -4*u + 14. Which is smaller: m or u?
m
Let d be ((-16287)/178)/(2 - 11/4). Which is smaller: 2055/17 or d?
2055/17
Let l be (2/(-4))/(1/13). Let p(w) = -6*w - 170. Let a be p(40). Let o = a + 404. Is o <= l?
False
Suppose 793 = -x + 559. Let p be (-6)/(-5)*208/x. Which is bigger: p or -1?
-1
Let g = -21 - -21.11. Let s = 17.48 - 17.27. Let o = g - s. Which is smaller: -29 or o?
-29
Let d = -100895.9 + 100896. Let q = 87.348 - 87. Which is bigger: q or d?
q
Let t = 2755673/51 - 54031. Is t greater than 1?
True
Let p = 18.69 - 23.28. Is 0.3 less than p?
False
Suppose 0 = 4*y + 2*r - 50, y + 2*r - 5 = -0. Let p = -30 + y. Let w(f) = 14*f**2 + 437*f + 94. Let c be w(-31). Is p <= c?
True
Let l be 5 + -21 - (-23 - -8). Is l < -6/643?
True
Let n = 269.6 - 350. Let p = n + 79. Is 2 smaller than p?
False
Let a be (1 - (3 - 0)) + 165728/82872. Does a = 0?
False
Suppose 43 = -2*c + 3*z, 3*c - 4*c + z = 20. Let t be 15 + c - (-53)/19. Suppose 4*v - 3*g + 74 = 89, -20 = -v + 4*g. Is v < t?
True
Let r be (-158)/54 - (-5 + -8 + 10). Which is smaller: 0.255 or r?
r
Suppose -78 = 4*p - 162. Suppose 26*l - 135 = p*l. Let i(z) = z**3 + z**2 - 1. Let x be i(-1). Which is greater: x or l?
l
Let h be (21/14)/(2660/(-2648) + 1). Is h less than or equal to -5/2?
True
Suppose 2*d - 92 = 3*h - 80, -d = -2*h - 6. Is h > 17/862?
False
Let j = -233 - -387. Suppose -t + w - 42 = 5*w, -2*w = -3*t - j. Which is smaller: -49 or t?
t
Suppose 2*c - 448 = -z, c = -2*z + 6*c + 896. Which is bigger: z or -23?
z
Suppose 2*f = 2*q - 16, 0 = 8*f - 7*f + 3. Suppose -h + 0*h - 2 = 0, l + 12 = -q*h. Which is bigger: l or -16/17?
-16/17
Let k = -1198 - -1470. Is -8 equal to k?
False
Let g = -23012.3 - -23014. Which is greater: g or 7?
7
Let d(x) = -2*x**3 - x**2 - 257*x - 792. Let r be d(-3). Which is smaller: r or 99?
r
Let y be 7056/104 - (-4)/26. Let v = -67 + y. Let t be -1 + 3 - (0/(-4))/v. Is t bigger than 6/11?
True
Let q = 1318.882 + -1319. Let d = -11 - -12. Is d <= q?
False
Let a be 6141/1335 + 1958/(-430). Is -140 at least as big as a?
False
Let n = -12.5 - -19.5. Which is smaller: 1/52 or n?
1/52
Suppose -10304 = 4*m - 2*t, 496*t = 3*m + 491*t + 7714. Is -2576 at most as big as m?
False
Let c = 280 + -169. Let a = 0.978 - 1.078. Is a less than or equal to c?
True
Let v be (-1)/2*(-1 - -55). Let d be 351/12 - v/36. Let r be (d/4)/((-2)/(-12)). Is r < 45?
False
Let i be 1 - 28/16 - (-1404)/1833. Is i at most as big as 0?
False
Let b = -10 + 19. Suppose 3029*d = 3064*d + 770. Which is greater: d or b?
b
Let h(v) = 3*v**3 - 3*v**2 - 8*v + 3. Let y be h(-3). Which is smaller: y or -64?
y
Let q = -19287 + 19287.16. Le