ose b*h - 3*r = 13, 3*h - 5*h + 5*r + 3 = 0. Is h at least 4?
True
Suppose -5*h = 2 - 2. Is 2/137 not equal to h?
True
Let i = 15.01 + -0.01. Let d = i + -15.8. Which is bigger: 1 or d?
1
Let y(q) = -16*q**2 + 10*q**3 + 3*q**3 - 1 + 12*q + 4. Let d(r) = -3*r**3 + 4*r**2 - 3*r - 1. Let x(j) = 9*d(j) + 2*y(j). Let s be x(3). Is -3 not equal to s?
False
Suppose -5*r = 3*r + 56. Let h(v) = 2*v - 1. Let n be h(-3). Is r equal to n?
True
Let j = -4/9 + 1/9. Let c = -215 + 215.2. Which is smaller: j or c?
j
Let u be (-1)/(-3) + 17/3. Let n(w) = w**3 + 6*w**2 + 6. Let a be n(-6). Suppose a*t - 2*t - 24 = 0. Does t = u?
True
Suppose 3*l - 4*m - 64 = 0, 0 = -2*l - m + 28 + 11. Suppose 5*n + l = -w, 4*n = -4*w + n + 5. Let v be 7 - 4/(-10)*-5. Is w less than or equal to v?
True
Let b(m) = 7*m - 3. Let k be b(-12). Let s = k - -1480/17. Which is bigger: 0 or s?
s
Let u = -41 + 40. Let g = 7/13 - 163/351. Which is smaller: g or u?
u
Suppose -o - a - 1 = -0*a, -4*a - 2 = 2*o. Which is smaller: o or -11/5?
-11/5
Let x be -1 + (9/6 - 0). Let d be (4 + -1)/3*2. Which is smaller: d or x?
x
Let q(f) = f**3 + 21*f**2 - 26*f - 88. Let v be q(-22). Let s be (-388)/(-330) + (-2 - -1). Let o = s - -14/33. Which is smaller: o or v?
v
Let a = -0.1 + 1.5. Is a >= 0.1?
True
Suppose 8*b - 5*b = 0. Let s(w) = w**2 + 8*w + 2. Let i be s(-8). Is b at most as big as i?
True
Let c = -0.08 - 0.42. Which is smaller: c or -1?
-1
Let b(t) = -2*t - 47. Let u be b(-23). Which is bigger: u or -3/4?
-3/4
Suppose 0*q - 5*q = -120. Let z = q + -73/3. Is z less than -0.4?
False
Suppose -10 + 28 = 3*f. Let h = 33 - 18. Suppose 0*z + h = 3*z. Is z at least as big as f?
False
Let v be (-8)/6*(-4)/8. Let a = -1 + 1. Suppose a*x + 2*x = 0. Is x >= v?
False
Let n = 1/4 + -11/12. Let d(b) = -b**3 + b**2 + b. Let t be d(0). Suppose t = -s - 2 - 0. Which is smaller: s or n?
s
Let a be 4 + (68/(-35) - 2). Which is smaller: a or 1?
a
Let u(m) = m**2 + 10*m + 15. Let j be u(-8). Which is bigger: -2/65 or j?
-2/65
Let o(m) = m**2 + 9*m. Let h be o(-9). Let t = 4981/4340 + -3/620. Which is bigger: h or t?
t
Let p = 3 - 3.4. Let u = p - -2.4. Suppose -3 = -3*r - 4*a, -r + 0*a = a - 1. Which is greater: r or u?
u
Suppose -4*p - 6 = -6*p. Which is smaller: 11/7 or p?
11/7
Let b(u) = u**2 + 7*u + 8. Let y = -14 - -10. Let f be b(y). Is -5 smaller than f?
True
Let u(t) = t**3 - 6*t**2 - 8*t + 4. Let a be u(7). Let r be 2 - (6/a - -1). Which is smaller: r or 0?
0
Let r(j) = -4*j**2 - 3*j - 5. Let m be r(-2). Do -16 and m have different values?
True
Let k = -10931/335 - -163/5. Let f = k + -124/335. Let o(q) = q**2 + 3*q - 4. Let x be o(-4). Is x bigger than f?
True
Let p be 10/(-8)*50/5. Which is smaller: -13 or p?
-13
Let n be 134/200 + 2/(-2). Let w be 2 - ((-92)/100 + 3). Let o = w - n. Which is greater: 0 or o?
o
Let s = 2 + 10. Suppose 0 = -p + 4*o + 19, s = -2*p - 4*o - 10. Is p < -2/11?
True
Let p(t) = t**2 - 6*t - 14. Let w be p(8). Which is smaller: w or 3?
w
Let f = -322 - -5801/18. Let z = f - 49/306. Which is smaller: z or 1?
z
Let s = -5 - -5. Suppose 2*d + s*d = -12. Let t be 4/(-6)*d/(-14). Do t and 0 have the same value?
False
Let z be (77/(-66))/((-1)/4). Which is greater: z or 5?
5
Let x(f) = f + 1. Let n be x(3). Which is smaller: 9 or n?
n
Let a = -4.3 - 0.7. Let u = -6.1 - a. Are 1/3 and u nonequal?
True
Suppose 0 = 4*a - 2*l - 8, 4*l = -3*a + 6*l + 7. Let r be (-7)/(323/(-10) - 0). Let t = -3/19 + r. Which is greater: a or t?
a
Let y = 5 - 4.9. Let x = 3.6 + -1.6. Is x at most y?
False
Let r be -2 + (-46)/(-9) - 2. Suppose -5*m = -6 + 1. Suppose -2*s = -s - m. Which is greater: s or r?
r
Let k = 26 - 24. Suppose 0 = k*h - 4. Is h at least 2?
True
Suppose -3*b = 3*u + b - 17, 1 = -3*u + 5*b. Suppose u*s + 0*s - 15 = 0. Do s and 2 have different values?
True
Let d(w) = w**2 - 26*w - 1. Let p be d(26). Is p not equal to -0.071?
True
Let i = -0.2 - 1.8. Let k = 531.1 + -564. Let b = 33 + k. Is i at most as big as b?
True
Let o = -1 - -2. Suppose o = y - 5. Let q be (-3 + -1)*y/(-12). Which is greater: q or -1?
q
Let w = 4 + 2. Let n be -2 - 2*(-9)/w. Suppose 0 = -2*r - g - 0*g - n, 0 = 4*r + 4*g. Is r >= 1/4?
False
Let o(j) = -j**2 - 8*j - 8. Let w(r) = r + 1. Let g(u) = o(u) - 2*w(u). Let l be g(-10). Let d be l/(-15) + (-8)/9. Are 1 and d non-equal?
True
Let x = 11 - 7. Are x and 5 unequal?
True
Let h = -90 + 1891/21. Which is smaller: h or 1?
h
Let l(t) = -3*t - 3. Suppose -3*m - 10 + 1 = 0, 22 = -5*s - 4*m. Let k be l(s). Suppose j - 4*j = -k. Is j less than or equal to 1/6?
False
Let y be (42/9)/(2/9). Let k be (0 + 3)/(y/28). Are 5 and k equal?
False
Let p be ((0 - -1) + -1)/(-1). Let n be 0*(0 + (-3 - -2)). Is n >= p?
True
Let q = 9 - 3. Let z = q + 0. Which is smaller: z or 2/3?
2/3
Let f be 1*(0 + 0)*1. Suppose 2*b = -8, i - 2*i + 4*b + 18 = f. Is 4 at most i?
False
Let h be -5*(2*-1 + 3). Let n be 0 + -1 + 6 + -4. Let m be n/h + 0/(-2). Which is bigger: 1 or m?
1
Let c(s) = -3*s - 4. Let x be c(-3). Let f be 4/(-10) + (-3)/x. Let m = 268/5 + -54. Which is bigger: f or m?
m
Let k = 21 + -32. Is -12 at most as big as k?
True
Let r(i) = 8*i**3 + i**2 - 2*i + 5. Let g be r(-4). Let k be (6/(-39))/(-2)*g. Let z = k + 37. Is 1 less than z?
False
Let g(q) = 5*q. Let y be g(1). Suppose 2*u - 1 + y = 0. Is -1 > u?
True
Let j(a) = -a**3 - 16*a**2 - 16*a - 10. Let i be j(-15). Let d be (-12)/(-3) - (0 + i). Let w be -2 + 16/14*2. Is w at least as big as d?
True
Let z(h) = 2*h - 32. Let i be z(23). Is i < 15?
True
Suppose -u = -1 - 3. Let h = u + -1. Let t be h*3/(-3*3). Which is smaller: t or 2/11?
t
Suppose -3*h - 5*n + 26 = 0, h - 4 = -3*h + n. Let p = h - 3. Let q be (0 - -1)*15/(-9). Which is bigger: q or p?
p
Suppose 0 = -0*n + n - 2. Let k = n - 6. Let v be (-18)/20 - k/8. Which is bigger: v or 0.1?
0.1
Suppose -17*s + 27 = -16*s. Which is smaller: s or 26?
26
Let r(v) = v**3 + 3*v**2 + v - 1. Let x be r(-2). Let s = -111 - -558/5. Which is smaller: s or x?
s
Let x = -67/3 + 889/39. Let o = x - 16/91. Let g(h) = h**3 - h + 1. Let y be g(0). Is y greater than o?
True
Let q be 2 - (-694)/(-7648)*22. Let l = q - -1372711/28680. Let g = l + -48. Which is smaller: g or -0.1?
g
Let c(a) = a + 6. Suppose -4 = -2*n + 8. Let x be c(n). Is 12 bigger than x?
False
Let x(j) = j**3 - 7*j**2 + 7*j - 6. Let s be x(6). Let c = 17 + -18. Let k be c/(-4) + (-6)/4. Is s smaller than k?
False
Let u = 17 - 10. Is u smaller than 7?
False
Let l be 0 + -4 + (-630)/(-157). Let g = 268/3611 + l. Is 0 >= g?
False
Let b be (-8)/6*(-3 - 0). Suppose 2*v = -6, -u - b*v - 10 = 2. Let x = 2 - u. Is x >= -1?
True
Let n be 12/(-22)*(-1)/(-51). Let m = n - -758/935. Is m at least as big as 2?
False
Let n = -0.1 + 0.2. Let i = 1.02 + -0.02. Let o = i + -2. Which is smaller: o or n?
o
Let s = -109 - -103. Suppose 3*g + 2 + 0 = -2*d, 3*d - 3 = -3*g. Let p be (0 - -1)/(g/20). Which is smaller: s or p?
s
Let r be 11/10 + (-9)/6. Which is smaller: 1 or r?
r
Let d = -3 - -4. Let c(a) = 4*a**2 - a + 1. Let r be c(1). Let q be (-56)/126*(-2)/r. Is d equal to q?
False
Suppose 0 = -4*n + 7 + 1. Suppose -3 + 1 = -n*z. Let x = -1 + 2. Is x greater than z?
False
Let c = -950359/4994 + 2/12485. Let u = -190 - c. Which is greater: -1 or u?
u
Let l(q) = -7*q**3 + 4*q**2 + 9*q + 9. Let f(m) = -10*m**3 + 6*m**2 + 13*m + 13. Let n(r) = 5*f(r) - 7*l(r). Let y be n(3). Is 2/11 less than y?
False
Let n = -72/5 - -14. Let c = 0.02 + -0.03. Let l = 0.71 + c. Is n >= l?
False
Let j(p) = -p**3 - 11*p**2 - 20*p - 8. Let a be j(-9). Is 12 <= a?
False
Suppose 5*w - w = -16. Is -3 < w?
False
Let r be (-80)/32*(-4)/10. Which is smaller: r or 2?
r
Let j(g) = -g + 3. Let d be j(0). Suppose 2*q + 24 = -q - 3*h, 9 = -d*q + 2*h. Let i be q*(-2)/(-3 - 3). Which is smaller: -3 or i?
-3
Let v be 2/(-2 + 4)*4. Suppose 0 = 5*z + 2*b - 16, -2*z + 4*b = 3*z - 28. Is z greater than v?
False
Let k be ((-1)/(-26))/(2/740). Let c = k + 96/91. Let i = c + -15. Is i at least as big as -0.1?
True
Let a be (33/(-18) - -2)*2. Which is bigger: 7 or a?
7
Let v = 174/803 + -2700061/12848. Let m = -210 - v. Are m and -1 equal?
False
Let t = -0.04 - -4.04. Is -1/5 <= t?
True
Let m be (-148)/(-8) + 3/(-2). Is m >= 17?
True
Let m = -1.7 - -1.8. Are m and 10 non-equal?
True
