, -5*c - 4 = -4*h. Which is greater: 1/3 or c?
1/3
Let d(c) = c**2 + 2*c - 3. Let q be d(2). Suppose 10 = -q*l - 0. Which is smaller: -1 or l?
l
Let h be 2274/(-8)*(-7)/21. Let f = h + -94. Suppose 4*b + 4 = g + 3, g = -b + 6. Is f smaller than b?
True
Suppose 4*s = 5*g - 42, 2*g - 46 = 3*s - 18. Let q be ((-2)/s*9)/3. Let f = q + -1/2. Which is bigger: -1 or f?
f
Let k be (-12)/(-7) + 6/21. Suppose 2 = -k*f - 2. Let n = f + 0. Which is smaller: -2/3 or n?
n
Let q = 0 - -0.4. Let x = q + 0.6. Let y = -4.9 - -5. Is x at least as big as y?
True
Suppose 0 = 5*f - 2*f + 12. Let h be (-49)/4*(-1 + f). Let x = -61 + h. Is x bigger than 1/4?
False
Let a = -8 + 13. Let c = 6 - a. Let m = -8 + c. Is -6 smaller than m?
False
Let t(q) = 13*q + 9. Let d(v) = 9*v + 6. Let r(i) = -7*d(i) + 5*t(i). Let b be r(-2). Let s be 4/(-10) - (1 + b). Which is smaller: 1 or s?
s
Let q = -4 - -4. Let h = q + 0.2. Let m = 0.3 - h. Is m greater than 2/7?
False
Let f(s) = 19*s - 4. Let i be f(6). Let p = i - 49. Let k = -243/4 + p. Is 0 >= k?
False
Let o be 2 - 1*(-111)/(-21). Let r be ((-3)/14)/(6/(-88)). Let u = o + r. Are u and 1 unequal?
True
Let t = 3 - -6. Suppose -4*n + 4 = -2*n, -t = -3*r - 3*n. Suppose 2*z + 10 = 0, 3*o + 2*o - 5 = -z. Which is bigger: o or r?
o
Let m = -0.3 + 0.1. Let d = 0.9 + m. Let v = d + 0.3. Which is greater: v or -1?
v
Let p(q) = 0 + 5*q**2 + q**2 + 1 - 4*q**2. Let r be p(1). Suppose r*w + 8 + 7 = 0. Is w at most as big as -4?
True
Let y(s) = s - 4. Let l be y(7). Let v = 6 - l. Is 3 less than or equal to v?
True
Let n be (-1 - (-7)/6) + (-7)/294. Is -1 greater than n?
False
Let o(l) = 24*l**3 - l**2 - 2*l. Let m be o(-1). Is m > -21?
False
Let b be 4*(-2 + 36/16). Which is bigger: -2/117 or b?
b
Let c(x) = 8*x**2 - 2*x + 1. Let i be c(1). Let v be i/(-2)*(-2)/(-1). Which is smaller: v or -5?
v
Let x be 1/(0 + 2 - 3). Is 0 >= x?
True
Let j(l) = -2*l - 36. Let n be j(-17). Let z(r) = r**3 - 6*r**2 - 5. Let f be z(6). Let k be 2 - f*2/(-2). Which is smaller: n or k?
k
Let s(d) = -d**2 + 8*d - 10. Let b be s(6). Suppose -2*q = q - 3. Is b less than or equal to q?
False
Let t be (-4)/(-2)*(-3)/(-6). Let g be -7 - -7 - (t - 1). Is g smaller than 1/12?
True
Suppose -97 + 117 = 5*b. Is 32/11 at most as big as b?
True
Let y be ((-212)/371)/((-1)/(-14)). Let d = 0 - 8. Is y at most as big as d?
True
Suppose -3*h + 4 = -8. Let o be (-1 + h + 1)/(-7). Do o and 0 have different values?
True
Suppose 4 = 3*i - 11. Suppose -5*m - 44 = -54. Which is smaller: i or m?
m
Let o = 0.13 - -0.87. Let b be (7 - 1)*(0 + -1). Let w(l) = l**2 + 5*l - 3. Let x be w(b). Which is smaller: x or o?
o
Let z(b) = 3*b**2 - b. Let n be z(-1). Suppose n*c - 3 - 9 = 0. Suppose c*t + 2 - 6 = 5*f, 4*t + 2 = 3*f. Are f and -3 unequal?
True
Let v be (-74)/(-246) + (-6)/9. Let y = -562/369 + v. Let r = y + 20/9. Is r greater than 1?
False
Let c = -4 + 6. Suppose -4*n - c*q + 17 = n, -3*q = -5*n + 12. Suppose -16 = n*h - 4. Is -2 equal to h?
False
Suppose 6*q - 3 = 3*q. Let y be (q - -2)*129/(-9). Let j = y - -216/5. Which is greater: 0 or j?
j
Let y = -0.1 - -0.1. Let o = -19256/3 + 6349. Let z = o + 69. Which is bigger: z or y?
y
Suppose 3*t + 20 = -10. Is t at most as big as -9?
True
Suppose -2*k = 5*o - 16, -2*k + 4*k + 3*o = 12. Suppose p = 2 - 0. Let z = 4 - p. Which is greater: z or k?
k
Let x = 11.08 - 11. Let o = -0.02 - x. Which is greater: o or 9?
9
Let v = 0.19 + -0.21. Do v and 0.2 have the same value?
False
Let s = 468 - 3749/8. Suppose -2*f = 2*f. Which is bigger: s or f?
f
Let s = -5 - -9. Suppose q = -6*u + 3*u + 36, -2*q = -2*u + 32. Suppose u - 1 = s*g. Which is smaller: g or 1/2?
1/2
Let a(g) = -3*g + 4. Let s(d) = -10*d + 13. Let t(v) = 7*a(v) - 2*s(v). Let z be t(0). Suppose 10*w - 9*w - 2 = 0. Is w < z?
False
Let r = -0.934 - 0.066. Which is bigger: 25 or r?
25
Let a = -1 + 1. Suppose 520 = d + 3*d. Let f be (-13)/d*2/1. Is a bigger than f?
True
Let a = -4.94 + -0.06. Which is smaller: a or 0.1?
a
Let q = 7 + -5. Let d be 6/3*3/6. Which is greater: d or q?
q
Let q = 1411/3 - 479. Let l = q - -121/15. Is -1 smaller than l?
True
Let h(a) = -a**3 - 8*a**2 + 10*a + 2. Let r be h(-9). Let k be (-4)/(-10) - 74/10. Is r bigger than k?
False
Suppose -4*z = z + 5. Let s be (58/(-4))/((-10)/(-52)). Let d = s - -75. Which is smaller: d or z?
z
Let u be (((-10)/4)/5)/(-1). Let k = 2 + -3. Let j be 1/(-1)*k*1. Is j at least as big as u?
True
Let f = -1.03 + -0.17. Let j = f - 0.8. Which is bigger: j or 3?
3
Let t(d) = d - 4. Let i be t(13). Let k = 6 - i. Let p = 2 + -3. Which is smaller: p or k?
k
Let i(q) = -q**2 + 10*q + 10. Let p = -14 + 25. Let d be i(p). Is -3/5 < d?
False
Let g be 0 - 2/116 - 0. Let u = g - -125/522. Let a be (-64)/36 + (-4)/18 - -3. Which is greater: a or u?
a
Suppose a = 2 - 5. Suppose 0 = 2*k + 2*k + 4. Let j be -3 + (-1)/(k - 0). Is j at most a?
False
Suppose 4 + 5 = 4*p + 3*f, 0 = 5*p + 4*f - 11. Suppose 4*c - b + 2 = -p*b, c = -b + 2. Are -1 and c equal?
False
Let y be ((21/(-22))/(-7))/((-9)/(-96)). Is y smaller than 0?
False
Suppose -3*d - f + 3*f + 40 = 0, -3*f = 6. Suppose 0 = -q - 0*q + d. Is q smaller than 12?
False
Suppose 0 = -2*o - 3*o + h, 0 = 2*h. Suppose 0 = 2*g - o*g - 2. Which is greater: 1/3 or g?
g
Let k(j) = 2*j**3 + 4*j**2 + j - 2. Let b be k(-2). Suppose 6*r = -8 - 16. Is r smaller than b?
False
Let o = -36 - -26. Let z = -5 - o. Is z != 5?
False
Let o be (-2)/6*(-1 - 5). Suppose 3*h + 3*w = 6, 3*w = -4*h + o + 5. Is h equal to -3?
False
Let d(l) = -l + 8. Let h be d(7). Suppose -2*s - n + 27 = 0, s - n = -4*n + h. Suppose -3*q - s = -4*g, -4*q - 14 = -4*g + 6. Which is smaller: g or 0?
0
Let x = 5 + -4. Let z(u) = u**3 + 7*u**2 + 6*u + 6. Let l be z(-6). Let k be 1/(-3)*(-4)/l. Is x at most k?
False
Suppose 3 = -p - 1. Let c = -18.9 + 0.9. Let b = c - -16. Which is bigger: p or b?
b
Let y(q) = q + 2. Let h be y(-8). Let s be 3/h*(3 - -3). Which is greater: -5 or s?
s
Let q = -48 - -237/5. Which is smaller: q or 0?
q
Let p(q) = q**3 - 2*q**2 + 2*q. Let d be p(2). Suppose -6*o + 18 = -d*o. Let w be 2/o - (-8)/(-9). Which is bigger: w or 0?
0
Suppose 3*r - 19 = -13. Let g(i) = i + 3. Let j be g(-3). Suppose -k - 5*x + 16 = j, 7 = 4*k + 2*x - 3. Which is bigger: r or k?
r
Let q(o) = o**3 + 7*o**2 + 4*o - 6. Let c be q(-6). Is c greater than or equal to 6?
True
Let s(f) = f - 3. Let r be s(5). Let k be 1 + 0/(0 + r). Is k < 1/3?
False
Let a = 64 + -62. Which is bigger: a or 4?
4
Suppose -4*v - q + 7 = -0, 5*v + 3*q = 0. Suppose 3*c + 12 = 0, 0 = -5*u + 2*c - 9 - v. Are u and -5 non-equal?
True
Let v(u) = -u**3 - 9*u**2 + 9*u - 12. Let z be v(-10). Is z at least as big as -1?
False
Let k be (-7)/6 - 4/(-6). Which is smaller: k or -1/4?
k
Let p be -4*((-5)/2 + 2). Let w be p + 1 + -5 + -2. Which is bigger: w or -2?
-2
Suppose 2*d = 3*p - 11 - 20, 2*d - 5*p + 33 = 0. Let n = 1/263 - 267/1052. Which is smaller: d or n?
d
Let k = -25 + 61. Let n = k + -36. Let h = 3 + 0. Which is bigger: n or h?
h
Let k be 1/4 - (-6)/(-8). Suppose q - 2*q - 4*w = -2, 2*w - 10 = 4*q. Is q smaller than k?
True
Let j = -118/17 + 108/17. Is j <= -1?
False
Let s = -0.06 + 0.76. Let c = 69 + -69. Is c < s?
True
Let s = 0.3 + -1.3. Which is smaller: -0.04 or s?
s
Let n = 1 + 0. Let g be ((-3)/21)/(n/6). Which is bigger: -2 or g?
g
Let k be (-8)/12*-3*1. Suppose -3*a + 17 = 4*h, h - k*a + 1 = -a. Let d = -2 - -4. Is d < h?
False
Let l(v) be the second derivative of -v**4/12 + 3*v**3/2 - 3*v**2/2 + 2*v. Let h be l(6). Suppose -h = 5*t - 5*b, t + 5*b - 46 + 19 = 0. Is 2 equal to t?
True
Let d be -2*(-2 + 12/4). Let s(j) = j. Suppose -3*g = -4*t + 2*t + 3, 0 = 3*t + 3*g + 18. Let b be s(t). Which is smaller: b or d?
b
Suppose -j + 2*f = j - 4, 0 = -4*j + 5*f + 9. Let g be 7 + (j + -2)/1. Suppose 8 = -2*h - 2*a, -h - g*a - 20 = -a. Is 0 equal to h?
True
Let k = -0.14 - -0.24. Let m = 6 - 8. Is m <= k?
True
Let r be (-2 + 20)*(-3)/(-9). Which is bigger: -1 or r?
r
Let z be 4/6 - (-2)/(-3). Let k = 13/6 - 5/2. Which is smaller: z or k?
k
Let t be ((-183)/(-45))/(68/(-18)). Let h = 20/17 + t. Is h greater than or equal to -1?
True
Let d = 0.041 - 0.141. Is 1/101 less than d?
False
Let d = -142 - -131. Does d = -11?
True
Let f = -75 - -227/3. Which is smaller: