-13 = 3*t + 23. Is -12 at most t?
True
Let y = -2 + 14. Let v = y + -12.05. Is v > -1?
True
Let g = -70/1971 + 8/73. Let x(q) = q**2 - 4*q + 1. Let f be x(4). Which is greater: g or f?
f
Let z = -0.2 - -0.1. Let r = -2.34 + 0.74. Is z greater than r?
True
Let v(n) = 3*n - 32. Let g be v(7). Which is bigger: g or -9?
-9
Suppose -24 = 3*d - 0. Let n = 6 + d. Which is bigger: n or -7/6?
-7/6
Let g = 338/135 + -14/135. Let j = 29/10 - g. Let i = 0.3 + -0.2. Is i greater than or equal to j?
False
Let f = -6 + 4. Let h be 4*2 + 6/f. Suppose -3*q + 2 - h = 0. Which is smaller: q or 1/5?
q
Suppose 5*g = g - 2*m + 14, g = -4*m + 21. Suppose q = -2*q + 3, -n - q = -g. Let l = -1 - n. Which is smaller: l or -2/7?
l
Suppose -a - 3*a - 4*o + 40 = 0, -a - 5*o = -30. Suppose 5*b + r = 22, -r = -4*b - 0*b + 23. Do a and b have the same value?
True
Let v = 6 - 5. Let i = v + 4. Let p(h) = -h**3 + 6*h**2 - 6*h + 5. Let n be p(i). Are n and 0 equal?
True
Let l be (-4 + 5)*6 - -4. Does 21/2 = l?
False
Let v = -16 + 15.1. Let c = v + 1. Let z = 2.2 - 2.2. Which is smaller: c or z?
z
Suppose -3*n + 0*n = 0. Suppose -4*y - 4*t - 7 - 1 = n, -t - 2 = -2*y. Suppose s + 2 = -s. Is y at most s?
False
Let w(s) = s - 15. Let a be w(14). Is -1/14 at least a?
True
Let u = 10 + -9.2. Let o = u + -1.8. Are o and 1/5 equal?
False
Let s(k) = k - 3. Let p be s(6). Let y(c) = -4 + c - p + 2 - 4. Let q be y(9). Which is smaller: 4/5 or q?
q
Let w be 1/(-2) - (-38)/4. Let j = -7 + w. Which is greater: 1 or j?
j
Let k be ((-10)/(-20))/(9/10). Is 0 less than k?
True
Let w be ((-8)/110)/(2/5). Let x = 6 - 4. Let k = -1 + x. Which is smaller: w or k?
w
Let b be 2/(-5) + 6/390. Which is greater: b or -1?
b
Let o = 570 - 1091/2. Which is bigger: o or -0.1?
o
Let s(f) = f**3 - 3*f**2 - 7*f + 6. Let i be (2/3)/((-1)/(-6)). Let g be s(i). Suppose -14 = 2*j - 4. Which is greater: j or g?
j
Let s = 0 - -2. Let y = s - 2. Does y = -3?
False
Let o = 1.9 - 2. Let p = -30 - -18. Let m = p - -11. Which is smaller: m or o?
m
Let g = -0.369 - -3.399. Let q = 0.03 - g. Let l be (-124)/(-456) + 8/(-76). Are q and l equal?
False
Let h(n) = n**3 - 9*n**2 + n - 2. Let i be h(9). Let b be 4 + 2*3/3. Which is bigger: b or i?
i
Suppose -5*l = -9*l. Is 2/35 at most l?
False
Let i = -15 + 22. Suppose -4*d = 3*h - i - 87, -64 = -2*h - 3*d. Suppose 0*v + h = 5*w + 4*v, -3*v - 3 = 0. Is 5 at least as big as w?
False
Let w(f) = -6*f**2 - 4*f + 3*f**2 + 3 + 2*f**2. Let q be w(-5). Which is smaller: -1/2 or q?
q
Let f = 1411/120 - 93/8. Which is greater: f or -1?
f
Let j = 149 + -151. Which is smaller: j or 0.5?
j
Suppose -2*h + 0*h = 0. Let l be (-2 + 2 - h) + -2. Let f be (9/(-12))/(1/1). Which is bigger: f or l?
f
Let f be -11 - (-1 - -1)/(-2). Which is greater: f or -10?
-10
Let g = 4/7 - 2/7. Let l be (-3)/(-18) - 105/(-18). Let z(s) = -s**2 + 7*s - 5. Let k be z(l). Is k >= g?
True
Suppose 6*k = -k + 21. Let s be 1*1*5 + 1. Suppose -k*j = -j - s. Do j and 3 have different values?
False
Let g(y) = y**2 - 2*y + 1. Let q be g(4). Let p(b) = -b**2 + 10*b - 10. Let z be p(q). Which is smaller: z or 2/13?
z
Let h be 1/(1/(-2 + 1)). Is h >= 0?
False
Suppose -y - 9 - 9 = -2*x, -5*x + 3*y + 46 = 0. Let p be x*(-3 + (-14)/(-8)). Let o be (-3)/(-15) - 3/p. Is 1 less than or equal to o?
False
Let z(g) = -4*g - 23. Let i be z(-19). Is i > 52?
True
Let p(m) = 2*m - 3. Let k be p(3). Let o be 0 + 2 + (1 - k). Let d = o + 1. Is d at least as big as 1/4?
True
Let m = 2.3 + 0.7. Let p = 2.9 - m. Which is bigger: 6 or p?
6
Let l be -4 + 7 + -7 + 3. Which is smaller: l or -2.1?
-2.1
Suppose 2*s - 2*z = -5*z + 9, 4*z - 20 = -4*s. Let x = -4 + s. Suppose -3*g - x = -5. Which is greater: 2/5 or g?
g
Let a = 229.06 + -236. Let k = a + 7. Let g = k - 0.06. Are 0 and g non-equal?
False
Suppose 0 = -4*h - h + 100. Suppose 4*m = -h - 0. Is -5 not equal to m?
False
Let g be 1*-2*(-20)/8. Suppose u = 4*s - 0*s + g, 3*u - 4 = s. Suppose -b - 1 = 1. Which is smaller: u or b?
b
Suppose 3*c + a = 16, -7*a + 3*a = -5*c + 21. Let k be (2/c)/((-2)/(-10)). Suppose 15 = 5*r - 0. Which is greater: r or k?
r
Let h = 357 + -358. Let z = -71 - -851/12. Is z at least as big as h?
True
Let b = 4 + -3. Let c = 17.3 + -30.3. Is c bigger than b?
False
Suppose 3*s - 4 = 4*w - s, -2*s = 2*w - 2. Let g(x) = -x**3 + 4*x**2. Let j be g(4). Let u be (0 + j)/(-2 + 5). Is w smaller than u?
False
Suppose -4 + 9 = 5*q. Which is smaller: q or -1/11?
-1/11
Let v = 10941/14102 + -17/22. Let y = 1332/16025 - v. Which is greater: y or -1?
y
Let n(a) = a**3 + 7*a**2 + 5*a + 3. Let h be n(-6). Let w = 7 - h. Is w at most as big as -2/3?
True
Let f(h) = -2*h - 10. Let o be f(-10). Let n be 48/10 + 2/o. Suppose -2 = n*v - 7. Is v > 2/7?
True
Let v(k) = 2*k**2 - 3*k + 2. Let i be v(2). Is 4 < i?
False
Let q = -0.3 - -0.2. Suppose 2*i - 180 = i. Let f be (-87)/i - (-2)/5. Which is greater: f or q?
f
Suppose 2*g = v, 2 = 2*g - 0. Suppose 2*d - 19 = z, -3*d + d - 2*z + 4 = 0. Let o be d*2/(-10) + 2. Which is greater: o or v?
v
Let l be (-20)/18*(-224)/80. Is l <= 2?
False
Let c be 0 + 2/(-1) + 4. Suppose -2*x = -5*q + 1, c = -2*q - x - 3. Let z be ((-3)/15)/((-2)/(-4)). Which is smaller: z or q?
q
Let b be (-2)/(8/(-210)) - 30/20. Which is bigger: 1 or b?
b
Let k be (-10)/(-3 - (-4)/2). Are k and 51/5 equal?
False
Let m = -0.93 + -0.07. Which is smaller: -2/7 or m?
m
Let x be ((-2)/17)/(2/3). Let g be 1/2 + (-434)/340. Let z = g - x. Is z <= -1?
False
Suppose -2*n - 61 - 19 = 0. Is n != -39?
True
Let g = -20749/38 - -546. Which is smaller: 1 or g?
g
Let g = 3226/17 + -190. Let b = -147 + 147. Which is smaller: g or b?
g
Let o(q) = -q**3 - 3*q**2 - 2*q + 1. Let g be o(-3). Suppose -c + 5*i = -7, c + i = -3*c + g. Suppose -4*k - 22 - c = -5*z, -16 = -4*z. Are 1/4 and k unequal?
True
Let t be ((-4)/(-6))/((-141)/9). Which is greater: 1 or t?
1
Suppose 3*i - 2*z = -6*z + 164, -3*i - z + 176 = 0. Let m be (82/i)/((-2)/(-8)). Let l = m - 17/3. Are 1 and l unequal?
True
Let g = -13.9 - -13. Is -1 not equal to g?
True
Let a(p) = -2*p - 5. Let t be a(-4). Let s(r) = -r**2 + 2*r + 3. Let c be s(t). Let k = -1 - c. Is -1 greater than or equal to k?
True
Let p = -11 + 409/37. Which is bigger: -1 or p?
p
Suppose 0 = b + 4*b - 10. Let n be (b/12)/(16/(-72)). Which is smaller: n or -1?
-1
Suppose 0*v - 2 = 2*v. Let r be -3 - 1/v - 2. Are r and -3 equal?
False
Let o(u) = u**3 + 6*u**2 + 5*u. Let b be o(-5). Let w = 1016 + -11186/11. Which is smaller: b or w?
w
Let o = -22 - -21.4. Let k = -9.1 - -9. Which is greater: k or o?
k
Suppose 0 = -4*y - 3 - 1. Let d(t) = -t - 9. Let m be d(7). Let c be -3 + (1 - m/10). Is c at most y?
False
Let q(a) be the first derivative of -a**4/24 + a**3/3 + a**2 + 1. Let s(x) be the second derivative of q(x). Let z be s(-2). Do z and 3 have the same value?
False
Let u(q) = q**3 + 9*q**2 - 11*q - 13. Let i be u(-10). Let h = 1 + i. Is h bigger than -3?
True
Let t be 20/(-36) - 2/(-9). Do t and 0.3 have different values?
True
Let r = -147 - -145. Let v(b) = -b**3 - 7*b**2 + 7*b - 11. Let g be v(-8). Is r bigger than g?
True
Suppose 4*b = 3*t + 19, 2*t = 2*b + b - 14. Which is greater: t or 2/7?
2/7
Suppose 44 = 2*q + 4*s, 5*s = 2*q - 0*s - 89. Which is bigger: 33 or q?
33
Let h = 4.13 - 0.33. Let c = h + 0.2. Is -0.1 greater than c?
False
Let r be 3/(-2)*(-6)/(-9). Suppose a + 3*n - 1 = -0*n, 3*a - 3 = -5*n. Which is greater: a or r?
a
Let r(x) = -x**3 - 5*x**2 - x + 2. Let g be r(-4). Which is greater: -9 or g?
-9
Let s = 2 + -4. Let m = -7 - s. Let i be 8/6 + 10/m. Is -2 > i?
False
Let k be 9/21 + 2/(-2). Which is smaller: k or -0.1?
k
Let l = -30 + 16. Let g be 2/(-4) - l/4. Is g equal to 4?
False
Let o be ((-4)/(-10) + -1)/((-7)/(-5)). Let a = 0.1 - 0.1. Is a less than o?
False
Let k(p) = -3*p + 12. Let g be k(11). Is g greater than -22?
True
Suppose 0*m + 3*m - 12 = -5*k, 9 = 3*k. Which is smaller: -3/14 or m?
m
Suppose -2*t + 10 = -4*f - 10, t - 4*f = 18. Let d(i) = 2*i - 1. Let a be d(t). Let l be (-9)/45 + (-32)/(-10). Is l less than or equal to a?
True
Let n = 0.02 + -0.1. Let w = 0.08 + n. Is -1/3 at least w?
False
Let q be (-31)/3 - (-6 - (-148)/24). Which is greater: -10 or q?
-10
Let v = -17 - -15. Which is smaller: v or 2?
v
Let s(j) = j + 5. Let z