 -6*c. Let g be ((-2)/(-4))/(9/c). Which is greater: -2 or g?
g
Let z = -6/251 + 7/10793. Which is smaller: 1 or z?
z
Suppose -11 = 4*o + 3*i, -4*o + 4*i = -o - 23. Let b be 10/6 - o - (-2)/(-3). Is -5/2 bigger than b?
False
Let j(f) = 5*f + 28. Let u be j(-5). Suppose -u*x = 3*x - 6. Is 18 < x?
False
Suppose -3*f - 4*d = -23, f - 3 = 2*d - 12. Is f at most -14/157?
False
Let u = -371 + 197. Which is greater: -173 or u?
-173
Suppose 11 = -3*d - f, -2*d + 3*f - 4 = 2*f. Let a(c) = -c**2 - 4*c - 4. Let s be a(d). Which is bigger: 0 or s?
0
Suppose 6*b + 90 = -4*b. Let c be 8/48*12/b. Suppose -3*w + 3*f = -2 - 10, -5 = w + 2*f. Which is smaller: c or w?
c
Let s = -753 - -740. Suppose 3*h + 57 = 3*i, -3*h + 5*i - 89 = -22. Is s bigger than h?
True
Let i = -14 + 2. Let v = i + 13. Let g be (2/11)/(2/2). Which is smaller: g or v?
g
Suppose g = -h - 4 + 2, -2*g = 4*h + 4. Let t = -3982 + 3982. Which is bigger: g or t?
t
Let o(u) = -6*u**3 - u**2 - u. Let w be o(0). Which is smaller: w or 331?
w
Let j be (6/(-18))/(2 + 38/(-18)). Suppose j*s = 16*s - 416. Which is greater: s or 31?
s
Suppose 3*x + 3*w + 9 = -0*x, 0 = -3*w - 3. Let m(r) be the second derivative of -2*r**3/3 - 5*r**2/2 + r. Let n be m(x). Is n greater than or equal to 3?
True
Let b(p) = -3*p + 5. Let a be b(-3). Let v be 0/(-1) - 20/a. Which is greater: v or -2?
v
Suppose -2*k - 2*b + 6 = 2, 5*k - 14 = -3*b. Suppose k*q + 15 = -5. Let t be (118 - 102)*1/(-4 - -1). Which is greater: q or t?
q
Let s = -427/3 - -2177/15. Let v = -0.4 + 0.3. Which is smaller: v or s?
v
Let n = -3 + 3. Let k = 23 + -15. Let g be (2/k)/((-9)/6). Which is greater: g or n?
n
Let m be (-3)/2 - (-45)/18. Let r be (-120)/(-50) + (m - 3). Let j = 2 - 1. Which is bigger: r or j?
j
Suppose -3*w + 6*w - 4 = -f, 3*w = 4*f - 1. Suppose 5*z + 4 + w = 0. Let m = 78/7 - 1808/161. Which is greater: z or m?
m
Let b = -144 + 144.1. Let a = -0.1 + -0.22. Which is bigger: a or b?
b
Suppose -11*x + 29 = -81. Let d be (-6)/(-4) - ((-45)/x + 3). Which is bigger: d or 1/14?
d
Let o(g) = -17*g - 1. Let d(s) = 18*s + 1. Let v(w) = -7*d(w) - 6*o(w). Let m be v(1). Which is greater: m or -26?
m
Suppose 0 = -13*t + 86 + 5. Let d(a) = -a - 27. Let s be d(t). Is s smaller than -32?
True
Suppose -2*i = -7*i + 10. Let y = i - 5. Let k be y/4*(-32)/9. Which is smaller: k or 2?
2
Let y be ((24/(-248))/1)/((-27)/(-6)). Is y != -1?
True
Let y be ((-3)/(-166))/((-9)/(-12)). Let t = -11011/10 - -5503/5. Is y < t?
False
Suppose 0 = g + 5*b - 49, -5*b - 12 = 3*g - 109. Let q = -19 + g. Suppose -8 = 2*c + 4*z, 0 = 4*c - 0*c + q*z + 19. Is c at most -6?
True
Let b = 357.804 + -393.1. Let z = -0.604 + b. Let q = 36 + z. Which is bigger: q or 4/9?
4/9
Let h(m) = 40*m**2 + 2*m - 2. Let o be h(1). Is 44 < o?
False
Let t = 310 - 328. Which is greater: -7 or t?
-7
Let i = -90 - -88. Let c be (i/(-4)*0)/(2 - -1). Which is greater: c or -7/13?
c
Let d = -15/52 + 729/26. Let g = d + -31. Which is bigger: -4 or g?
g
Let y = -1120 - -1063. Is -56 < y?
False
Suppose -3*u = 141 - 3. Which is smaller: -42 or u?
u
Suppose x + 12 - 15 = 0. Is 15/4 < x?
False
Let y(z) = -z**3 - z**2 - z**3 - 1 + 3*z**3. Suppose g = 3*v + v - 8, 4*g = 0. Let j be y(v). Is 2 less than or equal to j?
True
Let q = -17.8 - -17.8. Is 3/10 <= q?
False
Let l(k) = k**2 + 2*k + 1. Let m be l(2). Let g be (m/6)/(9/(-12)). Let z be 15/(-7)*g/3. Which is bigger: z or 0?
z
Suppose -2*x + 4 = 2. Let h be ((-10)/(-2))/(x/2). Let s = 807.2 + -807. Is h less than or equal to s?
False
Let t be 286/(-12) + 5/(-30). Let w be 2/3 - 236/t. Let m = 23 - 12. Which is greater: m or w?
m
Let j be 732 + (1 - (2 - 0)). Which is bigger: 730 or j?
j
Let o = -34.2 - -24.3. Let b = 0.18 - 10.18. Let d = b - o. Does d = 3?
False
Let n = -12 - -11.76. Let a = n + 0.44. Is a at most 9?
True
Let j = 210.03 + -211. Let c = j - -0.07. Let q = 1.3 + c. Is 0.2 not equal to q?
True
Let p(z) = z**2 + 4*z**2 - 4*z - 3 + 2*z**2 - 6*z**2. Let x be p(5). Let l be (x + 3)/(-6 + 5). Is -3 smaller than l?
False
Let q be (-6)/(-9) - (4/6)/(-2). Let h be q*((-10)/5 + -30). Is -33 bigger than h?
False
Suppose -72 = 4*o + d + 2*d, 2*o + 62 = 5*d. Let f = 16 + o. Which is smaller: -13/3 or f?
f
Let c be -3 + 24*2/(-1). Is c at least as big as -52?
True
Let c = 1698 - 1693. Which is smaller: 68/13 or c?
c
Let o be ((-2050)/125)/(2 + 38/(-20)). Are o and -163 non-equal?
True
Let d(c) be the third derivative of -c**4/12 - 5*c**3 + 15*c**2. Let b be d(-13). Which is greater: 0.02 or b?
0.02
Suppose 0 = 67*n - 69*n - 2*j - 2, 2*j = 10. Let y be 58/(-9) - (-12)/54. Is n smaller than y?
False
Let t(k) = -k**2 - 14*k - 22. Let d be t(-12). Suppose 4 = 2*l + d. Is l > 3/32?
True
Let f = -12 + 16. Suppose -f = -d - 0*d. Suppose d*p + 3*v = 1 - 10, 3*p - 2*v + 11 = 0. Which is smaller: p or -5?
-5
Let k = 0.0165 - 28.9165. Is 1 less than k?
False
Let g(n) be the third derivative of -n**4/12 - 4*n**3/3 + 5*n**2. Let m be g(-7). Let q = 5 - m. Which is smaller: -4/17 or q?
q
Let j = -18 - -20. Let q(c) = 2*c - 3. Let v be q(4). Suppose -j*y - 19 = w, 4*y = v*y + w + 11. Are -8 and y unequal?
False
Let u = -18 + 35.7. Let d = u + -6.8. Let j = 11 - d. Is -10 less than j?
True
Let i be 0 + -1*6/(-2445). Which is smaller: 0 or i?
0
Let u = -443/5225 + 3/5225. Is -1 <= u?
True
Suppose 0 = -2996*m + 2986*m + 340. Which is greater: m or -2?
m
Let m = 29/8 + -317/72. Are m and 0 non-equal?
True
Let t(u) = -2*u**2 - 38*u + 26. Let f be t(-20). Which is smaller: f or 0.9?
f
Let t = -239 - -234. Let b = -34 - -24. Which is bigger: b or t?
t
Let s(t) = 5*t**3 - 14*t**2 - t - 6. Let v(p) = -14*p**3 + 42*p**2 + 3*p + 19. Let o(x) = -17*s(x) - 6*v(x). Let l be o(-14). Which is smaller: l or 3?
l
Suppose -5*x + 0*g + 5*g + 95 = 0, 5*x + 3*g = 63. Suppose -14 = 14*o - x*o. Which is smaller: 16 or o?
o
Let a(f) = -3*f + 23. Let c(o) = o - 8. Let x(s) = 3*a(s) + 8*c(s). Let t be x(-9). Suppose -5*j + t = 2*d, 4*j + 2*d = -0*d + 12. Which is smaller: j or -2/3?
-2/3
Let d be (0 - (-1)/4)*(-2156)/42. Let u = 13 + d. Is u != 1?
True
Suppose 5*z + 2 = 4*p, -7 = -5*p + 4*z - 0. Suppose -3*s = 3*v - 2 - 16, v - 2 = p*s. Which is smaller: 4 or v?
4
Let y = 0.04 + 0.36. Let w = y - 0.3. Do -31 and w have the same value?
False
Let y = 1.2 - 1.3. Which is greater: 0.7 or y?
0.7
Let v = -293/77 - -45/11. Suppose -26 = 2*a - 4*a. Is a smaller than v?
False
Let n be 2 + 18/(-10) + (-3)/15. Let y be ((-1)/(-4)*n)/(-1). Which is smaller: -1 or y?
-1
Let j = -102 + 106. Let g be (1 - 4 - j/(-1)) + 5. Which is greater: g or 3?
g
Let i be (-9)/(-3) - (3 + 0). Let l = -2.2 - -22.2. Let w = l + -30. Which is smaller: i or w?
w
Let i = -27 + 13. Let o be 3 + i/4 + 1/(-2). Is o != 1?
True
Let d(g) = -2*g**2 - 21*g - 11. Let u be d(-10). Which is greater: -1/284 or u?
-1/284
Let s = 260.09 - 257. Let u = s - 0.09. Which is greater: 0 or u?
u
Suppose 0 = -u - y + 2, -3*y = -7*y - 16. Suppose 10 = 3*h - h. Suppose h*p = -w + 35, w = -4*p + u*w - 1. Is p at most as big as 9/2?
False
Let t = 91 - 93. Let w(q) = 7*q + 13. Let s be w(t). Let z = -1 - -1. Which is smaller: z or s?
s
Let x = -47 + 37. Let y be (-12)/(-30) + 4/x. Are 2 and y nonequal?
True
Suppose -3*h + 23 = -5*s, 7*s = 2*h + 3*s - 18. Let l be (-60)/(-6)*9/(-3*h). Is l less than -29?
True
Suppose i - 130 - 185 = 0. Which is smaller: i or 316?
i
Suppose -61*o + 59*o = 30. Suppose -2*t - 8 = x, 0 = 5*x - 0*x - 4*t + 82. Is o less than or equal to x?
True
Let n(x) = x**2 + 8*x + 18. Let t be n(-5). Suppose 17 = -2*w - q, t*w + 2*q + 13 = -2*q. Let f be -1*3*22/6. Is f < w?
False
Let h be 1686/(-4950) + 2/6. Let c(p) = -p**2 + 6*p + 16. Let d be c(8). Is d >= h?
True
Let h be 6018/272 - (-2)/(-16). Is 240/11 greater than h?
False
Let a = 2 - 1. Let i(y) = 2*y**2 + 23*y + 17. Let v(s) = s**2 + 11*s + 8. Let m(h) = 2*i(h) - 5*v(h). Let f be m(-8). Which is greater: a or f?
f
Let q = -323 + 331. Let y(f) = -4 - 1 - 3*f**2 + f**3 + 2*f + 1. Let j be y(3). Which is greater: j or q?
q
Let p be 187/9 - (-12)/54. Let b = 25.6 - 25.7. Is b != p?
True
Let g be -6 + 3 - (0 + 1). Let k be g/10 + (5226/990 - 5). Which is smaller: -1 or k?
-1
Suppose -3*u = 3*i - i + 8, 5*i = 2*u + 37. Let v = u - -3. Let g be (1/39)/((-1)/v). Which is greater