ich is smaller: -2 or c?
-2
Suppose -f = -25 - 1. Suppose 0 = -3*x + f - 2. Let h(b) = b**2 - 7*b - 9. Let w be h(x). Which is greater: -1/10 or w?
-1/10
Suppose y - 2*y + 3*f - 1 = 0, 0 = 2*y + 3*f + 2. Which is smaller: -6/7 or y?
y
Let i = -1/405 - -424/7695. Let c = i + -370/171. Let w = c + 2. Do 1 and w have the same value?
False
Let l = -70 - -69. Which is smaller: l or -2/17?
l
Let p = -1 + 0.7. Let w = 1.12 - 0.22. Let x = -1 + w. Which is smaller: p or x?
p
Let f be (-8)/(8/3) - 1060/(-352). Is 0 at least as big as f?
False
Let z = 0.15 + 0.85. Which is smaller: z or 0.06?
0.06
Let x = 6.19 + -5.5. Let v = x + -0.09. Which is smaller: -0.1 or v?
-0.1
Let z = 4.29 - 4.1. Is -1 smaller than z?
True
Let d = 9 - 16. Let a = d - -10. Is a > 3?
False
Let a = 611/7 + -87. Is 0.7 > a?
True
Suppose a - 5 + 25 = 0. Let s be (-2*(-6)/a)/1. Let m = s - -4/15. Are m and -1 equal?
False
Let t = -0.5 - -0.49. Let s = 3.99 - t. Let z = -2 + s. Which is greater: z or -2?
z
Suppose 2*c - 22 = -4*i, -2*c = -3*i - i + 2. Suppose i = 4*r - 1. Is r at least 1/10?
True
Let o(u) be the first derivative of u**3/3 - 9*u**2/2 + 7*u + 2. Let b(q) = q**3 - 3*q**2 - 2*q. Let n be b(4). Let h be o(n). Is h >= 2/5?
False
Suppose -12 + 16 = 2*q. Let p be q*((-5)/(-2))/5. Which is greater: p or 0?
p
Let a = -0.4 + 0.5. Which is smaller: a or 0.01?
0.01
Let n be -2*(-1 + 0)*-1. Let z be 6 + (-2 - n)/1. Suppose 16 = 4*a, -4*a = 3*q - z - 7. Is q smaller than -2?
False
Let k(v) = 3*v + 40. Let g be k(-9). Which is smaller: 14 or g?
g
Suppose 6*a - 38 + 26 = 0. Which is smaller: 18/23 or a?
18/23
Suppose -5*n = -3*o - 17, 0 = 5*o + 25 - 5. Let l(b) = -4*b + 1. Let m be l(n). Let q be (1/(-1))/(-4 - -5). Which is greater: q or m?
q
Suppose q - 9 = 12. Let g = q + -13. Is g at least 9?
False
Let z = 3 - 3. Let k = z + 0. Let w = 1/106 - -101/530. Which is smaller: w or k?
k
Let l = -2 - -1.5. Suppose 8*y - 45 = 3*y + 4*h, 5*h = 3*y - 40. Suppose y*k = 3*k. Which is bigger: l or k?
k
Let i = 1.52 + 0.08. Let m = i - -0.4. Let j be 6/(-9)*-1*1. Which is smaller: m or j?
j
Let u = -3 + 5. Let h(s) = -6*s - 3. Let i be h(-4). Suppose 8 = -5*m + a + i, -4*m = 3*a - 18. Which is smaller: u or m?
u
Let h be 8/6*81/36. Let s(i) = 9*i**2 - 1. Let g be s(1). Suppose -2*z + 6*z = g. Which is greater: h or z?
h
Let t = -9 - -14. Let c be 2 - t/((-35)/(-52)). Let x = -107/21 - c. Which is smaller: -1 or x?
-1
Let m = -67 - -69. Which is greater: -1.2 or m?
m
Suppose -4*q = -2*q - 2. Suppose -14 = 2*j - 6. Let d be 2/(-10)*10/j. Which is bigger: q or d?
q
Let m be -2*1/(-208 - -2). Let p = m + -313/412. Is 0 at least as big as p?
True
Let b be 2/12 - (0/1)/(-7). Is b <= 1?
True
Let f = 16 - 18. Which is bigger: f or -0.08?
-0.08
Let k = -5 + 6. Suppose k = -4*o + 13. Suppose -3*f + o = 5*u - 4, -4*f + 6 = 5*u. Is f at most as big as 0?
True
Let g = 18.22 - 18. Which is smaller: g or -0.1?
-0.1
Suppose -5*j + u - 1 = 0, -5*j = -j - 2*u - 4. Which is greater: j or 2/115?
2/115
Suppose 2*h - 4*h = 12. Suppose 0 = 5*k - 6*k + 5. Let y = k + h. Is 2/7 < y?
False
Let k = -3 + 17. Let c = -12 + k. Which is greater: c or 3?
3
Let f be 4/6 - 4/6. Suppose f = t - 0*t. Let a = -4 + 2. Which is smaller: t or a?
a
Let g = 3 - -1. Suppose -6*v = g*w - 2*v, -v = -4*w - 5. Is w at least as big as -1?
True
Let v be 1/(-2) - 15/10. Let b = 0.06 + -2.06. Are v and b equal?
True
Let r = -5 + 8. Suppose -7*j = -r*j - 12. Suppose u = -2*g + j, u = -2*u + 3*g. Which is smaller: u or 2/3?
2/3
Suppose 11*a - 7*a = 112. Which is bigger: 30 or a?
30
Let r = 0 + 3. Let h(g) = g - 1. Let v(u) = 2*u - 1. Let x(t) = -h(t) + v(t). Let l be x(3). Is l greater than r?
False
Let f = 28 + -26.1. Let o = f + -2. Let k = -1 + 0. Is k bigger than o?
False
Let y = 13 - 8. Suppose -y*z = -2*z. Which is smaller: 1/8 or z?
z
Let a = -2.4 - -2.39. Let q = -0.19 + a. Which is smaller: q or -1/4?
-1/4
Suppose -5*p - 9 = -3*d - 34, -3*d + 2*p = 10. Suppose -3*t - 4*f - 10 = -t, t + 11 = -4*f. Let o be 6/(-4) - t/2. Which is smaller: d or o?
o
Let c = -1.6 - -2. Let w = 0.3 - c. Is 0.3 less than or equal to w?
False
Let p = -61 + 62. Is 6/43 less than or equal to p?
True
Let r(y) = -3*y + 5. Let d be r(2). Which is smaller: d or -2/81?
d
Let h be (1 + 0)*(3 + -4). Is h not equal to -3?
True
Suppose -32 = -2*j - 3*n + n, 4*n - 30 = -2*j. Suppose 2*f - 42 = -4*g, -3*g = -f - 22 - j. Let q be ((-1)/g)/((-3)/8). Which is greater: q or -1?
q
Let f(v) = v**3 - 9*v**2 + 8*v + 2. Let a be f(8). Let w be 7 - (2 + -2 + a). Suppose 3 + w = -4*s. Which is smaller: -3 or s?
-3
Let u be (1 + 4)/((-2)/4). Let d(v) = -v**3 - 11*v**2 - 11*v - 13. Let h be d(u). Let b = 7 + -10. Is b at least as big as h?
True
Suppose 0 = 3*h + 3, 4*i - 33 + 10 = -5*h. Suppose -i = -2*p + 3*y, -3 = 3*p - 2*y - 11. Which is greater: p or 5/6?
p
Let x = -5 - -1. Let u be 10/x + 3/6. Let b be (-28)/(-6) + u/(-6). Is b >= 5?
True
Suppose 375 - 15 = -4*b. Let s be -2 + -1 + b/(-35). Which is greater: 0 or s?
0
Let r be (2/(-10))/((-18)/(-288)). Which is smaller: r or -2?
r
Let b = -70 + 74. Let u = 0 - 0. Let s = u + 0. Is s > b?
False
Let b be ((-14)/(-35))/((-3)/585). Which is smaller: -79 or b?
-79
Let l = 25 + -44. Let k = l - -58/3. Let y(q) = q**2 + 2*q - 4. Let w be y(-3). Which is smaller: w or k?
w
Suppose -4 + 20 = 4*u. Suppose -2*f + 4*f - u = -5*m, 2*m + 8 = -4*f. Let c(a) = a. Let y be c(f). Which is smaller: y or 0?
y
Suppose -16*g = -20*g - 16. Which is smaller: -6 or g?
-6
Let s = -1 - 0. Let v(h) = -h**3 - 10 + 0*h + 3*h + 12. Let d be v(-1). Do s and d have different values?
True
Let j = -527/3 - -174. Let t(l) = -l. Let k be t(1). Which is smaller: j or k?
j
Let n = 17 + -14. Let r be 3 + (n - 57/9). Which is greater: r or 0.4?
0.4
Let h = 1165 + -82713/71. Which is smaller: h or 1?
h
Let n(y) = y**3 + 3*y**2. Let x be n(-2). Suppose 3 = 5*c - 4*z, 3*c = 7*c - z - 9. Which is smaller: c or x?
c
Suppose 0*g - 5*g - 105 = -5*a, -a - 3*g + 41 = 0. Which is greater: -0.1 or a?
a
Let d be 3/(-2) - 14/(-28). Is d equal to 1?
False
Let u = 56 - 55.86. Which is smaller: -0.1 or u?
-0.1
Let y be 2/(-7) + 38/84. Suppose k = -0*k. Suppose o = -k - 1. Is y greater than o?
True
Suppose -x = x + 4*u, -2*x - 5 = -u. Let l be 1 - x/8 - 1. Let y be (1 - 8/6)*-3. Does l = y?
False
Let b = 89 - 89.1. Is b > -2/13?
True
Let t(k) = k**3 + 4*k**2 - 10*k - 5. Let z be t(-6). Is z at most -18?
False
Let f = 86 + -63. Is -2 greater than or equal to f?
False
Let v be 116/16 + 2/(-8). Let y = 13 + -7. Is v bigger than y?
True
Let o(k) = 9*k**2 + 2*k - 3. Let r be o(2). Suppose -4*s - 16 = 0, -3*l - 2*s - 3 = -r. Suppose -4*v = 3*t + 14, 2*t + 5*v + 0 = -l. Which is smaller: t or -1?
t
Let b be ((-4)/52 + 0)*1. Is -1 != b?
True
Suppose -5*f + 20 = 2*a + 3*a, -24 = -a - 5*f. Which is smaller: a or -1/2?
a
Suppose 5*a = 432 + 318. Let z be a/(-84)*(-14)/(-12). Let p = 7/3 + z. Is 0 at least as big as p?
False
Let g = 3 + 2. Suppose -12 = -5*j - 3*o, 1 - g = -5*j - o. Let z = -267/5 + 53. Which is greater: j or z?
j
Let g be (-3890)/12 + 2/12. Let y be (4/(-6))/(24/g). Is y >= 2/3?
True
Let r = 3.9 + -4. Let c = 3 - 3.2. Which is smaller: c or r?
c
Let c = -17 - 7. Let g be c/(-14)*(-21)/(-6). Which is smaller: 3 or g?
3
Let u(d) = d**3 - 9*d**2 + d - 7. Let m be u(9). Suppose 2*k - 3*k = 3*r - 1, m*r = 0. Let f = -10/11 + 53/22. Which is smaller: f or k?
k
Suppose -5*i - 2 = -3*i. Which is greater: i or 5?
5
Let f(v) = -v**2 + 4*v + 2. Let a be f(3). Suppose 4*d = 3*t - 10, -7 = -4*t + a*d + 5. Which is bigger: 0 or t?
0
Let x be 2 + 2278/(-18) + 1. Let f = -124 - x. Suppose -3*m - 4*k + 15 = -0*k, 0 = -5*m + 2*k - 1. Is m less than f?
False
Let n = -8 + 8.7. Let c = 0.8 - n. Which is smaller: -0.03 or c?
-0.03
Let r = 2 - -3. Let q be ((-27)/r - 0)*-5. Let v be 114/27 + (-6)/q. Which is smaller: 5 or v?
v
Let c be (5/((-10)/8))/(-2). Let k be (-6)/(-1)*(-2)/(-4). Let b be ((k - 2)*c)/(-5). Is -0.2 equal to b?
False
Let u be ((-27)/8)/((-12)/16). Suppose 3*p = -4*f + 17, 5*p - 30 = -3*f - 2*f. Suppose d = -2*t + p, -2*t - 2*d = -4*t + 22. Is u less than t?
True
Let b(u) = -u**2 - 9*u - 5. Let n be b(-7). Suppose 2 = 3*q + t, 4*q + 0*q - t + n = 0. Which is greater: -2 or q?
q
Le