at least as big as k?
True
Let s be (-1)/(4440/(-5875)) + 8/(-6). Let o = s + -1393/8584. Is o at most as big as 0?
True
Let u(s) = s**2 - 6*s + 9. Let j be u(4). Let n(i) = -18*i**2 + 2*i. Let o be n(j). Is -15 <= o?
False
Let m = 956/1349 + -14/19. Suppose -22*t = 12*t - 9*t. Is m greater than or equal to t?
False
Suppose 4*u - 3*k + 156 = 0, 4*u + 2*k + 3*k + 188 = 0. Suppose 2*w = -46 - 36. Are w and u non-equal?
True
Let n be 1/((-2)/10) + (-3 - -8). Which is bigger: n or -133?
n
Let m be (0 + -4)*-2*(-274)/4. Let b be m/(-11) + (-38)/(-209). Is b smaller than 49?
False
Let m = 13 + -27. Let y = -4765 - -4750. Which is bigger: m or y?
m
Suppose 2 = -j - 2. Let d be (-2)/j*(0/3)/(-1). Which is smaller: d or -1/148?
-1/148
Let r be (-117)/(-36) - 6/(-8). Suppose -r*t - 3 = -2*a - 3*t, -4*a + 3*t = -5. Which is bigger: a or 10?
10
Let q = -32.14 - 21.86. Which is bigger: q or 19?
19
Suppose 0 = -0*j - 2*j + 8. Suppose h - 5 = -4*f - 2*h, h - j = f. Which is smaller: f or 1/30?
f
Let b = 320003/2373 - 95/339. Which is bigger: 136 or b?
136
Let g(x) = 2*x + 25. Let m(z) = -z - 13. Let o(k) = 3*g(k) + 5*m(k). Let d = -45 - -25. Let c be o(d). Which is smaller: c or -12?
-12
Let a(s) = s**3 + 12*s**2 - 7*s - 48. Let c be a(-12). Which is smaller: 32 or c?
32
Let x = -1466 - -1803. Which is smaller: x or 339?
x
Let c be -4 + (-56)/4*-8. Is 109 less than c?
False
Let m = 2717 - 510797/188. Let v = 63081697/72756 - 37273/43. Let x = v - m. Is x greater than -1/4?
True
Suppose -3*c + 6 + 9 = 0. Suppose -c*u + 33 = -8*u. Does u = -12?
False
Let l be (-16)/(-468)*(-9)/6. Let x be (-1*4)/(4 + -5). Suppose f + 3 = x*f. Is f equal to l?
False
Let w = -0.01 + 0.03. Let u = 0.98 + w. Are u and -0.01 non-equal?
True
Let n(u) = -u**2 - 9*u + 11. Let l(c) = 41*c + 3. Let j(k) = -14*k - 1. Let b(x) = 8*j(x) + 3*l(x). Let v be b(-1). Let f be n(v). Is f at most as big as -1/20?
False
Suppose -6*x - 7 = x. Let v = 623 + -1805/3. Let j = -22 + v. Is x greater than j?
False
Suppose -3*j + 10 = -2. Suppose -j*p + 3 - 7 = 0. Let k = 3/89 - 217/1157. Are p and k unequal?
True
Let v(z) = z**2 + z - 26. Let u be v(5). Which is smaller: u or -14?
-14
Let s(n) = -n**3 + 2*n**2 + 14*n - 9. Let f be s(4). Which is greater: f or 11?
f
Let c = -932/3213 - -2/459. Let p = -65 - -68. Let r be (2 + 2)*-1 + p. Does c = r?
False
Let f be (-12)/(-7)*(-60624)/(-32292). Let b = 42/13 - f. Is b not equal to -1?
True
Suppose n = 2, -7 = -2*f - 4*n + 11. Let s(u) = -u**2 - 11*u + 8. Let q be s(-11). Suppose 6*z = 4*z + q. Are f and z unequal?
True
Let m(o) = -o - 19. Let b(p) be the first derivative of p**2/2 + 20*p - 3. Let f(y) = -6*b(y) - 7*m(y). Let l be f(-10). Is 11/6 less than l?
True
Let i = 7.91 - 7.5. Is 0.06 less than i?
True
Suppose -2*a - 2*a - 4 = 0. Let b be (12/(-5))/(-6) + (-2244)/10. Let o be (-52)/b*2 - 3/12. Is a at least o?
False
Suppose 2*j - 3 = j. Let y = -2 - j. Let o = -6 - -6.1. Which is smaller: y or o?
y
Let j = -0.094 - 45.906. Let i = 32 + j. Which is greater: 1/4 or i?
1/4
Suppose -2*i = 2*i - 76. Let a = 3980 + -3962. Which is greater: i or a?
i
Suppose 22*q + 1032 = -3610. Is -1473/7 less than or equal to q?
False
Suppose -365 = g + 4*g + 5*d, -3*g + 5*d - 235 = 0. Suppose -3*h - 35 = -5*b, -h + 121*b + 14 = 123*b. Which is greater: g or h?
h
Let g be 2*1 + -8 + 8. Suppose -5*d + 0*d - 45 = 0. Let q = d + 11. Is g smaller than q?
False
Let x be (-2)/(-17)*692*6/288. Let c = -5/3 + x. Suppose 0 = -0*l + 4*l. Which is greater: l or c?
c
Let y(f) = -f. Let a be y(1). Let g be (4/(-8)*-3)/6. Let q = g - 9/20. Is a at least q?
False
Let z(k) = k. Let r be z(-7). Let j(w) = 1. Let p(b) = b**3 + b**2 - 2*b + 4. Let g(v) = 3*j(v) - p(v). Let a be g(1). Which is smaller: a or r?
r
Let w = -4 - 34. Let d = -46 - w. Does -84/11 = d?
False
Suppose c + 4*t - 12 = -c, -4*t + 22 = -3*c. Let i be (1/c)/(2/172). Let p = 385/9 + i. Which is smaller: p or 2?
p
Let s = 9 - 9. Suppose 3*p - 2*p - 8 = s. Let r = -8 + p. Is r >= 3?
False
Let w be -11*(-7 - -8) + 12. Let o = 3 - 4. Which is smaller: w or o?
o
Suppose d = 2*c - c - 10, 3*c = -2*d + 5. Suppose c*m = 2*m + 6. Suppose m*o = -8 + 10. Is 1/30 != o?
True
Let u be 8/(6/(48/2))*1. Which is smaller: u or 38?
u
Let x = 246 - 142. Let l(t) = t**3 + 9*t**2 - 21*t + 6. Let j be l(-11). Let w be j/20 + 18/x. Which is smaller: w or 0?
w
Let i = 15 + -7. Let p = 26 + -31. Let y = i + p. Is 5/2 equal to y?
False
Let k be 1/(5 - 45/10). Let h be (k*(-6)/60)/(0 + -1). Which is greater: -15 or h?
h
Suppose -2*a = -3*k + 3, 5*a + 2 = 15*k - 13*k. Let f = -21003061 - -1197205825/57. Let h = f - 550. Is k != h?
True
Let p = 90987/86 + -1058. Which is smaller: 1 or p?
p
Suppose -a - 5 = -4*d, 5*a + 27 = -d + 2. Let v be 0 - (1 - (d - -2)). Which is greater: -9 or v?
v
Let t be (-154)/(-10) - 6/(-10). Suppose -8 = -4*f - 2*c, -c = 4*f - 3*c - t. Suppose f*y + 5*s - 3*s - 6 = 0, 0 = y - 5*s + 15. Is y != 2/23?
True
Let k = 205 - 217. Let f = 77 - 65.8. Let h = f + k. Which is bigger: 0.1 or h?
0.1
Let b(f) = 2*f**2 + 6*f. Let o be b(-6). Let m = -112/3 + o. Are m and -2 equal?
False
Let p = -196.937 - -197. Which is greater: -1 or p?
p
Suppose 0 = -3*z - 1 - 2. Let a = 10547/14 - 754. Are a and z equal?
False
Suppose 2*z = -37*f + 34*f - 13, 4*f = 3*z + 11. Let n(s) = -2*s + s - 12*s**2 - 18*s**2. Let q be n(f). Which is bigger: q or -30?
q
Let p = 82 + -82. Suppose p = 5*f + 2*f + 7. Which is smaller: 4 or f?
f
Let r = -13 - -7. Let y(m) = -m**2 - 7*m - 4. Let a be y(r). Is 4 at most a?
False
Let n = 13567/78 - 521/3. Let q(g) = -g**3 + 7*g**2. Let l be q(7). Is l at most as big as n?
True
Let p(v) = -v**2 + 4*v + 24. Let w be p(-4). Is w not equal to -1/28?
True
Let n(s) = -s**3 + 5*s**2 + 14. Let c be n(0). Which is smaller: 16 or c?
c
Let k = -21 - -21. Which is smaller: k or -6/91?
-6/91
Let r = 2 - 1. Suppose 5*y + 15 = 5*s, -r = -3*y - 5*s + 6. Let t = -47/3 - -529/33. Which is greater: y or t?
t
Let y = 521.1 - 521. Which is smaller: -7.9 or y?
-7.9
Let i = -130 - -129.863. Which is bigger: i or 1?
1
Suppose 4*j - 3*j + 4*b - 8 = 0, 3*j = -4*b + 24. Let h(v) = 6*v**2 + 2*v - 2. Let s be 2/7*-1 - (-18)/14. Let u be h(s). Which is smaller: u or j?
u
Let j = -6 + 6. Let s be 160/(-3 + -1)*-1. Let g be (2/(-24))/((-15)/s). Which is greater: g or j?
g
Let m = -71745 - -1075469/15. Let h = m - -47. Do -1 and h have different values?
True
Suppose -q = 3*q + 2*d - 6, 0 = 5*q + d - 15. Let a be q - 25/10*8. Is a greater than or equal to -47/3?
False
Suppose 0 = -16*i + 21*i - 205. Which is greater: i or 40?
i
Let n(o) = 5*o**2 + 13 - 3*o**2 - 11*o - o**2 - 3. Let l be n(10). Is l greater than 0?
False
Let h = 17 + -13. Suppose -3*u + 2 + h = 0. Suppose d = -u*d. Which is smaller: -2/27 or d?
-2/27
Let x = -169 - -109. Let i = x - -60.1. Which is bigger: -3 or i?
i
Let k be ((-3870)/20)/(-3)*(-2)/12. Which is smaller: 1/6 or k?
k
Suppose -3 + 6 = -m, 2*h = 4*m - 4. Do -15/8 and h have the same value?
False
Let a(v) = -23*v - 5. Let n be a(-2). Let p = 33 - n. Is -8 at most as big as p?
True
Let f = 28.72 + -26.1. Which is smaller: -1/3 or f?
-1/3
Let l be -11 + 15 - (5 + 1). Let t(h) = h**2 + h. Let k be t(-3). Let x be (5/(-15))/(4/k). Is x > l?
True
Suppose -3*f + 83 = -7. Suppose 3*n - n = -f. Is -16 at least n?
False
Suppose -3*z + 34 = -v, -6*z + 2*v = -z - 57. Suppose -n = -11*n. Suppose -18 = -4*x - 3*a + 24, 4*x - 5*a - 58 = n. Is z at most as big as x?
True
Suppose -52*m - 7836 = 26120. Is m equal to -654?
False
Suppose -8*p + 25*p = -2516. Is -149 at most p?
True
Let z(x) = 5*x - 2. Let y be z(8). Let q = y + -21. Suppose 0*b = g - 2*b + 7, 2*g - 5*b + q = 0. Is g at most as big as -3/5?
True
Let b = 91 - 94. Is -35/19 at least as big as b?
True
Let s = 32 + -36. Let z be 0*2*s/32. Which is bigger: -2/15 or z?
z
Let r(d) = d**2 - 23*d + 36. Let u be r(24). Let h be (u/33 - 1 - 1)*1. Which is smaller: h or -1?
-1
Suppose q - 6 - 3 = 2*g, g - 13 = -3*q. Suppose -2 = 2*a - 4*v, -2*v = 3*a - q*v. Is -5/21 smaller than a?
True
Suppose 6*k - 3*k = 0, 2*x - 5*k + 4 = 0. Let a be (-5)/((-20)/6) - (-1)/x. Is a at most as big as 2/5?
False
Let g(x) = -52*x**3 + 6*x + 6. Let p be g(-1). Let y = 71 - p. Are y and 17 equal?
False
Let c