20 = -3*a - 2*a. Let k = o - -7876/9. Which is greater: -2 or k?
k
Let i be -1 + 0 + (148 - -3). Let r be (8/(-6))/((-10)/i). Let g = r - 21. Is 3/17 greater than g?
True
Let f = 0.05 + -0.07. Let w = -54 + 54.5. Which is smaller: f or w?
f
Let t be ((-1023)/(-36))/(1070/4). Let j = 4849 + -1556527/321. Let y = t - j. Which is bigger: 0 or y?
y
Suppose 0 = -0*q - q + 7. Suppose 0 = q*a - 10*a. Which is greater: -1/2 or a?
a
Let a = -7 + 16. Let o = -1 + a. Let p = -3 - o. Which is bigger: p or -0.1?
-0.1
Suppose 0 = -f + 2*z + 24, 0 = -2*z - z - 6. Let m = f + 0. Is 21 at most as big as m?
False
Let d = 4844 + -1583990/327. Let h = d - -989/1308. Which is smaller: h or 10?
h
Let x = -6.75 - -0.75. Which is bigger: x or -0.06?
-0.06
Let n = 9822023/117 + -83947. Let t = 22/13 - n. Which is greater: -54 or t?
t
Let q(f) = f**2 - 8*f - 3. Let k = -10 - -19. Let m be q(k). Let l be ((-6)/(-10))/(m/(-30)). Is -4 at least as big as l?
False
Suppose 10 - 40 = 5*f + 5*w, -5*f - 4*w = 31. Let p be (2/(-4))/((-1)/(-6)). Which is smaller: p or f?
f
Suppose 10*r - 3 = 13*r. Is r less than 2/27?
True
Let m = 17 - 15. Suppose 5*u - m*u - 3 = 0. Suppose -z - 4*w - 6 = 0, -3 - u = 3*z + 5*w. Which is smaller: z or 0?
0
Let m = 122.8 + -113.8. Which is bigger: -2/23 or m?
m
Let b = -21418/247 + 1130/13. Let q be 1/2*(2 - -2). Suppose 4*j = -3*o - 5 + 1, 3*o - 2 = q*j. Is b <= j?
False
Let u(a) = -a**3 - 2*a**2 + 20*a - 25. Let s be u(-6). Are -2/323 and s equal?
False
Let d = -0.0358 + 13.9858. Let i = 14 - d. Which is bigger: i or 0.1?
0.1
Suppose 2*k = -42 - 2. Let f be 13 - 8 - 208/8. Do k and f have different values?
True
Let z be 2529/(-1080) - 28/(-12). Which is greater: z or -1?
z
Let i be (4 - -1)/(2/6). Let b be 3 + (-1)/i*47. Are 2 and b non-equal?
True
Let q(r) = 0*r**2 - 2*r**2 - r**2 - 22 + 4*r**2. Let d be q(-5). Is 17/7 less than or equal to d?
True
Let b(m) = -m**3 - 3*m**2 + 2*m + 6. Let a be b(-3). Let p be (a/(3 - -2))/((-1)/1). Which is smaller: 3/20 or p?
p
Let k be 55/30 + -2 - 1862/(-696). Let o = -1/116 + k. Which is greater: o or 1.4?
o
Let b = -26 - -54. Suppose 0 = -b*t + 30*t + 10. Which is smaller: -4 or t?
t
Let u = -11 - -10. Suppose -3*j = 5*x - 15, j + 5 = 2*x - 1. Suppose -x*b - 10 - 5 = 0. Which is smaller: b or u?
b
Let g be 70/(-21)*3/(-1). Let c = 12 - g. Let n = c + 3. Is 3 at least as big as n?
False
Let m = 170 - 176.9. Let j = m - -5.9. Are j and -14/9 unequal?
True
Let a(b) = -2*b**3 - 12*b**2 - 16*b - 3. Let g be a(-6). Which is bigger: 96 or g?
96
Let k = -74 - -77. Let m be k + -4 - (-4)/(12/5). Which is smaller: m or 1?
m
Let l be (-60)/(-168)*7/(-12). Is -1 less than or equal to l?
True
Let x = 38 + -2. Suppose -7*d + x = 2*d. Which is smaller: d or -1?
-1
Let q = 0.3 - -77.7. Let i = q - 100. Does 0 = i?
False
Suppose -491 = -3*r + 934. Is r equal to 477?
False
Let t(b) = -146*b - 146. Let a be t(-7). Which is smaller: a or 877?
a
Suppose -4*l + 9 = -5*a - 25, -2*a - l - 11 = 0. Suppose 35 = 5*b - 5*q, 0 = 5*q - 0*q + 20. Let s be (2 - 1)/(b/a). Which is greater: s or -4?
s
Let l be (-72)/(-27)*45/12. Do 9 and l have the same value?
False
Suppose 40*f = 20*f + 1360. Which is smaller: 69 or f?
f
Let b(y) = 2*y - 5 + 8*y - 9*y. Let v be b(-10). Is -17 bigger than v?
False
Let o(a) = -a**3 - 15*a**2 + 3*a + 33. Suppose 30 = -0*g - 2*g. Let j be o(g). Is j less than -12?
False
Let o(q) = -2*q - 8. Let s be o(-5). Let z be 5/((-4)/(2 + s)). Let y = 3 - 8. Are y and z equal?
True
Let c = 0.4 - 0.7. Let h = 2.1 - 18.1. Let p = h - -17. Which is smaller: p or c?
c
Suppose -18*b - 2806 = -8242. Which is greater: 301 or b?
b
Let l = 0.054 - -6.546. Let u = -7 + l. Let q = -0.6 + u. Is 3/2 >= q?
True
Let x be (6 - 4)/2*0/(-4). Suppose x = 2*k - 4, 5*k - 646 + 146 = -5*w. Is w at least as big as 98?
True
Let q be (-143)/(-78) + (-1)/(-6). Let c = 1/11 + 51/44. Is c at most q?
True
Let y(x) = -2*x - 15. Let d be y(-10). Let s(k) = 1 - d*k - 2 + 3. Let p be s(1). Is -4 less than or equal to p?
True
Let l be (84/(-5))/(2/(-10)). Let g(w) = 1032*w + 3180. Let v be g(-3). Is l != v?
False
Let l be 10 + (1/(-4) - (-7)/(-4)). Let x be ((-48)/(-9))/(1/3). Let h = 26 - x. Which is smaller: h or l?
l
Let s(h) = h**3 - 4*h**2 + 9. Let x(v) = -v**3 + 4*v**2 + v - 8. Let w(m) = 4*s(m) + 5*x(m). Let y be 2/(2 - (-24)/(-15)). Let r be w(y). Is r bigger than -3?
False
Let l = 47 - 26. Let d = l - 20.9. Which is bigger: -1/5 or d?
d
Let m = -700 - -675. Which is bigger: -1/5 or m?
-1/5
Suppose 16 = -4*p, 7*p - 9*p + 208 = 4*a. Do a and 55 have the same value?
False
Let r = 16 - 15. Let i be (-7)/(21/(-18)) - r. Suppose -l = -4*l, i*v = 5*l + 15. Do v and 3 have different values?
False
Suppose 24 = 9*q - 5*q + 4*h, 3*h = -5*q + 24. Which is smaller: 49/15 or q?
q
Let u = -56 + 123. Suppose 6*p - u = 95. Is 27 at least p?
True
Let s = -10910 + 229064/21. Let y = -20/7 - s. Which is smaller: y or -9?
-9
Let t = -12 + 22. Let u = t + -6. Suppose -4*k - 25 = -3*b, 2*b + u*k = -0*k - 10. Which is greater: 2 or b?
b
Let s = 13 - -45. Suppose -s*g + 447 = -61*g. Which is bigger: -150 or g?
g
Let u = -7 - 14. Let h be (-12)/u*(-6)/(-4). Which is bigger: h or 2?
2
Let d = 15.7 + -16.1. Let j = -4 + 7. Let a be (1/3)/(j/9). Is d < a?
True
Let r = -681 - -670.04. Let i = 2.07 + r. Let k = i - -9. Is -1 at least k?
False
Let f be 20/(-150) + (-9107)/(-223665). Let k = -2/481 + f. Which is smaller: k or 1?
k
Let m be (1*11/(-5) - -2)*-108. Let i = -22 + m. Is i at least as big as 2?
False
Suppose -5*v - 60 = a, 0 = -5*v - 4*a + 14 - 89. Let z(t) = t**3 - 6*t**2 + 7*t - 6. Let k be z(4). Which is greater: v or k?
k
Let o be (-3 - (-14)/4)*-2. Let y be o/((-7)/(-2) - 3). Let h be (-1320)/84 - y/(-7). Is h at least as big as -16?
True
Let f = 1561 + -479. Is 1083 not equal to f?
True
Let n = -154 + 170. Let w(k) = 2*k**2 - 35*k + 22. Let o be w(n). Which is greater: -27 or o?
o
Suppose 0 = -y - 2*u, -3*y + 2*u = 6 + 34. Which is bigger: -3 or y?
-3
Let d = 3 + -1. Let f = d + 8. Let l = -10.2 + f. Is l != -7?
True
Let z = -8 - -11. Suppose 4*p = z*f - 12, -2*p - f + 0 = -4. Which is bigger: 2 or p?
2
Let w = -71 - -74. Suppose 0 = 4*p - 2*r + 14, 10 = -w*p - r - 8. Which is greater: p or -4?
-4
Suppose 0 = -4*h + h, -2*o - 14 = 3*h. Let c(f) be the first derivative of 17*f**2/2 - 92*f + 19. Let p be c(5). Is o at most p?
True
Let i be (-31)/(-93) - (-75)/(-198). Let l = -4 + 2. Let f = l + 2. Which is greater: i or f?
f
Let l(w) be the second derivative of w**3/6 + w**2/2 + 3*w. Let z be l(-1). Let d = 3/107 - -175/1391. Which is smaller: d or z?
z
Suppose 5*b = -0*b + 4*i - 3, 0 = -4*b - 5*i + 14. Suppose -10 = 3*f - s, -3*f - s - b = 7. Which is smaller: -8/3 or f?
f
Let l = -27 + 17. Let z = -293 - -293.137. Let d = -1.863 - z. Which is bigger: d or l?
d
Let z(w) = w**3 - w**2 - w + 105. Let x be z(0). Which is smaller: x or 100?
100
Let p = 37 - 15. Let h = 25.6 - 45.6. Let u = p + h. Which is smaller: u or 1/6?
1/6
Let x = 7967 + -215071/27. Is x >= 0?
True
Suppose s - 4*b + 9 = -b, 3*s - 2*b + 6 = 0. Which is bigger: s or 1/13?
1/13
Suppose 6*t + 15 = t. Let d be (-2)/6 + 2/t. Let m be d/(-2) - (-13)/26. Is m less than -3/16?
False
Let n = 1530.031 - 1530. Which is smaller: -9 or n?
-9
Suppose -g - 3*i + 4*i = -2, -5*g + 3*i = -2. Which is smaller: 16 or g?
g
Suppose -3*n + 54 = 4*a, -5*n - 4*a = -2*a - 90. Let k be (-9)/(n/8) + -24. Is k at most as big as -28?
True
Let u = -465 - -453. Suppose -g + 2*g + 10 = 0. Which is smaller: u or g?
u
Let y = 33 + -15. Suppose -8*h - y - 46 = 0. Is -9 equal to h?
False
Suppose 8*q + 30 = -58. Let o(y) = -y**3 - 2*y**2 + 2*y - 2. Let t be o(2). Is t <= q?
True
Let a = -1571 - -1573. Which is smaller: -59 or a?
-59
Suppose 0*s + 38 = -2*s. Suppose -23*x + 25*x = n - 38, 3*n - 63 = 3*x. Which is smaller: x or s?
s
Let z be (-2)/6*1*117/52. Is z at least as big as -15?
True
Let r be 5*(-1)/(-2) - 2. Let y = 211.8 + -228.8. Which is greater: r or y?
r
Let h be 3/(132/(-5))*2/4. Let w = h + 2509/792. Is w less than or equal to 4?
True
Let b = 419 + -2103/5. Let g(m) = 4*m - m - 44 + 24. Let v be g(6). Which is greater: v or b?
b
Let h be (-68)/175066*(-1 + -1)/(-2). Which is bigger: 1/3 or h?
1/3
Let y = -9854/7 