lse
Let d = 36 + -46. Let a = -4 - d. Suppose 4 = -2*p + a. Is p smaller than 1/15?
False
Let q(b) = -b**3 + 20*b**2 - 4*b - 64. Let m be q(18). Let y = 224 - m. Which is greater: -289 or y?
y
Suppose -3*h - 10 = 2*h. Suppose j = -y + 9, 7*j - y + 1 = 6*j. Suppose -11*q + 7 = -2*z - 12*q, -11 = -j*z + 3*q. Which is smaller: h or z?
h
Suppose -4*n - 24 = 0, 0 = -14*z + 13*z - 4*n - 15478. Do z and -15454 have different values?
False
Let x be 9/((-9477)/(-18576)) - (-5)/(-6). Is 16 less than x?
True
Let n = -1787 + 1700. Which is smaller: n or -29?
n
Let d be (1/2)/(66/(-11892)). Let f = -1014/11 - d. Let r = -634/319 - f. Is r smaller than 0.1?
False
Let s be (-1 + 0)/((-18)/162). Let l be s/15 + 1413/(-255). Is l less than or equal to -5?
False
Let v = -84 - -74. Let d be 1839/9 + v/(-15). Let a be (-3)/((-135)/d) - 5. Is -1 at most a?
True
Suppose 92*y - 87*y + 5625 = 0. Is -1125 at least as big as y?
True
Let t = -208095415/137652 - -1/34413. Which is smaller: -1512 or t?
-1512
Let n be 1*(-5)/(5/(-2)). Let d be 2340/2405 - 2/(-5 - (-5 + -2)). Which is smaller: n or d?
d
Suppose 3*q - 778 = -5*n + 7*q, 3*n = -4*q + 486. Suppose -n*d = -153*d - 1125. Let u = d - 2477/11. Which is bigger: u or 0.19?
0.19
Let f be (4/(-8)*0)/((-16)/(-56)*-7). Is -1904 greater than or equal to f?
False
Let q(x) = 3*x - 90. Let s be q(28). Let j be 1 - (28/7 + s). Suppose 1 = -2*h + 3. Which is greater: h or j?
j
Let m = 6805 + -6798.367. Let k = m + 0.367. Which is greater: k or 0.31?
k
Let m = 22 + -21.98. Let x = 49 - -179. Let f = x + -219. Which is greater: f or m?
f
Let i(n) = -27*n**2 - 106*n - 8. Let p be i(-4). Which is smaller: -470/29 or p?
-470/29
Let k = -415839 + 10012987283/24079. Does k = -1?
False
Let q(y) = -16*y + 105. Let z(h) = 9*h - 52. Let d(o) = -3*q(o) - 5*z(o). Let b be d(-22). Let t = 607/5 + b. Is t at least as big as 10?
False
Let x(j) = 12*j - 51. Suppose 0 = -5*d + 12 + 8. Let a be x(d). Suppose -5*c = -2*c + 12, -l + c = 0. Which is smaller: a or l?
l
Suppose 4*b - g = -0*g + 8, 5*g - 20 = 0. Suppose b*a = -a. Let c = 10404 + -10411. Which is smaller: c or a?
c
Let q = 7867 + -7867.04. Which is bigger: -3/5 or q?
q
Suppose 4*i - 29 = 27. Suppose i*w - 9*w + 258 = 4*v, w + 39 = 5*v. Does w = -54?
True
Let t(r) be the third derivative of r**4/24 + 29*r**3/3 - 153*r**2. Let w be t(36). Is w at least 92?
True
Suppose 60 = -13*k + k. Let f be k - (54350/(-2170))/5. Let w = -40/189 - 2/27. Which is smaller: w or f?
w
Suppose -84 - 222 = -18*u. Let g(m) = -m**3 - 13*m**2 - 14*m - 8. Let s be g(-12). Which is smaller: s or u?
s
Let n be (-1880)/5*9/(-12078). Let h = -6/61 + n. Do 29 and h have the same value?
False
Let v = 52.7 + -57. Let w = v + 3.3. Let b = w - -16. Is 0.2 greater than or equal to b?
False
Suppose -2*r - 4*m = -112, -3*r + 0*m + m = -175. Let t = -62 + 113. Let b = r - t. Which is smaller: b or 4?
4
Suppose -39 = -6*a - 147. Let q be ((-48)/(-27))/8 - (-112)/a. Is q less than or equal to 3?
True
Suppose -t - 4 = 0, -2031*q + 5*t + 812 = -2035*q. Which is bigger: q or 87?
87
Let y = -308.4 - -337. Let j = 28.7 - y. Let m be -1 + (184/(-42))/(-4). Which is bigger: j or m?
j
Let s be ((13 + (-990)/75)/120)/(2/4). Suppose -4*h = -0*h + 2*x + 2, 2*h = x - 3. Which is smaller: s or h?
h
Suppose 4*c + c - 3*a - 641 = 0, 4*c + 2*a - 526 = 0. Let b be 18/c*450/54. Suppose 1 = s - 1. Is b less than s?
True
Suppose 0*b + 3*b + 141 = 0. Let u be (-6)/60*1960/196. Is u >= b?
True
Let i = 118 - 140. Let j = -17 - i. Let x be -3 + 2 - 5/(-10). Is j bigger than x?
True
Let n be ((-16)/(-10))/((-1)/(-5)). Let o = -6868 + 6873. Are n and o equal?
False
Let h be (-751923)/(-630) - 2/20. Is 1193 equal to h?
False
Let w be ((-26)/(-20) - -2) + (740/(-50) - -15). Are -497 and w equal?
False
Let g = -292.26 + 327.6. Let r = g + 0.66. Which is smaller: 0.3 or r?
0.3
Suppose 12*q - 6 = 6. Let g be q/((15/(-265))/3). Let r = -98 - g. Is r >= -45?
True
Let l(p) = 2*p**2 - 12*p - 1. Let y be l(7). Suppose t - y*t = -0*t. Which is smaller: t or -0.6?
-0.6
Let s be (-15)/(-2)*1/170. Suppose -18*u + 20*u = 4. Suppose u*y = 7*y. Which is bigger: y or s?
s
Let f = 256 + -250. Let o be 126/7*(-27)/f. Is o greater than or equal to -81?
True
Let w = -7367 + 8215. Are w and 8 nonequal?
True
Suppose -j = b + 890, -100*b - 16 = -96*b. Which is smaller: j or 0.7?
j
Let v be (-16)/(-232) + (-880)/145. Let l(k) = -3*k**2 - 15*k + 19. Let z be l(v). Which is bigger: 8/71 or z?
z
Let m(t) = -4*t**2 + 39*t + 13. Let a be m(10). Let f be (0 - 0)*a/(4 - -2). Are f and 1/44 non-equal?
True
Suppose 0 = 3*o - 3*m + 135, 0 = -2*m - 2 + 6. Suppose -20*z - 35 = -25*z. Suppose -z*y - 36 - 258 = 0. Which is smaller: o or y?
o
Suppose -29*j - 8*j + 90724 = 0. Which is smaller: 2450 or j?
2450
Let w = 3.91 - -0.09. Let h = -317 + 438. Let a = h - 121. Which is smaller: w or a?
a
Let i(g) = g**3 - 18*g**2 - 17*g + 26. Let w be i(18). Let t be (-8)/w*20 + 6/14. Is t smaller than 32?
True
Let g be (-6)/(-8) + (-8 - 112688/64) + 13. Is -1754 greater than g?
True
Let g = -141 - -144. Suppose -2*s - g = -1. Which is greater: s or 2/19?
2/19
Let g = 4/137 - 975/548. Let z be (4*(-6)/(-432))/((-9)/12). Is z at least as big as g?
True
Let g be 2164/57 - (-1254)/35739. Suppose -3*p + 4*p = 5*o + 29, -4*o + 86 = 2*p. Which is greater: g or p?
p
Let w = 1132/285 - 58/15. Let m(q) = -q**2 + 3*q - 4. Let g be m(2). Let r be (1/6*3*g)/(-1). Which is bigger: r or w?
r
Let w = 0.02473 + -0.22473. Which is bigger: w or 55?
55
Suppose 4*r + 4*b = 8*b, 4 = 4*b. Let c = -942 + 27324/29. Which is smaller: c or r?
c
Let w = -3706 + 3861. Which is smaller: 935/6 or w?
w
Let m = -103 - -100. Which is smaller: -37/10 or m?
-37/10
Suppose 2*h = 5*h - 12. Suppose 4*f - 5 = -3*d, -3*d + h = 7*f - 2*f. Let r = 1513/11775 - 4/471. Which is greater: f or r?
r
Let c be 1332430/(-1812) + 31/93. Let n = c - -735. Which is smaller: -1 or n?
-1
Let f be 20/(-25) + (-3)/15. Let t(w) = w**2 + 4. Let q be t(0). Let a be 108/(-34) + q + 1 + -2. Is a greater than f?
True
Let b(p) = -7*p + 19. Let q be b(2). Suppose -l = 7*a - 2*a - 105, -q*l + 19 = 2*a. Is a smaller than 6?
False
Let s = -895/37366 - 6/1099. Is s at least as big as 0.1?
False
Let w = 6162 + -6162. Is w less than -7/942?
False
Let s = -40 - -47. Let m = 1 + s. Suppose 0 = -2*i - 3*u - 7, -2*u - m = i + u. Is i greater than -4/77?
True
Let w(h) = -13 + 4*h + 0*h + 2*h - 4*h. Let r be w(0). Let q be (9/(-36) - (18/24 + 3)) + -10. Are q and r equal?
False
Suppose -3*t - 1038 = 5*p, 21*t - 23*t = -p + 705. Let f be 76/(-171) + (1371/t)/(-1). Which is smaller: f or 4?
f
Let w = 2612 - 2613. Let r be 233/(-229) - (-2)/2. Is r at least as big as w?
True
Let t be -2*1 + 18/15*420/36. Let o be -1*2*14/(-4). Is o >= t?
False
Suppose 4291 - 211 = -24*j. Let a = -141 - j. Which is smaller: 27 or a?
27
Let y(a) = 26*a**2 + 11*a + 27. Let c be y(-12). Let t = c - 14727/4. Let k = -27197/636 - t. Do k and 0 have the same value?
False
Let s be (-18)/(-42) + 22/((-4928)/40). Is -551/3 not equal to s?
True
Suppose -5*v = 3*s + 9479 + 1933, -5*v + s = 11396. Let z = v + 38748/17. Suppose -3*y - 4*t = 11, 2*y + 0*y + 4*t = -10. Is y > z?
False
Let h(s) = -4*s**3 + 2*s**2 + 4*s - 47. Let a be h(-4). Which is smaller: a or -7?
-7
Let h = -276 - -281. Suppose -h*y + 188 = 3*u - 175, 0 = 4*y - 3*u - 312. Is y greater than or equal to 77?
False
Suppose 224 = 6*d + 2*n, 83 + 151 = 6*d - 3*n. Let g = 53 + -14. Are g and d nonequal?
True
Suppose -5*w + 4*w - q = 65, -355 = 5*w - 5*q. Let d = 56 + w. Let p = -25 + 14. Which is smaller: d or p?
d
Let o(h) = h**3 + 3*h**2 - 25*h - 101. Suppose 0 = -46*t + 49*t + 5*q - 2, 2*t + 2*q = -4. Let b be o(t). Is 2/9 bigger than b?
True
Suppose -z = z - u - 15, -15 = -3*z - u. Let w be (-176)/(-28) - z - (-18)/(-14). Let j be (w/(-3))/((-30)/(-36)). Which is smaller: j or -24?
-24
Let b = 1307 + -1356. Let d = -1.2 + 50.2. Let v = d + b. Which is smaller: 4/7 or v?
v
Let s(j) = -j**3 + 4*j**2 + 13*j + 3. Let l be s(6). Suppose -2*x + 3*f = -13, -x - 12*f + l*f = 16. Which is bigger: x or -3/127?
-3/127
Suppose 0 = -i - 3*z + 194, 0 = -16*i + 20*i + 2*z - 856. Is 272 smaller than i?
False
Let i(v) = -3*v + 110. Let t be i(32). Let n be (