g unequal?
True
Let k be 3/(-5) - (-12)/20. Is -2/79 at least as big as k?
False
Suppose -2*p + 20 = k, -k + 3 + 8 = -p. Is 11 not equal to k?
True
Let f be (2/4)/((-5)/(-25)). Let m = f - 3. Which is greater: m or 2/9?
2/9
Suppose -2*n - 3*a - a - 18 = 0, -5*a - 16 = -4*n. Suppose i + i + 238 = 0. Let c be (-231)/i + 2*-1. Is n at least as big as c?
False
Let y(u) = -3*u - 14. Let t be y(-5). Let g be ((-4)/10)/((-38)/(-10)). Is t < g?
False
Suppose 4*a + 13 = 17. Is a equal to -1/28?
False
Let t = 39 - 39.1. Is t at least as big as 0.1?
False
Suppose 0 = -i + 1 + 2. Let s(a) = -3*a - 2. Let c be s(i). Does -11 = c?
True
Let q be (-3)/15*5/(-2). Suppose c - 5 = -4*f + 3*f, 3*f = -c + 5. Suppose -2*x + x = f. Do x and q have different values?
True
Let s be 13/5 + (-4)/(-10). Suppose 0 = -5*p - 4*u - 6, -p - 3 = -4*u + s*u. Let d = p + 1. Which is smaller: -2/11 or d?
d
Let o(g) = -5*g + 4. Let s be o(1). Is s greater than -2/27?
False
Suppose l - 4*l + 6 = 0. Let q = l + -2. Let w be (q - (-6)/10) + -1. Is w equal to 2/7?
False
Let l be 4*(-6)/60*(-59 - 1). Is l smaller than 73/3?
True
Let i(f) = -2*f**2 + 25*f - 15. Let l be i(11). Is l bigger than 18?
False
Let c = -8 - -6. Let m be ((-8)/(-6))/(c/(-3)). Let s be 2/3*m/(-2). Is s at most -1?
False
Let o be ((-1)/(-3))/((-16)/96). Which is bigger: 2/5 or o?
2/5
Let l = -5 + 8. Suppose 11 - 5 = l*h. Let q = 0.4 - 0.3. Is q less than h?
True
Let w be (1/(-12))/((-20)/(-32)). Let i be (-1)/(-4) - 15/12. Is w != i?
True
Let v = -1.96 - 0.04. Let q = v + 1. Which is greater: -2 or q?
q
Let m be -4 + (-4 - 0) + 5. Is m > -22/7?
True
Let q = 36.5 - 39. Which is smaller: -0.1 or q?
q
Let n = 5 - 3. Is -2 less than n?
True
Let x = -75 + 78. Is -5 equal to x?
False
Let m = -0.4 - -1.1. Let o = m - -0.3. Let a = 0.3 - 0.3. Is o < a?
False
Let c be 7/28 - (-2)/(-8). Are 4/15 and c unequal?
True
Let q = 0 + -3. Which is smaller: -2 or q?
q
Suppose -35 - 13 = -4*p. Suppose 4*x = 9*x - 3*g + p, -20 = 4*x - 5*g. Let o = -0.16 + -1.84. Which is greater: x or o?
x
Let f = -10.8 + -0.2. Let k = f - -1. Which is smaller: -2/3 or k?
k
Let k(s) = -s - 5. Let g be k(-8). Let n(c) = -c**2 - 4*c + 4. Let j be n(-4). Suppose g*i = -i + j. Which is greater: i or 2/3?
i
Let h = -138 - -964/7. Let n = 21 + -21. Is h less than n?
True
Let s = 3 + 0. Let v be (2/s)/(2/(-3)). Let r be (1/(-2))/((-5)/(-10)). Is v greater than r?
False
Let b = 109 - 128. Is -21 less than b?
True
Suppose -8*i + 11*i = -3. Is 2/59 bigger than i?
True
Let u = 14 - 15. Is -1/23 smaller than u?
False
Let p = -640 + 39041/61. Which is greater: p or 1?
1
Let p = 1891/21 + -90. Is p > 1?
False
Let v be 16/(-56) + (-46)/(-14). Let p be 1 + (v - (3 - -2)). Which is bigger: p or -4/9?
-4/9
Let m = -34 - -69. Suppose 5*o - 2*n - m = 0, 0*n - 25 = -4*o + n. Let p be 1 + 75/(-65) + 164/52. Which is bigger: o or p?
o
Suppose -v - 8 = 3*v. Let a be (4/(-10))/((-1)/5). Let n be 1 + a/(-3)*3. Is v bigger than n?
False
Let b(u) = u**3 + 7*u**2 + 8*u + 7. Let n be b(-6). Is n >= -2?
False
Let c = 2/123 - 8/123. Let g(s) = s**2 - 3*s - 3. Let j be g(4). Which is smaller: c or j?
c
Let g be -1*7*(-3 + 2). Which is smaller: 8 or g?
g
Suppose 0 = -5*c + 20, 0 = 2*y + 3*y + 2*c + 297. Is y < -61?
False
Let c(o) = -o**2 + 6*o + 2. Let y be c(7). Let p be 13/20 + y/20. Is 1 smaller than p?
False
Let x = -17.4 + 17. Is -0.1 less than x?
False
Let s be (10 - (3 + 0)) + 0. Suppose -5*k = -i + s, 0 = -3*i - 2*i - 3*k + 7. Let o(l) = -l + 1. Let u be o(1). Which is smaller: u or i?
u
Suppose 0 = -2*q + 5*h + 35, -4*h - 13 = q + 2. Suppose q + 4 = d. Which is smaller: 8 or d?
8
Let o be (-4)/(-10) + 42/(-5). Which is greater: o or 2?
2
Let r(g) = 3*g**2 + 2*g - 1. Let h be r(1). Let p be 2/(-6)*(h + -1). Let v be 3/(-6)*(-4)/(-6). Is p > v?
False
Suppose -4*s + 6 = 2. Suppose -6 = 3*c + 3*d, -c + 3*d - 14 = 7*d. Which is smaller: s or c?
s
Suppose 2*j + 4 = 4*j + 4*h, 3*h + 19 = 4*j. Suppose -3*v = g + 15, 3*g - 4*v + j = 24. Is 2 > g?
True
Let y = 1/28 - -1/4. Let x be 4/8 - (-254)/(-4). Let g be 3/x + 4/(-14). Which is smaller: y or g?
g
Let o = 2273 + -11318/5. Let l = 9 - 0. Let g = o - l. Is g equal to 0?
False
Let d be 9/(-54) + (-2)/6. Let i = 1569/14 - 112. Let a = d + i. Is a bigger than -1/3?
False
Let m = -0.05 - 1.95. Let v = -2.2 - m. Let j be (0 + 1)/(70/(-28)). Which is smaller: j or v?
j
Suppose 3*b + 1 = -2*w, 5*b = w - 11 + 5. Is -4/41 < b?
False
Suppose 5*z = 9*z + 4. Which is greater: z or 3/7?
3/7
Let t(l) = 2*l**2 + 5*l - 5. Let z be t(-5). Suppose 0 = 3*w + 14 - z. Are 1 and w unequal?
True
Let q = -5670375437/1704 + 3327685. Let u = q + -2/213. Are 1/4 and u non-equal?
True
Let k = 0.017 + 1.983. Is k >= 3/10?
True
Let m be (0 - -1) + 23679/(-99). Let b = -238 - m. Let l = 2 - 1. Is b at least l?
False
Let u = -20327/44 + 462. Is u less than or equal to 0?
False
Suppose 0 = n + 20 - 3. Let u = 28 + n. Which is bigger: 12 or u?
12
Suppose -w - 3*j - 25 = -6*w, j = -5. Let y(q) = -2*q**2 - 4*q. Let n be y(-3). Let o be (-1 + -1)*n/4. Do w and o have different values?
True
Let d be 1/((7/(-8))/7). Which is greater: d or -13/2?
-13/2
Let h(c) = c**3 - 5*c**2 + 4*c - 3. Let d be h(4). Let l(w) = w + 1. Let g be l(d). Is g at least as big as 2?
False
Let y = 419 - 3357/8. Which is smaller: -1 or y?
-1
Let d = 0.1 - 0.1. Let t = 0.2 + d. Let o = t - 0.2. Is o <= -0.1?
False
Let g(t) = -4*t - 7. Let q be g(-3). Are 3 and q unequal?
True
Suppose -6 = 5*y + 4*g, g + 6 - 1 = -3*y. Let o be (-30)/(-12)*(-4)/(-10)*-1. Is y > o?
False
Suppose 4*x - 15 = z, -2*z - 2*x = -6*x + 14. Suppose 100 = -0*s - 5*s. Let u be (2 - z) + s/35. Is u less than or equal to -1?
False
Let b(q) = q. Let y be b(3). Let m = -30 - -42. Suppose -y*d = z - 10, -5*z - d - 4 = -m. Is 7/5 bigger than z?
True
Let f be 0 - 0*(-4)/12. Which is smaller: -2/31 or f?
-2/31
Let l = 0.24 - 0.24. Which is bigger: l or -3/5?
l
Suppose 0 = -3*v - 4*h - 8, -3*h + 4*h + 13 = 2*v. Is v less than or equal to 10/3?
False
Let t(r) = -r - 2. Let f(m) = -3*m - 5. Let v(l) = -2*f(l) + 5*t(l). Let b be v(2). Which is bigger: 1/2 or b?
b
Let y = -3 + 2. Let q be ((-2)/y)/(-2 + 0). Which is bigger: 0 or q?
0
Let x = 0.25 - 10.25. Which is smaller: -1 or x?
x
Let s be 3/((-12)/8*-2). Which is bigger: -1/10 or s?
s
Let q(c) = 2 - 2*c**2 + 2 - 3. Let n be q(2). Which is greater: -6 or n?
-6
Suppose i + 5*p = 250, 3*p + 967 = 3*i + 199. Let c be (6/i)/((-2)/(-20)). Are c and -1 unequal?
True
Let p(q) = -q - 1. Let k be p(7). Suppose 0 = -h - 4*d + 6 - 17, -2*h - d = 15. Is k smaller than h?
True
Let k = 37.8 - 38. Which is greater: -7 or k?
k
Let r = -512/1743 + 2/249. Let x(g) = g**3 + 7*g**2 + 5*g - 2. Let i be x(-6). Suppose -i*m - 2 = -6. Which is smaller: r or m?
r
Suppose -p = -v + p - 13, 5*v + 2*p = -101. Let l = -19 - v. Let b be 2/(-7) - 13/(-70). Which is greater: l or b?
l
Let i = 8270/11 - 750. Is 1 at most i?
True
Let r = 12 - 11. Is r < 16?
True
Suppose -6 - 44 = 5*f. Do 1 and f have the same value?
False
Let w = 2 - 3. Let d = 6772/11 + -616. Which is bigger: w or d?
d
Suppose -2*u = s + 11 + 1, -12 = 2*u + 3*s. Is -6 bigger than u?
False
Let i = 4 + 2. Let a = i + -5. Which is smaller: a or 2/19?
2/19
Let z = 0.01 + -0.11. Let f = -0.2 - z. Suppose -q = 2*v + 10, 2*q + 3*q - 5 = v. Do f and v have the same value?
False
Let j = -2.77 - -0.07. Let m = j + 3. Let x = m - 0.3. Which is greater: x or -0.1?
x
Suppose 0 = -3*d + 1 + 5. Suppose 0 = -4*o + 6 + d. Which is smaller: o or 5?
o
Suppose -47 = 4*j + 4*t - 3, 0 = 4*j - t + 49. Is j > -12?
False
Let x be 21/36*-2*2. Is x > -3?
True
Let n = 0.2 - 0.1. Let b be (-644)/(-63) - 2/9. Let q be 1 + (-2 - b/(-7)). Is q at most as big as n?
False
Let t = -2.6 - -1.5. Which is smaller: 2 or t?
t
Let m be 2 + 18/14 + -3. Is 6 less than m?
False
Let h = -60 + 62. Are h and 0.4 nonequal?
True
Suppose 5*w = -5*c + 2*c, -w + 3*c = 0. Let j be (((-48)/9)/(-4))/(-2). Which is greater: j or w?
w
Let b = -8 - -12. Suppose 7 = i + 2*t, -b*t + 11 = 4*i - 1. Let m be (-12)/16 + 14/8. Is m >= i?
True
Let t(y) = -y**2 - 2*y - 1. Let x be t(-3). Which is smaller: 0 or x?
x
Let i = -2777/15 - -185. Let t(d) = d**3 - d. Let f be t(-1). Let z be f/((-2 - 0)*-1). Are z and i 