21)/35). Suppose -t*d = -l - 2*l - 267, 112 = 2*d + 4*l. Which is bigger: d or 53?
d
Let q = 6759 - 1000307/148. Is q less than or equal to -1?
False
Let v be -3582 - (-1 - 1 - 7). Let n = v + 203668/57. Which is smaller: 0 or n?
0
Let y = -1.45 + 1.35. Let p = 204/7 - 29. Is y at most p?
True
Let h = -7577.6 - -7574. Is h at least as big as -99?
True
Let t = -5/53489603 - 112595564545/532435508262. Let g = 1424/562401 + 2/7119. Let u = t - g. Which is bigger: u or -1?
u
Let o = 0.05128 - 8.05128. Is 7 smaller than o?
False
Suppose 5*d + 6*d = d. Suppose d = -39*n + 8 - 8. Which is greater: 1 or n?
1
Let p(a) = -2*a**3 - 2*a**2 - 5*a - 3. Let z be p(-2). Suppose -41*b + 46*b = z. Let j be (-1 - 28/(-10))*1. Is b <= j?
False
Let z be ((-80465)/88)/77 + 12. Let m = 2 - 1. Let h be 1*(0 - (0 + m)). Which is smaller: h or z?
h
Let w be 3784/(-20425) + (18/(-855))/((-2)/10). Let b(g) = -g**2 - 4*g + 5. Let k be b(-5). Let h = -1 - k. Is h less than w?
True
Let l(h) = h**3 + 3*h**2 - 4*h - 3. Let r be l(-4). Let k(t) = t - 4. Let s be k(r). Let y(c) = c**2 - 5*c - 1. Let v be y(5). Do v and s have different values?
True
Let t be (35/(-140))/((-3786)/(-384)). Which is smaller: 0 or t?
t
Let n be (-1 + 134/(-4))*256/(-792). Which is bigger: 12 or n?
12
Let p = 0.293 + 1.707. Suppose -2*c - 12 = 2*c. Let n be 9/7 - c/(-3). Which is smaller: p or n?
n
Let d = -645 - -77. Which is greater: -1702/3 or d?
-1702/3
Let l be (-200)/(-40) + ((-5)/(-1))/(-1). Suppose 0 = 4*q + 4, l = -u + 4*q - q + 3. Are 10/21 and u equal?
False
Let d = -3 + 4. Suppose d = -4*m + 33. Let u be ((-1127)/(-1449))/(1/9). Which is greater: u or m?
m
Let n = 8918 + -6105. Are n and 2814 unequal?
True
Suppose 3*h = -2*v + 6, -5*h + v = 4*v - 9. Suppose h = 2*z + 4. Let t = -88953/11 + 8085. Which is greater: t or z?
t
Suppose -48*c + 133 = 37. Suppose 1 = 2*t + d - c, 1 = 5*t - 4*d. Suppose -6*l + 2*l - 20 = 0. Are l and t nonequal?
True
Let d = -47/148 - -6599/22644. Is d > 0?
False
Let v = 549.4 - 3426.4. Is -2/3 < v?
False
Let g = -0.027961 - 0.032039. Let d be 16/(-20)*2/8. Is d smaller than g?
True
Suppose -3*d - 2*r + r = -16, -24 = -2*d - 4*r. Suppose 4*o = -4*c + 220, 10 = 2*o + d. Is c smaller than 54?
True
Let t(n) = n**3 - 5*n**2 + 6*n - 31. Let s be t(5). Let a(c) = -4*c - 1. Let q be a(2). Let m be (2/(-7))/(q - -11). Which is bigger: m or s?
m
Let l = 8271 + -4234. Suppose 26*k + l = -7793. Which is greater: k or -454?
-454
Let z be (183/(-122))/((-1)/2). Suppose -6*d = -4*y - 4*d, y = z*d. Is y < -6/263?
False
Let l be 15/(-20)*(1 - 5). Let p be -4 + l/((-3)/(-7)). Let i = -4.73 - -0.73. Do p and i have different values?
True
Suppose i + 4 = 2*y + 3*y, 0 = 4*i - 3*y + 16. Suppose 32*g = 58*g. Let v = g - i. Which is smaller: 3 or v?
3
Let g(r) = -13*r**2 + 4*r - 2. Let d be g(2). Let n = -18 - d. Let q be n/(-21)*6/7. Is q bigger than -2?
True
Suppose -g + 20 = s, 5*g + 0*s - 100 = -s. Let y = 18.3 - 17.77. Let v = 0.43 - y. Which is bigger: v or g?
g
Let u = 6309 + -6308. Which is greater: u or -1/3344?
u
Let d be ((-2)/4)/((-25324)/(-1248)). Let z = 69689/1948 + d. Do z and 36 have different values?
True
Let t = -21 - -16. Let o be (15/7)/(-2*1/(-63)). Let l = o - 66. Do t and l have different values?
True
Suppose 0 = 33*a + 12 - 177. Suppose 5*l - h + 9 - 12 = 0, a*l + 5*h = 15. Which is greater: -1/888 or l?
l
Let p = 435148/64605 + -1166/177. Which is smaller: 0 or p?
0
Let c = -327 + 416. Let d = c + -53. Which is greater: -0.2 or d?
d
Let b = -8.249 - -8.265. Which is bigger: -1.3 or b?
b
Let a = -386711/94 + 4114. Let t = -269/1128 - a. Is t at most as big as 1?
True
Suppose 0 = 137*q - 141*q + 20, -4*q = t - 378. Which is smaller: 359 or t?
t
Let y be (-33)/(-3)*(3 + -1 + -1). Suppose -4*o = -161 - y. Suppose o = 3*j + 13. Which is smaller: j or 13?
j
Suppose -18*s + 22*s = -36. Let b be 133/s + 10/(-45). Let n be (-6)/b + 3 + 96/10. Is 13 at least as big as n?
True
Let y(h) = -16*h**2 - 124*h + 366. Let k be y(3). Is k not equal to -148?
True
Let a = 169 - 247. Let t = a + 77.9. Which is bigger: t or -201?
t
Let c(a) = 11*a + 198. Let f = 308 + -315. Let p be c(f). Is 123 greater than p?
True
Let m = 93.92 - 96. Let d = -0.08 - m. Is 25 not equal to d?
True
Let m(c) = -3*c**2 + 36*c - 60. Let n be m(10). Suppose -5*b = 5*v + 5, n = -3*v - 2*b - 8 + 4. Which is greater: v or -104?
v
Let r = -3803/22 + 349/2. Let m(s) = -s**2 + 5*s + 7. Suppose -4*j - 2*b + 5*b + 12 = 0, 2*j = 3*b. Let f be m(j). Which is bigger: r or f?
r
Suppose -t = 3*t + 16. Let w be 2/t*-6 + 0. Suppose 0 = 2*o + w*x - 13, 3*o + 13 - 5 = x. Which is smaller: 6/13 or o?
o
Let c(d) = -d**3 - 27*d**2 - 4. Let k be c(-27). Let x be (k/6)/((-170)/51) - 0. Is -75 > x?
False
Let u = 6881 + -6881. Which is smaller: 4/14287 or u?
u
Let z = 2.14 + -2. Suppose 0 = -9*j + 13*j - 64. Let d be j/(-12)*(-6)/(-28). Is z equal to d?
False
Suppose 2*q - 4*o = 24, -4*q + 47 = -4*o + 7. Suppose -4*f + q = -l - 0*f, -2*l + 8 = -2*f. Let t be (-212)/272 + 2/l. Are t and -2 unequal?
True
Let d be (1 + 74)*30/(-75). Let m be 5*d + 16/(-4). Is -153 <= m?
False
Let d = -4 - -15. Suppose w + 9 = -d. Let o = w + 45. Are o and 25 nonequal?
False
Let c(r) = r**3 + 11*r**2 - 20*r + 82. Let m be c(-13). Suppose 0*n = 5*v - 4*n + 15, 0 = m*v + n + 33. Which is bigger: v or -25?
v
Let j(m) = -12*m + 253. Let h be j(17). Let v = h - 18. Is v <= 28?
False
Let q(j) = 17*j + 28. Let g be q(-9). Let p = 4126/33 + g. Suppose 4*u = -5*v - 8, 0 = -4*v + 3*u - 4 + 10. Which is smaller: v or p?
v
Suppose 795 = y - 3*y - 5*p, -2*y - 798 = 2*p. Let x(w) = -22*w**2 - 202*w - 221. Let c be x(-10). Are y and c non-equal?
True
Let j = -1377 - -1156. Let i be (-489)/(-1521) - (6 + j/39). Let w(k) = k**2 - 5*k - 7. Let y be w(6). Which is bigger: y or i?
i
Suppose -4*l - 12 = -10*l. Suppose -2*z - l = 6. Let x be 6/3 + -1 - 0/z. Is 1/7 less than or equal to x?
True
Suppose -5*y - 3 = 2. Let p be 142/1456 + ((-377)/104)/29. Which is smaller: p or y?
y
Let m be -86 + 7/1 + (-270)/27. Do 0.028 and m have different values?
True
Let v = -0.481 - -211.481. Let d = 167 - v. Let c = 17 + -17. Which is bigger: c or d?
c
Let h = -30521072310205283/93688 + 325773549544. Let s = 2/11711 + h. Which is bigger: -7 or s?
s
Let r(c) = 32*c**2 - 301*c - 4168. Let l be r(-15). Is 7546 greater than l?
False
Let y = 1.627 + -595.627. Which is smaller: y or 0.2?
y
Let x(o) = -4*o**2 + 61*o - 211. Let h be x(10). Is 1/5063 <= h?
False
Suppose -3*h + 0 + 12 = 0, 2*h = w - 52. Let q be w/(-35)*(-14)/4. Suppose q*f + 1 = -5. Which is greater: f or -12/7?
f
Let a be 18/(-72) + -1*(-2)/8. Suppose a = -15*x + x - 588. Is x at most as big as -43?
False
Suppose -3*p = 0, -6*j + 3*j = 2*p - 42. Let h = -80827 - -80845. Which is smaller: j or h?
j
Let k = -128 + 90. Let c = 525 + -564. Which is smaller: k or c?
c
Let a be 24/(-423)*(-15058)/24. Let l = 320/9 - a. Are 2 and l equal?
False
Let n(w) = -2*w**2 - 12*w + 427. Let x be n(-42). Which is smaller: -2596 or x?
x
Suppose -5*m + 6*m - 134 = 0. Let d = 1626 + -1493. Which is bigger: d or m?
m
Let z be -2 - (3 + (-1294)/40). Let u = -136/5 + z. Let w be 0 - 8 - (-11 - -4). Are u and w unequal?
True
Let s be 36/(-84) + 114/21. Let d = s - 37. Which is bigger: d or -31?
-31
Let b = 9.979 + 0.021. Let v = -4804 + 4804. Which is smaller: v or b?
v
Let r be (-3 + 1)*(2/90)/((-4)/6). Which is smaller: -0.0412 or r?
-0.0412
Let i = 257 - -122. Let k = -379.4 + i. Is k greater than -0.07?
False
Let d = -25 + 24. Let t(h) = -2*h**3 + 2*h**2 + 2*h + 1. Let q be t(d). Suppose q*c = -16 + 49. Is 11 bigger than c?
False
Let x be ((-445)/65 - -4) + -1 + 1. Let b = x + 3115/1131. Which is bigger: 1 or b?
1
Let f = 425.8 + -404. Let x = 25.3 - f. Which is smaller: x or -0.5?
-0.5
Let d = 3675 - 3679. Are 736 and d equal?
False
Let z = -37 - -303. Let f = -220 + z. Is f <= -0.2?
False
Suppose 0 = -4*y + 2*y + 384. Let r be -1*(5 - y/40). Is 7.5 equal to r?
False
Let g(i) = -i**2 - 38*i + 1445. Let v be g(-58). Are 291 and v non-equal?
True
Suppose -o - 4 = -19. Let h = 255 - 243. Let l be -8 + 6 + 4 - h*-1. Is o > l?
True
Let s = -407 + 254. Let p = -152 - s. Which is smaller: p or -0.112?
-0.112
Let q = 449 + -507. Let n be (72/5 + 