- -223/21. Do h and r have different values?
True
Let x = 25.8 - 27. Is -2 smaller than x?
True
Suppose 6*c - 50 = -56. Suppose 4*t = t. Does c = t?
False
Let i(s) = -s - 5. Let q be i(-6). Let d(x) = -x - 5. Let u be d(-3). Let j = 2 + u. Is q bigger than j?
True
Let j(z) = -z**2 - 2*z**2 - 5*z + 4*z**2 - 3*z - 1. Let w be j(8). Which is smaller: 2/13 or w?
w
Let n = -2 - -2. Suppose q = -n*q. Suppose 0 = 3*t + t. Is t at least q?
True
Let x = 0 + -3. Let h = x - -3. Is h at most as big as 0?
True
Let o be (-1 - 12/4) + 5. Let g be 0/(-3) + 4/(-14). Which is greater: o or g?
o
Let i = 5 + -1. Suppose 0 = w - i + 3. Is w > -2/27?
True
Let v(d) = -4*d**3 - 11*d + 6*d - 3*d**2 + 5*d**3 + 5. Let x be v(4). Which is smaller: x or 2?
x
Suppose 9 + 3 = 3*u + 3*z, 4*u = 2*z + 4. Suppose -3*n = 4*x - 9, -7*x = -5*n - u*x - 20. Which is smaller: n or -2?
-2
Let t be (-51)/18*-2 + -5. Is 87/4 at least t?
True
Suppose -3*k - 19 = -2*y, 3*y - 4*k - 26 = -0*k. Suppose 0 = -3*u + 5*h - 10, 0*u = -3*u - h + y. Is u != 2/15?
True
Let t be ((-3)/(-9))/((-1)/3). Which is greater: t or 1/22?
1/22
Let w = 11/4 + -67/20. Let r(d) = 6*d**2 + 6*d + 2. Let k(v) = 5*v**2 + 5*v + 2. Let b(o) = -7*k(o) + 6*r(o). Let h be b(-2). Is h <= w?
False
Let v(g) = -g**2 - g + 3. Let r be v(0). Let y be 0 + (0 - (-2 + r)). Let q = 85 + -257/3. Is y bigger than q?
False
Let u be (-14)/(-4)*(-2 + 0). Let f = u + 14. Suppose -3*a + 1 - f = 0, 0 = -5*j - 4*a + 2. Which is smaller: j or 4/7?
4/7
Let f = -1 + 6. Suppose f*d = -1 - 4. Which is greater: 0 or d?
0
Let q = -8.2 + 8. Let x = 22/15 + -256/195. Is q <= x?
True
Let n(c) = -4*c**3 + c - 1. Let a be n(1). Which is greater: -12 or a?
a
Suppose 5*g - a = 1, -3*a = 3*g + a - 19. Is 1/41 < g?
True
Suppose 4*w = -2 - 2. Let n = -9 + 8. Is w at most n?
True
Let i = 8.9 - 8. Let p = i + -0.6. Let u = 1.7 + p. Is u at least as big as 1/6?
True
Suppose 5*o = -0*o - 25. Suppose 4*f = -0*f + 5*p - 34, f + 5*p = 4. Which is smaller: f or o?
f
Let q be 2/3*-2*3/(-32). Which is smaller: q or -1?
-1
Let x(l) = -12*l + 12. Let w be x(5). Which is bigger: w or -47?
-47
Let x be 5/(-3) + (-4)/(-6). Let l be 1 - 1/x - -4. Suppose 5*v - 4*b - 9 = 6, 2*b + 25 = 5*v. Which is smaller: l or v?
l
Let m = -7 + 8.7. Let f = m - 1.9. Let l = -2.06 + 0.06. Which is bigger: l or f?
f
Let h be ((-456)/(-56))/(4/7). Let x = h - 71/4. Which is smaller: x or -4?
-4
Let p be -2 + (-20)/8*-1. Suppose -2*x - 2 = 0, 7 = 3*r - 3*x + 2*x. Is p at most r?
True
Let m be 3/(-5) - 32/5. Let k = m - -5. Let i = k - -3. Which is smaller: 0 or i?
0
Let t be 4 + ((-106)/26)/1. Is t not equal to -0.2?
True
Suppose 7*x - 4*n = 4*x + 18, -2*n = 0. Which is smaller: -1/3 or x?
-1/3
Let z(k) = -k**2 - 4*k - 2. Let b be z(-2). Suppose 11 = 5*f + m - 2*m, -19 = -5*f - m. Suppose -j + f = -1. Which is greater: b or j?
j
Suppose 0 = -0*j - 2*j + z - 3, 4*j - 5*z + 3 = 0. Suppose 3*l - 2*r = 7*l, 5*l = -3*r - 2. Let m be 4/(-16) - l/56. Is j >= m?
False
Let s(i) be the first derivative of i**3/3 - 9*i**2/2 - 9*i + 4. Let a be s(10). Let b be -1 + ((-2)/(-2) - -3). Is a <= b?
True
Let q be (-6)/(-9) - (-32)/6. Is 6 <= q?
True
Let d(s) = -s**3 + 5*s**2 - 2*s + 3. Let r be d(5). Let t be (-16)/r + 10/(-35). Which is greater: 0 or t?
t
Suppose 4*m + 3*y = -y, -y = 3*m + 2. Let u be 1*(-8)/(-2)*m. Is -2 bigger than u?
True
Suppose -11*j = -15*j - 56. Let r = j + 13. Is r >= -1/26?
False
Let o(f) = -f**2 - 6*f + 41. Let u be o(-10). Let k be -1 + -1 - 19/(-6). Which is smaller: u or k?
u
Let f(i) = -i + 8. Let a be f(8). Are a and -13 nonequal?
True
Suppose f - 82 = -76. Which is smaller: f or 29/5?
29/5
Let y be 1 + -2 - (2 + -5). Suppose 8 = 4*c - 5*l + 3*l, -y*l = c + 3. Suppose -5*t - 6 + c = 0. Which is greater: t or -2?
t
Suppose 3 = t + 2. Which is smaller: -3 or t?
-3
Let f = -0.05 + -1.95. Let g(p) = -p + 18. Let d be g(17). Which is smaller: d or f?
f
Let y be ((-20)/(-6))/(((-40)/15)/(-4)). Suppose 0 - 12 = -4*d. Suppose d*k - y*k = 0. Is k at least 1/3?
False
Let m = 49 - 49.1. Suppose 4*s + 3*f = 0, 2*f - 5 - 3 = 0. Is m at least as big as s?
True
Suppose -n + 3*m + 15 = -0*m, 20 = 3*n - 4*m. Suppose 4*x - x = n. Let k = 552 + -552.1. Which is smaller: k or x?
k
Let t = 0.1 - 0.4. Let x = t + 0.5. Let i be 1/6 - (-65)/(-156). Which is greater: x or i?
x
Suppose 0 = t + 4 - 3. Let q = -68/13 + 1182/221. Is t < q?
True
Let n = 6 - 4. Let b(p) = p + 2. Let m be b(5). Suppose m = 2*j + 3. Do j and n have the same value?
True
Let g(s) = s**2 + 6*s + 3. Let v be g(-6). Suppose -2*c + 2*p = 3*c - 40, v*c + 2 = -4*p. Let k be 2/(-3) - 2/c. Is -2 smaller than k?
True
Let b = -0.5 + 0.6. Let y = 0.1 - b. Let i(c) = -c**2 + 3*c. Let z be i(2). Is y equal to z?
False
Let u be 12/(-2)*(-12)/18. Suppose 0 = u*p - 14 - 6. Suppose -5*f + 4*v = 12 - 1, -p = f + 2*v. Which is bigger: -2 or f?
-2
Let q = -75.76 + 77. Which is greater: -1 or q?
q
Let p be (-4)/7 + (-3456)/(-7224). Which is greater: -0.1 or p?
p
Let z = -17 - -18. Suppose 2*q + z = -i, 3*i + 5*q + 3 = i. Which is greater: -3/10 or i?
i
Let c be (-2)/16*(-6)/(-12). Which is greater: c or 1/6?
1/6
Let b be (-27)/162 - 7/(-6). Which is smaller: 1/33 or b?
1/33
Let f be (-10)/15*6/(-202). Is f bigger than -1?
True
Suppose 4*q - 3*i = -36 - 201, -3*q + 2*i = 179. Let m be (-4)/18 - (-49)/q. Is m greater than or equal to 1/15?
False
Let l(p) = p**2 + 2*p + 2. Let n be l(3). Let b = n + -19. Which is greater: b or 2/5?
2/5
Let q(r) be the first derivative of 2*r**3/3 + 7*r**2/2 + 4*r + 3. Let k be q(-4). Let z be k/30*(-5)/18. Which is greater: 0 or z?
0
Suppose -m = 3*m. Let n be (3 - 3)/((-3)/((-6)/(-4))). Are m and n equal?
True
Let d(i) = i**2 + 2*i - 2. Let v be d(5). Suppose -3*b = -3*j - v, -b - b - 4*j = 8. Let q(n) = n**2 - 7*n + 4. Let m be q(b). Does -1 = m?
False
Let b be 4/(-18) - (-3320)/36. Suppose 5*t - b = -4*q, 2*t = -t - 3*q + 57. Which is bigger: t or 14?
t
Let d = -104 - -517/5. Which is greater: -0.07 or d?
-0.07
Let x = -2 + 2. Is 1/9 < x?
False
Let a = 58/5 + -12. Are a and -0.4 equal?
True
Let p be (0 + 1)/(6/60). Let b be (-2)/(-8)*(-16)/p. Which is greater: 1 or b?
1
Let s = -0.3 + 0.2. Let p = s + 2.1. Which is bigger: p or -0.3?
p
Let f = 1375/8 + -173. Is f greater than 0?
False
Suppose -24 + 9 = -3*r. Let s be 2/r + (-32)/5. Is s less than or equal to -6?
True
Suppose 130 = 2*l + 4*w - 0*w, 5*w = -3*l + 190. Let n be (-2)/(-11) - 230/l. Let f be (24/(-36))/(4/18). Which is bigger: f or n?
f
Let i = -2 + 6. Suppose 5*c - 9*c + 20 = 0. Which is greater: c or i?
c
Suppose -265 - 7 = -8*m. Is 34 at least as big as m?
True
Let s = 29 - 27. Which is greater: s or 5/7?
s
Let a = 35 - 43. Which is bigger: -0.07 or a?
-0.07
Suppose -4*u = 9*p - 4*p - 28, -3*u - 3*p + 21 = 0. Is 6 smaller than u?
True
Let s = -103 - -64. Which is greater: -40 or s?
s
Let n = -0.26 - -0.07. Let t = -3.19 - n. Is 0 >= t?
True
Let r = -256 - -258.77. Let p = -0.17 + r. Let f = -0.6 + p. Which is greater: f or 0?
f
Suppose 3*x = -2*y + 25, 4*y - 10 = x + y. Let h be (2/x)/(52/(-60)). Do h and -1 have the same value?
False
Let o = 0.129 - -0.471. Let d = -3.9 + 4. Which is smaller: d or o?
d
Suppose 2*m - 9 - 9 = 0. Which is greater: m or 11?
11
Suppose 0 = 4*v + 6*n - 4*n + 14, -4*v = n + 19. Let u = 6 + v. Which is greater: u or -3?
u
Let w = 1 - -7. Is 9 > w?
True
Let q(b) be the first derivative of -3*b**2/2 + 5*b - 4. Let k be q(2). Let c be -1 + (-6)/(-34)*5. Is c > k?
True
Suppose 0*s + 3 = -3*s. Let w be (-4)/(-14) + 2 + -2. Which is bigger: s or w?
w
Let i be 2/(-8) + (-117)/60 + 2. Is -0.16 <= i?
False
Let k = -42 + 42. Let g = -1.2 - -1. Let u = -0.1 - g. Which is smaller: u or k?
k
Suppose -10*u + 3 = -13*u. Is -3 bigger than u?
False
Let b(o) = o**2 + 4*o + 3. Let k be b(-4). Suppose n + k - 8 = 0. Let c = n + -5. Is -1 > c?
False
Let j = 0.16 - -2.04. Let t = -0.8 - j. Let u be 1*8/(-3) + 2. Which is smaller: t or u?
t
Let a be 0 + 2 - 1268/28. Let k = 43 + a. Which is greater: k or -0.2?
-0.2
Suppose -12*f = -7*f + 35. Is -5 not equal to f?
True
Let r = 20 + -22. Let h = 2.25 + -0.05. Let a = r + h. Which is smaller: a or 2/13?
2/13
Let k(i) = 19*i - 2. Let o be k(2). Let f be (-4)/(-18) - 44/o. Let x be -1*(2 + -1 + 2)