lse
Let c be (-200)/350 + 374/(-7). Is -54 != c?
False
Suppose 35 - 100 = f + 3*n, -4*f = 2*n + 210. Is f less than or equal to -50?
True
Suppose -4*o + 3*o + 4*r = -14, 64 = 2*o + 4*r. Is o smaller than 25?
False
Let g(a) = 0*a + 1 + 9*a - 3*a - 3. Let c be g(2). Which is bigger: 9 or c?
c
Let d be (2/4)/(3/(-6)). Is -2/41 bigger than d?
True
Let q = -11 - -61/5. Which is smaller: q or 2?
q
Suppose 4*z - 5*f + 25 = 0, 3*f - 9 = -3*z + 6. Suppose -1 = -4*l + 3*l. Is z smaller than l?
True
Let c be (-102)/30 - 4/(-10). Let a be c - ((-5 - -2) + -5). Is a >= 4?
True
Suppose -5*o + 3*o = -10*o. Is 1/202 greater than or equal to o?
True
Let l = 61/133 + -6/19. Is l > 2/3?
False
Let l = -7/80 + 11/16. Let q(g) be the first derivative of -g**2/2 + 10*g + 1. Let m be q(8). Is l != m?
True
Suppose 2*w + g - 5 = -0*g, 2*w = 2*g + 14. Is 8 less than w?
False
Let u = -6 + 9. Which is bigger: 7/2 or u?
7/2
Let b(w) = -w**3 - 11*w**2 - 10*w + 9. Let v be b(-10). Let d be v/3*(-60)/(-9). Let l be (d/(-4))/(-1*3). Are l and 3 non-equal?
True
Let m be (-6)/(-1 + (-4)/8). Suppose -3*s - 2*s + 4*i + 25 = 0, 4*i = -m*s + 56. Is 9 at least as big as s?
True
Let t(b) = 3*b + 4. Let l be t(3). Let o = l - 6. Is o > 7?
False
Let w = 259 + -507/2. Is 5 >= w?
False
Let i(x) = 5*x + 16. Let k be i(-3). Is -7.3 greater than or equal to k?
False
Let y = 0 - -2. Suppose n - y = -n. Let i = -56 - -57. Does n = i?
True
Let y(n) = 2*n**2 + 2*n. Let o be y(-2). Let j be (o + -2)*(-1 - 0). Are 0 and j equal?
False
Let g = 0.3 + -0.2. Let v = -155 + 155.02. Is g < v?
False
Let y = 0.53 + 0.07. Suppose 5*f + 103 = -0*f - 2*j, -3*j = -f - 24. Let p = f + 85/4. Is y > p?
True
Let t be 15/(-35) - (-9)/21. Let y = 24/5 + -183/35. Which is smaller: t or y?
y
Let w = 0 - 0. Which is smaller: -2/13 or w?
-2/13
Let h = 0 - -1. Let g be 9/(1 + -2*h). Let k be (1 + 3/g)/(-4). Which is smaller: 0 or k?
k
Let q be (-1)/2 - ((-6)/(-4))/3. Which is greater: -36 or q?
q
Let p = -10 - -10. Suppose 0 = -p*m - m - 1. Which is smaller: m or -1/6?
m
Let x = 744 + -26038/35. Is 0 != x?
True
Let d = -49 - -50.3. Which is smaller: d or 1?
1
Let p be (2/(-3))/((-6700)/(-855)). Let n = p - 1/67. Which is greater: 1 or n?
1
Let a(l) = l - 1. Let f(h) = h + 4. Let g be f(-9). Let w be 6/15 + (-8)/g. Let n be a(w). Which is greater: 0 or n?
n
Suppose 1 = 5*t - 114. Suppose -2*x + 3*y = -4*x + t, -5*y - 20 = -5*x. Do 7 and x have the same value?
True
Let b be (-2)/9 + 6/(-27)*-2. Let k = 0.3 - 0.2. Is k smaller than b?
True
Let d = -7 - -6. Suppose 3*b - 3*u - 1 = -4, 0 = -2*b + 3*u - 1. Is d at most as big as b?
False
Suppose 0 = 2*x - 3*x + 3*l + 164, 896 = 5*x + 4*l. Let z be 12/x*2*2. Are z and 0 equal?
False
Let v be (0 - 1)/((-2)/10). Let n(z) = z**3 - 5*z**2 - 2*z + 6. Let k be n(v). Let a be (-6)/k*(-2)/(-3). Is a less than 1/2?
False
Let v be (-15)/(-75) - 2/5. Which is smaller: v or 3?
v
Let i be -3 + 3/(-3) + -96. Are -100 and i non-equal?
False
Suppose -4 = -0*k - 4*k. Do -0.5 and k have the same value?
False
Let q be (-1)/1 + 52/46. Let j = q - -25/161. Is 0 less than j?
True
Suppose a - 3*a = -a. Is -4/5 at most as big as a?
True
Let a = -2 + 1. Let j be 2 - 1 - (-6)/(-7). Is a at least as big as j?
False
Suppose g + 1 = 2*g. Which is smaller: -2/17 or g?
-2/17
Let z = -0.76 + -0.24. Which is smaller: 0 or z?
z
Let y(m) = -m**3 + m**2 + m + 2. Let q be y(0). Suppose q*a + 1 + 0 = -r, 0 = -2*r + 5*a - 2. Let c = -1/2 - r. Is c not equal to 0?
True
Let g(f) = -f - 2. Let u be g(7). Let k = u + 7. Are k and -2 equal?
True
Let t = -1.8 - -1.7. Let d be 3 + (-2 - -3) + -7. Which is greater: t or d?
t
Let d = 419/278 - 1/139. Is d greater than -2/3?
True
Let m = -88 - -89. Which is smaller: 24 or m?
m
Let c(i) = -i + 10. Let h be c(5). Is 5 < h?
False
Let n(p) = p**2 + 6*p + 2. Let v be n(-5). Suppose 0 = 4*a - 0*a + 2*r + 12, 4*a = 4*r - 12. Do v and a have different values?
False
Let j be 12*2/(-12)*2. Let p be 2*(0 - 81/(-6)). Suppose 7*x = 3*z + 2*x + p, -4*z = 4*x + 4. Is j < z?
False
Let g be ((-3)/6*-1)/((-1)/2). Let l(f) = -2*f**2 - 2*f + 2. Let b(i) = i - 1. Let n be b(-1). Let x be l(n). Is x not equal to g?
True
Let k(y) = y**2 + 5*y - 3. Let m(j) = -j + 9. Let i be m(6). Let x be k(i). Are x and 20 nonequal?
True
Let b = 388/13 + -6106/195. Is -2 bigger than b?
False
Suppose 8*b = 6*b + 4. Is b at least as big as 2?
True
Let h be (-6)/21 - (-19)/(-7). Let v = -11 - -7. Is v at most as big as h?
True
Let n = -4 + 3. Let g be -2*(1/(-80))/(-1). Let i = 7/40 - g. Is n less than or equal to i?
True
Suppose -5*m - j + 6 = -0, -m = -j. Suppose 2*l + 1 = 3. Let q be ((-2)/(-2))/(-3) + l. Which is greater: m or q?
m
Let v = -74 - -73.22. Let d = 0.7 + v. Let t = d - 0.92. Is t >= 2?
False
Let s = 124.7 + -118. Let c = 4.8 - s. Let y = c + 2. Which is smaller: y or 0?
0
Let i = -239 + 963/4. Let a = 12 + -11. Is i less than a?
False
Let y(d) = d**3 - 2*d. Let l be y(2). Let z = 8 - l. Does z = -1?
False
Suppose 4*m = -4, 3*m + 11 = 3*l - 2*m. Let r = -51/35 - -27/7. Is r greater than or equal to l?
True
Let j(k) = k**3 + 4*k**2 + 3*k. Let z(x) = x**2 - 5*x + 1. Let l be z(4). Let g be j(l). Suppose 0 = -4*y + 2*w - 4 + 2, -3*w - 2 = -y. Is y at most g?
True
Let l = -45/4 - -397/36. Is -1 greater than l?
False
Let k = 85.08 + -87. Let m = k - 0.08. Which is bigger: 0.2 or m?
0.2
Let a = 4770/17 + -14796149/52734. Let s = 5/94 + a. Is s at most as big as 0?
False
Let j = 27.1 - 30.04. Let s = 89 + -88.94. Let g = j - s. Which is smaller: -1 or g?
g
Let i(k) = -k**2 + 8*k + 1. Let y be i(8). Let h be (0 - (1 - 0))*y. Is -6/11 > h?
True
Let f = -169/12 - -59/4. Let s(i) = i**3 - 3*i**2 + i + 3. Let q be s(3). Let d(x) = -x**2 + 5*x + 8. Let u be d(q). Which is smaller: u or f?
f
Let w be 3/(-14) - 2/7. Let r(d) = 4*d**2 - 1. Let v be r(-1). Let x(y) = -y**2 + 2*y + 2. Let t be x(v). Which is smaller: w or t?
t
Let t be ((-111)/(-45) - 3)*5/(-2). Suppose -4*u - 4 = 0, -5*n + 3 = 5*u - 2. Let r be 2*(1 + 1)/n. Which is smaller: r or t?
t
Suppose 0 = 2*r - 4*f + 12, r = -3*r + 2*f - 6. Which is bigger: r or 1/7?
1/7
Let f = -0.16 - -0.11. Is -2 != f?
True
Let t be 1/(-4) - (-8247)/(-180). Let u = -46 - t. Which is smaller: u or 0?
0
Suppose -5*p - 6 = -c - 3*p, 5*c + 4*p - 30 = 0. Let z be 3*(122/c + -1). Let g = 405/7 - z. Is g at least as big as 0?
False
Suppose 0 = 2*u - 3*f + 10, -u + 45 = -4*u - 3*f. Let s(q) = q**3 + 12*q**2 + 9*q - 14. Let g be s(u). Is g at most 8?
True
Let v = -13 + 12.64. Let s = -0.06 - v. Let b = s + 0.7. Does 0.1 = b?
False
Let u = 3 + -2. Let s = 9.48 - 9.4. Which is greater: u or s?
u
Let x(z) = 2*z - 4. Let l be x(-7). Let q = l - -53/3. Is -4 < q?
True
Let q = 33 + -29. Which is smaller: 8 or q?
q
Let b = -15 + 12. Which is smaller: b or -2?
b
Let l be (-9)/(-16) - (-2)/(-8). Is 1 < l?
False
Let g = -3 - 6. Let i = g - -9. Which is bigger: i or 4/7?
4/7
Let g = 0.05 + 0.85. Let q = g + -1.1. Which is bigger: 0.2 or q?
0.2
Let r be (4/(-12))/(10/(-6)). Which is bigger: r or 0?
r
Let m = 9440 + -57167/6. Let h = m + 88. Which is bigger: h or 1?
1
Let b(q) = -q**2 + 4*q - 1. Suppose 3*a - 8 = -2*s - 3, 0 = 2*a - 4*s - 30. Suppose 0*o = a*o - 15. Let i be b(o). Which is smaller: 3 or i?
i
Suppose -5*v = -18 - 12. Let d be 28/v - 2/(-6). Is d at least 5?
True
Let k = -0.11 + -2.09. Let p = k + 6. Let v = p + -4. Is -1 > v?
False
Let r = 481/28 - 67/4. Let t be (-1005)/18*8/(-10). Let y = -45 + t. Which is greater: r or y?
r
Let l(i) = -6*i**2 - 35*i + 8. Let u be l(-6). Is -5 less than u?
True
Suppose -4*h = 4*b + h + 3, -24 = -5*b + 3*h. Let j(t) = -t**3 + 2*t**2 + 5*t - 3. Let x be j(3). Suppose x = -b*n - 0*n. Which is bigger: n or -1/7?
-1/7
Let s be 2/1*2/12. Let j = 7 + -1. Let p = j - 4. Is s equal to p?
False
Let o = 9.13 - 0.13. Is 3 smaller than o?
True
Let b(m) = m - 1. Let z be b(1). Let f be 0/(1 + (1 - z)). Let d = f - 1. Which is smaller: d or 2?
d
Let n = -11/16 - -173/112. Suppose -l - 2*l = 2*v + 8, -2*v - 5*l = 16. Which is greater: n or v?
v
Let d(y) = -y**2 + 4*y + 2. Let x be d(11). Let m be 4/(-6) + 85/x. Which is greater: 2 or m?
2
Let j(i) = i**2 - 18*i + 35. Let p be j(16). Suppose 0 = w + 4*w - 20. Is p > w?
False
Let q = -127.94 + 128. Do -2 