alse
Let r = 0.167 - 0.267. Let c = -27.962 + 28. Which is smaller: r or c?
r
Let h = 3816 - 3815.6. Suppose 12 = -4*f, -5*n - 8 = 5*f + 17. Let p = -5 - n. Which is smaller: p or h?
p
Let a = -0.87 - 0.13. Let h be (36/(-14))/((-66)/28). Is h greater than or equal to a?
True
Let b be 21/(-14) - (-15)/2. Suppose b*x - 2*x + 4 = 0. Let i be (0 - x) + -1*1. Which is smaller: i or -1/3?
-1/3
Let j be 8*(4/2)/1. Let f(p) = 2*p**2 - 3*p + 16. Let y = 62 + -62. Let a be f(y). Is j at least as big as a?
True
Let c(v) = 2*v - 2. Let b = -7 + 12. Let y be c(b). Let k = 4763 + -4755. Are k and y nonequal?
False
Let a(x) = -153*x + 1 - 156*x + 307*x - 5*x**2. Let n be a(-2). Which is smaller: n or -13?
n
Let u be 36/(-27)*-9*1. Let l = -4 + 2. Let m be l/u + (-51)/126. Which is smaller: m or 0?
m
Let r(d) = -3*d - 78. Let g be r(-15). Is -33 at least as big as g?
True
Let s = -0.16 - -0.04. Let t = s + 0.09. Let r = 0.13 + t. Which is smaller: -2/5 or r?
-2/5
Let s = 315 - 315.93. Is 0 at most s?
False
Let d be ((-63)/(-18))/((-1)/2). Let j = -30 + d. Is -37 less than j?
False
Let m(u) = u**3 + 7*u**2 - 10*u - 11. Let t be m(-8). Suppose -15 + 0 = t*w. Let v = 4 + w. Do v and -2/37 have the same value?
False
Let z be -4 + 7 + -2 + -2. Let l be 2105/(-705) + z + 4. Let c = -104/705 + l. Is c less than 1?
True
Let a = -10/1267 + 5287/509334. Which is smaller: 1 or a?
a
Let v be 12/9 + -2 + 803/(-33). Let a = v + 36. Is 10 not equal to a?
True
Let y(k) = -k**2 + 8*k + 22. Let q be y(0). Let l be (-354)/(-14) + (46/(-14) - -3). Does q = l?
False
Suppose -48 - 56 = c. Let k be (-234)/c*1/21*-2. Which is greater: -1 or k?
k
Let g be 5 - (2408/42 + 4/6). Is -54 at most g?
True
Let x = 2.9 + 0.1. Let c = -140 + 6. Let n = 136 + c. Are x and n unequal?
True
Let o be (-2226)/126 - 18 - ((-6 - -1) + -1). Suppose 31 = 4*b - 5*b. Are o and b nonequal?
True
Let f(t) be the first derivative of 15*t**2/2 - 30*t + 2. Let m be f(4). Which is bigger: 31 or m?
31
Let m(j) = -j**3 + 4*j**2 + 6*j - 1. Let a be m(5). Let w = -56541/5 + 11313. Which is greater: w or a?
w
Suppose -7*b + 13 = -1. Suppose 2*l + 4 = 4*g, 0 = b*g + 2*l + 4 - 0. Suppose -2*x + 3*o + 5 = g, -4*x - 2 = -3*o + o. Do -17/5 and x have the same value?
False
Let k = -20 + 29. Suppose 3*w = 6*w + 9. Let q = w + 12. Is q != k?
False
Let b = -27 - -23.1. Let z = -3.75 - b. Which is smaller: -1 or z?
-1
Let t = 36 + -25. Which is smaller: t or 10?
10
Suppose 0 = 5*r - 0 + 30. Let k be -5*3/r*2. Suppose -5*o - p = 5, -k*o = -2*o + p + 3. Which is smaller: o or -2?
-2
Let q be 3*1 - 357/(-17). Let y = 13 + 11. Is q greater than y?
False
Let w = -92/1159 - -101665/302499. Let k be 15/10 - (-85)/(-58). Let j = w - k. Which is smaller: j or -2/5?
-2/5
Let f(l) = -4*l - 16. Let m be f(-3). Let g = -39 - -93. Let k be (m/(-6))/(156/g). Which is bigger: -1 or k?
k
Let h be 1 + ((0/3)/3)/(-2). Let i be 7/21*((22 - h) + -2). Which is smaller: 6 or i?
6
Let i = -392 - -463. Which is smaller: 73 or i?
i
Let a be ((-6)/(-15))/(5/(-25)). Let b be (9/((-27)/(-6)))/a. Which is bigger: -0.18 or b?
-0.18
Let c be -2*1/4*-2. Let q = 1 + 5. Let b = 5.7 - q. Which is smaller: b or c?
b
Let x = -26 + 49. Let b = 0.274 + -23.074. Let g = x + b. Which is bigger: -3/4 or g?
g
Let b be ((-24)/(-9))/((-6)/9). Let r = -30 - b. Let z = 10 + r. Which is smaller: z or -15?
z
Let y(f) = f**3 + 10*f**2 + 9*f - 1. Let c be y(-9). Let d be -3 + (3 - c/8*-10). Which is smaller: 0.5 or d?
d
Let a = -2974/7 + 342136/805. Let w = 12/115 + a. Which is bigger: 0 or w?
w
Let c be -3 - 0 - 17/(-6). Let l = -1/30 + c. Which is bigger: l or 0?
0
Suppose -5*n - i - 137 = -4*i, -4*i = 4. Is n less than -41?
False
Suppose 0 = 5*i - 30*i - 25. Is -2/923 >= i?
True
Let y = -1 - 1. Let m be y*(4/8 + 0). Let l be (-4)/(-18) + 2/(-252). Is m greater than l?
False
Let a be (1 - -2) + -18*2. Suppose -o - 34 = -0. Which is smaller: o or a?
o
Let m(d) = d**3 + 15*d - 33 + 15 + 15 + 8*d**2. Let z be m(-4). Let q = -4/3 + 35/24. Which is greater: q or z?
z
Let u(c) = 23*c**2 + 14*c + 5. Let q be u(5). Is 650 less than q?
False
Let m = -0.7 + 5.7. Let p = -1.2 - m. Let k = p - -7. Is k smaller than -1?
False
Let y = 14 - 6. Let c be y/(-44) - 4/(-22). Suppose 2 = -8*d + 2. Is d bigger than c?
False
Let d(l) = l + 5. Let w be d(-4). Let h = -281/52 + 21/4. Which is bigger: w or h?
w
Let y be -3 - (1 - (4 - 4)). Let f be (-2 - y)/2 - 15. Let u be 66/84 + 4/f. Is u greater than or equal to -2/3?
True
Let l = -4.49 + 4.39. Is l less than or equal to 0.091?
True
Let h be 3/(-9) - (-367)/426. Let k = -10831/1136 + 153/16. Let o = h - k. Does -1 = o?
False
Let f = -21 - -8. Let k = -12 - f. Let q = k - 0.6. Which is bigger: -1/5 or q?
q
Let z(a) = a**2 + 7*a + 5. Let j be (0 + (-3)/(-6))*4. Suppose u + 0*u + 4 = 0, -j*u = o + 14. Let p be z(o). Which is smaller: p or 2/53?
p
Let j be ((-11)/(-22))/(1/8). Suppose -j*u = 2*v - 176, 3*u - 19 - 115 = -v. Is 47 equal to u?
False
Let l = -32 + 23. Let w be (1246/(-72))/(-7) + 2/l. Let x(p) = -p + 6. Let g be x(5). Which is smaller: w or g?
g
Let t = 87 + -89. Let i be (1/t + -1)/((-1)/4). Which is greater: i or 72/11?
72/11
Let b(d) = -d**3 - 5*d**2 + 7*d + 9. Let m be b(-6). Suppose 31*c - 34*c - m = 0. Which is bigger: 0 or c?
0
Let n(z) = -z**3 + 2*z**2 - 3*z + 3. Let a be n(2). Let f = -26 - 10. Let l = f - -32. Which is bigger: l or a?
a
Let h = 663/287 - 42/41. Suppose 10*z - 8*z = -9*z. Suppose z = 40*c - 45*c + 5. Which is smaller: c or h?
c
Suppose -5*i - h = -2*i + 6, 4*i = 5*h + 11. Let b be ((-16)/(-18)*-1)/((-40)/(-12)). Which is greater: i or b?
b
Suppose 3*y - 8*y - 325 = 0. Let b be (-10)/y - (-6)/(-39). Let c = -2/1779 - 5299/33801. Is c < b?
True
Let x be (1 + 29/(-33))/(38/456). Which is smaller: x or 0?
0
Let x(l) = l**2 + 9*l - 5. Let a be x(-8). Let s be (468/8)/a*2/(-12). Is s bigger than 3?
False
Let l be 28/3 - 7/(105/(-10)). Suppose 11*i = l*i. Which is greater: -2/97 or i?
i
Let a(l) = -10*l + 69. Let o be a(7). Let k = -4 + 2. Let d be (-4)/4 + (k - o). Which is smaller: d or 2?
d
Suppose -134 = -5*z - o, -24 = -z - o - 2*o. Suppose 0*d + 60 = -5*a - d, -2*a = d + z. Which is bigger: a or -8?
-8
Suppose 4*a + 336 + 8 = 0. Let r be 3 - a/(-6)*(-6)/(-26). Let h(o) = -o**2 + o + 1. Let l be h(-1). Is l equal to r?
False
Let i be (-4)/(-16) + 6/8. Let l = -5 - -5. Let c = l - -2. Which is bigger: c or i?
c
Suppose -184*s + 232 = -176*s. Which is smaller: 324/11 or s?
s
Let x = -17.54 - -16.9. Let t = 0.74 + x. Let u = 2.2 + -2.29. Is t less than or equal to u?
False
Suppose -1 = -2*y + 3. Suppose 2*l - 24 = -5*z, -3*z = -y*l + z + 24. Let b(h) = 3*h**3 - 2*h**2 - 5*h + 6. Let u be b(2). Is l smaller than u?
False
Suppose -255 = -4*c - 5*i, 2*c - 52 = -2*i + 74. Let h be 4 + ((-243)/c - 0). Is h equal to 0?
False
Let i be (1239/(-590))/(((-45)/(-6))/3). Is i at most -2?
False
Suppose 0*u = u + 2*u. Suppose u = 4*n + 3*n. Which is greater: 4/37 or n?
4/37
Let t = 3.72 - -3.28. Which is greater: t or 2?
t
Let n = 6 - 8. Let b be 46/(-10) - n/(-5). Let p(d) = -d - 6. Let h be p(b). Is -0.4 > h?
True
Let q be (-10)/((-3)/((-3)/(-2))). Suppose 5*f = 3*r - 219, r - 146 = -r + q*f. Let x = r - 149/2. Which is bigger: x or -3?
x
Suppose 0 = 2*j - j. Suppose j = -2*n + 10*n - 40. Suppose 4*y - 2*c - 8 = 0, -n*c - 11 = -y - 0*c. Do 2/23 and y have the same value?
False
Suppose -q + 2*o = 34 - 11, -5*o + 29 = -q. Let p be (-32)/(3 - 1) - 9/3. Does q = p?
True
Suppose 0 = -10*v + 207 - 247. Suppose p - 2*r = -0*p - 6, 2*p + 3*r + 33 = 0. Let h be ((-2)/p)/((-2)/40). Is h less than v?
False
Let q = 1744.1 + -1663. Let p = 78 - q. Is -0.2 <= p?
False
Suppose -15 - 4 = -3*u + q, 4*u - 24 = q. Let v(w) = -w**3 + 5*w**2 - w + 3. Let x be v(u). Let b be 1 + -9 + (x - -1). Which is greater: -10 or b?
b
Suppose 5*i + 4*f + 11 = 0, -4*i - 2*f - 141 = -131. Suppose -n + 2*d = -0*n + 17, -3*d - 24 = 3*n. Is n <= i?
True
Suppose -12*x + 11*x - 3*h = -37, -4*h = 2*x - 66. Which is smaller: 99/4 or x?
99/4
Let n be (4/130)/(2/(-3 + 13)). Let q = n + -92/91. Are q and -1 non-equal?
True
Let p(n) = 119*n - 7. Let o be p(1). Which is smaller: 111 or o?
111
Let p be (-7 + -12 + 31)*(-1)/2. Is p < -12?
False
Let u(r) = -10*r - 1. Let d