lse
Let i(d) = -d**3 - 6*d**2 - d - 7. Let o be i(-6). Which is smaller: o or 1?
o
Let u = 9224/255 - 43/85. Are 36 and u non-equal?
True
Let a be (19 - 20 - (-6)/(-248)) + 1. Is 1 < a?
False
Let q = 5 - 4. Let a be 4/(-12)*0/q. Is a at most -1/6?
False
Let o = 0 + 0.12. Let r = 2.12 - o. Which is bigger: r or -1/2?
r
Suppose -5*y = -25, y - 10 = j - 5. Suppose -10 = -6*c + 4*c. Let r = -5 + c. Is r <= j?
True
Let g be (-4)/18 - (-330)/27. Let l be (-4)/10 - g/(-5). Let b be (-17)/(-5) - l/5. Which is bigger: 2 or b?
b
Let k = 109.9 - 126. Let g = k - -14. Let q = -2 - g. Is q at least 1?
False
Suppose -4 = -s - 5. Are s and -1/13 non-equal?
True
Suppose 57 - 7 = -2*a. Let w be 7/(-10) + (-5)/a. Is 0 not equal to w?
True
Let z = -0.09 - 7.91. Is z < 0?
True
Let f = -10 - -22. Let a be f/(-10) - (-6)/30. Is -2/25 at most a?
False
Let o = 24 + -27. Which is greater: 0 or o?
0
Let m = -12 - -11. Is -4/9 bigger than m?
True
Let y = -1143998 - -28594398/25. Let q = 222 + y. Suppose o - 15 = 2*o - 4*s, 5*o - 5*s + 15 = 0. Which is greater: o or q?
o
Let u be (1 + 2)*(2 + -51). Let h be (-154)/u - (-12)/(-9). Which is greater: 1 or h?
1
Let y(x) = x**3 + 8*x**2 + 7*x - 1. Let p be y(-7). Let t = -12 + 6. Let w be -1 - (15/t - p). Which is smaller: 2 or w?
w
Suppose -5*t - 10 = 5. Is t not equal to -4/3?
True
Let s = 11/5 + -13/5. Are -7/12 and s non-equal?
True
Let k be 543/(-87) + 2 - 4*-1. Is -1 greater than or equal to k?
False
Let f be (-10)/(-4*1/2). Suppose f*n = -2*g - 55, g + 55 = -5*n + 4*g. Is -11 at most n?
True
Suppose 0 = -2*r + 6*r. Suppose r*y = -2*y. Which is smaller: y or 2?
y
Let n be (44/(-15) + 3)/((-6)/10). Is n != 0.02?
True
Let f(j) = -j**2 - 8*j - 7. Let d be f(-7). Suppose -x = -d + 1. Is x at most -2?
False
Suppose -3*q - 5 = 2*q. Is q <= 1/24?
True
Suppose 0 = -5*o + 10, 4*r - 3*r + 4 = -4*o. Let h be (8/(-6))/(8/r). Suppose -2*g + 2*x = -6*g - 6, -g = 5*x + 15. Which is greater: h or g?
h
Let a be (-60)/(-9)*21/49. Are 1/2 and a equal?
False
Suppose -3*y - 8 - 1 = 0. Let h be 0 - y/(27/2). Which is smaller: -1/2 or h?
-1/2
Let c be (-3 - -5*3)/2. Suppose -3*a - c = -3*v, a + 0 = -1. Which is smaller: 0 or v?
0
Suppose 7*l - 4*l = 3. Suppose l = t - 0. Which is smaller: 3/7 or t?
3/7
Let w = 50 - 24. Let s = 27 - w. Is s smaller than -2?
False
Let u = 24 + -24.6. Let d = 0.13 + 0.07. Is d >= u?
True
Let j(q) = q**3 + 7*q**2 - 3*q - 9. Let m be j(-7). Suppose -3 - m = -5*p. Suppose 7 = p*y + 25. Is -7 less than or equal to y?
True
Suppose -3*i + 8*i - 10 = 0. Let p be i/(-2)*(-15)/(-40). Which is bigger: 1 or p?
1
Suppose 2*n + 14 = -0*n. Let p be (-1)/((-1)/2) - (-10)/(-5). Which is greater: p or n?
p
Let p(q) = -q**2 + 3*q + 5. Let v be p(4). Suppose -1 = -5*i - 3*k, 0 = 5*i - 0*k - 2*k - 16. Which is smaller: i or v?
v
Let a = -23 - -15. Let m = a + 7. Let d = -107/66 - -4/33. Is m <= d?
False
Let d be (-17)/51 + (-5)/12. Which is smaller: d or 1/3?
d
Let a be (-1)/(-4) + (-63)/12 + 2. Is -0.2 < a?
False
Let l = 8990 - 773131/86. Let i = -325/1462 + l. Is i < 1?
True
Let c = -0.26 - 0.04. Let n = c - -0.32. Which is greater: 0.1 or n?
0.1
Suppose -k + 6 = -2*p - 0*p, p = 3*k - 8. Let q = 2.02 - 0.02. Let r = -1 + q. Is r != p?
True
Suppose 5*y - 80 = -5*w, 5*y = -9*w + 6*w + 38. Is w < 21?
False
Let w(b) = b**3 - 4*b**2 - 1. Suppose -s + 13 = 3*s - 3*u, -s = -3*u - 1. Let y be w(s). Is -4/3 equal to y?
False
Let w = 184 + -2394/13. Is 5 greater than w?
True
Let n = -621/2996 - 3/428. Which is greater: -1 or n?
n
Let d be (4 + (-6)/3)/12. Which is bigger: d or 0.01?
d
Let j = -92 - -142. Which is bigger: 51 or j?
51
Let r = -8 - -13. Let w = -6 + 2. Let m = w + r. Which is smaller: m or 6/11?
6/11
Let i = 0.86 - 0.8. Let c = -0.11 + 0.11. Is c smaller than i?
True
Suppose 0*g + 5*q = -3*g + 81, -4*q - 135 = -5*g. Do 27 and g have the same value?
True
Let i = -15 - -36. Let f be 1/(i/90*3). Is 2 bigger than f?
True
Let k = 1 - 1. Let x = -165/2 - -81. Is k < x?
False
Let y = -57 - -57.1. Are 2 and y equal?
False
Let a = -24 - -21. Is -5/3 < a?
False
Suppose -59*v = -56*v + 42. Which is bigger: -13 or v?
-13
Let o(l) = l + 9. Let k be o(-10). Is k less than -6/11?
True
Let o = -3 - -4. Let j = 125 + -126. Is o at most j?
False
Let h = -60 - -59. Which is bigger: h or 0.3?
0.3
Let b(o) = -o**2 - 4*o. Let r be b(-4). Let y(u) = u - 7. Let h be y(8). Let x = h - 0. Are x and r nonequal?
True
Let f(p) = 4*p. Let i be f(4). Let d be (54/i)/((-24)/(-16)). Which is smaller: 3 or d?
d
Let f(b) = b**2 + 2*b + 1. Let w be f(0). Is w smaller than -0.4?
False
Let s = 29 + -40. Which is smaller: s or 0?
s
Let o be (-4)/(-7)*(-21)/(-30). Let l be ((-4)/10)/((-3)/30). Suppose -2*m = l, 5*x + m + 2 = -0. Is o less than x?
False
Let d(s) = -4*s + 12. Let n be d(3). Which is smaller: -3/41 or n?
-3/41
Suppose 3*u + 5*d = -5, 13 = 2*u - 4*d - 13. Suppose p - 2*p = u. Does -4 = p?
False
Let o be 7/(-49) + 16/14. Do o and 2/43 have different values?
True
Let w = -8 + 10.6. Let v = w - 3. Let o = v - -2.4. Is o <= 1?
False
Let j = -45.6 - -38. Let m = 1.6 + j. Let b = m - -8. Is b < 2/9?
False
Let h = -3 - -2. Let w be ((2 + -2)*h)/(-1). Let a = 1/4 - -1/4. Which is bigger: a or w?
a
Let n = 30449/5 - 6048. Let v = -43 + n. Which is smaller: 0.1 or v?
v
Let k be -1*5*(-294)/10. Let r = k + -1031/7. Which is bigger: r or 1?
1
Let a be 5/1 + (-12)/6. Let i be a/2*(-24)/(-18). Suppose 6*m + 12 = i*m. Is m < -3?
False
Let z = -8 - -8. Suppose 3*k + 150 = 3*m, -4*m + 2 + 2 = 0. Let c = 199/4 + k. Is z at most c?
True
Let g = 3/82 + -261/410. Suppose -4*c = 18 - 2, -8 = z + 2*c. Suppose 4*w - 2*w = z. Is g != w?
True
Let z = -5 - -4.7. Let q = z - 0.1. Which is bigger: 0.1 or q?
0.1
Suppose -1 = -5*m - 4*t + 15, 0 = -5*m + 3*t - 12. Let d be 12/(-66) + (-142)/(-176). Which is smaller: m or d?
m
Let p be (-2*(-1)/2)/(-1). Let u be (-2)/(3 + p) + 2. Is 3/2 at most u?
False
Let n be (-2)/(-16) + 1127/(-56). Is -20 greater than n?
False
Let o = -2.9 + -0.1. Let q(f) = f**3 + 12*f**2 - f - 14. Let k be q(-12). Is o at least k?
False
Let a = -1543/12 - -373/4. Suppose 5*h = 9 + 166. Let o = a + h. Which is smaller: o or 0?
o
Let a = -5.3 - 0.7. Let z = a - -5. Let t = 326/5 - 65. Is t > z?
True
Let a be 15/(-13) + (-2)/(-13). Let i be a - (-3)/(24/10). Is i bigger than -0.2?
True
Suppose -5*q = -u + 32 - 344, -3*q + 4*u = -177. Suppose c + 0*c = 3*d - q, -4*c - 63 = -3*d. Let v = 29 - d. Which is smaller: v or 7?
7
Let k = -4 - -8. Let b = 8 - k. Is 0 less than b?
True
Suppose -10*z = -7*z + 9. Let g = -9487/7 + 1353. Is z > g?
False
Let z(o) = -o**2 - 8*o - 4. Let n = -4 - 2. Let h be z(n). Is h less than or equal to 9?
True
Let p(a) = -a**2 + 5*a + 10. Let s be p(7). Let v = -3 - s. Let o(h) = h**2 - 7*h + 4. Let y be o(6). Does y = v?
False
Let g(o) = -5*o - 15. Let p be g(-3). Is p not equal to 3/17?
True
Let i = -1 + 0.9. Let n = 26.7 + -27.9. Which is bigger: i or n?
i
Suppose 5*l + 2*n - 17 = 0, -6*l = -2*l + 5*n. Suppose 4*u + 16 = -5*o, -2 = 2*u + l*o - 4*o. Let c be 2/(4/(-2)) - -1. Are u and c equal?
False
Let z = 0 + -3. Which is greater: z or 0.1?
0.1
Suppose 4*h - 2*h = 0. Suppose h = 2*a + a + 9. Which is bigger: -3/2 or a?
-3/2
Let c be (1 - 1)/((-1)/(-1)). Suppose -20 = -c*s + 5*s. Let d be s/63 - 6/(-21). Is -1 bigger than d?
False
Let j(l) = 0*l**3 - 2 - 6*l**2 - 3*l**3 + 4*l**3 - 5*l**2 - 12*l. Let d be j(12). Is d at most as big as -4?
False
Let k be (30/(-405)*-9)/((-10)/3). Let b = 5 + -3. Which is smaller: k or b?
k
Let y = 0 + 0. Is -9 > y?
False
Suppose 0 = -n - 1, -4*z = -4*n - 4. Which is smaller: 1 or z?
z
Let a be (32/(-12))/((-2)/3). Suppose -a*r = 2*w - 38, 52 = 5*r - 0*w - 2*w. Suppose -g + r = -6*g. Which is smaller: -3 or g?
-3
Let z = 42.6 - 38. Let c = z + -1.6. Which is greater: c or 0?
c
Let j = 287 + -3160/11. Let o = -2/33 + j. Suppose 4*q = -3 - 1. Which is greater: q or o?
o
Let i = 0.19 - 0.29. Do 9 and i have the same value?
False
Let u = 32.6 - -2.4. Let z = u + -24. Is -1 < z?
True
Let b(p) = -4*p**2 + 6*p - 5. Let a(m) = 7*m**2 - 12*m + 9. Let x(v) = -3*a(v) - 5*b(v). Let s be x(6). Is s less than or equal to -1?
True
Suppose a + 2*a - 1 = 5*w, 25 = 3*a + w. Let m be 18/1 + 0/(-3). Let q be a/9 - (-4)/m. I