lse
Let s(o) = 6*o - 15. Let n be s(-8). Let b be (n/(-2) - (-14)/(-28)) + 0. Is 33 <= b?
False
Suppose -5*h + 9 = 4*t, 2 + 17 = -t + 3*h. Let s be (t + 6 + -3)*(-3)/(-3). Is s equal to -3?
False
Suppose -3 = -2*p + t + 20, -4*t = -p + 29. Suppose -6*k + p = -3*k. Suppose k*q + 8 = 5. Are q and 0 non-equal?
True
Let d be (70/220 + 4/22)*2. Let a be (6/(-28))/(-3*3). Which is smaller: d or a?
a
Let s be ((-6)/(-14))/(1554/(-28)). Is s at least 0?
False
Suppose 7 = 4*o - 1. Suppose 0 = -o*l - l + 33. Is 12 at least l?
True
Let a(p) = 2*p**3 - 5*p - 2*p**3 - 3*p**2 + 6 + p**3. Let u be a(4). Let l = 49 - 46. Which is bigger: l or u?
l
Let f = 1.0361 + -0.0361. Are 6/7 and f nonequal?
True
Let v = 2 - -1. Suppose 6*a - 2*a - v*f - 6 = 0, 0 = -a - 4*f - 8. Let g = -13.7 + 14. Is g less than a?
False
Let s = -5 - -24. Let o = s - 16. Let g = -2 - -5. Is o less than or equal to g?
True
Let z be 12*(1 - (-20)/(-12) - -2). Let o be 3/2*14/(-21). Let n be (o + 0)*(-17)/1. Which is greater: z or n?
n
Let v(x) = 2*x**2 - 8*x + 2. Let r be v(4). Suppose 0*o = -r*l - 2*o, -4*l + 3*o - 7 = 0. Is -1/16 less than or equal to l?
False
Let f = 1.7 - 3.6. Let a = 0.1 - f. Let o = 4439 + -4442. Which is smaller: o or a?
o
Let q = 327 + -255. Is q != 2?
True
Let k be (18/(-3900))/(-3)*(1 + 0). Let i = k + -2279/2600. Which is smaller: i or -1?
-1
Suppose -3*i - 24 = -3*h, -i - 2*h - 9 = -4. Which is smaller: -8 or i?
-8
Let l be ((-39)/(-26))/((-3)/(-10)). Is l at most as big as -1?
False
Let u be (-9 + 9 + 128)/(-2). Which is greater: -69 or u?
u
Let i be 1/3 - (-52)/(-138). Let w be (25/20 + -1)*-4. Let g be 1 - (-1 - (w + -2)). Which is smaller: i or g?
g
Suppose 3*z - 844 + 144 = -2*c, -5*z - 1725 = -5*c. Is 347 > c?
False
Suppose 399 = -5*b + 3*c - 185, 0 = -5*c - 10. Is -119 at least as big as b?
False
Let l = -4 - 0. Let o(h) = -2*h - 2*h + h + 5*h + 8. Let p be o(-7). Which is bigger: l or p?
l
Let h be ((41/(-4))/(-41))/(1/12). Is 18 at least h?
True
Let x be (2/535)/((-6 - -9)/(-15)). Suppose -3*y = -5*q - 1, 2*q + y = 5*q - 1. Are q and x nonequal?
True
Let g(o) = -2*o**2 + 58*o - 317. Let b be g(6). Is b at most as big as -277/7?
True
Let y = -5.9 - -6. Let g = -0.9 - y. Let w = -3 - g. Does w = -1?
False
Let g = -6 - 1. Let u be 2/(-4) - g/10. Which is smaller: u or -3?
-3
Let m(p) = -p**2 + 6*p + 15. Let j be m(7). Suppose 14*n = 6*n + j. Which is bigger: n or -6/47?
n
Let n = 5.5 - 5.4. Let g = 96 - 101.9. Let k = n - g. Do k and -1 have the same value?
False
Suppose s - 8*s = -182. Let l = s + -22. Suppose -4*m + 3*m + 1 = 0. Which is smaller: l or m?
m
Let c be 0 + (-3)/8118*6. Which is smaller: c or -1?
-1
Let n be (18/20)/((-498)/(-24485)). Is 43 >= n?
False
Suppose -5*j - 69 = -4*g, -4*g + 5 = 5*j - 14. Let a = g - 9. Let m be a/9*45/(-60). Is -1 != m?
True
Let r = -140.21 + 141. Let n = 0.21 + r. Let i = -3 - -4. Is i != n?
False
Let v = -28 - -34.8. Let p = v - 4.41. Let n = p - 0.39. Are -0.3 and n non-equal?
True
Let v be (-3145)/(-104) - (9 - (-525)/(-56)). Which is greater: v or 31?
31
Suppose -2*i - 92 = -3*a, -4*a - 5*i + 127 = -11. Let r = -55 + a. Is -23 bigger than r?
False
Suppose -u + 6 = -2*b, -u + 3*u + 5*b = 12. Let m(y) = -7 + 2*y**2 - 3*y**2 - 324*y + 334*y - y**2. Let v be m(4). Are v and u non-equal?
True
Let i(n) = -n**3 - n**2 + 6*n - 9. Let w be i(-4). Suppose 5*d - 72 = 2*p, -d + 0 = -p - w. Which is smaller: 12 or d?
12
Let c = 0.168 - 0.068. Is c at most -528?
False
Suppose 2*j - 4 = -2*s - 6, -2*j = 3*s + 1. Is s > 24/13?
False
Let x = 209/10 - 41/2. Which is greater: -108/7 or x?
x
Let n be ((-4)/(-10))/(39/130). Let x be 0/((4*-1)/2). Let m be -2 - (1 + x - 4). Is n less than or equal to m?
False
Let r = 319 - 312. Is r bigger than -11?
True
Let w = -138 + 91. Let u = 51 + w. Which is greater: u or -0.5?
u
Let i(b) = 4*b + 33. Let q(c) = -4*c - 34. Let u(y) = 3*i(y) + 2*q(y). Let g be u(-8). Which is bigger: 3/28 or g?
3/28
Let l(g) = -g**3 - 4*g**2 + 4*g + 3. Let o be l(-5). Suppose 3*c + 4*j + 146 = 6*c, -c + 4*j + 46 = 0. Let k = c - 43. Is o smaller than k?
False
Let h = -0.35 - 6.55. Let g = 7 + h. Is -8 not equal to g?
True
Let l(b) = -b**3 - 8*b**2 - 14*b - 6. Let i be l(-6). Suppose -2*d + i - 8 = 0. Let z = 159/1675 + -1/67. Are d and z nonequal?
True
Suppose 5 = -4*a - a. Let j be 1/((-16)/(-12) + a). Let s = -2 + j. Which is smaller: s or 4/3?
s
Let f be (-565)/300 - -1*3. Let b = -6/5 + f. Let w be (-1)/(-7) + 30/(-70). Which is bigger: b or w?
b
Let n = -5.8 - -5.787. Let v = n + -1.187. Does v = 2/17?
False
Let u(d) = 8*d - 2. Let r(c) = 3*c - 1. Let g(v) = 11*r(v) - 4*u(v). Let k be g(1). Which is smaller: 2 or k?
k
Let z be 4/10 - 0 - (-248)/(-570). Which is bigger: z or 1?
1
Suppose 0 = 2*p - 0 - 2. Suppose i - 2 + 0 = 0. Let j be 0/(4*i/8). Which is smaller: p or j?
j
Let g = -204 - -219. Which is smaller: 14 or g?
14
Let j = -0.0405 + -0.0095. Which is greater: 11/13 or j?
11/13
Let c = -19 + 10. Let f = c - -5. Is f less than or equal to -0.5?
True
Let q be (236/(-36))/(1/(-6)). Is q greater than or equal to 38?
True
Let y = -179 + -415. Let l be y/(-143) - (5 + -1). Let m = 9/26 + l. Is m less than or equal to -0.03?
False
Let l = 4.7 - 4.712. Let o = l - -0.082. Which is smaller: o or 5?
o
Let r = 9.68 - 11.68. Which is smaller: r or 227?
r
Let l = 189 - 191. Which is smaller: 0 or l?
l
Suppose 0*s - 28 = -4*s. Let k(w) = -w + 18. Let l be k(6). Let d = s - l. Is d at least as big as -5?
True
Let p(g) = -g**3 - g**2 + g + 1. Let x be p(0). Let r be (5/(-10))/((-175)/600). Which is greater: r or x?
r
Suppose j + 4*v - 7 = 4, 0 = -j - v + 2. Which is bigger: j or -6/35?
-6/35
Let a be (1/(-79))/(3/6). Is a greater than or equal to 0?
False
Let j(o) = 10*o - 74. Let y be j(-4). Is y greater than -115?
True
Suppose -u - 4*u = -25. Suppose -h - u = -6. Let b = 137/3 - 46. Does b = h?
False
Suppose 0*d = d - 2. Let z be (-35)/45 - d/9. Let x be (28/(-21))/(3 + 124/(-12)). Is z greater than x?
False
Suppose 3*m - 4*m - 3*j + 7 = 0, -5*m + 5*j + 95 = 0. Let y be (2/12)/(17/(-51))*(-280)/10. Which is greater: m or y?
m
Suppose 11*g - 14*g = -375. Suppose -m = 4, 63 = 3*s + 4*m - g. Is s less than or equal to 67?
False
Let x = 33.4 + -61.2. Let t = 27 + x. Let m = 0 + t. Which is smaller: 0 or m?
m
Suppose -4*m = 2*v, 2*m = -2*v + 5*v. Let u = -18 - -15. Let r be (-54)/243*u/2. Are r and v nonequal?
True
Let p = 4 - 6. Let f = 6 + p. Suppose 0 = 2*n - 8, 2*n = -4*w + 12. Are w and f nonequal?
True
Let d(v) = v. Let h be (26 + -1)*(-8)/(-20). Let j be d(h). Let t = j + -9. Which is greater: t or -2/9?
t
Let v = -31 - -31. Let x = 0 - 0. Let l be 3 + (x/(-4) - 3). Is l greater than or equal to v?
True
Let i = 65 - 37. Let r = i + -28. Is r > -1/5?
True
Let p(b) = 2*b**2 + 19*b + 12. Let s be p(-9). Suppose -4*j - 2*i - 279 + 57 = 0, s*i = -j - 53. Is -57 greater than or equal to j?
False
Let k(y) = -y**3 + 6*y**2 + 4*y + 5. Let r be k(6). Let u = r - 495/17. Suppose -w + 5*g = 6, -23*g - 3 = 2*w - 24*g. Is w at least as big as u?
False
Suppose 0*u + 5*z + 15 = -2*u, -5*u + 5*z + 15 = 0. Suppose 0 = -2*x - u*x + 8. Suppose -m - 4*w = -5, -4*w = -x*m - 0*w. Is m at most as big as -2/5?
False
Let n = -770 + 788. Which is greater: n or 27?
27
Let g = 72 + -69. Suppose g*s - x + 34 = 4*x, s + 3*x + 2 = 0. Do -8 and s have the same value?
True
Let w(l) = 26*l + 157. Let f be w(-6). Are f and 24/121 unequal?
True
Let o = 1910631373/25212 + -833608/11. Let y = o - -2/191. Which is smaller: y or 1?
y
Let w(o) = 2*o**3 - 9*o**2 - 19*o + 11. Let h be w(6). Which is smaller: 30 or h?
h
Let n = -93.9 - -98. Let p = n - 4. Let q = -42.4 - -51.4. Which is smaller: q or p?
p
Suppose 5*i + 4 = 29, 65 = -4*t - 3*i. Let y = -18 - t. Suppose 0 = 2*l - r + 5, -r = y*r + 15. Is l greater than -5?
False
Let v be (-7)/(84/16)*-108. Suppose -v = 4*i - i. Which is greater: -47 or i?
-47
Let h(p) be the first derivative of p**5/60 - 8*p**3/3 - 6. Let i(f) be the third derivative of h(f). Let l be i(0). Which is greater: 2 or l?
2
Suppose t = -3*t - 4. Let u = -1407 - -4219/3. Is u at least t?
True
Let w be (180/(-6))/(3/2). Let v = 19 + w. Which is bigger: 0 or v?
0
Let c = -0.0483 - -0.0483. Do 408 and c have different values?
