. Let k be 48/(-40)*10/4. Let w be o(k). Let r = -0.04 + 1.04. Is r greater than w?
True
Let o be (1/(1/(-2)))/(12/6). Do o and -0.4 have the same value?
False
Suppose b - 8 = 2*c - b, 0 = 3*b - 9. Let d = 0 + c. Is 2/7 equal to d?
False
Let g be (-6 - 0)*2/(-27). Do -1 and g have different values?
True
Let q = 8.2 + -7. Let g = q + -0.2. Which is smaller: -3/4 or g?
-3/4
Let a be 0 + 244/234 + -1. Let d = 1/9 + a. Which is greater: d or -1?
d
Suppose 9 = z - 0*y - 3*y, -27 = 5*z + 3*y. Let g be (-2)/1 + z + 10. Suppose c + 0*c + 5 = -g*q, -q - 1 = -c. Which is smaller: q or 1?
q
Let a(v) = 5*v**3 - 3*v**2 - 4*v - 1. Let u be a(-1). Which is smaller: u or 0?
u
Let q be ((-4)/(-35))/((-12)/30). Let w = 4 - 15/4. Which is smaller: w or q?
q
Let c be -4 - (-3 + (-51)/39). Is 0 not equal to c?
True
Let g = 17/5 - 804/235. Are 1 and g non-equal?
True
Suppose -50 = -v + 2*c, -3 = 2*c + 7. Which is smaller: 39 or v?
39
Let w be ((-6)/(-5))/(6/60). Let x be (-6)/9 - w/(-27). Which is greater: x or -1?
x
Let x = 0 + 0.2. Let y = 1.88 + 0.12. Which is smaller: x or y?
x
Suppose 7*z = 4*z + 5*k + 43, -z + 3*k = -21. Let h = z + -2. Is h < 3?
False
Let y(k) = -k - 8. Let m be y(-5). Let b(v) = -v - 2. Let d be b(-2). Let z(j) = j**3 + j**2 + j - 3. Let x be z(d). Is m > x?
False
Suppose -5 = -f, 0 = y + 5*f + 6 - 35. Let s be y/48*39 - -2. Which is smaller: s or 5?
5
Let n(m) = -3 - 1 - 3*m**2 + 5*m**2 - m**2. Let q(k) = -k**2 + 8*k - 4. Let d be q(7). Let c be n(d). Is c at most as big as 4?
False
Let j = -36.1 - 7.9. Which is smaller: j or 0?
j
Suppose 38 = -4*c - 10. Let f be ((-7)/(-7))/((-14)/c). Is f at least 0?
True
Let c = -1/4301 - -503222/21505. Let s = 23 - c. Is 0.1 at least as big as s?
True
Let u(j) = j**2 - 5*j - 6. Let m be u(6). Suppose m = -4*c + 24 + 12. Let v be (-42)/54 - 2/c. Is -2/5 at most as big as v?
False
Let b be -2 - 2/4*6. Let u be 1/(-15) - 2/b. Which is bigger: -2 or u?
u
Let l(s) = -s**3 + 5*s**2 - s + 5. Let h(a) = 4*a**3 + a**2 + a - 1. Suppose 4*v = v + 3. Let p be h(v). Let c be l(p). Is 0 > c?
False
Let o = 0.06 + -0.06. Let x = 1 - o. Is 1/4 <= x?
True
Suppose 0 = 2*t + 6 - 0. Let x be (-6)/(-3 + (-12)/t). Let g be -2 + (-8)/18*x. Which is greater: g or -2?
g
Suppose 0 = 5*x - 21 + 6. Suppose -5*l + 18 = 3. Do x and l have different values?
False
Suppose -20 = 5*c - 3*t, 2*c + 3*t - 13 = -0*c. Which is bigger: c or 1/14?
1/14
Suppose 4 = -r - 0*r. Suppose 10 = -2*y + 3*v, -y - 5*v = -6*y - 25. Are y and r equal?
False
Suppose -5*g - 12 = -32. Suppose t - 1 = 0, -3*w + g*t - 2*t = 5. Are -2/9 and w nonequal?
True
Let m = 18 + -19. Let q be (-3)/4*8/14. Which is bigger: q or m?
q
Suppose 11 = p + 3*z, 12 = 3*z - 0*z. Is -5/2 at least as big as p?
False
Let m be 2/(-10) + 11/5. Suppose -m*h + 4*h - 40 = 0. Suppose -p = 5*i + h, -5*p - 10 - 6 = 4*i. Is p < 0?
False
Let a(q) = -3*q**3 + 5*q**3 + 1 - 5*q - q**3 + 3*q**2. Let g be a(-4). Suppose 5*h - 13 = -3*c, -g*c + c = 3*h - 10. Which is smaller: 2/5 or h?
2/5
Suppose h - 5*f + 0 = -25, -3*f = -15. Let o be 1*(h - (-2 + -4)). Suppose 0 = -o*r + 2*r. Which is bigger: 1 or r?
1
Let h = -85/342 - -1/38. Which is bigger: h or -1/2?
h
Let z = -0.33 + 1.33. Is z at least -5/7?
True
Suppose -m - 2*m + 30 = 0. Suppose 18*r - m = 13*r. Which is greater: r or 3?
3
Let j = 79/187 + -4/11. Do j and 1 have different values?
True
Let p be (3/(-9))/((-1)/12). Let i(d) = d**2 + 3*d - 2. Let b be i(-4). Suppose b*z = p*j + z + 5, 4*z = -j + 3. Are j and 1 non-equal?
True
Suppose r - 8*r = -2*r. Do r and -2/15 have different values?
True
Suppose d = n, 0*n = 2*n. Suppose -4*r + 3*f + 1 = 0, d = -4*r - 2*f + 3*f + 11. Is 3 at least as big as r?
False
Let u = -9 + 9.16. Let r = u - 0.08. Let l = -0.38 + r. Is l less than or equal to 1/3?
True
Suppose -3*g = -p - 0 - 5, -g - 1 = -3*p. Let k be (-3)/g*50/(-15). Which is smaller: 6 or k?
k
Let g(c) = c + 3. Let w be g(-5). Let i = w + 4. Suppose i*k + 2 + 2 = 0. Is k bigger than -3?
True
Suppose -2*f = -0*f + 10. Let c = f - -5. Is 2/33 <= c?
False
Let l = -1172/9 - -130. Which is greater: 14 or l?
14
Suppose -3*z - 61 = n, -3*n + 7 = -4*z + 3*z. Is -20 at most z?
True
Let s = -0.63 + 0.43. Which is bigger: 15 or s?
15
Suppose -4*l + 2 = 22. Suppose 4*d + 0*d = 0. Suppose d*s + 4*a = 5*s, -2*s = -3*a - 7. Is l smaller than s?
True
Let w be (21/(-12) + -1)*-4. Is 11 at most as big as w?
True
Suppose z = -5*k - 5, -4*k - 4 = -3*z - 0*k. Which is smaller: 1/9 or z?
z
Let x = -3 + 3. Suppose -h = -4*h. Suppose h = 3*s - x*s. Which is greater: s or 2/15?
2/15
Let f be ((-15)/10)/((-2)/(-4)). Let c = 0.08 - -0.22. Is f at least as big as c?
False
Suppose -3*k = f - k - 11, 4*f + 3*k = 19. Let l = f - 4. Let b = 2 - 5. Is l > b?
False
Suppose -4*l = -7*l + 15. Which is bigger: 3 or l?
l
Let s be (6/8)/((-3)/2). Let b be -2*3/6 - -15. Let k = b + -16. Is k less than s?
True
Suppose o = g + 6, 18 = -g + 2*o + 2*o. Let w(h) = h**3 + h**2 - 88. Let u be w(0). Let j = u + 262/3. Does g = j?
False
Let q = -2/43 + 47/86. Is q not equal to 0.4?
True
Let p(g) = -g**2 - 3. Let n be p(2). Which is greater: -9 or n?
n
Suppose -12 = -0*b - 3*b. Suppose b - 9 = -p. Suppose 0*h - 1 = 4*i - h, -p*i - 8 = h. Which is smaller: 2/11 or i?
i
Suppose -5*h + 4*n = -63, -4*n - 66 = -5*h - n. Which is smaller: 1 or h?
1
Suppose 0*g + 5*g = 0. Suppose g = -n - 2*n - 5*m - 27, -3*n = 4*m + 27. Which is smaller: n or -0.1?
n
Let n be 1*3/9*9. Suppose n - 19 = -4*p. Suppose 11 = 4*z + 5*d - 5, -p*z + 16 = 4*d. Are 6 and z unequal?
True
Suppose 0 = -0*p + 2*p. Suppose 2*n + 4 = -p. Let r = n + 2. Are -2/3 and r equal?
False
Let t be (-2 + 4 - 3) + 6. Suppose -t*z + 2 = -4*z. Let s be (-2)/z - (-8)/6. Do s and 0 have different values?
True
Let p be 4/18 + (-237)/(-27). Let o = 12 - p. Is o > -2?
True
Let u be ((-4)/(-6))/((-2)/(-3)). Let h = -42 + 214/5. Which is smaller: u or h?
h
Let s(l) = 3*l. Let t(i) = -4*i - 1. Let o(b) = 3*s(b) + 2*t(b). Let x be o(-4). Let q be (-10)/x - 3/(-9). Is q <= 2?
True
Let f = -7 - -11. Suppose -2*t - d = -0*d - f, d = 0. Suppose 4*n - t*b = -4*b - 8, 0 = -4*n + b - 2. Is n > -2/13?
False
Let g be 9/6*(-4)/6. Let i(v) = v**2 - 2*v - 2. Let j = 0 + 2. Let u be i(j). Which is bigger: g or u?
g
Let c be 1/(-22)*3/3*16. Which is greater: c or -2?
c
Let r be 2/7 + (-136)/(-14). Suppose -5*f + 3*w - 8*w + 80 = 0, -2*f - w + 27 = 0. Is f != r?
True
Let u = 2.4 - 2.3. Suppose 2 = -w + 3*w. Is w bigger than u?
True
Let t(r) = -3*r**2 + r - 1. Let w be t(1). Let v be w*8/(-12) - 2. Which is greater: v or 1?
1
Let o be 4/9*(-6)/(-4). Is 0 != o?
True
Let w be 63/20 + (-2)/(-8). Let j = -163/45 + w. Let q = 0.16 + 0.84. Which is bigger: j or q?
q
Let f be -3*-2*1/(-2). Let u be (-5)/3 - (1 + f). Is -1 bigger than u?
False
Let l = 898/9 - 101. Is l less than or equal to 0?
True
Suppose -25 = -2*y - 5*t, 3*y + 25 = 7*y + 5*t. Which is bigger: y or 1/6?
1/6
Let q = 1.14 + -1.64. Is 3/2 smaller than q?
False
Suppose -5*c - 1 = -11. Suppose 4*z - 3*y + c*y - 4 = 0, 0 = -5*z - 4*y + 26. Which is greater: z or 1?
z
Let g(m) = m**3 + 10*m**2 + 10*m + 6. Let z be g(-9). Which is smaller: z or -2?
z
Let g be (-4)/(-8) - (-131)/(-2). Let o = -48/277 + -54425/831. Let k = o - g. Is 0 greater than or equal to k?
True
Let a be (-194)/42 - (-3 + 4). Let q be -1 + 2 + 52/12. Let r = a + q. Which is smaller: -1 or r?
-1
Let y = 63/4 - 867/52. Is 0 not equal to y?
True
Let g = -27.9 - -28. Is g less than -1.5?
False
Let p = -7 + 8. Which is smaller: -1/12 or p?
-1/12
Let m(a) = -a. Let g(f) = -5*f - 4. Let c(x) = -g(x) + 6*m(x). Let l be c(5). Let n = 0 - l. Is 1 less than n?
False
Let v be (-2)/8 + (-1115)/235 + 5. Which is bigger: v or 1?
1
Let s = -14 - -13.5. Let c = -0.1 - s. Is -2 <= c?
True
Suppose 0 = -5*t + 2*t + 9. Let k be 30/(-2)*(-2)/t. Suppose -5*d = -3*o + 4*o + k, o + 4 = d. Is -2 less than or equal to d?
True
Let i be ((-52)/8)/(3/12). Let c be -4 - ((-6)/i + -4). Which is smaller: c or 1?
c
Let v = -0.6 + 1.6. Is v >= -1/4?
True
Suppose -6 = g - 4. Let b be (15/20)/(1 - g). Is b less than 0?
False
Let h be (-1)/(-5) + (-27)/35. Let p = 10 - 10. Is h greater than p?
False
Let f = -1 + 2. Let i be 3*(-3)/(-9) + f. Suppose -5*n = i*y + 5, -y - 2*y + 4*n +