 -2 > v?
True
Let a be 9/(-36) + 4/(48/(-45)). Which is smaller: a or 0?
a
Suppose -134 = 4*s + 3*n, 4*s + 4*n - 2*n + 136 = 0. Let g = -38 - s. Let v be (4*-3 - g) + 0. Which is greater: v or -2?
-2
Suppose -l = -0*i - 3*i + 16, 4*l = -2*i - 8. Suppose 2*q + 54 = -4*k, -5*k - 29 = -i. Which is bigger: q or -3?
-3
Let q be -472*(7/(-42) + 1 + -1). Let b = q + -90. Is -11 greater than b?
True
Let s = 87 + 57. Let y be s/(-10)*-2*10. Let n = 4318/15 - y. Which is greater: 1 or n?
1
Suppose 2*l - 4*l = -l. Suppose l*n = 2*n + 4*v - 16, 0 = -2*n - 5*v + 21. Is -3 at most n?
True
Let k = -2098 + 2097.147. Which is bigger: -2 or k?
k
Let i = -2 - 1. Let x be (-10)/(-30) + 286/6. Let c be -1 - (i + x/28). Is c less than -3?
False
Let q(l) = -l - 5. Let a be q(-7). Let v = a - 11. Let o be 11/((6/(-12))/((-2)/(-4))). Is o smaller than v?
True
Suppose 156 = 2*f + f. Let k be f/8 + 1*-2. Let o be (-14)/(-4) - 31/(-62). Which is smaller: o or k?
o
Let v = -1/248 + 2981/1240. Let t = -0.4 + -0.6. Is t != v?
True
Let d be (3 - -62 - 4) + (1 - 3). Let v = -59 + d. Which is smaller: 0.21 or v?
v
Let q(v) = 2*v**2 + 6*v + 5. Let h be q(-2). Is -1/25 bigger than h?
False
Let z be (2/(-8))/(16/(-256)). Let i be (-2)/((-88)/(-76)) - (-8)/z. Do i and 2/3 have different values?
True
Let r(c) = 4*c - 8. Let j be r(4). Let i(d) = -2*d + d**3 - 7*d - 4 - 7*d**2 + 13. Let u be i(j). Are u and 0 unequal?
True
Let v = -2175/7637 - 1/1091. Suppose r - 2 = -2*j - 5, 4*r + 3*j = 8. Which is bigger: r or v?
r
Let h = 0.09771 - 0.34771. Let u = 93 + -1025/11. Is u bigger than h?
True
Let b = -415 + 450. Which is smaller: 36 or b?
b
Suppose -2*z - 1 = -3*k, -k - 5*z = -6*z + 1. Suppose 8*y - 4 = 9*y + 5*f, 4*y - k*f = -16. Let c = -10 - -4. Is c bigger than y?
False
Let r = -3.1 + 3. Let z = r + 0.2. Let y = -2877 + 2872. Which is smaller: y or z?
y
Let n be 40/(-260) - (363/(-2275))/1. Which is smaller: -1 or n?
-1
Let l = -389 - -389.1. Let u be ((-4)/5)/(4/30). Is l at least as big as u?
True
Suppose 89*k = 73*k - 608. Do -41 and k have different values?
True
Let r = 13.8 - 14. Let d = 0.3 + -0.1. Let p = d + r. Is 2/9 < p?
False
Suppose -2*t - m = -0*m - 14, 0 = 4*t - 5*m. Let a(l) = -l + 1. Let y be a(-1). Suppose t*f + y = 3*f. Is f less than or equal to -2/9?
True
Let x(m) = -m**3 + 4*m**2 + 2. Let a be x(4). Suppose -5*r - 15 = a*q + 3*q, -3*r - 9 = 0. Suppose 7*u = -4*d + 3*u + 28, -d - 4*u - 8 = q. Is d >= 14?
False
Suppose 5*o = -4*c - 6, -5*o - c - 9 + 0 = 0. Suppose -96 = -6*r - 2*r. Suppose 4*g = 2*n - 4*n + r, n = -4*g + 14. Are n and o unequal?
False
Let x be (1 - (0 - -3))/2. Which is bigger: -1/179 or x?
-1/179
Let m = 0.1 - 0.1. Let x = 4.1 + -4. Let n = x - 4.1. Which is greater: m or n?
m
Suppose 3*x - 3 = 3*z + 12, -3*z = -6. Which is smaller: 10 or x?
x
Let d = 51 + -28. Suppose 5*u = -3*o + 69, -6*u + 4*u = 5*o - 115. Is d != o?
False
Let q = 2.5 - -39.5. Is q at most as big as 0.3?
False
Let l be (496/60)/(-4) + 2. Suppose 6*i - 2 + 8 = 0. Is l < i?
False
Let b be ((-18)/(648/564))/(2/6). Is b >= -48?
True
Let w = -359 - -359. Let z = 1 - -3. Suppose z*f - 3*f - 16 = -3*l, -5*f = -l. Is w >= f?
False
Suppose s + s + 2*l = 10, 0 = s + 3*l - 15. Let t be (-1 + s + 3)*-2. Is t less than or equal to -7?
False
Let i(r) = r**3 + 19*r**2 - 15*r + 118. Let k be i(-20). Is k greater than 5?
True
Suppose h = 1 + 5. Let w be 6/(-2) + (3 - h/(-63)). Are w and 1 equal?
False
Let s = 42 + -4. Let l be 4/s + 4200/(-190). Let p be 12/7*(-77)/l. Which is bigger: -0.1 or p?
p
Let l = 0.154 - 0.364. Is l equal to -0.6?
False
Let a = -2 + 0. Let c = a + 2.3. Let r = 25729.8 - 25730. Which is smaller: r or c?
r
Let v = 1362/7 - 195. Let w = -2.1 - -0.8. Let l = w + 1.4. Is v at least l?
False
Let p = -116 + 101. Let q = 14.6 + p. Which is smaller: q or -1/4?
q
Let d = 6.47 + -6.45. Which is bigger: 8/3 or d?
8/3
Let f = 371 + -342. Is 0.1 >= f?
False
Suppose 0*j - 4*j = 0. Let m(r) = 5*r - 5. Let a be m(-3). Let x be -6 - -3 - 68/a. Is x at most as big as j?
False
Let s = -118 + 173. Let n = -100 + s. Which is smaller: n or -46?
-46
Let x = 30 + -10. Let c be 1/(-1)*x/20. Which is greater: c or -3?
c
Let y(i) = 4*i + 36. Let s be y(-20). Let g be ((-2)/(-3))/(8/9)*s. Is g at most as big as -32?
True
Let v(y) = -y**3 + 7*y**2 - 2*y + 10. Let g(r) = -r - 4. Let a be g(-11). Let p be v(a). Which is smaller: p or -1?
p
Suppose 2*y + 3 = -4*t + 1, y + 1 = t. Let m(i) = -i - 3. Let f be m(-6). Let o = f + y. Is o not equal to 0.9?
True
Let u be 26/(-273)*(-373)/90. Let i = u + 1/189. Let x = 0.1 + -0.5. Is i <= x?
False
Let t be -3 + 15/5 + 324. Let i be 2/(-4) - (-171)/t. Is -1 greater than i?
False
Let x = -33 - -57. Suppose -1 = -v + x. Suppose v*o - 29*o = -44. Do o and -1 have the same value?
False
Let c(a) = 19*a + 419. Let x be c(-22). Which is bigger: x or -5/384?
x
Let u(b) be the third derivative of b**4/3 - 3*b**3 - 32*b**2. Let w be u(2). Are w and -16 non-equal?
True
Let z(i) = 9*i + 9. Let y be z(-3). Let b be 9/(y/8) - -5. Which is smaller: -1/4 or b?
-1/4
Let c be (-1)/(18/(-24) - -1). Let h = -2.31 - -2.2. Which is bigger: c or h?
h
Suppose 0*k + 4*s = -2*k + 60, 2*k - 5*s - 51 = 0. Suppose -20 = -3*m + k. Let z(l) = -7*l + 2. Let g be z(-2). Is g at most as big as m?
True
Let m = -2.095 - -0.095. Which is smaller: 5.2 or m?
m
Let l = 20 + -5. Suppose -14*b + 17*b = l. Let v be 6/(-14) - 364/(-49). Is b <= v?
True
Let x(y) = -43*y + 202. Let l be x(3). Is l bigger than 69?
True
Let x = 384 + -202. Are x and 183 nonequal?
True
Suppose -4*c - c = -20. Suppose -2*l = 2*w + 24, -c*l = -w - 0*w + 23. Do -6 and l have the same value?
False
Let v be (-4)/(-5) - 278/10. Let m = v + 33. Suppose 3*u = m*u + 27. Which is bigger: 1/4 or u?
1/4
Suppose 0*h + 4*h - 414 = -5*r, 0 = 4*r - 3*h - 356. Is 85 greater than r?
False
Let i be ((-1)/4)/(350/(-400)). Is -620 less than i?
True
Suppose -k - z = 34, 38 + 18 = -2*k + 4*z. Let x = k + 158/5. Suppose 0 = g + 7*g. Do x and g have the same value?
False
Suppose -4*b = 4*d + 20, 4*d + 16 = -2*b - 0*b. Let w be 10 + (-530)/225*5. Which is bigger: d or w?
w
Let w be ((-27)/6)/(15/(-10)). Suppose -3*y - 96 = -2*j + 28, -w*j + 3*y + 180 = 0. Let d be j/(-70) + 0 + -1. Which is smaller: -2 or d?
-2
Let k = 15 + -25. Suppose -q + 4 = 3*q. Let z be (q + 25/20)*-4. Is k less than z?
True
Let n = 5 + -4.8. Which is smaller: n or -1?
-1
Suppose 14*v - r - 536 = 9*v, 0 = -2*v - 4*r + 210. Which is greater: v or 110?
110
Suppose 11*c + 56 = 7*c. Let d = -98 + 60. Let g = c - d. Is 24 less than g?
False
Suppose 2*r + 102 = 8*r. Suppose 0 = c - 16 + r. Which is smaller: c or 3?
c
Let f(z) = -z**2 + 3*z - 7. Suppose -4*x + 6 = -2*x. Let d be f(x). Is -4 < d?
False
Let c(i) = i**3 + i**2 - i + 3. Let o be c(-3). Let l be (8/12)/((-8)/o*-1). Suppose -4*u = 8 + 4. Which is smaller: l or u?
u
Let d = 1/1440 + 3229/15840. Which is smaller: d or 0?
0
Suppose t - 8 = -2*n, -2*n = -n + 3*t - 9. Suppose 0 = 4*g + 2*d + 12, n*g = -2*d - 9 - 0. Suppose -6 = -4*i - 22. Which is bigger: i or g?
g
Suppose -2*v + 4 = u - 2, 18 = 2*u - 2*v. Is u less than or equal to 120/17?
False
Let t be ((-9)/4)/((-12)/32). Let g be -20 + 4 + (-3 - -7). Let j = g - -17. Which is greater: j or t?
t
Let z = -38 + 15. Let i = z - -21. Which is greater: i or -13/6?
i
Let d = 99701/501 + -199. Is 0 at most as big as d?
True
Let u = -179 + 178. Let q(a) = -a**2 + 5*a + 1. Let j be q(4). Suppose 4*p + 3 + j = 0. Is u bigger than p?
True
Let l(p) = -p - 8. Let o be l(-6). Let z = o - -5. Let s = 5 - z. Which is smaller: -1 or s?
-1
Suppose -4*v + 54 = 5*y + 2, 2*y = 4*v - 52. Suppose 94 - v = 9*r. Is r at least as big as 54/7?
True
Let i(u) = 7*u**2 + 5*u - 5. Let t be i(-4). Let v = 67 - t. Which is smaller: v or -37/2?
v
Let t(u) = u + 1. Let y be 9/45 + (-18)/(-10). Let k be t(y). Suppose 0 = -2*q - k*f - 29, -77 = 5*q - 2*f - 14. Is q smaller than -12?
True
Let h be 2/(-12)*-2 - (-10)/(-75). Which is bigger: -45 or h?
h
Let z = 1825 + -173368/95. Is z less than or equal to -1?
False
Suppose -121 = -62*j + 2235. Is j equal to -7?
False
Let p(i) = 2*i**3 - 4*i**2 - 3*i + 2. Let r(m) = 5*m**3 - 13*m**2 - 10*m + 6. Let c(v) = 8*p(v) - 3*r(v). Let z be c(-6). Suppose -8 = 3*g 