is bigger: k or d?
k
Let g = -38 + 9. Let o = g + 29.2. Are o and 0.2 non-equal?
False
Let c(f) = f**3 - 12*f**2 + 12*f - 4. Let s be c(11). Suppose s*x = 2*x. Are x and -10/7 non-equal?
True
Let d = 19604 + -156639/8. Is 23 >= d?
False
Let q be 21 + 1 + 45/(-9). Which is smaller: -5 or q?
-5
Let g = 1.3 + -1.1. Let m = g + -0.4. Let u = 6.8 - m. Which is bigger: u or 0.1?
u
Let c be 5/(50/4)*(20 - 5). Suppose -4 = -2*n + 6. Is n smaller than c?
True
Let k(z) = -13*z + 6. Let h(y) = 13*y - 7. Let l(d) = 5*h(d) + 6*k(d). Let j be l(-1). Let s be (-51)/42 + (-4)/j. Which is smaller: -2 or s?
-2
Let b be ((-6)/4)/(48/(-32)). Let w(a) = -6*a**3 + a**2 - 2*a + 2. Let g be w(b). Do g and -5 have the same value?
True
Let f(o) = -o**2 - 18*o - 53. Let g be f(-17). Let l = 61 - 96. Which is bigger: l or g?
l
Let t = -2623 - -123266/47. Is t less than or equal to 0?
True
Let h = 69 + -69.02. Are 0.4 and h equal?
False
Let o be 15/(-5) + 1 - 138. Let z = o + 7698/55. Is z smaller than 1?
True
Let n(j) be the second derivative of 7*j**4/12 - j**3/6 - 3*j. Let r be n(1). Suppose -t - r = -7. Which is smaller: -2/7 or t?
-2/7
Let i(a) = -a**2 - 9*a + 10. Let k be i(-9). Let r be (74/4)/(4/k). Let n = r - 46. Which is bigger: n or -4/3?
n
Let m = -232/305 - -46/61. Is m < 0?
True
Let j = -184 - -209. Which is bigger: 22 or j?
j
Let t be 1/(2/(-38) - 0). Suppose 0 = -k + 2*l - 30, 3*k + 6*l + 70 = 8*l. Is k less than or equal to t?
True
Let c = -12.4 + 2.4. Let k = -11.8 - 0.2. Let f = k - c. Which is bigger: f or 1?
1
Suppose 13*l = -5*l + 9*l. Let c be (4/(-6))/((-2)/3). Let v be -1*c/((-2)/(-6)). Is l equal to v?
False
Let d = 2/20213 - -79862/10005435. Is d > 0?
True
Suppose -2*r = 2*o - 11 - 23, 3*o - 4*r - 44 = 0. Suppose 5*g = 1 - o. Which is greater: 2 or g?
2
Suppose -62*t = -58*t - 468. Which is greater: 118 or t?
118
Let z = -1668 - -1721. Is z greater than 1?
True
Let l = -18.8 + -0.2. Let j = 19.08 + l. Let w = j - 0.18. Do w and -1/12 have the same value?
False
Let p = 8.2 - -89.8. Is p at most as big as -0.1?
False
Let k = 569 - 551. Is k < -2/3?
False
Suppose 14 = -5*s - 4*q + 6, -s + 5*q + 10 = 0. Let n(r) = r**2 - 2*r + 1. Let o be n(3). Suppose -5*t + 3*v - 23 = s, o - 2 = 2*v. Is -1 equal to t?
False
Let d = -5 - -8. Let v = 5 - d. Is v at most 36?
True
Let m be 20/70 + 573/(-21). Is -51/2 greater than m?
True
Suppose -285 + 150 = -9*t. Which is greater: 49/3 or t?
49/3
Let m = 20 + -24. Suppose 3*y - 16 = -2*o, 3*y = -o + 5 + 6. Suppose o = -2*n + 1. Which is smaller: n or m?
m
Let l = 199 + -198.8. Which is bigger: -2/7 or l?
l
Let n(p) = 3*p - 184. Let m be n(-15). Which is smaller: m or -2054/9?
m
Suppose -42 = l + 37. Let p = -66 - l. Which is greater: p or 51/4?
p
Suppose -3*c = -6 + 3. Let x = -1/210 + 319/840. Which is greater: c or x?
c
Let k = -1.15 - -0.15. Let z = -2 - k. Let j = -0.08 - 3.92. Which is smaller: z or j?
j
Suppose 11*h + 17*h = -280. Which is greater: -72/7 or h?
h
Let n(u) = -5*u + 19. Let o(h) = -h**3 - 4*h**2 + 5*h + 5. Let x be o(-5). Let v be n(x). Is v equal to -54/11?
False
Let p = 1070 - 1051. Is -12 >= p?
False
Let b be (84/15)/(28/(-1190)). Are -238 and b non-equal?
False
Suppose 0*z - 3*z - 31 = -5*d, -4*z - 5*d = -17. Let c be (-1 + 80/14)*-37. Let h = -175 - c. Is z greater than h?
False
Let k = 7.6 + -8.03. Let a = k - -0.36. Let l = -11 - -10. Is l greater than a?
False
Suppose -3*h + 4*x = 42, -4*h + 5*x - 46 = 3*x. Let i be (-2)/10 - (284/h)/2. Which is greater: 13 or i?
i
Let y(t) = -t**2 + 5*t + 6. Let r be y(5). Suppose -4*n + 13 = -3. Is n > r?
False
Suppose 9 = 5*u - 6. Suppose u*d = d + 4. Let x = d + 9. Which is greater: x or 10?
x
Suppose 16*p = 11*p + 375. Which is bigger: 74 or p?
p
Let x = 820 - 72979/89. Which is bigger: x or 0?
x
Let l(w) = 2*w**3 + w**2 - 6*w - 4. Let k be l(-3). Let d = k - -27. Which is smaller: d or -23/6?
d
Suppose -2*c + 6 = 5*n, -6*n = -c - 11*n + 8. Let o be (-16)/(-30)*176/(-124). Let j = o + -4/93. Which is smaller: c or j?
c
Let w(d) = -d + 11. Let h be w(6). Suppose 5*q = m - 22, q + h*m - 2 = 4. Let c be (1 - 3)*(0 + 2). Is q smaller than c?
False
Let h be 20/(-25) - -1401*(-2)/(-3540). Which is smaller: -7 or h?
-7
Let t be (-376)/(-282)*579/(-2). Do t and -386 have the same value?
True
Let c = -0.8 + 4.8. Let u = -21.6 - -22. Let g = u - -1.6. Is g greater than or equal to c?
False
Let x = 1195 - 1207. Let l = 16 + -23. Which is greater: l or x?
l
Let l = 3/266 + -1097/2926. Let f be 39/26*(-4)/6. Are l and f equal?
False
Let f be 1*40/(-32)*-80. Which is smaller: f or 101?
f
Let a(m) = -m**3 - 15*m**2 - 21*m - 35. Let b be a(-14). Let y = b - 56. Is 7 less than y?
False
Let t(c) = 3*c + 9. Suppose 3*n - 4 + 3 = 2*z, -3*z - 15 = 0. Let g(w) = -w**2 - 2*w - 1. Let h be g(n). Let y be t(h). Which is greater: -3/2 or y?
-3/2
Let s = -845.9969 - -846. Is 0.1 not equal to s?
True
Let h = 43 - 28. Suppose -3*n + 4*z = 26, 0 = -2*z - 3 - 5. Let b be n/(-21) + 80/6. Is h less than b?
False
Let j = -4 - -9. Let n = j + -4.95. Let y be 9/(-3)*1 + 3. Is n less than or equal to y?
False
Let d = 0.25 + -12.15. Let p = d - -12.9. Is -0.48 >= p?
False
Let p = -75.6 - -63.9. Which is smaller: p or 9?
p
Let v(l) = l**3 + 4*l**2 + 4*l - 1. Let m be v(-3). Let j = m + 5. Suppose -j = p + 1. Which is smaller: -5/6 or p?
p
Let x(p) = p**2 + 11*p + 10. Suppose 13 = 3*n - 5. Let g = -14 + n. Let i be x(g). Which is bigger: i or -13?
-13
Let z = -32 - -28. Let v = 37 - 61. Let d = -23.7 - v. Which is smaller: d or z?
z
Suppose -4*x + 5*x - 34 = 0. Suppose 0 = -2*v - 5*s + 2*s + x, -10 = -v + 2*s. Which is smaller: v or 16?
v
Let r = 40 - 30. Suppose 7*m - r = 12*m. Is -16/5 <= m?
True
Let x = -12 - -16. Suppose -8*w - x = -9*w. Suppose -l + 40 = w*l. Is 6 at most as big as l?
True
Suppose 2*b + 48 = 4*s, 0 = -2*b - s - 15 - 8. Let j be -1*(0 + 1/(-1)). Let p be 1*(j + -2) - 12. Which is smaller: p or b?
b
Let c be ((-4)/165)/(4/10). Suppose -2*n + 5*n - 147 = 3*t, n - 25 = -5*t. Let m = -44 + n. Which is smaller: m or c?
c
Let h(j) = -j**3 - 5*j**2 + 8*j + 7. Let p be h(-5). Let d = p - -28. Which is bigger: d or -3?
-3
Let l = -53 + 137. Which is bigger: l or 0.2?
l
Let i be (-5)/((-3 - -4)/(-1)). Suppose v + v = i*c + 4390, 0 = -4*c + 16. Let f be 616/v - 2/9. Which is bigger: -1 or f?
f
Let y be (-237)/20 - -3*5/25. Which is bigger: y or -10?
-10
Let r = 3/8075 + -1122443/48450. Is r < -22?
True
Let h be (2/(-3))/(-12 + 1). Let a be (0/(-12))/(10/(-15)*6). Is h bigger than a?
True
Let z = 21 - 27. Let s = -2131/284 - -18/71. Which is smaller: s or z?
s
Let h = -4385270 + 15458076853/3525. Let u = h + 1/75. Which is smaller: -1 or u?
-1
Let i(l) = -l**2 - 12*l - 9. Let d be i(-11). Suppose d*m - 6 + 1 = a, -5*m = -5*a - 10. Let q = 3/16 - 59/144. Which is greater: q or a?
a
Let q = -12 - -10. Let b be (-116)/180 + 1/5. Is q != b?
True
Suppose -4*q - 9 - 7 = 0. Let z be 9 + q - 2*-2. Which is bigger: z or 8?
z
Let g = -559 + 790. Which is smaller: 232 or g?
g
Let a = -0.046 - -54.046. Let y = a - 53.8. Which is greater: y or -28?
y
Let a = 40.013 - 0.013. Let d = 25 - a. Let i = -14 - d. Is 0.9 greater than i?
False
Let s = -2.06 - -13.06. Which is smaller: 19 or s?
s
Suppose 0 = -d - 5*d + 12. Suppose -d = -g + 2, -3*g + 24 = 2*s. Let a be 6/9*s/70. Is -0.1 bigger than a?
False
Let o(a) be the second derivative of a**3/2 + 7*a**2/2 + a. Let d = -65 - -62. Let s be o(d). Which is bigger: 1/5 or s?
1/5
Let f(r) = r**3 + 3*r**2. Let m be f(-3). Let y be 4/(-50)*8940/(-16). Let b = 45 - y. Which is greater: b or m?
b
Let p(i) = -2*i**3 - 2*i + 9. Let z be p(3). Let r = 21 + z. Which is bigger: -31 or r?
r
Let y = -273 - -241. Which is smaller: y or -159/5?
y
Let k = 0 - 1. Let x = -36/29 - -310/203. Which is greater: x or k?
x
Let t be (-2)/3*(-68364)/99. Let a = t - 460. Do a and 0 have different values?
True
Let o = 647 - 289. Does o = 359?
False
Suppose 30 = 3*x - 153. Let c = x + -60. Is -3/67 <= c?
True
Let g = -13585 + 258181/19. Which is bigger: 2 or g?
g
Let i(w) = -w**2 - 13*w - 10. Let o be i(-6). Is o >= 32?
True
Suppose -5*m = 2*h - 39, 2*h + 4*m = 5*h - 1. Is h at most as big as 5?
False
Let k(v) = v**3 + 2*v**2 - 3*v + 2. Let q be k(2). Let i(c) = 2*c**3 + 11