 2*y = 3*n - 8. Suppose o + 2*d = -0*o + 4, -d = o - n. Which is smaller: h or o?
o
Let p = -5913 + 106399/18. Let n be -34*1/9 - -2. Let l = n - p. Is l at most as big as -1?
False
Let n be (2 - 4) + -51*2/(-57). Which is smaller: 1 or n?
n
Let m = 103.83 - 104. Which is smaller: -4/5 or m?
-4/5
Let s be (-10)/65 + (-3176582)/130. Let a = s - -24332. Let m = a - -103. Is 1 at most as big as m?
False
Let k = -123 - -863/7. Is 8 at least k?
True
Let u(k) = k**3 - 2*k**2 - 4*k + 3. Let o be u(3). Which is smaller: 7/5 or o?
o
Suppose 3*k = 2*n + k + 120, n + 63 = 2*k. Which is bigger: n or -59?
n
Suppose -60 = 4*c - 9*c. Suppose 5*b - c = -a, 4*b - 20 = -4*a - 4. Which is greater: 3 or a?
3
Let a = -74 - 10. Let y = 1090/13 + a. Suppose -4*m - m = 0. Which is smaller: y or m?
y
Let v = 7 + -6. Let q = v - 0.6. Is q less than 2/7?
False
Let n(b) = -b + 2. Let v be n(3). Let k = v - -1. Let t = 2 + k. Which is greater: 0 or t?
t
Suppose 5*l - 30 = -5. Are l and 3 equal?
False
Let m be 3 + (3 + 250/(-34) - -1). Which is smaller: -1 or m?
-1
Suppose -o + 30 = 4*o. Let l = -21 + o. Let j be -2 - (1 - (-42)/l). Is j <= 1?
True
Let l = -1 - -1. Let a be l/(-1) - 4/10. Which is smaller: 0 or a?
a
Let x(g) = -g + 4. Let l be x(4). Suppose l = -5*v + 9 + 11. Is 2 bigger than v?
False
Let l = 2.21 + -2.1. Let o = l - 0.06. Is o > -0.1?
True
Suppose -l + 20 = -0*l + 2*x, 40 = 2*l - 5*x. Suppose 3*z + 2*z + l = 0. Which is bigger: -2 or z?
-2
Let v be 32/144 + (-140)/306. Is -1 greater than v?
False
Let x = 10 + -5. Suppose -x*c = -c. Which is smaller: c or -2/5?
-2/5
Let b be -2 + 42/11 - 2. Let p = -19/44 - b. Let t be (-3)/(-1*3) - 0. Which is smaller: t or p?
p
Let o = 1587 - 1601.02. Let r = -14 - o. Which is bigger: 3 or r?
3
Let y = -62 - -188/3. Let u(l) = -l**2 + 8*l - 7. Let t be u(7). Are t and y non-equal?
True
Let z = -21.8 + 21.6. Let r = -5.9 - -0.9. Do z and r have the same value?
False
Let s = 15 - 15.12. Let q = s - -0.42. Which is greater: -1 or q?
q
Suppose 0 = -5*v + 10*v - 180. Is v smaller than 35?
False
Let d = -525646 + 15266613/29. Let p = d - 789. Which is smaller: 0 or p?
p
Let b = 64.9 - 65. Does b = -25?
False
Let s(f) = -3*f**3 + f**2 + f + 1. Let y be s(-1). Is 4 > y?
False
Let r = 99/4 + -1873/76. Is 1 bigger than r?
True
Let o = -0.94 + 1. Let a = -0.14 - o. Let r be 4/(-26) - 80/(-182). Is a <= r?
True
Let t be 4/(-4)*1 - 1. Let v be 3/(-36) - t/6. Which is greater: v or 1?
1
Let p = 9 + -9.09. Let g = p - -0.05. Is -1 bigger than g?
False
Let f = 744/535 - -1/107. Is f at least 0?
True
Let p(h) = -h**2 - 13*h + 48. Let g be p(-16). Which is greater: g or 4/27?
4/27
Let k be (-8)/(-6)*(-36)/(-24). Is -15 less than or equal to k?
True
Let f = 0.06 - -0.01. Let y = -0.17 + f. Is 0.3 <= y?
False
Let z be (-168)/(-78) - (0 - -2). Is z equal to 1?
False
Suppose 4*n = -4*q - 20, -4*q + 0*n - 23 = n. Which is greater: q or -3?
-3
Let x be 15/24 - (-4)/(-32). Which is greater: x or 25?
25
Suppose 0*l + 70 = 2*l. Which is greater: -1 or l?
l
Let f(b) = -b**3 + 6*b**2 + 3*b + 2. Let g be f(3). Is g greater than 37?
True
Suppose 61*h - 62*h = -3*x, 3*x - 2*h = 3. Let v be 2*((-20)/22 + 1). Which is bigger: v or x?
v
Let x(p) = 2*p - 4. Let r be x(4). Let h(c) = c - 7. Let z be h(r). Is -2 >= z?
True
Let g = 12 + -13. Which is bigger: -1/3 or g?
-1/3
Suppose -2*j - 5 = -3*j. Suppose -5*s + 0 = j. Which is bigger: -1/5 or s?
-1/5
Suppose 230 = -5*d + 5*p, -2*d - 3*d + 4*p = 235. Is -51 less than d?
False
Let z = -78 + 73. Is z not equal to 0?
True
Let x = 3/2 + -7/4. Which is bigger: -1 or x?
x
Let c(q) = q - 8. Let j be c(10). Let m = j - -1. Let l = -2 + 4. Which is bigger: m or l?
m
Let g be (9 - (2 - 3))/2. Is g at most 5?
True
Let g be 39/6*(1 + 1). Suppose -5*v + g = -2. Is 4 greater than or equal to v?
True
Let b = 16 - 11. Suppose a = -b*i - 32 + 6, -3*i = 5*a + 42. Which is greater: a or -5?
-5
Let s(o) = o**2 - 11*o + 11. Suppose -3 = n - 13. Let k be s(n). Which is greater: 1/4 or k?
k
Let n(q) = -6*q**3 - q**2 + 1. Let m be n(-1). Suppose 8*b - 3*b + 20 = 0. Let u be (-9)/(-12)*b/m. Which is bigger: u or 1?
1
Suppose -3*d - 2*d = -20. Suppose -d*n + 3 = -7*n. Which is bigger: n or -3/5?
-3/5
Let g be (-2)/4*-4 + -94. Let p be (-1)/(-4) + g/(-16). Suppose -o = 3*o - 20. Are o and p equal?
False
Suppose -m - 31 - 1 = 2*s, -s - 14 = m. Is s at most 0?
True
Let j be 3 + (-4 - 3/9). Which is bigger: j or -1?
-1
Let g = 12/7 - 50/21. Which is greater: 0 or g?
0
Let o = 87 + -70. Which is greater: 18 or o?
18
Let l(b) = b**2 + 16*b + 13. Let h = -35 + 20. Let g be l(h). Which is smaller: -7/5 or g?
g
Suppose -5*b + k + 29 = 0, -k = -2*b + 2 + 12. Let o = b + -5. Is o >= -1/5?
True
Let g = -11 + 10.93. Let k = -0.01 - g. Let j = 0.36 - k. Which is smaller: 0 or j?
0
Let b(d) = -11*d**3 + d**2 - d - 1. Let m be b(-1). Let t be 2/180*(-387)/m. Let g = t - -1/40. Is g less than 0?
True
Let s = -54 - -51. Is s bigger than -21/8?
False
Let a be -6*-2*1/6. Let b(f) = 3*f. Let q be b(1). Which is smaller: a or q?
a
Let z = -20 - -18. Is 0.8 != z?
True
Let c(g) = 2*g**2 - 5*g - 12. Let b be c(4). Which is smaller: b or -3/26?
-3/26
Let s be 1 - (-12 + 3 - -2). Let v = s - 10. Let f be (v/(-3))/((-160)/(-24)). Is f greater than 0.1?
False
Let l = -0.3 + -0.2. Let r = l + 0.6. Let k = 0.3 - 0.3. Which is bigger: k or r?
r
Let d = 0.2 + -0.28. Let i = -1.08 - d. Is -1/3 greater than i?
True
Suppose 3*i - 6 = -72. Is i at least as big as -22?
True
Let u = 10/31 + -12/31. Is u > 1?
False
Let v be (-22655)/(-180) + (-1)/(-4). Suppose -250 = -5*x + 380. Let r = v - x. Which is greater: r or 0?
r
Let m(t) = 2*t**2 - 2. Let z be m(-2). Are z and 8 nonequal?
True
Let f = -2 - -1.92. Let h = 1.92 - f. Which is greater: h or 0.1?
h
Let d be (0 - 1)*(2 - 1). Suppose -2*h = -61 - 79. Let c be 20/h + 40/(-91). Which is bigger: c or d?
c
Suppose 2*c - 6 = -m, 4*m - 28 - 8 = 4*c. Let z be 1 - m/(5 + -1). Which is smaller: -5/3 or z?
-5/3
Let n = -0.1 - -4.1. Let w = n - 1. Is w greater than -4?
True
Let c be 28/10 + (-2)/1. Suppose 0 = -n - 0*n + 2. Is n smaller than c?
False
Let w = -42 + 32. Which is smaller: 3 or w?
w
Let n be (-1 - 0)/((-7)/2). Let x = -73 + 72. Is n greater than x?
True
Suppose -11*r - 453 = 603. Which is greater: r or -95?
-95
Let q = 6 + 2. Let c = -0.1 - -0.1. Is q greater than or equal to c?
True
Let y(t) = -t - 1. Let i be y(4). Suppose -4*f + 2*w - 10 = 0, -2*f = f - 3*w + 3. Is f less than i?
False
Suppose -6*t - 7 + 1 = 0. Which is bigger: -3/23 or t?
-3/23
Let m = -6 + 18. Let z = -18 + m. Which is bigger: -7 or z?
z
Let p = -3728/25 + 149. Which is bigger: p or 0?
0
Let k(w) = w**3 + 12*w**2 - 14*w - 16. Let u be k(-13). Let a be 4*-2*u/(-12). Is a greater than or equal to -2?
True
Let c be 3/6*2 - -2. Suppose c*w = -15 - 21. Let z be (-5)/w + 1/4. Are 0 and z unequal?
True
Let g = -11 + 11.3. Which is greater: g or -3?
g
Let c = 11 + -44. Which is smaller: -32 or c?
c
Suppose -8 = -d - 0*d. Let p(z) = -z**2 + 9*z - 3. Let t be p(d). Suppose 2*u + 3*q = 5*q + 6, -29 = 2*u + t*q. Is u bigger than -3?
True
Let s = 0 - -1. Let d = 12 + -8. Suppose 0 = 3*n - 4*h + 17, -d*h + 7 + 12 = -n. Is s > n?
False
Suppose -2*g = 2*i - 4*g + 60, 0 = -4*i + 5*g - 121. Let k = 19 + i. Let x be 4/k - 27/(-5). Is x bigger than 4?
True
Suppose -40 = -6*q + q. Suppose q*w - 4*w = -24. Let i be w/(-27) - (-32)/18. Is i bigger than 2?
False
Let d(k) = -k**3 - 3*k**2 + 2*k + 4. Let l be d(-4). Let t be ((-6)/l)/(1/(-2)). Which is smaller: -2/43 or t?
-2/43
Let c be (-3)/(-7)*1412/(-6). Let z = c - -101. Which is greater: z or 1?
1
Let n = -10/571 - -3023/74801. Is 0 equal to n?
False
Suppose 5*j = -171 - 74. Let y be ((-28)/j)/((-6)/(-14)). Which is greater: 0 or y?
y
Let z = -3 - -7. Let v = -19 - -27. Let s be z/(-14) - v/(-28). Is 1 at least as big as s?
True
Let f(b) = -b**3 - 8*b**2 - 15*b + 1. Let l be f(-5). Which is bigger: 4/9 or l?
l
Let r = 12.5 - 12.7. Is -2 greater than r?
False
Let k = 7.3 - 13.3. Let c = -3 - -7. Let s = k + c. Does s = 1/3?
False
Suppose -2*i - 20 = 2*i. Is i bigger than -5?
False
Let c = 0.6 - 0.8. Let j = 8 + -3. Let k = j + -2. Which is smaller: c or k?
c
Suppose -4*c + 5*g - 31 = 12, 5*g = -4*c - 53. Are c an