 is bigger: c or 0.1?
0.1
Suppose 47 = -3*c - f, -4*c + 2*f - 80 = -f. Suppose 0 = 5*t - 5*v - 30, 0 = 2*t + 3*v - 25 - 7. Let b = t - 26. Is b at least c?
True
Suppose -3*v - 6 = a + 18, 5*v - 11 = 4*a. Let p(l) = -5. Let t(c) = -c + 1. Let z(d) = p(d) + 5*t(d). Let u be z(2). Which is smaller: a or u?
u
Suppose 6*c - c - 25 = 0. Suppose -38 = c*l - 8. Let r be -5*((-30)/25)/l. Which is greater: r or -6/13?
-6/13
Let d = 99 + -99.2. Which is smaller: -0.18 or d?
d
Suppose 7 = 6*u + u. Are -143 and u unequal?
True
Let p be -2 + -1 + (-51)/(-17). Which is greater: -5/623 or p?
p
Suppose 4*m - 78 = -18. Suppose 0 = y + 4*y + m. Let q be 3 + -3 + y + 3. Which is greater: q or 2?
2
Let h = -17 + 18. Let y be (36/(-2 + 0))/h. Do -18 and y have the same value?
True
Suppose 84 + 0 = 6*i. Does i = 11?
False
Let i(a) = 2*a + 1. Let y be i(-1). Let r be 10/105 - (y + 1). Is 0.1 at least r?
True
Let l = -173.9 - -171. Let p = -3 + 3.1. Let z = p - l. Is z at least as big as -1?
True
Let q be 24 - -6 - ((-8)/(-4) + -5). Which is smaller: q or 35?
q
Let a(r) = r**3 - 6*r**2 + 5*r + 2. Let t be a(5). Let g be ((-7)/t)/(2/4). Let l = 31/4 + g. Is 0 greater than l?
False
Suppose -4 = -2*u - 2*b - 20, -5*b = -2*u + 5. Which is bigger: -52/11 or u?
-52/11
Suppose -3*p - 6*s = -s - 11, 3*p - 5*s - 1 = 0. Let z be 3 + (1 - 0) + -6 + p. Suppose o + o + 2 = 0. Which is bigger: o or z?
z
Suppose -i + 3*i - 11 = 3*k, 5*i + 20 = -2*k. Let s be 188/(-55) + 7 + 30/(-6). Let r = s + 9/11. Which is bigger: r or i?
r
Let h be 28/(-35)*-1 - 30/25. Let k(n) = -n - 7. Let v be k(0). Which is smaller: v or h?
v
Suppose -1465 = -2*v + 661. Is v equal to 1062?
False
Let m = -7.6 - -1.6. Let c = m + 8. Let g = c - 1.9. Which is smaller: g or 1.9?
g
Let n = -9 + 12. Suppose 5*k = 3*s - 5*s - 29, s - k = n. Let g be -1*s/(0 - -2). Is -2/23 at least g?
False
Let f = 8 + -14. Let c be -9 + 7/((-14)/f). Do c and -16/3 have different values?
True
Suppose -3*d - 4*s + 7*s - 267 = 0, 0 = d + s + 91. Let m be d/162 - 4/(-18). Which is smaller: m or -30?
-30
Suppose 0 = -4*v - d - 0*d - 151, 145 = -4*v + d. Let q = 43 + v. Is 8 less than or equal to q?
False
Suppose -k + 3 = 1. Let v = 5.1 - 1.4. Let h = v + -3.6. Is k equal to h?
False
Let l be (8/12)/((-62)/6). Let w(k) = -k**2 - 17*k - 16. Let y be w(-16). Suppose -5*f + 2 - 7 = y. Is f less than l?
True
Suppose -465 = -2*z - 395. Is 35 greater than or equal to z?
True
Suppose d - 6 - 9 = 0. Suppose -3*k - d = 5*r, -k = r - 2*k - 5. Let l be 57/45 - 4/6. Which is greater: r or l?
l
Suppose 8*d - 10*d = 52. Let x = 33 + d. Is 9 greater than x?
True
Let y be 1/(-4) + 3/6. Let f be 0/(9 - (-16)/(-2)). Is y <= f?
False
Let c(x) = -x**2 - 4*x + 32. Let n be c(4). Let j = -40 + 159/4. Is j != n?
True
Let u(a) = -a**3 - 3*a**2 + 7*a - 8. Let j be u(-5). Suppose -j*n - 14 = -7. Which is smaller: n or 104?
n
Let y be (-1)/(5 - 130/25)*8. Is y less than 36?
False
Let c(s) = s**3 + 10*s**2 + 9*s + 3. Let u be c(-9). Suppose 3*v + u*o + 0*o = 108, 3*o + 132 = 3*v. Let w = -198/5 + v. Which is smaller: 1 or w?
w
Let b = -0.112 + -0.078. Let l = -0.01 + b. Are -11 and l unequal?
True
Let b(x) = -x + 2. Let d be b(-6). Let z be 12/d*8/(-6). Let p be 2/9 - -1*(-327)/135. Which is smaller: z or p?
p
Let g = 16.705 + 0.295. Is -17 bigger than g?
False
Let f be 0 + -2 + (-14)/(-6). Let b(u) = 3*u + 2 + 3*u - 7*u. Let p be b(1). Is f <= p?
True
Let v = 6/47 - 1522/141. Is v at least as big as -12?
True
Let m be 2/(-11) - 2/(-11). Is m < -14/31?
False
Let s(y) = -y**3 - 16*y**2 - 43*y - 15. Let w be s(-8). Is -183 <= w?
True
Suppose g = -3*t - 11 - 2, -2 = -2*g + t. Suppose -5*h + 4 = -6. Suppose 3*z - h = 4. Which is bigger: z or g?
z
Let x = 0 - 4. Suppose -10*i + 8*i = 0. Let s(c) = 5*c - 1. Let l be s(i). Which is smaller: x or l?
x
Let f = 399 + -369. Is f at least as big as 32?
False
Let x = -1 + -1. Let h be 1/(-4) + 2/(1632/(-2612)). Let m = 36/17 + h. Which is greater: x or m?
m
Let n = -36 - -39. Which is bigger: 4 or n?
4
Let j(h) = -3*h + 1. Let b(g) = -g**2 - 3*g + 2. Let w(p) = 3*p. Let i be w(-1). Let l be b(i). Let x be j(l). Is -5 greater than or equal to x?
True
Let x = 477 + -477. Which is smaller: x or -7/184?
-7/184
Let g be 200 - -2*(-1)/2. Let c = -43 + g. Let n be (-1)/6 + (-13)/c. Which is bigger: n or -2/7?
n
Let j = 5 + -5. Let x = -31.85 + -0.15. Which is greater: x or j?
j
Suppose 2*p + 4*i - 5 = -19, -p - 5*i = 22. Suppose -j - p*j = 0. Suppose j*w + 5*w = 0. Which is bigger: 3 or w?
3
Let b = 6 + 1. Suppose -b*g = -6*g + 12. Is g at least -14?
True
Let b = 5 - -11. Let f be (-2)/8 + -1*(-20)/b. Is f at most as big as 2/29?
False
Suppose 5 - 1 = 2*x. Let w(a) = 2*a + 2. Let j be w(x). Suppose -3*p - 3 = -j*p, -2*s = 4*p - 2. Is s bigger than -1?
False
Let g = -195 + -122. Is -318 <= g?
True
Let y = 0.1 - -0.4. Let k = 13.5 - 12. Let h = y - k. Which is smaller: h or -0.08?
h
Let n be (28/6)/((-68)/2424). Let r = -166 - n. Let y = 15 - 15. Is r < y?
False
Suppose 3*v + 4*i + 88 = 0, -v + 0*i - 32 = 2*i. Is -189/8 smaller than v?
False
Suppose -34*j = -48*j - 14. Does -3/32 = j?
False
Let x(s) = s + 3*s**2 - s**2 + 1 + 2. Let k be x(-3). Let d = k - 23. Are d and -5 unequal?
False
Let d be 2/7 + 2/(-7). Suppose -39 = 3*p - 2*g, 5*p + 3*g - 147 = -193. Which is smaller: p or d?
p
Let l(x) = -x - 26. Let p be 1/(-5) + (-1)/(-5). Let h be l(p). Let c be (8/(-410))/(h/(-65)). Is c less than or equal to 0?
True
Suppose -3*g - 4*w + 11 = -31, -4*g - 3*w = -56. Suppose 16*d = g*d. Is d >= 4?
False
Let g = -1376 - -1376. Which is smaller: g or -6?
-6
Suppose -17*v + 185 = 1579. Are v and -81 non-equal?
True
Let r = 6420649/357 + -17985. Is -1 smaller than r?
True
Let q(z) be the first derivative of z**3/3 - z**2/2 + 4*z - 22. Let i be q(3). Does i = 10?
True
Suppose -3*w + 18 = -4*h + 3*h, 2*h - 4*w + 28 = 0. Let k be ((-4)/h)/((-38)/6). Suppose -m - z - 6157 = -6168, 4*m - 3*z = -26. Which is bigger: m or k?
m
Let v(q) = q**3 + 10*q**2 + 2*q - 8. Let f be v(-10). Let c be ((-36)/f)/(-1) + 1. Are -1 and c unequal?
True
Let o = 12.1 - 12.4. Which is smaller: o or 24?
o
Let y(d) = 134*d - 1070. Let q be y(8). Is q at least -460?
True
Let k = -4 - -9. Let z = -0.9 - 3.9. Let t = z + k. Which is smaller: -3/7 or t?
-3/7
Let t = -2/113 + -148/4407. Let a = -1 + -7. Let q = a + 7. Are q and t nonequal?
True
Suppose 14*b + 78 = -25*b. Does -11/7 = b?
False
Let l be (-168)/(-224)*20*2. Let s = 0.2 - 0.1. Which is greater: s or l?
l
Let j be (-1545)/(-927)*6/(-10). Let h = 18 + -7. Is h less than or equal to j?
False
Let y(t) = t**2 + 8*t + 10. Suppose -z + 6 = 2*z. Let o be (-11)/z + 3/6. Let w be y(o). Which is smaller: -7/2 or w?
w
Let d be 2/(-19) - (-8622)/(-5814). Is d at least -1?
False
Suppose 4*f - 6 = 2. Let r(w) = f*w - w - 3*w - w**2. Let b be r(2). Which is bigger: b or -7?
-7
Suppose -35 = -3*r - 2*r. Let x = -65 - -70. Suppose -5*a + 5*p - x = 0, -5*a = 5*p - 18 + 3. Is r > a?
True
Let j(m) = m**2 + 8*m - 6. Let k be j(-9). Suppose 0 = -3*v - 4*n + 70, v - 5*n = 1 - k. Let g = 8 - v. Are g and -10 equal?
True
Let i = -317 - -317. Is i < -12/71?
False
Let g = -47 - -50. Suppose -3*t + 6 = g*i, 5*t + 4 = -i + 2. Which is smaller: -4/45 or t?
t
Let f be ((-11)/(-4))/((-3)/12). Suppose -8*c + 11*c = -30. Which is bigger: c or f?
c
Let a = 983/3 - 328. Is 9 less than a?
False
Let v = -678 - -678.1. Which is greater: v or -17/29?
v
Let h(f) be the first derivative of -f**3/3 + 11*f**2/2 - 16*f + 1. Let b = 74 + -67. Let g be h(b). Which is greater: 11 or g?
g
Let g = 393/2 - 801/4. Let v = 2/805 + -1632/8855. Which is smaller: g or v?
g
Let d be 22/33 + ((-2738)/6)/(-1). Which is greater: d or 455?
d
Let x be -5*((-252)/45 - -5). Which is smaller: x or -7/19?
-7/19
Let r = 96 + -99. Let u be 14*r/(-1) - 2*-1. Is 44 > u?
False
Let p be 0 - (231/54 - 5). Is p at least 1?
False
Let v(l) = -3*l**3 - 2*l**2 + 1. Let a be v(-1). Suppose -14 = 2*i - 4*m, -i + 3*m - a*m = 7. Let r = 17 - 22. Which is bigger: i or r?
r
Let o = 3697/7 - 529. Let d be (-1 - -1)/(-1 + 2). Which is smaller: d or o?
o
Let l = -13 + 15. Let z be (-32)/20*l/4. Which is smaller: 0 or z?
z
Let i be 2/(-6) + 274/(-402). Let d = 894/1541 + i. Which is greater: -1 or d?