
False
Let v = 0.005 - 1.005. Let f = 12/7 - 22/21. Which is smaller: f or v?
v
Let k(o) = o - 2. Let v be k(-4). Let j = 4 + v. Let x be (-1)/4 + (-1)/4. Which is smaller: x or j?
j
Suppose 0 = q + 2*d - 3, -5 = -3*q - 3*d + 1. Which is smaller: q or 2/27?
2/27
Let k = -0.4 + 1.4. Let l = 168/235 + 4/47. Is l <= k?
True
Let z = -23 + 60. Let i = -26 + z. Which is bigger: 23/2 or i?
23/2
Let d(u) = 2*u + 0*u**2 + 2*u + u**2 - 4. Let s be d(-5). Suppose -18*z = -19*z. Which is greater: z or s?
s
Let n = -2 + 1.8. Let m = -0.459 - -0.359. Which is smaller: m or n?
n
Suppose 0 = 5*s - 3*t + 26 - 66, -5*s = 4*t - 5. Suppose 0*h - h - y = -1, h = -s*y + 21. Is h greater than -4?
False
Let x be ((-42)/5)/((-182)/(-35) + -5). Which is greater: x or -128/3?
x
Let o = 3 - 2. Is o < -13?
False
Let a = -328/2415 - -2/805. Let g(s) = -2*s**3 + 2*s - 1. Let t be g(1). Which is greater: a or t?
a
Let m(y) = 5*y**3 - 2*y + 12. Let z(x) = -4*x**3 - x**2 + 2*x - 11. Let t(g) = -5*m(g) - 6*z(g). Let d be t(6). Let q be 4/(-21)*d/4. Is q bigger than 1?
False
Let j = 5/101 + -1004/1919. Let p = j + -11/57. Which is greater: p or 0?
0
Let j = -12.8 - -12.8. Let n = -12 + 7. Which is smaller: n or j?
n
Let z = 14 + -11. Let q(m) = m. Let j be q(4). Let g be (z/j)/((-21)/(-12)). Which is greater: g or 1?
1
Let o(y) = 2*y - 1. Let f be o(1). Let u = -794 - -8728/11. Is u greater than f?
False
Let q be 1/((-4)/8*-1). Suppose 3*b + q*c - 6 = 1, 1 = -c. Is 11/4 greater than b?
False
Suppose t + 2*d = -7, 5 = -2*t - 3*d - 4. Let c = -1 + 4. Are c and t non-equal?
False
Let q = -6.1 + 6. Which is bigger: 30 or q?
30
Let n be 1/(0 - 1) + 3. Let c(l) = -3*l**2 + 3*l - 1. Let p(k) = k**2 - k + 1. Let f(q) = -c(q) - 2*p(q). Let u be f(n). Is u at most 1?
True
Let p = 2 + -1. Let t = -8/5 + p. Is t less than -2/7?
True
Let r = 5/6 + -29/30. Which is smaller: r or 1?
r
Let q(p) = p**2 + 5*p - 10. Let o = -2 - 5. Let n be q(o). Suppose 0*y + y - 3 = 0. Is y smaller than n?
True
Let m = -0.2 + 0.3. Let j = -0.9 + -3.1. Let y = -5 - j. Is y less than or equal to m?
True
Let z = 27 + -27. Are -5/9 and z non-equal?
True
Let m(q) = -4*q**3 - 4*q**2 + 4. Let t be m(-2). Let x = -21 + t. Which is greater: x or 1/3?
1/3
Let o = -5600822/523 + 10709. Let t = -14942/7845 + o. Let b = t + 8/5. Are -3 and b nonequal?
True
Let i = -2.6 + 23.6. Is i bigger than 1?
True
Suppose -5 = c + 4. Let k = c - -13. Let p(d) = d**3 - 7*d**2 + 8*d - 8. Let y be p(6). Is y at most k?
True
Let n = -0.3 + 0.4. Let g = -3 + 6. Which is smaller: n or g?
n
Let g = -205 - -206. Is 44 < g?
False
Let u(l) = -l - 7. Let x be u(-5). Is -2 bigger than x?
False
Let o = 87 + -90. Is o at most as big as -35?
False
Let f = 23 + -23. Which is greater: f or -7/11?
f
Let r be (2/10)/((-104)/20). Let v = 1/78 - r. Which is greater: 0 or v?
v
Let t = -2.47 + 2.6. Is t less than 1?
True
Let n be 7/(-63)*(5 + -2). Let f(z) = -z**2 - 4*z - 3. Suppose 3*q + 9 = -0*q. Let c be f(q). Which is smaller: n or c?
n
Let g be 2*(21/3 + -2). Let k be ((-4)/g)/((-4)/20). Suppose -k*q - 2 + 12 = 0. Which is smaller: q or 6?
q
Suppose -2*u = 5*o + 2 - 0, u + 1 = 0. Is o less than -35?
False
Let v = -9 + 8. Let f(o) = -o**2 + 9*o + 1. Let b be f(7). Suppose -l = -6*l - b. Does l = v?
False
Let g = 13 + -7. Let z be (g/(-14))/((-18)/(-12)). Which is greater: -2 or z?
z
Let l = 3 + -5. Let b = l + 1. Is b at least as big as 1?
False
Let m be (-1)/(-2*(-2)/8). Let o = -254/225 - -6/25. Is o != m?
True
Let q(n) = 3*n**2 + 16*n + 10. Let c(x) = -x**2 - 5*x - 3. Let t(l) = -8*c(l) - 3*q(l). Let j be t(-7). Suppose -z + j = -0*z. Are z and 3/2 non-equal?
True
Let n be 0/3 + 6/(-15). Which is greater: 2 or n?
2
Let z be 108/23*(-6)/(-9). Let q = z + -366/161. Let n be 96/45 + (-4)/30. Are n and q nonequal?
True
Let a(g) = 2*g**2 + 8*g - 1. Let c(y) = y**2 + 4*y - 1. Let u(f) = 4*a(f) - 9*c(f). Let q be u(-5). Do q and 1 have the same value?
False
Let y = 0.8 - 3.8. Let f = 3.5 + y. Let i = -0.7 + f. Is 1/3 < i?
False
Let q = 5 - 4.87. Let i = q - -2.87. Is i < 3?
False
Suppose 3*b = -2*b. Suppose -2*x = -3*s + 531, -2*x - 3*x - s = 1319. Let y = -1845/7 - x. Which is smaller: b or y?
b
Let g be (2 - 1)*(-10)/(-2). Let w = -9 - -12. Suppose w*l - 17 - 1 = 0. Which is smaller: l or g?
g
Let r(d) = -d**2 - 5*d + 12. Let m be r(-6). Is m != 8?
True
Let l be 9/(-24) + (-595)/(-1288). Which is greater: l or -1?
l
Let r(g) = -g**2 - 6*g - 5. Let a be r(-2). Is 8 >= a?
True
Let p = 7 - 3. Let f be 15/(-2)*p/(-20). Which is smaller: f or 2?
f
Suppose 0*d = -5*d + 55. Which is smaller: d or 10?
10
Let d = 114 - 110. Are -5/3 and d equal?
False
Let a = -1358849/39 + 34845. Let v = a + -2/39. Which is bigger: 4 or v?
4
Let b be -2*3*(-1)/2. Let n be (4/(-2))/((-4)/24). Let p = -8 + n. Is p at most as big as b?
False
Let p = -75.49 + 76. Is p bigger than -0.1?
True
Let n(x) = x**2 - 3*x + 3. Let v be n(2). Let o = 2 - v. Is o at least as big as 5?
False
Suppose 3*r + 583 = 1600. Let b be 0 + -1 + r/(-9). Let j = 39 + b. Which is smaller: j or 0?
0
Let h = -19 - -17. Are h and -0.1 equal?
False
Let t = -1757 + 54462/31. Are t and -1 non-equal?
True
Let v(d) = d**2 + 4*d - 2. Let h(u) = -2*u**2 - 9*u + 4. Let x(o) = 6*h(o) + 13*v(o). Let b be x(3). Let p = 118 + -117. Is p less than b?
False
Let k = 519/4 - 16057/124. Is 1 smaller than k?
False
Suppose a = -4*a. Let x be -1 + a*3/(-9). Is x at most as big as -1?
True
Let t be 2/(-2 - 7/(-3)). Let q be (-4)/2 + 419/t. Let n = 68 - q. Are -1 and n unequal?
True
Let j(g) = -g - 11. Let o(f) = f + 0 + 2*f + 7. Let v be o(-5). Let k be j(v). Is -2 <= k?
False
Let p = -5.7 - -0.7. Let v = p + 3. Which is smaller: v or 1?
v
Let p be 2/(-21)*-6 + 0. Let v be 7 - (-2 - -2*2). Let b(c) = c**3 - 5*c**2. Let x be b(v). Are p and x equal?
False
Let v = 51/20 + -9/20. Which is bigger: 2 or v?
v
Suppose 7 = p - 9. Let k = 9 - p. Let l be -6*(3/(-3) + 2). Which is smaller: k or l?
k
Let u = -12335/11 - -1120. Is 0 at least as big as u?
True
Let k = -8 + 11. Let c = -2 + k. Is c at most 0?
False
Let o = -1468/63 + 174/7. Does o = 1?
False
Let n(p) = 2*p - 9. Let s be n(9). Is 10 <= s?
False
Suppose -8 = -3*x + v, -x + 2*x - 5*v = 12. Let u be 2 + x/3*-3. Let c be (3 - u)/(-51)*-2. Is 0 != c?
True
Let c = -78 - -76. Which is greater: -3/26 or c?
-3/26
Let s = -81 - -647/8. Which is bigger: 1/3 or s?
1/3
Let r = -0.8 + 1.1. Let g = 4 - -5. Let m be -1 - (-3 - (-12)/g). Is m != r?
True
Let t be ((-6)/(-8))/((-3)/(-8)). Suppose 2*q = 2 + t. Let f be -1 - (-4)/1 - 2. Which is bigger: q or f?
q
Let d = 1327377/2 - 771207281/1162. Let b = 6/83 - d. Are b and 1 equal?
False
Let p be (-4)/26 + (-2)/(-13). Let g be 1*-3 - (-1 - p). Is 1 < g?
False
Let g = -0.09 + 0.09. Let l = -6 + g. Let n = 3 + l. Which is smaller: n or 0.3?
n
Let x = -11 + 16. Suppose 5*z - x*p + 15 = 0, 2*z - 3*p = -0*p - 9. Suppose l = -z*l + 4*s - 20, 2*l - 4*s + 20 = 0. Which is smaller: -2/3 or l?
-2/3
Let z = -0.02 + -1.98. Let j = -4.1 - -2.2. Let l = j - z. Which is smaller: l or 0?
0
Let t = -200 + 7002/35. Which is bigger: 0 or t?
t
Suppose -4*h + d = -25, -4*d - 15 = h - 0*d. Suppose -4*q + 80 = -h*o, 41 + 1 = 2*q - 3*o. Suppose -2*w + w + 3*l = 5, -5*w = -5*l + q. Is w > -2?
False
Suppose -3*d = -6*d + 9. Suppose 4*m - d = -27. Is m bigger than -5?
False
Suppose 3*x + 11 = -5*c, c - 5*x - 3 = -3*x. Let q be ((-10)/(-6))/(c/(-3)). Let v = -5 + q. Is v < -1?
False
Let t = -57/7 - -47/7. Is t > -1?
False
Let t be ((-1)/19)/(2 - 1). Let h = -33 + 33. Which is smaller: h or t?
t
Suppose 5*l + 3 = 6*l - 4*h, 4*l + 4*h = 12. Let w be 2/(-1)*9/(-6). Is w < l?
False
Let d be (-1)/(((-10)/12)/5). Suppose d*q = 2*q. Suppose 0 = 4*s - q + 8. Is -3 != s?
True
Let i(t) = 3*t**2 - t**3 + 1 + 0*t**3 - 2*t - t**2. Let o be i(2). Is -2 greater than or equal to o?
True
Let m = 27/2 - 14. Let n = -12 + 35/3. Which is smaller: n or m?
m
Let h = 37 - 37.38. Let r = 1.4 + -1.1. Let q = h + r. Which is bigger: q or 1/4?
1/4
Suppose 10*h - 15*h - 5 = 0. Which is bigger: h or 2/13?
2/13
Let f be -1 - 8/(96/819). Let d = -70 - f. Which is bigger: d or -0.2?
-0.2
Let u be (0/(-1))/2*1. Suppose 4*t - 3*t = u. Is t > -2/25?
True
Let f be 0 - (156/16 - -3)*-4. Is f less than or equal 