e
Let q be (-132)/484 + 1321/4884. Is q greater than or equal to 0?
False
Let f(v) = v**3 + v + 1. Let h = 19 - 10. Let w be (3/h)/(1/(-3)). Let c be f(w). Which is smaller: c or -2/57?
c
Let w = 0.78 + -2.78. Which is greater: 0.054 or w?
0.054
Let p(o) = o**2 - 24*o + 48. Let k be p(22). Suppose -6*d - 30 = k*d. Which is bigger: -1 or d?
-1
Suppose -55*b - 3*a = -54*b + 1, -4*b + 2*a + 10 = 0. Suppose -5*q + 0 - 20 = 0. Let r be (5/4)/((-7)/q). Which is smaller: r or b?
r
Let a = 1434 - 1532. Are a and -97 equal?
False
Let d(r) = 4*r**2 + 5*r - 16. Let z be d(-5). Which is bigger: z or 60?
60
Let d be (-34)/85*(-2)/(-436). Which is bigger: -1 or d?
d
Suppose 0 = 12*n + 5*n - 17. Is 30/43 equal to n?
False
Let n = 573 + -573.1. Is -1114 greater than n?
False
Let v(i) = -i**2 + 13*i + 59. Let c = 51 + -34. Let u be v(c). Which is smaller: u or -6?
u
Let u(t) = t**2 + t + 1. Let a(w) = -w**3 + 2*w**2 - 4*w - 6. Let x(g) = -a(g) - 5*u(g). Let p be x(7). Is -8 greater than p?
False
Suppose 0 = -5*q - 54 + 4. Let p = q + 9. Let h be (-76)/315 + 2/7. Which is bigger: p or h?
h
Suppose -2*m + 3*g = -g - 54, 134 = 4*m + 5*g. Let d = -104 + m. Which is bigger: d or -72?
-72
Let g(r) be the second derivative of 5*r**3 + 4*r. Let c be g(3). Let u be (2/3)/(110/c). Is 0 greater than u?
False
Let j = -11 - -8. Let z be (-1)/j - (-8)/30. Suppose 0 = -2*v + 7*v - 3*f + 10, -4*f = -v - 19. Which is greater: v or z?
v
Let a = -429 - -433. Does a = -0.1?
False
Let c = 4.9 - 5. Let v = -26.89 - -13.82. Let i = 0.07 + v. Which is greater: i or c?
c
Let t be 6/(-15)*(-15)/(-1). Let j be ((-5)/(-2))/(3/t). Is -60/11 >= j?
False
Let d(v) = 5*v - 22. Let p be d(-6). Let w be (-2)/(-8) - (-13)/p. Let b = -4/5 - -8/5. Which is smaller: b or w?
w
Let u be 10/84 + 2/(-6). Let f be ((-6)/(-8))/(8165/184 - 44). Is u at least f?
False
Let g = 88.3 + -82. Let u = g - 6. Let o be 70/28*(-3)/(-15)*-6. Which is bigger: u or o?
u
Let t = -144 - -144. Let d = -1 - 0. Which is smaller: t or d?
d
Let f = -60895 - -303184/5. Which is smaller: -259 or f?
-259
Let v = 110 - 105. Let d be v - ((-20)/(-8) + 2). Is 3.2 <= d?
False
Let t be 6/9 + (-1 - 2082/18). Let h = t + 117. Which is smaller: -0.028 or h?
-0.028
Suppose 94 - 706 = 6*x. Which is smaller: -101 or x?
x
Let a(z) = -z - 7. Let r be a(-9). Let u(c) = -c**r - 18 + 9 - 8*c + 2*c**2. Let f be u(8). Is -11 at least as big as f?
False
Let i be -1*(3 - 30/3). Let j = i - 3. Suppose 6*s - s + 50 = 5*a, j*s + 34 = 3*a. Do a and 7 have different values?
True
Let d(c) = c**2 + 18*c + 7. Let h = 62 + -79. Let i be d(h). Let j = -15 + 5. Is j greater than or equal to i?
True
Let z = -442019/243 + 1819. Which is bigger: 1 or z?
1
Let m(q) = -55*q - 220. Let s be m(-4). Which is smaller: -1.6 or s?
-1.6
Let t = -0.1 + 0. Let u = -939595/10076 + 2/2519. Let q = 94 + u. Is t at least as big as q?
False
Let d(q) be the third derivative of q**4/24 - 4*q**3/3 - 5*q**2. Let u be d(7). Let y(j) = -j**3 + j**2 - 1. Let r be y(u). Which is smaller: 2 or r?
r
Let r = 1.17 + -0.17. Suppose -2*s + 3*d + 17 = -0*s, -5*d = 2*s + 23. Suppose -p + s = -2*p. Which is greater: r or p?
r
Let c = -42893/23573 + 3/2143. Suppose -d + 4*m - 6*m + 7 = 0, 4*d - 3*m = -16. Which is bigger: d or c?
d
Let u = -444.985 + 447. Let p = 0.015 - u. Is -2/9 at most as big as p?
False
Suppose 0 = -3*l - n - 14, l - 4*l = 5*n + 22. Let p = -9.06 + 9. Let d = p + 0.16. Are d and l equal?
False
Suppose -4*h - 10 = h. Suppose -10*r + 4 = -46. Suppose -r*z = -6*f + 5*f - 22, 4*z - 8 = 4*f. Which is smaller: f or h?
h
Let l = -6 - -4. Suppose -2*h + 10 = -4*h. Let q = h + 7. Are q and l non-equal?
True
Let j(f) = 3*f + 9. Let n be j(5). Suppose -14 = -u + 10. Is n bigger than u?
False
Let v = 585 + -584.93. Does v = -0.02?
False
Let c be -2 + (44/16)/1. Let i = c - 13/28. Let y = -2 - -1. Is y not equal to i?
True
Suppose 0*m + 3*m = 9. Let c be 2 + (-1)/(m/12). Let j be (6 - -1) + c/1. Is 2 less than j?
True
Let z be 112/230 - 32/80. Which is smaller: 8 or z?
z
Let h = 0.25 - 0.3. Let m = h + -4.95. Let r(o) = 2*o**3 + 10*o**2 - 3*o - 14. Let i be r(-5). Is m at most i?
True
Let g = 33 - 85. Let z = -36 - g. Let i be (-4)/z - (-31)/(-36). Which is bigger: i or -2?
i
Let p = -5/6 - -4/3. Suppose 18 = -2*r - 2*j, -4*j + 0*j - 1 = -3*r. Is r > p?
False
Suppose 9*n = -0*n - 270. Is n at most as big as 0.1?
True
Let m = -4 - -1. Let d = -4 - m. Suppose -50*y - 47 = -3*y. Are y and d non-equal?
False
Let h be 22*1 + (31 - 36). Suppose s - 16 = -0*s. Which is smaller: s or h?
s
Suppose -174 - 110 = 4*n. Let j be (-2)/11 + (-4608)/66. Which is smaller: j or n?
n
Let t = 5 - 3. Suppose -2*c + t = 6. Let n be (-6 - 13/(-2))/((-6)/16). Are c and n equal?
False
Let c = 4821/124 - 35/31. Let d = c - 38. Is d bigger than -1/19?
False
Let f be 2/(-1 + 2/4). Let s be -1 - 1/(-5 - -6 - 2). Is f bigger than s?
False
Let z(x) = -2*x - 2. Let f be z(5). Let g be -19 + 2 + -1*3/3. Let w = g - f. Which is smaller: w or -5?
w
Let z(n) be the third derivative of n**4/6 - n**3 - 4*n**2. Let h(r) = 8*r - 12. Let c(l) = 6*h(l) - 13*z(l). Let g be c(4). Which is greater: -11 or g?
g
Suppose -5*f - 141 = 4. Suppose -765*r + 112 = -769*r. Which is smaller: f or r?
f
Suppose -l + 0*l = -8. Let s be (-1)/(-1) + l/3. Suppose 20*w = 31*w - 44. Is w greater than or equal to s?
True
Let b = -1857 - -150415/81. Let m = -7288 - -7287. Which is greater: m or b?
b
Let g be (12/(-8) + 2)*-2. Let b be -1 + -4 + (g - -4). Is -6/7 > b?
True
Let y be (4/(-2))/(-26 + 28). Which is smaller: y or 11?
y
Let s = 18 - 16. Let w be s/7 + 90/(-609). Let n = w - 73/319. Is n <= 0.1?
True
Let h = -58 - -158. Let a be (-349)/(-7)*(-2 + 4). Let k = a - h. Which is smaller: -0.3 or k?
-0.3
Let g be 11/(-5) - (1 - 7 - -4). Which is smaller: -0.5 or g?
-0.5
Let c = 0.23 + -0.3. Let y = 0.14 + c. Let n = y + 0.03. Which is greater: n or 7?
7
Let a = 2843 - 2236.7. Let o = a - 643. Let i = o - -35. Is 2/5 at least as big as i?
True
Suppose -2*j - w - 4 = -0, 3*j = 3*w - 24. Let l be (-7)/(-3*j/12). Is -4 > l?
True
Suppose 0 = -4*o + 4, z = 2*z - 4*o - 4. Let p be 1/(-4) - 126/z. Let v = p + 17. Is 1 less than v?
False
Let r = -0.033 + -0.257. Let c = -1.29 - r. Which is bigger: 17 or c?
17
Let s = -2.993 - -3. Let n = s + -2.007. Is -35 at most as big as n?
True
Let f be -3 - 10/(-15)*3. Let n be (-27)/(-36) + f/(-4). Which is bigger: n or 4/9?
n
Let u = -1917 + 1915. Is 0.837 > u?
True
Suppose c - 3 = -2, 4*c - 12 = 4*b. Is b less than -2?
False
Let a = 30/257 - -8181/2570. Is a != 1?
True
Let y be -6*1/3 - -3 - -126. Which is smaller: 129 or y?
y
Let u(j) = -382*j + 63. Let o be u(1). Is o greater than or equal to -322?
True
Let j(g) = -g**2 - 14*g + 11. Let v be j(-16). Let b be (-380)/(-56) - (-6)/v. Let p = b + -7. Which is bigger: -2 or p?
p
Let i(g) = 4 + 0 + 11 - 4*g**2 + 3*g**2 - 16*g. Let l be i(-17). Is l <= -3/4?
True
Let y = 0.1 - -5.3. Let w = y + -5.55. Which is smaller: w or 1?
w
Suppose 8*n + 62 = 14. Which is bigger: n or -19?
n
Let u = -40 - -31. Let y = 9.8 + u. Is -2/3 less than y?
True
Let v be (-55)/(-20) - (-1)/2*-2. Are v and 2 non-equal?
True
Let m be (12 - 12)/((-2)/2). Suppose m = -a + f - 2*f, 4*a - 4*f - 8 = 0. Is a less than -18?
False
Let q = -265 - -260.36. Let u = q - -4.6. Which is greater: -2 or u?
u
Suppose 2*l + 10 = 0, -3*f + 0*l - 3*l = 45. Let y be (1/f)/((-23)/8). Let d = -67/1380 - y. Which is smaller: -1 or d?
-1
Let b(h) = -h**3 - 9*h**2 - 9*h - 1. Let l be b(-8). Let v be 12/(-42) - 5/l. Let n = -1558 - -129316/83. Is n at most as big as v?
False
Suppose -3*p + 77 - 77 = 0. Is -240 not equal to p?
True
Let u = -69 + -5. Is u at least as big as -72?
False
Let c be 1/(-3) + (-17)/3. Let q be 2/20*(-8)/c. Let p = 0 + 0. Which is smaller: q or p?
p
Suppose -4*s = -26 + 86. Let v be (-1*(-5)/s)/(-1). Which is smaller: 0.044 or v?
0.044
Suppose 16*a + 0*a = -16. Let d = -199 - -2785/14. Which is bigger: a or d?
d
Let m = -0.22 + -7.78. Suppose 0 = 4*a + a + 20. Is a <= m?
False
Let a be 20/(-4) - (-2 - -150). Is -153 less than a?
False
Let h = -39.5 + 0.7. Let j = 41 + h. Which is greater: -0.1 or j?
j
Suppose -3*t = -4*i + 20 + 8, -2*t = i + 4. Suppose i*y - 3 = -4*a - 23, -5*a - 19 = 3*y. L