 0 and c have the same value?
True
Let x = 5 + -3. Suppose 0*l + x = 2*l. Let t be (2/15)/((-6)/(-9)). Which is smaller: t or l?
t
Let j be ((-1)/(-3))/((-4)/228). Let g = j - -167/9. Is g > 1?
False
Let g be 2 + 46*4/(-96). Which is smaller: g or -1?
-1
Let y = 0.24 + 4.76. Which is smaller: y or 2/5?
2/5
Let l be (-12)/(-3)*(-9)/(-12). Do l and 3 have different values?
False
Suppose 2*r = -4*w + 10, -2*w = -r - w + 2. Is r less than 3?
False
Let u be (-7 + -141)*2/4. Which is smaller: -73 or u?
u
Let b(i) = 4*i**3 - 3*i - 4. Let o(r) = 4*r**3 - 2*r - 3. Let q(v) = 2*b(v) - 3*o(v). Suppose 7 - 2 = 5*m. Let w be q(m). Which is smaller: -2 or w?
w
Let g be 11/6 + (-1)/1. Let o(s) = -s + 1. Let l be o(4). Let a be 6/2 + -6 - l. Which is smaller: g or a?
a
Let q be (4/(-25))/(3/15). Suppose 2*j + j = 15. Suppose j - 2 = -3*y. Which is greater: y or q?
q
Let k = -0.07 - 7.93. Let q = -8 - k. Which is smaller: 0.1 or q?
q
Suppose -k - 3*k + 56 = 0. Let w = -54 - -67. Which is greater: k or w?
k
Let y = -307 - -308. Let p = 15 - 9. Suppose -2*k - k + p = 0. Which is smaller: k or y?
y
Let l = -0.04 + -0.26. Let k = l - -0.2. Which is smaller: -3 or k?
-3
Let n(y) = -y**3 + y**2 + 2*y + 1. Let f(x) = 0*x - 2*x + 5 + 3*x - 2*x. Let g be f(3). Let i be n(g). Which is smaller: i or 3?
i
Let s = -271/14 - -39/2. Which is smaller: s or -1?
-1
Let o = 38 - 19. Let p = o - 18. Do p and -2 have the same value?
False
Let z = -15255 + 122427/8. Let r = z - 2039/40. Which is bigger: -3 or r?
r
Suppose -5*q + 5 = 4*l, 6*q - 5*q - 1 = 2*l. Is 6/73 not equal to l?
True
Suppose -z = 3 - 7. Let r = 8 - 15. Let h = r - -10. Is z < h?
False
Let w = -0.09 + 0.16. Let y = w + 0.03. Is -7 not equal to y?
True
Let p be 176/522 - (-8)/(-36). Let l = -364/1653 + p. Which is bigger: l or 0?
0
Let h(u) = -4*u**2 + 4*u - 2. Let q be h(-4). Let x = q - -34. Let j be 28/x + (-2)/(-8). Which is bigger: j or -1?
j
Let b(g) = g**2 - 2*g - 3. Let i be b(-3). Let h be 1/4 - 963/i. Let t = 238/3 + h. Is t at most 0?
True
Let l be -1 + ((-18)/4)/(-3). Let c = 1.9 - 1.81. Let u = c - -0.01. Which is greater: u or l?
l
Let v(r) = -r**2 - 5*r - 4. Let h be v(-3). Which is smaller: 3/5 or h?
3/5
Suppose 0 = 5*j + 3*g + 2*g + 20, 0 = -3*g + 3. Which is smaller: -4 or j?
j
Suppose -p - p = 5*x + 46, 3*x - 12 = p. Is -17 not equal to p?
True
Let f be ((-525)/(-30))/(1/2). Are 2 and f equal?
False
Let h be (-294)/9 + 1 + 0. Let s = -31 - h. Is s greater than 2?
False
Let y = -0.34 - -0.24. Which is greater: -10 or y?
y
Let p(b) = -2*b - 10. Let c be p(-9). Which is smaller: c or 9?
c
Let s = 34 + -16. Let o be 2/8*24/s. Do -0.3 and o have different values?
True
Let l = -13.05 + 13. Let w = l + 1.05. Let d = 0.1 + 0. Which is smaller: d or w?
d
Let m(p) = 2*p**2 - 1. Let k be m(1). Let y be -1 + (-6270)/(-27) + 0. Let u = -231 + y. Which is bigger: u or k?
k
Let h = -0.4 + 1.4. Suppose 8 = -2*i - 0*i - 3*r, 0 = -5*i + 3*r + 1. Let n(x) = -x**3 - x**2 + 1. Let l be n(i). Is l at least h?
True
Let t = -8.6 - -8.7. Which is greater: 0.03 or t?
t
Suppose 2*q = 4*q - 4. Let o be (q/3)/(14/21). Is 5/4 smaller than o?
False
Let h be 24/(-15) + (-2)/5. Let i be (-85)/(-20) + h/8. Suppose i*f = 2*f + 4. Is -2 < f?
True
Suppose -2*i = -v + 165, -5*v - 131 = 3*i + 136. Which is bigger: -83 or i?
-83
Let p(h) = -h**3 - 6*h**2 - 7*h - 4. Let k be p(-5). Suppose 2 = 4*d + k. Which is greater: -3 or d?
d
Let u(k) = -3*k - 46. Let f be u(-16). Which is bigger: -1 or f?
f
Let m = 74/11 + -1069/154. Let q(c) = c. Let v be q(-1). Which is smaller: v or m?
v
Let s be (-14)/(-16) - (1 - 0). Let q(u) = -u + 9. Let a(n) = -2*n + 19. Let v(p) = -2*a(p) + 5*q(p). Let c be v(6). Is c < s?
False
Let b(y) = -y**2 + 8*y + 8. Let f be b(9). Let r be -1*(0 - f)*-1. Does r = 1?
True
Suppose 3*b + 190 = -5*l, 114 = -4*l + l + 4*b. Which is smaller: l or -2/3?
l
Suppose 0 = -2*f - 7 + 3. Let l be (1 - 3)*1/f. Which is smaller: l or -3/10?
-3/10
Suppose 4*g + 0*r - 8 = 4*r, -3*g = -2*r - 9. Let p(i) = i**2 - 5*i + 2. Let l be p(g). Suppose 1 = -3*y + 2*y. Which is bigger: y or l?
l
Let h be (2 + -19 - -2)*(-7 - -8). Which is smaller: h or 2/11?
h
Let v = 3.2 - 1.9. Let y = 13 - 13.3. Let s = y + v. Is s greater than 0.2?
True
Let g be (-2)/3*1*-3. Let w(h) = -h**3 - 8*h**2 + 10*h - 11. Let v be w(-9). Let j be v/130 - 56/(-26). Is g less than or equal to j?
True
Let t be (0 - -1)/(1 + -2). Suppose 0 = 4*f + r - 4*r - 16, 3*r = 0. Let z be f/(-3) - 3/(-9). Is z >= t?
True
Suppose 4*u - 12 = -2*f, 0*f + 25 = 5*u + 5*f. Suppose 0 = 2*l + 1 + u. Which is smaller: 1/11 or l?
l
Let a = 0 - -21. Which is smaller: a or 20?
20
Let q be 0 + ((-85)/(-15) - 2). Which is greater: -1 or q?
q
Let z(o) = 2*o**2 - o - 3. Let d be z(2). Which is bigger: -3 or d?
d
Let s be ((-1)/(-3))/((-58)/9 - -3). Which is smaller: -1 or s?
-1
Let c be 2*((-15)/(-78))/(-5). Which is greater: c or -1?
c
Let q = 109 + -111. Is q greater than or equal to 1/25?
False
Let o be (-28)/812*(1 - 3)/(-1). Do o and 0 have the same value?
False
Let m = -27 - -21. Suppose 0 = -a + 2*r, -r - 26 = 4*a + 4*r. Do a and m have the same value?
False
Let m(a) = -a**3 + 3*a**2 + 5*a - 4. Let w(h) = 4*h**3 + h**2 - 2*h + 1. Let g be w(1). Let l be m(g). Let n be 4/10*(-1)/1. Which is bigger: n or l?
l
Let y = 14 + -2. Let i = -8 + y. Which is smaller: 6 or i?
i
Let m(i) = -i + 10. Let s be m(8). Which is smaller: s or 6/7?
6/7
Let s = 1/289 - -571/2023. Do 0.08 and s have the same value?
False
Let z(t) = -t**3 - 5*t**2 + 7*t + 6. Let d be z(-6). Let a = d - 4. Is a greater than or equal to -5?
True
Let a(r) = -r**3 + r**2 + r. Let i(q) = -3*q**3 + 16*q**2 + 14*q - 5. Let k(f) = -4*a(f) + i(f). Let g be k(-11). Is g greater than 6?
False
Let w be (-38)/8 + (-4)/(-16). Let m(g) = g**3 + g**2 + g. Let k be m(-2). Which is bigger: w or k?
w
Let g = 11 - 6. Let d(l) = 2*l - 5. Let x be d(4). Let y = x - g. Which is smaller: -5/2 or y?
-5/2
Let b be (0 + -3 - -6) + -3. Suppose -3*r + 7 + 5 = b. Suppose r*v + 5 = -11. Which is smaller: v or -2?
v
Suppose -5*l + 14 - 4 = 0. Suppose -5*x = -2*v + 17, 6 = -l*x + v - 1. Let k = -3 - x. Is k equal to 2/5?
False
Suppose -3*u + 192 = -5*g, -3*u + g = 4*g - 192. Suppose 0 = 4*o + 4*n - u, -2*n - 3 = -5. Is o bigger than 14?
True
Let v = 16 - 11. Suppose -v*z - 9 = -b - 10*z, -b = -5*z + 11. Which is smaller: 2/21 or b?
b
Let w(a) = -a - 2. Let g be w(-1). Let p be ((-4)/8)/(g/2). Suppose 15 = 5*v - 5. Is p less than or equal to v?
True
Suppose -6 = -3*w - 3*x, 0*w + 3*w = 4*x - 15. Are w and -1/13 nonequal?
True
Suppose h + 5 = 6*h. Which is smaller: h or 2/3?
2/3
Let d = -442 - -3078/7. Which is smaller: -2 or d?
d
Let z = -9 + 6. Let h = -8 + 7.6. Is z at least as big as h?
False
Suppose -2*u = -0*x - 3*x - 14, -5*u = 5*x + 15. Let o be 2/x*(-3)/(-2). Is o at least 0?
False
Let o be (-3)/5*5/(-15). Is o less than or equal to 0?
False
Let x = 1622/165 + -49/5. Is 1 > x?
True
Let b = -45 - -47. Which is smaller: 3 or b?
b
Let s(l) = l + 7. Suppose -3*j - 23 + 1 = 2*p, -4*j = 4*p + 32. Let h be s(j). Let k(n) = 5*n**2 - 1. Let a be k(h). Is 2 less than a?
True
Suppose -5 + 9 = 4*t. Suppose -6*d + 10 = -d. Which is smaller: d or t?
t
Let h(u) = -u - 2. Let y be h(-2). Suppose 3*k - 6 + y = 0. Let z = 2 + k. Which is greater: 3 or z?
z
Let p(f) = -f + 13. Let h be p(11). Let w be 1 + (525/6)/(-5). Let r = w - -18. Which is smaller: h or r?
r
Suppose -a + 3*r + r = 22, 0 = -5*a - 5*r - 60. Is -14 equal to a?
True
Let h be 7 + 0 + -3 - -1. Suppose g = h, 8 + 2 = -5*c - 3*g. Which is smaller: c or -6?
-6
Suppose 4*o + 0 = -16, 24 = 4*j - 5*o. Which is smaller: j or -3/40?
-3/40
Suppose 44 + 68 = -4*v - 3*p, 8 = -2*p. Are -0.1 and v non-equal?
True
Let a = -631/5 + 62474/495. Let d = a + 94/495. Is -2/7 >= d?
False
Let g(r) = r**3 + 6*r**2 + 5*r. Let c be g(-5). Suppose 0 = -c*k + 2*k. Is k > -3/5?
True
Let t = 5 - 5. Let o = 3/161 + 125/1932. Is t at most as big as o?
True
Suppose 36 = -2*y + 6*y. Let r be 21/y + 2/(-6). Which is smaller: r or 0?
0
Suppose 0 = -4*u + 2*u - 4. Let b(a) = -a**2 + 6*a - 2. Let n be b(6). Let f be u/6 + n/(-6). Which is smaller: f or -0.3?
-0.3
Let s(w) = w**3 + 6*w**2 - 2*w + 3. Let g be s(-4). Is 43 >= g?
True
Let g