ater: o or g?
g
Let o be (-19 - 1) + (-2 - (-16)/4). Is -16 at most as big as o?
False
Let z = 294 - 414. Let b be ((-16)/10)/(12/z). Is 16 smaller than b?
False
Let d(p) = p**2 - 10*p + 6. Let n be d(5). Is n smaller than 1?
True
Let v(h) = 2*h - 1. Let s be v(1). Let c be -2 + (3 + s - 0). Suppose n + z - 3 = 0, n + 3*z - 14 = 3*n. Is c > n?
True
Let x be (-1 + (-1)/3)*-3. Let l be (28/6)/((-4)/(-6)). Let i be l/(-63) + 92/18. Is i greater than or equal to x?
True
Let a(d) = -2*d + 6. Let b be a(5). Let n(w) = 2*w**2 + 4 + 1 - w**2 + 4*w - 3. Let y be n(b). Which is greater: 0 or y?
y
Suppose 0 = -4*o + m + 3*m - 4, 0 = 5*o - m + 25. Let a be (-88)/o*(-8)/179. Let b = -2/179 + a. Which is bigger: -1 or b?
b
Let s = 12 + -16. Do s and -1 have different values?
True
Let c = 1 + 0. Let o be ((-84)/(-297))/(194/(-120)). Let p = 2/291 - o. Does p = c?
False
Let j = -0.017 + 0.117. Which is smaller: -24 or j?
-24
Let y = -151 - -83. Which is greater: -67 or y?
-67
Let d = -4 - -10. Let q = d + 0. Suppose o = -2, 4*o + 5 + q = i. Which is smaller: i or 2?
2
Suppose 9*u = 6*u. Is 1/6 != u?
True
Suppose 2*d + 3*h - 3 = -8, d = 5*h + 17. Suppose -4 = d*q - 8. Is q > 2?
False
Suppose 4*q + 3 = 11. Suppose -2*w = -5*w, -l = -2*w - 10. Suppose q*j + 2 = -l. Do j and -4 have the same value?
False
Let u = 0.178 - 1.178. Let d = -3 - -2.86. Which is greater: u or d?
d
Let d be -1*(1 - 4/(-2)). Let y = -3/11 + -27/22. Which is smaller: d or y?
d
Let k = -73 - -73.23. Are 0.1 and k nonequal?
True
Let l = -14 - -29. Let h(w) = -w**2 - 5*w - 2. Let y be h(-4). Let x be (y/3)/((-5)/l). Does -1 = x?
False
Let z = 97 + -98.92. Let n = 0.2 + -0.12. Let h = n - z. Which is smaller: -0.4 or h?
-0.4
Let i = -9 - -9.1. Let z = 16 - 10. Let o = z + -7. Is o greater than i?
False
Let z(l) = -l**3 - 5*l**2 - 5*l - 4. Let n be z(-4). Let m be 3 + (-3)/(-9)*n. Is m != 5?
True
Suppose -t = 4*t. Is t greater than or equal to -5/7?
True
Let w = -37030068/102739 - 3/102739. Let g = w + 361. Let z be (4 + -4)/(0 + 2). Does z = g?
False
Let k(l) = -l. Let t be k(1). Which is smaller: -5/6 or t?
t
Let j(d) = d**2 - 2. Let w be j(-3). Is w greater than 8?
False
Let n = 0.07 - -1.83. Let x = n + -0.9. Let g = 0.11 - -3.89. Is g not equal to x?
True
Suppose -3*o - 5*b + 63 = 0, 4*b - 76 = -3*o - o. Suppose 5*s = -4*t + o, s - 3*t + 15 = 3. Is s >= 0?
True
Let t be 2*(2 - 0) - 0. Suppose 0 = t*s + 4, z + 5*s - 6 = -14. Which is smaller: z or -5?
-5
Let v(k) be the second derivative of k**4/12 + k**3/3 + k**2/2 + k. Let n be v(-2). Which is greater: n or -1?
n
Let l = 25 + -33. Which is greater: -6 or l?
-6
Let f = -202 + 185.8. Let z = f - -16. Is z != -0.5?
True
Let l be 1/8 + (-2)/4. Is 1 at least as big as l?
True
Let s = -0.17 + 1.77. Let y = s + -0.6. Do 0.1 and y have different values?
True
Let k = 4 + -3. Let r = -14.6 - 1.4. Let m = r - -15. Are m and k equal?
False
Let p = 9 + -9.1. Is 2 greater than p?
True
Let z = -28 + 30. Is 2 at least as big as z?
True
Let n be (-17)/(-5) + -4 + 1. Is n at most as big as 1?
True
Let r = 1.9 + 0.1. Is -0.1 at most as big as r?
True
Suppose -4*z - 9 = 4*h + 15, -2*h + z = 3. Let r be 1 - (14/(-12) - h). Is r at least -1?
True
Let h = 9 - -9. Let k = h - 28. Is k at least 0.1?
False
Let o(t) = -5*t - 2. Let x be o(-1). Let s be x/55*(-2)/3. Is s greater than or equal to 1?
False
Let s = 4.8 + -4.9. Let z(m) = -m**3 - 9*m**2 - 8*m - 6. Let o be z(-8). Let g be (-2)/(-4)*(-3)/o. Which is smaller: g or s?
s
Suppose 0 = 4*q - 5*z + 248, 0 = 4*q + 4*z - 6*z + 236. Let i = -169/3 - q. Which is bigger: 0 or i?
i
Let r = -478/5 + 95. Is -1 >= r?
False
Let k = -7/176 - -285/16016. Is 0 != k?
True
Let s(u) = u**2 - 7*u - 6. Let v be s(6). Which is smaller: -13 or v?
-13
Let w(q) = q - 2. Let c be w(5). Suppose -32 = -n - 2*f - c*f, -3*n = f - 40. Is n smaller than 12?
False
Let u = 1 - 0. Let r = u + -1. Which is bigger: r or 1?
1
Suppose 3*x + 5*c + 26 = -0*x, c = -5*x - 14. Which is smaller: x or -7/6?
x
Let b = -681351/4 + 104244319/612. Let j = 34/9 + b. Suppose 5*z + 7 + 3 = 0. Which is smaller: z or j?
z
Let u be 31/(-4) + (-1)/4. Let y be -1*20/(-4) + (0 - -3). Let i = u + y. Which is smaller: 0.3 or i?
i
Suppose 0 = 18*o - 10*o - 8. Is -2/13 less than or equal to o?
True
Let g be (-14 + 15)*(-2)/(-6). Let b be -2*((-10)/(-4))/5. Which is bigger: g or b?
g
Let b(x) = x. Let n be (-55)/20 - 1/4. Let g be b(n). Are -1 and g unequal?
True
Let w = -14 + 8. Let h(i) = i**2 + 6*i + 4. Let g be h(w). Let d be (-11)/(-3) - 6/9. Is d greater than g?
False
Suppose 3*v + 25 - 10 = 0. Does -5 = v?
True
Let b be ((-2)/(-10))/((-756)/(-2148)). Let c = -2/63 - b. Suppose -5*q + 2*w - 20 = -3*w, 0 = -q - 5*w + 20. Which is bigger: c or q?
q
Let z = -0.23 - -0.03. Do z and 0.05 have the same value?
False
Let l(v) be the second derivative of -v**4/12 - 7*v**3/6 - 2*v**2 + v. Let z = -3 + -4. Let c be l(z). Is c > -4?
False
Suppose 0 = 2*z - 8, -2*i - i - 11 = -2*z. Are 1/32 and i equal?
False
Let l = 2/25 + 19/75. Let x = -5 + 4.9. Which is smaller: l or x?
x
Let f = 4 - 1. Let d = 2 + -4. Let p = f + d. Which is smaller: -3 or p?
-3
Let f = 2 - 2. Is f less than -3/7?
False
Let p(h) = -h**3 - 13*h**2 - 13*h. Let f be p(-12). Let d be f/(-56)*4/6. Is d at least as big as -1?
True
Let n = -32.4 - -33. Which is smaller: n or -0.3?
-0.3
Let u = 1.31 + -0.21. Let g = u - 0. Let d = g + -0.1. Which is smaller: -2/5 or d?
-2/5
Let o = -21.41 + 21.3. Which is smaller: -3/5 or o?
-3/5
Let u(p) = -p**2 - 7*p - 4. Let t be u(-6). Suppose -4*g = -3*y - 22, -3*y = -t*g + 3 + 11. Let f be (-1 - 0)*3/g. Which is greater: f or 0?
0
Let z be (1*-1)/((-3)/(-9)). Let p be -1 - 0 - 6/z. Let s be (-6)/(-4)*(-8)/48. Is p greater than or equal to s?
True
Let f be (-24)/(-10) - (-4)/(-10). Suppose 4*g - 24 = -28. Which is bigger: g or f?
f
Let h = 47.1 - 47. Which is bigger: h or 19?
19
Suppose -q + 3 - 4 = k, 0 = 4*q - 3*k - 24. Suppose -3 = -5*f + y + 7, -3*f - 3*y = -6. Let d = 2 + f. Is q <= d?
True
Let r(y) = 37*y**2 - y - 1. Let z be r(-1). Which is greater: z or 38?
38
Let x = -1 + 0.93. Let y = -0.17 - x. Are y and -1/2 non-equal?
True
Suppose 4*j - 5*g + 47 = 10, 2*j = -2*g + 4. Which is greater: -4 or j?
j
Let x = 1/1319 + 23731/14509. Is x greater than 0.1?
True
Let s = -1 - -5. Suppose 0 = 6*o - s*o - 4. Which is bigger: 3 or o?
3
Suppose 2*z = -2*z + 12. Suppose 4*v = 2*l - 0*l + 14, -3*l - 15 = -z*v. Is l < -2?
True
Let c = 35 - 36. Is c at most 2?
True
Let k = 6 - 5.96. Let n = 0.44 - k. Let x = n + -0.34. Which is smaller: 1 or x?
x
Suppose -g - 9 = 2*g. Let a be 1/g + 8/12. Is a > -1?
True
Suppose 0 = -0*j - 4*j - 3*d + 16, -5*d = 0. Suppose j*h - 2*h = 12. Is 5 less than or equal to h?
True
Let n = 22 + -19. Let t(f) be the second derivative of f**5/20 - f**4/2 + f**3 - f**2/2 - f. Let x be t(5). Which is smaller: n or x?
n
Suppose -4*v + 2*b = 0, 5*b - 24 = v - 3*v. Suppose -2*o + 7*o = -5*w, 2*w = -4*o - v. Is w != 4?
True
Suppose -3*x = 13 - 16. Is x != -5/14?
True
Let x = -747765646/819 - -913023. Let g = 1/91 - x. Which is smaller: 0 or g?
g
Let d = -1 - -5. Let w = d + -5. Is w at least -2?
True
Let z be (8/70)/(2/5). Let d = -3 - -1. Let f be (-1 + d)*(-1)/3. Which is greater: f or z?
f
Let i = 2 + -3. Let m = -1.4 - 0.6. Let p = i - m. Which is bigger: 2/3 or p?
p
Let m = -1 - -13. Let r be -12*(-1 - m/(-8)). Does r = -3?
False
Let q(x) = -x**2 - 2*x + 1. Suppose 0 = -z + 5*z - 12. Suppose -3*n + 6 = z. Let p be q(n). Which is greater: 1 or p?
1
Let d = -21 + 14. Does -8 = d?
False
Suppose 0 = 3*u - 0*v - v - 83, v + 5 = 0. Are 27 and u equal?
False
Let z(w) be the first derivative of -w**3/3 - 7*w**2/2 - 6*w + 1. Let q be z(-6). Is q <= 1?
True
Let t(x) = 2*x + 4. Let o be t(-3). Let p = o - 0. Suppose -5*d + 10*d + 5 = 0. Which is greater: d or p?
d
Let k be 2 + -12 - 4/(-1). Is k >= -28/5?
False
Let k be (2/(-6) - -1)/(10/375). Does k = 27?
False
Let q be (-3)/6*-2*2. Let f be (7 + 184/(-24))/((-4)/6). Is q at least f?
True
Suppose -26 = -5*t + 3*j, -2*t - 2*j + 5 = 1. Suppose -2*h = -t*h. Is 0 greater than h?
False
Suppose -5*g - y - 7 = 0, 0 = -2*g - 4*y + 3 - 13. Which is smaller: -2/209 or g?
g
Let v = 15 - 14. Which is smaller: v or 5/3?
v
Let v